## Abstract

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 Δ → ∞. 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 guaranteedif kA≥ΔAε and kB≥ΔBε for any ε> 0 provided Δ _{A} and Δ _{B} are large enough;if k_{A}≥ Clog Δ _{B} and k_{B}≥ Clog Δ _{A} for some absolute constant C> 1 ; orif Δ _{A}= Δ _{B}= Δ and kB≥C(Δ/logΔ)1/kAlogΔ 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.

Original language | English (US) |
---|---|

Pages (from-to) | 913-933 |

Number of pages | 21 |

Journal | Annals of Combinatorics |

Volume | 25 |

Issue number | 4 |

DOIs | |

State | Published - Dec 2021 |

## All Science Journal Classification (ASJC) codes

- Discrete Mathematics and Combinatorics