group
10399 papers tagged with this keyword
Burnside process on parking functions and Dyck paths
Let $G$ be a finite group acting on a finite set $X$. This group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is projected to orbits. We initiate the study of the Burnside process on Catalan structures. We consider two special cases: the first where the state space is the set of parking functions of length $n$ and $G = S_n$ is the symmetric group on $[n]$, such that $G$ acts by permuting coordinates, and the second where the state space is the set of labeled Dyck paths of length $2n$ and $G = S_n$ acts by permuting labels. The resulting Burnside processes give novel algorithms for sampling, respectively, an increasing parking function and a Dyck path approximately uniformly at random. Our main result shows that both processes are rapidly mixing, with mixing times upper bounded by $O(n \log n)$. As an application, we show how our Burnside process can be used to sample triangulations of an $(n+2)$-gon approximately uniformly at random.
Non-vanishing of homotopy groups of Manin--Schechtman arrangements
One of the central problems in the topology of hyperplane arrangements is determining whether the complement is a $K(π,1)$-space. In this paper, we study Manin--Schechtman arrangements, introduced as higher-dimensional analogs of the braid arrangement, and prove that their complements have non-vanishing higher homotopy groups. Consequently, these arrangements fail to be $K(π,1)$ in a broad range of cases.
Twins and Co-Twins in Circulant graphs
Circulant graphs are a widely studied family of graphs whose members possess varying amounts of symmetry. Although considerable progress has been made in finding the automorphism groups of circulant graphs under certain restrictions, a complete classification is elusive. In general, the structure of the automorphism group of a graph with twins can be simplified by separating the effect of automorphisms that permute mutually twin vertices and those that operate on the twin quotient graph. Further simplification can be achieved in twin-free, vertex-transitive graphs that have co-twins, which we define to be vertices whose neighborhoods are complementary. In this paper, we demonstrate how the these simplifications can be used provide insight into the automorphism groups and symmetry parameters of vertex-transitive graphs in general and circulant graphs in particular.
Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials
We derive a graded character formula for the action of any finite group on the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan, which is given by an equivariant version of the classical h-polynomial. This gives the graded character formula for the representation of the group on the cohomology of the associated toric variety when the fan is rational. As an application, we use a navel tool, which we called hybrid fan, to compute the Poincaré polynomial of the invariants of the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan under a finite reflection group action. This implies that the Poincaré polynomial of the quotient of a compact toric orbifold by any finite reflection group is equal to the Poincaré polynomial of the compact toric orbifold associated to the hybrid fan.
A study on Type-2 isomorphic circulant graphs. Part 6: Abelian groups $(T2_{n,m}(C_n(R)), \circ)$ and $(V_{n,m}(C_n(R)), \circ)$
This study is the $6^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}. In this part, we define $V_{n,m}(C_n(R))$ and Type-2 set $T2_{n,m}(C_n(R))$ of $C_n(R)$ and present their properties. We prove that $(V_{n,m}(C_n(R)), \circ)$ is an Abelian group and $(T2_{n,m}(C_n(R)), \circ)$ is a subgroup of $(V_{n,m}(C_n(R)), \circ)$ where $T2_{n,m}(C_n(R))$ = $\{C_n(R)\}$ $\cup$ $\{C_n(S):$ $C_n(S)$ is Typ-2 isomorphic to $C_n(R)$ w.r.t. $m \}$ and $(T2_{n,m}(C_n(R)), \circ)$ is the Type-2 group of $C_n(R)$ w.r.t. $m$. We also present many examples of Type-1 and Type-2 groups where $T1_{n}(C_n(R))$ = $\{C_n(xR): x\in\varphi_{n}\}$ is the Type-1 set of $C_n(R)$ and $(T1_{n}(C_n(R)), \circ')$ is its Type-1 group.
The mapping index through the lens of the cross-index
We study the cross-index of free \(G\)-posets as a combinatorial analogue of the equivariant topological index. We demonstrate that the cross-index exhibits many structural properties closely paralleling those of the topological index, while its behavior with respect to unions displays a pronounced dichotomy depending on the acting group. Specifically, if \(P = A \cup B\) is a union of \(G\)-invariant subposets, then for \(G = \mathbb{Z}_2\) we obtain the sharp inequality \[ \operatorname{xind} P \le \operatorname{xind} A + \operatorname{xind} B + 1, \] which is directly analogous to the classical union inequality for the topological index. In contrast, for every group \(G\neq \mathbb{Z}_2\), this phenomenon fails in general, and we establish the best possible weaker estimate \[ \operatorname{xind} P \le \operatorname{xind} A + 2(\operatorname{xind} B+1). \] This reveals a fundamental distinction between the \(\mathbb{Z}_2\)-equivariant and non-\(\mathbb{Z}_2\)-equivariant settings at the purely combinatorial level. As further consequences, we compare the cross-index with both the topological index and the simplicial index, showing in particular that the gap between the cross-index and the topological index can be arbitrarily large. These results clarify the role of the cross-index as a combinatorial analogue of the equivariant topological index and further strengthen the interplay between equivariant topological methods and combinatorial structures endowed with symmetry.
Double shortcuts of standard hypercube decompositions
In this paper, we study the double shortcuts associated with pairs of standard hypercube decompositions of arbitrary Bruhat intervals in the symmetric group. Our results imply that a conjecture stated in [Bull. London Math. Soc., 57 (2025), no. 8] holds for the class of standard hypercube decompositions. If this conjecture were to hold for all hypercube decompositions, then the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials would follow.
Note on a magic rectangle set on dihedral group
Let $Γ$ be a group of order $mnk$ and $MRS_Γ(m,n;k)=(a_{i,j}^s)_{m\times n}$ be a collection of $k$ arrays $m\times n$ whose entries are all distinct elements of $Γ$. If there exist elements $ρ,σ\inΓ$ such that for every row $i$, there exists an ordering of elements such that
$$
a_{i,j_1}^s a_{i,j_2}^s \dots a_{i,j_{n-1}}^s a_{i,j_n}^s= ρ
$$
and for every column $j$ there exists an ordering of elements such that
$$
a_{i_1,j}^s a_{i_2,j}^s \dots a_{i_{m-1},j}^s a_{i_m,j}^s = σ,
$$
then $MRS_Γ(m,n;k)$ is called a \emph{$Γ$-magic rectangle set}.
We investigate magic rectangle sets over dihedral groups and prove that $\mathrm{MRS}_Γ(m,n;k)$ exists for every dihedral group $Γ$ of order $mnk$, provided that $m$ and $n$ are even. As a consequence, we obtain broad existence results for magic rectangles and magic squares over dihedral groups.
ARE Method: Orbital Decompositions and Dihedral Cancellations for Determinants
We develop the ARE method (Action-Rectification-Expansion), a structural framework for the organization of Leibniz terms in determinants through cyclic group actions and orbital decompositions.
The symmetric group S_n is partitioned into (n-1)! disjoint orbits of size n under right composition by the cyclic group C_n. Each orbit admits a canonical representative and generates a family of determinant terms related by cyclic rotation.
We prove explicit sign laws for orbital rotations, establish a rectification theorem transforming orbital polylines into parallel-line configurations through a single block permutation, and characterize companion orbitals through dihedral symmetries.
The framework yields an exact reorganization of the Leibniz expansion preserving all n! terms while exposing hidden geometric and combinatorial structure. We further prove an impossibility theorem showing that no fixed-width direct extension of the classical Sarrus rule can capture all determinant terms for n >= 4.
The method provides three equivalent visualizations: polylines, parallel rectified lines, and total-line representations. Deterministic orbital generation algorithms and computational verification against standard determinant methods are also presented.
Although the approach does not reduce factorial complexity, it provides a systematic geometric and algebraic interpretation of determinant structure extending the conceptual spirit of Sarrus to arbitrary dimension.
Sharp bounds for uniform union-free hypergraphs
An $r$-uniform hypergraph is called $t$-union-free if any two distinct subsets of at most $t$ edges have distinct union. The study of union-free hypergraphs has multiple origins and a long history, dating back to the works of Kautz and Singleton (1964) in coding theory, Bollobás and Erdős (1976) in combinatorics, and Hwang and Sós (1987) in group testing. Let $U_t(n,r)$ denote the maximum number of edges in an $n$-vertex $t$-union-free $r$-uniform hypergraph. In this paper, we determine the asymptotic behavior of $U_t(n,r)$, up to a lower order term, for almost all $t\ge 3$ and $r\ge 3$. This significantly advances the understanding of this extremal function, as previously, only the asymptotics of $U_2(n,3)$ and $U_2(n,4)$ were known. As a key ingredient of our proof, we establish the existence of near-optimal locally sparse induced hypergraph packings, which is of independent interest.
Relative accessibility for graphs
We relativise the Thomassen--Woess definition of accessibility in graphs, defining what it means for a graph to be accessible relative to a peripheral system. In the case of locally finite, quasi-transitive graphs, we characterise relative accessibility in terms of a certain subring of the Boolean ring of the graph, and apply this to show that our definition agrees with the usual algebraic notion of relative accessibility in finitely generated groups. This implies, in particular, that relative accessibility is a quasi-isometry invariant amongst finitely generated groups, when the quasi-isometry coarsely preserves the left cosets of the peripheral subgroups. We also deduce a relative variant of Hamann's accessibility theorem on graphs with finitely generated cycle spaces.
Subperiodic groups and bounded automorphisms of periodic graphs
A subperiodic group is a group of motions of $d$-dimensional Euclidean space $\R^d$ which contains a translation lattice $\Z^r$ of rank $r < d$ as a subgroup of finite index. A classification into abstract group isomorphism classes is performed for subperiodic groups in dimension~3: 75 \emph{crystallographic} rod groups ($r=1$) and 80 layer groups ($r=2$) are shown to belong to 32 and 34 isomorphism classes, respectively. An easy-to-compute set of invariants is developed for recognizing these isomorphism classes from finite presentations which makes use only of the number of subgroups up to a given finite index~$n$ ($n \leq 12$ for rod groups and $n \leq 8$ for layer groups) and how many of them are normal. Cayley graphs of rod and layer groups are used to illustrate the concept of bounded automorphisms of finite order, \emph{i.e.} those when the distance between a graph vertex and its image has an upper bound. It is proven that a Cayley graph of a crystallographic space group $G$ (in which case $r=d$) possesses bounded automorphisms of finite order, if and only if the respective inverse-closed generating set is stabilized by conjugation by an element of finite order in $G$. As an application, subperiodic groups in $\R^4$ with a three-dimensional translation lattice are used to systematically derive embeddings of three-periodic \emph{ladder graphs} in~$\R^3$.
Expander Evolution Algebras
We introduce \emph{expander evolution algebras} (EEAs), a class of nonassociative algebras defined over an arbitrary field $\K$ in which the underlying undirected loopless graph of the algebra -- in the sense of Kowalski -- is an expander graph in the classical sense of Cheeger. Starting from the formal graph definition of Kowalski and the algebraic framework of Tian, we establish a dictionary between combinatorial expansion and algebraic structure: the Cheeger constant of the associated graph governs connectivity, the subalgebra lattice, the growth of the evolution sequence, and -- over $\R$ and $\C$ -- the spectral gap of the evolution operator. Over a general field $\K$ we prove that EEAs are always connected and simple (as evolution algebras), carry no proper large evolution subalgebras, and that every generator of a \emph{symmetric} EEA is algebraically persistent. Over $\C$ we obtain the sharp Alon--Boppana lower bound for the second eigenvalue of the evolution operator, leading to the definition of \emph{Ramanujan evolution algebras} as optimal expanders. We also construct families of EEAs from Cayley graphs of finite groups. We close with open problems.
On groups with D-finite cogrowth series
The cogrowth series of a group with respect to a finite generating set is an important combinatorial quantity that seems very difficult to compute exactly, as evidenced by the scarcity of known examples. In this paper, we give a particular infinite family of presentations for which the cogrowth series can be determined as the constant term of an algebraic function, which shows that it is D-finite and, with more work, not algebraic.
Our proof exploits the fact that for a particular choice of subgroup, the corresponding Schreier graph has finite tree width, and by considering paths in the cosets and the Schreier graph separately, we are able to construct a system of generating functions which count paths. We find the asymptotics of this system to conclude that the groups have D-finite but non-algebraic cogrowth series.
We also apply our method to some additional examples which have some similarities with the infinite family above, and again show they have D-finite but non-algebraic cogrowth series.
These examples lend some support to the conjecture that if a group has an algebraic cogrowth series, then it must be virtually-free, and adds to the small collection of known examples of groups having D-finite cogrowth series for at least one finite generating set.
Weyl Groups and the Modified Kostant Game
This paper presents a generalization of the Kostant game, a combinatorial framework originally for generating positive roots in Lie algebras. By introducing an arbitrary multi-vertex modification, we prove that the resulting game configurations naturally biject with the minimal length representatives of parabolic quotients W/W_J. This yields a dynamical and algorithmic perspective on reduced words. Finally, we apply this framework to derive a novel root counting identity, formalize the Coxeter-theoretic foundation for combinatorial approaches to the Mukai conjecture, establish the regularity of reduced word languages via finite state automata, and dynamically construct Standard Young Tableaux.
The Poincaré Series of Coxeter Folding Subgroups
Folding subgroups give a way to realize non-simply-laced Coxeter groups as subgroups of simply-laced Coxeter groups. In this paper, we study how folding subgroups of finite and affine type are distributed length-wise by calculating the length generating function of the subgroup with respect the length of the ambient group. These generating functions have surprisingly nice formulas in terms of $q$-integers and give rise to interesting combinatorial identities on polynomials involving length statistics of both the ambient group and folding subgroup.
A proof of purely singular splitting conjecture
A set $M$ of nonzero integers is said to split a finite abelian group $G$ if there exists a subset $S\subseteq G$ such that $M\cdot S = G\setminus\{0\}$. Such a splitting is called purely singular if every prime divisor of $|G|$ divides some element of $M$. In 1995, Woldar \cite{W1995} conjectured that the finite abelian groups admitting a purely singular splitting by the set $\{1,2,\dots,k\}$ are precisely the cyclic groups of orders $1$, $k+1$, and $2k+1$. In this paper, we prove this conjecture.
Coarse Menger property of quasi-minor excluded graphs and length spaces
Menger's theorem is an important building block of numerous results in the study of graph structure. We consider a variant in terms of coarse geometry. We say that a set of graphs has the weak coarse Menger property if there exist functions $f$ and $g$ such that for any graph $G$ in this set, subsets $X$ and $Y$ of vertices of $G$, and positive integers $k$ and $r$, either there exist $k$ paths between $X$ and $Y$ pairwise at distance at least $r$, or there exists a union of at most $f(k,r)$ balls of radius at most $g(k,r)$ intersecting all paths between $X$ and $Y$. Nguyen, Scott and Seymour proved that the set of all graphs does not have the weak coarse Menger property and asked whether every proper minor-closed family of finite graphs has it.
In this paper, we provide a positive answer to this question in a stronger form: it is true for the set of locally finite graphs with an excluded finite minor, and the functions $f$ and $g$ can be chosen so that $f$ only depends on the number $k$ of the paths in the packing and the function $g$ is a linear function of the distance threshold $r$ and is independent of $k$, which is optimal up to a constant factor. Our result extends to every length space quasi-isometric to a locally finite graph or metric graph with an excluded finite minor, such as complete Riemannian surfaces of finite Euler genus, string graphs, and Cayley graphs of finitely generated minor-excluded groups.
Hidden Structure of Jack Littlewood-Richardson Coefficients
We argue that Jack Littlewood-Richardson coefficients $g_{μν}^λ(α)$ are specialisations of certain novel polynomials. For the triple of partitions $(μ,ν,λ)=(21,21,321)$, we prove the corresponding polynomial is invariant under $S_6 \times \mathbb{Z}_2$, which is identified as the automorphism group of the Johnson graph $J(6,3)$. We conjecture that these polynomials exhibit a factorization property on certain hyperplanes, which is a consequence of compatibility relations between polynomials associated to adjacent triples in the Young graph. As a consequence of this, we conjecture that the difference of adjacent Jack Littlewood-Richardson coefficients is divisible by the shared hook length.
Integral Shell Polytopes of Composition Algebras
Integral systems in real composition algebras give rise to finite metric configurations whose geometry is linked to both regular polytopes and root-systems. In this work we investigate, to our knowledge for the first time in this form, the shell polytopes obtained by fixing the integral norm and taking the convex hull of the corresponding integral elements. The first shells recover the familiar root-polytopal configurations attached to the classical Hurwitz systems, while the Okubo algebra gives a quite different behaviour. The Okubo integral closure does not recover the Gosset polytope directly: it selects a two-adic hierarchy whose first visible layers are a cross-polytope and a \(D_8\) root polytope. We further show that the natural intermediate lattice is isometric to the rescaled cubic lattice; consequently every shell decomposes into explicit orbits of the hyperoctahedral group \(W(B_8)\), and the higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates. The full \(E_8\) Gosset polytope is then recovered from the intermediate lattice by maximal-isotropic gluing along \((\ZZ/2)^4\). This gives an interplay between non-unital composition, integral lattice shadows, and the geometry of \(E_8\).