arXiv++ Combinatorics

We address a problem on large signed sums of unit vectors that arose in work of Brugger, Fiedler, González Merino and Kirschbaum and was later formulated in its present form by Ambrus and Nietert. Given $d+1$ unit vectors $u_1,\ldots,u_{d+1}$ in $\mathbb R^d$, with $d\ge2$, the problem asks for the smallest possible value of \[ \max_{\varepsilon_i=\pm1} \left\|\sum_{i=1}^{d+1}\varepsilon_i u_i\right\|. \] We prove that this value is $\sqrt{d+2}$. We also determine all equality cases: up to independent sign changes and orthogonal transformations, they consist of the vertices of a centered regular simplex of positive even dimension together with an orthonormal basis of its orthogonal complement.

Let $q=3^m$, let $K=\mathbb F_{q^2}$, and let \[\mathcal T=\{x\in K^*:\operatorname{N}_{K/\mathbb F_q}(x)=1\}.\] For both cyclic and constacyclic Gashkov-Sidel'nikov codes, we show that the set of signed parity-check column labels is precisely $\mathcal T$. Consequently, the decoding problem separates into two stages: determining the minimum error weight associated with a syndrome $S$ and constructing an error vector attaining this minimum. We identify the former quantity with the minimum additive length of $S$ with respect to $\mathcal T$ and determine it exactly by the norm and the quadratic character of $\mathbb F_q$. We also determine the complete coset-weight distribution and recover the known covering radius $3$. For the constructive part, we use quadratic-character sums and Weil bounds to construct a coset leader for every syndrome of coset weight three. The resulting procedures give complete maximum-likelihood decoders.

Löfberg and Qi introduced the second order Zarankiewicz number \(z_2\), the recursive-line Zarankiewicz number \(z_{RL}\), and the signed Zarankiewicz number \(z_{SL}\) for doubly simple biquadratic forms. It was shown that \[ z_2(m,n)\ge z_{SL}(m,n)\ge z_{RL}(m,n) \] for all \(m\) and \(n\). However, there was no evidence that there exist particular \(m\) and \(n\) such that \(z_{SL}(m,n)>z_{RL}(m,n)\). The motivation for introducing \(z_{SL}\) was as follows: during the study of the exceptional case \(m=15\), \(n=6\), Löfberg and Qi showed that \[ z_2(15,6)=z_{SL}(15,6)=60, \] but the exact value of \(z_{RL}(15,6)\) was unknown then. In this paper we show that \[ z_{RL}(15,6)=60. \] This eliminates the motivation for introducing \(z_{SL}\). Whether \(z_{SL}(m,n)=z_{RL}(m,n)\) in general remains an open problem. Recently, Lebedev presented an explicit construction separating the augmented Zarankiewicz number \(z_A\) from the limited augmented Zarankiewicz number \(z_L\) at \(m=n=1893\). We hope that the separation problem for \(z_{SL}\) and \(z_{RL}\) can also be solved. We also present the exact values of \(z_{RL}(m,6)\) for \(6\le m\le 16\).

We prove that every equal-weight spherical $4$-design on $\mathbb{S}^2$ has at least twelve points. Since the regular icosahedron is a spherical $5$-design, this determines the exact minimum$$N_4(\mathbb{S}^2)=12;$$equivalently, no such design has $9$, $10$ or $11$ points.The proof is part of a finite-defect theory. If a spherical $2m$-design has corank $c=N-\dim P_m$, its Naimark complement consists of unit vectors $u_x\in\mathbb{S}^{c-1}$ forming a spherical $2$-design and satisfying the exact coupling$$u_x\cdot u_y=-\frac{K_m^{(d)}(x\cdot y)}{c}\qquad(x\ne y).$$This gives a pairwise kernel bound, an antipodal lower bound, Cayley-Bacharach information, and uniform lower bounds for multiplicative-relation spaces. In corank one the design splits into two equal spherical $m$-designs. We derive a residue formula for its signed Schoenberg coefficients; the coefficient of degree $m+3$ is negative exactly when $3\le d\le m+1$, excluding corank one throughout that range. At strengths four and six the only examples in any dimension are the regular hexagon and octagon, respectively.In corank two the complement is a circle Gale frame. Multiplication by its phase forces at least $d-1$ linear-quadratic aliases and yields exact norm and socle identities in every dimension. For eleven nodes on $\mathbb{S}^2$, two aliases produce a real harmonic cubic and a Hermitian quartic matrix. A matrix-valued Cayley-Bacharach argument eliminates the generic branch; the exceptional branch reduces to a Pauli normal form and contradicts the second moments. In dimensions $d\ge4$ the corank-two problem remains open; we identify a forced quadratic socle as the obstruction to extending the present argument.

In this paper, we establish two Turán-type results for signed graphs. We first generalize the classical Turán theorem to signed graphs and then extend Nikiforov's spectral Turán theorem to signed graphs. Moreover, we determine the second maximum spectral radius among all unbalanced signed graphs that contain no balanced complete signed subgraph on \(r+1\) vertices.

The cyclotomic Eulerian polynomials and the cyclotomic Mahonian polynomials have each been the subject of extensive studies in Combinatorics, with particular attention to their signed versions. In contrast, the joint study of cyclotomic Euler-Mahonian polynomials has received far less consideration. To the best of our knowledge, the only prior result in this direction is a formula due to Wachs for the signed Euler-Mahonian polynomials in the even case. In this paper, we focus on the cyclotomic Euler-Mahonian polynomials and derive a formula based on the Hadamard product. As corollaries, we obtain the $I$-analogue (where $I=\sqrt{-1}$) of Wachs' formula for signed Euler-Mahonian polynomials, as well as the previously missing odd case for the signed Euler-Mahonian polynomials.

The clique partition number of a graph is the minimum number of complete subgraphs whose edge sets partition its edge set. We study graphs in which, in every induced subgraph and outside every prescribed clique, some vertex has a neighbourhood that becomes a clique after deleting at most $s$ vertices. The case $s=0$ is exactly the class of chordal graphs. For each fixed $s$, we prove that the maximum clique partition number at all sufficiently large orders $n$ is $\lfloor(n+s)(n+s+1)/6\rfloor-\binom{s+1}{2}$, and determine all equality graphs. The same expression is an upper bound up to an additive constant depending only on $s$ at every order. In particular, every chordal graph has clique partition number at most $n^2/6+n/6+O(1)$, answering a question of Erdős, Ordman and Zalcstein. We also prove structural stability for sublinear defect and a sharp finite-order theorem for integer signed clique functionals. The proof combines signed fractional localization with an edge-disjoint triangle construction; only a qualitative fractional-packing approximation is required.

Burson and Eichhorn proposed infinite and finite coefficientwise non-negativity conjectures for products arising from copartitions. We obtain several further results. First, both products admit decompositions into elementary local blocks, and the finite conjecture reduces exactly to its diagonal specialization. The finite conjecture is proved when the first truncation parameter is one or when the two residue parameters are equal. We also prove that every finite product has non-negative coefficients below the third shifted signed exponent. For fixed finite parameters, the coefficient sequence is shown to be eventually quasipolynomial; an explicit period bound, an explicit onset for the quasipolynomial formula, and the leading term on every residue class are obtained. This yields eventual strict positivity, apart from forced odd-degree zeros in one solved diagonal case. For the infinite conjecture, we prove non-negativity under the broader condition $a\equiv b\pmod m$, which includes the known case $a=b$. Finally, for arbitrary $b\mid a$, we improve the uniform initial non-negative range from degrees below $a+m$ to degrees below $a+2m$.

Let $q$ be a prime power, $F=\mathbb F_q(\!(t^{-1})\!)$, $G=\mathrm{SL}_2(F)$, $Γ=\mathrm{SL}_2(\mathbb F_q[t])$, and $K=\mathrm{SL}_2(\mathbb F_q[\![t^{-1}]\!])$, and let $U<G$ be the upper unipotent subgroup. We study right $K$-spherical averages along $U$ on $X=Γ\backslash G$. Expanding translates of compact $U$-orbits and compact-open F$\unicode{x00F8}$lner-ball averages become terminal layers of rooted descendant shadows in the Bruhat--Tits tree. In the even sector, we compute the Haar height law and signed finite-scale discrepancy exactly. This yields $K$-spherical equidistribution for compact-orbit translates and, for irrational boundary endpoints, for F$\unicode{x00F8}$lner-ball averages. For a depth-$N$ shadow rooted at height $k$, with cutoff $M=N-k\ge0$, bounded-profile errors are $O_q(q^{-M})$ in the backward state and $O_q(q^{-M/2})$ uniformly for moving roots, while the shadow law eventually agrees exactly with the Haar law on every fixed finite height window. For $|Φ(2m)|\le Cq^{αm}$, $α<2$, three rate regimes arise, with a linear-in-scale factor at $α=1$ and explicit moving-root dependence. Artin continued-fraction digits eventually encode the cutoff and these rates excursion by excursion through individual digit degrees.

The Bilu--Linial conjecture asks whether every finite $d$-regular graph with $d \geq 2$ admits an edge signing $σ$ whose signed adjacency matrix $A_σ$ has spectral radius at most $2\sqrt{d-1}$. We prove that every signing meeting the mixed-root condition $r_{A_σ}\leq\sqrt{2(d-1)}$ satisfies \[ ρ(A_σ) < \frac{3+\sqrt5}{2}\sqrt{d-1}, \] where $r_{A_σ}$ is the largest root of the mixed determinantal polynomial $χ[A_σ,-A_σ]$. The interlacing theorem of Ravichandran and Srivastava guarantees a signing satisfying the mixed-root condition, so our result improves the coefficient $2\sqrt2$ in their two-sided spectral bound. In the proof, we construct a positive matrix-valued probability measure supported on the roots of $χ[A_σ,-A_σ]$. The second moment gives a simple matrix inequality $A_σ^2 + dI \preceq 4r_{A_σ}^2I$, which yields a preliminary coefficient $\sqrt{7}$. Estimates for the fourth moment use information about short walks to obtain the coefficient $(3+\sqrt{5})/2$. With more graph structural assumptions, the coefficient improves to $\sqrt6$ for triangle-free graphs and to $\sqrt{(5+3\sqrt5)/2}$ for graphs of girth at least five. As a result of independent interest, we extend the construction to $χ[A_1,\ldots,A_k]$ for Hermitian matrices $A_1,\ldots,A_k$ with zero diagonal, and compute the first two moments explicitly. Finally, an explicit signing of $K_8$ shows that the mixed-root condition alone cannot guarantee a coefficient below $(4+\sqrt5)/\sqrt6$.

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

We prove the Colomo-Pronko conjecture for alternating sign matrices with a prescribed square of zeros at a corner, for all matrix sizes and freezing parameters. A known multiple-integral formula for the frozen-corner count yields determinant representations built from fixed polynomial kernels. We relate these kernels to the conjectured determinant through an inverse identity for the commutator of a signed Pascal matrix with reversal. In odd dimension, the comparison uses the one-dimensional nullspace and projection along it to eliminate the central coordinate. Combined with the asymptotic analysis of Colomo and Pronko, our result removes the conjectural assumption from their GUE Tracy-Widom fluctuation theorem for the intersection of the frozen boundary with the main diagonal in uniformly random alternating sign matrices. The finite-dimensional algebraic core of the proof has been formalized in Lean 4.

We introduce the \emph{second order Zarankiewicz number} $z_2(m,n)$ for irreducible doubly simple biquadratic forms with $|E_1|=z(m,n)$, together with the intermediate recursive-line and signed parameters $z_{RL}(m,n)$ and $z_{SL}(m,n)$. They satisfy the unconditional hierarchy \[ \operatorname{BSR}(m,n) \ge z_2(m,n) \ge z_{SL}(m,n) \ge z_{RL}(m,n) \ge z_{wL}(m,n) \ge z(m,n), \] where $z_{RL}$ is defined by the strengthened recursive rectangle criterion $(RW3^+)$ together with the conditions $(S)$ and $C_4$-freeness of $G_1$, and $z_{SL}$ is defined by the signed criterion $(RW3^\pm)$. We show that $(RW3^+)$ is sound and strictly weaker than the literal weak cross-cell test $(W3)$ on the weak-admissible class, and that $(RW3^\pm)$ is likewise sound. At the smallest four-column cases we obtain \[ z_2(5,4)=z_{SL}(5,4)=z_{RL}(5,4)=13>12=z_{wL}(5,4), \] and \[ z_2(6,4)=z_{SL}(6,4)=z_{RL}(6,4)=16>14=z_{wL}(6,4). \] In three columns this yields \[ z_2(m,3)=z_{RL}(m,3)=2m \qquad \text{for all } m\ge 3, \] with strict separation from $z_{wL}(m,3)$ for every $m\ge10$, and exact gap $\lfloor(m-3)/3\rfloor$ for $m\ge16$. Further finite computations give $z_{RL}(5,5)=17$, $z_{RL}(7,4)=19$, and $z_{RL}(7,7)\ge32>28=z_{wL}(7,7)$. Along $N=2p$ with $p$ an odd prime, we obtain the cubic asymptotic separation \[ z_2\!\left(\binom{N}{2},N\right)-z_{wL}\!\left(\binom{N}{2},N\right)\ge \left(\frac{1}{16}-o(1)\right)N^3. \] For the exceptional incidence case $p=3$ we prove $z_{SL}(15,6)=z_2(15,6)=60$. Concurrent work of Chen and Chen, using the recursive-line definition introduced here, incorporates the finite recursive-line values of this manuscript and establishes further exact four-column values together with an eventual formula for all $m\ge15$. The conjectural equality $z_2=z_{RL}$ is supported by the exact two-column, three-column, four-column, and odd-prime incidence families.

Gross, Mansour, and Tucker~[European Journal of Combinatorics, 95 (2021): 103329] introduced the \emph{partial-twuality polynomials} of ribbon graphs. Recently, Deng, Jin, and Yan generalized the partial-twuality polynomials to the framework of matrix algebra and investigated several of their basic properties. They asked whether there exist matrix operations, called partial duality $δ$ and partial Petrie duality $τ$, on pairs $(M,A)$, where $M$ is a square matrix whose rows and columns are indexed by a finite set $V$ and $A\subseteq V$, such that $δ^2=τ^2=(δτ)^3=id$ and the exponent of the partial-twuality polynomials coincides with some parameter of the matrix obtained by applying \(\bullet\) to \((M, A)\). In this paper, we introduce a paired-matrix framework for partial-twuality polynomials over the binary field $\mathbb{GF}(2)$. We prove that there exist two local operations \(δ\) and \(τ\) on \(\bigl((M,I_{|V|}),A\bigr)\) satisfying $δ^2=τ^2=(δτ)^3=id$ and $P_{\langle \bullet \rangle}((M,I_{|V|}),z)=P_{\langle \bullet \rangle}(M,z)$ for $\bullet \in \{δ, τ, δτ, τδ, δτδ\}$, thereby answering their question affirmatively. Finally, we establish a recurrence relation for the partial \(\langleδτδ\rangle\)-polynomial with respect to an edge. This recurrence enables the computation of the partial \(\langleδτδ\rangle\)-polynomial for certain bouquets, simple graphs, and simple signed graphs.

Let $S = (D, σ)$ be a signed digraph, where $D=(\mathcal{V},\mathcal{A})$ is the underlying digraph of $S$ and $σ:\mathcal{A}\rightarrow\{-1,+1\}$ is a sign function. In this paper, we study the adjacency singular values of signed digraphs. We provide a necessary and sufficient condition for the singular values of a digraph to remain invariant under signing. We study rank of signed digraphs and determine signed digraphs with rank one. As an application of this result, we obtain a lower bound for the trace norm of signed digraphs and characterize the extremal signed digraphs.

We study Turán problems for balanced even cycles in simple signed graphs, where signed subgraphs are considered up to switching. For every balanced bipartite signed graph, the signed and ordinary Turán numbers differ by at most a factor of two. Our main structural results concern the underlying graphs that admit a signing in which every $2k$-cycle is unbalanced. We characterize these graphs by the absence of an odd dependence among their $2k$-cycle incidence vectors, give a cohomological formulation, and construct subgraph-minimal obstructions of arbitrarily large order. In particular, there is no finite forbidden-subgraph characterization. We also give an exact closed-walk criterion for cycles in double covers and derive a direct signed breadth-first-search upper bound. As applications, we prove \[ \hex(n,C_{+4})=\left(\frac{\sqrt2}{2}+o(1)\right)n^{3/2} \] and study the signed hexagon number $R_6(n)=\hex(n,\{C_{-3},C_{+6}\})$. We characterize the underlying graphs counted by $R_6$ and express it as an extremal problem for ordinary $C_6$-free graphs with a prescribed involution. For every sufficiently large $n$, we construct examples with $Ω(n^{4/3})$ edges, and we give an equivariant construction attaining the coefficient obtained from the Füredi--Naor--Verstraëte lower bound by double-cover transfer. Finally, we give $n$-vertex $C_{+10}$-free signed graphs with $Ω(n^{6/5})$ edges and use octagon examples to illustrate the limitations of theta-freeness as a signing criterion.

Our main result is a $3\sqrt{2π}$ bound for the Komlós signing problem: every finite family of real vectors of Euclidean norm at most one admits a signed sum of $\ell_\infty$-norm less than this constant, independently of the dimension and the family size. For any $κ\ge0$, if a bounded open convex set supports a probability density with directional total variation at most $κ$ in every unit direction, then its open-set Banaszczyk transform supports another such density with the same $κ$, provided the translation vector $v$ satisfies $κ\|v\|_2\le1/3$. As a consequence, every finite set system in which each element belongs to at most $t$ sets, where $t\ge1$ is an integer, admits a two-coloring whose imbalance in each set is less than $3\sqrt{2πt}$. This gives the square-root dependence predicted by the Beck-Fiala conjecture. The proof was discovered by the Odin Automatic AI Research Agent.

A finite set of unit vectors is $k$-irreducible if every signed sum of between two and $k$ distinct elements has norm greater than one. Let $\mathcal{R}_k$ be the maximal asymptotic rate of such sets, and let $κ(α)$ be the maximal asymptotic rate of spherical codes with pairwise inner products at most $α$. For $k \ge 2$ we show: \begin{align} \mathcal{R}_k \le \min_{1 \le r \le \lfloor k/2 \rfloor} \frac{1}{r} \, κ\!\left(1 - \frac{1}{2r}\right) \, . \end{align} Combining this with standard sphere packing bounds, for large $k$ we obtain an almost-tight asymptotic comparison with the known lower bounds: \begin{align} \left(\tfrac{1}{2}-o(1)\right) \, \frac{\log_2 k}{k} \le \mathcal{R}_k \le (1 + o(1)) \, \frac{\log_2 k}{k} \, . \end{align}

An orthogonal signed graph is a connected signed graph whose signed adjacency matrix has pairwise orthogonal rows. They are closely related to Hadamard matrices, maximal arrangements of equiangular lines, bipartite Ramanujan graphs, and the remarkable resolution of the Sensitivity Conjecture. Orthogonal signed graphs of degree at most 4 have been completely classified, and partial results were known for degree 5. We complete the classification of orthogonal signed graphs of maximum degree 5. We also provide several new infinite families of 6- and 8-regular orthogonal signed graphs.

The theory of combinatorial Hopf algebras is a powerful framework for studying algebraic invariants of combinatorial objects. The aim of this work is to incorporate chromatic invariants of signed graphs into this context. We define the combinatorial Hopf algebra of signed graphs. Through this definition, algebraic invariants already known in the literature arise naturally. Using the antipode, we find new proofs of combinatorial reciprocity results for these invariants. We also study bivariate polynomial invariants, both for classical graphs and for signed graphs.