group
10224 papers tagged with this keyword
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\).
On the multipliers of a Singer quadrangle
A finite generalized quadrangle $\cS$ is a Singer quadrangle if it has an automorphism group that acts sharply transitively on its points. In this paper, we introduce the notion of multipliers for a Singer quadrangle and study their basic properties. As an application, we show that a point-primitive automorphism group of a thick generalized quadrangle cannot have O'Nan-Scott type HS (holomorph simple), which answers an open problem in \cite{Bamberg 2019}.
On separability of Tatra association schemes
A Tatra association scheme is an association scheme arising from a symmetric bilinear form defined on the equivalence classes of nonzero $2$-dimensional vectors modulo some subgroup of the multiplicative group of a finite field. In the present paper, we prove that every such association scheme is $2$-separable, i.e. it is determined up to isomorphism by the tensor of its $2$-dimensional intersection numbers.
A strengthening of Chang's lemma
We prove a strengthening of Chang's lemma for subsets of $\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\varepsilon^{-2}\log(1/α)$ is refined to show that every character outside this subspace has small correlation with the set not only globally, but also on average over the cosets of the orthogonal complement, in a natural cosetwise $\ell^1$ norm. As a consequence, we obtain a localized counting lemma. We also give an extension of the argument to arbitrary finite abelian groups.