group
10399 papers tagged with this keyword
Shifted lower Bruhat intervals are EL-shellable
Let $W$ be an arbitrary Coxeter group. The shifted Bruhat interval $[w_1,w_2]\,x^{-1}$, the translate of the Bruhat interval $[w_1,w_2]$ by an element $x$, is partially ordered by the Bruhat order of $W$. These posets arise from affine pavings of Richardson varieties, and in general they are neither twisted intervals nor tilted Bruhat intervals. Our main result is that the shifted lower intervals $[e,w]\,x^{-1}$ are EL-shellable for every Coxeter group, via an explicit labeling of each cover by a reflection. Along the way we show that $[e,w]\,x^{-1}$ is a graded poset with a unique maximum given by the Demazure product and a unique minimum given by an opposite Demazure operator that we introduce.
Information and Locality in Cayley Graphs
A de Bruijn sequence is the cyclic prototype of a Cayley-graph observation problem: when does the ordered label word on a translated window $gY$ determine the vertex $g$? We distinguish three parameters. The unrestricted number $\operatorname{sep}_q(G)$ minimizes an arbitrary separating pattern; the connected number $\operatorname{csep}_q(G,S)$ requires a connected Cayley window containing $Y_S=\{1\}\cup S$; and the one-step number $χ_1(G,S)$ fixes $Y_S$ and minimizes the alphabet. Thus $\operatorname{sep}_q$ is a group-level baseline, $\operatorname{csep}_q$ measures the cost of locality, and $χ_1$ tests the smallest prescribed local window.
The organizing theme is the tension between information and locality. Carbon tori test the gap between $\operatorname{sep}_q$ and $\operatorname{csep}_q$: for generalized dihedral groups $\mathbb{F}_{\ell^d}^{\times}\rtimes C_2$ we prove, for odd prime powers $\ell$, the sharp baseline $\operatorname{sep}_\ell=d+1$ and construct connected zig-zag windows, while the order-$14$ Heawood torus satisfies $\operatorname{sep}_4=2$ and $\operatorname{csep}_4=4$. The spherical $A_5$ example and a finite simple-group comparison test the fixed one-step window: explicit symmetric cubic generating tuples give $χ_1(A_5,S)=3$ and $χ_1(\operatorname{PSL}_2(\mathbb{F}_7),S)=4$, both at the counting bound, with structured matrix-coefficient certificates. Cyclic-coset packings, finite-field coordinates, and restricted matrix coefficients are used only as the construction tools these two examples require.
Discrete homology computations by reduction to zero differentials
We develop a new algorithm for computing (persistent) discrete homology of graphs using reduction to zero differentials and active enumeration. This allows us to compute the fourth homology group of the Greene sphere, along with several previously unknown groups. We also show that persistent discrete homology computes faster than simplicial homology of Vietoris-Rips complex in the high-noise non-metric settings, making it a better choice for noisy data sets.
Product sets in sets of returns and positivity of symmetric ergodic averages
We study sets of (measurable) returns in countable groups $G$, namely sets of the form $\{g\in G:μ(A\cap T_gA)>0\}$ arising from measure-preserving actions. Extending a result of Bergelson, we show that sets of returns in $G\times G$ contain subsets of the form $B\times B$, where $B$ is large with respect to suitable notions of largeness that remain meaningful even for non-amenable groups. As a consequence, if $G$ is amenable, then every sufficiently large subset $A\subseteq G\times G$ satisfies $B\times B\subseteq AA^{-1}$ for some large set $B\subseteq G$.
We also investigate when sets of returns in $G$ contain product sets $BB$ with $B$ large. In contrast with the Cartesian-product phenomenon above, this problem is considerably subtler in non-abelian groups and is closely connected to `symmetric correlation functions', namely functions of the form $g\mapsto μ(T_g^{-1}A\cap T_gA)$. We use this connection to show that, for broad classes of amenable groups - including finitely generated nilpotent groups and certain solvable non-nilpotent groups, every sufficiently large set $A\subseteq G$ contains a large subset $B$ satisfying $BB\subseteq AA^{-1}$.
Finally, we establish polynomial analogues of these results for finitely generated nilpotent groups, extending earlier work of Bergelson and Ruzsa.
Type $B$ fermionic coinvariant rings
Let $\mathfrak{B}_n$ denote the hyperoctahedral group. The type $B$ coinvariant rings $R_{\mathfrak{B}_n}^{(k,j)}$ are quotients of the ring of polynomials in $k$ sets of $n$ commuting variables and $j$ sets of $n$ anticommuting variables by the ideal generated by the diagonal $\mathfrak{B}_n$-invariants without constant term. Building upon the work of Kim--Rhoades (2022), we give an explicit formula for the bigraded Frobenius series of $R_{\mathfrak{B}_n}^{(0,2)}$: the bigraded multiplicity of each irreducible $\mathfrak{B}_n$-character is a single Schur polynomial, so $R_{\mathfrak{B}_n}^{(0,2)}$ is multiplicity-free as a $\operatorname{GL}_2 \times \mathfrak{B}_n$-module. We then determine that the trigraded multiplicity of the sign character of $R_{\mathfrak{B}_n}^{(0,3)}$ is given by a single Schur function. Finally, for all $k$ and $j$, we determine the multiplicity of the standard character in the type $A$ coinvariant ring $R_{n}^{(k,j)}$, as well as the multiplicities of the characters indexed by the bipartitions $((n-1),(1))$ and $((n-1,1),\varnothing)$ in $R_{\mathfrak{B}_n}^{(k,j)}$. These are the first nontrivial characters established for all $(k,j)$ in either of types $A$ or $B$.
A graph-theoretical characterisation of subgroups of Thompson's group $V$
We prove a graph-theoretical characterisation of finitely generated subgroups of Thompson's group $V$: a finitely generated group embeds in $V$ if and only if it admits a faithful context-free action, or equivalently if it belongs to the class CF-TR of transition groups of context-free graphs recently introduced by Matucci and the three last authors. Using this characterisation, we prove results in different directions:
- All known examples of groups with co-context-free Word Problem do embed in $V$, providing evidence towards Lehnert's conjecture.
- Each finitely generated subgroup of $V$ is either virtually abelian, or contains a free non-abelian semigroup. It follows that groups of intermediate growth do not embed in Thompson's $V$.
We further study the relation between transition groups defined by graphs that are limits or covers of each others, and prove properties of transition groups of context-free graphs of polynomial growth. Finally, we prove that the Basilica and Hanoï Towers groups do not embed in $V$. This uses the geometry of Schreier graphs of the natural actions of these groups and of Thompson's $V$.
Spectral Properties of Power Graphs of Metacyclic Groups
For a group $Ω$, the associated power graph $P(Ω)$ is defined as the graph whose vertices are the elements of $Ω$, with two distinct vertices $u,v\in Ω$ being adjacent if either $u=v^m$ or $v=u^n$ for some $m,n \in \mathbb{N}$. In this paper, we completely characterise the structure of the power graph associated with the class of metacyclic groups. Building on this structural description, we derive explicit expressions for the characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices. Moreover, we obtain lower and upper bounds for the spectral radii of the adjacency and signless Laplacian matrices.
Lattice point sumsets and asymptotic approximate groups
We establish new quantitative bounds for asymptotic approximate groups arising from finite subsets of lattices and, more generally, semi-linear subsets of abelian groups. Our approach combines Khovanskii's theorem on sumsets with Rogers and Zong bounds for the covering numbers.
Square roots in the Appell group and Sprugnoli arrays
We introduce a special mapping from pairs of power series to the group of Sprugnoli matrices. This mapping has the property when the second argument is an even power series, then the square of the resulting Sprugnoli array is an aerated element of the Appell subgroup of the Riordan group. This allows us to explore the square roots of elements in the aerated Appell subgroup. As the identity is an element of this subgroup, we are led to explore related involutions in the Sprugnoli group.
The catenary degree of monoids of product-one sequences
Let $G$ be a (multiplicatively written) finite group. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed and the order is disregarded. A product-one sequence is a sequence whose terms can be ordered such that their product in $G$ equals the identity element of $G$. The set $\mathcal B (G)$ of all product-one sequences over $G$, endowed with the concatenation of sequences as the operation, is a finitely generated C-monoid; in particular, it is atomic, i.e., every non-unit element can be written as a finite product of atoms. The study of $\mathcal B (G)$ is of fundamental importance, as its combinatorial, algebraic, and arithmetic properties play a crucial role across various branches of mathematics, most notably in invariant theory and factorization theory. While the arithmetic of the monoid $\mathcal B (G)$ is well understood in the abelian setting (in which case $\mathcal B (G)$ is a Krull monoid), little is known in the non-abelian setting because of the substantial structural complexity involved. In this paper, we study the arithmetic invariants of the monoid $\mathcal B (G)$ for non-abelian groups, focusing in particular on the catenary degree. The catenary degree $\mathsf c (G)$ of the monoid $\mathcal B (G)$ is defined as the smallest integer $N$ such that any two factorizations of an element $S \in \mathcal B (G)$ can be concatenated by a chain of factorizations in which adjacent steps differ by replacing at most $N$ atoms. Extending the methods from arithmetic combinatorics to the non-abelian setting, we explicitly characterize all finite groups with catenary degree at most 3, and we investigate an infinite class of finite groups whose monoids of product-one sequences are seminormal and possess well-behaved arithmetic structures. Furthermore, we show that a specific non-abelian group in this class has catenary degree 4.
Explicit description of certain 3-point K-theoretic Gromov-Witten invariants for flag manifolds
We give an explicit description, in terms of the quantum Bruhat graph, of the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants $\langle \mathcal{O}(- λ), \mathcal{O}^{w}, \mathcal{O}_{u} \rangle_{d}$ for the (full) flag manifold $X = G/B$, where $\mathcal{O}(- λ)$ denotes the class in the (torus-equivariant) $K$-theory ring $K_{T}(X)$ of $X$ of the line bundle $\mathcal{O}_{X}(- λ) = G \times_{B} \mathbb{C}_λ$ over $X = G/B$ associated to a weight $λ\in W \varpi_i$ lying in the Weyl group orbit of a minuscule fundamental weight $\varpi_i$, and $\mathcal{O}_{u}$, $\mathcal{O}^{w}$ are the Schubert and opposite Schubert classes in $K_{T}(X)$ for $u, w \in W$. This result can be thought of as a partial generalization of the quantum $K$-theoretic divisor axiom, which we obtained in our previous work; our proof utilizes a generalization of the Chevalley formula in the (torus-equivariant) quantum $K$-theory ring $QK_{T}(X)$ of $X$, which computes the quantum product with the line bundle class $\mathcal{O}(- λ)$ associated to the weight $λ$ above.
The Aldous property for normal Cayley graphs on symmetric groups
Aldous' spectral gap conjecture states that the random walk and the interchange process on any connected graph have the same spectral gap, or, equivalently, the second largest eigenvalue of any connected Cayley graph on the symmetric group $S_n$ with respect to a set of transpositions is achieved by the standard representation of $S_n$. This celebrated conjecture, proved in its general form in 2010, has inspired much interest in searching for other Cayley graphs on $S_n$ possessing this property, now known as the Aldous property. In this paper, we first prove that for $n \ge 5$ at most one of a normal Cayley graph on $S_n$ and its complement can possess the Aldous property except when these two graphs are $2K_{n!/2}$ and $K_{n!/2,n!/2}$ respectively. We then determine, for sufficiently large $n$, all normal Cayley graphs $\mathrm{Cay}(S_n, S)$ that have the Aldous property, except for the case when $S$ contains a permutation with support size in $\{2, 3, \dots, n-2\}$ and a permutation with support size in $\{n-1, n\}$, but not all permutations with support size $n$ are contained in $S$. In particular, we show that a non-complete normal Cayley graph $\mathrm{Cay}(S_n, S)$ does not have the Aldous property if all permutations in $S$ have support size $n-1$ or $n$, or all permutations with support size $n$ are contained in $S$, thereby solving an open problem posed by Li, Xia and Zhou in 2023. Along the way we determine all normal Cayley graphs on $S_n$ that are line graphs, and classify all normal Cayley graphs on $S_n$ with the strictly second largest eigenvalue at most $1$.
Higher-Dimensional Symbolic Dynamics: A Textile Framework For 3-graphs
Textile systems are best known to model two-dimensional shifts of finite type. In this article, we associate a discrete algebra with a textile system and provide a groupoid model for it. When the textile system is left-resolving, this algebra coincides with the Kumjian--Pask algebra of the associated $2$-graph. The main objective of this paper is to extend textile systems to dimension $3$ so that the resulting structures can, on the one hand, capture all three-dimensional shifts of finite type and, on the other hand, provide a textile-like framework for $3$-graphs extending the well-known connection between $2$-graphs and left-resolving textile systems. We introduce a model of a three-dimensional textile system and investigate the interplay between such textile systems and $3$-graphs. In particular, our investigation shows that the conditions required to form a $3$-graph from a $3$-colored graph (including the delicate associativity condition on tricolored paths), can be encoded in terms of simple pullback diagrams arising from the textile data. We also define homology groups for three-dimensional textiles and prove that these groups coincide with the homology groups of the associated $3$-graphs, thus establishing that our construction is homologically consistent with $3$-graphs.
Enumeration and Classification of Triangle-Maximal Pseudoline Arrangements
We describe algorithms for the exhaustive enumeration and classification of simple arrangements of $n$ pseudolines ($n$ odd) maximizing the number of triangular faces. The depth-first search enumerates reduced words for the longest permutation $w_0$ by branching only on the even-indexed generators, using pruning constraints imposed by the geometry of optimal arrangements. The approach handles both perfect arrangements with a regular triangular pattern and unavoidable deviations from it for $n \equiv 1 \pmod 6$.
The output is classified into a hierarchy of equivalence classes: by commutation, by Euclidean transformations, and by projective transformations. For each projective class we recover its full symmetry group $G \subseteq S_{n+1}$ together with the orbit-stabilizer profile of its Euclidean subclasses. Completeness of the search and classification is proved: every wiring diagram is reached.
We report full enumerations; e.g. for $n=27$, 85,562,064 wiring diagrams partitioned into 56,646 projective classes. For larger $n$ (up to $n=93$), where exhaustive enumeration is out of reach, we report partial (first-hit) results.
Structure of 2-step nilpotent ergodic averages for distinct-degree polynomials
We investigate manifestations of the Nilpotent Heuristic, which posits that recurrence and convergence phenomena known for measure-preserving $\mathbb{Z}^D$-systems extend to nilpotent group actions. Our main results establish seminorm estimates and limiting formulas for multiple ergodic averages arising from actions of 2-step nilpotent groups. In particular, if $T_1,\ldots,T_\ell$ are totally ergodic and generate a 2-step nilpotent group, then \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T_1^n f_1 \cdots T_\ell^{n^\ell}f_\ell = \prod_{j=1}^{\ell}\int f_j\,dμ\] in the $L^{2}$ norm for all bounded functions $f_{1},\dots,f_{\ell}$; the same holds for any distinct-degree polynomial iterates. We also obtain popular-common-difference versions of the polynomial Szemeédi theorem in the same setting. In a different direction, our approach allows us to completely resolve the joint ergodicity conjecture for multidimensional polynomials and $\mathbb Z^D$-systems; we also present an example showing that, surprisingly enough, the 2-step nilpotent analog fails. We conclude with many open problems concerning joint ergodicity, seminorm estimates, and the structure theory of nilpotent systems.
Laplacian Bounds for the Dissociation Number of Regular Graphs of Matrix Rings
Let $Γ_n(q)$ be the graph whose vertices are the invertible matrices in $\Mat_n(\F_q)$, with two distinct matrices adjacent whenever their sum is singular. A dissociation set is a vertex set inducing a graph of maximum degree at most one. We study the dissociation number of $Γ_n(q)$ by embedding it as an induced subgraph of the total graph $T_n(q)$ on all of $\Mat_n(\F_q)$. A general Laplacian inequality for $k$-independent sets, together with an explicit character computation for the additive group of the matrix ring, gives parity-sensitive upper bounds. For fixed $n$, the resulting bound is of order at most $q^{n^2-n+1}$ for odd $q$ and at most $q^{n^2-2n+2}$ for even $q$. In particular, \[
\diss(Γ_n(q))\le q^{n^2-n+1}-1. \] In the other direction, the regular representation of the extension field $\F_{q^n}$ gives $\diss(Γ_n(q))\ge q^n-1$. We give complete proofs, including a self-contained derivation of the required matrix character sum, and determine the smallest case: $\diss(Γ_2(2))=3$.
On the number of factorable induced subgraphs
Let $F$ be an $r$-vertex graph. In this paper, we study the $F$-factor problem in random induced subgraphs of dense graphs. We show that for any $r$-vertex graph $F$ and $γ>0$, if $H$ is an $n$-vertex graph with minimum degree at least $(1-1/χ_{cr}(F)+γ)n$, then for every fixed $p \in (0,1)$, the random induced subgraph $H[p]$ contains an $F$-factor with probability at least $1/(rq)-o_n(1)$, where $q\in \mathbb{N}$ is the order of certain coset group defined from $H$. The probability is asymptotically best possible for infinitely many $F$ and $H$ and yields that a $1/(rq)-o_n(1)$ proportion of the subsets of $H$ induce $F$-factors, interestingly, regardless of whether $H$ itself admits an $F$-factor. Similar results are obtained for perfect matchings in hypergraphs under minimum degree conditions. Our proof combines concentration inequalities, lattice point counting in $\mathbb{Z}^d$ and structural theorems for $F$-factors in dense (hyper)graphs.
The nucleus of a semisymmetric quasigroup
A binary operation $\cdot$ which satisfies the identity $(x \cdot y) \cdot x = y$ is called a semisymmetric quasigroup. We show that the nucleus of a semisymmetric quasigroup is either empty or an elementary abelian 2-group coinciding with the centre, and that a semisymmetric quasigroup with a non-empty nucleus is necessarily a Mendelsohn loop, i.e. the loop associated with a Mendelsohn triple system. We derive necessary and sufficient conditions for the existence of a semisymmetric quasigroup of order $n$ with nucleus of order $m$. Furthermore, we characterize the nuclear elements of a Mendelsohn loop in terms of a particular orientation of the Pasch configuration in the associated triple system.
Constructing linear codes from digraphs and groups
In 2012, Kaufman and Lubotzky constructed the first family of symmetric LDPC good codes. Their construction used Cayley codes, as originally defined by Kaufman and Wigderson (2016). In this paper we present two generalisations to the Cayley code construction, which we call graph codes and digraph codes. We investigate both the algebraic, and combinatorial properties of these constructions and show that they possess the same desirable attributes as Cayley codes, but with added freedom. We analyse the relationship between the expansion properties of the ingredient (di)graphs and the parameters of the constructed codes; our analysis offers an improvement to the results of Kaufman and Lubotzky. As an application, we construct an infinite family of good digraph codes, and we propose a series of open problems.
Sumsets and generalized arithmetic progressions in multiplicative subgroups
Let $q=p^f$, and let $A\leq\mathbb{F}_q^\times$ be a multiplicative subgroup with $\mathbb{F}_p(A)=\mathbb{F}_q$. We prove that a proper subgroup $A$ is a generalized arithmetic progression (GAP) if and only if $|A| \in \{1, 2, 4\}$, and we determine when the full group $\mathbb{F}_q^\times$ is a GAP. For certain families of subgroups, we obtain the stronger conclusion that $A$ is additively irreducible. In particular, if $|A|>4$ and $p^e\equiv-1\pmod{|A|}$ for some $e\ge1$, then $A$ admits no nontrivial sumset decomposition. We also prove that every $c \neq 0$ has fewer than $|A|/2$ representations as a sum (or difference) of two elements of $A$ whenever $[\mathbb{F}_q^\times:A] \ge3$ and $|A| \ge 5$, which may be of independent interest.