\relax 
\providecommand \oddpage@label [2]{}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction and overview}}{3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{What is projection theory?}}{3}}
\newlabel{q1}{{1}{3}}
\newlabel{st}{{1.1}{3}}
\newlabel{q2}{{2}{4}}
\newlabel{furst}{{1.3}{5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{Applications of projection theory}}{5}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Fundamental methods of projection theory}}{8}}
\newlabel{gridbound}{{2}{9}}
\newlabel{kaufmanfq}{{2.2}{9}}
\newlabel{falconerfq}{{2.3}{9}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{Double Counting}}{10}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{Orthogonality / Fourier method}}{11}}
\newlabel{orth}{{2.4}{12}}
\newlabel{L2high}{{5}{12}}
\newlabel{fourinv}{{2.5}{13}}
\newlabel{plancherel}{{2.6}{13}}
\newlabel{Phat}{{2.7}{14}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{Projection theory for balls in Euclidean space}}{15}}
\newlabel{gridbound}{{7}{16}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Projection theory for balls in Euclidean space}}{18}}
\newlabel{doubling couting}{{3.1}{18}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Angle between two balls\relax }}{19}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:ballanglediagram}{{1}{19}}
\newlabel{fig:neighborhoodofcurve}{{2a}{20}}
\newlabel{sub@fig:neighborhoodofcurve}{{a}{20}}
\newlabel{fig:wellspacedgrid}{{2b}{20}}
\newlabel{sub@fig:wellspacedgrid}{{b}{20}}
\newlabel{fig:clusteredballs}{{2c}{20}}
\newlabel{sub@fig:clusteredballs}{{c}{20}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Examples for $N_X(r)$.\relax }}{20}}
\newlabel{fig:nxr_examples}{{2}{20}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Plots of $N_r(X)$ vs $r$.\relax }}{20}}
\newlabel{fig:nrxplots}{{3}{20}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.1}{Fourier Method}}{22}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces The dual of a rectangle.\relax }}{22}}
\newlabel{fig:dualrectangle}{{4}{22}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Visual of radial component of $\mathaccentV {hat}05E{\eta _r}$.\relax }}{23}}
\newlabel{fig:visualetar}{{5}{23}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces A tube $T$ and its $r$ neighborhood.\relax }}{23}}
\newlabel{fig:phitr}{{6}{23}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{The Fourier method in Euclidean space}}{25}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{Sieve Theory}}{31}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{The large sieve}}{33}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1}{The Large Sieve}}{33}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.2}{Proof of Linnik's Large Sieve inequality}}{36}}
\newlabel{lec5eq1}{{17}{38}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Picture.\relax }}{39}}
\newlabel{lec5pic1}{{7}{39}}
\newlabel{lec5eq2}{{18}{40}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Graph of $|\setbox \z@ \hbox {\frozen@everymath \@emptytoks \mathsurround \z@ $\textstyle \psi _N$}\mathaccent "0362{\psi _N}|$\relax }}{41}}
\newlabel{lec5pic2}{{8}{41}}
\newlabel{lec5eq3}{{19}{41}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Picture.\relax }}{43}}
\newlabel{lec5pic4}{{9}{43}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Projections and smoothing}}{44}}
\newlabel{thm-smoothing-by-projecting-to-typical-direction}{{6.1}{44}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{Applications of the Large Sieve to Number Theory}}{46}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1}{Distribution of primes mod $q$}}{46}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2}{Multiplicative Convolution and Primes}}{47}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.3}{Multiplicative Convolution and Projections}}{47}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.4}{Large Sieve and Multiplicative Convolution}}{49}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{The Szemeredi-Trotter theorem}}{51}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.1}{The Szemeredi-Trotter projection theorem}}{51}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Example of setup where $|X|$ term dominates and $I \sim |X|$\relax }}{52}}
\newlabel{fig:example1st}{{10}{52}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces Example of setup where $|L|$ term dominates and $I \sim |L|$. \relax }}{52}}
\newlabel{fig:example2st}{{11}{52}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.2}{Question: Are there other sharp examples for the Szemerédi–Trotter theorem?}}{53}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.3}{Proof of the Szemeredi-Trotter theorem}}{53}}
\newlabel{weak_bound_ST_lemma}{{8.7}{53}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces The points show the points in $X$. The dashed lines indicate the "rough grid" shape of $X$. The solid lines show $W$, which is the set dividing $X$\relax }}{55}}
\newlabel{fig:gridcells}{{12}{55}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{9}{Reflections on the Szemeredi-Trotter theorem}}{59}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Structure of Sharp Examples}}{59}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Projection Theory over Finite Fields}}{61}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Projection Theory of Unit Balls}}{61}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{10}{Sum-product theory}}{62}}
\newlabel{eg:1.1}{{10.1}{62}}
\newlabel{thm:bkt}{{10.2}{62}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.1}{Sum-product theory}}{62}}
\newlabel{lem:1}{{10.4}{63}}
\newlabel{2}{{2}{63}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.2}{Freiman-Ruzsa theorem}}{63}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.3}{Ruzsa triangle inequality}}{64}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.4}{Plunnecke inequality}}{64}}
\newlabel{lem:2}{{10.13}{64}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{11}{Contagious structure in projection theory}}{67}}
\newlabel{lectcontstruc}{{11}{67}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{11.1}{Contagious Structure Lemma}}{67}}
\newlabel{mainthm}{{11.4}{68}}
\newlabel{sumprod}{{11.7}{68}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{12}{Proof of Bourgain-Katz-Tao projection theorem}}{70}}
\newlabel{lectbktproof}{{12}{70}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.1}{Proof of BKT}}{70}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Enemy scenario\relax }}{71}}
\newlabel{fig:enemydiagram}{{13}{71}}
\newlabel{subsecaddenrob}{{12.2}{72}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.2}{Additive energy and robust estimates}}{72}}
\newlabel{thmbktref}{{12.5}{72}}
\newlabel{thmbktrobust}{{12.7}{73}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{13}{Proof of the Balog-Szemeredi-Gowers Theorem}}{74}}
\newlabel{lem:bsg_additive_lemma}{{13.3}{74}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{13.1}{Simple Bounds About $P_K(a, b)$}}{75}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{14}{Bourgain's projection theorem over $\mathbb  {R}$, part 1}}{78}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{14.1}{Finite field case}}{78}}
\newlabel{rem:1}{{14.2}{78}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{14.2}{Real case}}{78}}
\newlabel{Qexpandweak}{{14.8}{80}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{15}{Bourgain's Projection Theorem II}}{81}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces A $(1/2, 2)$-uniform set with its 3 branching factors\relax }}{82}}
\newlabel{fig:uniform-set}{{14}{82}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces Applying uniformization with $\Delta = 1/2$ and $m = 2$ to a set.\relax }}{85}}
\newlabel{fig:uniformization}{{15}{85}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{16}{Bourgain's projection theorem III}}{87}}
\newlabel{Qexpandstrong}{{16.1}{87}}
\newlabel{Qexpandrobust}{{16.2}{87}}
\newlabel{subsecwhyrob}{{16.1}{87}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{16.1}{Why robust estimates are useful}}{87}}
\newlabel{psc}{{27}{88}}
\newlabel{Qx1}{{28}{88}}
\newlabel{Qx2}{{29}{88}}
\newlabel{subsecproverob}{{16.2}{89}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{16.2}{How to prove robust estimates}}{89}}
\newlabel{exp1}{{30}{89}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{17}{Random walks on finite groups I}}{91}}
\newlabel{l2_sigma_1}{{17.2}{93}}
\newlabel{selberg}{{17.3}{93}}
\newlabel{E_S_Sc_eq}{{45}{94}}
\newlabel{sig_one_Tmu_bound}{{17.6}{96}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{18}{Random walks on finite groups II}}{99}}
\newlabel{lem-mixing}{{18.2}{99}}
\newlabel{thm-selb}{{18.3}{100}}
\newlabel{lem-expansion}{{18.4}{100}}
\newlabel{thm-ell^2}{{18.5}{101}}
\newlabel{lem-rep}{{18.6}{101}}
\newlabel{lem-B_T}{{18.8}{103}}
\newlabel{lem-Gamma_pcap B_T}{{18.9}{104}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{19}{Random walks on finite groups III}}{107}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{20}{Homogenenous Dynamics I}}{108}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces Action of $L_{a_r^{-1}}$ on slices of the tube at various heights $t$.\relax }}{111}}
\newlabel{fig:may1p1}{{16}{111}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{21}{Homogeneous Dynamics II}}{112}}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces Proof sketch for the projection estimate.\relax }}{114}}
\newlabel{fig:may1p2}{{17}{114}}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces $f_t$ is almost a projection.\relax }}{114}}
\newlabel{fig:almost-a-projection}{{18}{114}}
\@writefile{lof}{\contentsline {figure}{\numberline {19}{\ignorespaces Example with $X = B_\rho \subset B_1$, we see that $|X|_\delta \sim (\frac  {\rho }{\delta })^2$ and $|\pi _\theta (X)|_\delta \sim \frac  {\rho }{\delta }$\relax }}{115}}
\newlabel{fig:projexamples}{{19}{115}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{22}{Sharp Projection Theorems I: Introduction and Beck's Theorem}}{118}}
\newlabel{thmFur}{{22.3}{118}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{22.1}{History of the Furstenberg conjecture}}{119}}
\newlabel{thmOSeps}{{22.4}{120}}
\newlabel{thmcontbeck}{{22.6}{122}}
\newlabel{lemepscontbeck}{{22.7}{122}}
\newlabel{lembootstrap}{{22.8}{123}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{22.2}{Outline of OSRW proof of Furstenberg conjecture}}{123}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{23}{Sharp Projection Theorems II: AD Regular Case}}{126}}
\newlabel{thmOSAD}{{23.3}{127}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{23.1}{Brute force proof}}{127}}
\@writefile{lof}{\contentsline {figure}{\numberline {20}{\ignorespaces Submultiplicative lemma\relax }}{128}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{23.2}{General AD vs Projective AD}}{128}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{23.3}{Sketch of the proof for the AD regular case}}{129}}
\@writefile{lof}{\contentsline {figure}{\numberline {21}{\ignorespaces Top: Submultiplicative Lemma is Not Sharp, Bottom: Submultiplicative Lemma is sharp\relax }}{130}}
\newlabel{thmabc}{{23.8}{131}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{24}{Sharp Projection Theorems III: Combining different scales}}{133}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{24.1}{Well spaced case}}{133}}
\@writefile{lof}{\contentsline {figure}{\numberline {22}{\ignorespaces An example of a well spaced set with $N$ points, along with its $E_\rho $ neighborhood in red\relax }}{134}}
\newlabel{twoends}{{24.3}{135}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{24.2}{Combining scales}}{136}}
\@writefile{lof}{\contentsline {figure}{\numberline {23}{\ignorespaces The 3 regimes of the OSRW theorem, $A$ - unrelated balls with many tubes through each, $B$ - an integer grid of balls, $C$ - randomly picked tubes\relax }}{137}}
\@writefile{lof}{\contentsline {figure}{\numberline {24}{\ignorespaces Multiscale argument\relax }}{138}}
\@writefile{lof}{\contentsline {figure}{\numberline {25}{\ignorespaces An example of a branching function (blue). The two known cases of an AD-regular set and a Well-spaced set bound an admissible region in which the function can lie (red). The semi-well-spaced case corresponds to any function lying above the green dashed line.\relax }}{139}}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{0pt}
\newlabel{tocindent1}{26.76361pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
