Functional Analysis (math.FA)

  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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)$.
  • PDF
    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.
  • PDF
    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$.

Recent comments

Marco Tomamichel Jun 25 2013 05:41 UTC

This is a very nice solution to our (very recent) conjecture. We have in the meantime solved the remaining conjectures and will post an update soon.