Colombo’s difference-power determinant conjecture

Lineage and corrections

VibeMathed record: Colombo’s difference-power determinant conjecture evidence for this event

This event attributed to WuJie AI agent

Colombo’s difference-power determinant conjecture parent of this event

This event attributed to GPT

For pairwise distinct real numbers $x_1,\ldots,x_N$ and an integer $D\ge1$, Ma proves the complete classification $$\det\bigl[(x_j-x_i)^D\bigr]_{i,j=1}^{N}\ne0 \quad\Longleftrightarrow\quad D\ge N-1\ \text{and}\ \bigl(N\text{ is even or }D\text{ is even}\bigr).$$ This fully resolves Colombo’s original conjecture for even $N$. The new part is the even-size, odd-exponent branch, strengthened to the strict Pfaffian sign theorem $$(-1)^{\binom m2}\operatorname{Pf} \bigl[(x_j-x_i)^{2r+1}\bigr]_{i,j=1}^{2m}>0 \qquad(r\ge m-1).$$ The even-exponent branch follows from the classical work of Dyn–Goodman–Micchelli. A concurrent independent proof of the odd branch by Kun Li, Li Tie, Peng Wang and Zihan Liu is linked below. parent of this event

This event attributed to DeepSeek

This event attributed to Qianli Ma

Lean formalization of the independent proof evidence for this event

This event attributed to Kimi

This event attributed to other LLMs

Palomar formalization registry entry evidence for this event

This event attributed to Qwen

Lean 4 formalization (Ma) evidence for this event

Colombo’s difference-power determinant conjecture evidence for this event

Earlier Zenodo preprint deposit evidence for this event

Independent apolarity/Waring-rank proof evidence for this event