Search results for "Permutation group"
showing 10 items of 46 documents
McKay natural correspondences on characters
2014
Let [math] be a finite group, let [math] be an odd prime, and let [math] . If [math] , then there is a canonical correspondence between the irreducible complex characters of [math] of degree not divisible by [math] belonging to the principal block of [math] and the linear characters of [math] . As a consequence, we give a characterization of finite groups that possess a self-normalizing Sylow [math] -subgroup or a [math] -decomposable Sylow normalizer.
Improved constructions of mixed state quantum automata
2009
Quantum finite automata with mixed states are proved to be super-exponentially more concise rather than quantum finite automata with pure states. It was proved earlier by A. Ambainis and R. Freivalds that quantum finite automata with pure states can have an exponentially smaller number of states than deterministic finite automata recognizing the same language. There was an unpublished ''folk theorem'' proving that quantum finite automata with mixed states are no more super-exponentially more concise than deterministic finite automata. It was not known whether the super-exponential advantage of quantum automata is really achievable. We prove that there is an infinite sequence of distinct int…
Finitary Representations and Images of Transitive Finitary Permutation Groups
1999
Abstract We characterize the point stabilizers and kernels of finitary permutation representations of infinite transitive groups of finitary permutations. Moreover, the number of such representations is determined.
On Block Sensitivity and Fractional Block Sensitivity
2018
We investigate the relation between the block sensitivity bs(f) and fractional block sensitivity fbs(f) complexity measures of Boolean functions. While it is known that fbs(f) = O(bs(f)2), the best known separation achieves $${\rm{fbs}}\left( f \right) = \left( {{{\left( {3\sqrt 2 } \right)}^{ - 1}} + o\left( 1 \right)} \right){\rm{bs}}{\left( f \right)^{3/2}}$$ . We improve the constant factor and show a family of functions that give fbs(f) = (6−1/2 − o(1)) bs(f)3/2.
All Classical Adversary Methods Are Equivalent for Total Functions
2017
We show that all known classical adversary lower bounds on randomized query complexity are equivalent for total functions and are equal to the fractional block sensitivity fbs( f ). That includes the Kolmogorov complexity bound of Laplante and Magniez and the earlier relational adversary bound of Aaronson. This equivalence also implies that for total functions, the relational adversary is equivalent to a simpler lower bound, which we call rank-1 relational adversary. For partial functions, we show unbounded separations between fbs( f ) and other adversary bounds, as well as between the adversary bounds themselves. We also show that, for partial functions, fractional block sensitivity canno…
Sensitivity versus block sensitivity of Boolean functions
2010
Determining the maximal separation between sensitivity and block sensitivity of Boolean functions is of interest for computational complexity theory. We construct a sequence of Boolean functions with bs(f) = 1/2 s(f)^2 + 1/2 s(f). The best known separation previously was bs(f) = 1/2 s(f)^2 due to Rubinstein. We also report results of computer search for functions with at most 12 variables.
Characterizing normal Sylow p-subgroups by character degrees
2012
Abstract Suppose that G is a finite group, let p be a prime and let P ∈ Syl p ( G ) . We prove that P is normal in G if and only if all the irreducible constituents of the permutation character ( 1 P ) G have degree not divisible by p.
Lines on the Dwork pencil of quintic threefolds
2012
We present an explicit parametrization of the families of lines of the Dwork pencil of quintic threefolds. This gives rise to isomorphic curves which parametrize the lines. These curves are 125:1 covers of certain genus six curves. These genus six curves are first presented as curves in P^1*P^1 that have three nodes. It is natural to blow up P^1*P^1 in the three points corresponding to the nodes in order to produce smooth curves. The result of blowing up P^1*P^1 in three points is the quintic del Pezzo surface dP_5, whose automorphism group is the permutation group S_5, which is also a symmetry of the pair of genus six curves. The subgroup A_5, of even permutations, is an automorphism of ea…
ChemInform Abstract: Chemoenzymatic-Chemical Synthesis of a (2-3)-Sialyl T Threonine Building Block and Its Application to the Synthesis of the N-Ter…
2010
Protection of all functional groups of the carbohydrate portion of the chemoenzymatically synthesized sialyl T threonine ester 1 (R=R1 =H, R2 =tBu, Fmoc=9-fluorenylmethoxycarbonyl) and subsequent acidolysis of the tert-butyl ester afforded the building block 2 (R=Ac, R1 =Me, R2 =H). The latter is a useful tool in the solid-phase synthesis of the N-terminal sequence 3 of the leukemia-associated leukosialin.
Combinatorics of generalized Bethe equations
2012
A generalization of the Bethe ansatz equations is studied, where a scalar two-particle S-matrix has several zeroes and poles in the complex plane, as opposed to the ordinary single pole/zero case. For the repulsive case (no complex roots), the main result is the enumeration of all distinct solutions to the Bethe equations in terms of the Fuss-Catalan numbers. Two new combinatorial interpretations of the Fuss-Catalan and related numbers are obtained. On the one hand, they count regular orbits of the permutation group in certain factor modules over \({\mathbb{Z}^M}\), and on the other hand, they count integer points in certain M-dimensional polytopes.