Quantum and Circuits

Download original file

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

Included manuscript sections

• monograph_style.tex

Read the typeset paper

1 \documentclass[11pt,oneside,openany]{book}
2 \usepackage[letterpaper,left=.9in,right=.9in,top=.9in,bottom=.9in,headheight=16pt,headsep=.22in]{geometry}
3 \usepackage{fontspec}
4 \setmainfont{P052-Roman.otf}[Path=fonts/,BoldFont=P052-Bold.otf,ItalicFont=P052-Italic.otf,BoldItalicFont=P052-BoldItalic.otf]
5 \setsansfont{NimbusSans-Regular.otf}[Path=fonts/,Scale=.94,BoldFont=NimbusSans-Bold.otf,ItalicFont=NimbusSans-Italic.otf,BoldItalicFont=NimbusSans-BoldItalic.otf]
6 \setmonofont{DejaVu Sans Mono}[Scale=.76]
7 \usepackage{amsmath,amssymb,mathtools,amsthm,bm,microtype}
8 \usepackage{graphicx,float,booktabs,longtable,tabularx,array,multirow,ragged2e}
9 \usepackage[table,dvipsnames]{xcolor}
10 \usepackage{enumitem,fancyhdr,titlesec,xurl,needspace,calc,fvextra,listings,makeidx}
11 \usepackage[most]{tcolorbox}
12 \usepackage{hyperref,bookmark}
13 \usepackage[nameinlink,capitalize,noabbrev]{cleveref}
14 \definecolor{Ink}{HTML}{183247}
15 \definecolor{Teal}{HTML}{39766E}
16 \definecolor{Muted}{HTML}{596773}
17 \definecolor{Pale}{HTML}{EFF4F4}
18 \definecolor{Coral}{HTML}{B66151}
19 \definecolor{Gold}{HTML}{A98440}
20 \colorlet{ink}{Ink}\colorlet{teal}{Teal}\colorlet{accent}{Teal}\colorlet{muted}{Muted}\colorlet{pale}{Pale}\colorlet{light}{Pale}\colorlet{red}{Coral}\colorlet{gold}{Gold}
21 \colorlet{deepblue}{Ink}\colorlet{rose}{Coral}\colorlet{restrictedblue}{Ink}\colorlet{ambientrose}{Coral}
22 \colorlet{proofgreen}{Pale}\colorlet{recordblue}{Pale}\colorlet{derivedgold}{Gold!8}\colorlet{openred}{Coral!7}
23 \colorlet{provedgreen}{Pale}\colorlet{computedblue}{Pale}\colorlet{skeletonyellow}{Gold!8}\colorlet{conjecturered}{Coral!7}\colorlet{rulegray}{Muted!30}
24 \hypersetup{colorlinks=true,linkcolor=Ink,citecolor=Teal,urlcolor=Teal,pdftitle={Realization Calculus: Quantum and Circuits},pdfauthor={Komorebi P.},pdfsubject={Arithmetic, Symmetry, and the Cost of Realization}}
25 \urlstyle{tt}\raggedbottom
26 \setlength{\parindent}{0pt}\setlength{\parskip}{5pt plus 1pt minus 1pt}
27 \setlength{\emergencystretch}{4em}
28 \setlist{nosep,leftmargin=1.6em,topsep=4pt}
29 \setcounter{tocdepth}{0}\setcounter{secnumdepth}{2}
30 \numberwithin{equation}{chapter}
31 \let\cleardoublepage\clearpage
32 \pagestyle{fancy}\fancyhf{}
33 \fancyhead[L]{\small\sffamily\color{Muted}REALIZATION CALCULUS}
34 \fancyhead[R]{\small\sffamily\color{Muted}Quantum and Circuits}
35 \fancyfoot[R]{\small\sffamily\thepage}
36 \renewcommand{\headrulewidth}{.3pt}
37 \fancypagestyle{plain}{\fancyhf{}\fancyfoot[R]{\small\sffamily\thepage}\renewcommand{\headrulewidth}{0pt}}
38 \titleformat{\chapter}[display]{\normalfont\sffamily\bfseries\color{Ink}\raggedright\hyphenpenalty=10000}{\small\MakeUppercase{\chaptertitlename}\ \thechapter}{12pt}{\fontsize{26}{31}\selectfont}
39 \titlespacing*{\chapter}{0pt}{0pt}{22pt}
40 \titleformat{\section}{\large\sffamily\bfseries\color{Ink}}{\thesection}{.65em}{}
41 \titleformat{\subsection}{\normalsize\sffamily\bfseries\color{Ink}}{\thesubsection}{.65em}{}
42 \titleformat{\subsubsection}{\normalsize\sffamily\bfseries\color{Ink}}{}{0pt}{}
43 \newtheoremstyle{volume}{8pt}{5pt}{\itshape}{}{\bfseries\color{Ink}}{.}{.6em}{}
44 \theoremstyle{volume}
45 \newtheorem{theorem}{Theorem}[chapter]
46 \newtheorem{proposition}[theorem]{Proposition}\newtheorem{lemma}[theorem]{Lemma}\newtheorem{corollary}[theorem]{Corollary}\newtheorem{principle}[theorem]{Principle}\newtheorem{counterexample}[theorem]{Counterexample}
47 \theoremstyle{definition}\newtheorem{definition}[theorem]{Definition}\newtheorem{example}[theorem]{Example}\newtheorem{algorithm}[theorem]{Algorithm}\newtheorem{protocol}[theorem]{Protocol}
48 \theoremstyle{remark}\newtheorem{remark}[theorem]{Remark}\newtheorem{question}[theorem]{Question}\newtheorem{conjecture}[theorem]{Conjecture}
49 \tcbset{enhanced,breakable,arc=0pt,boxrule=.3pt,colframe=Muted!35,left=9pt,right=9pt,top=7pt,bottom=7pt,fonttitle=\small\sffamily\bfseries,coltitle=Ink,colbacktitle=Pale}
50 \newtcolorbox{provedbox}[1][]{colback=Pale,title={Proved statement},#1}
51 \newtcolorbox{recordbox}[1][]{colback=Pale,title={Recorded computation},#1}
52 \newtcolorbox{derivedbox}[1][]{colback=Gold!8,title={Derived theorem or corollary},#1}
53 \newtcolorbox{frontierbox}[1][]{colback=Coral!6,title={Open program or boundary},#1}
54 \newtcolorbox{scopebox}[1][]{colback=Pale,title={Scope boundary},#1}
55 \newtcolorbox{computedbox}[1][]{colback=Pale,title={Exact finite computation},#1}
56 \newtcolorbox{skeletonbox}[1][]{colback=Gold!8,title={Research template},#1}
57 \newtcolorbox{conjecturebox}[1][]{colback=Coral!6,title={Conjectural frontier},#1}
58 \newtcolorbox{boundarybox}[1][]{colback=Pale,title={Scope boundary},#1}
59 \newtcolorbox{circuitscopebox}[1]{colback=Pale,title={#1}}
60 \newenvironment{statusbox}[1]{\begin{circuitscopebox}{#1}}{\end{circuitscopebox}}
61 \newcolumntype{L}[1]{>{\raggedright\arraybackslash}p{#1}}
62 \providecommand{\tightlist}{\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
63 \newcommand{\lead}[1]{{\fontsize{12}{16}\selectfont #1}\par}
64 \newcommand{\note}[1]{\begin{tcolorbox}[colback=Pale]#1\end{tcolorbox}}
65 \newcommand{\fig}[3]{\begin{center}\includegraphics[width=#2\linewidth,height=.46\textheight,keepaspectratio]{assets/q_#1.pdf}\end{center}{\small\color{Muted}#3}\par}
66 \newcommand{\guidepage}[1]{\clearpage\section*{#1}}
67 \newcommand{\evidence}[1]{\par{\small\color{Muted}#1}\par}
68 \newcommand{\sourcepath}[1]{}
69 \newcommand{\visualfigure}[2]{\begin{center}\includegraphics[width=\textwidth,height=3.15in,keepaspectratio]{assets/c_#1.pdf}\par\vspace{3pt}{\small #2}\end{center}}
70 \newcommand{\circuitscope}[1]{\begin{quote}\small\textbf{Scope.} #1\end{quote}}
71 \newcommand{\source}[1]{}
72 \newcommand{\claim}[1]{\par{\small\sffamily\bfseries\color{Teal}CLAIM #1}\par\medskip}
73 \newcommand{\pathref}[1]{{\small\texttt{\detokenize{#1}}}}
74 \newcommand{\code}[1]{{\small\texttt{\detokenize{#1}}}}
75 \newcommand{\resultrow}[4]{\ref{#1} & #2 & #3 & \pageref{#1}\\}
76 \newcommand{\pagehead}[2]{\clearpage\section*{#1}\addcontentsline{toc}{section}{#1}{\small\color{Teal}\sffamily #2}\par\medskip}
77 \newcommand{\TC}{\operatorname{tc}}\newcommand{\Deg}{\operatorname{DegreeLE}}\newcommand{\x}{\mathbin{\oplus}}\newcommand{\xor}{\mathbin{\oplus}}
78 \newcommand{\F}{\mathbb F}\newcommand{\B}{\mathcal B}
79 \lstdefinestyle{pythonstyle}{language=Python,basicstyle=\ttfamily\footnotesize,keywordstyle=\color{Ink}\bfseries,commentstyle=\color{Muted},stringstyle=\color{Coral},showstringspaces=false,breaklines=true,frame=single,rulecolor=\color{Muted!30},columns=fullflexible}
80 \lstdefinestyle{cppstyle}{style=pythonstyle,language=C++}
81 \lstset{style=pythonstyle}
82 \makeindex
83 
84 % Presentation layer; mathematical macros above remain unchanged.
85 \input{monograph_style.tex}

Back to source controls

Back to Quantum and Circuits