{"title":"Scalar compressions and asymptotically optimal tough error models","version":"1.0","date":"2026-11-13","status":"Complete asymptotic proof candidate; internal sequential review","authors":null,"authorship_note":"No author or affiliation added to the approved review draft.","original_url":"https://qiqc-op.com/problem/op_b1b41f737f9b4aeb/","original_coverage":"Asymptotically matching bounds and explicit tough models for all 1 <= e <= n^2, without channel normalization.","independent_review":false,"priority_confirmed":false,"proof_assistant_certification":false,"pdf_same_as_approved_draft":true,"finite_checks":{"hashes_verified":7,"checks":[{"checker":"check_variational_identity.py","result":{"exact_derivative_cases":9,"mutations_caught":9,"dimension_control":true}},{"checker":"check_block_models.py","result":{"arithmetic":"exact Gaussian rational using SymPy","checks_passed":1334,"mutations_caught":6,"proof_status":"finite controls; all-parameter proof is separate"}}],"scope":"Finite exact controls only; analytic proof separate."},"files":[{"filename":"tough-error-models-v1.pdf","bytes":293389,"sha256":"96b3558ddb2491d65a311691be2300bc778cb57941f84cbb9c28ec81d705696e"},{"filename":"tough-error-models-v1.tex","bytes":21994,"sha256":"15ae2e8e39768955188aac22fa84fb353dd01b4fee6950ed43b9cea07fb35823"},{"filename":"tough-error-models-v1.zip","bytes":304421,"sha256":"88c48332d5a7e7b9ab7b7f5bb74bdea0e6b1948e15918f41a8706182904a44fe"}]}