## 1 Introduction

In this paper, unless otherwise stated, all the discussions will be carried out in the field of real numbers.

Suppose that and are positive integers. Without loss of generality, we may assume that .

As in [7], we use to denote the operation of tensor outer product. Then for and , is a fourth order rank-one tensor in . By the following definition, it is actually a biquadratic rank-one tensor.

###### Definition 1.1

Let be the space of fourth order tensors of dimension . Let . The tensor is called biquadratic if for all and , we have

The tensor is called positive semi-definite if for any and ,

The tensor is called positive definite if for any and ,

Denote the set of all biquadratic tensors in by . Then is a linear space.

Biquadratic tensors play a central role in many areas of science. Examples include the elasticity tensor and the Eshelby tensor in solid mechanics, and the Riemann curvature tensor in relativity theory. The elasticity tensor may be the most well-known tensor in solid mechanics and engineering [9]. The Eshelby inclusion problem is one of the hottest topics in modern solid mechanics [18]. Furthermore, the Riemann curvature tensor is the backbone of Einstein’s general relativity theory [13].

Biquadratic tensors have very special structures. The tensor product of two biquadratic tensors are still a biquadratic tensor. This makes them very special. Biquadratic tensors also have an M-eigenvalue structure. An important problem in solid mechanics is if strong ellipticity condition holds or not [6, 14]. In 2009, M-eigenvalues were introduced for the elastic tensor to characterize the strong ellipticity condition in [10]. An algorithm for computing the largest M-eigenvalue was presented in [15]. The biquadratic optimization problem was studied in [8]. The M-eigenvalue structure was further extended to the Riemann curvature tensor [16]. As the big data era arrived, the tensor completion problem came to the stage. It was shown that the nuclear norm of tensors plays an important role in the tensor completion problem [17]. A typical model in the tensor completion problem for higher order models is a general third order tensor [4, 17]. The nuclear norm is the dual norm of the spectral norm [3, 4, 17]. The spectral norm of a tensor is its largest singular value. In [11], it was shown that if we make contraction of a third order tensor with itself on one index, then we get a positive semi-definite biquadratic tensor. A real number is a singular value of that third order tensor if and only if it is the square root of an M-eigenvalue of that positive semi-definite biquadratic tensor. Thus, the spectral norm of that third order tensor is the square root of the spectral norm of that positive semi-definite biquadratic tensor.

All of these make biquadratic tensors a research interest. In this paper, we study biquadratic tensors, biquadratic decomposition and norms of biquadratic tensors. In the next section, we show that the spectral norm and nuclear norm for a biquadratic tensor may be computed by using its biquadratic structure. Then, either the number of variables is reduced, or the feasible region can be reduced. In Section 3, we show constructively that for a biquadratic tensor, a biquadratic rank-one decomposition always exists. This gives an upper bound for the biquadratic rank of a biquadratic tensor. In Section 4, we show that the biquadratic rank of a biquadratic tensor is preserved under an independent biquadratic Tucker decomposition. In Section 5, we present a lower bound and an upper bound of the nuclear norm of a biquadratic tensor. In Section 6, we define invertible biquadratic tensors, and present a lower bound for the product of the nuclear norms of an invertible biquadratic tensor and its inverse, and a lower bound for the product of the nuclear norm of an invertible biquadratic tensor, and the spectral norm of its inverse. Some final remarks are made in Section 7.

We use small letters , etc., to denote scalars, small bold letters

, etc., to denote vectors, capital letters

, etc., to denote matrices, and calligraphic letters , etc., to denote tensors.## 2 Norms and M-Eigenvalues of Biquadratic Tensors

For a vector , we use to denote its 2-norm. Thus,

We have the following theorem.

###### Theorem 2.1

Suppose that . Then

(2.2) |

Proof Suppose that the maximum of (2.1) is attained at and . Then

Note that this is a homogeneous quadratic optimization. Then there is a such that and

Then

Again, this is a homogeneous quadratic optimization. Then there is a such that and

This proves (2.2).

In this way, also defines a norm in .

Recall that the nuclear norm of is defined as

(2.3) |

By Corollary 5.4 of [3], we have

(2.4) |

It can be calculated as [3, 4, 5, 17]

(2.5) |

For a biquadratic tensor, we have the following theorem.

###### Theorem 2.2

Suppose that . Then

(2.6) |

Proof Without loss of generality, assume that is nonzero. Suppose that the maximum of (2.5) is attained at with . Let with

Then , , and

Since is not a zero tensor. This implies that is also not a zero tensor. Then . Let

We have , , and

Since is a maximizer of (2.5), we have

This proves (2.6).

These two theorems show that we may compute the spectral norm and nuclear norm for a biquadratic tensor by using its biquadratic structure. Then, either the number of variables is reduced, or the feasible region of the maximization problem can be reduced. Furthermore, a biquadratic tensor has its own M-eigenvalue structure which is closely related to its spectral norm.

###### Definition 2.3

Suppose that . A real number is called an M-eigenvalue of if there are vectors such that the following equations are satisfied: For ,

(2.7) |

For ,

(2.8) |

and

(2.9) |

Then and

are called the corresponding M-eigenvectors.

###### Theorem 2.4

Suppose that . Then its M-eigenvalues always exist. The spectral norm of is equal to the largest absolute value of its M-eigenvalues. Furthermore, is positive semi-definite if and only if all of its M-eigenvalues are nonnegative; is positive definite if and only if all of its M-eigenvalues are positive. If is positive semi-definite, then its spectral norm is equal to its largest M-eigenvalue.

This theorem was proved in [11].

For , the elastic tensor in solid mechanics falls in the category of biquadratic tensors, with one additional symmetric properties between indices and . Then, the positive definiteness condition of corresponds the strong ellipticity condition in solid mechanics.

## 3 Biquadratic Rank-One Decomposition

Let . Then has a rank-one decomposition in the form

where for . The smallest for such a rank-one decomposition is called the rank of .

On the other hand, if we have

(3.10) |

where for for some positive integer , then we say that has a biquadratic rank-one decomposition. The smallest for such a biquadratic rank-one decomposition is called the biquadratic rank of . Denote it by . The question is if such a biquadratic rank-one decomposition always exists. We may following the approach in [1] to show this by introducing biquadratic polynomials and using them as a tool for the proof. Corollary 5.4 of [3] also implies this. Here, we give a constructive proof. This also gives an upper bound of the biquadratic rank of a biquadratic tensor.

###### Theorem 3.1

For , such a biquadratic rank-one decomposition always exists. We also have

Proof For , define a matrix

by

for

and

with , and . Then

has a singular value decomposition

where , , , , for , and

For , we may fold it to a symmetric matrix . Similarly, for , we may fold it to a symmetric matrix . Suppose that has an eigenvalue decomposition

where , , for , . Similarly, suppose that has an eigenvalue decomposition

where , , for , . Then we have

We have the conclusions.

Clearly, the biquadratic rank of a biquadratic tensor is always not less than its rank. In which cases are these two ranks equal? We do not go to further discussion on this in this paper.

Let . Fix and , then we have an -vector . Denote by the matrix whose column vectors are such -vectors for and . Then is the matrix flattening of by the first index. Here we do not specify the order of such column vectors in as this is not related. Denote the rank of by . We may define , and , respectively. They are the Tucker ranks of [5, 7]. Then we have and . Hence, only and are independent. We also have and .

Suppose that has a biquadratic rank-one decomposition as (3.10). Denote as an matrix, whose column vectors are , and as an matrix, whose column vectors are . Then, as in [7], we may denote (3.10) as

(3.11) |

Let . Suppose that has a biquadratic rank-one decomposition (3.11). Denote the ranks of and by and respectively. Then we have

(3.12) |

## 4 Biquadratic Tucker Decomposition

We may also extend Tucker decomposition [2, 5, 7] to biquadratic Tucker decomposition. Denote as the mode- (matrix) product [2, 5, 7].

###### Definition 4.1

Let . Suppose that there are , and and such that

(4.13) |

Then (4.13) is called a biquadratic Tucker decomposition of . The tensor is called a biquadratic Tucker core of . The matrices and are called the factor matrices of this decomposition. A biquadratic Tucker decomposition is said to be independent if and have full column rank. A biquadratic Tucker decomposition is said to be orthonormal if and have orthonormal columns.

Note that if the biquadratic Tucker decomposition (4.13) is independent, then and .

De Lathauwer, De Moor and Vandewalle [2] proposed an algorithm to compute Tucker decomposition (HOSVD) for a given tensor. If we apply their algorithm to a biquadratic tensor, since the first and the third matrix flattenings are the same, the second and the fourth flattenings are the same, we obtain an orthonormal biquadratic Tucker decomposition.

A biquadratic Tucker decomposition is a Tucker decomposition [5, 7]. Thus, a biquadratic Tucker core has the properties of a Tucker core. For example, the rank of a biquadratic Tucker core is the same as the rank of , if the biquadratic Tucker decomposition is independent [5]. Similarly, the Tucker ranks will also be preserved by an independent biquadratic Tucker decomposition. The problem is if some biquadratic properties, such as the biquadratic rank, and M-eigenvalues will be preserved or not.

We now prove the following theorem.

###### Theorem 4.2

Suppose that has a biquadratic Tucker decomposition (4.13) and it is independent. Then

We first prove a lemma.

###### Lemma 4.3

If the biquadratic Tucker decomposition (4.13) is independent, then there are and such that

(4.14) |

Proof Let and . The conclusion follows.

Proof of Theorem 4.2. Suppose that has a biquadratic rank-one decomposition

(4.15) |

where , for . Then has a biquadratic rank-one decomposition (3.10) with

for . This shows that

Since the biquadratic Tucker decomposition (4.13) is independent, by Lemma 4.3, we have (4.14). Thus, if has a biquadratic rank-one decomposition (3.10), then has a biquadratic rank-one decomposition (4.15), with

for . This shows that

Hence, we have

###### Theorem 4.4

Suppose that has a biquadratic Tucker decomposition (4.13) and it is orthonormal. Then an M-eigenvalue of is an M-eigenvalue of , and a nonzero M-eigenvalue of is also an M-eigenvalue of .

By Theorem 2.4, this shows that the spectral norm is preserved under an orthonormal biquadratic Tucker decomposition.

Thus, biquadratic Tucker decomposition has better properties. It only involves two factor matrices and . This makes it much simple.

## 5 Lower and Upper Bounds of the Nuclear Norm of a Biquadratic Tensor

Let . If we regard as an index from to , and regard as another index from to , then we have a matrix flattening . Then there is a one to one relation between and . Hence, we may also write for . If is diagonal, then we also say that is diagonal. In particular, if

is the identity matrix

, then we denote as and call it the identity tensor in .In the other words, for a fourth order tensor , an entry is called a diagonal entry if and . Otherwise, it is called an off-diagonal entry. Then a diagonal tensor in is a biquadratic tensor in such that all of its off-diagonal entries are , while the identity tensor is the diagonal biquadratic tensor in such that all of its diagonal entries are .

Denote the Frobenius norm of a fourth order tensor by , and the Frobenius norm of by . For , we use to denote the inner product of matrices and . Then for , we have

(5.16) |

and

(5.17) |

We first prove a proposition.

###### Proposition 5.1

Let . Then

Proof Suppose that . Let be the Kronecker product of and . Then . If , then .

If , then its matrix flattening is symmetric. We now have the following theorem.

###### Theorem 5.2

Suppose that and is its symmetric matrix flattening. Then

(5.18) |

In particular, if is diagonal, we have

(5.19) |

Proof We first prove the first inequality of (5.18). By (2.5), we have

where the third equality is due to (5.16), the first inequality is by Proposition 5.1, and the last equality is by the definition of the nuclear norm of a matrix.

We now prove the second inequality of (5.18). Since is symmetric, we may assume that has an eigenvalue decomposition

where and , for . For each , corresponds to an matrix . Since , we have , where is the Frobenius norm. Then [4], we have

On the other hand,

where for , are singular values of for . Then has a singular value decomposition

where , and , , for and . This implies

for . Then we have

Thus,

Finally, assume that is diagonal. Then

where for are the unit vectors in , while for are the unit vectors in . This implies that

This proves the theorem.

Comparing this theorem with Theorem 5.2 of [4], our theorem is somewhat stronger.

This theorem says that the equality in the first inequality of (5.18) may hold. How about the second inequality of (5.18)?

###### Corollary 5.3

.

## 6 Norms of Tensor Products of Biquadratic Tensors

We may define products of two biquadratic tensors. Let , then we have , defined by

Comments

There are no comments yet.