Powers of the Vandermonde Determinant Are Eventually Non-SNP
Statement
Monical, Tokcan and Yong conjectured that every fixed positive power of the Vandermonde determinant fails to have saturated Newton polytope in sufficiently many variables. For every even power there is an explicit lattice point of the Newton polytope of with vanishing coefficient, obtained from a Dyson constant-term identity; the odd case follows by alternation, proving the conjecture.
Context
A Monical-Tokcan-Yong conjecture in the SNP program.
People
Attempts
No person has examined this. 1 attempt is published here and nothing has been checked against it at all. Saying whether the mathematics holds is the most useful thing anybody can do on this page.
The key even-power construction and the proof strategy arose from prompting OpenAI Codex; the complete transcript appears in the paper's appendix. The authors subsequently checked and organized the argument.
Reviews
No person has reviewed this attempt. It has not been checked at all.
Discussion of this attempt
no comments
Solve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.
Discussion
Nothing has been said about this problem yet.
Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.