arxiv: 2605.10866 · v1 · submitted 2026-05-11 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Some remarks on degeneracy of tridimensional tensors

Alessandro Gimigliano , Monica Id\`a

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:49 UTC · model grok-4.3

classification 🧮 math.AG

keywords tridimensional tensorshypermatrix degeneracydeterminantal schemestensor concisenesstensor rankalgebraic geometrySchläfli method

0 comments

The pith

Determinantal schemes associated to hypermatrices determine the degeneracy, conciseness, and rank of tridimensional tensors.

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

The authors investigate tridimensional tensors over the complex numbers by representing them as hypermatrices. They address questions of degeneracy, conciseness, the essential format of non-concise tensors, and tensor rank in select cases. Their method relies on a geometric analysis of determinantal schemes tied to these hypermatrices, drawing from classical work by Schläfli. This framework allows classification of tensors according to these properties through algebraic geometry techniques.

Core claim

By associating determinantal schemes to the hypermatrix of a tridimensional tensor, one can ascertain whether the tensor is degenerate or concise, determine its essential format if non-concise, and compute its tensor rank in particular situations. This approach provides a geometric lens for these classification problems on the complex field.

What carries the argument

Determinantal schemes associated to the hypermatrix, which are used to study the geometric properties encoding degeneracy and rank information.

If this is right

If the determinantal scheme indicates degeneracy, the tensor fails to be non-degenerate in the expected sense.
Concise tensors correspond to cases where the schemes have expected dimension or specific properties.
Non-concise tensors admit an essential format derived from the rank or format of the schemes.
Tensor rank in some cases equals the dimension or codimension related to the scheme's properties.

Where Pith is reading between the lines

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

The method could be extended to compute explicit bounds on ranks for small formats.
Links to the geometry of secant varieties of Segre embeddings may be explored further using these schemes.
Computational verification of degeneracy could use Gröbner bases on the ideals of these schemes.

Load-bearing premise

The determinantal schemes capture all the necessary information about degeneracy, conciseness, and rank without additional hidden conditions.

What would settle it

A concrete counterexample would be a specific tridimensional tensor whose direct algebraic computation shows it is non-degenerate, yet the associated determinantal scheme vanishes in a way that indicates degeneracy.

read the original abstract

We study tridimensional tensors on the complex field from the point of view of hypermatrices, taking into consideration the problem of determining whether they are degenerate or not, concise or not, what is their essential format if they are non-coincise, and, in some cases, their tensor rank. We use a geometrical approach to these problems which, in part, goes back to Schl\"{a}fli and consists in studying certain determinantal schemes associated to the hypermatrix.

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.

Desk Editor's Note private letter to a colleague

This note applies Schläfli's classical determinantal scheme method to a few explicit tridimensional tensor cases but adds no new general results or techniques.

read the letter

The main point with this paper is that it revisits Schläfli's geometric method using determinantal schemes to analyze degeneracy, conciseness, essential format, and sometimes the rank of tridimensional tensors over the complex numbers. The contribution consists of remarks and applications rather than any new general theory. What stands out positively is the clear presentation of the classical approach in modern terms for hypermatrices. The authors walk through how to set up the associated schemes and use them to extract the desired information in specific cases. This can provide concrete illustrations that might help others verify or extend similar calculations. The qualification that rank is determined only in some cases shows they are not overclaiming. The weaker aspects are the limited novelty and scope. Since the technique dates back to Schläfli, as noted in the abstract, the paper essentially demonstrates the method on a selection of examples without introducing new tools or resolving longstanding open questions. No major inconsistencies appear in the description, and the assumptions about what the schemes capture seem standard for this area of algebraic geometry. Still, the overall impact stays modest because it does not compare to alternative methods or provide broader classifications. Readers working directly on tensor varieties or degeneracy problems in three dimensions would get the most out of it. It could serve as a reference for explicit computations, but most experts in the field are likely already familiar with the underlying geometry. The paper shows honest engagement with the literature through its classical roots. I would recommend sending this to peer review. It is a solid, if incremental, piece of work that fits the format of remarks and deserves a referee's look to check the details of the examples.

Referee Report

0 major / 1 minor

Summary. The manuscript studies tridimensional tensors over ℂ from the viewpoint of hypermatrices. It addresses the determination of degeneracy, conciseness, essential format (when non-concise), and in some cases tensor rank, via a geometric approach that examines certain determinantal schemes associated to the hypermatrix; this method is presented as partially tracing back to Schläfli.

Significance. If the determinantal schemes are shown to capture the stated properties for the tensors considered, the work would supply a classical geometric lens on tensor classification problems in algebraic geometry. The qualified phrasing ('in some cases' for rank) and framing as 'remarks' keep the claims proportionate. The explicit link to Schläfli's constructions is a positive feature, providing historical grounding without overclaiming generality.

minor comments (1)

[Abstract] Abstract: 'non-coincise' is a typographical error and should read 'non-concise'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. We appreciate the recognition that our qualified phrasing keeps the claims proportionate and that the explicit link to Schläfli provides valuable historical grounding.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external historical geometry

full rationale

The paper's central method consists in studying determinantal schemes associated to a hypermatrix, an approach explicitly attributed to Schläfli and presented as a classical geometric construction external to the present work. No equations, parameters, or uniqueness claims are shown to reduce by construction to the paper's own inputs or self-citations. The abstract qualifies results as holding 'in some cases' for rank and frames the contribution as remarks rather than a closed self-referential system. The derivation chain therefore remains self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is available from the abstract alone.

pith-pipeline@v0.9.0 · 5361 in / 1217 out tokens · 51530 ms · 2026-05-12T03:49:18.019933+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We use a geometrical approach... studying certain determinantal schemes associated to the hypermatrix... L, M and N... A is degenerate iff there exists (P,Q,T) in K_A

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Thesis, Univ

S.Abrescia, Tensori tridimensionali e varietà determinantali Ph.D. Thesis, Univ. of Bologna. (2003)

work page 2003
[2]

Journal of Pure and Applied Algebra 187 (2004) 1 – 17

S.Abrescia, A characterization of degenerate tridimensional tensors . Journal of Pure and Applied Algebra 187 (2004) 1 – 17

work page 2004
[3]

M.Arbarello, P.Cornalba, A.Griffiths, J.Harris, Geometry of Algebraic Curves , 1985, Springer New York, NY

work page 1985
[4]

Decomposibility of Tensors

A.Bernardi, E. Carlini, M.V.Catalisano, A. Gimigliano, A. Oneto The hitchhiker guide to secant varieties and tensor decomposition . Mathematics 6 (2018, special issue: "Decomposibility of Tensors", L.Chiantini Ed.); DOI: 10.3390/math6120314. Also available at http://www.mdpi.com/2227-7390/6/12/314/pdf

work page doi:10.3390/math6120314 2018
[5]

Bruns, U

W. Bruns, U. Vetter, Determinantal Rings , Lecture Notes in Mathematics, 1327 , Springer, Berlin, Heidelberg 1988

work page 1988
[6]

E. Carlini. Reducing the number of variables of a polynomial. In Algebraic geometry and geometric modeling, 237–247. Springer, 2006

work page 2006
[7]

Geramita, A

M.V.Catalisano, A.V. Geramita, A. Gimigliano, Tensor rank, secant varieties to Segre varieties and fat points in multiprojective spaces Queen's Papers in pure and Applied Math. XIII (2001), 225-246

work page 2001
[8]

Geramita, A

M.V.Catalisano, A.V. Geramita, A. Gimigliano, Rank of tensors, secant varieties to Segre varieties and fat points Linear Algebra and its Appl. 355 (2002), 263-285

work page 2002
[9]

Abbott, A

J. Abbott, A. M. Bigatti, L. Robbiano, CoCoA: a system for doing Computations in Commutative Algebra . Available at https://sites.google.com/view/cocoa-c

work page
[10]

Seiguer, On the Rank of a Binary Form

G.Comas, M. Seiguer, On the Rank of a Binary Form . Found. Comput. Math 11, (2011) 65–78. https://doi.org/10.1007/s10208-010-9077-x

work page doi:10.1007/s10208-010-9077-x 2011
[11]

Ehrenborg Canonical Forms of Two by Two by Two Matrices J

R. Ehrenborg Canonical Forms of Two by Two by Two Matrices J. of Algebra, 213 (1999), 195-224

work page 1999
[12]

Friedland, On the generic and typical ranks of 3-tensors

S. Friedland, On the generic and typical ranks of 3-tensors . Linear Algebra Appl. 436 (2012) 478–497

work page 2012
[13]

Gelfand, M.M

I.M. Gelfand, M.M. Kapranov, A. Zelevinsky, Discriminants, Resultants and Multidimensional Determinants , Birchauser, Basel, 1994

work page 1994
[14]

Gherardelli, Osservazioni sugli iperdeterminanti , Istituto Lombardo (Rend

F. Gherardelli, Osservazioni sugli iperdeterminanti , Istituto Lombardo (Rend. Sc.) A 127, (1993) 107-113

work page 1993
[15]

Kruskal, Three-way arrays: rank and uniqueness of trilinear decompositions, with applications to arithmetic complexity and statistics , Linear Algebra Appl

J.B. Kruskal, Three-way arrays: rank and uniqueness of trilinear decompositions, with applications to arithmetic complexity and statistics , Linear Algebra Appl. 18 (1977) 95–138

work page 1977
[16]

Kruskal, Rank, decomposition, and uniqueness for 3-way and N-way arrays , Multi-way Data Analysis, vol

J.B. Kruskal, Rank, decomposition, and uniqueness for 3-way and N-way arrays , Multi-way Data Analysis, vol. 7–18, North-Holland, Amsterdam, 1989

work page 1989
[17]

Oeding, The hyperdeterminant of a symmetric tensor , Advances in Math., 231 (2012), 1308-1326

L. Oeding, The hyperdeterminant of a symmetric tensor , Advances in Math., 231 (2012), 1308-1326

work page 2012
[18]

Oldenburger, On canonical binary trilinear forms , Bull

R. Oldenburger, On canonical binary trilinear forms , Bull. of the AMS, 38 (1932), 385-387

work page 1932
[19]

Ottaviani, Introduction to the Hyperdeterminant and to the Rank of Multidimensional Matrices

G. Ottaviani, Introduction to the Hyperdeterminant and to the Rank of Multidimensional Matrices . In: Peeva, I. (eds) Commutative Algebra (2013). Springer, New York, NY. DOI:10.1007/978-1-4614-5292-8-20

work page doi:10.1007/978-1-4614-5292-8-20 2013
[20]

Schläfli, Uber die Resultante eines Systems mehrerer algebraischer Gleichungen , Denkschr

L. Schläfli, Uber die Resultante eines Systems mehrerer algebraischer Gleichungen , Denkschr. der Kaiserl. Akad. Wiss., Math-Naturwiss. Klasse, 4(1852), reprinted in: Gessamelte Abhandlungen , vol.2, N0 9, p. 9-112, Birkhauser-Verlag, Basel, 1953

work page 1953
[21]

Thrall, H

R.M. Thrall, H. Chanler, Ternary trilinear forms in the field of complex numbers , Duke Math. J., 4, (1938), 678-690

work page 1938
[22]

R. M. Thrall, On Projective Equivalence of Trilinear Forms Annals of Mathematics, 42 (1941), 469-485

work page 1941