브루하 순서에서의 비교 가능성: 약한 순서의 정확한 지수와 강한 순서의 새로운 하한

초록

본 논문은 대칭군 Sₙ 위의 약한 브루하 순서와 강한 브루하 순서에서 두 무작위 순열이 비교 가능한 확률을 정확히 추정한다. 약한 순서에서는
\

상세 분석

논문의 핵심은 약한 브루하 순서에서 비교 가능성 확률의 정확한 지수 −½ 을 도출한 점이다. 이를 위해 저자들은 먼저 가장 긴 증가 부분수열(LIS)의 전형적인 길이 ≈2√n 이라는 Baik–Deift–Johansson 결과를 이용한다. LIS가 길어질수록 역전 집합 Inv(σ⁻¹) 의 크기가 커지고, 약한 순서의 비교 조건 Inv(σ₁⁻¹)⊆Inv(σ₂⁻¹) 을 만족하기 어려워진다. 이 직관을 정량화하기 위해 Bukhov–Petrov가 제시한 선형 확장에 대한 하한 부등식을 적용, LIS가 평균보다 크게 벗어나는 경우의 확률을 제어한다. 결과적으로 하한은 exp((-½+o(1))n log n) 이라는 형태로 얻어진다.

상한을 얻기 위해서는 약한 순서 비교를 플랑케렐 측정 하에서 RSK 형태 λ 에 대한 기대값으로 전환한다. RSK 전단사는 임의의 순열 σ 을 두 표준 영표(Young)표와 그 형태 λ 으로 매핑한다. 약한 순서 비교 확률은 형태 λ 에 대한 함수 Ψ(λ) 의 평균으로 표현되며, Ψ는 각 행·열 길이에 대한 특정 조합적 가중치를 포함한다. 저자들은 Ψ(λ) 에 대한 균일 하한을 “피어링(peeling)” 기법—즉, 가장 큰 행·열을 차례로 제거하면서 남은 도형에 대한 부등식을 재귀적으로 적용—을 통해 증명한다. 이 과정에서 로그-합 부등식과 Stirling 근사를 활용해 정확히 −½ 이라는 상수를 추출한다.

강한 브루하 순서에 대해서는 기존의 exp(−Θ(n)) 하한을 크게 개선한다. 핵심 아이디어는 “구조화된 큰 가족”을 구성하고, 그 내부에서 무작위로 선택된 두 순열이 강한 순서에서 비교 가능할 확률이 거의 1에 가깝다는 것을 보이는 것이다. 이를 위해 테이블루 기준(갤(Gale) 순서)을 사용한다. 갤 순서는 각 앞 k 개의 원소 집합을 정렬한 뒤 원소별 비교를 수행하는데, 저자들은 이 조건을 확률적 편차 과정—즉, 독립적인 랜덤 워크가 일정 범위 내에 머무르는 현상—으로 모델링한다. 마코프 체인과 McDiarmid의 집중 부등식을 이용해 편차가 큰 경우의 확률을 지수적으로 억제하고, 전체 가족 크기가 (n!)² 에 비해 서지수적 비율을 차지함을 보인다. 따라서 강한 순서 비교 확률은 exp(-(6+o(1))√n log^{3/2}n) 보다 작지 않다.

전반적으로 논문은 조합론, 확률론, 그리고 대수기하학적 도구들을 유기적으로 결합해 두 종류의 브루하 순서에서 비교 가능성의 정확한 규모를 밝혀냈다. 특히 약한 순서에서는 플랑케렐 측정과 RSK 전단사의 조합이, 강한 순서에서는 테이블루 기준과 랜덤 워크 편차 분석이 핵심 역할을 한다.