We present a definition of generating functions of canonical relations, which are real functions on symmetric symplectic spaces, discussing some conditions for the presence of caustics. We show how the actions compose by a neat geometrical formula and are connected to the hamiltonians via a geometrically simple variational principle which determines the classical trajectories, discussing the temporal evolution of such ``extended hamiltonians'' in terms of Hamilton-Jacobi-type equations. Simplest spaces are treated explicitly.
We associate curves of isotropic, Lagrangian and coisotropic subspaces to higher order, one parameter variational problems. Minimality and conjugacy properties of extremals are described in terms of these curves.
In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order system of PDEs to a constrained first-order one, the symplectic structures naturally arising in the dynamics of a first-order Lagrangian theory, and the importance of the Poincaré-Cartan form for variational problems, are all well-established facts. However, their adequate combination corresponding to higher-order theories is missing in the literature. Here w…
We propose the difference discrete variational principle in discrete mechanics and symplectic algorithm with variable step-length of time in finite duration based upon a noncommutative differential calculus established in this paper. This approach keeps both symplicticity and energy conservation discretely. We show that there exists the discrete version of the Euler-Lagrange cohomology in these discrete systems. We also discuss the solution existence in finite time-length and its site density in continuous limit, and apply our approach to the pendulum with periodic perturbation. The numerical …
We show that a symplectic reduction of the symmetric representation of the generalized $n$-dimensional rigid body equations yields the $n$-dimensional Euler equation. This result provides an alternative to the more elaborate relationship between these equations established by Bloch, Crouch, Marsden, and Ratiu. Specifically, we exploit the inherent $\mathsf{Sp}(2n,\mathbb{R})$-symmetry in the symmetric representation to present its relationship with the Euler equation via symplectic reduction facilitated by the dual pair recently developed by Skerritt and Vizman.
For a scalar evolution equation $u_t=K(t,x,u,u_x,\ldots, u_n), n\geq 2$ the cohomology spaces $H^{1,s}({\mathcal R}^\infty)$ vanishes for $s\geq 3$ while the space $H^{1,2}({\mathcal R}^\infty)$ is isomorphic to the space of variational operators. The cohomology space $H^{1,2}({\mathcal R}^\infty)$ is also shown to be isomorphic to the space of symplectic operators for $u_t=K$ for which the equation is Hamiltonian. Third order scalar evolution equations admitting a first order symplectic (or variational) operator are characterized. The symplectic nature of the potential form of a bi-Hamiltonia…
The standard lore in noncommutative physics is the use of first order variational description of a dynamical system to probe the space noncommutativity and its consequences in the dynamics in phase space. As the ultimate goal is to understand the inherent space noncommutativity we propose a variational principle for noncommutative dynamical systems in configuration space, based on results of our previous work [14]. We hope that this variational formulation in configuration space can be of help to elucidate the definition of some global and dynamical properties of classical and quantum noncommu…
We consider odd Poisson (odd symplectic) structure on supermanifolds induced by an odd symmetric rank $2$ (non-degenerate) contravariant tensor field. We describe the difference between odd Riemannian and odd symplectic structure in terms of the Cartan prolongation of the corresponding Lie algebras, and formulate an analogue of the Levi-Civita theorem for an odd symplectic supermanifold.
This paper shows that the left-invariant geodesic flow on the symplectic group relative to the Frobenius metric is an integrable system that is not contained in the Mishchenko-Fomenko class of rigid body metrics. This system may be expressed as a flow on symmetric matrices and is bi-Hamiltonian. This analysis is extended to cover flows on symmetric matrices when an isomorphism with the symplectic Lie algebra does not hold. The two Poisson structures associated with this system, including an analysis of its Casimirs, are completely analyzed. Since the system integrals are not generated by its C…
In this paper, we introduce the notion of a pre-symplectic algebroid, and show that there is a one-to-one correspondence between pre-symplectic algebroids and symplectic Lie algebroids. This result is the geometric generalization of the relation between left-symmetric algebras and symplectic (Frobenius) Lie algebras. Although pre-symplectic algebroids are not left-symmetric algebroids, they still can be viewed as the underlying structures of symplectic Lie algebroids. %We study three classes of pre-symplectic algebroids in detail. Then we study exact pre-symplectic algebroids and show that the…
We apply symmetric function theory to study random processes formed by singular values of products of truncations of Haar distributed symplectic and orthogonal matrices. These product matrix processes are degenerations of Macdonald processes introduced by Borodin and Corwin. Through this connection, we obtain explicit formulae for the distribution of singular values of a deterministic matrix multiplied by a truncated Haar orthogonal or symplectic matrix under conditions where the latter factor acts as a rank $1$ perturbation. Consequently, we generalize the recent Kieburg-Kuijlaars-Stivigny fo…
We provide topological obstructions to the existence of orbit cylinders of symmetric orbits, for mechanical systems preserved by antisymplectic involutions (e.g. the restricted three-body problem). Such cylinders induce continuous paths which do not cross the bifurcation locus of suitable GIT quotients of the symplectic group, which are branched manifolds whose topology provide the desired obstructions. Namely, the complement of the corresponding loci consist of several connected components which we enumerate and explicitly describe; by construction these cannot be joined by a path induced by …
It is shown that the action for Hamiltonian equations of motion can be brought into invariant symplectic form. In other words, it can be formulated directly in terms of the symplectic structure $ω$ without any need to choose some 1-form $γ$, such that $ω= d γ$, which is not unique and does not even generally exist in a global sense.
The Fedosov deformation quantization on a cotangent bundle with a symplectic connection induced by some linear symmetric connection on the base space is considered. A global construction of the symplectic homogeneous connection on the cotangent bundle modelled on the linear symmetric connection from the base space is proposed. Examples of the induced symplectic connection are given. A detailed analysis of the Abelian connection and flat sections representing special types of functions for this kind of symplectic connection is presented. Some properties of the *-product determined by the induce…
Given the Hermitian, symmetric and symplectic ensembles, it is shown that the probability that the spectrum belongs to one or several intervals satisfies a nonlinear PDE. This is done for the three classical ensembles: Gaussian, Laguerre and Jacobi. For the Hermitian ensemble, the PDE (in the boundary points of the intervals) is related to the Toda lattice and the KP equation, whereas for the symmetric and symplectic ensembles the PDE is an inductive equation, related to the so-called Pfaff-KP equation and the Pfaff lattice. The method consists of inserting time-variables in the integral and s…
A free quantum field theory with Lorentz symmetry is derived for spin-half symplectic fermions in 2+1 dimensions. In particular, we show that fermionic spin-half fields may be canonically quantized in a free theory with a Klein-Gordon Lagrangian. This theory is shown to have all the required properties of a consistent free quantum field theory, namely causality, unitarity, adherence to the spin-statistics theorem, CPT symmetry, and the Hermiticity and positive definiteness of the Hamiltonian. The global symmetry of the free theory is Sp(4) $\simeq$ SO(5). Possible interacting theories of both …
Here we give brief account of hermitian symplectic spaces, showing that they are intimately connected to symmetric as well as self-adjoint extensions of a symmetric operator. Furthermore we find an explicit parameterisation of the Lagrange Grassmannian in terms of the unitary matrices $\U (n)$. This allows us to explicitly describe all self-adjoint boundary conditions for the Schroedinger operator on the graph in terms of a unitary matrix. We show that the asymptotics of the scattering matrix can be simply expressed in terms of this unitary matrix.
We present and compare different numerical schemes for the integration of the variational equations of autonomous Hamiltonian systems whose kinetic energy is quadratic in the generalized momenta and whose potential is a function of the generalized positions. We apply these techniques to Hamiltonian systems of various degrees of freedom, and investigate their efficiency in accurately reproducing well-known properties of chaos indicators like the Lyapunov Characteristic Exponents (LCEs) and the Generalized Alignment Indices (GALIs). We find that the best numerical performance is exhibited by the…
We present a nested algebraic Bethe ansatz for one-dimensional open so(2n)- and sp(2n)-symmetric spin chains with diagonal boundary conditions and described by the extended twisted Yangian. We use a generalization of the Bethe ansatz introduced by De Vega and Karowski which allows us to relate the spectral problem of a so(2n)- or sp(2n)-symmetric open spin chain to that of a gl(n)-symmetric open spin chain. We explicitly derive the structure of Bethe vectors and the nested Bethe equations.
The eigenvalue probability density function for symplectic invariant random matrix ensembles can be generalised to discrete settings involving either a linear or exponential lattice. The corresponding correlation functions can be expressed in terms of certain discrete, and $q$, skew orthogonal polynomials respectively. We give a theory of both of these classes of polynomials, and the correlation kernels determining the correlation functions, in the cases that the weights for the corresponding discrete unitary ensembles are classical. Crucial for this are certain difference operators which rela…
In this paper, we highlight the role played by orthogonal and symplectic Harish-Chandra integrals in the study of real-valued matrix product ensembles. By making use of these integrals and the matrix-valued Fourier-Laplace transform, we find the explicit eigenvalue distributions for particular Hermitian anti-symmetric matrices and particular Hermitian anti-self dual matrices, involving both sums and products. As a consequence of these results, the eigenvalue probability density function of the random product structure $X_M \cdots X_1( iA) X_1^T \cdots X_M^T$, where each $X_i$ is a standard rea…
In this paper, we introduce the notion of a left-symmetric bialgebroid as a geometric generalization of a left-symmetric bialgebra and construct a left-symmetric bialgebroid from a pseudo-Hessian manifold. We also introduce the notion of a Manin triple for left-symmetric algebroids, which is equivalent to a left-symmetric bialgebroid. The corresponding double structure is a pre-symplectic algebroid rather than a left-symmetric algebroid. In particular, we establish a relation between Maurer-Cartan type equations and Dirac structures of the pre-symplectic algebroid which is the corresponding do…
We present geometric numerical integrators for contact flows that stem from a discretization of Herglotz' variational principle. First we show that the resulting discrete map is a contact transformation and that any contact map can be derived from a variational principle. Then we discuss the backward error analysis of our variational integrators, including the construction of a modified Lagrangian. Throughout the paper we use the damped harmonic oscillator as a benchmark example to compare our integrators to their symplectic analogues.
We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic …
DiscoTEX 1.0: Discontinuous collocation and implicit-turned-explicit (IMTEX) integration symplectic, symmetric numerical algorithms with high order jumps for differential equations II: extension to higher-orders of numerical convergence
