Paper VII: Quantum Seed Calculus

Download original file

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

Included manuscript sections

• 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

Read this chapter with formatted equations

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 \begin{document}
146 \KomorebiCover
147 \begingroup
148 \setlength{\parskip}{3pt plus .5pt minus .5pt}
149 \KomorebiOpeningNote{\textbf{Part I.} The finite quantum seed calculus develops the packet language and states the precise scope of the archived formal proof.
150 
151 \textbf{Part II.} The strengthened development extends this language through seventy-nine theorem, proposition, lemma, and corollary proofs.
152 
153 \textbf{Part III.} Six supplements give the detailed mathematical constructions behind the formal proofs, followed by three alternative derivations.
154 
155 \textbf{Part IV.} Forty worked visual pages connect the formulas to finite models and identify the hypotheses needed at each continuum boundary.}
156 
157 \section*{Reading this edition}\addcontentsline{toc}{section}{Reading this edition}
158 A seed is useful only together with the operators allowed to act on it. Paper 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 retains the detailed proof completions rather than reducing them to a status summary.
159 
160 The original finite item numbers keep the prefix I. The strengthened development has the prefix II, and the supplementary constructions have the prefix III. All nine mathematical source parts are retained. This edition revises their explanatory prose while preserving the mathematical expressions, hypotheses, proof steps, and statement inventory. The accompanying report records the changes. Overlapping statements and proofs are retained because their hypotheses and uses differ. Their total is not a count of independent discoveries.
161 
162 The selected archived formal checkpoint covers nineteen scoped manuscript items. It records 323 explicit theorem declarations across twenty-five active Lean proof modules. These are different units. The strengthened Part II is outside that nineteen-item contract. The formal evidence comes from the archived checkpoint of 6 September 2026. The present prose revision does not report a fresh Lean compilation. Exact hypotheses, declarations, inherited compiler records, and reproduction instructions appear in the Lean companion.
163 
164 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.
165 
166 \begin{keyidea}[title={Four distinctions to keep in view}]
167 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.
168 \end{keyidea}
169 
170 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.
171 \par\endgroup
172 \clearpage
173 \tableofcontents
174 \clearpage
175 \listoffigures
176 \clearpage
177 \pagenumbering{arabic}
178 \startreadingpart{Corrected finite quantum seed calculus}
179 \begin{readerroadmap}
180 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.
181 \end{readerroadmap}
182 \input{monograph_examples.tex}
183 \graphicspath{{assets/core/}}
184 \input{parts/01_finite_core.tex}
185 \startreadingpart{Strengthened quantum packet calculus and continuum towers}
186 \begin{readerroadmap}
187 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.
188 \end{readerroadmap}
189 \graphicspath{{assets/strengthened/}}
190 \input{parts/02_strengthened.tex}
191 \startreadingpart{Mathematical proof completions and retained derivations}
192 \begin{readerroadmap}
193 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.
194 \end{readerroadmap}
195 \input{parts/03_supplement_01.tex}
196 \input{parts/03_supplement_02.tex}
197 \input{parts/03_supplement_03.tex}
198 \input{parts/03_supplement_04.tex}
199 \input{parts/03_supplement_05.tex}
200 \input{parts/03_supplement_06.tex}
201 \input{parts/04_alternative_derivations.tex}
202 \startreadingpart{Worked visual atlas}
203 \input{monograph_atlas.tex}
204 \clearpage\FloatBarrier
205 \section*{References}
206 \addcontentsline{toc}{section}{References}
207 \renewcommand{\refname}{}
208 \bibliographystyle{amsplain}
209 \bibliography{references}
210 \end{document}

Back to source controls

Back to Paper VII: Quantum Seed Calculus