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.
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.
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.
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).
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.
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.
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.
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.
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.
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.
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.
Typed lecture notes for 18.100A on OCW, taught by Casey Rodriguez. The course covered real analysis over Euclidean spaces.
A discussion on student contributions to open educational resources (OERs), in particular with respect to OpenCourseWare (OCW).