[논문 리뷰] Notes on the combinatorial fundamentals of algebra

Darij Grinberg|arXiv (Cornell University)|2020. 08. 22.

Advanced Mathematical Theories and Applications참고 문헌 64인용 수 10

한 줄 요약

이 포괄적이고 자가완비적인 서술적 조사에서는 유한 합, 이항계수, 순열, 행렬식, 귀납법 원리에 관한 기본 결과들에 대한 엄밀한 증명을 제공한다. 바르멘데-유형의 행렬식과 수반행렬에 관한 핵심 항등식을 수립하며, 카우치 행렬의 수반행렬의 모든 성분의 합이 변수들에 대한 대칭 유리함수임을 증명한다. 이는 역행렬 합과 행렬식 전개에 응용된다.

ABSTRACT

This is a detailed survey -- with rigorous and self-contained proofs -- of some of the basics of elementary combinatorics and algebra, including the properties of finite sums, binomial coefficients, permutations and determinants. It is entirely expository (and written to a large extent as a repository for folklore proofs); no new results (and few, if any, new proofs) appear.

연구 동기 및 목표

• 연구자들과 학도들을 위해 유한한 조합론과 대수학에 대한 자가완비적이고 엄밀한 다루기를 제공한다.
• 교재에서 흔히 볼 수 있는 합, 곱, 귀납법 형식주의에 대한 기초적 모호함을 해결한다.
• 행렬식과 대칭 함수에 관여하는 고전적 항등식의 민간 증명들을 통합하고 형식화한다.
• 특히 무한하지만 유한지지 가족의 맥락에서, 합과 곱이 잘 정의되는 정확한 조건을 설정한다.
• 특히 수반행렬 adj(C)의 성분 합에 관한 항등식을 명확히 하고 증명한다.

제안 방법

• 임의의 인덱스 집합 위에서의 합과 곱에 대한 공리적 정의를 사용하며, 특히 유한지지 가족을 포함한다.
• 표준, 강한, 간격 기반, 그리고 유도된 양상의 귀납법을 적용하며, стрict한 증명 관례를 준수한다.
• 행렬 대수학과 여인수 전개를 활용하여 수반행렬과 역행렬에 관한 항등식을 유도한다.
• 재귀적 정의를 통한 다수의 사상의 표준 복합을 도입하고 일반 결합법칙을 증명한다.
• 라플라스 전개와 소행렬식의 성질을 적용하여 카우치 행렬의 행렬식을 평가한다.
• 합에 대한 치환과 분할 기법을 사용하여 선형성과 인덱스 재표기 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 카우치 행렬 C의 수반행렬 성분의 합은 그 매개변수들로 어떻게 표현될 수 있는가?
• RQ2 임의의 인덱스 집합 위에서의 합과 곱이 잘 정의되도록 보장하는 정확한 대수적 구조는 무엇인가?
• RQ3 행렬의 역행렬 성분의 합이 매개변수들에 대해 대칭 유리함수로 표현되는 조건은 무엇인가?
• RQ4 임의의 수의 사상 복합에 대해 일반 결합법칙을 공식적으로 어떻게 증명할 수 있는가?
• RQ5 1/(xi + yj) 형태의 성분을 가진 행렬의 행렬식 거동을 지배하는 항등식은 무엇인가?

주요 결과

• 카우치 행렬 C의 수반행렬 성분의 모든 합은 (Σxk + Σyk)에 행렬식의 차수에 따라 조정된 유리함수를 곱한 것과 같다. 이 유리함수는 (xi - xj)(yi - yj)의 곱을 (xi + yj)의 전 곱으로 나눈 것이다.
• 역행렬 C⁻¹의 성분의 모든 합은 (Σxk + Σyk) / det(C) 와 같다. 여기서 det(C)는 (xi + yj)의 전 곱과 차수의 곱을 포함한다.
• 경계가 추가된 행렬 D = [C, u; uᵀ, 0]의 행렬식은 (Σxk + Σyk)의 음수배이며, 이는 수반행렬 합과 동일한 유리함수를 포함한다. 이는 구조적 항등식을 확인한다.
• adj(C)의 성분 합은 인덱스 순열에 대해 불변이며, x와 y 변수에 대해 대칭적이다. 이는 카우치 행렬의 기초 대칭성 반영한다.
• 유한지지 가족의 형식화는 무한 인덱스 집합 위에서도 모든 항이 유한 개를 제외하고 0이므로, 합과 곱이 잘 정의됨을 보장한다.
• n개의 사상의 표준 복합은 재귀적 구성과 n에 대한 귀납법을 통해 유일하게 정의되며, 괄호의 위치와 관계없이 결합법칙이 성립한다.