Search arXivSearch

arXiv · 2606.03520

Finite palette endpoints and degree-square Turán problems

Abstract

We study finite palette extremal problems motivated by uniform Turán densities of $3$-uniform hypergraphs. Given a self-converse tournament $T$ with at least two vertices, we determine the largest possible number of admissible triples in an $m$-color palette that avoids the left and right palettes associated with $T$. The answer is the one-sided degree-square Turán number \[ \operatorname{pal}_T(m) = \operatorname{ex}_2^+(m,T) = \max\left\{ \sum_{v\in V(D)} d_D^+(v)^2: |V(D)|=m,\ D\text{ is }T\text{-free} \right\}. \] Thus this palette problem is reduced to an extremal problem for digraph out-degrees. We then prove a prefix-majorization lemma for convex out-degree moments and apply it to directed cycles. In particular, $\operatorname{ex}_2^+(m,\overrightarrow C_3)=\frac{m(m^2-1)}3$, which gives the sharp $m$-color palette endpoint $\frac13-\frac{1}{3m^2}$ for the directed triangle. Combining this endpoint with the palette characterization of uniform Turán density and the palette separation theorem, we show that for every $m\ge2$ there is a finite $3$-graph $H_m$ such that \[ \frac13-\frac{1}{3m^2}\le π_u(H_m)\le \frac13. \] Hence there is a sequence of individual finite $3$-graphs whose uniform Turán densities converge to $1/3$. We also describe the extremal palettes, prove a qualitative edit-distance stability theorem, and compute the Lagrangian of the endpoint palette $\mathcal P_m^\star$. As a consequence, for every $m\ge2$ there is a finite family $\mathcal F_m$ of $3$-graphs with $π_u(\mathcal F_m)=\frac13-\frac{1}{3m^2}$, so $1/3$ is an accumulation point of uniform Turán densities of finite forbidden families.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jiangdong Ai, Bin Chen, Ming Chen, Zilong Yan, Tianxiao Zhao. 2026-07-15. Finite palette endpoints and degree-square Turán problems. https://arxiv.org/abs/2606.03520

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On Perfect Divisibility of Bull-Free Graphs Without Long Paths

A graph $G$ is {\em perfectly divisible} if, for every induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. Chudnovsky and Sivaraman [J. Graph Theory \textbf{90} (2019) 54-60] proved that every ($P_5$, bull)-free graph is perfectly divisible, while Chen and Xu [Discrete Appl. Math. \textbf{372} (2025) 298-307] proved the same for ($P_7,C_5$, bull)-free graphs. We extend these results by proving that every ($P_8,C_5$, bull)-free graph is perfectly divisible and that, letting $F$ denote the Grötzsch graph, a ($P_6$, bull)-free graph is perfectly divisible if and only if it is $F$-free.

math.CO

Covering graphs by isometric trees

A connected subgraph of a graph is isometric if it preserves distances. Recently, graphs admitting a vertex or edge covering by a small number of isometric paths have been studied. In this paper, we consider the analogous problem for isometric trees, focusing on the treewidth of graphs admitting a vertex or edge covering by a small number of such trees. Baste, De Meyer, Giocanti, Objois, and Picavet showed that for coverings by two isometric trees, the treewidth is bounded. We show that already for three isometric trees, the treewidth can be linear in the number of vertices. On the positive side, we show that for graphs of bounded degree coverable by a small number of isometric trees, the treewidth is sublinear in the number of vertices.

math.CO

Tree-independence number of $P_5$-free graphs with no large bicliques

The tree-independence number of a graph is the minimum, over all tree-decompositions of the graph, of the maximum size of an independent set contained in a bag. Graph classes of bounded tree-independence number have strong structural and algorithmic properties; however, the parameter can be unbounded even in quite restricted classes. In particular, the presence of an induced biclique $K_{\ell,\ell}$ forces tree-independence number at least $\ell$. This leads to the question whether large induced bicliques are the only obstruction to bounded tree-independence number in natural hereditary classes. A conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht states that for all positive integers $t$ and $\ell$, ${\{P_t,K_{\ell,\ell}\}}$-free graphs have bounded tree-independence number. We prove this conjecture for ${t=5}$ by showing that every ${\{P_5,K_{\ell,\ell}\}}$-free graph has tree-independence number at most ${4\ell-4}$. We also obtain related bounds for the weaker parameter of $α$-degeneracy and answer a question of Hilaire, Milanič, and Vasić whether tree-independence number of ${\{P_5,K_{\ell,\ell}\}}$-free graphs exceeds $\ell$ by at most an additive constant.

math.CO