Abstract
The positive definiteness of rectangular tensors has wide applications in solid mechanics and quantum physics. By modifying the existing definition of singular value for rectangular tensors, some V-singular value inclusion sets for rectangular tensors with positive diagonal entries are established to provide verifiable sufficient conditions for the positive definiteness of rectangular tensors. In addition, an upper bound for the largest V-singular value of nonnegative rectangular tensors is provided.
Similar content being viewed by others
1 Introduction
Let \(\mathbb{R} (\mathbb{C})\) be the real (complex) field, p, q, m, n be positive integers, \(m,n \geq 2\), \([n]=\{1,2,\ldots, n\}\). A \((p,q)\)th order \((m\times n)\)-dimensional real rectangular tensor, denoted by \(\mathcal{A}=(a_{i_{1} \ldots i_{p}j_{1} \ldots j_{q}}) \in \mathbb{R}^{[p;q;m;n]}\), is defined as follows:
When \(p = q = 1\), \(\mathcal{A}\) is simply a real \(m \times n\) rectangular matrix.
\(\mathcal{A}\) is called nonnegative if \(a_{i_{1} \ldots i_{p}j_{1} \ldots j_{q}} \geq 0\), denoted by \(\mathcal{A} \in \mathbb{R}_{+}^{[p;q;m;n]}\). We say that \(\mathcal{A}\) is a real partially symmetric rectangular tensor if \(a_{i_{1} \ldots i_{p}j_{1} \ldots j_{q}}\) is invariant under any permutation of indices among \(i_{1} ,\ldots,i_{p}\) and any permutation of indices among \(j_{1} ,\ldots, j_{q}\), i.e.,
where \(S_{r}\) is the permutation group of r indices.
For any vectors \(x \in \mathbb{C}^{m} \), \(y \in \mathbb{C}^{n} \), let \(\mathcal{A}x^{p-1}y^{q}\) be a vector in \(\mathbb{C}^{m}\) such that
where \(i\in [m]\). Let \(\mathcal{A}x^{p}y^{q-1}\) be a vector in \(\mathbb{C}^{n}\) such that
where \(j\in [n]\). If there exist a number \(\lambda \in \mathbb{C}\), vectors \(x \in \mathbb{C}^{m} \backslash \{0\}\), and \(y \in \mathbb{C}^{n} \backslash \{0\}\) such that
where \(x^{[\alpha ]}=[x_{1}^{\alpha },\ldots, x_{n}^{\alpha }]^{T}\) and \(l=p+q\), then λ is called the singular value of \(\mathcal{A}\), and \((x, y)\) is the left and right eigenvector pair of \(\mathcal{A}\), associated with λ. If \(\lambda \in \mathbb{R}\), \(x \in \mathbb{R}^{m}\), and \(y \in \mathbb{R}^{n}\), then we say that λ is an H-singular value of \(\mathcal{A}\), and \((x, y)\) is the left and right H-eigenvector pair associated with λ; see [1,2,3,4].
We call \(\mathcal{A}\) an elasticity tensor, if \(p =q = 2\), \(m =n = 2\) or 3, and \(\mathcal{A}\) is a real partially symmetric rectangular tensor. When \(\mathcal{A}\) is an elasticity tensor, the strong ellipticity condition holds if and only if \(\mathcal{A}\) is positive definite, the strong ellipticity condition plays an important role in the theory of elasticity [5, 6]. By introducing the H-singular values of a partially symmetric tensor, Chang et al. [1] provided a necessary and sufficient condition for the positive definiteness of a partially symmetric rectangular tensor as follows.
Theorem 1
([1])
Suppose that \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) is a partially symmetric rectangular tensor, p and q are even. Then \(\mathcal{A}\) is positive definite, i.e.,
for all nonzero vectors \(x\in \mathbb{R}^{m}\), \(y\in \mathbb{R}^{n}\) if and only if all of its H-singular values are positive.
In 2005, Qi obtained a Geršgorin-type H-eigenvalue localization set for real symmetric tensors, which is useful in verifying the positive definiteness of square tensor \(\mathcal{A}\) [7, 8]. And then some improved results are given in [9,10,11,12]. Recently, the problem of singular value inclusion sets for rectangular tensors became an important topic [13,14,15]. Unfortunately, these singular value inclusion sets of rectangular tensors cannot be used to verify the positive definiteness of a rectangular tensor.
Inspired by the above, in Sect. 2, we intend to introduce the definition of V-singular value for a rectangular tensor and study its properties. In Sect. 3, we give some V-singular value inclusion sets for rectangular tensors with positive diagonal entries. As applications, we give an upper bound for the largest V-singular value of nonnegative rectangular tensors in Sect. 4, and sufficient conditions of the positive definiteness for rectangular tensors are also provided in Sect. 5.
2 V-singular values of rectangular tensors
First, we introduce the definition of a V-singular value for a rectangular tensor, which can be viewed as a variant of the definition of H-singular value [1, 2].
Definition 1
Let \(\mathcal{A} \in \mathbb{R}^{[p;q;m;n]}\), \(p,q \geq 2\). If there exist a number \(\lambda \in \mathbb{R}\), vectors \(x \in \mathbb{R}^{m} \backslash \{0 \}\), and \(y \in \mathbb{R}^{n} \backslash \{0\}\) such that
then λ is called the V-singular value of \(\mathcal{A}\), and \((x, y)\) is the left and right eigenvector pair of \(\mathcal{A}\) associated with λ.
Remark 1
When \(p=2\), \(q = 2\), our definition is the same as the M-eigenvalue which is introduced in [16].
Remark 2
When p is even and q is even, our definition can be viewed as a special case of the \(l^{k,s}\)-singular value which is introduced in [4]. However, when one of p, q is odd, the definition of V-singular value is different from the \(l^{k,s}\)-singular value.
Theorem 2
Let \(\mathcal{A} \in \mathbb{R}^{[p;q;m;n]}\). We have the following conclusions:
-
(a)
If x and y are left and right eigenvectors of \(\mathcal{A}\), associated with a V-singular value λ of \(\mathcal{A}\), then
$$ \lambda =f(x,y)=\mathcal{A}x^{p}y^{q}. $$ -
(b)
When p is odd and q is odd, then \((\lambda , -x, -y)\), \((-\lambda , -x, y)\), and \((-\lambda , x, -y)\) are also V-singular values and their associated eigenvectors of \(\mathcal{A}\).
-
(c)
When p is odd and q is even, then \((\lambda , x, -y)\), \((-\lambda , -x, y)\), and \((-\lambda , -x, -y)\) are also V-singular values and their associated eigenvectors of \(\mathcal{A}\).
-
(d)
When p is even and q is even, then \((\lambda , -x, -y)\), \((\lambda , -x, y)\), and \((\lambda , x, -y)\) are also V-singular values and their associated eigenvectors of \(\mathcal{A}\).
Proof
By the first equation of (3), we have
By the second equation of (3), we have
We thus have conclusion (a).
It is straightforward to verify the assertions (b), (c) and (d). □
3 V-singular value inclusion sets for rectangular tensors with positive diagonal entries
Let \(\sigma (\mathcal{A})\) be the set containing all V-singular values of \(\mathcal{A}=(a_{i_{1} \ldots i_{p}j_{1} \ldots j_{q}})\in \mathbb{R}^{[p;q;m;n]}\). We call the entries \(a_{i\ldots ij \ldots j}\) (\(i\in [m]\), \(j \in [n] \)) diagonal, and other entries are called off-diagonal. In this section, some new V-singular value inclusion sets are given to locate all V-singular values of rectangular tensors with positive diagonal entries.
Theorem 3
Consider \(\mathcal{A}=(a_{i_{1} \ldots i _{p}j_{1} \ldots j_{q}})\in \mathbb{R}^{[p;q;m;n]} \) with positive diagonal entries, p and q even, and \(\Delta =\{(j_{1} ,\ldots,j _{q}): (1,\ldots,1),\ldots, (n,\ldots,n)\}\). Then
where \(\min_{i \in [m]}\{a_{i\ldots i1\ldots 1},\ldots,a_{i \ldots in\ldots n}\}=\underline{\alpha _{i}}\), \(\max_{i \in [m]} \{a_{i\ldots i1\ldots 1},\ldots,a_{i\ldots in\ldots n}\}=\overline{ \alpha _{i}}\),
Proof
Assume that λ is a V-singular value of \(\mathcal{A}\), \(x=(x_{i})_{i=1}^{m}\in \mathbb{R}^{m}\backslash \{0\}\) and \(y=(y_{j})_{j=1}^{n}\in \mathbb{R}^{n}\backslash \{0\}\) are the corresponding left and right eigenvectors. Let \(\vert x_{s}\vert =\max_{i\in [m]}\{\vert x_{i}\vert \}\). Then \(\vert x_{s}\vert \neq 0\). The sth equation of \(\mathcal{A}x^{p - 1} y^{q} = \lambda x^{[p - 1]} \) is
which can be rewritten as
Therefore,
By taking absolute values on both sides and the fact that \(\sum_{j=1}^{n}y_{j}^{q}=1\), q is even, we have
Note that
Then,
Dividing \(\vert x_{s}\vert \) on both sides of (4) yields
Thus \(\sigma (\mathcal{A}) \subseteq \varGamma _{1}(\mathcal{A})\). This completes the proof. □
Similarly, using the forms \(\mathcal{A}x^{p } y^{q-1} = \lambda y^{[q - 1]}\) and \(\sum_{i=1}^{m}x_{i}^{p}=1\), we can get the following V-singular value interval.
Theorem 4
Consider \(\mathcal{A}=(a_{i_{1} \ldots i _{p}j_{1} \ldots j_{q}})\in \mathbb{R}^{[p;q;m;n]} \) with positive diagonal entries, p and q even, and \(\varOmega =\{(i_{1} ,\ldots,i _{p}): (1,\ldots,1),\ldots, (m,\ldots,m)\}\). Then
where \(\min_{j \in [n]}\{a_{1\ldots 1j\ldots j},\ldots,a_{m \ldots mj\ldots j}\}=\underline{\beta _{j}}\), \(\max_{j \in [n]} \{a_{1\ldots 1j\ldots j},\ldots,a_{m\ldots mj\ldots j}\}=\overline{ \beta _{j}}\),
By Theorems 3 and 4, we can get an inclusion set to locate all V-singular value of a rectangular tensor.
Corollary 1
Consider \(\mathcal{A}=(a_{i_{1} \ldots i _{p}j_{1} \ldots j_{q}})\in \mathbb{R}^{[p;q;m;n]} \) with positive diagonal entries, as well as p and q even. Then
Example 1
Let us consider the rectangular tensor \(\mathcal{A}\in \mathbb{R}^{[2;4;2;2]} \) with
and other \(a_{i_{1}i_{2}j_{1}\ldots j_{4}}=0\).
The V-singular value inclusion set \(\varGamma (\mathcal{A})\) and the exact V-singular values are drawn in Fig. 1, where \(\varGamma (\mathcal{A})\) is represented by solid boundary, and the exact V-singular values are plotted by “*”. It is easy to see that \(\sigma (\mathcal{A})=\{2 \pm \sqrt{2}\} \subseteq \varGamma (\mathcal{A})\), that is, \(\varGamma ( \mathcal{A})\) can capture all V-singular values of \(\mathcal{A}\).
4 Nonnegative rectangular tensors
In this section, we give some results for the V-singular value of nonnegative rectangular tensors. The following definition for irreducibility has been introduced in [17].
Definition 2
The square tensor \(\mathcal{A}\) is called reducible if there exists a nonempty proper index subset \(\mathbb{J} \subset \{ 1,2,\ldots,n \}\) such that \(a_{i_{1},i_{2},\ldots,i_{m}} = 0\), \(\forall i_{1} \in \mathbb{J}\), \(\forall i_{2},\ldots, i_{m} \notin \mathbb{J}\). If \(\mathcal{A}\) is not reducible, then we call \(\mathcal{A}\) irreducible.
The Perron–Frobenius theorem for nonnegative square tensors is introduced in [18], which states that the spectral radius of any nonnegative square tensor is an eigenvalue with a nonnegative eigenvector, and the eigenvector is positive and unique if the square tensor is irreducible. For any \(j \in [n]\), let \(\mathcal{A}(\cdot , j )=(a_{i_{1} \ldots i_{p}j \ldots j})\) be a pth order m-dimensional square tensor. For any \(i \in [m]\), let \(\mathcal{A}(\cdot , i )=(a _{i \ldots ij_{1} \ldots j_{q}})\) be a qth order n-dimensional square tensor.
Definition 3
([1])
A nonnegative rectangular tensor \(\mathcal{A}\) is called irreducible if all the square tensors \(\mathcal{A}(\cdot , j )\), \(j \in [n]\), and \(\mathcal{A}( \cdot , i )\), \(i \in [m]\), are irreducible.
Denote by \(\lambda _{\max }(\mathcal{A})\) the maximal V-singular value of \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]}\). Then
And we call
the largest V-singular value of \(\mathcal{A}\). We have the following result.
Theorem 5
Let \(\mathcal{A}=(a_{i_{1} \ldots i_{p}j _{1} \ldots j_{q}})\in \mathbb{R}^{[p;q;m;n]}_{+} \). Then, \(\rho _{V}( \mathcal{A})=\lambda _{\max }(\mathcal{A})\), and there is a pair of nonnegative eigenvectors corresponding to \(\rho _{V}(\mathcal{A})\). Furthermore, if \(\mathcal{A}\) is irreducible, then \(\rho _{V}( \mathcal{A})=\lambda _{\max }(\mathcal{A})\), and there is a pair of positive eigenvectors corresponding to \(\rho _{V}(\mathcal{A})\).
Proof
Assume that λ is a V-singular value of \(\mathcal{A}\), \(x=(x_{i})_{i=1}^{m}\in \mathbb{R}^{m}\) and \(y=(y_{j})_{j=1} ^{n}\in \mathbb{R}^{n}\) are the corresponding left and right eigenvectors. Then \(\lambda =\mathcal{A}x^{p}y^{q}\) and, by the nonnegativity of the entries of \(\mathcal{A}\), we have
Next, we consider the eigenvectors of \(\rho _{V}(\mathcal{A})\). Assume that \(\lambda _{\max }(\mathcal{A})\) is the maximal V-singular value of \(\mathcal{A}\), μ and ν are the corresponding left and right eigenvectors, and one of μ or ν is not a nonnegative vector. Then we have
which implies \(\lambda _{\max }(\mathcal{A})=\mathcal{A}\vert \mu ^{p}\vert \vert \nu ^{q} \vert \). Therefore, \(\vert \mu \vert \) and \(\vert \nu \vert \) are the left and right nonnegative eigenvectors corresponding to \(\lambda _{\max }(\mathcal{A})\).
If \(\mathcal{A}\) is irreducible, by Lemma 2 in [1], \(\mathcal{A}\vert \mu ^{p-1}\vert \vert \nu ^{q} \vert \neq 0\), \(\mathcal{A}\vert \mu ^{p}\vert \vert \nu ^{q-1} \vert \neq 0\), that is to say, \(\vert \mu \vert >0\) and \(\vert \nu \vert >0\).
Hence, the proof is completed. □
From Theorem 5, we obtain the the following corollary.
Corollary 2
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} _{+} \). Then,
We have the following lemma.
Lemma 1
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} _{+} \). Then,
Proof
Let \(e_{i}\) be an m-dimensional real vector, whose ith entry is 1, and others are 0, also let \(e_{j}\) be an n-dimensional real vector, whose jth entry is 1 and others are 0. Hence, from Corollary 2,
for any \(i\in [m]\), \(j\in [n]\). This means \(\rho (\mathcal{A})\geq \max_{i\in [m],j\in [n]} \{a_{i\ldots ij \ldots j} \}\). □
Based on Theorem 5, an upper bound for the largest V-singular value of nonnegative rectangular tensors is given.
Theorem 6
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) be nonnegative. Then,
Proof
Because \(\rho _{V} (\mathcal{A})\) is a V-singular value of \(\mathcal{A}\), \(x=(x_{i})_{i=1}^{m}\in \mathbb{R}^{m}\backslash \{0\}\) and \(y=(y_{j})_{j=1}^{n}\in \mathbb{R}^{n}\backslash \{0\}\) are the corresponding left and right eigenvectors. From Theorem 5, we have \(x,y \geq 0\). Let \(x_{s}=\max_{i\in [m]}\{x_{i}\}\). Then \(x_{s}> 0\). The sth equation of \(\mathcal{A}x^{p - 1} y^{q} = \lambda x^{[p - 1]} \) is
Then,
Similarly, let \(y_{t}=\max_{j\in [n]}\{y_{j}\}\). Then \(y_{t}> 0\). Considering the tth equation of \(\mathcal{A}x^{p} y ^{q-1} = \lambda y^{[q - 1]} \), we can get
The proof is completed. □
Example 2
Let us consider the rectangular tensor \(\mathcal{A}\in \mathbb{R}^{[2;4;2;2]} \) with
and other \(a_{i_{1}i_{2}j_{1}\ldots j_{4}}=0\).
By Theorem 6, we have
In fact, \(\rho _{V}(\mathcal{A})= 4\).
Example 3
Let us consider the rectangular tensor \(\mathcal{A}\in \mathbb{R}^{[3;2;2;2]} \) with
and other \(a_{i_{1}i_{2}i_{3}j_{1}j_{2}}=0\).
By Theorem 6, we have
In fact, \(\rho _{V}(\mathcal{A})= 4\).
5 Positive definiteness of rectangular tensors
In this section, we provide some verifiable sufficient conditions for the positive definiteness of rectangular tensors. We have the following theorem.
Theorem 7
Suppose that \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) is a partially symmetric rectangular tensor, p and q are even. Then,
-
(a)
There exist V-singular value of \(\mathcal{A}\) and associated left and right eigenvectors.
-
(b)
\(\mathcal{A}\) is positive definite if and only if all of its V-singular values are positive.
Proof
Consider the following optimization problem:
The objective function \(f(x,y)\) is continuous in variables x and y. When p and q are even, the feasible set \(\{(x,y)\in \mathbb{R}^{m} \times \mathbb{R}^{n}:\sum_{i=1}^{m}x_{i}^{p}=1, \sum_{j=1}^{n}y_{j}^{q}=1\}\) is compact. Then, there exist vectors \(x_{*}\) and \(y_{*}\) that solve the optimization problem with the minimal objective value \(\lambda _{*}=\mathcal{A}x_{*}^{p}y_{*}^{q}\).
By the Lagrangian multiplier method, for the optimal solution \((x_{*}, y_{*})\), there exist multipliers λ and μ such that
and then we have \(\lambda =\mu =\lambda _{*}=\mathcal{A}x_{*}^{p}y_{*} ^{q}\). Therefore, \(\lambda _{*}\), \(x_{*}\) and \(y_{*}\) satisfy the conditions of Definition 1. This proves existence.
When p and q are even, \(\mathcal{A}\) is positive definite if and only if the optimal objective function value of (6) is positive. Suppose that every V-singular value of \(\mathcal{A}\) is positive. By the proof for (a), \(\lambda _{*}\), \(x_{*}\) and \(y_{*}\) are the optimal solution of (6), and \(\lambda _{*}\) is a V-singular value of \(\mathcal{A}\). That is to say, \(\lambda _{*}>0\). Hence, \(\mathcal{A}\) is positive definite.
On the other hand, suppose that \(\mathcal{A}\) is positive definite. Let λ be a V-singular value of \(\mathcal{A}\), x and y be a left and right eigenvectors of \(\mathcal{A}\) associated with λ. If \(f(x,y)>0\), by Theorem 2, we have \(\lambda >0\).
The proof is completed. □
Two sufficient conditions for the positive definiteness of partially symmetric rectangular tensors are obtained. First, we need the following lemma.
Lemma 2
Suppose that \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) is a partially symmetric rectangular tensor, and p and q are even. If \(\mathcal{A}\) is positive definite, then
Proof
Let \(e_{i}\) be an m-dimensional real vector, whose ith entry is 1 and others are 0, also let \(e_{j}\) be an n-dimensional real vector, whose jth entry is 1 and others are 0. Since the partially symmetric rectangular tensor \(\mathcal{A}\) is positive definite,
for any \(i\in [m]\), \(j\in [n]\). □
Theorem 8
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) be a partially symmetric rectangular tensor, p and q even, and \(a_{i\ldots i1\ldots 1}= \cdots =a_{i\ldots in\ldots n}=\alpha _{i}>0\), \(i\in [m]\). If for all \(i \in [m]\),
then \(\mathcal{A}\) is positive definite.
Proof
Assume that \(\lambda \leq 0\) is a V-singular value of \(\mathcal{A}\). From Theorem 3, we have \(\lambda \in \varGamma _{1}( \mathcal{A})\), hence, there is \(i_{0} \in [m]\) such that
From \(\alpha _{i_{0}}>0\) for all \(i_{0} \in [m]\), we get
This is a contradiction. Hence, \(\lambda > 0\). Then, the partially symmetric rectangular tensor \(\mathcal{A}\) is positive definite. □
Similarly to the proof of Theorem 8, we can get the following result.
Theorem 9
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) be a partially symmetric rectangular tensor, p and q even, and \(a_{1\ldots 1j\ldots j}= \cdots =a_{m\ldots mj\ldots j}=\beta _{j}>0\), \(j\in [n]\). If for all \(j \in [n]\),
then \(\mathcal{A}\) is positive definite.
Theorem 10
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) be a partially symmetric rectangular tensor with positive diagonal entries, p and q even, and
Assume \(\mathcal{B}_{1}\) and \(\mathcal{B}_{2}\) are partially symmetric rectangular tensors whose \((i_{1}\ldots i_{p}j_{1}\ldots j_{q})\)th entries are respectively defined as follows:
and
If \(\mathcal{B}_{1}\) (or \(\mathcal{B}_{2}\)) is positive definite, then \(\mathcal{A}\) is positive definite.
Proof
Let \(x\in \mathbb{R}^{m}\), \(y \in \mathbb{R}^{n}\) be two nonzero vectors. Since \(\mathcal{B}_{1}\) is positive definite, from the definition of positive definite partially symmetric rectangular tensor, we have
Then, we have
Thus \(\mathcal{A}\) is positive definite.
If \(\mathcal{B}_{2}\) is positive definite, then
Then, we have
Thus \(\mathcal{A}\) is positive definite. □
By Theorem 8, 9 and 10, we have the following sufficient conditions for the positive definiteness of partially symmetric rectangular tensors.
Theorem 11
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) be a partially symmetric rectangular tensor with positive diagonal entries, p and q even, and
If for all \(i\in [m]\), \(j\in [n]\),
or
then \(\mathcal{A}\) is positive definite.
Based on the above theorem, we introduce the definition of strictly diagonally dominated (SDD) partially symmetric rectangular tensors.
Definition 4
Let \(\mathcal{A}\in \mathbb{R}^{[p;q;m;n]} \) be a partially symmetric rectangular tensor with positive diagonal entries, p and q even, and
Then, the partially symmetric rectangular tensor \(\mathcal{A}\) is called strictly diagonally dominated (SDD), if for all \(i \in [m]\), \(j\in [n]\),
or
Example 4
Let us consider the rectangular tensor \(\mathcal{A}\in \mathbb{R}^{[2;4;2;2]} \) with
and other \(a_{i_{1}i_{2}j_{1}\ldots j_{4}}=0\).
It can be verified that \(\mathcal{A}\) satisfies all the conditions of Theorem 11, i.e., \(\mathcal{A}\) is an SDD partially symmetric rectangular tensor. Hence, from Theorem 11, \(\mathcal{A}\) is a positive definite rectangular tensor. In fact, the V-singular values of \(\mathcal{A}\) are 2.1 and 0.1. From the definition of positive definite partially symmetric rectangular tensors, \(\mathcal{A}\) is positive definite.
Example 5
Let us consider the rectangular tensor \(\mathcal{A}\in \mathbb{R}^{[2;6;2;2]} \) with
and other \(a_{i_{1}i_{2}j_{1}\ldots j_{6}}=0\).
It can be verified that \(\mathcal{A}\) satisfies all the conditions of Theorem 11, i.e., \(\mathcal{A}\) is an SDD partially symmetric rectangular tensor. Hence, from Theorem 11, \(\mathcal{A}\) is a positive definite rectangular tensor. In fact, the V-singular values of \(\mathcal{A}\) are 3.9 and 0.1. From the definition of positive definite partially symmetric rectangular tensors, \(\mathcal{A}\) is positive definite.
6 Conclusions
In this paper, we introduce the definition of V-singular value for rectangular tensors and obtain some V-singular value inclusion sets for rectangular tensors with positive diagonal entries, an upper bound for the largest V-singular value of nonnegative rectangular tensors is also given. As applications, some sufficient conditions for the positive definiteness of partially symmetric rectangular tensors are obtained. These conditions only depend on the elements of partially symmetric rectangular tensors and thus can be easily verified. At last, we introduce the definition of SDD partially symmetric rectangular tensor and show that the SDD partially symmetric rectangular tensor is positive definite.
References
Chang, K., Qi, L., Zhou, G.: Singular values of a real rectangular tensor. J. Math. Anal. Appl. 370, 284–294 (2010)
Zhou, G., Caccetta, L., Qi, L.: Convergence of an algorithm for the largest singular value of a nonnegative rectangular tensor. Linear Algebra Appl. 438, 959–968 (2013)
Zhang, L.: Linear convergence of an algorithm for largest singular value of a nonnegative rectangular tensor. Front. Math. China 8, 141–153 (2013)
Ling, C., Qi, L.: \(l^{k,s}\)-Singular values and spectral radius of rectangular tensors. Front. Math. China 8, 63–83 (2013)
Chirita, S., Danescu, A., Ciarletta, M.: On the strong ellipticity of the anisotropic linearly elastic materials. J. Elast. 87, 1–27 (2007)
Han, D., Dai, H., Qi, L.: Conditions for strong ellipticity of anisotropic elastic materials. J. Elast. 97, 1–13 (2009)
Qi, L.: Eigenvalues of a real supersymmetric tensor. J. Symb. Comput. 40, 1302–1324 (2005)
Qi, L., Luo, Z.: Tensor Analysis Spectral Theory and Special Tensors. SIAM, Philadelphia (2017)
Li, C., Li, Y., Kong, X.: New eigenvalue inclusion sets for tensors. Numer. Linear Algebra Appl. 21, 39–50 (2014)
Li, C., Li, Y.: An eigenvalue localization set for tensors with applications to determine the positive (semi-)definiteness of tensors. Linear Multilinear Algebra 64, 587–601 (2016)
Li, C., Zhou, J., Li, Y.: A new Brauer-type eigenvalue localization set for tensors. Linear Multilinear Algebra 64, 727–736 (2016)
Li, C., Jiao, A., Li, Y.: An s-type eigenvalue localization set for tensors. Linear Algebra Appl. 493, 469–483 (2016)
Zhao, J., Li, C.: Singular value inclusion sets for rectangular tensors. Linear Multilinear Algebra 66, 1333–1350 (2018)
Zhao, J.: Two new singular value inclusion sets for rectangular tensors. Linear Multilinear Algebra (2018)
Yao, H., Zhang, C., Lei, L., Bu, C.: Singular value inclusion sets of rectangular tensors. Linear Algebra Appl. (2018)
Wang, Y., Qi, L., Zhang, X.: A practical method for computing the largest m-eigenvalue of a fourth-order partially symmetric tensor. Numer. Linear Algebra Appl. 16, 589–601 (2009)
Chang, K., Pearson, K., Zhang, T.: Perron–Frobenius theorem for nonnegative tensors. Front. Math. China 6, 507–520 (2008)
Yang, Y., Yang, Q.: Singular values of nonnegative rectangular tensors. Front. Math. China 6, 263–378 (2011)
Acknowledgements
The author would like to thank anonymous referees for encouraging and critical comments and suggestions that definitely led to improvements of the original manuscript.
Availability of data and materials
The datasets generated during and/or analyzed during the current study are available from the corresponding author upon request.
Funding
This work is supported by National Natural Science Foundations of China (11661084, 71461027); Science and Technology Foundation of Guizhou province (Qian Ke He Ji Chu [2016]1161, [2017]1201); Guizhou Province Natural Science Foundation in China (Qian Jiao He KY [2016]255); Innovative talent team in Guizhou Province (Qian Ke He Pingtai Rencai [2016]5619); High-level innovative talents of Guizhou Province (Zun Ke He Ren Cai [2017]8); The doctoral scientific research foundation of Zunyi Normal College (BS [2015]09).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
He, J., Liu, Y., Xu, G. et al. V-singular values of rectangular tensors and their applications. J Inequal Appl 2019, 84 (2019). https://doi.org/10.1186/s13660-019-2036-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2036-4