SearcharxivSearch

arXiv subjects

Fuzhen Zhang

Publications and source records attributed to Fuzhen Zhang.

17 recordsLinked to original sources

Consequences of Matrices Sharing Eigenvalues and Eigenvectors

While studying for a linear algebra final, the first named author prepared some test questions for herself to see how well she understood the material, and asked the second named author: \emph{If $A$ and $A^T$ have the same eigenvalues and eigenvectors, is $A$ a symmetric matrix?} We show how this excellent question is a great springboard to related questions, in particular when do equal eigenvalues and eigenvectors imply the matrices are, if not equal, at least closely related (such as similar or the transpose/complex conjugate transpose of each other)? The answer depends on how we interpret the question, and provides a great opportunity to talk about creating good questions. In particular, we characterize matrices $A$ for which the transpose or conjugate transpose shares the same eigenvectors (regardless of eigenvalues) and, for each eigenvalue, the same eigenpair (equivalently, the same eigenspace). Thus, a square matrix $A$ is Hermitian if and only if $A^*$ has the same eigenpairs as $A$; moreover, if $A$ is a real matrix with real eigenvalues and $A^T$ has the same eigenvectors as $A$, then $A$ is symmetric.

math.GM

Comparison of the upper bounds for the extreme points of the polytopes of line-stochastic tensors

We call a real multi-dimensional array a {\em tensor} for short. In enumerating vertices of the polytopes of stochastic tensors, different approaches have been used: {(1)} Combinatorial method via Latin squares; {(2)} Analytic (topological) approach by using hyperplanes; {(3)} Computational geometry (polytope theory) approach; and (4) Optimization (linear programming) approach. As all these approaches are worthy of consideration and investigation in the enumeration problem, various bounds have been obtained. This note is to compare the existing upper bounds arose from different approaches.

math.CO

Some matrix inequalities of log-majorization type

The purpose of this paper is two-fold: we present some matrix inequalities of log-majorization type for eigenvalues indexed by a sequence; we then apply our main theorem to generalize and improve the Hua-Marcus' inequalities. Our results are stronger and more general than the existing ones.

math.FA

Enumerating extreme points of the polytopes of stochastic tensors: an optimization approac

This paper is concerned with the extreme points of the polytopes of stochastic tensors. By a tensor we mean a multi-dimensional array over the real number field. A line-stochastic tensor is a nonnegative tensor in which the sum of all entries on each line (i.e., one free index) is equal to 1; a plane-stochastic tensor is a nonnegative tensor in which the sum of all entries on each plane (i.e., two free indices) is equal to 1. In enumerating extreme points of the polytopes of line- and plane-stochastic tensors of order 3 and dimension $n$, we consider the approach by linear optimization and present new lower and upper bounds. We also study the coefficient matrices that define the polytopes.

math.CO

Eigenvalue continuity and Geršgorin's theorem

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, we revisit the Geršgorin disk theorem and clarify the issue concerning the proofs of the theorem by continuity.

math.SP

Harnack type inequalities for matrices in majorization

Following the recent work of Jiang and Lin (Linear Algebra Appl. 585 (2020) 45--49), we present more results (bounds) on Harnack type inequalities for matrices in terms of majorization (i.e., in partial products) of eigenvalues and singular values. We discuss and compare the bounds derived through different ways. Jiang and Lin's results imply Tung's version of Harnack's inequality (Proc. Amer. Math. Soc. 15 (1964) 375--381); our results %with simpler proofs are stronger and more general than Jiang and Lin's. We also show some majorization inequalities concerning Cayley transforms. Some open problems on spectral norm and eigenvalues are proposed.

math.FA

The permanent functions of tensors

By a tensor we mean a multidimensional array (matrix) or hypermatrix over a number field. This article aims to set an account of the studies on the permanent functions of tensors. We formulate the definitions of 1-permanent, 2-permanent, and $k$-permanent of a tensor in terms of hyperplanes, planes and $k$-planes of the tensor; we discuss the polytopes of stochastic tensors; at end we present an extension of the generalized matrix function for tensors.

math.CO

On the number of vertices of the stochastic tensor polytope

This paper is devoted to the study of lower and upper bounds for the number of vertices of the polytope of $n\times n\times n$ stochastic tensors (i.e., triply stochastic arrays of dimension $n$). By using known results on polytopes (i.e., the Upper and Lower Bound Theorems), we present some new lower and upper bounds. We show that the new upper bound is tighter than the one recently obtained by Chang, Paksoy and Zhang [Ann. Funct. Anal. 7 (2016), no.~3, 386--393] and also sharper than the one in Linial and Luria's [Discrete Comput. Geom. 51 (2014), no.~1, 161--170]. We demonstrate that the analog of the lower bound obtained in such a way, however, is no better than the existing ones.

math.CO

An extension of Harnack type determinantal inequality

We revisit and comment on the Harnack type determinantal inequality for contractive matrices obtained by Tung in the nineteen sixtieth and give an extension of the inequality involving multiple positive semidefinite matrices.

math.FA

Polytopes of Stochastic Tensors

Considering $n\times n\times n$ stochastic tensors $(a_{ijk})$ (i.e., nonnegative hypermatrices in which every sum over one index $i$, $j$, or $k$, is 1), we study the polytope ($Ω_{n}$) of all these tensors, the convex set ($L_n$) of all tensors in $Ω_{n}$ with some positive diagonals, and the polytope ($Δ_n$) generated by the permutation tensors. We show that $L_n$ is almost the same as $Ω_{n}$ except for some boundary points. We also present an upper bound for the number of vertices of $Ω_{n}$.

math.CO

An update on a few permanent conjectures

We review and update on a few conjectures concerning matrix permanent that are easily stated, understood, and accessible to general math audience. They are: Soules permanent-on-top conjecture${}^\dagger$, Lieb permanent dominance conjecture, Bapat and Sunder conjecture${}^\dagger$ on Hadamard product and diagonal entries, Chollet conjecture on Hadamard product, Marcus conjecture on permanent of permanents, and several other conjectures. Some of these conjectures are recently settled; some are still open. We also raise a few new questions for future study. (${}^\dagger$conjectures have been recently settled negatively.)

math.CO

An inequality for tensor product of positive operators and its applications

We present an inequality for tensor product of positive operators on Hilbert spaces by considering the tensor product of operators as words on certain alphabets (i.e., a set of letters). As applications of the operator inequality and by a multilinear approach, we show some matrix inequalities concerning induced operators and generalized matrix functions (including determinants and permanents as special cases).

math.FA

Positivity of Partitioned Hermitian Matrices with Unitarily Invariant Norms

We give a short proof of a recent result of Drury on the positivity of a $3\times 3$ matrix of the form $(\|R_i^*R_j\|_{\rm tr})_{1 \le i, j \le 3}$ for any rectangular complex (or real) matrices $R_1, R_2, R_3$ so that the multiplication $R_i^*R_j$ is compatible for all $i, j$, where $\|\cdot\|_{\rm tr}$ denotes the trace norm. We then give a complete analysis of the problem when the trace norm is replaced by other unitarily invariant norms.

math.RA

An operator equality involving a continuous field of operators and its norm inequalities

Let ${\mathfrak A}$ be a $C^*$-algebra, $T$ be a locally compact Hausdorff space equipped with a probability measure $P$ and let $(A_t)_{t\in T}$ be a continuous field of operators in ${\mathfrak A}$ such that the function $t \mapsto A_t$ is norm continuous on $T$ and the function $t \mapsto \|A_t\|$ is integrable. Then the following equality including Bouchner integrals holds \begin{eqnarray}\label{oi} \int_T|A_t - \int_TA_s{\rm d}P|^2 {\rm d}P=\int_T|A_t|^2{\rm d}P - |\int_TA_t{\rm d}P|^2 . \end{eqnarray} This equality is related both to the notion of variance in statistics and to a characterization of inner product spaces. With this operator equality, we present some uniform norm and Schatten $p$-norm inequalities.

math.OA