로슈미트 역설

물리 계산물리 통계 마지막 수정: 2026-09-03 04:49:57

1. 개요[편집]

로슈미트 역설 Loschmidt's Paradox
제기	요제프 로슈미트, 1876 (가역성 반론, Umkehreinwand)
표적	볼츠만의 H 정리 (1872)
요지	가역인 미시 역학에서 비가역인 법칙이 나올 수 없다
자매 반론	체르멜로의 재귀 반론 (1896)
볼츠만의 답	H 정리는 역학 정리가 아니라 통계적 진술
범인	분자 카오스 가정 + 저엔트로피 초기조건
현대적 정리	요동 정리 (역방향 궤적의 확률비 $e^{-\Delta S/k_B}$)

방정식은 시간을 뒤집어도 똑같이 생겼는데, 컵에 떨어진 잉크는 절대 다시 모이지 않는다. 둘 중 하나가 거짓말을 하고 있다.

로슈미트 역설(Loschmidt’s paradox)은 시간 반전에 대해 대칭인 미시 역학에서 어떻게 시간 방향을 구별하는 비가역 법칙(H 정리, 엔트로피 증가)이 유도될 수 있는가라는 문제다. 1876년 요제프 로슈미트가 볼츠만의 H 정리에 대한 반론으로 제기했고, 정식 명칭은 가역성 반론(Umkehreinwand)이다.

논증은 잔인하게 간단하다. 어떤 순간에 모든 분자의 속도를 정확히 반대로 뒤집자. 뉴턴 방정식은 $t\to-t$ , $\mathbf v\to-\mathbf v$ 에 대해 불변이므로 계는 지나온 궤적을 정확히 거꾸로 되짚어 간다. 그런데 H 정리는 $dH/dt\le0$ 을 모든 초기조건에 대해 주장한다. 뒤집힌 상태의 $H$ 값은 원래와 똑같으므로(속도 부호만 바뀌었으니), 그 상태에서 출발한 계는 $H$ 가 올라가는 것을 보여야 한다. 따라서 H 정리는 역학 정리일 수 없다.

이 역설은 아직도 “해결”이라는 표현이 조심스럽게 쓰이는 주제지만, 어디서 무엇이 들어왔는지는 완전히 밝혀져 있다. 요약하면 이렇다 — 비가역성은 역학에서 오지 않는다. 통계적 가정 하나와 우주의 초기조건 하나에서 온다. 이 문서는 그 두 출처를 각각 확인하고, 분자동역학 코드에서 속도를 실제로 뒤집어 보면 무슨 일이 벌어지는지까지 따라간다.

2. 무엇이 가역이고 무엇이 아닌가[편집]

먼저 층위를 정리해야 한다. 셋을 섞으면 논의가 즉시 진창이 된다.

층위	대상	시간 반전
미시 역학	뉴턴·해밀턴 방정식, $N$ 입자 궤적	가역
위상공간 흐름	리우빌 정리, 밀도 $\rho$ 의 전개	가역, 측도 보존
운동론	볼츠만 방정식, H 정리	비가역

가역성은 해밀토니안 역학 층에서 확실하다. 정확히 말하면 정준 변환 $(\mathbf q,\mathbf p,t)\to(\mathbf q,-\mathbf p,-t)$ 아래 운동방정식이 불변이며, 자기장이 있으면 $\mathbf B\to-\mathbf B$ 도 같이 뒤집어야 한다는 부수 조건이 붙는다. 그리고 리우빌 정리에 따르면 위상공간 밀도는 비압축 유체처럼 흐른다.

\frac{\partial\rho}{\partial t} + \{\rho, H\} = 0 \quad\Longrightarrow\quad \frac{d\rho}{dt} = 0 \ \ (\text{궤적을 따라})

여기서 첫 번째 결론이 나온다. 미세 입자 깁스 엔트로피는 정확히 상수다.

S_G = -k_B\!\int \rho\ln\rho\; d\Gamma = \text{const}

$\rho$ 값이 궤적을 따라 보존되고 부피 요소도 보존되니 적분이 움직일 수가 없다. 즉 엔트로피 증가는 정직하게 정의된 미시 분포의 성질이 절대 아니다. 이 사실 하나만으로도 “엔트로피 증가를 역학에서 유도했다”는 주장은 어딘가에 추가 가정을 몰래 넣었다는 뜻이 된다. 로슈미트가 겨눈 것이 정확히 그 지점이다.

3. 화살이 들어온 자리 — 분자 카오스[편집]

볼츠만 방정식의 충돌항을 세울 때 쓰는 가정이 하나 있다.

f_2(\mathbf v,\mathbf v_*,t)\;\approx\;f(\mathbf v,t)\,f(\mathbf v_*,t)

분자 카오스 가정(Stosszahlansatz)이며, 충돌 직전 두 분자의 속도가 무상관이라는 요구다. 이 가정이 어떻게 세워지고 BBGKY 계층을 어디서 자르는지는 기체운동론이 다루므로 여기서는 결론만 쓴다 — “직전”이라는 단어가 시간 방향을 심는다.

충돌 후의 두 분자는 명백히 상관되어 있다. 산란각을 통해 서로의 속도를 알고 있기 때문이다. 그런데 가정은 충돌 전만 무상관이라 하고 충돌 후 상관은 배제하지 않는다. 시간에 대해 비대칭인 조건을 넣었으니 비대칭인 결과가 나오는 것은 당연하다. H 정리의 시간의 화살은 유도된 것이 아니라 입력된 것이다.

로슈미트의 뒤집힌 상태가 이 지점을 정확히 찌른다. 속도를 모두 반전시킨 상태의 분자들은 충돌 직전에 서로 극도로 상관되어 있다. 곧 있을 충돌이 방금 있었던 충돌의 역재생이 되도록 각도와 위상이 전부 맞춰져 있기 때문이다. 이런 상태에는 볼츠만 방정식을 적용할 자격이 없고, 실제로 그 상태에서 출발하면 $H$ 가 올라간다. 모순이 아니라 적용 범위 밖이다.

볼츠만의 대답도 이 구조였다. H 정리는 “모든 미시상태에서 $H$ 가 감소한다”가 아니라 “압도적 다수의 미시상태에서 감소한다”는 통계적 진술이고, 로슈미트가 만든 상태는 그 다수에 속하지 않는 극도로 특별한 상태라는 것. 얼마나 특별한지는 조금 뒤에 숫자로 나온다.

수학적으로 이 그림을 확인한 것이 랜퍼드(1975)의 정리다. 볼츠만-그라드 극한에서 거의 모든 초기조건에 대해 짧은 시간 동안 볼츠만 방정식이 엄밀히 유도되는데, 여기서 “거의 모든”이 예외 집합을 측도 0 으로 밀어내는 장치이고 “짧은 시간”이 아직 아무도 못 없앤 제약이다.

4. 재귀 반론 — 체르멜로와 푸앵카레[편집]

1896년 체르멜로가 두 번째 반론을 들고 온다. 푸앵카레 재귀 정리(1890)에 따르면, 유계 영역에서 측도를 보존하며 흐르는 계는 거의 모든 초기 상태가 자기 자신의 임의로 가까운 근방으로 언젠가 되돌아온다. 조건이 정확히 “유계 + 측도 보존”인데 유한 에너지 껍질 위의 해밀턴 흐름은 둘 다 만족한다. 그러면 $H$ 도 결국 초기값으로 되돌아와야 하고, 단조 감소는 불가능하다. 이것이 재귀 반론(Wiederkehreinwand)이다.

볼츠만의 답은 “맞다, 그리고 그래서?”였다. 문제는 시간 규모다. 어림해 보자. 계가 $6N$ 차원 위상공간에서 각 좌표를 상대 정밀도 $\epsilon$ 안으로 되찾아오려면 접근 가능한 부피의 대략 $\epsilon^{6N}$ 짜리 표적을 맞혀야 하므로, 재귀 시간은

T_{\rm rec} \sim \tau_0\,\epsilon^{-6N} \sim \tau_0\, e^{cN}

규모가 된다. 공기 $1\ \mathrm{cm^3}$ 이면 $N\approx2.7\times10^{19}$ 이니 지수가 $10^{19}$ 급이고, 결국 $T_{\rm rec}\sim10^{10^{18}\sim10^{19}}$ 이다. 여기서 단위는 아무 의미가 없다. 초로 세든 년으로 세든 우주 나이( $\sim10^{10}$ 년)로 세든 지수의 지수 자리에서는 아무 차이가 없다. 재귀 정리는 참이지만 물리적으로 아무것도 말해 주지 않는다.¹

체르멜로와의 논쟁이 남긴 진짜 교훈은 방법론적이다. 어떤 진술이 참이라는 것과 그것이 유용하다는 것은 다른 문제다. 통계역학은 이 논쟁을 거치며 “불가능”과 “확률이 $e^{-10^{19}}$ ” 을 실용적으로 같게 취급하는 태도를 굳혔고, 그것이 이 분야의 성격 자체가 되었다.

5. 두 엔트로피와 조밀화[편집]

미세 입자 깁스 엔트로피가 상수라면 증가하는 것은 무엇인가. 두 가지 답이 있고, 둘 다 “손으로 무언가를 넣는다”.

조밀화된 깁스 엔트로피. 위상공간을 유한한 칸으로 나누고 각 칸 안에서 $\rho$ 를 평균해 $\bar\rho$ 를 만든 뒤 $S = -k_B\int\bar\rho\ln\bar\rho$ 를 쓴다. 리우빌 흐름은 $\rho$ 를 보존하지만 모양을 무한히 가늘게 늘여 놓는다 — 초기의 매끈한 방울이 위상공간 전체에 실타래처럼 퍼진다(혼합, mixing). 부피는 그대로지만 어떤 유한한 칸에서 보면 방울이 칸을 골고루 채운 것과 구별할 수 없어지고, 그 순간 조밀화된 엔트로피가 올라간다. 요점은 어느 규모에서 포기하는지를 사람이 정한다는 것이고, 그래서 이 정의는 관측자의 분해능을 이론에 밀어 넣은 것이라는 비판을 늘 받는다.

볼츠만 엔트로피. 다른 길은 미시상태 대신 거시상태를 세는 것이다. $S_B = k_B\ln W$ 에서 $W$ 는 그 거시상태에 대응하는 위상공간 부피다. 여기서 결정적인 사실은 거시상태들의 부피가 터무니없이 불균등하다는 것이다. 기체 $N$ 개가 방의 절반에 몰린 상태와 고르게 퍼진 상태의 부피비는 $2^{-N}$ , $N=10^{19}$ 면 논의할 가치가 없다. 그래서 임의의 비평형 상태에서 출발한 계는 더 큰 거시상태로 흘러갈 수밖에 없다 — 목적이 있어서가 아니라 나머지 방향의 표적이 너무 작아서다. 최대 엔트로피 원리와 미시정준 앙상블의 논리가 정확히 이것이다.

그런데 이 논증은 시간 방향에 대해 완벽하게 대칭이라는 점을 놓치면 안 된다. “지금 비평형이니 미래에 엔트로피가 커질 것”이라는 논증은 똑같은 힘으로 “과거에도 엔트로피가 컸을 것”을 말한다. 여기서 마지막 조각이 필요해진다.

6. 과거 가설[편집]

볼츠만 엔트로피 논증만으로는 시간의 화살이 안 나온다. 그래서 실제 우주에서 제2법칙이 성립하려면 별도의 입력이 필요하다.

과거 가설: 우주의 초기 상태는 극도로 낮은 엔트로피였다.

이것은 역학에서 유도되는 명제가 아니라 경계조건이다. 그리고 상당히 이상한 경계조건이다 — 물질 분포는 초기 우주에서 거의 완벽하게 균일했는데, 중력이 지배하는 계에서는 균일한 분포가 오히려 낮은 엔트로피 상태라는 점이 핵심이다. 펜로즈는 실제 초기 상태와 무작위 상태의 위상공간 부피비를 블랙홀 엔트로피로 어림해 $10^{10^{123}}$ 급 특별함이라는 유명한 숫자를 내놓았다. 자릿수를 어떻게 잡든 결론은 같다 — 우리가 매일 경험하는 시간의 화살은 138억 년 전 초기조건이 남긴 잔류물이다.

이 구도를 받아들이면 로슈미트 역설의 전체 그림이 완성된다.

미시 역학은 시간에 대해 대칭이다. 여기엔 화살이 없다.
거시상태 부피의 불균등함은 화살이 아니라 양방향 경사를 준다.
실제 화살은 한쪽 끝이 낮게 고정된 경계조건에서 나온다.
볼츠만 방정식의 분자 카오스 가정은 그 경계조건이 만든 사실(과거로부터 온 계는 상관을 아직 축적하지 않았다)을 방정식 안에 요약해 넣은 장치다.

7. 속도를 뒤집어 보는 수치실험[편집]

이 역설의 좋은 점은 컴퓨터에서 실제로 실행해 볼 수 있다는 것이다. 순수한 철학 문제로 남지 않고 분자동역학 코드 열 줄로 실험이 된다. 절차는 단순하다 — 비평형 상태에서 $n$ 스텝 전진, 모든 속도에 $-1$ 을 곱하고, 다시 $n$ 스텝 전진. 초기 상태로 돌아오는가?

1967년 오르반과 벨레망이 강체 원판 계에서 처음 해 봤다. 결과는 볼츠만의 손을 들어 줬다. $H$ 는 감소하다가, 반전 직후부터 원래 값까지 정확히 되올라가고, 그 지점을 지나면 다시 감소한다. 즉 반전된 상태에서 H 정리가 성립하지 않는다는 것이 눈으로 확인됐고, 동시에 그런 상태를 만들려면 모든 좌표를 손으로 뒤집는 초자연적 개입이 필요하다는 것도 확인됐다.

여기서 훨씬 실용적인 두 번째 사실이 나온다. 부동소수점으로는 오래 못 되돌린다.

베를레 적분이나 심플렉틱 적분기류는 사상으로서 정확히 시간 가역이다. 알고리즘에 비가역성이 없다.
그런데 계가 카오스적이라 위상공간에서 두 궤적의 거리가 랴푸노프 지수 $\lambda$ 로 $e^{\lambda t}$ 만큼 벌어진다.
반올림 오차 $\varepsilon$ 는 한 스텝마다 새로 들어오고, 그것이 $O(1)$ 로 커지는 시간이

t_{\rm rev} \sim \frac{1}{\lambda}\ln\frac{1}{\varepsilon}

배정도( $\varepsilon\approx10^{-16}$ )에서 $\ln(1/\varepsilon)\approx37$ 이므로 가역 구간은 랴푸노프 시간의 37배 정도밖에 안 된다. 액체 상태 레너드-존스 계라면 $\lambda^{-1}$ 가 피코초 규모이니, 되돌릴 수 있는 시간은 수십 피코초에 그친다. 그 뒤에는 되돌린 궤적이 원래 궤적과 완전히 다른 곳으로 가면서, 곧바로 정상적인 엔트로피 증가로 복귀한다. 나비 효과가 시간의 화살을 대신 만들어 주는 셈이다.

르베크와 베를레(1993)가 이 점을 깔끔하게 분리해 보였다. 정수 산술로 비트 단위 가역 적분기를 만들면 원리적으로 무한히 되돌릴 수 있다 — 즉 되돌리지 못하는 원인은 역학도 알고리즘도 아니라 부동소수점 연산의 정보 손실이다. 카오스는 그 손실을 증폭하는 장치일 뿐이다.

MD 실무에서 이것은 그냥 표준 검증 루틴이다. 전진–반전–전진 시험을 짧게 돌려 초기 상태 복원 오차가 반올림 규모에 머무는지 보는 것으로, 적분기 구현의 대칭성 버그를 잡아낸다. 오차가 예상보다 빨리 자라면 힘 계산의 컷오프 처리나 이웃 목록 갱신, 열욕 구현 중 하나가 시간 대칭을 깨고 있다는 신호다.²

칵 링 모형은 이 역설의 전부를 손으로 계산할 수 있게 만든 장난감이다. 고리 위 $N$ 칸에 흑백 공을 놓고, 매 스텝 모두 한 칸씩 이동시키되 표시된 칸을 지나는 공은 색을 뒤집는다. 이 규칙은 완전히 결정론적이고 가역이며 주기 $2N$ 으로 재귀한다. 그런데 “각 공의 색이 표시 여부와 무상관”이라는 분자 카오스 짝퉁 가정을 넣으면 색 불균형이 지수적으로 감쇠하는 H 정리가 그대로 유도된다. 가역성·재귀·H 정리가 한 모형 안에 모순 없이 공존하는 것을 몇 줄 코드로 확인할 수 있어서, 이 주제의 표준 실습 과제다.

8. 현대적 정리 — 요동 정리[편집]

1990년대 이후 이 역설은 정성적 해설에서 정량적 등식으로 바뀌었다. 에번스·시얼스(1993), 갈라보티·코언(1995), 야르진스키(1997), 크룩스(1999)로 이어지는 요동 정리 계열이다. 형태는 여럿이지만 뼈대는 하나다.

\frac{P(\Delta S = +A)}{P(\Delta S = -A)} = e^{A/k_B}

엔트로피를 감소시키는 궤적은 금지되지 않는다. 정확히 $e^{-\Delta S/k_B}$ 배 드물 뿐이다. 로슈미트가 지적한 역방향 궤적은 실제로 존재하며, 요동 정리는 그것의 확률을 닫힌 형태로 준다. 역설이 등식으로 승격된 것이다.

읽어야 할 두 가지.

제2법칙이 부등식에서 확률 진술로 정밀화된다. $\langle\Delta S\rangle\ge0$ 은 위 등식과 젠센 부등식에서 바로 따라 나오는 따름정리다. 부등식이 근본이 아니라 등식이 근본이다.
작은 계에서는 실측된다. 계가 작고 시간이 짧아 $\Delta S\sim k_B$ 이면 역방향 사건이 실제로 관측 가능한 빈도로 일어난다. 2002년 광집게로 콜로이드 구슬을 물속에서 끌면서 “엔트로피가 감소하는” 궤적의 빈도를 세어 정리를 검증한 실험이 대표적이다. $\Delta S \gg k_B$ 인 거시계에서는 $e^{-\Delta S/k_B}$ 가 즉시 관측 불가능해지고, 우리가 제2법칙을 절대 법칙처럼 경험하는 이유가 정확히 그 지수함수다.

양자 쪽에는 로슈미트 에코라는 짝이 있다. 정확한 해밀토니안 $H$ 로 전진한 뒤 살짝 다른 $H'$ 로 되돌렸을 때의 겹침 $|\langle\psi|e^{iH't}e^{-iHt}|\psi\rangle|^2$ 로, 카오스적인 계에서 그 감쇠율이 고전 랴푸노프 지수와 연결된다. 실험적으로는 NMR 의 스핀 에코와 매직 에코가 부분적인 속도 반전을 실제로 구현한 사례로 자주 인용된다. 로슈미트가 사고실험으로 요구한 초자연적 개입을, 스핀 자유도에 한정해서라면 펄스 시퀀스로 할 수 있다.³

9. 여담[편집]

로슈미트는 이 역설로만 알려진 사람이 아니다. 1865년 기체 물성에서 분자 지름과 수밀도를 처음으로 추정한 사람이고(로슈미트 상수가 그의 이름이다), 기체운동론의 초기 공헌자다. 즉 운동론의 팬이 운동론의 급소를 지적한 것이며, 볼츠만과 개인적으로도 가까운 동료였다. 이 논쟁은 적대적 논쟁이 아니라 같은 편의 정직한 상호 검증이었다.
볼츠만이 로슈미트에게 했다고 전해지는 대답이 “그럼 한번 뒤집어 보시죠”였다. 실제 발언인지는 확실하지 않지만, 백 년 뒤 분자동역학 코드로 실제로 뒤집어 본 사람들이 나왔고 결론적으로 볼츠만이 옳았으니 완벽한 대사가 되었다.
실무 CFD·MD 엔지니어에게 이 역설이 주는 교훈은 의외로 실용적이다. 수치적 산일과 물리적 비가역성을 구별해야 한다. 상류차분의 수치 점성으로 얻은 매끄러운 해는 물리가 준 비가역성이 아니고, 반대로 완벽히 가역인 심플렉틱 적분기에서 엔트로피가 오르는 것은 버그가 아니다. 둘을 구별하지 못하면 격자를 조밀화하면서 “왜 결과가 더 나빠지느냐”고 묻게 된다.
이 문제에 대한 가장 정직한 요약은 아마 이것이다. 비가역성은 방정식에 없다. 초기조건과 우리가 무엇을 무시하기로 했는지에 있다. 시뮬레이션을 짜는 사람에게 이 문장은 철학이 아니라 명세서다.

10. 관련 문서[편집]

기체운동론 · 볼츠만 방정식 · 맥스웰-볼츠만 분포 · 에르고딕 가설
리우빌 정리 · 해밀토니안 역학 · 미시정준 앙상블 · 최대 엔트로피 원리
분자동역학 · 베를레 적분 · 심플렉틱 적분기 · 부동소수점 연산
카오스 이론 · 랴푸노프 지수 · 나비 효과 · 푸앵카레 단면
열역학 제2법칙 · H 정리 · 푸앵카레 재귀 · 시간의 화살
브라운 운동 · 몬테카를로 방법 · 통계

이런 수를 만나면 “얼마나 큰지” 감을 잡으려는 시도 자체를 포기하는 것이 옳다. $10^{10^{19}}$ 을 십진수로 적으려면 자릿수만 $10^{19}$ 개 필요하고, 우주에 있는 원자 수( $\sim10^{80}$ )로도 이 수를 적는 데 필요한 잉크를 세는 것이 무의미하지 않을 뿐 여전히 아득하다. 물리학에서 “원리적으로 가능”과 “일어나지 않는다”가 실무적으로 같아지는 경계선을 이 각주가 대표한다. ↩
이 시험을 진지하게 돌려 보면 대개 이웃 목록(neighbor list) 갱신이 첫 번째 용의자로 나온다. 컷오프 근처의 입자가 목록에 들어왔다 나가는 순간 힘이 미세하게 점프하고, 그 점프는 전진과 후진에서 같은 자리에 오지 않는다. 그래서 스킨 두께를 넉넉히 주고 컷오프를 부드럽게 처리하는 것이 단순한 정확도 문제가 아니라 대칭성 문제이기도 하다. ↩
NMR 에코 실험이 로슈미트가 상상한 “속도 반전”에 가장 가까이 간 실물인데, 정작 완벽하게는 안 된다. 되돌리지 못하고 남는 부분이 스핀 사이의 다체 상관으로 흘러 나가기 때문이며, 이 잔여물을 얼마나 회수할 수 있는지를 재는 것이 다체 국소화 연구의 실험 도구가 되었다. 반론 하나가 백오십 년 뒤에 측정 장비가 된 셈이다. ↩