math.CO ↗ arXiv
7121 papers in this category
Non-affine Families of 8 x 8 Complex Hadamard Matrices
Published in Linear and Multilinear Algebra 74 (2026), no. 8, 1039-1061
• View Publication
• BIB
Six non-affine 3-parameter families of complex Hadamard matrices of order 8 are presented. These families contain Hadamard matrices that are not equivalent to any previously known Hadamard matrices in the literature. Each family arises from unimodular points of an affine variety defined by palindromic polynomials. The families are given as an image of a function that solves the corresponding system of polynomials on a domain that guarantees unimodularity of the solutions
The maximum spectral radius of uniform hypergraphs whose shadow excludes a complete or complete bipartite minor
For a $k$-uniform hypergraph $\mathcal H$, the shadow of $\mathcal H$ is the graph whose edges are the pairs covered by a hyperedge. In this paper, for all sufficiently large $n$, we determine the $n$-vertex $k$-uniform hypergraphs of maximum adjacency-tensor spectral radius whose shadow has no $K_t$ minor, for every $t\ge k+1$, and those whose shadow has no $K_{s,t}$ minor, for every $2\le s\le t$ with $s+t\ge k+1$ and every residue of $n-s+1$ modulo $t$; outside these ranges the problems are trivial. This extends to uniform hypergraphs the theorem of Tait on graphs with no $K_r$ or $K_{s,t}$ minor, whose remaining residues were settled by Zhai and Lin. In each case the extremal hypergraph is unique, and it is the $k$-clique hypergraph of the join of a clique with a graph that we call the light part. For $K_{s,t}$ the answer depends on $j=k-s+1$. When $j\le1$, the maximum has order $n^{(k-1)/k}$, and the light part is the one found by Zhai and Lin for the adjacency matrix, including its exceptional components. When $j\ge2$, a regime that does not occur for graphs, the maximum has order $n^{(s-1)/k}$ and $t$ enters its leading constant. The light part then consists of copies of $K_t$ and one smaller clique, with a single exception: for $(k,s,t)=(9,8,8)$ and $n-s+1\equiv2\pmod 8$, the complement of the Petersen graph appears. When the smaller clique has between $1$ and $j-1$ vertices, the extremal graph is not unique. In particular, for $t=8$, $4\le s\le7$, $k=s+1$ and $n-s+1\equiv2\pmod 8$, the clique hypergraph of the extremal graph of Zhai and Lin is not extremal. For $j\ge2$ the light part is determined by a weighted clique inequality, which for $j\ge3$ follows from a weighted form of the closed-neighborhood counting of Chao and Dong.
Large signed sums of unit vectors: the first linearly dependent case
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.
Unique Minimizers for Permanents, Mixed Discriminants, and Log-concave Polynomials
The permanent and mixed discriminant of positive matrices are classic problems for which we do not expect an efficient algorithm for exact computation. Thus much work has been done to understand how well we can bound and approximately compute these quantities. One line of research in this area begins with the results of the first author, where van der Waerden lower bounds of $\frac{n!}{n^n}$ are proven for doubly stochastic inputs for both problems, using a simple proof via stable polynomials. Along with the bound itself, the same techniques are used to show that the permanent and mixed discriminant are uniquely minimized at a certain natural symmetric input.
In this paper, we generalize those results in two ways. First, we extend the unique minimization results beyond doubly stochastic inputs to other marginals which are near doubly stochastic. This yields the first such unique minimization results for the mixed discriminant beyond the doubly stochastic case. We also discuss why one cannot hope similar results to hold in general for all marginals. Second, we extend the unique minimization result for real stable polynomials to strongly log-concave (aka Lorentzian) polynomials in the doubly stochastic case. This captures an analogous previous result on unique minimization for the mixed volume. Finally, we discuss various open problems related to these results.
Helly complexes are Hellyfications of their boundaries
We prove that every finite Helly complex is isomorphic, at the level of its $1$-skeleton, to the Hellyfication (equivalently, the discrete injective hull) of its combinatorial boundary equipped with the metric induced from the complex. In particular, the boundary-rigidity phenomenon for Helly complexes proved by Blufstein-Chalopin-Chepoi admits a canonical injective-hull interpretation, independent of reconstruction procedures based on dismantling.
Four collinear points or six visible points
Every finite planar set of at least $880$ points contains four collinear points or six pairwise visible points.
Unimodality of Independence Polynomials for Sufficiently Large Forests
We prove that the independence sequence of every sufficiently large forest is unimodal. The result follows from establishing log-concavity on a central interval of the sequence, along with monotonicity of the initial and final segments. The main analytic step is a central limit theorem for the size of a random independent set sampled with the hard-core model, uniform over all forests and over an interval of positive fugacities.
Condensed configurations and valuative matroid invariants
Condensed configurations are compact incidence data obtained by grouping the cyclic flats of a matroid. We show that their inverse incidence matrices give explicit Schubert expansions and hence determine every valuative or covaluative matroid invariant. For the extended binary Golay matroid, this unexpectedly produces non-real-rooted Kazhdan-Lusztig and Z-polynomials. To our knowledge, the latter is the first counterexample in the literature.
Majority C-coloring in Cartesian products
A majority C-coloring of a graph $G$ assigns colors to the vertices such that every vertex shares its color with at least half of its neighbors. The maximum number of colors that can be used in such a coloring of $G$ is denoted by $\overlineχ_{\geqslant}(G)$. In this paper, the focus is on the majority C-coloring in Cartesian product graphs. It is shown that $\overlineχ_{\geqslant}(G \square H) \ge \overlineχ_{\geqslant}(G) \overlineχ_{\geqslant}(H)$ gives a sharp lower bound, but the difference also can be arbitrarily large. For two-dimensional Hamming graphs, the exact value $\overlineχ_{\geqslant}(K_m \square K_n) = \min\{m,n\}$ is established. Balanced Hamming graphs of higher dimension, that is the $k$th powers of complete graphs with respect to the Cartesian product, are also studied. It is proved that $\overlineχ_{\geqslant}(K_n^{\square, k})= n^{k/2}$ holds for every even integer $k$. If $k$ is odd and the Hamming graph is the $k$-dimensional hypercube, then $\overlineχ_{\geqslant}(K_2^{\square, k})= 2^{\lfloor k/2\rfloor}$. On the other hand, a majority C-coloring of $K_n^{\square, k}$ with at least $3 n^{\lfloor k/2\rfloor}/2 $ colors is presented for every $n \ge 7$ and odd $k \ge 3$. For Cartesian grids, the main result shows that $\overlineχ_{\geqslant}(P_m \square P_n) = 1 + \lfloor m/2\rfloor \lfloor n/2\rfloor$ if at least one of $m$ and $n$ is odd, while $\overlineχ_{\geqslant}(P_m \square P_n)=mn/4$ holds if both parameters are even and $m \ge n \ge 4$. The paper concludes with a conjecture and several open problems.
A note on generating polyhedra and quadrangulations
A polyhedron is a planar, $3$-connected graph. We iteratively construct all polyhedra (save for pyramids) from a unique starting graph, namely the square pyramid, via two graph transformations. This builds upon a previous construction, that starts from the full class of pyramids, and applies the same transformations.
In a related result, we iteratively construct all quadrangulations of the sphere where all $4$-cycles are facial, i.e., the class of radial graphs of the polyhedra (save for antibipyramids), from a unique starting graph, namely the square antibipyramid, via a unique graph transformation. This builds upon a previous construction, that starts from the full class of antibipyramids, and applies the same transformation.
Boolean Small-Ball Inequalities for Discrepancy Theory
We prove new small-ball inequalities for boolean matrix-series. The leading example is $\mathbb E_s[{\text{det}(I-S^2)^β\,\mathbf 1_{\{\|S\|<1\}}}]\ge e^{-O(βτ)}$, which holds for boolean matrix-series $S=\sum_i s_iA_i$ formed using symmetric matrices $A_1,\dots,A_n$ and uniformly random signs $s\in\{\pm1\}^n$. Specifically, this inequality holds for all $β\ge1$ with $τ=\sum_i\text{Tr} A_i^2$, as soon as the maximum of $(\text{Tr} A_i^2)_{i=1}^n$ and a certain variance term are bounded above by universal constants. The proof combines the Gaussian reciprocal estimate of (Akbas and Sra 2026), the directional-variation signing theorem of (Guo, Fang, and Lu 2026), and a replica argument that turns existence into a Gibbs law on good signings. Most notably, boolean small-ball delivers a new, interlacing-free proof of Kadison-Singer (most general case); it also recovers Matrix Spencer and Komlós as quick corollaries, while yielding more than six almost immediate proofs of an assortment of discrepancy theoretic problems.
Marton's conjecture in polynomial time
Gowers, Green, Manners, and Tao (Annals '25) recently resolved Marton's polynomial Freiman-Ruzsa conjecture. We give an algorithmic counterpart to their result: given uniform sampling and membership-oracle access to a set $A \subseteq \mathbb{F}_2^n$ with doubling constant at most $K$, our algorithm outputs a subspace of size at most $|A|$ whose $K^{O(1)}$ translates cover $A$. The algorithm runs in $\textsf{poly}(n,K)$ time. As applications, we obtain polynomial-time algorithms for a variety of learning problems, including quadratic Goldreich-Levin, improper agnostic tomography of stabilizer states, and tomography of quantum states with bounded stabilizer extent.
Combinatorics of hyperplane arrangements and Witten zeta function at the origin
We introduce a new method that brings the combinatorics of hyperplane arrangements into the study of representation zeta functions of compact Lie groups. For the Witten zeta function $ζ_Φ(s)$ associated with a root system $Φ$, our method yields elegant formulas for $ζ_Φ(0)$ and $ζ_Φ'(0)$ in terms of the exponents of various parabolic subsystems of $Φ$. Such formulas do not appear to be readily accessible through the conventional analytic techniques in the literature. More generally, the method applies to a broad family of conical zeta functions, expressing these two special values through the Möbius function of the intersection poset of the associated hyperplane arrangement.
Proof of the Pach-Tardos conjecture
We prove that for every acyclic matrix pattern $P$ it holds that $\operatorname{Ex}(n,P) \leq n^{1+O_P(1/\log\log n)}$.
Longest cycles intersect linearly in highly connected graphs
A longstanding conjecture attributed to Smith (1984) asserts that for every $k\ge2$, any two longest cycles in a $k$-connected graph share at least $k$ vertices. In this paper, we prove the first linear lower bound, showing that any two longest cycles in a $k$-connected graph share at least $k/600$ vertices. Departing from previous Turán-type extremal arguments, we develop a novel structural approach that also yields applications to related problems on longest cycles and paths.
Fast FPRAS for the Permanent
We give an FPRAS for the permanent of an $n\times n$ $0/1$ matrix with running time $\widetilde{O}(n^{3.5}\varepsilon^{-2})$. Our algorithm extends to a strongly polynomial FPRAS for arbitrary nonnegative matrices, as in previous works. Jerrum, Sinclair, and Vigoda (2004) gave the first FPRAS for the permanent of a nonnegative matrix. The running time was subsequently improved to $\widetilde{O}(n^7)$ by Bezáková, Štefankovič, Vazirani, and Vigoda (2008), and recently to $\widetilde{O}(n^6)$ by Chen, Vigoda, and Yang (2026).
We introduce a multicommodity-flow bound inspired by electrical flows, replacing the usual path-length factor by routing energy. For a boosted version of the classical JSV chain, we prove a relaxation-time bound of $O(n^3\log n)$ and show that stationary trajectories of this length estimate all stationary hole-pattern probabilities, yielding an $\widetilde O(n^5)$-time FPRAS algorithm. Our new hole-weighted slide (HWS) chain improves both bounds to $O(n^2\log n)$, yielding an $\widetilde O(n^4)$-time algorithm. Finally, we obtain the claimed $\widetilde O(n^{3.5})$ running time by using a subset of $\widetilde{O}(\sqrt{n})$ checkpoint temperatures in an iterated sequence of warm-starts to obtain initializations at every temperature.
Cutting a convex body into fat parts and approximating Euclidean distance by graph distances
Can one construct a graph $G$ on the set of integer points ${\mathbb Z}^2$ in the plane such that the length of the shortest path between any two vertices of $G$ differs from their Euclidean distance by at most an absolute constant? This question of Benjamini, Erd\H os, Kleiner, Kozma, Schramm, and the first-named author has been open for a long time. We give an affirmative answer to a weaker form of this question, based on the following geometric statement, which is of independent interest. There exists a constant $c>0$ such that for every $i=1,2,\ldots,$ every $ρ$-fat plane convex set $S$ can be cut into $2^i$ convex pieces of equal area, each of which is at least $cρ$-fat. (A convex set is $ρ$-fat if the ratio of its inradius to its circumradius is at least $ρ$.)
We prove that there exists an (unweighted) spanning subgraph $G$ of an enlarged copy of ${\mathbb Z}^2$ such that, for every pair of vertices at Euclidean distance $d$, their shortest-path distance in $G$ lies between $d-O(1)$ and $d+o(d^{5/6})$. The same bound can be achieved by a planar graph with vertex set ${\mathbb Z}^2$, in which every edge joins two vertices at Euclidean distance at most 2.
A counterexample to the quantum Hedetniemi conjecture
Godsil, Roberson, Šámal and Severini conjectured that the quantum chromatic number of the categorical product of two graphs equals the minimum of the quantum chromatic numbers of the factors. We disprove this conjecture: we construct explicit finite graphs $G,H$ with \[ χ(G\times H) \leq 1538 < 1539 = \min(χ_q(G),χ_q(H)).\]The graphs are obtained from Zhu's counterexample to Hedetniemi's conjecture by using a base graph for which the Lovász theta number of the complement, and not only the fractional chromatic number, is large. The lower bound for the first factor is the theta bound. For the second factor we adapt Zhu's argument to projections that do not commute: the step that fixes the colors of a clique is replaced by identities between operators. Both lower bounds hold for colorings by projections in an arbitrary nonzero unital $C^*$-algebra. Hence the conjecture also fails for the spatial, approximate, commuting-operator and $C^*$-algebraic variants of the quantum chromatic number. We also give smaller counterexamples certified by exact integer data. The graph constructions, the certificates and the counterexample statements in the projective formulation are formalized in Lean~4.
Schrijver-Delsarte rigidity in association schemes and undecidability of quantum graph homomorphism
We prove RE-completeness of the quantum homomorphism problem parameterised by families of graphs derived from the classic metric association schemes. These include Kneser graphs, $q$-Kneser graphs, and the complements of Johnson, Grassmann, and Hamming graphs. Our proof develops a spectral method for establishing non-contextuality of quantum polymorphisms. It combines an equality analysis of Roberson's bound on the projective packing number in terms of Schrijver's theta with a structural argument inspired by Erdős-Ko-Rado theory.
Framingtopes
Framing lattices arise from the dual graphs of framed (or DKK) triangulations of flow polytopes and provide a common framework encompassing classical lattices such as the Boolean, Tamari, and weak-order lattices, as well as $τ$-tilting posets of certain gentle algebras. In this paper, we introduce the \emph{framingtope}, a polytopal complex that provides a geometric counterpart to a framing lattice: its edge graph is the Hasse diagram of the framing lattice. We prove that the framingtope admits three equivalent descriptions, in terms of interior faces of the framed triangulation, sets of pairwise coherent routes covering the graph, and pure intervals of the framing lattice. We further construct a tropical realization of the framingtope as the bounded-cell complex of an arrangement of tropical hypersurfaces associated with an admissible height function. This construction yields explicit vertex coordinates for broad classes of framed graphs, including plane framed graphs and multioruga graphs. In the multioruga case, these coordinates give tropical realizations of weak orders on multipermutations and, in the ordinary oruga case, recover the classical permutahedron.