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

Equilibration in the Kac Model Using the GTW Metric $$d_2$$

We use the Fourier based Gabetta–Toscani–Wennberg metric \(d_2\) to study the rate of convergence to equilibrium for the Kac model in 1 dimension. We take the initial velocity distribution of the particles to be a Borel probability measure \(\mu \) on \(\mathbb {R}^n\) that is symmetric in all its variables, has mean \(\vec {0}\) and finite second moment. Let \(\mu _t(dv)\) denote the Kac-evolved distribution at time t, and let \(R_\mu \) be the angular average of \(\mu \). We give an upper bound to \(d_2(\mu _t, R_\mu )\) of the form \(\min \left\{ B e^{-\frac{4 \lambda _1}{n+3}t}, d_2(\mu ,R_\mu )\right\} ,\) where \(\lambda _1 = \frac{n+2}{2(n-1)}\) is the gap of the Kac model in \(L^2\) and B depends only on the second moment of \(\mu \). We also construct a family of Schwartz probability densities \(\{f_0^{(n)}: \mathbb {R}^n\rightarrow \mathbb {R}\}\) with finite second moments that shows practically no decrease in \(d_2(f_0(t), R_{f_0})\) for time at least \(\frac{1}{2\lambda }\) with \(\lambda \) the rate of the Kac operator. We also present a propagation of chaos result for the partially thermostated Kac model in Tossounian and Vaidyanathan (J Math Phys 56(8):083301, 2015).     

Uniform in N global well-posedness of the time-dependent Hartree–Fock–Bogoliubov equations in $$\mathbb {R}^{1+1}$$

We prove the global well-posedness of the time-dependent Hartree–Fock–Bogoliubov (TDHFB) equations in \(\mathbb {R}^{1+1}\) with two-body interaction potential of the form \(N^{-1}v_N(x) = N^{\beta -1} v(N^\beta x)\) where \(v\ge 0\) is a sufficiently regular radial function, i.e., \(v \in L^1(\mathbb {R})\cap C^\infty (\mathbb {R})\). In particular, using methods of dispersive PDEs similar to the ones used in Grillakis and Machedon (Commun Partial Differ Equ 42:24–67, 2017), we are able to show for any scaling parameter \(\beta >0\) the TDHFB equations are globally well-posed in some Strichartz-type spaces independent of N, cf. (Bach et al. in The time-dependent Hartree–Fock–Bogoliubov equations for Bosons, 2016. arXiv:1602.05171).     

Numerical methods for EPRL spin foam transition amplitudes and Lorentzian recoupling theory

The intricated combinatorial structure and the non-compactness of the Lorentz group have always made the computation of \(SL(2,\mathbb {C})\) EPRL spin foam transition amplitudes a very hard and resource demanding task. With sl2cfoam we provide a C-coded library for the evaluation of the Lorentzian EPRL vertex amplitude. We provide a tool to compute the Lorentzian EPRL 4-simplex vertex amplitude in the intertwiner basis and some utilities to evaluate SU(2) invariants, booster functions and \(SL(2,\mathbb {C})\) Clebsch–Gordan coefficients. We discuss the data storage, parallelizations, time, and memory performances and possible future developments.     

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

On a Finite Range Decomposition of the Resolvent of a Fractional Power of the Laplacian II. The Torus

In previous papers, Mitter (J Stat Phys 163:1235–1246, 2016; Erratum: J Stat Phys 166:453–455, 2017; On a finite range decomposition of the resolvent of a fractional power of the Laplacian, http://arxiv.org/abs/1512.02877), we proved the existence as well as regularity of a finite range decomposition for the resolvent \(G_{\alpha } (x-y,m^2) = ((-\Delta )^{\alpha \over 2} + m^{2})^{-1} (x-y) \), for \(0<\alpha <2\) and all real m, in the lattice \({{\mathbb Z}}^{d}\) for dimension \(d\ge 2\). In this paper, which is a continuation of the previous one, we extend those results by proving the existence as well as regularity of a finite range decomposition for the same resolvent but now on the lattice torus \({{\mathbb Z}}^{d}/L^{N+1}{{\mathbb Z}}^{d} \) for \(d\ge 2\) provided \(m\ne 0\) and \(0<\alpha <2\). We also prove differentiability and uniform continuity properties with respect to the resolvent parameter \(m^{2}\). Here L is any odd positive integer and \(N\ge 2\) is any positive integer.     

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.     

Conformal Galilei algebras,symmetric polynomials and singular vectors

We classify and explicitly describe homomorphisms of Verma modules for conformal Galilei algebras \({\mathfrak {cga}}_\ell (d,\mathbb {C})\) with \(d=1\) for any integer value \(\ell \in {\mathbb {N}}\). The homomorphisms are uniquely determined by singular vectors as solutions of certain differential operators of flag type and identified with specific polynomials arising as coefficients in the expansion of a parametric family of symmetric polynomials into power sum symmetric polynomials.     

Higher Spin Dirac Operators Between Spaces of Simplicial Monogenics in Two Vector Variables

The higher spin Dirac operator \(\mathcal{Q}_{k,l}\) acting on functions taking values in an irreducible representation space for \(\mathfrak{so}(m)\) with highest weight \((k+\frac{1}{2},l+\frac{1}{2},\frac{1}{2},\ldots,\frac{1}{2})\), with k, l?∈?\(\mathbb{N}\) and \(k\geqslant l\), is constructed. The structure of the kernel space containing homogeneous polynomial solutions is then also studied.     

Gauge field corrections to 11-dimensional supergravity via dimensional reduction

Using the fact that eleven-dimensional supergravity yields type IIA supergravity under dimensional reduction on a circle, we determine higher-derivative terms of 11-dimensional supergravity including the \( R^4 \), \( ({\partial {F_4}})^2 R^2 \) and \( ({\partial {F_4}})^4 \) terms.     

From parabolic to loxodromic BMS transformations

Half of the Bondi–Metzner–Sachs (BMS) transformations consist of orientation-preserving conformal homeomorphisms of the extended complex plane known as fractional linear (or Möbius) transformations. These can be of 4 kinds, i.e. they are classified as being parabolic, or hyperbolic, or elliptic, or loxodromic, depending on the number of fixed points and on the value of the trace of the associated \(2 \times 2\) matrix in the projective version of the \(SL(2,\mathbb {C})\) group. The resulting particular forms of \(SL(2,\mathbb {C})\) matrices affect also the other half of BMS transformations, and are used here to propose 4 realizations of the asymptotic symmetry group that we call, again, parabolic, or hyperbolic, or elliptic, or loxodromic. In the second part of the paper, we prove that a subset of hyperbolic and loxodromic transformations, those having trace that approaches \(\infty \), correspond to the fulfillment of limit-point condition for singular Sturm–Liouville problems. Thus, a profound link may exist between the language for describing asymptotically flat space-times and the world of complex analysis and self-adjoint problems in ordinary quantum mechanics.     

Heuristic Relative Entropy Principles with Complex Measures: Large-Degree Asymptotics of a Family of Multi-variate Normal Random Polynomials

Let \(z\in \mathbb {C}\), let \(\sigma ^2>0\) be a variance, and for \(N\in \mathbb {N}\) define the integrals

$$\begin{aligned} E_N^{}(z;\sigma ) := \left\{ \begin{array}{ll} {\frac{1}{\sigma }} \!\!\!\displaystyle \int _{\mathbb {R}}\! (x^2+z^2) \frac{e^{-\frac{1}{2\sigma ^2} x^2}}{\sqrt{2\pi }}dx&{}\quad \text{ if }\, N=1,\\ {\frac{1}{\sigma }} \!\!\!\displaystyle \int _{\mathbb {R}^N}\! \prod \prod \limits _{1\le k<l\le N}\!\! e^{-\frac{1}{2N}(1-\sigma ^{-2}) (x_k-x_l)^2} \prod _{1\le n\le N}\!\!\!\!(x_n^2+z^2) \frac{e^{-\frac{1}{2\sigma ^2} x_n^2}}{\sqrt{2\pi }}dx_n &{}\quad \text{ if }\, N>1. \end{array}\right. \!\!\! \end{aligned}$$

These are expected values of the polynomials \(P_N^{}(z)=\prod _{1\le n\le N}(X_n^2+z^2)\) whose 2N zeros \(\{\pm i X_k\}^{}_{k=1,\ldots ,N}\) are generated by N identically distributed multi-variate mean-zero normal random variables \(\{X_k\}^{N}_{k=1}\) with co-variance \(\mathrm{{Cov}}_N^{}(X_k,X_l)=(1+\frac{\sigma ^2-1}{N})\delta _{k,l}+\frac{\sigma ^2-1}{N}(1-\delta _{k,l})\). The \(E_N^{}(z;\sigma )\) are polynomials in \(z^2\), explicitly computable for arbitrary N, yet a list of the first three \(E_N^{}(z;\sigma )\) shows that the expressions become unwieldy already for moderate N—unless \(\sigma = 1\), in which case \(E_N^{}(z;1) = (1+z^2)^N\) for all \(z\in \mathbb {C}\) and \(N\in \mathbb {N}\). (Incidentally, commonly available computer algebra evaluates the integrals \(E_N^{}(z;\sigma )\) only for N up to a dozen, due to memory constraints). Asymptotic evaluations are needed for the large-N regime. For general complex z these have traditionally been limited to analytic expansion techniques; several rigorous results are proved for complex z near 0. Yet if \(z\in \mathbb {R}\) one can also compute this “infinite-degree” limit with the help of the familiar relative entropy principle for probability measures; a rigorous proof of this fact is supplied. Computer algebra-generated evidence is presented in support of a conjecture that a generalization of the relative entropy principle to signed or complex measures governs the \(N\rightarrow \infty \) asymptotics of the regime \(iz\in \mathbb {R}\). Potential generalizations, in particular to point vortex ensembles and the prescribed Gauss curvature problem, and to random matrix ensembles, are emphasized.

     

On stability of a neutron star system in Palatini gravity

We formulate the generalized Tolman–Oppenheimer–Volkoff equations for the \(f(\hat{R})\) Palatini gravity in the case of static and spherical symmetric geometry. We also show that a neutron star can be a stable system independently of the form of the functional \(f(\hat{R})\).     

Derivation of the Time Dependent Two Dimensional Focusing NLS Equation

We present a microscopic derivation of the two-dimensional focusing cubic nonlinear Schrödinger equation starting from an interacting N-particle system of Bosons. The interaction potential we consider is given by \(W_\beta (x)=N^{-1+2 \beta }W(N^\beta x)\) for some spherically symmetric and compactly supported potential \(W \in L^\infty ({\mathbb {R}}^2, {\mathbb {R}})\). The class of initial wave functions is chosen such that the variance in energy is small. Furthermore, we assume that the Hamiltonian \( H_{W_\beta , t}=-\sum _{j=1}^N \Delta _j+\sum _{1\le j< k\le N} W_\beta (x_j-x_k) +\sum _{j=1}^N A_t(x_j)\) fulfills stability of second kind, that is \( H_{W_\beta , t} \ge -\,CN\). We then prove the convergence of the reduced density matrix corresponding to the exact time evolution to the projector onto the solution of the corresponding nonlinear Schrödinger equation in either Sobolev trace norm, if \(\Vert A_t\Vert _p < \infty \) for some \(p>2\), or in trace norm, for more general external potentials. For trapping potentials of the form \(A(x)=C |x|^s\; , C>0\), the condition \( H_{W_\beta , t} \ge -\,CN\) can be fulfilled for a certain class of interactions \(W_\beta \), for all \(0< \beta < \frac{s+1}{s+2}\), see Lewin et al. (Proc Am Math Soc 145:2441–2454, 2017).     

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

Strong decay of $$\Lambda _c(2940)$$ as a 2 P state in the $$\Lambda _c$$Λc family

Considering the mass, parity and \(D^0 p\) decay mode, we tentatively assign the \(\Lambda _c(2940)\) as the \(P-\)wave states with one radial excitation. Then, via studying the strong decay behavior of the \(\Lambda _c(2940)\) within the \(^3P_0\) model, we obtain that the total decay widths of the \(\Lambda _{c1}(\frac{1}{2}^-,2P)\) and \(\Lambda _{c1}(\frac{3}{2}^-,2P)\) states are 16.27 and 25.39 MeV, respectively. Compared with the experimental total width \(27.7^{+8.2}_{-6.0}\pm 0.9^{+5.2}_{-10.4}~\mathrm {MeV}\) measured by LHCb Collaboration, both assignments are allowed, and the \(J^P=\frac{3}{2}^-\) assignment is more favorable. Other \(\lambda \)-mode \(\Sigma _c(2P)\) states are also investigated, which are most likely to be narrow states and have good potential to be observed in future experiments.     

Asymptotic behavior of the Schrödinger–Debye system with refractive index of quadratic wave amplitude

We obtain local well-posedness for the one-dimensional Schrödinger–Debye interactions in nonlinear optics in the spaces \(L^2\times L^p,\; 1\le p < \infty \). When \(p=1\) we show that the local solutions extend globally. In the focusing regime, we consider a family of solutions \(\{(u_{\tau }, v_{\tau })\}_{\tau >0}\) in \( H^1\times H^1\) associated to an initial data family \(\{(u_{\tau _0},v_{\tau _0})\}_{\tau >0}\) uniformly bounded in \(H^1\times L^2\), where \(\tau \) is a small response time parameter. We prove that \(\left( u_{\tau }, v_{\tau }\right) \) converges to \(\left( u, -|u|^2\right) \) in the space \(L^{\infty }_{[0, T]}L^2_x\times L^1_{[0, T]}L^2_x\) whenever \(u_{\tau _0}\) converges to \(u_0\) in \(H^1\) as long as \(\tau \) tends to 0, where u is the solution of the one-dimensional cubic nonlinear Schrödinger equation with the initial data \(u_0\). The convergence of \(v_{\tau }\) for \(-|u|^2\) in the space \(L^{\infty }_{[0, T]}L^2_x\) is shown under compatibility conditions of the initial data. For non-compatible data, we prove convergence except for a corrector term which looks like an initial layer phenomenon.     

Blow-up of Critical Besov Norms at a Potential Navier–Stokes Singularity

We prove that if an initial datum to the incompressible Navier–Stokes equations in any critical Besov space \({\dot B^{-1+\frac 3p}_{p,q}({\mathbb {R}}^{3})}\), with \({3 < p, q < \infty}\), gives rise to a strong solution with a singularity at a finite time \({T > 0}\), then the norm of the solution in that Besov space becomes unbounded at time T. This result, which treats all critical Besov spaces where local existence is known, generalizes the result of Escauriaza et al. (Uspekhi Mat Nauk 58(2(350)):3–44, 2003) concerning suitable weak solutions blowing up in \({L^{3}({\mathbb R}^{3})}\). Our proof uses profile decompositions and is based on our previous work (Gallagher et al., Math. Ann. 355(4):1527–1559, 2013), which provided an alternative proof of the \({L^{3}({\mathbb R}^{3})}\) result. For very large values of p, an iterative method, which may be of independent interest, enables us to use some techniques from the \({L^{3}({\mathbb R}^{3})}\) setting.     

Modularity of logarithmic parafermion vertex algebras

The parafermionic cosets \(\mathsf {C}_{k} = {\text {Com}} ( \mathsf {H} , \mathsf {L}_{k}(\mathfrak {sl}_{2}) )\) are studied for negative admissible levels k, as are certain infinite-order simple current extensions \(\mathsf {B}_{k}\) of \(\mathsf {C}_{k}\). Under the assumption that the tensor theory considerations of Huang, Lepowsky and Zhang apply to \(\mathsf {C}_{k}\), irreducible \(\mathsf {C}_{k}\)- and \(\mathsf {B}_{k}\)-modules are obtained from those of \(\mathsf {L}_{k}(\mathfrak {sl}_{2})\). Assuming the validity of a certain Verlinde-type formula likewise gives the Grothendieck fusion rules of these irreducible modules. Notably, there are only finitely many irreducible \(\mathsf {B}_{k}\)-modules. The irreducible \(\mathsf {C}_{k}\)- and \(\mathsf {B}_{k}\)-characters are computed and the latter are shown, when supplemented by pseudotraces, to carry a finite-dimensional representation of the modular group. The natural conjecture then is that the \(\mathsf {B}_{k}\) are \(C_2\)-cofinite vertex operator algebras.