Wandering r-tuples for unitary systems

The properties of the set Wr(U) of all complete wandering r-tuples for a system U of unitary operators acting on a Hilbert space are investigated by parameterizing Wr(U) in terms of a fixed wandering r-tuple Ψ and the set of all unitary operators which locally commute with U at Ψ. The special case of greatest interest is the system 〈D,T〉 of dilation (by 2) and translation (by 1) unitary operators acting on L²(R), for which the complete wandering r-tuples are precisely the orthogonal multiwavelets with multiplicity r. We also give some examples for its application.     

Geometric interpretations of two branching theorems of D.E. Littlewood

D.E. Littlewood proved two branching theorems for decomposing the restriction of an irreducible finite-dimensional representation of a unitary group to a symmetric subgroup. One is for restriction of a representation of U(n) to the rotation group SO(n) when the given representation τ_λ of U(n) has nonnegative highest weight λ of depth n/2. It says that the multiplicity in τ_λ|_SO(n) of an irreducible representation of SO(n) of highest weight ν is the sum over μ of the multiplicities of τ_λ in the U(n) tensor product τ_μτ_ν, the allowable μ's being all even nonnegative highest weights for U(n). Littlewood's proof is character-theoretic. The present paper gives a geometric interpretation of this theorem involving the tensor products τ_μτ_ν explicitly. The geometric interpretation has an application to the construction of small infinite-dimensional unitary representations of indefinite orthogonal groups and, for each of these representations, to the determination of its restriction to a maximal compact subgroup. The other Littlewood branching theorem is for restriction from U(2r) to the rank-r quaternion unitary group Sp(r). It concerns nonnegative highest weights for U(2r) of depth r, and its statement is of the same general kind. The present paper finds an analogous geometric interpretation for this theorem also.     

The sum of unitary similarity orbits containing only special operators

Let B(H) be the algebra of bounded linear operator acting on a Hilbert space H (over the complex or real field). Characterization is given to A₁,…,A_k∈B(H) such that for any unitary operators is always in a special class S of operators such as normal operators, self-adjoint operators, unitary operators. As corollaries, characterizations are given to A∈B(H) such that complex, real or nonnegative linear combinations of operators in its unitary orbit U(A)={U^∗AU:Uunitary} always lie in S.     

The unitary group over the integers of an unramified local field

Let L be a lattice over the integers of a local field F which has a nontrivial involution. Then U⁺(L) (the subgroup of rotations of the unitary group U(L)) is generated by unitary transvections and quasitransvections contained in U⁺(L) (Theorem 7.8). Let g be a tableau. Then the mixed commutator subgroup of U⁺(L) and U(g) (the congruence subgroup of U⁺(L) corresponding to g) equals E(g) (the subgroup generated by unitary transvections and quasitransvections with orders contained in g) (Theorem 7.7). Finally, let G be a subgroup of U⁺(L) with _o(G) = g, then G is a normal subgroup of U⁺(L) if and only if U(g) G E(g).     

Unitary mappings between multiresolution analyses of L2 (R) and a parametrization of low-pass filters

This article provides classes of unitary operators of L²(R) contained in the commutant of the Shift operator, such that for any pair of multiresolution analyses of L²(R) there exists a unitary operator in one of these classes, which maps all the scaling functions of the first multiresolution analysis to scaling functions of the other. We use these unitary operators to provide an interesting class of scaling functions. We show that the Dai-Larson unitary parametrization of orthonormal wavelets is not suitable for the study of scaling functions. These operators give an interesting relation between low-pass filters corresponding to scaling functions, which is implemented by a special class of unitary operators acting on L²([−π, π)), which we characterize. Using this characterization we recapture Daubechies' orthonormal wavelets bypassing the spectral factorization process. Acknowledgements and Notes. Partially supported by NSF Grant DMS-9157512, and Linear Analysis and Probability Workshop, Texas A&M University Dedicated to the memory of Professor Emeritus Vassilis Metaxas.     

Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

Repeated Quantum Interactions and Unitary Random Walks

Among the discrete evolution equations describing a quantum system ℋ _S undergoing repeated quantum interactions with a chain of exterior systems, we study and characterize those which are directed by classical random variables in ℝ ^N . The characterization we obtain is entirely algebraical in terms of the unitary operator driving the elementary interaction. We show that the solutions of these equations are then random walks on the group U(ℋ₀) of unitary operators on ℋ₀.     

Terseness: Minimal idempotent generating sets for K(n,r)

Let n and r be positive integers with 1 < r < n and let K(n,r) consist of all transformations on X _n = {1,...,n} having image size less than or equal to r. For 1 < r < n, there exist rank-r elements of K(n,r) which are not the product of two rank-r idempotents. With this limitation in mind, we prove that for fixed r, and for all n large enough relative to r, that there exists a minimal idempotent generating set U of K(n,r) such that all rank-r elements of K(n,r) are contained in U ³. Moreover, for all n > r > 1, there exists a minimal idempotent generating set W for K(n,r) such that not every rank-r element is contained in W ³.     

Isometries of non-self-adjoint operator algebras

We study isometries of certain non-self-adjoint operator algebras by means of the structure of the complete holomorphic vector fields on their unit balls and the associated partial Jordan triple products. We show that isometries of nest sub-algebras of B(H) are of the form T UTW or T UJT^*JW, where U, W are suitable unitary operators and J a fixed involution of H.     

On Composition Factors of Finite Groups Having the Same Set of Element Orders as the Group U3(q)

We study the composition factors of a finite nonsolvable group having the same set of order elements as the simple unitary group U ₃(q) for an odd q. We prove in particular that for q>5 the (only) nonabelian composition factor of such a group is isomorphic to U ₃(q).     

On a criterion for the complete controllability of nonautonomous linear systems

We describe the controllability sets of linear nonautonomous systems ẋ = A(t)x + B(t)u, x ∈ ℝ ⁿ , u ∈ U ⊆ ℝ ^m , with entire matrix functions A(t) and B(t) and with a linear set U of control constraints. We derive a criterion for the complete controllability of these linear systems in terms of derivatives of the entire matrix functions A(t) and B(t) at zero. This complete controllability criterion is compared with the Kalman and Krasovskii criteria.     

On Lattice Structure of the Space of Pointwise Limits of Harmonic Functions

Let H¹(U) denote the space of all pointwise limits of bounded sequences from H(U), where H(U) consists of all continuous functions on the closure [`(U)]\overline{U} of a bounded open set U⊂ℝ^m that are harmonic on U. It is shown that the space H¹(U) is a lattice in the natural ordering if and only if the set ∂_regU of all regular points of U is an F_σ-set.     

The universality of the quantum Fourier transform in forming the basis of quantum computing algorithms

The quantum Fourier transform (QFT) is a powerful tool in quantum computing. The main ingredients of QFT are formed by the Walsh-Hadamard transform H and phase shifts P(·), both of which are 2×2 unitary matrices as operators on the two-dimensional 1-qubit space. In this paper, we show that H and P(·) suffice to generate the unitary group U(2) and, consequently, through controlled-U operations and their concatenations, the entire unitary group U(2ⁿ) on n qubits can be generated. Since any quantum computing algorithm in an n-qubit quantum computer is based on operations by matrices in U(2ⁿ), in this sense we have the universality of the QFT.     

M-structure in dual Banach spaces

A result previously known only for certain ordered Banach spaces is generalized to arbitrary real Banach spaces. Let ℒ be the Banach algebra of operators generated by theL-projections of a real Banach spaceU, and let ℳ (U ^* be the bounded operators on the dual spaceU ^* with adjoint in ℒ(U ^**. Then the adjoint operation maps ℒ (U) onto ℳ (U ^*). In particular, anyM-projection ofU ^* is weak^* continuous. Supported in part by the National Science Foundation.     

On the genus of generalized unit and unitary Cayley graphs of a commutative ring

Let R be a commutative ring, U(R) be the set of all unit elements of R, G be a multiplicative subgroup of U(R) and S be a non-empty subset of G such that S ^?1={s ^?1:?s∈S}?S. In [16], K. Khashyarmanesh et al. defined a graph of R, denoted by Γ(R,G,S), which generalizes both unit and unitary Cayley graphs of R. In this paper, we derive several bounds for the genus of Γ(R,U(R),S). Moreover, we characterize all commutative Artinian rings R for which the genus of Γ(R,U(R),S) is one. This leads to the characterization of all commutative Artinian rings whose unit and unitary Cayley graphs have genus one.     

A minimal area problem in conformal mapping II

LetS denote the usual class of functionsf holomorphic and univalent in the unit diskU. For 0<r<1 andr(1+r)⁻²<b<r(1−r)⁻², letS(r, b) be the subclass of functionsf∈S such that |f(r)|=b. In Theorem 1, we solve the problem of minimizing the Dirichlet integral inS(r, b). The first main ingredient of the solution is the establishment of sufficient regularity of the domains onto whichU is mapped by extremal functions, and here techniques of symmetrization and polarization play an essential role. The second main ingredient is the identification of all Jordan domains satisfying a certain kind of functional equation (called “quadrature identities”) which are encountered by applying variational techniques. These turn out to be conformal images ofU by mappings of a special form involving a logarithmic function. In Theorem 2, this aspect of our work is generalized to encompass analogous minimal area problem when a larger number of initial data are prescribed. The third author thanks for its hospitality the Mittag-Leffler Institute of Royal Swedish Academy of Sciences where this work was finalized. This author was supported in part by the Swedish Institute and by the Russian Fund for Fundamental Research, grant no. 97-01-00259.     

Linear operators preserving unitarily invariant norms of matrices

Let F _{m × n} be the set of all m × n matrices over the field F = C or R Denote by U_n (F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on F m ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F _m×n U ∈ U _m (F). and V ∈ U_n (F). We characterize those linear operators T F _{m × n} → F _{m × n} which satisfy N (T(A)) = N(A)for all A ∈ F _{m × n}

for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F _{m × n} To develop the theory we prove some results concerning unitary operators on F _{m × n} which are of independent interest.     

Some Properties of a Cayley Graph of a Commutative Ring

Let R be a commutative ring with unity and R ⁺, U(R), and Z*(R) be the additive group, the set of unit elements, and the set of all nonzero zero-divisors of R, respectively. We denote by ?𝔸𝕐(R) and G _R , the Cayley graph Cay(R ⁺, Z*(R)) and the unitary Cayley graph Cay(R ⁺, U(R)), respectively. For an Artinian ring R, Akhtar et al. (2009) studied G _R . In this article, we study ?𝔸𝕐(R) and determine the clique number, chromatic number, edge chromatic number, domination number, and the girth of ?𝔸𝕐(R). We also characterize all rings R whose ?𝔸𝕐(R) is planar. Moreover, we determine all finite rings R whose ?𝔸𝕐(R) is strongly regular. We prove that ?𝔸𝕐(R) is strongly regular if and only if it is edge transitive. As a consequence, we characterize all finite rings R for which G _R is a strongly regular graph.     

Local conjugacy theorem, rank theorems in advanced calculus and a generalized principle for constructing Banach manifolds

Applications of locally fine property for operators are further developed. LetE andF be Banach spaces andF:U(x ₀)⊂E→F be C¹ nonlinear map, whereU (x ₀) is an open set containing pointx ₀∈E. With the locally fine property for Frechet derivativesf′(x) and generalized rank theorem forf′(x), a local conjugacy theorem, i. e. a characteristic condition forf being conjugate tof′(x ₀) near x₀,is proved. This theorem gives a complete answer to the local conjugacy problem. Consequently, several rank theorems in advanced calculus are established, including a theorem for C¹ Fredholm map which has been so far unknown. Also with this property the concept of regular value is extended, which gives rise to a generalized principle for constructing Banach submanifolds.