arxiv: 2605.13726 · v1 · submitted 2026-05-13 · 🧮 math.AG · math.AT

Recognition: no theorem link

Euclidean distance degree defect of singular projective varieties

Botong Wang, Jose Israel Rodriguez, Lauren\c{t}iu G. Maxim

Pith reviewed 2026-05-14 17:45 UTC · model grok-4.3

classification 🧮 math.AG math.AT

keywords Euclidean distance degreedefectprojective varietiessingularitiesconstructible enhancementtopological formulaalgebraic complexitynearest-point problems

0 comments

The pith

A constructible enhancement and topological formula compute the ED degree defect for arbitrary singular projective varieties.

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

The paper establishes a way to find the difference, called the defect, between the unit Euclidean distance degree and the generic Euclidean distance degree for any complex projective variety. Earlier work handled only smooth varieties, but the new approach extends the topological formula by adding a constructible enhancement that incorporates contributions from singular strata. This defect measures extra algebraic complexity in nearest-point problems on the variety. Because the generic degree is usually easier to compute, the formula supplies a practical method for determining the full ED degree across a wide range of examples in optimization and data science.

Core claim

For an arbitrary complex projective variety the defect between its unit and generic Euclidean distance degrees admits both a constructible enhancement and a topological formula that extends the smooth-case result, thereby reducing the computation of the unit degree to the more tractable generic degree plus a correction term derived from the variety's topology and stratification.

What carries the argument

The constructible enhancement of the topological formula for the ED degree defect, which augments the smooth-case expression by summing contributions from singular strata.

If this is right

The unit ED degree of a singular variety equals its generic ED degree plus the value of the constructible topological correction.
Nearest-point problems on singular projective varieties arising in engineering or statistics become algebraically tractable via the generic degree and the defect term.
The formula supplies a uniform computational route for ED degrees that applies equally to smooth and singular cases without separate case analysis.
Generic ED degrees, already computable by existing methods, now yield the unit degree for broad classes of varieties used in optimization.

Where Pith is reading between the lines

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

The same correction term may simplify algorithms that solve nearest-point problems on singular data sets without manual resolution of singularities.
Analogous defect formulas could appear for other algebraic-degree invariants that measure complexity in constrained optimization.
Explicit checks on low-dimensional singular hypersurfaces would provide immediate numerical tests of the enhancement.
The constructible nature of the enhancement suggests possible extensions to real algebraic geometry where stratification by real singular loci matters.

Load-bearing premise

The topological formula derived in the smooth setting remains valid once singularities are present, provided the constructible enhancement accurately records the extra contributions coming from the singular strata.

What would settle it

Directly compute both the unit and generic ED degrees for a concrete singular variety such as a nodal plane cubic curve and verify whether their numerical difference equals the value predicted by the topological formula.

read the original abstract

The unit Euclidean distance degree and the generic Euclidean distance degree are two well-studied invariants of projective varieties. These quantities measure the algebraic complexity of nearest-point problems on a variety, and in many examples arising in optimization, engineering, statistics, and data science, there is a significant gap between them. We refer to this difference as the defect of the Euclidean distance (ED) degree. In this paper, we provide a constructible enhancement and a topological formula for the defect of the ED degree of an arbitrary complex projective variety, extending our previous results from the smooth setting. Since the generic Euclidean distance degree is typically more tractable, our approach offers a new method for computing ED degrees in broad generality.

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

The paper extends their prior topological formula for ED degree defect from smooth to singular projective varieties via a constructible enhancement that absorbs singular strata contributions.

read the letter

The core advance is a topological formula for the defect between unit and generic Euclidean distance degrees that works for arbitrary complex projective varieties, not just smooth ones. They do this by adding a constructible enhancement to their earlier smooth-case result, which lets the formula pick up extra terms from singular loci without changing the overall topological setup. This is useful because singular varieties appear regularly in optimization and data science examples where the defect is large, and the generic degree is usually easier to compute directly. The approach gives a practical route to the unit degree once you have the generic one and the enhancement. The paper builds cleanly on external prior results rather than re-deriving everything from scratch, and the abstract shows no sign of circularity or hidden fitting parameters. The main soft spot is that the abstract gives no explicit stratification or verification examples, so it is hard to judge how cleanly the constructible enhancement separates the singular contributions or whether it requires extra conditions on the variety. If the full derivation handles the stratification rigorously and matches known low-dimensional cases, the extension holds up. This is aimed at algebraic geometers working on ED degrees and applied researchers who need to compute these invariants on singular models. A reader already familiar with the smooth-case papers will see the value immediately. It deserves a serious referee because the claim is a direct, non-routine extension with potential computational payoff, even if the details need checking.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to provide a constructible enhancement together with a topological formula for the defect of the Euclidean distance degree of an arbitrary complex projective variety. This extends the authors' earlier results, which were restricted to the smooth case, by using the enhancement to absorb contributions from singular strata while retaining a topological expression that relates the defect to the (more tractable) generic ED degree.

Significance. If the central claims hold, the work would supply a concrete computational route to ED degrees for singular varieties that arise in optimization, statistics, and data science. The topological formula, once verified, would allow the defect to be read off from known invariants of the generic case, thereby extending the range of examples that can be treated algebraically without direct resolution of the nearest-point problem.

major comments (2)

[§3] §3, main theorem: the statement that the constructible enhancement preserves the topological invariance of the defect is asserted without an explicit computation showing how the Euler characteristic (or the relevant cohomology) changes when passing from the smooth stratum to the singular strata; a concrete example (e.g., a nodal cubic) would make the reduction verifiable.
[§4.1] §4.1, definition of the enhancement: the functorial properties used to extend the smooth-case formula are not shown to commute with the restriction to the singular locus, leaving open whether the defect formula remains parameter-free after the extension.

minor comments (2)

[§2] The notation for the unit versus generic ED degree is introduced in the abstract but is not restated with the same symbols in the first paragraph of §2; a single consistent definition would aid readability.
Figure 1 caption refers to 'the defect surface' without indicating the ambient projective space or the degree of the variety; adding these data would clarify the example.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. Both major comments identify places where explicit verifications would strengthen the exposition. We will revise the manuscript accordingly.

read point-by-point responses

Referee: [§3] §3, main theorem: the statement that the constructible enhancement preserves the topological invariance of the defect is asserted without an explicit computation showing how the Euler characteristic (or the relevant cohomology) changes when passing from the smooth stratum to the singular strata; a concrete example (e.g., a nodal cubic) would make the reduction verifiable.

Authors: We agree that an explicit computation for a concrete singular example would make the reduction more transparent. In the revised version we will insert a worked example of the nodal cubic curve in §3. The calculation will track the Euler characteristic of the smooth stratum, the contribution of the node, and the resulting defect, thereby verifying that the constructible enhancement preserves topological invariance. revision: yes
Referee: [§4.1] §4.1, definition of the enhancement: the functorial properties used to extend the smooth-case formula are not shown to commute with the restriction to the singular locus, leaving open whether the defect formula remains parameter-free after the extension.

Authors: The enhancement is constructed so that its functoriality is compatible with restriction to closed strata by the very definition of the constructible sheaf. We will add a short lemma in §4.1 establishing that restriction to the singular locus commutes with the enhancement functor. This lemma will confirm that the resulting defect formula depends only on the generic ED degree and stratum invariants, remaining parameter-free. revision: yes

Circularity Check

1 steps flagged

Minor self-citation to prior smooth-case results; extension appears independent

specific steps

self citation load bearing [Abstract]
"extending our previous results from the smooth setting"

The central claim invokes the authors' own prior topological formula for the smooth case as the base that the new constructible enhancement extends. While the enhancement is presented as adding independent content for singularities, the load-bearing step relies on the validity of the self-cited prior result without re-deriving or independently verifying the base formula in this manuscript.

full rationale

The paper extends a topological formula from the authors' prior smooth-case work to singular varieties via a new constructible enhancement. The abstract and provided text contain no equations or derivations showing that the defect formula reduces by construction to fitted parameters, self-defined quantities, or a self-citation chain. The constructible enhancement is described as capturing singular-strata contributions independently, preserving the prior topological invariance without forcing the result. Self-citation is present but not load-bearing for the central new claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, invented entities, or ad-hoc axioms are stated. The work relies on standard algebraic geometry and topology background plus the authors' prior smooth-case results.

axioms (1)

standard math Standard results from algebraic geometry and topology on projective varieties and their singularities
Invoked implicitly to extend the smooth-case formula.

pith-pipeline@v0.9.0 · 5412 in / 1197 out tokens · 39051 ms · 2026-05-14T17:45:31.129022+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Aluffi and C

P. Aluffi and C. Harris , The E uclidean distance degree of smooth complex projective varieties , Algebra Number Theory 12 (2018), no. 8, 2005--2032. https://doi.org/10.2140/ant.2018.12.2005 DOI

work page doi:10.2140/ant.2018.12.2005 2018
[2]

D. J. Bates, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler , Numerically solving polynomial systems with B ertini , Software, Environments, and Tools, 25. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2013. https://doi.org/10.1137/1.9781611972702.ch1 DOI

work page doi:10.1137/1.9781611972702.ch1 2013
[3]

Brasselet, D

J.-P. Brasselet, D. T. L\^ e , and J. Seade , Euler obstruction and indices of vector fields , Topology 39 (2000), no. 6, 1193--1208. https://doi.org/10.1016/S0040-9383(99)00009-9 DOI

work page doi:10.1016/s0040-9383(99)00009-9 2000
[4]

Brasselet, D

J.-P. Brasselet, D. Massey, A. J. Parameswaran, and J. Seade , Euler obstruction and defects of functions on singular varieties , J. London Math. Soc. (2) 70 (2004), no. 1, 59--76. https://doi.org/10.1112/S0024610704005447 DOI

work page doi:10.1112/s0024610704005447 2004
[5]

Breiding, F

P. Breiding, F. Sottile, and J. Woodcock , Euclidean distance degree and mixed volume , Found. Comput. Math. 22 (2022), no. 6, 1743--1765. https://doi.org/10.1007/s10208-021-09534-8 DOI

work page doi:10.1007/s10208-021-09534-8 2022
[6]

Dimca , Sheaves in topology , Universitext, Springer-Verlag, Berlin, 2004

A. Dimca , Sheaves in topology , Universitext, Springer-Verlag, Berlin, 2004. https://doi.org/10.1007/978-3-642-18868-8 DOI

work page doi:10.1007/978-3-642-18868-8 2004
[7]

Draisma, E

J. Draisma, E. Horobe t , G. Ottaviani, B. Sturmfels, and R. R. Thomas , The E uclidean distance degree of an algebraic variety , Found. Comput. Math. 16 (2016), no. 1, 99--149. https://doi.org/10.1007/s10208-014-9240-x DOI

work page doi:10.1007/s10208-014-9240-x 2016
[8]

Goresky and R

M. Goresky and R. MacPherson , Stratified M orse theory , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 14. Springer-Verlag, Berlin, 1988. https://doi.org/10.1007/978-3-642-71714-7 DOI

work page doi:10.1007/978-3-642-71714-7 1988
[9]

D. R. Grayson and M. E. Stillman , Macaulay2, a software system for research in algebraic geometry . https://macaulay2.com/ URL

work page
[10]

Helmer and B

M. Helmer and B. Sturmfels , Nearest points on toric varieties , Math. Scand. 122 (2018), no. 2, 213--238. https://doi.org/10.7146/math.scand.a-101478 DOI

work page doi:10.7146/math.scand.a-101478 2018
[11]

Kozhasov, A

K. Kozhasov, A. Muniz, Y. Qi, and L. Sodomaco , On the minimal algebraic complexity of the rank-one approximation problem for general inner products , Math. Comp., (2025). https://doi.org/10.1090/mcom/4176 DOI

work page doi:10.1090/mcom/4176 2025
[12]

Kubjas, L

K. Kubjas, L. Sodomaco, and E. Tsigaridas , Exact solutions in low-rank approximation with zeros , Linear Algebra Appl. 641 (2022), 67--97. https://doi.org/10.1016/j.laa.2022.01.021 DOI

work page doi:10.1016/j.laa.2022.01.021 2022
[13]

Y. Liu, L. G. Maxim, and B. Wang , Maximal twisted B etti numbers of complex hyperplane arrangement complements , Int. Math. Res. Not. IMRN 2026, no. 6, Paper No. rnag050. https://doi.org/10.1093/imrn/rnag050 DOI

work page doi:10.1093/imrn/rnag050 2026
[14]

L. G. Maxim , Intersection Homology & Perverse Sheaves with Applications to Singularities , Graduate Texts in Mathematics, 281. Springer, Cham, 2019. https://doi.org/10.1007/978-3-030-27644-7 DOI

work page doi:10.1007/978-3-030-27644-7 2019
[15]

L. G. Maxim, J. I. Rodriguez, and B. Wang , Defect of E uclidean distance degree , Adv. in Appl. Math. 121 (2020), 102101, 22 pp. https://doi.org/10.1016/j.aam.2020.102101 DOI

work page doi:10.1016/j.aam.2020.102101 2020
[16]

L. G. Maxim, J. I. Rodriguez, and B. Wang , Euclidean distance degree of projective varieties , Int. Math. Res. Not. IMRN 2021, no. 20, 15788--15802. https://doi.org/10.1093/imrn/rnz266 DOI

work page doi:10.1093/imrn/rnz266 2021
[17]

L. G. Maxim, J. I. Rodriguez, and B. Wang , Applications of singularity theory in applied algebraic geometry and algebraic statistics , in Handbook of geometry and topology of singularities VII , Springer, Cham, 2025, pp. 767--818. https://doi.org/10.1007/978-3-031-68711-2\_14 DOI

work page doi:10.1007/978-3-031-68711-2 2025
[18]

L. G. Maxim and J. Sch\" u rmann , Constructible sheaf complexes in complex geometry and applications , in Handbook of geometry and topology of singularities III , Springer, Cham, 2022, pp. 679--791. https://doi.org/10.1007/978-3-030-95760-5_10 DOI

work page doi:10.1007/978-3-030-95760-5_10 2022
[19]

L. G. Maxim and M. Tib a r , Euclidean distance degree and limit points in a M orsification , Adv. in Appl. Math. 152 (2024), Paper No. 102597, 20 pp. https://doi.org/10.1016/j.aam.2023.102597 DOI

work page doi:10.1016/j.aam.2023.102597 2024
[20]

Micha ek and B

M. Micha ek and B. Sturmfels , Invitation to nonlinear algebra , Graduate Studies in Mathematics, 211. American Mathematical Society, Providence, RI, 2021. https://bookstore.ams.org/gsm-211 URL

work page 2021
[21]

Ottaviani, P.-J

G. Ottaviani, P.-J. Spaenlehauer, and B. Sturmfels , Exact solutions in structured low-rank approximation , SIAM J. Matrix Anal. Appl. 35 (2014), no. 4, 1521--1542. https://doi.org/10.1137/13094520X DOI

work page doi:10.1137/13094520x 2014
[22]

u rmann , Topology of singular spaces and constructible sheaves , Monografie Matematyczne 63, Birkh\

J. Sch\" u rmann , Topology of singular spaces and constructible sheaves , Monografie Matematyczne 63, Birkh\" a user Verlag, Basel, 2003. https://doi.org/10.1007/978-3-0348-8061-9 DOI

work page doi:10.1007/978-3-0348-8061-9 2003