[논문 리뷰] Symmetric cones, the Hilbert and Thompson metrics

Aurélien Bosché|arXiv (Cornell University)|2012. 07. 13.

Mathematical Inequalities and Applications참고 문헌 5인용 수 8

한 줄 요약

이 논문은 유클리드 조르단 대수를 이용하여 대칭 원뿔 위의 힐버트 및 톰슨 거리에 대한 등장군을 완전히 분류한다. 자동형사가 항상 등장군임을 보여주지만, 특정한 경우—즉, 랭크가 1인 원뿔, R²의 양의 제1사분면, 차원 ≥3인 기약 로렌츠 원뿔—에서만 추가적인 등장군이 존재하며, 이 경우 항등원에서의 지오데식 역전은 선형 자동형사에 의해 유도되지 않는 등장군임을 보여준다.

ABSTRACT

Symmetric cones can be endowed with at least two interesting non Riemannian metrics: the Hilbert and the Thompson metrics. It is trivial that the linear maps preserving the cone are isometries for those two metrics. Oddly enough those are not the only isometries in general. We give here a full description of the isometry groups for both the Hilbert and the Thompson metrics using essentially the theory of euclidean Jordan algebras. Those results were already proved for the symmetric cone of complexe positive hermitian matrices by L. Moln{á}r. In this paper however we do not make any assumption on the symmetric cone under scrutiny (it could be reducible and contain exceptional factors).

연구 동기 및 목표

• 대칭 원뿔 위의 힐버트 및 톰슨 거리에 대한 전체 등장군을 특성화하기.
• 등장군이 원뿔의 자동형사군을 엄격히 초월하는 조건을 규명하기.
• 이전의 복소 정의 행렬에 대한 결과를 비가역적이고 예외적인 경우를 포함한 일반적인 대칭 원뿔으로 확장하기.
• 지오데식 역전과 그의 사영성의 역할을 분석하여 등장군의 구조를 규명하기.
• 스펙트럼 노름과 트레이스를 보존하는 등장군이 반드시 선형적이고 조르단을 보존하는지 조사하기.

제안 방법

• 대칭 원뿔과 유클리드 조르단 대수 사이의 대응을 이용하여 거리의 등장군을 분석한다.
• 조르단 대수의 원소에 대한 스펙트럼 분해를 적용한다: $ x = \sum \lambda_i p_i $ 이면, 고유값 $ \lambda_i $ 는 $ \exp(x) $, $ \text{Tr}(x) $, 및 $ \|x\| $ 를 결정한다.
• 톰슨 거리 $ d_T(P,Q) = \log \max(M(P,Q), M(Q,P)) $ 와 힐버트 거리 $ d_H(P,Q) = \log(M(P,Q)M(Q,P)) $ 를 정의한다. 여기서 $ M(P,Q) = \inf\{ t > 0 \mid tQ - P \in \mathcal{C} \} $ 이다.
• 조르단 기저 분해를 통해 지오데식 역전 $ u \mapsto u^{-1} $ 의 행동을 분석하고, 낮은 랭크의 경우에만 사영적임을 보인다.
• 반증을 사용하여 광선 수렴을 분석한다: 만약 역전이 사영적이라면, $[e_1]$ 에 수렴하는 수열의 역광선은 같은 극한에 수렴해야 하지만, 실제로는 그렇지 않다.
• 마즈르-율람 정리를 적용하여 $ \|\cdot\|_\sigma $ 와 트레이스를 보존하는 등장군의 선형성을 유도하고, 분해 $ J = J_0 \oplus \mathbb{R}e $ 에서의 작용을 분석한다.

실험 결과

연구 질문

• RQ1 힐버트 또는 톰슨 거리의 등장군이 대칭 원뿔의 자동형사군을 엄격히 초월하는 경우는 언제인가?
• RQ2 지오데식 역전이 항등원에서 힐버트 또는 톰슨 거리의 등장군이 되는 조건은 무엇인가?
• RQ3 랭크 ≥3인 대칭 원뿔에 대해 역전 지도는 사영적인가?
• RQ4 스펙트럼 반노름 $ \|\cdot\|_\sigma $ 와 트레이스를 보존하는 등장군가 반드시 조르단 대수의 구조를 보존하는가?
• RQ5 동시에 대각화 가능한 쌍의 보존은 거리 불변성으로 자동으로 유도되는가, 아니면 별도로 가정해야 하는가?

주요 결과

• 톰슨 거리의 등장군이 자동형사군 $ \text{Aut}(\mathcal{C}) $ 와 일치하는 것은 대칭 원뿔이 반직선, $ \mathbb{R}^2 $ 의 양의 제1사분면, 또는 차원 ≥3인 기약 로렌츠 원뿔이 아닐 때에 한하여 성립한다.
• 랭크가 1인 원뿔, $ \mathbb{R}^2 $ 의 양의 제1사분면, 및 차원 ≥3인 기약 로렌츠 원뿔의 경우, 항등원에서의 지오데식 역전은 어떤 선형 자동형사에 의해도 유도되지 않는 등장군이다.
• 랭크 ≥3인 대칭 원뿔에 대해서는 역전이 사영적이지 않으며, 경계 근처에서 역수 수열의 광선 극한이 일치하지 않음으로써 이를 보여준다.
• 역전 지도는 원뿔의 경계로 연속적으로 연장되지 않으며, 이는 등장군이 항상 위상적 경계를 보존하지는 않음을 시사한다.
• $ \|\cdot\|_\sigma $ 와 트레이스를 보존하는 등장군는 반드시 선형적이며 분해 $ J = J_0 \oplus \mathbb{R}e $ 를 보존한다. 이는 등장군가 조르단 동형사이거나, $ (x_0, \lambda) \mapsto (-x_0, \lambda) $ 를 조합함으로써 조르단 동형사가 된다는 것을 의미한다.
• 동시에 대각화 가능한 쌍의 보존 조건은 거리 불변성으로 자동으로 유도되지 않으며, 별도로 가정하거나 유도해야 한다.