group
10226 papers tagged with this keyword
A Consistent Sandpile Torsor Algorithm for Regular Matroids
Published
• View Publication
• BIB
Every regular matroid is associated with a sandpile group, which acts simply transitively on the set of bases in various ways. Ganguly and the second author introduced the notion of consistency to describe classes of actions that respect deletion-contraction in a precise sense, and proved the consistency of rotor-routing torsors (and uniqueness thereof) for plane graphs.
In this work, we prove that the class of actions introduced by Backman, Baker, and the fourth author, is consistent for regular matroids. More precisely, we prove the consistency of its generalization given by Backman, Santos and the fourth author, and independently by the first author. This extends the above existence assertion, as well as makes progress on the goal of classifying all consistent actions.
Covering Numbers of Some Irreducible Characters of the Symmetric Group
The covering number of a non-linear character $χ$ of a finite group $G$ is the least positive integer $k$ such that every irreducible character of $G$ occurs in $χ^k$. We determine the covering numbers of irreducible characters of the symmetric group $S_n$ indexed by certain two-row partitions (and their conjugates), namely $(n-2,2)$ and $((n+1)/2, (n-1)/2)$ when $n$ is odd. We also determine the covering numbers of irreducible characters indexed by certain hook-partitions (and their conjugates), namely $(n-2,1^2)$, the almost self-conjugate hooks $(n/2+1, 1^{n/2-1})$ when $n$ is even, and the self-conjugate hooks $((n+1)/2, 1^{(n-1)/2})$ when $n$ is odd.
Revisiting sums and products in countable and finite fields
Published in Ergod. Th. Dynam. Sys. 46 (2026) 543-574
• View Publication
• BIB
We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large" set $E\subset K$ contains "many" patterns of the form $\{p(x)+y,xy\}$, for every non-constant polynomial $p(x)\in K[x]$.
Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a new finitistic variant of Bergelson's "colouring trick", show that for $r\in \mathbb{N}$ fixed, any $r-$colouring of a large enough finite field will contain monochromatic patterns of the form $\{x,p(x)+y,xy\}$.
In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalisation of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic "colouring trick", we provide a conditional, elementary generalisation of Green and Sanders' $\{x,y,x+y,xy\}$ theorem.
Non-crossing permutations for the KP solitons under the Gel'fand-Dickey reductions and the vertex operators
We give a classification of the $regular$ soliton solutions of the KP hierarchy, referred to as the $KP solitons$, under the Gel'fand-Dickey $\ell$-reductions in terms of the permutation of the symmetric group. As an example, we show that the regular soliton solutions of the (good) Boussinesq equation as the 3-reduction can have $at ~most$ one resonant soliton in addition to two sets of solitons propagating in opposite directions. We also give a systematic construction of these soliton solutions for the $\ell$-reductions using the vertex operators. In particular, we show that the $non-crossing$ permutation gives the regularity condition for the soliton solutions.
Algorithmic methods of finite discrete structures. Automorphism of Nonseparable Graphs
The monography examines the problem of constructing a group of automorphisms of a graph. A graph automorphism is a mapping of a set of vertices onto itself that preserves adjacency. The set of such automorphisms forms a vertex group of a graph or simply a graph group. The basis for constructing a group of graph automorphisms is the concept of orbit. The construction of an orbit is closely related to the quantitative assessment of a vertex or edge of a graph, called weight. To determine the weight of an element, graph invariants built on the spectrum of edge cuts and the spectrum of edge cycles are used. The weight of the graph elements allows identifying generating cycles and forming orbits. Examples are given of constructing a group of automorphisms for some types of graphs.
Finding automorphism groups of double coset graphs and Cayley graphs are equivalent
It has long been known that a vertex-transitive graph $Γ$ is isomorphic to a double coset graph $\text{Cos}(G,H,S)$ of a transitive group $G\le\text{Aut}(Γ)$, a vertex stabilizer $H\le G$, and some subset $S\subseteq G$. We show that the automorphism group of the Cayley graph $\text{Cay}(G,S)$ with connection set $S$ can be obtained from the automorphism group of $\text{Cos}(G,H,S)$ and vice versa. We also show that the isomorphism problem for double coset graphs is equivalent to the isomorphism problem for Cayley graphs provided one knows all groups $G$ for which a fixed Cayley graph is a Cayley graph of $G$. Our main tool is a "recognition theorem", which recognizes when a Cayley graph of a group $G$ is a wreath product of two graphs based upon its connection set.
Singular loci of Schubert varieties and the Lookup Conjecture in type $\tilde A_{2}$
We describe the loci of non-rationally smooth (nrs) points and of singular points for any non-spiral Schubert variety of $\tilde{A}_2$ in terms of the geometry of the (affine) Weyl group action on the plane $\mathbb{R}^2$. Together with the results of Graham and Li for spiral elements, this allows us to explicitly identify the maximal singular and nrs points in any Schubert variety of type $\tilde{A}_2$. Comparable results are not known for any other infinite-dimensional Kac-Moody flag variety (except for type $\tilde{A}_1$, where every Schubert variety is rationally smooth). As a consequence, we deduce that if $x$ is a point in a non-spiral Schubert variety $X_w$, then $x$ is nrs in $X_w$ if and only if there are more than $\dim X_w$ curves in $X_w$ through $x$ which are stable under the action of a maximal torus, as is true for Schubert varieties in (finite) type $A$. Combined with the work of Graham and Li for spiral Schubert varieties, this implies the Lookup Conjecture for $\tilde{A}_2$.
An algebraic approach towards a conjecture on the Davenport constant
For a finite group $G,$ $\mathsf{D}(G)$ is defined as the least positive integer $k$ such that for every sequence $S=g_1\bdot g_2\bdot \dotsc \bdot g_k$ of length $k$ over $G$, there exist $1 \le i_1 < i_2 <\cdots < i_m \le k $ such that $g_{i_1}g_{i_2}\cdots g_{i_m}=1,$ where $1$ is the identity element of $G.$ The small Davenport constant $\mathsf{d}(G)$ is the maximal positive integer $k$ such that there is a sequence of length $k$ over $G$ which has no non-trivial product-one subsequence. In 2004, Dimitrov proved that $\mathsf{D}(G)\leq \mathsf{L}(G)$ for a finite $p$-group $G$, where $p$ is a prime and $\mathsf{L}(G)$ is the Loewy length of $\mathbb{F}_p[G].$ He conjectured that the equality holds for all finite $p$-groups. In this article, we compute $\mathsf{D}(G)$ for certain classes of finite non-abelian $p$-groups, including metacyclic groups, and show that the conjecture is true by determining the precise value of $\mathsf{L}(G)$. As a consequence, we refine an upper bound on $\mathsf{d}(G)$ recently given by Qu, Li and Teeuwsen, and prove that for specific classes of groups $\mathsf{D}(G)=\mathsf{d}(G)+1$. We also evaluate $\mathsf{D}(G)$ for finite dicyclic, semi-dihedral and other groups.
The cyclicity rank of empty lattice simplices
We are interested in algebraic properties of empty lattice simplices $Δ$, that is, $d$-dimensional lattice polytopes containing exactly $d+1$ points of the integer lattice $\mathbb{Z}^d$. The cyclicity rank of $Δ$ is the minimal number of cyclic subgroups that the quotient group of $Δ$ splits into. It is known that up to dimension $d \leq 4$, every empty lattice $d$-simplex is cyclic, meaning that its cyclicity rank is at most $1$. We determine the maximal possible cyclicity rank of an empty lattice $d$-simplex for dimensions $d \leq 8$, and determine the asymptotics of this number up to a logarithmic term.
Cycles of weight divisible by $k$
A weighted (directed) graph is a (directed) graph with integer weights assigned to its vertices and edges. The weight of a subgraph is the sum of weights of vertices and edges in the subgraph. The problem of determining the largest order $f(k)$ of a weighted complete directed graph that does not contain a directed cycle of weight divisible by $k$, for an integer $k \ge 2$, was raised by Alon and Krivelevich [J. Graph Theory 98 (2021) 623-629]. They showed that $f(k)$ is $O(k\log k)$ and $f(k) \le 2k-2$ if $k$ is prime. The best bounds known to us are $f(k) \le 2k-2$ for all $k$ and $f(k) < (3k-1)/2$ for prime $k$. It is also known that $f(k) \ge k$ and this is believed to be the correct value. We prove that $f(k) < k+2Ω(k)$, where $Ω(k)$ is the number of prime factors, not necessarily distinct, in the prime factorization of $k$.
We also show that any weighted undirected graph of minimum degree $2k-1$ contains a cycle of weight divisible by $k$. This result is proved in the more general setting in which the weights are from a finite abelian group of order $k$, and the cycle has weight equal to the group identity. We conjecture that this holds for undirected graphs with minimum degree $k+1$.
Coloured shuffle compatibility, Hadamard products, and ask zeta functions
We devise an explicit method for computing combinatorial formulae for Hadamard products of certain rational generating functions. The latter arise naturally when studying so-called ask zeta functions of direct sums of modules of matrices or class- and orbit-counting zeta functions of direct products of nilpotent groups. Our method relies on shuffle compatibility of coloured permutation statistics and coloured quasisymmetric functions, extending recent work of Gessel and Zhuang.
Symplectic Grassmannians and Cyclic Quivers
The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.
Chow rings and augmented Chow rings of uniform matroids and their $q$-analogs
Published in International Mathematics Research Notices, Volume 2025, Issue 13, July 2025, rnaf198
• View Publication
• BIB
We study the Hilbert series and the representations of $\mathfrak{S}_n$ and $GL_n(\mathbb{F}_q)$ on the (augmented) Chow rings of uniform matroids $U_{r,n}$ and $q$-uniform matroids $U_{r,n}(q)$. The Frobenius series for uniform matroids and their $q$-analogs are computed. As a byproduct, we recover Hameister, Rao, and Simpson's formula for the Hilbert series of Chow rings of $q$-uniform matroids in terms of permutations and further obtain their augmented counterpart in terms of decorated permutations.
We also show that the equivariant Charney--Davis quantity of the (augmented) Chow ring of a matroid is nonnegative (i.e., a genuine representation of a group of automorphisms of the matroid). When the matroid is a uniform matroid and the group is $\mathfrak{S}_n$, the representation either vanishes or is a Foulkes representation (i.e., a Specht module of a ribbon shape). Specializing to the usual Charney--Davis quantities, we obtain an elegant combinatorial interpretation of Hameister, Rao, and Simpson's formula for Chow rings of $q$-uniform matroids and its augmented counterpart.
A conjectural basis for the $(1,2)$-bosonic-fermionic coinvariant ring
We give the first conjectural construction of a monomial basis for the coinvariant ring $R_n^{(1,2)}$, for the symmetric group $S_n$ acting on one set of bosonic (commuting) and two sets of fermionic (anticommuting) variables. Our construction interpolates between the modified Motzkin path basis for $R_n^{(0,2)}$ of Kim-Rhoades (2022) and the super-Artin basis for $R_n^{(1,1)}$ conjectured by Sagan-Swanson (2024) and proven by Angarone et al. (2024). We prove that our proposed basis has cardinality $2^{n-1}n!$, aligning with a conjecture of Zabrocki (2020) on the dimension of $R_n^{(1,2)}$, and show how it gives a combinatorial expression for the Hilbert series. We also conjecture a Frobenius series for $R_n^{(1,2)}$. We show that these proposed Hilbert and Frobenius series are equivalent to conjectures of Iraci, Nadeau, and Vanden Wyngaerd (2024) on $R_n^{(1,2)}$ in terms of segmented Smirnov words, by exhibiting a weight-preserving bijection between our proposed basis and their segmented permutations. We extend some of their results on the sign character to hook characters, and give a formula for the $m_μ$ coefficients of the conjectural Frobenius series. Finally, we conjecture a monomial basis for the analogous ring in type $B_n$, and show that it has cardinality $4^nn!$.
Optimal bounds for zero-sum cycles. I. Odd order
For a finite (not necessarily Abelian) group $(Γ,\cdot)$, let $n(Γ) \in \mathbb{N}$ denote the smallest positive integer $n$ such that for every labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the arc-labels along the cycle multiply to the identity. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved $n(\mathbb{Z}_q)=O(q \log q)$. This was later improved to a linear bound of $n(Γ)\le 8|Γ|$ for every finite Abelian group by Mészáros and the last author, and then further to $n(Γ)\le 2|Γ|-1$ for every non-trivial finite group independently by Berendsohn, Boyadzhiyska and Kozma as well as by Akrami, Alon, Chaudhury, Garg, Mehlhorn and Mehta.
In this series of two papers we conclude this line of research by proving that $n(Γ)\le |Γ|+1$ for every finite group $(Γ,\cdot)$, which is the best possible such bound in terms of the group order and precisely determines the value of $n(Γ)$ for all cyclic groups as $n(\mathbb{Z}_q)=q+1$.
In the present paper we prove the above result for all groups of odd order. The proof for groups of even order needs to overcome substantial additional obstacles and will be presented in the second part of this series.
Topological connectivity of random permutation complexes
Let $\mathbb{S}_n$ denote the symmetric group on $[n]=\{1,\ldots,n\}$ with the uniform probability measure. For a permutation $π\in \mathbb{S}_n$ let $X_π$ denote the simplicial complex on the vertex set $[n]$ whose simplices are all $\{i_0,\ldots, i_m\} \subset [n]$ such that $i_0<\cdots<i_m$ and $π(i_0)<\cdots < π(i_m)$. For $r \geq 0$ let $p_r(n)$ denote the probability that $X_π$ is not topologically $r$-connected for $π\in \mathbb{S}_n$. It is shown that for fixed $r \geq 0$ there exist constants $0<C_r, C_r' < \infty$ such that \[ C_r \frac{(\log n)^r}{n} \leq p_r(n) \leq C_r' \frac{(\log n)^{2r}}{n}. \]
Étude des liens entre la taille et l'irréductibilité des solutions monomiales minimales dans $SL_{2}(\mathbb{Z}/N\mathbb{Z})$
This article aims to study some $n$-tuples of elements belonging to a ring $\mathbb{Z}/N\mathbb{Z}$ related to the combinatorics of congruence subgroups of the modular group. More precisely, we will focus here on the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing during the study of Coxeter's friezes), modulo an integer $N$, all of whose components are identical and minimal for this property. Our objective here is to study the links between the size of minimal monomial solutions and a property of irreducibility which is central in the study of the combinatorics of the modular group. In particular, we will obtain an upper bound of the size of irreducible monomial solutions and we will prove that some sizes automatically lead to irreducibility.
Fusion inequality for quadratic cohomology
Classical simplicial cohomology on a simplicial complex G deals with functions on simplices x in G. Quadratic cohomology deals with functions on pairs of simplices (x,y) in G x G that intersect. If K,U is a closed-open pair in G, we prove here a quadratic version of the linear fusion inequality. Additional to the quadratic cohomology of G there are five additional interaction cohomology groups. Their Betti numbers are computed from functions on pairs (x,y) of simplices that intersect. Define the Betti vector b(X) computed from pairs (x,y) in X x X with x intersected y in X a and b(X,Y) with pairs in X xY with x intersected y in K. We prove the fusion inequality b(G) <= b(K)+b(U)+b(K,U)+b(U,K)+b(U,U) for cohomology groups linking all five possible interaction cases. Counting shows f(G) = f(K)+f(U) + f(K,U)+f(U,K)+f(U,U) for the f-vectors. Super counting gives Euler-Poincare sum_k (-1)^k f_k(X)=\sum_k (-1)^k b_k(X) and sum_k (-1)^k f_k(X,Y)=sum_k (-1)^k b_k(X,Y) for X,Y in {U,K}. As in the linear case, also the proof of the quadratic fusion inequality follows from the fact that the spectra of all the involved Laplacians L(X),L(X,Y) are bounded above by the spectrum of the quadratic Hodge Laplacian L(G) of G.
Non-commutative error correcting codes and proper subgroup testing
Property testing has been a major area of research in computer science in the last three decades. By property testing we refer to an ensemble of problems, results and algorithms which enable to deduce global information about some data by only reading small random parts of it. In recent years, this theory found its way into group theory, mainly via group stability.
In this paper, we study the following problem: Devise a randomized algorithm that given a subgroup $H$ of $G$, decides whether $H$ is the whole group or a proper subgroup, by checking whether a single (random) element of $G$ is in $H$. The search for such an algorithm boils down to the following purely group theoretic problem: For $G$ of rank $k$, find a small as possible test subset $A\subseteq G$ such that for every proper subgroup $H$, $|H\cap A|\leq (1-δ)|A|$ for some absolute constant $δ>0$, which we call the detection probability of $A$. It turns out that the search for sets $A$ of size linear in $k$ and constant detection probability is a non-commutative analogue of the classical search for families of good error correcting codes. This paper is devoted to proving that such test subsets exist, which implies good universal error correcting codes exist -- providing a far reaching generalization of the classical result of Shannon.
In addition, we study this problem in certain subclasses of groups -- such as abelian, nilpotent, and finite solvable groups -- providing different constructions of test subsets for these subclasses with various qualities. Finally, this generalized theory of non-commutative error correcting codes suggests a plethora of interesting problems and research directions.
Counting of surfaces and computational complexity in column sums of symmetric group character tables
The character table of the symmetric group $S_n$, of permutations of $n$ objects, is of fundamental interest in theoretical physics, combinatorics as well as computational complexity theory. We investigate the implications of an identity, which has a geometrical interpretation in combinatorial topological field theories, relating the column sum of normalised central characters of $S_n$ to a sum of structure constants of multiplication in the centre of the group algebra of $S_n$. The identity leads to the proof that a combinatorial computation of the column sum belongs to complexity class \shP. The sum of structure constants has an interpretation in terms of the counting of branched covers of the sphere. This allows the identification of a tractable subset of the structure constants related to genus zero covers. We use this subset to prove that the column sum for a conjugacy class labelled by partition $λ$ is non-vanishing if and only if the permutations in the conjugacy class are even. This leads to the result that the determination of the vanishing or otherwise of the column sum is in complexity class \pP. The subset gives a positive lower bound on the column sum for any even $ λ$. For any disjoint decomposition of $ λ$ as $λ_1 \sqcup λ_2 $ we obtain a lower bound for the column sum at $ λ$ in terms of the product of the column sums for $ λ_1$ and$λ_2$. This can be expressed as a super-additivity property for the logarithms of column sums of normalized characters.