Kernel equality conjecture for the extremal noncommutative power-sum bound
Kernel equality conjecture. For every such tuple,