Analytic spread formula for pairs of cycles

Let CnC_n and CmC_m be cycles with n,m≥3n,m\geq 3, let JCn,CmJ_{C_n,C_m} be their associated binomial edge ideal, and let ℓ(JCn,Cm)\ell(J_{C_n,C_m}) denote its analytic spread. Assume that the coefficient field FF has characteristic zero. Cycle analytic-spread conjecture. Then

ℓ(JCn,Cm)={nmif n and m are odd,nm−1if exactly one of n or m is even,nm−2if n and m are even.\ell(J_{C_n,C_m})=\begin{cases} nm & \text{if $n$ and $m$ are odd},\\\\ nm-1 & \text{if exactly one of $n$ or $m$ is even},\\\\ nm-2 & \text{if $n$ and $m$ are even}. \end{cases}

In particular, (Cn,Cm)(C_n,C_m) is a basis if and only if nn and mm are odd. The formula is supported by computations using random matrices in Macaulay2, and the supplied text gives no proof or resolution.

References

Primary source

Stephen Landsittel and Eran Nevo, “Analytic Spread via Linear Matroids”, arXiv:2607.07458 (2026).

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.