group
10258 papers tagged with this keyword
Cubical-like geometry of quasi-median graphs and applications to geometric group theory
The class of quasi-median graphs is a generalisation of median graphs, or equivalently of CAT(0) cube complexes. The purpose of this thesis is to introduce these graphs in geometric group theory. In the first part of our work, we extend the definition of hyperplanes from CAT(0) cube complexes, and we show that the geometry of a quasi-median graph essentially reduces to the combinatorics of its hyperplanes. In the second part, we exploit the specific structure of the hyperplanes to state combination results. The main idea is that if a group acts in a suitable way on a quasi-median graph so that clique-stabilisers satisfy some non-positively curved property $\mathcal{P}$, then the whole group must satisfy $\mathcal{P}$ as well. The properties we are interested in are mainly (relative) hyperbolicity, (equivariant) $\ell^p$-compressions, CAT(0)-ness and cubicality. In the third part, we apply our general criteria to several classes of groups, including graph products, Guba and Sapir's diagram products, some wreath products, and some graphs of groups. Graph products are our most natural examples, where the link between the group and its quasi-median graph is particularly strong and explicit; in particular, we are able to determine precisely when a graph product is relatively hyperbolic.
Groups acting on quasi-median graphs. An introduction
Published
• View Publication
• BIB
Quasi-median graphs have been introduced by Mulder in 1980 as a generalisation of median graphs, known in geometric group theory to naturally coincide with the class of CAT(0) cube complexes. In his PhD thesis, the author showed that quasi-median graphs may be useful to study groups as well. In the present paper, we propose a gentle introduction to the theory of groups acting on quasi-median graphs.
Lattice homomorphisms between weak orders
Published
• View Publication
• BIB
We classify surjective lattice homomorphisms $W\to W'$ between the weak orders on finite Coxeter groups. Equivalently, we classify lattice congruences $Θ$ on $W$ such that the quotient $W/Θ$ is isomorphic to $W'$. Surprisingly, surjective homomorphisms exist quite generally: They exist if and only if the diagram of $W'$ is obtained from the diagram of $W$ by deleting vertices, deleting edges, and/or decreasing edge labels. A surjective homomorphism $W\to W'$ is determined by its restrictions to rank-two standard parabolic subgroups of $W$. Despite seeming natural in the setting of Coxeter groups, this determination in rank two is nontrivial. Indeed, from the combinatorial lattice theory point of view, all of these classification results should appear unlikely a priori. As an application of the classification of surjective homomorphisms between weak orders, we also obtain a classification of surjective homomorphisms between Cambrian lattices and a general construction of refinement relations between Cambrian fans.
Nonlocal Games and Quantum Permutation Groups
Published
• View Publication
• BIB
We present a strong connection between quantum information and quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we show that two connected graphs $X$ and $Y$ are quantum isomorphic if and only if there exists $x \in V(X)$ and $y \in V(Y)$ that are in the same orbit of the quantum automorphism group of the disjoint union of $X$ and $Y$. This connection links quantum groups to the more concrete notion of nonlocal games and physically observable quantum behaviours. We exploit this link by using ideas and results from quantum information in order to prove new results about quantum automorphism groups, and about quantum permutation groups more generally. In particular, we show that asymptotically almost surely all graphs have trivial quantum automorphism group. Furthermore, we use examples of quantum isomorphic graphs from previous work to construct an infinite family of graphs which are quantum vertex transitive but fail to be vertex transitive, answering a question from the quantum group literature.
Our main tool for proving these results is the introduction of orbits and orbitals (orbits on ordered pairs) of quantum permutation groups. We show that the orbitals of a quantum permutation group form a coherent configuration/algebra, a notion from the field of algebraic graph theory. We then prove that the elements of this quantum orbital algebra are exactly the matrices that commute with the magic unitary defining the quantum group. We furthermore show that quantum isomorphic graphs admit an isomorphism of their quantum orbital algebras which maps the adjacency matrix of one graph to that of the other.
Exponential Lower Bounds on the Generalized Erdős-Ginzburg-Ziv Constant
Published in Discrete Mathematics Vol. 343, 2017
• View Publication
• BIB
For a finite abelian group $G$, the generalized Erdős--Ginzburg--Ziv constant $\mathsf s_{k}(G)$ is the smallest $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. If $n = \exp(G)$ is the exponent of $G$, the previously best known bounds for $\mathsf s_{kn}(C_n^r)$ were linear in $n$ and $r$ when $k\ge 2$. Via a probabilistic argument, we produce the exponential lower bound \[ \mathsf s_{2n}(C_n^r) > \frac{n}{2}[1.25 - O(n^{-3/2})]^r \] for $n > 0$. For the general case, we show \[ \mathsf s_{kn}(C_n^r) > \frac{kn}{4}\Big(1+\frac{1}{ek} + O\Big(\frac{1}{n}\Big)\Big)^r. \]
Multi-coloured jigsaw percolation on random graphs
Published
• View Publication
• BIB
The jigsaw percolation process, introduced by Brummitt, Chatterjee, Dey and Sivakoff, was inspired by a group of people collectively solving a puzzle. It can also be seen as a measure of whether two graphs on a common vertex set are "jointly connected". In this paper we consider the natural generalisation of this process to an arbitrary number of graphs on the same vertex set. We prove that if these graphs are random, then the jigsaw percolation process exhibits a phase transition in terms of the product of the edge probabilities. This generalises a result of Bollobás, Riordan, Slivken and Smith.
The algebraic geometry of Kazhdan-Lusztig-Stanley polynomials
Published
• View Publication
• BIB
Kazhdan-Lusztig-Stanley polynomials are a combinatorial generalization of Kazhdan-Lusztig polynomials of for Coxeter groups that include g-polynomials of polytopes and Kazhdan-Lusztig polynomials of matroids. In the cases of Weyl groups, rational polytopes, and realizable matroids, one can count points over finite fields on flag varieties, toric varieties, or reciprocal planes to obtain cohomological interpretations of these polynomials. We survey these results and unite them under a single geometric framework.
Maximal arcs and extended cyclic codes
Published
• View Publication
• BIB
It is proved that for every $d\ge 2$ such that $d-1$ divides $q-1$, where $q$ is a power of 2, there exists a Denniston maximal arc $A$ of degree $d$ in $\PG(2,q)$, being invariant under a cyclic linear group that fixes one point of $A$ and acts regularly on the set of the remaining points of ${A}$. Two alternative proofs are given, one geometric proof based on Abatangelo-Larato's characterization of Denniston arcs, and a second coding-theoretical proof based on cyclotomy and the link between maximal arcs and two-weight codes.
A new exponential upper bound for the Erdős-Ginzburg-Ziv constant
Naslund used Tao's slice rank bounding method to give new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of finite Abelian groups of high rank. In our short manuscript we improve slightly Naslund's upper bounds. We extend Naslund's results and prove new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of arbitrary finite Abelian groups. Our main results depend on a conjecture about Property D.
Descent Representations of Generalized Coinvariant Algebras
Published
• View Publication
• BIB
The coinvariant algebra $R_n$ is a well-studied $\mathfrak{S}_n$-module that is a graded version of the regular representation of $\mathfrak{S}_n$. Using a straightening algorithm on monomials and the Garsia-Stanton basis, Adin, Brenti, and Roichman gave a description of the Frobenius image of $R_n$, graded by partitions, in terms of descents of standard Young tableaux. Motivated by the Delta Conjecture of Macdonald polynomials, Haglund, Rhoades, and Shimozono gave an extension of the coinvariant algebra $R_{n,k}$ and an extension of the Garsia-Stanton basis. Chan and Rhoades further extend these results from $\mathfrak{S}_n$ to the complex reflection group $G(r,1,n)$ by defining a $G(r,1,n)$ module $S_{n,k}$ that generalizes the coinvariant algebra for $G(r,1,n)$. We extend the results of Adin, Brenti, and Roichman to $R_{n,k}$ and $S_{n,k}$.
Stuttering blocks of Ariki-Koike algebras
Published in Algebraic Combinatorics, Volume 2 (2019) no. 1, p. 75-118
• View Publication
• BIB
We study a shift action defined on multipartitions and on residue multisets of their Young diagrams. We prove that the minimal orbit cardinality among all multipartitions associated to a given multiset depends only on the orbit cardinality of the multiset. Using abaci, this problem reduces to a convex optimisation problem over the integers with linear constraints. We solve it by proving an existence theorem for binary matrices with prescribed row, column and block sums. Finally, we give some applications to the representation theory of the Hecke algebra of the complex reflection group $G(r,p,n)$.
BP-homology of elementary abelian 2-groups: BP-module structure
Published
• View Publication
• BIB
We determine the BP-module structure, mod higher filtration, of the main part of the BP-homology of elementary abelian 2-groups. The action is related to symmetric polynomials and to Dickson invariants.
Kohnert polynomials
Published
• View Publication
• BIB
We associate a polynomial to any diagram of unit cells in the first quadrant of the plane using Kohnert's algorithm for moving cells down. In this way, for every weak composition one can choose a cell diagram with corresponding row-counts, with each choice giving rise to a combinatorially-defined basis of polynomials. These Kohnert bases provide a simultaneous generalization of Schubert polynomials and Demazure characters for the general linear group. Using the monomial and fundamental slide bases defined earlier by the authors, we show that Kohnert polynomials stabilize to quasisymmetric functions that are nonnegative on the fundamental basis for quasisymmetric functions. For initial applications, we define and study two new Kohnert bases. The elements of one basis are conjecturally Schubert-positive and stabilize to the skew-Schur functions; the elements of the other basis stabilize to a new basis of quasisymmetric functions that contains the Schur functions.
Invariants of partitions and representative elements
The symbol invariant is used to describe the Springer correspondence for the classical groups by Lusztig. And the fingerprint invariant can be used to describe the Kazhdan-Lusztig map. They are invariants of rigid semisimple operators described by pairs of partitions $(λ^{'}, λ^{"})$. We construct a nice representative element of the rigid semisimple operators with the same symbol invariant. The fingerprint of the representative element can be obtained immediately. We also discuss the representative element of rigid semisimple operator with the same fingerprint invariant. Our construction can be regarded as the maps between these two invariants.
Quiver mutations and Boolean reflection monoids
Published in Journal of Algebra, Volume 544, 15 February 2020, Pages 417-453
• View Publication
• BIB
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respectively. Surprisingly, inner by diagram automorphisms of irreducible Weyl groups and Boolean reflection monoids can be constructed by sequences of mutations preserving the same underlying diagrams. Besides, we show that semigroup algebras of Boolean reflection monoids are cellular algebras.
Hook removal operators on the odd Young graph
Published
• View Publication
• BIB
In this article we consider hook removal operators on odd partitions, i.e., partitions labelling odd-degree irreducible characters of finite symmetric groups. In particular we complete the discussion, started by Isaacs, Navarro, Olsson and Tiep in 2016, concerning the commutativity of such operators.
Representation stability on the cohomology of complements of subspace arrangements
Published
• View Publication
• BIB
We study representation stability in the sense of Church and Farb of sequences of cohomology groups of complements of arrangements of linear subspaces in real and complex space as $S_n$-modules. We consider arrangement of linear subspaces defined by sets of diagonal equalities $x_i = x_j$ and invariant under the action of $S_n$ permuting the coordinates. We provide bounds on the point when stabilization occurs and an alternative proof for the fact that stabilization happens. The latter is a special case of a very general stabilization result of Gadish and for the pure braid space the result is part of the work of Church and Farb. For this space better stabilization bounds were obtained by Hersh and Reiner.
The second largest eigenvalues of some Cayley graphs on alternating groups
Published
• View Publication
• BIB
Let $A_n$ denote the alternating group of degree $n$ with $n\geq 3$. The alternating group graph $AG_n$, extended alternating group graph $EAG_n$ and complete alternating group graph $CAG_n$ are the Cayley graphs $\mathrm{Cay}(A_n,T_1)$, $\mathrm{Cay}(A_n,T_2)$ and $\mathrm{Cay}(A_n,T_3)$, respectively, where $T_1=\{(1,2,i),(1,i,2)\mid 3\leq i\leq n\}$, $T_2=\{(1,i,j),(1,j,i)\mid 2\leq i<j\leq n\}$ and $T_3=\{(i,j,k),(i,k,j)\mid 1\leq i<j<k\leq n\}$. In this paper, we determine the second largest eigenvalues of $AG_n$, $EAG_n$ and $CAG_n$.
Scaling limits of Cayley graphs with polynomially growing balls
Benjamini, Finucane and the first author have shown that if (G_n,S_n) is a sequence of Cayley graphs such that |S_n^n|=O(n^D|S_n|), then the sequence (G_n,d_{S_n}/n) is relatively compact for the Gromov-Hausdorff topology and every cluster point is a connected nilpotent Lie group equipped with a left-invariant sub-Finsler metric. In this paper we show that the dimension of such a cluster point is bounded by D, and that, under the stronger bound |S_n^n|=O(n^D), the homogeneous dimension of a cluster point is bounded by D. Our approach is roughly to use a well-known structure theorem for approximate groups due to Breuillard, Green and Tao to replace S_n^n with a coset nilprogression of bounded rank, and then to use results about nilprogressions from a previous paper of ours to study the ultralimits of such coset nilprogressions. As an application we bound the dimension of the scaling limit of a sequence of vertex-transitive graphs of large diameter. We also recover and effectivise parts of an argument of Tao concerning the further growth of single set S satisfying the bound |S^n| < Mn^D|S|.
On The Length Spectra of Simple Regular Periodic Graphs
One can define the notion of primitive length spectrum for a simple regular periodic graph via counting the orbits of closed reduced primitive cycles under an action of a discrete group of automorphisms. We prove that this primitive length spectrum satisfies an analogue of the `Multiplicity one' property. We show that if all but finitely many primitive cycles in two simple regular periodic graphs have equal lengths, then all the primitive cycles have equal lengths. This is a graph-theoretic analogue of a similar theorem in the context of geodesics on hyperbolic spaces. We also prove, in the context of actions of finitely generated abelian groups on a graph, that if the adjacency operators for two actions of such a group on a graph are similar, then corresponding periodic graphs are length isospectral.