λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript Em04-A@2 · Em04-A-v2.tex · section · f5b28abc

Physicality and exact reduction

Physicality and exact reduction · lines 285–290

Back to manuscript

Let V:CN→H be the isometry V∣k⟩=∣ek​⟩, and let Δ(M)=diagM in the site basis.

Nearby in this section

  • lemma: Lemma: Physical semigroup and trace-norm contraction
  • lemma: Lemma: Invariant blocks
  • theorem: Theorem: Exact vacuum-plus-single-excitation reduction
  • remark: Remark: Exactness and exclusions

A searchable companion, not a proof checker. A restatement is not a verification, and results from one manuscript are not results of another. The registered manuscripts were produced by Ngo Cheung. The OpenAI section is a separate catalogue by OpenAI and is not a theorem of that series. Cite one registered manuscript as Cheung, N., with its identifier, at enter.grok.me.