Orthogonal Group Research Articles

The beltway problem over orthogonal groups

The beltway problem over orthogonal groups

N-Substituted Iminothiolane (NIT): A Promising Strategy for Protecting Lysine Side Chains for Solid-Phase Peptide Chemistry.

In this study, we introduce N-substituted iminothiolane (NIT) as a robust protecting group for lysine side chains. NIT is compatible with Fmoc-SPPS and can be efficiently removed under mild nucleophilic conditions. Notably, NIT offers enhanced hydrophilicity compared to traditional orthogonal lysine-protecting groups and does not undergo intramolecular migration. Additionally, the synthesis of NIT in aqueous media highlights its eco-friendly nature, positioning it as a promising alternative to protect lysine side chains.

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.

An accurate and locking-free geometric exact beam formulation on the special orthogonal group SO(3)

An accurate and locking-free geometric exact beam formulation (GEBF) on the special orthogonal group SO(3) is developed for slender beams with large deformations and large rotations. Due to the nonlinear nature of the spatial rotations, the classical GEBFs usually have a non-constant mass matrix and complex expressions of inertia forces; meanwhile, the singularity and locking issues are also key matters of concern. Aiming at resolving these drawbacks, two main contributions are achieved in the present work. First, the angular velocity is independently interpolated, resulting in a constant mass matrix and explicitly representable inertial forces, which can offer significant advantages for efficient dynamic simulations. Second, inspired by the assumed natural strain method in shell theory, the stretch-shear strain is interpolated to obtain simplified and locking-free elastic forces, which is a new attempt to alleviate the locking problems for the GEBFs. In addition, the special orthogonal group SO(3) is utilized for updating incremental rotation vectors to eliminate singularities, and objective strain measurement is achieved by employing relative rotation vector interpolation. The effectiveness and superiority of the developed low-order and high-order elements are demonstrated through numerical simulations of standard benchmark examples. The present work contributes to the advancement of accurate and reliable formulation for slender beams; the constant mass matrix, the locking-free characteristics, and the elegant form of the formulation make it particularly suitable for multibody dynamic analysis.

First Example of Aryl–Hetaryl Cross-Coupling via [5,5]-Sigmatropic Rearrangement

AbstractPolysubstituted furans and thiophenes with orthogonal functional groups were synthesized by a Strecker-type reaction leading to (arylaminonitriles), which underwent a [5,5]-sigmatropic rearrangement under mild conditions. The intramolecular character of the rearrangement was additionally proved.

Some new facts about linear maps that preserve the orthogonal group

In this article, Albert Wei's result which described the forms of the linear maps that preserve the set of orthogonal matrices is treated and its new proof is provided. Wei's result is simplified by introducing a new description of the singular linear maps acting into the space n by n real matrices that preserve orthogonal matrices. From this description, one can immediately conclude that the range of such singular maps is isometrically isomorphic with the space R n . The proof of the Wei's result that is presented here is based on many new facts about linear maps that preserve the orthogonal group of matrices that are of interest independently of issues considered here.

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.

Arithmetic branching law and generic 𝐿-packets

Let G G be a classical group defined over a local field F F of characteristic zero. For any irreducible admissible representation π \pi of G ( F ) G(F) , which is of Casselman-Wallach type if F F is archimedean, we extend the study of spectral decomposition of local descents by Jiang and Zhang [Algebra Number Theory 12 (2018), 1489–1535] for special orthogonal groups over non-archimedean local fields to more general classical groups over any local field F F . In particular, if π \pi has a generic local L L -parameter, we introduce the spectral first occurrence index f s ( π ) {\mathfrak {f}}_{\mathfrak {s}}(\pi ) and the arithmetic first occurrence index f a ( π ) {\mathfrak {f}}_{{\mathfrak {a}}}(\pi ) of π \pi and prove in this paper that f s ( π ) = f a ( π ) {\mathfrak {f}}_{\mathfrak {s}}(\pi )={\mathfrak {f}}_{{\mathfrak {a}}}(\pi ) . Based on the theory of consecutive descents of enhanced L L -parameters developed by Jiang, Liu, and Zhang [Arithmetic wavefront sets and generic L L -packets, arXiv:2207.04700], we are able to show in this paper that the first descent spectrum consists of all discrete series representations, which determines explicitly the branching decomposition problem by means of the relevant arithmetic data and extends the main result (Jiang and Zhang [Algebra Number Theory 12 (2018), 1489–1535], Theorem 1.7) to broader generality.

Hierarchical attitude stabilization controller design and analysis for underactuated spacecraft on SO(3)

In this paper, the complete attitude stabilization of underactuated spacecraft with two parallel single gimbal control moment gyroscopes (SGCMGs) is explored on 3-dimensional special orthogonal group (SO(3)) and its corresponding Lie algebra (so(3)). Instead of assumption on zero total angular momentum in existing article, a less conservative criterion is adopted to ensure system controllability, which does not simplify system dynamics. On the kinematic level, an ideal controller is proposed to globally stabilize attitude without singular initial condition and stagnation behavior. Besides, the ideal kinematic controller is developed on so(3), which avoids singularity or unwinding phenomenon caused by other attitude parameters. On the dynamic level, a hierarchical controller consisting of two parts is proposed. The high-level sliding mode part enforces finite time stabilization of angular velocity about underactuated axis while the low-level part tracks ideal angular velocity commands about actuated axes. A rigorous proof of the whole dynamic-kinematic system that has not been explored before is given. Analysis of hierarchical control from the perspective of linear algebra provides a novel insight into controller design for underactuated systems. Furthermore, the paradigm of controller design which is applicable to other underactuated systems is derived. Simulation results validate the effectiveness of the proposed control logic.

Expanding the reach of quantum optimization with fermionic embeddings

Quadratic programming over orthogonal matrices encompasses a broad class of hard optimization problems that do not have an efficient quantum representation. Such problems are instances of the little noncommutative Grothendieck problem (LNCG), a generalization of binary quadratic programs to continuous, noncommutative variables. In this work, we establish a natural embedding for this class of LNCG problems onto a fermionic Hamiltonian, thereby enabling the study of this classical problem with the tools of quantum information. This embedding is accomplished by a new representation of orthogonal matrices as fermionic quantum states, which we achieve through the well-known double covering of the orthogonal group. Correspondingly, the embedded LNCG Hamiltonian is a two-body fermion model. Determining extremal states of this Hamiltonian provides an outer approximation to the original problem, a quantum analogue to classical semidefinite relaxations. In particular, when optimizing over the special orthogonal group our quantum relaxation obeys additional, powerful constraints based on the convex hull of rotation matrices. The classical size of this convex-hull representation is exponential in matrix dimension, whereas our quantum representation requires only a linear number of qubits. Finally, to project the relaxed solution back into the feasible space, we propose rounding procedures which return orthogonal matrices from appropriate measurements of the quantum state. Through numerical experiments we provide evidence that this rounded quantum relaxation can produce high-quality approximations.

Counting U(N)⊗r⊗O(N)⊗q\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$U(N)^{\\otimes r}\\otimes O(N)^{\\otimes q}$$\\end{document} invariants and tensor model observables

U(N)⊗r⊗O(N)⊗q\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$U(N)^{\\otimes r} \\otimes O(N)^{\\otimes q}$$\\end{document} invariants are constructed by contractions of complex tensors of order r+q\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$r+q$$\\end{document}, also denoted (r, q). These tensors transform under r fundamental representations of the unitary group U(N) and q fundamental representations of the orthogonal group O(N). Therefore, U(N)⊗r⊗O(N)⊗q\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$U(N)^{\\otimes r} \\otimes O(N)^{\\otimes q}$$\\end{document} invariants are tensor model observables endowed with a tensor field of order (r, q). We enumerate these observables using group theoretic formulae, for tensor fields of arbitrary order (r, q). Inspecting lower-order cases reveals that, at order (1, 1), the number of invariants corresponds to a number of 2- or 4-ary necklaces that exhibit pattern avoidance, offering insights into enumerative combinatorics. For a general order (r, q), the counting can be interpreted as the partition function of a topological quantum field theory (TQFT) with the symmetric group serving as gauge group. We identify the 2-complex pertaining to the enumeration of the invariants, which in turn defines the TQFT, and establish a correspondence with countings associated with covers of diverse topologies. For r>1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$r>1$$\\end{document}, the number of invariants matches the number of (q-dependent) weighted equivalence classes of branched covers of the 2-sphere with r branched points. At r=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$r=1$$\\end{document}, the counting maps to the enumeration of branched covers of the 2-sphere with q+3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$q+3$$\\end{document} branched points. The formalism unveils a wide array of novel integer sequences that have not been previously documented. We also provide various codes for running computational experiments.

Контракции калибровочных групп и спонтанное нарушение симметрии

Contractions of gauge models with orthogonal Cayley-Klein groups SO(2; ϵ), SO(3; ϵ), unitary groups SU(2; ϵ) as gauge groups are studied. In the limit of zero contraction parameters, orthogonal groups are isomorphic to the nonsemisimple Euclidean and Newton groups of the corresponding dimension, and the spaces of matter fields become fibered spaces with a degenerate metric. Particular attention is paid to the coordination of spontaneous symmetry breaking with the group contraction procedure. It is shown that contracted gauge theories describe the same set of fields with the same masses as theories with the original simple groups, if the chosen vacuum in the corresponding limit belonged to the base of the fibered space of matter fields. Lagrangians of the models depending on the contraction parameters are obtained, which makes it possible to trace the order of zeroing of terms in the Lagrangians as the contraction parameters tend to zero.

Invariant rings of the special orthogonal group have nonunimodal h-vectors

For [Formula: see text] an infinite field of characteristic other than two, consider the action of the special orthogonal group [Formula: see text] on a polynomial ring via copies of the regular representation. When [Formula: see text] has characteristic zero, Boutot’s theorem implies that the invariant ring has rational singularities; when [Formula: see text] has positive characteristic, the invariant ring is [Formula: see text]-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for [Formula: see text] as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example, it readily yields the [Formula: see text]-invariant and information on the Hilbert series. Indeed, we use this to show that the [Formula: see text]-vector of the invariant ring for [Formula: see text] need not be unimodal.

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.

Representation of coxeter group and orthogonal group

The paper is primarily divided into two parts. The main focus of the first part is the construction of a representation of Coxeter groups. This begins with the definition of the Coxeter system and connected components, followed by the introduction of the length function and subsequent theorems. The faithfulness of this representation is then proven, allowing for the identification of isomorphisms that enable the final classification of finite Coxeter groups. This classification is achieved by leveraging the established relationship between irreducible representations of Coxeter groups and positive definite quadratic forms. Given the strong connection between Coxeter groups and orthogonal groups, the primary objective of the second part is to create a specific representation of orthogonal groups. This is accomplished through an examination of the decomposition of harmonic polynomials into subspaces of homogeneous harmonic polynomials, using the action of O(2) on these subspaces. The paper concludes by drawing connections to results in Invariant Theory, demonstrating the applicability of the presented concepts in a more general duality context.

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.

Orbits in lattices

Let L be a lattice. We exhibit algorithms for calculating Tits buildings and orbits of vectors in L for certain subgroups of the orthogonal group O(L). We discuss how these algorithms can be applied to determine the configuration of boundary components in the Baily-Borel compactification of orthogonal modular varieties and to improve the performance of computer arithmetic of orthogonal modular forms.

Characterising the Haar measure on the [formula omitted]-adic rotation groups via inverse limits of measure spaces

We determine the Haar measure on the compact p-adic special orthogonal groups of rotations SO(d)p in dimension d=2,3, by exploiting the machinery of inverse limits of measure spaces, for every prime p>2. We characterise the groups SO(d)p as inverse limits of finite groups, of which we provide parametrisations and orders, together with an equivalent description through a multivariable Hensel lifting. Supplying these finite groups with their normalised counting measures, we get an inverse family of Haar measure spaces for each SO(d)p. Finally, we constructively prove the existence of the so-called inverse limit measure of these inverse families, which is explicitly computable, and prove that it gives the Haar measure on SO(d)p. Our results pave the way towards the study of the irreducible projective unitary representations of the p-adic rotation groups, with potential applications to the recently proposed p-adic quantum information theory.

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.

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].