-
Cube tilings with linear constraints
Authors:
Dae Gwan Lee,
Goetz E. Pfander,
David Walnut
Abstract:
We consider tilings $(\mathcal{Q},Φ)$ of $\mathbb{R}^d$ where $\mathcal{Q}$ is the $d$-dimensional unit cube and the set of translations $Φ$ is constrained to lie in a pre-determined lattice $A \mathbb{Z}^d$ in $\mathbb{R}^d$. We provide a full characterization of matrices $A$ for which such cube tilings exist when $Φ$ is a sublattice of $A\mathbb{Z}^d$ with any $d \in \mathbb{N}$ or a generic sub…
▽ More
We consider tilings $(\mathcal{Q},Φ)$ of $\mathbb{R}^d$ where $\mathcal{Q}$ is the $d$-dimensional unit cube and the set of translations $Φ$ is constrained to lie in a pre-determined lattice $A \mathbb{Z}^d$ in $\mathbb{R}^d$. We provide a full characterization of matrices $A$ for which such cube tilings exist when $Φ$ is a sublattice of $A\mathbb{Z}^d$ with any $d \in \mathbb{N}$ or a generic subset of $A\mathbb{Z}^d$ with $d\leq 7$. As a direct consequence of our results, we obtain a criterion for the existence of linearly constrained frequency sets, that is, $Φ\subseteq A\mathbb{Z}^d$, such that the respective set of complex exponential functions $\mathcal{E} (Φ)$ is an orthogonal Fourier basis for the space of square integrable functions supported on a parallelepiped $B\mathcal{Q}$, where $A, B \in \mathbb{R}^{d \times d}$ are nonsingular matrices given a priori. Similarly constructed Riesz bases are considered in a companion paper.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Exponential bases for parallelepipeds with frequencies lying in a prescribed lattice
Authors:
Dae Gwan Lee,
Goetz E. Pfander,
David Walnut
Abstract:
The existence of a Fourier basis with frequencies in $\mathbb{R}^d$ for the space of square integrable functions supported on a given parallelepiped in $\mathbb{R}^d$, has been well understood since the 1950s. In a companion paper, we derived necessary and sufficient conditions for a parallelepiped in $\mathbb{R}^d$ to permit an orthogonal basis of exponentials with frequencies constrained to be a…
▽ More
The existence of a Fourier basis with frequencies in $\mathbb{R}^d$ for the space of square integrable functions supported on a given parallelepiped in $\mathbb{R}^d$, has been well understood since the 1950s. In a companion paper, we derived necessary and sufficient conditions for a parallelepiped in $\mathbb{R}^d$ to permit an orthogonal basis of exponentials with frequencies constrained to be a subset of a prescribed lattice in $\mathbb{R}^d$, a restriction relevant in many applications. In this paper, we investigate analogous conditions for parallelepipeds that permit a Riesz basis of exponentials with the same constraints on the frequencies. We provide a sufficient condition on the parallelepiped for the Riesz basis case which directly extends one of the necessary and sufficient conditions obtained in the orthogonal basis case. We also provide a sufficient condition which constrains the spectral norm of the matrix generating the parallelepiped, instead of constraining the structure of the matrix.
△ Less
Submitted 13 March, 2024; v1 submitted 15 January, 2024;
originally announced January 2024.
-
Bases of complex exponentials with restricted supports
Authors:
Dae Gwan Lee,
Goetz E. Pfander,
David Walnut
Abstract:
The complex exponentials with integer frequencies form a basis for the space of square integrable functions on the unit interval. We analyze whether the basis property is maintained if the support of the complex exponentials is restricted to possibly overlapping subsets of the unit interval. We show, for example, that if $S_1, \ldots, S_K \subset [0,1]$ are finite unions of intervals with rational…
▽ More
The complex exponentials with integer frequencies form a basis for the space of square integrable functions on the unit interval. We analyze whether the basis property is maintained if the support of the complex exponentials is restricted to possibly overlapping subsets of the unit interval. We show, for example, that if $S_1, \ldots, S_K \subset [0,1]$ are finite unions of intervals with rational endpoints that cover the unit interval, then there exists a partition of $\mathbb{Z}$ into sets $Λ_1, \ldots, Λ_K$ such that $\bigcup_{k=1}^K \{ e^{2πi λ(\cdot)} χ_{S_k} : λ\in Λ_k \}$ is a Riesz basis for $L^2[0,1]$. Here, $χ_S$ denotes the characteristic function of $S$.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Exponential bases for partitions of intervals
Authors:
Goetz Pfander,
Shauna Revay,
David Walnut
Abstract:
For a partition of $[0,1]$ into intervals $I_1,\ldots,I_n$ we prove the existence of a partition of $\mathbb{Z}$ into $Λ_1,\ldots, Λ_n$ such that the complex exponential functions with frequencies in $ Λ_k$ form a Riesz basis for $L^2(I_k)$, and furthermore, that for any $J\subseteq\{1,\,2,\,\dots,\,n\}$, the exponential functions with frequencies in $ \bigcup_{j\in J}Λ_j$ form a Riesz basis for…
▽ More
For a partition of $[0,1]$ into intervals $I_1,\ldots,I_n$ we prove the existence of a partition of $\mathbb{Z}$ into $Λ_1,\ldots, Λ_n$ such that the complex exponential functions with frequencies in $ Λ_k$ form a Riesz basis for $L^2(I_k)$, and furthermore, that for any $J\subseteq\{1,\,2,\,\dots,\,n\}$, the exponential functions with frequencies in $ \bigcup_{j\in J}Λ_j$ form a Riesz basis for $L^2(I)$ for any interval $I$ with length $|I|=\sum_{j\in J}|I_j|$. The construction extends to infinite partitions of $[0,1]$, but with size limitations on the subsets $J\subseteq \mathbb{Z}$; it combines the ergodic properties of subsequences of $\mathbb{Z}$ known as Beatty-Fraenkel sequences with a theorem of Avdonin on exponential Riesz bases.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Sampling and reconstruction of operators
Authors:
Götz E. Pfander,
David F. Walnut
Abstract:
We study the recovery of operators with bandlimited Kohn-Nirenberg symbol from the action of such operators on a weighted impulse train, a procedure we refer to as operator sampling. Kailath, and later Kozek and the authors have shown that operator sampling is possible if the symbol of the operator is bandlimited to a set with area less than one. In this paper we develop explicit reconstruction fo…
▽ More
We study the recovery of operators with bandlimited Kohn-Nirenberg symbol from the action of such operators on a weighted impulse train, a procedure we refer to as operator sampling. Kailath, and later Kozek and the authors have shown that operator sampling is possible if the symbol of the operator is bandlimited to a set with area less than one. In this paper we develop explicit reconstruction formulas for operator sampling that generalize reconstruction formulas for bandlimited functions. We give necessary and sufficient conditions on the sampling rate that depend on size and geometry of the bandlimiting set. Moreover, we show that under mild geometric conditions, classes of operators bandlimited to an unknown set of area less than one-half permit sampling and reconstruction. A similar result considering unknown sets of area less than one was independently achieved by Heckel and Boelcskei.
Operators with bandlimited symbols have been used to model doubly dispersive communication channels with slowly-time-varying impulse response. The results in this paper are rooted in work by Bello and Kailath in the 1960s.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
Cornerstones of Sampling of Operator Theory
Authors:
David Walnut,
Götz E. Pfander,
Thomas Kailath
Abstract:
This paper reviews some results on the identifiability of classes of operators whose Kohn-Nirenberg symbols are band-limited (called band-limited operators), which we refer to as sampling of operators. We trace the motivation and history of the subject back to the original work of the third-named author in the late 1950s and early 1960s, and to the innovations in spread-spectrum communications tha…
▽ More
This paper reviews some results on the identifiability of classes of operators whose Kohn-Nirenberg symbols are band-limited (called band-limited operators), which we refer to as sampling of operators. We trace the motivation and history of the subject back to the original work of the third-named author in the late 1950s and early 1960s, and to the innovations in spread-spectrum communications that preceded that work. We give a brief overview of the NOMAC (Noise Modulation and Correlation) and Rake receivers, which were early implementations of spread-spectrum multi-path wireless communication systems. We examine in detail the original proof of the third-named author characterizing identifiability of channels in terms of the maximum time and Doppler spread of the channel, and do the same for the subsequent generalization of that work by Bello.
The mathematical limitations inherent in the proofs of Bello and the third author are removed by using mathematical tools unavailable at the time. We survey more recent advances in sampling of operators and discuss the implications of the use of periodically-weighted delta-trains as identifiers for operator classes that satisfy Bello's criterion for identifiability, leading to new insights into the theory of finite-dimensional Gabor systems. We present novel results on operator sampling in higher dimensions, and review implications and generalizations of the results to stochastic operators, MIMO systems, and operators with unknown spreading domains.
△ Less
Submitted 11 February, 2015;
originally announced February 2015.
