Kumbhakar–Roy–Srinivasan classification conjecture for first-order differential equations
Let be a differential field of characteristic zero with field of constants . Consider a first-order differential equation over , and, respectively, an autonomous differential equation over . A differential field extension of is required to have as its field of constants. Kumbhakar–Roy–Srinivasan classification conjecture. A first-order differential equation over (respectively, an autonomous differential equation over ) is not of general type if and only if it has at most three (respectively, at most one) algebraically independent solutions in any given differential field extension of having as its field of constants. The conjecture concerns an existential classification of differential equations under the restriction to extensions introducing no new constants. The source paper states that this conjecture is proved there, so its resolution is established in the paper.
References
Primary source
James Freitag, Omar León Sánchez, Wei Li and Joel Nagloo, “On the number of independent solutions of algebraic differential equations”, arXiv:2603.12387 (2026).
Progress summary
A March 2026 preprint claims to prove the conjecture, but no independent verification was found.
The conjecture, originating in work by Kumbhakar, Roy, and Srinivasan in 2024, characterizes first-order equations that are not of general type by bounding algebraically independent solutions in extensions with unchanged constants. The claimed bounds are three in the general case and one for autonomous equations.
March 2026 claimed proof
The conjectures of Kumbhakar, Roy, and Srinivasan states in Theorem that the conjecture is proved, via results on equations that are almost -internal or -orthogonal. It also claims that the bound three is optimal over nonconstant differential fields, while the autonomous bound is one. The paper reports that Kumbhakar and Srinivasan independently released proofs in , but no independent verification, error analysis, withdrawal, or counterexample was found.
Current status (as of September 2026): The conjecture has a complete proof claimed in the March 2026 preprint, but its correctness remains independently unverified in the retrieved sources.
Sources
- arxiv.org
- export.arxiv.org
- arxiv.org
- arxiv.org
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- www-cdn.anthropic.com
- quantamagazine.org
- ar5iv.labs.arxiv.org
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- quantamagazine.org
Solutions 0
No solutions have been posted yet.