우주를 거대한 코스믹 오케스트라라고 상상해 보십시오. 수십 년 동안 물리학자들은 이 오케스트라의 악보를 쓰기 위해 노력해 왔으며, 전자와 광자 같은 미세한 입자들이 어떻게 함께 춤을 추는지 설명하려 했습니다. 이 분야를 양자장론(Quantum Field Theory, QFT)이라고 부르며, 이는 미시 세계가 어떻게 작동하는지에 대한 우리가 가진 최선의 규칙서입니다. 하지만 이 음악에는 거대한 문제가 있습니다. 오케스트라가 특정 음을 연주할 때, 악보가 무한한 낙서의 덩어리로 변해버리는 경우가 있다는 것입니다. 이것을 "적외선 발산(infrared divergences)"이라고 부릅니다. 이것은 마치 너무 민감한 마이크와 같아서, 가수의 목소리뿐만 아니라 에어컨 소음, 외부의 교통 소음, 관객의 뒤척임까지 모두 잡아내어 노래를 들을 수 없게 만드는 소음의 폭풍처럼 들립니다. 양자전기역학(QED)—빛과 물질이 상호작용하는 방식에 대한 이론—의 구체적인 경우, 이러한 저에너지 광자의 "소음"은 표준적인 방법들을 사용하여 특정 사건의 확률을 계산하는 것을 불가능하게 만들었습니다. 물리학자들은 오랫동안 이 소음을 걸러내기 위해 고군분투해 왔습니다.

2024년 사이먼스 기하학 및 물리학 센터(Simons Center for Geometry and Physics)에서 A. 슈바르츠(A. Schwarz)가 발표한 이 논문은 이 오케키스트라를 듣는 새로운 방법을 제시합니다. 기존의 악보를 억지로 맞추려 하는 대신, 저자는 **L-범함수(L-functionals)**라고 불리는 것을 사용하는 "기하학적 접근법"을 도입합니다. L-범함수는 단일 음표가 아니라, 배경 소음과 악기 간의 상호작용을 모두 포함하여 오케스트라의 전체 상태를 포착하는 특수한 종류의 "사운드보드" 또는 "마스터 녹음"이라고 생각할 수 있습니다. 이 논문은 이 사운드보드를 사용함으로써 기존 방식들을 괴롭히던 무한한 낙서들을 우회할 수 있다고 제안합니다. 저자는 영리한 기술을 제안합니다. 전자와 광자를 갑자기 상호작용하기 시작하는 별개의 연주자로 취급하는 대신, "전류(charge current)"를 시간에 따라 천천히 변화하는 움직이는 목표물로 취급하는 것입니다. 우리의 수학적 "마이크"를 이 느린 변화에 맞추어 조정함으로써, 이 논문은 숫자가 무한대로 치솟지 않고도 이러한 복잡한 상호작용의 확률을 드디어 계산할 수 있다고 제안합니다. 저자는 이것이 완전히 증명된 정리라기보다는 "추측(conjecture)"(매우 강력하고 논리적인 근거를 가진 추측)임을 인정하지만, 이는 우주의 빛과 물질이 실제로 어떻게 행동하는지를 더 깨끗하고 안정적으로 이해할 수 있는 문을 열어줍니다.

기하학적 사운드보드

슈바르츠가 무엇을 하고 있는지 이해하려면, 먼저 물리학자들이 일반적으로 양자계를 기술하는 방식을 살펴봐야 합니다. 전통적으로 그들은 일련의 규칙(대수, algebra)에서 시작하여, "이 시스템의 가능한 상태는 무엇인가?"라고 묻습니다. "상태"란 특정 순간의 우주의 스냅샷과 같으며, 특정 위치에서 입자를 발견할 확률을 알려줍니다. 기존 방식에서 이러한 스냅샷은 단순한 숫자나 목록입니다.

슈바르츠는 이를 뒤집습니다. 그는 기하학적 접근법에서 시작합니다. 가능한 모든 상태의 집합을 단순한 목록이 아니라, 매끄럽고 둥근 공과 같은 볼록 집합(convex set)인 하나의 '모양'으로 상상해 보십시오. 이 공 위의 모든 점은 유효한 우주의 상태입니다. "L-범함수"는 우리가 이 공 위를 걸어 다니며 측정할 수 있게 해주는 도구입니다. 특정 입자 하나를 보는 대신, L-범함수는 가능성의 전체 "구름"을 바라봅니다. 이는 해변의 모래알 하나하나를 일일이 세려고 노력하는 것(불가능하며 오류를 초래함) 대신, 해변의 전체 부피를 측정하는 것과 같습니다.

이 접근법은 "결맞음 해제(decoherence)"를 자연스럽게 처리하기 때문에 특히 유용합니다. 양자 세계에서 시스템이 환경과 상호작용할 때(예: 광자가 전자에 부딪힐 때), 시스템은 "양자적 특성"을 잃고 더 고전적인 객체처럼 행동하기 시작합니다. L-범함수 형식론은 이러한 무작위적이고 단열적인(adiabatic, 서서히 변화하는) 섭동과의 상호작용을 처리하도록 설계되었습니다. 이는 본질적으로 "시스템이 고립되어 있다고 가정하지 말고, 처음부터 수학 안에 소음을 포함시키자"라고 말하는 것입니다.

적외선 문제: 무한한 굉음

이 이야기의 주요 악당은 적외선 문제입니다. QED에서 전자가 산란될 때, 전자는 단순히 튕겨 나가는 것이 아니라 저에너지 광자의 구름을 방출합니다. 문제는 이러한 저에너지 광자가 얼마나 많이 방출될 수 있는지에 제한이 없다는 점입니다. 만약 당신이 광자를 하나도 방출하지 않는 전자의 산란 확률을 계산하려고 한다면, 수학적 결과는 0이 됩니다. 만약 광자 하나를 포함하여 계산하더라도 여전히 0입니다. 모든 가능한 광자의 수를 포함해야 하며, 그렇게 할 때 표준 수학은 숫자가 무한히 커지기 때문에 무너집니다.

이것은 케이크의 가격이 얼마나 많은 사람이 오느냐에 따라 달라지는데, 사람의 수가 무한한 파티의 비용을 계산하려는 것과 같습니다. 표준 "산란 행렬(scattering matrix)"(이러한 확률을 계산하는 데 사용되는 도구)은 이러한 과정에 대해 존재하지 않습니다.

슈바르츠는 표준 행렬은 실패할지라도, **포괄적 산란 행렬(inclusive scattering matrix)**은 여전히 작동할 수 있다고 지적합니다. 이것은 다른 도구입니다. "정확히 이 결과가 나올 확률은 얼마인가?"라고 묻는 대신, "이 결과와 우리가 도저히 감지할 수 없는 그 외의 모든 것이 함께 나타날 확률은 얼마인가?"라고 묻습니다. 이는 "밴드가 정확히 'Stairway to Heaven'이라는 곡을 연주할 확률은 얼마인가?"라고 묻는 대신, "밴드가 록 음악을 연주할 확률은 얼마인가?"라고 묻는 것과 같습니다. "포괄적" 접근 방식은 감지할 수 없는 모든 저에너지 광들을 하나의 "그 외의 것" 범주로 묶어버리며, 이는 종종 수학을 유한하고 다룰 수 있게 만듭니다.

L-범함수 해결책

그렇다면 L-범함수는 이 문제를 어떻게 해결할까요? 이 논문은 우리가 연산자(수학적 도구)를 고립된 상태로 보는 것이 아니라, 함수를 입력값으로 받는 범함수(functionals)로서 보는 방법을 소개합니다.

복잡한 기계(양자계)가 있다고 상상해 보십시오. L-범함수는 기계의 모든 가능한 설정에 대한 노브(knob)가 달린 제어판입니다. 이 노브들(테스트 함수 $f$와 $g$로 표현됨)을 돌림으로써 시스템을 조사할 수 있습니다. 논문은 이러한 범함수들이 상관 함수(correlation functions)를 위한 "생성 범함수(generating functionals)" 역할을 한다고 보여줍니다. 쉬운 말로, L-범함수의 형태를 알고 있다면 그것으로부터 도출할 수 있는 모든 가능한 측정값을 유도할 수 있다는 뜻입니다.

여기서 핵심적인 혁신은 **장의 이중화(doubling of fields)**입니다. L-범함수 형식론에서는 수학적으로 두 개의 시스템 복사본을 동시에 고려해야 합니다. 한 복사본은 시간을 따라 앞으로 나아가고, 다른 하나는 시간을 따라 뒤로 갑니다. 이것은 이상하게 들릴 수 있지만, 에너지의 흐름을 추적하고 시스템이 어떻게 진화하는지 파악하는 데 도움이 되는 비평형 물리학(켈디시 형식론 등)의 표준적인 기법입니다. 이 "이중 시야"를 사용함으로써, L-범함수는 수학이 폭발하지 않고도 입자들과 배경 소음 사이의 복잡한 상호작용을 처리할 수 있습니다.

추측: 마이크 조절하기

이 논문에서 가장 흥激한 부분은 QED에 관한 추측입니다. 슈바르츠는 적외선 발산이 발생하는 이유가 우리가 출발점으로 잘못된 "자유 해밀토니안(free Hamiltonian, 시스템의 기본 에너지)"을 사용하고 있기 때문이라고 제안합니다.

이렇게 생각해 보십시오. 당신이 가수를 녹음하려고 하는데, 가수가 이미 콧노래를 흥얼거리고 있음에도 마이크 설정을 "무음"으로 두고 녹음을 시작한다면, 큰 팝 노이즈가 발생할 것입니다. 만약 마이크를 먼저 "흥얼거림" 상태로 설정한다면, 녹음은 매끄러울 것입니다.

슈바르츠는 QED에서 상호작용 항(전자와 광자가 서로 대화하는 부분)을 두 부분으로 나누어야 한다고 제안합니다. 한 부분은 산란을 일으키는 "강한(hard)" 상호작용이고, 다른 한 부분은 입자의 에너지를 시간에 따라 서서히 변화시키는 "부드러운(soft)" 상호작용입니다. 논문은 이 "부드러운" 부분을 단순한 섭동이 아니라 우리의 기본값(자유 해밀토니안)의 일부로 취급한다면 적외선 발산이 사라진다고 주장합니다.

구체적으로, 저자는 "전류의 수치적 부분(numerical part of the current)"(전하의 흐름을 설명하는 수학적 용어)을 시간의 아주 초기($t \to -\infty$)의 입사 입자 전류와 시간의 아주 끝($t \to +\infty$)의 출사 입자 전류와 일치하도록 선택해야 한다고 제안합니다. 이렇게 함으로써 "부드러운" 광자들은 별개의 무한한 소음으로 취급되는 대신, 입자 자체의 정의 속으로 흡수됩니다.

논문은 이 아이디어에 대한 "증명의 개요(sketch of proof)"를 제공합니다. 상호작용 항 $-jA$(전류와 전자기장)를 분해하고, 무한한 문제를 일으키는 상호작용 부분(느린 시간 의존성을 가진 부분)을 격리할 수 있음을 보여줍니다. 만약 이 격리된 부분을 "자유로운(free)" 시스템으로 취급한다면, 남은 복잡한 부분들(무한대를 일으키는 부분들)은 해롭지 않은 것으로 드러납니다. 논문은 포괄적 단면적(inclusive cross-section, 즉 모든 보이지 않는 소음을 포함한 사건이 일어날 확률)이 잘 정의되고 유한해짐을 계산해 냅니다.

전자를 넘어: 중력과 무질서

이 기하학적 접근법의 아름다움은 단지 전자와 빛에 국한되지 않는다는 점입니다. 논문은 이 방법이 다른 분야에 어떻게 적용되는지 짧게 언급합니다.

1. 결정론적 무질서(Quenched Disorder): 이는 결정 구조 내에 원자가 빠져 있거나 다른 원자로 대체된 것처럼 재료에 무작위적인 불순물이 있는 경우를 말합니다. 모든 가능한 불순물 배열에 대해 개별적으로 계산하는 대신(이는 불가능함), L-범함수를 통해 물리적 현상의 평균적인 거동을 직접 계산할 수 있습니다. 이는 무작위적인 포트홀이 있는 도로에서 모든 자동차의 경로를 시뮬레이션하는 대신, 도로의 평균적인 교통 흐름을 예측하는 것과 같습니다.
2. 선형화된 중력(Linearized Gravity): 논문은 또한 중력을 평탄한 배경 위의 작은 물결(중력자)로 취급하여 다룹니다. 빛과 마찬가지로, 이 물결들이 어떻게 상호작용하는지 계산하는 것은 까다롭습니다. L-범함수 접근법은 중력자의 "포괄적" 산란을 정의하는 방법을 제공하며, 이는 표준 이론을 괴롭히는 중력의 유사한 적외선 문제들을 해결할 잠재력을 가집니다.

결론

이 논문은 우주의 문제를 하룻밤 사이에 해결했다고 주장하지 않습니다. 저자는 QED에 관한 핵심 아이디어를 추측이라고 신중하게 명시합니다. 이는 특정 방식으로 방정식을 구성하는 것(특정한 자유 해밀토니안을 가진 L-범함수 형식론)이 적외선 발산을 제거한다는, 수학적으로 근거가 탄탄한 강력한 제안입니다.

이 논문은 (보이지 않는 저에너지 소음을 모두 고려하는) 포괄적 산란 행렬이 표준 산란 행렬이 실패하는 상황에서도 잘 정의된 개념임을 보여줍니다. L-범함수의 기하학적 언어를 사용함으로써, 수학이 붕괴하지 않고도 이러한 확률을 유도할 수 있음을 보여줍니다.

요약하자면, 슈바르츠는 우리에게 새로운 안경을 건네주고 있습니다. 이 렌즈를 통해 보면, 양자 세계의 혼돈스럽고 무한한 굉음은 명확하고 계산 가능한 신호로 보입니다. 비록 이 방법이 QED의 모든 가능한 시나리오에 작동한다는 것을 증명해야 하지만, 앞으로 나아갈 길은 이전보다 훨씬 덜 안개 낀 것처럼 보입니다. 이 논문은 우리가 소음과 싸우는 것을 멈추고, 새로운 방식으로 음악을 듣도록 초대하고 있습니다.