Abstract
Given a bipartite graph with parts A and B having maximum degrees at most \(\Delta _A\) and \(\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 \(\Delta _A\), \(\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 \(\Delta _A=\Delta _B=\Delta \), \(k_A=\log \Delta \) and \(k_B=(1+o(1))\Delta /\log \Delta \) as \(\Delta \rightarrow \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 \Delta _A^\varepsilon \) and \(k_B \ge \Delta _B^\varepsilon \) for any \(\varepsilon >0\) provided \(\Delta _A\) and \(\Delta _B\) are large enough;

if \(k_A \ge C \log \Delta _B\) and \(k_B \ge C \log \Delta _A\) for some absolute constant \(C>1\); or

if \(\Delta _A=\Delta _B = \Delta \) and \( k_B \ge C (\Delta /\log \Delta )^{1/k_A}\log \Delta \) for some absolute constant \(C>0\).
These are asymmetric generalisations of the abovementioned 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.
Introduction
List colouring of graphs, whereby arbitrary restrictions on the possible colours used per vertex are imposed, was introduced independently by Erdős, Rubin and Taylor [10] and by Vizing [16]. Let \(G = (V,E)\) be a simple, undirected graph. For a positive integer k, a mapping \(L: V\rightarrow \left( {\begin{array}{c}{{\mathbb {Z}}}^+\\ k\end{array}}\right) \) is called a klistassignment of G; a colouring \(c: V\rightarrow {{\mathbb {Z}}}^+\) is called an Lcolouring if \(c(v)\in L(v)\) for any \(v\in V\). We say G is kchoosable if for any klistassignment L of G there is a proper Lcolouring of G. The choosability \({{\,\mathrm{ch}\,}}(G)\) (or choice number or list chromatic number) of G is the least k such that G is kchoosable.
Note that if G is kchoosable then it is properly kcolourable. On the other hand, Erdős, Rubin and Taylor [10] exhibited bipartite graphs with arbitrarily large choosability. Let \(K_{n_1,n_2}\) denote a complete bipartite graph with part sizes \(n_1\) and \(n_2\).
Theorem 1
[10] For some function M(k) with \(M(k) = 2^{k+o(k)}\) as \(k\rightarrow \infty \),

(i)
\(K_{n,n}\) is not kchoosable if \(n\ge M(k)\), and

(ii)
\(K_{n_1,n_2}\) is kchoosable if \(n_1+n_2 < M(k)\).
More succinctly Theorem 1 says that \({{\,\mathrm{ch}\,}}(K_{n,n}) \sim \log _2 n\) as \(n\rightarrow \infty \).
There are two contrasting ways to try to strengthen this last statement. First does the lower bound hold more generally; that is, does a bipartite graph with minimum degree \(\delta \) have choosability \(\Omega (\log \delta )\) as \(\delta \rightarrow \infty \)? Indeed this was shown by the first author [1] using a probabilistic argument; later Saxton and Thomason [15] proved the asymptotically optimal lower bound of \((1+o(1))\log _2 \delta \). Second does the upper bound hold more generally; that is, does a bipartite graph with maximum degree \(\Delta \) always have choosability \(O(\log \Delta )\) as \(\Delta \rightarrow \infty \)? Krivelevich and the first author conjectured this in 1998.
Conjecture 2
[2] There is some absolute constant \(C>0\) such that any bipartite graph of maximum degree at most \(\Delta \) is kchoosable if \(k \ge C\log \Delta \).
Johansson’s result for trianglefree graphs [12] gives the conclusion with \(k\ge C\Delta /\log \Delta \), which is far from the conjectured bound. Conjecture 2 is an elegant problem in a wellstudied area, but apart from constant factors^{Footnote 1} there has been no progress until now.
Despite the apparent difficulty of Conjecture 2, we propose an asymmetric refinement. Given a bipartite graph \(G=(V{=}A\cup B,E)\) with parts A, B and positive integers \(k_A\), \(k_B\), a mapping \(L: A\rightarrow \left( {\begin{array}{c}{{\mathbb {Z}}}^+\\ k_A\end{array}}\right) ,B\rightarrow \left( {\begin{array}{c}{{\mathbb {Z}}}^+\\ k_B\end{array}}\right) \) is called a \((k_A,k_B)\)listassignmentof G.We say G is \((k_A,k_B)\)choosable if there is guaranteed a proper Lcolouring of G for any such L.
Problem 3
Given \(\Delta _A\) and \(\Delta _B\), what are optimal choices of \(k_A\le \Delta _A\) and \(k_B \le \Delta _B\) for which any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B having maximum degrees at most \(\Delta _A\) and \(\Delta _B\), respectively, is \((k_A,k_B)\)choosable?
We have the upper bounds on \(k_A\), \(k_B\), since the problem is trivial if \(k_A>\Delta _A\) or \(k_B>\Delta _B\).
Note that Problem 3, since it has a higherdimensional parameter space, has wider scope than Conjecture 2 and is necessarily more difficult. However, the extra generality in Problem 3 has permitted a glimpse at an unexpected and basic connection between list colouring and combinatorial design theory (Theorem 6). This has prompted us to explore specific areas of the parameter space in Problem 3, motivating concrete versions of Problem 3 in the spirit of Conjecture 2 (Conjecture 7). One hope of ours is that further study of these problems may yield insights into Conjecture 2. But in fact, already in the present work, we have obtained asymmetric progress towards Conjecture 2 (Corollary 10).
Our first main result provides general progress towards Problem 3.
Theorem 4
Let the positive integers \(\Delta _A\), \(\Delta _B\), \(k_A\), \(k_B\), with \(k_A\le \Delta _A\) and \(k_B\le \Delta _B\), satisfy one of the following conditions.

(i)
\(k_B \ge (ek_A\Delta _B)^{1/k_A}\Delta _A\).

(ii)
\(\displaystyle e(\Delta _A(\Delta _B1)+1) \left( 1(11/k_B)^{\Delta _A\min \left\{ 1,k_B/k_A\right\} }\right) ^{k_A} \le 1. \)
Then any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B having maximum degrees at most \(\Delta _A\) and \(\Delta _B\), respectively, is \((k_A,k_B)\)choosable.
Theorem 4 under condition (i) follows from a simple application of the Lovász Local Lemma, as we show in Sect. 2. This sufficient condition for Problem 3 is related to independent transversals in hypergraphs, cf. [8, 11], and to singleconflict chromatic number [7]. In the most asymmetric settings (when \(k_A\) and \(\Delta _A\) are fixed constants), condition (i) is sharp up to a constant factor. We prove Theorem 4 under condition (ii) in Sect. 3 with the Lovász Local Lemma and a link to the coupon collector problem. In an attempt to clear up the ‘parameter soup’ arising from Problem 3 and the above sufficient conditions, we will discuss specific natural context for these after presenting some further results.
We complement our sufficient conditions for \((k_A,k_B)\)choosability with necessary ones, given mainly by the complete bipartite graphs. An easy boundary case is provided as follows, for warmup. This generalises a classic nonkchoosable construction.
Proposition 5
For any \(\delta ,k\ge 2\), the complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=\delta ^k\) and \(B=k\) is not \((k,\delta )\)choosable.
Proof
Let the vertices of B be assigned k disjoint lists of length \(\delta \), and let the vertices of A be assigned all possible ktuples drawn from these k disjoint lists. \(\square \)
This is best possible in the sense that the conclusion does not hold if \(A<\delta ^k\) or \(B<k\); however, in Sect. 8 we exhibit a noncomplete non\((k,\delta )\)choosable construction that is a slightly more efficient (in the sense that it has \(\Delta _A=k\) and \(\Delta _B< \delta ^k\)). On the other hand, Proposition 5 shows that condition (i) in Theorem 4 cannot be relaxed much in general. This follows for instance by considering the most asymmetric case, namely \(k=k_A=\Delta _A\) and \(\delta =\Delta _B^{1/k}\), with k fixed and \(\Delta _B \rightarrow \infty \). Thus for fixed \(k_A\) and \(\Delta _A\) Problem 3 is settled up to a constant factor.
Our second main result is a related but much broader necessary condition for Problem 3, also via the complete case. Let us write \({\overline{M}}(k_1,k_2,\ell )\) for the hypergraph Turán number defined as the minimum number of edges in a \(k_2\)uniform hypergraph on \(\ell \) vertices with no independent set of size \(\ell k_1.\) This parameter is equivalent to the extremal size of approximate Steiner systems; in particular, \({\overline{M}}(k_1,k_2,\ell )\) is equal to the cardinality of a smallest \(k_1\)\((\ell ,\ell k_2,{\mathbb {Z}}^+)\) design, cf. [9, Ch. 13] and [13]. (Recall that a t\((v,k,{\mathbb {Z}}^+)\) design is a collection of kelement subsets, called blocks, of some velement set X such that each telement subset of X is contained in at least one block.) We can draw a link between this classical extremal parameter and Problem 3. We show the following result in Sect. 4.
Theorem 6
Let \(k_A,k_B,\ell , k_1,k_2\) be integers such that \(k_A,k_B\ge 2\) and \(\ell = k_1+k_2+1\). The complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A={\overline{M}}(k_1,k_A,\ell )\) and \(B={\overline{M}}(k_2,k_B,\ell )\) is not \((k_A,k_B)\)choosable.
This link allows us, using known results for \({\overline{M}}\), to read off decent necessary conditions for specific parameterisations of Problem 3. As one example, a lower bound on \({{\,\mathrm{ch}\,}}(K_{n,n})\) of the form \({{\,\mathrm{ch}\,}}(K_{n,n})\gtrsim \frac{1}{2}\log _2 n\) follows from Theorem 6 with the choice \(k_1=k_2=k1\), \(k_A=k_B=k\), and \(\ell =2k1\) for some k. As another example, a slightly weaker form of the necessary condition of Proposition 5 follows with the choice \(k_1=k_A(k_B1)\), \(k_2=k_A1\), and \(\ell =k_Ak_B\). We detail both of these easy examples in Sect. 4.
Note though that these last two examples show that Theorem 6 provides suboptimal necessary conditions for \((k_A,k_B)\)choosability even in the complete case. Furthermore, in Sect. 8 we give a construction to show that the complete case cannot, in general, be precisely extremal for Problem 3. Nevertheless, we surmise that Theorem 6 provides some good rough borders for Problem 3. More specifically, in Sect. 5 we give some basic sufficient conditions for \((k_A,k_B)\)choosability specific to the complete case and show in Sect. 6, through some routine asymptotic calculus, how these roughly match with Theorem 6 over a broad family of parameterisations for Problem 3. Then, just as Conjecture 2 was informed by Theorem 1, the asymptotic behaviour of \((k_A,k_B)\)choosability in the complete case leads us to conjecture the following concrete versions of Problem 3.
Conjecture 7
Let the positive integers \(\Delta _A\), \(\Delta _B\), \(k_A\), \(k_B\) satisfy one of the following.

(i)
Given \(\varepsilon >0\), we have \(\Delta _A,\Delta _B\ge \Delta _0\) for some \(\Delta =\Delta _0(\varepsilon )\), and
$$\begin{aligned} k_A \ge \Delta _A^\varepsilon \quad \text {and}\quad k_B \ge \Delta _B^\varepsilon . \end{aligned}$$ 
(ii)
For some absolute constant \(C>1\),
$$\begin{aligned} k_A \ge C \log \Delta _B \quad \text {and}\quad k_B \ge C \log \Delta _A. \end{aligned}$$ 
(iii)
\(\Delta _A=\Delta _B=\Delta \), and, for some absolute constant \(C>0\),
$$\begin{aligned} k_B \ge C (\Delta /\log \Delta )^{1/k_A}\log \Delta \quad \text {or}\quad k_A \ge C (\Delta /\log \Delta )^{1/k_B}\log \Delta . \end{aligned}$$
Then any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B having maximum degrees at most \(\Delta _A\) and \(\Delta _B\), respectively, is \((k_A,k_B)\)choosable.
We note that in Sect. 5 we also show how this conjecture holds for the complete bipartite graphs (Theorem 15). Conjecture 7 constitutes three natural asymmetric analogues of Conjecture 2. The first is weaker than Conjecture 2; the latter two are stronger. We discuss these separately in turn.
Behind condition (i), Conjecture 7 concerns the question, for what positive functions f does \(k_A\ge f(\Delta _A)\) and \(k_B\ge f(\Delta _B)\) suffice for \((k_A,k_B)\)choosability, no matter how far apart \(\Delta _A\) and \(\Delta _B\) are? Essentially we posit that some f with \(f(x)=x^{o(1)}\) as \(x\rightarrow \infty \) will work, and this would be best possible due to the complete case (Theorem 16(i)). In particular, \(f(x)=O(\log x)\) is impossible, in contrast to Conjecture 2. But in fact, Theorem 4 implies that Conjecture 7 under condition (i) reduces to its most symmetric form.
Corollary 8
Given \(0<\varepsilon <1\) and integers \(\Delta _A\), \(\Delta _B\) satisfying \(\Delta _B> \Delta _A^{2/\varepsilon }\) and \(\Delta _A> (4/ \varepsilon )^{1/ \varepsilon }\), any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B having maximum degrees at most \(\Delta _A\) and \(\Delta _B\), respectively, is \((\Delta _A^{\varepsilon }, \Delta _B^{\varepsilon })\)choosable.
As a consequence, Conjecture 7 under condition (i) follows from the same assertion under the further assumption that \(\Delta _A=\Delta _B=\Delta \).
Proof
It suffices to check condition (i) of Theorem 4 with \(k_A=\Delta _A^{\varepsilon }\) and \(k_B=\Delta _B^{\varepsilon }\). Indeed, as \(\Delta _B^2 > e \Delta _A^{\varepsilon } \Delta _B\), \(\varepsilon /4>1/\Delta _A ^{\varepsilon }\) and \(\Delta _B^{\varepsilon /2}> \Delta _A\), we have \(\Delta _B^{\varepsilon }> \left( e \Delta _A^{\varepsilon } \Delta _B \right) ^{1/\Delta _A^{\varepsilon }}\Delta _A\).
Assume condition (i) of Conjecture 7, and moreover assume the truth of the conjecture only for its most symmetric form \(\Delta _A=\Delta _B=\Delta \). We may assume that \(\Delta _0>(4/ \varepsilon )^{1/ \varepsilon }\), and so, without loss of generality, we may also assume by the first part that \(\Delta _A \le \Delta _B \le \Delta _A^{2/\varepsilon }\). For any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B having maximum degrees at most \(\Delta _A\) and \(\Delta _B\), we have from the assumption that G is kchoosable for, say, \(k=\Delta _B^{\varepsilon ^3}\le \Delta _A^{2\varepsilon ^2}\), provided \(\Delta _B\), and thus \(\Delta _A\), is large enough as a function of \(\varepsilon \). This is smaller than \(\Delta _A^{\varepsilon }\) for \(\Delta _A\) sufficiently large as a function of \(\varepsilon \), as required.\(\square \)
Thus Conjecture 7 under condition (i) would follow from a weaker form of Conjecture 2. By an earlier work due to Davies, de Joannis de Verclos, Pirot and the third author [5], we so far know that \(f(x)=(1+o(1))x/\log x\) works.
Under condition (ii), Conjecture 7 concerns a ‘crossed’ version of the previous question, so for what positive functions g does \(k_A \ge g(\Delta _B)\) and \(k_B \ge g(\Delta _A)\) suffice for \((k_A,k_B)\)choosability? In this case, we conjecture that \(g(x)=O(\log x)\) will work, which coincides with Conjecture 2 in the symmetric case \(\Delta _A=\Delta _B=\Delta \). The complete bipartite graphs demonstrate the hypothetical sharpness of this assertion up to a constant factor for nearly the entire range of possibilities for \(\Delta _A\) and \(\Delta _B\) (Theorem 16(ii)). Some modest partial progress towards Conjecture 7 under condition (ii) follows from Theorem 4.
Corollary 9
Given \(\varepsilon >0\), there exists \(\delta \) such that for \(\Delta _B\) large enough, any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B having maximum degrees at most \(\Delta _A\) and \(\Delta _B\), respectively, is \((\delta \log \Delta _B, (1+\varepsilon )\Delta _A)\) and \((\log \Delta _B, (e+\varepsilon )\Delta _A)\)choosable.
Proof
This follows for \(\Delta _B\) large enough from condition (i) of Theorem 4 with either \(k_A=\delta \log \Delta _B\) and \(k_B= (1+\varepsilon )\Delta _A\) or with \(k_A=\log \Delta _B\) and \(k_B=(e+\varepsilon )\Delta _A\).\(\square \)
Under condition (iii), Conjecture 7 concerns the setting most closely related to Conjecture 2. It suggests how Problem 3 might behave for the symmetric case \(\Delta _A=\Delta _B=\Delta \). The complete bipartite graphs demonstrate its hypothetical sharpness up to a constant factor for the entire range of possibilities for \(k_A\), and thus symmetrically \(k_B\) (Theorem 16(iii)). Theorem 4 provides the following partial progress towards Conjecture 7 under condition (iii). In fact, this constitutes significant (asymmetric) progress towards Conjecture 2, and is a first concrete step in this longstanding problem.
Corollary 10
Given \(\varepsilon >0\), any bipartite graph \(G=(A \cup B, E)\) with parts A and B having maximum degree at most \(\Delta \) is \(((1+\varepsilon ) \Delta /\log _4 \Delta , 2 )\) and \(((1+\varepsilon ) \Delta /\log \Delta , \log \Delta )\)choosable for all \(\Delta \) large enough.
Proof
This follows for \(\Delta \) large enough from condition (ii) in Theorem 4 with \(\Delta _A=\Delta _B =\Delta \) and either \(k_A= (1+\varepsilon ) \Delta /\log _4 \Delta \) and \(k_B = 2\) or \(k_A= (1+\varepsilon ) \Delta /\log \Delta \) and \(k_B = \log \Delta \).\(\square \)
In Sect. 7 we are able to nearly completely characterise \((k_A,k_B)\)choosability for complete bipartite graphs if \(k_A\ge \Delta _A1\). In Sect. 9, we give a connection between minimum degree and \((k_A,k_B)\)choosability along the lines of [1].
Probabilistic Preliminaries
We will use the following standard probabilistic tools, cf. [3].
A Chernoff Bound. For \(X\sim {{\,\mathrm{Bin}\,}}(n,p)\) and \(\varepsilon \in [0,1]\), \(\,{\mathbb {P}}(X < (1\varepsilon )np) \le \exp (\frac{\varepsilon ^2}{2}np)\).
The Lovász Local Lemma. Consider a set \({\mathcal {E}}\) of (bad) events such that for each \(A\in {\mathcal {E}}\)

(i)
\(\,{\mathbb {P}}(A) \le p < 1\), and

(ii)
A is mutually independent of a set of all but at most d of the other events.
If \(ep(d+1)\le 1\), then with positive probability none of the events in \({\mathcal {E}}\) occur.
A Sufficient Condition via Transversals
In this section, we prove Theorem 4 under condition (i). We prefer to state and prove a slightly stronger form. To do so, we need some notational setup. Let \(H=(V,E)\) be a hypergraph. The degree of a vertex in H is the number of edges containing it. Given some partition of V, a transversal of H is a subset of V that intersects each part in exactly one vertex. A transversal of H is called independent if it contains no edge, cf. [8].
Lemma 11
Fix \(k\ge 2\). Let H be a kuniform vertexpartitioned hypergraph, each part being of size \(\ell \), such that every part has degree sum at most \(\Delta \). If \(\ell ^k \ge e(k(\Delta 1)+1)\), then H has an independent transversal.
Let us first show that Lemma 11 implies Theorem 4 under condition (i).
Proof of Theorem 4 under condition (i)
Let the parameters \(k_A,k_B,\Delta _A,\Delta _B\) satisfy condition (i). Let L be a \((k_A,k_B)\)listassignment of G. We would like to show that there is a proper Lcolouring of G. We do so by defining a suitable hypergraph \(H=(V_H,E_H)\).
Let (w, c) be a vertex of \(V_H\) if \(w\in B\) and \(c\in L(w)\).
Let \(((w_1,c_1),\dots ,(w_{k_A},c_{k_A}))\) be an edge of \(E_H\) whenever there is some \(v\in A\) such that \(N(v) \supseteq \{w_1,\dots ,w_{k_A}\}\) and \(L(v) = \{c_1,\dots ,c_{k_A}\}\).
Note that H is a \(k_A\)uniform vertexpartitioned hypergraph, where the parts are naturally induced by each list in B and so are each of size \(k_B\). We have defined H and its partition so that any independent transversal corresponds to a special partial Lcolouring of G. In particular, it is an Lcolouring of the vertices in B for which there is guaranteed to be a colour in L(v) available for every \(v\in A\), and so it can be extended to a proper Lcolouring of all G.
Every part in H has degree sum at most \( \Delta _B \left( {\begin{array}{c} \Delta _A 1\\ k_A 1\end{array}}\right) k_A! \le \Delta _B \Delta _A^{k_A}, \) so the result follows from Lemma 11 with \(\ell =k_B\) and \(\Delta =\Delta _B \Delta _A^{k_A}\).\(\square \)
Proof of Lemma 11
Write \(H=(V,E)\) and suppose \(\ell ^k \ge e(k(\Delta 1)+1)\). Consider the random transversal \({\mathbf {T}}\) formed by choosing one vertex from each part independently and uniformly. For each edge \(f\in E\), let \(A_f\) denote the event that \({\mathbf {T}}\supseteq f\). Note that \(\,{\mathbb {P}}(A_f) \le 1/\ell ^k\). Moreover \(A_f\) is mutually independent of a set of all but at most \(k(\Delta 1)\) of the other events \(A_{f'}\). The transversal \({\mathbf {T}}\) is independent if none of the events \(A_f\) occur. Since by assumption \(e (1/\ell ^k)(k(\Delta 1)+1) \le 1\), there is a positive probability that \({\mathbf {T}}\) is independent by the Lovász Local Lemma.\(\square \)
A Sufficient Condition via Coupon Collection
Proof of Theorem 4 under condition (ii)
Let \(k_A,k_B,\Delta _A,\Delta _B\) satisfy condition (ii). Let L be a \((k_A,k_B)\)listassignment of G. We would like to show that there is a proper Lcolouring of G. To this end, colour each vertex \(w\in B\), randomly and independently, by a colour chosen uniformly from its list L(w). Let \(T_{v,c}\) be the event that \(v \in A\) has a neighbour coloured with colour c. Let \(T_v\) be the event that \(T_{v,c}\) happens for all \(c\in L(v)\). The proof hinges on the following claim, which is related to the coupon collector problem, cf. e.g. [6]. \(\square \)
Claim. The events \(T_{v,c}\), for fixed v as c ranges over all colours in L(v), are negatively correlated. In particular, \(\,{\mathbb {P}}(T_v) \le \prod _{c\in L(v)} \,{\mathbb {P}}(T_{v,c})\).
Proof
We have to prove, for every \(I \subset L(v)\), that \(\,{\mathbb {P}}(\forall c \in I :T_{v,c}) \le \prod _{c\in I} \,{\mathbb {P}}(T_{v,c}).\) If some colour \(c \in L(v)\) is not in the list of any neighbour of v, both sides equal zero and so the inequality holds. So assume this is not the case. We prove the statement by induction on \(I .\) When \(I \le 1\) the statement is trivially true. Let \(I \subset L(v)\) be a subset for which the statement is true and let \(c' \in L(v) {\setminus } I.\) We now prove the statement for \(I'=I \cup \{c'\}.\) We have \(\,{\mathbb {P}}(\forall c \in I :T_{v,c}) \le \,{\mathbb {P}}(\forall c \in I :T_{v,c} \mid \lnot T_{v,c'} )\) as the probability to use a colour in I is larger if in all neighbouring lists the colour \(c'\) is removed. This is equivalent to
This last expression is at most \( \prod _{c\in I'} \,{\mathbb {P}}(T_{v,c})\) by the induction hypothesis, as desired. \(\square \)
For the \(i^{\text {th}}\) colour \(c_i\) in L(v), let the number of occurrences of \(c_i\) in the neighbouring lists of v be \(x_i\). Note that \(\,{\mathbb {P}}(T_{v,c_i}) = 1 (11/k_B)^{x_i}.\) Using \(x_i \le \Delta _A\) for every \(1 \le i \le k_A\) and the claim, we have
Noting that \(\sum _{i=1}^{k_A} x_i \le k_B \Delta _A\) and that the function \(\log (1 (11/k_B)^{x} )\) is concave and increasing, Jensen’s Inequality applied with the claim implies that
Each event \(T_v\) is mutually independent of all other events \(T_u\) apart from those corresponding to vertices \(u\in A\) that have a common neighbour with v in G. As there are at most \(\Delta _A(\Delta _B1)\) such vertices besides v, the Lovász Local Lemma guarantees with positive probability that none of the events \(T_v\) occur, i.e. there is a proper Lcolouring, as desired.
The Complete Case and Steiner Systems
In this section, we investigate general necessary conditions for \((k_A,k_B)\)choosability via the complete bipartite graphs. Inspired in part by Theorem 1 and related work of Bonamy and the third author [4], this leads naturally to the study of an extremal set theoretic parameter. For positive integers \(k_1,k_2,\ell \), we say that a family \({{\mathcal {F}}}\) of \(k_2\)element subsets of \([\ell ]\) has Property A\((k_1,k_2,\ell )\) (A is for asymmetric) if there is a \(k_1\)element subset of \([\ell ]\) that intersects every set in \({{\mathcal {F}}}\). We then define \({\overline{M}}(k_1,k_2,\ell )\) to be the cardinality of a smallest family of \(k_2\)element subsets of \([\ell ]\) that does not have Property A\((k_1,k_2,\ell )\). Note that this definition of \({\overline{M}}\) coincides with the definition given before the statement of Theorem 6.
Proof of Theorem 6
We define a \((k_A,k_B)\)listassignment L as follows. Let \({{\mathcal {F}}}_1\) be a family of \({\overline{M}}(k_1,k_A,\ell )\) \(k_A\)element subsets of \([\ell ]\) without Property A\((k_1,k_A,\ell )\). Let \({{\mathcal {F}}}_2\) be a family of \({\overline{M}}(k_2,k_B,\ell )\) \(k_B\)element subsets of \([\ell ]\) without Property A\((k_2,k_B,\ell )\). Assign the sets of \({{\mathcal {F}}}_1\) as lists to the vertices in A and the sets of \({{\mathcal {F}}}_2\) as lists to the vertices in B. Suppose that c is an Lcolouring. Then \(C_1=\{c(a) \mid a\in A\}\) intersects every set in \({{\mathcal {F}}_1}\) and so \(C_1\ge k_1+1\) by assumption and similarly \(C_2=\{c(b) \mid b\in B\}\) has cardinality \(C_2\ge k_2+1\). So \(C_1+C_2\ge k_1+k_2+2 > \ell \), implying that c cannot be a proper colouring.\(\square \)
Since \({{\overline{M}}}(\ell k_A,k_A,\ell )=\left( {\begin{array}{c}\ell \\ k_A\end{array}}\right) \), we have the following corollary of Theorem 6.
Corollary 12
Let \(k_A,k_B,\ell \) be integers such that \(k_A,k_B\ge 2\) and \(\ell \ge k_A+k_B1\). The complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=\left( {\begin{array}{c}\ell \\ k_A\end{array}}\right) \) and \(B={\overline{M}}(k_A1,k_B,\ell )\) is not \((k_A,k_B)\)choosable.
Although they are trivial, the following observations already show that Theorem 6 and Corollary 12 cannot be improved much in general.

If \(k_A=k_B=k\) and \(\ell =2k1\), then \({\overline{M}}(k_A1,k_B,\ell )=\left( {\begin{array}{c}2k1\\ k\end{array}}\right) =2^{2k+o(k)}\) and Corollary 12 implies that \(K_{\left( {\begin{array}{c}2k1\\ k\end{array}}\right) ,\left( {\begin{array}{c}2k1\\ k\end{array}}\right) }\) is not kchoosable. This implies \({{\,\mathrm{ch}\,}}(K_{n,n}) \gtrsim \frac{1}{2}\log _2 n\), which one can compare to the bounds of Theorem 1.

If \(\ell =k_A\cdot k_B\), then \({\overline{M}}(k_A1,k_B,\ell )=k_A\) and so Corollary 12 implies that \(K_{\left( {\begin{array}{c}k_A\cdot k_B\\ k_A\end{array}}\right) ,k_A}\) is not \((k_A,k_B)\)choosable. This produces a necessary condition on \(k_B\) for \((k_A,k_B)\)choosability only slightly weaker than Proposition 5.
We present several more instances where Theorem 6 and Corollary 12 are nearly sharp in Sect. 6. For this, we will have use for the following estimates for the parameter \({\overline{M}}\). A version of this result can be found in [9, Ch. 13], but for completeness we present a standard derivation in the appendix.
Theorem 13
Let \(k_1,k_2,\ell \) be integers such that \(k_1,k_2\ge 2\) and \(\ell \ge k_1+k_2\). Then
Sufficient Conditions in the Complete Case
In this section, we give general sufficient conditions for \((k_A, k_B)\)choosability of complete bipartite graphs \(K_{a,b}.\) Our strategy for establishing \((k_A,k_B)\)choosability in this setting is to take a random bipartition of the set of all colours and try to use one part for colouring A and the other part for colouring B. This yields the following lemma.
Lemma 14
Let the reals \(0< \varepsilon , p < 1\) and positive integers a, b, \(k_A\), \(k_B\) satisfy either
Then the complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=a\) and \(B=b\) is \((k_A,k_B)\)choosable.
Proof
Let L be \((k_A,k_B)\)listassignment of G. Let \(U = \cup _{v\in V}L(v)\), i.e. U is the union of all colour lists. Define a random partition of U into parts \(L_A\) and \(L_B\) as follows. For each colour in U, randomly and independently assign it to \(L_B\) with probability p and otherwise assign it to \(L_A\).
First assume (1). For a given vertex \(v\in A\), the probability that \(L(v)\cap L_A=\emptyset \) is \(p^{k_A}\). For a given vertex \(v\in B\), the probability that \(L(v)\cap L_B=\emptyset \) is \((1p)^{k_B} \). So the expected number of vertices v which cannot be coloured with the corresponding list \(L_A\) or \(L_B\) is equal to \(a p^{k_A}+b(1p)^{k_B}.\) So the probabilistic method then guarantees some choice of the parts \(L_A\) and \(L_B\) such that every vertex in A can be coloured with a colour from \(L_A\) and every vertex in B with a colour from \(L_B.\)
Otherwise assume (2). For a given vertex \(w\in B\), the random variable \(L(w)\cap L_B\) has a binomial distribution of parameters \(k_B\) and p. So by a Chernoff bound the probability that \(L(w)\cap L_B\) is smaller than \((1 \varepsilon ) k_B p \) is smaller than \(\exp {( \varepsilon ^2 k_B p /2)}\). Thus, with probability greater than \(1b \exp {( \varepsilon ^2 k_B p /2)}\), we have \(L(w)\cap L_B \ge (1 \varepsilon ) k_B p\) for all \(w\in B\).
For a given vertex \(v\in A\), the probability that \(L(v)\cap L_A=\emptyset \) is \(p^{k_A}\). So the expected number of vertices v for which this holds is \(p^{k_A}A\). Thus by Markov’s inequality, the probability that there are at least \( (1 \varepsilon ) k_B p\) such vertices v is smaller than \(\frac{p^{k_A1}a}{(1\varepsilon )k_B}\).
Due to (2), the probabilistic method guarantees a fixed choice of partition of U into parts \(L_A\) and \(L_B\) such that \(L(w)\cap L_B \ge (1 \varepsilon ) k_B p\) for every \(w\in B\) and the number of vertices \(v\in A\) such that \(L(v)\cap L_A= \emptyset \) is smaller than \((1 \varepsilon ) k_B p\). Colour any vertex \(v\in A\) having \(L(v)\cap L_A= \emptyset \) with an arbitrary colour from L(v). Colour any other vertex \(v'\in A\) with a colour from \(L(v')\cap L_A\). Finally colour any vertex \(w\in B\) with some colour in \(L(w) \cap L_B\) unused by any vertex of A—this is possible as there were fewer than \((1 \varepsilon ) k_B p\) colours of \(L_B\) used to colour vertices in A and the lists in B all have at least \((1 \varepsilon ) k_B p\) colours from \(L_B\).
In either case, we are guaranteed a proper Lcolouring of G, as promised.
\(\square \)
Asymptotic Sharpness in the Complete Case
We next use the results of Sects. 4 and 5 to roughly settle the behaviour of complete bipartite graphs with respect to Problem 3 in several regimes. The conditions in Theorems 15 and 16 naturally correspond to the conditions in Conjecture 7.
Theorem 15
Let the positive integers a, b, \(k_A\), \(k_B\) satisfy one of the following.

(i)
For any \(\varepsilon >0\), \(a,b\ge \Delta _0\) for some \(\Delta _0=\Delta _0(\varepsilon )\), \(k_A > b^\varepsilon \) and \(k_B > a^\varepsilon \).

(ii)
For any \(t>0\), \(k_A \ge \frac{1}{t}\log _2 (2a)\) and \(k_B > 2^t \log (2b)\).

(iii)
We have that \(a=b=\Delta \) and either \(k_B > 8 (\Delta /(2\log (2\Delta )))^{1/k_A}\log (2\Delta )\) or \(k_A > 8 (\Delta /(2\log (2\Delta )))^{1/k_B}\log (2\Delta )\).
Then the complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=a\) and \(B=b\) is \((k_A,k_B)\)choosable.
Proof
Assume condition (i) and assume without loss of generality that \(a \ge b\). Fix \(\varepsilon >0\) and take \(\Delta _0>2\) large enough such that \(\varepsilon \Delta _0^\varepsilon > 3\) and \(x^{\varepsilon /3}> \log (2 x)\) for every \(x \ge \Delta _0.\) Now \(k_B \ge a^{\varepsilon }> a^{2/b^\varepsilon } a^{\varepsilon /3} > (2a)^{1/b^\varepsilon } \log (2b)\). By taking \(p= (2a)^{1/b^\varepsilon }\), we have that (1) is satisfied and the result follows from Lemma 14.
Assume condition (ii). Take \(p = 1/2^t\). Then \(a p^{k_A} \le 1/2\) and \(b (1p)^{k_B} \le b \exp (p k_B) < 1/2\), so that (1) is satisfied and the result follows from Lemma 14.
Assume condition (iii) and by symmetry assume \(k_B > 8 (\Delta /(2\log (2\Delta )))^{1/k_A}\log (2\Delta )\). Take \(p = 8\log (2\Delta )/k_B\) and \(\varepsilon =1/2\). Then \(p<(2 \log (2\Delta ) / \Delta )^{1/k_A}\) and \(b \exp {( \varepsilon ^2 k_B p /2)} < 1/2\). Also
Thus (2) is satisfied and the result follows from Lemma 14. \(\square \)
The conditions are also sharp in some sense.
Theorem 16
For each of the following four conditions, there are infinitely many choices of the positive integers a, b, \(k_A\), \(k_B\) satisfying it such that the complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=a\) and \(B=b\) is not \((k_A,k_B)\)choosable.

(i)
Given a monotone real function g satisfying \(g(1) \ge 1\) and \(g(x)=\omega (1)\) as \(x\rightarrow \infty \),
$$\begin{aligned} k_A > b^{1/g(b)}\quad \text { and }\quad k_B=a. \end{aligned}$$ 
(ii)
For any integer \(t\ge 4\), either
$$\begin{aligned} k_A \le \frac{ \log _2 a }{t} \quad \text { and } \quad k_B \le \frac{2^{t1}}{e} (\log {b}  \log { \log {a}}) \le \frac{ \log _2 a }{t}, \end{aligned}$$or
$$\begin{aligned} k_A \le 2^t \log _2 a\quad \text { and }\quad k_B \le \frac{\log _2{b} \log _2{ \log {a}}}{t+\log _2 t + 3}, \end{aligned}$$where \(4 \le b \le a\).

(iii)
For any fixed integer \(k>1\) and \(\Delta \) sufficiently large, \(\Delta _A=\Delta _B=\Delta \), \(k_A=k\) and \(k_B= c (\Delta /\log \Delta )^{1/k} \log \Delta \) for some constant \(c=c(k)\).
Proof
Consider condition (i). Take \(\delta \) large enough so that \(g(\delta ^a)>a\). Let \(k_A=\delta \) and \(b=\delta ^a\) and note that \(b^{1/g(b)}=\delta ^{ a/g(b)} < \delta =k_A\), i.e. \(k_A^{g(b)}> b\). The result then follows from Proposition 5.
Consider condition (ii). For the former case, let
Then \(\left( {\begin{array}{c}\ell \\ k_A\end{array}}\right) \le ( e \ell /k_A )^{k_A} = a.\) Also
Here we used the estimation \((xe)/(x2e) \le \exp (2e/x)\) for \(x \ge 16.\)
For the latter case, choose
Then \(\left( {\begin{array}{c}\ell \\ k_A\end{array}}\right) =\left( {\begin{array}{c}\ell \\ \ell k_A\end{array}}\right) \le ( e \ell /(\ell k_A) )^{\ell k_A} \le a\) since
Also
In either case, the result follows from Corollary 12 and Theorem 13.
Consider condition (iii). First we make a computation verifying \({{\overline{M}}} ((\log m)/2, m/2, m) < m\) when m is sufficiently large. By Theorem 13, for m sufficiently large, we have that
We choose \(m=c (\Delta /\log \Delta )^{1/k} \log \Delta \), where \(c=1/(4k(k1))\). By the above computation, this choice satisfies \({{\overline{M}}} ( (\log m)/2, m/2, m) \le \Delta \) for \(\Delta \) large enough. Let b be such that \((k1)b \log \Delta = (\log m)/2\), and note that \(b \sim 2c\) as \(\Delta \rightarrow \infty \).
Let \(G=(A \cup B,E)\) be a complete bipartite graph with
Note that as \(\Delta \rightarrow \infty \)
and thus \(\Delta _A,\Delta _B\le \Delta \) for all \(\Delta \) large enough.
We define a \((k_A,k_B)\)listassignment L as follows. Let \({\mathcal {F}}\) be a family of \(A \) (m/2)element subsets of [m] without Property A\(( (\log m)/2 ,m/2, m)\) and assign the sets of \({\mathcal {F}}\) as lists to the vertices in A. So there is no \(((\log m)/2)\)element subset of [m] that intersects every list in A. For B, arbitrarily partition [m] into \(b\log \Delta \) segments of nearly equal size, and assign as lists to the vertices in B all possible kelement subsets chosen from within a single segment.
Note that for any Lcolouring, \(\cup _{w\in B} L(w)\) intersects at least one colour from each kelement subset of a segment, and so \(\cup _{w\in B} L(w)\) avoids at most \((k1)b \log \Delta = (\log m)/2\) colours of [m]. However, as noted above, \(\cup _{v\in A} L(v)\) must have more than \((\log m)/2\) colours of [m], and this precludes a proper Lcolouring.\(\square \)
Sharpness in a Boundary Complete Case
In this section, we precisely solve Problem 3 for complete bipartite graphs when \(k_A \ge \Delta _A 1.\) When \(k_A \ge \Delta _A +1\), we know that any bipartite \(G=(A \cup B,E)\) must be \((k_A,k_B)\)choosable. The case \(k_A = \Delta _A\) is handled by Proposition 5 and the fact that its conclusion fails if \(A<\delta ^k\) or \(B<k\). The remainder of this section is devoted to the case \(k_A=\Delta _A1\).
For this it will be useful to have the following simple lemma at our disposal. Given a family \(\mathcal {F}\) of disjoint subsets of X, a transversal of \(\mathcal {F}\) is a subset of X that intersects every set in \(\mathcal {F}\) exactly once. An almosttransversal of \(\mathcal {F}\) is a subset of X that intersects all but one set in \(\mathcal {F}\) exactly once.
Lemma 17
Suppose \(\mathcal {F}\) consists of b disjoint sets \(F_1, F_2,\dots , F_b\) such that \(F_1 \ge F_2 \ge \ldots \ge F_b \). Then every almosttransversal of \(\mathcal {F}\) is subset of at most \(F_1\) transversals of \(\mathcal {F}\). As a corollary, if \(\mathcal {F}_\star \) is a family of almosttransversals of \(\mathcal {F}\) such that every transversal of \(\mathcal {F}\) contains some element of \(\mathcal {F}_\star \), then \(\mathcal {F}_\star \) must contain at least \(F_2\cdots F_b\) elements.
Proof
Any almosttransversal of \(\mathcal {F}\) can be extended to a transversal of \(\mathcal {F}\) by adding exactly one element from \(F_j\) for some \(j\in [b]\), and so there are \(F_j\le F_1\) choices for this. The corollary follows directly by a union bound argument.\(\square \)
Proposition 18
Let \(b \ge 5\) and \(\delta =q(b1)+r\) with \(0 \le r \le b2\) and q being integers such that \(\delta \gg b.\) Then the complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=a\) and \(B=b\) is \((b1,\delta )\)choosable if and only if
Note that for \(1\ll b\ll \delta \), this bound on a is approximately \((11/e) \delta ^{b1}.\)
Proof
We write \(B=\{v_1,v_2,\ldots , v_b\}.\) Let L be a \((b1,\delta )\)listassignment of G. If some colour is in the list of at least three different vertices of B, or two colours are both in the lists of two disjoint pairs of vertices of B, then we can certainly Lcolour G. (The Lcolouring uses the common colour(s) for the respective vertices and an arbitrary Lcolouring for the remaining vertices of B, followed by a greedy Lcolouring of the vertices in A.) Let \(L_{12}=L(v_1) \cap L(v_2)\) and analogously define \(L_{ij}\) for each \(1 \le i <j \le b\) and let \(\ell _{ij}=L_{ij}\). Consider the family of sets induced by the index pairs of the nonempty \(L_{ij}\). This must form an intersecting family, for otherwise we have an Lcolouring of G similarly as above. We consider two cases depending on this family being trivial or not.

(i)
(nontrivial family) Without loss of generality, we may assume that only \(L_{12}, L_{13}\) and \(L_{23}\) are nonempty among all \(L_{ij}\). If there are \(b1\) colours which do not occur as the list of a vertex of A, such that the vertices of B can coloured with these \(b1\) colours, then G is Lcolourable. So if G is not Lcolourable, every such collection of \(b1\) colours has to occur as the list of a vertex in A. There are \((\delta \ell _{12}\ell _{13})(\delta \ell _{12}\ell _{23})(\delta \ell _{13}\ell _{23})\delta ^{b3}\) combinations of b colours which appear only once among the lists \(L(v_i), 1\le i \le b\). By Lemma 17, every \((b1)\)list L(a) for some \(a \in A\) can forbid at most \(\delta \) of these and so at least \((\delta \ell _{12}\ell _{13})(\delta \ell _{12}\ell _{23})(\delta \ell _{13}\ell _{23})\delta ^{b4}\) such vertices are needed to forbid all these colourings. There are also \((\ell _{12}+\ell _{13}+\ell _{23})\delta ^{b2}(\ell _{12}\ell _{13}+\ell _{12}\ell _{23}+\ell _{13}\ell _{23})\delta ^{b3}\) other possible colourings of B which do use exactly \(b1\) different colours. So these possible colourings must also be forbidden by some list L(a) if G were not Lcolourable. This implies that G is Lcolourable if
$$\begin{aligned} a&<(\ell _{12}+\ell _{13}+\ell _{23})\delta ^{b2}(\ell _{12}\ell _{13}+\ell _{12}\ell _{23}+\ell _{13}\ell _{23})\delta ^{b3}\\&\quad +(\delta \ell _{12}\ell _{13})(\delta \ell _{12}\ell _{23})(\delta \ell _{13}\ell _{23})\delta ^{b4}\\&=\delta ^{b1}(\ell _{12}+\ell _{13}+\ell _{23})\delta ^{b2}+(\ell _{12}+\ell _{13}+\ell _{23})^2\delta ^{b3}\\&\quad (\ell _{12}+\ell _{13})(\ell _{12}+\ell _{23})(\ell _{13}+\ell _{23})\delta ^{b4}. \end{aligned}$$By the AM–GM Inequality, the minimum of the last expression subject to a fixed sum \(\ell _{12}+\ell _{13}+\ell _{23}\) occurs when \(\ell _{12}=\ell _{13}=\ell _{23}\), and so the minimum is attained when \(\ell _{12}=\ell _{23}=\ell _{13}=\delta /4,\) leading to a bound of \(\frac{11}{16} \delta ^{b1}.\)

(ii)
(trivial family) Without loss of generality, we assume only some of the \(L_{1j}\) are nonempty and \(\ell _{1b} = \min \{ \ell _{1j} \mid 2 \le j \le b\}.\) There are
$$\begin{aligned} \delta ^{b1}  \prod _{j=2}^{b} (\delta  \ell _{1j}) \end{aligned}$$possible ways to choose one colour from every \(L(v_i), 2 \le i \le b\), in such a way that \(L(v_1)\) does contain at least one of these chosen colours. So if A would not contain these combinations among the lists \(L(a), a \in A\), one would be able to colour G with these \(b1\) colours. By Lemma 17, one needs also
$$\begin{aligned} \left( \delta  \sum _{j=2}^{b} \ell _{1j} \right) \prod _{j=2}^{b1} (\delta  \ell _{1j}) \end{aligned}$$lists \(L(a), a \in A\), to make it impossible to colour G by first colouring the vertices B solely with colours not appearing among the \(L_{1j}.\) Hence the number of disjoint lists L(a) to make a listcolouring of G impossible needs to be at least
$$\begin{aligned} \delta ^{b1}  \left( \sum _{j=2}^{b1} \ell _{1j} \right) \prod _{j=2}^{b1} (\delta  \ell _{1j}). \end{aligned}$$This expression is minimised when \(\delta \sum _{j=2}^{b1} \ell _{1j}\) and every \( \ell _{1j}\) for \(2 \le j \le b1\) are equal to a number of the form \(\lfloor \frac{\delta }{b1} \rceil ,\) as by an integral version of the AM–GM Inequality the subtracted product attains its maximum when all factors (which sum to a fixed amount) differ by at most 1. When \( b\ll \delta \) and \(b \ge 5\), we have that this is approximately \((1(1 1/(b1) )^{b1}) \delta ^{b1}\), which is smaller than the value \(\frac{11}{16} \delta ^{b1}\) obtained in the previous case. Equality can be attained, i.e. G is not \((b1, \delta )\)choosable when \(a = \delta ^{b1}((b2)q+r)^{b1r}((b2)q+r1)^r\) (or larger) as we can take the lists as being exactly those mentioned for minimising the expression. \(\square \)
The same analysis also gives the result for \(b \in \{3,4\}.\) When \(b=3\), the bound for a is \(\lfloor \frac{3}{4} \delta ^2 \rceil .\) When \(b=4\), the same analysis as in Proposition 18 gives that the bound for a occurs in the first case (nontrivial family), resulting in the following detailed proposition.
Proposition 19
Let \(\delta \ge 2\). The complete bipartite graph \(G=(V{=}A\cup B,E)\) with \(A=a\) and \(B=4\) is \((3, \delta )\)choosable if and only if
Sharper than Complete Bipartite
In this section, we prove that complete bipartite graphs are not exactly extremal for Problem 3. The complete bipartite graph \(K_{\delta ^k1, k}\) is \((k,\delta )\)choosable, but there are bipartite graphs with \(\Delta _A=k\) and \( \Delta _B \) smaller than \(\delta ^k1\) which are not \((k,\delta )\)choosable.
Proposition 20
For any \(\delta , k \ge 2\), there is a bipartite graph \(G = (V =A \cup B,E)\) with parts A and B having maximum degrees k and \(f(\delta , k)<\delta ^k\), respectively, that is not \((k,\delta )\)choosable. Moreover, \(f( \delta , k) \le \sum _{i=1}^{\delta } i^{k1}\).
Proof
We recursively construct bipartite graphs \(G_i=(A_i \cup B_i, E_i)\) with parts \(A_i\) and \(B_i\) having maximum degree k and \(\sum _{j=1}^i (\delta j+1)^{k1}\). We simultaneously define a \((k, \delta )\)listassignment \(L_i\) of \(G_i\) such that there is some vertex \(b_i\in B_i\) which can only be given one of \(\delta i\) colours out of its list in any proper \(L_i\)colouring.
Let \(G_1\) be the complete bipartite graph \(K_{ \delta ^{k1},k}\), write \(B_1=\{v_1, \ldots , v_k\}\). For the vertices of \(B_1\), we assign k disjoint lists of length \(\delta \), specifically, \(L(v_j)=\{(j1)\delta +1,\dots ,j\delta \}\) for \(j\in [k]\). For the vertices of \(A_1\), we assign as lists all possible ktuples drawn from \(\{1\}\times \prod _{j=2}^k L(v_j)\). Since \(b_1 := v_1\) cannot be given the colour 1 in any proper \(L_1\)colouring, the conditions are satisfied for \(i=1\).
For the recursion, assume \(i\ge 1\) and take the disjoint union of k copies of \(G_i\), relabelling their \((k, \delta )\)listassignments so that their colour palettes are mutually disjoint. So the parts \(A_{i+1},B_{i+1}\) of the bipartition so far include the disjoint unions of the k respective parts. Let \(v_1,\dots ,v_k\) be the k copies of \(b_i\), and for each \(j\in [k]\) write \(L'(v_j)\) for the set of \(\delta i\) colours to which the colour of \(v_j\) is restricted by assumption. By relabelling, we may assume \(1 \in L'(v_1)\). We now add \((\delta i)^{k1}\) new vertices to \(A_{i+1}\) that are adjacent to every \(v_j\). For these new vertices, we assign as lists all possible ktuples drawn from \(\{1\}\) and \(L'(v_j)\) for \(2\le j\le k\). This completes the definition of \(G_{i+1}\) and \(L_{i+1}\). By induction, \(b_{i+1} := v_1\) may only be given a colour from \(L'(v_1){\setminus } \{1\}\) in any proper \(L_{i+1}\)colouring, and moreover \(b_{i+1}\) is of maximum degree in \(B_{i+1}\). So \((G_{i+1},L_{i+1},b_{i+1}) \) satisfies the required conditions. This completes the recursive step.
The graph \(G:=G_\delta \) with parts \(A=A_\delta \) and \(B=B_\delta \) is not \((k,\delta )\)choosable, since by construction we may not give any colour to \(b_\delta \) in any proper \(L_\delta \)colouring. Furthermore, the maximum degrees in A and B are respectively k and \(\sum _{i=1}^{\delta } (\delta i+1)^{k1}=\sum _{i=1}^{\delta } i^{k1}\), as required.\(\square \)
Degrees and \((k_A,k_B)\)Choosability
In this section, we give a condition on the minimum degree for concluding that a bipartite graph is not \((k_A,k_B)\)choosable. This is a reduction to the behaviour for complete bipartite graphs.
Theorem 21
Suppose the complete bipartite graph \(G_0=(V{=}A_0\cup B_0,E)\) with \(A_0=a\) and \(B_0=b\) is not \((k_A,k_B)\)choosable. Then any bipartite graph \(G=(V{=}A\cup B,E)\) with parts A and B such that \(A\le B\) and B has minimum degree \(\delta _B > 4ab \log { 4a} \log {k_A}\) is not \((k_A,k_B)\)choosable.
Proof
Let \({{\,\mathrm{{\mathcal {F}}}\,}}_a\) and \({{\,\mathrm{{\mathcal {F}}}\,}}_b\) be the collections of lists of sizes a and b, respectively, that can be assigned to \(A_0\) and \(B_0\), respectively, to certify non\((k_A,k_B)\)choosability of \(G_0\). Let \(p= 1/(4b \log {k_A}).\) Randomly choose \(X \subset A\), each vertex included independently with probability p. Then \(\,{\mathbb {E}}(X)=pA\) and so by Markov’s inequality,
Define a listassignment \(L_X\) of X, by assigning to every vertex of X uniformly and independently a list of \({{\,\mathrm{{\mathcal {F}}}\,}}_a\). Call a vertex v in B good if every member of \({{\,\mathrm{{\mathcal {F}}}\,}}_a\) occurs as a list on a neighbour (in X) of v. For any \(F\in {{\,\mathrm{{\mathcal {F}}}\,}}_a\), let us say that vis not good due to F if F does not as occur as a list on a neighbour of v. Note that
implying that
So by Markov’s inequality,
By the probabilistic method, there is some \(X \subset A\) and a listassignment \(L_X\) of X such that \(X \le 2pA\) and there are at least B/2 good vertices. Fix this choice and let \(B^*\) be the set of good vertices.
Fix an arbitrary \(L_X\)colouring \(c_X\) of X. There are at most \(k_A^{X}\) possibilities for the colouring \(c_X\). Define a listassignment \(L_{B^*}\) of \(B^*\), by assigning to every vertex of \(B^*\) uniformly and independently a list of \({{\,\mathrm{{\mathcal {F}}}\,}}_b\). Since every \(v \in B^*\) is good, all lists of \({{\,\mathrm{{\mathcal {F}}}\,}}_a\) occur in the neighbourhood of v and at least one choice of a list in \({{\,\mathrm{{\mathcal {F}}}\,}}_b\) would imply that v cannot be properly coloured with a colour of that list. Hence the probability that every \(v \in B^*\) can be properly \(L_{B^*}\)coloured in agreement with \(c_X\) is at most
The probability that some proper colouring of G can be completed given any \(L_X\)colouring \(c_X\) is smaller than
Thus by the probabilistic method there exists a listassignment \(L_{B^*}\) of \(B^*\) such that no proper \(L_{B^*}\)colouring can be found in agreement with any \(L_X\)colouring.\(\square \)
Conclusion
We have begun the investigation of an asymmetric form of list colouring for bipartite graphs. In one direction, we have found good general sufficient conditions through connections to independent transversals and to the coupon collector problem. This has incidentally yielded a nontrivial advance towards a difficult conjecture of Krivelevich and the first author. In another direction, we have established broad necessary conditions through an unexpected link between the bipartite choosability of complete bipartite graphs and a classic extremal set theoretic or design theoretic parameter. This link has fed naturally into the formulation of three attractive conjectures along these lines. Because of the rich connections this problem has to other important areas of combinatorial mathematics, we are hopeful that further study will lead to novel insights. We remark that Conjecture 7 comprises three asymptotic parameterisations of Problem 3 that we found most natural and interesting, all derived essentially from Theorem 6. There could be several other nice choices. Because the terrain is new, there are many interesting angles we have not yet had the opportunity to fully explore.
One possibility, based on the connection to combinatorial design theory, comes to mind. We have that \({\overline{M}}(2,q^2,q^2+q+1)=q^2+q+1\) for every prime power q due to the finite projective planes. With a small modification of the substitution of this fact into Corollary 12, we obtain that the complete bipartite graph \(K_{\frac{1}{6}q^3(q+1)(q^2+q+1),q^2+q+1}\) is not \((3,q^2)\)choosable. On the other hand, Lemma 14 shows this is not that far from optimal, and in particular (2) shows that \(K_{q^6/(80\log q)^2,q^2+q+1}\) is \((3,q^2)\)choosable. It would be interesting to narrow the gap. For the specific case \(q=2\), a quick computer search checks that \(K_{20,7}\) is not (3, 4)choosable, but finding the largest r such that \(K_{r,7}\) is (3, 4)choosable seems difficult.
References
 1.
N. Alon. Degrees and choice numbers. Random Structures Algorithms, 16(4):364–368, 2000.
 2.
N. Alon and M. Krivelevich. The choice number of random bipartite graphs. Ann. Comb., 2(4):291–297, 1998.
 3.
N. Alon and J. H. Spencer. The probabilistic method. Wiley Series in Discrete Mathematics and Optimization. John Wiley & Sons, Inc., Hoboken, NJ, fourth edition, 2016.
 4.
M. Bonamy and R. J. Kang. List coloring with a bounded palette. J. Graph Theory, 84(1):93–103, 2017.
 5.
E. Davies, R. de Joannis de Verclos, R. J. Kang, and F. Pirot. Coloring trianglefree graphs with local list sizes. Random Structures Algorithms, 57(3):730–744, 2020.
 6.
B. Doerr. Probabilistic tools for the analysis of randomized optimization heuristics. In B. Doerr and F. Neumann, editors, Theory of Evolutionary Computation: Recent Developments in Discrete Optimization, pages 1–87. Springer International Publishing, Cham, 2020.
 7.
Z. Dvořák, L. Esperet, R. J. Kang, and K. Ozeki. Singleconflict colouring. J. Graph Theory, 97(1):148–160, 2021.
 8.
P. Erdős, A. Gyárfás, and T. Łuczak. Independent transversals in sparse partite hypergraphs. Combin. Probab. Comput., 3(3):293–296, 1994.
 9.
P. Erdős and J. Spencer. Probabilistic methods in combinatorics. Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New YorkLondon, 1974. Probability and Mathematical Statistics, Vol. 17.
 10.
P. Erdős, A. L. Rubin, and H. Taylor. Choosability in graphs. In Proceedings of the West Coast Conference on Combinatorics, Graph Theory and Computing (Humboldt State Univ., Arcata, Calif., 1979), Congress. Numer., XXVI, pages 125–157, Winnipeg, Man., 1980. Utilitas Math.
 11.
P. E. Haxell. A note on vertex list colouring. Combin. Probab. Comput., 10(4):345–347, 2001.
 12.
A. Johansson. Asymptotic choice number for trianglefree graphs. Technical Report 915, DIMACS, 1996.
 13.
P. Keevash. Hypergraph Turán problems. In Surveys in combinatorics 2011, volume 392 of London Math. Soc. Lecture Note Ser., pages 83–139. Cambridge Univ. Press, Cambridge, 2011.
 14.
M. Molloy. The list chromatic number of graphs with small clique number. J. Combin. Theory Ser. B, 134:264–284, 2019.
 15.
D. Saxton and A. Thomason. Hypergraph containers. Invent. Math., 201(3):925–992, 2015.
 16.
V. G. Vizing. Coloring the vertices of a graph in prescribed colors. Diskret. Analiz, 29 Metody Diskret. Anal. v Teorii Kodov i Shem:3–10, 101, 1976.
Acknowledgements
The authors wish to thank the anonymous referees for their careful reading and helpful comments.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
N. Alon: Supported in part by NSF grant DMS1855464, BSF grant 2018267 and the Simons Foundation
S. Cambie and R. J. Kang: Supported by a Vidi grant (639.032.614) of The Netherlands Organisation for Scientific Research (NWO).
Communicated by Bartosz Walczak
A Extremal Analysis of Approximate Steiner Systems
A Extremal Analysis of Approximate Steiner Systems
Proof of Theorem 13
First we prove the lower bound. Fix a family \(\mathcal {F}\) of \(k_2\)element subsets of \([\ell ]\) with cardinality less than the leftmost expression. Choose C a \(k_1\)element subset of \([\ell ]\) uniformly at random. For any fixed \(F \in \mathcal {F}\), we have
By a union bound and the choice of cardinality of \(\mathcal {F}\),
So with positive probability there is a set C certifying that \(\mathcal {F}\) has Property A\((k_1,k_2,\ell )\).
Next we prove the upper bound. Fix C a \(k_1\)element subset of \([\ell ]\). Let F be a \(k_2\)element subset of \([\ell ]\) chosen uniformly at random. Then
Let \(\mathcal {F} = \{F_1,\dots ,F_m\}\) be a family of m \(k_2\)element subsets of \([\ell ]\) chosen uniformly at random. Based on the above calculation,
There are \(\left( {\begin{array}{c}\ell \\ k_1\end{array}}\right) \) choices for C, so we have
This last expression is less than 1 if
which establishes the upper bound.\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alon, N., Cambie, S. & Kang, R.J. Asymmetric List Sizes in Bipartite Graphs. Ann. Comb. (2021). https://doi.org/10.1007/s00026021005525
Received:
Accepted:
Published: