Certified local rank and uniqueness barriers for a 48-term matrix-multiplication decomposition

Abhinav Agarwal

We study replacements in fixed bilinear tensor decompositions, counting changes to complete rank-one summands, including output factors. The shortening frontier records the maximum…