Inverse unitary eigenproblems and related orthogonal functions

Summary. This paper explores the relationship between certain inverse unitary eigenvalue problems and orthogonal functions. In particular, the inverse eigenvalue problems for unitary Hessenberg matrices and for Schur parameter pencils are considered. The Szeg? recursion is known to be identical to the Arnoldi process and can be seen as an algorithm for solving an inverse unitary Hessenberg eigenvalue problem. Reformulation of this inverse unitary Hessenberg eigenvalue problem yields an inverse eigenvalue problem for Schur parameter pencils. It is shown that solving this inverse eigenvalue problem is equivalent to computing Laurent polynomials orthogonal on the unit circle. Efficient and reliable algorithms for solving the inverse unitary eigenvalue problems are given which require only O() arithmetic operations as compared with O() operations needed for algorithms that ignore the structure of the problem. Received April 3, 1995 / Revised version received August 29, 1996     

Asymptotics of unitary and orthogonal matrix integrals

In this paper, we prove that in small parameter regions, arbitrary unitary matrix integrals converge in the large N limit and match their formal expansion. Secondly we give a combinatorial model for our matrix integral asymptotics and investigate examples related to free probability and the HCIZ integral. Our convergence result also leads us to new results of smoothness of microstates. We finally generalize our approach to integrals over the orthogonal group.     

The fundamental coupling constants of physics in connection with the dimension of the special orthogonal and unitary groups

In this work, we show the connection between the coupling constants and the dimensions of special orthogonal and unitary groups. A derivation of the exact theoretical value of the fine structure constant from groups SU(3), SO(9) and the Betti number is found.     

Arrangements in unitary and orthogonal geometry over finite fields

Let V be an n-dimensional vector space over F_q. Let Φ be a Hermitian form with respect to an automorphism σ with σ² = 1. If σ = 1 assume that q is odd. Let $\text{A}$ be the arrangement of hyperplanes of V which are non-isotropic with respect to Φ, and let L be the intersection lattice of $\text{A}$. We prove that the characteristic polynomial of L has n ? v roots 1, q,…, q^{n ? v? 1} where v is the Witt index of Φ.     

Generalized isometries of the special unitary group

In this paper we determine the structure of all so-called generalized isometries of the special unitary group which are transformations that respect any member of a large collection of generalized distance measures.     

Representations of orthogonal and unitary groups and nuclear models

The foundations of the microscopic theory of the nucleus is expounded based on operator series whose first terms determine the model Hamiltonians. A formulation of the question is given and special features are discussed for the many-body problem in multiparticle quantum systems and anticollective effects of irreducible representations of unitary groups in the derivation of the Hamiltonians of exactly solvable models with strong, bounded dynamics. Traditional and nontraditional approaches to the many-body problem in the theory of the nucleus are compared.Translated from Itogi Nauki i Tekhniki, Seriya Matematicheskii Analiz, Vol. 22, pp. 3–35, 1984.     

A divide and conquer method for unitary and orthogonal eigenproblems

Summary LetH ^{n xn} be a unitary upper Hessenberg matrix whose eigenvalues, and possibly also eigenvectors, are to be determined. We describe how this eigenproblem can be solved by a divide and conquer method, in which the matrixH is split into two smaller unitary upper Hessenberg matricesH ₁ andH ₂ by a rank-one modification ofH. The eigenproblems forH ₁ andH ₂ can be solved independently, and the solutions of these smaller eigenproblems define a rational function, whose zeros on the unit circle are the eigenvalues ofH. The eigenvector ofH can be determined from the eigenvalues ofH and the eigenvectors ofH ₁ andH ₂. The outlined splitting of unitary upper Hessenberg matrices into smaller such matrices is carried out recursively. This gives rise to a divide and conquer method that is suitable for implementation on a parallel computer.WhenH ^{n xn} is orthogonal, the divide and conquer scheme simplifies and is described separately. Our interest in the orthogonal eigenproblem stems from applications in signal processing. Numerical examples for the orthogonal eigenproblem conclude the paper.Research supported in part by the NSF under Grant DMS-8704196 and by funds administered by the Naval Postgraduate School Research Council     

Commutativity in special unitary groups at odd primes

It is a classical result by Bott that SU(s) and SU(t) homotopy commute in SU(n) if and only if s+t?n. We consider the p-localization analog of this problem and give an answer at odd primes.     

Nilpotent orbits and some small unitary representations of indefinite orthogonal groups

For 2?m?l/2, let G be a simply connected Lie group with as Lie algebra, let be the complexification of the usual Cartan decomposition, let K be the analytic subgroup with Lie algebra , and let be the universal enveloping algebra of . This work examines the unitarity and K spectrum of representations in the “analytic continuation” of discrete series of G, relating these properties to orbits in the nilpotent radical of a certain parabolic subalgebra of .The roots with respect to the usual compact Cartan subalgebra are all ±e_i±e_j with 1?i<j?l. In the usual positive system of roots, the simple root e_m−e_m+1 is noncompact and the other simple roots are compact. Let be the parabolic subalgebra of for which e_m−e_m+1 contributes to and the other simple roots contribute to , let L be the analytic subgroup of G with Lie algebra , let , let be the sum of the roots contributing to , and let be the parabolic subalgebra opposite to .The members of are nilpotent members of . The group acts on with finitely many orbits, and the topological closure of each orbit is an irreducible algebraic variety. If Y is one of these varieties, let R(Y) be the dual coordinate ring of Y; this is a quotient of the algebra of symmetric tensors on that carries a fully reducible representation of .For , let . Then λ_s defines a one-dimensional module . Extend this to a module by having act by 0, and define . Let be the unique irreducible quotient of . The representations under study are and , where and Π_S is the Sth derived Bernstein functor.For s>2l−2, it is known that π_s=π_s′ and that π_s′ is in the discrete series. Enright, Parthsarathy, Wallach, and Wolf showed for m?s?2l−2 that π_s=π_s′ and that π_s′ is still unitary. The present paper shows that π_s′ is unitary for 0?s?m−1 even though π_s≠π_s′, and it relates the K spectrum of the representations π_s′ to the representation of on a suitable R(Y) with Y depending on s. Use of a branching formula of D. E. Littlewood allows one to obtain an explicit multiplicity formula for each K type in π_s′; the variety Y is indispensable in the proof. The chief tools involved are an idea of B. Gross and Wallach, a geometric interpretation of Littlewood's theorem, and some estimates of norms.It is shown further that the natural invariant Hermitian form on π_s′ does not make π_s′ unitary for s<0 and that the K spectrum of π_s′ in these cases is not related in the above way to the representation of on any R(Y).A final section of the paper treats in similar fashion the simply connected Lie group with Lie algebra , 2?m?l/2.     

Homology of gauge groups associated with special unitary groups

We study the homology of gauge groups associated with principal SU(n) bundles over the four-sphere. After computing the mod p homology of based gauge groups of SU(n) by combined use of the Serre spectral sequence and the Eilenberg-Moore spectral sequence, we compute the modp homology of gauge groups of SU(n) using the Serre spectral sequence for the evaluation fibration.     

Symmetric designs and four dimensional projective special unitary groups

In this article, we study symmetric $(v,k,\lambda )$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle is ${\mathrm{PSU}}_4\left(q\right)$. We prove that there exist eight non-isomorphic such designs for which $\lambda \in \{3,6,18\}$ and $G$ is either ${\mathrm{PSU}}_4\left(2\right)$, or ${\mathrm{PSU}}_4\left(2\right):2$.     

The special orthogonal group is trireflectional

Let K be a field of even characteristic, V a finite-dimensional vector space over K, and SO(V) the special orthogonal group. Then SO(V) is trireflectional, provided dim V > 2 and SO(V) O⁺ (4, 2). Received: 4 February 2003     

Pure quantitative characterization of finite projective special unitary groups

We prove that each projective special unitary group G can be characterized using only the set of element orders of G and the order of G.     

Eigenvalue perturbation theory of symplectic,orthogonal, and unitary matrices under generic structured rank one perturbations

We study the perturbation theory of structured matrices under structured rank one perturbations, with emphasis on matrices that are unitary, orthogonal, or symplectic with respect to an indefinite inner product. The rank one perturbations are not necessarily of arbitrary small size (in the sense of norm). In the case of sesquilinear forms, results on selfadjoint matrices can be applied to unitary matrices by using the Cayley transformation, but in the case of real or complex symmetric or skew-symmetric bilinear forms additional considerations are necessary. For complex symplectic matrices, it turns out that generically (with respect to the perturbations) the behavior of the Jordan form of the perturbed matrix follows the pattern established earlier for unstructured matrices and their unstructured perturbations, provided the specific properties of the Jordan form of complex symplectic matrices are accounted for. For instance, the number of Jordan blocks of fixed odd size corresponding to the eigenvalue 1 or ?1 have to be even. For complex orthogonal matrices, it is shown that the behavior of the Jordan structures corresponding to the original eigenvalues that are not moved by perturbations follows again the pattern established earlier for unstructured matrices, taking into account the specifics of Jordan forms of complex orthogonal matrices. The proofs are based on general results developed in the paper concerning Jordan forms of structured matrices (which include in particular the classes of orthogonal and symplectic matrices) under structured rank one perturbations. These results are presented and proved in the framework of real as well as of complex matrices.