Carlet's conjecture on the sum-freedom of the binary multiplicative inverse function

From papers

Let nn be a positive integer and let finv:F2nF2nf_{\text{inv}}:\mathbb F_{2^n}\to\mathbb F_{2^n} be defined by

finv(x)={1/xif x0,0if x=0.f_{\text{inv}}(x)=\begin{cases}1/x&\text{if }x\ne 0,\\0&\text{if }x=0.\end{cases}

A function is kkth order sum-free if the sum of its values is nonzero on every kk-dimensional affine subspace of F2n\mathbb F_{2^n}. Carlet's conjecture. For 3kn33\le k\le n-3, finvf_{\text{inv}} is not kkth order sum-free.

The conjecture concerns the values of kk for which the binary multiplicative inverse function has sum-freedom over F2n\mathbb F_{2^n}. It is resolved in the supplied source: the paper confirms the conjecture when nn is not a prime, while the stated status evidence indicates that a positive solution would determine all remaining values of kk.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Xiang-dong Hou and Shujun Zhao, “On a Conjecture About the Sum-Freedom of the Binary Multiplicative Inverse Function”, arXiv:2504.21805 (2025).

Additional references

2 papers in this index state this conjecture (2025). The statement above is taken from the most recent of them; the others are arXiv:2502.04545.

Solutions 0

No solutions have been posted yet.