Universal Probability Distribution for the Wave Function of a Quantum System Entangled with its Environment

A quantum system (with Hilbert space \({\mathcal {H}_{1}}\)) entangled with its environment (with Hilbert space \({\mathcal {H}_{2}}\)) is usually not attributed to a wave function but only to a reduced density matrix \({\rho_{1}}\). Nevertheless, there is a precise way of attributing to it a random wave function \({\psi_{1}}\), called its conditional wave function, whose probability distribution \({\mu_{1}}\) depends on the entangled wave function \({\psi \in \mathcal {H}_{1} \otimes \mathcal {H}_{2}}\) in the Hilbert space of system and environment together. It also depends on a choice of orthonormal basis of \({\mathcal {H}_{2}}\) but in relevant cases, as we show, not very much. We prove several universality (or typicality) results about \({\mu_{1}}\), e.g., that if the environment is sufficiently large then for every orthonormal basis of \({\mathcal {H}_{2}}\), most entangled states \({\psi}\) with given reduced density matrix \({\rho_{1}}\) are such that \({\mu_{1}}\) is close to one of the so-called GAP (Gaussian adjusted projected) measures, \({GAP(\rho_{1})}\). We also show that, for most entangled states \({\psi}\) from a microcanonical subspace (spanned by the eigenvectors of the Hamiltonian with energies in a narrow interval \({[E, E+ \delta E]}\)) and most orthonormal bases of \({\mathcal {H}_{2}}\), \({\mu_{1}}\) is close to \({GAP(\rm {tr}_{2} \rho_{mc})}\) with \({\rho_{mc}}\) the normalized projection to the microcanonical subspace. In particular, if the coupling between the system and the environment is weak, then \({\mu_{1}}\) is close to \({GAP(\rho_\beta)}\) with \({\rho_\beta}\) the canonical density matrix on \({\mathcal {H}_{1}}\) at inverse temperature \({\beta=\beta(E)}\). This provides the mathematical justification of our claim in Goldstein et al. (J Stat Phys 125: 1193–1221, 2006) that GAP measures describe the thermal equilibrium distribution of the wave function.     

The Structure of the Kac–Wang–Yan Algebra

The Lie algebra \({\mathcal{D}}\) of regular differential operators on the circle has a universal central extension \({\hat{\mathcal{D}}}\). The invariant subalgebra \({\hat{\mathcal{D}}^+}\) under an involution preserving the principal gradation was introduced by Kac, Wang, and Yan. The vacuum \({\hat{\mathcal{D}}^+}\)-module with central charge \({c \in \mathbb{C}}\), and its irreducible quotient \({\mathcal{V}_c}\), possess vertex algebra structures, and \({\mathcal{V}_c}\) has a nontrivial structure if and only if \({c \in \frac{1}{2}\mathbb{Z}}\). We show that for each integer \({n > 0}\), \({\mathcal{V}_{n/2}}\) and \({\mathcal{V}_{-n}}\) are \({\mathcal{W}}\)-algebras of types \({\mathcal{W}(2, 4,\dots,2n)}\) and \({\mathcal{W}(2, 4,\dots, 2n^2 + 4n)}\), respectively. These results are formal consequences of Weyl’s first and second fundamental theorems of invariant theory for the orthogonal group \({{\rm O}(n)}\) and the symplectic group \({{\rm Sp}(2n)}\), respectively. Based on Sergeev’s theorems on the invariant theory of \({{\rm Osp}(1, 2n)}\) we conjecture that \({\mathcal{V}_{-n+1/2}}\) is of type \({\mathcal{W}(2, 4,\dots, 4n^2 + 8n + 2)}\), and we prove this for \({n = 1}\). As an application, we show that invariant subalgebras of \({\beta\gamma}\)-systems and free fermion algebras under arbitrary reductive group actions are strongly finitely generated.     

On the Convexity of the KdV Hamiltonian

Motivated by perturbation theory, we prove that the nonlinear part \({H^{*}}\) of the KdV Hamiltonian \({H^{kdv}}\), when expressed in action variables \({I = (I_{n})_{n \geqslant 1}}\), extends to a real analytic function on the positive quadrant \({\ell^{2}_{+}(\mathbb{N})}\) of \({\ell^{2}(\mathbb{N})}\) and is strictly concave near \({0}\). As a consequence, the differential of \({H^{*}}\) defines a local diffeomorphism near 0 of \({\ell_{\mathbb{C}}^{2}(\mathbb{N})}\). Furthermore, we prove that the Fourier-Lebesgue spaces \({\mathcal{F}\mathcal{L}^{s,p}}\) with \({-1/2 \leqslant s \leqslant 0}\) and \({2 \leqslant p < \infty}\), admit global KdV-Birkhoff coordinates. In particular, it means that \({\ell^{2}_+(\mathbb{N})}\) is the space of action variables of the underlying phase space \({\mathcal{F}\mathcal{L}^{-1/2,4}}\) and that the KdV equation is globally in time \({C^{0}}\)-well-posed on \({\mathcal{F}\mathcal{L}^{-1/2,4}}\).     

The Exoticness and Realisability of Twisted Haagerup–Izumi Modular Data

The quantum double of the Haagerup subfactor, the first irreducible finite depth subfactor with index above 4, is the most obvious candidate for exotic modular data. We show that its modular data \({\mathcal{D}{\rm Hg}}\) fits into a family \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) , where n ≥  0 and \({\omega\in \mathbb{Z}_{2n+1}}\) . We show \({\mathcal{D}^0 {\rm Hg}_{2n+1}}\) is related to the subfactors Izumi hypothetically associates to the cyclic groups \({\mathbb{Z}_{2n+1}}\) . Their modular data comes equipped with canonical and dual canonical modular invariants; we compute the corresponding alpha-inductions, etc. In addition, we show there are (respectively) 1, 2, 0 subfactors of Izumi type \({\mathbb{Z}_7, \mathbb{Z}_9}\) and \({\mathbb{Z}_3^2}\) , and find numerical evidence for 2, 1, 1, 1, 2 subfactors of Izumi type \({\mathbb{Z}_{11},\mathbb{Z}_{13},\mathbb{Z}_{15},\mathbb{Z}_{17},\mathbb{Z}_{19}}\) (previously, Izumi had shown uniqueness for \({\mathbb{Z}_3}\) and \({\mathbb{Z}_5}\)), and we identify their modular data. We explain how \({\mathcal{D}{\rm Hg}}\) (more generally \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\)) is a graft of the quantum double \({\mathcal{D} Sym(3)}\) (resp. the twisted double \({\mathcal{D}^\omega D_{2n+1}}\)) by affine so(13) (resp. so\({(4n^2+4n+5)}\)) at level 2. We discuss the vertex operator algebra (or conformal field theory) realisation of the modular data \({\mathcal{D}^\omega {\rm Hg}_{2n+1}}\) . For example we show there are exactly 2 possible character vectors (giving graded dimensions of all modules) for the Haagerup VOA at central charge c = 8. It seems unlikely that any of this twisted Haagerup-Izumi modular data can be regarded as exotic, in any reasonable sense.     

Hölder Regularity of the Solutions of the Cohomological Equation for Roth Type Interval Exchange Maps

There is a general method for constructing a soliton hierarchy from a splitting \({{L_{\pm}}}\) of a loop group as positive and negative sub-groups together with a commuting linearly independent sequence in the positive Lie algebra \({\mathcal{L}_{+}}\). Many known soliton hierarchies can be constructed this way. The formal inverse scattering associates to each f in the negative subgroup \({L_-}\) a solution \({u_{f}}\) of the hierarchy. When there is a 2 co-cycle of the Lie algebra that vanishes on both sub-algebras, Wilson constructed a tau function \({\tau_{f}}\) for each element \({f \in L_-}\). In this paper, we give integral formulas for variations of \({\ln\tau_{f}}\) and second partials of \({\ln\tau_{f}}\), discuss whether we can recover solutions \({u_{f}}\) from \({\tau_{f}}\), and give a general construction of actions of the positive half of the Virasoro algebra on tau functions. We write down formulas relating tau functions and formal inverse scattering solutions and the Virasoro vector fields for the \({GL(n,\mathbb{C})}\)-hierarchy.     

Deformations of spectral triples and their quantum isometry groups via monoidal equivalences

In this paper, we propose a new procedure to deform spectral triples and their quantum isometry groups. The deformation data are a spectral triple \((\mathcal {A},\mathcal {H}, D)\), a compact quantum group \({\mathbb {G}}\) acting algebraically and by orientation-preserving isometries on \((\mathcal {A},\mathcal {H},D)\) and a unitary fiber functor \(\psi \) on \({\mathbb {G}}\). The deformation procedure is a proper generalization of the cocycle deformation of Goswami and Joardar.     

Entanglement Rates and the Stability of the Area Law for the Entanglement Entropy

We develop in this paper the principles of an associative algebraic approach to bulk logarithmic conformal field theories (LCFTs). We concentrate on the closed \({\mathfrak{gl}(1|1)}\) spin-chain and its continuum limit—the \({c=-2}\) symplectic fermions theory—and rely on two technical companion papers, Gainutdinov et al. (Nucl Phys B 871:245–288, 2013) and Gainutdinov et al. (Nucl Phys B 871:289–329, 2013). Our main result is that the algebra of local Hamiltonians, the Jones–Temperley–Lieb algebra JTL _N , goes over in the continuum limit to a bigger algebra than \({\boldsymbol{\mathcal{V}}}\), the product of the left and right Virasoro algebras. This algebra, \({\mathcal{S}}\)—which we call interchiral, mixes the left and right moving sectors, and is generated, in the symplectic fermions case, by the additional field \({S(z,\bar{z})\equiv S_{\alpha\beta} \psi^\alpha(z)\bar{\psi}^\beta(\bar{z})}\), with a symmetric form \({S_{\alpha\beta}}\) and conformal weights (1,1). We discuss in detail how the space of states of the LCFT (technically, a Krein space) decomposes onto representations of this algebra, and how this decomposition is related with properties of the finite spin-chain. We show that there is a complete correspondence between algebraic properties of finite periodic spin chains and the continuum limit. An important technical aspect of our analysis involves the fundamental new observation that the action of JTL _N in the \({\mathfrak{gl}(1|1)}\) spin chain is in fact isomorphic to an enveloping algebra of a certain Lie algebra, itself a non semi-simple version of \({\mathfrak{sp}_{N-2}}\). The semi-simple part of JTL _N is represented by \({U \mathfrak{sp}_{N-2}}\), providing a beautiful example of a classical Howe duality, for which we have a non semi-simple version in the full JTL _N image represented in the spin-chain. On the continuum side, simple modules over \({\mathcal{S}}\) are identified with “fundamental” representations of \({\mathfrak{sp}_\infty}\).     

Random Repeated Interaction Quantum Systems

We consider a quantum system \({\mathcal{S}}\) interacting sequentially with independent systems \({\mathcal{E}_m}\) , m = 1,2,... Before interacting, each \({\mathcal{E}_m}\) is in a possibly random state, and each interaction is characterized by an interaction time and an interaction operator, both possibly random. We prove that any initial state converges to an asymptotic state almost surely in the ergodic mean, provided the couplings satisfy a mild effectiveness condition. We analyze the macroscopic properties of the asymptotic state and show that it satisfies a second law of thermodynamics. We solve exactly a model in which \({\mathcal{S}}\) and all the \({\mathcal{E}_m}\) are spins: we find the exact asymptotic state, in case the interaction time, the temperature, and the excitation energies of the \({\mathcal{E}_m}\) vary randomly. We analyze a model in which \({\mathcal{S}}\) is a spin and the \({\mathcal{E}_m}\) are thermal fermion baths and obtain the asymptotic state by rigorous perturbation theory, for random interaction times varying slightly around a fixed mean, and for small values of a coupling constant.     

On the Extension of Stringlike Localised Sectors in 2+1 Dimensions

In the framework of algebraic quantum field theory, we study the category \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) of stringlike localised representations of a net of observables \({\mathcal{O} \mapsto \mathfrak{A}(\mathcal{O})}\) in three dimensions. It is shown that compactly localised (DHR) representations give rise to a non-trivial centre of \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) with respect to the braiding. This implies that \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) cannot be modular when non-trivial DHR sectors exist. Modular tensor categories, however, are important for topological quantum computing. For this reason, we discuss a method to remove this obstruction to modularity.Indeed, the obstruction can be removed by passing from the observable net \({\mathfrak{A}(\mathcal{O})}\) to the Doplicher-Roberts field net \({\mathfrak{F}(\mathcal{O})}\). It is then shown that sectors of \({\mathfrak{A}}\) can be extended to sectors of the field net that commute with the action of the corresponding symmetry group. Moreover, all such sectors are extensions of sectors of \({\mathfrak{A}}\). Finally, the category \({\Delta_{{\rm BF}}^{\mathfrak{F}}}\) of sectors of \({\mathfrak{F}}\) is studied by investigating the relation with the categorical crossed product of \({\Delta_{{\rm BF}}^{\mathfrak{A}}}\) by the subcategory of DHR representations. Under appropriate conditions, this completely determines the category \({\Delta_{{\rm BF}}^{\mathfrak{F}}}\).     

Harmonic Pinnacles in the Discrete Gaussian Model

The 2D Discrete Gaussian model gives each height function \({\eta : {\mathbb{Z}^2\to\mathbb{Z}}}\) a probability proportional to \({\exp(-\beta \mathcal{H}(\eta))}\), where \({\beta}\) is the inverse-temperature and \({\mathcal{H}(\eta) = \sum_{x\sim y}(\eta_x-\eta_y)^2}\) sums over nearest-neighbor bonds. We consider the model at large fixed \({\beta}\), where it is flat unlike its continuous analog (the Discrete Gaussian Free Field). We first establish that the maximum height in an \({L\times L}\) box with 0 boundary conditions concentrates on two integers M, M + 1 with \({M\sim \sqrt{(1/2\pi\beta)\log L\log\log L}}\). The key is a large deviation estimate for the height at the origin in \({\mathbb{Z}^{2}}\), dominated by “harmonic pinnacles”, integer approximations of a harmonic variational problem. Second, in this model conditioned on \({\eta\geq 0}\) (a floor), the average height rises, and in fact the height of almost all sites concentrates on levels H, H + 1 where \({H\sim M/\sqrt{2}}\). This in particular pins down the asymptotics, and corrects the order, in results of Bricmont et al. (J. Stat. Phys. 42(5–6):743–798, 1986), where it was argued that the maximum and the height of the surface above a floor are both of order \({\sqrt{\log L}}\). Finally, our methods extend to other classical surface models (e.g., restricted SOS), featuring connections to p-harmonic analysis and alternating sign matrices.     

A Heisenberg Double Addition to the Logarithmic Kazhdan–Lusztig Duality

For a Hopf algebra B, we endow the Heisenberg double \({\mathcal{H}(B^*)}\) with the structure of a module algebra over the Drinfeld double \({\mathcal{D}(B)}\). Based on this property, we propose that \({\mathcal{H}(B^*)}\) is to be the counterpart of the algebra of fields on the quantum-group side of the Kazhdan–Lusztig duality between logarithmic conformal field theories and quantum groups. As an example, we work out the case where B is the Taft Hopf algebra related to the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) quantum group that is Kazhdan–Lusztig-dual to (p,1) logarithmic conformal models. The corresponding pair \({(\mathcal{D}(B),\mathcal{H}(B^*))}\) is “truncated” to \({(\overline{\mathcal{U}}_{\mathfrak{q}} s\ell2,\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2))}\), where \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)}\) is a \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\) module algebra that turns out to have the form \({\overline{\mathcal{H}}_{\mathfrak{q}} s\ell(2)=\mathbb{C}_{\mathfrak{q}}[z,\partial]\otimes\mathbb{C}[\lambda]/(\lambda^{2p}-1)}\), where \({\mathbb{C}_{\mathfrak{q}}[z,\partial]}\) is the \({\overline{\mathcal{U}}_{\mathfrak{q}} s\ell(2)}\)-module algebra with the relations z ^p  = 0, ? ^p  = 0, and \({\partial z = \mathfrak{q}-\mathfrak{q}^{-1} + \mathfrak{q}^{-2} z\partial}\).     

Frobenius manifolds and Frobenius algebra-valued integrable systems

The notion of integrability will often extend from systems with scalar-valued fields to systems with algebra-valued fields. In such extensions the properties of, and structures on, the algebra play a central role in ensuring integrability is preserved. In this paper, a new theory of Frobenius algebra-valued integrable systems is developed. This is achieved for systems derived from Frobenius manifolds by utilizing the theory of tensor products for such manifolds, as developed by Kaufmann (Int Math Res Not 19:929–952, 1996), Kontsevich and Manin (Inv Math 124: 313–339, 1996). By specializing this construction, using a fixed Frobenius algebra \({\mathcal {A}},\) one can arrive at such a theory. More generally, one can apply the same idea to construct an \({\mathcal {A}}\)-valued topological quantum field theory. The Hamiltonian properties of two classes of integrable evolution equations are then studied: dispersionless and dispersive evolution equations. Application of these ideas are discussed, and as an example, an \({\mathcal {A}}\)-valued modified Camassa–Holm equation is constructed.     

Existence and Regularity of Propagators for Multi-Particle Schrödinger Equations in External Fields

We consider Schrödinger equations for N number of particles in (classical) electro-magnetic fields that are interacting with each other via time dependent inter-particle potentials. We prove that they uniquely generate unitary propagators \({\{U(t,s), t,s \in \mathbb{R}\}}\) on the state space \({\mathcal{H}}\) under the conditions that fields are spatially smooth and do not grow too rapidly at infinity so that propagators for single particles satisfy Strichartz estimates locally in time, and that local singularities of inter-particle potentials are not too strong that time frozen Hamiltonians define natural selfadjoint realizations in \({\mathcal{H}}\). We also show, under very mild additional assumptions on the time derivative of inter-particle potentials, that propagators possess the domain of definition of the quantum harmonic oscillator \({\Sigma(2)}\) as an invariant subspace such that, for initial states in \({\Sigma(2)}\), solutions are C¹ functions of the time variable with values in \({\mathcal{H}}\). New estimates of Strichartz type for propagators for N independent particles in the field will be proved and used in the proof.     

Tensor functors between Morita duals of fusion categories

Given a fusion category \({\mathcal C}\) and an indecomposable \({\mathcal C}\)-module category \({\mathcal M}\), the fusion category \({\mathcal C}^*_{_{{\mathcal M}}}\) of \({\mathcal C}\)-module endofunctors of \({\mathcal M}\) is called the (Morita) dual fusion category of \({\mathcal C}\) with respect to \({\mathcal M}\). We describe tensor functors between two arbitrary duals \({\mathcal C}^*_{_{{\mathcal M}}}\) and \({\mathcal D}^*_{\mathcal N}\) in terms of data associated to \({\mathcal C}\) and \({\mathcal D}\). We apply the results to G-equivariantizations of fusion categories and group-theoretical fusion categories. We describe the orbits of the action of the Brauer–Picard group on the set of module categories and we propose a categorification of the Rosenberg–Zelinsky sequence for fusion categories.     

A Remark on CFT Realization of Quantum Doubles of Subfactors: Case Index { < 4}

It is well known that the quantum double \({D(N\subset M)}\) of a finite depth subfactor \({N\subset M}\), or equivalently the Drinfeld center of the even part fusion category, is a unitary modular tensor category. It is big open conjecture that all (unitary) modular tensor categories arise from conformal field theory. We show that for every subfactor \({N\subset M}\) with index \({[M:N] < 4}\) the quantum double \({D(N\subset M)}\) is realized as the representation category of a completely rational conformal net. In particular, the quantum double of \({E_6}\) can be realized as a \({\mathbb{Z}_2}\)-simple current extension of \({{{\rm SU}(2)}_{10}\times {{\rm Spin}(11)}_1}\) and thus is not exotic in any sense. As a byproduct, we obtain a vertex operator algebra for every such subfactor. We obtain the result by showing that if a subfactor \({N\subset M }\) arises from \({\alpha}\)-induction of completely rational nets \({\mathcal{A}\subset \mathcal{B}}\) and there is a net \({\tilde{\mathcal{A}}}\) with the opposite braiding, then the quantum \({D(N\subset M)}\) is realized by completely rational net. We construct completely rational nets with the opposite braiding of \({{{\rm SU}(2)}_k}\) and use the well-known fact that all subfactors with index \({[M:N] < 4}\) arise by \({\alpha}\)-induction from \({{{\rm SU}(2)}_k}\).     

On a Pre-Lie Algebra Defined by Insertion of Rooted Trees

Let K be a field of characteristic zero. For \({n \in \mathbb{N}^{*}}\) , let \({\mathcal{T}^{\,\prime}_{n}}\) be the vector space of non-planar rooted trees with n vertices (Foissy in Bull Sci Math 126, no. 3, 193–239; no. 4, 249–288, 2002). Let \({\vartriangleright}\) be the left pre-Lie product of insertion of a tree inside another defined on infinitesimal characters of the graded Hopf algebra \({\mathcal{H}}\) introduced by Calaque, Ebrahimi-Fard and Manchon. Let \({\mathcal{T}^{\,\prime}=\oplus_{n\geq 2}\mathcal{T}^{\,\prime}_{n}}\) . In this work, we first prove that \({(\mathcal{T}^{\,\prime}, \vartriangleright)}\) a pre-Lie algebra generated by the two ladders E ₁ and E ₂ where E ₁ is the ladder with one edge and E ₂ is the ladder with two edges. Second, we prove that \({(\mathcal{T}^{\,\prime}, \vartriangleright)}\) is not a free pre-Lie algebra, and we exhibit a family of relations.     

Flat Bi-Hamiltonian Structures and Invariant Densities

A bi-Hamiltonian structure is a pair of Poisson structures \({{\mathcal P}}\), \({{\mathcal Q}}\) which are compatible, meaning that any linear combination \({\alpha {\mathcal P} + \beta {\mathcal Q}}\) is again a Poisson structure. A bi-Hamiltonian structure \({({\mathcal P}, {\mathcal Q})}\) is called flat if \({{\mathcal P}}\) and \({{\mathcal Q}}\) can be simultaneously brought to a constant form in a neighborhood of a generic point. We prove that a generic bi-Hamiltonian structure \({({\mathcal P}, {\mathcal Q})}\) on an odd-dimensional manifold is flat if and only if there exists a local density which is preserved by all vector fields Hamiltonian with respect to \({{\mathcal P}}\), as well as by all vector fields Hamiltonian with respect to \({{\mathcal Q}}\).     

Unique Continuation from Infinity in Asymptotically Anti-de Sitter Spacetimes

We consider the unique continuation properties of asymptotically anti-de Sitter spacetimes by studying Klein–Gordon-type equations \({\Box_g \phi + \sigma \phi = {\mathcal{G}} ( \phi, \partial \phi )}\), \({\sigma \in {\mathbb{R}}}\), on a large class of such spacetimes. Our main result establishes that if \({\phi}\) vanishes to sufficiently high order (depending on \({\sigma}\)) on a sufficiently long time interval along the conformal boundary \({{\mathcal{I}}}\), then the solution necessarily vanishes in a neighborhood of \({{\mathcal{I}}}\). In particular, in the \({\sigma}\)-range where Dirichlet and Neumann conditions are possible on \({{\mathcal{I}}}\) for the forward problem, we prove uniqueness if both these conditions are imposed. The length of the time interval can be related to the refocusing time of null geodesics on these backgrounds and is expected to be sharp. Some global applications as well as a uniqueness result for gravitational perturbations are also discussed. The proof is based on novel Carleman estimates established in this setting.