[논문 리뷰] Doubly Symmetric Functions

Allan Berele, Bridget Eileen Tenner|ArXiv.org|2009. 03. 30.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 3

한 줄 요약

이 논문은 변수 분할에 대해 슈어 함수와 후크 슈어 함수의 평가가 일치하는 대칭 함수, 즉 이중 대칭 함수를 도입한다. 주요 결과는 이러한 대칭 함수의 부분대수는 홀수 거듭제곱 합 대칭 함수로 생성되며, 슈어 함수가 이중 대칭이 되는 것은 그 분할이 계단형 모양일 때이고 그때에만 해당한다.

ABSTRACT

In this paper we introduce doubly symmetric functions, arising from the equivalence of particular linear combinations of Schur functions and hook Schur functions. We study algebraic and combinatorial aspects of doubly symmetric functions, in particular as they form a subalgebra of the algebra of symmetric functions. This subalgebra is generated by the odd power sum symmetric functions. One consequence is that a Schur function itself is doubly symmetric if and only if it is the Schur function of a staircase shape.

연구 동기 및 목표

• 변수 분할에 따른 슈어 함수와 후크 슈어 함수의 일치에서 유래하는 새로운 대칭 함수의 클래스를 정의하고 연구하는 것.
• 이러한 함수들이 대칭 함수의 링 내에서 형성하는 부분대수의 대수적 구조를 특성화하는 것.
• 주어진 차수에 대한 이중 대칭 함수의 공간의 기저와 차원을 결정하는 것.
• 이중 대칭 함수와 홀수 또는 서로 다른 부분으로의 분할 간의 연결 고리를 설정하는 것.
• 슈어 함수가 이중 대칭이 되는 것은 그 인덱싱 분할이 계단형 모양일 때이고 그때에만 해당한다는 것을 증명하는 것.

제안 방법

• 변수를 두 집합으로 분할하는 어떤 경우에도 슈어 함수와 후크 슈어 함수 평가가 일치함으로써 이중 대칭 함수를 정의한다.
• D는 대칭 함수의 링에서 부분대수 $ \mathcal{D} $로의 전행 준동형사상이므로, 이중 슈어 함수 $ DS_{\rho} = D(S_{\rho}) $ 를 도입한다.
• D가 거듭제곱 합 대칭 함수에 대해 고유벡터 변환으로 작용함을 보인다: $ \rho $ 가 짝수 부분을 포함하면 $ D(p_{\rho}) = 0 $, 모든 부분이 홀수이면 $ D(p_{\rho}) = 2^{\text{ht}(\rho)}p_{\rho} $.
• D의 핵이 $ S_{\lambda} - S_{\lambda'} $ 로 생성되는 이상 $ \mathcal{I} $ 임을 증명함으로써 $ \mathcal{D} \simeq \mathcal{S}/\mathcal{I} $ 를 이끌어낸다.
• 표준 내적에 대한 $ \mathcal{D} $ 가 $ \mathcal{I} $ 의 직교 컴플리멘트임을 증명함으로써 $ \mathcal{S} = \mathcal{D} \oplus \mathcal{I} $ 를 확보한다.
• 생성함수를 사용하여, 차수 $ n $ 에 대한 이중 대칭 함수의 공간의 차원이 $ n $ 을 홀수 부분으로 분할하는 방법의 수와 같음을 보인다. 이는 $ \prod_{k \geq 0} (1 - x^{2k+1})^{-1} $ 의 $ x^n $ 계수와 일치한다.

실험 결과

연구 질문

• RQ1 어떤 조건을 만족하면 대칭 함수가 이중 대칭이 되는가? 즉, 어떤 변수 분할에 대해서도 후크 슈어 함수 평가와 동일한가?
• RQ2 대칭 함수의 링 내에서 이중 대칭 함수의 부분대수 $ \mathcal{D} $ 의 대수적 구조는 무엇인가?
• RQ3 어떤 슈어 함수들이 이중 대칭이며, 그 인덱싱 분할의 조합론적 특성은 무엇인가?
• RQ4 차수 $ n $ 에 대한 이중 대칭 함수의 공간의 차원은 홀수 부분 또는 서로 다른 부분으로의 분할 함수와 어떻게 관련이 있는가?
• RQ5 슈어 함수를 이중 슈어 함수로 매핑하는 준동형사상 $ D $ 의 상과 핵은 무엇인가?

주요 결과

• 이중 대칭 함수의 부분대수 $ \mathcal{D} $ 는 홀수 $ n $ 에 대해 $ p_n $ 이라는 홀수 거듭제곱 합 대칭 함수로 생성된다.
• 차수 $ n $ 에 대한 이중 대칭 함수의 공간의 차원은 $ n $ 을 홀수 부분으로 분할하는 방법의 수와 같으며, 이는 $ \prod_{k \geq 0} (1 - x^{2k+1})^{-1} $ 의 $ x^n $ 계수로 주어진다.
• 동일하게, 이 차원은 $ n $ 을 서로 다른 부분으로 분할하는 방법의 수와 같으며, 이는 $ \prod_{k \geq 1} (1 + x^k) $ 의 $ x^n $ 계수와 일치한다.
• 슈어 함수 $ S_{\lambda} $ 는 $ \lambda $ 가 계단형 모양일 때, 즉 어떤 $ m $ 에 대해 $ \lambda = (m, m-1, \dots, 1) $ 일 때에만 이중 대칭이 된다.
• 이중 슈어 함수 $ \{ DS_{\lambda} \} $ 는 $ \mathcal{D} $ 를 생성하지만 선형 독립은 아니며, $ D $ 는 전행이며 핵이 $ \mathcal{I} $ 이다.
• D는 $ \lambda $ 가 어떤 짝수 부분을 포함하면 $ p_{\lambda} $ 를 0으로 보낸다. 모든 부분이 홀수이면 $ 2^{\text{ht}(\lambda)} p_{\lambda} $ 로 보낸다.