Wyoming Scholars RepositoryCopyright (c) 2019 University of Wyoming All rights reserved.
https://repository.uwyo.edu
Recent documents in Wyoming Scholars Repositoryen-usTue, 23 Jul 2019 02:49:59 PDT3600Matrix Shanks Transformations
https://repository.uwyo.edu/ela/vol35/iss1/15
https://repository.uwyo.edu/ela/vol35/iss1/15Mon, 01 Jul 2019 12:54:34 PDT
Shanks' transformation is a well know sequence transformation for accelerating the convergence of scalar sequences. It has been extended to the case of sequences of vectors and sequences of square matrices satisfying a linear difference equation with scalar coefficients. In this paper, a more general extension to the matrix case where the matrices can be rectangular and satisfy a difference equation with matrix coefficients is proposed and studied. In the particular case of square matrices, the new transformation can be recursively implemented by the matrix $\varepsilon$-algorithm of Wynn. Then, the transformation is related to matrix Pad\'{e}-type and Pad\'{e} approximants. Numerical experiments showing the interest of this transformation end the paper.
]]>
Claude Brezinski et al.Non-sparse Companion Matrices
https://repository.uwyo.edu/ela/vol35/iss1/14
https://repository.uwyo.edu/ela/vol35/iss1/14Mon, 01 Jul 2019 12:54:21 PDT
Given a polynomial $p(z)$, a companion matrix can be thought of as a simple template for placing the coefficients of $p(z)$ in a matrix such that the characteristic polynomial is $p(z)$. The Frobenius companion and the more recently-discovered Fiedler companion matrices are examples. Both the Frobenius and Fiedler companion matrices have the maximum possible number of zero entries, and in that sense are sparse. In this paper, companion matrices are explored that are not sparse. Some constructions of non-sparse companion matrices are provided, and properties that all companion matrices must exhibit are given. For example, it is shown that every companion matrix realization is non-derogatory. Bounds on the minimum number of zeros that must appear in a companion matrix, are also given.
]]>
Louis Deaett et al.Block GLT Sequences: Matrix Functions and Engineering Application
https://repository.uwyo.edu/ela/vol35/iss1/13
https://repository.uwyo.edu/ela/vol35/iss1/13Tue, 28 May 2019 15:29:25 PDT
The theory of block generalized locally Toeplitz (GLT) sequences is a powerful apparatus for computing the spectral distribution of block-structured matrices arising from the discretization of differential problems, with a special reference to systems of differential equations (DEs) and to the higher-order finite element or discontinuous Galerkin approximation of both scalar and vectorial DEs. In the present paper, the theory of block GLT sequences is extended by proving that $\{f(A_n)\}_n$ is a block GLT sequence as long as $f$ is continuous and $\{A_n\}_n$ is a block GLT sequence formed by Hermitian matrices. It is also provided a relevant application of this result to the computation of the distribution of the numerical eigenvalues obtained from the higher-order isogeometric Galerkin discretization of second-order variable-coefficient differential eigenvalue problems (a topic of interest not only in numerical analysis but also in engineering).
]]>
Carlo Garoni et al.Cone-constrained rational eigenvalue problems
https://repository.uwyo.edu/ela/vol35/iss1/12
https://repository.uwyo.edu/ela/vol35/iss1/12Tue, 28 May 2019 15:29:08 PDT
This work deals with the eigenvalue analysis of a rational matrix-valued function subject to complementarity constraints induced by a polyhedral cone $K$. The eigenvalue problem under consideration has the general structure \[ \left(\sum_{k=0}^d \lambda^k A_k + \sum_{k =1}^m \frac{p_k(\lambda)}{q_k(\lambda)} \,B_k\right) x = y , \quad K\ni x \perp y\in K^\ast, \] where $K^\ast$ denotes the dual cone of $K$. The unconstrained version of this problem has been discussed in [Y.F. Su and Z.J. Bai. Solving rational eigenvalue problems via linearization. \emph{SIAM J. Matrix Anal. Appl.}, 32:201--216, 2011.] with special emphasis on the implementation of linearization-based methods. The cone-constrained case can be handled by combining Su and Bai's linearization approach and the so-called facial reduction technique. In essence, this technique consists in solving one unconstrained rational eigenvalue problem for each face of the polyhedral cone $K$.
]]>
Alberto SeegerThe determinant of a complex matrix and Gershgorin circles
https://repository.uwyo.edu/ela/vol35/iss1/11
https://repository.uwyo.edu/ela/vol35/iss1/11Sat, 18 May 2019 04:45:28 PDT
Each connected component of the Gershgorin circles of a matrix contains exactly as many eigenvalues as circles are involved. Thus, the Minkowski (set) product of all circles contains the determinant if all circles are disjoint. In [S.M. Rump. Bounds for the determinant by Gershgorin circles. Linear Algebra and its Applications, 563:215--219, 2019.], it was proved that statement to be true for real matrices whose circles need not to be disjoint. Moreover, it was asked whether the statement remains true for complex matrices. This note answers that in the affirmative. As a by-product, a parameterization of the outer loop of a Cartesian oval without case distinction is derived.
]]>
Florian Bünger et al.Pairwise Completely Positive Matrices and Conjugate Local Diagonal Unitary Invariant Quantum States
https://repository.uwyo.edu/ela/vol35/iss1/10
https://repository.uwyo.edu/ela/vol35/iss1/10Sat, 18 May 2019 04:45:23 PDT
A generalization of the set of completely positive matrices called pairwise completely positive (PCP) matrices is introduced. These are pairs of matrices that share a joint decomposition so that one of them is necessarily positive semidefinite while the other one is necessarily entrywise non-negative. Basic properties of these matrix pairs are explored and several testable necessary and sufficient conditions are developed to help determine whether or not a pair is PCP. A connection with quantum entanglement is established by showing that determining whether or not a pair of matrices is pairwise completely positive is equivalent to determining whether or not a certain type of quantum state, called a conjugate local diagonal unitary invariant state, is separable. Many of the most important quantum states in entanglement theory are of this type, including isotropic states, mixed Dicke states (up to partial transposition), and maximally correlated states. As a specific application of these results, a wide family of states that have absolutely positive partial transpose are shown to in fact be separable.
]]>
Nathaniel Johnston et al.Vector Spaces of Generalized Linearizations for Rectangular Matrix Polynomials
https://repository.uwyo.edu/ela/vol35/iss1/9
https://repository.uwyo.edu/ela/vol35/iss1/9Mon, 22 Apr 2019 10:04:46 PDT
The complete eigenvalue problem associated with a rectangular matrix polynomial is typically solved via the technique of linearization. This work introduces the concept of generalized linearizations of rectangular matrix polynomials. For a given rectangular matrix polynomial, it also proposes vector spaces of rectangular matrix pencils with the property that almost every pencil is a generalized linearization of the matrix polynomial which can then be used to solve the complete eigenvalue problem associated with the polynomial. The properties of these vector spaces are similar to those introduced in the literature for square matrix polynomials and in fact coincide with them when the matrix polynomial is square. Further, almost every pencil in these spaces can be `trimmed' to form many smaller pencils that are strong linearizations of the matrix polynomial which readily yield solutions of the complete eigenvalue problem for the polynomial. These linearizations are easier to construct and are often smaller than the Fiedler linearizations introduced in the literature for rectangular matrix polynomials. Additionally, a global backward error analysis applied to these linearizations shows that they provide a wide choice of linearizations with respect to which the complete polynomial eigenvalue problem can be solved in a globally backward stable manner.
]]>
Biswajit Das et al.Potentially Eventually Positive 2-generalized Star Sign Patterns
https://repository.uwyo.edu/ela/vol35/iss1/8
https://repository.uwyo.edu/ela/vol35/iss1/8Mon, 22 Apr 2019 10:04:33 PDT
A sign pattern is a matrix whose entries belong to the set $\{+, -, 0\}$. An $n$-by-$n$ sign pattern $\mathcal{A}$ is said to be potentially eventually positive if there exists at least one real matrix $A$ with the same sign pattern as $\mathcal{A}$ and a positive integer $k_{0}$ such that $A^{k}>0$ for all $k\geq k_{0}$. An $n$-by-$n$ sign pattern $\mathcal{A}$ is said to be potentially eventually exponentially positive if there exists at least one real matrix $A$ with the same sign pattern as $\mathcal{A}$ and a nonnegative integer $t_{0}$ such that $e^{tA}=\sum_{k=0}^{\infty}\frac{t^{k}A^{k}}{k!}>0$ for all $t\geq t_{0}$. Identifying necessary and sufficient conditions for an $n$-by-$n$ 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 $2$-generalized star sign patterns is investigated. All the minimal potentially eventually positive $2$-generalized star sign patterns are identified. Consequently, all the potentially eventually positive $2$-generalized star sign patterns are classified. As an application, all the minimal potentially eventually exponentially positive $2$-generalized star sign patterns are identified. Consequently, all the potentially eventually exponentially positive $2$-generalized star sign patterns are classified.
]]>
Yu Ber-Lin et al.Jordan Triple Product Homomorphisms on Triangular Matrices to and from Dimension One
https://repository.uwyo.edu/ela/vol33/iss1/14
https://repository.uwyo.edu/ela/vol33/iss1/14Thu, 11 Apr 2019 11:53:29 PDT
A map $\Phi$ is a Jordan triple product (JTP for short) homomorphism whenever $\Phi(A B A)= \Phi(A) \Phi(B) \Phi(A)$ for all $A,B$. We study JTP homomorphisms on the set of upper triangular matrices $\mathcal{T}_n(\mathbb{F})$, where $\Ff$ is the field of real or complex numbers. We characterize JTP homomorphisms $\Phi: \mathcal{T}_n(\mathbb{C}) \to \mathbb{C}$ and JTP homomorphisms $\Phi: \mathbb{F} \to \mathcal{T}_n(\mathbb{F})$. In the latter case we consider continuous maps and the implications of omitting the assumption of continuity.
]]>
Damjana Kokol Bukovsek et al.Regulation of the Practice of Law in Wyoming: A 150-Year Walk Through the History Books
https://repository.uwyo.edu/wlr/vol19/iss1/7
https://repository.uwyo.edu/wlr/vol19/iss1/7Mon, 08 Apr 2019 10:40:10 PDTMark W. GiffordWY Law DivisionBlowing It: Why Is Wyoming Failing to Develop Wind Projects?
https://repository.uwyo.edu/wlr/vol19/iss1/6
https://repository.uwyo.edu/wlr/vol19/iss1/6Mon, 08 Apr 2019 10:40:01 PDTBen N. ReiterWY Law DivisionBlockchain Challenges Traditional Contract Law: Just How Smart Are Smart Contracts?
https://repository.uwyo.edu/wlr/vol19/iss1/5
https://repository.uwyo.edu/wlr/vol19/iss1/5Mon, 08 Apr 2019 10:39:51 PDTMorgan N. TemteWY Law DivisionIllegitimate Succession: Vestigial Discrimination in Wyoming’s Rules of Intestate Descent
https://repository.uwyo.edu/wlr/vol19/iss1/4
https://repository.uwyo.edu/wlr/vol19/iss1/4Mon, 08 Apr 2019 10:39:42 PDTAllison Strube LearnedWY Law DivisionA Policy History of Federal Coal Leasing: Past and Present Challenges
https://repository.uwyo.edu/wlr/vol19/iss1/3
https://repository.uwyo.edu/wlr/vol19/iss1/3Mon, 08 Apr 2019 10:39:34 PDTJosh LappenLand & Water DivisionLeft in the Dust: Wyoming’s Instream Flow Laws from a Mountain West Perspective
https://repository.uwyo.edu/wlr/vol19/iss1/2
https://repository.uwyo.edu/wlr/vol19/iss1/2Mon, 08 Apr 2019 10:39:25 PDTAllison E. ConnellLand & Water DivisionMinute by Minute: An Assessment of the Environmental Flows Program for Restoration of the Colorado River Delta
https://repository.uwyo.edu/wlr/vol19/iss1/1
https://repository.uwyo.edu/wlr/vol19/iss1/1Mon, 08 Apr 2019 10:39:14 PDTMadeleine J. LewisLand & Water DivisionUnions of a clique and a co-clique as star complements for non-main graph eigenvalues
https://repository.uwyo.edu/ela/vol35/iss1/7
https://repository.uwyo.edu/ela/vol35/iss1/7Thu, 28 Mar 2019 19:28:19 PDT
Graphs consisting of a clique and a co-clique, both of arbitrary size, are considered in the role of star complements for an arbitrary non-main eigenvalue. Among other results, the sign of such a eigenvalue is discussed, the neigbourhoods of star set vertices are described, and the parameters of all strongly regular extensions are determined. It is also proved that, unless in a specified special case, if the size of a co-clique is fixed then there is a finite number of possibilities for our star complement and the corresponding non-main eigenvalue. Numerical data on these possibilities is presented.
]]>
Zoran StanicAE Regularity of Interval Matrices
https://repository.uwyo.edu/ela/vol33/iss1/13
https://repository.uwyo.edu/ela/vol33/iss1/13Thu, 28 Mar 2019 19:24:10 PDT
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.
]]>
Milan HladíkCondensed Forms for Linear Port-Hamiltonian Descriptor Systems
https://repository.uwyo.edu/ela/vol35/iss1/6
https://repository.uwyo.edu/ela/vol35/iss1/6Sat, 23 Mar 2019 10:57:10 PDT
Motivated by the structure which arises in the port-Hamiltonian formulation of constraint dynamical systems, structure preserving condensed forms for skew-adjoint differential-algebraic equations (DAEs) are derived. Moreover, structure preserving condensed forms under constant rank assumptions for linear port-Hamiltonian differential-algebraic equations are developed. These condensed forms allow for the further analysis of the properties of port-Hamiltonian DAEs and to study, e.g., existence and uniqueness of solutions or to determine the index. It can be shown that under certain conditions for regular port-Hamiltonian DAEs the strangeness index is bounded by $\mu\leq1$.
]]>
Lena ScholzBrauer's theorem and nonnegative matrices with prescribed diagonal entries
https://repository.uwyo.edu/ela/vol35/iss1/5
https://repository.uwyo.edu/ela/vol35/iss1/5Fri, 15 Feb 2019 13:17:52 PST
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's 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 $\Lambda = \left\{\lambda _{1},\ldots ,\lambda _{n} \right \}$ with $\operatorname{Re}\lambda _{i}\leq 0,$ $\lambda _{1}\geq -\sum\limits_{i=2}^{n}\lambda _{i}$, and $\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 $\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.
]]>
Ricardo L. Soto et al.