combinatorics / q-series and partitions

The Han-Xiong Integer Trace Conjecture

Han and Xiong extended the Gaussian binomial coefficient to positive rational index and conjectured that its integer trace, the integer-exponent part of the resulting power series, is coefficientwise largest at the integer point. Ono's paper proves a support-dominance theorem settling the conjecture for a large family of rational parameters and reduces the full conjecture to unit fractions, with a finite computer verification covering every remaining case up to a fixed bound.

5Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsJul 31, 2026Significance 5/100Registry: lean checked

The Han-Xiong Integer Trace Conjecture

Prior state unknownproved

Settles the conjecture for a large family and reduces the rest to unit fractions; the general unit-fraction case remains open.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Han and Xiong extended the Gaussian binomial coefficient to positive rational index and conjectured that its integer trace, the integer-exponent part of the resulting power series, is coefficientwise largest at the integer point. Ono's paper proves a support-dominance theorem settling the conjecture for a large family of rational parameters and reduces the full conjecture to unit fractions, with a finite computer verification covering every remaining case up to a fixed bound.

Settles the conjecture for a large family and reduces the rest to unit fractions; the general unit-fraction case remains open.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.