Source author record

Malabika Pramanik

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.AP math.CO math.MG math.CV math.NT

Catalog footprint

Research overview

18works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Large sets avoiding affine copies of infinite sequences

A conjecture of Erdős states that for any infinite set $A \subseteq \mathbb R$ , there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$ . The conjecture remains open for most fast-decaying sequences, including the geometric sequence $A = \{2^{-k} : k \geq 1\}$ . In this article, we consider infinite decreasing sequences $A = \{a_k: k \geq 1\}$ in ${\mathbb R}$ that converge to zero at a prescribed rate; namely $\log (a_n/a_{n+1}) = e^{φ(n)}$ , where $φ(n)/n\to 0$ as $n\to\infty$ . This condition is satisfied by sequences whose logarithm has polynomial decay, and in particular by the geometric sequence. For any such sequence $A$ , we construct a Borel set ${\mathcal O}\subseteq \mathbb R$ of Hausdorff dimension 1, but Lebesgue measure zero, that avoids all nontrivial affine copies of $A\cup\{0\}$ .

preprint2020arXiv

$L^2$ Bounds for a maximal directional Hilbert transform

Given any finite direction set $Ω$ of cardinality $N$ in Euclidean space, we consider the maximal directional Hilbert transform $H_Ω$ associated to this direction set. Our main result provides an essentially sharp uniform bound, depending only on $N$ , for the $L^2$ operator norm of $H_Ω$ in dimensions 3 and higher. The main ingredients of the proof consist of polynomial partitioning tools from incidence geometry and an almost-orthogonality principle for $H_Ω$ . The latter principle can also be used to analyze special direction sets $Ω$ , and derive sharp $L^2$ estimates for the corresponding operator $H_Ω$ that are typically stronger than the uniform $L^2$ bound mentioned above. A number of such examples are discussed.

preprint2020arXiv

A proof of the Erdös similarity conjecture

We show that for any infinite set $A$ in ${\mathbb R}$ , there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$ . This proves the Erdös similarity conjecture.

preprint2020arXiv

Bergman spaces under maps of monomial type

For appropriate domains $Ω_{1}, Ω_{2}$ we consider mappings $Φ_{\mathbf A}:Ω_{1}\toΩ_{2}$ of monomial type. We obtain an orthogonal decomposition of the Bergman space $\mathcal A^{2}(Ω_{1})$ into finitely many closed subspaces indexed by characters of a finite Abelian group associated to the mapping $Φ_{\mathbf A}$ . We then show that each subspace is isomorphic to a weighted Bergman space on $Ω_{2}$ . This leads to a formula for the Bergman kernel on $Ω_{1}$ as a sum of weighted Bergman kernels on $Ω_{2}$

preprint2020arXiv

Fourier dimension and avoidance of linear patterns

The results in this paper are of two types. On one hand, we construct sets of large Fourier dimension that avoid nontrivial solutions of certain classes of linear equations. In particular, given any finite collection of translation-invariant linear equations of the form \begin{equation} \sum_{i=1}^v m_ix_i=m_0x_0, \; \text{ with } (m_0, m_1, \cdots, m_v) \in \mathbb N^{v+1}, m_0 = \sum_{i=1}^{v} m_i \text{ and } v \geq 2, \label{rational-eqn} \end{equation} we find a Salem set $E \subseteq [0,1]$ of dimension 1 that contains no nontrivial solution of any of these equations; in other words, there does not exist a vector $(x_0, x_1, \cdots, x_v) \in E^{v+1}$ with distinct entries that satisfies any of the given equations. Variants of this construction can also be used to obtain Salem sets that avoid solutions of translation-invariant linear equations of other kinds, for instance, when the collection of linear equations to be avoided is uncountable or has irrational coefficients. While such constructions seem to suggest that Salem sets can avoid many configurations, our second type of results offers a counterpoint. We show that a set in $\mathbb R$ whose Fourier dimension exceeds $2/(v+1)$ cannot avoid nontrivial solutions of all equations of the above form. In particular, a set of positive Fourier dimension must contain a nontrivial linear pattern of the above form for some $v$ , and hence cannot be rationally independent. This is in stark contrast with known results \cite{M17} that ensure the existence of rationally independent sets of full Hausdorff dimension. The latter class of results may be viewed as quantitative evidence of the structural richness of Salem sets of positive dimension, even if the dimension is arbitrarily small.

preprint2020arXiv

Restriction of Laplace-Beltrami eigenfunctions to arbitrary sets on manifolds

Given a compact Riemannian manifold $(M, g)$ without boundary, we estimate the Lebesgue norm of Laplace-Beltrami eigenfunctions when restricted to a wide variety of subsets $Γ$ of $M$ . The sets $Γ$ that we consider are Borel measurable, Lebesgue-null but otherwise arbitrary with positive Hausdorff dimension. Our estimates are based on Frostman-type ball growth conditions for measures supported on $Γ$ . For large Lebesgue exponents $p$ , these estimates provide a natural generalization of $L^p$ bounds for eigenfunctions restricted to submanifolds, previously obtained in \cite{Ho68, Ho71, Sog88, BGT07}. Under an additional measure-theoretic assumption on $Γ$ , the estimates are shown to be sharp in this range. As evidence of the genericity of the sharp estimates, we provide a large family of random, Cantor-type sets that are not submanifolds, where the above-mentioned sharp bounds hold almost surely.

preprint2018arXiv

Spherical means on the Heisenberg group: Stability of a maximal function estimate

Consider the surface measure $μ$ on a sphere in a nonvertical hyperplane on the Heisenberg group $\mathbb{H}^n$ , $n\ge 2$ , and the convolution $f*μ$ . Form the associated maximal function $Mf=\sup_{t>0}|f*μ_t|$ generated by the automorphic dilations. We use decoupling inequalities due to Wolff and Bourgain-Demeter to prove $L^p$ -boundedness of $M$ in an optimal range.

preprint2016arXiv

A Discrete Carleson Theorem Along the Primes with a Restricted Supremum

Consider the discrete maximal function acting on finitely supported functions on the integers, $\mathcal{C}_Λf(n) := \sup_{λ\in Λ} | \sum_{p \in \pm \mathbb{P}} f(n-p) \log |p| \frac{e^{2πi λp}}{p} |,$ where $\pm \mathbb{P} := \{ \pm p : p \text{ is a prime} \}$ , and $Λ\subset [0,1]$ . We give sufficient conditions on $Λ$ , met by (finite unions of) lacunary sets, for this to be a bounded sublinear operator on $\ell^p(\mathbb{Z})$ for $\frac{3}{2} < p < 4$ .

preprint2016arXiv

On polynomial configurations in fractal sets

We show that subsets of $\mathbb{R}^n$ of large enough Hausdorff and Fourier dimension contain polynomial patterns of the form \begin{align*} ( x ,\, x + A_1 y ,\, \dots,\, x + A_{k-1} y ,\, x + A_k y + Q(y) e_n ), \quad x \in \mathbb{R}^n,\ y \in \mathbb{R}^m, \end{align*} where $A_i$ are real $n \times m$ matrices, $Q$ is a real polynomial in $m$ variables and $e_n = (0,\dots,0,1)$ .

preprint2014arXiv

Kakeya-type sets over Cantor sets of directions in $\mathbb{R}^{d+1}$

Given a Cantor-type subset $Ω$ of a smooth curve in $\mathbb R^{d+1}$ , we construct examples of sets that contain unit line segments with directions from $Ω$ and exhibit analytical features similar to those of classical Kakeya sets of arbitrarily small $(d+1)$ -dimensional Lebesgue measure. The construction is based on probabilistic methods relying on the tree structure of $Ω$ , and extends to higher dimensions an analogous planar result of Bateman and Katz. In particular, the existence of such sets implies that the directional maximal operator associated with the direction set $Ω$ is unbounded on $L^p(\mathbb{R}^{d+1})$ for all $1\leq p<\infty$ .

preprint2014arXiv

Lacunarity, Kakeya-type sets and directional maximal operators

We develop a notion of finite order lacunarity for direction sets in $\mathbb R^{d+1}$ . Given a direction set $Ω$ that is sublacunary according to this definition, we construct random examples of Euclidean sets that contain unit line segments with directions from $Ω$ and enjoy analytical features similar to those of traditional Kakeya sets of infinitesimal Lebesgue measure. This generalizes to higher dimensions a planar result due to Bateman. Combined with earlier work of Alfonseca, Bateman, Parcet and Rogers, this notion of lacunarity and Kakeya-type sets also yields a characterization in all dimensions for directional maximal operators to be $L^p$ -bounded.

preprint2014arXiv

On necklaces inside thin subsets of ${\Bbb R}^d$

We study similarity classes of point configurations in $\R^d$ . Given a finite collection of points, a well-known question is: How high does the Hausdorff dimension $\hd(E)$ of a compact set $E \subset {\Bbb R}^d$ , $d \ge 2$ , need to be to ensure that $E$ contains some similar copy of this configuration? We prove results for a related problem, showing that for $\hd(D)$ sufficiently large, $E$ must contain many point configurations that we call $k$ -necklaces of constant gap, generalizing equilateral triangles and rhombuses in higher dimensions. Our results extend and complement those in \cite{CLP14,BIT14}, where related questions were recently studied.

preprint2013arXiv

Finite configurations in sparse sets

Let $E \subseteq R^n$ be a closed set of Hausdorff dimension $α$ . For $m \geq n$ , let $\{B_1,\ldots,B_k\}$ be $n \times (m-n)$ matrices. We prove that if the system of matrices $B_j$ is non-degenerate in a suitable sense, $α$ is sufficiently close to $n$ , and if $E$ supports a probability measure obeying appropriate dimensionality and Fourier decay conditions, then for a range of $m$ depending on $n$ and $k$ , the set $E$ contains a translate of a non-trivial $k$ -point configuration $\{B_1y,\ldots,B_ky\}$ . As a consequence, we are able to establish existence of certain geometric configurations in Salem sets (such as parallelograms in $R^n$ and isosceles right triangles in $R^2$ ). This can be viewed as a multidimensional analogue of an earlier result of Laba and Pramanik on 3-term arithmetic progressions in subsets of $R$ .

preprint2011arXiv

A multi-dimensional resolution of singularities with applications to analysis

We formulate a resolution of singularities algorithm for analyzing the zero sets of real-analytic functions in dimensions $\geq 3$ . Rather than using the celebrated result of Hironaka, the algorithm is modeled on a more explicit and elementary approach used in the contemporary algebraic geometry literature. As an application, we define a new notion of the height of real-analytic functions, compute the critical integrability index and obtain the sharp growth rate of sublevel sets. This also leads to a characterization of the oscillation index of scalar oscillatory integrals with real-analytic phases in all dimensions.

preprint2010arXiv

A Calderón-Zygmund estimate with applications to generalized Radon transforms and Fourier integral operators

We prove a Calderón-Zygmund type estimate which can be applied to sharpen known regularity results on spherical means, Fourier integral operators and generalized Radon transforms.

preprint2010arXiv

An FIO calculus for marine seismic imaging, II: Sobolev estimates

We establish sharp $L^2$ -Sobolev estimates for classes of pseudodifferential operators with singular symbols whose non-pseudodifferential (Fourier integral operator) parts exhibit two-sided fold singularities. The operators considered include both singular integral operators along curves in $R^2$ with simple inflection points and normal operators arising in linearized seismic imaging in the presence of fold caustics.

preprint2008arXiv

Arithmetic progressions in sets of fractional dimension

Let $E\subset\rr$ be a closed set of Hausdorff dimension $α$ . We prove that if $α$ is sufficiently close to 1, and if $E$ supports a probabilistic measure obeying appropriate dimensionality and Fourier decay conditions, then $E$ contains non-trivial 3-term arithmetic progressions.

preprint2005arXiv

L^p regularity of averages over curves and bounds for associated maximal operators

We prove that for a finite type curve in $\mathbb R^3$ the maximal operator generated by dilations is bounded on $L^p$ for sufficiently large $p$ . We also show the endpoint $L^p \to L^{p}_{1/p}$ regularity result for the averaging operators for large $p$ . The proofs make use of a deep result of Thomas Wolff about decompositions of cone multipliers.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Malabika Pramanik

Research overview

Is this your work?

18 publications

Large sets avoiding affine copies of infinite sequences

$L^2$ Bounds for a maximal directional Hilbert transform

A proof of the Erdös similarity conjecture

Bergman spaces under maps of monomial type

Fourier dimension and avoidance of linear patterns

Restriction of Laplace-Beltrami eigenfunctions to arbitrary sets on manifolds

Spherical means on the Heisenberg group: Stability of a maximal function estimate

A Discrete Carleson Theorem Along the Primes with a Restricted Supremum

On polynomial configurations in fractal sets

Kakeya-type sets over Cantor sets of directions in $\mathbb{R}^{d+1}$

Lacunarity, Kakeya-type sets and directional maximal operators

On necklaces inside thin subsets of ${\Bbb R}^d$

Finite configurations in sparse sets

A multi-dimensional resolution of singularities with applications to analysis

A Calderón-Zygmund estimate with applications to generalized Radon transforms and Fourier integral operators

An FIO calculus for marine seismic imaging, II: Sobolev estimates

Arithmetic progressions in sets of fractional dimension

L^p regularity of averages over curves and bounds for associated maximal operators

See the researcher in context

Building this map preview

Malabika Pramanik

Research overview

Is this your work?

18 publications

Large sets avoiding affine copies of infinite sequences

L2L^2L2 Bounds for a maximal directional Hilbert transform

A proof of the Erdös similarity conjecture

Bergman spaces under maps of monomial type

Fourier dimension and avoidance of linear patterns

Restriction of Laplace-Beltrami eigenfunctions to arbitrary sets on manifolds

Spherical means on the Heisenberg group: Stability of a maximal function estimate

A Discrete Carleson Theorem Along the Primes with a Restricted Supremum

On polynomial configurations in fractal sets

Kakeya-type sets over Cantor sets of directions in Rd+1\mathbb{R}^{d+1}Rd+1

Lacunarity, Kakeya-type sets and directional maximal operators

On necklaces inside thin subsets of Rd{\Bbb R}^dRd

Finite configurations in sparse sets

A multi-dimensional resolution of singularities with applications to analysis

A Calderón-Zygmund estimate with applications to generalized Radon transforms and Fourier integral operators

An FIO calculus for marine seismic imaging, II: Sobolev estimates

Arithmetic progressions in sets of fractional dimension

L^p regularity of averages over curves and bounds for associated maximal operators

See the researcher in context

Building this map preview

$L^2$ Bounds for a maximal directional Hilbert transform

Kakeya-type sets over Cantor sets of directions in $\mathbb{R}^{d+1}$

On necklaces inside thin subsets of ${\Bbb R}^d$