α equals IR in multipartite direct products

AX_direct_product_multipartite_independence_equals_irredundance

Source: arXiv:1904.02595 — Isoperimetry, Stability, and Irredundance in Direct Products

Conjecture 1.2 · arXiv:1904.02595

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

Authors: Noga Alon, Colin Defant

Status ai-proved high confidence

A tensor-rank bound retaining the lonely vertices, combined with rank-nonincreasing coordinate compression, proves the conjecture for all complete multipartite factors.

Auto-reviewed 2026-09-16 with gpt-6-astra.

AI-generated write-up ai-proved

Open the PDF write-up

This is a model-generated research artifact, not a peer-reviewed publication or a formally verified proof.

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