λEnter Calculus CompanionRegistered manuscripts, kept distinct
EnterAskBrowseOpenAIFormulasDevelopPlainEmergenceConnectionsProblemsSettings

Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a

An explicit sharp trace witness

Gate S: boundary-charge separation › An explicit sharp trace witness · lines 1165–1169

Back to manuscript

This witness is independent of the inherited nonconvergence of regularized sharp generators.

Nearby in this section

  • section: An explicit sharp trace witness
  • lemma: Lemma: Sharp charge separation for every nonzero test
  • theorem: Theorem: The required actual-space separations

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.