1. 개요[편집]
| AdS-CFT 대응 AdS/CFT Correspondence | |
|---|---|
| 다른 이름 | 게이지/중력 이중성, 홀로그래피 원리의 구체화 |
| 제안 | 후안 말다세나 (1997) |
| 원형 예 | AdS₅ × S⁵ 의 타입 IIB 끈이론 ↔ 4차원 N = 4 초대칭 양-밀스 |
| 사전 | GKP-위튼 관계식 (1998) |
| 얽힘 공식 | 류-다카야나기 (2006) |
| 지위 | 증명되지 않은 추측 — 방대한 증거만 있다 |
강결합 게이지 이론이 안 풀린다. 그럼 한 차원 늘려서 중력으로 풀면 되지 않을까? 라는, 정신 나간 소리처럼 들리는데 실제로 되는 이야기.
AdS-CFT 대응(AdS/CFT correspondence)은 차원 반더시터르 공간(AdS)에서의 양자중력 이론이 그 경계에 사는 차원 등각장론(CFT)과 물리적으로 완전히 같은 이론이라는 주장이다. 1997년 후안 말다세나가 개의 D3-막이 겹쳐 있는 상황을 두 가지 방식으로 기술하고 그 둘을 같다고 놓으면서 제안했고, 이론물리 역사상 가장 많이 인용된 논문 중 하나가 되었다.1
핵심 매력은 이중성(쌍대성)이라는 성질이다. 한쪽이 강하게 결합해 계산 불가능할 때 다른 쪽이 약하게 결합해 계산 가능해진다. 격자 QCD가 유클리드 시공간에서 잘 하지만 실시간 동역학과 유한 밀도에서 막혀 있다는 사실을 떠올리면, 이 도구가 왜 계산물리 문서에 실릴 자격이 있는지 짐작할 수 있다. 다만 처음부터 못 박아 둘 것이 있다. 이것은 증명된 정리가 아니라 추측이다. 30년 가까이 반례가 나오지 않았고 놀라울 만큼 정교한 정합성 검사를 통과했지만, 증명은 없다.
2. 무엇과 무엇이 같다는 것인가[편집]
원형 예를 정확히 적으면 이렇다.
- 벌크: 타입 IIB 끈이론, 배경 시공간 , 에 단위의 5-형식 플럭스.
- 경계: 4차원 초대칭 양-밀스 이론, 게이지군 .
푸앵카레 좌표에서 AdS 계량은
이고, 경계는 이다. 첫 번째 정합성 검사가 여기서 나온다. 의 등거리군은 인데, 이것이 정확히 차원 등각군이다. 의 회전은 이론의 R-대칭이 되고, 초대칭까지 세면 양쪽 다 다. 대칭이 통째로 일치한다. 이 정도로 우연이 겹치기는 어렵다.
양-밀스는 게이지 이론 중에서도 특별하다. 베타 함수가 정확히 0이라 결합상수가 에너지에 따라 흐르지 않고, 따라서 진짜 등각장론이다(재규격화군의 관점에서는 고정점 위에 통째로 얹혀 있는 이론). QCD와 달리 가둠도 없고 카이랄 대칭 깨짐도 없다. QCD가 아니라는 사실을 잊는 것이 이 분야 응용에서 가장 흔한 사고다.
3. 강결합 ↔ 약한 곡률 — 이중성의 실용적 의미[편집]
왜 계산에 쓸모가 있는가는 매개변수 사전이 전부 설명한다. 끈 결합 , 끈 길이 , AdS 반지름 과 게이지 이론 쪽 양들 사이에
가 성립한다. 가 ‘t 후프트 결합이다. 이제 읽어 보자.
- (평면 극한) . 끈의 고리 보정이 꺼지고 고전 끈이론이 된다.
- (강결합) . 곡률 반지름이 끈 길이보다 훨씬 커서 끈의 내부구조가 안 보이고, 고전 초중력(일반상대론 + 몇 개의 장)으로 충분해진다.
두 조건을 합치면 **“게이지 이론이 강하게 결합할수록 중력 쪽은 더 얌전한 고전 미분방정식”**이다. 강결합 게이지 이론의 상관함수를 구하는 문제가 휘어진 시공간에서 파동방정식을 푸는 경계값 문제로 바뀐다. 이게 이 도구의 존재 이유 전부다.
반대 방향도 참이다. 게이지 이론이 약결합()이면 중력 쪽은 곡률이 끈 스케일이라 초중력 근사가 죽고 끈이론 전체가 필요하다. 양쪽이 동시에 쉬운 구간은 없다. 그래서 “이중성을 이용해 양쪽을 다 계산하고 비교”하는 직접 검증이 그렇게 어렵고, 대신 초대칭이 보호하는 양(BPS 양)이나 적분가능성이 통제하는 양에서만 정밀 비교가 가능하다.
4. 사전 — GKP-위튼 관계식[편집]
“같다”는 말을 계산 가능한 규칙으로 바꾼 것이 굽서-클레바노프-폴랴코프와 위튼이 1998년에 정리한 관계식이다.
읽는 법은 이렇다. 벌크의 장 하나에 경계 이론의 게이지 불변 연산자 하나가 대응하고, 그 장의 경계값이 의 소스 역할을 한다. 그러면 경계 이론의 연결 상관함수는 초중력 작용을 소스에 대해 미분해서 얻는다. 마지막 근사가 앞 절의 조건 아래에서만 유효한 안장점 근사다.
대응은 양자수까지 정확히 맞는다. 벌크 스칼라의 질량과 경계 연산자의 스케일링 차원 사이에
이 성립하고, 벌크 계량 는 경계의 에너지-운동량 텐서 에, 벌크 게이지장은 경계의 보존류에 대응한다. 차원이 낮은 연산자 = 가벼운 벌크 장이라는 사전이 여기서 나온다.
실제 계산에는 한 가지 성가신 단계가 더 있다. 에서 온-쉘 작용이 발산하는데, 이 발산이 정확히 경계 CFT의 자외선 발산에 대응한다. 경계 근처에 컷오프를 두고 국소 반대항을 빼는 절차를 홀로그래피 재규격화라 부르며2, 재규격화군의 표준 절차가 기하학적으로 번역된 것이다. 실제로 벌크의 반지름 좌표 가 경계 이론의 에너지 척도 노릇을 한다는 UV/IR 대응이 이 대응의 가장 직관적인 얼굴이다 — RG 흐름이 여분 차원의 기하가 된다.
5. 얽힘 엔트로피가 넓이가 된다 — 류-다카야나기[편집]
2006년 류신세이와 다카야나기 다다시가 내놓은 공식이 이 분야의 방향을 바꿨다. 경계의 어떤 영역 를 잡을 때, 그 얽힘 엔트로피는
이다. 는 벌크로 뻗어 들어가 에 걸리는 최소 넓이 곡면(정확히는 와 호몰로지 조건을 만족하는 극값 곡면)이다. 베켄슈타인-호킹 블랙홀 엔트로피 와 형태가 똑같다는 점이 즉시 눈에 띈다.
이 공식이 대단한 이유는 검증이 되기 때문이다. 에서 계산하면 2차원 CFT의 알려진 결과 가 중심전하까지 정확히 재현된다(등각장론 참조). 강한 부가성 같은 얽힘 엔트로피의 부등식들이 곡면들을 잘라 붙이는 기하학적 논증으로 증명되고, 시간의존 상황으로의 공변 확장(HRT)과 양자 보정(양자 극값 곡면)까지 체계가 세워졌다.
계산과학 쪽에는 다른 파장이 있었다. 얽힘의 구조가 기하라면, 기하를 얽힘으로 쌓아 올릴 수도 있지 않을까? 이 발상이 텐서 네트워크와 홀로그래피를 잇는 연구를 낳았다. MERA 네트워크의 계층 구조가 AdS 의 등각 인수와 닮았다는 관찰(스윙글, 2009)에서 출발해, 완벽 텐서로 짠 부호가 벌크-경계 사전을 양자 오류 정정 부호로 실현한다는 결과(HaPPY 부호, 2015)까지 왔다. **“양자중력은 오류 정정 부호”**라는 문장이 진지하게 오가는 상태다.
6. 강결합 수송 — η/s 이야기[편집]
가장 널리 인용되는 응용은 점성이다. AdS 안의 블랙 브레인은 경계 이론의 유한 온도 열평형 상태에 대응하고, 지평선 온도가 CFT 온도, 지평선 넓이를 으로 나눈 것이 엔트로피가 된다. 여기서 계량 요동의 흡수 단면적을 계산하면 전단 점성이 나오는데, 결과가
로 결합상수도 도 안 들어간 순수한 상수다. 폴리카스트로-손-스타리네츠(2001)의 계산이고, 이후 코브툰-손-스타리네츠(2005)가 “이보다 낮은 값은 없다”는 KSS 하한 추측을 내놓았다. 이 값이 유명해진 이유는 중이온 충돌 실험이 그 근처를 가리켰기 때문이다. RHIC과 LHC의 타원흐름 데이터를 상대론적 유체역학으로 맞추면 쿼크-글루온 플라스마의 가 의 1~2.5배 수준으로 나온다. 인류가 만든 가장 완벽한 유체다.
여기서도 정직하게 붙일 단서가 있다.
- KSS는 정리가 아니다. 아인슈타인 중력(2계 미분)에 국한된 결과이고, 가우스-보네 같은 고계 미분 보정을 넣으면 아래로 내려가는 예가 구성된다. “우주적 하한”이 아니라 “넓은 부류에서 성립하는 값”으로 읽어야 한다.
- 는 QCD가 아니다.3 위 숫자는 등각·초대칭·평면극한 이론의 값이다. QGP 데이터와 자릿수가 맞는다는 것이 놀라운 것이지, 정량적 예측으로 쓸 수 있다는 뜻이 아니다.
- 그럼에도 정성적 교훈은 남는다. “강하게 결합한 양자 임계 유체는 점성이 극도로 낮다”는 것, 그리고 그 값이 로 무차원화된다는 것.
응집물질 쪽 응용(홀로그래피 초전도체, 이상금속의 선형 온도 저항, SYK 모형)도 같은 온도의 단서를 달아야 한다. 어떤 실제 물질도 알려진 중력 쌍대를 갖고 있지 않다. 홀로그래피 응집물질은 특정 물질의 계산이 아니라, 준입자 서술이 통하지 않는 강상관계에서 어떤 거동이 가능한가를 탐색하는 모형 만들기 도구다.
7. 증거는 얼마나 쌓였나 — 그리고 왜 여전히 추측인가[편집]
증명이 없는데도 사람들이 믿는 이유는 검증의 종류가 다양하기 때문이다.
- 대칭 일치. 초등각 대수까지 완전히 맞는다. 스펙트럼의 짧은 표현(BPS)들이 양쪽에서 정확히 대응한다.
- 적분가능성. 평면 는 적분가능하다는 것이 밝혀져, 연산자의 이상차원을 결합상수의 모든 값에서 계산하는 방법이 개발됐다. 약결합 극한에서 파인만 다이어그램 계산과, 강결합 극한에서 끈의 고전 해와 각각 일치한다. 양쪽 끝을 잇는 함수가 실제로 존재하고 두 끝에서 다 맞는다는 것이 가장 강력한 정량 증거다.
- 국소화. 초대칭이 보호하는 양(원형 윌슨 루프의 기댓값 등)은 게이지 이론 쪽에서 행렬모형으로 정확히 계산되고, 강결합 극한이 AdS 안 최소 곡면의 넓이와 일치한다.
- 수치 증거. 이게 심위키가 특히 좋아할 부분이다. BFSS 행렬 양자역학은 D0-막의 이론이자 어떤 블랙홀의 쌍대로 여겨지는데, 이 모형은 1차원이라 몬테카를로로 직접 시뮬레이션이 된다(부호 문제가 관리 가능하다). 격자 시뮬레이션으로 얻은 내부에너지의 온도 의존성이 초중력이 예측한 지수와 계수, 그리고 보정까지 재현했다. 끈이론 예측을 컴퓨터가 검산한 흔치 않은 사례다.
그럼에도 추측인 이유는 간단하다. 에서의 비섭동적 타입 IIB 끈이론이 무엇인지에 대한 독립적 정의가 없다. 어떤 관점에서는 AdS/CFT가 그 정의 노릇을 하고 있어서, “증명”이라는 말이 무엇을 뜻하는지부터 불분명해진다. 게다가 우리 우주는 AdS가 아니다 — 우주상수가 양수라 점근적으로 더시터르에 가깝고, dS/CFT 쪽 시도는 AdS 쪽에 비하면 훨씬 취약하다.
8. 계산 도구로서의 위치 — 격자가 못 가는 곳[편집]
심위키의 관심사로 정리하면 이렇다.
| 문제 | 격자 QCD | 홀로그래피 |
|---|---|---|
| 진공 하드론 질량 | 제1원리, 퍼센트 정밀도 | 정성적 |
| 유한 온도 상태방정식 | 강함 | 정성적 |
| 수송계수 (η, 전기전도도) | 유클리드 상관자에서 해석적 연속 — 심각한 역문제 | 실시간 계산이 직접 나옴 |
| 유한 바리온 밀도 | 부호 문제로 막힘 | 전하 밀도를 그냥 켤 수 있음 |
| 비평형·충돌 초기 단계 | 사실상 불가 | 중력붕괴 수치 상대론으로 계산 가능 |
격자는 유클리드 시공간의 경로적분을 몬테카를로 방법으로 표본추출하는 방식이라, 민코프스키 시간의 실시간 동역학이 원리적으로 막혀 있다. 수송계수는 유클리드 상관자로부터 스펙트럼 함수를 역변환해야 얻는데, 이것이 전형적인 부정치 역문제라 최대 엔트로피 원리 기반 방법을 동원해도 오차가 크다. 홀로그래피는 바로 그 자리에 답을 준다 — 대신 그 답은 다른 이론(등각·초대칭·평면극한)의 답이다.
그래서 실무에서의 정직한 용법은 이렇다. 정량적 예측 도구가 아니라, 강결합 영역에서 “무엇이 가능한가”의 지도이자 어림값 제공자. 를 QGP 유체역학 시뮬레이션의 초기 추정값으로 쓰고, 실험 데이터로 베이즈 보정하는 방식이 오늘날의 표준 워크플로다. 이 조합은 실제로 잘 굴러가고 있다.
9. 관련 문서[편집]
- 등각장론 · 쌍대성 · 재규격화군
- 게이지 이론 · 격자 QCD · 양자 몬테카를로
- 얽힘 엔트로피 · 양자 얽힘 · 텐서 네트워크
- 끈 이론 · 블랙홀 · 쿼크-글루온 플라스마
- 몬테카를로 방법 · 역문제 · 계산물리
10. Footnotes[편집]
-
인용수 이야기를 하자면, 말다세나의 1997년 논문은 고에너지 이론 분야에서 가장 많이 인용된 논문 자리를 20년 넘게 지키고 있다. 학회에서 “The Maldacena”라고만 해도 무슨 논문인지 다들 알아듣는 수준. 참고로 1998년 스트링 학회 만찬에서는 이 대응을 주제로 한 개사곡 「Maldacena」가 마카레나 안무와 함께 불렸고, 영상이 아직도 인터넷에 남아 있다. ↩
-
“홀로그래피”라는 이름은 후프트(‘t Hooft, 1993)와 서스킨드(1994)의 홀로그래피 원리에서 왔다. 차원 영역의 물리가 그 경계 차원에 담기며 자유도가 부피가 아니라 넓이에 비례한다는 발상인데, 원래 동기는 블랙홀 엔트로피가 부피가 아니라 지평선 넓이에 비례한다는 사실이었다. AdS/CFT 는 그 추상적 원리의 작동하는 구체적 사례다. ↩
-
그래서 이 분야 세미나에서는 “AdS/QCD”라는 말이 나올 때마다 청중석에서 눈썹이 올라간다. 등각 대칭도 없고 가둠도 있는 진짜 QCD를 등각·초대칭 이론으로 근사한다는 것이니, 잘 맞으면 놀라운 일이지 당연한 일이 아니다. 실제로 잘 맞는 양(점성 근처)과 처참하게 틀리는 양(글루볼 스펙트럼)이 갈린다. ↩