pith. sign in

arxiv: 2606.30600 · v1 · pith:T3TWYF3Unew · submitted 2026-06-29 · 🧮 math.AC

Hankel and Multiplication Tensor Completions for Cactus Rank

Alessandra Bernardi , Joachim Jelisiejew , Oriol Reig Fit\'e This is my paper

Pith reviewed 2026-06-30 02:53 UTC · model grok-4.3

classification 🧮 math.AC
keywords cactus rankHankel matrixmultiplication tensorArtinian Gorenstein algebraflat extensionBorel-fixed staircasetensor completioncommutation equations
0
0 comments X

The pith

The Hankel flat extension formulation of the cactus algorithm is equivalent to a completion problem for multiplication tensors of Artinian Gorenstein algebras.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the Hankel flat extension approach to computing cactus rank matches a tensor completion problem exactly. Unknown Hankel moments correspond directly to undetermined coefficients in the multiplication tensor of an Artinian Gorenstein algebra. Under this mapping the symbolic multiplication matrices and the equations enforcing their commutation become identical. The equivalence recasts the usual degree-by-degree extension as a coordinate version of a variable extension problem that marks generators. Borel-fixed and squat staircases then shrink the set of candidate basis shapes that the algorithm must test.

Core claim

We show that the Hankel flat extension formulation of the cactus algorithm is equivalent to a completion problem for multiplication tensors of Artinian Gorenstein algebras. The unknown Hankel moments are canonically identified with the undetermined tensor coefficients, and under this identification the symbolic multiplication matrices and their commutation equations coincide. This shows that the usual degree extension formulation is a coordinate realization of a variable extension problem with marked generators. We further use Borel-fixed and squat staircases to reduce the family of candidate basis shapes in the resulting algorithm.

What carries the argument

The canonical identification of unknown Hankel moments with undetermined tensor coefficients, which forces the symbolic multiplication matrices and commutation equations of the two formulations to coincide.

If this is right

  • The degree extension formulation becomes a coordinate realization of a variable extension problem with marked generators.
  • Borel-fixed staircases reduce the family of candidate basis shapes that must be examined.
  • Squat staircases supply a further reduction of the same family in the resulting algorithm.
  • The two formulations can be used interchangeably once the identification is fixed.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Algorithms that already handle tensor completion might be adapted directly to cactus rank without re-deriving the flat-extension step.
  • The staircase reductions could be combined with other monomial-order techniques to further prune search spaces in related rank problems.
  • The variable-extension viewpoint may suggest new ways to incorporate marked generators into existing Hankel-based software.

Load-bearing premise

The unknown Hankel moments are canonically identified with the undetermined tensor coefficients in a way that makes the symbolic multiplication matrices and their commutation equations coincide exactly.

What would settle it

An explicit example of an Artinian Gorenstein algebra where the Hankel moments identified with tensor coefficients produce multiplication matrices whose commutation relations differ from those required by the cactus flat-extension condition.

read the original abstract

We show that the Hankel flat extension formulation of the cactus algorithm is equivalent to a completion problem for multiplication tensors of Artinian Gorenstein algebras. The unknown Hankel moments are canonically identified with the undetermined tensor coefficients, and under this identification the symbolic multiplication matrices and their commutation equations coincide. This shows that the usual degree extension formulation is a coordinate realization of a variable extension problem with marked generators. We further use Borel-fixed and squat staircases to reduce the family of candidate basis shapes in the resulting algorithm.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper shows that the Hankel flat extension formulation of the cactus algorithm is equivalent to a completion problem for multiplication tensors of Artinian Gorenstein algebras. The unknown Hankel moments are canonically identified with the undetermined tensor coefficients, and under this identification the symbolic multiplication matrices and their commutation equations coincide. This realizes the usual degree extension formulation as a coordinate version of a variable extension problem with marked generators. Borel-fixed and squat staircases are further used to reduce the family of candidate basis shapes in the algorithm.

Significance. If the central equivalence holds, the work supplies a direct bridge between Hankel-based numerical methods for cactus rank and tensor-completion problems in the theory of Artinian Gorenstein algebras. The canonical identification (with no free parameters or invented entities) converts the degree-extension problem into a coordinate realization of a variable-extension problem; this is a clean, falsifiable reformulation that may allow techniques from either side to be imported. The explicit use of Borel-fixed and squat staircases to prune basis shapes is a concrete algorithmic contribution. The manuscript contains a parameter-free derivation of the equivalence.

minor comments (1)
  1. The abstract states the identification directly; a one-sentence pointer to the section or theorem number where the canonical identification is proved would improve readability for readers who consult only the abstract.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their positive assessment, and their recommendation to accept.

Circularity Check

0 steps flagged

No circularity; equivalence shown by explicit canonical identification without reduction to inputs

full rationale

The paper's central claim is a proof that the Hankel flat-extension formulation equals a multiplication-tensor completion problem for Artinian Gorenstein algebras. The abstract states this equivalence follows from a canonical identification of unknown Hankel moments with undetermined tensor coefficients, under which symbolic multiplication matrices and commutation equations coincide exactly. This is a direct mathematical mapping presented as the content of the proof, not a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. No equations or steps reduce by construction to the inputs; the identification is asserted as the bridge that realizes the usual degree-extension as a coordinate version of a variable-extension problem. The additional use of Borel-fixed staircases is a reduction technique, not a circular renaming. The derivation is therefore self-contained against external algebraic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review is based solely on the abstract; the paper invokes standard properties of Artinian Gorenstein algebras and Hankel matrices without introducing new free parameters or invented entities.

axioms (2)
  • domain assumption Standard properties of Artinian Gorenstein algebras and their multiplication tensors
    Invoked to identify Hankel moments with tensor coefficients (abstract paragraph 2).
  • standard math Existence of symbolic multiplication matrices and commutation relations
    Used to equate the two formulations under the moment-tensor identification.

pith-pipeline@v0.9.1-grok · 5611 in / 1249 out tokens · 50163 ms · 2026-06-30T02:53:52.663262+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

85 extracted references · 20 canonical work pages · 4 internal anchors

  1. [1]

    Mourrain , title =

    B. Mourrain , title =. Foundations of Computational Mathematics , year =

  2. [2]

    and Brachat, J

    Bernardi, A. and Brachat, J. and Mourrain, B. , date-added =. A comparison of different notions of ranks of symmetric tensors , url =. Linear Algebra Appl. , mrclass =. 2014 , bdsk-url-1 =. doi:10.1016/j.laa.2014.07.036 , fjournal =

    work page doi:10.1016/j.laa.2014.07.036 2014

  3. [4]

    Bernardi and A

    A. Bernardi and A. Gimigliano and M. Id. Computing symmetric rank for symmetric tensors , url =. Journal of Symbolic Computation , keywords =. 2011 , bdsk-url-1 =. doi:https://doi.org/10.1016/j.jsc.2010.08.001 , issn =

    work page doi:10.1016/j.jsc.2010.08.001 2011

  4. [5]

    Brachat and P

    J. Brachat and P. Comon and B. Mourrain and E. Tsigaridas , doi =. Symmetric tensor decomposition , volume =. Linear Algebra and its Applications , number =. 2010 , bdsk-url-1 =

    2010

  5. [6]

    Bernardi and D

    A. Bernardi and D. Taufer , journal =. Waring, tangential and cactus decompositions , year =

  6. [7]

    Bernardi and K

    A. Bernardi and K. Ranestad , journal =. On the cactus rank of cubics forms , volume =

  7. [8]

    Cox and J

    D. Cox and J. Little and D. O'Shea , edition =. Ideals, Varieties, and Algorithms , year =

  8. [9]

    , isbn =

    Bourbaki, N. , isbn =. Algebra I: Chapters 1-3 , url =. 1998 , bdsk-url-1 =

    1998

  9. [10]

    Mourrain , journal =

    B. Mourrain , journal =. Polynomial--Exponential Decomposition From Moments , year =

  10. [11]

    Bernardi and J

    A. Bernardi and J. Jelisiejew and P. M. Marques and K. Ranestad , doi =. On polynomials with given Hilbert function and applications , volume =. Collectanea Mathematica , pages =. 2018 , bdsk-url-1 =

    2018

  11. [12]

    Bernardi and A

    A. Bernardi and A. Oneto and D. Taufer , doi =. On schemes evinced by generalized additive decompositions and their regularity , volume =. Journal de Math. 2024 , bdsk-url-1 =

    2024

  12. [13]

    Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes , pages =

    Mourrain, Bernard , title =. Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes , pages =. 1999 , isbn =

    1999

  13. [14]

    Eisenbud , publisher =

    D. Eisenbud , publisher =. Commutative Algebra with a View Toward Algebraic Geometry , year =

  14. [15]

    Elkadi and B

    M. Elkadi and B. Mourrain , publisher =. Introduction

  15. [16]

    Atiyah and I

    M. Atiyah and I. MacDonald , publisher =. Introduction To Commutative Algebra , year =

  16. [17]

    Iarrobino , journal =

    A. Iarrobino , journal =. Associated graded algebra of a Gorenstein Artin Algebra , volume =

  17. [18]

    Geramita , booktitle =

    A.V. Geramita , booktitle =. Inverse systems of fat points: Waring's problem, secant varieties of Veronese varieties and parameter spaces for Gorenstein ideals , volume =

  18. [19]

    Jelisiejew , howpublished =

    J. Jelisiejew , howpublished =. Hilbert schemes of points and applications , year =

  19. [20]

    W. Buczy. Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes , volume =. Journal of Algebraic Geometry , number =

  20. [21]

    Iarrobino and V

    A. Iarrobino and V. Kanev , publisher =. Power Sums, Gorenstein Algebras and Determinantal Loci , volume =

  21. [22]

    Kehrein and M

    A. Kehrein and M. Kreuzer and L. Robbiano , booktitle =. An algebraist's view on border bases , year =

  22. [23]

    Jelisiejew and J.M Landsberg and A

    J. Jelisiejew and J.M Landsberg and A. Pal , journal =. Concise tensors of minimal border rank , volume =

  23. [24]

    2025 , eprint=

    Detecting Direct Sums of Tensors and Their Limits , author=. 2025 , eprint=

    2025

  24. [25]

    2026 , eprint =

    Polynomials of minimal border rank , author =. 2026 , eprint =

    2026

  25. [26]

    , TITLE =

    Jelisiejew, J. , TITLE =. 2025 , note =

    2025

  26. [27]

    Linear algebraic groups , volume =

    Borel, Armand , edition =. Linear algebraic groups , volume =

  27. [28]

    2015 , NUMBER =

    Apolarity and direct sum decomposability of polynomials , JOURNAL =. 2015 , NUMBER =

    2015

  28. [29]

    Apolarity, border rank, and multigraded

    Buczy. Apolarity, border rank, and multigraded. Duke Math. J. , volume =

  29. [30]

    2025 , eprint=

    A refinement on the local cactus rank algorithm , author=. 2025 , eprint=

    2025

  30. [32]

    2025 , eprint=

    Generalized Additive Decompositions of Symmetric Tensors , author=. 2025 , eprint=

    2025

  31. [33]

    Transactions of the American Mathematical Society , year=

    Isomorphism classes of short Gorenstein local rings via Macaulay's inverse system , author=. Transactions of the American Mathematical Society , year=

  32. [35]

    The Quantum Marginal Problem

    C. Schilling , title =. arXiv:1404.1085 , year =

    work page internal anchor Pith review Pith/arXiv arXiv

  33. [36]

    Tyc and J

    T. Tyc and J. Vlach , title =. The European Physical Journal D , year =

  34. [37]

    A. C. Doherty and P. A. Parrilo and F. M. Spedalieri , title =. arXiv:quant-ph/0308032 , year =

    work page internal anchor Pith review Pith/arXiv arXiv

  35. [38]

    M. Navascu. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations , journal =

  36. [39]

    Gross and Y.-K

    D. Gross and Y.-K. Liu and S. T. Flammia and S. Becker and J. Eisert , title =. Physical Review Letters , year =

  37. [40]

    A. A. Klyachko , title =. arXiv:quant-ph/0511102 , year =

    work page internal anchor Pith review Pith/arXiv arXiv

  38. [41]

    Tyc and J

    T. Tyc and J. Vlach , title =. The European Physical Journal D , volume =. 2015 , doi =

    2015

  39. [42]

    Doherty and P.A

    A.C. Doherty and P.A. Parrilo and F.M. Spedalieri , title =. Physical Review A , volume =. 2004 , doi =

    2004

  40. [43]

    M. Navascu. A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations , journal =. 2008 , doi =

    2008

  41. [44]

    Algebraic Geometry and Geometric Modeling , editor =

    Carlini, Enrico , title =. Algebraic Geometry and Geometric Modeling , editor =. 2005 , pages =

    2005

  42. [45]

    and Carlini, E

    Bernardi, A. and Carlini, E. and Catalisano, M.V. and Gimigliano, A. and Oneto, A. , title =. 2018 , journal =. doi:10.3390/math6120314 , url =

    work page doi:10.3390/math6120314 2018

  43. [46]

    Brooksbank, P. A. and Maglione, J. and Wilson, J. B. , TITLE =. J. Algebra , FJOURNAL =. 2020 , PAGES =

    2020

  44. [47]

    Wilson, J. B. , TITLE =. Groups Complex. Cryptol. , FJOURNAL =. 2012 , NUMBER =

    2012

  45. [48]

    and Lella, P

    Alberelli, D. and Lella, P. , title =. 2019 , journal =. doi:10.2140/jsag.2019.9.1 , url =

    work page doi:10.2140/jsag.2019.9.1 2019

  46. [49]

    and Cioffi, F

    Bertone, C. and Cioffi, F. and Lella, P. and Roggero, M. , title =. 2013 , journal =. doi:10.1016/j.jsc.2012.07.006 , url =

    work page doi:10.1016/j.jsc.2012.07.006 2013

  47. [50]

    and Brachat, J

    Bernardi, A. and Brachat, J. and Comon, P. and Mourrain, B. , title =. 2013 , journal =. doi:10.1016/j.jsc.2012.05.012 , url =

    work page doi:10.1016/j.jsc.2012.05.012 2013

  48. [51]

    Sylvester, J. J. , title =. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science , series =

  49. [52]

    Macaulay, F. S. , title =

  50. [53]

    Multivariate Polynomial Equations with Multiple Zeros Solved by Matrix Eigenproblems , journal =

    M. Multivariate Polynomial Equations with Multiple Zeros Solved by Matrix Eigenproblems , journal =

  51. [54]

    Curto, R. E. and Fialkow, L. A. , title =. Memoirs of the American Mathematical Society , volume =

  52. [55]

    and Golub, G

    Comon, P. and Golub, G. H. and Lim, L.-H. and Mourrain, B. , title =. SIAM Journal on Matrix Analysis and Applications , volume =. 2008 , doi =

    2008

  53. [56]

    Alberelli and P

    D. Alberelli and P. Lella. Strongly stable ideals and hilbert polynomials. Journal of Software for Algebra and Geometry , 9(1):1 – 9, 2019. Cited by: 10; All Open Access, Bronze Open Access, Green Open Access. URL: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087669241&doi=10.2140

    2019

  54. [57]

    Buczy \'n ska and J

    W. Buczy \'n ska and J. Buczy \'n ski. Secant varieties to high degree veronese reembeddings, catalecticant matrices and smoothable gorenstein schemes. Journal of Algebraic Geometry , 23(1):63--90, 2014

    2014

  55. [58]

    Buczy \'n ska and J

    W. Buczy \'n ska and J. Buczy \'n ski. Apolarity, border rank, and multigraded Hilbert scheme. Duke Math. J. , 170(16):3659--3702, 2021

    2021

  56. [59]

    Bernardi, J

    A. Bernardi, J. Brachat, P. Comon, and B. Mourrain. General tensor decomposition, moment matrices and applications. Journal of Symbolic Computation , 52:51 – 71, 2013. Cited by: 38; All Open Access, Green Open Access. URL: https://www.scopus.com/inward/record.uri?eid=2-s2.0-84873569701&doi=10.1016

    2013

  57. [60]

    Buczy \'n ska , J

    W. Buczy \'n ska , J. Buczy \'n ski, J. Kleppe, and Z. Teitler. Apolarity and direct sum decomposability of polynomials. Michigan Math. J. , 64(4):675--719, 2015

    2015

  58. [61]

    Bernardi, E

    A. Bernardi, E. Carlini, M.V. Catalisano, A. Gimigliano, and A. Oneto. The hitchhiker guide to: Secant varieties and tensor decomposition. Mathematics , 6(12), 2018. Cited by: 48; All Open Access, Gold Open Access, Green Open Access. URL: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85059465353&doi=10.3390

    2018

  59. [62]

    Bertone, F

    C. Bertone, F. Cioffi, P. Lella, and M. Roggero. Upgraded methods for the effective computation of marked schemes on a strongly stable ideal. Journal of Symbolic Computation , 50:263 – 290, 2013. Cited by: 21; All Open Access, Green Open Access. URL: https://www.scopus.com/inward/record.uri?eid=2-s2.0-84870255420&doi=10.1016

    2013

  60. [63]

    Brachat, P

    J. Brachat, P. Comon, B. Mourrain, and E. Tsigaridas. Symmetric tensor decomposition. Linear Algebra and its Applications , 433(11--12):1851--1872, 2010. https://doi.org/10.1016/j.laa.2010.06.046 doi:10.1016/j.laa.2010.06.046

    work page doi:10.1016/j.laa.2010.06.046 2010

  61. [64]

    Bernardi and O

    A. Bernardi and O. Reig Fité. A refinement on the local cactus rank algorithm, 2025. URL: https://arxiv.org/abs/2508.15062, https://arxiv.org/abs/2508.15062 arXiv:2508.15062

    work page arXiv 2025

  62. [65]

    Buczyński, A

    J. Buczyński, A. Ginensky, and J. M. Landsberg. Determinantal equations for secant varieties and the eisenbud-koh-stillman conjecture. Journal of the London Mathematical Society , 88(1):1–24, January 2013. URL: http://dx.doi.org/10.1112/jlms/jds073, https://doi.org/10.1112/jlms/jds073 doi:10.1112/jlms/jds073

    work page doi:10.1112/jlms/jds073 2013

  63. [66]

    Bernardi, J

    A. Bernardi, J. Jelisiejew, P. M. Marques, and K. Ranestad. On polynomials with given hilbert function and applications. Collectanea Mathematica , 69:39--64, 2018. https://doi.org/10.1007/s13348-016-0190-2 doi:10.1007/s13348-016-0190-2

    work page doi:10.1007/s13348-016-0190-2 2018

  64. [67]

    Barrilli, B

    E. Barrilli, B. Mourrain, and D. Taufer. Generalized additive decompositions of symmetric tensors, 2025. URL: https://arxiv.org/abs/2510.25681, https://arxiv.org/abs/2510.25681 arXiv:2510.25681

    work page arXiv 2025

  65. [68]

    P. A. Brooksbank, J. Maglione, and J. B. Wilson. Exact sequences of inner automorphisms of tensors. J. Algebra , 545:43--63, 2020

    2020

  66. [69]

    Linear algebraic groups , volume 126 of Graduate Texts in Mathematics

    Armand Borel. Linear algebraic groups , volume 126 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1991

    1991

  67. [70]

    Bernardi and K

    A. Bernardi and K. Ranestad. On the cactus rank of cubics forms. Journal of Symbolic Computation , 50:291--297, 2013

    2013

  68. [71]

    Bernardi and D

    A. Bernardi and D. Taufer. Waring, tangential and cactus decompositions. Journal de Math \'e matiques Pures et Appliqu \'e es , 2018

    2018

  69. [72]

    R. E. Curto and L. A. Fialkow. Solution of the truncated complex moment problem for flat data. Memoirs of the American Mathematical Society , 119(568), 1996

    1996

  70. [73]

    Canino, C

    S. Canino, C. Flavi, and J. Jelisiejew. Detecting direct sums of tensors and their limits, 2025. URL: https://arxiv.org/abs/2512.05215, https://arxiv.org/abs/2512.05215 arXiv:2512.05215

    work page arXiv 2025

  71. [74]

    Comon, G

    P. Comon, G. H. Golub, L.-H. Lim, and B. Mourrain. Symmetric tensors and symmetric tensor rank. SIAM Journal on Matrix Analysis and Applications , 30(3):1254--1279, 2008. https://doi.org/10.1137/060661569 doi:10.1137/060661569

    work page doi:10.1137/060661569 2008

  72. [75]

    Derksen, V

    H. Derksen, V. Makam, and J. Zuiddam. Subrank and optimal reduction of scalar multiplications to generic tensors. In Shachar Lovett, editor, 37th Computational Complexity Conference (CCC 2022) , volume 234 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 9:1--9:23, Dagstuhl, Germany, 2022. Schloss Dagstuhl -- Leibniz-Zentrum f \"u r In...

    work page doi:10.4230/lipics.ccc.2022.9 2022

  73. [76]

    Polynomials of minimal border rank

    C. Flavi, W. Obcowska, and T. Seynnaeve. Polynomials of minimal border rank, 2026. URL: https://arxiv.org/abs/2606.23814, https://arxiv.org/abs/2606.23814 arXiv:2606.23814

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  74. [77]

    Geramita

    A.V. Geramita. Inverse systems of fat points: Waring's problem, secant varieties of veronese varieties and parameter spaces for gorenstein ideals. In The Curves Seminar at Queen's , volume 10, pages 2--114. 1996

    1996

  75. [78]

    Iarrobino and V

    A. Iarrobino and V. Kanev. Power Sums, Gorenstein Algebras and Determinantal Loci , volume 1721 of Lecture Notes in Mathematics . Springer-Verlag, 1999

    1999

  76. [79]

    Jelisiejew

    J. Jelisiejew. Moduli of tensors. notes from the MFO G raduate S eminar 2025. 2025. In preparation

    2025

  77. [80]

    Jelisiejew, J.M Landsberg, and A

    J. Jelisiejew, J.M Landsberg, and A. Pal. Concise tensors of minimal border rank. Mathematische Annalen , 388(1):2473--2517, 2024

    2024

  78. [81]

    Kehrein, M

    A. Kehrein, M. Kreuzer, and L. Robbiano. An algebraist's view on border bases. In Lecture Notes in Computer Science . 2005. DOI: 10.1007/3-540-27357-3_4

    work page doi:10.1007/3-540-27357-3_4 2005

  79. [82]

    J. M. Landsberg. Geometry and complexity theory , volume 169 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2017. https://doi.org/10.1017/9781108183192 doi:10.1017/9781108183192

    work page doi:10.1017/9781108183192 2017

  80. [83]

    F. S. Macaulay. The Algebraic Theory of Modular Systems . Cambridge University Press, Cambridge, 1916

    1916

Showing first 80 references.