arXiv++ Combinatorics

Conlon and Lee asked for strongly dominating graphs beyond norming graphs and even paths. We construct a two-parameter family of pairwise non-isomorphic $2$-connected strongly dominating graphs that are not seminorming, and hence lie outside the two classes of examples previously identified for signed strong domination. The construction uses cyclic amalgamation of two-rooted blocks. For root-reversible blocks, we characterize the generation of all even cyclic amalgams by local even-Schatten inequalities for transfer operators. We determine this criterion for $K_{2,m}$, with the roots in the part of size $m$: it holds exactly when $m$ is even. We also classify the connected outerplanar strongly dominating graphs and the connected root-reversible outerplanar blocks satisfying the universal cyclic criterion.

WOW-284 asserts that the minimum dual degree of every connected graph of order at least three and girth at least five does not exceed the negative of its least distance eigenvalue. We refute it with exact counterexamples of orders $38,39,40,42$, and $50$, and develop a structural theory of the failure. For a connected $k$-regular graph of girth at least five and diameter three, we prove $δ^*(G)+λ_{\min}(D(G))=2k-2-\max_{θ\ne k}(θ+1)^2$. Here $θ$ ranges over the nonprincipal adjacency eigenvalues. We further prove that every regular strict counterexample has degree at least six and diameter at most four, while diameter four forces degree at least ten. We solve the associated one-variable nonbacktracking linear program exactly, including optimizer rigidity. For regular strict counterexamples of diameter three, the optimizer yields a positive-semidefinite slack matrix whose integral excess gives the stronger bound $|V(G)|\le\left\lfloor 3(k+2)^2(k^2+3)/(18k+41)\right\rfloor$; this follows from a three-to-one quantization theorem for the integral excess. The slack matrix's principal minors also recover local cycle constraints. In particular, regular degree-six counterexamples have order at most $50$, and at the degree-six, order-$50$ boundary the associated signed complement is necessarily disconnected. We determine the distance spectra of one- and two-vertex punctures of Moore graphs and establish a uniform deletion-stability bound: every deletion of at most five vertices from the Hoffman--Singleton graph remains a strict counterexample, whereas an explicit six-vertex deletion does not. All theorem-level computations use exact arithmetic. Lean 4.31 kernel-checks the explicit $50$-vertex Hoffman--Singleton counterexample at graph level, finite spectral certificates at orders $38,39,40,42$, and the analytic LP optimum and rigidity for every integer $k\ge4$.

We study the triple-invariant algebra \[ \Bbbk[\Bbbk^3\otimes\Bbbk^2\otimes\Bbbk^2]^{U_3\times U_2\times U_2}. \] A quotient slice and the induced logarithmic top form determine a signed Markov chart, realized as the fiber $ζ=-1$ of an ordinary cluster family. We prove \[ \mathscr U_{\mathrm{gen}}=\mathcal M_u[u_Δ], \] where $\mathcal M_u$ is a specialized middle cluster algebra and $u_Δ$ is the discriminant of weight $(220;22;22)$. Its theta cone has a sixteen-element Hilbert basis. Pairing its positive- and negative-degree generators reduces each triple-weight space to a single discriminant level determined by the weight. Counting the resulting two-dimensional slice gives an explicit nonnegative finite-sum formula. Determinant reduction extends the formula to all $n\times2\times2$ Kronecker coefficients.

The spherical random geometric graph $G(n,d,p)$ is obtained by sampling $n$ independent points uniformly on the unit sphere $\mathbb{S}^{d-1}\subseteq\mathbb{R}^d$ and joining pairs of points which are sufficiently close, where the threshold is chosen so that the edge probability is $p$. The central question related to this model, and to a broad class of other models, is the following: when does the underlying geometry affect the resulting graph in a way which makes it distinguishable from the Erdős--Rényi random graph $G(n,p)$, as measured in total variation distance? The precise answer to this question was conjectured by Bubeck, Ding, Eldan, and Rácz, who predicted that $G(n,d,p)$ and $G(n,p)$ are indistinguishable precisely when $d \gg n^3p^3(\log p^{-1})^3$, and provided a test for distinguishing these models in the low-dimensional regime. Although this conjecture attracted considerable attention from researchers in probability, theoretical computer science, and high-dimensional statistics, it was previously fully proved only in the constant-density case. In this paper, we resolve the distinguishability conjecture in the broad range $1/3 \geq p \geq n^{-1/5} \text{polylog}(n)$. The key ingredient of our proof is a stronger statement which gives a precise asymptotic formula for the probability that $G(n,d,p)$ realizes a prescribed graph $H$: above the conjectured threshold, this probability is at most $(1+o(1))$ times the corresponding probability for $G(n,p)$, with the signed triangle count of $H$ appearing as the leading correction term.

Let $\mathrm{IMS}_n(m)$ denote the number of $n\times n$ nonnegative integer matrices whose row sums, column sums, and two main diagonal sums are all equal to $m$. We determine the Ehrhart series $F_7(q)=\sum_{m\ge 0}\mathrm{IMS}_7(m)q^m$ as a reduced rational function. The denominator has degree $373$ and cyclotomic factors of order at most $15$; the numerator is a palindromic polynomial of degree $366$ with nonnegative integer coefficients. Using the SimpCone decomposition, the associated polytope is represented as a sum of $166$ million signed simplicial cones. The LRQC evaluator computes their generating functions over finite fields; a typical cone requires only one or two quotient characters, and the cost per character is nearly linear in the truncation degree $T$. An explicit common denominator together with Ehrhart reciprocity reduces the rational reconstruction to the prefix up to $T=1256$, while an explicit counting bound supplies the coefficient bounds needed for deterministic lifting from the prime fields to $\mathbb Z$. This prefix is independently computed for the whole cone family in eight prime fields. Exact Chinese remaindering lifts the verified residues to equality over $\mathbb Z$, the finite-prefix criterion proves the rational identity, and exact polynomial gcds prove that the displayed denominator is reduced.

An eigenvalue of the signless Laplacian $Q(G)$ is $Q$-main if its eigenspace is not orthogonal to the all-ones vector. We characterize graphs with exactly $\ell\ge3$ $Q$-main eigenvalues, one of which is zero. The case $\ell=3$ reduces to non-semiregular bipartite graphs satisfying a vertexwise signed degree-sum identity. For each integer $k\ge0$, we construct infinitely many pairwise nonisomorphic graphs of cyclomatic number $k$ and unbounded diameter, all with exactly three $Q$-main eigenvalues including zero. These families provide counterexamples to the stated classifications of trees, unicyclic graphs, and bicyclic graphs of Javarsineh and Fath-Tabar.

A feedback vertex set of a graph is a set of vertices whose deletion leaves a forest. In 2016, Dross, Montassier, and Pinlou conjectured that every planar graph $G$ of girth at least $g$ admits a feedback vertex set of size at most $e(G)/g$. In this note, we confirm this conjecture by connecting this problem with signed graphs. The frustration index of a signed graph $(G,Σ)$ is defined as the minimum number of negative edges among all signatures on $G$ that are switching-equivalent to $Σ$. Equivalently, it is the minimum number of edges whose deletion results in a balanced subgraph of $(G,Σ)$. We show that the minimum size of a feedback vertex set of a planar graph is bounded above by the maximum frustration index over all signatures of the graph, and thereby provide a tight upper bound on the size of the minimum feedback vertex set, which resolves the conjecture of Dross, Montassier, and Pinlou (2016).

For the circulant graph $C_n(1,2)$ with $n\ge10$ even, the $\F_2$ system requiring every quadrilateral to be unbalanced is consistent and its solutions form exactly four switching classes. We show that the class containing the signing which is $+1$ on step-$1$ edges and $(-1)^i$ on step-$2$ edges has spectrum $\{\pm2\sqrt{\cos^2θ_k+\cos^2 2θ_k}\}$ and spectral radius exactly $2\sqrt2$, well below the Kesten bound $2\sqrt3$; that the quadrilateral system is equivalent to alternating triangle fluxes, so that the four classes are coordinatized by $(τ_0,α)$ and the spectral radius depends only on the Hamilton-cycle holonomy $α$; and that the two twisted classes attain $ρ_-(n)=2\sqrt{\cos^2(π/n)+\cos^2(2π/n)}<2\sqrt2$. Exhaustive enumeration of all $2^{n+1}$ switching classes for $n\in\{8,10,12,14,16,18\}$ shows that $ρ_-(n)$ is the global minimum in every case, and we conjecture this for all even $n$; the lower bound is a flux-minimization statement in the sense of Lieb's flux-phase theorem. For odd $n$ the quadrilateral system is inconsistent.

Signed enumerations of l-regular partitions by the parity of the number of parts are known to correspond to partitions with congruence conditions. Inspired by the recent combinatorial approaches of Ballantine-Merca and Liu for such identities, we provide combinatorial proofs of three identities for l-regular partitions and their variants. Two of these were originally established analytically by Hickerson and Robbins, respectively.

Let $D_n$ be the disjointness graph on the nonempty subsets of $[n]$, whose independent sets are exactly the intersecting families on $[n]$. We study the weighted independent-set polynomial $W(n)=\sum_F\prod_{S\in F}w(S)$, the sum running over these families, for the doubly exponential weight $w(S)=2^{2^{n-|S|}}-1$. The kernel-bearing (trivial) part $Z_\cap(n)$ is exact by inclusion-exclusion and satisfies $Z_\cap(n)\sim n\cdot 2^{3^{n-1}}$. For the kernel-free remainder we prove the exact prefactor $R(n)=(3/4+o(1))n\cdot 2^{3^{n-1}-2^{n-1}+2}$, whence $\log_2(Z_\cap(n)/R(n))=2^{n-1}-2+\log_2(4/3)+o(1)$, an additive $o(1)$, not merely a leading-order one. The engine is a second-level extremal theorem: among kernel-free maximal linked systems other than the $n$ one-flip stars, the largest weight exponent is $3^{n-1}-3\cdot 2^{n-2}+6$, a fixed gap $2^{n-2}-4$ below the maximum, with the extremisers classified exactly. None of this is special to the weight: for $w_B(S)=B^{B^{n-|S|}}-1$ with integer $B\ge 2$ the same stars dominate, the near-extremal families sit a gap $B^{n-2}-B^2$ below, and the prefactor is $1-B^{-B}$. The combinatorial input is the $p$-biased extremal problem for non-trivial intersecting families: $M_2(n,p)=p-pq^{n-1}+qp^{n-1}$ for all $n\ge 3$, $0<p\le 1/2$, $q=1-p$. This first level is essentially known: the extremal family is the Wheel coterie of Peleg and Wool, and at $p=1/Q$ the statement, with its maximiser classification, is the case $r=n$ of Borg's Hilton-Milner theorem for signed sets (2013). We give a short self-contained Erdős-Ko-Rado proof, uniform in real $p\in(0,1/2]$, whose layer-two rigidity feeds the second level. The novelty claimed lies at the second level and in the prefactor, where the classification cannot be read off the layer profile alone: at $n=5$ one profile carries two non-isomorphic types of extremisers.

It is conjectured that every idempotent Schur multiplier can be written as a finite sum of contractive idempotents. This conjecture is equivalent to the statement that any boolean matrix $A$ with factorization norm $\lVert A\rVert_{γ_2}$ at most $γ$ can be expressed as a signed sum $$A = \sum_{i=1}^L \pm B_i,$$ where, up to permutation of rows and columns, each $B_i$ is a blow-up of an identity matrix, and $L$ depends only on $γ$. In this note we show that if $A$ is an $n\times n$ boolean matrix with $\lVert A\rVert_{γ_2} \le γ$, then it admits such an expression with $L = 2^{O(γ^9) + \log^*\! n}$, where $\log^*$ is the iterated logarithm function. As an application, any sequence of matrices with bounded factorization norm belongs to the complexity class $\mathrm{P}^\mathrm{EQ}$ of communication problems with polylogarithmic equality-oracle complexity.

Strongly regular signed graphs are an extension of strongly regular graphs to the realm of signed graphs, that is, graphs where each edge is positive or negative. Unlike with ordinary strongly regular graphs, most kinds of signed counterparts with girth 4 or higher are describable in terms of known structures. We prove that those with girth 4 that are bipartite are classified by designs of two kinds: weighing matrix designs and symmetric block designs. Those of girth 5 are few and readily described. There are none of higher girth. Those with girth 4 that are not bipartite are unsolved.

The Token Jumping and Sliding Token problems are fundamental reconfiguration problems defined on the independent sets of an undirected graph. Given two independent sets $I$ and $J$, each of size $k$, these problems ask whether there exists a sequence of elementary operations transforming $I$ into $J$ such that every intermediate configuration is also an independent set of size $k$. In Sliding Token, an operation moves a token from a vertex $u \in I$ to an adjacent vertex $v \notin I$; in Token Jumping, the token may instead move to any vertex $v \notin I$. While both problems are PSPACE-complete on general graphs, polynomial-time algorithms have been developed for several graph classes, including trees, block graphs, cacti, bipartite permutation graphs, cographs, $P_4$-tidy graphs, and interval graphs. In this paper, we prove that both problems are solvable in polynomial time on threshold signed graphs, also known as Dilworth-2 graphs. A graph $G=(V,E)$ is a threshold signed graph if there exist a mapping $a:V\to\mathbb{R}$ and positive real constants $S$ and $T$ such that, for any distinct vertices $u,v\in V$, $\{u,v\}\in E$ if and only if $|a(u)+a(v)|\ge S$ or $|a(u)-a(v)|\ge T$. This graph class is a subclass of permutation graphs, for which the complexity of these problems remains open, and is incomparable with the class of bipartite permutation graphs studied by Fox-Epstein et al. (ISAAC, 2015). The algorithm is based on the inclusion-chain structure that characterises threshold signed graphs, a structural property that may be of independent interest.

We prove a divisibility theorem for the signed $J$-characteristics of two-level designs: if the number of factors $n$ is odd and every $J$-characteristic of a proper odd-cardinality subset of factors vanishes, then the top $J$-characteristic is divisible by $2^{n-1}$. As an arithmetic consequence, any two-level design whose $J$-characteristics vanish in orders one, two, three, five, and seven but which has a nonzero odd-order $J$-characteristic must have at least $256$ runs. This settles, uniformly in the number of factors, a conjecture of Eendebak, Schoen, Vazquez, and Goos (2023) on the nonexistence of certain strength-three even--odd designs with $56$ or $64$ runs. The divisibility bound is sharp at every odd order and is attained by the even-weight half-fraction.

We study when, and how compactly, a finite connected graph (G) embeds isometrically into a Cayley graph of a finite abelian group. The classical theory of partial cubes answers this for isometric subgraphs of hypercubes through the Djokovic-Winkler relation (θ); we extend the question to the full family of abelian Cayley graphs, whose hosts may carry composite generators and cyclic factors of any order. We introduce an involutive edge relation (\varphi), defined by two simultaneous distance equalities, which coincides with (θ) exactly on partial cubes and remains informative beyond them, together with an oriented relation (Φ) for non-involutive hosts, where generator classes are constrained to be partial permutations rather than matchings.The central result is a quotient labeling theorem: for any partition of the edge set into candidate generator classes, the most generic consistent vertex labeling is the quotient of the free module on the classes by the lattice of signed cycle-class incidences, computed by the Smith normal form; the binary case is its reduction modulo two. We prove that the finest partition always yields an isometric labeling, that compactifying the resulting universal group is itself an instance of the same quotient construction, and that the whole construction is algorithmic and certifiable. Worked examples include the triangle, the Petersen graph (embedding into the Clebsch graph of order 16), the Pappus graph (a 1024-fold compaction), and the diamond (a non-diagonal fold). Sharp dimension bounds and an exhaustive census of small graphs are developed in a companion paper. 2020 MSC: 05C12, 05C25, 20K01, 05C50

Let \(q\) be an odd prime power and let \(V=\F_q^{2m}\), equipped with \(Q(x)=x_1^2+\cdots+x_{2m}^2\). We develop a semidefinite Delsarte framework for the two-set Erdős--Falconer distance problem over \(V\). The framework reduces the natural \(q^m\)-scale positive-proportion theorem to a uniform \(L^1\) anti-concentration statement for positive convex combinations of classical Kloosterman sums. Assuming this Kloosterman anti-concentration conjecture, we prove that for every \(0<α<\frac{1}{2}\) there is a constant \(C_{m,α}\) such that \[ \min\{|E|,|F| \} \ge C_{m,α}q^m \quad\Longrightarrow\quad |Δ_Q^\times(E,F)|>α(q-1) \] for all \(E,F\subset \F_q^{2m}\). More generally, a \(q^{-θ}\)-level version of the Kloosterman input yields the geometric threshold \(q^{m+θ}\). In particular, a universal second-moment argument gives an unconditional \(q^{m+\frac{1}{2}}\)-threshold through the same framework. The proof uses positive semidefinite \(2\times2\) Gram matrices on quadratic frequency shells, the shell Fourier transform in even dimension, and a minimax separation argument that produces a uniform signed combination of Kloosterman columns. We also provide evidence for the Kloosterman conjecture and discuss limitations near full support.

This note aims to provide a direct combinatorial proof of the Gessel--Reutenauer--Wachs formula for $q$-derangement numbers in the setting of decorated permutations, without using the $q$-binomial inversion formula. Decorated permutations, introduced by Postnikov in his study of the totally nonnegative Grassmannian, provide a natural framework for Chen's signed fixed-point model. Our proof is based on a major-index generating function for decorated permutations with a fixed number of signed fixed points, together with a sign-reversing and descent-set-preserving involution, thereby answering a question raised by Chen. This involution was discovered through human--AI collaboration.

We introduce the microscopic weighting, a canonical signed measure of mass one that can be associated to almost any finite metric space. The microscopic weighting is obtained as the small-scale limit of the weightings used to define the magnitude function. We give general criteria for its existence, proving in particular that every finite space of strictly negative type admits a microscopic weighting; this includes every finite subset of Euclidean or hyperbolic space and every finite tree. Heuristically speaking, the microscopic weighting distributes its mass as widely as possible across a space, assigning greater weight to sparse or outlying regions and emphasizing points on the boundary. Indeed, we show that on a finite space of negative type the microscopic weighting can be characterized (when it exists) as an optimizing measure for an energy integral determined by the distance function. Alternatively, it can be characterized in terms of the geometry of the Schoenberg embedding. Each of these interpretations also clarifies the information carried by the derivative of the magnitude function at zero. Though our main focus in this paper is on finite metric spaces, we lay the groundwork to extend the theory to compact subsets of Euclidean space. In that setting, we observe that the microscopic weighting must be understood as a distribution rather than as a measure.

Mineyev's taiko construction, in Garg--Mineyev's finite support-size formulation, gives a concrete route from finite support data to zero divisors and units in group rings of torsion-free CAT(0) groups over $\mathbb{F}_2$. We prove that this triple-girth product-structure route is globally closed: no product structure, even or odd, with support sizes $m,n\ge2$ admits a coherent orientation for which the no-fold and triple-girth conditions both hold. Consequently the Garg--Mineyev triple-girth product-structure assembly route produces neither zero-divisor nor unit counterexamples over $\mathbb{F}_2$ for any such support-size pair. The obstruction is structural, not a bounded-search artifact. High middle-link girth forces signed colors into a balanced near-disjoint rectangle decomposition of the board, with the single odd defect omitted. The product identity, pressure inequalities, Fisher inequalities, and a dual Fisher bound force the middle link to have girth $4$ or $6$; in the girth-six case, the minimum of the two horizontal-link girths is at most $5$. This dichotomy rules out every triple-girth branch. A weighted dual Fisher inequality and an exact finite certificate sharpen the frontier: if the middle link has girth $6$, the horizontal girth is at most $4$, and characteristic-two affine-plane constructions attain equality. Thus the Garg--Mineyev finite failures reflect a structural barrier in the taiko geometry itself. The finite certificate is used only for this sharper frontier, not for the no-$T_4$ obstruction.

The Bilu-Linial conjecture asserts that every $d$-regular graph admits a signing $σ$ such that the spectral radius of the signed adjacency matrix $A_σ$ satisfies $ρ(A_σ)\le 2\sqrt{d-1}$. Bilu and Linial also proved the weaker bound $O(\sqrt{d\log^3 d})$ for graphs of maximum degree $d$. Marcus, Spielman, and Srivastava confirmed the conjecture in the case of $d$-regular bipartite graphs. In this paper, we prove that every graph of maximum degree $d$ has a signing $σ$ such that $$ρ(A_σ)\le 2\sqrt{3(d-1)}.$$ This removes the polylogarithmic factor from the estimate of Bilu and Linial and gives an explicit $2\sqrt{3(d-1)}$ two-sided spectral bound. The proof builds on the method of interlacing polynomials introduced by Marcus, Spielman, and Srivastava, together with results on mixed characteristic polynomials established by Marcus, Spielman, and Srivastava and by Bownik.