REVIEW 3 major objections 4 minor 55 references
Bounds for Geometric rank in Terms of Subrank
T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Subrank bounds geometric rank for fixed-order tensors — and quadratically in order three.
desk verdict Genuinely new bounds for geometric rank in terms of subrank; the order-three theorem is solid, but the proof of the general large-field theorem has a repairable but real gap in Lemma 5.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is a two-layer reduction. First, Proposition 4.2 expresses GR(T) as min_c(codim X_c + c), where X_c is the set of d-th slices of T having geometric rank c, so the entire tensor's geometric rank is controlled once the slices' ranks are controlled. Second, the slices are controlled by commutative algebra: repeatedly applying Proposition 3.14 (bounded-length R1-sequences of forms, i.e. sequences whose successive quotient rings stay regular in codimension one) and Proposition 3.16 (rational points in bounded-degree extensions) produces vectors that avoid the derivative ideal of the slice span while retaining one prescribed nonzero value, forcing the Kronecker-delta contractions that build an identity tensor of size Q(T). The quantitative strength bounds underlying these propositions, and their transfer under field extensions, are what turn an existence argument into an explicit GR(T) ≤ A(d, Q(T)) bound. In the order-three case, Lemma 2.2 replaces the heavier algebra: c linearly independent slices whose nonzero linear combinations all have rank at least 2c(c−1) already force Q(T) ≥ c, so the proof reduces to a Grassmannian counting estimate.
What would settle it
Enumerate order-three tensors of small format (for example, 4×4×4 over Q or F_2), compute Q(T) by exhaustive restriction search and GR(T) by the codimension of the zero set of the associated multilinear form, and check the claimed quadratic inequality; a single tensor with GR(T) > 2Q(T)^2+3Q(T) over an infinite field would refute Theorem 1.4.
Extended reading notes
Core claim
The central claim is that for tensors of fixed order, subrank is a genuine measure of complexity: it controls geometric rank quantitatively. Theorem 1.4 gives GR(T) ≤ 2Q(T)^2 + 3Q(T) for every order-three tensor over an infinite field, and an explicit quadratic polynomial for finite fields, so GR(T) = O(Q(T)^2). The quadratic growth is optimal, since for a generic n×n×n tensor one has Q(T) = Θ($n^{{1/2}}$) and GR(T) = n. For algebraically closed fields, Theorem 1.2 supplies a function C(d, Q(T)) with GR(T) ≤ C(d, Q(T)) for every order d, answering the open problem raised in [35, Section 9]; Theorem 1.1 is the analogue for large characteristic and bounded-degree extensions. The proof reworks the geometry of slices: GR(T) is read off from the geometric ranks of its d-slices, and high geometric rank of the span of the slices is forced to produce the contractions that realize a large identity tensor.
Load-bearing premise
The argument depends on a quantitative trade-off: the geometric rank of the space spanned by the tensor's slices must be large enough relative to the number of low-degree forms needed to generate the ideal they avoid, and this transfer must survive passing to a field extension; if that gap closes at any induction step, the construction that forces a large identity restriction collapses.
Editorial extensions
If this is right
- For order-three tensors, subrank is stable under field extensions: Q_K(T) = O(Q(T)^2), generalizing known real-field stability to arbitrary fields (Corollary 1.6).
- Subrank of a direct sum is controlled by the sum of the bounding functions: Q(S⊕T) ≤ C(d,Q(S)) + C(d,Q(T)), and in order three the maximal quadratic gap between Q(S⊕T) and Q(S)+Q(T) is attained (Corollary 1.8).
- Border subrank is de-bordered: Q(T) ≤ Q̄(T) ≤ C(d,Q(T)) over algebraically closed fields, with a quadratic bound in order three (Corollary 1.10).
- For order-three tensors, partition rank and analytic rank are each O(Q(T)^2), the first upper bounds of this kind (Corollaries 1.11 and 1.12).
- A gap theorem follows for the subrank of Kronecker powers over algebraically closed fields: either every power has subrank 1, or subrank grows at least exponentially in k/2 (Corollary 1.13).
Reading between the lines
- The same slice-avoidance technique may yield a polynomial bound of degree d−1 for all orders if the base-field transfer in Propositions 4.5 and 4.6 can be made effective over arbitrary fields; the paper itself proposes this as Conjecture 8.1, and the order-three case is its first nontrivial confirmation.
- Because geometric, partition, and analytic rank are linearly equivalent over large fields, the quadratic-in-subrank bound effectively promotes a combinatorial lower bound on subrank into a geometric lower bound on all three ranks; cap-set-style constructions that bound subrank from below may now yield new extremal results.
- The explicit constants in Theorem 1.4 are small enough that the proof is close to algorithmic: for a tensor with subrank r, a certificate of geometric rank could in principle be exhibited as a slice of the form built by the induction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the relation between geometric rank GR(T) and subrank Q(T) for tensors of fixed order d over a field K. Its three main theorems are: (Theorem 1.1) under a characteristic condition, GR(T) is bounded by a function of the subrank over a field extension of bounded degree; (Theorem 1.2) over algebraically closed fields, GR(T) ≤ C(d, Q(T)) for a function C, resolving an open problem of Kopparty–Moshkovitz–Zuiddam; and (Theorem 1.4) for order-three tensors over arbitrary fields, GR(T) = O(Q(T)^2), with an explicit quadratic bound for infinite fields. The paper derives several corollaries concerning stability of subrank, direct sums, de-bordering of border subrank, bounds on partition and analytic rank, and a gap theorem. The proofs are built on polynomial-ideal results in the style of Ananyan–Hochster, rational-point lemmas in bounded-degree extensions, and structural lemmas about geometric rank.
Significance. If the proofs are correct, this is a substantial contribution. The order-three quadratic bound is optimal for generic tensors, and the algebraic-closure result answers a named open problem. The applications to border subrank, partition rank, and analytic rank are natural and have not, to my knowledge, appeared before. The paper is generally careful and self-contained, and it gives explicit functions in several places, including the clean bound GR(T) ≤ 2Q(T)^2 + 3Q(T) for infinite fields.
major comments (3)
- [§2.2, definition of R1-sequence] The sentence "Clearly, an R1-sequence of forms in K[x_1,...,x_n] is a prime sequence" is false. For the form xy in K[x,y], the quotient K[x,y]/(xy) satisfies Serre's condition (R1) but is not a domain. This implication is used in Proposition 3.16 to conclude that (f_1,...,f_m) is prime and that f_1,...,f_m,g form a regular sequence, and in Lemma 3.15 to treat the sequence produced by Proposition 3.14 as regular. Since Proposition 3.16 is invoked in Step 1.2 of Lemma 5.1 and is similarly reused in Lemma 6.1, Theorems 1.1 and 1.2 are not supported as written. The authors should either prove that the specific R1-sequences produced by Propositions 3.13 and 3.14 and Theorem 2.5 are prime sequences, or replace this construction by a theorem that produces prime sequences.
- [§5, Lemma 5.1, Step 1.1] The displayed contradiction "I(d,N+(d−1)m) ≥ GR(span_K{T_1,...,T_c})/2 ≥ M_1(d,c)/2" is unjustified. From g ∈ (g_1,...,g_t) one obtains str_{L_m}(g) ≤ t ≤ I, hence GR_{L_m}(T'_{m+1}) ≤ 2I by Proposition 4.5; however T'_{m+1} lies in span_{L_m}{T_i}, not necessarily in span_K{T_i}. To contradict assumption (iii) one must bound GR_K(span_K{T_i}), and Proposition 4.6 gives GR_K(span_K{T_i}) ≤ J(d,c,2I), not ≤ 2I. The condition M_1(d,c) > 2I(...) does not imply M_1(d,c) > J(d,c,2I(...)). The argument can likely be repaired by defining M_1 through J ∘ I, but as written the induction in Lemma 5.1 is incomplete.
- [§5, proof of Theorem 1.1] The definition of the integer s is off by one. The contrapositive of Lemma 5.1 with c = s requires Q_F(T) ≤ s−1 for every extension F/K with [F:K] ≤ M_2(d,s), but the text says "degree M_2(d,s−1)" and then uses the same index in the subsequent minimality argument. Replacing M_2(d,s−1) with M_2(d,s) in the definition appears to fix the step, but as written the conclusions [L:K] = M_2(d,s−1) ≤ B(d,GR(T)) and GR(T) ≤ A(d,Q_L(T)) do not follow from the stated condition.
minor comments (4)
- [§1.3, Corollary 1.6] The notation Q_K(T) is not defined; if it denotes subrank over the algebraic closure, the equality GR_K(T) = GR(T) needs a justification or a reference, and the notation should be introduced explicitly.
- [§4, proof of Proposition 4.2] The expression "∪_{m}^{c=0}" should read "∪_{c=0}^{m}".
- [§6, proof of Theorem 1.2] The set X is defined as a subset of (K^{n_3})^* although the tensor has order d; it should be (K^{n_d})^*, and the condition should refer to GR(T_u), not rank(T_u).
- [References] In the reference list, "Disrete Analysis" should be "Discrete Analysis", and "Theroem B" should be "Theorem B".
Circularity Check
No circularity: the main bounds are derived from independent ideal-theoretic and analytic-rank results, not from their own conclusions.
full rationale
The paper's derivation chain is self-contained rather than circular. The central bounds GR(T) <= A(d,Q_L(T)), GR(T) <= C(d,Q(T)), and GR(T) <= 2Q(T)^2+3Q(T) are obtained by reducing the geometric rank to the height of a polynomial ideal via Proposition 4.2, then combining height/strength bounds from Ananyan–Hochster ([4], Theorems 2.5 and 2.7), strength-stability results ([10], Theorem 2.8), and a geometric-rank stability estimate (Proposition 4.6) that derives from external theorems. Lemma 5.1's contradiction uses only the lower bound GR(span_K{T_1,...,T_c}) >= M_1(d,c) together with the independent inequality 2 str(T) >= GR(T); it does not assume the theorem being proved. The finite-field branches invoke the analytic-rank/geometric-rank equivalence from [5,14,46] (Theorem 2.3), which is jointly attributed and does not mention subrank, so the use of the authors' own [14] is not load-bearing and not circular. Theorem 1.4 is proved directly from the external Lemma 2.2 and Proposition 4.2, with no fitted parameter renamed as a prediction and no ansatz smuggled in through self-citation. The proof-level gap noted in Lemma 5.1, concerning the field-extension transfer between GR_{L_m} and GR_K, is a correctness concern rather than a circularity concern, because nothing in that step reduces the theorem's conclusion to its hypothesis. Therefore no step in the claimed derivation is equivalent by construction to its inputs, and the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- standard math Ananyan-Hochster-type bounded generation of subalgebras by R1-sequences and strength bounds.
- domain assumption Linear equivalence between analytic rank and geometric rank over finite fields.
- domain assumption Subrank is bounded above by geometric rank.
- domain assumption Characteristic condition char(K)=0 or char(K)>d is sufficient for the strength and derivative arguments.
- standard math Hilbert Nullstellensatz, dimension theory and height arguments for polynomial rings.
Cite this review
Pith. "Pith review of Bounds for Geometric rank in Terms of Subrank." pith.science (2026). https://pith.science/paper/GGSMWPS4
@misc{pith2026250616132,
author = {Pith},
title = {Pith review of: Bounds for Geometric rank in Terms of Subrank},
year = {2026},
howpublished = {\url{https://pith.science/paper/GGSMWPS4}},
note = {Machine review of arXiv:2506.16132}
}
read the original abstract
For tensors of fixed order, we establish three types of upper bounds for the geometric rank in terms of the subrank. Firstly, we prove that, under a mild condition on the characteristic of the base field, the geometric rank of a tensor is bounded by a function in its subrank in some field extension of bounded degree. Secondly, we show that, over any algebraically closed field, the geometric rank of a tensor is bounded by a function in its subrank. Lastly, we prove that, for any order three tensor over an arbitrary field, its geometric rank is bounded by a quadratic polynomial in its subrank. Our results have several immediate but interesting implications: (1) We answer an open question posed by Kopparty, Moshkovitz and Zuiddam concerning the relation between the subrank and the geometric rank; (2) For order three tensors, we generalize the Biaggi-Chang- Draisma-Rupniewski (resp. Derksen-Makam-Zuiddam) theorem on the growth rate of the border subrank (resp. subrank), in an optimal way; (3) For order three tensors, we generalize the Biaggi- Draisma-Eggleston theorem on the stability of the subrank, from the real field to an arbitrary field; (4) We confirm the open problem raised by Derksen, Makam and Zuiddam on the maximality of the gap between the subrank of the direct sum and the sum of subranks; (5) We derive, for the first time, a de-bordering result for the border subrank and upper bounds for the partition rank and analytic rank in terms of the subrank; (6) We reprove a gap result for the subrank.
Reference graph
Works this paper leans on
-
[14]
Q. Chen and K. Ye. Stability of ranks under field extensions.arXiv preprint arXiv:2409.04034, 2024
arXiv 2024
-
[1]
K. Adiprasito, D. Kazhdan, and T. Ziegler. On the schmidt and analytic ranks for trilinear forms.arXiv preprint arXiv:2102.03659, 2021
arXiv 2021
-
[2]
N. Alon. Combinatorial nullstellensatz.Combinatorics, Probability and Computing, 8(1-2):7–29, 1999
1999
-
[3]
A. Ambainis, Y. Filmus, and F. c. Le Gall. Fast matrix multiplication: limitations of the Coppersmith-Winograd method (extended abstract). InSTOC’15—Proceedings of the 2015 ACM Symposium on Theory of Computing, pages 585–593. ACM, New York, 2015
work page 2015
-
[4]
T. Ananyan and M. Hochster. Small subalgebras of polynomial rings and stillman’s conjecture.Journal of the American Mathematical Society, 33(1):291–309, 2020
work page 2020
-
[5]
B. Baily and A. Lampert. Strength, partition rank and algebraic closure.arXiv e-prints, pages arXiv–2410, 2024
work page 2024
-
[6]
B. Biaggi, C.-Y. Chang, J. Draisma, and F. Rupniewski. Border subrank via a generalised hilbert-mumford criterion.Advances in Mathematics, 461:110077, 2025
work page 2025
- [7]
Show all 55 references
-
[8]
A. Bik, J. Draisma, R. Eggermont, and A. Snowden. Uniformity for limits of tensors.arXiv preprint arXiv:2305.19866, 2023
2023 arXiv
-
[9]
A. Bik, J. Draisma, and R. H. Eggermont. Polynomials and tensors of bounded strength.Commun. Contemp. Math., 21(7):1850062, 24, 2019
2019
-
[10]
A. Bik, J. Draisma, A. Lampert, and T. Ziegler. Strength and partition rank under limits and field extensions. arXiv preprint arXiv:2502.10007, 2025
2025 arXiv
-
[11]
Bl¨ aser, J
M. Bl¨ aser, J. D¨ orfler, and C. Ikenmeyer. On the complexity of evaluating highest weight vectors. In36th Compu- tational Complexity Conference, volume 200 ofLIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 29, 36. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2021
2021
-
[12]
Bri¨ et, M
J. Bri¨ et, M. Christandl, I. Leigh, A. Shpilka, and J. Zuiddam. Discreteness of asymptotic tensor ranks. In15th Innovations in Theoretical Computer Science Conference, volume 287 ofLIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 20, 14. Schloss Dagstuhl. Leibniz-Zent. Info...
2024
-
[13]
Bruns and J
W. Bruns and J. Herzog.Cohen-Macaulay rings, volume 39 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1993
1993
-
[15]
Christandl, F
M. Christandl, F. Gesmundo, and J. Zuiddam. A gap in the subrank of tensors.SIAM J. Appl. Algebra Geom., 7(4):742–767, 2023
2023
-
[16]
Christandl, P
M. Christandl, P. Vrana, and J. Zuiddam. Barriers for fast matrix multiplication from irreversibility.Theory Comput., 17:Paper No. 2, 32, 2021
2021
-
[17]
Cohen and G
A. Cohen and G. Moshkovitz. Structure vs. randomness for bilinear maps.Discrete Anal., pages Paper No. 12, 21, 2022
2022
-
[18]
Cohen and G
A. Cohen and G. Moshkovitz. Partition and analytic rank are equivalent over large fields.Duke Mathematical Journal, 172(12):2433–2470, 2023
2023
-
[19]
Costa and M
S. Costa and M. Dalai. A gap in the slice rank ofk-tensors.J. Combin. Theory Ser. A, 177:Paper No. 105335, 12, 2021
2021
-
[20]
Croot, V
E. Croot, V. F. Lev, and P. P. Pach. Progression-free sets inZ n 4 are exponentially small.Ann. of Math. (2), 185(1):331–337, 2017
2017
-
[21]
H. Derksen. On the nuclear norm and the singular value decomposition of tensors.Found. Comput. Math., 16(3):779–811, 2016
2016
-
[22]
H. Derksen. TheG-stable rank for tensors and the cap set problem.Algebra Number Theory, 16(5):1071–1097, 2022
2022
-
[23]
Derksen, V
H. Derksen, V. Makam, and J. Zuiddam. Subrank and optimal reduction of scalar multiplications to generic tensors.Journal of the London Mathematical Society, 110(2):e12963, 2024. BOUNDS FOR GEOMETRIC RANK IN TERMS OF SUBRANK 21
2024
-
[24]
Dutta, F
P. Dutta, F. Gesmundo, C. Ikenmeyer, G. Jindal, and V. Lysikov. Fixed-parameter debordering of Waring rank. In41st International Symposium on Theoretical Aspects of Computer Science, volume 289 ofLIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 30, 15. Schloss Dagstuhl. Leib...
2024
-
[25]
Dutta, F
P. Dutta, F. Gesmundo, C. Ikenmeyer, G. Jindal, and V. Lysikov. Geometric complexity theory for product- plus-power.Journal of Symbolic Computation, 132:102458, 2026
2026
-
[26]
Filmus, K
Y. Filmus, K. Golubev, and N. Lifshitz. High dimensional Hoffman bound and applications in extremal combi- natorics.Algebr. Comb., 4(6):1005–1026, 2021
2021
-
[27]
Fulton.Intersection theory, volume 2 ofErgebnisse der Mathematik und ihrer Grenzgebiete
W. Fulton.Intersection theory, volume 2 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, second ed...
1998
-
[28]
W. T. Gowers. The slice rank of a direct sum, 2021
2021
-
[29]
W. T. Gowers and J. Wolf. Linear forms and higher-degree uniformity for functions onF n p.Geom. Funct. Anal., 21(1):36–69, 2011
2011
-
[30]
Green and T
B. Green and T. Tao. The distribution of polynomials over finite fields, with applications to the Gowers norms. Contrib. Discrete Math., 4(2):1–36, 2009
2009
-
[31]
Grothendieck
A. Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique: Iv. ´ etude locale des sch´ emas et des morphismes de sch´ emas, troisi` eme partie.Publications Math´ ematiques de l’IH´ES, 28:5–255, 1966
1966
-
[32]
Hartshorne.Algebraic geometry, volume No
R. Hartshorne.Algebraic geometry, volume No. 52 ofGraduate Texts in Mathematics. Springer-Verlag, New York-Heidelberg, 1977
1977
-
[33]
Hu and K
S. Hu and K. Ye. Linear convergence of an alternating polar decomposition method for low rank orthogonal tensor approximations.Math. Program., 199(1-2):1305–1364, 2023
2023
-
[34]
Kemper.A course in commutative algebra, volume 1
G. Kemper.A course in commutative algebra, volume 1. Springer, 2011
2011
-
[35]
Kopparty, G
S. Kopparty, G. Moshkovitz, and J. Zuiddam. Geometric rank of tensors and subrank of matrix multiplication. Disrete Analysis, 2020
2020
-
[36]
M. Kumar. On the power of border of depth-3 arithmetic circuits.ACM Trans. Comput. Theory, 12(1), Feb. 2020
2020
-
[37]
Lampert and T
A. Lampert and T. Ziegler. On rank in algebraic closure.Selecta Math. (N.S.), 30(1):Paper No. 15, 19, 2024
2024
-
[38]
J. M. Landsberg.Tensors: geometry and applications, volume 128 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012
2012
-
[39]
Lehmkuhl and T
T. Lehmkuhl and T. Lickteig. On the order of approximation in approximative triadic decompositions of tensors. Theoret. Comput. Sci., 66(1):1–14, 1989
1989
-
[40]
Lim and P
L.-H. Lim and P. Comon. Multiarray signal processing: Tensor decomposition meets compressed sensing.Comptes Rendus M´ ecanique, 338(6):311–320, 2010
2010
-
[41]
S. Lovett. The analytic rank of tensors and its applications.Discrete Anal., pages Paper No. 7, 10, 2019
2019
-
[42]
Matsumura.Commutative algebra
H. Matsumura.Commutative algebra. W. A. Benjamin, Inc., New York, 1970
1970
-
[43]
Matsumura.Commutative ring theory, volume 8 ofCambridge Studies in Advanced Mathematics
H. Matsumura.Commutative ring theory, volume 8 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid
1986
-
[44]
Mili´ cevi´ c
L. Mili´ cevi´ c. Polynomial bound for partition rank in terms of analytic rank.Geom. Funct. Anal., 29(5):1503–1530, 2019
2019
-
[45]
Moshkovitz and D
G. Moshkovitz and D. G. Zhu. Quasi-linear relation between partition and analytic rank, 2024
2024
-
[46]
Moshkovitz and D
G. Moshkovitz and D. G. Zhu. Uniform stability of ranks.arXiv preprint arXiv:2411.03412, 2024
2024 arXiv
-
[47]
E. Naslund. The partition rank of a tensor andk-right corners inF n q .J. Combin. Theory Ser. A, 174:105190, 25, 2020
2020
-
[48]
Naslund and W
E. Naslund and W. Sawin. Upper bounds for sunflower-free sets.Forum Math. Sigma, 5:Paper No. e15, 10, 2017
2017
-
[49]
Pielasa, M
P. Pielasa, M. s. ˇ Safr´ anek, and A. Shatsila. Exact values of generic subrank.Adv. Math., 469:Paper No. 110234, 20, 2025
2025
-
[50]
W. M. Schmidt. The density of integer points on homogeneous varieties.Acta Math., 154(3-4):243–296, 1985
1985
-
[51]
R. P. Stanley. Enumerative combinatorics volume 1 second edition.Cambridge studies in advanced mathematics, 2011
2011
-
[52]
Strassen
V. Strassen. Relative bilinear complexity and matrix multiplication.J. Reine Angew. Math., 375/376:406–443, 1987
1987
-
[53]
Strassen
V. Strassen. The asymptotic spectrum of tensors.J. Reine Angew. Math., 384:102–152, 1988
1988
-
[54]
Strassen
V. Strassen. Degeneration and complexity of bilinear maps: some asymptotic spectra.J. Reine Angew. Math., 413:127–180, 1991
1991
-
[55]
T. Tao. A symmetric formulation of the croot-lev-pach-ellenberg-gijswijt capset bound. What’s new (blog), 2016. https://terrytao.wordpress.com/2016/05/18/a-symmetric-formulation-of-the-croot-lev-pach- ellenberg-gijswijt-capset-bound. 22 Q-Y. CHEN AND K. YE State Key Laboratory...
2016
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.