\documentclass{article}

% Language setting
% Replace `english' with e.g. `spanish' to change the document language
\usepackage[english]{babel}

% Set page size and margins
% Replace `letterpaper' with `a4paper' for UK/EU standard size
\usepackage[letterpaper,top=2cm,bottom=2cm,left=3cm,right=3cm,marginparwidth=1.75cm]{geometry}

% Useful packages
\usepackage{listings}
\usepackage{tikz-cd}
\usepackage{tikz}
\usepackage{ragged2e}
\usetikzlibrary{arrows.meta, positioning, calc}
\usepackage{titlesec}
\usepackage{makecell}
\usepackage{braket}
\usepackage{stmaryrd}
\usepackage{tabularx}
\usepackage{booktabs}
\usepackage{amsmath}
\usepackage[colorlinks=true, allcolors=blue]{hyperref}
\usepackage{amssymb}
\usepackage{authblk}
\usepackage{array}
\usepackage{gensymb}
\usepackage{amsthm}
\usepackage{graphicx}  % Required for \includegraphics
\usepackage{subcaption} % Required package for subfigures
\usepackage{enumitem}
\usepackage{epigraph}    % For the epigraph environment
\usepackage{cleveref}

% Custom commands
\newcommand{\e}{\mathbf e}         % axis directions
\newcommand{\kappaH}{\kappa}        % curvature of a helix
\newcommand{\tauH}{\tau}            % torsion of a helix
\newcommand{\R}{\mathbb R}
\newcommand{\jet}[1]{\mathrm{J}^{#1}}   % jet bundle symbol
\DeclareMathOperator{\Emb}{Emb}
\newcommand{\Par}{\mathsf{Par}}
\newcommand{\ParOf}[1]{\Par\!\left(#1\right)} % usage: \ParOf{\mathcal G}
\newcommand{\LPR}{\mathsf{LPR}}
\newcommand{\Bord}{\mathsf{Bord}}
\DeclareMathOperator{\Hol}{Hol}
\newcommand{\id}{\mathrm{id}}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\Hom}{Hom}

\setlist[enumerate]{
    label=\textup{(\alph*)},
    leftmargin=*,
    itemsep=0.25em plus 0.1em minus 0.05em, % fine-tuned spacing
    parsep=0pt,
    topsep=0.25em,
    partopsep=0pt
}

% Fixed description list setup
\setlist[description]{
  font=\normalfont\bfseries, % Keep labels bold
  leftmargin=0pt,            % Start items at the left margin
  labelsep=0.5em,            % Small space between label and description
  itemsep=0pt,               % No extra vertical space between items
  parsep=0pt                 % No extra vertical space between paragraphs within an item
}

% In your preamble, after \usepackage{titlesec}
% Reduce the font size of \section titles (e.g., to \normalsize)
\titleformat{\section}
  {\normalfont\normalsize\bfseries} % Font style: normal font, normal size, bold series
  {\thesection}                      % Label (e.g., "1'' , "2")
  {1em}                              % Horizontal space between label and title
  {}                                 % Code before the title text

% Reduce the font size of \subsection titles (e.g., to \small)
\titleformat{\subsection}
  {\normalfont\small\bfseries}      % Font style: normal font, small size, bold series
  {\thesubsection}                   % Label (e.g., "1.1", "1.2")
  {1em}                              % Horizontal space between label and title
  {}                                 % Code before the title text

% --- Theorem-like environments (numbered sequentially within sections) ---
% Define Theorem, and let Lemma, Proposition, and Corollary share its counter.
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{corethm}{Core Thesis}

% --- Definition-like environments (often numbered separately) ---
\theoremstyle{definition}
\newtheorem{defn}{Definition}[section]

% --- Remark-like environments (often numbered separately) ---
% Note: Remarks are often not italicised, so we use \theoremstyle{remark}
\theoremstyle{remark}
\newtheorem{rem}{Remark}[section]
\newtheorem{ex}{Example}[section]
\theoremstyle{plain}

%\includeonly{intro,Chap1}
%\includeonly{intro,Chap1,Chap2,Chap3,Chap4}

\title{Expressiveness, Verifiability, Tractability: Toward a Computational Thermodynamics}
\author{Benjamin Kaminsky\footnote{benkaminskymath@gmail.com}}

\begin{document}
\maketitle

\begin{abstract}

An investigation into the existence of a conservation law governing computational behaviour, in the form of the Expressiveness, Verifiability, Tractability (EVT) Hypothesis, is undertaken. The hypothesis is motivated by a simple observation: mechanisms that increase what a system can directly express, powerful control, effects, reflection, meta-programming, and self-interpretation, tend to undermine what can be verified uniformly and mechanically, while regimes that maximize static guarantees typically do so by restricting expressiveness or relocating effort into compilers, proof artifacts, or human interpretation. We analyze canonical failure modes that arise when one attempts to push beyond this frontier, distinguishing collapse of correctness, collapse of compilability, and collapse of comprehensibility. We then develop an order-theoretic model for comparing languages and verification disciplines and define an “E/V boundary” as a Pareto frontier in a partially ordered design space. Finally, we sketch how analogous tradeoffs appear in other computational domains, suggesting that “thermodynamic” boundary behaviour may be a recurring feature of expressive formalisms that demand strong global guarantees and within physical methods of information processing.

\end{abstract}

\vspace{1em}

\noindent\textbf{Keywords:} computation, programming languages, EVT hypothesis, resource theory

\newpage
\tableofcontents
\newpage

\input{intro}
\input{Chap1}
\input{Chap2}
\input{Chap3}
\input{Chap4}

\bibliographystyle{alpha}
\bibliography{bib}

\end{document}