-
Deconvolution on graphs via linear programming
Authors:
Bernhard G. Bodmann,
Jennifer J. May
Abstract:
The main challenge addressed in this paper is to identify individual terms in a superposition of heat kernels on a graph. We establish geometric conditions on the vertices at which these heat kernels are centered and find bounds on the time parameter governing the evolution under the heat semigroup that guarantee a successful recovery. This result can be viewed as a type of deconvolution on a grap…
▽ More
The main challenge addressed in this paper is to identify individual terms in a superposition of heat kernels on a graph. We establish geometric conditions on the vertices at which these heat kernels are centered and find bounds on the time parameter governing the evolution under the heat semigroup that guarantee a successful recovery. This result can be viewed as a type of deconvolution on a graph.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
A scattering transform for graphs based on heat semigroups, with an application for the detection of anomalies in positive time series with underlying periodicities
Authors:
Bernhard G. Bodmann,
Iris Emilsdottir
Abstract:
This paper develops an adaptive version of Mallat's scattering transform for signals on graphs. The main results are norm bounds for the layers of the transform, obtained from a version of a Beurling-Deny inequality that permits to remove the nonlinear steps in the scattering transform. Under statistical assumptions on the input signal, the norm bounds can be refined. The concepts presented here a…
▽ More
This paper develops an adaptive version of Mallat's scattering transform for signals on graphs. The main results are norm bounds for the layers of the transform, obtained from a version of a Beurling-Deny inequality that permits to remove the nonlinear steps in the scattering transform. Under statistical assumptions on the input signal, the norm bounds can be refined. The concepts presented here are illustrated with an application to traffic counts which exhibit characteristic daily and weekly periodicities. Anomalous traffic patterns which deviate from these expected periodicities produce a response in the scattering transform.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
Spikes, Roots, and Modulations: Phase Retrieval for Finitely-Supported Complex Measures
Authors:
Bernhard G. Bodmann,
Ahmed Abouserie
Abstract:
We study the recovery of a finitely supported distribution, a complex linear combination of Dirac measures, from intensity measurements. The distribution $μ=\sum_{j=1}^{s}c_{j}δ_{t_{j}}$ is given by a coefficient vector $c\in\mathbb{C}^s$ and its support $\{t_1, t_2, \dots, t_s\}$ is contained in $ [0,Λ]$ for some $Λ>0$. The intensity measurements evaluate (squared) magnitudes of a set of linear f…
▽ More
We study the recovery of a finitely supported distribution, a complex linear combination of Dirac measures, from intensity measurements. The distribution $μ=\sum_{j=1}^{s}c_{j}δ_{t_{j}}$ is given by a coefficient vector $c\in\mathbb{C}^s$ and its support $\{t_1, t_2, \dots, t_s\}$ is contained in $ [0,Λ]$ for some $Λ>0$. The intensity measurements evaluate (squared) magnitudes of a set of linear functionals applied to $μ$, obtained by sampling $\hat μ$, the Fourier transform of $μ$, or by evaluating differences between modulated samples. Following a strategy by Alexeev et al., the structure of the linear functionals, and hence of the non-linear magnitude measurement, is encoded with a graph, where the vertices represent point evaluations of $\hat μ$ at $\{v_1, v_2, \dots, v_n\} \subset [-Ω,Ω]$ and each edge represents a (modulated) difference between vertices incident with it. We show that a Ramanujan graph with degree $d \ge 3$ and $n>\frac{6(1 + 6 /\ln(s/ΛΩ)) s}{1-2\sqrt{d-1}/d}$ vertices provides $M=(d+1)n$ magnitudes that are sufficient for identifying the complex measure up to an overall unimodular multiplicative constant. At the cost of including an additional oversampling step and with an additional requirement that $n-1$ is prime, we construct an explicit recovery algorithm that is based on the Prony method.
△ Less
Submitted 31 March, 2022;
originally announced April 2022.
-
From the Harmonic Oscillator to Time-Frequency Analysis of Chirp Signals
Authors:
Donald J. Kouri,
Caleb Broodo,
Bernhard G. Bodmann,
Cameron L. Williams
Abstract:
This paper presents a novel approach to understanding the role of harmonic dynamics and gaining a deeper appreciation for its impact within and outside of quantum mechanics. This includes consequences of harmonic dynamics and the uncertainty principle for anomalous diffusion and for the time-frequency analysis of chirp signals. In this approach, we consider a contact transformation to view a syste…
▽ More
This paper presents a novel approach to understanding the role of harmonic dynamics and gaining a deeper appreciation for its impact within and outside of quantum mechanics. This includes consequences of harmonic dynamics and the uncertainty principle for anomalous diffusion and for the time-frequency analysis of chirp signals. In this approach, we consider a contact transformation to view a system of canonical variables with coordinate $x$ and momentum $p_x$ in the context of a new system of "generalized" coordinates and momentum. This new system is first studied in the context of non-relativistic quantum mechanics. The classical analog is then explored by use of the Poisson bracket equation. From this, new implications are demonstrated in classical phenomena. One is for a new model of Anomalous and Normal Diffusion. In another, we introduce the concept of the "Mixed Fourier Transform" which explores a new Gaussian Fourier Transform kernel in terms of the generalized variables. This has the ultimate objective of "harmonizing" chirp signals or producing a harmonic signal from an otherwise non-harmonic chirp.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
Phase retrieval by random binary questions: Which complementary subspace is closer?
Authors:
Dylan Domel-White,
Bernhard G. Bodmann
Abstract:
Phase retrieval in real or complex Hilbert spaces is the task of recovering a vector, up to an overall unimodular multiplicative constant, from magnitudes of linear measurements. In this paper, we assume that the vector is normalized, but retain only qualitative, binary information about the measured magnitudes by comparing them with a threshold. In more specific, geometric terms, we choose a sequ…
▽ More
Phase retrieval in real or complex Hilbert spaces is the task of recovering a vector, up to an overall unimodular multiplicative constant, from magnitudes of linear measurements. In this paper, we assume that the vector is normalized, but retain only qualitative, binary information about the measured magnitudes by comparing them with a threshold. In more specific, geometric terms, we choose a sequence of subspaces in a real or complex Hilbert space and only record whether a given vector is closer to the subspace than to the complementary subspace. The subspaces have half the dimension of the Hilbert space and are independent, uniformly distributed with respect to the action of the orthogonal or unitary groups. The main goal of this paper is to find a feasible algorithm for approximate recovery based on the information gained about the vector from these binary questions and to establish error bounds for its approximate recovery. We provide a pointwise bound for fixed input vectors and a uniform bound that controls the worst-case scenario among all inputs. Both bounds hold with high probability with respect to the choice of the subspaces. For real or complex vectors of dimension $n$, the pointwise bound requires $m \ge C δ^{-2} n \log(n)$ and the uniform bound $m \ge C δ^{-2} n^2 \log(δ^{-1} n)$ binary questions in order to achieve an accuracy of $δ$. The accuracy $δ$ is measured by the operator norm of the difference between the rank-one orthogonal projections corresponding to the normalized input vector and its approximate recovery.
△ Less
Submitted 15 November, 2019; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Compressed Sensing for Analog Signals
Authors:
Bernard G. Bodmann,
Axel Flinth,
Gitta Kutyniok
Abstract:
In this paper we develop a general theory of compressed sensing for analog signals, in close similarity to prior results for vectors in finite dimensional spaces that are sparse in a given orthonormal basis. The signals are modeled by functions in a reproducing kernel Hilbert space. Sparsity is defined as the minimal number of terms in expansions based on the kernel functions. Minimizing this numb…
▽ More
In this paper we develop a general theory of compressed sensing for analog signals, in close similarity to prior results for vectors in finite dimensional spaces that are sparse in a given orthonormal basis. The signals are modeled by functions in a reproducing kernel Hilbert space. Sparsity is defined as the minimal number of terms in expansions based on the kernel functions. Minimizing this number is under certain conditions equivalent to minimizing an atomic norm, the pre-dual of the supremum norm for functions in the Hilbert space. The norm minimizer is shown to exist based on a compactness argument. Recovery based on minimizing the atomic norm is robust and stable, so it provides controllable accuracy for recovery when the signal is only approximately sparse and the measurement is corrupted by noise.
As applications of the theory, we include results on the recovery of sparse bandlimited functions and functions that have a sparse inverse short-time Fourier transform.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Binary Parseval frames from group orbits
Authors:
Robert P. Mendez,
Bernhard G. Bodmann,
Zachery J. Baker,
Micah G. Bullock,
Jacob E. McLaney
Abstract:
Binary Parseval frames share many structural properties with real and complex ones. On the other hand, there are subtle differences, for example that the Gramian of a binary Parseval frame is characterized as a symmetric idempotent whose range contains at least one odd vector. Here, we study binary Parseval frames obtained from the orbit of a vector under a group representation, in short, binary P…
▽ More
Binary Parseval frames share many structural properties with real and complex ones. On the other hand, there are subtle differences, for example that the Gramian of a binary Parseval frame is characterized as a symmetric idempotent whose range contains at least one odd vector. Here, we study binary Parseval frames obtained from the orbit of a vector under a group representation, in short, binary Parseval group frames. In this case, the Gramian of the frame is in the algebra generated by the right regular representation. We identify equivalence classes of such Parseval frames with binary functions on the group that satisfy a convolution identity. This allows us to find structural constraints for such frames. We use these constraints to catalogue equivalence classes of binary Parseval frames obtained from group representations. As an application, we study the performance of binary Parseval frames generated with abelian groups for purposes of error correction. We show that $Z_p^q$ is always preferable to $Z_{p^q}$ when searching for best performing codes associated with binary Parseval group frames.
△ Less
Submitted 12 December, 2017;
originally announced December 2017.
-
On the minimum of the mean-squared error in 2-means clustering
Authors:
Bernhard G. Bodmann,
Craig J. George
Abstract:
We study the minimum mean-squared error for 2-means clustering when the outcomes of the vector-valued random variable to be clustered are on two touching spheres of unit radius in $n$-dimensional Euclidean space and the underlying probability distribution is the normalized surface measure. For simplicity, we only consider the asymptotics of large sample sizes and replace empirical samples by the p…
▽ More
We study the minimum mean-squared error for 2-means clustering when the outcomes of the vector-valued random variable to be clustered are on two touching spheres of unit radius in $n$-dimensional Euclidean space and the underlying probability distribution is the normalized surface measure. For simplicity, we only consider the asymptotics of large sample sizes and replace empirical samples by the probability measure. The concrete question addressed here is whether a minimizer for the mean-squared error identifies the two individual spheres as clusters. Indeed, in dimensions $n \ge 3$, the minimum of the mean-squared error is achieved by a partition that separates the two spheres and has unit distance between the points in each cluster and the respective mean. In dimension $n=2$, however, the minimizer fails to identify the individual spheres; an optimal partition is obtained by a separating hyperplane that does not contain the point at which the spheres touch.
△ Less
Submitted 26 October, 2017;
originally announced October 2017.
-
Point Transformations and the Relationships Among Anomalous Diffusion, Normal Diffusion and the Central Limit Theorem
Authors:
Donald J. Kouri,
Nikhil N. Pandya,
Cameron L. Williams,
Bernhard G. Bodmann,
Jie Yao
Abstract:
We present new connections among anomalous diffusion (AD), normal diffusion (ND) and the Central Limit Theorem. This is done by defining a point transformation to a new position variable, which we postulate to be Cartesian, motivated by considerations from super-symmetric quantum mechanics. Canonically quantizing in the new position and momentum variables according to Dirac gives rise to generaliz…
▽ More
We present new connections among anomalous diffusion (AD), normal diffusion (ND) and the Central Limit Theorem. This is done by defining a point transformation to a new position variable, which we postulate to be Cartesian, motivated by considerations from super-symmetric quantum mechanics. Canonically quantizing in the new position and momentum variables according to Dirac gives rise to generalized negative semi-definite and self-adjoint Laplacian operators. These lead to new generalized Fourier transformations and associated probability distributions, which are form invariant under the corresponding transform. The new Laplacians also lead us to generalized diffusion equations, which imply a connection to the CLT. We show that the derived diffusion equations capture all of the Fractal and Non-Fractal Diffusion equations of O'Shaughnessy and Procaccia. However, we also obtain new equations that cannot (so far as we are able to tell) be expressed as examples of the O'Shaughnessy and Procaccia equations. These equations also possess asymptotics that are related to a CLT but with bi-modal distributions as limits. The results show, in part, that experimentally measuring the diffusion scaling law can determine the point transformation (for monomial point transformations). We also show that AD in the original, physical position is actually ND when viewed in terms of displacements in an appropriately transformed position variable. Finally, we show that there is a new, anomalous diffusion possible for bi-modal probability distributions that also display attractor behavior which is the consequence of an underlying CLT.
△ Less
Submitted 4 January, 2018; v1 submitted 31 July, 2017;
originally announced August 2017.
-
Low frame coherence via zero-mean tensor embeddings
Authors:
Bernhard G. Bodmann,
John I. Haas IV
Abstract:
This paper is concerned with achieving optimal coherence for highly redundant real unit-norm frames. As the redundancy grows, the number of vectors in the frame becomes too large to admit equiangular arrangements. In this case, other geometric optimality criteria need to be identified. To this end, we use an iteration of the embedding technique by Conway, Hardin and Sloane. As a consequence of the…
▽ More
This paper is concerned with achieving optimal coherence for highly redundant real unit-norm frames. As the redundancy grows, the number of vectors in the frame becomes too large to admit equiangular arrangements. In this case, other geometric optimality criteria need to be identified. To this end, we use an iteration of the embedding technique by Conway, Hardin and Sloane. As a consequence of their work, a quadratic map** embeds equiangular lines into a simplex in a real Euclidean space. Here, higher degree polynomial maps embed highly redundant unit-norm frames to simplices in high-dimensional Euclidean spaces. We focus on the lowest degree case in which the embedding is quartic.
△ Less
Submitted 11 July, 2017;
originally announced July 2017.
-
Coupled Supersymmetry and Ladder Structures Beyond the Harmonic Oscillator
Authors:
Cameron L. Williams,
Nikhil N. Pandya,
Bernhard G. Bodmann,
Donald J. Kouri
Abstract:
The development of supersymmetric (SUSY) quantum mechanics has shown that some of the insights based on the algebraic properties of ladder operators related to the quantum mechanical harmonic oscillator carry over to the study of more general systems. At this level of generality, pairs of eigenfunctions of so-called partner Hamiltonians are transformed into each other, but the entire spectrum of a…
▽ More
The development of supersymmetric (SUSY) quantum mechanics has shown that some of the insights based on the algebraic properties of ladder operators related to the quantum mechanical harmonic oscillator carry over to the study of more general systems. At this level of generality, pairs of eigenfunctions of so-called partner Hamiltonians are transformed into each other, but the entire spectrum of any one of them cannot be deduced from this intertwining relationship in general -- except in special cases. In this paper, we present a more general structure that provides all eigenvalues for a class of Hamiltonians that do not factor into a pair of operators satisfying canonical commutation relations. Instead of a pair of partner Hamiltonians, we consider two pairs that differ by an overall shift in their spectrum. This is called coupled supersymmetry. In that case, we also develop coherent states and present some uncertainty principles which generalize the Heisenberg uncertainty principle. Coupled SUSY is explicitly realized by an infinite family of differential operators which admit orthonormal bases of eigenfunctions of generalized harmonic oscillators.
△ Less
Submitted 18 April, 2024; v1 submitted 10 January, 2017;
originally announced January 2017.
-
Maximal Orthoplectic Fusion Frames from Mutually Unbiased Bases and Block Designs
Authors:
Bernhard G. Bodmann,
John I. Haas
Abstract:
The construction of optimal line packings in real or complex Euclidean spaces has shown to be a tantalizingly difficult task, because it includes the problem of finding maximal sets of equiangular lines. In the regime where equiangular lines are not possible, some optimal packings are known, for example, those achieving the orthoplex bound related to maximal sets of mutually unbiased bases. In thi…
▽ More
The construction of optimal line packings in real or complex Euclidean spaces has shown to be a tantalizingly difficult task, because it includes the problem of finding maximal sets of equiangular lines. In the regime where equiangular lines are not possible, some optimal packings are known, for example, those achieving the orthoplex bound related to maximal sets of mutually unbiased bases. In this paper, we investigate the packing of subspaces instead of lines and determine the implications of maximality in this context. We leverage the existence of real or complex maximal mutually unbiased bases with a combinatorial design strategy in order to find optimal subspace packings that achieve the orthoplex bound. We also show that maximal sets of mutually unbiased bases convert between coordinate projections associated with certain balanced incomplete block designs and Grassmannian 2-designs. Examples of maximal orthoplectic fusion frames already appeared in the works by Shor, Sloane and by Zauner. They are realized in dimensions that are a power of four in the real case or a power of two in the complex case.
△ Less
Submitted 15 July, 2016;
originally announced July 2016.
-
From low to high-dimensional moments without magic
Authors:
Bernhard G. Bodmann,
Martin Ehler,
Manuel Graef
Abstract:
We aim to compute the first few moments of a high-dimensional random vector from the first few moments of a number of its low-dimensional projections. To this end, we identify algebraic conditions on the set of low-dimensional projectors that yield explicit reconstruction formulas. We also provide a computational framework, with which suitable projectors can be derived by solving an optimization p…
▽ More
We aim to compute the first few moments of a high-dimensional random vector from the first few moments of a number of its low-dimensional projections. To this end, we identify algebraic conditions on the set of low-dimensional projectors that yield explicit reconstruction formulas. We also provide a computational framework, with which suitable projectors can be derived by solving an optimization problem. Finally, we show that randomized projections permit approximate recovery.
△ Less
Submitted 1 September, 2017; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Achieving the orthoplex bound and constructing weighted complex projective 2-designs with Singer sets
Authors:
Bernhard G. Bodmann,
John Haas
Abstract:
Equiangular tight frames are examples of Grassmannian line packings for a Hilbert space. More specifically, according to a bound by Welch, they are minimizers for the maximal magnitude occurring among the inner products of all pairs of vectors in a unit-norm frame. This paper is dedicated to packings in the regime in which the number of frame vectors precludes the existence of equiangular frames.…
▽ More
Equiangular tight frames are examples of Grassmannian line packings for a Hilbert space. More specifically, according to a bound by Welch, they are minimizers for the maximal magnitude occurring among the inner products of all pairs of vectors in a unit-norm frame. This paper is dedicated to packings in the regime in which the number of frame vectors precludes the existence of equiangular frames. The orthoplex bound then serves as an alternative to infer a geometric structure of optimal designs. We construct frames of unit-norm vectors in $K$-dimensional complex Hilbert spaces that achieve the orthoplex bound. When $K-1$ is a prime power, we obtain a tight frame with $K^2+1$ vectors and when $K$ is a prime power, with $K^2+K-1$ vectors. In addition, we show that these frames form weighted complex projective 2-designs that are useful additions to maximal equiangular tight frames and maximal sets of mutually unbiased bases in quantum state tomography. Our construction is based on Singer's family of difference sets and the related concept of relative difference sets.
△ Less
Submitted 17 September, 2015;
originally announced September 2015.
-
What is odd about binary Parseval frames?
Authors:
Zachery J. Baker,
Bernhard G. Bodmann,
Micah G. Bullock,
Samantha N. Branum,
Jacob E. McLaney
Abstract:
This paper examines the construction and properties of binary Parseval frames. We address two questions: When does a binary Parseval frame have a complementary Parseval frame? Which binary symmetric idempotent matrices are Gram matrices of binary Parseval frames? In contrast to the case of real or complex Parseval frames, the answer to these questions is not always affirmative. The key to our unde…
▽ More
This paper examines the construction and properties of binary Parseval frames. We address two questions: When does a binary Parseval frame have a complementary Parseval frame? Which binary symmetric idempotent matrices are Gram matrices of binary Parseval frames? In contrast to the case of real or complex Parseval frames, the answer to these questions is not always affirmative. The key to our understanding comes from an algorithm that constructs binary orthonormal sequences that span a given subspace, whenever possible. Special regard is given to binary frames whose Gram matrices are circulants.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Region-of-Interest reconstruction from truncated cone-beam projections
Authors:
Robert Azencott,
Bernhard G. Bodmann,
Tasadduk Chowdhury,
Demetrio Labate,
Anando Sen,
Daniel Vera
Abstract:
Region-of-Interest (ROI) tomography aims at reconstructing a region of interest $C$ inside a body using only x-ray projections intersecting $C$ with the goal to reduce overall radiation exposure when only a small specific region of the body needs to be examined. We consider x-ray acquisition from sources located on a smooth curve $Γ$ in $\mathbb{R}^3$ verifying classical Tuy's condition. In this s…
▽ More
Region-of-Interest (ROI) tomography aims at reconstructing a region of interest $C$ inside a body using only x-ray projections intersecting $C$ with the goal to reduce overall radiation exposure when only a small specific region of the body needs to be examined. We consider x-ray acquisition from sources located on a smooth curve $Γ$ in $\mathbb{R}^3$ verifying classical Tuy's condition. In this situation, the {\it non-trucated} cone-beam transform $D f$ of smooth densities $f$ admits an explicit inverse $Z$; however $Z$ cannot directly reconstruct $f$ from ROI-truncated projections. To deal with the ROI tomography problem, we introduce a novel reconstruction approach. For densities $f$ in $L^{\infty}(B)$ where $B$ is a bounded ball in $\mathbb{R}^3$, our method iterates an operator $U$ combining ROI-truncated projections, inversion by the operator $Z$ and appropriate regularization operators. Assuming only knowledge of projections corresponding to a spherical ROI $C \subset B$, given $ε>0$, we prove that if $C$ is sufficiently large our iterative reconstruction algorithm converges uniformly to an $ε$-accurate approximation of $f$, where the accuracy depends on the regularity of $f$ quantified in the Sobolev norm $W^5(B)$. This result shows the existence of a critical ROI radius ensuring the convergence of the ROI reconstruction algorithm to $ε$-accurate approximations of $f$. We numerically verified these theoretical results using simulated acquisition of ROI-truncated cone-beam projection data for multiple acquisition geometries. Numerical experiments indicate that the critical ROI radius is fairly small with respect to the support region~$B$.
△ Less
Submitted 22 March, 2016; v1 submitted 4 February, 2015;
originally announced February 2015.
-
Algorithms and error bounds for noisy phase retrieval with low-redundancy frames
Authors:
Bernhard G. Bodmann,
Nathaniel Hammen
Abstract:
The main objective of this paper is to find algorithms accompanied by explicit error bounds for phase retrieval from noisy magnitudes of frame coefficients when the underlying frame has a low redundancy. We achieve these goals with frames consisting of $N=6d-3$ vectors spanning a $d$-dimensional complex Hilbert space. The two algorithms we use, phase propagation or the kernel method, are polynomia…
▽ More
The main objective of this paper is to find algorithms accompanied by explicit error bounds for phase retrieval from noisy magnitudes of frame coefficients when the underlying frame has a low redundancy. We achieve these goals with frames consisting of $N=6d-3$ vectors spanning a $d$-dimensional complex Hilbert space. The two algorithms we use, phase propagation or the kernel method, are polynomial time in the dimension $d$. To ensure a successful approximate recovery, we assume that the noise is sufficiently small compared to the squared norm of the vector to be recovered. In this regime, the error bound is inverse proportional to the signal-to-noise ratio. Upper and lower bounds on the sample values of trigonometric polynomials are a central technique in our error estimates.
△ Less
Submitted 20 December, 2014;
originally announced December 2014.
-
Frame potentials and the geometry of frames
Authors:
Bernhard G. Bodmann,
John Haas
Abstract:
This paper concerns the geometric structure of optimizers for frame potentials. We consider finite, real or complex frames and rotation or unitarily invariant potentials, and mostly specialize to Parseval frames, meaning the frame potential to be optimized is a function on the manifold of Gram matrices belonging to finite Parseval frames. Next to the known classes of equal-norm and equiangular Par…
▽ More
This paper concerns the geometric structure of optimizers for frame potentials. We consider finite, real or complex frames and rotation or unitarily invariant potentials, and mostly specialize to Parseval frames, meaning the frame potential to be optimized is a function on the manifold of Gram matrices belonging to finite Parseval frames. Next to the known classes of equal-norm and equiangular Parseval frames, we introduce equidistributed Parseval frames, which are more general than the equiangular type but have more structure than equal-norm ones. We also provide examples where this class coincides with that of Grassmannian frames, the minimizers for the maximal magnitude among inner products between frame vectors. These different types of frames are characterized in relation to the optimization of frame potentials. Based on results by Lojasiewicz, we show that the gradient descent for a real analytic frame potential on the manifold of Gram matrices belonging to Parseval frames always converges to a critical point. We then derive geometric structures associated with the critical points of different choices of frame potentials. The optimal frames for families of such potentials are thus shown to be equal-norm, or additionally equipartitioned, or even equidistributed.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
Fourier and Beyond: Invariance Properties of a Family of Integral Transforms
Authors:
Cameron L. Williams,
Bernhard G. Bodmann,
Donald J. Kouri
Abstract:
The Fourier transform is typically seen as closely related to the additive group of real numbers, its characters and its Haar measure. In this paper, we propose an alternative viewpoint; the Fourier transform can be uniquely characterized by an intertwining relation with dilations and by having a Gaussian as an eigenfunction. This broadens the perspective to an entire family of Fourier-like transf…
▽ More
The Fourier transform is typically seen as closely related to the additive group of real numbers, its characters and its Haar measure. In this paper, we propose an alternative viewpoint; the Fourier transform can be uniquely characterized by an intertwining relation with dilations and by having a Gaussian as an eigenfunction. This broadens the perspective to an entire family of Fourier-like transforms that are uniquely identified by the same dilation property and having Gaussian-like functions as eigenfunctions. We show that these transforms share many properties with the Fourier transform, particularly unitarity, periodicity and eigenvalues. We also establish short-time analogues of these transforms and show a reconstruction property and an orthogonality relation for the short-time transforms.
△ Less
Submitted 13 July, 2016; v1 submitted 17 March, 2014;
originally announced March 2014.
-
Gabor Shearlets
Authors:
Bernhard G. Bodmann,
Gitta Kutyniok,
Xiaosheng Zhuang
Abstract:
In this paper, we introduce Gabor shearlets, a variant of shearlet systems, which are based on a different group representation than previous shearlet constructions: they combine elements from Gabor and wavelet frames in their construction. As a consequence, they can be implemented with standard filters from wavelet theory in combination with standard Gabor windows. Unlike the usual shearlets, the…
▽ More
In this paper, we introduce Gabor shearlets, a variant of shearlet systems, which are based on a different group representation than previous shearlet constructions: they combine elements from Gabor and wavelet frames in their construction. As a consequence, they can be implemented with standard filters from wavelet theory in combination with standard Gabor windows. Unlike the usual shearlets, the new construction can achieve a redundancy as close to one as desired. Our construction follows the general strategy for shearlets. First we define group-based Gabor shearlets and then modify them to a cone-adapted version. In combination with Meyer filters, the cone-adapted Gabor shearlets constitute a tight frame and provide low-redundancy sparse approximations of the common model class of anisotropic features which are cartoon-like functions.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.
-
Random fusion frames are nearly equiangular and tight
Authors:
Bernhard G. Bodmann
Abstract:
This paper demonstrates that random, independently chosen equi-dimensional subspaces with a unitarily invariant distribution in a real Hilbert space provide nearly tight, nearly equiangular fusion frames. The angle between a pair of subspaces is measured in terms of the Hilbert-Schmidt inner product of the corresponding orthogonal projections. If the subspaces are selected at random, then a measur…
▽ More
This paper demonstrates that random, independently chosen equi-dimensional subspaces with a unitarily invariant distribution in a real Hilbert space provide nearly tight, nearly equiangular fusion frames. The angle between a pair of subspaces is measured in terms of the Hilbert-Schmidt inner product of the corresponding orthogonal projections. If the subspaces are selected at random, then a measure concentration argument shows that these inner products concentrate near an average value. Overwhelming success probability for near tightness and equiangularity is guaranteed if the dimension of the subspaces is sufficiently small compared to that of the Hilbert space and if the dimension of the Hilbert space is small compared to the sum of all subspace dimensions.
△ Less
Submitted 23 March, 2013;
originally announced March 2013.
-
Stable phase retrieval with low-redundancy frames
Authors:
Bernhard G. Bodmann,
Nathaniel Hammen
Abstract:
We investigate the recovery of vectors from magnitudes of frame coefficients when the frames have a low redundancy, meaning a small number of frame vectors compared to the dimension of the Hilbert space. We first show that for vectors in d dimensions, 4d-4 suitably chosen frame vectors are sufficient to uniquely determine each signal, up to an overall unimodular constant, from the magnitudes of it…
▽ More
We investigate the recovery of vectors from magnitudes of frame coefficients when the frames have a low redundancy, meaning a small number of frame vectors compared to the dimension of the Hilbert space. We first show that for vectors in d dimensions, 4d-4 suitably chosen frame vectors are sufficient to uniquely determine each signal, up to an overall unimodular constant, from the magnitudes of its frame coefficients. Then we discuss the effect of noise and show that 8d-4 frame vectors provide a stable recovery if part of the frame coefficients is bounded away from zero. In this regime, perturbing the magnitudes of the frame coefficients by noise that is sufficiently small results in a recovery error that is at most proportional to the noise level.
△ Less
Submitted 22 February, 2013;
originally announced February 2013.
-
Spanning and independence properties of frame partitions
Authors:
Bernhard G. Bodmann,
Peter G. Casazza,
Vern I. Paulsen,
Darrin Speegle
Abstract:
We answer a number of open problems in frame theory concerning the decomposition of frames into linearly independent and/or spanning sets. We prove that in finite dimensional Hilbert spaces, Parseval frames with norms bounded away from 1 can be decomposed into a number of sets whose complements are spanning, where the number of these sets only depends on the norm bound. We also prove, assuming th…
▽ More
We answer a number of open problems in frame theory concerning the decomposition of frames into linearly independent and/or spanning sets. We prove that in finite dimensional Hilbert spaces, Parseval frames with norms bounded away from 1 can be decomposed into a number of sets whose complements are spanning, where the number of these sets only depends on the norm bound. We also prove, assuming the Kadison-Singer conjecture is true, that this holds for infinite dimensional Hilbert spaces. Further, we prove a stronger result for Parseval frames whose norms are uniformly small, which shows that in addition to the spanning property, the sets can be chosen to be independent, and the complement of each set to contain a number of disjoint, spanning sets.
△ Less
Submitted 14 April, 2010;
originally announced April 2010.
-
A quantitative notion of redundancy for finite frames
Authors:
Bernhard G. Bodmann,
Peter G. Casazza,
Gitta Kutyniok
Abstract:
The objective of this paper is to improve the customary definition of redundancy by providing quantitative measures in its place, which we coin upper and lower redundancies, that match better with an intuitive understanding of redundancy for finite frames in a Hilbert space. This motivates a carefully chosen list of desired properties for upper and lower redundancies. The means to achieve these…
▽ More
The objective of this paper is to improve the customary definition of redundancy by providing quantitative measures in its place, which we coin upper and lower redundancies, that match better with an intuitive understanding of redundancy for finite frames in a Hilbert space. This motivates a carefully chosen list of desired properties for upper and lower redundancies. The means to achieve these properties is to consider the maximum and minimum of a redundancy function, which is interesting in itself. The redundancy function is defined on the sphere of the Hilbert space and measures the concentration of frame vectors around each point. A complete characterization of functions on the sphere which coincide with a redundancy function for some frame is given. The upper and lower redundancies obtained from this function are shown to satisfy all of the intuitively desirable properties. In addition, the range of values they assume is characterized.
△ Less
Submitted 18 November, 2009; v1 submitted 30 October, 2009;
originally announced October 2009.
-
Frame theory for binary vector spaces
Authors:
Bernhard G. Bodmann,
My Le,
Letty Reza,
Matthew Tobin,
Mark Tomforde
Abstract:
We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the discussion of conceptual differences caused by the lack of a proper inner product on binary vector spaces. We also define switching equivalence for binary frame…
▽ More
We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the discussion of conceptual differences caused by the lack of a proper inner product on binary vector spaces. We also define switching equivalence for binary frames, and list all equivalence classes of binary Parseval frames in lowest dimensions, excluding cases of trivial redundancy.
△ Less
Submitted 18 June, 2009;
originally announced June 2009.
-
Equiangular tight frames from complex Seidel matrices containing cube roots of unity
Authors:
Bernhard G. Bodmann,
Vern I. Paulsen,
Mark Tomforde
Abstract:
We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these e…
▽ More
We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these equiangular tight frames, complex Seidel matrices, and highly regular, directed graphs. We construct examples of such frames with arbitrarily many vectors.
△ Less
Submitted 31 August, 2008; v1 submitted 14 May, 2008;
originally announced May 2008.
-
Decoherence-Insensitive Quantum Communication by Optimal C^*-Encoding
Authors:
Bernhard G. Bodmann,
David W. Kribs,
Vern I. Paulsen
Abstract:
The central issue in this article is to transmit a quantum state in such a way that after some decoherence occurs, most of the information can be restored by a suitable decoding operation. For this purpose, we incorporate redundancy by map** a given initial quantum state to a messenger state on a larger-dimensional Hilbert space via a $C^*$-algebra embedding. Our noise model for the transmissi…
▽ More
The central issue in this article is to transmit a quantum state in such a way that after some decoherence occurs, most of the information can be restored by a suitable decoding operation. For this purpose, we incorporate redundancy by map** a given initial quantum state to a messenger state on a larger-dimensional Hilbert space via a $C^*$-algebra embedding. Our noise model for the transmission is a phase dam** channel which admits a noiseless or decoherence-free subspace or subsystem. More precisely, the transmission channel is obtained from convex combinations of a set of lowest rank yes/no measurements that leave a component of the messenger state unchanged. The objective of our encoding is to distribute quantum information optimally across the noise-susceptible component of the transmission when the noiseless component is not large enough to contain all the quantum information to be transmitted. We derive simple geometric conditions for optimal encoding and construct examples.
△ Less
Submitted 29 May, 2006;
originally announced May 2006.
-
Frames, Graphs and Erasures
Authors:
Bernhard G. Bodmann,
Vern I. Paulsen
Abstract:
Two-uniform frames and their use for the coding of vectors are the main subject of this paper. These frames are known to be optimal for handling up to two erasures, in the sense that they minimize the largest possible error when up to two frame coefficients are set to zero. Here, we consider various numerical measures for the reconstruction error associated with a frame when an arbitrary number…
▽ More
Two-uniform frames and their use for the coding of vectors are the main subject of this paper. These frames are known to be optimal for handling up to two erasures, in the sense that they minimize the largest possible error when up to two frame coefficients are set to zero. Here, we consider various numerical measures for the reconstruction error associated with a frame when an arbitrary number of the frame coefficients of a vector are lost. We derive general error bounds for two-uniform frames when more than two erasures occur and apply these to concrete examples. We show that among the 227 known equivalence classes of two-uniform (36,15)-frames arising from Hadamard matrices, there are 5 that give smallest error bounds for up to 8 erasures.
△ Less
Submitted 11 March, 2005; v1 submitted 8 June, 2004;
originally announced June 2004.
-
A lower bound for the Wehrl entropy of quantum spin with sharp high-spin asymptotics
Authors:
Bernhard G. Bodmann
Abstract:
A lower bound for the Wehrl entropy of a single quantum spin is derived. The high-spin asymptotics of this bound coincides with Lieb's conjecture up to, but not including, terms of first and higher order in the inverse spin quantum number. The result presented here may be seen as complementary to the verification of the conjecture in cases of lowest spin by Schupp [Commun. Math. Phys. 207 (1999)…
▽ More
A lower bound for the Wehrl entropy of a single quantum spin is derived. The high-spin asymptotics of this bound coincides with Lieb's conjecture up to, but not including, terms of first and higher order in the inverse spin quantum number. The result presented here may be seen as complementary to the verification of the conjecture in cases of lowest spin by Schupp [Commun. Math. Phys. 207 (1999), 481].
The present result for the Wehrl-entropy is obtained from interpolating a sharp norm bound that also implies a sharp lower bound for the so-called Rényi-Wehrl entropy with certain indices that are evenly spaced by half of the inverse spin quantum number.
△ Less
Submitted 3 December, 2003; v1 submitted 29 July, 2003;
originally announced July 2003.
-
A transformation formula relating resolvents of Berezin-Toeplitz operators by an invariance property of Brownian motion
Authors:
Bernhard G. Bodmann
Abstract:
Using a stochastic representation provided by Wiener-regularized path integrals for the semigroups generated by certain Berezin-Toeplitz operators, a transformation formula for their resolvents is derived. The key property used in the transformation of the stochastic representation is that, up to a time change, Brownian motion is invariant under harmonic morphisms. This result for Berezin-Toepli…
▽ More
Using a stochastic representation provided by Wiener-regularized path integrals for the semigroups generated by certain Berezin-Toeplitz operators, a transformation formula for their resolvents is derived. The key property used in the transformation of the stochastic representation is that, up to a time change, Brownian motion is invariant under harmonic morphisms. This result for Berezin-Toeplitz operators is obtained in analogy with a well-known technique generating relations among Schrödinger operators that was recently generalized to Riemannian manifolds [Wittich, J. Math. Phys. {\bf 41} (2000), 244].
△ Less
Submitted 15 September, 2002; v1 submitted 4 September, 2002;
originally announced September 2002.
-
Construction of Self-Adjoint Berezin-Toeplitz Operators on Kahler Manifolds and a Probabilistic Representation of the Associated Semigroups
Authors:
Bernhard G. Bodmann
Abstract:
We investigate a class of operators resulting from a quantization scheme attributed to Berezin. These so-called Berezin-Toeplitz operators are defined on a Hilbert space of square-integrable holomorphic sections in a line bundle over the classical phase space. As a first goal we develop self-adjointness criteria for Berezin-Toeplitz operators defined via quadratic forms. Then, following a concep…
▽ More
We investigate a class of operators resulting from a quantization scheme attributed to Berezin. These so-called Berezin-Toeplitz operators are defined on a Hilbert space of square-integrable holomorphic sections in a line bundle over the classical phase space. As a first goal we develop self-adjointness criteria for Berezin-Toeplitz operators defined via quadratic forms. Then, following a concept of Daubechies and Klauder, the semigroups generated by these operators may under certain conditions be represented in the form of Wiener-regularized path integrals. More explicitly, the integration is taken over Brownian-motion paths in phase space in the ultra-diffusive limit. All results are the consequence of a relation between Berezin-Toeplitz operators and Schrodinger operators defined via certain quadratic forms. The probabilistic representation is derived in conjunction with a version of the Feynman-Kac formula.
△ Less
Submitted 26 July, 2002; v1 submitted 19 July, 2002;
originally announced July 2002.
-
Path Integral Quantization for a Toroidal Phase Space
Authors:
Bernhard G. Bodmann,
John R. Klauder
Abstract:
A Wiener-regularized path integral is presented as an alternative way to formulate Berezin-Toeplitz quantization on a toroidal phase space. Essential to the result is that this quantization prescription for the torus can be constructed as an induced representation from anti-Wick quantization on its covering space, the plane. When this construction is expressed in the form of a Wiener-regularized…
▽ More
A Wiener-regularized path integral is presented as an alternative way to formulate Berezin-Toeplitz quantization on a toroidal phase space. Essential to the result is that this quantization prescription for the torus can be constructed as an induced representation from anti-Wick quantization on its covering space, the plane. When this construction is expressed in the form of a Wiener-regularized path integral, symmetrization prescriptions for the propagator emerge similar to earlier path-integral formulas on multiply-connected configuration spaces.
△ Less
Submitted 1 February, 1999;
originally announced February 1999.