group
10263 papers tagged with this keyword
Distribution of accumulation points of roots for type $(n-1,1)$ Coxeter groups
Published
• View Publication
• BIB
In this paper, we investigate the set of accumulation points of normalized roots of infinite Coxeter groups for certain class of their action. Concretely, we prove the conjecture proposed in [6, Section 3.2] in the case where the equipped Coxeter matrices are of type $(n-1,1)$, where $n$ is the rank. Moreover, we obtain that the set of such accumulation points coincides with the closure of the orbit of one point of normalized limit roots. In addition, in order to prove our main results, we also investigate some properties on fixed points of the action.
$G$-colorings of posets, coverings and presentations of the fundamental group
We introduce the notion of a coloring of a poset, which consists of a labeling of the edges in its Hasse diagram by elements in a given group $G$. We use $G$-colorings to describe the covering maps of posets and present a new method based on colorings to obtain concrete and simple presentations of the fundamental group of polyhedra.
Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups
Published
• View Publication
• BIB
This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the polynomial order. Bases associated to two chain posets and bouquets are studied.
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.