arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2004.07457math.CO
收藏

二部图中的非对称列表大小

Asymmetric list sizes in bipartite graphs

Noga Alon, Stijn Cambie, Ross J. Kang

AI总结:

本文研究二部图中两侧列表大小非对称的列表着色问题,给出近乎尖锐的充分与必要条件,并提出三项非对称推广猜想。

摘要:

给定一个二部图,其两部分 $A$ 和 $B$ 的最大度分别至多为 $Δ_A$ 和 $Δ_B$,考虑一种列表分配,使得 $A$ 或 $B$ 中的每个顶点分别被赋予大小为 $k_A$ 或 $k_B$ 的颜色列表。我们证明了若干用 $Δ_A$、$Δ_B$、$k_A$、$k_B$ 表示的一般充分条件,用以保证存在一种正常着色,使每个顶点仅使用其列表中的颜色着色。在高度非对称的情形下,这些条件在渐近意义下近乎尖锐。我们特别建立了一个充分条件,其中当 $Δ\to\infty$ 时,$Δ_A=Δ_B=Δ$、$k_A=\log Δ$ 且 $k_B=(1+o(1))Δ/\logΔ$。这构成了对 Krivelevich 和第一作者在1998年提出的一个猜想的部分进展。我们还通过完全情形与近似 Steiner 系统的极值大小之间的一种引人关注的联系,导出了一些必要条件。我们表明,对于完全二部图,这些条件在参数空间的很大一部分中在渐近意义下近乎尖锐。这引出了以下猜想。在上述设置中,我们猜想在下列情形下总能保证存在正常列表着色:如果对任意 $\varepsilon>0$,只要 $Δ_A$ 和 $Δ_B$ 足够大,就有 $k_A \ge Δ_A^\varepsilon$ 且 $k_B \ge Δ_B^\varepsilon$;如果对某个绝对常数 $C>1$,有 $k_A \ge C \logΔ_B$ 且 $k_B \ge C \logΔ_A$;或者如果 $Δ_A=Δ_B=Δ$,且对某个绝对常数 $C>0$,有 $k_B \ge C (Δ/\logΔ)^{1/k_A}\log Δ$。这些是上述 Krivelevich 和第一作者猜想的非对称推广,而且如果成立,它们接近最优。我们的一般充分条件为这些猜想提供了部分进展。

英文摘要:

Given a bipartite graph with parts $A$ and $B$ having maximum degrees at most $Δ_A$ and $Δ_B$, respectively, consider a list assignment such that every vertex in $A$ or $B$ is given a list of colours of size $k_A$ or $k_B$, respectively. We prove some general sufficient conditions in terms of $Δ_A$, $Δ_B$, $k_A$, $k_B$ to be guaranteed a proper colouring such that each vertex is coloured using only a colour from its list. These are asymptotically nearly sharp in the very asymmetric cases. We establish one sufficient condition in particular, where $Δ_A=Δ_B=Δ$, $k_A=\log Δ$ and $k_B=(1+o(1))Δ/\logΔ$ as $Δ\to\infty$. This amounts to partial progress towards a conjecture from 1998 of Krivelevich and the first author. We also derive some necessary conditions through an intriguing connection between the complete case and the extremal size of approximate Steiner systems. We show that for complete bipartite graphs these conditions are asymptotically nearly sharp in a large part of the parameter space. This has provoked the following. In the setup above, we conjecture that a proper list colouring is always guaranteed * if $k_A \ge Δ_A^\varepsilon$ and $k_B \ge Δ_B^\varepsilon$ for any $\varepsilon>0$ provided $Δ_A$ and $Δ_B$ are large enough; * if $k_A \ge C \logΔ_B$ and $k_B \ge C \logΔ_A$ for some absolute constant $C>1$; or * if $Δ_A=Δ_B = Δ$ and $ k_B \ge C (Δ/\logΔ)^{1/k_A}\log Δ$ for some absolute constant $C>0$. These are asymmetric generalisations of the above-mentioned conjecture of Krivelevich and the first author, and if true are close to best possible. Our general sufficient conditions provide partial progress towards these conjectures.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑