Bosons in Disc-Shaped Traps: From 3D to 2D

We present a mathematically rigorous analysis of the ground state of a dilute, interacting Bose gas in a three-dimensional trap that is strongly confining in one direction so that the system becomes effectively two-dimensional. The parameters involved are the particle number, , the two-dimensional extension, , of the gas cloud in the trap, the thickness, of the trap, and the scattering length a of the interaction potential. Our analysis starts from the full many-body Hamiltonian with an interaction potential that is assumed to be repulsive, radially symmetric and of short range, but otherwise arbitrary. In particular, hard cores are allowed. Under the premises that the confining energy, ~ 1/h ², is much larger than the internal energy per particle, and a/h→ 0, we prove that the system can be treated as a gas of two-dimensional bosons with scattering length a _2D = hexp(−(const.)h/a). In the parameter region where , with the mean density, the system is described by a two-dimensional Gross-Pitaevskii density functional with coupling parameter ~ Na/h. If the coupling parameter is and thus independent of a. In both cases Bose-Einstein condensation in the ground state holds, provided the coupling parameter stays bounded.     

Geometric Quantization, Parallel Transport and the Fourier Transform

In quantum mechanics, the momentum space and position space wave functions are related by the Fourier transform. We investigate how the Fourier transform arises in the context of geometric quantization. We consider a Hilbert space bundle over the space of compatible complex structures on a symplectic vector space. This bundle is equipped with a projectively flat connection. We show that parallel transport along a geodesic in the bundle is a rescaled orthogonal projection or Bogoliubov transformation. We then construct the kernel for the integral parallel transport operator. Finally, by extending geodesics to the boundary (for which the metaplectic correction is essential), we obtain the Segal-Bargmann and Fourier transforms as parallel transport in suitable limits.     

A Uniform Quantum Version of the Cherry Theorem

Consider in the operator family . P ₀ is the quantum harmonic oscillator with diophantine frequency vector ω, F ₀ a bounded pseudodifferential operator with symbol decreasing to zero at infinity in phase space, and . Then there exist independent of and an open set such that if and , the quantum normal form near P ₀ converges uniformly with respect to . This yields an exact quantization formula for the eigenvalues, and for the classical Cherry theorem on convergence of Birkhoff’s normal form for complex frequencies is recovered. Partially supported by PAPIIT-UNAM IN106106-2.     

Boson Stars as Solitary Waves

We study the nonlinear equation

Full-Wave Invisibility of Active Devices at All Frequencies

There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or “cloaking”) from observation by electromagnetic (EM) waves. Here, we prove invisibility with respect to solutions of the Helmholtz and Maxwell’s equations, for several constructions of cloaking devices. The basic idea, as in the papers [GLU2, GLU3, Le, PSS1], is to use a singular transformation that pushes isotropic electromagnetic parameters forward into singular, anisotropic ones. We define the notion of finite energy solutions of the Helmholtz and Maxwell’s equations for such singular electromagnetic parameters, and study the behavior of the solutions on the entire domain, including the cloaked region and its boundary. We show that, neglecting dispersion, the construction of [GLU3, PSS1] cloaks passive objects, i.e., those without internal currents, at all frequencies k. Due to the singularity of the metric, one needs to work with weak solutions. Analyzing the behavior of such solutions inside the cloaked region, we show that, depending on the chosen construction, there appear new “hidden” boundary conditions at the surface separating the cloaked and uncloaked regions. We also consider the effect on invisibility of active devices inside the cloaked region, interpreted as collections of sources and sinks or internal currents. When these conditions are overdetermined, as happens for Maxwell’s equations, generic internal currents prevent the existence of finite energy solutions and invisibility is compromised. We give two basic constructions for cloaking a region D contained in a domain , from detection by measurements made at of Cauchy data of waves on Ω. These constructions, the single and double coatings, correspond to surrounding either just the outer boundary of the cloaked region, or both and , with metamaterials whose EM material parameters (index of refraction or electric permittivity and magnetic permeability) are conformal to a singular Riemannian metric on Ω. For the single coating construction, invisibility holds for the Helmholtz equation, but fails for Maxwell’s equations with generic internal currents. However, invisibility can be restored by modifying the single coating construction, by either inserting a physical surface at or using the double coating. When cloaking an infinite cylinder, invisibility results for Maxwell’s equations are valid if the coating material is lined on with a surface satisfying the soft and hard surface (SHS) boundary condition, but in general not without such a lining, even for passive objects.     

Quantum Spin Systems at Positive Temperature

We develop a novel approach to phase transitions in quantum spin models based on a relation to their classical counterparts. Explicitly, we show that whenever chessboard estimates can be used to prove a phase transition in the classical model, the corresponding quantum model will have a similar phase transition, provided the inverse temperature β and the magnitude of the quantum spins satisfy . From the quantum system we require that it is reflection positive and that it has a meaningful classical limit; the core technical estimate may be described as an extension of the Berezin-Lieb inequalities down to the level of matrix elements. The general theory is applied to prove phase transitions in various quantum spin systems with . The most notable examples are the quantum orbital-compass model on and the quantum 120-degree model on which are shown to exhibit symmetry breaking at low-temperatures despite the infinite degeneracy of their (classical) ground state.     

Ultra-sensitive in-beam \gamma -ray spectroscopy for nuclear astrophysics at LUNA

Ultra-sensitive in-beam -ray spectroscopy studies for nuclear astrophysics are performed at the LUNA (Laboratory for Underground Nuclear Astrophysics) 400 kV accelerator, deep underground in Italy’s Gran Sasso laboratory. By virtue of a specially constructed passive shield, the laboratory -ray background for < 3 MeV at LUNA has been reduced to levels comparable to those experienced in dedicated offline underground -counting setups. The -ray background induced by an incident -beam has been studied. The data are used to evaluate the feasibility of sensitive in-beam experiments at LUNA and, by extension, at similar proposed facilities.     

Linking and Causality in Globally Hyperbolic Space-times

The classical linking number lk is defined when link components are zero homologous. In [15] we constructed the affine linking invariant alk generalizing lk to the case of linked submanifolds with arbitrary homology classes. Here we apply alk to the study of causality in Lorentzian manifolds. Let M ^m be a spacelike Cauchy surface in a globally hyperbolic space-time (X ^m+1, g). The spherical cotangent bundle ST ^* M is identified with the space of all null geodesics in (X,g). Hence the set of null geodesics passing through a point gives an embedded (m−1)-sphere in called the sky of x. Low observed that if the link is nontrivial, then are causally related. This observation yielded a problem (communicated by R. Penrose) on the V. I. Arnold problem list [3,4] which is basically to study the relation between causality and linking. Our paper is motivated by this question. The spheres are isotopic to the fibers of They are nonzero homologous and the classical linking number lk is undefined when M is closed, while alk is well defined. Moreover, alk if M is not an odd-dimensional rational homology sphere. We give a formula for the increment of alk under passages through Arnold dangerous tangencies. If (X,g) is such that alk takes values in and g is conformal to that has all the timelike sectional curvatures nonnegative, then are causally related if and only if alk . We prove that if alk takes values in and y is in the causal future of x, then alk is the intersection number of any future directed past inextendible timelike curve to y and of the future null cone of x. We show that x,y in a nonrefocussing (X, g) are causally unrelated if and only if can be deformed to a pair of S ^m-1-fibers of by an isotopy through skies. Low showed that if (X, g) is refocussing, then M is compact. We show that the universal cover of M is also compact.     

Stability,Convergence to Self-Similarity and Elastic Limit for the Boltzmann Equation for Inelastic Hard Spheres

We consider the spatially homogeneous Boltzmann equation for inelastic hard spheres, in the framework of so-called constant normal restitution coefficients . In the physical regime of a small inelasticity (that is for some constructive ) we prove uniqueness of the self-similar profile for given values of the restitution coefficient , the mass and the momentum; therefore we deduce the uniqueness of the self-similar solution (up to a time translation). Moreover, if the initial datum lies in , and under some smallness condition on depending on the mass, energy and norm of this initial datum, we prove time asymptotic convergence (with polynomial rate) of the solution towards the self-similar solution (the so-called homogeneous cooling state). These uniqueness, stability and convergence results are expressed in the self-similar variables and then translate into corresponding results for the original Boltzmann equation. The proofs are based on the identification of a suitable elastic limit rescaling, and the construction of a smooth path of self-similar profiles connecting to a particular Maxwellian equilibrium in the elastic limit, together with tools from perturbative theory of linear operators. Some universal quantities, such as the “quasi-elastic self-similar temperature” and the rate of convergence towards self-similarity at first order in terms of (1−α), are obtained from our study. These results provide a positive answer and a mathematical proof of the Ernst-Brito conjecture [16] in the case of inelastic hard spheres with small inelasticity.     

Approximating Multi-Dimensional Hamiltonian Flows by Billiards

The behavior of a point particle traveling with a constant speed in a region , undergoing elastic collisions at the regions’s boundary, is known as the billiard problem. Various billiard models serve as approximation to the classical and semi-classical motion in systems with steep potentials (e.g. for studying classical molecular dynamics, cold atom’s motion in dark optical traps and microwave dynamics). Here we develop methodologies for examining the validity and accuracy of this approximation. We consider families of smooth potentials , that, in the limit , become singular hard-wall potentials of multi-dimensional billiards. We define auxiliary billiard domains that asymptote, as to the original billiards, and provide, for regular trajectories, asymptotic expansion of the smooth Hamiltonian solution in terms of these billiard approximations. The asymptotic expansion includes error estimates in the C ^r norm and an iteration scheme for improving this approximation. Applying this theory to smooth potentials that limit to the multi-dimensional close to ellipsoidal billiards, we predict when the billiard’s separatrix splitting (which appears, for example, in the nearly flat and nearly oblate ellipsoids) persists for various types of potentials.     

On \mathbb{Z}-Gradations of Twisted Loop Lie Algebras of Complex Simple Lie Algebras

We define the twisted loop Lie algebra of a finite dimensional Lie algebra as the Fréchet space of all twisted periodic smooth mappings from to . Here the Lie algebra operation is continuous. We call such Lie algebras Fréchet Lie algebras. We introduce the notion of an integrable -gradation of a Fréchet Lie algebra, and find all inequivalent integrable -gradations with finite dimensional grading subspaces of twisted loop Lie algebras of complex simple Lie algebras.On leave of absence from the Institute for Nuclear Research of the Russian Academy of Sciences, 117312 Moscow, Russia.     

Group Orbits and Regular Partitions of Poisson Manifolds

We study a large class of Poisson manifolds, derived from Manin triples, for which we construct explicit partitions into regular Poisson submanifolds by intersecting certain group orbits. Examples include all varieties of Lagrangian subalgebras of reductive quadratic Lie algebras with Poisson structures defined by Lagrangian splittings of . In the special case of , where is a complex semi-simple Lie algebra, we explicitly compute the ranks of the Poisson structures on defined by arbitrary Lagrangian splittings of . Such Lagrangian splittings have been classified by P. Delorme, and they contain the Belavin–Drinfeld splittings as special cases.     

The Dynamics of Relativistic Strings Moving in the Minkowski Space $$\mathbb{R}^{1+n}$$

In this paper we investigate the dynamics of relativistic (in particular, closed) strings moving in the Minkowski space . We first derive a system with n nonlinear wave equations of Born-Infeld type which governs the motion of the string. This system can also be used to describe the extremal surfaces in . We then show that this system enjoys some interesting geometric properties. Based on this, we give a sufficient and necessary condition for the global existence of extremal surfaces without space-like point in with given initial data. This result corresponds to the global propagation of nonlinear waves for the system describing the motion of the string in . We also present an explicit exact representation of the general solution for such a system. Moreover, a great deal of numerical analyses are investigated, and the numerical results show that, in phase space, various topological singularities develop in finite time in the motion of the string. Finally, some important discussions related to the theory of extremal surfaces of mixed type in are given.     

A Strong Szegő Theorem for Jacobi Matrices

We use a classical result of Golinskii and Ibragimov to prove an analog of the strong Szegő theorem for Jacobi matrices on . In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and find necessary and sufficient conditions on the spectral measure such that and lie in , the linearly-weighted l ² space. An erratum to this article can be found at     

Feynman Graphs,Rooted Trees,and Ringel-Hall Algebras

We construct symmetric monoidal categories of rooted forests and Feynman graphs. These categories closely resemble finitary abelian categories, and in particular, the notion of Ringel-Hall algebra applies. The Ringel-Hall Hopf algebras of , are dual to the corresponding Connes-Kreimer Hopf algebras on rooted trees and Feynman diagrams. We thus obtain an interpretation of the Connes-Kreimer Lie algebras on rooted trees and Feynman graphs as Ringel-Hall Lie algebras.     

(Co)cyclic (Co)homology of Bialgebroids: An Approach via (Co)monads

For a (co)monad T _l on a category , an object X in , and a functor , there is a (co)simplex in . The aim of this paper is to find criteria for para-(co)cyclicity of Z ^*. Our construction is built on a distributive law of T _l with a second (co)monad T _r on , a natural transformation , and a morphism in . The (symmetrical) relations i and w need to satisfy are categorical versions of Kaygun’s axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads and on the category of R-bimodules. The functor Π can be chosen such that is the cyclic R-module tensor product. A natural transformation is given by the flip map and a morphism is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. The notion of a stable anti-Yetter-Drinfel’d module over certain bialgebroids, the so-called  ×  _R -Hopf algebras, is introduced. In the particular example when T is a module coring of a  ×  _R -Hopf algebra and X is a stable anti-Yetter-Drinfel’d -module, the para-cyclic object Z _* is shown to project to a cyclic structure on . For a -Galois extension , a stable anti-Yetter-Drinfel’d -module T _S is constructed, such that the cyclic objects and are isomorphic. This extends a theorem by Jara and Ştefan for Hopf Galois extensions. As an application, we compute Hochschild and cyclic homologies of a groupoid with coefficients in a stable anti-Yetter-Drinfel’d module, by tracing it back to the group case. In particular, we obtain explicit expressions for (coinciding relative and ordinary) Hochschild and cyclic homologies of a groupoid. The latter extends results of Burghelea on cyclic homology of groups.     

An Infinite Genus Mapping Class Group and Stable Cohomology

We exhibit a finitely generated group whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface of infinite genus, and contains all the pure mapping class groups of compact surfaces of genus g with n boundary components, for any g ≥ 0 and n > 0. We construct a representation of into the restricted symplectic group of the real Hilbert space generated by the homology classes of non-separating circles on , which generalizes the classical symplectic representation of the mapping class groups. Moreover, we show that the first universal Chern class in is the pull-back of the Pressley-Segal class on the restricted linear group via the inclusion . L. F. was partially supported by the ANR Repsurf:ANR-06-BLAN-0311.     

Wave Decay on Convex Co-Compact Hyperbolic Manifolds

For convex co-compact hyperbolic quotients , we analyze the long-time asymptotic of the solution of the wave equation u(t) with smooth compactly supported initial data f = (f ₀, f ₁). We show that, if the Hausdorff dimension δ of the limit set is less than n/2, then where and . We explain, in terms of conformal theory of the conformal infinity of X, the special cases , where the leading asymptotic term vanishes. In a second part, we show for all the existence of an infinite number of resonances (and thus zeros of Selberg zeta function) in the strip . As a byproduct we obtain a lower bound on the remainder R(t) for generic initial data f.     

TYZ Expansion for the Kepler Manifold

The main goal of the paper is to address the issue of the existence of Kempf’s distortion function and the Tian-Yau-Zelditch (TYZ) asymptotic expansion for the Kepler manifold - an important example of non-compact manifold. Motivated by the recent results for compact manifolds we construct Kempf’s distortion function and derive a precise TYZ asymptotic expansion for the Kepler manifold. We get an exact formula: finite asymptotic expansion of n − 1 terms and exponentially small error terms uniformly with respect to the discrete quantization parameter ( standing for Planck’s constant and , ). Moreover, the coefficients are calculated explicitly and they turned out to be homogeneous functions with respect to the polar radius in the Kepler manifold. We show that our estimates are sharp by analyzing the nonharmonic behaviour of T _m for . The arguments of the proofs combine geometrical methods, quantization tools and functional analytic techniques for investigating asymptotic expansions in the framework of analytic-Gevrey spaces. The first author was supported in part by the project PRIN (Cofin) n. 2006019457 with M.I.U.R., Italy. The second author was supported in part by the M.I.U.R. Project “Geometric Properties of Real and Complex Manifolds”.     

Uniqueness Theorem for BMS-Invariant States of Scalar QFT on the Null Boundary of Asymptotically Flat Spacetimes and Bulk-Boundary Observable Algebra Correspondence

This work concerns some features of scalar QFT defined on the causal boundary of an asymptotically flat at null infinity spacetime and based on the BMS-invariant Weyl algebra .(a) (i) It is noticed that the natural BMS invariant pure quasifree state λ on , recently introduced by Dappiaggi, Moretti and Pinamonti, enjoys positivity of the self-adjoint generator of u-translations with respect to every Bondi coordinate frame on , ( being the affine parameter of the complete null geodesics forming and complex coordinates on the transverse 2-sphere). This fact may be interpreted as a remnant of the spectral condition inherited from QFT in Minkowski spacetime (and it is the spectral condition for free fields when the bulk is the very Minkowski space). (ii) It is also proved that the cluster property under u-displacements is valid for every (not necessarily quasifree) pure state on which is invariant under u displacements. (iii) It is established that there is exactly one algebraic pure quasifree state which is invariant under u-displacements (of a fixed Bondi frame) and has positive self-adjoint generator of u-displacements. It coincides with the GNS-invariant state λ. (iv) Finally it is shown that in the folium of a pure u-displacement invariant state ω (like λ but not necessarily quasifree) on is the only state invariant under u-displacement.(b) It is proved that the theory can be formulated for spacetimes asymptotically flat at null infinity which also admit future time completion i ⁺ (and fulfill other requirements related with global hyperbolicity). In this case a -isomorphism ı exists - with a natural geometric meaning - which identifies the (Weyl) algebra of observables of a linear field propagating in the bulk spacetime with a sub algebra of . Using ı a preferred state on the field algebra in the bulk spacetime is induced by the BMS-invariant state λ on .