고리 양자 중력

1. 연구 동기

일반상대론(GR)에서 기하학은 동역학적이다. 물질과 기하학은 서로 영향을 준다. $c = 1$ 인 단위를 사용하고 여기서는 우주상수를 생략하면,

G_{μν} = 8 π G T_{μν} .

양자이론은 물질을 성공적으로 설명하지만, 미리 정해 놓은 곡률 있는 시공간 위에서 양자장을 연구한다고 해서 시공간 자체를 양자화한 것은 아니다. 고전적 특이점 근처에서는 기하학을 매끄러운 고전적 배경으로 취급하는 근사가 실패할 수 있다. 이것은 양자중력을 연구할 동기이며, 특정 양자화가 옳다는 증명도, 모든 고전장을 유일한 방식으로 양자화해야 한다는 정리도 아니다.

**루프 양자중력(LQG)**은 먼저 배경 계량을 고정하고 그 주위에서 전개하지 않고도 GR을 양자화할 수 있는지 묻는다. ‘비섭동적’이라는 말은 선택한 기하학 위의 작은 중력 섭동에서 출발하지 않는다는 뜻이다. ‘배경 독립적’이라는 말은 길이와 넓이가 고정 계량이 아니라 동역학적 변수에서 나온다는 뜻이다. 미분가능 다양체를 비롯한 수학적 선택까지 사라지는 것은 아니다. Ashtekar와 Lewandowski의 기초 설명을 참고하자.

특징적인 척도는 $ℓ_{P} = ℏ G / c^{3}$ 이며 약 $1.6 \times 1 0^{- 35} m$ 이다. 이러한 차원의 조합은 양자효과와 중력이 함께 중요해질 수 있는 척도를 가리킨다. 그러나 그 자체로 공간이 규칙적인 격자라거나 모든 거리에 최솟값이 있다고 증명하지는 않는다. 더 구체적인 주장을 하려면 상태공간, 기하학적 연산자, 일관된 동역학이 필요하다.

2. 일반상대론의 정준 양자화

정준 접근법은 공간 절편 $Σ$ 위의 자료를 기술하고, 어떤 자료들이 동일한 시공간을 나타내는지 구별한다. ADM 형식의 변수는 공간 계량 $q_{ab}$ 와 그 켤레 운동량 $π^{ab}$ 이다. 시공간을 절편으로 나누는 것은 계산을 정리하는 방식이며, 특별히 우선하는 물리적 시계를 도입하는 것이 아니다.

아슈테카르 변수

여기서는 로런츠 부호를 가진 GR에 대해 시간 게이지, 비퇴화 삼중틀, 실수 $γ > 0$ 를 사용하는 실수 아슈테카르–바르베로 변수를 채택한다. 원래의 자기쌍대 아슈테카르 연결은 복소수다. 두 형식은 관련되지만 동일한 변수는 아니다. Barbero의 실수 형식과 Holst 작용이 이 정준변환을 설명한다.

A_{a}^{i} = Γ_{a}^{i} (E) + γ K_{a}^{i}, E_{i}^{a} = q e_{i}^{a}, E_{i}^{a} E_{i}^{b} = q q^{ab} .

$q = det (q_{ab})$ , $e_{i}^{a}$ 는 역삼중틀, $Γ_{a}^{i}$ 는 그에 양립하는 스핀 연결이다. $K_{a}^{i}$ 는 절편이 시공간에 어떻게 놓이는지를 나타내는 외재곡률 정보를 담는다. $a, b$ 는 공간 첨자이고 $i$ 는 내부 정규직교 틀의 첨자다. 따라서 $E$ 는 공간 기하학을 담고 $A$ 는 내재적 연결과 외재곡률을 결합한다. $E$ 를 ‘전기장’이라고 부르는 것은 게이지이론과의 유추일 뿐, 전자기장을 뜻하지 않는다.

$κ = 8 π G$ , $c = 1$ 로 두면,

{A_{a}^{i} (x), E_{j}^{b} (y)} = κγ δ_{a}^{b} δ_{j}^{i} δ^{(3)} (x, y) .

무차원 바르베로–이미르치 매개변수 $γ$ 는 이 정준변수 선택을 구분한다. 고전적인 진공 방정식은 그 값을 정하지 않는다. 기하학적 스펙트럼에 나타나므로 양자적 의미와 물리적인 결정 방법이 중요하다. 예시로 선택한 값은 측정된 상수가 아니다.

3. 제약식

변수에는 중복된 기술이 포함된다. 진공에서 우주상수가 0이라고 하고 $H$ 전체에 곱해지는 0이 아닌 정규화 인자를 생략하면,

G_{i} = D_{a} E_{i}^{a} \approx 0, V_{a} = E_{i}^{b} F_{ab}^{i} \approx 0,

H = \frac{E _{i}^{a} E _{j}^{b}}{∣ det E ∣} (ϵ^{ij}_{k} F_{ab}^{k} - 2 (1 + γ^{2}) K_{[a}^{i} K_{b]}^{j}) \approx 0.

$F$ 는 $A$ 의 곡률이고 $D$ 는 그 공변미분이다. $\approx 0$ 은 제약면 위에서 0이라는 뜻이지 작은 오차라는 뜻이 아니다. 가우스 제약은 내부 틀의 임의적 회전을 제거한다. 벡터 제약은 가우스 변환의 차이까지 고려하면 공간 좌표변환을 생성한다. 순수한 공간 미분동형사상의 생성자에는 대응하는 가우스 항이 필요하다. 해밀턴 제약은 절편을 나누는 방식의 변화를 구현하며, 외부의 보편적인 시간에 따른 보통의 진화를 뜻하지 않는다.

자유도 계산은 유익하다. $A$ 와 $E$ 는 각 점에서 위상공간 성분 18개를 준다. 독립적인 제1종 제약 7개가 위상공간 성분 14개를 제거하므로 4개, 즉 배위 자유도 2개가 남는다. 이는 중력의 국소 편극에 해당한다. 정칙한 고전적 진공 영역의 계산이므로 경계와 특이한 부문은 따로 다루어야 한다.

양자화에서는 먼저 운동학을 구축하고 이어서 제약식과 물리적 내적을 구현한다. 따라서 스핀 네트워크가 저절로 물리적 해가 되지는 않는다. 관계적 관측량의 예로는 스칼라 시계가 지정된 값을 가질 때, 물질이 정의하는 곡면의 넓이가 있다. 이런 양을 정의하고 고전적 제약 대수를 양자 이상 없이 회복하는 것은 핵심적인 동역학 과제다. Thiemann의 양자 제약 구성은 구체적인 제안이지, 유일하게 완성된 현상론적 이론이 아니다.

4. 홀로노미와 플럭스

기본 변수는 곡선을 따라, 또는 곡면 위에서 적분한 양이다.

h_{ℓ} [A] = P exp (\int_{ℓ} A_{a}^{i} τ_{i} d x^{a}), E (S, f) = \int_{S} f^{i} E_{i}^{a} d S_{a} .

$τ_{i}$ 는 $su (2)$ 의 생성자, $f^{i}$ 는 시험장이고, $P$ 는 서로 교환하지 않는 행렬을 경로 순서대로 배열한다. 홀로노미는 평행이동으로 내부 틀을 비교하는 $S U (2)$ 원소이며 길이가 아니다. 플럭스는 곡면을 통과하는 삼중틀의 방향 있는 정보를 측정한다. 지수의 부호는 연결의 관례에 따라 달라진다.

사고실험으로 작은 닫힌 경로를 따라 틀을 운반해 보자. 매끄러운 고전 기하학에서는 홀로노미가 항등변환에서 벗어나는 주된 항이 경로 안쪽의 곡률을 담는다. LQG는 각 점에서 연산자 $A (x)$ 가 존재한다고 먼저 가정하지 않고 유한한 평행이동을 기본 변수로 삼는다. 홀로노미의 함수에 대해 홀로노미는 곱셈으로, 플럭스는 미분으로 작용한다. 이들의 대수는 경로와 곡면의 교점에 민감하다.

홀로노미–플럭스 유일성 정리는 대수, 공변성, 순환 상태에 관한 특정 가정 아래 하나의 표현을 골라낸다. 가능한 모든 양자중력이 LQG라고 증명하거나 해밀토니안을 결정하는 정리는 아니다.

5. 스핀 네트워크

게이지 불변 스핀 네트워크는 그래프, 변에 붙은 스핀 $j = 0, \frac{1}{2}, 1, \dots$ , 꼭짓점에 붙은 인터트와이너라는 불변 텐서로 이루어진다. 스핀은 $S U (2)$ 표현의 표지이며, 작은 공이 회전한다는 뜻이 아니다. 인터트와이너는 들어오는 표현들을 불변인 대상으로 결합하여 가우스 제약을 구현한다. 그래프는 양자 기하학의 관계를 지정하며 규칙적인 물리 격자를 이룰 필요가 없다.

곡면이 꼭짓점을 피해서 변들을 횡단할 때, 표준 넓이 연산자의 고윳값은 다음과 같다.

A (S) = 8 πγ ℓ_{P}^{2} p \in S \cap Γ \sum j_{p} (j_{p} + 1) .

관통점의 플럭스는 각운동량 생성자처럼 작용한다. $S U (2)$ 의 이차 카시미르 고윳값이 $j (j + 1)$ 이므로 그 크기를 취하면 $j (j + 1)$ 가 나온다. 넓이 연산자의 구성은 운동학적 힐베르트 공간에서의 이산성을 확립한다. 꼭짓점을 포함하는 곡면에는 더 일반적인 식이 필요하다. Dittrich와 Thiemann이 설명하듯, 운동학적 스펙트럼만으로 완전히 관계적인 모든 물리적 관측량의 스펙트럼이 결정되는 것은 아니다.

넓이 측정의 계산 예

꼭짓점이 없는 곡면 조각을 $j = \frac{1}{2}$ 인 변과 $j = 1$ 인 변이 각각 한 번씩 관통한다고 하자. 그러면,

\frac{A}{8 πγ ℓ _{P}^{2}} = \frac{1}{2} (\frac{1}{2} + 1) + 1 (1 + 1) = \frac{3}{2} + 2 \approx 2.280.

$j = \frac{1}{2}$ 하나의 기여는 $4 π 3 γ ℓ_{P}^{2}$ 다. 그런 관통점 두 개는 $8 π 3 γ ℓ_{P}^{2}$ 를 주지만, $j = 1$ 하나는 $8 π 2 γ ℓ_{P}^{2}$ 를 준다. 따라서 스핀 표지의 합이 같아도 넓이는 같지 않을 수 있다. 이는 허용된 네트워크 안의 국소적 기여이며, 나머지 그래프도 인터트와이너 조건을 만족해야 한다. 선택한 양자화 아래 가능한 결과를 계산한 것이지 관측된 공간 알갱이의 크기를 구한 것은 아니다.

서로 다른 스핀을 가진 두 변이 곡면을 관통한다. 넓이 기여는 SU(2) 카시미르 고윳값의 제곱근으로 더해진다.

음영 처리한 곡면에는 두 개의 횡단 관통점이 있다. 기하학은 개략적이며, 넓이 고윳값은 그림의 간격이 아니라 수식이 결정한다.

부피는 더 미묘하다.

\hat{V} (R) = v \in R \cap Γ \sum ∣ \overset{q}{^}_{v} ∣ .

$\overset{q}{^}_{v}$ 는 플럭스 생성자의 삼중곱, 방향 인자, 차원을 가진 상수를 포함한다. 일반적으로 꼭짓점의 인터트와이너 공간에서 행렬로 작용한다. 따라서 변의 스핀을 고정해도 부피가 반드시 고정되지는 않으며, 적절한 인터트와이너 기저가 추가로 필요하다. 부피 연산자의 구성은 이 차이를 설명한다. 기하학적 스펙트럼의 이산성은 동일한 정육면체들이나 외부 시간의 자동적인 이산화를 뜻하지 않는다.

스핀 네트워크에서 스핀 거품으로

스핀 네트워크는 경계 기하학을 기술한다. 스핀 거품은 이런 경계 사이에 진폭을 부여하는, 표지가 붙은 2차원 복합체다. 그래프의 변이 면을 쓸어 만들고 그래프의 꼭짓점이 복합체의 변을 그린다. 이는 양자 기하학에 대한 합에 들어가는 이력이지, 이미 존재하는 공간 속에서 꼭짓점이 움직이는 영상이 아니다.

선택한 복합체 $C$ 에서 개략적으로,

Z_{C} = {j_{f}, i_{e}} \sum f \prod A_{f} e \prod A_{e} v \prod A_{v} .

표지에 대해 합을 취하며 면, 변, 꼭짓점의 진폭이 모형의 동역학을 담는다. 여기서는 경계 자료와 정규화를 생략했다. EPRL 구성은 단순성 제약을 통해 4차원 스핀 거품의 꼭짓점을 LQG 경계 상태와 연결한다. 유한한 복합체를 지정하는 것만으로 완전한 연속체 이론이 확립되지는 않는다.

적절한 비퇴화 기하학적 경계 자료에 대해, 유클리드 EPRL 4-단체 진폭의 큰 스핀 점근식에는 중력 작용을 이산화한 Regge 작용이 포함된다. 이것은 가치 있는 준고전적 일관성 결과다. 그러나 모든 진폭, 세분화 극한, 장거리 상관함수가 GR을 회복한다고 증명하지는 않는다.

6. 루프 양자우주론(LQC)

LQC는 루프에서 착안한 양자화를 대칭성으로 축약한 우주론적 계에 적용한다. 양자화 전에 균질성을 가정하면 무한히 많은 비균질 모드를 버린다. 따라서 축약된 계의 정리가 자동으로 완전한 LQG의 정리가 되지는 않는다.

공간적으로 평탄하고 균질·등방적인 표준 모형을 생각하자. 질량 없는 스칼라장과 개선된 동역학 처방에서 날카롭게 집중된 준고전적 상태를 사용한다. 유효 방정식에는 다음이 포함된다.

H^{2} = \frac{8 π G}{3} ρ (1 - \frac{ρ}{ρ _{c}}), \overset{ρ}{˙} = - 3 H (ρ + P),

여기서 $H = \overset{a}{˙} / a$ , $P$ 는 압력이며, $ρ_{c}$ 는 모형에 의존하는 플랑크 척도 정도의 임계밀도다. 저밀도 극한에서는 보통의 평탄한 Friedmann 방정식을 회복한다. 음의 이차 보정 때문에 $ρ_{c}$ 에서 $H = 0$ 이 된다. 개선된 동역학 분석은 가정을 명시하고 바운스를 해석적·수치적으로 연구한다.

유효 모형에서 바운스 유도하기

미분과 에너지 보존을 이용하면, 먼저 $H \neq = 0$ 에서 계산한 뒤 연속적으로 확장하여,

\dot{H} = - 4 π G (ρ + P) (1 - 2 \frac{ρ}{ρ _{c}}) .

를 얻는다. $ρ = ρ_{c}$ 에서 $ρ + P > 0$ 인 물질은 $\dot{H} > 0$ 이므로 수축에서 팽창으로 넘어갈 수 있다. 단지 $H = 0$ 을 찾는 것만으로는 바운스를 증명할 수 없다. 질량 없는 스칼라장에서는 $P = ρ$ , $ρ \propto a^{- 6}$ 이다. 바운스를 $t = 0$ 에 놓으면 이 유효 방정식들의 정확한 해는,

a (t) = a_{B} (1 + \frac{t ^{2}}{t _{B}^{2}})^{1/6}, ρ (t) = \frac{ρ _{c}}{1 + t ^{2} / t _{B}^{2}}, t_{B}^{- 2} = 24 π G ρ_{c} .

이다. 대입하면 $H = t / [3 (t_{B}^{2} + t^{2})]$ 를 얻고 두 방정식을 모두 확인할 수 있다. $t = \pm t_{B}$ 에서 $ρ = ρ_{c} /2$ , $a = 2^{1/6} a_{B}$ 이다. $a_{B}$ 의 수치는 공간 좌표의 정규화에 따라 달라진다. 물리적인 핵심은 유한한 밀도와 수축에서 팽창으로의 전환이다.

무차원 유효 척도인자는 바운스에서 최소가 되고 밀도는 최대가 된다. 두 곡선은 시각 0에 대해 대칭이다.

가로축은 $t / t_{B}$ , 위쪽 곡선은 $a / a_{B}$ , 아래쪽 곡선은 $ρ / ρ_{c}$ 다. 질량 없는 스칼라장의 유효 해이며 관측 자료나 모든 우주론에 대한 보편적 예측이 아니다.

정확히 풀리는 LQC에서는 이 유효 계산만으로 가능한 것보다 강한 명제를 특정 양자 상태들의 집합에 대해 제시할 수 있다. Ashtekar, Corichi, Singh의 연구를 보자. 비등방성, 섭동, 다른 물질이나 양자화, 완전한 이론으로 결론을 확장하려면 추가 논증이 필요하다. 모형의 바운스가 우리가 관측한 뜨거운 초기 우주 이전에 무엇이 있었는지를 확정하지는 않는다.

7. 과제와 미해결 문제

동역학과 제약식: 적절한 게이지 대칭을 유지하면서 양자 해밀토니안, 정칙화의 선택, 물리적 상태와 내적을 제어해야 한다.
연속체 및 준고전 극한: 많은 들뜸으로부터 매끄러운 기하학과 물질을 포함하는 저에너지 GR을 유도해야 한다. 고정 그래프에서 스핀을 크게 하는 극한과 그래프 요소를 늘리는 세분화 극한은 서로 다르므로 둘 다 일관되게 다루어야 한다.
이미르치 매개변수: 어떤 $γ$ 의존성이 물리적 예측에 남는지 결정해야 한다. 특정한 상태 세기 가정 아래 블랙홀 엔트로피를 맞추는 것은 독립적인 실험실 측정이 아니다.
관측: 우주 마이크로파 배경의 특징이나 중력파의 수정에는 구체적인 유효 모형, 초기 상태, 섭동 처리가 필요하다. LQG 검증이라고 부르기 전에 예측이 견고하며 통상적인 천체물리나 다른 초기 우주 모형과 구별됨을 보여야 한다.

진행 중인 연구의 한 예는 Assanioussi와 Livine의 2026년 9월 개정 논문이다. 작은 ‘캔디’ 그래프를 구성 요소로 삼아 고전적 해밀턴 동역학을 분석하면서, 세부적인 양자 영역은 후속 연구로 명시적으로 남겨 둔다. 제어 가능한 부분계에서의 진전이지 완전한 양자 동역학의 완성이나 경험적 검출은 아니다.

흔한 오해

‘루프는 끈이다.’ 홀로노미는 평행이동 변수이고 네트워크 표지는 기하학을 기술한다. 끈이론의 전파하는 끈이 아니다. ‘배경 독립성은 모든 가정을 없앤다.’ 위상, 변수, 양자화, 경계의 선택은 여전히 중요하다. ‘이산적 넓이는 공간이 화소 화면임을 증명한다.’ 스펙트럼은 연산자의 성질이고 상태는 중첩일 수 있다. 우선하는 규칙 격자는 없다. ‘바운스는 이전 우주를 증명한다.’ 조건부 모형 결과이며, 이 계산이 그런 관측을 제공하는 것은 아니다.

연구 현황

2026년 10월 13일까지의 연구를 확인했다. LQG에는 정밀한 운동학적 구성과 동역학·축약 모형에 대한 많은 연구가 있다. 링크한 논문들은 수학적 결과와 모형의 예측을 제시하며, 어느 것도 우리의 시공간이 제안된 양자 구조를 가진다는 실험적 확인을 제공하지 않는다. 완전한 동역학에서 구별 가능하고 측정된 예측으로 이어지는 제어된 경로는 여전히 연구 목표다.

LQG는 고정 배경 계량 없이 중력 기하학을 양자화하는 데 중점을 둔다. 끈이론은 다른 자유도에서 출발하며 비섭동적 정식화도 갖고 있으므로, 항상 배경 의존적이라고 단정하는 것은 지나친 단순화다. 각 제안은 가정, 내부 일관성, 알려진 물리의 회복, 관측 가능한 결과에 따라 평가해야 한다.