Geometric mean for T-positive definite tensors and associated Riemannian geometry

Jeong-Hoon Ju,Taehyeong Kim,Yeongrak Kim,Hayoung Choi

2024-03-30

Abstract:In this paper, we generalize the geometric mean of two positive definite matrices to that of third-order tensors using the notion of T-product. Specifically, we define the geometric mean of two T-positive definite tensors and verify several properties that "mean" should satisfy including the idempotence and the commutative property, and so on. Moreover, it is shown that the geometric mean is a unique T-positive definite solution of an algebraic Riccati tensor equation and can be expressed as solutions of algebraic Riccati matrix equations. In addition, we investigate the Riemannian manifold associated with the geometric mean for T-positive definite tensors, considering it as a totally geodesic embedded submanifold of the Riemannian manifold associated with the case of matrices. It is particularly shown that the geometric mean of two T-positive definite tensors is the midpoint of a unique geodesic joining the tensors, and the manifold is a Cartan-Hadamard-Riemannian manifold.

Numerical Analysis,Differential Geometry,Functional Analysis

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to generalize the concept of geometric mean from traditional positive definite matrices to T - positive definite tensors (T - positive definite tensors), and study the related Riemannian geometric properties. Specifically:

1. **Definition and Properties**:
- The author defines the geometric mean of two T - positive definite tensors and verifies some basic properties that the geometric mean should satisfy, such as idempotence and commutative property. These properties ensure that the geometric mean is a reasonable "average" operation.
- The formula is expressed as:
\[
A \# B = A^{1/2} \ast (A^{-1/2} \ast B \ast A^{-1/2})^{1/2} \ast A^{1/2}
\]
where \(A\) and \(B\) are two T - positive definite tensors, and \(\ast\) represents the T - product.

2. **Algebraic Riccati Tensor Equation**:
- It is proved that the geometric mean is the unique T - positive definite solution of a certain algebraic Riccati tensor equation. This equation is in the form of:
\[
X \ast A^{-1} \ast X = B
\]
This result provides a new interpretation of the geometric mean and shows its importance in some tensor equations.

3. **Riemannian Geometry**:
- The Riemannian manifold related to the geometric mean of T - positive definite tensors is studied and regarded as a totally geodesic embedded submanifold of the Riemannian manifold in the matrix case.
- In particular, it is proved that the geometric mean is the midpoint of the unique geodesic connecting two T - positive definite tensors, and this Riemannian manifold is a Cartan - Hadamard manifold, that is, a simply connected, complete and non - positively curved manifold.

Through these studies, the author not only generalizes the concept of geometric mean, but also lays a theoretical foundation for its application in tensor analysis and numerical linear algebra.