[논문 리뷰] Riffles, ruffles, and the turning algebra

Peter G. Doyle, Dan Rockmore|ArXiv.org|2008. 04. 01.

Mathematics and Applications인용 수 4

한 줄 요약

이 논문은 리플 셔플을 일반화한 '릴플'이라 불리는, 하부 패킷이 뒤집어지는 방식의 셔플을 통해 대칭군 대수 $S_n$의 교환 부분대수인 '턴링 대수'를 도입한다. 릴플과 방향성 있는 순열 간의 연결고리를 설정하며, 순열의 '턴링 수'를 그 순열이 릴플링 연산에서 나타내는 복잡도의 척도로 정의한다. 이는 한 순열의 최소 방향성 있는 상승 수에서 1을 뺀 값이다. 주요 기여는 잘 알려진 상승 대수를 일반화한 새로운 대수적 구조를 구성한 것으로, 재구성 상수가 2의 거듭제곱임을 보여, 더 높은 조합적 복잡도를 반영한다.

ABSTRACT

The rising algebra is a subalgebra of the group algebra of the symmetric group S_n, gotten by lumping together permutations having the same number of rising sequences. This well-known algebra arises naturally when studying riffle shuffles. Here we introduce a number of other subalgebras that arise naturally when studying `ruffles', which are like riffles except that after cutting the deck you turn over the bunch of cards that were on the bottom. This orphaned draft offers no context or motivation, and uses idiosyncratic notation and terminology that `seemed like a good idea at the time'. We're making it available because it has been cited in this form.

연구 동기 및 목표

• 리플 셔플에서 유도되는 상승 대수를 일반화하여, 하부 패킷이 뒤집어지는 방식의 셔플인 '릴플'을 기반으로 하는 새로운 대수적 구조를 도입한다.
• 릴플링 연산 하에서의 복잡도를 측정하는 척도로 '턴링 수'를 정의하고 분석한다.
• 방향성 있는 순열을 통한 인수분해를 통해 $S_n$의 군 대수의 교환 부분대수인 '턴링 대수'를 구성한다.
• 턴링 대수의 조합적 복잡도를 상승 대수 및 방향성 있는 상승 대수와 비교한다.
• 상승 대수의 경우와 마찬가지로 턴링 대수의 인수분해 간 자연스러운 이분법적 대응 관계가 존재하는지 조사한다.

제안 방법

• 셔플링 맥락에서의 복합과 시각화를 단순화하기 위해 순열을 수직 분수 형태인 $\sigma|\tau$로 표현하여 $\sigma\tau^{-1}$를 나타내는 새로운 표기법을 도입한다.
• 방향성 파rameter('위' 또는 '아래')를 추가하여 릴플 연산을 확장함으로써 '지향된 릴플 모노이드'를 정의한다. 이는 다양한 패킷 방향을 가진 릴플링을 모델링한다.
• 방향성 있는 순열의 '방향성 있는 상승 수'를 정의하고, 주어진 방향성 있는 순열을 릴플링으로 생성할 수 있는 방법의 수가 오직 이 수에 의존함을 보인다.
• 방향성 있는 순열의 군 $\bar{S}_n$의 군 대수의 교환 부분대수인 '방향성 있는 상승 대수'를 구성한다.
• 주어진 순열을 릴플링으로 생성할 수 있는 방법의 수가 오직 그 순열의 '턴링 수'에 의존함을 보이며, 이는 어떤 방향성 있는 순열이 그 순열로 축약될 수 있는 최소 방향성 있는 상승 수에서 1을 뺀 값으로 정의된다.
• 방향성 있는 상승 대수와 $\pi_{\bar{S}_n, S_n}$ 사영을 통해 인수분해함으로써 $S_n$의 군 대수의 교환 부분대수인 '턴링 대수'를 확립한다.

실험 결과

연구 질문

• RQ1 하부 패킷이 뒤집어지는 릴플링 연산은 리플 셔플을 어떻게 일반화하며, 어떤 새로운 대수적 구조를 생성하는가?
• RQ2 순열의 '턴링 수'는 어떤 조합적 의미를 가지며, 관련된 방향성 있는 순열의 방향성 있는 상승 수와 어떻게 관련되어 있는가?
• RQ3 턴링 대수는 $S_n$의 군 대수의 교환 부분대수로 구성될 수 있는가? 그리고 그 구조와 복잡도 측면에서 상승 대수와 어떻게 비교되는가?
• RQ4 상승 대수의 경우와 마찬가지로 턴링 대수의 인수분해 간 자연스러운 이분법적 대응 관계가 존재하는가?
• RQ5 턴링 대수의 재구성 상수는 무엇이며, 왜 상승 대수의 경우와 달리 1이 아닌가?

주요 결과

• 턴링 대수는 방향성 있는 순열의 군과 $S_n$으로의 사영을 통해 인수분해되는 방식으로, $S_n$의 군 대수의 교환 부분대수로 구성된다.
• 순열의 턴링 수는 그 순열의 방향성이 무시된 상태에서 축약될 수 있는 어떤 방향성 있는 순열의 최소 방향성 있는 상승 수에서 1을 뺀 값으로 정의된다.
• 주어진 순열을 릴플링으로 얻는 방법의 수는 오직 그 순열의 턴링 수에 의존하므로, 턴링 대수는 군 대수의 타당한 뭉치( lumping )로 간주될 수 있다.
• 턴링 대수의 재구성 상수는 2의 거듭제곱이며, 상승 대수의 경우 상수가 1이므로 더 높은 조합적 복잡도를 반영한다.
• 크기의 동치성에 의해 턴링 대수의 인수분해 간 이분법적 대응 관계가 보장되지만, 비자명한 재구성 상수가 존재하므로 자연스러운 이분법적 대응 관계는 기대되지 않는다.
• 감소된 턴링 수는 위치 1의 전환점을 포함하지 않으며, 가변적인 방향성을 가진 릴플링을 모델링하기 위해 지향된 릴플 모노이드가 도입되어 감소된 턴링 대수가 구성된다.