α equals IR in multipartite direct products

Conjecture 1.2 · arXiv:1904.02595

arXiv Conjecture high confidence— first stated 2019-04-04

Authors: Noga Alon, Colin Defant

Status open medium confidence

Conjecture 1.2 of Alon–Defant (arXiv:1904.02595) asserts that α(G) = IR(G) for any direct product G of complete multipartite graphs (not necessarily balanced). The paper itself proves the weaker balanced version (Burcroff's Conjecture 1.1) in all but at most 37 exceptional cases, but leaves the general unbalanced strengthening (Conjecture 1.2) open. A search of the literature up to May 2026 found no follow-up paper resolving Conjecture 1.2; Defant's subsequent research has moved toward algebraic combinatorics, and no other authors appear to have published on this specific problem.

Reviewer notes. No follow-up resolving the conjecture was found. The source paper proves most of the balanced special case (Burcroff's Conjecture 1.1) but explicitly leaves Conjecture 1.2 (the unbalanced generalization) open. Confidence is medium rather than high because the conjecture is 7 years old and absence of visible follow-up in a moderately specific search is less conclusive than for a very recent conjecture.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Conjecture. If $H_1, \ldots, H_n$ are complete multipartite graphs and $G = \prod_{i=1}^{n} H_i$, then $\alpha(G) = IR(G)$.

Context

The authors propose this as a further strengthening of Burcroff's Conjecture 1.1, removing the assumption that the complete multipartite graphs in the direct product are balanced. It is stated at the end of the introduction after the main results are summarised.

Source paper

Isoperimetry, Stability, and Irredundance in Direct Products
Noga Alon, Colin Defant · 2019-04-04
https://arxiv.org/abs/1904.02595 PDF source