- We prove a characterization of $t$-query quantum algorithms in terms of the unit ball of a space of degree-$2t$ polynomials. Based on this, we obtain a refined notion of approximate polynomial degree that equals the quantum query complexity, answering a question of Aaronson et al. (CCC'16). Our proof is based on a fundamental result of Christensen and Sinclair (J. Funct. Anal., 1987) that generalizes the well-known Stinespring representation for quantum channels to multilinear forms. Using our characterization, we show that many polynomials of degree four are far from those coming from two-query quantum algorithms. We also give a simple and short proof of one of the results of Aaronson et al. showing an equivalence between one-query quantum algorithms and bounded quadratic polynomials.
- Nov 21 2017 math.FA arXiv:1711.07225v1We study domination of quadratic forms in the abstract setting of ordered Hilbert spaces. Our main result gives a characterization in terms of the associated forms. This generalizes and unifies various earlier works. Along the way we present several examples.
- Based on operators borrowed from scattering theory, several concrete realizations of index theorems are proposed. The corresponding operators belong to some C*-algebras of pseudo-differential operators with coefficients which either have limits at plus and minus infinity, or which are periodic or asymptotically periodic, or which are uniformly almost periodic. These various situations can be deduced from a single partial isometry which depends on several parameters. All computations are explicitly performed.
- An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. A regular simplex is a special type of ETF in which the number of vectors is one more than the dimension of the space they span. In this paper, we consider ETFs that contain a regular simplex, that is, have the property that a subset of its vectors forms a regular simplex. As we explain, such ETFs are characterized as those that achieve equality in a certain well-known bound from the theory of compressed sensing. We then consider the so-called binder of such an ETF, namely the set of all regular simplices that it contains. We provide a new algorithm for computing this binder in terms of products of entries of the ETF's Gram matrix. In certain circumstances, we show this binder can be used to produce a particularly elegant Naimark complement of the corresponding ETF. Other times, an ETF is a disjoint union of regular simplices, and we show this leads to a certain type of optimal packing of subspaces known as an equichordal tight fusion frame. We conclude by considering the extent to which these ideas can be applied to numerous known constructions of ETFs, including harmonic ETFs.
- We give a negative answer to the Newman--Shapiro problem on weighted approximation for entire functions posed in 1966 and motivated by the theory of operators on the Fock space.
- Nov 21 2017 math.FA arXiv:1711.06757v1Let G be a locally compact abelian group, $\omega:G\to (0,\infty)$ be a weight, and ($\Phi$,$\Psi$) be a complementary pair of strictly increasing continuous Young functions. We show that for the weighted Orlicz algebra $L^\Phi_\omega(G)$, the weak amenability is obtained under conditions similar to the one considered by Y. Zhang for weighted group algebras. Our methods can be applied to various families of weighted Orlicz algebras, including weighted $L^p$-spaces.
- Nov 21 2017 math.FA arXiv:1711.06755v1Let G be a locally compact group, let $\Omega:G\times G\to \mathbb{C}^*$ be a 2-cocycle, and let $\Phi$ be a Young function. In this paper, we consider the Orlicz space $L^\Phi(G)$ and investigate its algebraic property under the twisted convolution $\circledast$ coming from $\Omega$. We find sufficient conditions under which $(L^\Phi(G),\circledast)$ becomes a Banach algebra or a Banach $*$-algebra; we call it a \it twisted Orlicz algebra. Furthermore, we study its harmonic analysis properties, such as symmetry, existence of functional calculus, regularity, and having Wiener property, mostly for the case when $G$ is a compactly generated group of polynomial growth. We apply our methods to several important classes of polynomial as well as subexponential weights and demonstrate that our results could be applied to variety of cases.
- In this paper we answer the following question: what is the infinitesimal generator of the diffusion process defined by a kernel that is normalized such that it is bi-stochastic with respect to a specified measure? More precisely, under the assumption that data is sampled from a Riemannian manifold we determine how the resulting infinitesimal generator depends on the potentially nonuniform distribution of the sample points, and the specified measure for the bi-stochastic normalization. In a special case, we demonstrate a connection to the heat kernel. We consider both the case where only a single data set is given, and the case where a data set and a reference set are given. The spectral theory of the constructed operators is studied, and Nyström extension formulas for the gradients of the eigenfunctions are computed. Applications to discrete point sets and manifold learning are discussed.
- Nov 21 2017 math.FA arXiv:1711.07340v1In this paper we introduce the hypo-q-norms on a Cartesian product of normed linear spaces. A representation of these norms in terms of bounded linear functionals of norm less than one, the equivalence with the q-norms on a Cartesian product and some reverse inequalities obtained via the scalar Shisha-Mond, Birnacki et al. and other Gruss type inequalities are also given.
- Nov 21 2017 math.FA arXiv:1711.06973v1
- Nov 21 2017 math.FA arXiv:1711.06902v1
- Nov 21 2017 math.FA arXiv:1711.06750v1