On the Kronecker Problem and related problems of Linear Algebra

We consider some classification problems of Linear Algebra related closely to the classical Kronecker Problem on pairs of linear maps between two finite-dimensional vector spaces. As shown by Djokovi? and Sergeichuk, the Kronecker’s solution is extended to the cases of pairs of semilinear maps and (more generally) pseudolinear bundles respectively. Our objective is to deal with the semilinear case of the Kronecker Problem, especially with its applications. It is given a new short solution both to this case and to its contragredient variant. The biquadratic matrix problem is investigated and reduced in the homogeneous case (in characteristic ≠2) to the semilinear Kronecker Problem. The integer matrix sequence Θ_n and Θ-transformation of polynomials are introduced and studied to get a simplified canonical form of indecomposables for the mentioned homogeneous problem. Some applications to the representation theory of posets with additional structures are presented.     

Explicit solution of the row completion problem for matrix pencils

In this paper we give new, explicit and simplified conditions for the problem of determining the possible strict equivalence class of a pencil with prescribed rows (columns). This improves the result from [1] and solves an important particular case of the challenge problem posed by Loiseau et al. [7]. All results that we present are obtained over arbitrary fields.     

Line-bundle-valued ternary quadratic forms over schemes

We study degenerations of rank 3 quadratic forms and of rank 4 Azumaya algebras, and extend what is known for good forms and Azumaya algebras. By considering line-bundle-valued forms, we extend the theorem of Max-Albert Knus that the Witt-invariant—the even Clifford algebra of a form—suffices for classification. An algebra Zariski-locally the even Clifford algebra of a ternary form is so globally up to twisting by square roots of line bundles. The general, usual and special orthogonal groups of a form are determined in terms of automorphism groups of its Witt-invariant. Martin Kneser’s characteristic-free notion of semiregular form is used.     

Pairs of quadratic forms over a quadratic field extension

Let F be a field of characteristic distinct from 2, $L=F(\sqrt{d})$ a quadratic field extension. Let further f and g be quadratic forms over L considered as polynomials in n variables, $M_f$, $M_g$ their matrices. We say that the pair $(f,g)$ is a k-pair if there exist $S\in G{L}_n(L)$ such that all the entries of the $k\times k$ upper-left corner of the matrices $S{M}_f{S}^t$ and $S{M}_g{S}^t$ are in F. We give certain criteria to determine whether a given pair $(f,g)$ is a k-pair. We consider the transfer ${\mathrm{cor}}_{L(t)/F(t)}$ determined by the $F(t)$-linear map $s:L(t)\to F(t)$ with $s(1)=0$, $s(\sqrt{d})=1$, and prove that if $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a $[\frac{k+1}{2}]$-pair. If, additionally, the form $f+tg$ does not have a totally isotropic subspace of dimension $p+1$ over $L(t)$, we show that $(f,g)$ is a $(k?2p)$-pair. In particular, if the form $f+tg$ is anisotropic, and $\dim {\mathrm{cor}}_{L(t)/F(t)}{(f+tg)}_{an}\le 2(n?k)$, then $(f,g)$ is a k-pair.     

The eigenvalue field is a splitting field

Let K be an algebraically closed field of arbitrary characteristic and F < K a subfield. If is an irreducible semigroup of matrices such that the spectra of all the elements of are contained in F, then is conjugate to a subsemigroup of M _n (F). Research supported in part by the Ministry of Higher Education, Science, and Technology of Slovenia. Received: 6 April 2006     

Mesh geometries of root orbits of integral quadratic forms

Integral quadratic forms q:Zⁿ→Z, with n≥1, and the sets R_q(d)={v∈Zⁿ;q(v)=d}, with d∈Z, of their integral roots are studied by means of mesh translation quivers defined by Z-bilinear morsifications b_A:Zⁿ×Zⁿ→Z of q, with Z-regular matrices A∈M_n(Z). Mesh geometries of roots of positive definite quadratic forms q:Zⁿ→Z are studied in connection with root mesh quivers of forms associated to Dynkin diagrams A_n,D_n,E₆,E₇,E₈ and the Auslander-Reiten quivers of the derived category D^b(R) of path algebras R=KQ of Dynkin quivers Q. We introduce the concepts of a Z-morsification b_A of a quadratic form q, a weighted Φ_A-mesh of vectors in Zⁿ, and a weighted Φ_A-mesh orbit translation quiver Γ(R_q,Φ_A) of vectors in Zⁿ, where R_q?R_q(1) and Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. The existence of mesh geometries on R_q is discussed. It is shown that, under some assumptions on the morsification b_A:Zⁿ×Zⁿ→Z, the set admit a Φ_A-orbit mesh quiver , where Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. Moreover, splits into three infinite connected components , , and , where are isomorphic to a translation quiver Z⋅Δ, with Δ an extended Dynkin quiver, and has the shape of a sand-glass tube.     

Canonical matrices of isometric operators on indefinite inner product spaces

We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases:

•

F is an algebraically closed field of characteristic different from 2 or a real closed field, and B is symmetric or skew-symmetric;

•

F is an algebraically closed field of characteristic 0 or the skew field of quaternions over a real closed field, and B is Hermitian or skew-Hermitian with respect to any nonidentity involution on F.

These classification problems are wild if B may be degenerate. We use a method that admits to reduce the problem of classifying an arbitrary system of forms and linear mappings to the problem of classifying representations of some quiver. This method was described in [V.V. Sergeichuk, Classification problems for systems of forms and linear mappings, Math. USSR-Izv. 31 (3) (1988) 481-501].     

Relative position of four subspaces in a Hilbert space

We study the relative position of several subspaces in a separable infinite-dimensional Hilbert space. In finite-dimensional case, Gelfand and Ponomarev gave a complete classification of indecomposable systems of four subspaces. We construct exotic examples of indecomposable systems of four subspaces in infinite-dimensional Hilbert spaces. We extend their Coxeter functors and defect using Fredholm index. The relative position of subspaces has close connections with strongly irreducible operators and transitive lattices. There exists a relation between the defect and the Jones index in a type II₁ factor setting.     

A matrix pencil approach to the existence of compactly supported reconstruction functions in average sampling

The aim of this work is to solve a question raised for average sampling in shift-invariant spaces by using the well-known matrix pencil theory. In many common situations in sampling theory, the available data are samples of some convolution operator acting on the function itself: this leads to the problem of average sampling, also known as generalized sampling. In this paper we deal with the existence of a sampling formula involving these samples and having reconstruction functions with compact support. Thus, low computational complexity is involved and truncation errors are avoided. In practice, it is accomplished by means of a FIR filter bank. An answer is given in the light of the generalized sampling theory by using the oversampling technique: more samples than strictly necessary are used. The original problem reduces to finding a polynomial left inverse of a polynomial matrix intimately related to the sampling problem which, for a suitable choice of the sampling period, becomes a matrix pencil. This matrix pencil approach allows us to obtain a practical method for computing the compactly supported reconstruction functions for the important case where the oversampling rate is minimum. Moreover, the optimality of the obtained solution is established.     

Exotic Indecomposable Systems of Four Subspaces in a Hilbert Space

We study the relative position of four (closed) subspaces in a Hilbert space. For any positive integer n, we give an example of exotic indecomposable system of four subspaces in a Hilbert space whose defect is . By an exotic system, we mean a system which is not isomorphic to any closed operator system under any permutation of subspaces. We construct the examples using certain nice sequences construced by Jiang and Wang in their study of strongly irreducible operators. Dedicated to Professor Masahiro Nakamura on his 88th birthday     

On the quadratic two-parameter eigenvalue problem and its linearization

We introduce the quadratic two-parameter eigenvalue problem and linearize it as a singular two-parameter eigenvalue problem. This, together with an example from model updating, shows the need for numerical methods for singular two-parameter eigenvalue problems and for a better understanding of such problems.There are various numerical methods for two-parameter eigenvalue problems, but only few for nonsingular ones. We present a method that can be applied to singular two-parameter eigenvalue problems including the linearization of the quadratic two-parameter eigenvalue problem. It is based on the staircase algorithm for the extraction of the common regular part of two singular matrix pencils.     

On copowers of an ordered skew field

It is shown that the double of an ordered skew fieldE over a subfieldK, which is its own bicentralizer, can again be ordered, and a corresponding result for groups is deduced.     

The Kaplansky radical of a quadratic field extension

The radical of a field consists of all nonzero elements that are represented by every binary quadratic form representing 1. Here, the radical is studied in relation to local–global principles, and further in its behavior under quadratic field extensions. In particular, an example of a quadratic field extension is constructed where the natural analogue to the square-class exact sequence for the radical fails to be exact. This disproves a conjecture of Kijima and Nishi.     

The quadratic moment problem for the unit circle and unit disk

For the quadratic complex moment problem , we obtain necessary and sufficient conditions for the existence of representing measures supported in the unit circleT or in the closed unit disk . We explicitly construct all finitely atomic representing measures supported inT or which have the fewest atoms possible. For the quadratic -moment problem in which the moment matrixM(1) is positive and invertible, there exists an ellipse D such that the minimal (3-atomic) representing measures are supported in the complement of the interior region of . Finally, we apply these results to obtain information on the location of the zeros of certain cubic polynomials.Dedicated to the memory of Velaho D. Bowman-FialkowBoth authors were partially supported by research grants from the National Science Foundation. The second-named author was also partially supported by an award from the State of New York/UUP Professional Development and Quality of Working Life Committee.     

Direct-sum cancellation for modules over real quadratic orders

Let R be an order in a real quadratic number field. We say that R has mixed cancellation, respectively, torsion-free cancellation if

L⊕M≅L⊕N⇒M≅N     

Bounds for a multivariate extension of range over standard deviation based on the Mahalanobis distance

The range over standard deviation of a set of univariate data points is given a natural multivariate extension through the Mahalanobis distance. The problem of finding extrema of this multivariate extension of “range over standard deviation” is investigated. The supremum (maximum) is found using Lagrangian methods and an interval is given for the infinimum. The independence of optimizing the Mahalanobis distance and the multivariate extension of range is demonstrated and connections are explored in several examples using an analogue of the “hat” matrix of linear regression.     

Ω-compact semigroups having congruence extension property

The congruence extension property (CEP) of semigroups has been extensively studied by a number of authors. We call a compact semigroup S an Ω-compact semigroup if the set of all regular elements of S forms an ideal of S. In this note, we characterize the Ω-compact semigroup having (CEP). Our result extends a recent result obtained by X.J. Guo on the congruence extension property of strong Ω-compact semigroups which is a semigroup containing precisely one regular D-class.     

Determinant of a matrix that commutes with a Jordan matrix

Given a Jordan matrix J, we obtain an explicit formula for the determinant of any matrix T that commutes with it.     

Singular systems, state feedback problem

In this paper the problem of Kronecker invariants assignment by state feedback in singular linear systems is studied and resolved. This result presents a generalization of the previous results of state feedback action on singular systems.