group
10226 papers tagged with this keyword
Groups and Combinatorial Number Theory
In this talk we introduce several topics in combinatorial number theory which are related to groups; the topics include combinatorial aspects of covers of groups by cosets, and also restricted sumsets and zero-sum problems on abelian groups. A survey of known results and open problems on the topics is given in a popular way.
Coverings of abelian groups and vector spaces
Published
• View Publication
• BIB
We study the question how many subgroups, cosets or subspaces are needed to cover a finite Abelian group or a vector space if we have some natural restrictions on the structure of the covering system. For example we determine, how many cosets we need, if we want to cover all but one element of an Abelian group. This result is a group theoretical extension of the theorem of Brouwer, Jamison and Schrijver about the blocking number of an affine space. We show that these covering problems are closely related to combinatorial problems, including the so called additive basis conjecture, the three-flow conjecture, and a conjecture of Alon, Jaeger and Tarsi about nowhere zero vectors.
Associativity in multary quasigroups: The way of biased expansions
Published in Aequationes Mathematicae, 83 (2012), no. 1, 1--66. MR 2885498. Zbl 1235.05059
• View Publication
• BIB
A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include all biased expansions of complete graphs (assuming order at least four), which correspond to Dowling's lattices of a group and encode an iterated group operation. A biased expansion of a circle with chords encodes a multary (polyadic, n-ary) quasigroup, the chords corresponding to factorizations, i.e., associative structure. We show that any biased expansion of a 3-connected graph (of order at least four) is a group expansion, and that all 2-connected biased expansions are constructed by expanded edge amalgamation from group expansions and irreducible multary quasigroups. If a 2-connected biased expansion covers every base edge at most three times, or if every four-node minor is a group expansion, then the whole biased expansion is a group expansion. In particular, if a multary quasigroup has a factorization graph that is 3-connected, if it has order 3, or if every residual ternary quasigroup is an iterated group isotope, it is isotopic to an iterated group. We mention applications to generalizing Dowling geometries and to transversal designs of high strength.
New polytopes from products
Published
• View Publication
• BIB
We construct a new 2-parameter family E_mn of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E_44 is the 24-cell. For large m,n the f-vectors have ``fatness'' close to 6.
The E_t-construction of Paffenholz and Ziegler applied to products of polygons yields cellular spheres with the combinatorial structure of E_mn. Here we prove polytopality of these spheres. More generally, we construct polytopal realisations for spheres obtained from the E_t-construction applied to products of polytopes in any dimension d>=3, if these polytopes satisfy some consistency conditions.
We show that the projective realisation space of E_33 is at least nine dimensional and that of E_44 at least four dimensional. This proves that the 24-cell is not projectively unique. All E_mn for relatively prime m,n>= 5 have automorphisms of their face lattice not induced by an affine transformation of any geometric realisation. The group Z_m x Z_n generated by rotations in the two polygons is a subgroup of the automorphisms of the face lattice of E_mn. However, there are only five pairs (m,n) for which this subgroup is geometrically realisable.
Simple Permutations Mix Even Better
Published
• View Publication
• BIB
We study the random composition of a small family of O(n^3) simple permutations on {0,1}^n. Specifically we ask how many randomly selected simple permutations need be composed to yield a permutation that is close to k-wise independent. We improve on the results of Gowers 1996 and Hoory, Magen, Myers and Rackoff 2004, and show that up to a polylogarithmic factor, n^2*k^2 compositions of random permutations from this family suffice. In addition, our results give an explicit construction of a degree O(n^3) Cayley graph of the alternating group of 2^n objects with a spectral gap Omega(2^{-n}/n^2), which is a substantial improvement over previous constructions.
Generators of algebraic curvature tensors based on a (2,1)-symmetry
We consider generators of algebraic curvature tensors R which can be constructed by a Young symmetrization of product tensors U*w or w*U, where U and w are covariant tensors of order 3 and 1. We assume that U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). We show that the set S contains exactly one symmetry class S_0 whose elements U can not play the role of generators of tensors R. The tensors U of all other symmetry classes from S\{S_0} can be used as generators for tensors R. Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 8 summands. In special cases these numbers can be reduced to the minimum 4. If this minimum occurs then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of alternating 2-tensor fields. We apply ideals and idempotents of group rings C[S_r] of symmetric groups S_r, Young symmetrizers, discrete Fourier transforms and Littlewood-Richardson products. For symbolic calculations we used the Mathematica packages Ricci and PERMS.
Standard Bases for Affine SL(n)-Modules
We give an elementary and easily computable basis for the Demazure modules in the basic representation of the affine Lie algebra sl(n)-hat (and the loop group SL(n)-hat). A novel feature is that we define our basis ``bottom-up'' by raising each extremal weight vector, rather than ``top-down'' by lowering the highest weight vector.
Our basis arises naturally from the combinatorics of its indexing set, which consists of certain subsets of the integers first specified by the Kyoto school in terms of crystal operators. We give a new way of defining these special sets in terms of a recursive but very simple algorithm, the roof operator, which is analogous to the left-key construction of Lascoux-Schutzenberger. The roof operator is in a sense orthogonal to the crystal operators.
Explicit polynomial generators for the ring of quasi-symmetric functions over the integers
Published
• View Publication
• BIB
In [5, 6] it has been proved that the ring of quasisymmetric functions over the integers is free polynomial, see also [4]. This is a matter that has been of great interest since 1972; for instance because of the role this statement plays in a classification theory for noncommutative formal groups that has been in development since then, see [2] and [9] and the references in the latter. Meanwhile quasisymmetric functions have found many more aplications, [3]. However, the proofs in [5, 6] do not give explicit polynomial generators for QSymm over the integers. In this note I give a (really quite simple) set of polynomial generators for QSymm over the integers.
Longest Induced Cycles on Cayley Graphs
In this paper we study the length of the longest induced cycle in the unitary Cayley graph $X_n = Cay(\mathbb Z_n; U_n)$, where $U_n$ is the group of units in $\mathbb Z_n$. Using residues modulo the primes dividing $n$, we introduce a representation of the vertices that reduces the problem to a purely combinatorial question of comparing strings of symbols. This representation allows us to prove that the multiplicity of each prime dividing $n$, and even the value of each prime (if sufficiently large) has no effect on the length of the longest induced cycle in $X_n$. We also see that if $n$ has $r$ distinct prime divisors, $X_n$ always contains an induced cycle of length $2^r+2$, improving the $r \ln r$ bound of Berrezbeitia and Giudici. Moreover, we extend our results for $X_n$ to conjunctions of complete $k_i$-partite graphs, where $k_i$ need not be finite, and also to unitary Cayley graphs on any quotient of a Dedekind domain.
The complex of words and Nakaoka stability
Published in Homology, Homotopy and Applications, Vol. 7(2005), No. 1, pp. 77-85
• View Publication
• BIB
We give a new simple proof of the exactness of the complex of injective words and use it to prove Nakaoka's homology stability for symmetric groups. The methods are generalized to show acyclicity in low degrees for the complex of words in general position.
On a class of double cosets in reductive algebraic groups
We study a class of double coset spaces R_A \backslash G_1 \times G_2 /R_C, where G_1 and G_2 are connected reductive algebraic groups, and R_A and R_C are certain spherical subgroups of G_1 \times G_2 obtained by ``identifying'' Levi factors of parabolic subgroups in G_1 and G_2. Such double cosets naturally appear in the symplectic leaf decompositions of Poisson homogeneous spaces of complex reductive groups with the Belavin-Drinfeld Poisson structures. They also appear in orbit decompositions of the De Concini-Procesi compactifications of semi-simple groups of adjoint type. We find explicit parametrizations of the double coset spaces and describe the double cosets as homogeneous spaces of R_A \times R_C. We further show that all such double cosets give rise to set-theoretical solutions to the quantum Yang-Baxter equation on unipotent algebraic groups.
An Introduction to Conway's Games and Numbers
Published in Moscow Math Journal 6 2 (2006), 359-388
• View Publication
• BIB
This is an introduction into John Conway's beautiful Combinatorial Game Theory, providing precise statements and detailed proofs for the fundamental parts of his theory. (1) Combinatorial game theory, (2) the GROUP of games, (3) the FIELD of numbers, (4) ordinal numbers, (5) games and numbers, (6) infinitesimal games, (7) impartial games.
An application of graph pebbling to zero-sum sequences in abelian groups
A sequence of elements of a finite group G is called a zero-sum sequence if it sums to the identity of G. The study of zero-sum sequences has a long history with many important applications in number theory and group theory. In 1989 Kleitman and Lemke, and independently Chung, proved a strengthening of a number theoretic conjecture of Erdos and Lemke. Kleitman and Lemke then made more general conjectures for finite groups, strengthening the requirements of zero-sum sequences. In this paper we prove their conjecture in the case of abelian groups. Namely, we use graph pebbling to prove that for every sequence (g_k)_{k=1}^{|G|} of |G| elements of a finite abelian group G there is a nonempty subsequence (g_k)_{k in K} such that sum_{k in K}g_k=0_G and sum_{k in K}1/|g_k|\le 1, where |g| is the order of the element g in G.
Statistics on Wreath Products
We present methods of calculating statistics generating functions over the colored permutation groups, and generalizing known theorems from the symmetric groups to general colored permutations groups.
Amorphic association schemes with negative Latin square type graphs
Published
• View Publication
• BIB
Applying results from partial difference sets, quadratic forms, and recent results of Brouwer and Van Dam, we construct the first known amorphic association scheme with negative Latin square type graphs and whose underlying set is a non-elementary abelian 2-group. We give a simple proof of a result of Hamilton that generalizes Brouwer's result. We use multiple distinct quadratic forms to construct amorphic association schemes with a large number of classes.
Generalized descent algebra and construction of irreducible characters of hyperoctahedral groups
Published in Annales de l'Institut Fourier 56 (2008) 131-181
• Search Publication
We construct a subalgebra of dimension $2.3^{n-1}$ of the group algebra of a Weyl group of type $B_n$ containing its Solomon descent's algebra but also the Solomon's descent algebra of the symmetric group. This lead us to a construction of the irreducible characters of the hyperoctahedral groups by using a generalized plactic equivalence.
Torsion in the Matching Complex and Chessboard Complex
Published
• View Publication
• BIB
Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vrécica and {Ž}ivaljević established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large $n$, the bottom nonvanishing homology of the matching complex $M_n$ is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex $M_{n,n}$ is a 3-group of exponent at most 9. When $n \equiv 2 \bmod 3$, the bottom nonvanishing homology of $M_{n,n}$ is shown to be $\Z_3$. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.
Structure of the Loday-Ronco Hopf algebra of trees
Published in Journal of Algebra, Volume 295, Issue 2 , 15 January 2006, 473--511.
• View Publication
• BIB
Loday and Ronco defined an interesting Hopf algebra structure on the linear span of the set of planar binary trees. They showed that the inclusion of the Hopf algebra of non-commutative symmetric functions in the Malvenuto-Reutenauer Hopf algebra of permutations factors through their Hopf algebra of trees, and these maps correspond to natural maps from the weak order on the symmetric group to the Tamari order on planar binary trees to the boolean algebra.
We further study the structure of this Hopf algebra of trees using a new basis for it. We describe the product, coproduct, and antipode in terms of this basis and use these results to elucidate its Hopf-algebraic structure. We also obtain a transparent proof of its isomorphism with the non-commutative Connes-Kreimer Hopf algebra of Foissy, and show that this algebra is related to non-commutative symmetric functions as the (commutative) Connes-Kreimer Hopf algebra is related to symmetric functions.
Hard squares with negative activity
Published in J. Phys. A38 (2005) 315
• View Publication
• BIB
We show that the hard-square lattice gas with activity z= -1 has a number of remarkable properties. We conjecture that all the eigenvalues of the transfer matrix are roots of unity. They fall into groups (``strings'') evenly spaced around the unit circle, which have interesting number-theoretic properties. For example, the partition function on an M by N lattice with periodic boundary condition is identically 1 when M and N are coprime. We provide evidence for these conjectures from analytical and numerical arguments.
Enumeration of Symmetry Classes of Alternating Sign Matrices and Characters of Classical Groups
Published
• View Publication
• BIB
An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs).