[논문 리뷰] Remarks on the Cayley Representation of Orthogonal Matrices and on Perturbing the Diagonal of a Matrix to Make it Invertible

Jean Gallier|arXiv (Cornell University)|2006. 06. 13.

Mathematics and Applications참고 문헌 7인용 수 10

한 줄 요약

이 논문은 고전적 케일리 변환을 모든 직교 행렬—특히 고유값으로 -1을 가진 것들까지 포함하여 표현할 수 있도록 확장한다. 이를 위해 케일리 변환의 곱과 서명 행렬을 사용한다. 또한 어떤 행렬이라도 대각 원소의 부호를 뒤집는 것으로 항상 가역성을 확보할 수 있음을 증명하며, 크기의 변화가 아닌 부호의 변화에 기반한 소용돌이 변형을 사용한다. 주요 결과로는, 비특이적인 대각 행렬의 소용돌이 변형이 항상 가역성을 보장한다는 것이다.

ABSTRACT

This note contains two remarks. The first remark concerns the extension of the well-known Cayley representation of rotation matrices by skew symmetric matrices to rotation matrices admitting -1 as an eigenvalue and then to all orthogonal matrices. We review a method due to Hermann Weyl and another method involving multiplication by a diagonal matrix whose entries are +1 or -1. The second remark has to do with ways of flipping the signs of the entries of a diagonal matrix, C, with nonzero diagonal entries, obtaining a new matrix, E, so that E + A is invertible, where A is any given matrix (invertible or not).

연구 동기 및 목표

• 회전 행렬의 고전적 케일리 표현을 -1을 고유값으로 가진 행렬까지 확장하기 위해.
• 서명 행렬을 사용하여 모든 직교 행렬(부정확한 경우 포함)으로 케일리 변환을 일반화하기 위해.
• 어떤 행렬이라도 원래의 가역성 여부와 관계없이 대각 원소의 부호를 뒤집는 것으로 항상 가역성을 확보할 수 있음을 입증하기 위해.
• 가역성을 보장하기 위해 크기가 아닌 부호를 통해 대각 원소를 변형하는 데 이르는 이론적 기반을 마련하기 위해.
• 대각 원소의 부호 변화에 의한 소용돌이 변형이 행렬의 가역성을 보장하는 최소 조건을 조사하기 위해.

제안 방법

• 모든 회전 행렬을 반대칭 행렬의 두 케일리 변환의 곱으로 표현하기 위해 헤르만 와일의 결과를 사용한다.
• -1 고유값을 피하기 위해 각도 ≤ π인 회전 블록의 제곱근을 적용하여 표준 케일리 표현을 가능하게 한다.
• ±1 원소를 가진 대각 행렬 E를 도입하여, 어떤 반대칭 S에 대해 R = E(I−S)(I+S)⁻¹로 모든 직교 행렬을 표현한다.
• 특성 ≠ 2인 정수환 위에서 다항식의 성질을 이용해 det(E + A) ≠ 0가 되는 부호 할당이 존재함을 보인다.
• 다항식의 다항식 변수 수에 대한 귀납법을 사용하여 비영인 행렬식을 유지하는 부호 할당이 존재함을 증명한다.
• 행렬의 열 선형성 성질을 이용한 카한의 방법을 통해 별도의 증명을 제공한다.

실험 결과

연구 질문

• RQ1 고전적 케일리 변환은 -1을 고유값으로 가진 모든 회전 행렬까지 확장될 수 있는가?
• RQ2 케일리 표현은 부정확한 경우(det = −1)를 포함한 모든 직교 행렬로 일반화될 수 있는가?
• RQ3 어떤 행렬이라도 원래의 행렬의 구조와 관계없이 대각 원소의 부호만 뒤집는 것으로 항상 가역성을 확보할 수 있는가?
• RQ4 대각 소용돌이 변형의 최소 조건(부호 기반)은 무엇이며, 이 조건이 행렬의 가역성을 보장하는가?
• RQ5 이 결과는 비대각 소용돌이 변형에 대해 비자명하게 확장될 수 있는가?

주요 결과

• SO(n)에 속하는 모든 회전 행렬은 반대칭 행렬의 케일리 변환의 제곱으로 표현될 수 있다.
• O(n)에 속하는 모든 직교 행렬은 ±1 원소를 가진 대각 행렬 E와 반대칭 행렬 S에 대해 R = E(I−S)(I+S)⁻¹로 표현될 수 있다.
• 모든 n×n 행렬 A와 모든 비영인 대각 행렬 C에 대해, C + A가 가역이 되는 부호 할당이 항상 존재한다.
• 가역성은 대각 원소의 크기보다는 부호에 의존하며, 그러한 부호 할당은 항상 존재한다.
• 이 증명은 특성 ≠ 2인 정수환의 원소를 갖는 행렬의 행렬식이 적절한 대각 원소의 부호 뒤집기에 의해 0이 되지 않음을 바탕으로 한다.
• 카한의 방법을 통한 별도의 증명은 모든 2ⁿ개의 서명 행렬의 합과 행렬식의 선형성 성질을 이용하여, 만약 모든 I + EₖA가 특이행렬이라면 모순이 발생함을 보여 결과를 확인한다.