T-Duality Simplifies Bulk-Boundary Correspondence

We extend and apply a rigorous renormalisation group method to study critical correlation functions, on the 4-dimensional lattice \({{{\mathbb{Z}}}^{4}}\), for the weakly coupled n-component \({|\varphi|^{4}}\) spin model for all \({n \ge 1}\), and for the continuous-time weakly self-avoiding walk. For the \({|\varphi|^{4}}\) model, we prove that the critical two-point function has |x|^?2 (Gaussian) decay asymptotically, for \({n \ge 1}\). We also determine the asymptotic decay of the critical correlations of the squares of components of \({\varphi}\), including the logarithmic corrections to Gaussian scaling, for \({n \ge 1}\). The above extends previously known results for n = 1 to all \({n \ge 1}\), and also observes new phenomena for n > 1, all with a new method of proof. For the continuous-time weakly self-avoiding walk, we determine the decay of the critical generating function for the “watermelon” network consisting of p weakly mutually- and self-avoiding walks, for all \({p \ge 1}\), including the logarithmic corrections. This extends a previously known result for p = 1, for which there is no logarithmic correction, to a much more general setting. In addition, for both models, we study the approach to the critical point and prove the existence of logarithmic corrections to scaling for certain correlation functions. Our method gives a rigorous analysis of the weakly self-avoiding walk as the n = 0 case of the \({|\varphi|^{4}}\) model, and provides a unified treatment of both models, and of all the above results.     

Logarithmic Correction for the Susceptibility of the 4-Dimensional Weakly Self-Avoiding Walk: A Renormalisation Group Analysis

We prove that the susceptibility of the continuous-time weakly self-avoiding walk on \({\mathbb{Z}^d}\), in the critical dimension d = 4, has a logarithmic correction to mean-field scaling behaviour as the critical point is approached, with exponent \({\frac{1}{4}}\) for the logarithm. The susceptibility has been well understood previously for dimensions d ≥ 5 using the lace expansion, but the lace expansion does not apply when d = 4. The proof begins by rewriting the walk two-point function as the two-point function of a supersymmetric field theory. The field theory is then analysed via a rigorous renormalisation group method developed in a companion series of papers. By providing a setting where the methods of the companion papers are applied together, the proof also serves as an example of how to assemble the various ingredients of the general renormalisation group method in a coordinated manner.     

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 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.     

A Note on Expansiveness and Hyperbolicity for Generic Geodesic Flows

In this short note we contribute to the generic dynamics of geodesic flows associated to metrics on compact Riemannian manifolds of dimension ≥?2. We prove that there exists a C²-residual subset \(\mathscr{R}\) of metrics on a given compact Riemannian manifold such that if \(g\in \mathscr{R}\), then its associated geodesic flow \({\varphi ^{t}_{g}}\) is expansive if and only if the closure of the set of periodic orbits of \({\varphi ^{t}_{g}}\) is a uniformly hyperbolic set. For surfaces, we obtain a stronger statement: there exists a C²-residual \(\mathscr{R}\) such that if \(g\in \mathscr{R}\), then its associated geodesic flow \({\varphi ^{t}_{g}}\) is expansive if and only if \({\varphi ^{t}_{g}}\) is an Anosov flow.     

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.     

Eigenvalue Order Statistics for Random Schrödinger Operators with Doubly-Exponential Tails

We consider random Schrödinger operators of the form \({\Delta+\xi}\), where \({\Delta}\) is the lattice Laplacian on \({\mathbb{Z}^{d}}\) and \({\xi}\) is an i.i.d. random field, and study the extreme order statistics of the Dirichlet eigenvalues for this operator restricted to large but finite subsets of \({\mathbb{Z}^{d}}\). We show that, for \({\xi}\) with a doubly-exponential type of upper tail, the upper extreme order statistics of the eigenvalues falls into the Gumbel max-order class, and the corresponding eigenfunctions are exponentially localized in regions where \({\xi}\) takes large, and properly arranged, values. The picture we prove is thus closely connected with the phenomenon of Anderson localization at the spectral edge. Notwithstanding, our approach is largely independent of existing methods for proofs of Anderson localization and it is based on studying individual eigenvalue/eigenfunction pairs and characterizing the regions where the leading eigenfunctions put most of their mass.     

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.     

Disappearance of Mott Oscillations in Sub-barrier Elastic Scattering of Identical Nuclei and Atomic Ions

The scattering of identical nuclei at low energies exhibits conspicuous Mott oscillations which can be used to investigate the presence of components in the predominantly Coulomb interaction arising from several physical effects. It is found that at a certain critical value of the Sommerfeld parameter the Mott oscillations disappear and the cross section becomes quite flat. We call this effect Transverse Isotropy (TI). The critical value of the Sommerfeld parameter at which TI sets in is found to be \({\eta_{c} = \sqrt{3s + 2}}\), where s is the spin of the nuclei participating in the scattering. No TI is found in the Mott scattering of identical Fermionic nuclei. The critical center of mass energy corresponding to \({\eta_c}\) is found to be \({E_c = 0.40}\) MeV for \({\alpha + \alpha}\) (s = 0), 1.2 MeV for \({^{6}}\)Li + \({^{6}}\)LI (s = 1) and 7.1 MeV for \({^{10}}\)B + \({^{10}}\)B (s = 3). We further found that the inclusion of the nuclear interaction induces a significant modification in the TI. We suggest measurements at these sub-barrier energies for the purpose of extracting useful information about the nuclear interaction between light heavy ions. We also suggest extending the study of the TI to the scattering of identical atomic ions.     

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.     

Constraining the electric charges of some astronomical bodies in Reissner–Nordström spacetimes and generic <Emphasis Type="Italic">r</Emphasis><Superscript>−2</Superscript>-type power-law potentials from orbital motions

We put independent model dynamical constraints on the net electric charge Q of some astronomical and astrophysical objects by assuming that their exterior spacetimes are described by the Reissner-Nordström, metric, which induces an additional potential \({U_{\rm RN} \propto Q^2 r^{-2}}\). From the current bounds \({\Delta \dot \varpi}\) on any anomalies in the secular perihelion rate \({\dot \varpi}\) of Mercury and the Earth–mercury ranging Δρ, we have \({\left|Q_{\odot}\right| \lesssim 1-0.4 \times 10^{18}\ {\rm C}}\). Such constraints are ~60–200 times tighter than those recently inferred in literature. For the Earth, the perigee precession of the Moon, determined with the Lunar Laser Ranging technique, and the intersatellite ranging Δρ for the GRACE mission yield \({\left|Q_{\oplus} \right| \lesssim 5-0.4 \times 10^{14}\ {\rm C}}\). The periastron rate of the double pulsar PSR J0737-3039A/B system allows to infer \({\left|Q_{\rm NS} \right| \lesssim 5\times 10^{19}\ {\rm C}}\). According to the perinigricon precession of the main sequence S2 star in Sgr A^*, the electric charge carried by the compact object hosted in the Galactic Center may be as large as \({\left|Q_{\bullet} \right| \lesssim 4\times 10^{27} \ {\rm C}}\). Our results extend to other hypothetical power-law interactions inducing extra-potentials \({U_{\rm pert} = \Psi r^{-2}}\) as well. It turns out that the terrestrial GRACE mission yields the tightest constraint on the parameter \({\Psi}\), assumed as a universal constant, amounting to \({|\Psi| \lesssim 5\times 10^{9}\ {\rm m^4\ s^{-2}}}\).     

Two Dimensional Water Waves in Holomorphic Coordinates

In this article we investigate spectral properties of the coupling \({H + V_\lambda}\), where \({H = -i\alpha \cdot \nabla+m\beta}\) is the free Dirac operator in \({\mathbb{R}^3}\), \({m > 0}\) and \({V_\lambda}\) is an electrostatic shell potential (which depends on a parameter \({\lambda \in \mathbb{R}}\)) located on the boundary of a smooth domain in \({\mathbb{R}^3}\). Our main result is an isoperimetric-type inequality for the admissible range of \({\lambda}\)’s for which the coupling \({H + V_\lambda}\) generates pure point spectrum in \({(-m, m)}\). That the ball is the unique optimizer of this inequality is also shown. Regarding some ingredients of the proof, we make use of the Birman–Schwinger principle adapted to our setting in order to prove some monotonicity property of the admissible \({\lambda}\)’s, and we use this to relate the endpoints of the admissible range of \({\lambda}\)’s to the sharp constant of a quadratic form inequality, from which the isoperimetric-type inequality is derived.     

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.     

Positive Casimir and Central Characters of Split Real Quantum Groups

We consider the one parameter family \({\alpha \mapsto T_{\alpha}}\) (\({\alpha \in [0,1)}\)) of Pomeau-Manneville type interval maps \({T_{\alpha}(x) = x(1+2^{\alpha} x^{\alpha})}\) for \({x \in [0,1/2)}\) and \({T_{\alpha}(x)=2x-1}\) for \({x \in [1/2, 1]}\), with the associated absolutely continuous invariant probability measure \({\mu_{\alpha}}\). For \({\alpha \in (0,1)}\), Sarig and Gouëzel proved that the system mixes only polynomially with rate \({n^{1-1/{\alpha}}}\) (in particular, there is no spectral gap). We show that for any \({\psi \in L^{q}}\), the map \({\alpha \to \int_0^{1} \psi\, d \mu_{\alpha}}\) is differentiable on \({[0,1-1/q)}\), and we give a (linear response) formula for the value of the derivative. This is the first time that a linear response formula for the SRB measure is obtained in the setting of slowly mixing dynamics. Our argument shows how cone techniques can be used in this context. For \({\alpha \ge 1/2}\) we need the \({n^{-1/{\alpha}}}\) decorrelation obtained by Gouëzel under additional conditions.     

Quantum Electrodynamics of Atomic Resonances

A simple model of an atom interacting with the quantized electromagnetic field is studied. The atom has a finite mass m, finitely many excited states and an electric dipole moment, \({\vec{d}_0 = -\lambda_{0} \vec{d}}\), where \({\| d^{i}\| = 1, i = 1, 2, 3,}\) and \({\lambda_0}\) is proportional to the elementary electric charge. The interaction of the atom with the radiation field is described with the help of the Ritz Hamiltonian, \({-\vec{d}_0 \cdot \vec{E}}\), where \({\vec{E}}\) is the electric field, cut off at large frequencies. A mathematical study of the Lamb shift, the decay channels and the life times of the excited states of the atom is presented. It is rigorously proven that these quantities are analytic functions of the momentum \({\vec{p}}\) of the atom and of the coupling constant \({\lambda_0}\), provided \({\vert\vec{p} \vert < mc}\) and \({\vert \Im \vec{p} \vert}\) and \({\vert \lambda_{0} \vert}\) are sufficiently small. The proof relies on a somewhat novel inductive construction involving a sequence of ‘smooth Feshbach–Schur maps’ applied to a complex dilatation of the original Hamiltonian, which yields an algorithm for the calculation of resonance energies that converges super-exponentially fast.     

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.     

Spin density matrix of the $$\omega $$ in the reaction $${\bar{p}p}\,\rightarrow \,\omega \pi ^0$$p¯p→π0

The spin density matrix of the \(\omega \) has been determined for the reaction \({\bar{p}p}\,\rightarrow \,\omega \pi ^0\) with unpolarized in-flight data measured by the Crystal Barrel LEAR experiment at CERN. The two main decay modes of the \(\omega \) into \(\pi ^0 \gamma \) and \(\pi ^+ \pi ^- \pi ^0\) have been separately analyzed for various \({\bar{p}}\)momenta between 600 and 1940 MeV/c. The results obtained with the usual method by extracting the matrix elements via the \(\omega \) decay angular distributions and with the more sophisticated method via a full partial wave analysis are in good agreement. A strong spin alignment of the \(\omega \) is clearly visible in this energy regime and all individual spin density matrix elements exhibit an oscillatory dependence on the production angle. In addition, the largest contributing orbital angular momentum of the \({\bar{p}p~}\)system has been identified for the different beam momenta. It increases from \(L^{max}_{{\bar{p}p~}}\) \(=\) 2 at 600 MeV/c to \(L^{max}_{{\bar{p}p~}}\) \(=\) 5 at 1940 MeV/c.     

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.     

Time Delay for the Dirac Equation

We consider time delay for the Dirac equation. A new method to calculate the asymptotics of the expectation values of the operator \({\int\limits_{0} ^{\infty}{\rm e}^{iH_{0}t}\zeta(\frac{\vert x\vert }{R}) {\rm e}^{-iH_{0}t}{\rm d}t}\), as \({R \rightarrow \infty}\), is presented. Here, H₀ is the free Dirac operator and \({\zeta\left(t\right)}\) is such that \({\zeta\left(t\right) = 1}\) for \({0 \leq t \leq 1}\) and \({\zeta\left(t\right) = 0}\) for \({t > 1}\). This approach allows us to obtain the time delay operator \({\delta \mathcal{T}\left(f\right)}\) for initial states f in \({\mathcal{H} _{2}^{3/2+\varepsilon}(\mathbb{R}^{3};\mathbb{C}^{4})}\), \({\varepsilon > 0}\), the Sobolev space of order \({3/2+\varepsilon}\) and weight 2. The relation between the time delay operator \({\delta\mathcal{T}\left(f\right)}\) and the Eisenbud–Wigner time delay operator is given. In addition, the relation between the averaged time delay and the spectral shift function is presented.