Source author record

Charles R. Johnson

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
7topics
4close collaborators

Published work

12 publications

preprint2022arXiv

kk-NIM trees: Characterization and Enumeration

Among those real symmetric matrices whose graph is a given tree TT, the maximum multiplicity M(T)M(T) that can be attained by an eigenvalue is known to be the path cover number of TT. We say that a tree is kk-NIM if, whenever an eigenvalue attains a multiplicity of k−1k-1 less than the maximum multiplicity, all other multiplicities are 11. 11-NIM trees are known as NIM trees, and a characterization for NIM trees is already known. Here we provide a graph-theoretic characterization for kk-NIM trees for each k≥1k\geq 1, as well as count them. It follows from the characterization that kk-NIM trees exist on nn vertices only when k=1,2,3k=1,2,3. In case k=3k=3, the only 33-NIM trees are simple stars.

preprint2022arXiv

The Inverse Eigenvalue Problem for Linear Trees

We prove the sufficiency of the Linear Superposition Principle for linear trees, which characterizes the spectra achievable by a real symmetric matrix whose underlying graph is a linear tree. The necessity was previously proven in 2014. This is the most general class of trees for which the inverse eigenvalue problem has been solved. We explore many consequences, including the Degree Conjecture for possible spectra, upper bounds for the minimum number of eigenvalues of multiplicity 11, and the equality of the diameter of a linear tree and its minimum number of distinct eigenvalues, etc.

preprint2021arXiv

Total positivity of sums, Hadamard products and Hadamard powers: Results and counterexamples

We show that, for Hankel matrices, total nonnegativity (resp. total positivity) of order r is preserved by sum, Hadamard product, and Hadamard power with real exponent t \ge r-2. We give examples to show that our results are sharp relative to matrix size and structure (general, symmetric or Hankel). Some of these examples also resolve the Hadamard critical-exponent problem for totally positive and totally nonnegative matrices.

preprint2020arXiv

The Doubly Stochastic Single Eigenvalue Problem: A Computational Approach

The problem of determining DSnDS_n, the complex numbers that occur as an eigenvalue of an nn-by-nn doubly stochastic matrix, has been a target of study for some time. The Perfect-Mirsky region, PMnPM_n, is contained in DSnDS_n, and is known to be exactly DSnDS_n for n≤4n \leq 4, but strictly contained within DSnDS_n for n=5n = 5. Here, we present a Boundary Conjecture that asserts that the boundary of DSnDS_n is achieved by eigenvalues of convex combinations of pairs of (or single) permutation matrices. We present a method to efficiently compute a portion of DSnDS_n, and obtain computational results that support the Boundary Conjecture. We also give evidence that DSnDS_n is equal to PMnPM_n for certain n>5n > 5.

preprint2019arXiv

Spectra of Convex Hulls of Matrix Groups

The still-unsolved problem of determining the set of eigenvalues realized by nn-by-nn doubly stochastic matrices, those matrices with row sums and column sums equal to 11, has attracted much attention in the last century. This problem is somewhat algebraic in nature, due to a result of Birkhoff demonstrating that the set of doubly stochastic matrices is the convex hull of the permutation matrices. Here we are interested in a general matrix group G⊆GLn(C)G \subseteq GL_n(\mathbb{C}) and the hull spectrum HS(G)\text{HS}(G) of eigenvalues realized by convex combinations of elements of GG. We show that hull spectra of matrix groups share many nice properties. Moreover, we give bounds on the hull spectra of matrix groups, determine HS(G)\text{HS}(G) exactly for important classes of matrix groups, and study the hull spectra of representations of abstract groups.

preprint2013arXiv

Continuity properties of vectors realizing points in the classical field of values

For an nn-by-nn matrix AA, let fAf_A be its "field of values generating function" defined as fA ⁣:x↦x∗Axf_A\colon x\mapsto x^*Ax. We consider two natural versions of the continuity, which we call strong and weak, of fA−1f_A^{-1} (which is of course multi-valued) on the field of values F(A)F(A). The strong continuity holds, in particular, on the interior of F(A)F(A), and at such points z∈∂F(A)z \in \partial F(A) which are either corner points, belong to the relative interior of flat portions of ∂F(A)\partial F(A), or whose preimage under fAf_A is contained in a one-dimensional set. Consequently, fA−1f_A^{-1} is continuous in this sense on the whole F(A)F(A) for all normal, 2-by-2, and unitarily irreducible 3-by-3 matrices. Nevertheless, we show by example that the strong continuity of fA−1f_A^{-1} fails at certain points of ∂F(A)\partial F(A) for some (unitarily reducible) 3-by-3 and (unitarily irreducible) 4-by-4 matrices. The weak continuity, in its turn, fails for some unitarily reducible 4-by-4 and untiarily irreducible 6-by-6 matrices.

preprint2013arXiv

Equal Entries in Totally Positive Matrices

We show that the maximal number of equal entries in a totally positive (resp. totally nonsingular) n-by-nn\textrm{-by-}n matrix is Θ(n4/3)Θ(n^{4/3}) (resp. Θ(n3/2Θ(n^{3/2})). Relationships with point-line incidences in the plane, Bruhat order of permutations, and TPTP completability are also presented. We also examine the number and positionings of equal 2-by-22\textrm{-by-}2 minors in a 2-by-n2\textrm{-by-}n TPTP matrix, and give a relationship between the location of equal 2-by-22\textrm{-by-}2 minors and outerplanar graphs.

preprint2013arXiv

Solution Theory for Systems of Bilinear Equations

Bilinear systems of equations are defined, motivated and analyzed for solvability. Elementary structure is mentioned and it is shown that all solutions may be obtained as rank one completions of a linear matrix polynomial derived from elementary operations. This idea is used to identify bilinear systems that are solvable for all right hand sides and to understand solvability when the number of equations is large or small.

preprint2012arXiv

Nonpositive Eigenvalues of the Adjacency Matrix and Lower Bounds for Laplacian Eigenvalues

Let NPO(k)NPO(k) be the smallest number nn such that the adjacency matrix of any undirected graph with nn vertices or more has at least kk nonpositive eigenvalues. We show that NPO(k)NPO(k) is well-defined and prove that the values of NPO(k)NPO(k) for k=1,2,3,4,5k=1,2,3,4,5 are 1,3,6,10,161,3,6,10,16 respectively. In addition, we prove that for all k≥5k \geq 5, R(k,k+1)≥NPO(k)>TkR(k,k+1) \ge NPO(k) > T_k, in which R(k,k+1)R(k,k+1) is the Ramsey number for kk and k+1k+1, and TkT_k is the kthk^{th} triangular number. This implies new lower bounds for eigenvalues of Laplacian matrices: the kk-th largest eigenvalue is bounded from below by the NPO(k)NPO(k)-th largest degree, which generalizes some prior results.

preprint2010arXiv

The critical exponent for continuous conventional powers of doubly nonnegative matrices

We prove that there exists an exponent beyond which all continuous conventional powers of n-by-n doubly nonnegative matrices are doubly nonnegative. We show that this critical exponent cannot be less than n−2n-2 and we conjecture that it is always n−2n-2 (as it is with Hadamard powering). We prove this conjecture when n<6n<6 and in certain other special cases. We establish a quadratic bound for the critical exponent in general.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.