Characterizations of perturbations of spectra of 2×2 upper triangular operator matrices

When $A\in B\left(H\right)$ and $B\in B\left(K\right)$ are given, we denote by $M_C$ the operator acting on the infinite dimensional separable Hilbert space $H\oplus K$ of the form $M_C=\left(\begin{array}{cc}\hfill A\hfill & \hfill C\hfill \\ \hfill 0\hfill & \hfill B\hfill \end{array}\right)$. In this paper, we first give some necessary and sufficient conditions for $M_C$ to be a left invertible operator (an upper semi-Weyl, upper semi-Fredholm) operator for some $C\in B(K,H)$, which extend the corresponding results in Cao et al. (2006) [4], Cao and Meng (2005) [5], Hwang and Lee (2001) [12] and Li and Du (2006) [15]. Then we present some counter-examples.     

The Geometry of 2 × 2 Systems of Conservation Laws

We consider one typical two-parameter family of quadratic systems of 2 × 2 conservation laws, and study the geometry of the behaviour of the possible solutions of the Riemann problem near an umbilic point, following the geometric approach presented by Isaacson, Marchesin, Palmeira, Plohr, in A global formalism for nonlinear waves in conservation laws, Commun. Math. Phys. (1992). The corresponding phase portraits for the rarefaction curves, shock curves and composite curves are discussed. Financial support from FCT and Calouste Gulbenkian Foundation.     

The Order of Hypersubstitutions of Type （2, 2）

Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to M-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an M-hyperidentity for a subset M of the set of all hypersubstitutions, the variety is called M-solid. There is a Galois connection between monoids of hypersubstitutions and sublattices of the lattice of all varieties of algebras of a given type. Therefore, it is interesting and useful to know how semigroup or monoid properties of monoids of hypersubstitutions transfer under this Galois connection to properties of the corresponding lattices of M-solid varieties. In this paper, we study the order of each hypersubstitution of type （2, 2）, i.e., the order of the cyclic subsemigroup generated by that hypersubstitution of the monoid of all hypersubstitutions of type （2, 2）. The main result is that the order is 1, 2, 3, 4 or infinite.     

Geometry of 2 × 2 hermitian matrices

LetD be a division ring which possesses an involution a → α . Assume that is a proper subfield ofD and is contained in the center ofD. It is pointed out that ifD is of characteristic not two, D is either a separable quadratic extension of F or a division ring of generalized quaternions over F and that if D is of characteristic two,D is a separable quadratic extension ofF. Thus the trace map Tr:D → F, a → a + a is always surjective, which is formerly posed as an assumption in the fundamental theorem of n×n hermitian matrices overD when n ≥ 3 and now can be deleted. WhenD is a field, the fundamental theorem of 2 × 2 hermitian matrices overD has already been proved. This paper proves the fundamental theorem of 2×2 hermitian matrices over any division ring of generalized quaternions of characteristic not two This research was completed during a visit to the Academy of Mathematics and System Sciences, Chinese Academy of Sciences.     

Some properties of Malgrange isomonodromic deformations of linear 2 × 2 systems

We study movable singularities of the Malgrange isomonodromic deformation of a linear differential 2 × 2 system with two irregular singularities of Poincaré rank 1 and with an arbitrary number of Fuchsian singular points.     

Defining Relations for the Algebra of Invariants of 2×2 Matrices

We obtain defining relations of the algebra of invariants of the classical subgroups of GL ₂(C) acting by simultaneous conjugation on m-tuples of 2×2 complex matrices. The sets of defining relations look uniformly for all m2 and are derived by translation of classical results on invariant theory of orthogonal groups in the language of 2×2 matrix invariants, combined with arguments of representation theory of the general linear group GL _m (C) and ideas coming from the theory of algebras with polynomial identities.     

Computation of the commutator of 2 × 2 matrices via five multiplications

Algorithms for computing the commutator AB ? BA of 2 × 2 matrices A and B are proposed that involve five multiplications.     

Perturbation of spectra for a class of 2×2 operator matrices

In this paper, we study the perturbation of spectra for 2 × 2 operator matrices such as M _X = ( _{0 B} ^{A X} ) and M _Z = ( _{Z B} ^{A C} ) on the Hilbert space H ?? K and the sets $\bigcap\limits_{X \in \mathcal{B}(K,H)} {P_\sigma (M_X )} ,\bigcap\limits_{X \in \mathcal{B}(K,H)} {R_\sigma (M_X )} $ and $\bigcap\limits_{Z \in \mathcal{B}(H,K)} {\sigma (M_Z )} ,\bigcap\limits_{Z \in \mathcal{B}(H,K)} {P_\sigma (M_Z )} ,\bigcap\limits_{Z \in \mathcal{B}(H,K)} {R_\sigma (M_Z )} ,\bigcap\limits_{Z \in \mathcal{B}(H,K)} {C_\sigma (M_Z )} $ , where R(C) is a closed subspace, are characterized     

The degrees of polynomial self-mappings of ℂ2

Two results on the degrees of polynomial mappings ²² are obtained.Translated fromMatematicheskie Zametki, Vol. 63, No. 4, pp. 527–534, April, 1998.     

The rank of a 2 × 2 × 2 tensor

As computing power increases, many more problems in engineering and data analysis involve computation with tensors, or multi-way data arrays. Most applications involve computing a decomposition of a tensor into a linear combination of rank-1 tensors. Ideally, the decomposition involves a minimal number of terms, i.e. computation of the rank of the tensor. Tensor rank is not a straight-forward extension of matrix rank. A constructive proof based on an eigenvalue criterion is provided that shows when a 2?×?2?×?2 tensor over ? is rank-3 and when it is rank-2. The results are extended to show that n?×?n?×?2 tensors over ? have maximum possible rank n?+?k where k is the number of complex conjugate eigenvalue pairs of the matrices forming the two faces of the tensor cube.     

Geometry of 2×2 Hermitian matrices II

Let Z be a field of characteristic ≠2, D be a quaternion division algebra over Z and have a nonstandard involution of the first kind. The fundamental theorem of geometry of 2× 2 Hermitian matrices over D are proved. Thus, if D is a quaternion division algebra over Z with an involution of the first kind, then the fundamental theorem of geometry of 2× 2 Hermitian matrices over D are obtained.     

On the classification of nonsingular 2×2×2×2 hypercubes

As a first step in the classification of nonsingular 2×2×2×2 hypercubes up to equivalence, we resolve the case where the base field is finite and the hypercubes can be written as a product of two 2×2×2 hypercubes. (Nonsingular hypercubes were introduced by D. Knuth in the context of semifields. Where semifields are related to hypercubes of dimension 3, this paper considers the next case, i.e., hypercubes of dimension 4.) We define the notion of ij-rank (with 1 ≤ i < j ≤ 4) and prove that a hypercube is the product of two 2×2×2 hypercubes if and only if its 12-rank is at most 2. We derive a ‘standard form’ for nonsingular 2×2×2×2 hypercubes of 12-rank less than 4 as a first step in the classification of such hypercubes up to equivalence. Our main result states that the equivalence class of a nonsingular 2×2×2×2 hypercube M of 12-rank 2 depends only on the value of an invariant δ ₀(M) which derives in a natural way from the Cayley hyperdeterminant det₀ M and another polynomial invariant det M of degree 4. As a corollary we prove that the number of equivalence classes is (q + 1)/2 or q/2 depending on whether the order q of the field is odd or even.     

Isomorphism classes of hyperelliptic curves of genus 2 over finite fields with characteristic 2

In this paper we study the computation of the number of isomorphism classes of hyperelliptic curves of genus 2 over finite fields Fq with q even. We show the formula of the number of isomorphism classes, that is, for q = 2m, if 4 m, then the formula is 2q3 q2 - q; if 4 | m, then the formula is 2q3 q2 - q 8. These results can be used in the classification problems and the hyperelliptic curve cryptosystems.     

Addendum to “The Structure of Groups of Order 2^3p^2

Tbe present paper is a complement to the paper [1]. It is proved that groups of order 2^37^2 have 44 types.     

Limiting-type theorem for conditional distributions of products of independent unimodular 2×2 matrices

We consider a random process which is some version of the Brownian bridge in the space SL(2,R). Under simplifying assumptions we show that the increments of this process increase as t as in the case of the usual Brownian motion in the Euclidean space. The main results describe the limiting distribution for properly normed increments.     

Finiteness property of pairs of 2×2 sign-matrices via real extremal polytope norms

This paper deals with the joint spectral radius of a finite set of matrices. We say that a set of matrices has the finiteness property if the maximal rate of growth, in the multiplicative semigroup it generates, is given by the powers of a finite product.Here we address the problem of establishing the finiteness property of pairs of $2\times 2$ sign-matrices. Such problem is related to the conjecture that pairs of sign-matrices fulfil the finiteness property for any dimension. This would imply, by a recent result by Blondel and Jungers, that finite sets of rational matrices fulfil the finiteness property, which would be very important in terms of the computation of the joint spectral radius. The technique used in this paper could suggest an extension of the analysis to $n\times n$ sign-matrices, which still remains an open problem.As a main tool of our proof we make use of a procedure to find a so-called real extremal polytope norm for the set. In particular, we present an algorithm which, under some suitable assumptions, is able to check if a certain product in the multiplicative semigroup is spectrum maximizing.For pairs of sign-matrices we develop the computations exactly and hence are able to prove analytically the finiteness property. On the other hand, the algorithm can be used in a floating point arithmetic and provide a general tool for approximating the joint spectral radius of a set of matrices.     

2 × 2 Permanental Ideals of Hypermatrices

We analyze the structure of ideals generated by some classes of 2 × 2 permanents of hypermatrices, generalizing [9 Laubenbacher , R. C. , Swanson , I. ( 2000 ). Permanental ideals . J. Symbolic Comput. 30 : 195 – 205 .[Crossref], [Web of Science ®] , [Google Scholar]] on 2 × 2 permanental ideals of generic matrices. We compare the obtained structure to that of the corresponding determinantal ideals in [11 Swanson , I. , Taylor , A. ( 2013 ). Minimal primes of ideals arising from conditional independence statements . J. Algebra 392 : 299 – 314 .[Crossref], [Web of Science ®] , [Google Scholar]]: as expected, the permanental ideals have many more (minimal) components. In the last two sections, we examine a few related classes of permanental ideals.     

Classification of simple sℓ(2)-Modules and finite-dimensionality of the module of extensions of simple sℓ(2)-modules

A classification of simple s (2)-modules is carried out, and the finite-dimensionality of Ext_s(2)(M), where M and N are simple s(2)-modules is established.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 9, pp. 1174–1180, September, 1990.