Realization Calculus

Download original file

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

Included manuscript sections

• 01_orientation.tex
• 02_foundations.tex
• 03_packets_and_graphs.tex
• 04_transport.tex
• 05_worked_models.tex
• 06_reference.tex
• core-layout.tex

Read the typeset paper

1 \documentclass[11pt]{article}
2 
3 \usepackage[a4paper,margin=23mm,includeheadfoot,headheight=15pt,headsep=15pt,footskip=22pt]{geometry}
4 \usepackage[nopatch=footnote]{microtype}
5 \usepackage{amsmath,amssymb,amsthm,mathtools}
6 \usepackage{aliascnt}
7 \usepackage{booktabs,longtable,array,tabularx}
8 \usepackage{enumitem}
9 \usepackage{fancyhdr}
10 \PassOptionsToPackage{hyphens}{url}
11 \usepackage{hyperref}
12 \usepackage[nameinlink,noabbrev]{cleveref}
13 \usepackage[table]{xcolor}
14 \usepackage{setspace}
15 \usepackage[most]{tcolorbox}
16 \usepackage{needspace}
17 \usepackage{multicol}
18 \usepackage{makecell}
19 \usepackage{graphicx,tikz,titlesec,bookmark,caption,etoolbox,tocloft}
20 \setlength{\cftbeforesecskip}{4pt}
21 \usetikzlibrary{arrows.meta,decorations.pathreplacing,patterns,calc}
22 \graphicspath{{figures/}}
23 \definecolor{accent}{HTML}{137668}\definecolor{muted}{HTML}{536568}
24 \frenchspacing\emergencystretch=2em\clubpenalty=10000\widowpenalty=10000\raggedbottom
25 \titleformat{\section}{\sffamily\bfseries\large\color{accent}}{\thesection}{.7em}{}
26 \titleformat{\subsection}{\sffamily\bfseries\normalsize}{\thesubsection}{.7em}{}
27 \titlespacing*{\section}{0pt}{1.4\baselineskip}{.55\baselineskip}
28 \captionsetup{font=small,labelfont={sf,bf},labelsep=period}
29 \pretocmd{\section}{\Needspace{7\baselineskip}}{}{}
30 \pretocmd{\subsection}{\Needspace{5\baselineskip}}{}{}
31 \newcolumntype{L}[1]{>{\raggedright\arraybackslash}p{#1}}
32 \newcommand{\cA}{\mathcal A}\newcommand{\cB}{\mathcal B}\newcommand{\cP}{\mathcal P}
33 \newcommand{\R}{\mathbb R}\newcommand{\C}{\mathbb C}\newcommand{\Z}{\mathbb Z}\newcommand{\N}{\mathbb N}
34 \newcommand{\Spec}{\operatorname{Spec}}\newcommand{\rank}{\operatorname{rank}}\newcommand{\diag}{\operatorname{diag}}
35 \newcommand{\closure}[1]{\overline{#1}}
36 
37 
38 \allowdisplaybreaks
39 \setstretch{1.055}
40 \setlength{\parskip}{0.30em}
41 \setlength{\parindent}{1.35em}
42 \setlist[itemize]{topsep=0.35em,itemsep=0.15em,leftmargin=1.6em}
43 \setlist[enumerate]{topsep=0.35em,itemsep=0.15em,leftmargin=1.8em}
44 \definecolor{PSCBlue}{RGB}{44,83,118}
45 \definecolor{PSCLightBlue}{RGB}{242,247,251}
46 \definecolor{PSCGreen}{RGB}{49,105,83}
47 \definecolor{PSCLightGreen}{RGB}{243,249,246}
48 \definecolor{PSCAmber}{RGB}{132,91,21}
49 \definecolor{PSCLightAmber}{RGB}{252,248,238}
50 \definecolor{PSCGray}{RGB}{90,96,102}
51 \definecolor{PSCLightGray}{RGB}{247,247,247}
52 
53 \newtcolorbox{readerroadmap}[1][]{
54   enhanced,breakable,colback=PSCLightBlue,colframe=PSCBlue,
55   boxrule=0.65pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
56   fonttitle=\bfseries,title={Reader roadmap},#1}
57 \newtcolorbox{keyidea}[1][]{
58   enhanced,breakable,colback=PSCLightGreen,colframe=PSCGreen,
59   boxrule=0.65pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
60   fonttitle=\bfseries,title={Key idea},#1}
61 \newtcolorbox{interpretation}[1][]{
62   enhanced,breakable,colback=PSCLightGray,colframe=PSCGray,
63   boxrule=0.55pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
64   fonttitle=\bfseries,title={Interpretation},#1}
65 \newtcolorbox{microexample}[1][]{
66   enhanced,breakable,colback=PSCLightAmber,colframe=PSCAmber,
67   boxrule=0.55pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
68   fonttitle=\bfseries,title={Running example},#1}
69 \newtcolorbox{hypothesisguide}[1][]{
70   enhanced,breakable,colback=white,colframe=black!45,
71   boxrule=0.5pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
72   fonttitle=\bfseries,title={Why the hypotheses matter},#1}
73 \newtcolorbox{sectionrecap}[1][]{
74   enhanced,breakable,colback=white,colframe=PSCBlue,
75   borderline west={2pt}{0pt}{PSCBlue},boxrule=0pt,arc=0mm,
76   left=2mm,right=1mm,top=0.8mm,bottom=0.8mm,
77   fonttitle=\bfseries,title={Section recap},#1}
78 \newtcolorbox{warningbox}[1][]{
79   enhanced,breakable,colback=PSCLightAmber,colframe=PSCAmber,
80   boxrule=0.65pt,arc=1.2mm,left=1.4mm,right=1.4mm,top=1mm,bottom=1mm,
81   fonttitle=\bfseries,title={Do not conflate},#1}
82 \newcommand{\ProofMap}[1]{\begin{interpretation}[title={Proof map}]#1\end{interpretation}}
83 \newcommand{\ConceptChain}[1]{\begin{center}\fbox{\begin{minipage}{0.92\textwidth}\centering #1\end{minipage}}\end{center}}
84 
85 \hypersetup{
86   pdftitle={Projector Resolved Seed Calculus I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates},
87   pdfauthor={Komorebi P.},
88   pdfsubject={Expanded symbolic and expository foundation},
89   colorlinks=true,
90   linkcolor=black,
91   citecolor=black,
92   urlcolor=black
93 }
94 
95 \pagestyle{fancy}
96 \fancyhf{}
97 \fancyhead[L]{\sffamily\fontsize{8}{10}\selectfont\color{muted}KOMOREBI MATHEMATICS / PAPER I}
98 \fancyhead[R]{\sffamily\fontsize{8}{10}\selectfont\color{muted}TRADITIONAL PAPER}
99 \fancyfoot[L]{\sffamily\fontsize{8}{10}\selectfont\color{muted}Projector-resolved seed calculus}\fancyfoot[R]{\sffamily\small\color{accent}\thepage}
100 \setlength{\headheight}{14pt}
101 
102 \newtheorem{theorem}{Theorem}[section]
103 \newaliascnt{proposition}{theorem}
104 \newtheorem{proposition}[proposition]{Proposition}
105 \aliascntresetthe{proposition}
106 \newaliascnt{lemma}{theorem}
107 \newtheorem{lemma}[lemma]{Lemma}
108 \aliascntresetthe{lemma}
109 \newaliascnt{corollary}{theorem}
110 \newtheorem{corollary}[corollary]{Corollary}
111 \aliascntresetthe{corollary}
112 \theoremstyle{definition}
113 \newaliascnt{definition}{theorem}
114 \newtheorem{definition}[definition]{Definition}
115 \aliascntresetthe{definition}
116 \newaliascnt{classicalinput}{theorem}
117 \newtheorem{classicalinput}[classicalinput]{Classical Input}
118 \aliascntresetthe{classicalinput}
119 \theoremstyle{remark}
120 \newaliascnt{boundary}{theorem}
121 \newtheorem{boundary}[boundary]{Boundary}
122 \aliascntresetthe{boundary}
123 \newaliascnt{remark}{theorem}
124 \newtheorem{remark}[remark]{Remark}
125 \aliascntresetthe{remark}
126 
127 \theoremstyle{definition}\newtheorem{example}[theorem]{Example}
128 \newtheorem{construction}[theorem]{Construction}
129 \crefname{theorem}{theorem}{theorems}
130 \crefname{proposition}{proposition}{propositions}
131 \crefname{lemma}{lemma}{lemmas}
132 \crefname{corollary}{corollary}{corollaries}
133 \crefname{definition}{definition}{definitions}
134 \crefname{classicalinput}{classical input}{classical inputs}
135 \crefname{boundary}{boundary}{boundaries}
136 \crefname{remark}{remark}{remarks}
137 
138 \newcommand{\bbk}{\Bbbk}
139 \newcommand{\A}{\mathcal A}
140 \newcommand{\B}{\mathcal B}
141 \newcommand{\Ccal}{\mathcal C}
142 \newcommand{\Pcal}{\mathcal P}
143 \newcommand{\Qcal}{\mathcal Q}
144 \newcommand{\Rcal}{\mathcal R}
145 \newcommand{\Scal}{\mathcal S}
146 \newcommand{\Hull}{\operatorname{Hull}}
147 \newcommand{\srank}{\operatorname{srank}}
148 \newcommand{\psrank}{\operatorname{psrank}}
149 \newcommand{\End}{\operatorname{End}}
150 \newcommand{\Hom}{\operatorname{Hom}}
151 \newcommand{\im}{\operatorname{im}}
152 \newcommand{\Ker}{\operatorname{Ker}}
153 \newcommand{\Jac}{\operatorname{Jac}}
154 \newcommand{\Irr}{\operatorname{Irr}}
155 \newcommand{\Span}{\operatorname{span}}
156 \newcommand{\alg}{\operatorname{alg}}
157 \newcommand{\Reach}{\operatorname{Reach}}
158 \newcommand{\Supp}{\operatorname{Supp}}
159 \newcommand{\id}{\mathrm{id}}
160 \newcommand{\cl}[1]{\overline{#1}}
161 \newcommand{\RecordID}[1]{\label{record:#1}}
162 \newcommand{\Depends}[1]{}
163 \newcommand{\Exports}[1]{}
164 \newcommand{\BoundaryNote}[1]{\par\noindent\begingroup\footnotesize\color{PSCGray}\raggedright\textbf{Boundary.} #1\par\endgroup}
165 \newcolumntype{Y}{>{\raggedright\arraybackslash}X}
166 
167 
168 \newcommand{\OO}{\mathcal O}\newcommand{\FF}{\mathbb F}\newcommand{\QQ}{\mathbb Q}\newcommand{\ZZ}{\mathbb Z}\newcommand{\RR}{\mathbb R}\newcommand{\CC}{\mathbb C}\newcommand{\kk}{\Bbbk}
169 \renewcommand{\AA}{\mathcal A}\newcommand{\BB}{\mathcal B}
170 \newcommand{\Fitt}{\operatorname{Fitt}}\newcommand{\Ann}{\operatorname{Ann}}\newcommand{\coker}{\operatorname{coker}}\newcommand{\Tr}{\operatorname{Tr}}
171 \newcommand{\whot}{\mathbin{\widehat\otimes}}\newcommand{\m}{\mathfrak m}\newcommand{\p}{\mathfrak p}
172 \newcommand{\head}[1]{\par\vspace{2pt}{\sffamily\bfseries\normalsize #1}\par\vspace{1pt}}
173 \newcommand{\atlasCaption}[1]{\par\noindent{\footnotesize\color{black!70}#1\par}}
174 \newtcolorbox{insight}{colback=black!3,colframe=accent,boxrule=0pt,leftrule=1.1pt,arc=0pt,left=10pt,right=10pt,top=3pt,bottom=3pt,before skip=4pt,after skip=4pt,fontupper=\fontsize{9.7}{11.2}\selectfont}
175 \newcommand{\takeaway}[1]{\begin{insight}\textbf{Read this as:}\ #1\end{insight}}
176 \newcommand{\vfig}[2][.92]{\par\begingroup\centering\setlength{\dimen0}{#1\linewidth}\resizebox{.90\dimen0}{!}{\input{visual_graphics/#2.tex}}\par\endgroup\vspace{2pt}}
177 \newcommand{\vpage}[4]{\clearpage\hypertarget{visual:#1}{}\pdfbookmark[2]{Plate I.#1. #2}{PIA.visual#1}{\sffamily\small\bfseries\color{accent}Plate I.#1 / #3\par}\vspace{5pt}{\sffamily\bfseries\fontsize{22}{25}\selectfont #2\par}\vspace{5pt}{\sffamily\fontsize{8.7}{11}\selectfont\color{black!65}#4\par}\vspace{6pt}}
178 \newcommand{\pagerefV}[1]{\hyperlink{visual:#1}{Plate~I.#1}}
179 \newcommand{\norm}[1]{\left\lVert#1\right\rVert}\newcommand{\mat}[1]{\begin{pmatrix}#1\end{pmatrix}}
180 
181 
182 % Operation Komorebi: shared publication profile.
183 \usepackage{komorebi-monograph}
184 \renewcommand{\KomorebiTitle}{Projector Resolved Seed Calculus I}
185 \renewcommand{\KomorebiSubtitle}{Typed operator systems, seed rank, and exact packet coordinates}
186 \renewcommand{\KomorebiSeries}{Chapter I}
187 \renewcommand{\KomorebiKind}{Mathematical text}
188 \renewcommand{\KomorebiEdition}{}
189 \renewcommand{\KomorebiShortTitle}{Chapter I}
190 \renewcommand{\KomorebiTitleSize}{33}
191 \renewcommand{\KomorebiTitleLeading}{39}
192 \renewcommand{\KomorebiProfile}{monograph}
193 \renewcommand{\KomorebiOrientation}{portrait}
194 \KomorebiSetup
195 \usepackage{titlesec}
196 \input{core-layout.tex}
197 
198 % Publication-design overrides. Mathematical bodies retain their source text.
199 \CoreLayout
200 \colorlet{accent}{pubTeal}\colorlet{teal}{pubTeal}\colorlet{ink}{pubInk}\colorlet{muted}{pubMuted}\colorlet{pale}{pubWash}\colorlet{light}{pubWash}
201 \makeatletter
202 \@ifundefined{KomorebiCover}{}{\renewcommand{\KomorebiCover}{%
203 \clearpage\hypersetup{pageanchor=false}\thispagestyle{empty}\begingroup\setlength{\parindent}{0pt}%
204 {\sffamily\fontsize{8.5}{11}\selectfont\color{pubTeal}REALIZATION CALCULUS\par}%
205 \vspace{27pt}%
206 {\sffamily\fontsize{9}{12}\selectfont\color{pubTeal}\MakeUppercase{\KomorebiSeries}\par}%
207 \vspace{22pt}%
208 {\normalfont\fontsize{29}{35}\selectfont\color{pubNavy}\raggedright\KomorebiTitle\par}%
209 \vspace{17pt}%
210 {\normalfont\fontsize{17}{23}\selectfont\color{pubMuted}\raggedright\KomorebiSubtitle\par}%
211 \vspace{22pt}\noindent\textcolor{pubCopper}{\rule{42pt}{.8pt}}\par%
212 \vspace{20pt}%
213 \@ifundefined{KomorebiCoverBlurb}{}{\normalfont\fontsize{11.4}{16.2}\selectfont\color{pubMuted}\raggedright\KomorebiCoverBlurb\par}%
214 \vfill%
215 {\normalfont\fontsize{14}{18}\selectfont\color{pubInk}Komorebi P.\par}%
216 \vspace{9pt}{\sffamily\fontsize{9}{13}\selectfont\color{pubMuted}\KomorebiKind\par\KomorebiEdition\par}%
217 \endgroup\clearpage\pagenumbering{roman}\hypersetup{pageanchor=true}\color{pubInk}\normalfont\pagestyle{empty}}}
218 \makeatother
219 
220 \begin{document}
221 \KomorebiCover
222 \begin{abstract}
223 This chapter begins with a practical mathematical question. Once a family of operators has been fixed, what can we generate from a few starting vectors, and how can we keep track of the resulting object? The answer has two parts. Seed rank measures how many starting vectors are needed. Packet coordinates describe the components of vectors and the transfers between them.
224 
225 The construction starts with a typed operator grammar and a concrete realization of that grammar. From there we study generated hulls, presentations by seeds and relations, and the number of generators required by a module. The generator results include reduction modulo the Jacobson radical, the semisimple multiplicity formula over division rings, and the formula for a single operator over an arbitrary field.
226 
227 We then resolve vectors and operators using complete families of idempotents. Finite packet reconstruction is exact. Countable reconstruction requires the stated convergence assumptions. Transfer blocks record the action from each input packet to each output packet, and their multiplication exposes both admissible paths and cancellation. Later sections develop quotient descent, coordinate changes, completion, and transport through realization functors.
228 
229 Worked quiver, coordinate ring, matrix, graph, and shift models show how the same language is used in different settings. The visual atlas follows these models through complete calculations. Stable statement identifiers connect this text to the existing machine companion, while the separate Lean guide specifies the scope of the formal certificates. The written proofs and the imported classical results retain their stated hypotheses.
230 \end{abstract}
231 
232 \clearpage
233 \begingroup\small\setstretch{1.0}\tableofcontents\endgroup
234 \clearpage
235 
236 \input{01_orientation.tex}
237 \clearpage\pagenumbering{arabic}
238 \input{02_foundations.tex}
239 \input{03_packets_and_graphs.tex}
240 \input{04_transport.tex}
241 \input{05_worked_models.tex}
242 \input{06_reference.tex}
243 \end{document}

Back to source controls

Back to Realization Calculus