Why Cooper pairs live in AdS2: a spectral analysis of the Yukawa-SYK model

기술 요약: 왜 쿠퍼 쌍(Cooper pairs)은 $AdS_2$에 거주하는가: Yukawa–SYK 모델의 스펙트럼 분석

문제 제기
Sachdev–Ye–Kitaev (SYK) 모델과 그 확장형인 Yukawa–SYK (Y-SYK) 모델은 준입자(quasiparticle)가 없는 강하게 상호작용하는 양자 물질을 연구하기 위한 미시적 프레임워크를 제공한다. Y-SYK 모델에서, 무작위 Yukawa 상호작용을 통해 $N$개의 페르미온이 $M$개의 보존과 결합하면 스케일 불변(scale-invariant)인 정상 상태를 나타내며, 이는 초전도 현상으로 불안정해질 수 있다. 이전 연구(참고 문헌 [29, 30])는 Y-SYK 모델 내의 쿠퍼 쌍 비로컬(bilocal) 장의 가우시안 요동과 2차원 반-드 시터 공간($AdS_2$) 내의 국소 스칼라 장 이론 사이의 기하학적 대응 관계를 확립했다.

그러나 이 홀로그래피 구성에는 미묘한 형식적 간극이 남아 있었다. 이 매핑은 $dS_2$의 라돈 변환(Radon transform)을 사용하여, 페어링 커널(pairing kernel)이 자연스럽게 존재하는 $dS_2$의 장을 $AdS_2$의 장으로 연결하는 데 의존한다. 라돈 변환은 $dS_2$ 라플라시안의 연속 스펙트럼 부분 공간(continuous spectral subspace)에서만 역변환이 가능하며, 이산 스펙트럼(discrete spectrum)에 대해서는 정의되지 않는다. 이전의 공식화에서는 안정성을 보장하기 위해 이산 모드들을 인위적으로 제거했는데, 만약 이들을 포함할 경우 무수히 많은 불안정한 모드들이 발생하기 때문이다. Y-SYK 모델은 왜 물리적인 페어링 요동이 왜 반드시 이 특정 연속 부분 공간으로 제한되어야 하는지에 대한 미시적 근거가 부족했으며, 이는 $AdS_2$에서의 국소 벌크 장(local bulk field)의 출현을 형식적으로 불완전하게 만들었다.

방법론
저자들은 대규모 $N$ 극한의 Y-SYK 모델 내에서 페어링 커널의 엄밀한 스펙트럼 분석을 수행함으로써 이 간극을 해결한다.

1. 유효 작용량(Effective Action): 대규모 $N$ 비로컬 유효 작용량으로부터 시작하여, 저자들은 짝수 주파수 스핀 싱글렛 쿠퍼 채널에 대한 가우시안 요동 커널을 유도한다. 이들은 비로컬 자기 에너지(anomalous self-energy), 비로컬 전파자(anomalous propagator), 그리고 대칭화된 페어링 장(symmetrized pairing field)에 작용하는 세 가지 관련 커널($K_\Phi, K_F, K_\Theta$)을 정의한다.
2. 스펙트럼 분해: Maldacena와 Stanford의 형식(참고 문헌 [8])을 활용하여, 저자들은 이 커널들이 $SL(2, \mathbb{R})$ 대수의 카시미르 연산자(Casimir operator)와 교환됨을 입증한다. 이를 통해 커널들을 카시미르 고유함수 기저에서 대각화할 수 있다.
3. 고유값 계산: 저자들은 임의의 $h$에 대해 카시미르 고유함수 $h$에 따른 커널 고유값 $k(h)$를 해석적으로 유도한다. 이들은 페어-브레이킹 파라미터(pair-breaking parameter) $\alpha$와 스케일링 차원 $\Delta$에 대한 의존성을 명시적으로 계산한다.
4. 기하학적 매핑: 카시미르 연산자를 $dS_2$의 라플라시안($\square_{dS_2}$)과 연관시킴으로써, 저자들은 페어링 작용량을 $dS_2$에서의 장 이론으로 표현한다. 그 후 이 라플라시안의 스펙트럼을 분석하여, 연속 산란 섹터($h = 1/2 + ip$)와 이산 결합 상태($h = 2(n+1)$)를 구분한다.

주요 결과

• 스펙트럼 분리: 분석 결과, 페어링 스펙트럼에서 연속 섹터와 이산 섹터 사이의 명확한 분리가 드러났다. 초전도 불안정성은 전적으로 연속 산란 섹터에 의해 주도된다. 불안정성의 시작을 결정하는 가장 큰 고유값은 연속체의 바닥($p=0$)에서 발생한다.
• 비임계 이산 모드: 이산 모드들은 비임계적(non-critical)임이 밝혀졌다. 이들의 역수프셉티빌리티(inverse susceptibilities, $1 - k(h_n)$)는 상전이 시에도 유한하게 유지되며, 임계 연속 섹터와 간격(gap)을 두고 떨어져 있다($M/N$이 유한한 경우). 결과적으로, 이 이산 모드들은 보편적인 저에너지 초전도 전이 물리학에 참여하지 않는 고에너지 요동을 나타낸다.
• 투영에 대한 미시적 정당화: 이산 모드들이 비임계적이기 때문에, 이들을 저에너지 이론에서 일관되게 적분하여 제거(integrate out)할 수 있다. 이는 필드 구성을 $dS_2$의 특정 연속 스펙트럼 부분 공간으로 제한해야 하는 것에 대한 최초의 미시적 정당성을 제공한다.
• $AdS_2$의 출현: 연속 부분 공간으로 투영하고 임계점($p=0$) 근처에서 커널을 확장함으로써, 저자들은 $dS_2$에서의 유효 클라인-고든(Klein-Gordon) 작용량을 유도한다. 결정적으로, 필드가 이제 연속 부분 공간으로 제한되었기 때문에 역 라돈 변환이 잘 정의된다. 이를 통해 투영된 비로컬 쿠퍼 쌍 필드는 추가적인 임의적 제한 없이 $AdS_2$에서 전파되는 국소 스칼라 물질 장으로 매핑될 수 있다.
• 주파수 공간 해석: 주파수 공간에서 연속 고유함수는 엘리아스버그(Eliashberg) 이론의 특징인 멱법칙(power-law) 해에 대응한다. 이산 모드는 적외선(IR) 극한에서 무의미한 해에 대응한다.

의의 및 주장
본 논문은 홀로그래피 모델에서 쿠퍼 페어링의 기하학적 정식화에 대한 "누락된 미시적 정당성"을 제공한다고 주장한다. 구체적으로:

• $dS_2$ 스펙트럼의 투영에 관한 모호함을, Y-SYK 모델의 물리적 저에너지 이론이 자연스럽게 연속 섹터를 선택한다는 것을 보여줌으로써 해결한다.
• 비로컬 페어링 이론으로부터 어떻게 국소 벌크 장이 출현하는지를 명확히 한다: 즉, 미시적 이론의 역학이 국소 경사 전개(local gradient expansion)와 역변환 가능한 기하학적 변환(라돈 변환)이 모두 가능한 스펙트럼 부분 공간을 선택한다는 것이다.
• $AdS_2$가 양자 임계 시스템의 페어링을 위한 임계 저에너지 이론의 자연스러운 기하학적 정식화임을 확립한다. 이는 연속 섹터가 $AdS_2$의 전체 정규화 가능한 스펙트럼 공간으로 직접 매핑되기 때문이다.

저자들은 자신들의 결과가 새로운 실험적 제안이나 미래의 함의에 의존하는 것이 아니라, 이전에 제안된 $AdS_2$ 정식화를 더 견고한 이론적 토대 위에 놓는 엄밀한 수학적 유도임을 강조한다.