Analytic spread formula for pairs of cycles

From papers

Let CnC_n and CmC_m be cycles with n,m3n,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,nm1if exactly one of n or m is even,nm2if 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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.