SearcharxivSearch

arXiv subjects

Peiru Kuang

Publications and source records attributed to Peiru Kuang.

9 recordsLinked to original sources

An improved bound on the minimum size of Tur\'an $(r+1,r)$-systems

For positive integers $n\ge s>r$, let $T(n,s,r)$ denote the minimum number of edges in an $r$-uniform hypergraph on $n$ vertices such that every $s$-set of vertices contains at least one edge. A simple averaging argument shows that the ratio $T(n,s,r)/\binom nr$ is non-decreasing in $n$ and we denote its limit as $n\to\infty$ by $t(s,r)$. The case $s=r+1$ has a rich history, with the previously best known asymptotic bounds for $r\to\infty$ being $1\le r\cdot t(r+1,r)\le 4.91...$ . In this paper, we present a simple probabilistic construction which shows that $(r+2)\cdot t(r+1,r)\le 4$ for every $r\ge1$. We also derandomise it and discuss applications to covering codes.

math.CO

Covering the ternary cube by binary subcubes

For an integer $n\ge0$, let $f(n)$ be the minimum number of subcubes of $\mathbb{Z}_3^n$ of the form $A_1\times\cdots\times A_n$, where $|A_i|=2$ for every $i$, whose union covers $\mathbb{Z}_3^n$. A simple counting argument gives $f(n)\ge(3/2)^n$, while $f(n)=O(n(3/2)^n)$ by random construction. We prove that $f(n)\le2(3/2)^n-1$, answering a problem of Imre Leader. We also show that $f(n)/(3/2)^n$ is nondecreasing and there exists a constant $C_3$ such that $f(n)=(C_3+o(1))(3/2)^n$ where $1.62227<C_3\le2$.

math.CO

An Optimal Bound for Ramsey Goodness of Cycles

For graphs $F$ and $H$, the Ramsey number $R(F,H)$ is the minimum integer $N$ such that every $N$-vertex graph contains $F$ or its complement contains $H$. If $F$ is connected and $|F|\ge\sigma(H)$, a construction of Burr gives $R(F,H)\ge(\chi(H)-1)(|F|-1)+\sigma(H)$, where $\sigma(H)$ denotes the minimum order of a color class in a proper $\chi(H)$-coloring of $H$. Burr proved that this bound is attained for $F=C_n$ when $n$ is sufficiently large. Allen, Brightwell and Skokan conjectured that equality already holds whenever $n\geq |H| \chi(H)$, while Haslegrave, Hyde, Kim and Liu subsequently proved it whenever $n\ge C|H|\log^4\chi(H)$. Pokrovskiy and Sudakov conjectured that the optimal linear condition $n\geq C|H|$ suffices; this conjecture was also highlighted by Montgomery in his 2026 ICM survey (see Conjecture 9.2). In this paper, we resolve this conjecture by proving that there is an absolute constant $C>0$ such that $R(C_n,H)=(\chi(H)-1)(n-1)+\sigma(H)$ for every nonempty graph $H$ and every $n\ge C|H|$. This gives the first bound linear in $|H|$, and is best possible up to a constant factor. Our proof builds on the framework of Haslegrave, Hyde, Kim and Liu, and combines some new ideas in expansion and switching cycle lengths.

math.CO

Solutions to Two Problems of S\'ark\"ozy and S\'os on Additive Representation Functions

For a set $A\subseteq\mathbb{N}_0$, let $r_1(A,n)$ denote the number of solutions of the equation $a+a^{\prime}=n$ with $a,a^{\prime}\in A$, and let $r_2(A,n)$ denote the number of such solutions subject to $a\le a^{\prime}$. These functions are called additive representation functions (as first considered by Erd\H{o}s, S\'ark\"ozy and S\'os). In this paper, we resolve two problems posed by S\'ark\"ozy and S\'os in 1997. First, if $A$ is infinite and $r_2(A,2m+1)\ge r_2(A,2m)$ for every sufficiently large $m$, then the complement of $A$ is finite. This gives a negative answer to Problem 3.1 in~\cite{SarkozySos1997}. Secondly, there exist an arithmetic function $f$ satisfying $f(n) \to \infty$, $f(n+1) \ge f(n)$ for $n > n_0$, and $f(n) = o\left(\frac{n}{(\log n)^2}\right)$, and a set $A$ such that \( |r_1(A,n) - f(n)| = o((f(n))^{1/2}) \) holds on a sequence of integers $n$ whose density is $1$. This gives a positive answer to Problem 3.3 in~\cite{SarkozySos1997}.

math.NT

Proofs of Two Conjectures of Alon on Subgraph Counts

All graphs considered are finite with no isolated vertices. Let $N(m,H)$ be the maximum number of subgraphs of a graph $G$ isomorphic to $H$, taken over all graphs $G$ with $m$ edges. Alon proved that $N(m,H)=\Theta_H(m^{\gamma(H)})$, where $\gamma(H)=(|V(H)|+D(H))/2$ and $D(H)=\max_{S\subseteq V(H)}(|S|-|N_H(S)|)$, and conjectured [Conjecture 1, Isr. J. Math., 1986] that limit of $N(m,H)/m^{\gamma(H)}$ exists as $m\to\infty$. We prove this conjecture and identify the limit as $\lambda(H)=\Lambda(H)/|\operatorname{Aut}(H)|$, where $\Lambda(H)$ is characterized by a variational problem over finite cores. We also resolve another conjecture of Alon [Conjecture 2, Isr. J. Math., 1986], which stated that if $H$ is a disjoint union of stars, then for every $m$ an extremal graph attaining $N(m,H)$ may be chosen to be a disjoint union of stars.

math.CO

Tight Bound for Nikiforov's Spectral Even-Cycle Conjecture

Nikiforov conjectured that, for every fixed $k\ge2$ and all sufficiently large $n$, the unique $n$-vertex $C_{2k+2}$-free graph with maximum adjacency spectral radius is $S^+_{n,k}$, where $S_{n,k}=K_k\vee\overline K_{n-k}$ and $S^+_{n,k}$ is obtained from $S_{n,k}$ by adding one edge inside the independent part. Cioab\u{a}, Desai and Tait proved this conjecture for $n\ge k^{O(k)}$. Later, Li and Ning raised the problem of determining the optimal exponent $\gamma=\gamma(k)$ such that the same conclusion holds for $n\ge \Omega(k^{\gamma(k)})$. We prove a stronger uniform theorem for Nikiforov's matrices $A_\alpha(G)=\alpha D(G)+(1-\alpha)A(G)$. More precisely, for every $\epsilon>0$ there are constants $C_\epsilon$ and $k_\epsilon$ such that for all $0\le\alpha\le1-\epsilon$, $k\ge k_\epsilon$ and $n\ge C_\epsilon k$, every $n$-vertex $C_{2k+2}$-free graph $G$ satisfies $\rho_\alpha(G)\le\rho_\alpha(S^+_{n,k})$, with equality if and only if $G\cong S^+_{n,k}$. In particular, the case $\alpha=0$ answers the problem of Li and Ning, and the $A_\alpha$-spectral even-cycle threshold is linear in $k$, uniformly for all $\alpha$ bounded away from $1$. Our proof introduces a weighted rooted Erd\H{o}s--Gallai type path lemma, which may be of independent interest in Perron-vector methods for spectral extremal graph problems. The same method also yields asymptotically tight $A_\alpha$-spectral bounds for two local forbidden-subgraph families, namely $(K_1\vee P_\ell)$-free graphs and $F_s$-free graphs, where $F_s$ denotes the friendship graph.

math.CO

Induced subdivisions in graphs of large girth

In this paper, we prove that there exists an absolute constant $g_0$ such that, for every integer $k\ge 3$, every graph $G$ with $\delta(G)\ge k$ and $g(G)\ge g_0$ contains an induced subdivision of $K_{k+1}$. This fully resolves a problem raised by K\"{u}hn and Osthus (originally attributed to Shi), and improves a recent result of Gir\~{a}o and Hunter. Our proof uses some ideas from Gir\~{a}o and Hunter. Another main ingredient in our proof is an induced variant of Mader's theorem: for every fixed \(s,\eta,D\), every graph \(J\) with \(\Delta(J)\le D\), \(d(J)>s-2+\eta\) and sufficiently large girth contains an induced subdivision of \(K_s\).

math.CO

Nearly tight bound for rainbow clique subdivisions in properly edge-colored graphs and applications

An edge-colored graph is said to be rainbow if all its edges have distinct colors. In this paper, we study the rainbow analogue of a fundamental result of Mader [\emph{Math. Ann.} \textbf{174} (1967), 265--268] on the existence of subdivisions in graphs with large average degree. This is part of the study of rainbow analogues of classical Tur\'an problems, a framework systematically introduced by Keevash, Mubayi, Sudakov and Verstra\"ete [\emph{Combin. Probab. Comput.} \textbf{16} (2007), 109--126]. We prove that every properly edge-colored graph on $n$ vertices with average degree at least $t^2(\log n)^{1+o(1)}$ contains a rainbow subdivision of $K_t$. When $t$ is a constant, this bound is tight up to the $o(1)$ term. So it essentially resolves a question raised by Jiang, Methuku and Yepremyan [\emph{European J. Combin.} \textbf{110} (2023), 103675] on rainbow clique subdivisions, and also implies a result of Alon, Buci\'c, Sauermann, Zakharov and Zamir [\emph{Proc. Lond. Math. Soc.} \textbf{130} (2025), e70044] on rainbow cycles. In addition, we present several applications of our result to problems in additive combinatorics, number theory and coding theory.

math.CO

Tight bounds for judicious 3-partitions of graphs

In this paper, we show that every graph with $m$ edges admits a 3-partition such that \[ \max_{1 \leq i \leq 3} e(V_i) \leq \frac{m}{9} + \frac{1}{9}h(m) \quad \text{and} \quad e(V_1, V_2, V_3) \geq \frac{2}{3}m + \frac{1}{3}h(m), \] where $h(m) = \sqrt{2m + 1/4} - 1/2$. This answers a problem of Bollob\'as and Scott affirmatively. We also solve several related problems of Bollob\'as and Scott. All of our results are tight.

math.CO