group
10430 papers tagged with this keyword
Equivariant Euler characteristics of the unitary building
We determine all the equivariant Euler characteristics of the building for the general unitary group over a finite field.
Odd length: odd diagrams and descent classes
Published
• View Publication
• BIB
We define and study odd analogues of classical geometric and combinatorial objects associated to permutations, namely odd Schubert varieties, odd diagrams, and odd inversion sets. We show that there is a bijection between odd inversion sets of permutations and acyclic orientations of the Turán graph, that the dimension of the odd Schubert variety associated to a permutation is the odd length of the permutation, and give several necessary conditions for a subset of $[n] \times [n]$ to be the odd diagram of a permutation. We also study the sign-twisted generating function of the odd length over descent classes of the symmetric groups.
Proof of a conjecture of Klopsch-Voll on Weyl groups of type $A$
Published
• View Publication
• BIB
We prove a conjecture of Klopsch-Voll on the signed generating function of a new statistic on the quotients of the symmetric groups. As a consequence of our results we also prove a conjecture of Stasinski-Voll in type $B$.
Optimal Littlewood-Offord inequalities in groups
Published in Combinatorica 2019
• View Publication
• BIB
We prove several Littlewood-Offord type inequalities for arbitrary groups. In groups having elements of finite order the worst case scenario is provided by the simple random walk on a certain cyclic subgroup. The inequalities we obtain are optimal if the underlying group contains an element of certain order. It turns out that for torsion-free groups Erdős's bound still holds. Our results strengthen and generalize some very recent results by Tiep and Vu.
Symmetries of weight enumerators and applications to Reed-Muller codes
Published
• View Publication
• BIB
Gleason's 1970 theorem on weight enumerators of self-dual codes has played a crucial role for research in coding theory during the last four decades. Plenty of generalizations have been proved but, to our knowledge, they are all based on the symmetries given by MacWilliams' identities. This paper is intended to be a first step towards a more general investigation of symmetries of weight enumerators. We list the possible groups of symmetries, dealing both with the finite and infinite case, we develop a new algorithm to compute the group of symmetries of a given weight enumerator and apply these methods to the family of Reed-Muller codes, giving, in the binary case, an analogue of Gleason's theorem for all parameters.
Symmetric group representations and Z
Published in C. R. Math. Acad. Sci. Paris 356 (2018), No. 1, 1-4
• View Publication
• BIB
We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient.
Counting chambers in restricted Coxeter arrangements
Solomon showed that the Poincaré polynomial of a Coxeter group $W$ satisfies a product decomposition depending on the exponents of $W$. This polynomial coincides with the rank-generating function of the poset of regions of the underlying Coxeter arrangement. In this note we determine all instances when the analogous factorization property of the rank-generating function of the poset of regions holds for a restriction of a Coxeter arrangement. It turns out that this is always the case with the exception of some instances in type $E_8$.
Submodular Function Maximization for Group Elevator Scheduling
Published
• View Publication
• BIB
We propose a novel approach for group elevator scheduling by formulating it as the maximization of submodular function under a matroid constraint. In particular, we propose to model the total waiting time of passengers using a quadratic Boolean function. The unary and pairwise terms in the function denote the waiting time for single and pairwise allocation of passengers to elevators, respectively. We show that this objective function is submodular. The matroid constraints ensure that every passenger is allocated to exactly one elevator. We use a greedy algorithm to maximize the submodular objective function, and derive provable guarantees on the optimality of the solution. We tested our algorithm using Elevate 8, a commercial-grade elevator simulator that allows simulation with a wide range of elevator settings. We achieve significant improvement over the existing algorithms.
Refined Cyclic Sieving on Words for the Major Index Statistic
Published in European Journal of Combinatorics, Volume 73, October 2018, pages 37 to 60
• View Publication
• BIB
Reiner-Stanton-White defined the cyclic sieving phenomenon (CSP) associated to a finite cyclic group action and a polynomial. A key example arises from the length generating function for minimal length coset representatives of a parabolic quotient of a finite Coxeter group. In type A, this result can be phrased in terms of the natural cyclic action on words of fixed content.
There is a natural notion of refinement for many CSP's. We formulate and prove a refinement, with respect to the major index statistic, of this CSP on words of fixed content by also fixing the cyclic descent type. The argument presented is completely different from Reiner-Stanton-White's representation-theoretic approach. It is combinatorial and largely, though not entirely, bijective in a sense we make precise with a "universal" sieving statistic on words, "flex".
A building block of our argument involves cyclic sieving for shifted subset sums, which also appeared in Reiner-Stanton-White. We give an alternate, largely bijective proof of a refinement of this result by extending some ideas of Wagon-Wilf.
On tree-decompositions of one-ended graphs
Published
• View Publication
• BIB
A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended graph contains no ray which is dominated by a vertex and no infinite family of pairwise disjoint rays, then it has a tree-decomposition such that the decomposition tree is one-ended and the tree-decomposition is invariant under the group of automorphisms.
This can be applied to prove a conjecture of Halin from 2000 that the automorphism group of such a graph cannot be countably infinite and solves a recent problem of Boutin and Imrich. Furthermore, it implies that every transitive one-ended graph contains an infinite family of pairwise disjoint rays.
Smith and Critical groups of Polar Graphs
Published in J. Comb. Theory A. 167 (2019), 460-498
• View Publication
• BIB
We compute the elementary divisors of the adjacency and Laplacian matrices of families of polar graphs. These graphs have as vertices the isotropic one-dimensional subspaces of finite vector spaces with respect to non-degenerate forms, with adjacency given by orthogonality.
Listing Words in Free Groups
Published
• View Publication
• BIB
Lists of equivalence classes of words under rotation or rotation plus reversal (i.e., necklaces and bracelets) have many uses, and efficient algorithms for generating these lists exist. In combinatorial group theory elements of a group are typically written as words in the generators and their inverses, and necklaces and bracelets correspond to conjugacy classes and relators respectively. We present algorithms to generate lists of freely and cyclically reduced necklaces and bracelets in free groups. Experimental evidence suggests that these algorithms are CAT -- that is, they run in constant amortized time.
Twisted Recurrence via Polynomial Walks
In this paper we show how polynomial walks can be used to establish a twisted recurrence for sets of positive density in $\mathbb{Z}^d$. In particular, we prove that if $Γ\leq \operatorname{GL}_d(\mathbb{Z})$ is finitely generated by unipotents and acts irreducibly on $\mathbb{R}^d$, then for any set $B \subset \mathbb{Z}^d$ of positive density, there exists $k \geq 1$ such that for any $v \in k \mathbb{Z}^d$ one can find $γ\in Γ$ with $γv \in B - B$. Our method does not require the linearity of the action, and we prove a twisted recurrence for semigroups of maps from $\mathbb{Z}^d$ to $\mathbb{Z}^d$ satisfying some irreducibility and polynomial assumptions. As one of the consequences, we prove a non-linear analog of Bogolubov's theorem -- for any set $B \subset \mathbb{Z}^2$ of positive density, and $p(n) \in \mathbb{Z}[n]$, with $p(0) = 0$ and $\operatorname{deg}(p) \geq 2$, there exists $k \geq 1$ such that $k \mathbb{Z} \subset \{ x - p(y) \, | \, (x,y) \in B-B \}$. Unlike the previous works on twisted recurrence that used recent results of Benoist-Quint and Bourgain-Furman-Lindenstrauss-Mozes on equidistribution of random walks on automorphism groups of tori, our method relies on the classical Weyl equidistribution for polynomial orbits on tori.
Numerical studies of Thompson's group F and related groups
Published in International Journal of Algebra and Computation 29.2 (2019): 179243
• View Publication
• BIB
We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymptotics of these various cogrowth series. We present improved rigorous lower bounds on the growth-rate of the cogrowth series for Thompson's group $F$ using the method from \cite{HHR15} applied to our extended series. We also generalise their method by showing that it applies to loops on any locally finite graph. Unfortunately, lower bounds less than 16 do not help in determining amenability.
Again for Thompson's group $F$ we prove that, if the group is amenable, there cannot be a sub-dominant stretched exponential term in the asymptotics\footnote{ }. Yet the numerical data provides compelling evidence for the presence of such a term. This observation suggests a potential path to a proof of non-amenability: If the universality class of the cogrowth sequence can be determined rigorously, it will likely prove non-amenability.
We estimate the asymptotics of the cogrowth coefficients of $F$ to be $$ c_n \sim c \cdot μ^n \cdot κ^{n^σ\log^δ{n}} \cdot n^g,$$ where $μ\approx 15,$ $κ\approx 1/e,$ $σ\approx 1/2,$ $δ\approx 1/2,$ and $g \approx -1.$ The growth constant $μ$ must be 16 for amenability. These two approaches, plus a third based on extrapolating lower bounds, support the conjecture \cite{ERvR15, HHR15} that the group is not amenable.
Kleshchev multipartitions and extended Young diagrams
Published
• View Publication
• BIB
We give a new simple characterization of the set of Kleshchev multipartitions, and more generally of the set of Uglov multipartitions. These combinatorial objects play an important role in various areas of representation theory of quantum groups, Hecke algebras or finite reductive groups. As a consequence, we obtain a proof of a generalization of a conjecture by Dipper, James and Murphy and a generalization of the LLT algorithm for arbitrary level.
Hurwitz Theory of Elliptic Orbifolds, I
Published in Geom. Topol. 25 (2021) 229-274
• View Publication
• BIB
An elliptic orbifold is the quotient of an elliptic curve by a finite group. Eskin and Okounkov proved that generating functions for the number of branched covers of an elliptic curve with specified ramification are quasimodular forms for the full modular group $SL_2(\mathbb{Z})$. They later generalized this theorem to the enumeration of branched covers of a pillowcase, i.e. the quotient of an elliptic curve by the elliptic involution, proving quasi-modularity for $Γ_1(2)$. We generalize their work to the quotient of an elliptic curve by cyclic groups of orders $N=3$, $4$, $6$, proving quasi-modularity for level $Γ_1(N)$.
One corollary is that certain generating functions of hexagon, square, and triangle tilings of compact surfaces are quasi-modular. These tilings enumerate lattice points in moduli spaces of flat surfaces. We analyze the asymptotic behavior as the number of tiles goes to infinity, theoretically giving an algorithm to compute the Masur-Veech volumes of moduli spaces of cubic, quartic, and sextic differentials. We also deduce that the volume is polynomial in $π$.
Non-Nudgable Subgroups of Permutations
Published
• View Publication
• BIB
Motivated by a problem from behavioral economics, we study subgroups of permutation groups that have a certain strong symmetry. Given a fixed permutation, consider the set of all permutations with disjoint inversion sets. The group is called non-nudgable, if the cardinality of this set always remains the same when replacing the initial permutation with its inverse. It is called nudgable otherwise. We show that all full permutation groups, standard dihedral groups, half of the alternating groups, and any abelian subgroup are non-nudgable. In the right probabilistic sense, it is thus quite likely that a randomly generated subgroup is non-nudgable. However, the other half of the alternating groups are nudgable. We also construct a smallest possible nudgable group, a 6-element subgroup of the permutation group on 4 elements.
Quasi-homogeneity of the moduli space of stable maps to homogeneous spaces
Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a degree. Let $\overline{M}_{0,3}(X,d)$ be the (coarse) moduli space of three pointed genus zero stable maps to $X$ of degree $d$. We prove under reasonable assumptions on $d$ that $\overline{M}_{0,3}(X,d)$ is quasi-homogeneous under the action of $G$.
The essential assumption on $d$ is that $d$ is a minimal degree, i.e. that $d$ is a degree which is minimal with the property that $q^d$ occurs with non-zero coefficient in the quantum product $σ_u\starσ_v$ of two Schubert cycles $σ_u$ and $σ_v$, where $\star$ denotes the product in the (small) quantum cohomology ring $QH^*(X)$ attached to $X$. We prove our main result on quasi-homogeneity by constructing an explicit morphism which has a dense open $G$-orbit in $\overline{M}_{0,3}(X,d)$. To carry out the construction of this morphism, we develop a combinatorial theory of generalized cascades of orthogonal roots which is interesting in its own right.
Stanley-Reisner rings of simplicial complexes with a free action by an abelian group
Published
• View Publication
• BIB
We consider simplicial complexes admitting a free action by an abelian group. Specifically, we establish a refinement of the classic result of Hochster describing the local cohomology modules of the associated Stanley--Reisner ring, demonstrating that the topological structure of the free action extends to the algebraic setting. If the complex in question is also Buchsbaum, this new description allows for a specialization of Schenzel's calculation of the Hilbert series of some of the ring's Artinian reductions. In further application, we generalize to the Buchsbaum case the results of Stanley and Adin that provide a lower bound on the $h$-vector of a Cohen-Macaulay complex admitting a free action by a cyclic group of prime order.
Models for Configuration Space in a Simplicial Complex
Published in Colloq. Math. 155 (2019), no. 1, 127-139
• View Publication
• BIB
We produce combinatorial models for configuration space in a simplicial complex, and for configurations near a single point ("local configuration space.") The model for local configuration space is built out of the poset of poset structures on a finite set. The model for global configuration space relies on a combinatorial model for a simplicial complex with a deleted subcomplex. By way of application, we study the nodal curve $y^2 z = x^3 + x^2 z$, obtaining a presentation for its two-strand braid group, a conjectural presentation for its three-strand braid group, and presentations for its two- and three-strand local braid groups near the singular point.