math.CO ↗ arXiv
7121 papers in this category
A median degree from crossing graphs of median graphs
The crossing graph $\mathrm{Cross}(M)$ of a median graph $M$ is defined as the graph whose vertices are the $Θ$-classes of $M$ and whose edges connect two $Θ$-classes whenever they cross. It is known that every graph $X$ can be realised as the crossing graph of some median graph. In this article, we initiate the study of the space $\mathrm{Cross}^{-1}(X)$ of all the median graphs with crossing graph $X$. First, we prove that two finite median graphs have isomorphic crossing graphs if and only if one can be obtained from the other by a sequence of elementary transformations we call slidings. Then, motivated by the fact that $\mathrm{Cross}^{-1}(X)$ always contains a single median graph of maximal degree, namely the simplex-graph of $X$, we introduce the median degree of $X$ as the smallest possible degree of a median graph in $\mathrm{Cross}^{-1}(X)$. We compute the median degree for some families of graphs and characterise the graphs with maximal median degree.
Polynomial-time Stable Matching in Network Hypergraphs
We show that there exists a polynomial-time algorithm to find a stable matching in network hypergraphic preference systems. The key connection that drives the algorithm was discovered by chatting with ChatGPT-5.6 Sol Max. We verified it independently and present the details in our own words.
Regularity method for hypergraphs with $4$-cycle-free links
We extend the hypergraph regularity method to sparse $3$-uniform hypergraphs whose vertex links are $C_4$-free. In other words, we consider hypergraphs $H=(V,E)$ that are $K_{1,2,2}$-free, which implies that $|E|=O(|V|^{5/2})$. For such hypergraphs we establish a sparse analogue of the removal lemma for the tight cycle on seven vertices minus an edge.
Structure theorems for Lichnerowicz-sharp graphs
Hypercube graphs are fundamental model spaces of positive curvature in discrete comparison geometry. Let $G$ be a finite, connected, simple, unweighted graph with Bakry--Émery curvature bounded below by $K$. We call $G$ Lichnerowicz-sharp if its first non-zero non-normalized Laplacian eigenvalue $λ_1=K$. We prove that, after removing a canonical collection of edges on which every $K$-eigenfunction is constant, the resulting graph has a canonical bundle structure. Its fibers are regular, have similar structure with hypercubes, and are Laplacian-cospectral with hypercubes, although they need not themselves be hypercubes. If the base graph is nontrivial, then it satisfies $\mathrm{CD}(K,\infty)$ and has first eigenvalue strictly greater than $K$.
As a consequence, if the vertex degree in $G$ is constant along each canonical fiber, then every fiber is a hypercube and $G$ is a hypercube bundle. Conversely, for every $d\geq 4$, we construct Lichnerowicz-sharp graphs with non-hypercube canonical fibers of degree $d$.
Braces on the cohomology of noncrossing 2-partitions
We show that the operadic structure on the cohomology of the poset of noncrossing 2-partitions is isomorphic to the Brace operad.
Strategic geometry of competing first-passage random walks
Two competitors choose starting vertices for independent, constant-speed random walks, and each site is acquired by its first visitor. We study the spatial geometry of the resulting first-passage location game. On every finite path the optimal strategies are exactly the distributions supported on the central vertices. The proof combines reflecting-boundary harmonic barriers with a parameter-uniform aggregate estimate for product-chain exit probabilities. After diffusive rescaling, the complete two-start payoff landscape converges uniformly to the game between independent reflected Brownian motions. Its unique equilibrium concentrates at the midpoint, with explicit cubic stability. Beyond paths, attaching two leaves to every vertex of a clique of order k produces a 3k-vertex graph on which every exact optimal strategy randomizes over all k clique vertices; for k=2, this is a six-vertex tree with no pure equilibrium. The continuum best response to an endpoint is uniquely determined. A first-passage random-ranking representation relates the finite game to maximal lotteries without identifying it with nonstrategic painting, deterministic Voronoi allocation, or absorbing-trap placement. Parameter-uniform statements follow from analytic arguments or symbolic polynomial identities; identified finite exceptions and numerical enclosures have reproducible certificates.
The Equality Case in the Positive Square-Energy Strengthening of Turán's Theorem
Let $G$ be a graph of order $n$ with eigenvalues $λ_1(G) \geq \dots \geq λ_n(G)$, and let $s_+(G)=\sum_{λ_i(G)>0}λ_i(G)^2.$ Recently Liu, Tang, and Zhang proved the positive square-energy strengthening of Turán's theorem \[\sqrt{s_+(G)}\leq \left(1-\frac1r\right)n.\] where $r=ω(G)$ is the clique number of $G$. We characterize the families of graphs for which the above inequality is sharp. Precisely, we prove that, for $r\geq 2$, equality holds if and only if $r\mid n$ and $G$ is the complete regular $r$-partite graph $K_{n/r,\ldots,n/r}$.
Mod 2 magnitude cohomology ring of real hyperplane arrangements
Let $\mathcal{A}$ be a finite central real hyperplane arrangement and let $\mathcal{G}(\mathcal{A})$ be its tope graph. Koizumi recently proved that the crossing-graded magnitude homology of $\mathcal{G}(\mathcal{A})$ is torsion-free and is freely indexed by face flags. We refine his result by proving that a fixed crossing vector and terminal chamber determine a summand of rank at most one. Over $\mathbb{F}_2$, we use the canonical cohomology basis to determine the crossing-graded magnitude cohomology ring of $\mathcal{G}(\mathcal{A})$.
Common tiling functions with small support
For $N$ lattices in $\R^d$ with volume $1$ and pairwise trivial intersections, every nonzero common tiling function has support diameter $Ω(N^{1/d})$, while for lattice families whose fundamental domains have uniformly bounded diameters, the standard convolution construction gives an $O(N)$ upper bound, leaving a gap that has remained open since the work of Kolountzakis and Wolff \cite{kolwolff-1999Mathematika}. We close this gap by constructing, for every $d\geq 2$ and all sufficiently large $N$, lattice families satisfying the same volume and intersection conditions that admit a nonnegative common tiling function with support diameter $O(N^{1/d})$, thereby also answering Question 1 of Kolountzakis and Papageorgiou \cite{kolPapageorgiou-functions-2022jfaa}. We also obtain the optimal $O(\sqrt N)$ upper bound by constructing, for any prescribed family of plane lattices whose volumes lie in a fixed bounded set independent of $N$, a pairwise trivially intersecting family with the same respective volumes and with bases arbitrarily close to suitable bases of the prescribed lattices.
Fractional Triangle Decompositions at Partite Minimum Degree $4n/5$
We prove that every triangle-divisible balanced tripartite graph whose vertex classes have size $n$ and whose partite minimum degree is at least $4n/5$ admits a fractional triangle decomposition. Combined with the multipartite decomposition theorem of Barber, Kühn, Lo, Osthus, and Taylor, this implies that, for every fixed $\varepsilon<1/5$ and all sufficiently large $n$, every $\varepsilon$-dense partial Latin square of order $n$ is completable, improving the previous asymptotic bound of $2/25$. The fractional decomposition theorem is finite and exact. Its proof uses a minimum-weight perfect matching to normalize an arbitrary Farkas dual weighting, followed by an explicit direct-and-two-step routing scheme whose aggregate congestion on every off-matching edge is at most one.
The Last Isolated Vertex in Random-Order Uncovering of Cycles and Their Powers: Exact Enumeration and Weibull Limits
Let the vertices of a graph be revealed one at a time in a uniformly random order, and let the last-isolation time be the last time at which the induced graph on the revealed vertices contains an isolated vertex. For the cycle C_n, write K_n for the number of vertices still unrevealed at this time. We obtain an exact finite-n tail formula for K_n in terms of Stirling numbers of the second kind, together with a compact bivariate generating function.
The enumeration comes from reversing the process. An isolated revealed vertex then corresponds to the cyclic pattern 101, but the tail event requires this pattern to be absent from every earlier prefix, not merely from the final set. This prefix condition forces the final one-blocks to be separated by zero-gaps of length at least two and forces the reveal order inside each one-block to be peakless. Since a block of size m has 2^{m-1} peakless orders, summing over block sizes produces the Stirling numbers.
We also prove K_n/sqrt(n) -> R, with P(R>x)=e^{-x^2}, and, for every fixed d>=1, K_{n,d}/n^{1-1/(2d)} -> W_d, with P(W_d>x)=e^{-x^{2d}}. Uniform stretched-exponential tail bounds imply convergence of all fixed positive moments. Thus the ordinary cycle has a Rayleigh limit, while its fixed powers give a Weibull family with shape parameter 2d.
On a conjecture concerning antipodal labelings for cycles
Let $G$ denote a finite, connected, simple graph, and let $D$ denote its diameter, and let $d_{G}(u, v)$ denote the distance between vertices $u$ and $v$ in $V(G)$. An antipodal labeling of $G$ is a mapping $f\colon V(G) \to \mathbb{N}_{0}$ such that, for each pair $(u, v)$ consisting of distinct vertices in $V(G)$, the relation $ |f(u) - f(v)| \geq D - d_{G}(u, v) $ holds. The span of $f$ is then defined so that $\operatorname{sp}(f) = \max\{ f(u) - f(v) : u, v \in V(G) \}$. The antipodal number of $G$, denoted with $\operatorname{an}(G)$, may then be defined as the minimum possible span among all antipodal labelings of $G$. Juan and Liu [Ars Combin., 2012] proved the upper bound $\operatorname{an}(C_{4k}) \leq 2k^2 - 1$, and conjectured that $\operatorname{an}(C_{4k}) = 2k^2 - 1$ for each positive integer $k$, and Juan and Liu verified this conjecture for $k \leq 5$. We succeed in proving Juan and Liu's conjecture, which seems to have remained open. The openness of Juan and Liu's conjecture has been noted, over the years, by many authors, including Rao et al. [Contrib. Discrete Math., 2015] and Saha et al. [Theory Comput. Syst., 2022].
Resilient forest universality in percolated dense graphs
Published in JCMCC, 2026
• Search Publication
Christoph, Müyesser and Wigderson recently asked whether an approximate form of the Erdős-Sós conjecture is robust under random edge deletions. We establish a density-sensitive transference theorem that converts global resilience for bounded-degree trees in sparse random graphs into resilient forest universality in arbitrary dense host graphs. More precisely, if $F$ is an $N$-vertex graph of edge density $λ$ bounded away from zero and $p\in[K/N,1]$, then, with probability $1-o(1)$ uniformly over the host and the percolation parameter, every subgraph obtained from $F_p$ by deleting at most an $α$-fraction of its edges contains every bounded-degree forest on at most $((1-α)λ-ξ)N$ vertices. Consequently, for every $c>0$, $L\ge1$, fixed $D$ and $α<c$, every graph $F$ on at most $Ld$ vertices with average degree at least $d$ has the property that, after percolation at any rate $p\in[K/d,1]$ and any subsequent deletion of at most an $α$-fraction of the surviving edges, the remaining graph is universal for all forests on at most $(1-c)d$ vertices and maximum degree at most $D$. This includes vertex-disjoint packings of any prescribed collection of bounded-degree trees of that total order. We further obtain forest-universality results for graphs whose connected components have vertex-cover number at most $Cd$, and for graphs that can be brought into this form by deleting sufficiently few edges on the $dn$-scale.
KKT Stresses, Affine Moments, and Separator Flux in the Heilbronn Triangle Problem
For n points in the unit square, the Heilbronn triangle problem asks for the largest possible minimum triangle area. We develop a variational stress theory for this max-min problem. At every positive-area local optimum, normalized Karush-Kuhn-Tucker multipliers assemble into a skew matrix B satisfying Bz = 2ib, where b is the outward square reaction. This equilibrium has the isotropic affine moment sum_i p_i b_i^T = Delta I_2; the identity also holds for every tight subfamily carrying weights inherited from the same multiplier, with Delta scaled by its multiplier mass. It follows that every positive stress component meets all four sides and that there are at most two such components.
To handle nonunique multipliers, we introduce the intersection of the stress kernels over the whole KKT face and a canonical hybrid operator incorporating all tight determinant and boundary derivatives. A strictly convex selector removes every decomposable invisible motion, leaving a rank-one-free residual with a sharp dimension bound; the literal maximal two-dimensional residual is excluded. Two-terminal substresses satisfy an exact interface-flux law, and a five-internal-vertex rank-four block has a Pfaffian cofactor carrier. Finally, an analytic reduction followed by exact symbolic enumeration excludes every one-external completion of a specified one-silent five-cycle residual, for all orientation words. These results isolate the remaining degeneracy but do not solve the problem for arbitrary n.
The equality cases $P_t(\mathbb{N})=\tfrac12$ for the deconvolved sum-of-digits measures
Let $s(n)$ denote the number of ones in the binary expansion of an integer $n\in\mathbb{N}$, and let $μ_t$ be the probability measure on $\mathbb{Z}$ defined by the asymptotic densities of the level sets of the function $\mathbb{N}\ni n\mapsto s(n+t)-s(n)\in\mathbb{Z}$. Let $P_t$ be the family of finitely supported measures defined by the convolution $μ_t=μ_1*P_t$. Recently, Tarlowski (2026) has shown that the family $P_t$ may be represented as a recursively grown binary tree $T_t$, and that the Cusick's conjecture - $μ_t(\mathbb{N})>\frac12$, $t\in\mathbb{N}$, - follows from the asymmetry property of the family $T_t$, which was posed there as an open problem. Next, Cheng (2026) has provided the combinatorial description of the family $T_t$ in the language of principal subsequence ideals, and proved both conjectures. Both of these problems are directly related to the problem of determining the zeros of the function $\mathbb{N}\ni t \mapsto P_t(\mathbb{N})-\frac12\in[0,\tfrac12]$, a problem left open by Cheng (2026) as a saturation problem, and previously analyzed only numerically. In this paper we solve this problem completely. Writing an odd integer $t\ge3$ as $t=(1\,w\,1)_2$ with $w\in\{0,1\}^{\star}$, we show that $P_t(\mathbb{N})=\frac12$ if and only if $w$ is \emph{saturated} in the following sense: in the block decomposition $w=1^{a_0}\,0\,1^{a_1}\,0\cdots0\,1^{a_k}$ with exactly $k$ zeros, every block of "1" satisfies $a_i\ge k$. Additionally, we show that the lower bound for $P_t(\mathbb{N})$ established by Cheng for $0$-initial words holds true for all non-saturated words.
Improved bounds for the smallest 4-chromatic graph of girth six
For integers $k,g \ge 3$ let $n_g(k)$ denote the minimum order of a graph with chromatic number $k$ and girth at least $g$. Exoo and Goedgebeur (DMTCS 2019) proved $26 \le n_6(4) \le 66$; their 66-vertex witness has remained the smallest known 4-chromatic graph of girth 6. We improve both bounds to $29 \le n_6(4) \le 64$. The upper bound is witnessed by an explicit 4-chromatic graph of girth 6 on 64 vertices with 152 edges; it is vertex- and edge-critical, and its automorphism group is cyclic of order 8 and acts semiregularly. The lower bound is an exhaustive isomorph-free computation in the SAT modulo symmetries framework with co-certificate learning, driven by the Liu-Postle edge-density bound for 4-critical graphs of girth five; it re-derives $n_6(4) \ge 26$ by a disjoint method and is validated on the known values $n_4(4)=11$ and $n_5(4)=21$. We complement the bounds with structural obstructions: no smaller witness arises from either known witness by local modifications; no 4-chromatic Cayley graph of girth 6 exists on 54-63 vertices (for orders 59 and 61 no vertex-transitive witness exists at all); and no witness on at most 63 vertices admits a semiregular automorphism group with two or three vertex orbits, for any finite group. Since every known witness of an $n_g(4)$ record with $g \ge 6$ is a lift of a small base graph along a semiregular action, these results close the most symmetric part of that regime below 64 vertices. All properties of the new graph are verified by independent programs and formally certified in the Lean 4 proof assistant: the non-3-colourability is established inside Lean by a formally verified checker that re-validates a 219,532-node refutation certificate, with a machine-checked soundness theorem.
On Spectra of $\mathbb{T}$-Gain Digraphs
A \(\mathbb{T}\)-gain digraph is a directed graph with complex unit gains on its arcs, allowing for no restrictions on oppositely directed arcs. This framework unifies various graph types, such as signed graphs, mixed graphs, complex unit gain graphs, digraphs, and signed digraphs. The gain adjacency, Laplacian, and signless Laplacian matrices are generally non-Hermitian with complex spectra. We develop the spectral theory of these matrices, extending classical results from signed digraphs and complex unit-gain graphs. For the gain adjacency matrix, we establish determinant and characteristic polynomial formulas, characterize cycle balance through switching equivalence and cospectrality with the underlying digraph. We further bound the spectral radius in terms of the underlying digraph and its maximum out-degree, with equality characterized by $μ$-balance. As a consequence, we determine the spectra of $\mathbb{T}$-gain unicyclic digraphs. Moreover, we characterize cycle balance and antibalance for the Laplacian and signless Laplacian matrices, respectively, through the presence of a zero eigenvalue.
A Comment on Local Hypercube Inequalities
This comment gives dimension-independent analytic proofs of the local inequalities arising in the odd- and even-dimensional constructions of higher-dimensional partition charge functions. The prior works established these inequalities by exhaustive computation in low dimensions and tested them numerically in selected higher dimensions.
Trees of odd order with at most two vertices of degree two are edge-graceful
A graph G with q edges and p vertices is edge-graceful if some bijection f from E(G) onto {1,...,q} makes the induced vertex sums f^+(v), the sum of f(e) over the edges e incident to v, distinct modulo p. Lee conjectured in 1989 that every tree of odd order is edge-graceful; the broadest general result we have located, due in equivalent form to Kaplan, Lev and Roditty, covers trees of odd order with at most one vertex of degree two. We prove that every tree of odd order with at most two vertices of degree two is edge-graceful. The proof combines zero-sum block partitions of Z_n with perfect and hooked Langford sequences; the residual case analysis is verified symbolically for all odd n <= 5001 and holds uniformly beyond, and the construction was executed and independently re-checked on all 2,245,070 trees of odd order at most 25 with exactly two vertices of degree two. Since an edge-graceful graph is antimagic, the theorem also enlarges the family of trees known to be antimagic.
Resolving a conjecture on quadratic APN functions and a new quadratic $(n,n)$-function associated to crooked functions
We say an $(n,n)$-function $F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ is a crooked function if for any nonzero $a \in \mathbb{F}_2^n$, the image of $D_aF(x)=F(x)+F(x+a)$ is an affine hyperplane. The only known examples of crooked functions are all quadratic almost perfect nonlinear (APN), or equivalently, for every known crooked function, $D_aF$ is affine for all $a \in \mathbb{F}_2^n$. The ortho-derivative $π_F \colon\mathbb{F}_2^n \to \mathbb{F}_2^n$ of a crooked function $F$ is the function such that $π_F(0)=0$, and for any nonzero $a$, the set $\{0,π_F(a)\}^\perp$ is the underlying vector space of $\mathrm{Im}(D_aF)$. We prove that for $n \geq 4$ and a crooked function $F$, if $k$ is a non-negative integer such that $F$ has $2^k$ quadratic component functions, $π_F$ has at least $2^n-2^{n-k}$ nonzero components of algebraic degree $n-2$. In particular, we resolve Gorodilova's conjecture that every nonzero component of $π_F$ has algebraic degree $n-2$ when $F$ is quadratic APN. As a corollary, we prove that for any even $n \geq 4$, any crooked $(n,n)$-function with at least one quadratic component has at least $5$ semi-bent components. As a second main result, for $n \geq 4$, we associate to a crooked function $F$ a quadratic function $\varepsilon_F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ that satisfies a strong geometric-combinatorial condition regarding the sums of $F$ over $2$-dimensional linear subspaces. Furthermore, we obtain a congruence result on a problem on $m$-sequences introduced by Johansen, Helleseth, and Kholosha, and we determine the exact algebraic degrees of some Boolean functions associated to the bent and near-bent components of particular classes of plateaued vectorial functions.