Asymmetric list sizes in bipartite graphs

Given a bipartite graph with parts $A$ and $B$ having maximum degrees at most ${\mathrm{\Delta }}_A$ and ${\mathrm{\Delta }}_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 ${\mathrm{\Delta }}_A$, ${\mathrm{\Delta }}_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 ${\mathrm{\Delta }}_A={\mathrm{\Delta }}_B=\mathrm{\Delta }$, $k_A=\log \mathrm{\Delta }$ and $k_B=(1+o(1))\mathrm{\Delta }\mathrm{/}\log \mathrm{\Delta }$ as $\mathrm{\Delta }\to \mathrm{\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 {\mathrm{\Delta }}_A^{\epsilon }$ and $k_B\ge {\mathrm{\Delta }}_B^{\epsilon }$ for any $\epsilon >0$ provided ${\mathrm{\Delta }}_A$ and ${\mathrm{\Delta }}_B$ are large enough;
• if $k_A\ge C\log {\mathrm{\Delta }}_B$ and $k_B\ge C\log {\mathrm{\Delta }}_A$ for some absolute constant $C>1$; or
• if ${\mathrm{\Delta }}_A={\mathrm{\Delta }}_B=\mathrm{\Delta }$ and $ k_B \ge C (\Delta/\log\Delta)^{1/k_A}\log \Delta$forsomeabsoluteconstant$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.