arXiv 2503.01800 (Deng-Hani-Ma, 2025). 이 논문은 1900년 힐버트가 직접 그린 ‘뉴턴 입자에서 유체 역학 방정식으로의 길’이라는 경로를 2차원과 3차원의 표면에서 완전히 실현시킵니다. 두 공동 집필자는 미시간 대학의 하니(Hani)와 마(Ma)입니다. 이 글은 요약 번역이 아닌 엔지니어의 관점에서 깊이 분석한 글입니다.

1. 이 일이 중요한 이유는 또 다른 장대한 에세이가 아니라는 것입니다.

힐버트는 1900년 파리에서 열린 국제 수학자 회의에서 세 개의 문제를 제시했는데, 그중 여섯 번째 문제는 ‘확률이론’과 ‘역학’을 주요 주제로 다루었습니다. 확률이론은 20세기 초반에 해결되었지만, 역학—‘원자의 관점에서 연속매체 방정식으로 이동하기’—는 125년 동안 난제로 남아있었습니다.

이 논문은 이 경로를 유명한 박스 다이어그램(논문의 그림 1)으로 표현합니다. 가장 왼쪽에는 뉴턴 역학이 있고, 가운데에는 볼츠만(Boltzmann) 방정식이 있으며, 가장 오른쪽에는 유체 역학 방정식(오일러/나비에-스토크스/푸리어)이 있습니다. 왼쪽에서 오른쪽으로 두 단계가 있는데, 수학자들은 이를 Boltzmann-Grad 한계 및 유체 역학 한계라고 부릅니다. 두 단계를 각각 통과해야 하며, 오랜 기간 동안 동시에 유지해야 합니다. 이것이 힐버트의 6번째 문제의 핵심 난점입니다.

2026년 7월 23일, 이 논문의 첫 번째 저자인 덩유(Deng Yu)는 필라델피아 ICM에서 필즈 상을 받았는데, 그 수상 이유 중 하나는 이 연구였습니다. 미시간 대학의 두 공동 연구자인 자헤르 하니(Zaher Hani)와 마오(Xiao Ma)는 다른 두 저자입니다. 이것은 그 팀이 이 연구를 처음으로 수행한 것은 아닙니다. 그들은 204년 192페이지의 이전 연구물 [26] (arXiv 2408.07818)에서 무한한 공간에서 첫 번째 계단을 성공적으로 완성했습니다. 49페이지의 현재 연구물인 2503.01800은 완결입니다. 그들은 이전 연구의 무한한 공간 버전을 토르스 표면에 적용하고 두 번째 계단을 추가하여 전체 연구를 완성했습니다.

제 논문의 주제는 다음과 같습니다.하드 스프링의 탄성 충돌에서 출발하여, 압축 가능한 Euler 방정식과 압축 불가능한 Navier-Stokes-Fourier 방정식을 엄격하게 도출하며, 시간 창은 Boltzmann 해의 전체 수명을 포함합니다.‘엄격하게’와 ‘장기적’이라는 두 단어가 중요하며, 이후의 내용에서 계속 반복적으로 등장할 것입니다.

2. 이 추론은 정확히 무엇을 해결하려는 것인가?

이 논문은 세 개의 정리로 목표를 분할합니다.

정리 1은 전체 논문의 기초입니다. 2차원 또는 3차원의 토르스 위에서, α 인수가 Nε^(-1)로 고정된 볼츠만-그라드 스케일 법칙을 따르는 N개의 직경 ε의 하드 구형을 고려하십시오. ε가 0으로 접근함에 따라(동시에 N이 증가함), 단일 입자 상관 함수 f₁(t, x, v)는 볼츠만 방정식의 해로 수렴합니다. 본 논문의 주요 제한은 시간 창 t_fin이 이중 로그 스케일로 제한된다는 것입니다.

직관적인 설명: 입자가 작을수록 충돌 속도가 더 빠르고, 볼츠만(Boltzmann) 해를 도출하는 창을 더 길게 만들 수 있습니다. 이전 작업인 2408.07818은 창을 이중로그 제곱근 스케일로 확장했고, 이는 현재 이 방법이 제공할 수 있는 ‘적당히 충분한’ 길이입니다.

정리 2Theorem 1을 Theorem 2로 확장하세요. 구체적으로는 Gallagher-Tristani(2020)의 유체역학 한계 방식을 사용하며, Theorem 1의 첫 번째 단계에서 시간 창을 조합하세요. 결론: ε → 0이후, 충돌률 α = δ⁻¹ → ∞로 하면, 매크로적 밀도 ρ와 속도 u는 Navier-Stokes-Fourier 해에 수렴하며, 수렴 속도는 δ^(3/2)입니다.

정리 3은 정리 2의 자매 버전으로, 유체 역학 한계를 카플리시치(1980 년)의 압축형 유러 한계로 바꾸었습니다(이후 구오-장-장, 장-로-탕이 확장했습니다). 매크로스코프적 밀도ρ, 속도 u, 온도 T의 세 요소는 이중 포함 한계 하에서 유러 해결책으로 수렴하며, 그 속도는 δ입니다.

함께,정리 1 하드 볼을 볼츠만으로 이동시킵니다, 정리 2/3 볼츠만을 유체로 이동시킵니다.두 단계 모두 제한된 시간 내에 완료되며, 힐버트의 6번째 문제는 볼츠만의 경로상의 모든 작업이 2차원/3차원 토르스 위에서 끝나게 됩니다.

3. 하드 볼 방정식을 이해하는 데 필요한 개념은 세 개뿐입니다.

이 부분은 ‘엔지니어들을 위한 논문 읽기’의 관점에서 쓰여졌고, 조합학의 세부사항을 다시 설명할 계획은 아닙니다. 먼저 하드 볼의 수학적 구조를 구축해 보자.

개념 1: 대표준 열역학 체계(grand canonical ensemble)

볼츠만을 증명하려면 역동학만 제공하는 것은 충분하지 않습니다. 초기 데이터에 확률 법칙을 제공해야 합니다. 이 논문에서는 1972년 Cercignani가 도입한 대대Θ 집합을 사용합니다. 입자의 총 수는 泊松 분포를 따르는 랜덤 변수입니다. 평균 입자 수 E(N) ≈ α·ε^(−(d−1))는 입자 직경 ε와 충돌 비율 α에 의해 결정되며, 이것이 Boltzmann-Grad 스케일 법칙입니다. 직관적인 비유: 방 안에 공을 무작위로 버려두면, 버려진 공의 수, 공의 크기, 충돌 비율은 비례하게 증가하고 감소합니다. 이 설정은 Boltzmann-Grad 한계 내에서 크기가 변하지 않습니다.

개념 2: 하드볼 충돌 규칙

각 공은 자유롭게 일정한 속도로 직선 운동을 하며, 위치는 연속적이고 속도는 변할 수 있습니다. 두 공의 중심 간 거리가 직경과 정확히 같을 때, 중심선 방향의 속도 성분은 반사되고 수직 방향은 변하지 않습니다. 이것이 수백 년 전 물리학자들이 작성한 탄성 충돌 규칙이며, 여기서는 그것을 더 엄격하게 표현한 것입니다.

개념 3: 볼츠만(Boltzmann) 방정식 자체

이것은 ‘모습을 보는 것’이라는 통계 방정식으로, 단일 입자의 밀도 n(t, x, v)가 시간에 따라 어떻게 변하는지를 나타냅니다. 한쪽은 유체에 의해 끌려가고, 다른 쪽은 충돌에 의해 방해받습니다.

충돌 연산자 Q가 핵심입니다. 두 입자가 도착하여 충돌한 후 두 개의 새로운 방향으로 변합니다. 이 두 방향의 확률 차이를 계산합니다. 1872년 볼츠만(Boltzmann)은 한 장의 긴 논문에서 이 방정식을 제시했고, 이 방정식의 토르스 버전은 정리 1.4에서 제시되었으며, 이에는 경화된 구형 충돌 핵이 포함되어 있습니다.

이 세 개의 개념을 합쳐보면, ‘하드 볼 시스템 → 볼츠만(Boltzmann) 방정식’의 입력과 출력이 됩니다. 남은 질문은 다음과 같습니다: 다원자 시스템이 주어진 경우, 볼츠만-그라드(Boltzmann-Grad) 한계 내에서 단일 입자 상관 함수가 정말 볼츠만(Boltzmann) 해에 접근할 수 있습니까? 이것이 Theorem 1이 답해야 할 질문입니다.

4. 정리 1의 증명에서 진짜 어려운 점: 토러스 拓扑에서 발생하는 두 가지 새로운 문제점

정리 1 의 증명은 대부분 전작인 2408.07818의 무한한 공간 Rxd 버전을 따른다. 그러나, 토르스 공간 Txd에는 두 가지 새로운 문제가 있고, 이 두 부분은 해당 논문에서 가장 어려운 새로운 아이디어이다.

문제 1: 같은 입자 쌍이 두 번 이상 충돌할 수 있습니다 (이중 결합)

무한한 공간에서는 두 입자가 만나더라도 그 후 멀리 갈 것이고, 최대한 한 번만 만날 수 있습니다. 반면, 입자는 표면 위를 따라 돌아와서 다시 만날 수 있습니다. 저자는 Proposition 3.2 (4)에서 다음과 같이 지적합니다. 두 입자의 상대 속도 v - v’가 0이 아닌 정수 벡터 m과 거의 평행할 경우, 그들은 서로 다른 기본 영역에서 두 번 만날 수 있습니다. 이 조건은 v - v’를 ε^(-1)의 작은 집합으로 제한하며, 부피 계산에서는 ε^(-1) 만큼의 추가 이득을 제공하여 추정을 중단할 수 있게 합니다.

문제 2: 여러 입자의 충돌 횟수에 상한이 없습니다(토르스 표면에는 BFK 경계가 없습니다)

이것이 진정한 새로운 어려움입니다. 무한한 공간에서, Burago-Ferleger-Kononenko(BFK, 1998)는 입자 수 q에만 의존하는 절대적인 상한을 제시했습니다. 반면에, 토르스에 있는 입자들은 서로 무한히 많은 번 충돌할 수 있습니다. 이 유용한 도구가 토르스에서 실패했고, 13절 전체에서 BFK 상한을 사용하여 제어되는 fserr 추정치는 토르스에서 처음부터 다시 쓰여야 합니다.

저자는 두 가지 새로운 무기를 도입함으로써 이에 대응하였습니다.장거리 채권(long bond)과표준 회로(canonical cycle)입니다.

긴 키의 정의는 간단합니다. 키의 양 끝이 두 번 충돌하는 시간 차이가 ε*의 특정 제곱보다 크면 그것은 긴 키라고 합니다. 직관적으로 두 입자가 짧은 시간 동안 반복적으로 충돌하면(짧은 키), 그것들은 기본 도메인에 남아있고, 무한한 공간과 같습니다. 그래서 BFK 상한은 여전히 적용됩니다. 충돌이 충분히 멀리 떨어지면(긴 키), BFK 프레임워크를 벗어나서, ε-level 증益을 새로 추정해야 합니다.

5. 증명의 진정한 핵심: 제3.8번 명제

긴 키와 표준 루프는 목적지가 아니고, 입구입니다. 전체 증명의 진정한 중심은 Proposition 3.8입니다. 이 주장은 다음과 같습니다: 주어진 ‘전체 분자’ (G ~ 2G 사이의 키 수를 가진 트리 구조)에 대해, 전체 여분 량을 ε^(d-1+θ) 이하로 줄이는 토큰 시퀀스를 찾을 수 있습니까?

그 결론은 세 가지 중 하나입니다. 절단 후에 적어도 하나의 ‘좋은’ 이중 키 구성 요소가 있고 단일 키 구성 요소가 없거나, 모든 단일/이중 키 구성 요소가 좋고 ‘좋은’ 총 수가 ‘구성 요소 수 × 상수’보다 크거나, 오직 하나의 단일 키 구성 요소가 있고 다른 구성 요소의 여분의 합이 ε의 정수 제곱을 넘지 않습니다. 세 가지 경우는 세 가지 유형의 도입 경로에 해당하며, 이들 중 하나도 총 여분을 제어할 수 있습니다.

증명 3.8의 코드는 상당히 길다(논문 §4에서 14페이지를 차지하고 있다), 그러나 구조는 간단하다. 먼저, [26]의 ‘剥皮’ 알고리즘을 사용하여 분자를 기본 구성 요소만 남기도록 분리한 다음, ‘두 레이어 절단’ 알고리즘을 사용하여 분자를 상부 및 하부 레이어로 분리합니다. 상부 및 하부 레이어 간의 키는 자동으로 긴 키가 되며, 이는 토러스 특유의 충돌 확대를 방지합니다.

두 가지 핵심 하위 시나리오:

1.긴 키를 가진 삼각형(Lemma 4.13): 분자 내에 긴 키를 가진 삼각형이 있는 경우, 절단 변형은 그 삼각형을 세 개의 원자 구성 요소나 두 개의 원자 구성 요소로 절단할 수 있으며, Proposition 3.4를 사용하여 여분의 양을 추정할 수 있습니다. 여기에서 주요 도구는 1993년 Cohen-Murphy의 결과입니다. 3개의 입자는 무한한 공간에서 최대 4번 충돌할 수 있습니다. 표면 상에서 4번 이상의 충돌은 여러 기본 도메인에 분포되어야 하며, 따라서 시간이 지남에 따라 분리되는 키가 있어야 하며, 이는 긴 키의 정의와 일치합니다.

2.표준 회로 + 2층 구조(제안 4.14): 삼각형 경우를 제외하고 가장 어려운 경우를 두 층 구조로 요약합니다. 저자는 입자 수에 따라 유도하여 증명하며, 교차 서브 레이어 키가 분리되어야 하는 기하학적 특성, 토르스 拓扑의 확대 효과를 ‘상하 레이어에는 긴 키가 있어야 한다’로 두 번 포장하고, 이전 작업의 추정 도구에 다시 제공합니다.

이 메커니즘들은 함께 작용하여, 이전 작품의 ‘부분적인 짧은 시간’ 프레임워크로 고유의 어려움을 되돌려 놓고, BFK 상한의 실패라는 근본적인 새로운 어려움을 우회합니다.

6 두 번째 계단을 연결하기: 유체 한계 부분

정리 1은 첫 번째 단계를 해결합니다(하드 볼 → 볼츠만), 정리 2/3은 두 번째 단계를 해결합니다(볼츠만 → 유체). 이 부분은 상대적으로 ‘조립 부품’이며 ‘발명 부품’이 아닙니다. 이는 두 번째 단계인 유체 역학의 한계가 2020년대에 이미 성숙되었기 때문입니다.

정리 2(비압축 나비어-스토크스-푸리어 방정식)갈라거-트리스타니(2020)의 수렴 속도 결과를 사용합니다. [29] 충돌률 α = δ⁻¹이고, 볼츠만(Boltzmann) 해는 비압축 나비어-스토크스-푸리어 방정식의 밀도-속도 쌍(ρ, u)처럼 오랜 시간 동안 성장하며, δ^(3/2)로 압축된 차이를 가지고 있습니다. 그런 다음 Theorem 1에서 제공된 ε^θ를 추가하고, ε → 0이후 δ → 0으로 나오면, 거시적 통계량(1.27–1.28 식)은 나비어-스토크스-푸리어 해로 확률적으로 수렴합니다.

정리 3(압축성 유클리드)은 정리 2의 자매 버전으로, 유체역학 한계를 카플리시치(1980) + 구-장-장 + 장-로-탕의 선으로 바꾸었습니다. 증명은 정리 2와 거의 동일하며, 유일한 차이점은 지역적인 막스웰 분포 M이 전체적인 고스 분포로 대체되었을 때, 무게ω β는 inf T에 의존하게 되지만, 이 하한선은 (ε, δ)에 의존하지 않습니다. 증명은 같은 방법으로 진행됩니다.

두 단계를 합친 것은 125년 동안 볼츠만(Boltzmann) 경로에서 힐버트(Hilbert) 제6문제의 완전한 종지부를 찍는 것입니다.

7. 용해와 경계: 어떤 부품을 제거하면 무너질까?

이 논문은 많은 주목을 받지는 않았지만, 몇몇 명백한 주장을 하고 있습니다. 저는 이 글을 읽은 후 아래와 같이 요약하였습니다.

경계 1: 차원이 2/3차원으로 고정되어 있습니다

정리 1의 d ∈ {2, 3}은 게으르지 않습니다. 리마크 1.9에서는 분명히 4차원 이상의 경우에는 ε^(d-1-) excess를 보장하려면 더 정교한 비변형 조건이 필요하며, 알고리즘과 통합 단계가 훨씬 더 복잡해질 것이라고 명시되어 있습니다. 저자는 고차원을 후대자들에게 남겨두었고, 이것이 해당 논문의 정직한 한계입니다.

경계 2: 시간 창은 이중 로그 제곱 스케일입니다

t_fin ≪ √(log|log ε|) 이 스케일은 정리 2/3의 δ 범위가 더 넓어질 수 없음을 결정합니다. 더 멀리 추진하려면 새로운 아이디어가 필요합니다(논문 참고 1.5 (2)에서 직접 인정되었습니다). 이 선은 왜 여기에 있습니까? 기존 방법은 분자를 원 구성 요소로 줄인 후, 이중 로그 제곱 루트가 현재 기술로 제공할 수 있는 최적의 길이입니다. 이전 작품 [26]은 이 창을 같은 스케일로 확장했고, 이 논문에서는 토르스 표면에서 같은 스케일을 유지했으며, 더 나아가지 않았습니다.

경계 3: 속도 제한 |v| ≤ ε^(−κ)은 기술적입니다

정리 2/3의 한계(1.27 / 1.48)에서는 모두 속도 제한이 추가되었습니다. 주석 1.7은 이것이 기술적인 것이라고 명확히 하고 있습니다. 왜냐하면 고속 입자의 확률은 볼츠만-그라드 한계 아래에서 무시할 수 있기 때문입니다. 물리적으로는 자연스럽지만, 수학적으로는 필요합니다.

경계 4: 여전히 부족한 부분

• n ≥ 4: 아직 하지 않았고, 위에서 언급했습니다.
• 무한한 영역: 논문은 토르스 표면 Tsup에서 이루어졌고, 무한한 공간 버전은 이전 연구 [26]에서 제시되었습니다. 이는 한정된 주기적 영역과 무한한 공간을 포함하지만,주기적이지 않고 무한한 하이브리드 영역(예: 경계가 있는 물리적 공간)은 아직 연구되지 않았습니다.
• 더 긴 시간 창문: 현재 제한점은 이중 로그 제곱근입니다.

이것은 ‘연구를 잘 하지 못한 것’이 아니고, ‘무엇을 완료했는지’와 ‘아직 완료하지 않은 것’을 분명히 구별하는 것입니다. 이것이 AI 스타일에서 벗어나는 열쇠입니다.

8. 읽은 후 알려두면 좋을 몇 가지 사항

(아래는 제가 논문의 내용을 바탕으로 한 판단입니다. 모두 논문 자체가 그렇게 말한 것은 아닙니다.)

1. 이 논문의 엔지니어링적 의의는 ‘완전한 완성’에 있지 않습니다.

힐버트의 여섯 번째 문제에 대한 볼츠만(Boltzmann) 경로에서의 ‘원리적 완결’은 1912년에 힐버트 자신이 [36]에서 블록 다이어그램을 그려놓은 것으로 거슬러 올라간다. 그 후, 1958년 그라드(Grad)와 1972년 세르치그나니(Cercignani), 1975년 랜포드(Lanford)는 비-그(B-G) 한계의 수학적 형태를 확립했다. ‘완전한 완결’의 기준은 사람마다 다르다. 만약 ‘임의의 오랜 기간 + 일반적인 초기값’만 요구된다면, 이 연구는 그 요건을 충족시킨다. 그러나 ‘임의의 초기값 + 임의의 시점 + 일반적인 차원’을 요구한다면 아직까진 그렇지 못했다. 이 연구를 읽을 때 ‘완결’이라는 단어에 속지 마세요. 진정한 새로움은 (1) 토르스 버전의 도구 체인의 완전성과 (2) 2번째/3번째 정리의 산물이 산업에서 사용할 수 있는 통일된 인터페이스를 제공한다는 것입니다.

2. 시간 창의 ‘이중 로그 제곱 루트’는 엔지니어링 제한 사항이며 물리적 제한 사항이 아닙니다.

저자는 주석 1.5 (2)에 한 문장을 남겼습니다: “우리의 방법으로는 이 스케일 바깥으로 확장하는 것이 어려워 보입니다”. 이 문장의 엔지니어링 의미는 다음과 같습니다: 만약 당신이 이 유도식을 사용하여 실제 물리적 시뮬레이션을 하고 싶다면, 예를 들어 ‘원자 운동으로 인한 1초 후의 매크로-유체’를 계산하려는 경우, 당신은 이중 로그 스케일보다 훨씬 더 큰 창이 필요할 것입니다. 현재 이 라인은 ‘원리 검증’ 또는 ‘짧은 시간 정확도 추정’에 적합하지만, CFD 소프트웨어와 직접 연결하기에는 적합하지 않습니다.

3. 산업용 CFD는 이러한 추론을 기다려선 안 됩니다.

논문의 마지막 절을 읽었을 때, 저는 이것이 순수 수학에는 종지부를 찍고, 적용 수학에는 새로운 도구를 제공하지만, 산업용 CFD에는 다른 의미를 가지고 있다는 직관을 가졌습니다. 산업용 CFD는 ‘뉴턴 입자에서 Navier-Stokes 방정식을 유도할 필요가 없습니다’. 이미 많은 실증된 압축가능/비압축가능 방정식 계산 형식이 있습니다. 이 논문은 이론적인 ‘설명 가능성 + 수학적 정확성’을 제공하지만, 단기간에 시뮬레이션 파이프라인에 직접 적용되지는 않지만, 다음 세대의 수학 물리학 교과서에 포함될 수 있습니다.

4. 정리 1 의 비용은 적지 않습니다

이 논문은 이론 1을 위해 다음과 같은 것들을 희생했습니다. (a) 차원은 2/3로 제한되었습니다. (b) 시간 창은 이중로그 스케일입니다. (c) 특정 확률 법칙인 grand canonical ensemble이 필요합니다. 만약 당신이 물리학자라면, 실공간 가스가 토르스 표면에 있지 않아서, 당신은 이전 작품 [26]의 Rxd 버전이 필요할 것입니다. 이 두 작품을 함께 사용하면, “이 경로는 엔지니어가 사용할 수 있는 모든 주요 설정에서 잘 작동된다"라고 말할 수 있습니다.

5. 2026년 필즈 상과 관련하여

ден유는 2026년 7월 필라델피아에서 필즈 상을 받았고, 이 논문은 인용 기준 중 하나였습니다. 필즈 상의 인용은 대부분 ‘하나의 대규모 업적’에 초점을 맞춘다. 이 논문은 실제로 ден유의 지난 5년 동안의 가장 대표적인 작품 중 하나입니다. 그러나 ден유의 대표 작품은 이 볼츠만(Boltzmann) 경로에만 국한되어 있지 않습니다. 그는 또한 Hani 2021과 함께 파동 역동학 방정식의 장기적 존재성 등 여러 분야에서 연구를 하고 있으며, 이러한 연구들이 그가 상을 받을 수 있도록 도움이 되었습니다.

9. 한 문장으로 요약하면

Deng-Hani-Ma의 2503.01800은 볼츠만의 6번째 문제가 볼츠만의 경로에서 성공적으로 해결된 버전을 49페이지에 완전히 정리했습니다: 정리 1은 2/3 차원의 토르스 표면에서 하드 볼의 경우에서 볼츠만으로 이동하며, 정리 2/3은 볼츠만에서 비압축 나비에-스토크스-푸리에 및 압축 유클리드로 이동하며, 시간 창은 이중 로그 제곱 스케일을 포함합니다. 이것은 125년 동안 남아있던 모든 문제의 총 해결책은 아니지만, 1900년 힐버트가 그린 그 사각형 그래프 중 하나를 완전히 닫습니다.

arXiv 전문: https://arxiv.org/abs/2503.01800

전작 [26]: arXiv:2408.07818 (192쪽, 2024년).