Enable Dark Mode!

Blog: The Home Paige

Math Coursework Only: Listing

The Archive: All Projects Here

Curriculum Vitae: CV (Last Updated: June 16, 2024)

Email: paigeb@mit.edu

For the past three years as an undergraduate, I conducted research under graduate students of Larry Guth, including Yuqiu Fu, Shengwen Gan, and Alex Ortiz. Within mathematics, I am interested in how problems from discrete geometry generalize to the continuum setting using tools such as Hausdorff dimension and Fourier analysis (and vice versa). I am also deeply passionate about education, writing, and research.

My Erdős Number is 3.

For more information regarding the mathematics coursework I have taken or the projects I have been working on, please see the links at the top of the page.

- A continuum Erdős-Beck theorem, with Caleb Marshall [arXiv:2406.10058]
Let \(X \subset \mathbb{R}^n\) be a Borel set, and consider the set of lines, \(\mathcal{L}(X)\subset \mathcal {A}(n,1)\), containing at least 2 points in \(X\). In recent work of Orponen-Shmerkin-Wang and Ren, radial projection estimates and (dual) Furstenberg set bounds have been used to lowerbound \(\dim \mathcal{L}(X)\) in terms of \(\dim X\). Such work is seen as a continuum version of Beck's theorem from point-line incidence geometry. Utilizing results of B.-Fu-Ren, together with Caleb Marshall, we find a continuum Erdős-Beck theorem. We motivate such work via their discrete counterparts, and discuss a new conjecture regarding the dimension of line sets.

- Radial projections in \(\mathbb{R}^n\) revisited, with Yuqiu Fu and Kevin Ren [arXiv:2406.09707]
We generalize recent work of Orponen-Shmerkin-Wang using two different methods. In particular, we show the following bilinear radial projection estimates: Given \(X,Y\subset \mathbb{R}^n\) Borel sets and \(X\neq 0\). If \(\dim Y\in (k,k+1]\) for some \(k \in \{1,\dots,n-1\}\), then \[\sup_{x\in X} \dim \pi_x(Y\setminus \{x\}) \geq \min\{\dim X + \dim Y - k,k\}.\] The first method is shorter, and proves the equivalence between this result and a result of B.-Gan/OSW. Our second method, though longer, follows the original methodology of Orponen-Shmerkin-Wang, and requires a higher dimensional incidence estimate and a dual Furstenberg set estimate for lines. These new estimates may be of independent interest.

- A study guide to "Kaufman and Falconer estimates for radial projections", with Ryan Bushling, Caleb Marshall, and Alex Ortiz [arXiv:2402.11847]
This study guide on recent work of Orponen-Shmerkin-Wang was written during the UPenn Study Guide Writing Workshop 2023 under the mentorship of Josh Zahl. We expound upon the major themes and clarify technical details of the paper "Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem" of Orponen-Shmerkin-Wang.

- Exceptional set estimates in finite fields, with Shengwen Gan [arXiv:2302.13193]
We study exceptional set estimates for orthogonal projections over finite fields, \(\mathbb{F}_q^n\). In particular, given \(A\subset \mathbb{F}_q^n\) with \(|A| = q^a\), and \(0< s < \min(k,a)\), we study sets of the form \[ E(A) := \{V\in G(k,\mathbb{F}_q^n) : \# \pi_V(A) < q^s\}. \] Such sets are known as exceptional set estimates. We also show that the bound \(|E(A)| \lesssim p^{2s-a}\), conjectured to be true for all \(A\subset \mathbb{F}_p^n\) with \(|A| = q^a\), is sharp (if \(p=q\) is prime).

- Exceptional set estimates for radial projections in \(\mathbb{R}^n\), with Shengwen Gan [arXiv:2208.03597] [Slides: Orthogonal Projections] [Slides: Radial Projections]
This research was conducted during SPUR (the Summer Program for Undergraduate Research in mathematics) 2022 at MIT.

We study exceptional set estimates for radial and orthogonal projections over Euclidean space, \(\mathbb{R}^n\). Given a Borel set \(A\subset \mathbb{R}^n\), with \(\dim A = a\), how often is the shadow of \(A\) onto a \(m\)-dimensional subspace, \(V\in G(n,m)\) large? Marstrand's projection theorem, which states that for almost every \(V\in G(n,m)\), \(\dim \pi_V(A) = \min\{a,m\}\). Exceptional set estimates try to quantify this statement further. In particular, given \(0 < s \leq \min\{a,m\}\), how can we bound \[ \dim \{V\in G(n,m) : \dim \pi_V(A)< s \}? \] Two such bounds were proven by Kaufman and Falconer. The first half of this SPUR project involved reproving the results of Kaufman and Falconer via delta-discretization, a high-low argument from Fourier analysis, and a counting argument.

One can study similar types of exceptional set estimates for*radial*projections. Utilizing a similar high-low argument from the first half of the project, we proved two open conjectures by Lund-Pham-Thu and Liu. The statements of said radial projection conjectures were first proven in \(\mathbb{R}^2\) by Orponen-Shmerkin, and we generalized these statements to \(\mathbb{R}^n\) following a similar framework. Notably, using different methods, Orponen-Shmerkin-Wang proved the radial projection statements proven in this paper shortly after this paper was released.

See slides linked above to see more sources/statements regarding exceptional set estimates for orthogonal and radial projections.

- On a radial projection conjecture in \(\mathbb{F}_q^d\), with Ben Lund and Thang Pham [arXiv:2311.05127]
The work of B.-Gan (see above) was motivated by radial projection conjectures due to Lund-Pham-Thu and Liu. My initial work with Shengwen Gan proved the conjectures over Euclidean space, while Lund-Pham-Thu's conjecture was initially stated over finite fields. Hence, in this work with Ben Lund and Thang Pham, we prove the finite field radial projection conjectures.

- Generalized point confiruations in \(\mathbb{F}_q^d\), with X. Fang, B. Heritage, A. Iosevich, T. Jiang, H. Parshall, M. Sun [arXiv:2308.10853]
This research was conducted during Williams College's SMALL REU 2023 (Research Experience for Undergraduates) under the mentorship of Alex Iosevich and Eyvi Palsson.

One can study point configuration problems over finite fields. See the explanation in the next bullet point for further detail. In the previous paper on embedding certain configurations (see below), we studied embeddings with a "dot product" distance. In this work, we generalize the statements to distances defined via a general non-degenerate bilinear form or quadratic form. - Improved bounds for embedding certain configurations in subsets of vector spaces over finite fields, with X. Fang, B. Heritage, A. Iosevich, M. Sun [arXiv:2308.09215]
This research was conducted during Williams College's SMALL REU 2023 (Research Experience for Undergraduates) under the mentorship of Alex Iosevich and Eyvi Palsson.

One can study point configuration problems over finite fields in the following sense. Let \(G\) be a connected graph, and assign weights to each edge in \(\mathbb{F}_q\). We call such graphs distance graphs. We study the following problem: Given \(E\subset \mathbb{F}_q^d\), how large does \(|E|\) need to be until it contains at least one isometric copy of the distance graph \(G\)? We study this problem for specific types of distance graphs, with a "distance" defined over \(\mathbb{F}_q^n\) being (roughly) given by the standard dot product mod \(q\). This builds upon work of Iosevich-Parshall.

- "18.S096: Matrix Calculus" (Draft) Lecture Notes, taught by Profs. Alan Edelman and Steven G. Johnson [Draft]
I typed lecture notes for the Matrix Calculus class (2023) taught by Alan Edelman and Steven G. Johnson. This course discusses how the ideas from multivariable calculus generalizes to matrices.

- "18.S190: Introduction to Metric Spaces", taught IAP 2022 and 2023 [OCW Course] [Blogpost by Peter Chipman]
I created and taught a bridge class between two different real analysis courses at MIT. The first, 18.100A/18.100P, focusses on real analysis over Euclidean sapces \(\mathbb{R}^n\), and the latter, 18.100B/18.100Q, focusses on real analysis over metric spaces.

I obtained the MIT Mathematics Department Teaching and Learning Award for this work, and the course's material is hosted on OpenCourseWare. - "Communication is the Whole Game", Chalk Radio interview with Prof. Haynes Miller [Podcast]
I guest hosted for OCW's podcast Chalk Radio. In this podcast, I interview Haynes Miller about communication and mathematics. I created and taught a bridge class between two different real analysis courses at MIT.

- "18.100A: Real Analysis" Lecture Notes, taught by Prof. Casey Rodriguez [OCW Course]
Typed lecture notes for 18.100A on OCW, taught by Casey Rodriguez. The course covered real analysis over Euclidean spaces.

- "When Students Create OER...", with Ashay Athalye, Sarah Hansen, and Curt Newton [YouTube Video]
A discussion on student contributions to open educational resources (OERs), in particular with respect to OpenCourseWare (OCW).

- Soon: Harmonic Analysis People's Presentations on YouTube's (HAPPY's) "Hello, World!" Series
- "A continuum Erdős-Beck theorem," joint work with Caleb Marshall [Slides: Erdős-Beck]
- 1/4/24: JMM: AWM Special Session on "Recent Developments in Harmonic Analysis"
- 1/3/24: JMM: AMS Special Session on "Harmonic Analysis, Geometric Measure Theory, and Fractals"
- 11/28/23 and 12/5/23: Graduate Lecture Series in Analysis and PDEs at Brown
- 11/21/23: Online Undergraduate Research Seminar at UNC with Alex Ortiz
- 5/11/23: MIT International Women in Math Day
- 11/1/22: MIT Undergraduate Mathematics Association
- "Topics in Orthogonal Projections in Euclidean Space"

Last updated: May 17, 2024