We quantized the full Einstein equations in a globally hyperbolic spacetime $N=N^{n+1}$, $n\ge 3$, and found solutions of the resulting hyperbolic equation in a fiber bundle $E$ which can be expressed as a product of spatial eigenfunctions (eigendistributions) and temporal eigenfunctions. The spatial eigenfunctions form a basis in an appropriate Hilbert space while the temporal eigenfunctions are solutions to a second order ordinary differential equation in $\R[]_+$. In case $n\ge 17$ and provided the cosmological constant $\Lam$ is negative the temporal eigenfunctions are eigenfunctions of a self-adjoint operator $\hat H_0$ such that the eigenvalues are countable and the eigenfunctions form an orthonormal basis of a Hilbert space.

In a recent paper we presented a model for a unified quantization of gravity with other fundamental sources of nature. After quantization we had to solve a Wheeler-DeWitt equation which was a hyperbolic equation in a fiber bundle which was equipped with a Lorentzian metric with a time function $t$ ranging from $0$ to infinity. The Lorentzian metric had a big bang singularity in $t=0$ and the coefficients of the hyperbolic operator also inherited this singularity. The solutions of the Wheeler-DeWitt equation were products of spatial and temporal eigenfunctions and in order to prove that these solutions also experience a big bang singularity in $t=0$ the temporal eigenfunctions $w(t)$ had to become unbounded if $t$ tends to $0$. In our former paper this was only proved in special cases where $w$ could be expressed with the help of Bessel functions but not in general. In the present paper we prove that also in the general case the temporal solutions become unbounded near $t=0$, or more precisely: $\lim_{t\ra 0} (\abs w^2+t^2 \abs{\dot w}^2)=\un$ and $\limsup_{t\ra 0}\abs w^2=\un$.

Let O_25 be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge 25 whose composition factors are the irreducible quotients of reducible Verma modules. We show that O_25 is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian 3-cocycle twist of the category of finite-dimensional sl_2-modules. We also show that this sl_2-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge 1. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge 25 as a PSL_2(C)-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of SL_2 at level -1, showing that it has a symmetric tensor category of representations equivalent to Rep PSL_2(C). This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges 1 and 25, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

No abstract uploaded!

We determine exact exponential asymptotics of eigenfunctions and of corresponding transfer matrices of the almost Mathieu operators for all frequencies in the localization regime. This uncovers a universal structure in their behavior, governed by the continued fraction expansion of the frequency, explaining some predictions in physics literature. In addition it proves the arithmetic version of the frequency transition conjecture. Finally, it leads to an explicit description of several non-regularity phenomena in the corresponding non-uniformly hyperbolic cocycles, which is also of interest as both the first natural example of some of those phenomena and, more generally, the first non-artificial model where non-regularity can be explicitly studied.

The first author constructed a q-parameterized spherical category $\sC$ over C(q) in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.

Graph theory is important in information theory. We introduce a quantization process on graphs and apply the quantized graphs in quantum information. The quon language provides a mathematical theory to study such quantized graphs in a general framework. We give a new method to construct graphical quantum error correcting codes on quantized graphs and characterize all optimal ones. We establish a further connection to geometric group theory and construct quantum low-density parity-check stabilizer codes on the Cayley graphs of groups. Their logical qubits can be encoded by the ground states of newly constructed exactly solvable models with translation-invariant local Hamiltonians. Moreover, the Hamiltonian is gapped in the large limit when the underlying group is infinite.

We give a new type of Schur-Weyl duality for the representations of a family of quantum subgroups and their centralizer algebra. We define and classify singly-generated, Yang-Baxter relation planar algebras. We present the skein theoretic construction of a new parameterized planar algebra. We construct infinitely many new subfactors and unitary fusion categories, and compute their trace formula as a closed-form expression, in terms of Young diagrams.

Inspired by the quantum McKay correspondence, we consider the classical ADE Lie theory as a quantum theory over sl2. We introduce anti-symmetric characters for representations of quantum groups and investigate the Fourier duality to study the spectral theory. In the ADE Lie theory, there is a correspondence between the eigenvalues of the Coxeter element and the eigenvalues of the adjacency matrix. We formalize related notions and prove such a correspondence for representations of Verlinde algebras of quantum groups: this includes generalized Dynkin diagrams over any simple Lie algebra g at any level k. This answers a recent comment of Terry Gannon on an old question posed by Victor Kac in 1994.

The mathematical picture language project that we began in 2016 has already yielded interesting results. We also point out areas of mathematics and physics where we hope that it will prove useful in the future.

We give a transparent algebraic formulation of our pictorial approach to the reflection positivity (RP), that we introduced in a previous paper. We apply this quantization to the 2+1 Levin–Wen model to obtain 1+1 anyonic/quantum spin chain theory on the boundary, possibly entangled in the bulk. The reflection positivity property has played a central role in both mathematics and physics, as well as providing a crucial link between the two subjects. In a previous paper we gave a new geometric approach to understanding reflection positivity in terms of pictures. Here we give a transparent algebraic formulation of our pictorial approach. We use insights from this translation to establish the reflection positivity property for the fashionable Levin–Wen models with respect both to vacuum and to bulk excitations. We believe these methods will be useful for understanding a variety of other problems.

The classical de Finetti theorem in probability theory relates symmetry under the permutation group with the independence of random variables. This result has application in quantum information. Here we study states that are invariant with respect to a natural action of the braid group, and we emphasize the pictorial formulation and interpretation of our results. We prove a new type of de Finetti theorem for the four-string, double-braid group acting on the parafermion algebra to braid qudits, a natural symmetry in the quon language for quantum information. We prove that a braid-invariant state is extremal if and only if it is a product state. Furthermore, we provide an explicit characterization of braid-invariant states on the parafermion algebra, including finding a distinction that depends on whether the order of the parafermion algebra is square free. We characterize the extremal nature of product states (an inverse de Finetti theorem).

We explore the tunneling behavior of a quantum particle on a finite graph in the presence of an asymptotically large potential with two or three potential wells. The behavior of the particle is primarily governed by the local spectral symmetry of the graph around the wells. In the case of two wells the behavior is stable in the sense that it can be predicted from a sufficiently large neighborhood of the wells. However in the case of three wells we are able to exhibit examples where the tunneling behavior can be changed significantly by perturbing the graph arbitrarily far from the wells.

Quon language is a 3D picture language that we can apply to simulate mathematical concepts. We introduce the surface algebras as an extension of the notion of planar algebras to higher genus surface. We prove that there is a unique one-parameter extension. The 2D defects on the surfaces are quons, and surface tangles are transformations. We use quon language to simulate graphic states that appear in quantum information, and to simulate interesting quantities in modular tensor categories. This simulation relates the pictorial Fourier duality of surface tangles and the algebraic Fourier duality induced by the S matrix of the modular tensor category. The pictorial Fourier duality also coincides with the graphic duality on the sphere. For each pair of dual graphs, we obtain an algebraic identity related to the S matrix. These identities include well-known ones, such as the Verlinde formula; partially known ones, such as the 6j-symbol self-duality; and completely new ones.

We introduce a pictorial approach to quantum information, called holographic software. Our software captures both algebraic and topological aspects of quantum networks. It yields a bi-directional dictionary to translate between a topological approach and an algebraic approach. Using our software, we give a topological simulation for quantum networks. The string Fourier transform (SFT) is our basic tool to transform product states into states with maximal entanglement entropy. We obtain a pictorial interpretation of Fourier transformation, of measurements, and of local transformations, including the n-qudit Pauli matrices and their representation by Jordan-Wigner transformations. We use our software to discover interesting new protocols for multipartite communication. In summary, we build a bridge linking the theory of planar para algebras with quantum information.

We study deformations of maximally supersymmetric gauge theories by higher dimensional operators in various spacetime dimensions. We classify infinitesimal deformations that preserve all 16 supersymmetries, while allowing the possibility of breaking either Lorentz or R-symmetry, using an on-shell algebraic method developed by Movshev and Schwarz. We also consider the problem of extending the deformation beyond the first order.

We give a topological simulation for tensor networks that we call the two-string model. In this approach we give a new way to design protocols, and we discover a new multipartite quantum communication protocol. We introduce the notion of topologically compressed transformations. Our new protocol can implement multiple, non-local compressed transformations among multi-parties using one multipartite resource state.

The aim of this paper is to develop a mathematical framework for opto-elastography. In opto-elastography, a mechanical perturbation of the medium produces a decorrelation of optical speckle patterns due to the displacements of optical scatterers. To model this, we consider two optically random media, with the second medium obtained by shifting the first medium in some local region. We derive the radiative transfer equation for the cross-correlation of the wave fields in the media. Then we derive its diffusion approximation. In both the radiative transfer and the diffusion regimes, we relate the correlation of speckle patterns to the solutions of the radiative transfer and the diffusion equations. We present numerical simulations based on our model which are in agreement with recent experimental measurements.

The aim of this paper is to provide a fast and efficient procedure for (real-time) target identification in imaging based on matching on a dictionary of precomputed generalized polarization tensors (GPTs). The approach is based on some important properties of the GPTs and new invariants. A new shape representation is given and numerically tested in the presence of measurement noise. The stability and resolution of the proposed identification algorithm is numerically quantified. We compare the proposed GPT-based shape representation with a moment-based one.

We quantize the interaction of gravity with Yang-Mills and spinor fields, hence offering a quantum theory incorporating all four fundamental forces of nature. Let as abbreviate the spatial Hamilton functions of the Standard Model by $H_{SM}$ and the Hamilton function of gravity by $H_G$. Working in a fiber bundle $E$ with base space $\socc=\R[n]$, where the fiber elements are Riemannian metrics, we can express the Hamilton functions in the form $H_G+H_{SM}=H_G+t^{-\frac23}\tilde H_{SM}$ if $n=3$, where $\tilde H_{SM}$ depends on metrics $\s_{ij}$ satisfying $\det{\s_{ij}}=1$. In the quantization process, we quantize $H_G$ for general $\s_{ij}$ but $\tilde H_{SM}$ only for $\s_{ij}=\de_{ij}$ by the usual methods of QFT. Let $v$ \resp $\psi$ be the spatial eigendistributions of the respective Hamilton operators, then, the solutions $u$ of the Wheeler-DeWitt equation are given by $u=wv\psi$, where $w$ satisfies an ODE and $u$ is evaluated at $(t,\de_{ij})$ in the fibers.

The classification and construction of symmetry-protected topological (SPT) phases in interacting boson and fermion systems have become a fascinating theoretical direction in recent years. It has been shown that (generalized) group cohomology theory or cobordism theory gives rise to a complete classification of SPT phases in interacting boson or spin systems. The construction and classification of SPT phases in interacting fermion systems are much more complicated, especially in three dimensions. In this work, we revisit this problem based on an equivalence class of fermionic symmetric local unitary transformations. We construct very general fixed-point SPT wave functions for interacting fermion systems. We naturally reproduce the partial classifications given by special group supercohomology theory, and we show that with an additional \tilde{B}H^2(G_b,\mathbb{Z}_2) structure [the so-called obstruction-free subgroup of H^2(G_b,\mathbb{Z}_2)], a complete classification of SPT phases for three-dimensional interacting fermion systems with a total symmetry group G_f = G_b × \mathbb{Z}^f_2 can be obtained for unitary symmetry group G_b. We also discuss the procedure for deriving a general group supercohomology theory in arbitrary dimensions.

The classification and lattice model construction of symmetry-protected topological (SPT) phases in interacting fermion systems are very interesting but challenging. In this paper, we give a systematic fixed-point wave function construction of fermionic SPT (FSPT) states for generic fermionic symmetry group G_f = \mathbb{Z}^f_2 ×_{ω_2} G_b which is a central extension of bosonic symmetry group Gb (may contain time-reversal symmetry) by the fermion parity symmetry group \mathbb{Z}^f_2 = {1,P_f}. Our construction is based on the concept of an equivalence class of finite-depth fermionic symmetric local unitary transformations and decorating symmetry domain wall picture, subjected to certain obstructions. We also discuss the systematical construction and classification of boundary anomalous SPT states which leads to a trivialization of the corresponding bulk FSPT states. Thus, we conjecture that the obstruction-free and trivialization-free constructions naturally lead to a classification of FSPT phases. Each fixed-point wave function admits an exactly solvable commuting-projector Hamiltonian. We believe that our classification scheme can be generalized to point and space group symmetry as well as continuum Lie group symmetry.

In the past decade, tremendous efforts have been made towards understanding fermionic symmetry protected topological (FSPT) phases in interacting systems. Nevertheless, for systems with continuum symmetry, e.g., electronic insulators, it is still unclear how to construct an exactly solvable model with a finite dimensional Hilbert space in general. In this paper, we give a lattice model construction and classification for 2D interacting electronic insulators. Based on the physical picture of U(1)_f-charge decorations, we illustrate the key idea by considering the well known 2D interacting topological insulator. Then we generalize our construction to an arbitrary 2D interacting electronic insulator with symmetry Gf=U(1)_f ⋊_{ρ_1,ω_2} G, where U(1)_f is the charge conservation symmetry and ρ_1,ω_2 are additional data which fully characterize the group structure of G_f. Finally we study more examples, including the full interacting classification of 2D crystalline topological insulators.

Topological qauntum field theory(TQFT) is a very powerful theoretical tool to study topological phases and phase transitions. In 2+1D, it is well known that the Chern-Simons theory captures all the universal topological data of topological phases, e.g., quasi-particle braiding statistics, chiral central charge and even provides us a deep insight for the nature of topological phase transitions. Recently, topological phases of quantum matter are also intensively studied in 3+1D and it has been shown that loop like excitation obeys the so-called three-loop-braiding statistics. In this paper, we will try to establish a TQFT framework to understand the quantum statistics of particle and loop like excitation in 3+1D. We will focus on Abelian topological phases for simplicity, however, the general framework developed here is not limited to Abelian topological phases.

Fractional statistics is one of the most intriguing features of topological phases in 2D. In particular, the so-called non-Abelian statistics plays a crucial role towards realizing universal topological quantum computation. Recently, the study of topological phases has been extended to 3D and it has been proposed that loop-like extensive objects can also carry fractional statistics. In this work, we systematically study the so-called three-loop braiding statistics for loop-like excitations for 3D fermionic topological phases. Most surprisingly, we discovered new types of non-Abelian three-loop braiding statistics that can only be realized in fermionic systems (or equivalently bosonic systems with fermionic particles). The simplest example of such non-Abelian braiding statistics can be realized in interacting fermionic systems with a gauge group Z2×Z8 or Z4×Z4, and the physical origin of non-Abelian statistics can be viewed as attaching an open Majorana chain onto a pair of linked loops, which will naturally reduce to the well known Ising non-Abelian statistics via the standard dimension reduction scheme. Moreover, due to the correspondence between gauge theories with fermionic particles and classifying fermionic symmetry-protected topological (FSPT) phases with unitary symmetries, our study also give rise to an alternative way to classify FSPT phases with unitary symmetries. We further compare the classification results for FSPT phases with arbitrary Abelian total symmetry G^f and find systematical agreement with previous studies using other methods. We believe that the proposed framework of understanding three-loop braiding statistics (including both Abelian and non-Abelian cases) in interacting fermion systems applies for generic fermonic topological phases in 3D.