단일 선반 셔플의 위치 행렬 스펙트럼과 카드 추측 최적화

초록

단일 선반 셔플에서 각 카드가 최종 위치에 놓일 확률을 담은 위치 행렬 M의 전체 고윳값과 고유벡터를 명시적으로 구하고, 이를 이용해 피드백이 없는 카드 추측 게임에서 기대 정답 수의 상한·하한을 정확히 추정한다. 특히 k ≥ (1+ε) log n 번 셔플 후 기대 정답 수는 1에 매우 가깝고, 한 번 셔플 시 최적 전략의 기대 정답 수는 √(2n/π)±O(1) 수준임을 보인다.

상세 분석

본 논문은 먼저 단일 선반 셔플의 전이 행렬을 명시적으로 기술한다. 카드 i가 셔플 후 위치 j에 놓일 확률은
(M(i,j)=\frac12\binom{i-1}{j-1}+\frac12\binom{i-1}{n-j})
이며, 이는 하삼각 행렬 L과 그 뒤집힌 버전 LP의 합으로 표현된다: (M=L(I+P)) where (P)는 역순 전치 행렬이다. L은 대각 원소가 (2^{-i})인 하삼각 가역 행렬이며, 그 고유벡터는 떨어지는 팩토리얼 기저 (v^{(j)}k=(k-1)^j) 로 구성된다. 이 기저에서 L은 대각화되고, (I+P)는 상삼각 형태가 된다. 따라서 M은 이 기저에서 상삼각 행렬이며, 고윳값은 짝수 i에 대해 (2^{-i}) (i = 0,2,4,…,≤ n‑1)이며, 짝수가 아닌 i에 대해서는 0이 된다. 고유벡터는 Bernoulli 수와 다항식 전개를 이용해
(\zeta^{(i)}(k)=\sum{t=0}^{i} w^{(i)}_t (k-1)^t)
with
(w^{(i)}t = 2^{,i-t} B{i-t}\binom{i}{t}(n-t-1)!,(n-i-1)!^{-1})
와 같이 명시된다. 여기서 (B_m)은 Bernoulli 수이다. 이 결과는 기존의 두 개의 추측(특히 “(1/4)” 고윳값과 “(2^{-i})” 고윳값이 짝수 i에만 존재한다는 가설)을 완전히 증명한다.

다음으로, 위치 행렬의 스펙트럼을 이용해 피드백이 없는 카드 추측 게임을 분석한다. 최적 전략은 각 위치 j에서 확률이 가장 큰 카드 (g_j)를 추측하는 것이며, 기대 정답 수는 (\sum_j \max_i M(i,j)) 로 표현된다. 저자는 간단한 전략 G를 제시한다: j번째 위치에서 카드 (2j-1) 혹은 (n-j+1)을 추측한다. 이를 이용하면 기대 정답 수는 (\sqrt{2n/\pi}-1) 에서 (\sqrt{2n/\pi}+1) 사이에 존재함을 보인다. 특히, 대수적 상한은 (\sqrt{2n/\pi}+O(n^{-1/2})) 로, 기존 결과보다 오차항이 크게 개선되었다. 또한, k ≥ (1+ε) log n 번 셔플을 반복하면 위치 행렬이 거의 전부 0에 가까워져, 어떤 전략을 사용하더라도 기대 정답 수는 1 + O(n^{-2ε}) 로 수렴한다. 이는 Ciucu의 dovetail 셔플 결과와 직접적인 유사성을 가진다.

마지막으로, 커널 구조를 분석해 (\ker(M)=\operatorname{span}{e_j-e_{n-j+1}\mid 1\le j\le\lfloor n/2\rfloor}) 임을 보이고, 이는 M이 이중 확률 행렬임을 다시 확인한다. 전체 증명은 행렬 분해(L·(I+P)), 고유기저 전환, 그리고 Bernoulli 다항식 전개를 조합한 깔끔한 선형대수적 접근으로 이루어진다.