Showing 1–15 of 15 results for author: Iliopoulou, M

Oscillatory integral operators and variable Schrödinger propagators: beyond the universal estimates

Authors: Mingfeng Chen, Shengwen Gan, Shaoming Guo, Jonathan Hickman, Marina Iliopoulou, James Wright

Abstract: We consider a class of Hörmander-type oscillatory integral operators in $\mathbb{R}^n$ for $n \geq 3$ odd with real analytic phase. We derive weak conditions on the phase which ensure $L^p$ bounds beyond the universal $p \geq 2 \cdot \frac{n+1}{n-1}$ range guaranteed by Stein's oscillatory integral theorem. This expands and elucidates pioneering work of Bourgain from the early 1990s. We also consi… ▽ More We consider a class of Hörmander-type oscillatory integral operators in $\mathbb{R}^n$ for $n \geq 3$ odd with real analytic phase. We derive weak conditions on the phase which ensure $L^p$ bounds beyond the universal $p \geq 2 \cdot \frac{n+1}{n-1}$ range guaranteed by Stein's oscillatory integral theorem. This expands and elucidates pioneering work of Bourgain from the early 1990s. We also consider a closely related class of variable coefficient Schrödinger propagator-type operators, and show that the corresponding theory differs significantly from that of the Hörmander-type operators. The main ingredient in the proof is a curved Kakeya/Nikodym maximal function estimate. This is established by combining the polynomial method with certain uniform sublevel set estimates for real analytic functions. The sublevel set estimates are the main novelty in the argument and can be interpreted as a form of quantification of linear independence in the $C^ω$ category. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 80 pages

MSC Class: 42B20

On integer distance sets

Authors: Rachel Greenfeld, Marina Iliopoulou, Sarah Peluse

Abstract: We develop a new approach to address some classical questions concerning the size and structure of integer distance sets. Our main result is that any integer distance set in the Euclidean plane has all but a very small number of points lying on a single line or circle. From this, we deduce a near-optimal lower bound on the diameter of any non-collinear integer distance set of size $n$ and a strong… ▽ More We develop a new approach to address some classical questions concerning the size and structure of integer distance sets. Our main result is that any integer distance set in the Euclidean plane has all but a very small number of points lying on a single line or circle. From this, we deduce a near-optimal lower bound on the diameter of any non-collinear integer distance set of size $n$ and a strong upper bound on the size of any integer distance set in $[-N,N]^2$ with no three points on a line and no four points on a circle. △ Less

Submitted 7 March, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 33 pages, 2 figures; v2: expanded introduction and minor exposition changes

Some sharp inequalities of Mizohata--Takeuchi-type

Authors: Anthony Carbery, Marina Iliopoulou, Hong Wang

Abstract: Let $Σ$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $dσ$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi conjecture states that \begin{equation*} \int |\widehat{gdσ}|^2w \leq C \|Xw\|_\infty \int |g|^2 \end{equation*} for all $g\in L^2(Σ)$ and all weights… ▽ More Let $Σ$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $dσ$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi conjecture states that \begin{equation*} \int |\widehat{gdσ}|^2w \leq C \|Xw\|_\infty \int |g|^2 \end{equation*} for all $g\in L^2(Σ)$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$, where $X$ denotes the $X$-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every $ε>0$, there exists a positive constant $C_ε$, which depends only on $Σ$ and $ε$, such that for all $R \geq 1$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$ we have \begin{equation*} \int_{B_R} |\widehat{gdσ}|^2w \leq C_εR^ε\sup_T \left(\int _T w^{\frac{n+1}{2}}\right)^{\frac{2}{n+1}}\int |g|^2, \end{equation*} where $T$ ranges over the family of all tubes in $\mathbb{R}^n$ of dimensions $R^{1/2} \times \dots \times R^{1/2} \times R$. From this we deduce the Mizohata--Takeuchi conjecture with an $R^{\frac{n-1}{n+1}}$-loss; i.e., that \begin{equation*} \int_{B_R} |\widehat{gdσ}|^2w \leq C_εR^{\frac{n-1}{n+1}+ ε}\|Xw\|_\infty\int |g|^2 \end{equation*} for any ball $B_R$ of radius $R$ and any $ε>0$. The power $(n-1)/(n+1)$ here cannot be replaced by anything smaller unless properties of $\widehat{gdσ}$ beyond 'decoupling axioms' are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds. △ Less

Submitted 19 August, 2024; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: Has appeared in Rev. Mat. Iberoam. Minor edits in two comments in this version

Sharp $L^p$ estimates for oscillatory integral operators of arbitrary signature

Authors: Jonathan Hickman, Marina Iliopoulou

Abstract: The sharp range of $L^p$-estimates for the class of Hörmander-type oscillatory integral operators is established in all dimensions under a general signature assumption on the phase. This simultaneously generalises earlier work of the authors and Guth, which treats the maximal signature case, and also work of Stein and Bourgain--Guth, which treats the minimal signature case. The sharp range of $L^p$-estimates for the class of Hörmander-type oscillatory integral operators is established in all dimensions under a general signature assumption on the phase. This simultaneously generalises earlier work of the authors and Guth, which treats the maximal signature case, and also work of Stein and Bourgain--Guth, which treats the minimal signature case. △ Less

Submitted 16 June, 2020; v1 submitted 1 June, 2020; originally announced June 2020.

Comments: Introduction expanded. Figures added. 46 pages, 5 figures

MSC Class: 42B20

Joints formed by lines and a $k$-plane, and a discrete estimate of Kakeya type

Authors: Anthony Carbery, Marina Iliopoulou

Abstract: Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine… ▽ More Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine subspaces, and it holds in the setting of arbitrary fields $\mathbb{F}$. In contrast, for our second result, we work in the three-dimensional Euclidean space $\mathbb{R}^3$, and we establish the Kakeya-type estimate \begin{equation*}\sum_{x \in J} \left(\sum_{\ell \in \mathcal{L}} χ_\ell(x)\right)^{3/2} \lesssim |\mathcal{L}|^{3/2}\end{equation*} where $J$ is the set of joints formed by $\mathcal{L}$; such an estimate fails in the setting of arbitrary fields. This result strengthens the known estimates for joints, including those counting multiplicities. Additionally, our techniques yield significant structural information on quasi-extremisers for this inequality. △ Less

Submitted 27 December, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 45 pages, 4 figures. Published in Discrete Analysis

Inequalities of Riesz-Sobolev type for compact connected Abelian groups

Authors: Michael Christ, Marina Iliopoulou

Abstract: A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the… ▽ More A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the group $\mathbb{R}/\mathbb{Z}$, a continuous deformation of sets is developed, under which an appropriately scaled Riesz-Sobolev functional is shown to be nondecreasing. △ Less

Submitted 17 August, 2019; v1 submitted 25 August, 2018; originally announced August 2018.

Comments: Minor corrections and edits have been made, and a small gap in one proof has been closed

Sharp estimates for oscillatory integral operators via polynomial partitioning

Authors: Larry Guth, Jonathan Hickman, Marina Iliopoulou

Abstract: The sharp range of $L^p$-estimates for the class of Hörmander-type oscillatory integral operators is established in all dimensions under a positive-definite assumption on the phase. This is achieved by generalising a recent approach of the first author for studying the Fourier extension operator, which utilises polynomial partitioning arguments. The sharp range of $L^p$-estimates for the class of Hörmander-type oscillatory integral operators is established in all dimensions under a positive-definite assumption on the phase. This is achieved by generalising a recent approach of the first author for studying the Fourier extension operator, which utilises polynomial partitioning arguments. △ Less

Submitted 25 September, 2019; v1 submitted 27 October, 2017; originally announced October 2017.

Comments: Updated version incorporating minor corrections, additional clarification and an expanded discussion of applications. 95 pages. 6 figures. To appear Acta. Math

MSC Class: 42B20

A multilinear Fourier extension identity on $\mathbb{R}^n$

Authors: Jonathan Bennett, Marina Iliopoulou

Abstract: We prove an elementary multilinear identity for the Fourier extension operator on $\mathbb{R}^n$, generalising to higher dimensions the classical bilinear extension identity in the plane. In the particular case of the extension operator associated with the paraboloid, this provides a higher dimensional extension of a well-known identity of Ozawa and Tsutsumi for solutions to the free time-dependen… ▽ More We prove an elementary multilinear identity for the Fourier extension operator on $\mathbb{R}^n$, generalising to higher dimensions the classical bilinear extension identity in the plane. In the particular case of the extension operator associated with the paraboloid, this provides a higher dimensional extension of a well-known identity of Ozawa and Tsutsumi for solutions to the free time-dependent Schrödinger equation. We conclude with a similar treatment of more general oscillatory integral operators whose phase functions collectively satisfy a natural multilinear transversality condition. The perspective we present has its origins in work of Drury. △ Less

Submitted 19 June, 2017; v1 submitted 21 January, 2017; originally announced January 2017.

Comments: To appear in Mathematical Research Letters

A sharp $k$-plane Strichartz inequality for the Schrödinger equation

Authors: Jonathan Bennett, Neal Bez, Taryn C. Flock, Susana Gutiérrez, Marina Iliopoulou

Abstract: We prove that $$ \|X(|u|^2)\|_{L^3_{t,\ell}}\leq C\|f\|_{L^2(\mathbb{R}^2)}^2, $$ where $u(x,t)$ is the solution to the linear time-dependent Schrödinger equation on $\mathbb{R}^2$ with initial datum $f$, and $X$ is the (spatial) X-ray transform on $\mathbb{R}^2$. In particular, we identify the best constant $C$ and show that a datum $f$ is an extremiser if and only if it is a gaussian. We also es… ▽ More We prove that $$ \|X(|u|^2)\|_{L^3_{t,\ell}}\leq C\|f\|_{L^2(\mathbb{R}^2)}^2, $$ where $u(x,t)$ is the solution to the linear time-dependent Schrödinger equation on $\mathbb{R}^2$ with initial datum $f$, and $X$ is the (spatial) X-ray transform on $\mathbb{R}^2$. In particular, we identify the best constant $C$ and show that a datum $f$ is an extremiser if and only if it is a gaussian. We also establish bounds of this type in higher dimensions $d$, where the X-ray transform is replaced by the $k$-plane transform for any $1\leq k\leq d-1$. In the process we obtain sharp $L^2(μ)$ bounds on Fourier extension operators associated with certain high-dimensional spheres, involving measures $μ$ supported on natural "co-$k$-planarity" sets. △ Less

Submitted 23 June, 2017; v1 submitted 11 November, 2016; originally announced November 2016.

Comments: 18 pages. Author accepted version. To appear in Trans. Amer. Math. Soc

Incidence bounds on multijoints and generic joints

Authors: Marina Iliopoulou

Abstract: A point $x \in \mathbb{F}^n$ is a joint formed by a finite collection $\mathfrak{L}$ of lines in $\mathbb{F}^n$ if there exist at least $n$ lines in $\mathfrak{L}$ through $x$ that span $\mathbb{F}^n$. It is known that there are $\lesssim_n |\mathfrak{L}|^{\frac{n}{n-1}}$ joints formed by $\mathfrak{L}$. We say that a point $x \in \mathbb{F}^n$ is a multijoint formed by the finite collections… ▽ More A point $x \in \mathbb{F}^n$ is a joint formed by a finite collection $\mathfrak{L}$ of lines in $\mathbb{F}^n$ if there exist at least $n$ lines in $\mathfrak{L}$ through $x$ that span $\mathbb{F}^n$. It is known that there are $\lesssim_n |\mathfrak{L}|^{\frac{n}{n-1}}$ joints formed by $\mathfrak{L}$. We say that a point $x \in \mathbb{F}^n$ is a multijoint formed by the finite collections $\mathfrak{L}_1,\ldots,\mathfrak{L}_n$ of lines in $\mathbb{F}^n$ if there exist at least $n$ lines through $x$, one from each collection, spanning $\mathbb{F}^n$. We show that there are $\lesssim_n (|\mathfrak{L}_1|\cdots |\mathfrak{L}_n|)^{\frac{1}{n-1}}$ such points for any field $\mathbb{F}$ and $n=3$, as well as for $\mathbb{F}=\mathbb{R}$ and any $n \geq 3$. Moreover, we say that a point $x \in \mathbb{F}^n$ is a generic joint formed by a finite collection $\mathfrak{L}$ of lines in $\mathbb{F}^n$ if each $n$ lines of $\mathfrak{L}$ through $x$ form a joint there. We show that, for $\mathbb{F}=\mathbb{R}$ and any $n \geq 3$, there are $\lesssim_n \frac{|\mathfrak{L}|^{\frac{n}{n-1}}}{k^{\frac{n+1}{n-1}}}+\frac{|\mathfrak{L}|}{k}$ generic joints formed by $\mathfrak{L}$, each lying in $\sim k$ lines of $\mathfrak{L}$. This result generalises, to all dimensions, a (very small) part of the main point-line incidence theorem in $\mathbb{R}^3$ in \cite{Guth_Katz_2010} by Guth and Katz. Finally, we generalise our results in $\mathbb{R}^n$ to the case of multijoints and generic joints formed by real algebraic curves. △ Less

Submitted 6 July, 2015; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: Some errors corrected. Theorem 4.4 is now slightly stronger than its previous version. To appear in Discrete Comput. Geom

Flow monotonicity and Strichartz inequalities

Authors: Jonathan Bennett, Neal Bez, Marina Iliopoulou

Abstract: We identify complete monotonicity properties underlying a variety of well-known sharp Strichartz inequalities in euclidean space. We identify complete monotonicity properties underlying a variety of well-known sharp Strichartz inequalities in euclidean space. △ Less

Submitted 13 June, 2014; originally announced June 2014.

Counting joints in vector spaces over arbitrary fields

Authors: Anthony Carbery, Marina Iliopoulou

Abstract: We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodrán result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a distributional estimate on the multiplicities of the joints in the case that the family of lines is sufficiently generic. We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodrán result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a distributional estimate on the multiplicities of the joints in the case that the family of lines is sufficiently generic. △ Less

Submitted 28 May, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: Not intended for publication. References added and other minor edits in this version

MSC Class: 52C99; 5A99

Counting multijoints

Authors: Marina Iliopoulou

Abstract: Let $\mathfrak{L}_1$, $\mathfrak{L}_2$, $\mathfrak{L}_3$ be finite collections of $L_1$, $L_2$, $L_3$, respectively, lines in $\mathbb{R}^3$, and $J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)$ the set of multijoints formed by them, i.e. the set of points $x \in \mathbb{R}^3$, each of which lies in at least one line $l_i \in \mathfrak{L}_i$, for all $i=1,2,3$, such that the directions of $l_1$,… ▽ More Let $\mathfrak{L}_1$, $\mathfrak{L}_2$, $\mathfrak{L}_3$ be finite collections of $L_1$, $L_2$, $L_3$, respectively, lines in $\mathbb{R}^3$, and $J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)$ the set of multijoints formed by them, i.e. the set of points $x \in \mathbb{R}^3$, each of which lies in at least one line $l_i \in \mathfrak{L}_i$, for all $i=1,2,3$, such that the directions of $l_1$, $l_2$ and $l_3$ span $\mathbb{R}^3$. We prove here that $|J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)|\lesssim (L_1L_2L_3)^{1/2}$, and we extend our results to multijoints formed by real algebraic curves in $\mathbb{R}^3$ of uniformly bounded degree, as well as by curves in $\mathbb{R}^3$ parametrised by real univariate polynomials of uniformly bounded degree. The multijoints problem is a variant of the joints problem, as well as a discrete analogue of the endpoint multilinear Kakeya problem. △ Less

Submitted 24 January, 2014; originally announced January 2014.

Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1312.5436

Discrete analogues of Kakeya problems

Authors: Marina Iliopoulou

Abstract: This thesis investigates two problems that are discrete analogues of two harmonic analytic problems which lie in the heart of research in the field. More specifically, we consider discrete analogues of the maximal Kakeya operator conjecture and of the recently solved endpoint multilinear Kakeya problem, by effectively shrinking the tubes involved in these problems to lines, thus giving rise to t… ▽ More This thesis investigates two problems that are discrete analogues of two harmonic analytic problems which lie in the heart of research in the field. More specifically, we consider discrete analogues of the maximal Kakeya operator conjecture and of the recently solved endpoint multilinear Kakeya problem, by effectively shrinking the tubes involved in these problems to lines, thus giving rise to the problems of counting joints and multijoints with multiplicities. In fact, we effectively show that, in $\mathbb{R}^3$, what we expect to hold due to the maximal Kakeya operator conjecture, as well as what we know in the continuous case due to the endpoint multilinear Kakeya theorem by Guth, still hold in the discrete case. In particular, let $\mathfrak{L}$ be a collection of $L$ lines in $\mathbb{R}^3$ and $J$ the set of joints formed by $\mathfrak{L}$, that is, the set of points each of which lies in at least three non-coplanar lines of $\mathfrak{L}$. It is known that $|J|=O(L^{3/2})$ (first proved by Guth and Katz). For each joint $x\in J$, let the multiplicity $N(x)$ of $x$ be the number of triples of non-coplanar lines through $x$. We prove here that $$\sum_{x\in J} N(x)^{1/2}=O(L^{3/2}), $$while we also extend this result to real algebraic curves in $\mathbb{R}^3$ of uniformly bounded degree, as well as to curves in $\mathbb{R}^3$ parametrized by real univariate polynomials of uniformly bounded degree. The multijoints problem is a variant of the joints problem, involving three finite collections of lines in $\mathbb{R}^3$; a multijoint formed by them is a point that lies in (at least) three non-coplanar lines, one from each collection. We finally present some results regarding the joints problem in different field settings and higher dimensions. △ Less

Submitted 19 December, 2013; originally announced December 2013.

Comments: 122 pages. PhD thesis, University of Edinburgh 2013

Counting joints with multiplicities

Authors: Marina Iliopoulou

Abstract: Let $\mathfrak{L}$ be a collection of $L$ lines in $\R^3$ and $J$ the set of joints formed by $\mathfrak{L}$, i.e. the set of points each of which lies in at least 3 non-coplanar lines of $\mathfrak{L}$. It is known that $|J| \lesssim L^{3/2}$ (first proved by Guth and Katz). For each joint $x \in J$, let the multiplicity $N(x)$ of $x$ be the number of triples of non-coplanar lines through $x$. We… ▽ More Let $\mathfrak{L}$ be a collection of $L$ lines in $\R^3$ and $J$ the set of joints formed by $\mathfrak{L}$, i.e. the set of points each of which lies in at least 3 non-coplanar lines of $\mathfrak{L}$. It is known that $|J| \lesssim L^{3/2}$ (first proved by Guth and Katz). For each joint $x \in J$, let the multiplicity $N(x)$ of $x$ be the number of triples of non-coplanar lines through $x$. We prove here that $\sum_{x \in J}N(x)^{1/2} \lesssim L^{3/2}$, while in the last section we extend this result to real algebraic curves of uniformly bounded degree in $\R^3$, as well as to curves in $\R^3$ parametrised by real polynomials of uniformly bounded degree. △ Less

Submitted 17 July, 2013; v1 submitted 16 March, 2012; originally announced March 2012.

Comments: More details in section 4. Typos corrected. The main results are unchanged