Symplectic Group Research Articles

Extended Special Linear group ESL2(F) and matrix equations in SL2(F), SL2(Z) and GL2(Fp)

The problem of roots existence for different classes of matrix such as simple and semisimple matrices from SL2(F), SL2(Z) and GL2(F) are solved. For this purpose, we first introduced the concept of an extended special linear group ESL2(F), which is generalisation of the matrix group SL2(F), where F is arbitrary perfect field. The group of unimodular matrices and extended symplectic group ESp2(R) are generalised by us, their structures are found. Our criterion oriented on a general class of matrix depending of the form of minimal and characteristic polynomials, moreover a proposed criterion holds in GL2(F), where F is an arbitrary field. The method of matrix factorisation is outlined. We show that ESL2(F) is a set of all square matrix roots from SL2(F) except of that established in our root existence criterion.

Symplectic Grassmannians and cyclic quivers

AbstractThe goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.

Monster embeddings of certain 3-transposition groups via Majorana representations

Abstract In this paper, we study the Majorana representations of symplectic and orthogonal groups over GF ⁢ ( 2 ) \mathrm{GF}(2) . We show that such a group admits a Majorana representation only if it can be embedded into the Monster group as a 2 ⁢ A 2A -generated subgroup.

Riemannian optimization of photonic quantum circuits in phase and Fock space

We propose a framework to design and optimize generic photonic quantum circuits composed of Gaussian objects (pure and mixed Gaussian states, Gaussian unitaries, Gaussian channels, Gaussian measurements) as well as non-Gaussian effects such as photon-number-resolving measurements. In this framework, we parametrize a phase space representation of Gaussian objects using elements of the symplectic group (or the unitary or orthogonal group in special cases), and then we transform it into the Fock representation using a single linear recurrence relation that computes the Fock amplitudes of any Gaussian object recursively. We also compute the gradient of the Fock amplitudes with respect to phase space parameters by differentiating through the recurrence relation. We can then use Riemannian optimization on the symplectic group to optimize MM-mode Gaussian objects, avoiding the need to commit to particular realizations in terms of fundamental gates. This allows us to “mod out” all the different gate-level implementations of the same circuit, which now can be chosen after the optimization has completed. This can be especially useful when looking to answer general questions, such as bounding the value of a property over a class of states or transformations, or when one would like to worry about hardware constraints separately from the circuit optimization step. Finally, we make our framework extendable to non-Gaussian objects that can be written as linear combinations of Gaussian ones, by explicitly computing the change in global phase when states undergo Gaussian transformations. We implemented all of these methods in the freely available open-source library MrMustard, which we use in three examples to optimize the 216-mode interferometer in Borealis, and 2- and 3-modes circuits (with Fock measurements) to produce cat states and cubic phase states.

An Investigation into Properties for (_66^156)Dy Isotope Using IBM-1 and IVBM Model

Abstract: The (_66^156)Dy isotopes in the O (6) region were investigated. The positive ground-state band of (_66^156)Dy nuclei was calculated using the interacting boson model ‎(IBM-1) and the interacting vector boson model (IVBM). The negative parity band energies of the above isotope were calculated using (IVBM) only. We plotted the ratios ((E(I+2))/(〖E(2〗_1^+)), (E(I+2))/(E(I)),r(((I+2))/I)) and the E-GOS curve as a function of the spin (I) to investigate the properties of the yrast band. Accordingly, the best-fit values of the parameters were used to construct the Hamiltonian, and the electromagnetic transition probability B(E2) of this nucleus was determined. Theoretical energy levels of dysprosium-156 isotope with a neutron number N = 90 and spin parity up to 〖30〗_1^+ were obtained using the MATLAB-20 simulation program. A comparison of these calculated energy levels with the corresponding experimentally measured ones shows a good agreement. The results also ‎draw our attention to the fact that the nucleus of interest deforms and exhibits gamma-instability ‎properties. Keywords: Dysprosium Isotopes, Even-even nuclei, Interacting Boson Model-1, Interacting Vector Boson Model, Negative parity, Yrast band. Abbreviations and Acronyms, IBM: Interacting Boson Model, IVBM: Interacting Vector Boson Model, U(5): Spherical limit, SU(3): Axially deformed shape limit O(6): γ-unstable limit, SP(12; R): the non-compact symplectic group.

Equivalent Definitions of Arthur Packets for Real Classical Groups

Arthur has conjectured the existence of what are now known as Arthur packets of representations of reductive algebraic groups over local and global fields. In the case of special orthogonal and symplectic groups, he subsequently gave a definition of these packets, using local and global methods. For general real groups, an alternative approach to the definition of Arthur packets has been given by Adams-Barbasch-Vogan. This construction is purely local and uses geometric methods. Our main result is that these two definitions agree in the case of real special orthogonal and symplectic groups.

Noncommutative Coordinates for Symplectic Representations

We introduce coordinates on the spaces of framed and decorated representations of the fundamental group of a surface with nonempty boundary into the symplectic group S p ( 2 n , R ) Sp(2n,\mathbf R) . These coordinates provide a noncommutative generalization of the parametrizations of the spaces of representations into S L ( 2 , R ) SL(2,\mathbf R) or P S L ( 2 , R ) PSL(2,\mathbf R) given by Thurston, Penner, Kashaev and Fock–Goncharov. On the space of decorated symplectic representations the coordinates give a geometric realization of the noncommutative cluster-like structures introduced by Berenstein–Retakh. The locus of positive coordinates maps to the space of framed maximal representations. We use this to determine an explicit homeomorphism between the space of framed maximal representations and a quotient by the group O ( n ) O(n) . This allows us to describe the homotopy type and, when n = 2 n=2 , to give an exact description of the singularities. Along the way, we establish a complete classification of pairs of nondegenerate quadratic forms.

Unisingular subgroups of symplectic groups over [formula omitted]

A linear group is called unisingular if every element of it has eigenvalue 1. In this paper we develop some general machinery for the study of unisingular irreducible linear groups. A motivation for the study of such groups comes from several sources, including algebraic geometry, Galois theory, finite group theory and representation theory. In particular, a certain aspect of the theory of abelian varieties requires the knowledge of unisingular irreducible subgroups of the symplectic groups over the field of two elements, and in this paper we concentrate on this special case of the general problem. A more special but important question is that of the existence of such subgroups in the symplectic groups of particular degrees. We answer this question for almost all degrees 2n<250, specifically, the question remains open only 7 values of n.

On Oliver's p-group conjecture for Sylow subgroups of symplectic groups and orthogonal groups

In this paper, we focus on Oliver's p-group conjecture. We prove that Oliver's p-group conjecture holds for Sylow p-subgroups of symplectic groups and orthogonal groups.

Schur rings over Sp(n,2) and multiplicity one subgroups

We study commutative Schur rings over the symplectic groups Sp(n,2) that contain the class C of symplectic transvections. We find the possible partitions of C determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp(n,2).

Probing bad theories with the dualization algorithm. Part II.

We continue our analysis of bad theories initiated in [1], focusing on quiver theories with bad unitary and special unitary gauge groups in three dimensions. By extending the dualization algorithm we prove that the partition function of bad linear quivers can be written as a distribution, given by a sum of terms involving a product of delta functions times the partition function of a good quiver theory. We describe in detail the good quiver theories appearing in the partition function of the bad theory and discuss the brane interpretation of our result. We also discuss in detail the lift of these theories to 4d quivers with symplectic gauge groups, in which our results can be recovered by studying the Higgsing triggered by the expectation value for certain chiral operators. The paper is accompanied by a Mathematica file which implements the algorithm for an arbitrary unitary bad linear quiver.

Matrix decompositions in quantum optics: Takagi/Autonne, Bloch–Messiah/Euler, Iwasawa, and Williamson

In this tutorial, we summarize four important matrix decompositions commonly used in quantum optics, namely the Takagi/Autonne, Bloch–Messiah/Euler, Iwasawa, and Williamson decompositions. The first two of these decompositions are specialized versions of the singular-value decomposition when applied to symmetric or symplectic matrices. The third factors any symplectic matrix in a unique way in terms of matrices that belong to different subgroups of the symplectic group. The last one instead gives the symplectic diagonalization of real, positive definite matrices of even size. While proofs of the existence of these decompositions exist in the literature, we review explicit constructions to implement these decompositions using standard linear algebra packages and functionalities such as singular-value, polar, Schur, and QR decompositions, and matrix square roots and inverses.

Apartment Classes of Integral Symplectic Groups

Apartment Classes of Integral Symplectic Groups

On normalizers of maximal tori in classical Lie groups

In general, the normalizer N G ( H G ) N_G(H_G) of a maximal torus H G H_G in a semisimple complex Lie group G G does not admit a presentation as a semidirect product of H G H_G and the corresponding Weyl group W G W_G . Meanwhile, such splitting exists for classical groups corresponding to the root systems A ℓ A_\ell , B ℓ B_\ell , D ℓ D_\ell . For the remaining classical groups corresponding to the root systems C ℓ C_\ell , there still exists an embedding of the Tits extension W G T W^T_G of W G W_G into the normalizer N G ( H G ) N_G(H_G) . Here an explicit unified construction is proposed for the lifts of the Weyl groups into normalizers of maximal tori for general linear and orthogonal Lie groups via embedding into the general linear groups. For the symplectic group S p 2 ℓ \mathrm {Sp}_{2\ell } , an explanation of the impossibility of embedding W S p 2 ℓ W_{\mathrm {Sp}_{2\ell }} into the normalizer N S p 2 ℓ ( H S p 2 ℓ ) N_{\mathrm {Sp}_{2\ell }}(H_{\mathrm {Sp}_{2\ell }}) is suggested. Also, explicit formulas are computed for the adjoint action of the lifts of the Weyl groups on g = L i e ( G ) \mathfrak {g}=\mathrm {Lie}(G) . Finally, examples of Weyl groups lifts are given for the groups closely associated with classical Lie groups.

Standard monomials and invariant theory of arc spaces II: Symplectic group

This is the second in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field K K , we construct a standard monomial basis for the arc space of the Pfaffian variety over K K . As an application, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the symplectic group.

Products of unipotent elements of index 2 in orthogonal and symplectic groups

An automorphism u of a vector space is called unipotent of index 2 whenever (u−id)2=0. Let b be a non-degenerate symmetric or skewsymmetric bilinear form on a vector space V over a field F of characteristic different from 2.Here, we characterize the elements of the isometry group of b that are the product of two unipotent isometries of index 2. In particular, if b is skewsymmetric and nondegenerate we prove that an element of the symplectic group of b is the product of two unipotent isometries of index 2 if and only if it has no Jordan cell of odd size for the eigenvalue −1. As an application, we prove that every element of a symplectic group is the product of three unipotent elements of index 2 (and no fewer in general).For orthogonal groups, the classification closely matches the classification of sums of two square-zero skewselfadjoint operators that was obtained in a recent article [7].

Symmetry breaking operators for the reductive dual pair (U[formula omitted],U[formula omitted])

We consider the dual pair (G,G′)=(Ul,Ul′) in the symplectic group Sp2ll′(R). Fix a Weil representation of the metaplectic group Sp˜2ll′(R). Let G˜ and G˜′ be the preimages of G and G′ in Sp˜2ll′(R), and let Π⊗Π′ be a genuine irreducible representation of G˜×G˜′. We study the Weyl symbol fΠ⊗Π′ of the (unique up to a possibly zero constant) symmetry breaking operator (SBO) intertwining the Weil representation with Π⊗Π′. This SBO coincides with the orthogonal projection of the space of the Weil representation onto its Π-isotypic component and also with the orthogonal projection onto its Π′-isotypic component. Hence fΠ⊗Π′ can be computed in two different ways, one using Π and the other using Π′. By matching the results, we recover Weyl’s theorem stating that Π⊗Π′ occurs in the Weil representation with multiplicity at most one and we also recover the complete list of the representations Π⊗Π′ occurring in Howe’s correspondence.

Howe correspondence of unipotent characters for a finite symplectic/even-orthogonal dual pair

abstract: In this paper we give a complete and explicit description of the Howe correspondence of unipotent characters for a finite reductive dual pair of a symplectic group and an even orthogonal group in terms of the Lusztig parametrization. That is, the conjecture by Aubert-Michel-Rouquier is confirmed.

The Endoscopic Classification of Representations of Non-Quasi-Split Odd Special Orthogonal Groups

Abstract In an earlier book of Arthur, the endoscopic classification of representations of quasi-split orthogonal and symplectic groups was established. Later Mok gave that of quasi-split unitary groups. After that, Kaletha, Minguez, Shin, and White gave that of non-quasi-split unitary groups for generic parameters. In this paper we prove the endoscopic classification of representations of non-quasi-split odd special orthogonal groups for generic parameters, following Kaletha, Minguez, Shin, and White.

Spectrum of mesons in quenched Sp(2N) gauge theories

We report the findings of our extensive study of the spectra of flavored mesons in lattice gauge theories with symplectic gauge group and fermion matter content treated in the quenched approximation. For the Sp(4), Sp(6), and Sp(8) gauge groups, the (Dirac) fermions transform in either the fundamental, or the 2-index, antisymmetric or symmetric, representations. This study sets the stage for future precision calculations with dynamical fermions in the low-mass region of lattice parameter space. Our results have potential phenomenological applications ranging from composite Higgs models, to top (partial) compositeness, to dark matter models with composite, strong-coupling dynamical origin. Having adopted the Wilson flow as a scale-setting procedure, we apply Wilson chiral perturbation theory to extract the continuum and massless limits for the observables of interest. The resulting measurements are used to perform a simplified extrapolation to the large-N limit, hence drawing a preliminary connection with gauge theories with unitary groups. We conclude with a brief discussion of the Weinberg sum rules. Published by the American Physical Society 2024