Mathematical notes recording each discrepancy between a cited
source and the formal development: missing hypotheses,
scalar corrections, scope restrictions, and replacement proof routes.
61 notes: 12 open (6 high-severity), 3 in progress, 49 resolved or historical. Classified by status; source keys in the legend below.
The conventions are stated in the policy note. Cite a note by its
permanent URL https://sirui-lu.com/QICLean/paper-gaps/<name>.pdf or via
paper-gaps.bib.
| 2026-04-30 | The Perron–Frobenius Rank-One Step in Cirac–Perez-Garcia–Schuch–Verstraete 2017 Appendix C.2 cpgsv17 false-source · cited ×4 (tex) |
| 2026-08-10 | Normalization of the tensor printed in CPSV16 Example 4.12 cpsv16 false-source · cited ×1 (tex) |
| 2026-08-24 | The Spectral-Radius Identification in Wolf Theorem 6.5 wolf open-gap · cited ×1 (tex) |
| 2026-07-16 | Scalar Normalization in Wolf's Lorentz Normal Form wolf open-gap · cited ×3 (tex) |
| 2026-08-24 | Scope of Wolf Chapter 5 Operator Convexity and Monotonicity Results wolf scope-restriction · cited ×1 (tex) |
| 2026-08-09 | Wolf Theorem 8.6 — the Doubly-Substochastic Half of Birkhoff wolf scope-restriction · cited ×3 (tex) |
| 2026-07-18 | The Abstract Schwarz-Map Hypotheses in Wolf Theorem 6.12 wolf scope-restriction · cited ×1 (tex) |
| 2026-08-09 | Complete-Positivity Scope of the Peripheral Cyclicity Theorem wolf scope-restriction · cited ×16 (tex) |
| 2026-08-23 | Wolf Theorem ``Asymptotic Convergence I'' — Jordan-Scaling Qualifications wolf scope-restriction · cited ×1 (tex) |
| 2026-08-24 | The Minkowski Canonical-Pair Dependency in Four Real Dimensions qiclean open-gap wip (tex) |
| 2026-08-24 | Implicit Nilpotent-Space Classification in the Low-Dimensional Quantum Wielandt Corollary wolf open-gap wip · cited ×1 (tex) |
| 2026-08-24 | Scope of Ha's A_\gamma Witness for Choi-Type Maps ha98 scope-restriction wip · cited ×1 (tex) |