Manuscript XX-E@1 · XX-E.tex · proposition · cf7a8f40

Proposition: Classical symbol recovery

Formal orders, product orders, and the classical symbol · lines 1267–1282 · proof included or linked

XX-E@1#prop:symbol

Whenever a quantum insertion with the frozen classical symbol has actually been admitted, its reduction modulo $ℏ$ is (eq:O). The coefficients are exactly (eq:n)–(eq:qloc), with the original one-rod term and no $Y_{2}$ .

Proof. The prescribed quantum and normalization corrections have positive $ℏ$ -degree. Reduction modulo $ℏ$ removes them. The remaining coefficient is the already displayed classical polynomial.

Nearby in this section

lemma: Lemma: Positive quantum orders cannot repair a classical residual
section: Formal orders, product orders, and the classical symbol
section: Formal orders, product orders, and the classical symbol