skip to main content

Title: Frames and Finite-Rank Integral Representations of Positive Operator-Valued Measures
Discrete and continuous frames can be considered as positive operator-valued measures (POVMs) that have integral representations using rank-one operators. However, not every POVM has an integral representation. One goal of this paper is to examine the POVMs that have finite-rank integral representations. More precisely, we present a necessary and sufficient condition under which a positive operator-valued measure $F: \Omega \to B(H)$ has an integral representation of the form $$F(E) =\sum_{k=1}^{m} \int_{E}\, G_{k}(\omega)\otimes G_{k}(\omega) d\mu(\omega)$$ for some weakly measurable maps $G_{k} \ (1\leq k\leq m) $ from a measurable space $\Omega$ to a Hilbert space $\mathcal{H}$ and some positive measure $\mu$ on $\Omega$. Similar characterizations are also obtained for projection-valued measures. As special consequences of our characterization we settle negatively a problem of Ehler and Okoudjou about probability frame representations of probability POVMs, and prove that an integral representable probability POVM can be dilated to a integral representable projection-valued measure if and only if the corresponding measure is purely atomic.
Authors:
;
Award ID(s):
1712602
Publication Date:
NSF-PAR ID:
10100572
Journal Name:
Acta Applicandae Mathematicae
ISSN:
0167-8019
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Given a sequence $\{Z_d\}_{d\in \mathbb{N}}$ of smooth and compact hypersurfaces in ${\mathbb{R}}^{n-1}$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^n$ such that each manifold $Z_d$ is diffeomorphic to a component of the zero set on $\Gamma$ of some polynomial of degree $d$. (This is in sharp contrast with the case when $\Gamma$ is semialgebraic, where for example the homological complexity of the zero set of a polynomial $p$ on $\Gamma$ is bounded by a polynomial in $\deg (p)$.) More precisely, given the above sequence of hypersurfaces, we construct a regular, compact, semianalytic hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^{n}$ containing a subset $D$ homeomorphic to a disk, and a family of polynomials $\{p_m\}_{m\in \mathbb{N}}$ of degree $\deg (p_m)=d_m$ such that $(D, Z(p_m)\cap D)\sim ({\mathbb{R}}^{n-1}, Z_{d_m}),$ i.e. the zero set of $p_m$ in $D$ is isotopic to $Z_{d_m}$ in ${\mathbb{R}}^{n-1}$. This says that, up to extracting subsequences, the intersection of $\Gamma$ with a hypersurface of degree $d$ can be as complicated as we want. We call these ‘pathological examples’. In particular, we show that for every $0 \leq k \leq n-2$ and every sequence of natural numbers $a=\{a_d\}_{d\in \mathbb{N}}$ there is a regular, compact semianalyticmore »hypersurface $\Gamma \subset {\mathbb{R}}\textrm{P}^n$, a subsequence $\{a_{d_m}\}_{m\in \mathbb{N}}$ and homogeneous polynomials $\{p_{m}\}_{m\in \mathbb{N}}$ of degree $\deg (p_m)=d_m$ such that (0.1)$$\begin{equation}b_k(\Gamma\cap Z(p_m))\geq a_{d_m}.\end{equation}$$ (Here $b_k$ denotes the $k$th Betti number.) This generalizes a result of Gwoździewicz et al. [13]. On the other hand, for a given definable $\Gamma$ we show that the Fubini–Study measure, in the Gaussian probability space of polynomials of degree $d$, of the set $\Sigma _{d_m,a, \Gamma }$ of polynomials verifying (0.1) is positive, but there exists a constant $c_\Gamma$ such that $$\begin{equation*}0<{\mathbb{P}}(\Sigma_{d_m, a, \Gamma})\leq \frac{c_{\Gamma} d_m^{\frac{n-1}{2}}}{a_{d_m}}.\end{equation*}$$ This shows that the set of ‘pathological examples’ has ‘small’ measure (the faster $a$ grows, the smaller the measure and pathologies are therefore rare). In fact we show that given $\Gamma$, for most polynomials a Bézout-type bound holds for the intersection $\Gamma \cap Z(p)$: for every $0\leq k\leq n-2$ and $t>0$: $$\begin{equation*}{\mathbb{P}}\left(\{b_k(\Gamma\cap Z(p))\geq t d^{n-1} \}\right)\leq \frac{c_\Gamma}{td^{\frac{n-1}{2}}}.\end{equation*}$$

    « less
  2. Abstract

    The existence of $d^2$ pairwise equiangular complex lines [equivalently, a symmetric informationally complete positive operator-valued measure (SIC-POVM)] in $d$-dimensional Hilbert space is known only for finitely many dimensions $d$. We prove that, if there exists a set of real units in a certain ray class field (depending on $d$) satisfying certain algebraic properties, a SIC-POVM exists, when $d$ is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at $s=0$ and is closely connected to the Stark conjectures over real quadratic fields. We verify numerically that our construction yields SIC-POVMs in dimensions 5, 11, 17, and 23, and we give the first exact SIC-POVM in dimension 23.

  3. Abstract The classical Aronszajn–Donoghue theorem states that for a rank-one perturbation of a self-adjoint operator (by a cyclic vector) the singular parts of the spectral measures of the original and perturbed operators are mutually singular. As simple direct sum type examples show, this result does not hold for finite rank perturbations. However, the set of exceptional perturbations is pretty small. Namely, for a family of rank $d$ perturbations $A_{\boldsymbol{\alpha }}:= A + {\textbf{B}} {\boldsymbol{\alpha }} {\textbf{B}}^*$, ${\textbf{B}}:{\mathbb C}^d\to{{\mathcal{H}}}$, with ${\operatorname{Ran}}{\textbf{B}}$ being cyclic for $A$, parametrized by $d\times d$ Hermitian matrices ${\boldsymbol{\alpha }}$, the singular parts of the spectral measures of $A$ and $A_{\boldsymbol{\alpha }}$ are mutually singular for all ${\boldsymbol{\alpha }}$ except for a small exceptional set $E$. It was shown earlier by the 1st two authors, see [4], that $E$ is a subset of measure zero of the space $\textbf{H}(d)$ of $d\times d$ Hermitian matrices. In this paper, we show that the set $E$ has small Hausdorff dimension, $\dim E \le \dim \textbf{H}(d)-1 = d^2-1$.
  4. Abstract

    Let $f(z) = \sum_{n=1}^\infty a_f(n)q^n$ be a holomorphic cuspidal newform with even integral weight $k\geq 2$, level N, trivial nebentypus and no complex multiplication. For all primes p, we may define $\theta_p\in [0,\pi]$ such that $a_f(p) = 2p^{(k-1)/2}\cos \theta_p$. The Sato–Tate conjecture states that the angles θp are equidistributed with respect to the probability measure $\mu_{\textrm{ST}}(I) = \frac{2}{\pi}\int_I \sin^2 \theta \; d\theta$, where $I\subseteq [0,\pi]$. Using recent results on the automorphy of symmetric power L-functions due to Newton and Thorne, we explicitly bound the error term in the Sato–Tate conjecture when f corresponds to an elliptic curve over $\mathbb{Q}$ of arbitrary conductor or when f has square-free level. In these cases, if $\pi_{f,I}(x) := \#\{p \leq x : p \nmid N, \theta_p\in I\}$ and $\pi(x) := \# \{p \leq x \}$, we prove the following bound: $$ \left| \frac{\pi_{f,I}(x)}{\pi(x)} - \mu_{\textrm{ST}}(I)\right| \leq 58.1\frac{\log((k-1)N \log{x})}{\sqrt{\log{x}}} \qquad \text{for} \quad x \geq 3. $$ As an application, we give an explicit bound for the number of primes up to x that violate the Atkin–Serre conjecture for f.

  5. We present optical photometry and spectroscopy of the Type II supernova ASASSN-14jb, together with Very Large Telescope (VLT) Multi Unit Spectroscopic Explorer (MUSE) integral field observations of its host galaxy and a nebular-phase spectrum. This supernova, in the nearby galaxy ESO 467-G051 ( z  = 0.006), was discovered and followed-up by the all-sky automated survey for supernovae (ASAS-SN). We obtained well-sampled las cumbres network (LCOGTN) B V g r i and Swift w 2 m 1 w 1 u b v optical, near-UV/optical light curves, and several optical spectra in the early photospheric phases. The transient ASASSN-14jb exploded ∼2 kpc above the star-forming disk of ESO 467-G051, an edge-on disk galaxy. The large projected distance from the disk of the supernova position and the non-detection of any H II region in a 1.4 kpc radius in projection are in conflict with the standard environment of core-collapse supernova progenitors and suggests the possible scenario that the progenitor received a kick in a binary interaction. We present analysis of the optical light curves and spectra, from which we derived a distance of 25 ± 2 Mpc using state-of-the-art empirical methods for Type II SNe, physical properties of the SN explosion ( 56 Ni mass, explosionmore »energy, and ejected mass), and properties of the progenitor; namely the progenitor radius, mass, and metallicity. Our analysis yields a 56 Ni mass of 0.0210  ±  0.0025  M ⊙ , an explosion energy of ≈0.25 × 10 51 ergs, and an ejected mass of ≈6  M ⊙ . We also constrained the progenitor radius to be R *  = 580  ±  28  R ⊙ which seems to be consistent with the sub-Solar metallicity of 0.3  ±  0.1  Z ⊙ derived from the supernova Fe II λ 5018 line. The nebular spectrum constrains strongly the progenitor mass to be in the range 10–12 M ⊙ . From the Spitzer data archive we detect ASASSN-14jb ≈330 days past explosion and we derived a total dust mass of 10 −4   M ⊙ from the 3.6 μ m and 4.5 μ m photometry. Using the F U V , N U V , B V g r i , K s , 3.6 μ m, and 4.5 μ m total magnitudes for the host galaxy, we fit stellar population synthesis models, which give an estimate of M *  ≈ 1 × 10 9   M ⊙ , an age of 3.2 Gyr, and a SFR ≈0.07  M ⊙ yr −1 . We also discuss the low oxygen abundance of the host galaxy derived from the MUSE data, having an average of 12 + log(O/H) = 8.27 +0.16 −0.20 using the O 3 N 2 diagnostic with strong line methods. We compared it with the supernova spectra, which is also consistent with a sub-Solar metallicity progenitor. Following recent observations of extraplanar H II regions in nearby edge-on galaxies, we derived the metallicity offset from the disk, being positive, but consistent with zero at 2 σ , suggesting enrichment from disk outflows. We finally discuss the possible scenarios for the unusual environment for ASASSN-14jb and conclude that either the in-situ star formation or runaway scenario would imply a low-mass progenitor, agreeing with our estimate from the supernova nebular spectrum. Regardless of the true origin of ASASSN-14jb, we show that the detailed study of the environment roughly agree with the stronger constraints from the observation of the transient.« less