Semiclassical analysis

In this paper, we develop semi-classical analysis on H-type groups. We define semi-classical pseudodi fferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we define the semi-classical measures of bounded families of square integrable functions which consist of a pair formed by a measure defined on the product of the group and its unitary dual, and by a field of trace class positive operators acting on the Hilbert spaces of the representations. We illustrate the theory by analyzing examples, which show in particular that this semi-classical analysis takes into account thefinite-dimensional representations of the group, even though they are negligible with respect to the Plancherel measure.

We present a survey of our work about applications of symbol calculus to quantum mechanics. Symbol calculus embodies the rules of algebra for the linear partial differential operators with variable coefficients, when such operators are expressed as functions of the non-commuting quantities xj and ~/~xj (j=l ..... n). In quantum mechanics the symbol calculus generates S~-C~sica£ expansions, i.e. perturbative series in powers of Planck's constant ~, that are both numerically useful and mathematically interesting. As the complexity of such expansions increases very rapidly with the order, algebraic computer systems have proven most useful in their study [l] . We present here a few of our results, obtained with the extensive use of the formula manipulation language REDUCE (except when specified) : in particular we have found new algorithms to solve the stationary SchrBdinger equation formally in powers of ~. Basic facts about quantum mechanics and semi-classical methods are found in [3] any textbook such as . More precise references, about symbol calculus for instance, are listed in our earlier articles [4j.~ ~

(1) What is semiclassical Analysis? (2) What is a Trace Formula? (3) Physical Motivations : “Quantum Chaos” (4) Gutzwiller Trace Formula. (Rigorous Approach)

We derive a semiclassical expression for an energy smoothed autocorrelation function defined on a group of eigenstates of the Schr\"odinger equation. The system we considered is an energy-conserved Hamiltonian system possessing time-invariant symmetry. The energy smoothed autocorrelation function is expressed as a sum of three terms. The first one is analogous to Berry's conjecture, which is a Bessel function of the zeroth order. The second and the third terms are trace formulae made from special trajectories. The second term is found to be direction dependent in the case of spacing averaging, which agrees qualitatively with previous numerical observations in high-lying eigenstates of a chaotic billiard.

We analyze the 2D magnetic Laplacian in the semiclassical limit in the case when the magnetic field vanishes along a smooth curve. In particular, we prove local and micro-local estimates for the eigenfunctions and a complete asymptotic expansion of the eigenpairs in powers of h^{1/6} .

The Heisenberg uncertainty principle says that it is impossible to determine simultaneously the position and momentum of a quantum-mechanical particle. This can be rephrased as follows: the smallest subsets of classical phase space in which the presence of a quantum-mechanical particle can be detected are its Lagrangian submanifolds. For this reason it makes sense to regard the Lagrangian submanifolds of phase space as being its true "points"; see Weinstein [17]. Now let G be a compact Lie group and G x X ~ X a Hamiltonian action of G on X (see w for definitions). It is well-known that the fixed points of this action form a symplectic submanifold of X. (See for instance Guillemin and Sternberg [5].) However, what can one say about the fixed "points" of G? We will show that they are also the "points'" of a symplectic manifold, Xc. This manifold is the Marsden-Weinstein reduction of X with respect to the zero orbit in g*, and will be described in Sect. 2. (It was introduced in a completely different context fl'om ours by Marsden and Weinstein [12].) Problems in classical mechanics can often be reduced to the study of Hamiltonian systems on symplectic manifolds and problems in quantum mechanics to the study of linear operators on Hilbert space. This fact has inspired a number of efforts to "quantize" symplectic geometry by devising schemes for associating Hilbert space to symplectic manifolds. The "no-go" theorems of Groenwald and Van Hove impose some embarrassing limitations on all such schemes; however, it seems to be a useful idea heuristically to think of every symplectic manifold, X~a~ic, 1, as being symbiotically associated with a Hilbert space, Xq,a, t ..... in such a way that the classical observables on the first space correspond to quantum observables on the second space. The heuristics further suggests that if G is a group of symmetries of X~la~,i~, j, it should also be a group of symmetries of Xq,a,,tum. In this heuristic spirit, we will state the main conjecture of this paper:

In this paper we study the symplectic and Poisson geometry of moduli spaces of flat connections over quilted surfaces. These are surfaces where the structure group varies from region to region in the surface, and where a reduction (or relation) of structure occurs along the boundaries of the regions. Our main theoretical tool is a new form moment-map reduction in the context of Dirac geometry. This reduction framework allows us to extend the results of [30, 40] to allow more general relations of structure groups, and to investigate both the symplectic and Poisson geometry of the resulting moduli spaces from a unified perspective. The moduli spaces we construct in this way include a number of important examples, including Poisson Lie groups and their Homogeneous spaces, moduli spaces for meromorphic connections over Riemann surfaces (following the work of Philip Boalch), and various symplectic groupoids. Realizing these examples as moduli spaces for quilted surfaces provides new insights into their geometry.

In this paper we exhibit a family of flat left invariant affine structures on the double Lie group of the oscillator Lie group of dimension 4, associated to each solution of classical Yang-Baxter equation given by Boucetta and Medina. On the other hand, using Koszul's method, we prove the existence of an immersion of Lie groups between the group of affine transformations of a flat affine and simply connected manifold and the classical group of affine transformations of $\mathbb{R}^n$. In the last section, for each flat left invariant affine symplectic connection on the group of affine transformations of the real line, describe for Medina-Saldarriaga-Giraldo, we determine the affine symplectomorphisms. Finally we exhibit the Hess connection, associated to a Lagrangian bi-foliation, which is flat left invariant affine.

We introduce the process of symplectic reduction along a submanifold as a uniform approach to taking quotients in symplectic geometry. This construction holds in the categories of smooth manifolds, complex analytic spaces, and complex algebraic varieties, and has an interpretation in terms of derived stacks in shifted symplectic geometry. It also encompasses Marsden–Weinstein–Meyer reduction, Mikami–Weinstein reduction, the pre-images of Poisson transversals under moment maps, symplectic cutting, symplectic implosion, and the Ginzburg–Kazhdan construction of Moore–Tachikawa varieties in topological quantum field theory. A key feature of our construction is a concrete and systematic association of a Hamiltonian $G$-space $\mathfrak {M}_{G, S}$ to each pair $(G,S)$, where $G$ is any Lie group and $S\subseteq \mathrm {Lie}(G)^{*}$ is any submanifold satisfying certain non-degeneracy conditions. The spaces $\mathfrak {M}_{G, S}$ satisfy a universal property for symplectic reduction which generalizes that of the universal imploded cross-section. Although these Hamiltonian $G$-spaces are explicit and natural from a Lie-theoretic perspective, some of them appear to be new.

Given a compact boundaryless Riemannian manifold that admits a Riemannian foliation, recall that the space of leaf closures is a singular stratified space. Associated to this space is an operator called the basic Laplacian defined on the space of smooth functions that are constant on the leaves (and, hence, the closures of the leaves of the foliation). The corresponding basic spectrum is, under certain assumptions, an infinite subset of the spectrum of the ordinary laplacian. If the metric is bundle-like with respect to the foliation, the trace of the basic wave operator can be analyzed, and invariants of the basic spectrum can be computed. These invariants include the lengths of certain geodesic arcs which are orthogonal to the leaf closures, and from them, basic wave trace asymptotic expansions are derived. Using the connection between Riemannian foliations and manifolds being acted upon by a compact Lie group of isometries, \(G\), the wave trace for the \(G\)-invariant spectrum of a \(G\)-manifold is sketched out as a related result.

Lagrangian multiform theory is a variational framework for integrable systems. In this article, we introduce a new formulation which is based on symplectic geometry and which treats position, momentum and time coordinates of a finite-dimensional integrable hierarchy on an equal footing. This formulation allows a streamlined one-step derivation of both the multi-time Euler–Lagrange equations and the closure relation (encoding integrability). We argue that any Lagrangian one-form for a finite-dimensional system can be recast in our new framework. This framework easily extends to non-commuting flows, and we show that the equations characterising (infinitesimal) Hamiltonian Lie group actions are variational in character. We reinterpret these equations as a system of compatible non-autonomous Hamiltonian equations.

We investigate the dynamics of a two-photon laser under conditions where the spatial variation of the cavity field along the cavity axis is important. Main attention is paid to linear stability analysis and numerical investigation of a two-photon laser for the Maxwell-Bloch equations. The model assumes pumping to the upper state of the two-photon transition. We consider the Maxwell-Bloch equations on the basis of which we study the stability analysis of the steady state of the system. The system is taken to be contained in a ring-laser cavity. Asymptotic expansion of the eigenvalue and analytic information are obtained in some realistic limits, such as very large reflectivity, very small cavity losses, or very small population relaxation rate. The results are illustrated with an application to a specific atomic system (Potassium) as an amplifying medium.

We give a rigorous version of the classical Balian-Bloch trace formula, a semiclassical expansion around a periodic reflecting ray of the (regularized) resolvent of the Dirichlet Laplacian on a bounded smooth plane domain. It is equivalent to the Poisson relation (or wave trace formula) between spectrum and closed geodesics. We view it primarily as a computational device for explicitly calculating wave trace invariants. Its effectiveness will be illustrated in subsquent articles in the series in which concrete inverse spectral results are proved.

I present in this paper some tools in symplectic and Poisson geometry in view of their applications in geometric mechanics and mathematical physics. After a short discussion of the Lagrangian an Hamiltonian formalisms, including the use of symmetry groups, and a presentation of the Tulczyjew’s isomorphisms (which explain some aspects of the relations between these formalisms), I explain the concept of manifold of motions of a mechanical system and its use, due to J.-M. Souriau, in statistical mechanics and thermodynamics. The generalization of the notion of thermodynamic equilibrium in which the one-dimensional group of time translations is replaced by a multi-dimensional, maybe non-commutative Lie group, is fully discussed and examples of applications in physics are given.

Multisymplectic geometry is a generalization of symplectic geometry suitable for n-dimensional field theories, in which the nondegenerate 2-form of symplectic geometry is replaced by a nondegenerate (n + 1)-form. The case n = 2 is relevant to string theory: we call this '2-plectic geometry.' Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, the observables associated to a 2-plectic manifold form a 'Lie 2-algebra,' which is a categorified version of a Lie algebra. Any compact simple Lie group G has a canonical 2-plectic structure, so it is natural to wonder what Lie 2-algebra this example yields. This Lie 2-algebra is infinite-dimensional, but we show here that the sub-Lie-2-algebra of left-invariant observables is finite-dimensional, and isomorphic to the already known 'string Lie 2-algebra' associated to G. So, categorified symplectic geometry gives a geometric construction of the string Lie 2-algebra. © 2010, John C. Baez and Christopher L. Rogers.