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.


Title: The X-ray transform on asymptotically conic spaces
In this paper, partly based on Zachos’ PhD thesis, we show that the geodesic X-ray transform is stably invertible near infinity on a class of asymptotically conic manifolds which includes perturbations of Euclidean space. In particular certain kinds of conjugate points are allowed. Further, under a global convex foliation condition, the transform is globally invertible. The key analytic tool, beyond the approach introduced by Uhlmann and Vasy, is the introduction of a new pseudodifferential operator algebra, which we name the 1-cusp algebra, and its semiclassical version.  more » « less
Award ID(s):
2247004
PAR ID:
10587786
Author(s) / Creator(s):
;
Publisher / Repository:
Mathematical Science Publishers
Date Published:
Journal Name:
Pure and Applied Analysis
Volume:
6
Issue:
3
ISSN:
2578-5893
Page Range / eLocation ID:
693 to 730
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We discuss the exact non-invertible Kramers-Wannier symmetry of 1+1d lattice models on a tensor product Hilbert space of qubits. This symmetry is associated with a topological defect and a conserved operator, and the latter can be presented as a matrix product operator. Importantly, unlike its continuum counterpart, the symmetry algebra involves lattice translations. Consequently, it is not described by a fusion category. In the presence of this defect, the symmetry algebra involving parity/time-reversal is realized projectively, which is reminiscent of an anomaly. Different Hamiltonians with the same lattice non-invertible symmetry can flow in their continuum limits to infinitely many different fusion categories (with different Frobenius-Schur indicators), including, as a special case, the Ising CFT. The non-invertible symmetry leads to a constraint similar to that of Lieb-Schultz-Mattis, implying that the system cannot have a unique gapped ground state. It is either in a gapless phase or in a gapped phase with three (or a multiple of three) ground states, associated with the spontaneous breaking of the lattice non-invertible symmetry. 
    more » « less
  2. 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
  3. We explore exact generalized symmetries in the standard 2+1d lattice\mathbb{Z}_2 2 gauge theory coupled to the Ising model, and compare them with their continuum field theory counterparts. One model has a (non-anomalous) non-invertible symmetry, and we identify two distinct non-invertible symmetry protected topological phases. The non-invertible algebra involves a lattice condensation operator, which creates a toric code ground state from a product state. Another model has a mixed anomaly between a 1-form symmetry and an ordinary symmetry. This anomaly enforces a nontrivial transition in the phase diagram, consistent with the “Higgs=SPT” proposal. Finally, we discuss how the symmetries and anomalies in these two models are related by gauging, which is a 2+1d version of the Kennedy-Tasaki transformation. 
    more » « less
  4. Normalizing flows is a density estimation method that provides efficient exact likelihood estimation and sampling (Dinh et al., 2014) from high-dimensional distributions. This method depends on the use of the change of variables formula, which requires an invertible transform. Thus normalizing flow architectures are built to be invertible by design (Dinh et al., 2014). In theory, the invertibility of architectures constrains the expressiveness, but the use of coupling layers allows normalizing flows to exploit the power of arbitrary neural networks, which do not need to be invertible, (Dinh et al., 2016) and layer invertibility means that, if properly implemented, many layers can be stacked to increase expressiveness without creating a training memory bottleneck. The package we present, InvertibleNetworks.jl, is a pure Julia (Bezanson et al., 2017) imple- mentation of normalizing flows. We have implemented many relevant neural network layers, including GLOW 1x1 invertible convolutions (Kingma & Dhariwal, 2018), affine/additive coupling layers (Dinh et al., 2014), Haar wavelet multiscale transforms (Haar, 1909), and Hierarchical invertible neural transport (HINT) (Kruse et al., 2021), among others. These modular layers can be easily composed and modified to create different types of normalizing flows. As starting points, we have implemented RealNVP, GLOW, HINT, Hyperbolic networks (Lensink et al., 2022) and their conditional counterparts for users to quickly implement their individual applications. 
    more » « less
  5. Abstract Zesting of braided fusion categories is a procedure that can be used to obtain new modular categories from a modular category with non-trivial invertible objects. In this paper, we classify and construct all possible braided zesting data for modular categories associated with quantum groups at roots of unity. We produce closed formulas, based on the root system of the associated Lie algebra, for the modular data of these new modular categories. 
    more » « less