# Functional Analysis (math.FA)

• 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.07225v1
We 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.
• Nov 21 2017 math.CV math.FA arXiv:1711.06901v1
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.
• Let 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.06755v1
Let 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.
• In 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.
• Our purpose in this paper is (i) to introduce the concept of further generalized hybrid mappings (ii) to introduce the concept of common attractive points (CAP) (iii) to write and use Picard-Mann iterative process for two mappings. We approximate common attractive points of further generalized hybrid mappings by using iterative process due to Khan <cite>SHK</cite> generalized to the case of two mappings in Hilbert spaces without closedness assumption. Our results are generalizations and improvements of several results in the literature in different ways.
• In this paper, using a family of representations of nonexpansive mappings, we introduce an algorithm in a product space $E^{I}$ consisting of all functions from a nonempty set $I$ to a Banach space $E$. Then we prove the product topology convergence of the proposed algorithm to an element of $E^{I}$ such that it's values are the common fixed points of the representations of the family.
• Let $E(\mathscr{A})$ denote the shift-invariant space associated with a countable family $\mathscr{A}$ of functions in $L^{2}(\mathbb{H}^{n})$ with mutually orthogonal generators, where $\mathbb{H}^{n}$ denotes the Heisenberg group. The characterizations for the collection $E(\mathscr{A})$ to be orthonormal, Bessel sequence, Parseval frame and so on are obtained in terms of the group Fourier transform of the Heisenberg group. These results are derived using such type of results which were proved for twisted shift-invariant spaces and characterized in terms of Weyl transform. In the last section of the paper, some results on oblique dual of the left translates of a single function $\varphi$ is discussed in the context of principal shift-invariant space $V(\varphi)$.
• We reconstruct the whole family of self-adjoint Hamiltonians of Ter-Martirosyan-- Skornyakov type for a system of two identical fermions coupled with a third particle of different nature through an interaction of zero range. We proceed through an operator-theoretic approach based on the self-adjoint extension theory of Krein, Visik, and Birman. We identify the explicit Krein-Visik-Birman extension parameter as an operator on the "space of charges" for this model (the "Krein space") and we come to formulate a sharp conjecture on the dimensionality of its kernel. Based on our conjecture, for which we also discuss an amount of evidence, we explain the emergence of a multiplicity of extensions in a suitable regime of masses and we reproduce for the first time the previous partial constructions obtained by means of an alternative quadratic form approach.
• We introduced the concept of strong property $(\mathbb{B})$ with a constant for Banach algebras and, by applying certain analysis on the Fourier algebra of a unit circle, we show that all C$^*$-algebras and group algebras have the strong property $(\mathbb{B})$ with a constant given by $288\pi(1+\sqrt{2})$. We then use this result to find a concrete upper bound for the hyperreflexivity constant of $\mathcal{C}^n(A,X)$, the space of bounded $n$-cocycles from $A$ into $X$, where $A$ is a C$^*$-algebra or the group algebra of a group with an open subgroup of polynomial growth and $X$ is a Banach $A$-bimodule for which $\mathcal{H}{n+1}(A,X)$ is a Banach space. As another application, we show that for a locally compact amenable group $G$ and $1<p<\infty$, the space $CV_P(G)$ of convolution operators on $L^p(G)$ are hyperreflexive with a constant given by $288\pi(1+\sqrt{2})$. This is the generalization of a well-known result of E. Christiensen for $p=2$.