The Euler Ensemble as a Turbulent Attractor: Parity Sectors, Zero Modes, and a Zeta Edge

기술 요약: 오일러 앙상블(The Euler Ensemble)로서의 난류 어트랙터

문제 정의
본 논문은 자유 붕괴하는 비압축성 나비에-스토크스(Navier-Stokes) 난류의 재척도된 모멘텀 루프 방정식(momentum-loop equation)의 컴팩트 산술적 고정점으로 제안된 유한 오일러 앙상블의 리아푸노프 안정성(Lyapunov stability)을 다룬다. 핵심 질문은, 나비에-스토크스 방정식의 정확한 통계적 진화로부터 유도된 이 앙상블들이 연속체 극한(continuum limit)에서 안정적인 난류 어트랙터(turbulent attractors)를 구성하는가 하는 점이다. 구체적으로, 본 연구는 이러한 고정점 주위의 선형 섭동에 대한 리아푸노프 지수(Lyapunov exponents)의 스펙트럼을 조사하여, 난류 상태가 안정적인지, 불안정한지, 혹은 임계 안정(marginally stable) 상태인지를 결정한다.

방법론
분석은 유체 역학 문제를 산술적 스펙트럼 문제로 엄밀하게 환원하는 과정을 거친다:

1. 모멘텀-루프 표현: 연구는 루프 공간 정식화(loop-space formulation)를 활용하여, 통계적 진화가 순환 루프 범함수 $\Psi(C, t)$에 인코딩되는 나비에-스토크스 난류를 다룬다. 이는 1차원 모멘텀 루프 $P_\alpha(\theta, t)$를 포함하는 모멘텀-루프 표현으로 매핑된다.
2. 불변 부분 다양체: 분석은 $P^2_{k+1} = P^2_k$ 조건에 의해 정의된 컴팩트 구형 불변 부분 다양체로 역학을 제한한다. 이 부분 다양체 위에서 오일러 대류 항은 동일하게 상쇄되며, 모멘텀-루프 방정식은 대수적으로 풀 수 있는 형태로 축소된다.
3. 재척도 및 선형화: 붕괴하는 오일러 해를 $\tau = \log(\nu(t+t_0))$를 사용하여 재척도함으로써, 시간 의존적 해를 자율 역학(autonomous dynamics)의 고정점으로 변환한다. 선형 섭동 $F_k = f_k + \xi_k e^{\lambda \tau}$를 도입하여 리아푸노프 지수 $\lambda$를 정의한다.
4. 산술적 축소: 유한-$N$ 접선 스펙트럼 문제는 정확하게 풀 수 있음이 입증되었다. 시스템의 전체 이징 히스토리(Ising history, $\sigma_k = \pm 1$)는 폐쇄 권선수(closure winding number) $qr = \sum \sigma_k$를 통해서만 안정성 조건에 영향을 미친다. 이는 안정성 분석을 축소된 유리각 $p/q$와 권선 섹터(winding sectors) $r$에 관한 산술 문제로 축소시킨다.
5. 패리티 섹터 및 분배 함수: 패리티 제약 조건 $N - qr \equiv 0 \pmod 2$를 사용하여 연속체 극한을 세 가지 뚜렷한 로컬 섹터로 분류한다. 분배 함수 $Z_o(N)$, $Z_{e,0}(N)$, 그리고 $Z_{e,\ast}(N)$를 분석하여 이 섹터들의 상대적 가중치를 결정한다.
6. 횡방향 섭동: 차원 $d > 2$에 대해, 횡방향 섭동이 선형 및 이차 차수에서 스펙트럼 이동을 생성하는지 또는 제로 모드(zero modes)로 작용하는지 분석한다.

주요 기여 및 결과

• 세 가지 로컬 섹터: 연속체 극한은 단일 오일러 앙상블로 기술되지 않고, 패리티와 권선에 따라 세 가지 섹터로 나뉜다:

  1. $E_o$ (홀수 앙상블): $N$이 홀수이며, 이는 $q$와 $r$이 홀수임을 의미한다. 제로 권선 섹터 $r=0$은 패리티에 의해 제외된다.
  2. $E_{e,0}$ (짝수 제로 권선 섹터): $N$이 짝수이고 $r=0$이다. 이 섹터는 이산적인 제로 모드의 특이점을 가진다. 이 섹터의 분배 함수는 펑처된(punctured) 짝수 섹터에 비해 $N$ 차수의 계수($Z_{e,0}/Z_{e,\ast} \sim 3N/\pi^2$)만큼 강화된다.
  3. $E_{e,\ast}$ (펑처된 짝수 섹터): $N$이 짝수이지만, $r=0$ 섹터가 조건부로 제거된 상태이다.

• 짝수 제로 권선 섹터($E_{e,0}$)의 안정성:
  이 섹터에서는 스펙트럼 각도가 양자화되지 않는다. 접선 스펙트럼은 양의 리아푸노프 지수를 포함하는 연속 곡선 $\lambda(\vartheta; p, q)$를 형성한다. 결과적으로, 짝수 제로 권선 앙상블은 **리아푸노프 불안정(Lyapunov unstable)**하다.

• $E_o$ 및 $E_{e,\ast}$의 임계 안정성:
  두 경우 모두(홀수 앙상블 및 펑처된 짝수 앙상벨), 스펙트럼 각도는 여전히 양자화되어 있다 ($\vartheta_n = \pi n / rq$).

  • 고정된 비제로 스펙트럼 라벨 $n$에 대해, 정규화된 고유값 법칙은 약하게 델타 함수 $\rho^{(N)}_n \Rightarrow \delta_0$로 붕괴한다.
  • 이 섹터들은 임계 안정(marginally stable) 상태이다 (스펙트럼이 $\lambda=0$으로 집중되며, 엄격하게 음의 값은 아니다).
  • 유한한 양의 고유값들은 점별(pointwise)로 사라지지 않지만, 오직 "사라지는 가중치의 산술적 에지(vanishing-weight arithmetic edge)"로서만 생존한다. 홀수 섹터에서 이 에지의 양의 모멘트는 $M_{s,+} \sim \sqrt{\frac{\pi}{2N}} |n|^s \zeta(s)$ ($s > 1$)와 같이 스케일링되며, 이는 안정성 에지를 리만 제타 함수와 직접 연결한다.

• 횡방향 모드:
  차원 $d > 2$에서, 횡방향 섭동은 선형 차수에서 제로 모드($\lambda_\perp = 0$)이다.

  • 불안정한 $E_{e,0}$ 섹터에서, 이차적 장애(quadratic obstruction)는 부정 부호 이차 형식(indefinite quadratic form)에 의해 제어되는 실제적인 제약 조건이다.
  • 임계 안정 섹터($E_o$ 및 $E_{e,\ast}$)에서, 이차적 장애는 반경 방향 보정 $c^*[\rho]$에 의해 흡수되어 스펙트럼 이동을 남기지 않는다. 따라서 횡방향 섹터는 이 차수까지 중립 중심 다양체(neutral center manifold) 역할을 한다.

의의 및 주장
본 논문은 난류를 순수한 카오틱 노이즈 증폭으로 보는 전통적인 관점과 대조되는, 난류 어트랙터에 대한 정확하고 결정론적인 수론적 해를 제공한다고 주장한다. 주요 의의는 다음과 같은 오일러 연속체 극한의 엄밀한 분류에 있다:

1. 비유일성: 난류 어트랙터는 유일하지 않다. 이는 두 가지 안정적인 변형(홀수 앙상블과 펑처된 짝수 앙상블)과 하나의 불안정한 변형(짝수 제로 권선 섹터)으로 존재한다.
2. 산술적 제어: 어트랙터의 안정성은 매끄러운 연속 모드가 아니라, 유리수 권선 섹터의 산술적 구조에 의해 제어된다. 스펙트럼의 "에지"는 리만 제타 함수와 조르단 토티언트(Jordan totients)에 의해 지배된다.
3. 임계성: 안정적인 어트랙터들은 "임계적(marginal)"이다. 즉, 리아푸노프 스펙트럼이 엄격하게 음의 값으로 떨어지는 것이 아니라 0으로 붕괴함을 의미한다. 이는 유한한 양의 고유값이 오직 사라지는 산술적 에지로만 존재할 수 있는 특정한 유형의 안정성을 시사한다.

저자들은 임계 섹터 중 어느 하나가 물리적으로 실현되는 것은 단순히 고정 모드 리아푸노프 계산에 의한 것이 아니라, 역학적 선택(dynamical selection)과 초기 통계적 준비(initial statistical preparation)에 달려 있음을 강조한다. 이 연구는 난류 문제를 산술적 스펙트럼 붕괴(arithmetic spectral collapse)로 재정의하며, 붕괴하는 난류의 후기 통계적 상태에 대한 수학적으로 정확한 프레임워크를 제시한다.