Non-Negative Integral Level Affine Lie Algebra Tensor Categories and Their Associativity Isomorphisms

For a finite-dimensional simple Lie algebra \({\mathfrak{g}}\), we use the vertex tensor category theory of Huang and Lepowsky to identify the category of standard modules for the affine Lie algebra \({{\widehat{\mathfrak{g}}}}\) at a fixed level \({\ell\in\mathbb{N}}\) with a certain tensor category of finite-dimensional \({\mathfrak{g}}\)-modules. More precisely, the category of level ? standard \({{\widehat{\mathfrak{g}}}}\)-modules is the module category for the simple vertex operator algebra \({L_{\widehat{\mathfrak{g}}}(\ell, 0)}\), and as is well known, this category is equivalent as an abelian category to \({\mathbf{D}(\mathfrak{g},\ell)}\), the category of finite-dimensional modules for the Zhu’s algebra \({A{(L_{\widehat{\mathfrak{g}}}(\ell, 0))}}\), which is a quotient of \({U(\mathfrak{g})}\). Our main result is a direct construction using Knizhnik–Zamolodchikov equations of the associativity isomorphisms in \({\mathbf{D}(\mathfrak{g},\ell)}\) induced from the associativity isomorphisms constructed by Huang and Lepowsky in \({{L_{\widehat{\mathfrak{g}}}(\ell, 0) - \mathbf{mod}}}\). This construction shows that \({\mathbf{D}(\mathfrak{g},\ell)}\) is closely related to the Drinfeld category of \({U(\mathfrak{g})}\)[[h]]-modules used by Kazhdan and Lusztig to identify categories of \({{\widehat{\mathfrak{g}}}}\)-modules at irrational and most negative rational levels with categories of quantum group modules.     

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.     

Parabolic Presentations of the Super Yangian {Y(\mathfrak{gl}_{M|N})} Associated with Arbitrary 01-Sequences

Let μ be an arbitrary composition of M + N and let \({\mathfrak{s}}\) be an arbitrary \({0^{M}1^{N}}\)- sequence. A new presentation, depending on \({\mu \rm and \mathfrak{s}}\), of the super Yangian Y_M|N associated to the general linear Lie superalgebra \({\mathfrak{gl}_{M|N}}\) is obtained.     

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.     

Regularity of the Speed of Biased Random Walk in a One-Dimensional Percolation Model

We consider biased random walks on the infinite cluster of a conditional bond percolation model on the infinite ladder graph. Axelson-Fisk and Häggström established for this model a phase transition for the asymptotic linear speed \(\overline{\hbox {v}}\) of the walk. Namely, there exists some critical value \(\lambda _{\hbox {c}}>0\) such that \(\overline{\hbox {v}}>0\) if \(\lambda \in (0,\lambda _{\hbox {c}})\) and \(\overline{\hbox {v}}=0\) if \(\lambda \ge \lambda _{\hbox {c}}\). We show that the speed \(\overline{\hbox {v}}\) is continuous in \(\lambda \) on \((0,\infty )\) and differentiable on \((0,\lambda _{\hbox {c}}/2)\). Moreover, we characterize the derivative as a covariance. For the proof of the differentiability of \(\overline{\hbox {v}}\) on \((0,\lambda _{\hbox {c}}/2)\), we require and prove a central limit theorem for the biased random walk. Additionally, we prove that the central limit theorem fails to hold for \(\lambda \ge \lambda _{\hbox {c}}/2\).     

Degeneration of Bethe subalgebras in the Yangian of $$\mathfrak {gl}_n$$

We study degenerations of Bethe subalgebras B(C) in the Yangian \(Y(\mathfrak {gl}_n)\), where C is a regular diagonal matrix. We show that closure of the parameter space of the family of Bethe subalgebras, which parameterizes all possible degenerations, is the Deligne–Mumford moduli space of stable rational curves \(\overline{M_{0,n+2}}\). All subalgebras corresponding to the points of \(\overline{M_{0,n+2}}\) are free and maximal commutative. We describe explicitly the “simplest” degenerations and show that every degeneration is the composition of the simplest ones. The Deligne–Mumford space \(\overline{M_{0,n+2}}\) generalizes to other root systems as some De Concini–Procesi resolution of some toric variety. We state a conjecture generalizing our results to Bethe subalgebras in the Yangian of arbitrary simple Lie algebra in terms of this De Concini–Procesi resolution.     

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.     

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

Quantum Symmetries and Strong Haagerup Inequalities

In this paper, we consider families of operators \({\{x_r\}_{r \in \Lambda}}\) in a tracial C*-probability space \({({\mathcal{A}}, \varphi)}\) , whose joint *-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups \({\{H_n^+\}_{n \in \mathbb {N}}}\) . We prove a strong form of Haagerup’s inequality for the non-self-adjoint operator algebra \({{\mathcal{B}}}\) generated by \({\{x_r\}_{r \in \Lambda}}\) , which generalizes the strong Haagerup inequalities for *-free R-diagonal families obtained by Kemp–Speicher (J Funct Anal 251:141–173, 2007). As an application of our result, we show that \({{\mathcal{B}}}\) always has the metric approximation property (MAP). We also apply our techniques to study the reduced C*-algebra of the free unitary quantum group \({U_n^+}\) . We show that the non-self-adjoint subalgebra \({{\mathcal{B}}_n}\) generated by the matrix elements of the fundamental corepresentation of \({U_n^+}\) has the MAP. Additionally, we prove a strong Haagerup inequality for \({{\mathcal{B}}_n}\) , which improves on the estimates given by Vergnioux’s property RD (Vergnioux in J Oper Theory 57:303–324, 2007).     

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.     

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.     

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.     

Automorphisms and Derivations of the Insertion–Elimination Algebra and Related Graded Lie Algebras

This paper addresses several structural aspects of the insertion–elimination algebra \({\mathfrak{g}}\), a Lie algebra that can be realized in terms of tree-inserting and tree-eliminating operations on the set of rooted trees. In particular, we determine the finite-dimensional subalgebras of \({\mathfrak{g}}\), the automorphism group of \({\mathfrak{g}}\), the derivation Lie algebra of \({\mathfrak{g}}\), and a generating set. Several results are stated in terms of Lie algebras admitting a triangular decomposition and can be used to reproduce results for the generalized Virasoro algebras.     

On a Classical Limit of <Emphasis Type="Italic">q</Emphasis>-Deformed Whittaker Functions

Previously, we derive a representation of q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function as a sum over Gelfand–Zetlin patterns. This representation provides an analog of the Shintani–Casselman–Shalika formula for q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker functions. In this note, we provide a derivation of the Givental integral representation of the classical \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function as a limit q → 1 of the sum over the Gelfand–Zetlin patterns representation of the q-deformed \({\mathfrak{gl}_{\ell+1}}\) -Whittaker function. Thus, Givental representation provides an analog the Shintani–Casselman–Shalika formula for classical Whittaker functions.     

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.     

Generic Rigidity for Circle Diffeomorphisms with Breaks

We prove that \({C^r}\)-smooth (\({r > 2}\)) circle diffeomorphisms with a break, i.e., circle diffeomorphisms with a single singular point where the derivative has a jump discontinuity, are generically, i.e., for almost all irrational rotation numbers, not \({C^{1+\varepsilon}}\)-rigid, for any \({\varepsilon > 0}\). This result complements our recent proof, joint with Khanin (Geom Funct Anal 24:2002–2028, 2014), that such maps are generically \({C^1}\)-rigid. It stands in remarkable contrast to the result of Yoccoz (Ann Sci Ec Norm Sup 17:333–361, 1984) that \({C^r}\)-smooth circle diffeomorphisms are generically \({C^{r-1-\varkappa}}\)-rigid, for any \({\varkappa > 0}\).     

Cyclotomic Gaudin Models: Construction and Bethe Ansatz

To any finite-dimensional simple Lie algebra \({\mathfrak{g}}\) and automorphism \({\sigma: \mathfrak{g}\to \mathfrak{g}}\) we associate a cyclotomic Gaudin algebra. This is a large commutative subalgebra of \({U(\mathfrak{g})^{\otimes N}}\) generated by a hierarchy of cyclotomic Gaudin Hamiltonians. It reduces to the Gaudin algebra in the special case \({\sigma ={\rm id}}\).     

Dynamic Equations for a Free Particle Motion in a Discrete Space-Time Geometry

One considers the discrete space-time geometry \(\mathcal {G}_{\mathrm {d}}\), which is given on the set of points (events), where the geometry of Minkowski is given. This discrete geometry is not a geometry on lattice. Motion of a free particle is considered in \(\mathcal {G}_{\mathrm {d}}\). Free motion in \(\mathcal {G}_{\mathrm {d}}\) can be reduced to a motion in geometry of Minkowski \(\mathcal {G}_{\mathrm {M}}\) in some force field. Primordial free motion in \(\mathcal {G}_{\mathrm {d}}\) appears to be stochastic. In \(\mathcal {G }_{\mathrm {M}}\) it is difficult to describe the force field responsible for stochastic motion of a particle. The nature of this force field appears to be geometrical.