Vandermonde行列式偶次幂的非SNP性质被证明

Monical、Tokcan和Yong的猜想被证明：对每个固定偶数幂k≥4，Vandermonde行列式的k次幂在足够多变量时是非SNP的，即牛顿多面体中存在系数为零的格点。奇数幂情况由交替性保证，二次幂情况此前已知。证明利用Dyson常项恒等式，并通过有限变量Jack内积和Macdonald特殊化公式实现。构造和证明思路来自OpenAI Codex（GPT Sol 5.6 Extra High），完整对话记录在附录。Lean形式化证明已开源在GitHub。