Low-weight Pauli dynamics and truncation error

Source: arxiv:2601.15770, url:https://github.com/Jue-Xu/Lean4LPD/tree/ad0561661c46ca4c331d21104468e5dc65b2a028 Authors: Jue Xu Status: verified Main declarations: Lean4LPD.PauliString.pauliNorm_layerStep_error_le_model_of_source_regime Tags: quantum-information, pauli-operators, numerical-analysis, operator-norms, truncation-error MSC: 81P68, 65L70, 47A30