arXiv++ Combinatorics

We prove that every finite loopless signed multigraph $Σ=(G,σ)$ satisfies $χ'(Σ)\leqΔ(G)+μ(G)$, where $χ'(Σ)$ is its chromatic index, and $Δ(G)$ and $μ(G)$ are the maximum degree and maximum multiplicity of $G$, respectively. This bound is sharp, even when both positive and negative edges are present, and generalizes both Vizing's theorem for ordinary multigraphs and Behr's theorem for signed simple graphs.

Santos asked when intersections of dilated Hadamard simplices with cubes are integral, smooth, or normal, in a prescribed affine lattice. We construct a nonintegral example in dimension eleven and prove that no smaller-dimensional example exists. We characterize smoothness completely and show that every smooth member of this family is normal. An explicit example in dimension fifteen shows that integrality alone does not imply normality. For Sylvester simplices of order at least sixteen, we establish a sharp uniform integrality bound and construct counterexamples immediately below it. We also obtain sufficient normality bounds for general Hadamard simplices and stronger bounds for the Sylvester family. The proofs use integer decomposition for boxes with separated corner cuts and rounding under three signed slab constraints. All numbered results have formal counterparts verified in Lean.

We prove dimension-independent stability for the Courtade-Kumar inequality: a Boolean function $f:\{-1,1\}^n\to\{-1,1\}$ whose information is close to the dictator value is close in probability to a signed dictator. The correlation dependence is sharp in order near zero and, for increasing functions, also at the noiseless endpoint.

We study hyperedge partial duals of finite hypermaps in a purely combinatorial framework, without assuming orientability. A hypermap is represented by three fixed-point-free involutions $(τ_0,τ_1,τ_2)$ on its flag set. We first give an explicit construction of the medial map from this model: $02$-orbits become the medial vertex discs, while $τ_1$-transpositions become the medial bands; a local orientation system and its twist data then provide a signed rotation description of the medial map. We next prove that the state circles associated with a chosen set of hyperedges are in natural bijection with the vertex orbits of the corresponding partial dual, yielding a crossing-total characterization of all Eulerian hyperedge partial duals. For bipartiteness, the twist data lead to a modified medial map in which inserted bars record the obstruction to a global orientation. We prove that a partial dual is bipartite if and only if its dualized hyperedge set is exactly the set of $c$-type hyperedges identified by an all-crossing orientation of this modified medial map. When the hypermap is orientable, these constructions specialize to the known orientable-hypermap results; when every hyperedge has valence two, they specialize to the ribbon-graph results.

In this paper, we define directed partial join graphs with signed couplings and construct discrete-time quantum-walk transition operators for these graphs using the shunt-decomposition framework. The resulting transition operators apply to several important graph families, including complete graphs with loops, circulant partial joins, complete bipartite graphs, tensor powers of complete bipartite graphs, all with signed couplings. For each family, we identify the corresponding structure of the transition operator and derive necessary and sufficient conditions for periodicity and perfect state transfer (PST), when one of the two directed regular graphs admits PST. Based on these results, we identify two types of state transfer; internal PST, which occurs between vertices within the same graph, and coupling PST, which occurs between two components of join graphs. We further develop a double-cover construction for directed partial join graphs and derive conditions for periodicity and PST when the associated transition operators do not necessarily commute. Using this construction, we establish PST results for double covers of complete graphs with loops. In particular, we provide an example in which the complete graph \(K_n\) does not exhibit PST for \(n\geq4\), whereas a suitable partial join of \(K_n\) exhibits PST when \(n=2^m\), \(m\geq2\). Hence, these results extend the class of graph families admitting PST in shunt-decomposition-based quantum walks and provide a unified framework for studying quantum state transfer in graph joins, products, and covers.

Duke's interpolation theorem states that the orientable genera of a connected graph form an integer interval, and Stahl established the corresponding result for nonorientable embeddings. In 1991, Širáň showed that this interpolation property fails for signed graph embeddings: the Euler-genus spectrum of a signed graph may contain gaps. He subsequently asked whether all such gaps must occur at the lower end of the spectrum. In this paper, we establish a characterization of the Euler-genus spectrum of a connected signed graph. We prove that, for each parity class, the Euler genera form a step-two interval. Moreover, whenever both parity classes are nonempty, their maximum elements differ by one. As an consequence, if two consecutive integers $k$ and $k+1$ belong to the Euler-genus spectrum, then every integer from $k$ to the maximum Euler-genus also belongs to the spectrum, thereby answering Širáň's question affirmatively. Our proof uses the pre-signed graph representation of signed embeddings together with ordered adjacent-exchange operations and a matching interpretation of face numbers.

An eigenvalue of a signed graph is called \emph{main} if there exists a corresponding eigenvector non-orthogonal to the all-ones vector. An important result of O'Rourke and Touri (2016) states that almost all (unsigned) graphs have all main eigenvalues. Akbari, França, Ghasemian, Javarsineh, and de Lima (2021) considered main eigenvalues of signed graphs and conjectured that for any unsigned connected graph $G \notin\{ K_2, K_4 - e\}$, there is a switching $\mathbf{s}$ such that all eigenvalues of the signed graph $G^{\mathbf{s}}$ are main. We prove two incomparable asymptotic versions of this conjecture. We show that for any graph $G$ of order $n$, there exists a switching $\mathbf{s}\in\{\pm1\}^n$ such that $G^{\mathbf{s}}$ has $n - O\!\left(\frac{n}{(\log n)^{1/4}}\right)$ main eigenvalues counted with multiplicity. Using a similar proof strategy, we also show that if $G$ has $d$ distinct eigenvalues, then there exists a switching $\mathbf{s}\in\{\pm1\}^n$ such that $G^{\mathbf{s}}$ has $d - O\!\left(\frac{d}{(\log d)^{1/4}}\right)$ main eigenvalues.

We define a signed GLMY chain complex over $\mathbb{R}$ for signed digraphs using sheet-labelled regular paths. The complex is naturally isomorphic to the deck anti-invariant subcomplex of the ordinary GLMY complex on the signed double cover. The double-cover realization yields switching invariance and recovers ordinary GLMY homology for switching-balanced signings. Bidirected completion gives an orientation-independent homology theory for signed graphs. For a signed graph, the zero-dimensional homology identifies with the kernel of the signed Laplacian and has dimension equal to the number of balanced connected components. Signed GLMY homology is functorial under signed weak morphisms, which combine vertex maps with switching functions and allow compatible arrow contractions. For signed digraphs, the all-positive reduction retains the orientation sensitivity of ordinary GLMY homology, while explicit computations show additional sensitivity to the arrow signs. For a fixed digraph with five vertices and nine arrows, we classify all 512 arrow signings and obtain exactly four signed Betti vectors. Precisely 16 signings have nonzero second signed GLMY homology.

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.

We develop an affine $\mathbb F_2$ framework for structured signings of regular graphs. A family-averaging identity converts even spectral moments into parity-weighted closed-walk counts supported on the span of prescribed short even cycles, while a kernel-averaged Ihara identity gives the corresponding decomposition at the non-backtracking level. We give a finite-scale bounded-rank counting estimate and a conditioning corollary showing that, on bicycle-free graph sequences, any parity family of uniformly bounded codimension contains near-Ramanujan signings whenever the corresponding random-signing theorem applies. The latter is a transfer statement rather than a new concentration theorem. Finally, on $C_n(1,2)$ for even $n\ge10$, the quadrilateral-unbalanced family has exactly four switching classes and its twisted classes attain $ρ_-(n)=2\sqrt{\cos^2(π/n)+\cos^2(2π/n)}$; a period-$8$ signing has spectral radius $r_*=2.793604493334841\ldots$ for every positive multiple of $8$. Thus for $n=8m\ge32$ the constrained minimum is strictly larger than a value attained by an unrestricted signing, while equality of $r_*$ with the unrestricted minimum remains conjectural.

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

The multiplication operator of an idempotent in a metrized commutative nonassociative algebra is a self-adjoint linear endomorphism whose spectrum reflects the algebraic and geometric structure encoded in the algebra. Although for general algebras the spectra of idempotents can behave arbitrarily, for the most interesting classes -- among them algebras of Clifford and Jordan type arising in geometry -- the spectrum is highly constrained. We consider a family of algebras determined by a partial Steiner triple system (PSTS) with blocks decorated by signs, each block determining an idempotent; even for the simplest PSTS the resulting algebras can be quite complicated. For decorations of the Grassmannian PSTS $G_2(m)$, whose blocks are $3$-subsets of an $m$-element set and whose points parametrize an underlying incidence geometry, the spectra behave rigidly: the spectrum with multiplicity of a block idempotent is a function of a single combinatorial parameter, the number of negatively signed Pasch configurations -- quadrilateral subconfigurations -- containing the block. The resulting block spectra organize into a spectral profile, recovered by binomial inversion from a hierarchy of moment invariants. For a distinguished family of decorations, the associated algebras are axial algebras satisfying a fusion law independent of $m$, and for these algebras there is given an alternative explicit matrix model exhibiting the rigidity directly; the even part of this model is a direct sum containing a polar algebra summand, linking the construction to polar algebras and symmetric Clifford systems.

We give explicit positive formulas for Chapoton's $q$-Zeta numerators of the Ferrers-cell posets $F_{\mathbf b}=\{(i,c):1\leq i\leq r, i\leq c\leq b_i\}$, where $b_1\geq\cdots\geq b_r\geq r$, and for every interval of their minimum-augmented lattices. A constructive signed EL-labelling expresses the numerator as a descent enumerator over boundary-admissible path words. A finite transfer-matrix recursion recovers the full multivariate descent-set polynomial. For trapezoidal boundaries, Gaussian-binomial formulas describe every interval and every $t$-slice. At $q=1$, a Jacobi-polynomial transform gives simple negative zeros, strict fixed-offset interlacing, and an explicit arcsine push-forward limit. We also obtain algebraic fixed-offset generating functions and the growth rate $(1+\sqrt t)^2$ for $t\geq0$. The standard positive-root posets of types $A_r$, $B_r$, and $C_r$ are specializations, graded by root height minus one with Chapoton's fixed denominator. For types $B_r$ and $C_r$, this yields all-rank coefficientwise positivity, the reversed-ballot formula, the specialization $[t^k]\mathbb{H}_{P_r,\operatorname{rk}}(1,t)=\binom{r-1}{k}^2$, and sharp slice degrees with unique leading monomials. The main results of this paper were obtained through a generative-AI workflow using OpenAI GPT-5.6 Sol, Anthropic Claude Fable 5, and Grok 4.6. OpenAI GPT-6 Astra was used for subsequent proof and citation review and manuscript revision. Further details appear in the disclosure at the end of the paper.

We show that for $n \geq 6$ each element of the commutator subgroup in the symmetric group $\mathfrak{S}_n$ resp. in the signed symmetric group $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is the commutator of two $n$-cycles resp. the commutator of two $n$-cycles with a negative sign product; with one exception. If $n \equiv 2$ $\mathrm{mod}~4$, the element $-\mathrm{id}$ of $(\mathbb{Z}/2\mathbb{Z})^n\rtimes\mathfrak{S}_n$ is not such a commutator. In the language of Coxeter groups, this yields a description of commutators of Coxeter elements in types $A$ and $B$.

We prove that every idempotent Schur multiplier is a finite signed sum of contractive idempotent Schur multipliers. This was conjectured by Katavolos and Paulsen in 2003 and previously known only for translation-invariant Schur multipliers, by the Cohen-Host idempotent theorem. Concretely, we show that any boolean matrix $A$ with Schur multiplier norm at most $γ$ (or equivalently $\lVert A\rVert_{γ_2} \le γ$) can be written as \[ A=\sum_{i=1}^{L}σ_i B_i,\] where $L\leq 2^{Cγ^6}$ for an absolute constant $C$, $σ_i\in\{-1,1\}$ are signs, and each $B_i$ is a contractive idempotent Schur multiplier, that is, a boolean matrix whose $1$-entries form a union of all-one rectangular blocks, with no two blocks sharing a row or a column. As observed by Carenini, a key lemma in our work yields a new proof of the Cohen-Host theorem and gives a simple proof of the quantitative refinements of Green-Sanders and Sanders, with improved bounds. We include a self-contained exposition of these results in the case of finite groups.

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$. Suppose a token is placed on each vertex of $I$: 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 $\mathsf{PSPACE}$-complete on general graphs, polynomial-time algorithms for one or both variants have been developed for several graph classes, including trees, block graphs, 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,T>0$ such that $|a(v)|< \min\{S,T\}$ for all $v \in V$, and 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$. More generally, we also show that Token Jumping can be solved in time $n^{O(\mathcal{D}(G))}$, where $\mathcal{D}(G)$ denotes the Dilworth number of $G$. Thus, Token Jumping belongs to $\mathsf{XP}$ when parameterised by the Dilworth number. 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).

Xavier and Yushi run a "random race" as follows. An atomless probability distribution $μ$ on the real line is chosen. The runners begin at zero. At time $i$ Xavier draws $\mathbf{X}_i$ from $μ$ and advances that distance, while Yushi advances by an independent drawing $\mathbf{Y}_i$. After $n$ such moves, what is the probability that Yushi led all the way? That the answer (namely, $4^{-n}\binom{2n}{n}$) is independent of $μ$ follows from a classical theorem of Darling, stating that for symmetric atomless increments, the distribution of each individual rank in the permutation obtained by ranking the partial sums is independent of the step law. We give a self-contained proof and extend the result to the permutations generated by partial sums of uniformly random signed permutations of any fixed, finite, generic set of reals. For atomless increments with mean zero and finite variance, without assuming symmetry, we show that random-walk permutations approach a random object that we call the "Wiener permuton," whose expected pattern densities equal the probabilities of the corresponding permutations generated by finite random walks with centered Laplace increments. Finally, we exhibit an infinite family of constructions whose limiting permutons interpolate between the Wiener permuton and the recursive separable permuton; each has the same intensity permuton, providing a single two-dimensional extension of the classical arcsine law for all of them.

We prove two main algorithmic results in spectral discrepancy. First, we give a deterministic polynomial-time rounding theorem for rational positive semidefinite matrices of arbitrary rank. The algorithm starts from any rational fractional signing and assigns one sign per original matrix. Its discrepancy is less than $3.37\,\|\sum_i \mathrm{Tr}(A_i)A_i\|^{1/2}$. This yields Kadison--Singer half-partitions with error below $1.69\sqrt{\varepsilon}$, as well as deterministic graph signings that control signed adjacency and signed degrees simultaneously. The proof builds on the spectral-potential method of Ezeunala and Jiang (2026) and introduces a new way to choose rounding directions. We prove polynomial bit complexity for the rounding procedure. Second, we give a Las Vegas algorithm for the Bilu--Linial signing problem on an arbitrary prescribed graph. If $G$ has $n$ vertices and maximum degree $Δ\ge3$, the algorithm terminates almost surely. It uses fewer than $100n^3$ insertion attempts in expectation and returns a signing with $\|A_s\|<2\sqrt{2(Δ-1)}$. For bipartite graphs its one-sided form gives the sharp universal bound $\|A_s\|<2\sqrt{Δ-1}$. The algorithm builds the signing by inserting vertices and recursively deleting and restoring neighbors after rejected insertions. In the analysis, the $\sqrt2$ gap to the Bilu--Linial conjecture comes from a factor of two in the bound for vertex deletions in the two-sided case. On a $d$-regular bipartite Ramanujan base the same signing produces a Ramanujan $2$-lift of that prescribed base.

Signed difference sets (SDSs) extend ordinary difference sets by allowing negative coefficients. We establish new nonexistence criteria and existence constructions for SDSs in finite abelian groups. Using the classical self-conjugate-prime method and a support-refined quotient method, we derive four obstructions, including the $C_2$-quotient, near-full-support, and small-defect obstructions. Applied cumulatively to the $67{,}823$ open group-specific cases in the database with $9\leq v\leq499$, these criteria rule out $45{,}361$ cases. For existence, we construct an infinite family from PCP-type regular partial difference sets arising from Desarguesian spreads and an explicit $(125,28,3)$-SDS in $C_5^3$ using quartic multiplicative characters. These constructions settle three further open cases.

Makeev [2] stated that every finite Borel measure in $\mathbb R^d$ assigning zero mass to hyperplanes can be cut by $d$ mutually orthogonal hyperplanes so that every pair divides the measure into four equal parts, and outlined a proof strategy, but the key steps were left incomplete. We give a direct and elementary proof. The main ingredient is a Borsuk--Ulam theorem for $O(k)$: every $B_k$-equivariant map from $O(k)$ to a natural representation of the hyperoctahedral group $B_k$ has a zero. An explicit model map has one free orbit of zeros, consisting of the signed eigenbases of a diagonal operator with simple spectrum. A derivative computation and mod-$2$ equivariant degree complete the proof. This is a self-contained proof of a special case of the general Stiefel-manifold theorem in [5].