monograph.tex
Realization Calculus: twin edition

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

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 \newcommand{\SeriesIndex}{2}
86 \newcommand{\SeriesVolume}{II}
87 \newcommand{\SeriesTitle}{Realization Boundaries}
88 \newcommand{\SeriesTitleLines}{Realization\\Boundaries}
89 \newcommand{\SeriesSubtitleLines}{Finite Grammar, Infinite Groups,\\and the Limits of Reconstruction}
90 \newcommand{\SeriesMotif}{$D\ \subseteq\ G_A\ \subseteq\ P$}
91 \newcommand{\SeriesCoverCaption}{One ambient completion.\\Different algebraic realizations.\\Precisely measured information.}
92 \input{../../shared/series-style}
93 \begin{document}
94 \SeriesCover
95 \frontmatter
96 \input{../../shared/series-front}
97 \input{chapters/00_front}
98 \begingroup\setlength{\parskip}{0pt}\tableofcontents\endgroup
99 \input{chapters/00_notation}
100 \mainmatter
101 \input{chapters/01_contracts}
102 \input{chapters/02_ambient}
103 \input{chapters/03_spectrum}
104 \input{chapters/04_purity}
105 \input{chapters/05_construction}
106 \input{chapters/06_roots}
107 \input{chapters/07_classification}
108 \input{chapters/08_computability}
109 \input{chapters/09_reconstruction}
110 \input{chapters/10_grammar}
111 \input{chapters/11_atlas}
112 \input{chapters/12_calculus}
113 \appendix
114 \input{chapters/13_implementation}
115 \input{chapters/14_formal}
116 \input{chapters/15_glossary}
117 \backmatter
118 \input{chapters/16_references}
119 \end{document}
Back to source controls
Other PDFs for this work

Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 94894087ca692504e908e653c6f52d58cd47f37daf188f285b87eabf15f8087e
Original source on GitHub
Back to Realization Calculus: twin edition