All 4-variable functions can be perfectly quadratized with only 1 auxiliary variable

Nike Dattani, Hou Tin Chau

We prove that any function with real-valued coefficients, whose input is 4 binary variables and whose output is a real number, is perfectly equivalent to a quadratic function whose…