The recursive formula for critical spheres over complex configurations

Let Hm,n\mathcal H_{m,n} denote the variety associated with critical (n1)(n-1)-spheres for a generic configuration of mm points in Cn\mathbb C^n. Here EDdegree(Hm,n)EDdegree(\mathcal H_{m,n}) denotes its Euclidean distance degree. For m>n+2m>n+2, the recursive formula for critical spheres states that the number of critical spheres is

EDdegree(Hm,n)=EDdegree(Hm1,n)+k=0m1(m1k)l=0n(k+1l)2m1m2m2.EDdegree(\mathcal H_{m,n})=EDdegree(\mathcal H_{m-1,n})+\sum_{k=0}^{m-1}{m-1\choose k}\sum_{l=0}^{n}{k+1\choose l}-2^{m-1}-m2^{m-2}.

The formula is proposed on the basis of numerical experiments and extends the explicitly proved case n=1n=1, where the Euclidean distance degree is 2m112^{m-1}-1. Its validity for general n1n\geq 1 remains open.

Sources & referencesView supporting material

Primary source

Oliver Gäfvert, “Computational complexity of learning algebraic varieties”, arXiv:1910.03305 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.