Related papers: On the rational symplectic group

We develop the symplectic elimnation algorithm. This algorithm using simple row operations reduce a symplectic matrix to a diagonal matrix. This algorithm gives rise to a decomposition of an arbitrary matrix into a product of a symplectic…

We give one more proof of the fact that symplectic matrices over real and complex fields have determinant one. While this has already been proved many times, there has been lasting interest in finding an elementary proof. Our result is…

In this article, we derive and discuss the properties of the symplectic group Sp(2), which arises in Hamiltonian dynamics and ray optics. We show that a symplectic matrix can be written as the product of a symmetric dilation matrix and a…

We prove that given four arbitrary quaternion numbers of norm 1 there always exists a $2\times 2$ symplectic matrix for which those numbers are left eigenvalues. The proof is constructive. An application to the LS category of Lie groups is…

In this paper, we provide an algebraic condition on any $2n \times 2n$ real symmetric positive definite matrix which is necessary and sufficient for the matrix to be diagonalized by an orthosymplectic matrix in the sense of Williamson's…

We give a short constructive proof for the existence and uniqueness of the rational normal form of a quadratic matrix.

We study symplectic linear algebra over the ring $\Rt$ of Colombeau generalized numbers. Due to the algebraic properties of $\Rt$ it is possible to preserve a number of central results of classical symplectic linear algebra. In particular,…

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…

The graph of a real symplectic linear transformation is an R-Lagrangian subspace of a complex symplectic vector space. The restriction of the complex symplectic form is thus purely imaginary and may be expressed in terms of the generating…

We determine the algebraic and transcendental lattices of a general cubic fourfold with a symplectic automorphism of prime order. We prove that cubic fourfolds admitting a symplectic automorphism of order at least three are rational, and we…

We introduce symplectic left Leibniz algebras and symplectic right Leibniz algebras as generalizations of symplectic Lie algebras. These algebras possess a left symmetric product and are Lie-admissible. We describe completely symmetric…

Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into…

Let ${\mathbb F}_q$ be a finite field of characteristic two and ${\mathbb F}_q(X_1,...,X_n)$ a rational function field. We use matrix methods to obtain explicit transcendental bases of the invariant subfields of orthogonal groups and…

We are interested in expanding our understanding of symplectic matroids by exploring the properties of a class of symplectic matroids with a "lattice of flats". Taking a well-behaved family of subdivisions of the cross polytope we obtain a…

This note provides a counterexample to a proposition stated in [J. Differ. Equ. 261.4 (2016) 2528--2551] regarding the neighborhood of certain $4\times 4$ symplectic matrices.

A basic problem in linear particle optics is to find a symplectic transformation that brings the (symmetric) beam matrix to a special diagonal form, called normal form. The conventional way to do this involves an eigenvalue-decomposition of…

If $A$ is a $2n \times 2n$ real positive definite matrix, then there exists a symplectic matrix $M$ such that $M^TAM = \left [ \begin{array}{cc} D & O \\ O & D \end{array} \right ]$ where $D= \diag (d_1 (A), \ldots, d_n(A))$ is a diagonal…

We review the notion of symplectic duality earlier introduced in the context of topological recursion. We show that the transformation of symplectic duality can be expressed as a composition of $x-y$ dualities in a broader context of log…

An important theorem in Gaussian quantum information tells us that we can diagonalise the covariance matrix of any Gaussian state via a symplectic transformation. Whilst the diagonal form is easy to find, the process for finding the…

We prove that every holomorphic symplectic matrix can be factorized as a product of holomorphic unitriangular matrices with respect to the symplectic form $ \left[\begin{array}{ccc} 0 & L_n \\ -L_n & 0\end{array}\right]$ where $L$ is the $n…