Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Andrews and El Bachraoui Conjecture Three

Abstract

The two-color partition series D-prime at parameters 2 and 2 has nonnegative coefficients.

Theorem 1.1 (Positivity of D-prime).

Lean statement: D5/S3/Combinatorics/TwoColorPartition/AndrewsElBachraouiThree.result

Proof. Machine-checked in Lean as D5/S3/Combinatorics/TwoColorPartition/AndrewsElBachraouiThree.result (✓ std3). ∎

Resolves. Problems/andrews-el-bachraoui-d22-positivity (proved) by D5/S3/Combinatorics/TwoColorPartition/AndrewsElBachraouiThree.result.

Source. Repository-derived.

Acknowledgement. George E. Andrews, Mohamed El Bachraoui (2025). Certain positive q-series and inequalities for two-color partitions. DOI: 10.48550/arXiv.2507.09276. URL: https://arxiv.org/abs/2507.09276v1.

Commentary.

For every natural number n, the coefficient dCoeff 2 2 n is nonnegative. Thus the two-color partition series D-prime with parameters 2 and 2 has no negative coefficient.

References