Realization Calculus

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Included manuscript sections

• component-layout.tex
• monograph_atlas.tex
• monograph_examples.tex
• 01_finite_core.tex
• 02_strengthened.tex
• 03_supplement_01.tex
• 03_supplement_02.tex
• 03_supplement_03.tex
• 03_supplement_04.tex
• 03_supplement_05.tex
• 03_supplement_06.tex
• 04_alternative_derivations.tex
• references.bib

Read the typeset paper

1 \newcommand{\DoNotLoadEpstopdf}{}
2 \documentclass[11pt,letterpaper]{article}
3 \usepackage[nopatch=footnote]{microtype}
4 \usepackage[margin=0.88in,headheight=15pt,headsep=18pt,footskip=27pt]{geometry}
5 \usepackage{amsmath,amssymb,amsthm,mathtools}
6 \usepackage{booktabs,longtable,array,tabularx,graphicx,float,caption}
7 \usepackage{enumitem,fancyhdr,xcolor,needspace,placeins,xurl,aliascnt}
8 \usepackage{titlesec,setspace,etoolbox,tocloft,tikz}
9 \usetikzlibrary{arrows.meta,decorations.pathreplacing,patterns,calc}
10 \usepackage[hidelinks]{hyperref}
11 \usepackage{bookmark}
12 \usepackage[nameinlink,noabbrev]{cleveref}
13 \allowdisplaybreaks
14 \setlength{\emergencystretch}{3em}
15 \setlist[enumerate]{topsep=4pt,itemsep=2pt}
16 \setlist[itemize]{topsep=4pt,itemsep=2pt}
17 \setlength{\parskip}{3pt}
18 \setlength{\parindent}{1.3em}
19 \setcounter{tocdepth}{2}
20 \makeatletter
21 \renewcommand*\l@section{\@dottedtocline{1}{0em}{4.3em}}
22 \renewcommand*\l@subsection{\@dottedtocline{2}{1.5em}{6.0em}}
23 \makeatother
24 \hypersetup{pdftitle={Projector-Resolved Seed Calculus VII: Final Traditional Edition},pdfauthor={Komorebi P.},pdfsubject={Complete corrected finite core, strengthened quantum packet development, and mathematical proof completions}}
25 \pagestyle{fancy}\fancyhf{}
26 \fancyhead[L]{\small\textsc{Projector-Resolved Seed Calculus VII}}
27 \fancyhead[R]{\small Komorebi P.}
28 \fancyfoot[C]{\thepage}
29 \newtheorem{theorem}{Theorem}[section]
30 \newaliascnt{proposition}{theorem}\newtheorem{proposition}[proposition]{Proposition}\aliascntresetthe{proposition}
31 \newaliascnt{lemma}{theorem}\newtheorem{lemma}[lemma]{Lemma}\aliascntresetthe{lemma}
32 \newaliascnt{corollary}{theorem}\newtheorem{corollary}[corollary]{Corollary}\aliascntresetthe{corollary}
33 \theoremstyle{definition}
34 \newaliascnt{definition}{theorem}\newtheorem{definition}[definition]{Definition}\aliascntresetthe{definition}
35 \newaliascnt{example}{theorem}\newtheorem{example}[example]{Example}\aliascntresetthe{example}
36 \newaliascnt{construction}{theorem}\newtheorem{construction}[construction]{Construction}\aliascntresetthe{construction}
37 \newaliascnt{conjecture}{theorem}\newtheorem{conjecture}[conjecture]{Conjecture}\aliascntresetthe{conjecture}
38 \newaliascnt{standardfact}{theorem}\newtheorem{standardfact}[standardfact]{Standard Fact}\aliascntresetthe{standardfact}
39 \newtheorem*{statement}{Supplementary statement}
40 \theoremstyle{remark}
41 \newaliascnt{remark}{theorem}\newtheorem{remark}[remark]{Remark}\aliascntresetthe{remark}
42 \newaliascnt{boundary}{theorem}\newtheorem{boundary}[boundary]{Boundary}\aliascntresetthe{boundary}
43 \newaliascnt{certificate}{theorem}\newtheorem{certificate}[certificate]{Recorded Numerical Check}\aliascntresetthe{certificate}
44 \newaliascnt{classical}{theorem}\newtheorem{classical}[classical]{Classical Input}\aliascntresetthe{classical}
45 \crefname{classical}{classical input}{classical inputs}
46 \crefname{standardfact}{standard fact}{standard facts}
47 \newcommand{\cA}{\mathcal A}\newcommand{\cB}{\mathcal B}\newcommand{\cC}{\mathcal C}
48 \newcommand{\cE}{\mathcal E}\newcommand{\cF}{\mathcal F}\newcommand{\cG}{\mathcal G}
49 \newcommand{\cH}{\mathcal H}\newcommand{\cK}{\mathcal K}\newcommand{\cL}{\mathcal L}
50 \newcommand{\cO}{\mathcal O}\newcommand{\cD}{\mathcal D}\newcommand{\cP}{\mathcal P}
51 \newcommand{\cR}{\mathcal R}\newcommand{\cS}{\mathcal S}\newcommand{\cT}{\mathcal T}
52 \newcommand{\bbC}{\mathbb C}\newcommand{\bbR}{\mathbb R}\newcommand{\bbZ}{\mathbb Z}\newcommand{\bbN}{\mathbb N}
53 \newcommand{\CC}{\mathbb C}\newcommand{\RR}{\mathbb R}\newcommand{\ZZ}{\mathbb Z}\newcommand{\NN}{\mathbb N}
54 \newcommand{\C}{\mathbb C}\newcommand{\R}{\mathbb R}\newcommand{\N}{\mathbb N}
55 \newcommand{\Hcal}{\mathcal H}\newcommand{\Acal}{\mathcal A}\newcommand{\Bcal}{\mathcal B}
56 \newcommand{\Ccal}{\mathcal C}\newcommand{\Dcal}{\mathcal D}\newcommand{\Ecal}{\mathcal E}
57 \newcommand{\Fcal}{\mathcal F}\newcommand{\Gcal}{\mathcal G}\newcommand{\Lcal}{\mathcal L}
58 \newcommand{\Mcal}{\mathcal M}\newcommand{\Ocal}{\mathcal O}\newcommand{\Pcal}{\mathcal P}
59 \newcommand{\Qcal}{\mathcal Q}\newcommand{\Rcal}{\mathcal R}\newcommand{\Scal}{\mathcal S}
60 \newcommand{\Tcal}{\mathcal T}\newcommand{\Ucal}{\mathcal U}\newcommand{\Vcal}{\mathcal V}
61 \newcommand{\Id}{\operatorname{Id}}\newcommand{\id}{\mathrm{id}}
62 \newcommand{\Tr}{\operatorname{Tr}}\newcommand{\tr}{\operatorname{tr}}
63 \newcommand{\rank}{\operatorname{rank}}\newcommand{\Ran}{\operatorname{Ran}}\newcommand{\Ker}{\operatorname{Ker}}
64 \newcommand{\Spec}{\operatorname{Spec}}\newcommand{\diag}{\operatorname{diag}}
65 \newcommand{\End}{\operatorname{End}}\newcommand{\Hom}{\operatorname{Hom}}
66 \newcommand{\dist}{\operatorname{dist}}\newcommand{\ad}{\operatorname{ad}}\newcommand{\Ad}{\operatorname{Ad}}
67 \newcommand{\Ob}{\operatorname{Ob}}\newcommand{\ob}{\mathfrak o}
68 \newcommand{\HS}{\mathrm{HS}}\newcommand{\phys}{\mathrm{phys}}
69 \newcommand{\e}{\mathrm e}\newcommand{\ii}{\mathrm i}\newcommand{\dd}{\,\mathrm d}\newcommand{\one}{\bm 1}
70 \newcommand{\norm}[1]{\left\lVert#1\right\rVert}\newcommand{\abs}[1]{\left\lvert#1\right\rvert}
71 \newcommand{\ket}[1]{\left|#1\right\rangle}\newcommand{\bra}[1]{\left\langle#1\right|}
72 \newcommand{\ip}[2]{\left\langle#1,#2\right\rangle}
73 \newcommand{\comm}[2]{[#1,#2]}\newcommand{\deph}{\mathcal D_P}
74 \newcommand{\spanof}{\operatorname{span}}\newcommand{\srank}{\operatorname{srank}}
75 \newcommand{\code}[1]{{\small\nolinkurl{#1}}}\newcommand{\lean}[1]{{\small\nolinkurl{#1}}}
76 \newcolumntype{L}[1]{>{\raggedright\arraybackslash}p{#1}}
77 \newcolumntype{Y}{>{\raggedright\arraybackslash}X}
78 \newcommand{\startreadingpart}[1]{\clearpage\FloatBarrier\part{#1}\setcounter{section}{0}\renewcommand{\thesection}{\Roman{part}.\arabic{section}}\renewcommand{\theHsection}{\arabic{part}.\arabic{section}}}
79 
80 % Authored monograph profile. The October 18 proofreading changes are recorded in the release report.
81 \usepackage{komorebi-monograph}
82 \renewcommand{\KomorebiTitle}{Quantum Seeds and Effective Dynamics}
83 \renewcommand{\KomorebiSubtitle}{Symmetry, geometric transport, quantum channels, and bounded refinement towers}
84 \renewcommand{\KomorebiSeries}{Core series VII}
85 \renewcommand{\KomorebiKind}{Modern Monograph}
86 \renewcommand{\KomorebiEdition}{18 October 2026}
87 \renewcommand{\KomorebiShortTitle}{Paper VII}
88 \renewcommand{\KomorebiTitleSize}{38}
89 \renewcommand{\KomorebiTitleLeading}{43}
90 \renewcommand{\KomorebiCoverTitle}{Quantum Seeds\\and Effective Dynamics}
91 \renewcommand{\KomorebiCoverBlurb}{A quantum seed generates a space through an operator grammar. Packets resolve how symmetry, evolution, geometry, and hidden degrees of freedom change that space.}
92 \KomorebiSetup
93 \setlength{\cftsecnumwidth}{3.7em}
94 \setlength{\cftsubsecindent}{3.7em}
95 \setlength{\cftsubsecnumwidth}{4.8em}
96 \pdfstringdefDisableCommands{\def\quad{ }}
97 % Grouping adapters render legacy unbraced math alphabets without editing bodies.
98 \providecommand{\bm}[1]{\symbfit{#1}}
99 \let\KomorebiPrimitiveMathcal\mathcal
100 \renewcommand{\mathcal}[1]{{\KomorebiPrimitiveMathcal{#1}}}
101 \let\KomorebiPrimitiveMathbb\mathbb
102 \renewcommand{\mathbb}[1]{{\KomorebiPrimitiveMathbb{#1}}}
103 \let\KomorebiPrimitiveMathfrak\mathfrak
104 \renewcommand{\mathfrak}[1]{{\KomorebiPrimitiveMathfrak{#1}}}
105 \let\KomorebiPrimitiveMathsf\mathsf
106 \renewcommand{\mathsf}[1]{{\KomorebiPrimitiveMathsf{#1}}}
107 \let\KomorebiPrimitiveMathbf\mathbf
108 \renewcommand{\mathbf}[1]{{\KomorebiPrimitiveMathbf{#1}}}
109 \let\KomorebiPrimitiveMathrm\mathrm
110 \renewcommand{\mathrm}[1]{{\KomorebiPrimitiveMathrm{#1}}}
111 \let\KomorebiPrimitiveMathtt\mathtt
112 \renewcommand{\mathtt}[1]{{\KomorebiPrimitiveMathtt{#1}}}
113 \crefname{proposition}{proposition}{propositions}
114 \crefname{lemma}{lemma}{lemmas}
115 \crefname{corollary}{corollary}{corollaries}
116 \crefname{definition}{definition}{definitions}
117 \crefname{example}{example}{examples}
118 \crefname{construction}{construction}{constructions}
119 \crefname{conjecture}{conjecture}{conjectures}
120 \crefname{remark}{remark}{remarks}
121 
122 % Reserve enough room for a subsection and its opening prose or statement.
123 % This avoids headings stranded above a page break when prose is revised.
124 \pretocmd{\subsection}{\par\Needspace{10\baselineskip}}{}{\PackageError{komorebi}{Cannot attach subsection layout guard}{Restore the reviewed subsection command before building.}}
125 \pretocmd{\section}{\par\Needspace{14\baselineskip}}{}{\PackageError{komorebi}{Cannot attach section layout guard}{Restore the reviewed section command before building.}}
126 \clubpenalty=10000
127 \widowpenalty=10000
128 \displaywidowpenalty=10000
129 \brokenpenalty=10000
130 
131 % Keep each unboxed statement anchor with its visible heading.
132 \BeforeBeginEnvironment{proposition}{\par\Needspace{5\baselineskip}}
133 \BeforeBeginEnvironment{lemma}{\par\Needspace{5\baselineskip}}
134 \BeforeBeginEnvironment{corollary}{\par\Needspace{5\baselineskip}}
135 \BeforeBeginEnvironment{example}{\par\Needspace{5\baselineskip}}
136 \BeforeBeginEnvironment{remark}{\par\Needspace{5\baselineskip}}
137 \BeforeBeginEnvironment{certificate}{\par\Needspace{5\baselineskip}}
138 \BeforeBeginEnvironment{conjecture}{\par\Needspace{5\baselineskip}}
139 \BeforeBeginEnvironment{standardfact}{\par\Needspace{5\baselineskip}}
140 \BeforeBeginEnvironment{classical}{\par\Needspace{5\baselineskip}}
141 \BeforeBeginEnvironment{construction}{\par\Needspace{5\baselineskip}}
142 \BeforeBeginEnvironment{statement}{\par\Needspace{5\baselineskip}\phantomsection}
143 \BeforeBeginEnvironment{theorem}{\par\Needspace{7\baselineskip}}
144 \BeforeBeginEnvironment{definition}{\par\Needspace{7\baselineskip}}
145 \input{component-layout.tex}
146 \begin{document}
147 \KomorebiCover
148 \begingroup
149 \setlength{\parskip}{3pt plus .5pt minus .5pt}
150 \KomorebiOpeningNote{\textbf{Part I.} The finite quantum seed calculus develops the packet language and states the precise scope of the archived formal proof.
151 
152 \textbf{Part II.} The strengthened development extends this language through seventy-nine theorem, proposition, lemma, and corollary proofs.
153 
154 \textbf{Part III.} Six supplements give the detailed mathematical constructions behind the formal proofs, followed by three alternative derivations.
155 
156 \textbf{Part IV.} Forty worked visual pages connect the formulas to finite models and identify the hypotheses needed at each continuum boundary.}
157 
158 \section*{Reading this chapter}\addcontentsline{toc}{section}{Reading this chapter}
159 A seed is useful only together with the operators allowed to act on it. Chapter VII follows that principle through symmetry packets, quantum circuits, moving projectors, channels, effective dynamics, and refinement. The finite calculus in Part I supplies the common language. The strengthened development in Part II gives broader bounded constructions and limit criteria. Part III supplies the detailed proof completions.
160 
161 The finite results use the prefix I. The bounded development uses II, and the supplementary constructions use III. This local numbering distinguishes their hypotheses and provides stable references throughout the chapter. Some constructions appear in more than one setting because the ambient spaces and conclusions differ.
162 
163 The formal companion covers nineteen scoped manuscript items through 323 supporting Lean theorem declarations in twenty-five modules. The bounded development in Part II is outside that contract for nineteen items. The companion states the exact hypotheses, source declarations and verification provenance.
164 
165 Five explicitly named conjectures remain open in the finite core: anomaly-free refinement, uniform Feshbach control, Lorentzian reconstruction, the Einstein infrared limit, and massless spin-two packets. Bounded direct limits and norm limits provide useful criteria. Each physical target still needs the additional structure stated in its conjecture.
166 
167 \begin{keyidea}[title={Four distinctions to keep in view}]
168 A seed's algebraic orbit is different from a unitary state-preparation orbit. Compression is different from an effective resolvent. A normalized channel is different from an unnormalized error family. A finite spectrum is different from a continuum particle interpretation. Keeping these distinctions visible makes the later results easier to use.
169 \end{keyidea}
170 
171 Read Part I first for the packet grammar and the finite statements. Turn to Part II for bounded operator transport, spectral and channel constructions, and refinement towers. Use Part III when the geometric bundle construction or a formal specialization needs more detail. The visual atlas follows the same topics through explicit examples. It illustrates the statements with finite data and does not replace their proofs.
172 \par\endgroup
173 \clearpage
174 \tableofcontents
175 \clearpage
176 \listoffigures
177 \clearpage
178 \pagenumbering{arabic}
179 \startreadingpart{Finite quantum seed calculus}
180 \begin{readerroadmap}
181 The finite core starts with seed rank, then resolves symmetry and circuit transfer into packets. Its geometric statements use the actual range bundle, including the Lie-bracket term. Its channel and Feshbach statements keep normalization and invertibility visible. The three examples below introduce those distinctions with exact finite data.
182 \end{readerroadmap}
183 \input{monograph_examples.tex}
184 \graphicspath{{assets/core/}}
185 \input{parts/01_finite_core.tex}
186 \startreadingpart{Strengthened quantum packet calculus and continuum towers}
187 \begin{readerroadmap}
188 This part broadens the packet calculus while keeping its hypotheses explicit. Read each result with its assumptions about nonzero spaces, a common ambient space, self-adjointness, finite address sets, and trace class operators. Its bounded limits do not establish the five open physical continuum targets.
189 \end{readerroadmap}
190 \graphicspath{{assets/strengthened/}}
191 \input{parts/02_strengthened.tex}
192 \startreadingpart{Bundle constructions and complementary derivations}
193 \begin{readerroadmap}
194 The six supplements retain the substantive algebra and geometry of the formal completion. The final supplement constructs local range-bundle charts, their overlaps, and a fiber-valued connection. Three earlier derivations follow because they offer a distinct route through the same finite mathematics.
195 \end{readerroadmap}
196 \input{parts/03_supplement_01.tex}
197 \input{parts/03_supplement_02.tex}
198 \input{parts/03_supplement_03.tex}
199 \input{parts/03_supplement_04.tex}
200 \input{parts/03_supplement_05.tex}
201 \input{parts/03_supplement_06.tex}
202 \input{parts/04_alternative_derivations.tex}
203 \startreadingpart{Worked visual atlas}
204 \input{monograph_atlas.tex}
205 \clearpage\FloatBarrier
206 \section*{References}
207 \addcontentsline{toc}{section}{References}
208 \renewcommand{\refname}{}
209 \bibliographystyle{amsplain}
210 \bibliography{references}
211 \end{document}

Back to source controls

Back to Realization Calculus