skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Continuous dependence on the initial data in the Kadison transitivity theorem and GNS construction
We consider how the outputs of the Kadison transitivity theorem and Gelfand–Naimark–Segal (GNS) construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation [Formula: see text] of a [Formula: see text]-algebra [Formula: see text] and [Formula: see text], there exists a continuous function [Formula: see text] such that [Formula: see text] for all [Formula: see text], where [Formula: see text] is the set of pairs of [Formula: see text]-tuples [Formula: see text] such that the components of [Formula: see text] are linearly independent. Versions of this result where [Formula: see text] maps into the self-adjoint or unitary elements of [Formula: see text] are also presented. Regarding the GNS construction, we prove that given a topological [Formula: see text]-algebra fiber bundle [Formula: see text], one may construct a topological fiber bundle [Formula: see text] whose fiber over [Formula: see text] is the space of pure states of [Formula: see text] (with the norm topology), as well as bundles [Formula: see text] and [Formula: see text] whose fibers [Formula: see text] and [Formula: see text] over [Formula: see text] are the GNS Hilbert space and closed left ideal, respectively, corresponding to [Formula: see text]. When [Formula: see text] is a smooth fiber bundle, we show that [Formula: see text] and [Formula: see text] are also smooth fiber bundles; this involves proving that the group of ∗-automorphisms of a [Formula: see text]-algebra is a Banach Lie group. In service of these results, we review the topology and geometry of the pure state space. A simple non-interacting quantum spin system is provided as an example illustrating the physical meaning of some of these results.  more » « less
Award ID(s):
2055501
PAR ID:
10425615
Author(s) / Creator(s):
; ; ; ; ;
Date Published:
Journal Name:
Reviews in Mathematical Physics
Volume:
34
Issue:
09
ISSN:
0129-055X
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; (, Journal of Topology and Analysis)
    Locally trivial bundles of [Formula: see text]-algebras with fiber [Formula: see text] for a strongly self-absorbing [Formula: see text]-algebra [Formula: see text] over a finite CW-complex [Formula: see text] form a group [Formula: see text] that is the first group of a cohomology theory [Formula: see text]. In this paper, we compute these groups by expressing them in terms of ordinary cohomology and connective [Formula: see text]-theory. To compare the [Formula: see text]-algebraic version of [Formula: see text] with its classical counterpart we also develop a uniqueness result for the unit spectrum of complex periodic topological [Formula: see text]-theory. 
    more » « less
  2. ; (, Reviews in Mathematical Physics)
    null (Ed.)
    Bundles of C*-algebras can be used to represent limits of physical theories whose algebraic structure depends on the value of a parameter. The primary example is the [Formula: see text] limit of the C*-algebras of physical quantities in quantum theories, represented in the framework of strict deformation quantization. In this paper, we understand such limiting procedures in terms of the extension of a bundle of C*-algebras to some limiting value of a parameter. We prove existence and uniqueness results for such extensions. Moreover, we show that such extensions are functorial for the C*-product, dynamical automorphisms, and the Lie bracket (in the [Formula: see text] case) on the fiber C*-algebras. 
    more » « less
  3. ; ; ; ; ; (, Reviews in Mathematical Physics)
    In this paper, we present a homotopical framework for studying invertible gapped phases of matter from the point of view of infinite spin lattice systems, using the framework of algebraic quantum mechanics. We define the notion of quantum state types. These are certain lax-monoidal functors from the category of finite-dimensional Hilbert spaces to the category of topological spaces. The universal example takes a finite-dimensional Hilbert space [Formula: see text] to the pure state space of the quasi-local algebra of the quantum spin system with Hilbert space [Formula: see text] at each site of a specified lattice. The lax-monoidal structure encodes the tensor product of states, which corresponds to stacking for quantum systems. We then explain how to formally extract parametrized phases of matter from quantum state types, and how they naturally give rise to [Formula: see text]-spaces for an operad we call the “multiplicative” linear isometry operad. We define the notion of invertible quantum state types and explain how the passage to phases for these is related to group completion. We also explain how invertible quantum state types give rise to loop-spectra. Our motivation is to provide a framework for constructing Kitaev’s loop-spectrum of bosonic invertible gapped phases of matter. Finally, as a first step toward understanding the homotopy types of the loop-spectra associated to invertible quantum state types, we prove that the pure state space of any UHF algebra is simply connected. 
    more » « less
  4. ; ; (, International Journal of Mathematics)
    Starting with a vertex-weighted pointed graph [Formula: see text], we form the free loop algebra [Formula: see text] defined in Hartglass–Penneys’ article on canonical [Formula: see text]-algebras associated to a planar algebra. Under mild conditions, [Formula: see text] is a non-nuclear simple [Formula: see text]-algebra with unique tracial state. There is a canonical polynomial subalgebra [Formula: see text] together with a Dirac number operator [Formula: see text] such that [Formula: see text] is a spectral triple. We prove the Haagerup-type bound of Ozawa–Rieffel to verify [Formula: see text] yields a compact quantum metric space in the sense of Rieffel. We give a weighted analog of Benjamini–Schramm convergence for vertex-weighted pointed graphs. As our [Formula: see text]-algebras are non-nuclear, we adjust the Lip-norm coming from [Formula: see text] to utilize the finite dimensional filtration of [Formula: see text]. We then prove that convergence of vertex-weighted pointed graphs leads to quantum Gromov–Hausdorff convergence of the associated adjusted compact quantum metric spaces. As an application, we apply our construction to the Guionnet–Jones–Shyakhtenko (GJS) [Formula: see text]-algebra associated to a planar algebra. We conclude that the compact quantum metric spaces coming from the GJS [Formula: see text]-algebras of many infinite families of planar algebras converge in quantum Gromov–Hausdorff distance. 
    more » « less
  5. ; ; (, Analysis and Applications)
    This work aims to prove a Hardy-type inequality and a trace theorem for a class of function spaces on smooth domains with a nonlocal character. Functions in these spaces are allowed to be as rough as an [Formula: see text]-function inside the domain of definition but as smooth as a [Formula: see text]-function near the boundary. This feature is captured by a norm that is characterized by a nonlocal interaction kernel defined heterogeneously with a special localization feature on the boundary. Thus, the trace theorem we obtain here can be viewed as an improvement and refinement of the classical trace theorem for fractional Sobolev spaces [Formula: see text]. Similarly, the Hardy-type inequalities we establish for functions that vanish on the boundary show that functions in this generalized space have the same decay rate to the boundary as functions in the smaller space [Formula: see text]. The results we prove extend existing results shown in the Hilbert space setting with p = 2. A Poincaré-type inequality we establish for the function space under consideration together with the new trace theorem allows formulating and proving well-posedness of a nonlinear nonlocal variational problem with conventional local boundary condition. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email