group
10263 papers tagged with this keyword
The Coarse Geometry of Hartnell's Firefighter Problem on Infinite Graphs
Published
• View Publication
• BIB
In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previous results in the literature, in particular the class of graphs satisfying the constant containment property is infinite. A second result is that in the class of graphs with bounded degree, having the constant containment property is preserved by quasi-isometry. Some sample consequences of the second result are that any regular tiling of the Euclidean plane has the fire containment property; no regular tiling of the $n$-dimensional Euclidean space has the containment property if $n>2$; and no regular tiling of the $n$-dimensional hyperbolic space has the containment property if $n\geq 2$. We prove analogous results for the $\{f_n\}$-containment property, where $f_n$ is an integer sequence corresponding to the number of vertices protected at time $n$. In particular, we positively answer a conjecture by Develin and Hartke by proving that the $d$-dimensional square grid $\mathbb{L}^d$ does not satisfy the $cn^{d-3}$-containment property for any constant $c$.
Symmetry in Turán Sums of Squares Polynomials from Flag Algebras
Published
• View Publication
• BIB
Turán problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on semidefinite programming to find sums of squares that establish edge density inequalities in Turán problems. Working with polynomial analogs of the flag algebra entities, we prove that such sums of squares created by flag algebras can be retrieved from a restricted version of the symmetry-adapted semidefinite program proposed by Gatermann and Parrilo. This involves using the representation theory of the symmetric group for finding succinct sums of squares expressions for invariant polynomials. The connection reveals several combinatorial and structural properties of flag algebra sums of squares, and offers new tools for Turán and other related problems.
The Topology of Knight's Tours on Surfaces
We investigate the homotopy classes of closed knight's tours on cylinders and tori. Specifically, we characterize the dimensions of cylindrical chessboards that admit closed knight's tours realizing the identity of the fundamental group and those that admit closed tours realizing a generator of the fundamental group. We also produce analogous results for toroidal chessboards.
Some Problems Arising from Partition Poset Homology
Published
• View Publication
• BIB
We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.
A decomposition rule for certain tensor product representations of the symmetric groups
Published in Journal of Algebra 434 (2015) 46-64
• View Publication
• BIB
In this paper, we give a combinatorial rule to calculate the decomposition of the tensor product (Kronecker product) of two irreducible complex representations of the symmetric group ${\mathfrak S}_n$, when one of the representations corresponds to a hook $(n-m, 1^m)$.
Exponential formulas for models of complex reflection groups
Published
• View Publication
• BIB
In this paper we find some exponential formulas for the Betti numbers of the De Concini-Procesi minimal wonderful models Y_{G(r,p,n)} associated to the complex reflection groups G(r,p,n). Our formulas are different from the ones already known in the literature: they are obtained by a new combinatorial encoding of the elements of a basis of the cohomology by means of set partitions with weights and exponents.
We also point out that a similar combinatorial encoding can be used to describe the faces of the real spherical wonderful models of type A_{n-1}=G(1,1,n), B_n=G(2,1,n) and D_n=G(2,2,n). This provides exponential formulas for the f-vectors of the associated nestohedra: the Stasheff's associahedra (in this case closed formulas are well known) and the graph associahedra of type D_n.
Finite edge-transitive oriented graphs of valency four: a global approach
Published
• View Publication
• BIB
We develop a new framework for analysing finite connected, oriented graphs of valency 4, which admit a vertex-transitive and edge-transitive group of automorphisms preserving the edge orientation. We identify a sub-family of "basic" graphs such that each graph of this type is a normal cover of at least one basic graph. The basic graphs either admit an edge-transitive group of automorphisms that is quasiprimitive or biquasiprimitive on vertices, or admit an (oriented or unoriented) cycle as a normal quotient. We anticipate that each of these additional properties will facilitate effective further analysis, and we demonstrate that this is so for the quasiprimitive basic graphs. Here we obtain strong restirictions on the group involved, and construct several infinite families of such graphs which, to our knowledge, are different from any recorded in the literature so far. Several open problems are posed in the paper.
On Mitchell's embedding theorem for a quasi-schemoid
Published
• View Publication
• BIB
A quasi-schemoid is a small category whose morphisms are colored with appropriate combinatorial data. In this note, Mitchell's embedding theorem for a tame schemoid is established. The result allows us to give a cofibrantly generated model category structure to the category of chain complexes over a functor category with a schemoid as the domain. Moreover, a notion of Morita equivalence for schemoids is introduced and discussed. In particular, we show that every Hamming scheme of binary codes is Morita equivalent to the association scheme arising from the cyclic group of order two. In an appendix, we construct a new schemoid from an abstract simplicial complex, whose Bose-Mesner algebra is closely related to the Stanley-Reisner ring of the given complex.
An action of the Coxeter group $BC_n$ on maps on surfaces, Lagrangian matroids and their representations
For a map $\mathcal M$ cellularly embedded on a connected and closed orientable surface, the bases of its Lagrangian (also known as delta-) matroid $Δ(\mathcal M)$ correspond to the bases of a Lagrangian subspace $L$ of the standard orthogonal space $\mathbb{Q}^E\oplus\mathbb{Q}^{E^*}$, where $E$ and $E^*$ are the edge-sets of $\mathcal M$ and its dual map. The Lagrangian subspace $L$ is said to be a representation of both $\mathcal M$ and $Δ(\mathcal M)$. Furthermore, the bases of $Δ(\mathcal M)$, when understood as vertices of the hypercube $[-1,1]^n$, induce a polytope $\mathbf P(Δ(\mathcal M))$ with edges parallel to the root system of type $BC_n$. In this paper we study the action of the Coxeter group $BC_n$ on $\mathcal M$, $L$, $Δ(\mathcal M)$ and $\mathbf P(Δ(\mathcal M))$. We also comment on the action of $BC_n$ on $\mathcal M$ when $\mathcal M$ is understood a dessin d'enfant.
Locally triangular graphs and normal quotients of the $n$-cube
Published in J. Algebr. Comb. 44 (2016) 119-130
• View Publication
• BIB
For an integer $n\geq 2$, the triangular graph has vertex set the $2$-subsets of $\{1,\ldots,n\}$ and edge set the pairs of $2$-subsets intersecting at one point. Such graphs are known to be halved graphs of bipartite rectagraphs, which are connected triangle-free graphs in which every $2$-path lies in a unique quadrangle. We refine this result and provide a characterisation of connected locally triangular graphs as halved graphs of normal quotients of $n$-cubes. To do so, we study a parameter that generalises the concept of minimum distance for a binary linear code to arbitrary automorphism groups of the $n$-cube.
Depth in classical Coexter groups
Published in Journal of Algebraic Combinatorics 44 (2016), 645--676
• View Publication
• BIB
The depth statistic was defined by Petersen and Tenner for an element of an arbitrary Coxeter group in terms of factorizations of the element into a product of reflections. It can also be defined as the minimal cost, given certain prescribed edge weights, for a path in the Bruhat graph from the identity to an element. We present algorithms for calculating the depth of an element of a classical Coxeter group that yield simple formulas for this statistic. We use our algorithms to characterize elements having depth equal to length. These are the short-braid-avoiding elements. We also give a characterization of the elements for which the reflection length coincides with both the depth and the length. These are the boolean elements.
Count Matroids of Group-Labeled Graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is called $(k,\ell)$-sparse if $|F|\leq k|V(F)|-\ell$ for any nonempty $F\subseteq E$, where $V(F)$ denotes the set of vertices incident to $F$. It is known that the family of the edge sets of $(k,\ell)$-sparse subgraphs forms the family of independent sets of a matroid, called the $(k,\ell)$-count matroid of $G$. In this paper we shall investigate lifts of the $(k,\ell)$-count matroid by using group labelings on the edge set. By introducing a new notion called near-balancedness, we shall identify a new class of matroids, where the independence condition is described as a count condition of the form $|F|\leq k|V(F)|-\ell +α_ψ(F)$ for some function $α_ψ$ determined by a given group labeling $ψ$ on $E$.
Inverse theorems for sets and measures of polynomial growth
Published
• View Publication
• BIB
We give a structural description of the finite subsets $A$ of an arbitrary group $G$ which obey the polynomial growth condition $|A^n| \leq n^d |A|$ for some bounded $d$ and sufficiently large $n$, showing that such sets are controlled by (a bounded number of translates of) a coset nilprogression in a certain precise sense. This description recovers some previous results of Breuillard-Green-Tao and Breuillard-Tointon concerning sets of polynomial growth; we are also able to describe the subsequent growth of $|A^m|$ fairly explicitly for $m \geq n$, at least when $A$ is a symmetric neighbourhood of the identity. We also obtain an analogous description of symmetric probability measures $μ$ whose $n$-fold convolutions $μ^{*n}$ obey the condition $\| μ^{*n} \|_{\ell^2}^{-2} \leq n^d \|μ\|_{\ell^2}^{-2}$. In the abelian case, this description recovers the inverse Littlewood-Offord theorem of Nguyen-Vu, and gives a variant of a recent nonabelian inverse Littlewood-Offord theorem of Tiep-Vu.
Our main tool to establish these results is the inverse theorem of Breuillard, Green, and the author that describes the structure of approximate groups.
Generic properties of subgroups of free groups and finite presentations
Published in Contemporary Mathematics 677 (2016) 1-44
• View Publication
• BIB
Asymptotic properties of finitely generated subgroups of free groups, and of finite group presentations, can be considered in several fashions, depending on the way these objects are represented and on the distribution assumed on these representations: here we assume that they are represented by tuples of reduced words (generators of a subgroup) or of cyclically reduced words (relators). Classical models consider fixed size tuples of words (e.g. the few-generator model) or exponential size tuples (e.g. Gromov's density model), and they usually consider that equal length words are equally likely. We generalize both the few-generator and the density models with probabilistic schemes that also allow variability in the size of tuples and non-uniform distributions on words of a given length.Our first results rely on a relatively mild prefix-heaviness hypothesis on the distributions, which states essentially that the probability of a word decreases exponentially fast as its length grows. Under this hypothesis, we generalize several classical results: exponentially generically a randomly chosen tuple is a basis of the subgroup it generates, this subgroup is malnormal and the tuple satisfies a small cancellation property, even for exponential size tuples. In the special case of the uniform distribution on words of a given length, we give a phase transition theorem for the central tree property, a combinatorial property closely linked to the fact that a tuple freely generates a subgroup. We then further refine our results when the distribution is specified by a Markovian scheme, and in particular we give a phase transition theorem which generalizes the classical results on the densities up to which a tuple of cyclically reduced words chosen uniformly at random exponentially generically satisfies a small cancellation property, and beyond which it presents a trivial group.
(Pure) transcendence bases in $φ$-deformed shuffle bialgebras
Published in Seminaire Lotharingien de Combinatoire, Universit{é} Louis Pasteur, 2015, 74, pp.1-31
• Search Publication
Computations with integro-differential operators are often carried out in an associative algebra with unit, and they are essentially non-commutative computations. By adjoining a cocommutative co-product, one can have those operators perform act on a bialgebra isomorphic to an enveloping algebra. That gives an adequate framework for a computer-algebra implementation via monoidal factorization, (pure) transcendence bases and Poincaré--Birkhoff--Witt bases. In this paper, we systematically study these deformations, obtaining necessary and sufficient conditions for the operators to exist, and we give the most general cocommutative deformations of the shuffle co-product and an effective construction of pairs of bases in duality. The paper ends by the combinatorial setting of local systems of coordinates on the group of group-like series.
A note on subgroups of automorphism groups of full shifts
Published
• View Publication
• BIB
We discuss the set of subgroups of the automorphism group of a full shift, and submonoids of its endomorphism monoid. We prove closure under direct products in the monoid case, and free products in the group case. We also show that the automorphism group of a full shift embeds in that of an uncountable sofic shift. Some undecidability results are obtained as corollaries.
Corners over quasirandom groups
Published in Combinatorics, Probability and Computing, 26 (2017) 944-951
• View Publication
• BIB
Let $G$ be a finite $D$-quasirandom group and $A \subset G^{k}$ a $δ$-dense subset. Then the density of the set of side lengths $g$ of corners \[ \{(a_{1},\dots,a_{k}),(ga_{1},a_{2},\dots,a_{k}),\dots,(ga_{1},\dots,ga_{k})\} \subset A \] converges to $1$ as $D\to\infty$.
On Higman's $k(U_n(\mathbb{F}_q))$ conjecture
A classical conjecture by Graham Higman states that the number of conjugacy classes of $U_n(q)$, the group of upper triangular $n\times n$ matrices over $\mathbb{F}_q$, is polynomial in $q$, for all $n$. In this paper we present both positive and negative evidence, verifying the conjecture for $n\le 16$, and suggesting that it probably fails for $n\ge 59$. The tools are both theoretical and computational. We introduce a new framework for testing Higman's conjecture, which involves recurrence relations for the number of conjugacy classed of \emph{pattern groups}. These relations are proved by the \emph{orbit method} for finite nilpotent groups. Other applications are also discussed.
On the number of subgroups of a given exponent in a finite abelian group
Published in Publications de l'Institut Mathématique Beograd 101(115) (2017), 121--133
• View Publication
• BIB
This paper deals with the number of subgroups of a given exponent in a finite abelian group. Explicit formulas are obtained in the case of rank two and rank three abelian groups. An asymptotic formula is also presented.
Braid moves in commutation classes of the symmetric group
Published in European J. Combin. 62 (2017) 15-34
• View Publication
• BIB
We prove that the expected number of braid moves in the commutation class of the reduced word $(s_1 s_2 \cdots s_{n-1})(s_1 s_2 \cdots s_{n-2}) \cdots (s_1 s_2)(s_1)$ for the long element in the symmetric group $\mathfrak{S}_n$ is one. This is a variant of a similar result by V. Reiner, who proved that the expected number of braid moves in a random reduced word for the long element is one. The proof is bijective and uses X. Viennot's theory of heaps and variants of the promotion operator. In addition, we provide a refinement of this result on orbits under the action of even and odd promotion operators. This gives an example of a homomesy for a nonabelian (dihedral) group that is not induced by an abelian subgroup. Our techniques extend to more general posets and to other statistics.