group
10263 papers tagged with this keyword
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.
Ramsey property for Boolean algebras with ideals and $\mathcal{P}(ω_1)/\rm{fin}$
We apply the Dual Ramsey Theorem of Graham and Rothschild to prove the Ramsey property for classes of finite Boolean algebras with distinguished ideals. This allows us to compute the universal minimal flow of the group of automorphisms of $\mathcal{P}(ω_1)/\rm{fin},$ should it be isomorphic to $\mathcal{P}(ω)/\rm{fin}$ or not, and of other quotients of power set algebras. Taking Fraïssé limits of these classes, we can compute universal minimal flows of groups of homeomorphisms of the Cantor set fixing some closed subsets.
Barycentric subdivisions and derangement polynomials for the even-signed permutation groups
The derangement polynomial for the symmetric group enumerates derangements by the number of excedances. It can be interpreted as the local $h$-polynomial, in the sense of Stanley, of the barycentric subdivision of the simplex. Motivated by this interpretation, we define a derangement polynomial for the even-signed permutation group. The coefficients of this polynomial are nonnegative, symmetric and unimodal. We show that they enumerate derangements in the even-signed permutation group according to a notion of excedance, which is analogous to the one introduced by Brenti for signed permutations. We also give an explicit formula for the corresponding exponential generating function.
The Voronoi conjecture for parallelohedra with simply connected $δ$-surface
Published in Discrete & Computational Geometry, 53:2 (2015), 245-260
• View Publication
• BIB
We show that the Voronoi conjecture is true for parallelohedra with simply connected $δ$-surface. Namely, we show that if the boundary of parallelohedron $P$ remains simply connected after removing closed non-primitive faces of codimension 2, then $P$ is affinely equivalent to a Dirichlet-Voronoi domain of some lattice. Also we construct the $π$-surface associated with a parallelohedron and give another condition in terms of homology group of the constructed surface. Every parallelohedron with simply connected $δ$-surface also satisfies the condition on homology group of the $π$-surface.
Semidefinite programming for permutation codes
Published
• View Publication
• BIB
We initiate study of the Terwilliger algebra and related semidefinite programming techniques for the conjugacy scheme of the symmetric group Sym$(n)$. In particular, we compute orbits of ordered pairs on Sym$(n)$ acted upon by conjugation and inversion, explore a block diagonalization of the associated algebra, and obtain improved upper bounds on the size $M(n,d)$ of permutation codes of lengths up to 7. For instance, these techniques detect the nonexistence of the projective plane of order six via $M(6,5)<30$ and yield a new best bound $M(7,4) \le 535$ for a challenging open case. Each of these represents an improvement on earlier Delsarte linear programming results.
On The Critical Number of Finite Groups (II)
Let G be a finite group and S a subset of G\{0}. We call S an additive basis of G if every element of G can be expressed as a sum over a nonempty subset in some order. Let cr(G) be the smallest integer t such that every subset of G\{0} of cardinality t is an additive basis of G. In this paper, we determine cr(G) for the following cases: (i) G is a finite nilpotent group; (ii) G is a group of even order which possesses a subgroup of index 2.
Bijective Projections on Parabolic Quotients of Affine Weyl Groups
Published in J. Algebraic Combin. 41, no. 4, p. 911-948, 2015
• Search Publication
Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg-Jones-Vazirani to parabolic quotients of affine Weyl groups in type C. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, and canonical reduced expressions in the Coxeter group.
Asymptotically Scattered Spaces
We define thin and asymptotically scattered metric spaces as asymptotic counterparts of discrete and scattered metric spaces respectively. We characterize asymptotically scattered spaces in terms of prohibited subspaces, and classify thin metric spaces up to coarse equivalence. We introduce the types of asymptotically scattered spaces and construct the spaces of distinct types. We transfer the notion of asymptotically scattered spaces to $G$-spaces and characterize asymptotically scattered spaces of groups.
The String Landscape: On Formulas for Counting Vacua
Published in Nucl. Phys. B869 (2013) 74
• View Publication
• BIB
We derive formulas for counting certain classes of vacua in the string/M theory landscape. We do so in the context of the moduli space of M-theory compactifications on singular manifolds with G_2 holonomy. Particularly, we count the numbers of gauge theories with different gauge groups but equal numbers of U(1) factors which are dual to each other. The vacua correspond to various symmetry breaking patterns of grand unified theories. Counting these dual vacua is equivalent to counting the number of conjugacy classes of elements of finite order inside Lie groups. We also point out certain cases where the conventional expectation is that symmetry breaking patterns by Wilson lines and Higgs fields are the same, but we show they are in fact different.
Bijective Enumeration of 3-Factorizations of an N-Cycle
Published in Annals of Combinatorics Volume 16, Issue 2, pp 367-387, 2012
• View Publication
• BIB
This paper is dedicated to the factorizations of the symmetric group. Introducing a new bijection for partitioned 3-cacti, we derive an el- egant formula for the number of factorizations of a long cycle into a product of three permutations. As the most salient aspect, our construction provides the first purely combinatorial computation of this number.
Semiregular elements in cubic vertex-transitive graphs and the restricted Burnside problem
Published in Math. Proc. Camb. Phil. Soc. 157 (2014) 45-61
• View Publication
• BIB
In this paper, we prove that the maximal order of a semiregular element in the automorphism group of a cubic vertex-transitive graph X does not tend to infinity as the number of vertices of X tends to infinity. This gives a solution (in the negative) to a conjecture of Peter Cameron, John Sheehan and the author.
However, with an application of the positive solution of the restricted Burnside problem, we show that this conjecture holds true when X is either a Cayley graph or an arc-transitive graph.
Permutations over cyclic groups
Published in European Journal of Combinatorics 41C (2014), pp. 68-78
• View Publication
• BIB
Generalizing a result in the theory of finite fields we prove that, apart from a couple of exceptions that can be classified, for any elements $a_1,...,a_m$ of the cyclic group of order $m$, there is a permutation $π$ such that $1a_{π(1)}+...+ma_{π(m)}=0$.
On products of long cycles: short cycle dependence and separation probabilities
Published in Journal of Algebraic Combinatorics, 42, (1) pp. 183-224, 2015
• Search Publication
We present various results on multiplying cycles in the symmetric group. Our first result is a generalisation of the following theorem of Boccara (1980): the number of ways of writing an odd permutation in the symmetric group on $n$ symbols as a product of an $n$-cycle and an $n-1$-cycle is independent of the permutation chosen. We give a number of different approaches of our generalisation. One partial proof uses an inductive method which we also apply to other problems. In particular, we give a formula for the distribution of the number of cycles over all products of cycles of fixed lengths. Another application is related to the recent notion of separation probabilities for permutations introduced by Bernardi, Du, Morales and Stanley (2014).
Generating tuples of integers modulo the action of a permutation group and applications
Published
• View Publication
• BIB
Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.
Multiple recurrence in quasirandom groups
Published
• View Publication
• BIB
We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an \emph{ultra quasirandom group}, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as $(x,gx,xg)$) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups.
Monochromatic generating sets in groups and other algebraic structures
The \emph{generating chromatic number} of a group $G$, $\chigen(G)$, is the maximum number of colors $k$ such that there is a monochromatic generating set for each coloring of the elements of $G$ in $k$ colors. If no such maximal $k$ exists, we set $\chigen(G)=\infty$. Equivalently, $\chigen(G)$ is the maximal number $k$ such that there is no cover of $G$ by proper subgroups ($\infty$ if there is no such maximal $k$).
We provide characterizations, for arbitrary gruops, in the cases $\chigen(G)=\infty$ and $\chigen(G)=2$. For nilpotent groups (in particular, for abelian ones), all possible chromatic numbers are characterized. Examples show that the characterization for nilpotent groups do not generalize to arbitrary solvable groups. We conclude with applications to vector spaces and fields.
A uniform model for Kirillov-Reshetikhin crystals. Extended abstract
Published in DMCTS proc AS (2013) 25-36
• View Publication
• BIB
We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quantum alcove model. The proof is based on two lifts of the parabolic quantum Bruhat graph: to the Bruhat order on the affine Weyl group and to Littelmann's poset on level-zero weights. Our construction leads to a simple calculation of the energy function. It also implies the equality between a Macdonald polynomial specialized at t=0 and the graded character of a tensor product of KR modules.
Long Cycle Factorizations : Bijective Computation in the General Case
Published
• View Publication
• BIB
This paper is devoted to the computation of the number of ordered factorizations of a long cycle in the symmetric group where the number of factors is arbitrary and the cycle structure of the factors is given. Jackson (1988) derived the first closed form expression for the generating series of these numbers using the theory of the irreducible characters of the symmetric group. Thanks to a direct bijection we compute a similar formula and provide the first purely combinatorial evaluation of these generating series.