math.CO ↗ arXiv
7121 papers in this category
Stability conditions and subdivisions of Lawrence polytopes
Let $X$ be a nodal curve, and $G$ be the graph dual to $X$. A stability condition on a graph $G$ is an assignment of integers to the biconnected subsets of vertices of $G$ satisfying some desired properties. Stability conditions yield degeneracy sets, which are certain collections of biconnected subsets of $G$, but degeneracy sets can also be described without a reference stability condition. We show that the degeneracy sets of a graph $G$ correspond to the single-element extensions of the graphic matroid $M(G)$. Some single-element extensions of the graphic matroid $M(G)$ can be oriented to be single-element extensions of the oriented graphic matroid $\mathcal{M}(G)$. Single-element extensions of oriented matroids are in bijection with subdivisions of the Lawrence polytope of the dual oriented matroid. We construct stability conditions on $G$ from subdivisions of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Finally, we show that any degeneracy set $\mathcal{D}$ of a graph $G$ that has the set of all biconnected subsets of $G$ as a lower bound in the poset of degeneracy sets corresponds to an orientable extension of $M(G)$.
Seven Coincidences and Sixty Symmetries
Motivated by John Baez's question about seven exceptional coincidences among binomial coefficients, we construct seven exterior-power identities for representations of $A_5$. Their common symmetry comes from simplex edges and icosahedral vertices, axes, and faces, together with characters of stabilizers. We enumerate all ordered pairs of representation isomorphism classes in the prescribed dimensions. Apart from the pair of trivial actions, the permutation pair at $1540$ and the complex monomial pair at $7140$ are unique. At $3003$, Klein's twelve-point divisor gives a noncanonical intertwiner factored through polynomial division, differentiation, and residues.
Negative Correlations for Forests and the $q<1$ Random Cluster Model
We study negative edge correlation for two well-known models in statistical physics, the arboreal gas and the $q < 1$ random-cluster model. We show that after the edges $e$ and $f$ are removed, their Rayleigh difference is a crossing contribution minus the covariance of two endpoint-connectivity events. For the arboreal gas on an arbitrary finite graph, we analyze the two leading coefficients of this difference. The first is the classical transfer-current square. If it vanishes, the second has an electrical sum-of-squares formula. This proves negative edge correlation at sufficiently large fugacity whenever one of the two leading coefficients of the Rayleigh difference is nonzero, and characterizes simultaneous equality by an equipotential decomposition. For the random-cluster model on the complete graph $K_n$, we prove negative edge correlation throughout $q<1$ when all edge weights are at least $2$. In the uniform case, we prove something stronger:negative correlation holds when all the weights are equal and at least $1$. In particular, distinct edges in a connected spanning subgraph of $K_n$, weighted by a fixed fugacity, are negatively correlated for every $n$. We also explore what seems to be a general phenomenon: positive correlation of connectivity events. For the arboreal gas, we prove positive correlation for connectivity events at high fugacities. On lattices, the conjectured inequality would make the two-point function supermultiplicative and produce a convex inverse correlation length. Exact computations support the graph and matroid conjectures, including the Seymour--Welsh matroid $\mathcal S_8$, where ordinary edge-negative correlation fails. The results in this paper were derived by the authors without the use of Large Language models. The authors did benefit from using GPT-5 Pro for generating code to test out hypotheses as well as for simplifying the arguments.
The Algebraic Connectivity and Laplacian Spectral Radius of Token Graphs
For a graph $G=(V,E)$ of order $n$ and an integer $k$ between $1$ and $\lfloor\frac{n}{2}\rfloor$, its token graph $F_k(G)$ is the graph whose vertices consist of the $\binom{n}{k}$ $k$-subsets of $V$, and two vertices of $F_k(G)$ are adjacent whenever their symmetric difference is an edge in $E$. It was found that the algebraic connectivity of a graph is greater than or equal to that of its token graph, while the Laplacian spectral radius of a graph is less than or equal to that of its token graph. Moreover, a conjecture that the algebraic connectivity of a graph coincides with that of its token graph has been proved by using the theory of continuous Markov chains of random walks.
In this paper, we derive some results about the algebraic connectivities of a graph and the same graph after adding new edges and their token graphs to obtain a combinatorial/algebraic proof. Besides, we provide some conditions under which the Laplacian spectral radius of a graph is less than that of its token graph. Finally, we characterize the graphs that have the same Laplacian spectral radius as their token graphs, including trees.
Magnitude of module categories and special biserial algebras
Børve, Horiatakis, and Kalck defined the magnitude of the module category of a representation-finite algebra as the sum of the entries of the inverse of the matrix of Hom dimensions between indecomposable modules. They showed it is an Euler characteristic, the alternating count of vertices, arrows, and meshes of the Auslander--Reiten quiver, and conjectured that it is at least the number of simple modules, with equality precisely for special biserial algebras. We prove this conjecture over an algebraically closed field. For a representation-directed algebra, we relate the magnitudes of the module category, the subcategory of modules without a given simple composition factor, and the ideal quotient by it. By the theory of hammocks of Ringel and Vossieck, this quotient is equivalent to a category of representations of a finite poset, whose magnitude we compute. The general case reduces to the representation-directed case through algebras obtained by grading a standard form.
Optimal discrepancy for triangles
We prove that every $n$-point set in the plane has a two-coloring with discrepancy $O(n^{1/4})$ for all triangles. This improves the previous bound $O(n^{1/4}\sqrt{\log n})$ and matches the classical lower bound.
The classical limit of the Magnus expansion
We uncover a connection between the classical limit of the Magnus expansion in quantum field theory and the Malvenuto-Reutenauer Hopf algebra of permutations. We study a cubic scalar theory describing a massive particle coupled to massless scalar quanta, which captures the propagator structure relevant to classical scattering in gravity and scalar QED. Using a Schwinger parametrisation of the massive propagators, we compute the classical limit of Magnus amplitudes at tree level in this theory. First, we prove that all hyperclassical contributions cancel at the level of the Schwinger proper-time integrand, before integration. Then, we show that the classical Magnus amplitude precisely matches expectations from worldline quantum field theory. Both results rely on cancellations of disconnected diagrams which we relate to the Hopf algebra, specifically to the action of the adjoint first Eulerian projector, which annihilates the shuffle products associated with disconnected contributions. Moreover, the worldline diagrams include generic directed-tree topologies, whereas the field-theory diagrams only include directed chains. The correspondence we establish between the two therefore leads to a new formula for generic Murua coefficients in terms of simpler directed chain coefficients. Finally, we observe a suggestive connection between Magnus amplitudes and the web-mixing matrices governing the exponentiation of multiple Wilson lines.
Another proof that the two color bipartite Ramsey number is $O(2^t)$
For positive integers $t$ and $q$ let $b_q(t)$ be the smallest integer $n$ so that any coloring of the edges of the complete bipartite graph $K_{n,n}$ with $q$ colors yields a monochromatic copy of $K_{t,t}$. We give an independent proof that $b_2(t)\le 128\cdot 2^t$ for every positive integer $t$. More generally, for $0< p\le 1/2$, every bipartite graph of edge density at least $p$, with both classes of size at least $128\cdot p^{-t}$, contains $K_{t,t}$. This gives $b_q(t)\le 128\cdot q^t$ for every integer $q\ge 2$ and a uniform consequence for Zarankiewicz numbers.
Classification of prime graphs with 2-switch-degree at most 4
The 2-switch-degree $\text{deg}(G)$ of a graph $G$ is the number of 2-switches that can be performed on $G$; equivalently, it is the degree of $G$ as a vertex of the realization graph $\mathcal{G}(d)$ of its degree sequence $d$. We classify the prime graphs of 2-switch-degree at most 4, where a graph is prime if it is indecomposable with respect to the Tyshkevich composition and every vertex takes part in some 2-switch. From this classification we derive a sharp dichotomy that recovers the global shape of $\mathcal{G}(d)$ from a single one of its local degrees: if $d$ has a realization $X$ with $\text{deg}(X)=k\le3$, then $\mathcal{G}(d)$ is vertex-transitive and $k$-regular if and only if neither $T_{221}$ nor $\overline{T_{221}}$ is an induced subgraph of $X$. Moreover, for every $k\geq 4$ some prime graph of degree $k$ carries a 2-switch raising its degree to $2k-2$. As a further consequence, up to isomorphism there are only 10 realization graphs of prime graphs with degree at most 4.
Submodularity of entropy under quantum convolution
We develop a submodular framework for the von Neumann entropy of discrete quantum convolutions, providing a noncommutative counterpart to the direct side of entropic additive combinatorics. We first introduce globally weighted quantum convolutions, which form compatible families indexed by admissible subsets of a fixed collection of inputs. Our main theorem reveals a polymatroidal geometry underlying their entropy growth: relative to any fixed admissible input block, the entropy gains admit a normalized, monotone, submodular extension to all subsets of the remaining inputs. The theorem yields convolutional strong subadditivity, quantum Ruzsa triangle inequality, and quantum entropic Plünnecke--Ruzsa inequalities for arbitrary input states. For repeated inputs, it gives sharp comparisons of entropy growth across admissible scales; in particular, the quantum doubling constant controls all higher admissible convolution entropies with optimal exponents. Together, these results bring submodular methods from additive combinatorics into the quantum setting and provide a systematic route to broad families of convolutional entropy inequalities.
Positive cubature on $S^2$:low-degree rigidity and uniform bounds
Let \(N_t\) denote the least number of nodes in a positive cubature formula of degree \(t\) on \(S^2\). We prove that a formula of degree \(2m+1\) cannot have exactly \((m+1)(m+2)+1\) nodes for any \(m\ge2\). Excluding equality in the Fisher bound then gives \[ N_{2m+1}\ge (m+1)(m+2)+2 \] for \(m\ge3\), and known constructions yield the exact values \(N_7=22\) and \(N_9=32\). For general odd degrees, positive circle measures on Lobatto latitudes give an upper bound with quadratic coefficient \(13/8\), parity-dependent linear terms, and an \(O(m^{2/3})\) remainder. We determine the sharp constant \(49\sqrt[3]{3}/72\) for the scalar remainder in this construction. Lower bounds are obtained from continuous weighted LP--Turán inequalities and radial caps whose Helmholtz companions are nonnegative measures. We prove that the cap functional admits a maximizer at each fixed admissible support radius and derive explicit finite-degree lower bounds by a positivity-preserving transfer to the sphere.
Minimal Submanifolds and Waists of Locally Symmetric Spaces
We show that compact locally symmetric manifolds $M$ with universal cover the symmetric space $X$ for $SL(n,\mathbb{R})$ form a topological higher $d$-expander family for $d\leq n/8$. We prove the same statement for $SL(n,\mathbb{R})$ replaced by a split simple non-compact real Lie group $G$ and for $d$ linear in the rank of $G$. We accomplish this by showing that minimal submanifolds of low codimension in such $M$ must have volume comparable to the volume of $M$. Our proof is based on a new monotonicity formula for minimal submanifolds of $X$, together with bounds on the decay of matrix coefficients for unitary representations of higher rank Lie groups. We also give the first locally symmetric example of power-law systolic freedom. This paper partially supersedes \cite{fl24}.
Myopic Tutte polynomials and Khovanov homology in $\mathbb{R}P^3$
We present a "myopic" Tutte polynomial for graphs on $\mathbb{R}P^2$ which takes only nullhomologous spanning subgraphs as input. It recovers the generalized Krushkal polynomial and Drobotukhina's analogue of the Jones polynomial for alternating, nullhomologous links in $\mathbb{R}P^3$. We use this myopic Tutte polynomial to prove an analogue of the Kauffman-Murasugi-Thistlethwaite Theorem, relating the Jones polynomial of an alternating link to certain refinements of the crossing number. Finally, we construct a spanning tree model for the Khovanov homology of nullhomologous links, mirroring work by Champanerkar-Kofman and Wehrli for links in $S^3$. For alternating links, we use our model to prove that the Khovanov homology in $\mathbb{Z}/2\mathbb{Z}$ coefficients is determined entirely by the Jones polynomial and signatures of the link.
Unimodality of Kazhdan--Lusztig polynomials of sparse paving matroids
We prove that the Kazhdan--Lusztig polynomial of a loopless sparse paving matroid is unimodal. When the rank is at least five and the corank is positive, we show that the coefficient sequence is strictly unimodal except for three explicitly determined parameter triples, each giving two equal maximal coefficients. We also determine the modes and classify the degenerate loopless sparse paving matroids of positive rank and corank.
On equidistributed directions in finite affine planes
We investigate a recently introduced generalisation of determined directions in affine planes. A direction $(d)$ in an affine plane is a point of the line at infinity in the projective completion, and hence corresponds to a parallel class. A (multi)set $S$ of points is equidistributed from direction $(d)$ if all lines from that parallel class intersect $S$ in the same number of points. In this paper, we give a construction of point (multi)sets that are inequidistributed from exactly 3 directions in any finite translation plane, and prove that all such (multi)sets arise from this construction, generalising a result of Kiss and Somlai in Desarguesian planes of prime order. We also use ideas from algebraic graph theory to prove results on directions associated with a pair of point sets $S$ and $T$. If for every direction $(d)$ either $S$ or $T$ is equidistributed from $(d)$, we prove that $|S \cap T| = |S||T|/q^2$, where $q$ is the order of the affine plane. In the appendix, we give a combinatorial alternative approach to proving this equality, which can be of independent interest. We also introduce the notion of directions cross-determined by a pair of sets $S$ and $T$, and prove that $|S| |T| \leq q^2$ if $(S,T)$ cross-determines at most half of the directions, where equality forces $S = T$.
Separating Notions of Graph Width: the Adaptive, Normal, Linear, Entropic, and Submodular Width
We describe one explicit simple graph G on 32 vertices whose adaptive, normal, linear, entropic, and submodular widths are pairwise distinct. We compute all these widths exactly, except for the entropic width, where we only give a lower and upper bound. We use Ingleton's inequality and the Zhang-Yeung inequality for upper bounds, and give explicit constructions of modular, normal, linear, entropic, and non-entropic polymatroids for lower bounds.
A Koteljanskii inequality for permanents
We prove a permanental analogue of Koteljanskii's inequality. If $A$ is an inverse $M$-matrix that becomes symmetric after a positive diagonal similarity, then $\mathrm{per}(A_{S\cup T})\,\mathrm{per}(A_{S\cap T})\ge\mathrm{per}(A_S)\,\mathrm{per}(A_T)$ for all $S,T\subseteq[n]$, where $A_S$ is the principal submatrix indexed by $S$. The proof expresses permanents as moments of a complex Gaussian vector and uses Ginibre's correlation inequality. Finally, an explicit counterexample shows that symmetry cannot be dropped.
Involutions avoiding 4321 and another pattern of length four
We enumerate all families of involutions avoiding a classical pattern of length four together with 4321. While the enumeration of permutations avoiding two classical patterns is by now well understood, the case of pattern-avoiding involutions presents additional structural constraints that require dedicated techniques. In particular our main enumerative tool is Biane's bijection between involutions and labelled Motzkin paths.
The paper provides exact bivariate generating functions (taking into account length and number of descents), and structural descriptions for all except one family. In the remaining case we provide a functional equation for the generating function and express it as an explicit continued fraction.
We make extensive use of experimental and software-supported methods.
Log-concavity and Approximate Counting for Totally Unimodular Polytopes
We present a new lower bound on the number of lattice points of all totally unimodular polytopes, generalizing previous lower bounds on contingency tables, integer flows, and beyond. Our bound is based on the Gurvits capacity convex optimization problem, and thus our result implies an efficient deterministic algorithm for approximate counting of the lattice points up to an explicit exponential factor. We achieve our bounds by showing that the associated generating polynomials fit into a new general class of log-concave polynomials called VLC ("variable-wise log-concavity''). This also implies a conjecture of Ferroni and Higashitani on the evaluations of the Ehrhart polynomials of unimodular polytopes. The essential ingredient for these results is the resolution of Barvinok's log-concavity conjecture for contingency tables on lines, which was proven using ChatGPT 6 Astra. We conjecture a generalization of Barvinok's conjecture, which we believe will lead to stronger and more general bounds.
Quantum State Routing and Perfect State Transfer on Signed Graphs under Environmental Noise
Routing unknown quantum information across distributed communication networks requires autonomous, measurement-free mechanisms to prevent wave-function collapse. Szegedy quantum walks provide a mechanism for spatial state transport. The conventional walks on unweighted graphs suffer from severe back-reflection, spatial dispersion, and channel crosstalk. In this paper, we introduce a deterministic topological quantum routing architecture based on coined Szegedy quantum walks on edge-duplicated signed graphs. By treating edge signs as localized phase shifts within a balanced coin reflection, we enforce an exact zero back-scattering condition across routing nodes. We demonstrate deterministic Perfect State Transfer (PST) with unit fidelity at exact arrival times across fundamental archetypes, including the signed dumbbell switch $D_{2m,0,2n}$ and scalable glued binary trees. Furthermore, we analyse routing performance under realistic open-system amplitude and phase damping noise channels.