The cube-term conjecture for the Hidden Kernel Problem
Let A\mathbb{A}A be a finite algebra, and let a cube term be a term operation t(x1,…,xn)t(x_1,\dots,x_n)t(x1,…,xn) such that, for every i∈[n]i\in[n]i∈[n], there is a choice of u1,…,un∈{x,y}u_1,\dots,u_n\in\{x,y\}u1,…,un∈{x,y} with…