- Research
- Open access
- Published:
Two S-type Z-eigenvalue inclusion sets for tensors
Journal of Inequalities and Applications volume 2017, Article number: 152 (2017)
Abstract
In this paper, we present two S-type Z-eigenvalue inclusion sets involved with a nonempty proper subset S of N for general tensors. It is shown that the new sets are tighter than those provided by Wang et al. (Discrete Contin. Dyn. Syst., Ser. B 22(1):187-198, 2017). Furthermore, we obtain upper bounds for the spectral radius of weakly symmetric nonnegative tensors, which are sharper than existing results.
1 Introduction
Let \(\mathcal{C}\) (\(\mathcal{R}\)) be the set of all complex (real) numbers and \(N=\{1,2,\ldots,n\}\). A real m-order n-dimensional tensor \(\mathcal{A}\) consists of \(n^{m}\) elements:
\(\mathcal{A}\) is called nonnegative (positive) if \(a_{{i_{1}}{i_{2}}\ldots {i_{m}}}\geq0\) (\(a_{{i_{1}}{i_{2}}\ldots{i_{m}}}> 0\)).
The following two definitions of eigenpairs were introduced by Qi [2] and Lim [3], respectively.
Definition 1
Let \(\mathcal{A}\) be a tensor with order m and dimension n. If there exist a nonzero vector \(x=[x_{1}, x_{2}, \ldots, x_{n}]^{T} \in\mathcal {C}^{n}\) and a number \(\lambda\in\mathcal{C}\) satisfying the equation
then \((\lambda, x)\) is called an eigenvalue-eigenvector of \(\mathcal {A}\), where
and \(x^{[m-1]}=[x^{m-1}_{1},x^{m-1}_{2},\ldots,x^{m-1}_{n}]^{T}\). \((\lambda,x)\) is called an H-eigenpair of \(\mathcal{A}\) if they are all real.
Definition 2
Let \(\mathcal{A}\) be a tensor with order m and dimension n. We say that \((\lambda,x)\in\mathcal{C}\times(\mathcal{C}^{n}\setminus\{0\})\) is an E-eigenpair of \(\mathcal{A}\) if
\((\lambda,x)\) is called a Z-eigenpair if they are real.
As we know, the Z-eigenpair for nonnegative tensors plays an important role in some applications such as high order Markov chains [4, 5] and best rank-one approximations in statistical data analysis [6, 7]. Some effective algorithms for finding Z-eigenvalue and the corresponding eigenvector of tensors have been implemented [8, 9]. Generally, we cannot judge that Z-eigenvalues generated by the above algorithms are the largest Z-eigenvalues. Therefore, the following definitions were introduced and used by Qi [2] and by Chang [8] for studying important characterizations of the largest Z-eigenvalue of a tensor.
Definition 3
[2]
Let \(\mathcal{A}\) be a tensor with order m and dimension n. We define \(\sigma(\mathcal{A})\) the Z-spectrum of \(\mathcal{A}\) by the set of all Z-eigenvalues of \(\mathcal{A}\). Assume \(\sigma(\mathcal{A})\neq \emptyset\). Then the Z-spectral radius of \(\mathcal{A}\) is denoted as
Definition 4
[8]
Let \(\mathcal{A}\) be a tensor with order m and dimension n. \(\mathcal{A}\) is weakly symmetric if the associated homogeneous polynomial \(\mathcal{A}x^{m}\) satisfies
Based on the weakly symmetric condition, Chang et al. [8] established the equivalent relation between the largest Z-eigenvalue and Z-spectral radius of nonnegative tensors. On the basis of the relationship between the Gelfand formula and the spectral radius, Song et al. [10] gave the Z-spectral radius bound for nonnegative tensors. He et al. [11–13] presented the largest Z-eigenvalue for weakly symmetric nonnegative (positive) tensors. Furthermore, Li et al. [14] improved some bounds for the eigenvector and Z-spectral radius. For general tensors, Wang et al. [1] established Gershgorin-type Z-eigenvalue inclusion theorems. Moreover, Zhao et al. [15] extended some results of [1]. Very recently, Li et al. [16] introduced an S-partition method and established S-type H-eigenvalue localization sets, which may reduce computations. Therefore, we want to use the S-partition method and propose S-type Z-eigenvalue inclusion sets for general tensors.
The remainder of this paper is organized as follows. In Section 2, we establish S-type Z-eigenvalue inclusion sets for general tensors by breaking N into a disjoint subset S and its complement, which is proved to be tighter than the sets in [1]. In Section 3, as applications of the above results, we propose some new bounds on the Z-spectral radius of a weakly symmetric tensor and show that they are tighter than the existing bounds in [1, 8, 10–12, 14] by Example 2.
2 S-Type Z-eigenvalue inclusion sets
In this section, we give S-type Z-eigenvalue inclusion sets of the tensor \(\mathcal{A}\) by dividing N into disjoint subsets S and SÌ„, where SÌ„ is the complement of S in N. Furthermore, we establish comparisons among different Z-eigenvalue inclusion sets.
In what follows, we introduce a lemma for a general tensor.
Lemma 1
Theorem 3.1 of [1]
Let \(\mathcal{A}\) be a tensor with order m and dimension \(n\geq2\). Then all Z-eigenvalues of \(\mathcal{A}\) are located in the union of the following sets:
where \(\mathcal{K}_{i}(\mathcal{A})=\{z\in\mathcal{C}:|z|\leq R_{i}(\mathcal{A})\}\) and \(R_{i}(\mathcal{A})=\sum_{i_{2},\ldots ,i_{m}\in N}|a_{{i}{i_{2}}\ldots{i_{m}}}|\).
By using the partition technique in [16], we present the following notations. Let \(\mathcal{A}\) be an mth order n-dimensional tensor and S be a nonempty proper subset of N. Set
Then
where
Theorem 1
Let \(\mathcal{A}\) be a tensor with order m and dimension \(n\geq2\) and S be a nonempty proper subset of N. Then all Z-eigenvalues of \(\mathcal{A}\) are located in the union of the following sets:
where
Proof
Let λ be a Z-eigenvalue of \(\mathcal{A}\) with corresponding eigenvector x, i.e.,
Let \(|x_{t}|={\max\{|x_{i}|: i\in S\}}\), \(|x_{s}|= {\max\{ |x_{i}|: i\in\bar{S}\}}\). Then at least one of \(|x_{t}|\) and \(|x_{s}|\) is nonzero. We next divide the proof into three parts.
(i) If \(x_{t}x_{s}\neq0\) and \(|x_{s}|\geq|x_{t}|\), then \(|x_{s}|={\max\{|x_{i}|: i\in N\}} > 0\). From equality (1), we have
Noting that \(|x_{t}|^{m-1}\leq|x_{t}| \leq1\), \(|x_{s}|^{m-1}\leq|x_{s}| \leq 1\) and taking modulus in the above equation, one has
Dividing both sides by \(|x_{s}|\) in (2), we get
On the other hand, by (1), we obtain
Dividing both sides by \(|x_{t}|\) in the above inequality and from \(|x_{s}|^{m-1}\leq|x_{s}|\), one has
Multiplying (3) by (4), we see
thus, \(\lambda\in\mathcal{G}_{t,s} ^{S}(\mathcal{A})\subseteq \mathcal {G}^{S}(\mathcal{A})\).
(ii) If \(x_{t}x_{s}\neq0\) and \(|x_{t}|\geq|x_{s}|\), then \(|x_{t}|={\max\{|x_{i}|: i\in N \}}\). Similar to the proof of (i), we can get that
and
which implies
that is, \(\lambda\in \mathcal{G}_{s,t} ^{\bar{S}}(\mathcal {A})\subseteq \mathcal{G}^{S}(\mathcal{A})\).
(iii) If \(x_{t}x_{s} = 0\), without loss of generality, let \(|x_{t}| = 0\) and \(|x_{s}|\neq0\). It follows from (3) that
For any \(i\in S\), we have
that is, \(\lambda\in\mathcal{G}_{i,s} ^{S}(\mathcal{A})\subseteq \mathcal{G}^{S}(\mathcal{A})\).
The result follows from (i), (ii) and (iii). □
Corollary 1
Let \(\mathcal{A}\) be a tensor with order m and dimension \(n\geq2\), and S be a nonempty proper subset of N. Then
where \(\mathcal{K}(\mathcal{A})\) is a Z-eigenvalue inclusion set in Lemma 1.
Proof
Let z be a point of \(\mathcal{K}(\mathcal{A})\). Two cases are discussed as follows:
(i) There exist \(t\in S \) and \(s \in\bar{S} \) such that \(z \in\mathcal {G}_{t,s} ^{S}(\mathcal{A})\), i.e.,
If \(R_{t} (\mathcal{A})R_{s}^{\Delta^{S}}(\mathcal{A}) = 0 \), then \(z = 0\) or \(|z|- R_{s}^{\overline{\Delta^{S}}}(\mathcal{A}) \leq0\). Hence, \(z\in\mathcal{K}_{t} (\mathcal{A})\cup\mathcal{K}_{s} (\mathcal{A})\). Otherwise, it follows from (5) that
Furthermore,
that is, \(z\in\mathcal{K}_{t} (\mathcal{A})\) or \(z\in\mathcal{K}_{s} (\mathcal{A})\). This implies \(z\in\mathcal{K}_{t}(\mathcal{A})\cup \mathcal{K}_{s}(\mathcal{A})\subseteq\mathcal{K}(\mathcal{A})\).
(ii) There exist \(s \in\bar{S} \) and \(t\in S \) such that \(z \in\mathcal {G}_{s,t} ^{\bar{S}}(\mathcal{A})\), i.e.,
similar to (i), we obtain \(z\in\mathcal{K}_{s}(\mathcal {A})\cup\mathcal{K}_{t}(\mathcal{A})\subseteq\mathcal{K}(\mathcal {A})\). So, the result holds. □
Based on an exact characterization of (1), another S-type Z-eigenvalue localization set involved with a proper subset S of N is given below.
Theorem 2
Let \(\mathcal{A}\) be a tensor with order m and dimension \(n\geq2\) and S be a nonempty proper subset of N. Then
where
Proof
Let λ be a Z-eigenvalue of \(\mathcal{A}\) with corresponding eigenvector x. Let \(|x_{t}|=\max_{i\in S}|x_{i}|\) and \(|x_{s}|=\max_{i\in\bar{S}}|x_{i}|\). Similar to the proof of Theorem 1, we also divide the proof into three cases as follows.
(i) If \(x_{t}x_{s}\neq0\) and \(|x_{s}|\geq|x_{t}|\), then \(|x_{s}|={\max\{|x_{i}|: i\in N\}}\). By an exact characterization of (1), one has
since \(|x_{t}|^{m-1}\leq|x_{t}| \leq1\), \(|x_{s}|^{m-1}\leq|x_{s}| \leq1\) hold. Furthermore,
When \(|\lambda| > R_{s}^{\overline{\Delta^{S}}}(\mathcal{A}) \) or \(|\lambda|> R_{t}^{\Delta^{S}}(\mathcal{A})\) holds, multiplying (2) by (7), we see
This shows \(\lambda\in\Omega_{t,s} ^{S}(\mathcal{A})\subseteq\Omega ^{S}(\mathcal{A})\). Otherwise, when \(|\lambda|\leq R_{s}^{\overline{\Delta^{S}}}(\mathcal{A}) \) and \(|\lambda|\leq R_{t}^{\Delta^{S}}(\mathcal{A})\) hold, one has \(\lambda\in\Phi_{t,s} ^{S}(\mathcal{A})\subseteq \Omega^{S}(\mathcal{A})\).
(ii) If \(x_{t}x_{s}\neq0\) and \(|x_{t}|\geq|x_{s}|\), then \(|x_{t}|={\max\{|x_{i}|: i\in N \}}\). Similarly, by equality (1), we get
and
When \(|\lambda|- R_{s}^{\Delta^{\bar{S}}}(\mathcal{A})> 0 \) or \(|\lambda |-R_{t}^{\overline{\Delta^{\bar{S}}}}(\mathcal{A})>0\) holds, we obtain
which implies \(\lambda\in\Omega_{s,t} ^{\bar{S}}(\mathcal{A})\subseteq \Omega^{S}(\mathcal{A})\). When \(|\lambda|- R_{s}^{\Delta^{\bar{S}}}(\mathcal{A}) \leq0 \) and \(|\lambda|-R_{t}^{\overline{\Delta^{\bar{S}}}}(\mathcal{A})\leq0\) hold, one has \(\lambda\in\Phi_{s,t} ^{\bar{S}}(\mathcal{A})\subseteq \Omega ^{S}(\mathcal{A})\).
(iii) If \(|x_{t}||x_{s}| = 0\), we could assume that \(|x_{s}| = 0\) and \(|x_{t}|\neq0\). It follows from (7) that
For any \(j\in \bar{S}\), when \(|\lambda|-R_{j}^{\overline{\Delta ^{S}}}(\mathcal{A})> 0\) holds, we get
that is, \(\lambda\in\Omega_{t,j} ^{S}(\mathcal{A})\subseteq\Omega ^{S}(\mathcal{A})\); otherwise, when \(|\lambda|-R_{j}^{\overline{\Delta ^{S}}}(\mathcal{A})\leq0\) holds, \(\lambda\in\Phi_{t,j} ^{S}(\mathcal {A})\subseteq \Omega^{S}(\mathcal{A})\). It follows from (i), (ii) and (iii) that the results hold. □
Corollary 2
Let \(\mathcal{A}\) be a tensor with order m and dimension \(n\geq2\).
-
(I)
If there exists \(S\subseteq N\) such that
-
(i)
for all \(i \in S\), \(j\in\bar{S}\), \(R_{j}^{\overline{\Delta ^{S}}}(\mathcal{A})\leq|z|\leq R_{i}(\mathcal{A})\) and \(R_{i}^{\overline {\Delta^{S}}}(\mathcal{A})R_{j}^{\Delta^{S}}(\mathcal{A})> 0\) hold;
-
(ii)
for all \(i \in\bar{S}\), \(j\in S\), \(R_{j}^{\overline {\Delta^{\bar{S}}}}(\mathcal{A}) \leq|z|\leq R_{i}(\mathcal{A})\) and \(R_{i}^{\overline{\Delta^{\bar{S}}}}(\mathcal{A}) R_{j}^{\Delta^{\bar {S}}}(\mathcal{A}) > 0\) hold, then
$$ \mathcal{G}^{S}(\mathcal{A})\subseteq\Omega^{S}( \mathcal{A}). $$
-
(i)
-
(II)
If there exists \(S\subseteq N\) such that
-
(i)
for all \(i \in S\), \(j\in\bar{S}\), \(|z|\leq\min\{ R_{i}^{\Delta^{S}}(\mathcal{A}), R_{j}^{\overline{\Delta^{S}}}(\mathcal {A})\}\) holds; or \(|z|\geq\max\{R_{i}(\mathcal{A}), R_{j}^{\overline {\Delta^{S}}}(\mathcal{A})\}\) and \(R_{i}^{\overline{\Delta^{S}}}(\mathcal{A})R_{j}^{\Delta^{S}}(\mathcal {A})> 0\) are satisfied;
-
(ii)
for all \(i \in\bar{S}\), \(j\in S\), \(|z|\leq\min\{ R_{i}^{\Delta^{\bar{S}}}(\mathcal{A}), R_{j}^{\overline{\Delta^{ \bar {S}}}}(\mathcal{A})\}\) holds; or \(|z|\geq\max\{ R_{i}(\mathcal{A}), R_{j}^{\overline{\Delta^{\bar{S}}}}(\mathcal{A})\}\) and \(R_{i}^{\overline {\Delta^{\bar{S}}}}(\mathcal{A})R_{j}^{\Delta^{\bar{S}}}(\mathcal{A}) > 0\) are satisfied, then
$$ \Omega^{S}(\mathcal{A})\subseteq\mathcal{G}^{S}( \mathcal{A}). $$
-
(i)
Proof
(I) Let \(z\in\mathcal{G}^{S}(\mathcal{A})\), then \(z\in\mathcal{G}^{S}_{i,j}(\mathcal{A})\) or \(z\in\mathcal{G}^{\bar {S}}_{i,j}(\mathcal{A})\). We divide the proof into two parts.
(i) Suppose that \(z\in\mathcal{G}^{S}_{i,j}(\mathcal{A})\), then there exist \(t\in S \) and \(s \in\bar{S} \) such that \(z\in\mathcal {G}_{t,s} ^{S}(\mathcal{A})\).
If \(R_{t} (\mathcal{A}) = 0 \), then \(R_{t}^{\Delta^{S}}(\mathcal{A})= R_{t}^{\overline{\Delta^{S}}}(\mathcal{A})=0\), we have \(z = 0\) or \(|z|- R_{s}^{\overline{\Delta^{S}}}(\mathcal{A}) \leq0\). Hence, \(z\in\Omega _{t,s} ^{S}(\mathcal{A})\).
If \(R_{t} (\mathcal{A})R_{s}^{\Delta^{S}}(\mathcal{A}) >0 \), by (6), we have
When \(\frac{|z|- R_{s}^{\overline{\Delta^{S}}}(\mathcal{A})}{R_{s}^{\Delta ^{S}}(\mathcal{A})}\geq0\) and \(\frac{|z|}{R_{t}(\mathcal{A})}\leq1 \), letting \(a=|z|\), \(b=R_{t}^{\Delta^{S}}(\mathcal{A})\), \(c=0\), \(d=R_{t}^{\overline{\Delta^{S}}}(\mathcal{A})>0\), from Lemma 5 in [16] and (6), we get
Furthermore,
which implies \(z\in\Omega_{t,s} ^{S}(\mathcal{A})\). So,
(ii) Suppose that \(z\in\mathcal{G}^{\bar{S}}(\mathcal {A})\), then there exist \(s \in\bar{S} \) and \(t\in S \) such that \(z \in\mathcal {G}_{s,t} ^{\bar{S}}(\mathcal{A})\). Similar to the proof of (i), the conclusion holds.
(II) Let \(z\in\Omega^{S}(\mathcal{A})\), then \(z\in\bigcup_{i\in S,j\in\bar{S}}\Omega_{i,j} ^{S}(\mathcal {A})\cup\Phi_{i,j}^{S}(\mathcal{A})\) or \(z\in\bigcup _{i\in \bar{S},j\in S}\Omega_{i,j} ^{\bar{S}}(\mathcal{A})\cup\Phi _{i,j}^{\bar{S}}(\mathcal{A})\). We also divide the proof into two parts.
(i) Suppose that \(z\in\bigcup_{i\in S,j\in\bar {S}}\Omega_{i,j} ^{S}(\mathcal{A})\cup\Phi_{i,j}^{S}(\mathcal{A})\), then there exist \(t\in S \) and \(s \in\bar{S} \) such that \(z\in\Omega _{t,s} ^{S}(\mathcal{A})\) or \(z\in\Phi_{t,s} ^{S}(\mathcal{A})\).
If \(z\in\Phi_{t,s} ^{S}(\mathcal{A})\), that is, \(|z| \leq R_{t}^{\Delta ^{S}}(\mathcal{A})\) and \(|z|\leq R_{s}^{\overline{\Delta^{S}}}(\mathcal {A})\), then it is easy to get that \(\Omega^{S}(\mathcal{A})\subseteq \mathcal{G}^{S}(\mathcal{A})\).
If \(z\in\Omega_{t,s} ^{S}(\mathcal{A})\), that is,
We assume \(R_{t}^{\overline{\Delta^{S}}}(\mathcal{A})R_{s}^{\Delta ^{S}}(\mathcal{A})>0 \), it follows from (8) that
When \(\frac{|z|- R_{s}^{\overline{\Delta^{S}}}(\mathcal{A})}{R_{s}^{\Delta ^{S}}(\mathcal{A})}\geq0\) and \(\frac{|z|}{R_{t}(\mathcal{A})}\geq1 \), letting \(a=|z|\), \(b=R_{t}^{\Delta^{S}}(\mathcal{A})\), \(c=0\), \(d=R_{t}^{\overline{\Delta^{S}}}(\mathcal{A})>0\), from Lemma 5 in [16] and (9), we obtain
Moreover,
which implies \(z\in\mathcal{G}_{t,s} ^{S}(\mathcal{A})\). Hence,
(ii) Suppose that \(z\in\bigcup_{i\in\bar {S},j\in S}{ (\Omega_{i,j} ^{\bar{S}}(\mathcal {A})\cup\Phi_{i,j}^{\bar{S}}(\mathcal{A}) )}\). Similar to the proof of (i), we arrive at the result. □
Owing to the uncertainty of S, we cannot compare \(\mathcal {G}^{S}(\mathcal{A})\) with \(\Omega^{S}(\mathcal{A})\) theoretically without the conditions of Corollary 2. Example 1 shows that they are different, since \(\mathcal{G}^{S}_{i,j}\) (\(\mathcal{A})(\mathcal{G}^{\bar {S}}_{i,j}(\mathcal{A})\)) and \(\Omega_{i,j} ^{S}\) (\(\mathcal{A})(\Omega _{i,j} ^{\bar{S}}(\mathcal{A}) \)) do not include each other.
Example 1
Let \(\mathcal{A}=(a_{ijk})\in\mathcal{R}^{[3,3]}\) be a tensor with elements defined as follows:
According to Lemma 1, we have
Let \(S=\{{1}\}\). Obviously, \(\bar{S}=\{{2,3}\}\). From Theorem 1, one has
where
And it follows from Theorem 2 that
where
3 Bounds on the largest Z-eigenvalue of weakly symmetric nonnegative tensors
In this section, by Theorem 1 and Theorem 2, we give new sharp upper bounds for weakly symmetric nonnegative tensors, which improve the results of [1, 8, 10–12, 14] in a sense. We start this section with some fundamental results of nonnegative tensors [8].
Lemma 2
Theorem 3.11 of [8]
Assume that \(\mathcal{A}\) is a weakly symmetric nonnegative tensor. Then \(\rho (\mathcal{A})=\lambda^{*}\), where \(\lambda^{*}\) denotes the largest Z-eigenvalue.
Theorem 3
Suppose that an m-order n-dimensional nonnegative tensor \(\mathcal{A}\) is weakly symmetric and S is a nonempty proper subset of N. Then
where
Proof
According to Lemma 2, we assume that \(\rho(\mathcal{A})= \lambda ^{*}\) is the largest Z-eigenvalue of \(\mathcal{A}\). From Theorem 1, we get
or
For the case that \(\rho(\mathcal{A}) \in\bigcup_{i\in S,j\in \bar{S}}\mathcal{G}^{S}_{i,j}(\mathcal{A})\), there exist \(t \in S \), \(s \in \bar{S}\) such that
Solving \(\rho(\mathcal{A})\) in inequality (10), we obtain
Furthermore,
For another case that \(\rho(\mathcal{A}) \in\bigcup_{i\in\bar {S},j\in S}\mathcal{G}^{\bar{S}}_{i,j}(\mathcal{A})\), we also get
It follows from (12) and (13) that the upper bound holds. □
On the basis of Theorem 2, we obtain another sharp bound of the largest Z-eigenvalue for a weakly symmetric nonnegative tensor.
Theorem 4
Suppose that an m-order n-dimensional nonnegative tensor \(\mathcal {A}\) is weakly symmetric and S is a nonempty proper subset of N. Then
where
Proof
Similar to the proof of Theorem 3, according to Lemma 2 and Theorem 2, the conclusion holds. □
Remark 1
For a weakly symmetric nonnegative tensor \(\mathcal{A}\), as shown in the proofs of Theorem 3 and Theorem 4, it is not hard to obtain that
Next, we take the following example to show the efficiency of our new upper bounds.
Example 2
[12]
Consider 3 order 3 dimensional tensor \(\mathcal{A}=(a_{ijk})\) defined by
By computation, we get \((\rho(\mathcal{A}),x)=(3.1970,(0.1927, 0.1990, 0.9609))\).
From Proposition 3.3 of [8], we have
From Corollary 4.5 of [10], we have
From Theorem 2.7 of [11], we have
From Theorem 7 of [12], we have
From Theorem 3.3 of [14], we have
From Theorem 4.7 of [1], we have
Let \(S=\{{3}\}\), then \(\bar{S}=\{{1,2}\}\). By Theorem 3, we obtain
according to Theorem 4, we obtain
4 Conclusions
In this paper, we consider the Z-eigenvalue for general tensors and obtain two new S-type Z-eigenvalue inclusion sets. According to the above results, we present upper bounds on the spectral radius of weakly symmetric nonnegative tensors and show that the results are sharper than the upper bounds provided by [1, 8, 10–12, 14] in Example 2.
References
Wang, G, Zhou, GL, Caccetta, L: Z-Eigenvalue inclusion theorems for tensors. Discrete Contin. Dyn. Syst., Ser. B 22(1), 187-198 (2017)
Qi, LQ: Eigenvalues of a real supersymmetric tensor. J. Symb. Comput. 40(6), 1302-1324 (2005)
Lim, LH: Singular values and eigenvalues of tensors: a variational approach. In: Proceedings of the IEEE International Workshop on Computational Advances in Multi-sensor Adaptive Processing (CAMSAP ’05), pp. 129-132 (2005)
Chang, KC, Zhang, T: On the uniqueness and non-uniqueness of the positive Z-eigenvector for transition probability tensor. J. Math. Anal. Appl. 438, 525-540 (2013)
Li, W, Ng, MK: On the limiting probability distribution of a transition probability tensor. Linear Multilinear Algebra 62(3), 362-385 (2014)
Kofidis, E, Regalia, PA: On the best rank-1 approximation of higher-order supersymmetric tensors. SIAM J. Matrix Anal. Appl. 23, 863-884 (2002)
Zhang, T, Golub, GH: Rank-1 approximation of higher-order tensors. SIAM J. Matrix Anal. Appl. 23, 534-550 (2001)
Chang, KC, Pearson, KJ, Zhang, T: Some variational principles for Z-eigenvalues of nonnegative tensors. Linear Algebra Appl. 438(11), 4166-4182 (2013)
Kolda, TG, Mayo, JR: Shifted power method for computing tensor eigenpairs. SIAM J. Matrix Anal. Appl. 32(4), 1095-1124 (2010)
Song, YS, Qi, LQ: Spectral properties of positively homogeneous operators induced by higher order tensors. SIAM J. Matrix Anal. Appl. 34(4), 1581-1595 (2013)
He, J, Huang, TZ: Upper bound for the largest Z-eigenvalue of positive tensors. Appl. Math. Lett. 38, 110-114 (2014)
He, J, Liu, YM, Ke, H, Tian, JK, Li, X: Bounds for the Z-spectral radius of nonnegative tensors. SpringerPlus 5, Article ID 1727 (2016)
He, J: Bounds for the largest eigenvalue of nonnegative tensors. J. Comput. Anal. Appl. 20(7), 1290-1301 (2016)
Li, W, Liu, DD, Vong, SW: Z-Eigenpair bound for an irreducible nonnegative tensor. Linear Algebra Appl. 483, 182-199 (2015)
Zhao, JX: A new Z-eigenvalue localization set for tensors. J. Inequal. Appl. 2017, Article ID 85 (2017)
Li, CQ, Jiao, AQ, Li, YT: An S-type eigenvalue location set for tensors. Linear Algebra Appl. 493, 469-483 (2016)
Acknowledgements
The authors are very indebted to the reviewers for their valuable comments and corrections, which improved the original manuscript of this paper. This research is supported by the Natural Science Foundation of China (11671228, 61403228) and the Natural Science Foundation of Shandong Province (ZR2016AM10).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
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
Wang, Y., Wang, G. Two S-type Z-eigenvalue inclusion sets for tensors. J Inequal Appl 2017, 152 (2017). https://doi.org/10.1186/s13660-017-1428-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1428-6