MathSciDoc: An Archive for Mathematician ∫

We prove the BMV (Bessis, Moussa, Villani, [1]) conjecture, which states that the function $${t \mapsto \mathop{\rm Tr}\exp(A-tB)}$$ , $${t \geqslant 0}$$ , is the Laplace transform of a positive measure on [0,∞) if$A$and$B$are $${n \times n}$$ Hermitian matrices and$B$is positive semidefinite. A semi-explicit representation for this measure is given.

Let$u$_{$n$}be the$n$th term of a Lucas sequence or a Lehmer sequence. In this article we shall establish an estimate from below for the greatest prime factor of$u$_{$n$}which is of the form$n$exp(log$n$/104 log log$n$). In doing so, we are able to resolve a question of Schinzel from 1962 and a conjecture of Erdős from 1965. In addition we are able to give the first general improvement on results of Bang from 1886 and Carmichael from 1912.

For any natural number$m$(>1) let$P$($m$) denote the greatest prime divisor of$m$. By the problem of Erdős in the title of the present paper we mean the general version of his problem, that is, his conjecture from 1965 that $$\frac{P(2^n-1)}{n} \to \infty \quad {\rm as}\, n \to \infty$$ (see Erdős [10]) and its far-reaching generalization to Lucas and Lehmer numbers. In the present paper the author delivers three refinements upon Yu [40] required by C. L. Stewart for solving completely the problem of Erdős (see Stewart [25]). The author gives also some remarks on the solution of this problem, aiming to be more streamlined with respect to the$p$-adic theory of logarithmic forms.

In this note, we prove a sharp lower bound for the log canonical threshold of a plurisubharmonic function $${\varphi}$$ with an isolated singularity at 0 in an open subset of $${\mathbb{C}^n}$$ . This threshold is defined as the supremum of constants$c$> 0 such that $${e^{-2c\varphi}}$$ is integrable on a neighborhood of 0. We relate $${c(\varphi)}$$ to the intermediate multiplicity numbers $${e_j(\varphi)}$$ , defined as the Lelong numbers of $${(dd^c\varphi)^j}$$ at 0 (so that in particular $${e_0(\varphi)=1}$$ ). Our main result is that $${c(\varphi)\geqslant\sum_{j=0}^{n-1} e_j(\varphi)/e_{j+1}(\varphi)}$$ . This inequality is shown to be sharp; it simultaneously improves the classical result $${c(\varphi)\geqslant 1/e_1(\varphi)}$$ due to Skoda, as well as the lower estimate $${c(\varphi)\geqslant n/e_n(\varphi)^{1/n}}$$ which has received crucial applications to birational geometry in recent years. The proof consists in a reduction to the toric case, i.e. singularities arising from monomial ideals.

We establish an analytic interpretation for the index of certain transversally elliptic symbols on non-compact manifolds. By using this interpretation, we establish a geometric quantization formula for a Hamiltonian action of a compact Lie group acting on a non-compact symplectic manifold with proper moment map. In particular, we present a solution to a conjecture of Michèle Vergne in her ICM 2006 plenary lecture.

We consider the quintic generalized Korteweg–de Vries equation (gKdV) $$u_t + (u_{xx} + u^5)_x =0,$$ which is a canonical mass critical problem, for initial data in$H$^{1}close to the soliton. In earlier works on this problem, finite- or infinite-time blow up was proved for non-positive energy solutions, and the solitary wave was shown to be the universal blow-up profile, see [16], [26] and [20]. For well-localized initial data, finite-time blow up with an upper bound on blow-up rate was obtained in [18].

We prove that for any free ergodic probability measure-preserving action $${\mathbb{F}_n \curvearrowright (X, \mu)}$$ of a free group on$n$generators $${\mathbb{F}_n, 2\leq n \leq \infty}$$ , the associated group measure space II_{1}factor $${L^\infty (X)\rtimes \mathbb{F}_n}$$ has$L$^{∞}($X$) as its unique Cartan subalgebra, up to unitary conjugacy. We deduce that group measure space II_{1}factors arising from actions of free groups with different number of generators are never isomorphic. We actually prove unique Cartan decomposition results for II_{1}factors arising from arbitrary actions of a much larger family of groups, including all free products of amenable groups and their direct products.

We describe a natural decomposition of a normal complex surface singularity ($X$, 0) into its “thick” and “thin” parts. The former is essentially metrically conical, while the latter shrinks rapidly in thickness as it approaches the origin. The thin part is empty if and only if the singularity is metrically conical; the link of the singularity is then Seifert fibered. In general the thin part will not be empty, in which case it always carries essential topology. Our decomposition has some analogy with the Margulis thick-thin decomposition for a negatively curved manifold. However, the geometric behavior is very different; for example, often most of the topology of a normal surface singularity is concentrated in the thin parts.

We prove an analogue of the Madsen–Weiss theorem for high-dimensional manifolds. In particular, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of$g$copies of$S$^{$n$}×$S$^{$n$}, in the limit $${g \to \infty}$$ . Rationally it is a polynomial ring in certain explicit generators, giving a high-dimensional analogue of Mumford’s conjecture.

Wehrl used Glauber coherent states to define a map from quantum density matrices to classical phase space densities and conjectured that for Glauber coherent states the mininimum classical entropy would occur for density matrices equal to projectors onto coherent states. This was proved by Lieb in 1978 who also extended the conjecture to Bloch SU(2) spin-coherent states for every angular momentum$J$. This conjecture is proved here. We also recall our 1991 extension of the Wehrl map to a quantum channel from J to $${K=J+\frac{1}{2}, J+1, ... ,}$$ with $${K=\infty}$$ corresponding to the Wehrl map to classical densities. These channels were later recognized as the optimal quantum cloning channels. For each$J$and $${J < K \leqslant \infty}$$ we show that the minimal output entropy for the channels occurs for a J coherent state. We also show that coherent states both Glauber and Bloch minimize any concave functional, not just entropy.