끈 이론

물리 양자역학 계산물리 마지막 수정: 2026-09-06 04:13:41

1. 개요[편집]

끈 이론 String Theory
기본 대상	점입자가 아닌 1차원 끈 (닫힌 끈 · 열린 끈)
작용	남부-고토 (넓이) · 폴랴코프 (2차원 장론)
척도	레게 기울기 $\alpha'$, 장력 $T=1/2\pi\alpha'$
임계차원	보손 26 · 초끈 10 (웨일 이상항 소거)
초끈 이론	I · IIA · IIB · 헤테로틱 SO(32) · 헤테로틱 E₈×E₈
통합	11차원 M-이론, 쌍대성 그물 (1995)
계산 도구	위상학적 재귀 · 행렬모형 몬테카를로 · AdS/CFT
지위	실험 검증 없음. 수학·계산 도구로서의 성과는 별개

점이 아니라 줄이라고 가정했더니 중력이 딸려 나왔다. 문제는 그 대가로 차원이 여섯 개 더 필요했다는 것.

끈 이론(string theory)은 자연의 기본 구성요소를 점입자가 아니라 유한한 길이를 가진 1차원 끈으로 놓고, 그 끈의 서로 다른 진동 모드를 서로 다른 입자로 해석하는 이론 체계다. 전자와 광자와 중력자가 다른 입자인 이유가 “다른 것”이 아니라 “같은 것이 다르게 떨고 있어서”라는 발상이며, 놀랍게도 그 진동 스펙트럼에는 요구하지 않았는데도 질량 없는 스핀-2 입자가 반드시 들어 있다. 스핀-2 무질량 장의 저에너지 유효 이론은 일반상대론일 수밖에 없으므로, 이 이론은 중력을 선택한 것이 아니라 강요당한다.

이 문서는 물리학사적 논쟁을 재판하지 않는다. 심위키의 관심사는 끈 이론이 실제로 무엇을 계산하는 도구가 되었는가다. 초대칭 입자가 가속기에서 안 나온 것과, 위상학적 재귀가 조합론적 부피를 실제로 뱉어내고 행렬 모형의 몬테카를로 계산이 블랙홀 열역학 예측과 맞아떨어지는 것은 서로 독립된 사실이다. 뒤쪽이 이 문서의 절반을 차지한다.

2. 남부-고토에서 폴랴코프까지[편집]

점입자의 작용이 세계선의 길이라면, 끈의 작용은 세계면의 넓이다. 이것이 남부-고토 작용이다. 유도계량 $h_{ab}=\partial_a X^\mu\,\partial_b X_\mu$ 에 대해

S_{\rm NG} = -T\int d\tau\,d\sigma\,\sqrt{-\det h_{ab}}, \qquad T=\frac{1}{2\pi\alpha'}

물리적으로는 더할 나위 없이 깔끔한데, 제곱근이 붙은 작용은 양자화가 지옥이다. 그래서 실제로 쓰는 것은 세계면 계량 $\gamma_{ab}$ 를 보조장으로 도입한 폴랴코프 작용이다.

S_{\rm P} = -\frac{1}{4\pi\alpha'}\int d^2\sigma\,\sqrt{-\gamma}\,\gamma^{ab}\,\partial_a X^\mu\,\partial_b X^\nu\,\eta_{\mu\nu}

$\gamma_{ab}$ 의 운동방정식을 다시 대입하면 남부-고토로 돌아오니 고전적으로는 같은 이론이다. 이득은 형태가 2차원 시공간에 사는 $D$ 개의 자유 스칼라장이라는 것 — 즉 끈 이론의 계산은 대부분 “2차원 장론 풀기”로 환원되고, 여기서 등각장론이 전면에 등장한다.

폴랴코프 작용의 대칭은 세 가지다. 시공간 푸앵카레 대칭, 세계면 미분동형 대칭, 그리고 웨일 대칭( $\gamma_{ab}\to e^{2\omega}\gamma_{ab}$ 아래 불변). 마지막 것이 이 이론 전체의 급소다.

3. 임계차원은 이상항에서 나온다[편집]

웨일 대칭은 고전적으로만 성립한다. 양자화하면 곡률에 비례하는 웨일 이상항이 생기고, 그 계수는 이론의 중심전하 $c$ 다. 이상항이 살아 있으면 보조장 $\gamma_{ab}$ 가 물리적 자유도로 승격돼 이론이 무너지므로, 반드시 $c_{\rm total}=0$ 이어야 한다.

보손 끈: 물질장 $X^\mu$ 가 $c=D$ , 미분동형을 고정하며 나온 $bc$ 유령장이 $c=-26$ . 따라서 $D=26$ .
초끈: $X^\mu$ 와 그 초짝 $\psi^\mu$ 가 $c=\tfrac{3}{2}D$ , $bc$ 유령이 $-26$ , $\beta\gamma$ 유령이 $+11$ . 따라서 $\tfrac32 D=15$ , 즉 $D=10$ .

26과 10은 미학적 취향이 아니라 소거 조건의 해다. 같은 값이 빛원뿔 게이지 양자화에서는 전혀 다른 경로로 나온다 — 광자·중력자를 무질량으로 만드는 정규순서 상수를 맞추고 시공간 로런츠 대칭을 유지하려면 그 차원밖에 안 된다. 서로 무관해 보이는 두 계산이 같은 정수를 주는 이 지점이, 회의론자에게도 이 구조가 “그냥 아무렇게나 지어낸 것”으로 보이지 않게 만드는 대목이다.¹

닫힌 끈의 무질량 스펙트럼은 대칭 무자취 부분(중력자), 반대칭 부분(칼브-라몽 2형식장), 자취 부분(딜라톤)으로 갈린다. 딜라톤의 기댓값이 곧 끈 결합상수 $g_s=e^{\langle\phi\rangle}$ 라는 점이 중요하다. 끈 이론에는 조절 가능한 결합상수 매개변수가 없다. 결합상수조차 장의 값이며, 이것이 뒤에 나올 「풍경」 문제의 뿌리다.

4. 다섯 개의 초끈과 M-이론[편집]

1980년대 중반까지 모순 없는 초끈 이론이 정확히 다섯 개 발견됐다. 통일 이론을 표방하는데 후보가 다섯이라는 것은 명백한 결함이었다.

이론	끈	초대칭	게이지군
타입 I	열린 + 닫힌 (비지향)	$\mathcal N=1$	$SO(32)$
타입 IIA	닫힌	$\mathcal N=2$ (비카이랄)	없음 (RR 게이지장)
타입 IIB	닫힌	$\mathcal N=2$ (카이랄)	없음 (RR 게이지장)
헤테로틱 $SO(32)$	닫힌	$\mathcal N=1$	$SO(32)$
헤테로틱 $E_8\times E_8$	닫힌	$\mathcal N=1$	$E_8\times E_8$

1995년 이후 이 다섯이 하나의 이론의 서로 다른 극한임이 드러났다. 반지름 $R$ 과 $\alpha'/R$ 을 맞바꾸는 T-쌍대성이 IIA와 IIB를, 강결합과 약결합을 맞바꾸는 S-쌍대성이 타입 I과 헤테로틱 $SO(32)$ 를 이어 준다. 그리고 IIA의 강결합 극한에서 11번째 차원이 열려 M-이론이 나온다. 11차원 초중력이 그 저에너지 극한이다.

여기서 쌍대성의 계산적 의미가 처음 드러난다. 어떤 이론이 강결합이라 계산이 안 될 때 다른 이론의 약결합 기술로 갈아타면 된다는 것 — 이 아이디어가 물리학의 다른 분야로 수출되어 실제 숫자를 만들어 내기 시작한다.

5. D-브레인 — 열린 끈이 끝나는 곳[편집]

1995년 폴친스키가 T-쌍대성의 사소해 보이는 귀결 하나를 파고들어 D-브레인의 정체를 밝혔다. 열린 끈의 끝점에 디리클레 경계조건을 주면 끝점이 어떤 초곡면에 붙박이는데, 그 초곡면 자체가 동역학적 물체이고 RR 게이지장의 전하를 나른다는 것이다.

D-브레인이 판을 바꾼 이유는 세 가지다.

게이지 이론이 공짜로 나온다. $N$ 장의 D-브레인을 겹쳐 놓으면 끝점이 어느 브레인에서 어느 브레인으로 가는지를 세는 지표가 생겨 열린 끈의 무질량 모드가 $U(N)$ 게이지 이론이 된다.
블랙홀 엔트로피를 셀 수 있다. 스트로민저-바파는 특정 초대칭 극단 블랙홀을 D-브레인 묶음으로 만들고 그 미시상태 수를 세어, 베켄슈타인-호킹의 넓이/4 공식을 미시적으로 재현했다. 블랙홀 엔트로피가 “무엇의 로그인지”에 답한 최초의 계산이다.
AdS/CFT의 산파. 겹친 D3-브레인 계를 열린 끈 쪽에서 보면 게이지 이론, 닫힌 끈 쪽에서 보면 휜 시공간 — 이 둘을 같다고 놓은 것이 AdS-CFT 대응이다.

6. 컴팩트화, 칼라비-야우, 그리고 풍경[편집]

10차원을 4차원으로 줄이려면 나머지 6차원을 아주 작게 말아야 한다. 그냥 아무렇게나 말면 초대칭이 전부 깨져 이론이 불안정해지고, 4차원에 $\mathcal N=1$ 초대칭을 남기려면 여분 공간의 홀로노미가 $SU(3)$ 이어야 한다 — 그 조건을 만족하는 것이 칼라비-야우 3-겹이다. 4차원에서 관측될 입자 세대 수 같은 양이 그 다양체의 위상불변량(호지 수)으로 결정된다는 사실은 지금 봐도 인상적이다.

문제는 개수다. 알려진 칼라비-야우 다양체가 이미 방대하고, 거기에 플럭스와 브레인 배치를 얹으면 저에너지 유효 이론의 후보가 천문학적으로 불어난다. 이것이 끈 풍경(landscape)이다. 흔히 인용되는 자릿수는 특정 플럭스 모형에서의 조합 추정치이지 엄밀히 센 값이 아니므로 숫자를 곧이곧대로 옮길 필요는 없다. 요점은 자릿수가 아니라 구조다. 진공을 고르는 원리가 이론 안에 없다면, 이론은 무엇이든 설명할 수 있고 따라서 아무것도 예측하지 못한다.

반론 쪽 프로그램도 존재한다. 「늪지대」(swampland)는 반대 방향에서 접근한다 — 겉보기에 멀쩡한 유효 이론 중 양자중력으로 완성될 수 없는 것을 골라내는 판정 기준을 찾자는 것이다. 약한 중력 추측이나 거리 추측 같은 후보 기준들은 아직 추측이지만, 적어도 “무엇이든 된다”는 비판에 대한 응답 시도이기는 하다.

검증 가능성에 대한 정직한 요약은 이렇다. 끈 척도가 플랑크 척도 근처라면 직접 검증은 현재 기술의 사정거리 밖이고, 초대칭 입자의 부재는 이론 자체를 반증하지는 않지만 가장 자연스러운 시나리오들을 계속 밀어내고 있다. 끈 이론은 오늘 기준으로 실험적으로 확인된 물리 이론이 아니다. 그 사실과, 아래 항목들이 실제로 굴러가는 계산이라는 사실은 동시에 참이다.

7. 계산 도구로서의 끈 이론 (1) — 위상학적 재귀[편집]

위상학적 재귀(topological recursion)는 「스펙트럼 곡선」이라 불리는 대수 곡선 하나를 입력으로 받아 모든 종수(genus)의 진폭을 재귀적으로 뱉어내는 알고리즘이다. 원래 랜덤 행렬 모형의 $1/N$ 전개를 조직화하려고 만들어졌는데, 그 뒤 적용 범위가 계속 넓어졌다.

행렬모형 자유에너지의 종수 전개
위상학적 끈 진폭 (거울대칭을 통한 「remodeling」)
쌍곡 리만면 모듈라이 공간의 바일-피터슨 부피 — 미르자하니 재귀가 위상학적 재귀의 한 사례로 재해석된다
저차원 중력(JT 중력)의 원반 이상 위상 기여

실용적 의미는 명확하다. 무한히 많은 파인만 도형을 항별로 세는 대신, 곡선 위의 미분형식에 대한 유수 계산 유한 번으로 대체한다. 이 절차는 그대로 컴퓨터 대수 코드로 옮겨지며, 실제로 조합론과 열거기하 쪽에서는 물리적 해석 없이도 도구로 쓰인다.

8. 계산 도구로서의 끈 이론 (2) — 행렬 모형 몬테카를로[편집]

끈 이론에 비섭동적 정의를 주려는 시도 중 실제로 컴퓨터를 돌릴 수 있는 것이 행렬 모형이다.

BFSS 모형은 $N\times N$ 에르미트 행렬 9개를 변수로 하는 최대 초대칭 양자역학이다. $N\to\infty$ 에서 M-이론(빛원뿔 좌표계)을 기술한다는 추측이며, 유한 $N$ ·유한 온도에서 이것은 1차원 격자 위의 유한 자유도 경로적분이라 몬테카를로 방법으로 곧장 계산 가능하다. 페르미온은 유리수 근사 HMC로 처리한다.

검증 방식이 흥미롭다. 같은 계를 초중력 쪽에서 보면 D0-브레인 블랙홀이고, 그 열역학은 내부에너지가 온도의 $14/5$ 승에 비례한다는 예측을 준다.

\frac{E}{N^2} \simeq 7.41\,T^{14/5} + (\text{$\alpha'$ 보정}) + O(1/N^2)

행렬 양자역학 몬테카를로가 이 지수와 계수를 재현하고, 나아가 다음 차수 보정까지 맞아떨어진다는 결과들이 보고돼 있다. 끈 이론의 예측을 컴퓨터가 독립적으로 확인한, 사실상 유일한 부류의 계산이다. 물론 확인되는 것은 “우리 우주가 끈으로 되어 있다”가 아니라 “게이지/중력 쌍대성이 이 계에서 성립한다”이다. 그 구분은 엄격히 지켜야 한다.

IKKT 모형은 여기서 시간 방향마저 줄여 버린 0차원 모형이다. 10개의 행렬로 된 다중적분이며, IIB 끈의 비섭동적 정의 후보로 제안됐다. 매력적인 대목은 시공간 자체가 행렬의 고윳값 분포로 창발한다는 점 — 10차원 회전대칭이 자발적으로 깨져 3+1 차원만 팽창한다는 시나리오를 수치적으로 검사할 수 있다. 다만 페르미온 적분이 주는 파피안이 복소수라서 격자 QCD의 유한 밀도와 같은 부호 문제가 그대로 발생한다. 복소 랑주뱅법이나 렙셰츠 심블로 우회한 결과들이 나와 있지만, 복소 랑주뱅은 잘못된 값으로 수렴하는 사례가 알려져 있어 방법론 자체가 아직 논쟁 중이다. 이 부분은 격자 QCD 문서의 부호 문제 절과 완전히 같은 병이다.

9. 계산 도구로서의 끈 이론 (3) — AdS/CFT의 실전 사용[편집]

가장 널리 쓰이는 출구는 AdS-CFT 대응이다. 강결합 게이지 이론의 상관함수 계산이 휜 시공간에서의 고전 경계값 문제로 바뀌므로, 섭동전개도 격자 QCD도 손을 못 대는 영역에 접근할 수 있다.

쿼크-글루온 플라스마: 강결합 극한의 점성/엔트로피 밀도 비 $\eta/s=\hbar/4\pi k_B$ 라는 보편값이 나오고, 중이온 충돌 실험이 시사하는 「거의 완벽 유체」와 자릿수가 맞는다. 유한 온도 실시간 수송계수는 유클리드 격자가 구조적으로 취약한 부분이라 이 도구의 존재 이유가 분명하다.
비평형 동역학: 충돌 직후의 열화(thermalization)를 AdS 안에서 블랙홀이 형성되는 과정으로 번역해 계산한다. 이 단계는 결국 수치 상대론 이다 — 아인슈타인 방정식을 점근 AdS 경계조건으로 시간 적분하는 코드가 실제로 돌아간다.
응집물질: 대전된 블랙홀 위에 스칼라 털이 응축하는 해가 초전도 전이와 같은 상전이 구조를 보인다(홀로그래픽 초전도체). 페르미 액체가 아닌 금속의 후보 모형도 이 틀에서 나온다. 다만 이 응용들은 실제 물질이 아니라 대형 $N$ 의 이국적 이론을 푼 것이라, 정성적 시사와 정량적 예측의 경계를 지키는 것이 이 분야의 상시 과제다.

10. 여담[편집]

끈 이론의 출발점은 통일 이론이 아니었다. 1960년대 말 강한 상호작용의 산란 진폭을 맞추려고 베네치아노가 감마함수 조합을 써 본 것이 시초이고, 그 진폭을 재해석하니 끈이 나왔다. 강한 상호작용은 QCD가 가져갔고, 남은 끈은 중력으로 이직했다. 그리고 AdS/CFT로 30년 뒤 강한 상호작용 계산에 다시 돌아왔으니, 이 바닥의 인사이동은 순환적이다.
26차원이 나오는 계산에는 $1+2+3+\cdots=-1/12$ 라는 리만 제타 정규화가 등장한다. 인터넷 밈으로 유명해진 그 식이 실제로 물리 계산에 쓰이는 몇 안 되는 정직한 사례다. 물론 저 등식은 급수의 합이 아니라 해석적 연속의 값이고, 물리적으로 정당화되는 것은 정규화 방식이 결과를 바꾸지 않는다는 사실이 확인될 때뿐이다.²
「끈 이론은 반증 불가능하다」는 비판과 「끈 이론은 이미 여러 번 반증될 뻔했다」는 반박이 동시에 성립한다. 이상항 소거, 쌍대성 정합성, 블랙홀 엔트로피 계수 — 이 계산들은 전부 틀릴 수 있었고 틀리지 않았다. 다만 그것들은 이론 내부의 정합성 검사이지 자연에 대한 검증이 아니다. 이 구분을 흐리는 순간 논쟁은 진창이 된다.³
이 문서를 읽는 수치해석 쪽 사람에게 실질적으로 남는 것: 위상학적 재귀는 조합론 코드로, 행렬모형 몬테카를로는 격자 QCD와 같은 알고리즘 스택으로, AdS 쪽 계산은 수치 상대론의 코드로 굴러간다. 도구 상자는 이미 익숙한 것들이다.

11. 관련 문서[편집]

물론 “두 계산이 같은 답을 준다”는 것은 같은 이론 안에서 당연히 그래야 하는 일이기도 하다. 다만 두 유도가 쓰는 도구가 워낙 달라서(하나는 곡선 위의 이상항, 하나는 로런츠 대수의 닫힘) 실수로 맞기는 어렵다는 정도의 의미다. ↩
학부생이 이 식을 처음 보면 대개 두 부류로 갈린다. “수학이 사기였다”고 분노하는 쪽과 “그럼 나도 아무 발산 급수나 유한값 붙여야지”라고 신나는 쪽. 둘 다 틀렸다. 정규화는 답을 정하는 것이 아니라, 답이 정규화 방식에 의존하지 않음을 보여야 하는 의무를 지는 절차다. ↩
이 바닥의 오래된 농담: 끈 이론이 예측한 것 중 실험으로 확인된 것은 딱 하나, 초대칭 입자가 아직 안 나왔다는 사실을 설명하는 논문의 수가 지수적으로 증가한다는 것이다. ↩