Fix blueprint

The blueprint should now build

blueprint/src/chapter/distance.tex

@@ -2,7 +2,7 @@ \chapter{Ruzsa calculus}
 
 In this section $G$ will be a finite additive group.  (May eventually want to generalize to infinite $G$.)
 
-\begin{lemma}[Negation preserves entropy]\label{neg-ent}\uses{entropy-def}  If $X$ is $G$-valued, then $\H[-X]=\H[X]$.
+\begin{lemma}[Negation preserves entropy]\label{neg-ent}\uses{entropy-def}  If $X$ is $G$-valued, then $\bbH[-X]=\bbH[X]$.
 \end{lemma}
 
 \begin{proof}\uses{relabeled-entropy} Immediate from Lemma \ref{relabeled-entropy}.
@@ -22,7 +22,7 @@ \chapter{Ruzsa calculus}
 
 \begin{corollary}[Conditional lower bound on sumset]\label{sumset-lower-gen-cond}\uses{conditional-mutual-def, conditional-entropy-def} If $X,Y$ are $G$-valued random variables on $\Omega$ and $Z$ is another random variable on $\Omega$ then
 \[
-  \max(H[X|Z], H[Y|Z]) - I[X:Y|Z] \leq \H[X\pm Y|Z],
+  \max(H[X|Z], H[Y|Z]) - I[X:Y|Z] \leq \bbH[X\pm Y|Z],
 \]
 \end{corollary}
 
@@ -89,7 +89,7 @@ \chapter{Ruzsa calculus}
 \end{proof}
 
 \begin{lemma}[Distance controls entropy growth]\label{ruzsa-growth}\uses{ruz-dist-def, entropy-def} If $X,Y$ are $G$-valued random variables, then
-$$  \H[X-Y] - \H[X], \H[X-Y] - \H[Y] \leq 2d[X;Y].$$
+$$  \bbH[X-Y] - \bbH[X], \bbH[X-Y] - \bbH[Y] \leq 2d[X;Y].$$
 \end{lemma}
 
 \begin{proof} \uses{sumset-lower, neg-ent} Immediate from Lemma \ref{sumset-lower} and Definition \ref{ruz-dist-def}, and also Lemma \ref{neg-ent}.
@@ -160,13 +160,13 @@ \chapter{Ruzsa calculus}
   \begin{equation}
   \begin{split} H[X_1, X_2, Y'] &= H[X_1,X_2|Y] + H[Y] \\
     &= 2 H[X|Y] + H[Y] \\
-    &= 2 H[X] + H[Y] + 2 \I[X:Y].
+    &= 2 H[X] + H[Y] + 2 I[X:Y].
   \end{split}  \end{equation}
 \end{proof}
 
 
 \begin{lemma}[Balog-Szemer\'edi-Gowers]\label{lem-bsg}\uses{ruz-dist-def, information-def, entropy-def}
-  Let $A,B$ be $G$-valued random variables on $\Omega$, and set $Z \coloneqq A+B$.
+  Let $A,B$ be $G$-valued random variables on $\Omega$, and set $Z \coloneq A+B$.
 Then
 \begin{equation}\label{2-bsg-takeaway} \sum_{z} P[Z=z] d[(A | Z = z); (B | Z = z)] \leq 3 I[A:B] + 2 H[Z] - H[A] - H[B]. \end{equation}
 \end{lemma}
@@ -197,7 +197,7 @@ \chapter{Ruzsa calculus}
 \[ H[A_1 - B_2] \leq 2I[A:B] + H[Z]\] and so by~\eqref{cond-dec}
 \[H[A_1 - B_2 | Z]  \leq 2I[A:B] + H[Z].\]
 Since
-\begin{align*} H[A_1 | Z] & = H[A_1, A_1 + B_1] - H[Z] \\ & = H[A,B] - H[Z] \\ & = H[Z] - I[A:B] - 2 H[Z]-H[A]-\H[B]\end{align*}
-and similarly for $\H[B_2 | Z]$, we see that~\eqref{lhs-to-bound} is bounded by
+\begin{align*} H[A_1 | Z] & = H[A_1, A_1 + B_1] - H[Z] \\ & = H[A,B] - H[Z] \\ & = H[Z] - I[A:B] - 2 H[Z]-H[A]-\bbH[B]\end{align*}
+and similarly for $\bbH[B_2 | Z]$, we see that~\eqref{lhs-to-bound} is bounded by
 $3I[A:B] + 2H[Z]-H[A]-H[B]$ as claimed.
 \end{proof}

blueprint/src/chapter/entropy.tex

@@ -163,7 +163,7 @@ \chapter{Shannon entropy inequalities}
 \begin{proof} \uses{add-entropy} Immediate from Lemma \ref{add-entropy} and Definition \ref{information-def}.
 \end{proof}
 
-\begin{definition}[Conditional mutual information]\label{conditional-mutual-def}\uses{information-def,{condition-event-def}  If $X,Y,Z$ are random variables, with $Z$ $U$-valued, then
+\begin{definition}[Conditional mutual information]\label{conditional-mutual-def}\uses{information-def,condition-event-def}  If $X,Y,Z$ are random variables, with $Z$ $U$-valued, then
   $$ I[X:Y|Z] := \sum_{z \in U} P[Z=z] I[(X|Z=z): (Y|Z=z)].$$
 \end{definition}
 

blueprint/src/chapter/main.tex

@@ -0,0 +1,9 @@
+% This is the main point of entry to the blueprint.
+% Add chapters of the blueprint here.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
+
+\input{chapter/jensen}
+\input{chapter/entropy}
+\input{chapter/distance}
+\input{chapter/pfr-entropy}
+\input{chapter/pfr}

blueprint/src/macro/common.tex → blueprint/src/preamble/common.tex

@@ -1,20 +1,32 @@
-% Put any macro needed for the project here. Those macros for both the web and print versions of the blueprint.
+% Put any macro and import needed for the project here.
+% This will be used by both the web and print versions of the blueprint.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
 
-\newcommand{\ind}[1]{1_{#1}}
-\newcommand{\bbn}{\mathbb{N}}
-\newcommand{\bbz}{\mathbb{Z}}
-\newcommand{\bbr}{\mathbb{R}}
+% Letters
+\newcommand{\C}{\mathbb{C}}
+\newcommand{\bbc}{\mathbb{C}}
+\newcommand{\E}{\mathbb{E}}
+\newcommand*{\bbe}{\mathbb{E}}
+\newcommand{\F}{\mathbb{F}}
 \newcommand{\bbf}{\mathbb{F}}
+\newcommand{\bbH}{\mathbb{H}}
+\newcommand{\bbn}{\mathbb{N}}
 \newcommand{\bbq}{\mathbb{Q}}
-\newcommand{\bbc}{\mathbb{C}}
+\newcommand{\bbr}{\mathbb{R}}
 \newcommand{\bbt}{\mathbb{T}}
-\newcommand*{\bbe}{\mathbb{E}}
+\newcommand{\bbz}{\mathbb{Z}}
+
+\newcommand{\lo}[1]{\mathcal{L}{#1}}
+
+% Paired delimiters
 \newcommand{\abs}[1]{\left\lvert #1\right\rvert}
 \newcommand{\Abs}[1]{\lvert #1 \rvert}
 \newcommand{\brac}[1]{\left( #1\right)}
 \newcommand{\norm}[1]{\lVert #1\rVert}
-\providecommand{\tup}[1]{{\vec{#1}}}
-\newcommand{\lo}[1]{\mathcal{L}{#1}}
 \newcommand{\inn}[1]{\left\langle #1 \right\rangle}
-\newcommand{\C}{\mathbb{C}}
-\newcommand{\E}{\mathbb{E}}
+
+% Operators
+\DeclareMathOperator{\dist}{dist}
+
+\newcommand{\ind}[1]{1_{#1}}
+\providecommand{\tup}[1]{{\vec{#1}}}

blueprint/src/macro/print.tex → blueprint/src/preamble/print.tex

@@ -1,4 +1,5 @@
 % Those macros are used for the print version of the blueprint.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
 
 \declaretheorem[numberwithin=chapter]{theorem}
 \declaretheorem[sibling=theorem]{proposition}

blueprint/src/macro/web.tex → blueprint/src/preamble/web.tex

@@ -1,4 +1,5 @@
 % Those macros are used for the web version of the blueprint.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
 
 \newtheorem{theorem}{Theorem}[chapter]
 \newtheorem{definition}[theorem]{Definition}

blueprint/src/print.tex

@@ -13,6 +13,7 @@
 
 \usepackage{tikz-cd}
 
+\usepackage{mathtools}
 \usepackage[warnings-off={mathtools-colon,mathtools-overbracket}]{unicode-math}
 \usepackage{fontspec}
 \setmathfont{Latin Modern Math}
@@ -23,18 +24,17 @@
 
 \usepackage[nameinlink, capitalize]{cleveref}
 
-\input{macro/common}
-
 \usepackage{amsthm}
 \usepackage{etexcmds}
 \usepackage{thmtools}
 
-\input{macro/print}
+\input{preamble/common}
+\input{preamble/print}
 
 \title{PFR}
 \author{Terence Tao}
 
 \begin{document}
 \maketitle
-\input{content}
+\input{chapter/main}
 \end{document}

blueprint/src/web.tex

@@ -1,4 +1,5 @@
-% This file makes the web version of the blueprint
+% This file makes the web version of the blueprint.
+% This file can be built locally.
 
 \documentclass{report}
 
@@ -12,8 +13,8 @@
 \usepackage{tikz-cd}
 \usepackage{tikz}
 
-\input{macro/common}
-\input{macro/web}
+\input{preamble/common}
+\input{preamble/web}
 
 %\home{https://github.com/teorth/pfr/}
 \github{https://github.com/teorth/pfr/}