Related papers: Completeness of Exponentials and Beurling's Theore…

We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff…

We prove that the free additive convolution of two Borel probability measures supported on the real line can have a component that is singular continuous with respect to the Lebesgue measure on the real line only if one of the two measures…

In 2016 and 2017, Haihui Fan, Don Hadwin and Wenjing Liu proved a commutative and noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $\alpha $ on $L^{\infty}(\mathbb{T},\mu)$ and tracial finite von…

If $x_1,\dots,x_m$ are finitely many points in $\mathbb{R}^d$, let $E_\epsilon=\cup_{i=1}^m\,x_i+Q_\epsilon$, where $Q_\epsilon=\{x\in \mathbb{R}^d,\,\,|x_i|\le \epsilon/2, \, i=1,...,d\}$ and let $\hat f$ denote the Fourier transform of…

Let $\mu$ be a positive measure on $R^d$. It is known that if the space $L^2(\mu)$ has a frame of exponentials then the measure $\mu$ must be of "pure type": it is either discrete, absolutely continuous or singular continuous. It has been…

A classical theorem of Menshov states that every measurable function can redefined on a set of arbitrarily small Lebesgue measure, so that the resulting function has uniformly convergent Fourier series. We prove that the same is true if we…

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

Let $\Omega \subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $\Omega$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on…

We prove the following. Let $\mu_{1},\ldots,\mu_{n}$ be Borel probability measures on $[-1,1]$ such that $\mu_{j}$ has finite $s_j$-energy for certain indices $s_{j} \in (0,1]$ with $s_{1} + \ldots + s_{n} > 1$. Then, the multiplicative…

The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…

Let $f$ be a continuous function on the unit circle $\Gamma$, whose Fourier series is $\omega$-absolutely convergent for some weight $\omega$ on the set of integers $\mathcal{Z}$. If $f$ is nowhere vanishing on $\Gamma$, then there exists a…

We study global convex solutions of the Monge-Amp\`ere equation \[ \det D^2 u = \mu \quad \text{in } \mathbb{R}^n, \] where $\mu \not\equiv 0$ is a nonnegative locally finite periodic Borel measure on $\mathbb{R}^n$. We prove a…

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…

A theorem of Lusin states that every Borel function on $R$ is equal almost everywhere to the derivative of a continuous function. This result was later generalized to $R^n$ in works of Alberti and Moonens-Pfeffer. In this note, we prove…

Consider a complex line bundle over a compact complex manifold equipped with an infinitely differentiable metric with strictly positive curvature form. Assign to positive tensor powers of this bundle the associated product metrics and…

In this paper, we review the basic properties of measures vanishing at infinity and prove a version of the Riemann--Lebesgue lemma for Fourier transformable measures.

A conjecture of Erd\H{o}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…

The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions…

We give a short proof of the $L^{1}$ criterion for Beurling generalized integers to have a positive asymptotic density. We actually prove the existence of density under a weaker hypothesis. We also discuss related sufficient conditions for…

Jorgensen and Pedersen have proven that a certain fractal measure $\nu$ has no infinite set of complex exponentials which form an orthonormal set in $L^2(\nu)$. We prove that any fractal measure $\mu$ obtained from an affine iterated…