group
10405 papers tagged with this keyword
Some unexpected properties of Littlewood-Richardson coefficients
Published
• View Publication
• BIB
We are interested in identities between Littlewood-Richardson coefficients, and hence in comparing different tensor product decompositions of the irreducible modules of the linear group GL n (C). A family of partitions-called near-rectangular-is defined, and we prove a stability result which basically asserts that the decomposition of the tensor product of two representations associated to near-rectangular partitions does not depend on n. Given a partition $λ$, of length at most n, denote by V n ($λ$) the associated simple GL n (C)-module. We conjecture that, if $λ$ is near-rectangular and $μ$ any partition, the decompositions of V n ($λ$) $\otimes$ V n ($μ$) and V n ($λ$) * $\otimes$ V n ($μ$) coincide modulo a mysterious bijection. We prove this conjecture if $μ$ is also near-rectangular and report several computer-assisted computations which reinforce our conjecture.
Babai's conjecture for high-rank classical groups with random generators
Published
• View Publication
• BIB
Let $G = \mathrm{SCl}_n(q)$ be a quasisimple classical group with $n$ large, and let $x_1, \dots, x_k \in G$ random, where $k \geq q^C$. We show that the diameter of the resulting Cayley graph is bounded by $q^2 n^{O(1)}$ with probability $1 - o(1)$. In the particular case $G = \mathrm{SL}_n(p)$ with $p$ a prime of bounded size, we show that the same holds for $k = 3$.
On the distribution of the major index on standard Young tableaux
The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.
Partial and global representations of finite groups
Published in Algebr Represent Theor (2022)
• View Publication
• BIB
Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is trivial), we develop further an effective theory that allows explicit computations. As a case study, we apply our theory to the symmetric group and its subgroup of permutations fixing 1: this provides a natural extension of the classical representation theory of the symmetric group.
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.