algebra / Linear Algebra, Permanents

Dittert's Conjecture in Dimension 16

Dittert's conjecture asserts that among nonnegative $n\times n$ matrices whose entries sum to $n$, the functional $\varphi(A)=\prod_i r_i+\prod_j c_j-\operatorname{per}(A)$ is uniquely maximized by $J_n/n$. The paper proves the case $n=16$ which, with Pang's result for $n\ge17$, establishes the conjecture for every $n\ge16$.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraJul 21, 2026Significance 15/100Registry: unreviewed

Dittert's Conjecture in Dimension 16

Prior state unknownproved

Partial: this settles n=16 only. Combined with Pang's n>=17 the conjecture holds for all n>=16, leaving the small cases open.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Dittert's conjecture asserts that among nonnegative $n\times n$ matrices whose entries sum to $n$, the functional $\varphi(A)=\prod_i r_i+\prod_j c_j-\operatorname{per}(A)$ is uniquely maximized by $J_n/n$. The paper proves the case $n=16$ which, with Pang's result for $n\ge17$, establishes the conjecture for every $n\ge16$.

Partial: this settles n=16 only. Combined with Pang's n>=17 the conjecture holds for all n>=16, leaving the small cases open.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Dittert's Conjecture in Dimension 16 — Mathematical Frontier Network