Wyoming Space Grant Consortium

WyoScholar Institutional Repository (University of Wyoming)
Not a member yet
    6751 research outputs found

    On the Block Structure and Frobenius Normal Form of Powers of Matrices

    No full text
    The Frobenius normal form of a matrix is an important tool in analyzing its properties. When a matrix is powered up, the Frobenius normal form of the original matrix and that of its powers need not be the same. In this article, conditions on a matrix AA and the power qq are provided so that for any invertible matrix SS, if S1AqSS^{-1}A^qS is block upper triangular, then so is S1ASS^{-1}AS when partitioned conformably. The result is established for general matrices over any field. It is also observed that the contributions of the index of cyclicity to the spectral properties of a matrix hold over any field. The article concludes by applying the block upper triangular powers result to the cone Frobenius normal form of powers of a eventually cone nonnegative matrix

    The cone of Z-transformations on Lorentz cone

    No full text
    In this paper, the structural properties of the cone of \calz-transformations on the Lorentz cone are described in terms of the semidefinite cone and copositive/completely positive cones induced by the Lorentz cone and its boundary. In particular, its dual is described as a slice of the semidefinite cone as well as a slice of the completely positive cone of the Lorentz cone. This provides an example of an instance where a conic linear program on a completely positive cone is reduced to a problem on the semidefinite cone

    AE Regularity of Interval Matrices

    No full text
    Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by ∀∃- quantification. The paper deals with the problem of what properties must the coefficient matrix have in order that there is guaranteed an existence of an AE solution. Based on this motivation, a concept of AE regularity is introduced, which implies that the AE solution set is nonempty and the system is AE solvable for every right-hand side. A characterization of AE regularity is discussed, and also various classes of matrices that are implicitly AE regular are investigated. Some of these classes are polynomially decidable, and therefore give an efficient way for checking AE regularity. Eventually, there are also stated open problems related to computational complexity and characterization of AE regularity

    Potentially Eventually Positive 2-generalized Star Sign Patterns

    No full text
    A sign pattern is a matrix whose entries belong to the set {+,,0}\{+, -, 0\}. An nn-by-nn sign pattern A\mathcal{A} is said to be potentially eventually positive if there exists at least one real matrix AA with the same sign pattern as A\mathcal{A} and a positive integer k0k_{0} such that Ak3˘e0A^{k}\u3e0 for all kk0k\geq k_{0}. An nn-by-nn sign pattern A\mathcal{A} is said to be potentially eventually exponentially positive if there exists at least one real matrix AA with the same sign pattern as A\mathcal{A} and a nonnegative integer t0t_{0} such that etA=k=0tkAkk!3˘e0e^{tA}=\sum_{k=0}^{\infty}\frac{t^{k}A^{k}}{k!}\u3e0 for all tt0t\geq t_{0}. Identifying necessary and sufficient conditions for an nn-by-nn sign pattern to be potentially eventually positive (respectively, potentially eventually exponentially positive), and classifying these sign patterns are open problems. In this article, the potential eventual positivity of the 22-generalized star sign patterns is investigated. All the minimal potentially eventually positive 22-generalized star sign patterns are identified. Consequently, all the potentially eventually positive 22-generalized star sign patterns are classified. As an application, all the minimal potentially eventually exponentially positive 22-generalized star sign patterns are identified. Consequently, all the potentially eventually exponentially positive 22-generalized star sign patterns are classified

    Eigenvalue continuity and Gersgorin\u27s theorem

    No full text
    Two types of eigenvalue continuity are commonly used in the literature. However, their meanings and the conditions under which continuities are used are not always stated clearly. This can lead to some confusion and needs to be addressed. In this note, the Ger\v{s}gorin disk theorem is revisited and the issue concerning the proofs of the theorem by continuity is clarified

    Solution of symmetric positive semidefinite Procrustes problem

    No full text
    In this paper, the symmetric positive semidefinite Procrustes problem is considered. By using matrix inner product and matrix decomposition theory, an explicit expression of the solution is given. Based on the explicit expression given in this paper, it is easy to derive the explicit expression of the solution given by Woodgate [K.G. Woodgate. Least-squares solution of F=PGF = PG over positive semidefinite symmetric PP. {\em Linear Algebra Appl.}, 245:171--190, 1996.] and by Liao [A.P. Liao. On the least squares problem of a matrix equation. {\em J. Comput. Math.}, 17:589--594, 1999.] for the Procrustes problem in some special cases. The explicit expression given in this paper also shows that the solution of the special inverse eigenvalue problem considered by Zhang [L. Zhang. A class of inverse eigenvalue problem for symmetric nonnegative definite matrices. {\em J. Hunan Educational Inst.}, 2:11--17, 1995 (in Chinese).] can be computed exactly. Examples to illustrate the correctness of the theory results are given

    Absolutely compatible pairs in a von Neumann algebra

    No full text
    Let a,ba,b be elements in a unital C^*-algebra with 0a,bI0\leq a,b\leq I. The element aa is absolutely compatible with bb if ab+Iab=I.\vert a - b \vert + \vert I - a - b \vert = I. In this note, some technical characterizations of absolutely compatible pairs in an arbitrary von Neumann algebra are found. These characterizations are applied to measure how far are two absolute compatible positive elements in the closed unit ball from being mutually orthogonal or commuting. In the case of 2 by 2 matrices, the results admit a geometric interpretation. Namely, non-commutative matrices of the form a=(t2˘6ααˉ2˘61t)a = \left( \begin{array}{cc} t \u26 \alpha\\ \bar{\alpha} \u26 1 - t \end{array}\right) and b=(x2˘6ββ2˘61x)b = \left( \begin{array}{cc} x \u26 \beta \\ \overline{\beta} \u26 1 - x \end{array} \right) with x,t(0,1)\{12},x,t\in (0,1)\backslash \{\frac12\}, $|\alpha|^

    m-nil-clean Companion Matrices

    No full text
    Companion matrices over fields of positive characteristic, pp, that are sums of mm idempotents, m2,m\geq 2, and a nilpotent are characterized in terms of dimension and trace of such a matrix and of $p.

    Brauer\u27s theorem and nonnegative matrices with prescribed diagonal entries

    No full text
    The problem of the existence and construction of nonnegative matrices with prescribed eigenvalues and diagonal entries is an important inverse problem, interesting by itself, but also necessary to apply a perturbation result, which has played an important role in the study of certain nonnegative inverse spectral problems. A number of partial results about the problem have been published by several authors, mainly by H. \v{S}migoc. In this paper, the relevance of a Brauer\u27s result, and its implication for the nonnegative inverse eigenvalue problem with prescribed diagonal entries is emphasized. As a consequence, given a list of complex numbers of \v{S}migoc type, or a list Λ={λ1,,λn}\Lambda = \left\{\lambda _{1},\ldots ,\lambda _{n} \right \} with Reλi0,\operatorname{Re}\lambda _{i}\leq 0, λ1i=2nλi\lambda _{1}\geq -\sum\limits_{i=2}^{n}\lambda _{i}, and {i=2nλi,λ2,,λn}\left\{-\sum\limits_{i=2}^{n}\lambda _{i},\lambda _{2},\ldots ,\lambda _{n} \right\} being realizable; and given a list of nonnegative real numbers % \Gamma = \left\{\gamma _{1},\ldots ,\gamma _{n} \right\}, the remarkably simple condition γ1++γn=λ1++λn\gamma _{1}+\cdots +\gamma _{n} = \lambda _{1}+\cdots +\lambda _{n} is necessary and sufficient for the existence and construction of a realizing matrix with diagonal entries Γ.\Gamma . Conditions for more general lists of complex numbers are also given

    Blockchain Challenges Traditional Contract Law: Just How Smart Are Smart Contracts?

    No full text

    0

    full texts

    6,751

    metadata records
    Updated in last 30 days.
    WyoScholar Institutional Repository (University of Wyoming)
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇