[논문 리뷰] Spectra of Symmetrized Shuffling Operators

Victor Reiner, Franco Saliola외 1명|arXiv (Cornell University)|2011. 02. 11.

Advanced Combinatorial Mathematics참고 문헌 33인용 수 8

한 줄 요약

이 논문은 유한 실 반사군 W의 원소 w에 대해 일반화된 역전치 통계량 noninv_O(w)를 도입하고, 그에 관련된 군 대수 ℂW 상의 대칭화된 셔플링 연산자 ν_O를 연구한다. ν_O가 두 개의 명시적 인수분해 ν_O = π^T π를 통해 자기수반이고 양의 준정부호임을 증명하며, 특히 ν_{(k,1^{n−k})} 및 ν_{(2^k,1^{n−2k})}와 같은 특정 유형의 연산자들이 서로 가환하고 정수 스펙트럼을 가짐을 보이며, 기존의 무작위에서 무작위로의 셔플링 결과를 일반화하고 새로운 가환성과 정수 스펙트럼을 가진 연산자 클래스를 제시한다.

ABSTRACT

(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic. We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement. We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1. We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W. We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum. For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.

연구 동기 및 목표

• 무작위에서 무작위로의 셔플링과 유사한 특정 조합적 행렬이 가환성과 정수 고유값을 가지는 이유를 이해하는 것.
• 반사배치의 평면 궤적에 대한 W-궤적에 대해 고전적 역전치 통계량을 일반화한 새로운 통계량 noninv_O(w)를 정의하는 것.
• 이 통계량에 의해 정의된 ℂW 상의 오른쪽 곱셈 연산자 ν_O를 연구하고, 그것이 자기수반이고 양의 준정부호임을 보이는 것.
• 가환성과 정수 스펙트럼을 가지는 가환성 가닥 ν_{(k,1^{n−k})} (k=1,…,n) 가 쌍별로 가환함을 증명하고, 정수 스펙트럼을 갖는다는 추측을 제기하는 것.
• 이러한 결과를 ν_{(2^k,1^{n−2k})} 가닥으로 확장하고, 표현 이론을 통해 동시 고유공간의 구조를 탐색하는 것.

제안 방법

• W에 속한 w에 대해 O-비역전치 수를 세는 새로운 통계량 noninv_O(w)를 정의하고, 고전적 역전치 수를 일반화하는 것.
• 군 대수 원소 ∑_{w∈W} noninv_O(w) · w 에 대한 오른쪽 곱셈으로서 연산자 ν_O를 구성하는 것.
• 반사 초평면의 배열을 통해 ν_O를 기하학적으로 재해석하고, 카메라 상의 마르코프 체인과 대응됨을 보이는 것.
• 두 가지 명시적 인수분해 ν_O = π^T π 를 제공하며, 하나는 선형 순서 다면체 위로의 사영을 포함하고, 다른 하나는 Bidigare-Hanlon-Rockmore 무작위 보행이와 관련된 것임을 보이는 것.
• 표현 이론을 활용하여 O가 랭크-1 파라보릭 부분군에 대응할 경우 ν_O가 정수 스펙트럼을 가짐을 보이는 것.
• 𝔖_n의 Gelfand 모델을 활용하여 ν_{(2^k,1^{n−2k})} 가닥이 가환하고 정수 스펙트럼을 가짐을 보이는 것.

실험 결과

연구 질문

• RQ1 k=1,…,n 에 대해 ν_{(k,1^{n−k})} 연산자들이 쌍별로 가환하는가?
• RQ2 이러한 연산자 ν_{(k,1^{n−k})} 는 오직 정수 고유값만 갖는가?
• RQ3 대칭화된 셔플링 연산자 ν_O 는 어떤 행렬 π에 대해 π^T π 로 분해될 수 있는가? 그리고 π의 기하학적 또는 확률적 의미는 무엇인가?
• RQ4 파라보릭 부분군의 공轭류 O 중에서 ν_O 가 자기수반이고 양의 준정부호인 경우는 무엇인가?
• RQ5 𝔖_n 에 대해 ν_{(k,1^{n−k})} 와 ν_{(2^k,1^{n−2k})} 를 제외한 다른 연산자 가닥 ν_O 중에서 가환하는 것은 존재하는가?

주요 결과

• k=1,…,n 에 대해 ν_{(k,1^{n−k})} 연산자 가닥이 정수론적 증명을 통해 쌍별로 가환함을 증명함.
• 각 연산자 ν_{(k,1^{n−k})} 는 어떤 0/1 행렬 π에 대해 ν_{(k,1^{n−k})} = π^T π 로 인수분해됨을 보이며, 이는 대칭성과 양의 준정부호성을 증명함.
• 특수한 경우 ν_{(n−1,1)} 는 무작위에서 무작위로의 셔플링 연산자에 해당하며, π 가 무작위에서 상단으로의 셔플링 행렬인 π^T π 로 인수분해됨.
• 행렬 (inv(στ^{-1}))_{σ,τ∈𝔖_n} 는 랭크-1 파라보릭 공轭류에 대한 일반 결과의 결과로서 정수 스펙트럼을 가짐.
• 가닥 ν_{(2^k,1^{n−2k})} 도 가환하고 정수 스펙트럼을 가짐. 이는 𝔖_n 에 대한 Gelfand 모델의 존재 때문임.
• 논문은 이 두 가닥과 자명한 경우를 제외하고는 𝔖_n 에서 다른 어떤 ν_O 연산자 쌍도 가환하지 않는다고 추측한다.