The asymptotic induced matching number of hypergraphs: balanced binary strings (Q783062)

Summary: We compute the asymptotic induced matching number of the \(k\)-partite \(k\)-uniform hypergraphs whose edges are the \(k\)-bit strings of Hamming weight \(k/2\), for any large enough even number \(k\). Our lower bound relies on the higher-order extension of the well-known Coppersmith-Winograd method from algebraic complexity theory, which was proven by \textit{M. Christandl} et al. [Comput. Complexity 28, No. 1, 57--111 (2019; Zbl 1415.65098)]. Our result is motivated by the study of the power of this method as well as of the power of the Strassen support functionals (which provide upper bounds on the asymptotic induced matching number), and the connections to questions in tensor theory, quantum information theory and theoretical computer science. Our proof relies on a new combinatorial inequality that may be of independent interest. This inequality concerns how many pairs of Boolean vectors of fixed Hamming weight can have their sum in a fixed subspace.