Source author record

John J. Benedetto

John J. Benedetto appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.FA math.CA math-ph math.MP math.NT

Catalog footprint

What is connected

7works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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

Building this map preview

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

preprint2020arXiv

A Generalization of Gleason's Frame Function for Quantum Measurement

The goal is to extend Gleason's notion of a frame function, which is essential in his fundamental theorem in quantum measurement, to a more general function acting on 1-tight, so-called, Parseval frames. We refer to these functions as Gleason functions for Parseval frames. The reason for our generalization is that positive operator valued measures (POVMs) are essentially equivalent to Parseval frames, and that POVMs arise naturally in quantum measurement theory. We prove that under the proper assumptions, Gleason functions for Parseval frames are quadratic forms, as well as other results analogous to Gleason's original theorem. Further, we solve an intrinsic problem relating Gleason functions for Parseval frames of different lengths. We use this solution to weaken the hypotheses in the finite dimensional version of Busch's theorem, that itself is an analog of Gleason's mathematical characterization of quantum states.

preprint2016arXiv

Super-resolution by means of Beurling minimal extrapolation

Let $M(\mathbb{T}^d)$ be the space of complex bounded Radon measures defined on the $d$-dimensional torus group $(\mathbb{R}/\mathbb{Z})^d=\mathbb{T}^d$, equipped with the total variation norm $\|\cdot\|$; and let $\hatμ$ denote the Fourier transform of $μ\in M(\mathbb{T}^d)$. We address the super-resolution problem: For given spectral (Fourier transform) data defined on a finite set $Λ\subset\mathbb{Z}^d$, determine if there is a unique $μ\in M(\mathbb{T}^d)$ of minimal norm for which $\hatμ$ equals this data on $Λ$. Without additional assumptions on $μ$ and $Λ$, our main theorem shows that the solutions to the super-resolution problem, which we call minimal extrapolations, depend crucially on the set $Γ\subsetΛ$, defined in terms of $μ$ and $Λ$. For example, when $Γ=0$, the minimal extrapolations are singular measures supported in the zero set of an analytic function, and when $Γ\geq 2$, the minimal extrapolations are singular measures supported in the intersection of $Γ\choose 2$ hyperplanes. By theory and example, we show that the case $Γ=1$ is different from other cases and is deeply connected with the existence of positive minimal extrapolations. This theorem has implications to the possibility and impossibility of uniquely recovering $μ$ from $Λ$. We illustrate how to apply our theory to both directions, by computing pertinent analytical examples. These examples are of interest in both super-resolution and deterministic compressed sensing. Our concept of an admissibility range fundamentally connects Beurling's theory of minimal extrapolation with Candes and Fernandez-Granda's work on super-resolution. This connection is exploited to address situations where current algorithms fail to compute a numerical solution to the super-resolution problem.

preprint2013arXiv

Balayage and Short time Fourier transform frames

Using his formulation of the potential theoretic notion of balayage and his deep results about this idea, Beurling gave sufficient conditions for Fourier frames in terms of balayage. The analysis makes use of spectral synthesis, due to Wiener and Beurling, as well as properties of strict multiplicity, whose origins go back to Riemann. In this setting and with this technology, we formulate and prove non-uniform sampling formulas in the context of the short time Fourier transform (STFT).

preprint2013arXiv

Generalized Fourier frames in terms of balayage

Based on Beurling's theory of balayage, we develop the theory of non-uniform sampling in the context of the theory of frames for the settings of the Short Time Fourier Transform and pseudo-differential operators. There is sufficient complexity to warrant new examples generally, and to resurrect the formulation of balayage in terms of covering criteria with an eye towards an expanded theory as well as computational implementation.

preprint2012arXiv

Linear Independence of Finite Gabor Systems Determined by Behavior at Infinity

We prove that the HRT (Heil, Ramanathan, and Topiwala) conjecture holds for finite Gabor systems generated by square-integrable functions with certain behavior at infinity. These functions include functions ultimately decaying faster than any exponential function, as well as square-integrable functions ultimately analytic and whose germs are in a Hardy field. Two classes of the latter type of functions are the set of square-integrable logarithmico-exponential functions and the set of square-integrable Pfaffian functions. We also prove the HRT conjecture for certain finite Gabor systems generated by positive functions.

preprint2011arXiv

Optimal ambiguity functions and Weil's exponential sum bound

Complex-valued periodic sequences, u, constructed by Goran Bjorck, are analyzed with regard to the behavior of their discrete periodic narrow-band ambiguity functions A_p(u). The Bjorck sequences, which are defined on Z/pZ for p>2 prime, are unimodular and have zero autocorrelation on (Z/pZ)\{0}. These two properties give rise to the acronym, CAZAC, to refer to constant amplitude zero autocorrelation sequences. The bound proven is |A_p(u)| \leq 2/\sqrt{p} + 4/p outside of (0,0), and this is of optimal magnitude given the constraint that u is a CAZAC sequence. The proof requires the full power of Weil's exponential sum bound, which, in turn, is a consequence of his proof of the Riemann hypothesis for finite fields. Such bounds are not only of mathematical interest, but they have direct applications as sequences in communications and radar, as well as when the sequences are used as coefficients of phase-coded waveforms.

preprint2002arXiv

The Balian--Low theorem for the symplectic form on ${\mathbb R}^{2d}$

In this paper we extend the Balian--Low theorem, which is a version of the uncertainty principle for Gabor (Weyl--Heisenberg) systems, to functions of several variables. In particular, we first prove the Balian--Low theorem for arbitrary quadratic forms. Then we generalize further and prove the Balian--Low theorem for differential operators associated with a symplectic basis for the symplectic form on ${\mathbb R}^{2d}$.