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}}\).     

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.     

Stochastic Averaging Principle for Spatial Birth-and-Death Evolutions in the Continuum

We study a spatial birth-and-death process on the phase space of locally finite configurations \({\varGamma }^+ \times {\varGamma }^-\) over \({\mathbb {R}}^d\). Dynamics is described by an non-equilibrium evolution of states obtained from the Fokker-Planck equation and associated with the Markov operator \(L^+(\gamma ^-) + \frac{1}{\varepsilon }L^-\), \(\varepsilon > 0\). Here \(L^-\) describes the environment process on \({\varGamma }^-\) and \(L^+(\gamma ^-)\) describes the system process on \({\varGamma }^+\), where \(\gamma ^-\) indicates that the corresponding birth-and-death rates depend on another locally finite configuration \(\gamma ^- \in {\varGamma }^-\). We prove that, for a certain class of birth-and-death rates, the corresponding Fokker-Planck equation is well-posed, i.e. there exists a unique evolution of states \(\mu _t^{\varepsilon }\) on \({\varGamma }^+ \times {\varGamma }^-\). Moreover, we give a sufficient condition such that the environment is ergodic with exponential rate. Let \(\mu _{\mathrm {inv}}\) be the invariant measure for the environment process on \({\varGamma }^-\). In the main part of this work we establish the stochastic averaging principle, i.e. we prove that the marginal of \(\mu _t^{\varepsilon }\) onto \({\varGamma }^+\) converges weakly to an evolution of states on \({\varGamma }^+\) associated with the averaged Markov birth-and-death operator \({\overline{L}} = \int _{{\varGamma }^-}L^+(\gamma ^-)d \mu _{\mathrm {inv}}(\gamma ^-)\).     

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.     

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.     

Crossover to the Stochastic Burgers Equation for the WASEP with a Slow Bond

We consider the weakly asymmetric simple exclusion process in the presence of a slow bond and starting from the invariant state, namely the Bernoulli product measure of parameter \({\rho \in (0,1)}\). The rate of passage of particles to the right (resp. left) is \({\frac{1}{2} + \frac{a}{2n^{\gamma}}}\) (resp. \({\frac{1}{2} - \frac{a}{2n^{\gamma}}}\)) except at the bond of vertices \({\{-1,0\}}\) where the rate to the right (resp. left) is given by \({\frac{\alpha}{2n^\beta} + \frac{a}{2n^{\gamma}}}\) (resp. \({\frac{\alpha}{2n^\beta}-\frac{a}{2n^{\gamma}}}\)). Above, \({\alpha > 0}\), \({\gamma \geq \beta \geq 0}\), \({a\geq 0}\). For \({\beta < 1}\), we show that the limit density fluctuation field is an Ornstein–Uhlenbeck process defined on the Schwartz space if \({\gamma > \frac{1}{2}}\), while for \({\gamma = \frac{1}{2}}\) it is an energy solution of the stochastic Burgers equation. For \({\gamma \geq \beta =1}\), it is an Ornstein–Uhlenbeck process associated to the heat equation with Robin’s boundary conditions. For \({\gamma \geq \beta > 1}\), the limit density fluctuation field is an Ornstein–Uhlenbeck process associated to the heat equation with Neumann’s boundary conditions.     

On the Asymptotic Behavior of a Log Gas in the Bulk Scaling Limit in the Presence of a Varying External Potential I

We study the determinant \({\det(I-\gamma K_s), 0 < \gamma < 1}\) , of the integrable Fredholm operator K _s acting on the interval (?1, 1) with kernel \({K_s(\lambda, \mu)= \frac{\sin s(\lambda - \mu)}{\pi (\lambda-\mu)}}\) . This determinant arises in the analysis of a log-gas of interacting particles in the bulk-scaling limit, at inverse temperature \({\beta=2}\) , in the presence of an external potential \({v=-\frac{1}{2}\ln(1-\gamma)}\) supported on an interval of length \({\frac{2s}{\pi}}\) . We evaluate, in particular, the double scaling limit of \({\det(I-\gamma K_s)}\) as \({s\rightarrow\infty}\) and \({\gamma\uparrow 1}\) , in the region \({0\leq\kappa=\frac{v}{s}=-\frac{1}{2s}\ln(1-\gamma)\leq 1-\delta}\) , for any fixed \({0 < \delta < 1}\) . This problem was first considered by Dyson (Chen Ning Yang: A Great Physicist of the Twentieth Century. International Press, Cambridge, pp. 131–146, 1995).     

Low Density Phases in a Uniformly Charged Liquid

It is well known that quantum correlations for bipartite dichotomic measurements are those of the form \({\gamma=(\langle u_i,v_j\rangle)_{i,j=1}^n}\), where the vectors u_i and v_j are in the unit ball of a real Hilbert space. In this work we study the probability of the nonlocal nature of these correlations as a function of \({\alpha=\frac{m}{n}}\), where the previous vectors are sampled according to the Haar measure in the unit sphere of \({\mathbb R^m}\). In particular, we prove the existence of an \({\alpha_0 > 0}\) such that if \({\alpha\leq \alpha_0}\), \({\gamma}\) is nonlocal with probability tending to 1 as \({n\rightarrow \infty}\), while for \({\alpha > 2}\), \({\gamma}\) is local with probability tending to 1 as \({n\rightarrow \infty}\).     

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.     

Universal Components of Random Nodal Sets

We give, as L grows to infinity, an explicit lower bound of order \({L^{\frac{n}{m}}}\) for the expected Betti numbers of the vanishing locus of a random linear combination of eigenvectors of P with eigenvalues below L. Here, P denotes an elliptic self-adjoint pseudo-differential operator of order \({m > 0}\), bounded from below and acting on the sections of a Riemannian line bundle over a smooth closed n-dimensional manifold M equipped with some Lebesgue measure. In fact, for every closed hypersurface \({\Sigma}\) of \({\mathbb{R}^n}\), we prove that there exists a positive constant \({p_\Sigma}\) depending only on \({\Sigma}\), such that for every large enough L and every \({x \in M}\), a component diffeomorphic to \({\Sigma}\) appears with probability at least \({p_\Sigma}\) in the vanishing locus of a random section and in the ball of radius \({L^{-\frac{1}{m}}}\) centered at x. These results apply in particular to Laplace–Beltrami and Dirichlet-to-Neumann operators.     

Noncommutative products of Euclidean spaces

We present natural families of coordinate algebras on noncommutative products of Euclidean spaces \({\mathbb {R}}^{N_1} \times _{\mathcal {R}} {\mathbb {R}}^{N_2}\). These coordinate algebras are quadratic ones associated with an \(\mathcal {R}\)-matrix which is involutive and satisfies the Yang–Baxter equations. As a consequence, they enjoy a list of nice properties, being regular of finite global dimension. Notably, we have eight-dimensional noncommutative euclidean spaces \({\mathbb {R}}^{4} \times _{\mathcal {R}} {\mathbb {R}}^{4}\). Among these, particularly well behaved ones have deformation parameter \(\mathbf{u} \in {\mathbb {S}}^2\). Quotients include seven spheres \({\mathbb {S}}^{7}_\mathbf{u}\) as well as noncommutative quaternionic tori \({\mathbb {T}}^{{\mathbb {H}}}_\mathbf{u} = {\mathbb {S}}^3 \times _\mathbf{u} {\mathbb {S}}^3\). There is invariance for an action of \({{\mathrm{SU}}}(2) \times {{\mathrm{SU}}}(2)\) on the torus \({\mathbb {T}}^{{\mathbb {H}}}_\mathbf{u}\) in parallel with the action of \(\mathrm{U}(1) \times \mathrm{U}(1)\) on a ‘complex’ noncommutative torus \({\mathbb {T}}^2_\theta \) which allows one to construct quaternionic toric noncommutative manifolds. Additional classes of solutions are disjoint from the classical case.     

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}\).     

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.     

Further studies on the exclusive productions of $$J/\psi +\chi _{cJ}$$ ($$J=0,1,2$$J=0,1,2) via $$e^+e^-$$e+e- annihilation at the B factories

By including the interference effect between the QCD and the QED diagrams, we carry out a complete analysis on the exclusive productions of \(e^+e^- \rightarrow J/\psi +\chi _{cJ}\) (\(J=0,1,2\)) at the B factories with \(\sqrt{s}=10.6\) GeV at the next-to-leading-order (NLO) level in \(\alpha _s\), within the nonrelativistic QCD framework. It is found that the \({\mathcal {O}} (\alpha ^3\alpha _s)\)-order terms that represent the tree-level interference are comparable with the usual NLO QCD corrections, especially for the \(\chi _{c1}\) and \(\chi _{c2}\) cases. To explore the effect of the higher-order terms, namely \({\mathcal {O}} (\alpha ^3\alpha _s^2)\), we perform the QCD corrections to these \({\mathcal {O}} (\alpha ^3\alpha _s)\)-order terms for the first time, which are found to be able to significantly influence the \({\mathcal {O}} (\alpha ^3\alpha _s)\)-order results. In particular, in the case of \(\chi _{c1}\) and \(\chi _{c2}\), the newly calculated \({\mathcal {O}} (\alpha ^3\alpha _s^2)\)-order terms can to a large extent counteract the \({\mathcal {O}} (\alpha ^3\alpha _s)\) contributions, evidently indicating the indispensability of the corrections. In addition, we find that, as the collision energy rises, the percentage of the interference effect in the total cross section will increase rapidly, especially for the \(\chi _{c1}\) case.     

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.     

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.     

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.     

Decay {B \to K^\ast(\to K\pi)\ell^{+} \ell^{-}} in Covariant Quark Model

Our article is devoted to the study of the rare \({B \to K^\ast \ell^+\ell^-}\) decay where \({\ell=e,\mu,\tau}\). We compute the relevant form factors in the framework of the covariant quark model with infrared confinement in the full kinematical momentum transfer region. The calculated form factors are used to evaluate branching fractions and polarization observables in the cascade decay \({B \to K^\ast(\to K\pi)\ell^+\ell^-}\). We compare the obtained results with available experimental data and the results from other theoretical approaches.     

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.     

Light deflection and Gauss–Bonnet theorem: definition of total deflection angle and its applications

In this paper, we re-examine the light deflection in the Schwarzschild and the Schwarzschild–de Sitter spacetime. First, supposing a static and spherically symmetric spacetime, we propose the definition of the total deflection angle \(\alpha \) of the light ray by constructing a quadrilateral \(\varSigma ^4\) on the optical reference geometry \({\mathscr {M}}^\mathrm{opt}\) determined by the optical metric \(\bar{g}_{ij}\). On the basis of the definition of the total deflection angle \(\alpha \) and the Gauss–Bonnet theorem, we derive two formulas to calculate the total deflection angle \(\alpha \); (1) the angular formula that uses four angles determined on the optical reference geometry \({\mathscr {M}}^\mathrm{opt}\) or the curved \((r, \phi )\) subspace \({\mathscr {M}}^\mathrm{sub}\) being a slice of constant time t and (2) the integral formula on the optical reference geometry \({\mathscr {M}}^\mathrm{opt}\) which is the areal integral of the Gaussian curvature K in the area of a quadrilateral \(\varSigma ^4\) and the line integral of the geodesic curvature \(\kappa _g\) along the curve \(C_{\varGamma }\). As the curve \(C_{\varGamma }\), we introduce the unperturbed reference line that is the null geodesic \(\varGamma \) on the background spacetime such as the Minkowski or the de Sitter spacetime, and is obtained by projecting \(\varGamma \) vertically onto the curved \((r, \phi )\) subspace \({\mathscr {M}}^\mathrm{sub}\). We demonstrate that the two formulas give the same total deflection angle \(\alpha \) for the Schwarzschild and the Schwarzschild–de Sitter spacetime. In particular, in the Schwarzschild case, the result coincides with Epstein–Shapiro’s formula when the source S and the receiver R of the light ray are located at infinity. In addition, in the Schwarzschild–de Sitter case, there appear order \({\mathscr {O}}(\varLambda m)\) terms in addition to the Schwarzschild-like part, while order \({\mathscr {O}}(\varLambda )\) terms disappear.