group
10399 papers tagged with this keyword
The Freiman--Ruzsa Theorem over Finite Fields
Published in Journal of Combinatorial Theory, Series A, Volume 125, July 2014, Pages 333-341
• View Publication
• BIB
Let G be a finite abelian group of torsion r and let A be a subset of G. The Freiman--Ruzsa theorem asserts that if |A+A| < K|A| then A is contained in a coset of a subgroup of G of size at most r^{K^4}K^2|A|. It was conjectured by Ruzsa that the subgroup size can be reduced to r^{CK}|A| for some absolute constant C >= 2. This conjecture was verified for r = 2 in a sequence of recent works, which have, in fact, yielded a tight bound. In this work, we establish the same conjecture for any prime torsion.
Structure coefficients of the Hecke algebra of $(S_{2n},B_n)$
Published in The Electronic Journal of Combinatorics 21(4) (2014) 4-35
• View Publication
• BIB
The Hecke algebra of the pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of $S_{2n}$, was introduced by James in 1961. It is a natural analogue of the center of the symmetric group algebra. In this paper, we give a polynomiality property of its structure coefficients. Our main tool is a combinatorial universal algebra which projects on the Hecke algebra of $(S_{2n},B_n)$ for every $n$. To build it, we introduce new objects called partial bijections.
Classification of Polynomial Mappings Between Commutative Groups
Published in Journal of Number Theory 139 (2014) 1-28
• View Publication
• BIB
Some polynomials $P$ with rational coefficients give rise to well defined maps between cyclic groups, $\Z_q\longrightarrow\Z_r$, $x+q\Z\longmapsto P(x)+r\Z$. More generally, there are polynomials in several variables with tuples of rational numbers as coefficients that induce maps between commutative groups. We characterize the polynomials with this property, and classify all maps between two given finite commutative groups that arise in this way. We also provide interpolation formulas and a Taylor-type theorem for the calculation of polynomials that describe given maps.
Integration formulas for Brownian motion on classical compact Lie groups
Published
• View Publication
• BIB
Combinatorial formulas for the moments of the Brownian motion on classical compact Lie groups are obtained. These expressions are deformations of formulas of B. Collins and P. Śniady for moments of the Haar measure and yield a proof of the First Fundamental Theorem of invariant theory and of classical Schur-Weyl dualities based on stochastic calculus.
Expansion of Random Graphs: New Proofs, New Results
Published in Inventiones Mathematicae 201 (2015), no. 3, 845-908
• View Publication
• BIB
We present a new approach to showing that random graphs are nearly optimal expanders. This approach is based on recent deep results in combinatorial group theory. It applies to both regular and irregular random graphs.
Let G be a random d-regular graph on n vertices, and let λbe the largest absolute value of a non-trivial eigenvalue of its adjacency matrix. It was conjectured by Alon [86'] that a random d-regular graph is almost Ramanujan, in the following sense: for every e>0, λ<2\sqrt{d-1} + e asymptotically almost surely. Friedman famously presented a proof of this conjecture in [08']. Here we suggest a new, substantially simpler proof of a nearly-optimal result: we show that a random d-regular graph satisfies λ< 2\sqrt{d-1} + 1 a.a.s.
A main advantage of our approach is that it is applicable to a generalized conjecture: For d even, a d-regular graph on n vertices is an n-covering space of a bouquet of d/2 loops. More generally, fixing an arbitrary base graph H, we study the spectrum of G, a random n-covering of H. Let λbe the largest absolute value of a non-trivial eigenvalue of G. Extending Alon's conjecture to this more general model, Friedman [03'] conjectured that for every e>0, a.a.s. λ< ρ+e, where ρis the spectral radius of the universal cover of H. When H is regular we get a bound of ρ+0.84, and for an arbitrary H, we prove a nearly optimal upper bound of \sqrt{3}ρ. This is a substantial improvement upon all known results (by Friedman, Linial-Puder, Lubetzky-Sudakov-Vu and Addario-Berry-Griffiths).
q-Analogs of Packing Designs
Published
• View Publication
• BIB
A $P_q(t,k,n)$ $q$-packing design is a selection of $k$-subspaces of $\F_q^n$ such that each $t$-subspace is contained in at most one element of the collection. A successful approach adopted from the Kramer-Mesner-method of prescribing a group of automorphisms was applied by Kohnert and Kurz to construct some constant dimension codes with moderate parameters which arise by $q$-packing designs. In this paper we recall this approach and give a version of the Kramer-Mesner-method breaking the condition that the whole $q$-packing design must admit the prescribed group of automorphisms. Afterwards, we describe the basic idea of an algorithm to tackle the integer linear optimization problems representing the $q$-packing design construction by means of a metaheuristic approach. Finally, we give some improvements on the size of $P_2(2,3,n)$ $q$-packing designs.
Centers, cocenters and simple quantum groups
Published
• View Publication
• BIB
We define the notion of a (linearly reductive) center for a linearly reductive quantum group, and show that the quotient of a such a quantum group by its center is simple whenever its fusion semiring is free in the sense of Banica and Vergnioux. We also prove that the same is true of free products of quantum groups under very mild non-degeneracy conditions. Several natural families of compact quantum groups, some with non-commutative fusion semirings and hence very "far from classical", are thus seen to be simple. Examples include quotients of free unitary groups by their centers, recovering previous work, as well as quotients of quantum reflection groups by their centers.
Nichols algebras with many cubic relations
Published in Trans. Amer. Math. Soc. 367 (2015), no. 9, 6315-6356
• View Publication
• BIB
Nichols algebras of group type with many cubic relations are classified under a technical assumption on the structure of Hurwitz orbits of the third power of the underlying indecomposable rack. All such Nichols algebras are finite-dimensional and their Hilbert series have a factorization into quantum integers. Also, all known finite-dimensional elementary Nichols algebras of group type turn out to have many cubic relations. The technical assumption of our theorem can be removed if a conjecture in the theory of cellular automata can be proven.
Polytopes associated to Dihedral Groups
Published
• View Publication
• BIB
In this note we investigate the convex hull of those $n \times n$-permutation matrices that correspond to symmetries of a regular $n$-gon. We give the complete facet description. As an application, we show that this yields a Gorenstein polytope, and we determine the Ehrhart $h^*$-vector.
Young's lattice and dihedral symmetries revisited: Möbius strips and metric geometry
A cascade of dihedral symmetries is hidden in Young's lattice of integer partitions. In fact, for each integer N>2 the Hasse graph of the subposet consisting of the partitions with maximal hook length strictly less than N has the dihedral group of order 2N as its symmetry group. Here a new interpretation of those Hasse graphs is presented, namely as the 1-skeleta of the injective hulls of certain finite metric spaces.
Convergence results for systems of linear forms on cyclic groups, and periodic nilsequences
Published in SIAM J. Discrete Math. 28 (2014), no. 2, 786-810
• View Publication
• BIB
Given a positive integer $N$ and real number $α\in [0, 1]$, let $m(α,N)$ denote the minimum, over all sets $A\subset \mathbb{Z}/N\mathbb{Z}$ of size at least $αN$, of the normalized count of 3-term arithmetic progressions contained in $A$. A theorem of Croot states that $m(α,N)$ converges as $N\to\infty$ through the primes, answering a question of Green. Using recent advances in higher-order Fourier analysis, we prove an extension of this theorem, showing that the result holds for $k$-term progressions for general $k$ and further for all systems of integer linear forms of finite complexity. We also obtain a similar convergence result for the maximum densities of sets free of solutions to systems of linear equations. These results rely on a regularity method for functions on finite cyclic groups that we frame in terms of periodic nilsequences, using in particular some regularity results of Szegedy (relying on his joint work with Camarena) and equidistribution results of Green and Tao.
Sum Complexes and Uncertainty Numbers
Published
• View Publication
• BIB
Let p be a prime and let A be a subset of F_p. For k<p let X_{A,k} be the (k-1)-dimensional complex on the vertex set F_p with a full (k-2)-skeleton whose (k-1)-faces are k-subsets S of F_p such that the sum of the elements of S belongs to A. The homology groups of X_{A,k} with field coefficients are determined. In particular it is shown that if |A| \leq k then H_{k-1}(X_{A,k};F_p)=0. This implies a homological characterization of uncertainty numbers of subsets of F_p.
Ramsey theory for p-quasicyclic groups with a view towards topological dynamics
We prove additive and multiplicative partition theorems, obtaining combinatorial results for p-quasicyclic groups, where p is a prime number. We also get density results for p-quasicyclic groups via left Følner sequences of non-empty finite subsets of it, giving a sufficient condition in order a subset of a p-quasicyclic group to contain arbitrary long arithmetic progressions. Finally, we introduce the notion of a dynamical system over p-quasicyclic groups extending the classical notion of a topological dynamical system and we prove (multiple) recurrent results for the p-quasicyclic groups. In particular, we prove recurrent results analogous to Furstenberg-Weiss type theorems for classical systems.
Isomorphic tetravalent cyclic Haar graphs
Published
• View Publication
• BIB
Let $S$ be a subset of the cyclic group $\Z_n$. The cyclic Haar graph $H(\Z_n,S)$ is the bipartite graph with color classes $\Z_n^+$ and $\Z_n^-,$ and edges $\{x^+,y^-\},$ where $x,y \in \Z_n$ and $y - x \in S$. In this paper we give sufficient and necessary conditions for the isomorphism of two connected cyclic Haar graphs of valency 4.
Strongly solvable spherical subgroups and their combinatorial invariants
Published in Selecta Mathematica. New Series, vol. 21 (2015), no. 3, 931-993
• View Publication
• BIB
A subgroup H of an algebraic group G is said to be strongly solvable if H is contained in a Borel subgroup of G. This paper is devoted to establishing relationships between the following three combinatorial classifications of strongly solvable spherical subgroups in reductive complex algebraic groups: Luna's general classification of arbitrary spherical subgroups restricted to the strongly solvable case, Luna's 1993 classification of strongly solvable wonderful subgroups, and the author's 2011 classification of strongly solvable spherical subgroups. We give a detailed presentation of all the three classifications and exhibit interrelations between the corresponding combinatorial invariants, which enables one to pass from one of these classifications to any other.
Distinguished three-qubit 'magicity' via automorphisms of the split Cayley hexagon
Published in Quantum Information Processing 12 (2013) 2535-2549
• View Publication
• BIB
Disregarding the identity, the remaining 63 elements of the generalized three-qubit Pauli group are found to contain 12096 distinct copies of Mermin's magic pentagram. Remarkably, 12096 is also the number of automorphisms of the smallest split Cayley hexagon. We give a few solid arguments showing that this may not be a mere coincidence. These arguments are mainly tied to the structure of certain types of geometric hyperplanes of the hexagon. It is further demonstrated that also an (18_{2}, 12_{3})-type of magic configurations, recently proposed by Waegell and Aravind (J. Phys. A: Math. Theor. 45 (2012) 405301), seems to be intricately linked with automorphisms of the hexagon. Finally, the entanglement properties exhibited by edges of both pentagrams and these particular Waegell-Aravind configurations are addressed.
Orbit graphs and face-transitivity of k-orbit polytopes
The orbit graph of a k-orbit polytope is a graph on k nodes that shows how the flag orbits are related by flag adjacency. Using orbit graphs, we classify k-orbit polytopes and determine when a k-orbit polytope is i-transitive. We then provide an explicit classification of three-orbit polytopes, and we describe a generating set for their automorphism groups.
Mixing for progressions in non-abelian groups
Published
• View Publication
• BIB
We study the mixing properties of progressions $(x,xg,xg^2)$, $(x,xg,xg^2,xg^3)$ of length three and four in a model class of finite non-abelian groups, namely the special linear groups $SL_d(F)$ over a finite field $F$, with $d$ bounded. For length three progressions $(x,xg,xg^2)$, we establish a strong mixing property (with error term that decays polynomially in the order $|F|$ of $F$), which among other things counts the number of such progressions in any given dense subset $A$ of $SL_d(F)$, answering a question of Gowers for this class of groups. For length four progressions $(x,xg,xg^2,xg^3)$, we establish a partial result in the $d=2$ case if the shift $g$ is restricted to be diagonalisable over the field, although in this case we do not recover polynomial bounds in the error term. Our methods include the use of the Cauchy-Schwarz inequality, the abelian Fourier transform, the Lang-Weil bound for the number of points in an algebraic variety over a finite field, some algebraic geometry, and (in the case of length four progressions) the multidimensional Szemerédi theorem.
Quasi-partition algebra
Published
• View Publication
• BIB
We introduce the quasi-partition algebra $QP_k(n)$ as a centralizer algebra of the symmetric group. This algebra is a subalgebra of the partition algebra and inherits many similar combinatorial properties. We construct a basis for $QP_k(n)$, give a formula for its dimension in terms of the Bell numbers, and describe a set of generators for $QP_k(n)$ as a complex algebra. In addition, we give the dimensions and indexing set of its irreducible representations. We also provide the Bratteli diagram for the tower of quasi-partition algebras (constructed by letting $k$ range over the positive integers).
Core stability in hedonic coalition formation
Published
• View Publication
• BIB
In many economic, social and political situations individuals carry out activities in groups (coalitions) rather than alone and on their own. Examples range from households and sport clubs to research networks, political parties and trade unions. The underlying game theoretic framework is known as coalition formation.
This survey discusses the notion of core stability in hedonic coalition formation (where each player's happiness only depends on the other members of his coalition but not on how the remaining players outside his coalition are grouped). We present the central concepts and algorithmic approaches in the area, provide many examples, and pose a number of open problems.