math.CO ↗ arXiv
7121 papers in this category
Near-optimal Turán densities of $r$-graphs on $r+1$ vertices
Let $π(H)$ be the Turán density of an r-uniform hypergraph $H$ and let $H_k^r$ denote the $r$-uniform hypergraph on $r+1$ vertices with exactly $k$ edges, where $1\le k\le r+1$. Sidorenko~(JCT-B, 2024) proved that $π(H_3^r)\ge (1.7215-o(1))r^{-2}$ as $r\to\infty$ and $π(H_k^r)\ge (C_k+o(1))r^{-(1+1/(k-2))}$ for fixed $k$ as $r\to\infty$. Clemen~later improved the first bound to $π(H_3^r)\ge cr^{-2}\sqrt{\log r}$ for some constant $c>0$.
In this article, we prove the following results. \begin{itemize} \item For any fixed $\varepsilon>0$, there is a constant $c_\varepsilon>0$ such that $$π(H_3^r)\ge \frac{c_\varepsilon}{r(\log r)^{2+\varepsilon}}.$$ %$π(H_3^r)\ge 1/(r(\log r)^{2+o(1)})$. Together with the known upper bound $π(H_3^r)\le1/r$, this implies $π(H_3^r)=r^{-1+o(1)}$.
\item For every $3\le k\le r+1$, let $s=\min\{k-2,r-k+2\}$. Then \begin{equation*}
0\le \frac{k-2}{r}-π(H_k^r)
\le \frac{128}{r}\left(\sqrt{s\log\frac{er}{s}}+\log\frac{er}{s}\right). \end{equation*} This estimate yields several asymptotically sharp results for $π(H_k^r)$. For example, $π(H_k^r)=(1+o(1))(k-2)/r$ when $\log(er/(k))=o(k)$.
\end{itemize}
Inversion Diameter of Planar Graphs
Given an oriented graph $\vec{G}$ and a subset of vertices $X \subseteq V(\vec{G})$, the \emph{inversion} of $X$ is the operation that reverses the orientation of every arc with both endpoints in $X$. For a simple graph $G$, the inversion diameter $\operatorname{diam}(I(G))$ is the maximum distance between two orientations of $G$ under inversions of vertex sets. We prove the sharp bound \[ \operatorname{diam}(I(G))\le 2χ_a(G)-2, \] where $χ_a(G)$ is the acyclic chromatic number. Consequently, every planar graph has inversion diameter at most $8$, improving the previously known bound $12$. Using strong-degeneracy arguments, we also obtain upper bounds $7$, $5$, and $4$ for planar graphs of girth at least $4$, $5$, and $6$, respectively.
Complexity-sensitive additive energy and off-diagonal Young inequalities on bounded-degree algebraic varieties
We develop additive-energy estimates and weighted Young inequalities for finite sets on bounded-degree real algebraic varieties. For an irreducible $m$-dimensional variety $V$, let $σ(V)=2m-\dim\overline{V-V}^{\mathrm{Zar}}$ and $α(V)=\max{2,1+\frac{2σ(V)}{m}}$. For every $a\in[α(V),3)$ we define a finite-degree translation-partition flag parameter $Λ_{a,R}(X;V)$ and prove $E(X)\ll Λ_{a,R}(X;V)^{3-a}|X|^{a+\varepsilon}$. This recovers the line-concentration theorem of Jing and Wu for algebraic surfaces in $\mathbb{R}^3$. For codimension-two quadratic threefolds ${(u,Q_1(u),Q_2(u))\in\mathbb{R}^3}\subset\mathbb{R}^5$ with positive-definite $Q_1$ and simple generalized spectrum, we prove the sharp estimate $E(X)\ll_{\varepsilon}|X|^{2+\varepsilon}$ without a flag loss. Hereditary versions of these estimates imply weighted $L^4$ restriction bounds and off-diagonal Young inequalities; at the near-diagonal threshold the sharp region is $1\le p,q\le 2$ and $p^{-1}+q^{-1}\ge 1$. We also prove a sharp turning-complexity extension of the Cushman-Demeter-Wu theorem: $J_3(P)\ll_{\varepsilon}κ(P)^2|P|^{3+\varepsilon}$, with matching examples at every power scale.
Hitting Maximum Independent Sets in Dense and Highly Connected Graphs
For a graph $G$, let $h(G)$ be the minimum cardinality of a vertex set meeting every maximum independent set of $G$. We establish two complementary reduction principles for the Bollobás--Erdős--Tuza conjecture: the conjecture for arbitrary graphs is equivalent to its restriction to regular graphs of any fixed positive linear degree, and, within every hereditary graph class, a uniform sublinear bound is equivalent to a sublinear bound on graphs of every fixed positive linear vertex connectivity. We prove the sharp general estimate \[
h(G)\le \left\lfloor\frac{|V(G)|}{2α(G)+δ(G)-|V(G)|}\right\rfloor \] whenever the denominator is positive, with equality for balanced complete multipartite graphs. Consequently, every $3$-colorable graph of order $n$ with $κ(G)\geρn$ and $ρ>1/3$ has a hitting set of size at most $\lfloor(ρ-1/3)^{-1}\rfloor$; direct use of a $3$-coloring improves this to $6$ when $κ(G)>4n/9$ and to the sharp bound $3$ when $κ(G)>n/2$. For dense regular graphs with independence ratio greater than $1/4$, we obtain a logarithmic bound, while constructions with linear degree and linear independence number show that $h(G)=Ω(\sqrt n)$ can still occur. We also prove a logarithmic bound for near-regular $3$-colorable graphs and exhibit a critical family at connectivity $n/3$ that explains the limitations of the degree-surplus and degree-ratio methods.
Exact random covers of metric trees: balanced rounding, duality, and sharp thresholds
Norin and Turcotte's asymptotically sharp bound for graph burning [J. Combin. Theory Ser. B 168 (2024), 208--235] led them to an exact random-cover conjecture for finite metric trees. Let $U[0,r]$ be the uniform probability measure on $[0,r]$. They conjectured that every finite metric tree $T$ of length $L\ge2r$ admits a probability measure on $0$-good ball covers whose expected radius measure is at most $(L/r)U[0,r]$. We prove the conjecture for every finite metric tree.
We recast the bootstrapping calculation of Norin and Turcotte as a zero-error replacement certificate. The resulting local scale reduction, together with a three-piece decomposition and a macro-recursion, produces a fractional marked-ball cover with the exact radius budget. We then pass from the fractional cover to random finite covers by a compact rounding argument. For metric-tree balls, Tamir's balancedness theorem and standard balanced-matrix ideality provide the finite-dimensional integrality input.
We also prove an arbitrary-budget duality criterion. If $0<R\le L$ and $β$ is a finite positive Borel measure on $[0,R]$, then $β$ dominates the expected radius measure of a random $0$-good cover if and only if $σ(T)\le\int_{[0,R]}\max_{v\in T}σ(B_T(v,s))\,dβ(s)$ for every finite positive Borel measure $σ$ on $T$; it is enough to test finite atomic measures. We use this criterion to extend the uniform range to every $r\le L-\operatorname{diam}(T)/2$, determine the exact range for equal-arm metric stars, and derive deterministic bounds, interval rigidity, and a diameter-defect stability estimate.
Online Permutation Embedding: Optimal Stopping and Scaling Laws
We study optimal online algorithms for embedding a permutation $π$ of $[k]$ into an iid stream of uniform $[0,1]$ random variables. This problem is a broad generalization of the classical online monotone subsequence selection problem, recovered in the special case $π=\mathrm{Id}_k$. Our first contribution is an efficiently solvable dynamic program for the optimal embedding time of any $k$-permutation $π$. This dynamic program also yields an explicit optimal online embedding algorithm. We then investigate the asymptotic scaling of the optimal embedding time for uniformly random target permutations, as well as the extremal problem of identifying the permutations with largest expected online embedding time. Our second main result shows that, to first order, random permutations are strictly faster to embed than monotone permutations, which in turn are strictly faster to embed than the extremal permutations. This separation stands in sharp contrast to prevailing conjectures and heuristics in the offline theory of permutation embeddings.
Improved bounds on the oriented diameter of planar triangulations
The oriented diameter of a connected bridgeless graph $G$, denoted by $\overrightarrow{\operatorname{diam}}(G)$, is the minimum diameter among all strong orientations of $G$. We study the oriented diameter of planar triangulations, and show that $\overrightarrow{\operatorname{diam}}(G)\leq \frac{2n+44}{5}$ for any $n$-vertex planar triangulation $G$. This improves the leading constant in the previous best general upper bound $\lceil \frac{n}{2}\rceil$, due to Ge, Liu, and Wang, from $1/2$ to $2/5$. We also prove that every $n$-vertex $4$-connected planar triangulation satisfies $\overrightarrow{\operatorname{diam}}(G)\leq \frac{n+17}{3}$.
On a classical zero-sum invariant
Let $G$ be a nontrivial, finite abelian group. Then $ν(G)$ is the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. We study the invariant $ν(G)$, which was introduced in Zero-Sum Theory in the 1960s.
A Near-Optimal Linear Range for the Erdős Matching Conjecture
The Erdős Matching Conjecture is governed by two competing ways of excluding $s+1$ disjoint edges: one may concentrate all edges on fewer than $k(s+1)$ vertices, or force every edge to meet a fixed $s$-set. We determine a near-optimal range in which the second construction is extremal. For every fixed $k\ge2$, there is $s_0(k)$ such that, whenever $s\ge s_0(k)$ and $n\ge(k+1)s$, every $\mathcal{F}\subseteq\binom{[n]}k$ with $ν(\mathcal{F})\le s$ satisfies\[
|\mathcal{F}|\le\binom nk-\binom{n-s}k,
\]with equality only for the family of all $k$-sets meeting a fixed $s$-set. This lowers the best previous general linear coefficient from $(5k-2)/3$ to $k+1$. Since the two conjectured constructions exchange asymptotic dominance at $n=(ρ_k+o(1))s$ for a coefficient $ρ_k\in(k,k+1)$, our range lies less than one unit above the unavoidable barrier. We also prove a stability theorem showing that cover families are the only near-extremal configurations throughout this range. A key ingredient in our proof is a probabilistic rigidity statement which forces near-extremal fractional covers to be almost integral.
The critical probability for percolation on finite graphs
We determine the critical probability for Bernoulli bond percolation on essentially any finite graph. Namely, letting $λ(G)$ denote the spectral radius (maximum eigenvalue) of $G$, we prove that the critical probability is at $1/λ(G)$: above this probability there is typically a component of order $Ω(λ(G))$, whereas below it all components are of order at most $O(\sqrt{|G|})$. These results in particular confirm a conjecture of Krivelevich and Samotij about percolation on graphs of a given average degree, and vastly extend theorems of Bollobás, Borgs, Chayes, and Riordan, who proved analogous results but only for dense graphs. Our theorems are optimal in many regimes, and also demonstrate that percolation has an unexpectedly subtle behaviour on graphs whose spectral radius is roughly the square root of their maximum degree.
The Unfair 0-1 Polynomial Problem and High-Degree Trinomials
The unfair $0$--$1$ polynomial conjecture asks whether a factorization \[C(x)=A(x)B(x),\] with $A$ and $B$ monic and having nonnegative real coefficients, must already be a factorization into $0$--$1$ polynomials.
Let $k$ be odd and $0<a<1$. We study the possibility that \[1+a x^2+x^k\] divides a $0$--$1$ polynomial with a nonzero cofactor having nonnegative real coefficients. Ghidelli settled the first nontrivial case $k=5$, and the cases $k=7,9,11$ were treated subsequently by finite recurrence and spectral arguments. We prove that no such factorization exists for any odd $k\ge 341$.
A random walk on p-groups with a symmetric perfect pairing
The kernel of a random symmetric p-adic matrix is a random abelian group, equipped with a symmetric pairing. If we consider not only the matrix but also its top-left corners, we get a process valued in isomorphism classes of abelian groups, equipped with such a pairing. We show that when the matrix is Haar random, this process is a Markov chain, generated by an operator that we explicitly describe. We will also prove that this operator is reversible with respect to a Cohen-Lenstra type measure.
The regular pentagon is canonically Ramsey
A set of points $C\subset \mathbb{R}^n$ is canonically Ramsey if there is some larger set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$ contains either a monochromatic copy of $C$ or a rainbow copy of $C$. Mao, Ozeki, and Wang introduced this notion, showing that the 30-60-90 triangle is canonically Ramsey. Since then, many other configurations have been shown to be canonically Ramsey. The author showed that cuboids are canonically Ramsey. Ge, Shu, Xu, and Yu later showed that all simplices are canonically Ramsey, after which the author showed that all products of simplices are canonically Ramsey, a class which, together with its closure under taking subsets, includes all previously known canonically Ramsey sets. We prove that regular polygons with a prime number of sides are canonically Ramsey---the first known sets outside this class.
On the order-diameter ratio of girth-diameter cages
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:4, SOFSEM 2026, Special issues (October 5, 2026) dmtcs:17595
• View Publication
• BIB
For integers $k,g,d$, a $(k;g,d)$-cage (or simply girth-diameter cage) is a smallest $k$-regular graph of girth $g$ and diameter $d$ (if it exists). The order of a $(k;g,d)$-cage is denoted by $n(k;g,d)$. We determine asymptotic lower and upper bounds for the ratio between the order and the diameter of girth-diameter cages as the diameter goes to infinity. We also prove that this ratio can be computed in constant time for fixed $k$ and $g$.
We theoretically determine the exact values $n(3;g,d)$, and count the number of corresponding girth-diameter cages, for $g \in \{4,5\}$. Moreover, we design and implement an exhaustive graph generation algorithm and use it to determine the exact order of several open cases and obtain -- often exhaustive -- sets of the corresponding girth-diameter cages. The largest case we generated and settled with our algorithm is a $(3;7,35)$-cage of order 136.
An Approximate Version of Vu's Theorem on Economical Subbases For Non-Integer Exponents
We prove an approximate analog of Vu's Theorem on economical bases of $k$th powers for non-integer powers. Fix a non-integer $θ> 2$ and real $τ> 0$. Let $s \geq θ^2+9θ^{3/2}+2 $ if $θ> 3$ and $s \geq (\lfloor 2θ\rfloor+1)(\lfloor 2θ\rfloor+2)+1$ if $2 < θ< 3$. We show the existence of a set $\mathfrak{X} \subseteq \mathbb{N}$ such that the number $R_{\mathfrak{X},s,θ,τ}(Λ)$ of integer solutions $(x_1,\ldots,x_s) \in \mathfrak{X}^s$ to the equation \begin{align*} |x_1^θ +\cdots+ x_s^θ - Λ| < τ\end{align*} satisfies $R_{\mathfrak{X},s,θ,τ}(Λ) \asymp τ\log(Λ)$ for all sufficiently large real $Λ> 0$.
Incidence Rank and Bounded Defect for Linear Hypergraphs with Cograph Line Graphs
Let $N(H)$ be the edge--vertex incidence matrix of a finite linear $s$-uniform hypergraph whose line graph is a cograph, and define \[ R_s(H)=(s+1)\operatorname{rank}_{\mathbb R}N(H)-s|E(H)|. \] The inequality $R_s(H)\ge0$ holds, with equality characterized by affine planes of order $s$ on every row-dependent component. Under the corresponding finite-net completion hypothesis, connected systems with bounded $R_s$ admit an explicit classification.
If $F$ is connected, $R_s(F)=d\le s-1$, the completion hypothesis holds through deficiency $d$, and $s>(d-1)^2$, then either $N(F)$ has full row rank and $|E(F)|=d$, or $F$ lies in a unique affine plane of order $s$. In the latter case, for some $0\le h\le d$, the system contains every line in $s+1-h$ parallel classes and exactly $d-h$ additional lines from the remaining $h$ classes. Conversely, each such system has defect $d$.
Bruck's theorem gives the classification for every fixed $d$ and all sufficiently large $s$, while Metsch's completion theorem covers $d=o(s^{1/3})$. As a global consequence, if the total defect is at most $D$ in the completion range, deleting at most $D$ edges leaves a vertex-disjoint union of finite nets and affine planes. The associated column defect and row leverage are determined explicitly as well.
${}_5F_4$ evaluations and a family of $π^2+\log^2$ identities
We evaluate the series $\sum_{n\ge1} z^n\big/\!\big(n^2\binom{4n}{n}\big)$, equal to $-\tfrac{z}{4}\,{}_5F_4\!\left(1,1,1,\tfrac43,\tfrac53;\tfrac54,\tfrac32,\tfrac74,2;\tfrac{27z}{256}\right)$, in closed form at an infinite family of algebraic points indexed by a rational angle $θ=jπ/N$. Each value equals $c\,π^2$ plus a universal rational quadratic form in three logarithms, with $c=-\tfrac13\left(1-\tfrac{2j}{N}\right)^2$. This is the quartic-base case reached but not evaluated by D'Aurizio and Di Trani. The proof is self-contained: an exact integer factor relating two weights, followed by Landen's identity, reduces the integral to a sum of squared logarithms.
Multiplicity-Isolated Cores and Chromatic Symmetric Reconstruction of Trees
Stanley's tree-isomorphism conjecture asks whether the chromatic symmetric function distinguishes nonisomorphic trees. We give a reconstruction criterion that permits repeated leaf-component orders. For a proper tree, collapse each leaf component to its center and record its order as a vertex weight. We prove that the chromatic symmetric function reconstructs the tree whenever every nonleaf vertex of this weighted core has a weight that occurs nowhere else in the core. Repetitions among core leaves are unrestricted. The proof uses only the leading star-basis partition and the coefficients immediately above it. As a consequence, the conjecture holds for an infinite class of diameter-six trees not covered by the condition that all leaf-component orders are distinct. We also give a canonical integer-partition model for arbitrary diameter-six trees and an exact cut-partition implementation intended for further work. The unrestricted diameter-six case remains open.
Near-MDS codes of lengths q+6 and q+7 from conics in PG(2,q), q odd
Near maximum distance separable (NMDS) codes of dimension 3 and length n over the finite field with q elements are equivalent to (n,3)-arcs in PG(2,q). For every odd prime power q we construct, by adding five suitable points to a conic of PG(2,q), a family of [q+6,3,q+3] NMDS codes and determine their weight distributions completely; three distinct weight enumerators occur, governed by two explicit quadratic-character conditions on the parameters. For every odd prime power q, no code of our family is monomially equivalent to a code of the recent [q+6,3,q+3] NMDS family of Fan, Wang and Xu, even where the weight enumerators of the two families coincide: the separating invariant is a triple of geometric data attached to the underlying arc. Extending the configuration by a sixth point on a distinguished external line, we further obtain [q+7,3,q+4] NMDS codes, together with their weight distributions, for every odd prime power q >= 11 (admissible parameters exist for no q <= 9); the existence proof combines exact and Weil-type character sum estimates with a finite computer verification. Our proofs are purely geometric and rest on a simple counting identity for the trisecant lines of a point set obtained by extending a conic. All the codes constructed are optimal locally recoverable codes with locality 2.
On the Triangle Inequality for the Jaccard Distance in Arbitrary Lattices
This paper presents new theoretical results on generalizing the Jaccard distance for lattices and real valuations. We demonstrate that when the valuation is strictly positive, monotone, and modular, the Jaccard distance satisfies the triangle inequality on arbitrary lattices, effectively generalizing earlier results that depended heavily on distributivity. Moving to relatively complemented distributive lattices (which safely drop the requirement for the global bounds found in Boolean algebras), we prove the triangle inequality holds as long as the valuation is positive, monotone, supermodular, and $\log$-submodular. Additionally, we adapt the symmetric-difference Jaccard formulation for submodular valuations to sectionally complemented distributive lattices. Shifting to necessary conditions, we prove that supermodularity is a strict requirement for the standard generalized Jaccard distance to operate as a valid metric. Finally, we map the practical value of relaxing these structural constraints to computational fields like quantum information theory, formal concept analysis, and machine learning, closing with a brief look at open mathematical problems.