7 papers
Max It or Miss It: Benchmarking LLM On Solving Extremal Problems
Binxin Gao, Jingjun Han
Test-time scaling has enabled Large Language Models (LLMs) with remarkable reasoning capabilities, particularly in mathematical domains, through intermediate chain-of-thought (CoT)…
Effective termination of general type MMPs in dimension at most five
Jingjun Han, Jihao Liu, Ziquan Zhuang
We prove the effective termination of general type MMPs in dimension at most , and give explicit bounds (in terms of topological invariants and volume of divisors) on the number…
Boundedness in general type MMP
Jingjun Han, Lu Qi, Ziquan Zhuang
We show that in any sequence of a general type MMP, the minimal log discrepancy of singularities takes at most finitely many values, and the fibers of all the extremal contractions…
Boundedness of complements for generalized pairs
Guodu Chen, Jingjun Han, Yang He +1
We prove the boundedness of complements for Fano type generalized pairs (with the boundary coefficient set ) after Shokurov.
On finite generation and boundedness of adjoint foliated structures
Paolo Cascini, Jingjun Han, Jihao Liu +4
We prove the existence of good minimal models for any klt algebraically integrable adjoint foliated structure of general type, and that Fano algebraically integrable adjoint foliat…
Total Cartier index of a bounded family
Jingjun Han, Chen Jiang
We prove that the total Cartier index of a bounded family of projective varieties of klt type is bounded.