group
10226 papers tagged with this keyword
Large facing tuples and a strengthened sector lemma
Published in Tunisian J. Math. 4 (2022) 55-86
• View Publication
• BIB
We prove a strengthened sector lemma for irreducible, finite-dimensional, locally finite, essential, cocompact CAT(0) cube complexes under the additional hypothesis that the complex is \emph{hyperplane-essential}; we prove that every quarterspace contains a halfspace. In aid of this, we present simplified proofs of known results about loxodromic isometries of the contact graph, avoiding the use of disc diagrams.
This paper has an expository element; in particular, we collect results about cube complexes proved by combining Ramsey's theorem and Dilworth's theorem. We illustrate the use of these tricks with a discussion of the Tits alternative for cubical groups, and ask some questions about "quantifying" statements related to rank-rigidity and the Tits alternative.
Balance constants for Coxeter groups
Published in Trans. Amer. Math. Soc. 376 (2023), 8973-9000
• View Publication
• BIB
The $1/3$-$2/3$ Conjecture, originally formulated in 1968, is one of the best-known open problems in the theory of posets, stating that the balance constant (a quantity determined by the linear extensions) of any non-total order is at least $1/3$. By reinterpreting balance constants of posets in terms of convex subsets of the symmetric group, we extend the study of balance constants to convex subsets $C$ of any Coxeter group. Remarkably, we conjecture that the lower bound of $1/3$ still applies in any finite Weyl group, with new and interesting equality cases appearing.
We generalize several of the main results towards the $1/3$-$2/3$ Conjecture to this new setting: we prove our conjecture when $C$ is a weak order interval below a fully commutative element in any acyclic Coxeter group (an generalization of the case of width-two posets), we give a uniform lower bound for balance constants in all finite Weyl groups using a new generalization of order polytopes to this context, and we introduce generalized semiorders for which we resolve the conjecture.
We hope this new perspective may shed light on the proper level of generality in which to consider the $1/3$-$2/3$ Conjecture, and therefore on which methods are likely to be successful in resolving it.
Many flows in the group connectivity setting
Two well-known results in the world of nowhere-zero flows are Jaeger's 4-flow theorem asserting that every 4-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_2$-flow and Seymour's 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero $\mathbb{Z}_6$-flow. Dvořák and the last two authors of this paper extended these results by proving the existence of exponentially many nowhere-zero flows under the same assumptions. We revisit this setting and provide extensions and simpler proofs of these results.
The concept of a nowhere-zero flow was extended in a significant paper of Jaeger, Linial, Payan, and Tarsi to a choosability-type setting. For a fixed abelian group $Γ$, an oriented graph $G = (V,E)$ is called $Γ$-connected if for every function $f : E \rightarrow Γ$ there is a flow $φ: E \rightarrow Γ$ with $φ(e) \neq f(e)$ for every $e \in E$ (note that taking $f = 0$ forces $φ$ to be nowhere-zero). Jaeger et al. proved that every oriented 3-edge-connected graph is $Γ$-connected whenever $|Γ| \ge 6$. We prove that there are exponentially many solutions whenever $|Γ| \ge 8$. For the group $\mathbb{Z}_6$ we prove that for every oriented 3-edge-connected $G = (V,E)$ with $\ell = |E| - |V| \ge 11$ and every $f: E \rightarrow \mathbb{Z}_6$, there are at least $2^{ \sqrt{\ell} / \log \ell}$ flows $φ$ with $φ(e) \neq f(e)$ for every $e \in E$.
Newell-Littlewood numbers
Published in Trans. Amer. Math. Soc. 374 (2021), 6331-6366
• View Publication
• BIB
The Newell-Littlewood numbers are defined in terms of their celebrated cousins, the Littlewood-Richardson coefficients. Both arise as tensor product multiplicities for a classical Lie group. They are the structure coefficients of the K. Koike-I. Terada basis of the ring of symmetric functions. Recent work of H. Hahn studies them, motivated by R. Langlands' beyond endoscopy proposal; we address her work with a simple characterization of detection of Weyl modules. This motivates further study of the combinatorics of the numbers. We consider analogues of ideas of J. De Loera-T. McAllister, H. Derksen-J. Weyman, S. Fomin-W. Fulton-C.-K. Li-Y.-T. Poon, W. Fulton, R. King-C. Tollu-F. Toumazet, M. Kleber, A. Klyachko, A. Knutson-T. Tao, T. Lam-A. Postnikov-P. Pylyavskyy, K. Mulmuley-H. Narayanan-M. Sohoni, H. Narayanan, A. Okounkov, J. Stembridge, and H. Weyl.
The exact linear Turán number of the Sail
Published
• View Publication
• BIB
A hypergraph is linear if any two of its edges intersect in at most one vertex. The Sail (or $3$-fan) $F^3$ is the $3$-uniform linear hypergraph consisting of $3$ edges $f_1, f_2, f_3$ pairwise intersecting in the same vertex $v$ and an additional edge $g$ intersecting all $f_i$ in a vertex different from $v$. The linear Turán number $ex_{lin}(n, F^3)$ is the maximum number of edges in a $3$-uniform linear hypergraph on $n$ vertices that does not contain a copy of $F^3$.
Füredi and Gyárfás proved that if $n = 3k$, then $ex_{lin}(n, F^3) = k^2$ and the only extremal hypergraphs in this case are transversal designs. They also showed that if $n = 3k+2$, then $ex_{lin}(n, F^3) = k^2+k$, and the only extremal hypergraphs are truncated designs (which are obtained from a transversal design on $3k+3$ vertices with $3$ groups by removing one vertex and all the hyperedges containing it) along with three other small hypergraphs. However, the case when $n =3k+1$ was left open.
In this paper, we solve this remaining case by proving that $ex_{lin}(n, F^3) = k^2+1$ if $n = 3k+1$, answering a question of Füredi and Gyárfás. We also characterize all the extremal hypergraphs. The difficulty of this case is due to the fact that these extremal examples are rather non-standard. In particular, they are not derived from transversal designs like in the other cases.
The Degrees Of Toroidal Regular Proper Hypermaps
Published
• View Publication
• BIB
Recently the classification of all possible faithful transitive permutation representations of the group of symmetries of a regular toroidal map was accomplished. In this paper we complete this investigation on a surface of genus 1 considering the group of a regular toroidal hypermap of type $(3,3,3)$ that is a subgroup of index $2$ of the group of symmetries of a toroidal map of type $\{6,3\}$.
On the asymptotic enumeration of Cayley graphs
Published
• View Publication
• BIB
In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR).
The strategy for digraphs involved analysing separately the cases where the regular group $R$ has a nontrivial proper normal subgroup $N$ with the property that the automorphism group of the digraph fixes each $N$-coset setwise, and the cases where it does not. In this paper, we deal with undirected graphs in the case where the regular group has such a nontrivial proper normal subgroup.
Plateaux on generalized Stirling permutations and partial $γ$-positivity
We prove that the enumerative polynomials of generalized Stirling permutations by the statistics of plateaux, descents and ascents are partial $γ$-positive. Specialization of our result to the Jacobi-Stirling permutations confirms a recent partial $γ$-positivity conjecture due to Ma, Yeh and the second named author. Our partial $γ$-positivity expansion, as well as a combinatorial interpretation for the corresponding $γ$-coefficients, are obtained via the machine of context-free grammars and a group action on generalized Stirling permutations. Besides, we also provide an alternative approach to the partial $γ$-positivity from the stability of certain multivariate polynomials.
Phase transition in cohomology groups of non-uniform random simplicial complexes
Published
• View Publication
• BIB
We consider a generalised model of a random simplicial complex, which arises from a random hypergraph. Our model is generated by taking the downward-closure of a non-uniform binomial random hypergraph, in which for each $k$, each set of $k+1$ vertices forms an edge with some probability $p_k$ independently. As a special case, this contains an extensively studied model of a (uniform) random simplicial complex, introduced by Meshulam and Wallach [Random Structures & Algorithms 34 (2009), no. 3, pp. 408-417].
We consider a higher-dimensional notion of connectedness on this new model according to the vanishing of cohomology groups over an arbitrary abelian group $R$. We prove that this notion of connectedness displays a phase transition and determine the threshold. We also prove a hitting time result for a natural process interpretation, in which simplices and their downward-closure are added one by one. In addition, we determine the asymptotic behaviour of cohomology groups inside the critical window around the time of the phase transition.
Expanders and right-angled Artin groups
Published
• View Publication
• BIB
The purpose of this article is to give a characterization of families of expander graphs via right-angled Artin groups. We prove that a sequence of simplicial graphs $\{Γ_i\}_{i\in\mathbb{N}}$ forms a family of expander graphs if and only if a certain natural mini-max invariant arising from the cup product in the cohomology rings of the groups $\{A(Γ_i)\}_{i\in\mathbb{N}}$ agrees with the Cheeger constant of the sequence of graphs, thus allowing us to characterize expander graphs via cohomology. This result is proved in the more general framework of \emph{vector space expanders}, a novel structure consisting of sequences of vector spaces equipped with vector-space-valued bilinear pairings which satisfy a certain mini-max condition. These objects can be considered to be analogues of expander graphs in the realm of linear algebra, with a dictionary being given by the cup product in cohomology, and in this context represent a different approach to expanders that those developed by Lubotzky-Zelmanov and Bourgain-Yehudayoff.
Acyclic edge coloring conjecture is true on planar graphs without intersecting triangles
Published
• View Publication
• BIB
An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic edge coloring conjecture by Fiam{č}ik (1978) and Alon, Sudakov and Zaks (2001) states that every simple graph with maximum degree $Δ$ is acyclically edge $(Δ+ 2)$-colorable. Despite many milestones, the conjecture remains open even for planar graphs. In this paper, we confirm affirmatively the conjecture on planar graphs without intersecting triangles. We do so by first showing, by discharging methods, that every planar graph without intersecting triangles must have at least one of the six specified groups of local structures, and then proving the conjecture by recoloring certain edges in each such local structure and by induction on the number of edges in the graph.
Counting Schur Rings over Cyclic Groups of Semi-prime Order
In this paper, we continue the enumeration of Schur rings over cyclic groups. Cyclic groups of semiprime order $pq$, where $p$ and $q$ are distinct primes, are considered. Additionally, cyclic groups of order $4p$ are considered.
Motions of a connected subgraph representing a swarm of robots inside a graph of work stations
Published in Electronic Journal of Graph Theory and Applications-2022
• View Publication
• BIB
Imagine that a swarm of robots is given, these robots must communicate with each other, and they can do so if certain conditions are met. We say that the swarm is connected if there is at least one way to send a message between each pair of robots. A robot can move from a work station to another only if the connectivity of the swarm is preserved in order to perform some tasks. We model the problem via graph theory, we study connected subgraphs and how to motion them inside a connected graph preserving the connectivity. We determine completely the group of movements.
The cone of quasi-semimetrics and exponent matrices of tiled orders
Published
• View Publication
• BIB
Finite quasi semimetrics on $n$ can be thought of as nonnegative valuations on the edges of a complete directed graph on $n$ vertices satisfying all possible triangle inequalities. They comprise a polyhedral cone whose symmetry groups were studied for small $n$ by Deza, Dutour and Panteleeva. We show that the symmetry and combinatorial symmetry groups are as they conjectured. Integral quasi semimetrics have apecial place in the theory of tiled orders, being known as exponent matrices, and can be viewed as monoids under componentwise maximum; we provide a novel derivation of the automorphism group of that monoid. Some of these results follow from more general consideration of polyhedral cones that are closed under componentwise maximum.
A classification of one dimensional affine rank three graphs
Published
• View Publication
• BIB
The rank three subgroups of a one-dimensional affine group over a finite field were classified in 1978 by Foulser and Kallaher. Although one can use their results for a classification of corresponding rank three graphs, the author did not find such a classification in a literature. The goal of this note is to present such a classification. It turned out that graph classification is much simpler than the group one. More precisely, it is shown that the graphs in the title are either the Paley graphs or one of the graphs constructed by Van Lint and Schrijver or by Peisert. Our approach is based on elementary group theory and does not use the classification of rank three affine groups.
On chiral polytopes having a group PSL(3,q) as automorphism group
Published
• View Publication
• BIB
For each prime power $q\geq 5$, we construct a rank four chiral polytope that has a group $PSL(3,q)$ as automorphism group and Schläfli type $\{q-1,\frac{2(q-1)}{(3,q-1)},q-1\}$. We also construct rank five polytopes for some values of $q$ and we show that there is no chiral polytope of rank at least six having a group $PSL(3,q)$ or $PSU(3,q)$ as automorphism group.
Eulerian representations for real reflection groups
Published
• View Publication
• BIB
The Eulerian idempotents, first introduced for the symmetric group and later extended to all reflection groups, generate a family of representations called the Eulerian representations that decompose the regular representation. In Type $A$, the Eulerian representations have many elegant but mysterious connections to rings naturally associated with the braid arrangement. In this paper, we unify these results and show that they hold for any reflection group of coincidental type -- that is, $S_{n}$, $B_{n}$, $H_{3}$ or the dihedral group $I_{2}(m)$ -- by giving six characterizations of the Eulerian representations, including as components of the associated graded of the Varchenko-Gelfand ring $\mathcal{V}$. As a consequence, we show that Solomon's descent algebra contains a commutative subalgebra generated by sums of elements with the same number of descents if and only if $W$ is coincidental. More generally, when $W$ is any finite real reflection group, we give a case-free construction of a family of Eulerian representations described by a flat-decomposition of the ring $\mathcal{V}$.
Growth in Some Finite Three-Dimensional Matrix Groups
Published
• View Publication
• BIB
We study the growth of product sets in some finite three-dimensional matrix groups. In particular, we prove two results about the group of $2\times 2$ upper triangular matrices over arbitrary finite fields: a product set estimate using techniques from multiplicative combinatorics, and an energy estimate using incidence geometry. The energy method gives better quantitative results, but only applies to small sets. We also prove an energy result for the Heisenberg group.
Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson
Let G be a group of permutations of a denumerable set E. The profile of G is the function phi which counts, for each n, the number phi(n) of orbits of G acting on the n-subsets of E. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever the profile phi(n) is bounded by a polynomial -- we say that G is P-oligomorphic --, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked whether the orbit algebra of G -- a graded commutative algebra invented by Cameron and whose Hilbert function is phi -- is finitely generated.
In this paper we establish a classification of (closed) P-oligomorphic permutation groups in terms of finite permutation groups with decorated blocks.
It follows from the classification that the orbit algebra of any P-oligomorphic group is isomorphic to (a straightforward quotient of) the invariant ring of some finite permutation group. This answers positively both Cameron's conjecture and Macpherson's question. The orbit algebra is in fact Cohen-Macaulay; therefore the generating series of phi is a rational fraction whose numerator has positive coefficients, while the denominator admits a combinatorial description.
In addition, the classification provides a finite data structure for encoding closed P-oligomorphic groups. This paves the way for computing with them and enumerating them as well as for proofs by structural induction. Finally, the relative simplicity of the classification gives hopes to extend the study to, e.g., the class of (closed) permutations groups with sub-exponential profile.
The proof exploits classical notions from group theory -- notably block systems and their lattice properties --, commutative algebra, and invariant theory.
The string C-group representations of the Suzuki and Rudvalis sporadic groups
Published
• View Publication
• BIB
We present new algorithms to classify all string C-group representations of a given group $G$. We use these algorithms to classify all string C-group representations of the sporadic groups of Suzuki and Rudvalis.