arXiv subjects

Xizhi Liu

Publications and source records attributed to Xizhi Liu.

At least 19 recordsLinked to original sources

arXiv2026

Hypergraphs with zero uniform Turán density at intermediate levels

An $r$-uniform hypergraph $H$ is uniformly dense with respect to $j$-graphs if, up to a small error, at least a prescribed proportion of the $r$-cliques of every $j$-uniform hypergraph on the same vertex set are edges of $H$. For a forbidden hypergraph $F$, its uniform Turán density at level $j$ is the supremum of these density bounds over arbitrarily large $F$-free hypergraphs with the error tending to zero. For every $r\ge4$ and $1\le j\le r-3$, this paper proves that this Turán density is zero precisely when $F$ admits a vertex ordering in which every $(j+1)$-set shared by two edges occupies the same positions in both edges. This generalizes the zero-density characterizations of Erdős at $j=0$ and of Reiher, Rödl, and Schacht at $j=r-2$, and establishes the latter authors' proposed extension to the remaining nontrivial levels. Consequently, at level $j$, every positive uniform Turán density of a possibly infinite forbidden family is at least $N^{-N}$, where $N=\binom r{j+1}$. The proof combines hypergraph regularity with adjacent exchanges in spreadable random hypergraphs.

math.CO↗

arXiv2026

Strong counterexamples to Mubayi's supersaturation conjecture in every uniformity

The supersaturation problem asks, for a fixed $r$-graph $\mathcal F$, for the minimum number of copies of $\mathcal F$ in an $n$-vertex $r$-graph with $\ex(n,\mathcal F)+q$ edges. Mubayi conjectured a local form of supersaturation under a stability hypothesis: if $\mathcal F$ is non-$r$-partite and stable, meaning roughly that the extremal $\mathcal F$-free construction is unique and all near-extremal $\mathcal F$-free $r$-graphs are close to it, then this minimum should be at least $q c(n,\mathcal F)$, where $c(n,\mathcal F)$ is the minimum number of copies created by adding one edge to the extremal $\mathcal F$-free $r$-graph. We disprove this conjectured local lower bound in the strongest possible quantitative sense that the ratio to the conjectured lower bound can be made arbitrarily small. More precisely, for every $r\ge2$ and every $K>1$, we construct a stable non-$r$-partite $r$-graph $\mathcal F$ such that, for all sufficiently large $n$ and every $1\le q\leδn$, there is an $n$-vertex $r$-graph with $\ex(n,\mathcal F)+q$ edges containing at most $K^{-1}q c(n,\mathcal F)$ copies of $\mathcal F$. This arbitrarily large failure already occurs when $q=1$.

math.CO↗

arXiv2026

Density Hajnal--Szemerédi theorem for cliques of size four

The exact minimum-degree thresholds that guarantee the existence of $k$ vertex-disjoint copies of the complete graph $K_r$ in an $n$-vertex graph were determined in the celebrated theorems of Dirac (1952) for $r=2$, Corrádi--Hajnal (1963) for $r=3$, and Hajnal--Szemerédi (1970) for general $r \ge 4$. A natural and fundamental problem is to determine the corresponding average-degree (or density) thresholds. This problem turns out to be substantially more difficult. The seminal theorem of Erdős--Gallai (1959) resolved the case $r=2$. The case $r=3$ was settled for large $n$ by Allen, Böttcher, Hladký, and Piguet~\cite{ABHP15}, who remarkably identified four distinct classes of extremal constructions arising in different ranges of $k$. They further posed the problem of establishing a density analogue of the Hajnal--Szemerédi theorem, noting that ``We are not even sure what the complete family of extremal graphs should be.'' In this paper, we establish an asymptotic density Hajnal-SzemerHedi theorem for $K_4$ by determining $\mathrm{ex}(n,(k+1)K_4)$ up to an additive $O(n)$ term for all integers $n\ge 4k\ge 0$. Five families of constructions show that this bound is sharp up to an additive $O(n)$ term. For general $r\ge 5$, we propose a candidate family consisting of $r+1$ extremal construction classes.

math.CO↗

arXiv2026

Hitting time for loose Hamilton cycles in the random hypergraph process

The random hypergraph process starts with an empty hypergraph on $n$ vertices and adds a uniformly chosen missing edge at each step. For even $n$, we prove that, with high probability, a $3$-uniform loose Hamilton cycle appears when the last isolated vertex disappears. The approach developed here adapts arguments from Kahn's work on perfect matchings. It can also be extended to obtain the corresponding hitting-time theorems for $r=2$ and every fixed $r\ge4$ satisfying $(r-1)\mid n$. Furthermore, it can be used to estimate the numbers of loose Hamilton cycles at these hitting times for every fixed $r\ge2$, up to a factor of $\exp\{o(n)\}$.

math.CO↗

arXiv2026

Improved Sidorenko bound for hypergraph Turan densities

For every fixed integer $r\ge3$, we prove that the Turán density of every $r$-uniform hypergraph $F$ with $m\ge1$ edges satisfies $π(F)\le1-c_rm^{-(r-1)/r}$, where $c_r>0$ depends only on $r$. This improves Sidorenko's general bound, whose gap from $1$ is of order $m^{-1}$. Complete $r$-uniform hypergraphs show that the exponent $(r-1)/r$ is optimal. The proof combines a potential argument for partial embeddings with the Lovász Local Lemma.

math.CO↗

arXiv2026

On the structure of uniform Turán densities

Motivated by parallel developments in ordinary and $\ell$-degree Turán problems, we study the set of $(r-2)$-uniform Turán densities of possibly infinite families of $r$-uniform hypergraphs. We prove that, for all sufficiently large $r$, these densities exhibit a phase transition at $4r^{-r}$, from a countable set of algebraic values below this threshold to the full interval $[4r^{-r},1]$. For every $r\ge3$, the densities below the threshold are exactly the finite-palette Lagrangians in that range, and each is realized by a finite forbidden family. Adapting a method of Pikhurko, we show that, for every $r\ge3$, the set of uniform densities omits continuum many of its limit points below the threshold and is therefore not closed.

math.CO↗

arXiv2026

Vertex-colored Turán theorems with applications in extremal hypergraph problems

Balogh, Clemen, and Lidický proved that the $\ell_{2}$-norm Turán problem for $K_{5}^{3}$ is asymptotically solved by the balanced bipartite construction, and they further conjectured that this construction is uniquely extremal for all sufficiently large $n$. We confirm this conjecture. We also determine exactly the maximum number of cliques in an $n$-vertex $K_{5}^{3}$-free $3$-uniform hypergraph for all sufficiently large $n$, thereby verifying the corresponding case of a conjecture of Frankl, Gryaznov, and Talebanfard. The main ingredients are Turán-type theorems for vertex-colored graphs forbidding balanced cliques, including an edge bound, an $\ell_{2}$-norm bound, and a sharp crossing-triangle theorem in the two-colored balanced $K_{4}$-free case. We also use a local modification procedure within the stability method. This reduces the exact hypergraph problems to proving that the relevant objective function increases under suitable local changes near the bipartite construction.

math.CO↗

arXiv2026

Exact Turán number of the Fano plane in the $\ell_2$-norm

A classical object in hypergraph Turán theory is the Fano plane $\mathbb{F}$, the unique linear $3$-graph on seven vertices with seven edges. The Turán density and exact Turán number of $\mathbb{F}$, first proposed as a problem by Sós~\cite{Sos76} in the 1970s, were determined through a sequence of works by De Caen--Füredi~\cite{DCF00}, Füredi--Simonovits~\cite{FS05}, Keevash--Sudakov~\cite{KS05}, and Bellmann--Reiher~\cite{BR19}. Confirming a conjecture of Balogh--Clemen--Lidický~{\cite[Conjecture~3.1]{BCL22a}} in a stronger form, we establish an Andrásfai--Erdős--Sós--type stability theorem for $\mathbb{F}$ in the $\ell_2$-norm: there exists a positive constant $\varepsilon$ such that for large $n$, every $\mathbb{F}$-free $3$-graph on $n$ vertices with minimum $\ell_2$-norm degree at least $(5/4 - \varepsilon)n^3$ must be bipartite. As a consequence, for large $n$, the balanced complete bipartite $3$-graph is the unique extremal construction for the $\ell_{2}$-norm Turán problem of $\mathbb{F}$. Our proof includes a refinement of a classical result by Ahlswede--Katona~\cite{AK78} on counting stars, and the establishment of an Andrásfai--Erdős--Sós--type theorem for a multigraph Turán problem studied by Bellmann--Reiher~\cite{BR19}, both of which are of independent interest.

math.CO↗

arXiv2026

The Erdős Matching Conjecture for 4-uniform hypergraphs

We prove the Erdős Matching Conjecture for $4$-uniform hypergraphs for every matching number $s\ge6004$. Specifically, for integers $s\ge 6004$ and $n\ge 4s+4$, if a $n$-vertex 4-uniform hypergraph $\mathcal F$ does not contain a matching of size $s+1$, then \[ |\mathcal F|\le \max\left\{\binom{4s+3}{4},\binom n4-\binom{n-s}{4}\right\}. \] Our proof introduces a finite-board reduction for general uniformity. It reduces the global conjecture to a lower-uniformity bound and a fixed finite optimization at the two adjacent vertex numbers where the candidate constructions exchange dominance. In the $4$-uniform case the board has $19$ vertices, and its weighted inequality splits into $19$-, $15$-, and $11$-vertex layers. The hardest layer is resolved by exact rational dual certificates and deterministic integer searches. All computer-assisted steps are checked in exact arithmetic by verifiers that reconstruct the finite systems directly from their mathematical definitions.

math.CO↗

arXiv2026

Turing universality, computability, and incompleteness in hypergraph Turán theory

Given a finite family $\mathcal F$ of forbidden $r$-graphs, the Turán problem asks for the maximum asymptotic edge density of $\mathcal F$-free $r$-graphs and the structure of near-extremal examples. We show that both questions can encode arbitrary computation. Fix a universal Turing machine $\mathsf U$. For every sufficiently large fixed $r$, there is a rational $τ_r\in(0,1)$ such that, from each binary word $β$, one can construct a finite family $\mathcal F_{r,β}$ with $π(\mathcal F_{r,β})=τ_r$ if $\mathsf U$ does not halt on $β$, and $π(\mathcal F_{r,β})>τ_r$ otherwise. The same dichotomy governs extremal structure. We construct finite families $\mathcal G_{r,β}$ such that nonhalting gives a unique extremal limit and Erdős--Simonovits stability, whereas halting gives two nonempty compact extremal phases separated by the sign of a fixed continuous statistic. Hence uniqueness and connectedness of the extremal space, symmetry breaking, two-phase behavior, and stability are all undecidable. The reductions are effective and verifiable in ZFC by finite certificates. Consequently, for every consistent computably axiomatized extension of ZFC and every sufficiently large fixed $r$, there is a finite family $\mathcal F$ for which the true equality $π(\mathcal F)=τ_r$ is neither provable nor refutable; analogous independence holds for the five structural properties above. We also obtain effective approximation, classify exact comparison complexity, and show that the smallest improvement witnesses have Busy-Beaver growth, with no uniform computable positive lower bound on the density gain.

math.CO↗

arXiv2026

Covering large-dimensional Euclidean spaces by random translates of a given convex body

Determining the minimum density of a covering of $\mathbb{R}^{n}$ by Euclidean unit balls as $n\to\infty$ is a major open problem, with the best known results being the lower bound of $\left(\mathrm{e}^{-3/2}+o(1)\right)n$ by Coxeter, Few and Rogers [Mathematika 6, 1959] and the upper bound of $\left(1/2+o(1) \right)n \ln n$ by Dumer [Discrete Comput. Geom. 38, 2007]. We prove that there are ball coverings of $\mathbb{R}^n$ attaining the asymptotically best known density $\left(1/2+o(1) \right)n \ln n$ such that, additionally, every point of $\mathbb{R}^n$ is covered at most $\left(1.79556... + o(1)\right) n \ln n$ times. This strengthens the result of Erdős and Rogers [Acta Arith. 7, 1961/62] who had the maximum multiplicity at most $\left(\mathrm{e} + o(1)\right) n \ln n$. On the other hand, we show that the method that was used for the best known ball coverings (when one takes a random subset of centres in a fundamental domain of a suitable lattice in $\mathbb{R}^n$ and extends this periodically) fails to work if the density is less than $(1/2+o(1))n\ln n$; in fact, this result remains true if we replace the ball by any convex body $K$. Also, we observe that a ``worst'' convex body $K$ here is a cube, for which the packing density coming from random constructions is only $(1+o(1))n\ln n$.

math.CO↗

arXiv2026

Sabotaging Mantel's Theorem

One of the earliest results in extremal graph theory, Mantel's theorem, states that the maximum number of edges in a triangle-free graph $G$ on $n$ vertices is $\lfloor n^2/4 \rfloor$. We investigate how this extremal bound is affected when $G$ is additionally required to contain a prescribed graph $H$ as a subgraph. We establish general upper and lower bounds for this problem, which are tight in the exponent for random triangle-free graphs and graphs generated by the triangle-free process, when the size of $H$ lies within certain ranges.

math.CO↗

arXiv2026

Tight Hamiltonian Cycles in Uniformly Dense $3$-Graphs

We study minimum degree conditions for tight Hamiltonian cycles in uniformly dense $3$-uniform hypergraphs. We prove that for every $d,α>0$, every sufficiently large $(ρ,d)$-dense $3$-graph on $n$ vertices with minimum codegree at least $(1/3+α)n$ contains a tight Hamiltonian cycle. This resolves a problem of Aigner-Horev and Levy in a stronger form, and the constant $1/3$ is asymptotically best possible. We also show that uniform density does not lower the asymptotic vertex-degree threshold: there are $(ρ,d)$-dense $3$-graphs with minimum vertex degree $(5/9-o(1))\binom{n}{2}$ and no tight Hamiltonian cycle. Finally, we construct $(ρ,2-\sqrt{3})$-dense examples with minimum codegree $(2-\sqrt{3}-o(1))n$ and no tight Hamiltonian cycle, answering negatively a question of Ara{ú}jo, Piga and Schacht.

math.CO↗

arXiv2026

Nearly Sharp Bounds for Lattice Coverings by Convex Bodies

For an $n$-dimensional convex body $K$, let $θ_L(K)$ denote its lattice covering density, and let $Θ_L^{\mathrm{conv}}(n)$ and $Θ_L^{\mathrm{sym}}(n)$ be the corresponding worst-case quantities over all convex bodies and over origin-symmetric convex bodies, respectively. Before this work, these quantities were known only to lie between a lower bound of order $n$ and an upper bound of order $n^2$, so even their polynomial order was undetermined. We prove that there are absolute constants $c,C>0$ such that \[ c n\log n \le Θ_L^{\mathrm{sym}}(n) \le Θ_L^{\mathrm{conv}}(n) \le Cn\log n\,(\log\log n)^{10/3+o(1)}. \] Thus both worst-case quantities are $n\log n\,(\log n)^{o(1)}$, and the upper and lower bounds differ by a factor at most $(\log\log n)^{10/3+o(1)}$. For the upper bound, a vertical--horizontal amplification based on weighted Boolean cubes combines covering estimates for low-codimensional sections into an exact lattice covering of an arbitrary convex body. For the lower bound, a random-slab construction and Poisson witnesses on flat tori show, with positive probability, that the resulting body admits no lattice covering of density below $c n\log n$.

math.MG↗

arXiv2026

Forcing Quasirandomness via Rooted F-Densities

Let $F$ be a finite graph with at least one edge, and let $W$ be a graphon. We show that if the density of $F$ rooted at each edge is almost everywhere constant, then either $t(F,W)=0$ or $W$ is constant. For edge-transitive $F$, one rooted equation suffices. This recovers the edge-rooted triangle theorem of Reiher and Schacht. In their terminology, our result also shows that every clique is $2$-forcing, answering a question they posed. We give an explicit stability estimate when $W$ is bounded away from zero. Our proof has two steps: an entropy argument turns constant rooted densities into an additive identity for $\log W$, and a Hoeffding decomposition determines all solutions of that identity. The same method gives exact classifications and quantitative stability estimates for symmetric uniform hyperkernels, dissociated Aldous--Hoover hypergraphons, directed kernels, and tournamentons.

math.CO↗

arXiv2026

Intervals of uniform Turán densities

We prove that the set $Π_{\therefore,\infty}$ of uniform Turán densities of possibly infinite families of $3$-graphs contains a terminal interval: there exists $δ>0$ such that $[1-δ,1]\subseteqΠ_{\therefore,\infty}$. Consequently, $Π_{\therefore,\infty}$ has positive Lebesgue measure and Hausdorff dimension $1$.

math.CO↗

arXiv2026

The inducibility of 6-vertex graphs

The inducibility constant $λ_{F}$ of a graph $F$ is the asymptotically maximum induced density of $F$ in a growing sequence of graphs. This paper systematically investigates the case when $F$ has 6 vertices (and there are 78 cases to consider up to isomorphism and complementation). We show that flag algebras can compute the sharp upper bound on $λ_F$ in 36 cases of which, as far as the authors know, 30 are new results. In each of the solved cases, we also prove results about the structure of large (almost) extremal graphs. In particular, we establish perfect stability in all 32 cases when the extremal construction has no quasirandom parts. We also present conjectures about the value of $λ_{F}$ for 12 further cases (where the upper and lower bounds are very close to each other).

math.CO↗

arXiv2026

On Mubayi's Polynomial-Ideal Conjecture and a Hypergraph Turán Theorem

Among the many proofs of Turán's classical theorem, one particularly surprising proof due to Li and Li uses ideals in polynomial rings to record missing edges. Motivated by their proof, Mubayi proposed a hypergraph analogue, conjecturing that an ideal generated by multipartite $3$-graphs coincides with a differentiated diagonal-vanishing ideal. If true, this conjecture would imply the extremal-number part of Mubayi's classical hypergraph extension of Turán's theorem. We disprove this conjecture throughout the nontrivial parameter range. We then give an alternative algebraic proof of Mubayi's extremal formula for the family $\mathcal{K}_{\ell}^{(r)}$ of clique expansions, using monomial cover ideals and a Hilbert-function symmetrization theorem for square-zero quadratic monomial quotients.

math.CO↗