[논문 리뷰] ${ m SO}(n)$ covariant local tensor valuations on polytopes

Daniel Hug, Rolf Schneider|arXiv (Cornell University)|2016. 05. 03.

Point processes and geometric inequalities참고 문헌 19인용 수 6

한 줄 요약

이 논문은 연속성 가정 없이 볼록 다면체 위의 SO(n)-공변성(local tensor valuations)를 분류하며, 이는 이전의 O(n) 공변성 하에서의 분류 결과를 확장한다. 대칭성이 감소한 2차원과 3차원에서 추가적인 값매김이 발생함을 규명하고, 면 법선과 지지집합 위의 텐서값 측도를 통해 이를 완전히 특성화한다.

ABSTRACT

The Minkowski tensors are valuations on the space of convex bodies in ${\mathbb R}^n$ with values in a space of symmetric tensors, having additional covariance and continuity properties. They are extensions of the intrinsic volumes, and as these, they are the subject of classification theorems, and they admit localizations in the form of measure-valued valuations. For these local tensor valuations, restricted to convex polytopes, a classification theorem has been proved recently, under the assumption of isometry covariance, but without any continuity assumption. This characterization result is extended here, replacing the covariance under orthogonal transformations by invariance under proper rotations only. This yields additional local tensor valuations on polytopes in dimensions two and three, but not in higher dimensions. They are completely classified in this paper.

연구 동기 및 목표

• 볼록 다면체 위의 로컬 텐서 값매김의 분류를 O(n)-공변성에서 SO(n)-공변성으로 확장하는 것.
• 연속성 가정 없이 다면체 위의 SO(n)-공변성 로컬 텐서 값매김이 존재하는지 확인하는 것.
• 대칭성이 감소한 2차원과 3차원에서 발생하는 새로운 로컬 텐서 값매김을 식별하고 특성화하는 것.
• 밸류에이션 성질과 약한 연속성이 SO(n)-공변성과 국소화 구조로부터 유도됨을 보이는 것.
• 다면체 위의 SO(n)-공변성 로컬 텐서 값매김을 완전히 분류하여 저차원과 고차원에서의 행동을 구분하는 것.

제안 방법

• 다면체의 정규 사이클 위의 측도-값 매핑으로서 로컬 텐서 값매김의 프레임워크를 활용한다.
• 적절한 회전에 대해 불변인 텐서값 측도를 분류하기 위해 SO(n)의 표현 이론을 적용한다.
• 다양한 차원의 면으로 구성된 정규 사이클의 분해를 통해 구면 섹션 위의 텐서 적분을 수행한다.
• 대칭 텐서, 사영, 표면 측도에 대한 적분을 사용하여 k-면 위의 값매김에 대한 명시적 공식을 유도한다.
• 이전 연구(Hug & Schneider, 2015)의 보조정리를 개선하여 저차원에서 SO(n) 불변성을 다루는 데 활용한다.
• 특히 n=2 및 n=3에서 면 방향에 독립적인 상수로 계수를 감소시키기 위해 회전 불변성을 활용한다.

실험 결과

연구 질문

• RQ1 연속성 가정 없이 볼록 다면체 위의 SO(n)-공변성 로컬 텐서 값매김은 무엇이 존재하는가?
• RQ2 O(n)-공변성에서 SO(n)-공변성으로 대체할 경우 로컬 텐서 값매김의 공간은 어떻게 변화하는가?
• RQ3 왜 SO(n)-공변성 하에서 2차원과 3차원에서는 추가적인 값매김이 나타나지만 고차원에서는 그렇지 않은가?
• RQ4 최근에 발견된 SO(n)-공변성 값매김 중 어떤 것들이 모든 볼록 몰입체로의 약한 연속적 확장을 허용하는가?
• RQ5 밸류에이션 성질과 연속성이 사전에 가정하지 않고도 SO(n) 공변성과 국소화 구조로부터 유도될 수 있는가?

주요 결과

• n ≥ 4인 차원에서는 SO(n)-공변성 로컬 텐서 값매김이 O(n)-공변성과 정확히 일치하여 새로운 값매김이 발생하지 않는다.
• n = 2 및 n = 3인 차원에서는 SO(n)이 O(n)보다 단순연결이 아니므로 추가적인 SO(n)-공변성 로컬 텐서 값매김이 존재한다.
• 2차원과 3차원에서의 새로운 값매김은 계량 텐서 Q의 거듭제곱, 법선 벡터의 텐서곱, 그리고 구면 적분을 포함하는 면 법선 위의 적분을 통해 명시적으로 구성된다.
• n = 3인 경우, 분류에는 Q^a Q_L^{b-a} 및 v_L × u 항이 포함되어 있으며, 이는 SO(3)-불변 텐서장의 더 풍부한 구조를 반영한다.
• n = 2인 경우, 분류에는 Q^a 및 Q^a v_L × u 항이 포함되어 있으며, 이는 SO(2)의 회전 구조와 이중 법선 지지 구조를 반영한다.
• 전체 분류는 계수가 다면체에 독립적인 Q^m φ_k^{0,s,j}(P, A×B) 및 Q^m ~φ^{0,s,j}(P, A×B) 항들의 선형 조합으로 표현된다.