Liouville-Type Theorems for the Forced Euler Equations and the Navier–Stokes Equations

In this paper we study the Liouville-type properties for solutions to the steady incompressible Euler equations with forces in ${\mathbb {R}^N}$ . If we assume “single signedness condition” on the force, then we can show that a ${C^1 (\mathbb {R}^N)}$ solution (v, p) with ${|v|^2+ |p| \in L^{\frac{q}{2}}(\mathbb {R}^N),\,q \in (\frac{3N}{N-1}, \infty)}$ is trivial, v = 0. For the solution of the steady Navier–Stokes equations, satisfying ${v(x) \to 0}$ as ${|x| \to \infty}$ , the condition ${\int_{\mathbb {R}^3} |\Delta v|^{\frac{6}{5}} dx < \infty}$ , which is stronger than the important D-condition, ${\int_{\mathbb {R}^3} |\nabla v|^2 dx < \infty}$ , but both having the same scaling property, implies that v = 0. In the appendix we reprove Theorem 1.1 (Chae, Commun Math Phys 273:203–215, 2007), using the self-similar Euler equations directly.     

On the Quasi-linear Elliptic PDE {-\nabla \cdot ( \nabla{u}/ \sqrt{1-| \nabla{u} |^2}) = 4 \pi \sum_k a_k \delta_{s_k}} in Physics and Geometry

It is shown that for each finite number N of Dirac measures ${\delta_{s_n}}$ supported at points ${s_n \in {\mathbb R}^3}$ with given amplitudes ${a_n \in {\mathbb R} \backslash\{0\}}$ there exists a unique real-valued function ${u \in C^{0, 1}({\mathbb R}^3)}$ , vanishing at infinity, which distributionally solves the quasi-linear elliptic partial differential equation of divergence form ${-\nabla \cdot ( \nabla{u}/ \sqrt{1-| \nabla{u} |^2}) = 4 \pi \sum_{n=1}^N a_n \delta_{s_n}}$ . Moreover, ${u \in C^{\omega}({\mathbb R}^3\backslash \{s_n\}_{n=1}^N)}$ . The result can be interpreted in at least two ways: (a) for any number N of point charges of arbitrary magnitude and sign at prescribed locations s _n in three-dimensional Euclidean space there exists a unique electrostatic field which satisfies the Maxwell-Born-Infeld field equations smoothly away from the point charges and vanishes as |s| ?? ??; (b) for any number N of integral mean curvatures assigned to locations ${s_n \in {\mathbb R}^3 \subset{\mathbb R}^{1, 3}}$ there exists a unique asymptotically flat, almost everywhere space-like maximal slice with point defects of Minkowski spacetime ${{\mathbb R}^{1, 3}}$ , having lightcone singularities over the s _n but being smooth otherwise, and whose height function vanishes as |s| ?? ??. No struts between the point singularities ever occur.     

On q-Deformed {\mathfrak{gl}_{\ell+1}}-Whittaker Function II

A representation of a specialization of a q-deformed class one lattice ${\mathfrak{gl}_{\ell+1}}$ -Whittaker function in terms of cohomology groups of line bundles on the space ${\mathcal{QM}_d(\mathbb{P}^{\ell})}$ of quasi-maps ${\mathbb{P}^1 \to \mathbb{P}^{\ell}}$ of degree d is proposed. For ? = 1, this provides an interpretation of the non-specialized q-deformed ${\mathfrak{gl}_{2}}$ -Whittaker function in terms of ${\mathcal{QM}_d(\mathbb{P}^1)}$ . In particular the (q-version of the) Mellin-Barnes representation of the ${\mathfrak{gl}_2}$ -Whittaker function is realized as a semi-infinite period map. The explicit form of the period map manifests an important role of q-version of Γ-function as a topological genus in semi-infinite geometry. A relation with the Givental-Lee universal solution (J-function) of q-deformed ${\mathfrak{gl}_2}$ -Toda chain is also discussed.     

Random Parking, Euclidean Functionals, and Rubber Elasticity

We study subadditive functions of the random parking model previously analyzed by the second author. In particular, we consider local functions S of subsets of ${\mathbb{R}^d}$ and of point sets that are (almost) subadditive in their first variable. Denoting by ξ the random parking measure in ${\mathbb{R}^d}$ , and by ξ ^R the random parking measure in the cube Q _R =  (?R, R) ^d , we show, under some natural assumptions on S, that there exists a constant ${\overline{S} \in \mathbb{R}}$ such that $$\lim_{R \to +\infty} \frac{S(Q_R, \xi)}{|Q_R|} \, = \, \lim_{R \to +\infty} \frac{S(Q_R, \xi^{R})}{|Q_R|} \, = \, \overline{S}$$ almost surely. If ${\zeta \mapsto S(Q_R, \zeta)}$ is the counting measure of ${\zeta}$ in Q _R , then we retrieve the result by the second author on the existence of the jamming limit. The present work generalizes this result to a wide class of (almost) subadditive functions. In particular, classical Euclidean optimization problems as well as the discrete model for rubber previously studied by Alicandro, Cicalese, and the first author enter this class of functions. In the case of rubber elasticity, this yields an approximation result for the continuous energy density associated with the discrete model at the thermodynamic limit, as well as a generalization to stochastic networks generated on bounded sets.     

Finite W-Superalgebras and Truncated Super Yangians

Let ${Y_{m|n}^{\ell}}$ be the super Yangian of general linear Lie superalgebra for ${\mathfrak{gl}_{m|n}}$ . Let ${e \in \mathfrak{gl}_{m\ell|n\ell}}$ be a “rectangular” nilpotent element and ${\mathcal{W}_e}$ be the finite W-superalgebra associated to e. We show that ${Y_{m|n}^{\ell}}$ is isomorphic to ${\mathcal{W}_e}$ .     

Quantum Sphere {\mathbb{S}^4} as a Non-Levi Conjugacy Class

We construct a ${U_\hbar(\mathfrak{sp}(4))}$ -equivariant quantization of the four-dimensional complex sphere ${\mathbb{S}^4}$ regarded as a conjugacy class, Sp(4)/Sp(2) ×?Sp(2), of a simple complex group with non-Levi isotropy subgroup, through an operator realization of the quantum polynomial algebra ${\mathbb{C}_\hbar[\mathbb{S}^4]}$ on a highest weight module of ${U_\hbar(\mathfrak{sp}(4))}$ .     

Some Properties of Generalized Quantum Operations

Let $\mathcal{B}(\mathcal{H})$ be the set of all bounded linear operators on the separable Hilbert space  $\mathcal{H}$ . A (generalized) quantum operation is a bounded linear operator defined on  $\mathcal{B}(\mathcal{H})$ , which has the form $\varPhi_{\mathcal{A}}(X)=\sum_{i=1}^{\infty}A_{i}XA_{i}^{*}$ , where $A_{i}\in\mathcal{B}(\mathcal{H})$ (i=1,2,…) satisfy $\sum_{i=1}^{\infty}A_{i}A_{i}^{*}\leq \nobreak I$ in the strong operator topology. In this paper, we establish the relationship between the (generalized) quantum operation $\varPhi_{\mathcal{A}}$ and its dual $\varPhi_{\mathcal {A}}^{\dag}$ with respect to the set of fixed points and the noiseless subspace. In particular, we also partially characterize the extreme points of the set of all (generalized) quantum operations and give some equivalent conditions for the correctable quantum channel.     

On Representations of Quantum Conjugacy Classes of GL(n)

Let O be a closed Poisson conjugacy class of the complex algebraic Poisson group GL(n) relative to the Drinfeld-Jimbo factorizable classical r-matrix. Denote by T the maximal torus of diagonal matrices in GL(n). With every ${a \in O \cap T}$ we associate a highest weight module M _a over the quantum group ${U_q \bigl(\mathfrak{g} \mathfrak{l}(n)\bigr)}$ and an equivariant quantization ${\mathbb{C}_{\hbar,a}[O]}$ of the polynomial ring ${\mathbb{C}[O]}$ realized by operators on M _a . All quantizations ${\mathbb{C}_{\hbar,a}[O]}$ are isomorphic and can be regarded as different exact representations of the same algebra, ${\mathbb{C}_{\hbar}[O]}$ . Similar results are obtained for semisimple adjoint orbits in ${\mathfrak{g} \mathfrak{l}(n)}$ equipped with the canonical GL(n)-invariant Poisson structure.     

Analysis of the \frac{1} {2}^ - and \frac{3} {2}^ - heavy and doubly heavy baryon states with QCD sum rules

In this article, we study the $\frac{1} {2}^ -$ and $\frac{3} {2}^ -$ heavy and doubly heavy baryon states $\Sigma _Q \left( {\frac{1} {2}^ - } \right)$ , $\Xi '_Q \left( {\frac{1} {2}^ - } \right)$ , $\Omega _Q \left( {\frac{1} {2}^ - } \right)$ , $\Xi _{QQ} \left( {\frac{1} {2}^ - } \right)$ , $\Omega _{QQ} \left( {\frac{1} {2}^ - } \right)$ , $\Sigma _Q^* \left( {\frac{3} {2}^ - } \right)$ , $\Xi _Q^* \left( {\frac{3} {2}^ - } \right)$ , $\Omega _Q^* \left( {\frac{3} {2}^ - } \right)$ , $\Xi _{QQ}^* \left( {\frac{3} {2}^ - } \right)$ and $\Omega _{QQ}^* \left( {\frac{3} {2}^ - } \right)$ by subtracting the contributions from the corresponding $\frac{1} {2}^ +$ and $\frac{3} {2}^ +$ heavy and doubly heavy baryon states with the QCD sum rules in a systematic way, and make reasonable predictions for their masses.     

Existence of a Non-Averaging Regime for the Self-Avoiding Walk on a High-Dimensional Infinite Percolation Cluster

Let $Z_N$ be the number of self-avoiding paths of length $N$ starting from the origin on the infinite cluster obtained after performing Bernoulli percolation on ${\mathbb Z} ^d$ with parameter $p>p_c({\mathbb Z} ^d)$ . The object of this paper is to study the connective constant of the dilute lattice $\limsup _{N\rightarrow \infty } Z_N^{1/N}$ , which is a non-random quantity. We want to investigate if the inequality $\limsup _{N\rightarrow \infty } (Z_N)^{1/N} \le \lim _{N\rightarrow \infty } {\mathbb E} [Z_N]^{1/N}$ obtained with the Borel–Cantelli Lemma is strict or not. In other words, we want to know if the quenched and annealed versions of the connective constant are equal. On a heuristic level, this indicates whether or not localization of the trajectories occurs. We prove that when $d$ is sufficiently large there exists $p^{(2)}_c>p_c$ such that the inequality is strict for $p\in (p_c,p^{(2)}_c)$ .     

Delocalization and Diffusion Profile for Random Band Matrices

We consider Hermitian and symmetric random band matrices H = (h _xy ) in ${d\,\geqslant\,1}$ d ? 1 dimensions. The matrix entries h _xy , indexed by ${x,y \in (\mathbb{Z}/L\mathbb{Z})^d}$ x , y ∈ ( Z / L Z ) d , are independent, centred random variables with variances ${s_{xy} = \mathbb{E} |h_{xy}|^2}$ s x y = E | h x y | 2 . We assume that s _xy is negligible if |x ? y| exceeds the band width W. In one dimension we prove that the eigenvectors of H are delocalized if ${W\gg L^{4/5}}$ W ? L 4 / 5 . We also show that the magnitude of the matrix entries ${|{G_{xy}}|^2}$ | G x y | 2 of the resolvent ${G=G(z)=(H-z)^{-1}}$ G = G ( z ) = ( H - z ) - 1 is self-averaging and we compute ${\mathbb{E} |{G_{xy}}|^2}$ E | G x y | 2 . We show that, as ${L\to\infty}$ L → ∞ and ${W\gg L^{4/5}}$ W ? L 4 / 5 , the behaviour of ${\mathbb{E} |G_{xy}|^2}$ E | G x y | 2 is governed by a diffusion operator whose diffusion constant we compute. Similar results are obtained in higher dimensions.     

A Strong Central Limit Theorem for a Class of Random Surfaces

This paper is concerned with d = 2 dimensional lattice field models with action ${V(\nabla\phi(\cdot))}$ , where ${V : \mathbf{R}^d \rightarrow \mathbf{R}}$ is a uniformly convex function. The fluctuations of the variable ${\phi(0) - \phi(x)}$ are studied for large |x| via the generating function given by ${g(x, \mu) = \ln \langle e^{\mu(\phi(0) - \phi(x))}\rangle_{A}}$ . In two dimensions ${g'' (x, \mu) = \partial^2g(x, \mu)/\partial\mu^2}$ is proportional to ${\ln\vert x\vert}$ . The main result of this paper is a bound on ${g''' (x, \mu) = \partial^3 g(x, \mu)/\partial \mu^3}$ which is uniform in ${\vert x \vert}$ for a class of convex V. The proof uses integration by parts following Helffer–Sjöstrand and Witten, and relies on estimates of singular integral operators on weighted Hilbert spaces.     

Fomenko–Mischenko Theory, Hessenberg Varieties, and Polarizations

The symmetric algebra ${S(\mathfrak{g})}$ over a Lie algebra ${\mathfrak{g}}$ has the structure of a Poisson algebra. Assume ${\mathfrak{g}}$ is complex semisimple. Then results of Fomenko–Mischenko (translation of invariants) and Tarasov construct a polynomial subalgebra ${{\mathcal {H}} = {\mathbb C}[q_1,\ldots,q_b]}$ of ${S(\mathfrak{g})}$ which is maximally Poisson commutative. Here b is the dimension of a Borel subalgebra of ${\mathfrak{g}}$ . Let G be the adjoint group of ${\mathfrak{g}}$ and let ? = rank ${\mathfrak{g}}$ . Using the Killing form, identify ${\mathfrak{g}}$ with its dual so that any G-orbit O in ${\mathfrak{g}}$ has the structure (KKS) of a symplectic manifold and ${S(\mathfrak{g})}$ can be identified with the affine algebra of ${\mathfrak{g}}$ . An element ${x\in \mathfrak{g}}$ will be called strongly regular if ${\{({\rm d}q_i)_x\},\,i=1,\ldots,b}$ , are linearly independent. Then the set ${\mathfrak{g}^{\rm{sreg}}}$ of all strongly regular elements is Zariski open and dense in ${\mathfrak{g}}$ and also ${\mathfrak{g}^{\rm{sreg}}\subset \mathfrak{g}^{\rm{ reg}}}$ where ${\mathfrak{g}^{\rm{reg}}}$ is the set of all regular elements in ${\mathfrak{g}}$ . A Hessenberg variety is the b-dimensional affine plane in ${\mathfrak{g}}$ , obtained by translating a Borel subalgebra by a suitable principal nilpotent element. Such a variety was introduced in Kostant (Am J Math 85:327–404, 1963). Defining Hess to be a particular Hessenberg variety, Tarasov has shown that ${{\rm{Hess}}\subset \mathfrak{g}^{\rm{sreg}}}$ . Let R be the set of all regular G-orbits in ${\mathfrak{g}}$ . Thus if ${O\in R}$ , then O is a symplectic manifold of dimension 2n where n = b ? ?. For any ${O\in R}$ let ${O^{\rm{sreg}} = \mathfrak{g}^{\rm{sreg}} \cap O}$ . One shows that O ^sreg is Zariski open and dense in O so that O ^sreg is again a symplectic manifold of dimension 2n. For any ${O\in R}$ let ${{\rm{Hess}}(O) = {\rm{Hess}}\cap O}$ . One proves that Hess(O) is a Lagrangian submanifold of O ^sreg and that $${\rm{Hess}} = \sqcup_{O\in R}{\rm{Hess}}(O).$$ The main result of this paper is to show that there exists simultaneously over all ${O\in R}$ , an explicit polarization (i.e., a “fibration” by Lagrangian submanifolds) of O ^sreg which makes O ^sreg simulate, in some sense, the cotangent bundle of Hess(O).     

On Dirichlet-to-Neumann Maps, Nonlocal Interactions, and Some Applications to Fredholm Determinants

We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrödinger operators describing nonlocal interactions in ${L^2(\Omega; d^n x)}$ , where ${\Omega \subset \mathbb{R}^n}$ , ${n\in\mathbb{N}}$ , ${n\geq 2}$ , are open sets with a compact, nonempty boundary ${\partial\Omega}$ satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of Fredholm perturbation determinants associated with operators in ${L^2(\Omega; d^{n} x)}$ to Fredholm perturbation determinants associated with operators in ${L^2(\partial\Omega; d^{n-1} \sigma)}$ , ${n\in\mathbb{N}}$ , ${n\geq 2}$ . This leads to an extension of a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with a Schrödinger operator on the half-line ${(0,\infty)}$ , in the case of local interactions, to a simple Wronski determinant of appropriate distributional solutions of the underlying Schrödinger equation.     

Regularity for Eigenfunctions of Schr?dinger Operators

We prove a regularity result in weighted Sobolev (or Babu?ka?CKondratiev) spaces for the eigenfunctions of certain Schr?dinger-type operators. Our results apply, in particular, to a non-relativistic Schr?dinger operator of an N-electron atom in the fixed nucleus approximation. More precisely, let ${\mathcal{K}_{a}^{m}(\mathbb{R}^{3N},r_S)}$ be the weighted Sobolev space obtained by blowing up the set of singular points of the potential ${V(x) = \sum_{1 \le j \le N} \frac{b_j}{|x_j|} + \sum_{1 \le i < j \le N} \frac{c_{ij}}{|x_i-x_j|}}$ , ${x \in \mathbb{R}^{3N}}$ , ${b_j, c_{ij} \in \mathbb{R}}$ . If ${u \in L^2(\mathbb{R}^{3N})}$ satisfies ${(-\Delta + V) u = \lambda u}$ in distribution sense, then ${u \in \mathcal{K}_{a}^{m}}$ for all ${m \in \mathbb{Z}_+}$ and all a ?? 0. Our result extends to the case when b _j and c _ij are suitable bounded functions on the blown-up space. In the single-electron, multi-nuclei case, we obtain the same result for all a?<?3/2.     

Optimal Paths for Symmetric Actions in the Unitary Group

Given a positive and unitarily invariant Lagrangian ${\mathcal{L}}$ defined in the algebra of matrices, and a fixed time interval ${[0,t_0]\subset\mathbb R}$ , we study the action defined in the Lie group of ${n\times n}$ unitary matrices ${\mathcal{U}(n)}$ by $$\mathcal{S}(\alpha)=\int_0^{t_0} \mathcal{L}(\dot\alpha(t))\,dt, $$ where ${\alpha:[0,t_0]\to\mathcal{U}(n)}$ is a rectifiable curve. We prove that the one-parameter subgroups of ${\mathcal{U}(n)}$ are the optimal paths, provided the spectrum of the exponent is bounded by π. Moreover, if ${\mathcal{L}}$ is strictly convex, we prove that one-parameter subgroups are the unique optimal curves joining given endpoints. Finally, we also study the connection of these results with unitarily invariant metrics in ${\mathcal{U}(n)}$ as well as angular metrics in the Grassmann manifold.     

Truncated Connectivities in a Highly Supercritical Anisotropic Percolation Model

We consider an anisotropic bond percolation model on $\mathbb{Z}^{2}$ , with p=(p _h ,p _v )∈[0,1]², p _v >p _h , and declare each horizontal (respectively vertical) edge of $\mathbb{Z}^{2}$ to be open with probability p _h (respectively p _v ), and otherwise closed, independently of all other edges. Let $x=(x_{1},x_{2}) \in\mathbb{Z}^{2}$ with 0<x ₁<x ₂, and $x'=(x_{2},x_{1})\in\mathbb{Z}^{2}$ . It is natural to ask how the two point connectivity function $\mathbb{P}_{\mathbf{p}}(\{0\leftrightarrow x\})$ behaves, and whether anisotropy in percolation probabilities implies the strict inequality $\mathbb{P}_{\mathbf{p}}(\{0\leftrightarrow x\})>\mathbb{P}_{\mathbf {p}}(\{0\leftrightarrow x'\})$ . In this note we give an affirmative answer in the highly supercritical regime.     

Universality of the Local Regime for the Block Band Matrices with a Finite Number of Blocks

We consider the block band matrices, i.e. the Hermitian matrices $H_N$ , $N=|\Lambda |W$ with elements $H_{jk,\alpha \beta }$ , where $j,k \in \Lambda =[1,m]^d\cap \mathbb {Z}^d$ (they parameterize the lattice sites) and $\alpha , \beta = 1,\ldots , W$ (they parameterize the orbitals on each site). The entries $H_{jk,\alpha \beta }$ are random Gaussian variables with mean zero such that $\langle H_{j_1k_1,\alpha _1\beta _1}H_{j_2k_2,\alpha _2\beta _2}\rangle =\delta _{j_1k_2}\delta _{j_2k_1} \delta _{\alpha _1\beta _2}\delta _{\beta _1\alpha _2} J_{j_1k_1},$ where $J=1/W+\alpha \Delta /W$ , $\alpha < 1/4d$ . This matrices are the special case of Wegner’s $W$ -orbital models. Assuming that the number of sites $|\Lambda |$ is finite, we prove universality of the local eigenvalue statistics of $H_N$ for the energies $|\lambda _0|< \sqrt{2}$ .