Realization Boundaries

Download original file

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

Included manuscript sections

• 00_front.tex
• 00_notation.tex
• 01_contracts.tex
• 02_ambient.tex
• 03_spectrum.tex
• 04_purity.tex
• 05_construction.tex
• 06_roots.tex
• 07_classification.tex
• 08_computability.tex
• 09_reconstruction.tex
• 10_grammar.tex
• 11_atlas.tex
• 12_calculus.tex
• 13_implementation.tex
• 14_formal.tex
• 15_glossary.tex
• 16_references.tex

Read the typeset paper

1 \documentclass[11pt,oneside,openany]{book}
2 \usepackage[T1]{fontenc}
3 \usepackage[utf8]{inputenc}
4 \usepackage{amsmath,amsthm,mathtools}
5 \usepackage{mathpazo,amssymb}
6 \usepackage[paperwidth=7.5in,paperheight=10in,inner=0.80in,outer=0.80in,top=0.82in,bottom=0.78in,headheight=14pt,headsep=0.22in,footskip=0.35in]{geometry}
7 \usepackage{microtype,graphicx,booktabs,array,longtable,tabularx}
8 \usepackage[table]{xcolor}
9 \usepackage{tikz}
10 \usetikzlibrary{arrows.meta,positioning,calc}
11 \usepackage{titlesec,fancyhdr,enumitem,caption,float,needspace,etoolbox,listings}
12 \usepackage[most]{tcolorbox}
13 \usepackage{hyperref,bookmark}
14 \definecolor{Ink}{HTML}{172A3A}
15 \definecolor{Accent}{HTML}{286E75}
16 \definecolor{Soft}{HTML}{F0F5F5}
17 \definecolor{Quiet}{HTML}{62727C}
18 \definecolor{CoverLight}{HTML}{CDDEE2}
19 \hypersetup{colorlinks=true,linkcolor=Accent,citecolor=Accent,urlcolor=Accent,pdftitle={Realization Boundaries: Finite Grammar, Infinite Groups, and the Limits of Reconstruction},pdfauthor={Komorebi P.},pdfsubject={Realization Calculus, abelian groups, profinite completion, computable structures},bookmarksnumbered=true}
20 \urlstyle{same}
21 \renewcommand{\bibname}{References}
22 \setlength{\parindent}{1.05em}
23 \setlength{\parskip}{3.5pt plus 0.8pt}
24 \linespread{1.045}
25 \setlength{\emergencystretch}{2em}
26 \raggedbottom
27 \setcounter{tocdepth}{1}
28 \setcounter{secnumdepth}{2}
29 \titleformat{\chapter}[display]{\normalfont\color{Ink}}{\sffamily\small\color{Accent}\MakeUppercase{\chaptertitlename}\ \thechapter}{9pt}{\fontsize{25}{29}\selectfont\raggedright\hyphenpenalty=10000\exhyphenpenalty=10000}
30 \titlespacing*{\chapter}{0pt}{4pt}{20pt}
31 \titleformat{\section}{\large\bfseries\color{Ink}}{\thesection}{0.7em}{}
32 \titleformat{\subsection}{\normalsize\bfseries\color{Ink}}{\thesubsection}{0.7em}{}
33 \titlespacing*{\section}{0pt}{16pt}{7pt}
34 \titlespacing*{\subsection}{0pt}{11pt}{5pt}
35 \pagestyle{fancy}
36 \fancyhf{}
37 \fancyhead[L]{\sffamily\fontsize{8}{10}\selectfont\color{Quiet}\nouppercase{\leftmark}}
38 \fancyhead[R]{\sffamily\fontsize{8}{10}\selectfont\color{Quiet}REALIZATION CALCULUS}
39 \fancyfoot[C]{\small\thepage}
40 \renewcommand{\headrulewidth}{0.3pt}
41 \renewcommand{\chaptermark}[1]{\markboth{\thechapter\quad #1}{}}
42 \fancypagestyle{plain}{\fancyhf{}\fancyfoot[C]{\small\thepage}\renewcommand{\headrulewidth}{0pt}}
43 \captionsetup{font=small,labelfont={bf,color=Accent},justification=raggedright,singlelinecheck=false,skip=8pt}
44 \setlist{itemsep=3pt,topsep=6pt,parsep=0pt,leftmargin=1.6em}
45 \newtheoremstyle{research}{9pt}{9pt}{\itshape}{} {\bfseries\color{Ink}}{.}{0.55em}{}
46 \theoremstyle{research}
47 \newtheorem{theorem}{Theorem}[chapter]
48 \newtheorem{proposition}[theorem]{Proposition}
49 \newtheorem{lemma}[theorem]{Lemma}
50 \newtheorem{corollary}[theorem]{Corollary}
51 \theoremstyle{definition}
52 \newtheorem{definition}[theorem]{Definition}
53 \newtheorem{example}[theorem]{Example}
54 \newtheorem{remark}[theorem]{Remark}
55 \newtheorem{boundary}[theorem]{Boundary}
56 \newtheorem{question}[theorem]{Question}
57 \newtcolorbox{keybox}[1][]{breakable,colback=Soft,colframe=Accent,boxrule=0.5pt,arc=0pt,left=11pt,right=11pt,top=10pt,bottom=10pt,before skip=12pt,after skip=12pt,#1}
58 \newcommand{\N}{\mathbb N}
59 \newcommand{\Z}{\mathbb Z}
60 \newcommand{\Q}{\mathbb Q}
61 \newcommand{\F}{\mathbb F}
62 \newcommand{\R}{\mathbb R}
63 \newcommand{\Tor}{\operatorname{Tor}}
64 \newcommand{\Hom}{\operatorname{Hom}}
65 \newcommand{\End}{\operatorname{End}}
66 \newcommand{\Aut}{\operatorname{Aut}}
67 \newcommand{\supp}{\operatorname{supp}}
68 \newcommand{\rad}{\operatorname{rad}}
69 \newcommand{\den}{\operatorname{den}}
70 \newcommand{\Hull}{\operatorname{Hull}}
71 \newcommand{\Sub}{\operatorname{Sub}}
72 \newcommand{\srank}{\operatorname{srank}}
73 \newcommand{\trank}{\operatorname{trank}}
74 \newcommand{\fin}{\operatorname{fin}}
75 \newcommand{\Obs}{\mathcal F}
76 \newcommand{\one}{\mathbf 1}
77 \newcommand{\eqfin}{=^{*}}
78 \newcommand{\neqfin}{\ne^{*}}
79 \newcommand{\primes}{\mathcal P}
80 \newcommand{\bits}{\{0,1\}^{\N}}
81 \newcommand{\proofend}{\hfill$\square$}
82 \newcommand{\chapterintro}[1]{\noindent\textit{#1}\par\vspace{5pt}}
83 \newcommand{\figfile}[1]{../figures/#1}
84 \lstset{basicstyle=\ttfamily\footnotesize,columns=fullflexible,keepspaces=true,breaklines=true,frame=single,rulecolor=\color{Quiet!35},backgroundcolor=\color{Soft},xleftmargin=4pt,xrightmargin=4pt,aboveskip=10pt,belowskip=10pt,showstringspaces=false,upquote=true}
85 \begin{document}
86 \begin{titlepage}
87 \thispagestyle{empty}
88 \begin{tikzpicture}[remember picture,overlay]
89 \fill[Ink] (current page.south west) rectangle (current page.north east);
90 \draw[Accent,line width=2pt] ([xshift=0.82in,yshift=-1.28in]current page.north west)--([xshift=-0.82in,yshift=-1.28in]current page.north east);
91 \node[anchor=north west,text=CoverLight,font=\sffamily\small,align=left] at ([xshift=0.82in,yshift=-0.85in]current page.north west) {REALIZATION CALCULUS};
92 \node[anchor=north west,text=white,text width=5.7in,align=left,font=\fontsize{40}{45}\selectfont] at ([xshift=0.82in,yshift=-1.90in]current page.north west) {Realization\\Boundaries};
93 \node[anchor=north west,text=CoverLight,text width=5.6in,align=left,font=\fontsize{17}{23}\selectfont] at ([xshift=0.82in,yshift=-3.65in]current page.north west) {Finite Grammar, Infinite Groups,\\and the Limits of Reconstruction};
94 \node[anchor=west,text=white,font=\fontsize{22}{28}\selectfont] at ([xshift=0.82in,yshift=2.65in]current page.south west) {$D\ \subseteq\ G_A\ \subseteq\ P$};
95 \node[anchor=north west,text=CoverLight,text width=5.4in,align=left,font=\fontsize{11}{16}\selectfont] at ([xshift=0.82in,yshift=2.20in]current page.south west) {One ambient completion.\\Different algebraic realizations.\\Precisely measured information.};
96 \node[anchor=south west,text=white,font=\large] at ([xshift=0.82in,yshift=0.82in]current page.south west) {Komorebi P.};
97 \end{tikzpicture}
98 \end{titlepage}
99 \frontmatter
100 \input{chapters/00_front}
101 \begingroup\setlength{\parskip}{0pt}\tableofcontents\endgroup
102 \input{chapters/00_notation}
103 \mainmatter
104 \input{chapters/01_contracts}
105 \input{chapters/02_ambient}
106 \input{chapters/03_spectrum}
107 \input{chapters/04_purity}
108 \input{chapters/05_construction}
109 \input{chapters/06_roots}
110 \input{chapters/07_classification}
111 \input{chapters/08_computability}
112 \input{chapters/09_reconstruction}
113 \input{chapters/10_grammar}
114 \input{chapters/11_atlas}
115 \input{chapters/12_calculus}
116 \appendix
117 \input{chapters/13_implementation}
118 \input{chapters/14_formal}
119 \input{chapters/15_glossary}
120 \backmatter
121 \input{chapters/16_references}
122 \end{document}

Back to source controls

Back to Realization Boundaries