Showing 1–36 of 36 results for author: Lev, N

Unconditional Schauder frames of exponentials and of uniformly bounded functions in $L^p$ spaces

Authors: Nir Lev, Anton Tselishchev

Abstract: It is known that there is no unconditional basis of exponentials in the space $L^p(Ω)$, $p \ne 2$, for any set $Ω\subset \mathbb{R}^d$ of finite measure. This is a consequence of a more general result due to Gaposhkin, who proved that the space $L^p(Ω)$ does not admit a seminormalized unconditional basis consisting of uniformly bounded functions. We show that the latter result fails if the word "b… ▽ More It is known that there is no unconditional basis of exponentials in the space $L^p(Ω)$, $p \ne 2$, for any set $Ω\subset \mathbb{R}^d$ of finite measure. This is a consequence of a more general result due to Gaposhkin, who proved that the space $L^p(Ω)$ does not admit a seminormalized unconditional basis consisting of uniformly bounded functions. We show that the latter result fails if the word "basis" is replaced with "Schauder frame". On the other hand we prove that if $Ω$ has nonempty interior then there are no unconditional Schauder frames of exponentials in the space $L^p(Ω)$, $p \ne 2$. △ Less

Submitted 11 May, 2025; v1 submitted 5 May, 2025; originally announced May 2025.

MSC Class: 42A10; 46B15; 46E30

Completeness of sparse, almost integer and finite local complexity sequences of translates in $L^p(\mathbb{R})$

Authors: Nir Lev, Anton Tselishchev

Abstract: A real sequence $Λ= \{λ_n\}_{n=1}^\infty$ is called $p$-generating if there exists a function $g$ whose translates $\{g(x-λ_n)\}_{n=1}^\infty$ span the space $L^p(\mathbb{R})$. While the $p$-generating sets were completely characterized for $p=1$ and $p>2$, the case $1 < p \le 2$ remains not well understood. In this case, both the size and the arithmetic structure of the set play an important role… ▽ More A real sequence $Λ= \{λ_n\}_{n=1}^\infty$ is called $p$-generating if there exists a function $g$ whose translates $\{g(x-λ_n)\}_{n=1}^\infty$ span the space $L^p(\mathbb{R})$. While the $p$-generating sets were completely characterized for $p=1$ and $p>2$, the case $1 < p \le 2$ remains not well understood. In this case, both the size and the arithmetic structure of the set play an important role. In the present paper, (i) We show that a $p$-generating set $Λ$ of positive real numbers can be very sparse, namely, the ratios $λ_{n+1} / λ_n$ may tend to $1$ arbitrarily slowly; (ii) We prove that every "almost integer" sequence $Λ$, i.e. satisfying $λ_n = n + α_n$, $0 \neq α_n \to 0$, is $p$-generating; and (iii) We construct $p$-generating sets $Λ$ such that the successive differences $λ_{n+1} - λ_n$ attain only two different positive values. The constructions are, in a sense, extreme: it is well known that $Λ$ cannot be Hadamard lacunary and cannot be contained in any arithmetic progression. △ Less

Submitted 24 March, 2025; v1 submitted 14 February, 2025; originally announced February 2025.

MSC Class: 42A10; 42A65; 46E30

Maximality and completeness of orthogonal exponentials on the cube

Authors: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi

Abstract: It is possible to have a packing by translates of a cube that is maximal (i.e.\ no other cube can be added without overlapping) but does not form a tiling. In the long running analogy of packing and tiling to orthogonality and completeness of exponentials on a domain, we pursue the question whether one can have maximal orthogonal sets of exponentials for a cube without them being complete. We prov… ▽ More It is possible to have a packing by translates of a cube that is maximal (i.e.\ no other cube can be added without overlapping) but does not form a tiling. In the long running analogy of packing and tiling to orthogonality and completeness of exponentials on a domain, we pursue the question whether one can have maximal orthogonal sets of exponentials for a cube without them being complete. We prove that this is not possible in dimensions 1 and 2, but is possible in dimensions 3 and higher. We provide several examples of such maximal incomplete sets of exponentials, differing in size, and we raise relevant questions. We also show that even in dimension $1$ there are sets which are spectral (i.e. have a complete set of orthogonal exponentials) and yet they also possess maximal incomplete sets of orthogonal exponentials. △ Less

Submitted 25 March, 2025; v1 submitted 16 October, 2024; originally announced October 2024.

Comments: 13 pages, no figures; added reference [LP11] where some of the problems were already solved

MSC Class: 42B10; 42C05; 52C22

Schauder frames of discrete translates in $L^p(\mathbb{R})$

Authors: Nir Lev, Anton Tselishchev

Abstract: For every $p > (1 + \sqrt{5})/2$ we construct a uniformly discrete real sequence $\{λ_n\}_{n=1}^\infty$ satisfying $|λ_n| = n + o(1)$, a function $g \in L^p(\mathbb{R})$, and continuous linear functionals $\{g^*_n\}_{n=1}^\infty$ on $L^p(\mathbb{R})$, such that every $f \in L^p(\mathbb{R})$ admits a series expansion \[ f(x) = \sum_{n=1}^{\infty} g_n^*(f) g(x-λ_n) \] convergent in the… ▽ More For every $p > (1 + \sqrt{5})/2$ we construct a uniformly discrete real sequence $\{λ_n\}_{n=1}^\infty$ satisfying $|λ_n| = n + o(1)$, a function $g \in L^p(\mathbb{R})$, and continuous linear functionals $\{g^*_n\}_{n=1}^\infty$ on $L^p(\mathbb{R})$, such that every $f \in L^p(\mathbb{R})$ admits a series expansion \[ f(x) = \sum_{n=1}^{\infty} g_n^*(f) g(x-λ_n) \] convergent in the $L^p(\mathbb{R})$ norm. We moreover show that $g$ can be chosen nonnegative. △ Less

Submitted 15 January, 2025; v1 submitted 15 February, 2024; originally announced February 2024.

MSC Class: 42A10; 42C15; 46B15

Completeness of uniformly discrete translates in $L^p(\mathbb{R})$

Authors: Nir Lev

Abstract: We construct a real sequence $\{λ_n\}_{n=1}^{\infty}$ satisfying $λ_n = n + o(1)$, and a Schwartz function $f$ on $\mathbb{R}$, such that for any $N$ the system of translates $\{f(x - λ_n)\}$, $n > N$, is complete in the space $L^p(\mathbb{R})$ for every $p>1$. The same system is also complete in a wider class of Banach function spaces on $\mathbb{R}$. We construct a real sequence $\{λ_n\}_{n=1}^{\infty}$ satisfying $λ_n = n + o(1)$, and a Schwartz function $f$ on $\mathbb{R}$, such that for any $N$ the system of translates $\{f(x - λ_n)\}$, $n > N$, is complete in the space $L^p(\mathbb{R})$ for every $p>1$. The same system is also complete in a wider class of Banach function spaces on $\mathbb{R}$. △ Less

Submitted 9 January, 2025; v1 submitted 28 January, 2024; originally announced January 2024.

Comments: To appear in Journal d'Analyse Mathematique

MSC Class: 42A65; 46E30; 46E50

Schauder frames of discrete translates in $L^2(\mathbb{R})$

Authors: Nir Lev, Anton Tselishchev

Abstract: We construct a uniformly discrete sequence $\{λ_1 < λ_2 < \cdots\} \subset \mathbb{R}$ and functions $g$ and $\{g_n^*\}$ in $L^2(\mathbb{R})$, such that every $f \in L^2(\mathbb{R})$ admits a series expansion \[ f(x) = \sum_{n=1}^{\infty} \langle f, g_n^* \rangle \, g(x-λ_n) \] convergent in the $L^2(\mathbb{R})$ norm. We construct a uniformly discrete sequence $\{λ_1 < λ_2 < \cdots\} \subset \mathbb{R}$ and functions $g$ and $\{g_n^*\}$ in $L^2(\mathbb{R})$, such that every $f \in L^2(\mathbb{R})$ admits a series expansion \[ f(x) = \sum_{n=1}^{\infty} \langle f, g_n^* \rangle \, g(x-λ_n) \] convergent in the $L^2(\mathbb{R})$ norm. △ Less

Submitted 26 March, 2025; v1 submitted 18 December, 2023; originally announced December 2023.

MSC Class: 42A10; 42C15; 46B15

There are no unconditional Schauder frames of translates in $L^p(\mathbb{R})$, $1 \le p \le 2$

Authors: Nir Lev, Anton Tselishchev

Abstract: It is known that a system formed by translates of a single function cannot be an unconditional Schauder basis in the space $L^p(\mathbb{R})$ for any $1 \le p < \infty$. To the contrary, there do exist unconditional Schauder frames of translates in $L^p(\mathbb{R})$ for every $p>2$. The existence of such a system for $1 < p \leq 2$, however, has remained an open problem. In this paper the problem i… ▽ More It is known that a system formed by translates of a single function cannot be an unconditional Schauder basis in the space $L^p(\mathbb{R})$ for any $1 \le p < \infty$. To the contrary, there do exist unconditional Schauder frames of translates in $L^p(\mathbb{R})$ for every $p>2$. The existence of such a system for $1 < p \leq 2$, however, has remained an open problem. In this paper the problem is solved in the negative: we prove that none of the spaces $L^p(\mathbb{R})$, $1 \le p \le 2$, admits an unconditional Schauder frame of translates. △ Less

Submitted 14 November, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: To appear in Advances in Mathematics

MSC Class: 46B15; 46E30

Journal ref: Adv. Math. 460 (2025), Paper No. 110036

Functions tiling simultaneously with two arithmetic progressions

Authors: Mark Mordechai Etkind, Nir Lev

Abstract: We consider measurable functions $f$ on $\mathbb{R}$ that tile simultaneously by two arithmetic progressions $α\mathbb{Z}$ and $β\mathbb{Z}$ at respective tiling levels $p$ and $q$. We are interested in two main questions: what are the possible values of the tiling levels $p,q$, and what is the least possible measure of the support of $f$? We obtain sharp results which show that the answers depend… ▽ More We consider measurable functions $f$ on $\mathbb{R}$ that tile simultaneously by two arithmetic progressions $α\mathbb{Z}$ and $β\mathbb{Z}$ at respective tiling levels $p$ and $q$. We are interested in two main questions: what are the possible values of the tiling levels $p,q$, and what is the least possible measure of the support of $f$? We obtain sharp results which show that the answers depend on arithmetic properties of $α, β$ and $p,q$, and in particular, on whether the numbers $α, β$ are rationally independent or not. △ Less

Submitted 22 September, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: To appear in the Proceedings of the London Mathematical Society

MSC Class: 05B45; 15B51

Journal ref: Proceedings of the London Mathematical Society 127 (2023), no. 6, 1775-1815

Spectral sets and weak tiling

Authors: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi

Abstract: A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $Ω$ is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in $\mathbb{R}^d$. The p… ▽ More A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $Ω$ is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in $\mathbb{R}^d$. The proof was based on a new geometric necessary condition for spectrality, called "weak tiling". In this paper we study further properties of the weak tiling notion, and present applications to convex bodies, non-convex polytopes, product domains and Cantor sets of positive measure. △ Less

Submitted 22 October, 2023; v1 submitted 9 September, 2022; originally announced September 2022.

MSC Class: 42B10; 52B11; 52B45; 52C07; 52C22

Journal ref: Sampling Theory, Signal Processing, and Data Analysis 21 (2023), Paper No. 31

Support of extremal doubly stochastic arrays

Authors: Mark Mordechai Etkind, Nir Lev

Abstract: An $n \times m$ array with nonnegative entries is called doubly stochastic if the sum of its entries at each row is $m$ and at each column is $n$. The set of all $n \times m$ doubly stochastic arrays is a convex polytope with finitely many extremal points. The main result of this paper characterizes the possible sizes of the supports of all extremal $n \times m$ doubly stochastic arrays. In partic… ▽ More An $n \times m$ array with nonnegative entries is called doubly stochastic if the sum of its entries at each row is $m$ and at each column is $n$. The set of all $n \times m$ doubly stochastic arrays is a convex polytope with finitely many extremal points. The main result of this paper characterizes the possible sizes of the supports of all extremal $n \times m$ doubly stochastic arrays. In particular we prove that the minimal size of the support of an $n \times m$ doubly stochastic array is $n + m - \gcd(n,m)$. Moreover, for $m=kn+1$ we also characterize the structure of the support of the extremal arrays. △ Less

Submitted 15 January, 2025; v1 submitted 17 July, 2022; originally announced July 2022.

Comments: To appear in Israel Journal of Mathematics

MSC Class: 05B20; 05C05; 15B51

Gabor orthonormal bases, tiling and periodicity

Authors: Alberto Debernardi Pinos, Nir Lev

Abstract: We show that if the Gabor system $\{ g(x-t) e^{2πi s x}\}$, $t \in T$, $s \in S$, is an orthonormal basis in $L^2(\mathbb{R})$ and if the window function $g$ is compactly supported, then both the time shift set $T$ and the frequency shift set $S$ must be periodic. To prove this we establish a necessary functional tiling type condition for Gabor orthonormal bases which may be of independent interes… ▽ More We show that if the Gabor system $\{ g(x-t) e^{2πi s x}\}$, $t \in T$, $s \in S$, is an orthonormal basis in $L^2(\mathbb{R})$ and if the window function $g$ is compactly supported, then both the time shift set $T$ and the frequency shift set $S$ must be periodic. To prove this we establish a necessary functional tiling type condition for Gabor orthonormal bases which may be of independent interest. △ Less

Submitted 24 January, 2022; v1 submitted 6 September, 2021; originally announced September 2021.

Comments: To appear in Mathematische Annalen

MSC Class: 42B10; 42C15

Journal ref: Math. Ann. 384 (2022), no. 3-4, 1461-1467

Crystalline temperate distributions with uniformly discrete support and spectrum

Authors: Nir Lev, Gilad Reti

Abstract: We prove that a temperate distribution on $\mathbb{R}$ whose support and spectrum are uniformly discrete sets, can be obtained from Poisson's summation formula by a finite number of basic operations (shifts, modulations, differentiations, multiplication by polynomials, and taking linear combinations). We prove that a temperate distribution on $\mathbb{R}$ whose support and spectrum are uniformly discrete sets, can be obtained from Poisson's summation formula by a finite number of basic operations (shifts, modulations, differentiations, multiplication by polynomials, and taking linear combinations). △ Less

Submitted 27 April, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

MSC Class: 30D15; 42A38; 52C23

Journal ref: J. Funct. Anal. 281 (2021), no. 4, 109072

Tiling by translates of a function: results and open problems

Authors: Mihail N. Kolountzakis, Nir Lev

Abstract: We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $Λ\subset \mathbb{R}$, if we have $\sum_{λ\in Λ} f(x-λ)=w$ a.e. In this paper we survey the main results, and prove several new ones, on the structure of tilings of $\mathbb{R}$ by translates of a function. The phenomena discussed include tilings of bounded and of unbounded density, uniform distribution… ▽ More We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $Λ\subset \mathbb{R}$, if we have $\sum_{λ\in Λ} f(x-λ)=w$ a.e. In this paper we survey the main results, and prove several new ones, on the structure of tilings of $\mathbb{R}$ by translates of a function. The phenomena discussed include tilings of bounded and of unbounded density, uniform distribution of the translates, periodic and non-periodic tilings, and tilings at level zero. Fourier analysis plays an important role in the proofs. Some open problems are also given. △ Less

Submitted 13 September, 2021; v1 submitted 20 September, 2020; originally announced September 2020.

MSC Class: 42A38; 52C23; 52C25

Journal ref: Discrete Analysis 2021, Paper No. 12, 24 pp

An example concerning Fourier analytic criteria for translational tiling

Authors: Nir Lev

Abstract: It is well-known that the functions $f \in L^1(\mathbb{R}^d)$ whose translates along a lattice $Λ$ form a tiling, can be completely characterized in terms of the zero set of their Fourier transform. We construct an example of a discrete set $Λ\subset \mathbb{R}$ (a small perturbation of the integers) for which no characterization of this kind is possible: there are two functions… ▽ More It is well-known that the functions $f \in L^1(\mathbb{R}^d)$ whose translates along a lattice $Λ$ form a tiling, can be completely characterized in terms of the zero set of their Fourier transform. We construct an example of a discrete set $Λ\subset \mathbb{R}$ (a small perturbation of the integers) for which no characterization of this kind is possible: there are two functions $f, g \in L^1(\mathbb{R})$ whose Fourier transforms have the same set of zeros, but such that $f + Λ$ is a tiling while $g + Λ$ is not. △ Less

Submitted 27 September, 2021; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: To appear in Revista Matematica Iberoamericana

MSC Class: 42A38; 43A45; 52C23

Journal ref: Rev. Mat. Iberoam. 38 (2022), no. 6, 1975--1991

Poisson summation formulas involving the sum-of-squares function

Authors: Nir Lev, Gilad Reti

Abstract: We obtain new Poisson type summation formulas with nodes $\pm \sqrt{n}$ and with weights involving the function $r_k(n)$ that gives the number of representations of a positive integer $n$ as the sum of $k$ squares. Our results extend summation formulas due to Guinand and Meyer that involve the sum-of-three-squares function $r_3(n)$. We obtain new Poisson type summation formulas with nodes $\pm \sqrt{n}$ and with weights involving the function $r_k(n)$ that gives the number of representations of a positive integer $n$ as the sum of $k$ squares. Our results extend summation formulas due to Guinand and Meyer that involve the sum-of-three-squares function $r_3(n)$. △ Less

Submitted 22 October, 2021; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: To appear in Israel Journal of Mathematics

MSC Class: 11E25; 42B10; 52C23

Riesz bases of exponentials for convex polytopes with symmetric faces

Authors: Alberto Debernardi, Nir Lev

Abstract: We prove that for any convex polytope $Ω\subset \mathbb{R}^d$ which is centrally symmetric and whose faces of all dimensions are also centrally symmetric, there exists a Riesz basis of exponential functions in the space $L^2(Ω)$. The result is new in all dimensions $d$ greater than one. We prove that for any convex polytope $Ω\subset \mathbb{R}^d$ which is centrally symmetric and whose faces of all dimensions are also centrally symmetric, there exists a Riesz basis of exponential functions in the space $L^2(Ω)$. The result is new in all dimensions $d$ greater than one. △ Less

Submitted 6 April, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: To appear in Journal of the European Mathematical Society (JEMS)

MSC Class: 42B10; 42C15; 52B11; 94A20

Journal ref: Journal of the European Mathematical Society JEMS 24 (2022), no. 8, 3017-3029

The Fuglede conjecture for convex domains is true in all dimensions

Authors: Nir Lev, Máté Matolcsi

Abstract: A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ has an orthogonal basis of exponential functions. A conjecture due to Fuglede (1974) stated that $Ω$ is a spectral set if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it has long been known that for a convex body $Ω\subset \mathbb{R}^d$ the "tiling implies spectral… ▽ More A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ has an orthogonal basis of exponential functions. A conjecture due to Fuglede (1974) stated that $Ω$ is a spectral set if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it has long been known that for a convex body $Ω\subset \mathbb{R}^d$ the "tiling implies spectral" part of the conjecture is in fact true. To the contrary, the "spectral implies tiling" direction of the conjecture for convex bodies was proved only in $\mathbb{R}^2$, and also in $\mathbb{R}^3$ under the a priori assumption that $Ω$ is a convex polytope. In higher dimensions, this direction of the conjecture remained completely open (even in the case when $Ω$ is a polytope) and could not be treated using the previously developed techniques. In this paper we fully settle Fuglede's conjecture for convex bodies affirmatively in all dimensions, i.e. we prove that if a convex body $Ω\subset \mathbb{R}^d$ is a spectral set then $Ω$ is a convex polytope which can tile the space by translations. To prove this we introduce a new technique, involving a construction from crystallographic diffraction theory, which allows us to establish a geometric "weak tiling" condition necessary for a set $Ω\subset \mathbb{R}^d$ to be spectral. △ Less

Submitted 2 July, 2022; v1 submitted 28 April, 2019; originally announced April 2019.

MSC Class: 42B10; 52B11; 52C07; 52C22

Journal ref: Acta Mathematica 228 (2022), no. 2, 385-420

Spectrality of polytopes and equidecomposability by translations

Authors: Nir Lev, Bochen Liu

Abstract: Let $A$ be a polytope in $\mathbb{R}^d$ (not necessarily convex or connected). We say that $A$ is spectral if the space $L^2(A)$ has an orthogonal basis consisting of exponential functions. A result due to Kolountzakis and Papadimitrakis (2002) asserts that if $A$ is a spectral polytope, then the total area of the $(d-1)$-dimensional faces of $A$ on which the outward normal is pointing at a given… ▽ More Let $A$ be a polytope in $\mathbb{R}^d$ (not necessarily convex or connected). We say that $A$ is spectral if the space $L^2(A)$ has an orthogonal basis consisting of exponential functions. A result due to Kolountzakis and Papadimitrakis (2002) asserts that if $A$ is a spectral polytope, then the total area of the $(d-1)$-dimensional faces of $A$ on which the outward normal is pointing at a given direction, must coincide with the total area of those $(d-1)$-dimensional faces on which the outward normal is pointing at the opposite direction. In this paper, we prove an extension of this result to faces of all dimensions between $1$ and $d-1$. As a consequence we obtain that any spectral polytope $A$ can be dissected into a finite number of smaller polytopes, which can be rearranged using translations to form a cube. △ Less

Submitted 1 November, 2019; v1 submitted 3 February, 2019; originally announced February 2019.

Comments: To appear in International Mathematics Research Notices IMRN. arXiv admin note: text overlap with arXiv:1804.09920

MSC Class: 42B10; 52B11; 52B45

Multi-tiling and equidecomposability of polytopes by lattice translates

Authors: Nir Lev, Bochen Liu

Abstract: We characterize the polytopes in $\mathbb{R}^d$ (not necessarily convex or connected ones) which multi-tile the space by translations along a given lattice. We also give a necessary and sufficient condition for two polytopes in $\mathbb{R}^d$ to be equidecomposable by lattice translations. We characterize the polytopes in $\mathbb{R}^d$ (not necessarily convex or connected ones) which multi-tile the space by translations along a given lattice. We also give a necessary and sufficient condition for two polytopes in $\mathbb{R}^d$ to be equidecomposable by lattice translations. △ Less

Submitted 17 September, 2019; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: To appear in the Bulletin of the London Mathematical Society

MSC Class: 52B11; 52B45; 52C22

Spectrality of product domains and Fuglede's conjecture for convex polytopes

Authors: Rachel Greenfeld, Nir Lev

Abstract: A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ has an orthogonal basis of exponential functions. It is well-known that in many respects, spectral sets "behave like" sets which can tile the space by translations. This suggests a conjecture that a product set $Ω= A \times B$ is spectral if and only if the factors $A$ and $B$ are both spectral sets. We recently proved this… ▽ More A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ has an orthogonal basis of exponential functions. It is well-known that in many respects, spectral sets "behave like" sets which can tile the space by translations. This suggests a conjecture that a product set $Ω= A \times B$ is spectral if and only if the factors $A$ and $B$ are both spectral sets. We recently proved this in the case when $A$ is an interval in dimension one. The main result of the present paper is that the conjecture is true also when $A$ is a convex polygon in two dimensions. We discuss this result in connection with the conjecture that a convex polytope $Ω$ is spectral if and only if it can tile by translations. △ Less

Submitted 2 July, 2018; v1 submitted 7 January, 2018; originally announced January 2018.

Comments: To appear in Journal d'Analyse Mathematique

MSC Class: 42B10; 52C22

Fourier frames for singular measures and pure type phenomena

Authors: Nir Lev

Abstract: Let $μ$ be a positive measure on $R^d$. It is known that if the space $L^2(μ)$ has a frame of exponentials then the measure $μ$ must be of "pure type": it is either discrete, absolutely continuous or singular continuous. It has been conjectured that a similar phenomenon should be true within the class of singular continuous measures, in the sense that $μ$ cannot admit an exponential frame if it ha… ▽ More Let $μ$ be a positive measure on $R^d$. It is known that if the space $L^2(μ)$ has a frame of exponentials then the measure $μ$ must be of "pure type": it is either discrete, absolutely continuous or singular continuous. It has been conjectured that a similar phenomenon should be true within the class of singular continuous measures, in the sense that $μ$ cannot admit an exponential frame if it has components of different dimensions. We prove that this is not the case by showing that the sum of an arc length measure and a surface measure can have a frame of exponentials. On the other hand we prove that a measure of this form cannot have a frame of exponentials if the surface has a point of non-zero Gaussian curvature. This is in spite of the fact that each "pure" component of the measure separately may admit such a frame. △ Less

Submitted 4 April, 2017; v1 submitted 21 July, 2016; originally announced July 2016.

Comments: Minor improvements to the presentation. Assumption in Theorem 1.2 slightly relaxed

MSC Class: 42C15; 42B10

Journal ref: Proc. Amer. Math. Soc. 146 (2018), no. 7, 2883--2896

Fuglede's spectral set conjecture for convex polytopes

Authors: Rachel Greenfeld, Nir Lev

Abstract: Let $Ω$ be a convex polytope in $\mathbb{R}^d$. We say that $Ω$ is spectral if the space $L^2(Ω)$ admits an orthogonal basis consisting of exponential functions. There is a conjecture, which goes back to Fuglede (1974), that $Ω$ is spectral if and only if it can tile the space by translations. It is known that if $Ω$ tiles then it is spectral, but the converse was proved only in dimension $d=2$, b… ▽ More Let $Ω$ be a convex polytope in $\mathbb{R}^d$. We say that $Ω$ is spectral if the space $L^2(Ω)$ admits an orthogonal basis consisting of exponential functions. There is a conjecture, which goes back to Fuglede (1974), that $Ω$ is spectral if and only if it can tile the space by translations. It is known that if $Ω$ tiles then it is spectral, but the converse was proved only in dimension $d=2$, by Iosevich, Katz and Tao. By a result due to Kolountzakis, if a convex polytope $Ω\subset \mathbb{R}^d$ is spectral, then it must be centrally symmetric. We prove that also all the facets of $Ω$ are centrally symmetric. These conditions are necessary for $Ω$ to tile by translations. We also develop an approach which allows us to prove that in dimension $d=3$, any spectral convex polytope $Ω$ indeed tiles by translations. Thus we obtain that Fuglede's conjecture is true for convex polytopes in $\mathbb{R}^3$. △ Less

Submitted 1 June, 2017; v1 submitted 29 February, 2016; originally announced February 2016.

Comments: To appear in Analysis & PDE

Journal ref: Analysis & PDE 10 (2017) 1497-1538

Spectrality and tiling by cylindric domains

Authors: Rachel Greenfeld, Nir Lev

Abstract: A bounded set $Ω\subset \mathbb{R}^d$ is called a spectral set if the space $L^2(Ω)$ admits a complete orthogonal system of exponential functions. We prove that a cylindric set $Ω$ is spectral if and only if its base is a spectral set. A similar characterization is obtained of the cylindric sets which can tile the space by translations. A bounded set $Ω\subset \mathbb{R}^d$ is called a spectral set if the space $L^2(Ω)$ admits a complete orthogonal system of exponential functions. We prove that a cylindric set $Ω$ is spectral if and only if its base is a spectral set. A similar characterization is obtained of the cylindric sets which can tile the space by translations. △ Less

Submitted 23 September, 2016; v1 submitted 29 February, 2016; originally announced February 2016.

Journal ref: Journal of Functional Analysis 271 (2016) pp. 2808-2821

Riesz bases, Meyer's quasicrystals, and bounded remainder sets

Authors: Sigrid Grepstad, Nir Lev

Abstract: We consider systems of exponentials with frequencies belonging to simple quasicrystals in $\mathbb{R}^d$. We ask if there exist domains $S$ in $\mathbb{R}^d$ which admit such a system as a Riesz basis for the space $L^2(S)$. We prove that the answer depends on an arithmetical condition on the quasicrystal. The proof is based on the connection of the problem to the discrepancy of multi-dimensional… ▽ More We consider systems of exponentials with frequencies belonging to simple quasicrystals in $\mathbb{R}^d$. We ask if there exist domains $S$ in $\mathbb{R}^d$ which admit such a system as a Riesz basis for the space $L^2(S)$. We prove that the answer depends on an arithmetical condition on the quasicrystal. The proof is based on the connection of the problem to the discrepancy of multi-dimensional irrational rotations, and specifically, to the theory of bounded remainder sets. In particular it is shown that any bounded remainder set admits a Riesz basis of exponentials. This extends to several dimensions (and to the non-periodic setting) the results obtained earlier in dimension one. △ Less

Submitted 16 December, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: To appear in Transactions of the AMS

MSC Class: 42C15; 52C23; 11K38

Fourier quasicrystals and discreteness of the diffraction spectrum

Authors: Nir Lev, Alexander Olevskii

Abstract: We prove that a positive-definite measure in $\mathbb{R}^n$ with uniformly discrete support and discrete closed spectrum, is representable as a finite linear combination of Dirac combs, translated and modulated. This extends our recent results where we proved this under the assumption that also the spectrum is uniformly discrete. As an application we obtain that Hof's quasicrystals with uniformly… ▽ More We prove that a positive-definite measure in $\mathbb{R}^n$ with uniformly discrete support and discrete closed spectrum, is representable as a finite linear combination of Dirac combs, translated and modulated. This extends our recent results where we proved this under the assumption that also the spectrum is uniformly discrete. As an application we obtain that Hof's quasicrystals with uniformly discrete diffraction spectra must have a periodic diffraction structure. △ Less

Submitted 31 May, 2017; v1 submitted 29 December, 2015; originally announced December 2015.

Journal ref: Advances in Mathematics 315 (2017), 1-26

On non-periodic tilings of the real line by a function

Authors: Mihail N. Kolountzakis, Nir Lev

Abstract: It is known that a positive, compactly supported function $f \in L^1(\mathbb R)$ can tile by translations only if the translation set is a finite union of periodic sets. We prove that this is not the case if $f$ is allowed to have unbounded support. On the other hand we also show that if the translation set has finite local complexity, then it must be periodic, even if the support of $f$ is unboun… ▽ More It is known that a positive, compactly supported function $f \in L^1(\mathbb R)$ can tile by translations only if the translation set is a finite union of periodic sets. We prove that this is not the case if $f$ is allowed to have unbounded support. On the other hand we also show that if the translation set has finite local complexity, then it must be periodic, even if the support of $f$ is unbounded. △ Less

Submitted 25 October, 2015; v1 submitted 26 May, 2015; originally announced May 2015.

Comments: To appear in International Mathematics Research Notices (IMRN)

Quasicrystals with discrete support and spectrum

Authors: Nir Lev, Alexander Olevskii

Abstract: We proved recently that a measure on R, whose support and spectrum are both uniformly discrete sets, must have a periodic structure. Here we show that this is not the case if the support and the spectrum are just discrete closed sets. We proved recently that a measure on R, whose support and spectrum are both uniformly discrete sets, must have a periodic structure. Here we show that this is not the case if the support and the spectrum are just discrete closed sets. △ Less

Submitted 8 September, 2015; v1 submitted 31 December, 2014; originally announced January 2015.

Comments: Main result stated in a stronger form that was not mentioned explicitly in the first version. To appear in Revista Matematica Iberoamericana

Sets of bounded discrepancy for multi-dimensional irrational rotation

Authors: Sigrid Grepstad, Nir Lev

Abstract: We study bounded remainder sets with respect to an irrational rotation of the $d$-dimensional torus. The subject goes back to Hecke, Ostrowski and Kesten who characterized the intervals with bounded remainder in dimension one. First we extend to several dimensions the Hecke-Ostrowski result by constructing a class of $d$-dimensional parallelepipeds of bounded remainder. Then we characterize the… ▽ More We study bounded remainder sets with respect to an irrational rotation of the $d$-dimensional torus. The subject goes back to Hecke, Ostrowski and Kesten who characterized the intervals with bounded remainder in dimension one. First we extend to several dimensions the Hecke-Ostrowski result by constructing a class of $d$-dimensional parallelepipeds of bounded remainder. Then we characterize the Riemann measurable bounded remainder sets in terms of "equidecomposability" to such a parallelepiped. By constructing invariants with respect to this equidecomposition, we derive explicit conditions for a polytope to be a bounded remainder set. In particular this yields a characterization of the convex bounded remainder polygons in two dimensions. The approach is used to obtain several other results as well. △ Less

Submitted 22 October, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: To appear in Geometric And Functional Analysis

MSC Class: 11K38; 11J71; 52B45

Quasicrystals and Poisson's summation formula

Authors: Nir Lev, Alexander Olevskii

Abstract: We characterize the measures on R which have both their support and spectrum uniformly discrete. A similar result is obtained in R^n for positive measures. We characterize the measures on R which have both their support and spectrum uniformly discrete. A similar result is obtained in R^n for positive measures. △ Less

Submitted 31 December, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: To appear in Inventiones mathematicae

Separating signal from noise

Authors: Nir Lev, Ron Peled, Yuval Peres

Abstract: Suppose that a sequence of numbers $x_n$ (a `signal') is transmitted through a noisy channel. The receiver observes a noisy version of the signal with additive random fluctuations, $x_n + ξ_n$, where $ξ_n$ is a sequence of independent standard Gaussian random variables. Suppose further that the signal is known to come from some fixed space of possible signals. Is it possible to fully recover the t… ▽ More Suppose that a sequence of numbers $x_n$ (a `signal') is transmitted through a noisy channel. The receiver observes a noisy version of the signal with additive random fluctuations, $x_n + ξ_n$, where $ξ_n$ is a sequence of independent standard Gaussian random variables. Suppose further that the signal is known to come from some fixed space of possible signals. Is it possible to fully recover the transmitted signal from its noisy version? Is it possible to at least detect that a non-zero signal was transmitted? In this paper we consider the case in which signals are infinite sequences and the recovery or detection are required to hold with probability one. We provide conditions on the signal space for checking whether detection or recovery are possible. We also analyze in detail several examples including spaces of Fourier transforms of measures, spaces with fixed amplitudes and the space of almost periodic functions. Many of our examples exhibit critical phenomena, in which a sharp transition is made from a regime in which recovery is possible to a regime in which even detection is impossible. △ Less

Submitted 3 August, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: 46 pages. Minor improvements to the exposition in new version

MSC Class: 60G35; 62M20; 93E11; 94A12; 94A13

Journal ref: Proceedings of the London Mathematical Society 2015; 110 (4): 883-931

Multi-tiling and Riesz bases

Authors: Sigrid Grepstad, Nir Lev

Abstract: Let S be a bounded, Riemann measurable set in R^d, and L be a lattice. By a theorem of Fuglede, if S tiles R^d with translation set L, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S multi-tiles R^d with translation set L, S has a Riesz basis of exponentials. The proof is based on Meyer's quasicrystals. Let S be a bounded, Riemann measurable set in R^d, and L be a lattice. By a theorem of Fuglede, if S tiles R^d with translation set L, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S multi-tiles R^d with translation set L, S has a Riesz basis of exponentials. The proof is based on Meyer's quasicrystals. △ Less

Submitted 20 November, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

Journal ref: Advances in Mathematics, Vol. 252, p. 1-6, 2014

Equidistribution estimates for Fekete points on complex manifolds

Authors: Nir Lev, Joaquim Ortega-Cerdà

Abstract: We study the equidistribution of Fekete points in a compact complex manifold. These are extremal point configurations defined through sections of powers of a positive line bundle. Their equidistribution is a known result. The novelty of our approach is that we relate them to the problem of sampling and interpolation on line bundles, which allows us to estimate the equidistribution of the Fekete po… ▽ More We study the equidistribution of Fekete points in a compact complex manifold. These are extremal point configurations defined through sections of powers of a positive line bundle. Their equidistribution is a known result. The novelty of our approach is that we relate them to the problem of sampling and interpolation on line bundles, which allows us to estimate the equidistribution of the Fekete points quantitatively. In particular we estimate the Kantorovich-Wasserstein distance of the Fekete points to its limiting measure. The sampling and interpolation arrays on line bundles are a subject of independent interest, and we provide necessary density conditions through the classical approach of Landau, that in this context measures the local dimension of the space of sections of the line bundle. We obtain a complete geometric characterization of sampling and interpolation arrays in the case of compact manifolds of dimension one, and we prove that there are no arrays of both sampling and interpolation in the more general setting of semipositive line bundles. △ Less

Submitted 27 December, 2013; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: Improved version with a sharp decay rate in the estimate of the Kantorovich-Wasserstein distance of the Fekete points to its limiting measure (Theorem 2)

Journal ref: J. Eur. Math. Soc. (JEMS) 18 (2), 2016 p.425-464

Riesz bases of exponentials on multiband spectra

Authors: Nir Lev

Abstract: Let $S$ be the union of finitely many disjoint intervals on the real line. Suppose that there are two real numbers $α, β$ such that the length of each interval belongs to $Z α+ Z β$. We use quasicrystals to construct a discrete set of real frequencies such that the corresponding system of exponentials is a Riesz basis in the space $L^2(S)$. Let $S$ be the union of finitely many disjoint intervals on the real line. Suppose that there are two real numbers $α, β$ such that the length of each interval belongs to $Z α+ Z β$. We use quasicrystals to construct a discrete set of real frequencies such that the corresponding system of exponentials is a Riesz basis in the space $L^2(S)$. △ Less

Submitted 22 March, 2011; v1 submitted 20 January, 2011; originally announced January 2011.

Comments: 5 pages, to appear in Proceedings of the American Mathematical Society

Journal ref: Proc. Amer. Math. Soc. 140 (2012), no. 9, 3127-3132

Exponential Riesz bases, discrepancy of irrational rotations and BMO

Authors: Gady Kozma, Nir Lev

Abstract: We study the basis property of systems of exponentials with frequencies belonging to 'simple quasicrystals'. We show that a diophantine condition is necessary and sufficient for such a system to be a Riesz basis in L^2 on a finite union of intervals. For the proof we extend to BMO a theorem of Kesten about the discrepancy of irrational rotations of the circle. We study the basis property of systems of exponentials with frequencies belonging to 'simple quasicrystals'. We show that a diophantine condition is necessary and sufficient for such a system to be a Riesz basis in L^2 on a finite union of intervals. For the proof we extend to BMO a theorem of Kesten about the discrepancy of irrational rotations of the circle. △ Less

Submitted 13 March, 2011; v1 submitted 11 September, 2010; originally announced September 2010.

Comments: 16 pages, to appear in J. Fourier Analysis and Applications

Wiener's 'closure of translates' problem and Piatetski-Shapiro's uniqueness phenomenon

Authors: Nir Lev, Alexander Olevskii

Abstract: Wiener characterized the cyclic vectors (with respect to translations) in $l^p(Z)$ and $L^p(R)$, $p=1,2$, in terms of the zero set of the Fourier transform. He conjectured that a similar characterization should be true for $1<p<2$. Our main result contradicts this conjecture. Wiener characterized the cyclic vectors (with respect to translations) in $l^p(Z)$ and $L^p(R)$, $p=1,2$, in terms of the zero set of the Fourier transform. He conjectured that a similar characterization should be true for $1<p<2$. Our main result contradicts this conjecture. △ Less

Submitted 8 July, 2011; v1 submitted 4 August, 2009; originally announced August 2009.

MSC Class: 42A63 (Primary) 43A45; 47A16 (Secondary)

Journal ref: Annals of Mathematics 174 (2011), 519-541

Piatetski-Shapiro's phenomenon and related problems

Authors: Nir Lev

Abstract: This Ph.D. thesis, prepared under the supervision of Prof. Alexander Olevskii, is concerned with some problems in two areas of Fourier Analysis: uniqueness theory of trigonometric expansions, and the theory of translation invariant subspaces in function spaces. Our main result in the first area extends to $\ell_q$ spaces ($q > 2$) a deep phenomenon found by Piatetski-Shapiro in 1954 for the spac… ▽ More This Ph.D. thesis, prepared under the supervision of Prof. Alexander Olevskii, is concerned with some problems in two areas of Fourier Analysis: uniqueness theory of trigonometric expansions, and the theory of translation invariant subspaces in function spaces. Our main result in the first area extends to $\ell_q$ spaces ($q > 2$) a deep phenomenon found by Piatetski-Shapiro in 1954 for the space $c_0$. The approach we developed also enabled us to get a result in the second mentioned area, which a priori does not look connected with the first one. The result (maybe, a bit surprising) is: one cannot characterize the functions in $\ell_p(\Z)$ or $L^p(\R)$, $1 < p < 2$, whose translates span the whole space, by the zero set of their Fourier transform. This should be contrasted against the classical Wiener theorems related to the cases $p=1,2$. △ Less

Submitted 10 July, 2008; originally announced July 2008.

Comments: Ph.D. thesis prepared under the supervision of Professor Alexander Olevskii at Tel-Aviv University (Submitted 2008)

MSC Class: 42A63 (Primary) 42A65 (Secondary)