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.     

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.     

Spectral Measures Associated to Rank two Lie Groups and Finite Subgroups of {GL(2,\mathbb{Z})}

Spectral measures for fundamental representations of the rank two Lie groups SU(3), Sp(2) and G₂ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus \({\mathbb{T}^2}\) and are invariant under an action of the corresponding Weyl group, which is a subgroup of \({GL(2,\mathbb{Z})}\). Here we consider spectral measures invariant under an action of the other finite subgroups of \({GL(2,\mathbb{Z})}\). These spectral measures are all associated with fundamental representations of other rank two Lie groups, namely \({\mathbb{T}^2=U(1) \times U(1)}\), \({U(1) \times SU(2)}\), U(2), \({SU(2) \times SU(2)}\), SO(4) and PSU(3).     

Global Well-Posedness of the Energy-Critical Defocusing NLS on $${\mathbb{R} \times \mathbb{T}^3}$$

We prove global well-posedness in H ¹ for the energy-critical defocusing initial-value problem \({(i\partial_t+\Delta_x)u=u|u|^2,\quad u(0)=\phi,}\) in the semiperiodic setting \({x\in\mathbb{R} \times \mathbb{T}^3}\) .     

Concentration and Non-Concentration for the Schrödinger Evolution on Zoll Manifolds

We study the long time dynamics of the Schrödinger equation on Zoll manifolds. We establish criteria under which the solutions of the Schrödinger equation can or cannot concentrate on a given closed geodesic. As an application, we derive some results on the set of semiclassical measures for eigenfunctions of Schrödinger operators: we prove that adding a potential \({V \in C^{\infty} (\mathbb{S}^{d})}\) to the Laplacian on the sphere results in the existence of geodesics \({\gamma}\) such that the uniform measure supported on \({\gamma}\) cannot be obtained as a weak-\({\star}\) accumulation point of the densities \({(|\psi_{n}|^{2} {vol}_{\mathbb{S}^d})}\) for any sequence of eigenfunctions \({(\psi_n)}\) of \({\Delta_{\mathbb{S}^{d}} - V}\). We also show that the same phenomenon occurs for the free Laplacian on certain Zoll surfaces.     

Low-regularity Schrödinger maps,II: global well-posedness in dimensions <Emphasis Type="Italic">d</Emphasis> ≥ 3

In dimensions d ≥ 3, we prove that the Schrödinger map initial-value problem

$ \left\{ \begin{array}{l} \partial_ts=s\times\Delta_x s\hbox{ on }\mathbb{R}^d\times\mathbb{R};\\ s(0)=s_0 \end{array} \right. $

is globally well-posed for small data s ₀ in the critical Besov spaces \({\dot{B}_Q^{d/2}(\mathbb{R}^d;\mathbb{S}^2)}\), \({Q\in\mathbb{S}^2}\).

     

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

Off-Diagonal Decay of Toric Bergman Kernels

We study the off-diagonal decay of Bergman kernels \({\Pi_{h^k}(z,w)}\) and Berezin kernels \({P_{h^k}(z,w)}\) for ample invariant line bundles over compact toric projective kähler manifolds of dimension m. When the metric is real analytic, \({P_{h^k}(z,w) \simeq k^m {\rm exp} - k D(z,w)}\) where \({D(z,w)}\) is the diastasis. When the metric is only \({C^{\infty}}\) this asymptotic cannot hold for all \({(z,w)}\) since the diastasis is not even defined for all \({(z,w)}\) close to the diagonal. Our main result is that for general toric \({C^{\infty}}\) metrics, \({P_{h^k}(z,w) \simeq k^m {\rm exp} - k D(z,w)}\) as long as w lies on the \({\mathbb{R}_+^m}\)-orbit of z, and for general \({(z,w)}\), \({{\rm lim\,sup}_{k \to \infty} \frac{1}{k} {\rm log} P_{h^k}(z,w) \,\leq\, - D(z^*,w^*)}\) where \({D(z, w^*)}\) is the diastasis between z and the translate of w by \({(S^1)^m}\) to the \({\mathbb{R}_+^m}\) orbit of z. These results are complementary to Mike Christ’s negative results showing that \({P_{h^k}(z,w)}\) does not have off-diagonal exponential decay at “speed” k if \({(z,w)}\) lies on the same \({(S^1)^m}\)-orbit.     

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.     

Two Types of Maximally Entangled Bases and Their Mutually Unbiased Property in ℂd⊗ℂd′

We first construct a new maximally entangled basis in bipartite systems \(\mathbb {C}^{d} \otimes \mathbb {C}^{kd}\ (k\in Z^{+})\) which is diffrent from the one in Tao et al. (Quantum Inf. Process. 14, 2291 (2015)), then we generalize such maximally entangled basis into arbitrary bipartite systems \(\mathbb {C}^{d} \otimes \mathbb {C}^{d^{\prime }}\). We also study the mutual unbiased property of the two types of maximally entangled bases in bipartite systems \(\mathbb {C}^{d} \otimes \mathbb {C}^{kd}\). In particular, explicit examples in \(\mathbb {C}^{2} \otimes \mathbb {C}^{4}\), \(\mathbb {C}^{2} \otimes \mathbb {C}^{8}\) and \(\mathbb {C}^{3} \otimes \mathbb {C}^{3}\) are presented.     

On Essential Self-Adjointness for Magnetic Schrödinger and Pauli Operators on the Unit Disc in $${\mathbb {R}^2}$$

We study the question of magnetic confinement of quantum particles on the unit disk \({\mathbb {D}}\) in \({\mathbb {R}^2}\) , i.e. we wish to achieve confinement solely by means of the growth of the magnetic field \({B(\vec x)}\) near the boundary of the disk. In the spinless case, we show that \({B(\vec x)\ge \frac{\sqrt 3}{2}\cdot\frac{1}{(1-r)^2}-\frac{1}{\sqrt 3}\frac{1}{(1-r)^2\ln \frac{1}{1-r}}}\) , for \({|\vec x|}\) close to 1, insures the confinement provided we assume that the non-radially symmetric part of the magnetic field is not very singular near the boundary. Both constants \({\frac{\sqrt 3}{2}}\) and \({-\frac{1}{\sqrt 3}}\) are optimal. This answers, in this context, an open question from Colin de Verdière and Truc (Ann Inst Fourier 2011, Preprint, arXiv:0903.0803v3). We also derive growth conditions for radially symmetric magnetic fields which lead to confinement of spin 1/2 particles.     

Unique Continuation for Many-Body Schrödinger Operators and the Hohenberg-Kohn Theorem

We prove the strong unique continuation property for many-body Schrödinger operators with an external potential and an interaction potential both in \(L^{p}_{\text {loc}}(\mathbb {R}^{d})\), where p >?2 if d =?3 and \({p = \max (2d/3,2)}\) otherwise, independently of the number of particles. With the same assumptions, we obtain the Hohenberg-Kohn theorem, which is one of the most fundamental results in Density Functional Theory.     

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.     

A Categorification of the Boson–Fermion Correspondence via Representation Theory of sl(∞)

In recent years different aspects of categorification of the boson–fermion correspondence have been studied. In this paper we propose a categorification of the boson–fermion correspondence based on the category of tensor modules of the Lie algebra sl(∞) of finitary infinite matrices. By \({\mathbb{T}^{+}}\) we denote the category of “polynomial” tensor sl(∞)-modules. There is a natural “creation” functor \({{\mathcal{T}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\), \({M \mapsto N \otimes M, \quad M,N \in \mathbb{T}^{+}}\). The key idea of the paper is to employ the entire category \({\mathbb{T}}\) of tensor sl(∞)-modules in order to define the “annihilation” functor \({{\mathcal{D}_{N}} : {\mathbb{T}^{+}} \to {\mathbb{T}^{+}}}\) corresponding to \({{\mathcal{T}_{N}}}\). We show that the relations allowing one to express fermions via bosons arise from relations in the cohomology of complexes of linear endofunctors on \({{\mathbb{T}^{+}}}\).     

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.     

$\mathcal {}$-Matrix-valued Wave Packet Frames in L2(ℝd,ℂs×r)$L^{2}(\mathbb {R}^{d}, \mathbb {C}^{s\times r})$

We study frame properties of a matrix-valued wave packet system in the matrix-valued function space \(L^{2}(\mathbb {R}^{d}, \mathbb {C}^{s\times r})\), where the lower frame condition is controlled by a bounded linear operator \(\mathcal {K}\) on \(L^{2}(\mathbb {R}^{d}, \mathbb {C}^{s\times r})\) (lower \(\mathcal {K}\)-frame condition, in short). There are many differences between ordinary frames and \(\mathcal {K}\)-frames. The lower \(\mathcal {K}\)-frame condition for matrix-valued wave packet Bessel sequences in \(L^{2}(\mathbb {R}^{d},\mathbb {C}^{s\times r})\) in terms of operators; a trace functional associated with a bounded linear operator on \(L^{2}(\mathbb {R}^{d}, \mathbb {C}^{s\times r})\); and a series associated with a matrix-valued Bessel sequence is presented. It is shown that matrix-valued wave packet frames are stable under small perturbation with respect to wave packet window functions.     

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.     

On Blow-up Profile of Ground States of Boson Stars with External Potential

We study minimizers of the pseudo-relativistic Hartree functional \({\mathcal {E}}_{a}(u):=\Vert (-\varDelta +m^{2})^{1/4}u\Vert _{L^{2}}^{2}+\int _{{\mathbb {R}}^{3}}V(x)|u(x)|^{2}\mathrm{d}x-\frac{a}{2}\int _{{\mathbb {R}}^{3}}(\left| \cdot \right| ^{-1}\star |u|^{2})(x)|u(x)|^{2}\mathrm{d}x\) under the mass constraint \(\int _{{\mathbb {R}}^3}|u(x)|^2\mathrm{d}x=1\). Here \(m>0\) is the mass of particles and \(V\ge 0\) is an external potential. We prove that minimizers exist if and only if a satisfies \(0\le a<a^{*}\), and there is no minimizer if \(a\ge a^*\), where \(a^*\) is called the Chandrasekhar limit. When a approaches \(a^*\) from below, the blow-up behavior of minimizers is derived under some general external potentials V. Here we consider three cases of V: trapping potential, i.e. \(V\in L_{\mathrm{loc}}^{\infty }({\mathbb {R}}^3)\) satisfies \(\lim _{|x|\rightarrow \infty }V(x)=\infty \); periodic potential, i.e. \(V\in C({\mathbb {R}}^3)\) satisfies \(V(x+z)=V(x)\) for all \(z\in \mathbb {Z}^3\); and ring-shaped potential, e.g. \( V(x)=||x|-1|^p\) for some \(p>0\).