Showing 1–30 of 30 results for author: Paparella, P

A matricial view of the Collatz conjecture

Authors: Pietro Paparella

Abstract: In this note, it is shown that the nilpotency of submatrices of a certain class of adjacency matrices is equivalent to the Collatz conjecture. Our main result extends the previous work of Alves et al. and clarifies a conjecture made by Cardon and Tuckfield. In this note, it is shown that the nilpotency of submatrices of a certain class of adjacency matrices is equivalent to the Collatz conjecture. Our main result extends the previous work of Alves et al. and clarifies a conjecture made by Cardon and Tuckfield. △ Less

Submitted 8 May, 2024; originally announced June 2024.

MSC Class: 15A18 (Primary); 15A15; 11B83 (Secondary)

Polynomials that preserve nonnegative monomial matrices

Authors: Benjamin J. Clark, Pietro Paparella

Abstract: A recently-established necessary condition for polynomials that preserve the class of entrywise nonnegative matrices of a fixed order is shown to be necessary and sufficient for the class of nonnegative monomial matrices. Along the way, we provide a formula for computing an arbitrary power of a monomial matrix and a formula for computing the polynomial of a nonnegative monomial matrix. A recently-established necessary condition for polynomials that preserve the class of entrywise nonnegative matrices of a fixed order is shown to be necessary and sufficient for the class of nonnegative monomial matrices. Along the way, we provide a formula for computing an arbitrary power of a monomial matrix and a formula for computing the polynomial of a nonnegative monomial matrix. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Demystifying the Karpelevic theorem

Authors: Devon N. Munger, Andrew L. Nickerson, Pietro Paparella

Abstract: The statement of the Karpelevic theorem concerning the location of the eigenvalues of stochastic matrices in the complex plane (known as the Karpelevic region) is long and complicated and his proof methods are, at best, nebulous. Fortunately, an elegant simplification of the statement was provided by Ito -- in particular, Ito's theorem asserts that the boundary of the Karpelevic region consists of… ▽ More The statement of the Karpelevic theorem concerning the location of the eigenvalues of stochastic matrices in the complex plane (known as the Karpelevic region) is long and complicated and his proof methods are, at best, nebulous. Fortunately, an elegant simplification of the statement was provided by Ito -- in particular, Ito's theorem asserts that the boundary of the Karpelevic region consists of arcs whose points satisfy a polynomial equation that depends on the endpoints of the arc. Unfortunately, Ito did not prove his version and only showed that it is equivalent. More recently, Johnson and Paparella showed that points satisfying Ito's equation belong to the Karpelevic region. Although not the intent of their work, this initiated the process of proving Ito's theorem and hence the Karpelevic theorem. The purpose of this work is to continue this effort by showing that an arc appears in the prescribed sector. To this end, it is shown that there is a continuous function $λ:[0,1] \longrightarrow \mathbb{C}$ such that $\mathsf{P}^\mathsf{I}(λ(α)) = 0$, $\forall α\in [0,1]$, where $\mathsf{P}^\mathsf{I}$ is a Type I reduced Ito polynomial. It is also shown that these arcs are simple. Finally, an elementary argument is given to show that points on the boundary of the Karpelevic region are extremal whenever $n > 3$. △ Less

Submitted 10 May, 2024; v1 submitted 7 September, 2023; originally announced September 2023.

MSC Class: 15A18; 15B51; 30C15

The converse of the Cowling--Obrechkoff--Thron theorem

Authors: Devon N. Munger, Pietro Paparella

Abstract: In this work, the converse of the Cowling--Obrechkoff--Thron theorem is established. In addition to its theoretical interest, the result fills a gap in the proof of Kellogg's celebrated eigenvalue inequality for matrices whose principal minors are positive or nonnegative. In this work, the converse of the Cowling--Obrechkoff--Thron theorem is established. In addition to its theoretical interest, the result fills a gap in the proof of Kellogg's celebrated eigenvalue inequality for matrices whose principal minors are positive or nonnegative. △ Less

Submitted 26 July, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

MSC Class: 30C15; 26C10; 15A42

Matrices whose field of values is inscribed in a polygon

Authors: Matthew J. Fyfe, Yesenia Hernandez, Pietro Paparella, Malini Rajbhandari

Abstract: In this work, it is shown that if $A$ is an $n$-by-$n$ convexoid matrix (i.e., its field of values coincides with the convex hull of its eigenvalues), then the field of any $(n-1)$-by-$(n-1)$ principal submatrix of $A$ is inscribed in the field of $A$, i.e., the field is tangent to every side of the polygon corresponding to the boundary of the field of $A$. This result generalizes a special case e… ▽ More In this work, it is shown that if $A$ is an $n$-by-$n$ convexoid matrix (i.e., its field of values coincides with the convex hull of its eigenvalues), then the field of any $(n-1)$-by-$(n-1)$ principal submatrix of $A$ is inscribed in the field of $A$, i.e., the field is tangent to every side of the polygon corresponding to the boundary of the field of $A$. This result generalizes a special case established by Johnson and Paparella [Amer. Math. Monthly 127 (2020), no. 1,45-53]. △ Less

Submitted 30 June, 2023; v1 submitted 12 March, 2023; originally announced March 2023.

Comments: Report for research project undertaken at the 2022 REU Site: Tiling Theory, Knot Theory, Optimization, Matrix Analysis, and Image Reconstruction

MSC Class: 15A60

Kronecker products of Perron similarities

Authors: Janelle M. Dockter, Pietro Paparella, Robert L. Perry, Jonathan D Ta

Abstract: An invertible matrix is called a Perron similarity if one of its columns and the corresponding row of its inverse are both nonnegative or both nonpositive. Such matrices are of relevance and import in the study of the nonnegative inverse eigenvalue problem. In this work, Kronecker products of Perron similarities are examined and used to to construct ideal Perron similarities all of whose rows are… ▽ More An invertible matrix is called a Perron similarity if one of its columns and the corresponding row of its inverse are both nonnegative or both nonpositive. Such matrices are of relevance and import in the study of the nonnegative inverse eigenvalue problem. In this work, Kronecker products of Perron similarities are examined and used to to construct ideal Perron similarities all of whose rows are extremal. △ Less

Submitted 26 October, 2021; originally announced October 2021.

MSC Class: 15A18; 15B48; 52B12

Jordan chains of $h$-cyclic matrices, II

Authors: Andrew L. Nickerson, Pietro Paparella

Abstract: McDonald and Paparella [Linear Algebra Appl. 498 (2016), 145--159] gave a necessary condition on the structure of Jordan chains of $h$-cyclic matrices. In this work, that necessary condition is shown to be sufficient. As a consequence, we provide a spectral characterization of nonsingular, $h$-cyclic matrices. In addition, we provide results for the Jordan chains corresponding to the eigenvalue ze… ▽ More McDonald and Paparella [Linear Algebra Appl. 498 (2016), 145--159] gave a necessary condition on the structure of Jordan chains of $h$-cyclic matrices. In this work, that necessary condition is shown to be sufficient. As a consequence, we provide a spectral characterization of nonsingular, $h$-cyclic matrices. In addition, we provide results for the Jordan chains corresponding to the eigenvalue zero of singular matrices. Along the way, a new characterization of circulant matrices is given. △ Less

Submitted 18 October, 2021; originally announced October 2021.

MSC Class: 15A18; 15A20; 15B99

A short and elementary proof of Brauer's theorem

Authors: Judith J. McDonald, Pietro Paparella

Abstract: A short and elementary proof is given of a celebrated eigenvalue-perturbation result due to Alfred Brauer. A short and elementary proof is given of a celebrated eigenvalue-perturbation result due to Alfred Brauer. △ Less

Submitted 27 September, 2021; originally announced October 2021.

MSC Class: 97H60; 15A18

Polynomials that preserve nonnegative matrices of order two

Authors: Benjamin J. Clark, Pietro Paparella

Abstract: A known characterization for entire functions that preserve all nonnegative matrices of order two is shown to characterize polynomials that preserve nonnegative matrices of order two. Equivalent conditions are derived and used to prove that $\mathscr{P}_3 \subset \mathscr{P}_2$, which was previously unknown. A new characterization is given for polynomials that preserve nonnegative circulant matric… ▽ More A known characterization for entire functions that preserve all nonnegative matrices of order two is shown to characterize polynomials that preserve nonnegative matrices of order two. Equivalent conditions are derived and used to prove that $\mathscr{P}_3 \subset \mathscr{P}_2$, which was previously unknown. A new characterization is given for polynomials that preserve nonnegative circulant matrices of order two. △ Less

Submitted 29 April, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: To appear in Mathematics Exchange

Polynomials that preserve nonnegative matrices

Authors: Benjamin J. Clark, Pietro Paparella

Abstract: In further pursuit of a solution to the celebrated nonnegative inverse eigenvalue problem, Loewy and London [Linear and Multilinear Algebra 6 (1978/79), no.~1, 83--90] posed the problem of characterizing all polynomials that preserve all nonnegative matrices of a fixed order. If $\mathscr{P}_n$ denotes the set of all polynomials that preserve all $n$-by-$n$ nonnegative matrices, then it is clear t… ▽ More In further pursuit of a solution to the celebrated nonnegative inverse eigenvalue problem, Loewy and London [Linear and Multilinear Algebra 6 (1978/79), no.~1, 83--90] posed the problem of characterizing all polynomials that preserve all nonnegative matrices of a fixed order. If $\mathscr{P}_n$ denotes the set of all polynomials that preserve all $n$-by-$n$ nonnegative matrices, then it is clear that polynomials with nonnegative coefficients belong to $\mathscr{P}_n$. However, it is known that $\mathscr{P}_n$ contains polynomials with negative entries. In this work, novel results for $\mathscr{P}_n$ with respect to the coefficients of the polynomials belonging to $\mathscr{P}_n$. Along the way, a generalization for the even-part and odd-part are given and shown to be equivalent to another construction that appeared in the literature. Implications for further research are discussed. △ Less

Submitted 9 December, 2021; v1 submitted 7 September, 2021; originally announced September 2021.

Journal ref: Linear Algebra and its Applications, 637 (2022), 110-118

Matricial Proofs of Some Classical Results about Critical Point Location

Authors: Charles R. Johnson, Pietro Paparella

Abstract: The Gauss--Lucas and Bôcher--Grace--Marden theorems are classical results in the geometry of polynomials. Proofs of the these results are available in the literature, but the approaches are seemingly different. In this work, we show that these theorems can be proven in a unified theoretical framework utilizing matrix analysis (in particular, using the field of values and the differentiator of a ma… ▽ More The Gauss--Lucas and Bôcher--Grace--Marden theorems are classical results in the geometry of polynomials. Proofs of the these results are available in the literature, but the approaches are seemingly different. In this work, we show that these theorems can be proven in a unified theoretical framework utilizing matrix analysis (in particular, using the field of values and the differentiator of a matrix). In addition, we provide a useful variant of a well-known result due to Siebeck. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: This is an Accepted Manuscript of an article published by Taylor & Francis in The American Mathematical Monthly on 19-Dec-2019, available at https://www.tandfonline.com/doi/10.1080/00029890.2020.1671740

Journal ref: Amer. Math. Monthly 127 (2020), no. 1, 45--53

A proof of the elliptical range theorem via Kippenhahn's theorem

Authors: Pietro Paparella, Luis J. Ramirez, Yen-Fen Wang

Abstract: The elliptical range theorem asserts that the field of values (or numerical range) of a two-by-two matrix with complex entries is an elliptical disk, the foci of which are the eigenvalues of the given matrix. Many proofs of this result are available in the literature, but most, with one exception, are computational and quite involved. In this note, it is shown that the elliptical range theorem fol… ▽ More The elliptical range theorem asserts that the field of values (or numerical range) of a two-by-two matrix with complex entries is an elliptical disk, the foci of which are the eigenvalues of the given matrix. Many proofs of this result are available in the literature, but most, with one exception, are computational and quite involved. In this note, it is shown that the elliptical range theorem follows from the properties of plane algebraic curves and a straightforward application of a well-known result due to Kippenhahn. △ Less

Submitted 25 September, 2018; v1 submitted 11 July, 2018; originally announced July 2018.

MSC Class: Primary: 15A60; Secondary: 14H50

Journal ref: Missouri J. Math. Sci. 33 (2), 181-185, 2021

Realizing Suleĭmanova spectra via permutative matrices, II

Authors: Pietro Paparella, Amber R. Thrall

Abstract: In this work, the real nonnegative inverse eigenvalue problem is solved for a particular class of permutative matrix. The necessary and sufficient condition there is also shown to be sufficient for the symmetric nonnegative inverse eigenvalue problem. A result due to Johnson and Paparella [MR3452738, Linear Algebra Appl. 493 (2016), 281--300] is extended to include normalized lists that satisfy th… ▽ More In this work, the real nonnegative inverse eigenvalue problem is solved for a particular class of permutative matrix. The necessary and sufficient condition there is also shown to be sufficient for the symmetric nonnegative inverse eigenvalue problem. A result due to Johnson and Paparella [MR3452738, Linear Algebra Appl. 493 (2016), 281--300] is extended to include normalized lists that satisfy the new sufficient condition. △ Less

Submitted 21 December, 2018; v1 submitted 19 June, 2018; originally announced June 2018.

MSC Class: 15A29; 15A18; 15A42; 15B48; 15B51

On the realizability of the critical points of a realizable list

Authors: Sarah L Hoover, Daniel A. McCormick, Pietro Paparella, Amber R. Thrall

Abstract: The nonnegative inverse eigenvalue problem (NIEP) is to characterize the spectra of entrywise nonnegative matrices. A finite multiset of complex numbers is called realizable if it is the spectrum of an entrywise nonnegative matrix. Monov conjectured that the k\textsuperscript{th}-moments of the list of critical points of a realizable list are nonnegative. Johnson further conjectured that the list… ▽ More The nonnegative inverse eigenvalue problem (NIEP) is to characterize the spectra of entrywise nonnegative matrices. A finite multiset of complex numbers is called realizable if it is the spectrum of an entrywise nonnegative matrix. Monov conjectured that the k\textsuperscript{th}-moments of the list of critical points of a realizable list are nonnegative. Johnson further conjectured that the list of critical points must be realizable. In this work, Johnson's conjecture, and consequently Monov's conjecture, is established for a variety of important cases including Ciarlet spectra, Suleĭmanova spectra, spectra realizable via companion matrices, and spectra realizable via similarity by a complex Hadamard matrix. Additionally we prove a result on differentiators and trace vectors, and use it to provide an alternate proof of a result due to Malamud and a generalization of a result due to Kushel and Tyaglov on circulant matrices. Implications for further research are discussed. △ Less

Submitted 14 December, 2017; originally announced December 2017.

MSC Class: 15A29; 15A18; 15B48; 30C15

Journal ref: Linear Algebra Appl., 555: 301-313, 2018

A Short and Elementary Proof of the Two-sidedness of the Matrix-Inverse

Authors: Pietro Paparella

Abstract: An elementary proof of the two-sidedness of the matrix-inverse is given using only linear independence and the reduced row-echelon form of a matrix. In addition, it is shown that a matrix is invertible if and only if it is row-equivalent to the identity matrix without appealing to elementary matrices. This proof underscores the importance of a basis and provides a proof of the invertible matrix th… ▽ More An elementary proof of the two-sidedness of the matrix-inverse is given using only linear independence and the reduced row-echelon form of a matrix. In addition, it is shown that a matrix is invertible if and only if it is row-equivalent to the identity matrix without appealing to elementary matrices. This proof underscores the importance of a basis and provides a proof of the invertible matrix theorem. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Comments: To appear as a classroom-capsule in the The College Mathematics Journal

MSC Class: 15A09

Journal ref: College Math. J., 48(5):366-367, 2017

Eisenstein's criterion, Fermat's last theorem, and a conjecture on powerful numbers

Authors: Pietro Paparella

Abstract: Given integers $\ell > m >0$, we define monic polynomials $X_n$, $Y_n$, and $Z_n$ with the property that $μ$ is a zero of $X_n$ if and only if the triple $(μ,μ+m,μ+\ell)$ satisfies $x^n + y^n = z^n$. It is shown that the irreducibility of these polynomials implies Fermat's last theorem. It is also shown, in a precise asymptotic sense, that for a vast majority of cases, these polynomials are irredu… ▽ More Given integers $\ell > m >0$, we define monic polynomials $X_n$, $Y_n$, and $Z_n$ with the property that $μ$ is a zero of $X_n$ if and only if the triple $(μ,μ+m,μ+\ell)$ satisfies $x^n + y^n = z^n$. It is shown that the irreducibility of these polynomials implies Fermat's last theorem. It is also shown, in a precise asymptotic sense, that for a vast majority of cases, these polynomials are irreducible via Eisenstein's criterion. We conclude by offering a conjecture on powerful numbers. △ Less

Submitted 12 February, 2018; v1 submitted 5 April, 2017; originally announced April 2017.

MSC Class: 11D41 (Primary); 11A05; 11C08; 11P32 (Secondary)

Journal ref: Notes on Number Theory and Discrete Mathematics, 25(2):22-29, 2019

The NIEP

Authors: Charles R. Johnson, Carlos Marijuán, Pietro Paparella, Miriam Pisonero

Abstract: The nonnegative inverse eigenvalue problem (NIEP) asks which lists of $n$ complex numbers (counting multiplicity) occur as the eigenvalues of some $n$-by-$n$ entry-wise nonnegative matrix. The NIEP has a long history and is a known hard (perhaps the hardest in matrix analysis?) and sought after problem. Thus, there are many subproblems and relevant results in a variety of directions. We survey mos… ▽ More The nonnegative inverse eigenvalue problem (NIEP) asks which lists of $n$ complex numbers (counting multiplicity) occur as the eigenvalues of some $n$-by-$n$ entry-wise nonnegative matrix. The NIEP has a long history and is a known hard (perhaps the hardest in matrix analysis?) and sought after problem. Thus, there are many subproblems and relevant results in a variety of directions. We survey most work on the problem and its several variants, with an emphasis on recent results, and include 130 references. The survey is divided into: a) the single eigenvalue problems; b) necessary conditions; c) low dimensional results; d) sufficient conditions; e) appending 0's to achieve realizability; f) the graph NIEP's; g) Perron similarities; and h) the relevance of Jordan structure. △ Less

Submitted 1 August, 2017; v1 submitted 31 March, 2017; originally announced March 2017.

MSC Class: 15A18; 15A29; 15A42

A matricial view of the Karpelevič Theorem

Authors: Charles R. Johnson, Pietro Paparella

Abstract: The question of the exact region in the complex plane of the possible single eigenvalues of all $n$-by-$n$ stochastic matrices was raised by Kolmogorov in 1937 and settled by Karpelevič in 1951 after a partial result by Dmitriev and Dynkin in 1946. The Karpelevič result is unwieldy, but a simplification was given by Đoković in 1990 and Ito in 1997. The Karpelevič region is determined by a set of b… ▽ More The question of the exact region in the complex plane of the possible single eigenvalues of all $n$-by-$n$ stochastic matrices was raised by Kolmogorov in 1937 and settled by Karpelevič in 1951 after a partial result by Dmitriev and Dynkin in 1946. The Karpelevič result is unwieldy, but a simplification was given by Đoković in 1990 and Ito in 1997. The Karpelevič region is determined by a set of boundary arcs each connecting consecutive roots of unity of order less than $n$. It is shown here that each of these arcs is realized by a single, somewhat simple, parametrized stochastic matrix. Other observations are made about the nature of the arcs and several further questions are raised. The doubly stochastic analog of the Karpelevič region remains open, but a conjecture about it is amplified. △ Less

Submitted 1 December, 2016; v1 submitted 21 November, 2016; originally announced November 2016.

MSC Class: 15A18; 15A29; 15B51

Journal ref: Linear Algebra Appl., 520:1-15, 2017

Row Cones, Perron Similarities, and Nonnegative Spectra

Authors: C. R. Johnson, Pietro Paparella

Abstract: In further pursuit of the diagonalizable \emph{real nonnegative inverse eigenvalue problem} (RNIEP), we study the relationship between the \emph{row cone} $\mathcal{C}_r(S)$ and the \emph{spectracone} $\mathcal{C}(S)$ of a Perron similarity $S$. In the process, a new kind of matrix, \emph{row Hadamard conic} (RHC), is defined and related to the D-RNIEP. Characterizations are given when… ▽ More In further pursuit of the diagonalizable \emph{real nonnegative inverse eigenvalue problem} (RNIEP), we study the relationship between the \emph{row cone} $\mathcal{C}_r(S)$ and the \emph{spectracone} $\mathcal{C}(S)$ of a Perron similarity $S$. In the process, a new kind of matrix, \emph{row Hadamard conic} (RHC), is defined and related to the D-RNIEP. Characterizations are given when $\mathcal{C}_r(S) = \mathcal{C}(S)$, and explicit examples are given for all possible set-theoretic relationships between the two cones. The symmetric NIEP is the special case of the D-RNIEP in which the Perron similarity $S$ is also orthogonal. △ Less

Submitted 8 November, 2016; originally announced November 2016.

MSC Class: 15A18; 15A29; 15B48

Journal ref: Linear Multilinear Algebra, 65(10):2124-2130, 2017

Spectrally Perron Polynomials and the Cauchy-Ostrovsky Theorem

Authors: Pietro Paparella

Abstract: In this note, we simplify the statements of theorems attributed to Cauchy and Ostrovsky and give proofs of each theorem via combinatorial and nonnegative matrix theory. We also show that each simple sufficient condition in each statement is also necessary in its respective case. In addition, we introduce the notion of a spectrally Perron polynomial and pose a problem that appeals to a wide mathema… ▽ More In this note, we simplify the statements of theorems attributed to Cauchy and Ostrovsky and give proofs of each theorem via combinatorial and nonnegative matrix theory. We also show that each simple sufficient condition in each statement is also necessary in its respective case. In addition, we introduce the notion of a spectrally Perron polynomial and pose a problem that appeals to a wide mathematical audience. △ Less

Submitted 31 October, 2016; v1 submitted 26 August, 2016; originally announced August 2016.

The Volume of the Trace-Nonnegative Polytope via the Irwin-Hall Distribution

Authors: Pietro Paparella, Gregory K. Taylor

Abstract: In this work, we find an explicit expression for the volume of the trace nonnegative polytope via a generalization of the Irwin-Hall distribution. This volume is an upper bound for the volume of all projected, normalized realizable spectra. We provide ancillary results on realizable trace-zero spectra and pose several problems suitable for further inquiry. In this work, we find an explicit expression for the volume of the trace nonnegative polytope via a generalization of the Irwin-Hall distribution. This volume is an upper bound for the volume of all projected, normalized realizable spectra. We provide ancillary results on realizable trace-zero spectra and pose several problems suitable for further inquiry. △ Less

Submitted 22 March, 2016; v1 submitted 6 November, 2015; originally announced November 2015.

Realizing Suleimanova Spectra via Permutative Matrices

Authors: Pietro Paparella

Abstract: A permutative matrix is a square matrix such that every row is a permutation of the first row. A constructive version of a result attributed to Suleimanova is given via permutative matrices. In addition, we strengthen a well-known result by showing that all realizable spectra containing at most four elements can be realized by a permutative matrix or by a direct sum of permutative matrices. We con… ▽ More A permutative matrix is a square matrix such that every row is a permutation of the first row. A constructive version of a result attributed to Suleimanova is given via permutative matrices. In addition, we strengthen a well-known result by showing that all realizable spectra containing at most four elements can be realized by a permutative matrix or by a direct sum of permutative matrices. We conclude by posing a problem. △ Less

Submitted 24 December, 2015; v1 submitted 2 September, 2015; originally announced September 2015.

MSC Class: 15A18; 15A29; 15B99

Perron Spectratopes and the Real Nonnegative Inverse Eigenvalue Problem

Authors: Charles R. Johnson, Pietro Paparella

Abstract: Call an $n$-by-$n$ invertible matrix $S$ a \emph{Perron similarity} if there is a real non-scalar diagonal matrix $D$ such that $S D S^{-1}$ is entrywise nonnegative. We give two characterizations of Perron similarities and study the polyhedra $\mathcal{C}(S) := \{ x \in \mathbb{R}^n: S D_x S^{-1} \geq 0,~D_x := \text{diag}(x) \}$ and $\mathcal{P})(S) := \{x \in \mathcal{C}(S) : x_1 = 1 \}$, which… ▽ More Call an $n$-by-$n$ invertible matrix $S$ a \emph{Perron similarity} if there is a real non-scalar diagonal matrix $D$ such that $S D S^{-1}$ is entrywise nonnegative. We give two characterizations of Perron similarities and study the polyhedra $\mathcal{C}(S) := \{ x \in \mathbb{R}^n: S D_x S^{-1} \geq 0,~D_x := \text{diag}(x) \}$ and $\mathcal{P})(S) := \{x \in \mathcal{C}(S) : x_1 = 1 \}$, which we call the \emph{Perron spectracone} and \emph{Perron spectratope}, respectively. The set of all normalized real spectra of diagonalizable nonnegative matrices may be covered by Perron spectratopes, so that enumerating them is of interest. The Perron spectracone and spectratope of Hadamard matrices are of particular interest and tend to have large volume. For the canonical Hadamard matrix (as well as other matrices), the Perron spectratope coincides with the convex hull of its rows. In addition, we provide a constructive version of a result due to Fiedler (\cite[Theorem 2.4]{f1974}) for Hadamard orders, and a constructive version of \cite[Theorem 5.1]{bh1991} for Suleĭmanova spectra. △ Less

Submitted 19 November, 2015; v1 submitted 29 August, 2015; originally announced August 2015.

Comments: To appear in Linear Algebra and its Applications

MSC Class: 15A18; 15B48; 15A29; 05B20; 05E30

The critical exponent for generalized doubly nonnegative matrices

Authors: Xuchen Han, Charles Johnson, Pietro Paparella

Abstract: It is known that the critical exponent (CE) for conventional, continuous powers of $n$-by-$n$ doubly nonnegative (DN) matrices is $n-2$. Here, we consider the larger class of diagonalizable, entry-wise nonnegative $n$-by-$n$ matrices with nonnegative eigenvalues (GDN). We show that, again, a CE exists and are able to bound it with a low-coefficient quadratic. However, the CE is larger than in the… ▽ More It is known that the critical exponent (CE) for conventional, continuous powers of $n$-by-$n$ doubly nonnegative (DN) matrices is $n-2$. Here, we consider the larger class of diagonalizable, entry-wise nonnegative $n$-by-$n$ matrices with nonnegative eigenvalues (GDN). We show that, again, a CE exists and are able to bound it with a low-coefficient quadratic. However, the CE is larger than in the DN case; in particular, 2 for $n=3$. There seems to be a connection with the index of primitivity, and a number of other observations are made and questions raised. It is shown that there is no CE for continuous Hadamard powers of GDN matrices, despite it also being $n-2$ for DN matrices. △ Less

Submitted 10 June, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

MSC Class: 15B48

Matrix roots of imprimitive irreducible nonnegative matrices

Authors: Judith J. McDonald, Pietro Paparella

Abstract: Using matrix function theory, Perron-Frobenius theory, combinatorial matrix theory, and elementary number theory, we characterize, classify, and describe in terms of the Jordan canonical form the matrix pth-roots of imprimitive irreducible nonnegative matrices. Preliminary results concerning the matrix roots of reducible matrices are provided as well. Using matrix function theory, Perron-Frobenius theory, combinatorial matrix theory, and elementary number theory, we characterize, classify, and describe in terms of the Jordan canonical form the matrix pth-roots of imprimitive irreducible nonnegative matrices. Preliminary results concerning the matrix roots of reducible matrices are provided as well. △ Less

Submitted 3 June, 2015; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: To appear in Linear Algebra and its Applications

MSC Class: 15A16; 15B48; 15A21

Jordan chains of $h$-cyclic matrices

Authors: Judith J. McDonald, Pietro Paparella

Abstract: Arising from the classification of the matrix-roots of a nonnegative imprimitive irreducible matrix, we present results concerning the Jordan chains of an $h$-cyclic matrix. We also present ancillary results applicable to nonnegative imprimitive irreducible matrices and demonstrate these results via examples. Arising from the classification of the matrix-roots of a nonnegative imprimitive irreducible matrix, we present results concerning the Jordan chains of an $h$-cyclic matrix. We also present ancillary results applicable to nonnegative imprimitive irreducible matrices and demonstrate these results via examples. △ Less

Submitted 24 February, 2015; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: To appear in the special issue "The Legacy of Hans Schneider" in Linear Algebra and its Applications

MSC Class: 15A18; 15B99; 15B48

Matrix functions that preserve the strong Perron-Frobenius property

Authors: Pietro Paparella

Abstract: In this note, we characterize matrix functions that preserve the strong Perron-Frobenius property using the real Jordan canonical form of a real matrix. In this note, we characterize matrix functions that preserve the strong Perron-Frobenius property using the real Jordan canonical form of a real matrix. △ Less

Submitted 3 June, 2015; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: To appear in The Electronic Journal of Linear Algebra

MSC Class: 15A16; 15B48; 15A21

Matrix Roots of Eventually Positive Matrices

Authors: Judith J. McDonald, Pietro Paparella, Michael J. Tsatsomeros

Abstract: Eventually positive matrices are real matrices whose powers become and remain strictly positive. As such, eventually positive matrices are a fortiori matrix roots of positive matrices, which motivates us to study the matrix roots of primitive matrices. Using classical matrix function theory and Perron-Frobenius theory, we characterize, classify, and describe in terms of the real Jordan canonical f… ▽ More Eventually positive matrices are real matrices whose powers become and remain strictly positive. As such, eventually positive matrices are a fortiori matrix roots of positive matrices, which motivates us to study the matrix roots of primitive matrices. Using classical matrix function theory and Perron-Frobenius theory, we characterize, classify, and describe in terms of the real Jordan canonical form the $p$th-roots of eventually positive matrices. △ Less

Submitted 22 October, 2013; originally announced October 2013.

Comments: Accepted for publication in Linear Algebra and its Applications

MSC Class: 15B48; 15A21

Journal ref: Linear Algebra Appl. 456 (2014), 122-137

A note on the Lovasz-Schrijver Semidefinite Programming Relaxation for Binary Integer Programs

Authors: Pietro Paparella

Abstract: Binary Integer Programming (BIP) problems are of interest due in part to the difficulty they pose and because of their various applications, including those in graph theory, combinatorial optimization and network optimization. In this note, we explicitly state the Lovasz-Schrijver Semidefinite Programming (SDP) relaxation (in primal-standard form) for a BIP problem, a relaxation that yields a tigh… ▽ More Binary Integer Programming (BIP) problems are of interest due in part to the difficulty they pose and because of their various applications, including those in graph theory, combinatorial optimization and network optimization. In this note, we explicitly state the Lovasz-Schrijver Semidefinite Programming (SDP) relaxation (in primal-standard form) for a BIP problem, a relaxation that yields a tighter upper-bound than the canonical Linear Programming relaxation. △ Less

Submitted 18 August, 2012; v1 submitted 10 August, 2012; originally announced August 2012.

Complete Residue Systems: A Primer and an Application

Authors: Pietro Paparella

Abstract: Complete residue systems play an integral role in abstract algebra and number theory, and a description is typically found in any number theory textbook. This note provides a concise overview of complete residue systems, including a robust definition, several well-known results, a proof to the converse of a well-known theorem, ancillary results pertaining to an application arising from the study o… ▽ More Complete residue systems play an integral role in abstract algebra and number theory, and a description is typically found in any number theory textbook. This note provides a concise overview of complete residue systems, including a robust definition, several well-known results, a proof to the converse of a well-known theorem, ancillary results pertaining to an application arising from the study of the roots of nonnegative matrices, and extends our knowledge of complete residue systems in relation to complete sets of roots of unity. △ Less

Submitted 17 August, 2012; v1 submitted 3 June, 2012; originally announced June 2012.

Journal ref: Advances in Algebra, 6(1), 21-25, 2013