HyperCube defines a differentiable algebraic complexity measure via associativity violation whose global infimum is attained if and only if the input table is isotopic to a group, with the minimizer being the regular representation up to unitary gauge.
Consequently, the columns of the unfoldingδ (1) span the entire ambient spaceC n
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LG 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
A Differentiable Measure of Algebraic Complexity: Provably Exact Discovery of Group Structures
HyperCube defines a differentiable algebraic complexity measure via associativity violation whose global infimum is attained if and only if the input table is isotopic to a group, with the minimizer being the regular representation up to unitary gauge.