The Hermitian Distance degree of Tensor spaces
Pith reviewed 2026-06-26 11:16 UTC · model grok-4.3
The pith
The Hermitian distance degree for binary forms is bounded linearly in the order.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the Veronese variety of binary forms the number of critical points of the Hermitian distance minimization problem admits upper and lower bounds that are linear in the order, and every possible value is determined when the order is three.
What carries the argument
The Hermitian distance degree, the algebraic count of critical points of the squared Hermitian distance function to the variety.
If this is right
- The nearest-point problem on these varieties is solved by checking finitely many algebraic candidates.
- For binary forms the number of candidates grows at most linearly with order.
- All solutions for cubic binary forms can be listed by enumerating the possible degrees.
Where Pith is reading between the lines
- The same counting method may extend to Segre and determinantal cases beyond the binary setting.
- Linear growth suggests that symbolic solvers remain practical even for moderately high orders.
Load-bearing premise
The Hermitian distance minimization problem on these varieties has only finitely many critical points.
What would settle it
An explicit count of critical points for binary forms of order four that lies outside the linear upper or lower bound given in the paper.
read the original abstract
In this paper, we investigate the Hermitian distance minimization problem for determinantal varieties, the Segre variety, and the Veronese variety. In particular, for binary forms, we obtain upper and lower bounds for the number of critical points that depend linearly on the order, and we determine all possible values in the case of order three.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the Hermitian distance minimization problem on determinantal varieties, the Segre variety, and the Veronese variety. For the Veronese variety of binary forms it establishes upper and lower bounds on the Hermitian distance degree (maximal number of critical points of the squared Hermitian distance) that are linear in the order d, and enumerates all attainable values when d=3.
Significance. If the stated linear bounds and the d=3 enumeration hold, the work supplies concrete, falsifiable predictions for the number of critical points arising in Hermitian distance minimization on the Veronese variety. The finiteness argument via the incidence variety (x-a Hermitian-orthogonal to T_x X after projectivization) is standard and the subsequent degree computations would constitute a useful addition to the literature on Euclidean distance degrees in the Hermitian setting.
minor comments (1)
- The abstract asserts the existence of linear bounds and exact values for order three without indicating the method of derivation; the body should make the passage from the incidence variety to the explicit linear expressions fully explicit, including any Gröbner-basis or resultant computations used for d=3.
Simulated Author's Rebuttal
We thank the referee for their positive report and recommendation to accept the manuscript.
Circularity Check
No significant circularity; derivation relies on independent algebraic geometry
full rationale
The paper's central results on Hermitian distance degree for Veronese varieties of binary forms are obtained by defining an incidence variety whose fibers are shown to be zero-dimensional via standard Grassmannian dimension counts, then computing the degree of the resulting map. No equations reduce a claimed prediction to a fitted input by construction, no self-citations are load-bearing for the uniqueness or finiteness statements, and no ansatz is smuggled via prior work. The bounds linear in order and the enumeration for order three follow directly from these external algebraic counts rather than from any self-referential redefinition of the input data.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
The Hermitian Distance degree of an Algebraic Variety
D. Furchì, The Hermitian Distance degree of an Algebraic Variety, arXiv (2026). doi:10.48550/arXiv.2510.19461. 26
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2510.19461 2026
-
[2]
D. Furchì, The Hermitian Killing form and root counting of complex polynomials with conjugate variables, Linear Algebra and its Applications 708 (2025) 93–111. doi:10.1016/j.laa.2024.11.028
-
[3]
G. Ottaviani, P.-J. Spaenlehauer, B. Sturmfels, Exact solutions in Structured Low- Rank Approximation, SIAM Journal on Matrix Analysis and Applications 35 (4) (2014) 1521–1542.doi:10.1137/13094520X
-
[4]
J. Draisma, E. Horobeţ, G. Ottaviani, B. Sturmfels, R. R. Thomas, The Euclidean Distance Degree of an Algebraic Variety, Foundations of Computational Mathemat- ics 16 (2015) 99–149.doi:10.1007/s10208-014-9240-x
-
[5]
B. N. Parlett, The (matrix) discriminant as a determinant, Linear Algebra and its Applications 335 (2002) 85–101.doi:10.1016/S0024-3795(02)00335-X
-
[6]
S. Friedland, G. Ottaviani, The number of singular vector tuples and uniqueness of best rank one approximation of tensors, Foundations of Computational Mathemat- ics 14 (2014) 1209–1242.doi:10.1007/s10208-014-9194-z
-
[7]
J. Draisma, E. Horobeţ, The average number of critical rank-one approximations to a tensor, Linear and Multilinear Algebra 64 (2016) 2498–2518.doi:10.1080/ 03081087.2016.1164660
arXiv 2016
-
[8]
L.-H. Lim, Singular values and eigenvalues of tensors: A variational approach, in: Proceedings of the IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, Vol. 1, 2005, pp. 129–132.doi:10.48550/ arXiv.math/0607648
Pith/arXiv arXiv 2005
-
[9]
J. J. Hilling, A. Sudbery, The geometric measure of multipartite entanglement and the singular values of a hypermatrix, Journal of Mathematical Physics 51 (2010) 072102.doi:10.1063/1.3451264
-
[10]
I. M. Gelfand, M. M. Kapranov, A. V. Zelevinsky, Discriminants, resultants and higher-dimensional determinants, Birkhäuser, 1994
1994
-
[11]
A. Miyake, Classification of multipartite entangled states by multidimensional de- terminants, Physical Review A 67 (2003) 012108.doi:10.1103/PhysRevA.67. 012108
-
[12]
T.-C. Wei, P. M. Goldbart, Geometric measure of entanglement and applications to bipartite and multipartite quantum states, Physical Review A 68 (2003) 042307. doi:10.1103/PhysRevA.68.042307
-
[13]
Maccioni, The number of real eigenvectors of a real polynomial, Bol- lettino dell’Unione Matematica Italiana 11 (2018) 125–145.doi:10.1007/ s40574-016-0112-y
M. Maccioni, The number of real eigenvectors of a real polynomial, Bol- lettino dell’Unione Matematica Italiana 11 (2018) 125–145.doi:10.1007/ s40574-016-0112-y. 27
2018
-
[14]
On the number of zeros of certain rational harmonic functions
D. Khavinson, G. Neumann, On the number of zeros of certain rational harmonic functions, in: Proceedings of the American Mathamatical Society, Vol. 134, 2006, pp. 1077–1085.doi:10.48550/arXiv.math/0401188
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math/0401188 2006
-
[15]
Hatcher, Algebraic Topology, Cambridge University Press, 2002
A. Hatcher, Algebraic Topology, Cambridge University Press, 2002. 28
2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.