arXiv++ Combinatorics

Let $F$ be a function field over an algebraically closed field $K$ and $S$ a finite dimensional $K$-subspace of $F$. The square of $S$ is spanned by all products of pairs of elements in $S$. We conjecture that if $\dim S^2 \leq 3 \dim S - 4$, then $S^2$ must contain a Riemann--Roch space of dimension at least $2 \dim S - 1 + g$, where $g$ is the genus of $F$. This generalizes a theorem of Freiman from additive combinatorics, stating that small sumsets must contain long arithmetic progressions. We prove our conjecture in the case that $S$ is contained in a Riemann--Roch space of dimension at most $3/2\dim S + 1$. For the proof we study the annihilator of $S$ and introduce the notion of weight for linear forms.

The boxicity of a graph $G$, denoted by $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the intersection graph of axis-parallel boxes in $\mathbb{R}^d$. The class of zero divisor graphs introduced by Beck (1988) is a popular class of graphs and has been studied extensively by several researchers. Suppose $Z(R)$ is the set of zero divisors of a ring $R$. The zero divisor graph $Γ(R)$ for a ring $R $ is defined as the graph with the vertex set $V(Γ(R))=Z(R)$ and $E(Γ(R))=\{\{x,y\}\colon x,y\in Z(R)\text{ with }x\neq y\text{ and }x y=0\}$. One can define an equivalence relation $\sim$ on $V(Γ(R))$ such that for vertices $x$ and $y$, one has $x\sim y$ if and only if $x$ and $y$ have the same annihilator, i.e., $Ann(x)=Ann(y)$. The compressed zero divisor graph $Γ_E(R)$ for a ring $R$ is the simple graph obtained from $Γ(R)$ by retaining exactly one vertex from each equivalence class induced by $\sim$. In this paper, we completely answer two open questions posed in Discrete Applied Mathematics 391 (2026), pp. 127-136. Let $N=\prod_{i=1}^a p_i^{n_i}$ be the prime factorization of a positive integer $N$ and let $\mathbb{Z}_N$ be the ring of integers modulo $N$. We determine the exact boxicity of the compressed zero divisor graph $Γ_E(\mathbb{Z}_N)$. We show that when $a\geq 2$, $box(Γ_E(\mathbb{Z}_N))= a-1$ if and only if one of the following is true: $(i)$ $a\geq 2$ and $N$ is the product of two coprime integers $x$ and $y$ such that $x$ is a square-free integer and $y$ is the cube of a prime number; $(ii)$ $a\geq 3$ and $N$ is square-free; $(iii)$ $a\geq 2$, $N$ is cube-free, not square-free, and contains at least one prime divisor $p_i$ such that $n_i=1$. If $a=2$ and $n_1=n_2=1$, then $Γ_{E}(\mathbb{Z}_N)$ is a clique, and so, $box(Γ_{E}(\mathbb{Z}_N))=0$. In all other cases, $box(Γ_{E}(\mathbb{Z}_N))=a$.

We construct two families of commutative Frobenius rings: discrete and continuous Frobenius quotients $K_f$, resp. $A_g$, which are defined as the quotients of shift, resp. differential operator algebras by the annihilator of a polynomial. These constructions model the numerical $K$-rings and Chow rings of smooth complete varieties. We show that there is a naturally defined isomorphism $\mathbb{Q} K_f \cong \mathbb{Q} A_g$ playing the role of the Chern character, precisely when the polynomials satisfy a combinatorial analogue of the Hirzebruch-Riemann-Roch theorem, which states that there exists an invertible element $\mathrm{td} \in \mathbb{Q} A_g^\times$, called the Todd class, such that $f = \mathrm{td} \cdot g$. In this case we show that $K_f$ carries all the structure needed to make it a suitable model for $K$-rings of complete smooth varieties: $K_f$ is a $λ$-ring, has well-defined Chern classes, determinants, and satisfies a combinatorial analogue of Serre duality. We further show that the construction is functorial and obtain a combinatorial analogue of the Grothendieck-Riemann-Roch theorem. Lastly, we investigate the existence of larger families of isomorphisms between Frobenius quotients defined by the action of a power series on a generating set, such as the truncated Chern character which yields an integral isomorphism $K_f \cong A_g$. We provide numerous examples and applications: we give a new formula for computing Snapper polynomials of matroids, show that the dualizing class of $K_f$ coincides with dualizing classes of matroids and linear families of polytopes, realize $K$-rings of toric variety bundles as Frobenius quotients, and study $K$-rings of Ehrhart fans as well as exceptional isomorphisms in this setting.

For a finite commutative ring $R$, let $\GR$ denote its zero-divisor graph and $\WGR$ its weakly zero-divisor graph, the latter containing the former as a spanning subgraph. We introduce the \emph{weak zero-divisor difference graph} $\DR:=\WGR-\GR$ and develop a complete structural theory for finite reduced rings $R\cong\mathbb F_{q_1}\times\cdots\times\mathbb F_{q_t}$. We show $\DR$ sits strictly between $\GR$ and $\WGR$ in a three-stage refinement that also contains Badawi's annihilator graph, and prove that distinct support classes $X_A,X_B$ are completely joined in $\DR$ if and only if $A\cap B\ne\emptyset$ -- an exact criterion underlying every result that follows. Consequently $\DR$ is edgeless for $t\le2$ but connected with diameter $2$ and girth $3$ for every $t\ge3$, independently of the field orders. We establish a complete perfectness dichotomy -- $\DR$ is perfect exactly when $t\in\{3,4\}$, with an elementary combinatorial proof at $t=4$, and never perfect for $t\ge5$ -- and determine its clique number exactly at $t=3$ and $t=4$; for general $t$ we give two incomparable lower bounds and two upper bounds, sharp at $t=3$ but not beyond, together with a compression argument showing an extremal family may always be taken shifted without this alone resolving the problem. A reconstruction theorem shows $\DR$ recovers the multiset of field orders intrinsically, so $\DR\cong\mathcal D(S)$ forces $R\cong S$. We further give closed forms, valid for every $t\ge3$, for the degree sequence and minimum degree, the domination number, and the independence and vertex cover numbers. Finally, we briefly indicate, via the valuation structure of finite chain rings, why the reduced-ring hypothesis cannot simply be dropped.

Let $R$ be a commutative ring with identity, and let $Z(R)$ be the set of zero-divisors of $R$. The inclusion graph of annihilators in $R$, denoted by $Γ^{\prime}(R)$, is a graph with the vertex set $Z(R)^*=Z(R)\setminus\{0\}$ and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(x)\subseteq \operatorname{ann}_R(y)$ or $\operatorname{ann}_R(y)\subseteq \operatorname{ann}_R(x)$. It is proved that $Γ^{\prime}(R)$ is not connected if and only if $R$ is reduced with $|\operatorname{Min}(R)|=2$. Also, we show that if $Γ^{\prime}(R)$ is a connected graph, then the diameter of $Γ^{\prime}(R)$ is at most $4$ and the girth of $Γ^{\prime}(R)$ is at most $6$, if it contains a cycle. Moreover, we study the affinity between inclusion graph of annihilators and complement of the annihilator graph (a well-known graph with the same vertices and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(xy)\neq \operatorname{ann}_R(x)\cup \operatorname{ann}_R(y)$) associated with a commutative ring. Finally, we characterize all rings whose inclusion graphs of annihilators are complete.

Let $L(λ)$ be a simple highest weight module of a classical Lie algebra $\mathfrak{g}$ with highest weight $λ-ρ$, where $ρ$ is half the sum of positive roots. Joseph proved that the associated variety of the annihilator ideal of $L(λ)$ (also called the annihilator variety) is the Zariski closure of a nilpotent orbit in $\mathfrak{g}^*$. Recently, Bai--Ma--Wang introduced a partition algorithm to describe this corresponding nilpotent orbit for a given highest weight module $L(λ)$. In this paper, we present a new direct proof of Bai--Ma--Wang's partition algorithm using Sommers duality.

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For $n\ge2$, equality holds if and only if either $k=1$ and $\mathcal{L}\cong\mathbb{Z}^n$, or $n=8$, $k=2$, and $\mathcal{L}\cong E_8$. For $n=1$, equality holds exactly when $\mathcal{L}$ represents $k$. The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design. The associated Delsarte--Goethals--Seidel annihilator polynomial gives an arithmetic root condition, which isolates $E_8$ at $k=2$, rules out $k=3$, and combines with the Bannai--Damerell/Bannai theorem and an elementary circle argument to exclude all remaining cases in dimension at least $2$.

We generalize the fundamental bounds of Delsarte thesis (1973) on codes of given degree and designs of given strength in the new setting of Bannai et al. (2025). We assume the scheme is weakly metric in the sense of (Solé, 1989). We give upper bounds on the size of codes of given degree, and also on the size of codes with a given number of pairwise distances. Codes meeting these bounds are characterized by the identification of suitable annihilators with the degree (resp. distance) Wilson polynomial. We give two analogues of the Rao bound on the size of designs with given strength. Designs meeting that bound we call degree tight designs or distance tight design depending on the bound met. In both cases, the existence of a tight design implies a Lloyd-like condition on a suitable analogue of the Wilson polynomial. Applications to the Lee distance, mixed level orthogonal arrays, ordered orthogonal arrays, and more are given. The formal duality between codes and designs, connecting perfect codes and tight designs, is made concrete in self-dual translation schemes.

We prove a multilevel non-shadow refinement of the Alon--Babai--Suzuki (ABS) nonuniform restricted-intersection theorem. Let $K=\{k_1,\dots,k_r\}$ and let $L$ be a set with $|L|=s$. If $\mathcal{F}\subseteq \bigcup_{k\in K}\binom{[n]}{k}$ is $L$-intersecting and $k_i>s-r$ for every $i$, then $|\mathcal{F}| + \sum_{j=s-r+1}^{s} |\mathcal{N}_j(\mathcal{F})| \le N(n,s,r),$ equivalently $|\mathcal{F}| \le \sum_{j=s-r+1}^{s} |\partial_j\mathcal{F}|.$ Thus the ABS bound is sharpened by the total non-shadow deficit on the top $r$ levels. In the modular setting, we take a coefficient-sensitive viewpoint: the polynomial method depends not just on the degree of the annihilator polynomial $P_L(t)=\prod_{\ell\in L}(t-\ell)\in\mathbb{F}_p[t]$, but on which binomial terms actually appear in it. This yields a gap-free modular bound depending only on the active support levels of $P_L$. For almost-initial residue patterns $L=\{0,1,\dots,s-m-1\}\cup R \pmod p$ we obtain the collapse $|\mathcal{F}|\le \sum_{i=0}^{m}\binom{n}{s-i}.$ In particular, for consecutive residues $L=\{0,1,\dots,s-1\}\pmod p$ we get the sharp bound $|\mathcal{F}|\le \binom{n}{s}$, giving a partial negative answer to a question of Alon--Babai--Suzuki: the modular ABS bound $N(n,s,r)$ is not attainable in the consecutive-residue regime whenever $r\ge 2$.

We establish an ideal-theoretic rigidity principle for quadratic distance images over integer residue rings. Specifically, we prove that near-extremal collapse of the distance set in $\mathbb{Z}_n^d$ forces strong algebraic structure supported on annihilator submodules arising from the arithmetic of $n$. As a consequence, we obtain the first inverse theorem for the Falconer distance problem over $\mathbb{Z}_n$ for composite moduli. We show that if a set $E \subset \mathbb{Z}_n^d$ of size $|E| \asymp n^{(d+1)/2}$ determines only $O(n)$ distinct squared distances, then $E$ must be supported on a coset of an annihilator submodule on which the distance form is algebraically degenerate. The proof introduces a divisor-depth decomposition intrinsic to $\mathbb{Z}_n$, together with a lifting mechanism that transfers local degeneracies at prime moduli into global ideal-theoretic constraints. This yields a complete classification of near-extremizers for the Falconer distance problem in the ring setting, revealing a rigidity phenomenon with no analogue over fields.

A ring $R$ with an involution $*$ is a generalized Rickart $*$-ring if for all $x\in R$ the right annihilator of $x^n$ is generated by a projection for some positive integer $n$ depending on $x$. In this work, we introduce generalized right projection of an element in a $*$-ring and prove that every element in a generalized Rickart $*$-ring has generalized right projection. Various characterizations of generalized Rickart $*$-rings are obtained. We introduce the concept of generalized weakly Rickart $*$-ring and provide a characterization of generalized Rickart $*$-rings in terms of weakly generalized Rickart $*$-rings. It is shown that generalized Rickart $*$-rings satisfy the parallelogram law. A sufficient condition is established for partial comparability in generalized Rickart $*$-rings. Furthermore, it is proved that pair of projections in a generalized Rickart $*$-ring possess orthogonal decomposition.

Let $A$ be a finite commutative ring with unity $1 \neq 0.$ An ideal of $A$ is said to be essential if it has a non-zero intersection with every non-zero ideal of $A.$ The essential graph of $A$ is a simple undirected graph whose vertex set consists of all non-zero zero-divisors of $A.$ Two different vertices $u$ and $v$ are connected by an edge precisely when the ideal formed by the annihilator of their product $uv$ is essential in $A.$ This paper examines the minimal embeddings of the line graph of the essential graph of $A$ into orientable surfaces as well as non-orientable surfaces. Our results include a complete classification of finite commutative rings for which the line graphs of their essential graphs is planar, outerplanar or have genus or crosscap number at most two. We also characterize all such non-local rings for which the line graph of their zero-divisor graph is outerplanar.

The s-ordered form of any product of single-mode boson creation and annihilation operators, containing only a single annihilator, is computed explicitly. The s-ordering concept originated in quantum optics, but subsumes normal, symmetric (Weyl), and anti-normal ordering for any two operators satisfying a canonical commutation relation. Because the s-ordering map can be viewed as producing a function of a complex variable, its inverse is a quantization map that takes such "classical" functions to quantum operators. The explicit s-ordered expressions are derived with the aid of a parametric family of Sheffer polynomial sequences (or equivalently a parametric exponential Riordan array of polynomial coefficients), called the Hsu-Shiue family. To yield orderings interpolating between normal and anti-normal, this family must be extended.

Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) =B}} w \qquad \text{and} \qquad \widetilde{\nabla}_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) \subseteq B}}w \] of $\mathcal{A}$. We study these elements, showing in particular that their minimal polynomials factor into linear factors (with integer coefficients). We express the product $\nabla_{D,C}\nabla_{B,A}$ as a $\mathbb{Z}$-linear combination of $\nabla_{U,V}$'s. More generally, for any two set compositions (i.e., ordered set partitions) $\mathbf{A}$ and $\mathbf{B}$ of $\left\{ 1,2,\ldots,n\right\} $, we define $\nabla_{\mathbf{B},\mathbf{A}}\in\mathcal{A}$ to be the sum of all permutations $w\in S_n$ that send each block of $\mathbf{A}$ to the corresponding block of $\mathbf{B}$. This generalizes $\nabla_{B,A}$. The factorization property of minimal polynomials does not extend to the $\nabla_{\mathbf{B},\mathbf{A}}$, but we describe the ideal spanned by the $\nabla_{\mathbf{B},\mathbf{A}}$ and a further ideal complementary to it. These two ideals have a "mutually annihilative" relationship, are free as $\mathbf{k}$-modules, and appear as annihilators of tensor product $S_n$-representations; they are also closely related to Murphy's cellular bases, Specht modules, pattern-avoiding permutations and even some algebras appearing in quantum information theory.

We study complexity and periodicity of Delone sets by applying an algebraic approach to multidimensional symbolic dynamics. In this algebraic approach, $\mathbb{Z}^d$-configurations $c: \mathbb{Z}^d \to \mathcal{A}$ for a finite set $\mathcal{A} \subseteq \mathbb{C}$ and finite $\mathbb{Z}^d$-patterns are regarded as formal power series and Laurent polynomials, respectively. In this paper we study also functions $c: \mathbb{R}^d \to \mathcal{A}$ where $\mathcal{A}$ is as above. These functions are called $\mathbb{R}^d$-configurations. Any Delone set may be regarded as an $\mathbb{R}^d$-configuration by simply presenting it as its indicator function. Conversely, any $\mathbb{R}^d$-configuration whose support (that is, the set of cells for which the configuration gets non-zero values) is a Delone set can be seen as a colored Delone set. We generalize the concept of annihilators and periodizers of $\mathbb{Z}^d$-configurations for $\mathbb{R}^d$-configurations. We show that if an $\mathbb{R}^d$-configuration has a non-trivial annihilator, that is, if a linear combination of some finitely many of its translations is the zero function, then it has an annihilator of a particular form. Moreover, we show that $\mathbb{R}^d$-configurations with integer coefficients that have non-trivial annihilators are sums of finitely many periodic functions $c_1,\ldots,c_m: \mathbb{R}^d \to \mathbb{Z}$. Also, $\mathbb{R}^d$-pattern complexity is studied alongside with the classical patch-complexity of Delone sets. We point out the fact that sufficiently low $\mathbb{R}^d$-pattern complexity of an $\mathbb{R}^d$-configuration implies the existence of non-trivial annihilators. Moreover, it is shown that if a Meyer set has sufficiently slow patch-complexity growth, then it has a non-trivial annihilator. Finally, a condition for forced periodicity of colored Delone sets of finite local complexity is provided.

We consider the strong Lefschetz property for standard graded Artinian Gorenstein algebras. Such an algebra has a presentation of the quotient algebra of the ring of the differential polynomials modulo the annihilator of some homogeneous polynomial. There is a characterization of the strong Lefschetz property for such an algebra by the non-degeneracy of the higher Hessian matrix of the homogeneous polynomial. Maeno and Numata conjectured that if such an algebra is defined by the basis generating polynomial of any matroid, then it has the strong Lefschetz property. For this conjecture, we give counterexamples that are associated with graphic matroids. We prove the degeneracy of the higher Hessian matrix by constructing a non-zero element in the kernel of that matrix.

The annihilator graph $AG(R)$ of the commutative ring $R$ is an undirected graph with vertex set as the set of all non-zero zero divisors of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $ann(xy) \neq ann(x) \cup ann(y)$. In this paper, we study the embedding of the line graph of $AG(R)$ into orientable or non-orientable surfaces. We completely characterize all the finite commutative rings such that the line graph of $AG(R)$ is of genus or crosscap at most two. We also obtain the inner vertex number of $L(AG(R))$. Finally, we classify all the finite rings such that the book thickness of $L(AG(R))$ is at most four.

We consider $d$-dimensional configurations, that is, colorings of the $d$-dimensional integer grid $\mathbb{Z}^d$ with finitely many colors. Moreover, we interpret the colors as integers so that configurations are functions $\mathbb{Z}^d \to \mathbb{Z}$ of finite range. We say that such function is $k$-periodic if it is invariant under translations in $k$ linearly independent directions. It is known that if a configuration has a non-trivial annihilator, that is, if some non-trivial linear combination of its translations is the zero function, then it is a sum of finitely many periodic functions. This result is known as the periodic decomposition theorem. We prove two different improvements of it. The first improvement gives a characterization on annihilators of a configuration to guarantee the $k$-periodicity of the functions in its periodic decomposition -- for any $k$. The periodic decomposition theorem is then a special case of this result with $k=1$. The second improvement concerns so called sparse configurations for which the number of non-zero values in patterns grows at most linearly with respect to the diameter of the pattern. We prove that a sparse configuration with a non-trivial annihilator is a sum of finitely many periodic fibers where a fiber means a function whose non-zero values lie on a unique line.

Given a holonomic sequence $F(n)$, we characterize rational functions $r(n)$ so that $r(n)F(n)$ can be summable. We provide upper and lower bounds on the degree of the numerator of $r(k)$ and show the denominator of $r(n)$ can be read from annihilators of $F(k)$. This illustration provides the so-called rational reductions which can be used to generate new multi-sum equalities and congruences from known ones.

We propose and develop a new method to classify orbits of the spin group ${\rm Spin}(2d)$ in the space of its semi-spinors. The idea is to consider spinors as being built as a linear combination of their pure constituents, imposing the constraint that no pair of pure spinor constituents sums up to a pure spinor. We show that this leads to a simple combinatorial problem that has a finite number of solutions in dimensions up to and including fourteen. We call each distinct solution a combinatorial type of an impure spinor. We represent each combinatorial type graphically by a simplex, with vertices corresponding to the pure constituents of a spinor, and edges being labelled by the dimension of the totally null space that is the intersection of the annihilator subspaces of the pure spinors living at the vertices. We call the number of vertices in a simplex the impurity of an impure spinor. In dimensions eight and ten the maximal impurity is two. Dimension twelve is the first dimension where one gets an impurity three spinor, represented by a triangle. In dimension fourteen the generic orbit has impurity four, while the maximal impurity is five. We show that each of our combinatorial types uniquely corresponds to one of the known spinor orbits, thus reproducing the classification of spinors in dimensions up to and including fourteen from simple combinatorics. Our methods continue to work in dimensions sixteen and higher, but the number of the possible distinct combinatorial types grows rather rapidly with the dimension.