group
10226 papers tagged with this keyword
The structure of sets with cube-avoiding sumsets
We prove that if $d \ge 2$ is an integer, $G$ is a finite abelian group, $Z_0$ is a subset of $G$ not contained in any strict coset in $G$, and $E_1,\dots,E_d$ are dense subsets of $G^n$ such that the sumset $E_1+\dots+E_d$ avoids $Z_0^n$ then $E_1, \dots, E_d$ essentially have bounded dimension. More precisely, they are almost entirely contained in sets $E_1' \times G^{I^c}, \dots, E_d' \times G^{I^c}$, where the size of $I \subset [n]$ is non-zero and independent of $n$, and $E_1',\dots,E_d'$ are subsets of $G^{I}$ such that the sumset $E_1'+\dots+E_d'$ avoids $Z_0^I$.
A group-action Szemerédi-Trotter theorem and applications to orchard problems in all characteristics
We establish a group-action version of the Szemerédi-Trotter theorem over any field, extending Bourgain's result for the group $\mathrm{SL}_2(k)$. As an Elekes-Szabó-type application, we obtain quantitative bounds on the number of collinear triples on reducible cubic surfaces in $\mathbb{P}^3(k)$, where $k = \mathbb{F}_{q}$ and $k = \mathbb{C}$, thereby improving a recent result by Bays, Dobrowolski, and the second author.
Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions
Published in Discrete Mathematics, Volume 349, Issue 2, February 2026, 114741
• Search Publication
We establish new Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions. The classical Murnaghan--Nakayama rule expresses the product of a power sum symmetric function with a Schur function as a linear combination of Schur functions. Symplectic and orthogonal Schur functions correspond to characters of irreducible representations of symplectic and orthogonal groups. Orthosymplectic Schur functions arise as characters of orthosymplectic Lie superalgebras and are hybrids of symplectic and ordinary Schur functions. We derive explicit formulas for the product of the relevant power-sum function with each of these functions, which can partly be described combinatorially using border strip manipulations. Our Murnaghan--Nakayama rules each include three distinct terms: a classical term corresponding to the addition of border strips to the relevant Young diagram, a term involving the removal of border strips, and a third term, which we describe both algebraically and combinatorially.
Promotion, Tangled Labelings, and Sorting Generating Functions
We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.
Bounding the Chromatic Number via High Dimensional Embedding
A geometrization method that transforms a $(d+1)$-connected graph $G$ into a $(d-1)$-dimensional manifold $U^{d-1}(G)$ is first established through adding some $i$-balls with $2\le i \le d-1$ into $G$ such that the $j$-th homotopy group is trivial for $j=0, 1, \dots, d-2$. On this basis, we establish a sufficient condition for $U^{d-1}(G)$ to be embedded into $\mathbb{R}^d$ and an upper bound for $χ(G)$, the chromatic number of $G$. To be more specific, we prove that if $G$ contains neither $K_{d+3}$ nor $K_{3,d+1}$ as a minor, then $U^{d-1}(G)$ embeds into $\mathbb{R}^d$ and $χ(G) \leq d(d+1)$. Furthermore, based on the above theorem, we extend the Discharging method, originally developed for the study of the four color theorem, to $\mathbb{R}^d$. This generalized approach can be applied to investigate the coloring problems in $\mathbb{R}^d$.
On commuting pairs in arbitrary sets of 2x2 matrices
Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $μ$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(μ) = \sum_{X, Y \in {\rm supp}(μ), XY = YX} μ(X) μ(Y) < \varepsilon \] or there exists some finite set ${S}$ contained in a $2$-dimensional subspace of $\textrm{Mat}_2(\mathbb{R})$ such that $μ({S}) \geq \varepsilon/8$. This is sharp up to the multiplicative constant. We prove quantitatively stronger results when \[ μ( (a_{i,j})_{1 \leq i,j \leq 2} ) = ν(a_{1,1}) \dots ν(a_{2,2}) \ \ \text{for every} \ a_{1,1}, \dots, a_{2,2} \in \mathbb{R}, \]
with $ν$ being some finitely--supported probability measure on $\mathbb{R}$. For instance, when ${A} \subset \mathbb{R}$ is a generalised arithmetic progression or multiplicative progression of dimension $d$ and $ν= {1}_{A}/|{A}|$, our techniques imply that $|{A}|^{-3} \ll_d T(μ) \ll_d |{A}|^{-3}$. Our methods highlight the connections of this problem to results in incidence geometry, growth in groups phenomenon as well as Bourgain--Chang type sum-product estimates over $\mathbb{R}$. The latter includes applications of Schmidt's subspace theorem and the resolution of the weak polynomial Freiman--Ruzsa conjecture over integers.
Horospherical varieties with quotient singularities
Our main result is a combinatorial characterization of when a horospherical variety has (at worst) quotient singularities. Using this characterization, we show that every quasiprojective horospherical variety with quotient singularities is globally the quotient of a smooth variety by a finite abelian group.
Completely regular codes in graphs covered by a Hamming graph
In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF$(3)$. The most interesting findings are two new CR-$1$ (with covering radius~$1$) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer--Friedman bound) and one new CR-$2$. By recursive constructions, every knew CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code was CR-$1$ and independent). In between, we classify feasible parameters of CR codes in several strongly regular graphs.
Alphabet-affine 2-neighbour-transitive codes
A code ${\mathcal C}$ is a subset of the vertex set of a Hamming graph $H(n,q)$, and ${\mathcal C}$ is $2$-neighbour-transitive if the automorphism group $G={\rm Aut}({\mathcal C})$ acts transitively on each of the sets ${\mathcal C}$, ${\mathcal C}_1$ and ${\mathcal C}_2$, where ${\mathcal C}_1$ and ${\mathcal C}_2$ are the (non-empty) sets of vertices that are distances $1$ and $2$, respectively, (but no closer) to some element of ${\mathcal C}$.
Suppose that ${\mathcal C}$ is a $2$-neighbour-transitive code with minimum distance at least $5$. For $q=2$, all `minimal' such ${\mathcal C}$ have been classified. Moreover, it has previously been shown that a subgroup of the automorphism group of the code induces an affine $2$-transitive group action on the alphabet of the Hamming graph. The main results of this paper are to show that this affine $2$-transitive group must be a subgroup of ${\rm A}Γ{\rm L}_1(q)$ and to provide a number of infinite families of examples of such codes. These examples are described via polynomial algebras related to representations of certain classical groups.
On the Terwilliger algebra of the group association scheme of the symmetric group $\operatorname {sym}(7)$
Terwilliger algebras are finite-dimensional semisimple algebras that were first introduced by Paul Terwilliger in 1992 in studies of association schemes and distance-regular graphs. The Terwilliger algebras of the conjugacy class association schemes of the symmetric groups $\operatorname {sym}(n)$, for $3\leq n \leq 6$, have been studied and completely determined. The case for $\operatorname {sym}(7)$ is computationally much more difficult and has a potential application to find the size of the largest permutation codes of $\operatorname {sym}(7)$ with a minimal distance of at least $4$. In this paper, the dimension, the Wedderburn decomposition, and the block dimension decomposition of the Terwilliger algebra of the conjugacy class scheme of the group $\operatorname {sym}(7)$ are determined.
Sparser Abelian High Dimensional Expanders
We present two new explicit constructions of Cayley high dimensional expanders (HDXs) over the abelian group $\mathbb{F}_2^n$. Our expansion proofs use only linear algebra and combinatorial arguments.
The first construction gives local spectral HDXs of any constant dimension and subpolynomial degree $\exp(n^ε)$ for every $ε>0$, improving on a construction by Golowich [Gol23] which achieves $ε=1/2$. [Gol23] derives these HDXs by sparsifying the complete Grassmann poset of subspaces. The novelty in our construction is the ability to sparsify any expanding Grassmannian posets, leading to iterated sparsification and much smaller degrees. The sparse Grassmannian (which is of independent interest in the theory of HDXs) serves as the generating set of the Cayley graph.
Our second construction gives a 2-dimensional HDXs of any polynomial degree $\exp(εn$) for any constant $ε> 0$, which is simultaneously a spectral expander and a coboundary expander. To the best of our knowledge, this is the first such non-trivial construction. We name it the Johnson complex, as it is derived from the classical Johnson scheme, whose vertices serve as the generating set of this Cayley graph. This construction may be viewed as a derandomization of the recent random geometric complexes of [LMSY23]. Establishing coboundary expansion through Gromov's "cone method" and the associated isoperimetric inequalities is the most intricate aspect of this construction.
While these two constructions are quite different, we show that they both share a common structure, resembling the intersection patterns of vectors in the Hadamard code. We propose a general framework of such "Hadamard-like" constructions in the hope that it will yield new HDXs.
On the BCI Problem
Let $G$ be a group. The BCI problem asks whether two Haar graphs of $G$ are isomorphic if and only if they are isomorphic by an element of an explicit list of isomorphisms. We first generalize this problem in a natural way and give a theoretical way to solve the isomorphism problem for the natural generalization. We then restrict our attention to abelian groups and, with an exception, reduce the problem to the isomorphism problem for a related quotient, component, or corresponding Cayley digraph. For Haar graphs of an abelian group of odd order with connection sets $S$ those of Cayley graphs (i.e. $S = -S$), the exception does not exist. For Haar graphs of cyclic groups of odd order with connection sets those of a Cayley graph, among others, we solve the isomorphism problem.
Towards the Proximity Conjecture on Group-Labeled Matroids
Consider a matroid $M$ whose ground set is equipped with a labeling to an abelian group. A basis of $M$ is called $F$-avoiding if the sum of the labels of its elements is not in a forbidden label set $F$. Hörsch, Imolay, Mizutani, Oki, and Schwarcz (2024) conjectured that if an $F$-avoiding basis exists, then any basis can be transformed into an $F$-avoiding basis by exchanging at most $|F|$ elements. This proximity conjecture is known to hold for certain specific groups; in the case where $|F| \le 2$; or when the matroid is subsequence-interchangeably base orderable (SIBO), which is a weakening of the so-called strongly base orderable (SBO) property.
In this paper, we settle the proximity conjecture for sparse paving matroids or in the case where $|F| \le 4$. Related to the latter result, we present the first known example of a non-SIBO matroid. We further address the setting of multiple group-label constraints, showing proximity results for the cases of two labelings, SIBO matroids, matroids representable over a fixed, finite field, and sparse paving matroids.
A formula for eigenvalues of integral Cayley graphs over abelian groups
Let $Z$ be an abelian group, $ x \in Z$, and $[x] = \{ y : \langle x \rangle = \langle y \rangle \}$. A graph is called integral if all its eigenvalues are integers. It is known that a Cayley graph is integral if and only if its connection set can be express as union of the sets $[x] $. In this paper, we determine an algebraic formula for eigenvalues of the integral Cayley graph when the connection set is $ [x]$. This formula involves an analogue of M$\ddot{\text{o}}$bius function.
The Double Almost-Riordan Arrays and Their Sequence Characterization, Compression, and Total Positivity
In this paper, we define double almost-Riordan arrays and find that the set of all double almost-Riordan arrays forms a group, called the double almost-Riordan group. We also obtain the sequence characteristics of double almost-Riordan arrays and give the production matrices for double almost-Riordan arrays. We define the compression of double almost-Riordan arrays and present their sequence characterization. Finally we give a characteristic for the total positivity of double Riordan arrays, by using which we discuss the total positivity for compressed double almost-Riordan arrays.
Erdős-Pósa property of $A$-paths in unoriented group-labelled graphs
We characterize the obstructions to the Erdős-Pósa property of $A$-paths in unoriented group-labelled graphs. As a result, we prove that for every finite abelian group $Γ$ and for every subset $Λ$ of $Γ$, the family of $Γ$-labelled $A$-paths whose lengths are in $Λ$ satisfies the half-integral Erdős-Pósa property. Moreover, we give a characterization of such $Γ$ and $Λ\subseteqΓ$ for which the same family of $A$-paths satisfies the full Erdős-Pósa property.
Packing sets under finite groups via algebraic incidence structures
Let $G$ be a finite group acting on a vector space $V = \mathbb{F}_p^n$ over a prime field. Given finite sets $S \subset G$ and $E \subset V$, we study the restricted orbit union $S(E) = \bigcup_{g\in S} g(E)$ and establish quantitative lower bounds for $|S(E)|$ in terms of $|S|$, $|E|$, and natural structural conditions. This finite field packing problem has connections to distance geometry, configuration counting, and expanding graphs. For $G = SL_2(\mathbb{F}_p)$ acting on $\mathbb{F}_p^2$, we prove that $$|S(E)| \gg \min\left\lbrace p^2, \frac{|S||E|}{p^2}\right\rbrace,$$ which is sharp. Under geometric non-concentration conditions on $E$ and subgroup-avoidance hypotheses on $S$, we obtain a power-saving improvement of the form $$|S(E)|\gg \min \left\lbrace p^2, ~\max\left\lbrace\frac{|S||E|}{pk}, ~\frac{|S|^{\frac{1}{2}}|E|}{p^{\frac{1-ε}{2}}k^{\frac{1}{2}}}\right\rbrace \right\rbrace,$$ where $k$ bounds the radial multiplicity of $E$. For small sets $|E| \leq p$, we establish optimal bounds using weighted incidence theory. Analogous results are proved for the first Heisenberg group $\mathbb{H}_1(\mathbb{F}_p)$ acting on $\mathbb{F}_p^3$. Our approach reformulates the problem as an incidence question in a bipartite action graph. The proofs combine Fourier analytic techniques, energy estimates, point-line incidence bounds, and area-energy inequalities for skew dot products. The methods extend classical sum-product type problems and incidence theory to noncommutative group actions.
On a family of divisible design digraphs
For every odd prime power $q$, a family of pairwise nonisomorphic normal arc-transitive divisible design Cayley digraphs with isomorphic neighborhood designs over a Heisenberg group of order $q^3$ is constructed. It is proved that these digraphs are not distinguished by the Weisfeiler-Leman algorithm and have the Weisfeiler-Leman dimension $3$.
Dihedral f-Tilings of the Sphere Induced by the Möbius Triangle $(2,3,4)$
We classify the special families of dihedral folding tilings of the sphere derived from the Möbius triangle $(2,3,4)$. Our study emerges from the study of isometric foldings in the Riemann sphere and meets at the juncture of the triangle group $Δ(2,3,4)$. The juxtaposition enables us to apply the classification theorem of edge-to-edge tilings of the sphere by congruent triangles and introduces a group theoretical method. The two prototiles of each family consist of the Möbius triangle and another polygon induced by a reflection of the triangle group acting on the Möbius triangle. To enumerate the tilings, we give two solutions to solve the associated constraint satisfaction problem. The methods are not exclusive to this problem and therefore applicable to similar problems of more general settings.
Characters of symmetric groups: sharp bounds on virtual degrees and the Witten zeta function
We prove sharp bounds on the virtual degrees introduced by Larsen and Shalev. This leads to improved bounds on characters of symmetric groups. We then sharpen bounds of Liebeck and Shalev concerning the Witten zeta function. Our main application is a characterization of the fixed-point free conjugacy classes whose associated random walk mixes in 2 steps.