Abstract

Circulant, block circulant-type matrices and operator norms have become effective tools in solving networked systems. In this paper, the block imaginary circulant operator matrices are discussed. By utilizing the special structure of such matrices, several norm equalities and inequalities are presented. The norm in consideration is the weakly unitarily invariant norm, which satisfies . The usual operator norm and Schatten -norm are included. Furthermore, some special cases and examples are given.

1. Introduction

Circulant-type matrices have significant applications in network systems. For example, Noual et al. [1] presented some results on the dynamical behaviours of some specific nonmonotone Boolean automata networks called XOR circulant networks. In [2], the authors proposed a special class of the feedback delay networks using circulant matrices. Based on the circulant adjacency matrices of the networks induced by these interior symmetries, Aguiar and Ruan [3] analyzed the impact of interior symmetries on the multiplicity of the eigenvalues of the Jacobian matrix at a fully synchronous equilibrium for the coupled cell systems associated with homogeneous networks. Jing and Jafarkhani [4] proposed distributed differential space-time codes that work for networks with any number of relays using circulant matrices. In [5], the authors showed a structure for the decoupling of circulant symmetric arrays of more than four elements.

The well-known circulant, block circulant-type matrices and operator norms have set up the strong basis with the work in [6–19].

In this paper, let denote the imaginary circulant algebra of all bounded linear operators on a complex separable Hilbert space . The direct sum of copies of is denoted by . If , , are operators in , then the operator matrix (or the partitioned operator) can be considered as an operator in , which is defined by for every vector .

Recall that a norm on is called weakly unitarily invariant if for all and for all unitary operators .

The Schatten -norms , , are important examples of unitarily invariant norms, which are defined on the Schatten -classes.

If are operators in , we write the direct sum for the block-diagonal operator matrix , regarded as an operator on . Thus, and for . In particular, for .

The pinching inequality asserts that if , then For the operator norm and the Schatten -norms, the inequality 1 states that for . It is known [18] that for , equality in 3 holds if and only if is block-diagonal, that is, if and only if , for .

2. Equalities for the Norm of Imaginary Circulant Operator Matrices

In this section, we present block imaginary circulant operator matrix. By combining the special properties of block imaginary circulant operator matrix with unitarily invariant norm, we prove an equality in the following theorem.

If are imaginary circulant operators in , the block imaginary circulant operator matrix is the matrix whose first row has entries and the other rows are obtained by successive cyclic permutations of these entries; that is, where .

It is known that , where Thus, every imaginary circulant operator matrix is unitarily equivalent to a circulant operator matrix.

Theorem 1. Let be any operators in . Then, for every weakly unitarily invariant norm, one has where , , and .

Proof. The roots of are .
Now, let , where Then it is easy to prove that is a unitary operator in and By the invariance property of weakly unitarily invariant norms, we obtain

Synthesizing the norm equality in Theorem 1 to the usual operator norm and to the Schatten -norms, we obtain the corollary and remark as follows.

Corollary 2. Let be any operators in . Then one has for .
In particular, let ; one has for .

Remark 3. Here we give some special cases of Corollary 2.
(i) If , then for .
(ii) If , then for .

3. Pinching-Type Inequalities for Imaginary Circulant Operator Matrices

In this section, for imaginary circulant operator matrices, we obtain pinching-type inequalities by the triangle inequality and the invariance property of unitarily invariant norms.

Theorem 4. Let be an operator matrices in . Then, for every weakly unitarily invariant norm, one has where

Proof. Let be the operator with We can prove easily that is a unitary operator for all and where Now let Then, from Theorem 1, we have Thus, by the invariance property of unitarily invariant norms and the triangle inequality, we get

Substituting the norm inequality 14 to the usual operator norm and to the Schatten -norms, we obtain the following corollary.

Corollary 5. Let be an operator matrix in . Then for , where is given in 15.

As a special case when , Corollary 5 asserts that for .

It should be mentioned here that the norm inequalities in Theorems 1 and 4 are sharp. This is demonstrated in the following proposition.

Proposition 6. Let be some operators in . If , then the inequality in Theorem 4 becomes an equality.

Proof. Let . Then it follows from Theorem 1 that Since , , and , it follows that where

By Proposition 6, it is easy to see that equality holds in the inequality 14 if and only if is imaginary circulant for . Furthermore, we obtain the following proposition by using the general Clarkson inequalities which can be seen in Proposition 1 of [19].

Proposition 7. Let be an operator matrix in , and let . Then if and only if is imaginary circulant.

Proof. In view of Proposition 1, it if sufficient to prove the “only if” part. Let be as in the proof of Theorem 1. If , then it follows from the proof of Theorem 1 that Now invoking Clarkson inequalities for several operators, it follows that Consequently, is imaginary circulant matrix.

4. Conclusion

By utilizing the special structure of imaginary circulant matrices, we obtain several norm equalities and inequalities, where the norm under consideration is the weakly unitarily invariant norm. Based on the existing problems in [20–23], we will exploit solving these problems by circulant matrices technique.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This work was supported by the GRRC Program of Gyeonggi Province ((GRRC SUWON 2014-B3), Development of cloud computing-based intelligent video security surveillance system with active tracking technology). Its support is gratefully acknowledged.