The Yang-Mills Mass Gap on ℝ⁴ Is Ill-Posed, and on a Compact Constructible Manifold It Is Automatic

3줄 요약

1. 벨라루스 코브린에서 활동하는 빅토르 로그비노비치(Victor Logvinovich)가 2026년 9월 9일 Zenodo에 38쪽짜리 프리프린트 5판을 올렸다. 원고는 클레이 수학연구소가 2000년에 밀레니엄 문제로 내건 양-밀스 질량 간극을 다룬다. 저자 한 명이 단독으로 쓴 원고이며, 동료 심사는 받지 않았다.
2. 원고의 첫 번째 주장은 이렇다. 4차원 유클리드 공간 $\mathbb{R}^4$에서 오스터발더-슈라더(OS) 공리와 엄격한 질량 간극 $\Delta > 0$을 함께 만족시키려고 표준 구성 도구를 사용하면 모순이 생긴다. 저자는 이 모순을 공리, 기하, 대수, 해석의 네 가지 관점에서 논증했다.
3. 두 번째 주장에 따르면 콤팩트 다양체 $M_{\mathrm{tot}} = S^4 \times T^3$에서는 간극이 자동으로 생긴다. 동시에 저자는 이 결과가 클레이 문제를 문자 그대로 푼 것은 아니라고 여러 차례 밝히고, 상금을 스스로 주장하지 않겠다고 했다. 원고 말미에는 1088 GeV 공명 같은 실험 예측도 실었다.

클레이 문제가 요구하는 것

클레이 수학연구소의 문제 문안은 아서 재프와 에드워드 위튼이 썼다. 문안은 두 가지를 증명하라고 요구한다. 첫째, 임의의 콤팩트 단순 게이지군에 대해 양자 양-밀스 이론이 $\mathbb{R}^4$에서 존재해야 하고, 그 이론은 와이트먼 공리나 OS 공리 이상의 공리적 성질을 갖춰야 한다. 둘째, 그 이론은 엄격한 질량 간극 $\Delta = \inf \sigma(H) \setminus \{0\} > 0$을 가져야 한다. 원고는 첫째 요구를 (A), 둘째 요구를 (B)로 부르고, 클레이의 조건을 두 요구의 논리곱 (A)∧(B)로 적었다.

이 원고는 저자가 앞서 쓴 두 원고의 후속편이다. 하나는 $\mathbb{R}^4$ 정식화가 수학적으로 모순이라고 주장한 「The Ontological Paradox of the Yang-Mills Mass Gap」이고, 다른 하나는 2026년 Zenodo에 올린 초고다. 초고는 $S^4 \times T^3$에서 스펙트럼 간극을 증명했지만, 그 공간이 왜 콤팩트해야 하는지는 설명하지 않았다. 저자는 이번 원고가 그 원인과 기제를 보충한다고 밝혔다.

ℝ⁴에서 모순이 생긴다는 네 가지 논증

저자는 네 가지 방법으로 $\mathbb{R}^4$가 질량 간극과 양립하지 못한다고 주장했다. 저자는 각 방법의 근거로 싱어, 그리보프, 츠반치거, 스트로키가 증명한 기존 정리를 가져왔다.

저자는 네 방법을 여덟 단계의 인과 연쇄로 정리했다. 이론을 정의할 공간으로 무한한 $\mathbb{R}^4$를 고르면 그리보프 복제가 생긴다. 복제를 억제하려고 적분 영역을 제한하면 BRST 멱영성과 반사 양성이 성립하지 않는다. 그러면 게이지 불변량에도 복소 극의 영향이 나타나고, 스펙트럼 측도는 양성 조건을 충족하지 못한다. 자기수반 해밀토니안도 정해지지 않는다. 저자는 여덟 번째 단계에서 $\mathbb{R}^4$ 위의 질량 간극을 정의할 수 없다고 결론지었다.

그런데 원고는 이 결론의 범위를 스스로 한정했다. 방법 I의 그리보프-츠반치거 전파자는 특정 근사에서 나온 결과이므로, 방법 I만으로는 비섭동적 이론 전체에 대해 아무것도 증명하지 못한다고 인정했다. 저자는 네 방법이 동시에 성립한다는 점을 결론의 근거로 내세웠다. 더 중요한 한정은 따로 있다. 원고가 정리로 증명했다고 밝힌 범위는 게이지 고정, 파데예프-포포프 측도, 그리보프-츠반치거 지평선, 표준 대수적 양자장론을 쓰는 표준 구성 방식이다. 원고는 이 구성 방식에서 모순이 생긴다는 점까지만 다룬다. 아직 알려지지 않은 구성 방식까지 불가능하다는 명제는 저자 스스로 “강하게 뒷받침된 해석"으로 분류했다.

콤팩트 다양체에서는 간극이 자동으로 생긴다

저자는 대안으로 $M_{\mathrm{tot}} = S^4 \times T^3$라는 공간을 제안했다. 곱공간의 첫 인자 $S^4$는 $\mathbb{R}^4$에 무한원점 하나를 더해 얻은 콤팩트 공간이고, 둘째 인자 $T^3$는 저자의 다른 연구 프로그램에서 가져온 3차원 원환면이다. 이 원환면을 만드는 격자의 성분은 체 $K = \mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5})$에 속한다. $K$는 $\mathbb{Q}$ 위의 8차 확대체이고, 그 원소는 모두 자와 컴퍼스로 작도할 수 있는 수다.

원고는 콤팩트한 공간에서 스펙트럼이 이산적인 고유값으로만 이루어진다는 표준 결과를 바탕으로, 기존 부등식 두 개를 써서 간극의 하한을 얻었다. 색 가둠의 근거로는 땋임군을 들었다.

원고 그림 8. 무한한 공간의 연속 스펙트럼과 콤팩트 다양체의 이산 스펙트럼을 비교한 개념도이며, 고유값의 간격은 임의로 그렸다. Victor Logvinovich, CC BY 4.0.

원고는 이 간극을 콤팩트성의 귀결로 설명하고, “무한한 공허에서 힘겹게 얻어낸 정리"와는 다르다고 적었다.

√13에서 끝나는 수열

저자는 $T^3$가 콤팩트해야 하는 원인으로 피보나치-피타고라스 캐스케이드라는 수열을 제시했다. 수열은 세 변이 $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$인 직각삼각형에서 시작한다. 변의 제곱값에 피보나치 규칙을 적용하면 1+2=3, 2+3=5, 3+5=8, 5+8=13이 된다. 여기까지 나온 제곱근 가운데 $\sqrt{8}$은 $2\sqrt{2}$로 고쳐 쓸 수 있어 $K$의 원소가 되지만, 다음 항의 13은 2, 3, 5와 다른 소수라서 $\sqrt{13}$은 $K$의 원소가 될 수 없다. 저자는 수열이 처음으로 $K$의 원소가 아닌 값을 내놓는 이 단계에 “대수적 장벽"이라는 이름을 붙였다.

원고 그림 6. 막대 높이는 각 단계의 제곱근 값과 정확히 같다. Victor Logvinovich, CC BY 4.0.

하지만 원고는 이 장벽이 격자를 유한하게 만들고 그 결과 공간을 콤팩트하게 만든다는 주장을 “추측"으로 분류했다. 원고는 흔히 떠올릴 법한 오해도 스스로 정정했다. 유리수를 모두 포함하는 이상 $K$는 실수에서 조밀하고, 그래서 $K$에 속하지 않는 $\sqrt{13}$조차 $K$의 원소로 얼마든지 가깝게 근사할 수 있다고 원고는 설명했다. 원고에 따르면 $T^3$가 콤팩트한 까닭은 격자가 선형독립인 벡터 세 개로 생성되기 때문이며, 이를 격자가 최대 계수(full rank)를 가진다고 표현한다. 이 성질은 이미 알려진 표준 결과이고, $\sqrt{13}$ 장벽은 캐스케이드가 왜 그 단계에서 끝나는지를 설명하는 추측으로 남는다.

이중 귀류법과 1입자, 다입자 간극의 연결

저자는 두 공간의 결과를 서로 대칭인 귀류법 두 개로 정리했다. $\mathbb{R}^4$에서 $\Delta > 0$을 가정하면 앞에서 설명한 네 방법에 따라 모순이 생긴다. $M_{\mathrm{tot}}$에서 $\Delta = 0$을 가정하면 스펙트럼의 이산성, 치거 부등식, 리히네로비츠 추정, $B_3$ 위상이라는 네 경로에서 모순이 생긴다. 원고는 이 귀류법이 기존 정리를 대우 형태로 다시 쓴 것이며 새로운 수학은 아니라고 인정했다.

비판자가 제기할 만한 반론도 원고가 먼저 다뤘다. 원고가 치거 부등식으로 얻은 $\lambda_1$은 입자 하나를 기술하는 연산자에서 나온 간극인 반면, 클레이가 묻는 $\Delta$는 포크 공간에서 정의되는 다입자 해밀토니안의 간극이라는 반론이다. 저자는 콤팩트한 $M_{\mathrm{tot}}$에서는 두 간극의 연결이 가정이 아닌 귀결이라고 주장했다. 저자의 설명에 따르면 다입자 상태의 에너지가 0으로 수렴하려면 질량 없는 골드스톤 모드나 무한 부피의 적외선 연속체가 있어야 한다. 엘리추르 정리에 따르면 국소 게이지 대칭은 자발적으로 깨지지 않으므로 골드스톤 모드는 생기지 않는다. 또 부피가 유한하므로 적외선 연속체도 생기지 않는다. 그러면서도 원고는 $M_{\mathrm{tot}}$ 위에서 상호작용하는 양-밀스 측도 전체를 구성하지는 않았다고 적었다.

5.4판에서 보탠 정수 두 개

5판의 마지막 개정에서 저자는 체 $K$의 판별식과 퇴플리츠 지표를 추가했다. 도체-판별식 정리에 따라 $K$의 절대 판별식은 $\Delta_K = 2^{16} \cdot 3^4 \cdot 5^4 = 3{,}317{,}760{,}000$이다. 그 제곱근은 57,600이고, 이 값은 정수환 $\mathcal{O}_K$의 기본 영역 부피와 같다. 원고는 이 값을 구성 가능한 격자의 정규화 기준으로 삼았다.¹

저자는 두 번째 정수로 게이지 꼬임 디랙 연산자의 홀수 퇴플리츠 지표를 가져왔다. 저자가 J.-C. 페레즈와 공저한 주기율표 연구에서 이 지표를 반구당 86, 합계 172로 계산했다고 한다. 원고는 이 정수가 $M_{\mathrm{tot}}$에서는 잘 정의되지만 $\mathbb{R}^4$에서는 콤팩트 레졸벤트가 없어 정의되지 않는다는 점을 들어, 콤팩트성의 이분법을 드러내는 증거로 제시했다. 원고는 이 지표가 다섯 번째 방법은 아니라고 덧붙였다.

원고 그림 14. 저자와 J.-C. 페레즈의 주기율표 연구에서 가져온 지표 분할 도판이다. 실선 칸은 실험으로 알려진 원소(Z ≤ 118), 점선 칸은 예측된 초중원소 영역이다. Victor Logvinovich, CC BY 4.0.

원고가 스스로 밝힌 한계

원고의 한 절은 제목부터 “이것이 왜 ℝ⁴에서의 문자 그대로의 클레이 해법이 아닌가"다. 저자는 이 절에서 세 가지를 구분했다.

첫째, 원고는 간극을 두 종류로 구분했다. 원고가 증명했다고 주장하는 것은 $M_{\mathrm{tot}}$ 위의 진공 스펙트럼 간극이고, 클레이가 묻는 것은 $\mathbb{R}^4$ 위 해밀토니안의 간극이다. 저자는 방법 IV의 윅 회전 장애 때문에 $M_{\mathrm{tot}}$의 간극을 $\mathbb{R}^4$의 간극으로 해석적으로 연장할 수 없다고 했다.

둘째, 원고는 “다리"라고 부르는 연결 두 가지를 구분했다. 다리 A는 콤팩트한 $M_{\mathrm{tot}}$에서 스펙트럼 기하의 기술과 유클리드 기하의 기술을 대응시키는 연결이다. 원고는 콘의 재구성 정리가 이 연결을 이미 제공한다고 설명했다. 그러면서도 $K$ 위의 구체적인 스펙트럼 삼중항이 재구성 정리의 공리를 만족하는지는 검증하지 않았다. 다리 B는 콤팩트한 공간의 이론에서 콤팩트하지 않은 $\mathbb{R}^4$의 이론을 얻는 연속체 극한이다. 원고는 다리 B가 곧 클레이 문제이며, 자신은 이 문제를 해결하지 않았다고 명시했다.

셋째, 원고는 “해법"이라는 말의 의미도 두 가지로 구분했다. 저자는 $\mathbb{R}^4$에서 OS 공리와 간극을 갖춘 이론을 구성하는 해법은 제공하지 않는다고 했다. 대신 요구된 대상이 존재할 수 없음을 보이는 부정적 해법은 제공했다고 주장했다. 원고는 그 전례로 1837년 방첼의 각의 삼등분 불가능성 증명, 평행선 공준의 독립성, 1931년 괴델의 불완전성 정리, 1936년 튜링의 정지 문제를 들었고, 클레이의 조건을 “둥근 사각형"을 요구하는 것에 비유했다.

판정에 관해서도 원고는 분명하게 적었다. 저자는 위원회와 학계에 논증을 제시할 뿐 상금을 스스로 선언하지 않는다고 했다. 원고의 한 비고는 “주류는 클레이 문제를 잘 정의된 미해결 문제로 본다"고 적었다. 이어 저자는 네 방법을 종합해 $\mathbb{R}^4$ 정식화가 잘못 제기됐다고 보는 자신의 해석을 학계도 클레이 위원회도 받아들이지 않았다고 인정했다. 부록에는 “정직성 불변식"이라는 이름으로 이런 한정 23개를 모아 두었다.

반증 가능한 예측

원고는 실험으로 판정할 수 있는 수치 목록으로 끝난다. 수치는 모두 저자의 다른 원고에서 가져왔다.

원고 그림 11. 값은 저자의 원고 「Ab-Initio Prediction of the 1.088 TeV Topological Resonance」에서 가져왔다. Victor Logvinovich, CC BY 4.0.

알파 붕괴 항목에는 원고 스스로 단서를 달았다. 저자는 이 체계를 "좌표 문법"이라고 부르고, 반감기와 붕괴 에너지와 단면적은 예측하지 않는다고 덧붙였다. 원고는 실험이 판정할 대상은 이 예측 목록이며, $\mathbb{R}^4$에 관한 반증은 판단의 틀일 뿐이라고 정리했다.

원고를 덮고 계속 생각난 것

이 원고를 읽으며 나는 저자가 증명보다 한정에 더 공을 들였다고 느꼈다. 저자는 결론마다 “이것은 무엇을 뜻하지 않는가"를 따로 적었고, 그 목록이 부록에서 23개가 됐다. $\sqrt{13}$ 장벽이 콤팩트성을 만든다는 직관은 원고가 직접 반박했다. 저자는 연속체 극한이 곧 클레이 문제라는 점도 인정했다. 이 두 대목을 읽으면서, 저자가 예상 반론을 하나씩 미리 검토하며 원고를 여러 차례 개정했다는 인상을 받았다.

그런데 원고의 한정을 함께 읽으면 마무리 주장과 증명 범위의 차이를 알 수 있다. 원고의 마무리 주장은 “$\mathbb{R}^4$ 정식화는 잘못 제기됐다"이다. 반면 원고가 정리로 증명했다고 한정한 범위는 게이지 고정을 전제로 하는 표준 구성 방식의 모순이다. 방첼의 증명에서는 자와 컴퍼스라는 도구가 문제의 조건에 포함되어 있었다. 하지만 클레이 문안은 이론을 구성할 방법을 정해 두지 않는다. 내가 보기에 이 원고의 부정적 해법이 방첼의 증명과 같은 종류가 되려면 조건이 하나 더 필요하다. 원고가 해석으로 남겨 둔 보편적 불가능성까지 증명해야 한다.

출처

Victor Logvinovich, “The Yang-Mills Mass Gap on ℝ⁴ Is Ill-Posed, and on a Compact Constructible Manifold It Is Automatic”, Zenodo 프리프린트 5판, 2026년 9월 9일 게시(9월 15일 갱신). DOI: 10.5281/zenodo.22674891. CC BY 4.0. 레코드에는 원고 PDF와 TeX 소스, 그림을 만든 파이썬 스크립트 ym.py가 함께 올라와 있다. 2026년 9월 24일 기준 Zenodo가 집계한 인용은 0건이다.

원문: https://zenodo.org/records/22674891