시간의 화살

물리 계산물리 통계 마지막 수정: 2026-09-05 04:12:41

1. 개요[편집]

시간의 화살 Arrow of Time
명명	아서 에딩턴, 1928 (The Nature of the Physical World)
문제	시간 대칭인 미시 법칙에서 방향을 가진 거시 현상이 나오는 이유
주요 화살	열역학적 · 우주론적 · 전자기(방사) · 인과적 · 심리적 · 양자
미시 예외	약한 상호작용의 CP 위반 — 크기가 무관할 만큼 작다
표준적 설명	동역학이 아니라 경계조건 — 과거 가설
수치해석 대응	후향 열방정식의 비적정성 · 도식의 수치소산 · 반올림 × 카오스

컵은 깨지고 잉크는 퍼지고 사람은 늙는다. 그런데 그 모든 것을 지배한다는 방정식들에는 어느 쪽이 앞인지 적혀 있지 않다.

시간의 화살(arrow of time)은 미시 물리 법칙이 시간 반전에 대해 사실상 대칭인데도 거시 세계의 거의 모든 현상이 한 방향으로만 진행하는 비대칭, 그리고 그 비대칭의 근거를 묻는 문제다. 1928년 아서 에딩턴이 붙인 이름이며, 그가 든 근거는 지금도 유효하다 — 엔트로피만이 방정식 없이도 방향을 알려 준다.

이 문서는 화살을 종류별로 나열하고 서로 환원되는지를 따지는 것을 중심에 둔다. 미시 가역성에서 비가역성이 나오는 논증 자체(분자 카오스 가정이 어디서 시간 방향을 심는지, 푸앵카레 재귀 시간이 왜 무의미한지, 조대 알갱이화가 무엇을 손으로 넣는지)는 로슈미트 역설과 H 정리가 이미 전담하므로 여기서는 결론만 쓰고 넘긴다. 대신 여기서만 다루는 것이 셋이다 — 전자기 화살과 심리적 화살, 과거 가설이 왜 볼츠만의 요동 가설을 이기는가, 그리고 수치해석 코드 안에서 시간의 화살이 실제로 어느 줄에 들어 있는가.

2. 미시 법칙은 정말 대칭인가[편집]

먼저 전제를 검사한다. “모든 미시 법칙이 시간 대칭”이라는 문장은 엄밀히는 거짓이다.

고전역학·전자기학·일반 상대성이론 — $t\to-t$ 아래 불변이다. 해밀토니안 역학은 $(\mathbf q,\mathbf p)\to(\mathbf q,-\mathbf p)$ 를, 맥스웰 방정식은 추가로 $\mathbf B\to-\mathbf B$ 를 같이 뒤집으면 된다.
양자역학의 유니터리 전개 — 슈뢰딩거 방정식은 반유니터리 시간반전 연산자 아래 불변이다. 측정(사영)만이 비대칭인데, 그 지위 자체가 해석 문제다.
약한 상호작용 — 여기서 깨진다. 1964년 크로닌과 피치가 중성 케이온 붕괴에서 CP 위반을 관측했고, CPT 정리가 성립하는 한 CP 위반은 곧 T 위반이다. 간접 논증이 아니라 직접 측정도 있다. CPLEAR(1998)가 케이온계에서, BaBar(2012)가 B 중간자계에서 정방향·역방향 전이율의 차이를 직접 쟀다.

즉 자연에는 진짜 미시 시간 비대칭이 존재한다. 그런데 이것으로 커피가 식는 것을 설명하려는 시도는 전부 실패했다. 효과의 크기가 케이온 붕괴 진폭의 $10^{-3}$ 급이고, 열역학적 비가역성이 등장하는 계(공기, 물, 강철)에는 약한 상호작용이 사실상 관여하지 않는다. 화살은 있는데 화살촉이 엉뚱한 곳을 가리키고 있고 힘도 없다. 그래서 표준적 논의는 미시 법칙을 실용적으로 시간 대칭이라 놓고 시작한다.¹

3. 화살의 목록[편집]

에딩턴 이후 축적된 목록은 대략 이렇다. 오른쪽 열이 이 표의 핵심이다.

화살	관측 사실	무엇으로 환원되는가
열역학적	고립계 엔트로피 증가	과거 가설 + 거시상태 부피의 불균등
우주론적	우주가 팽창한다	독립 — 수축해도 열역학적 화살은 안 뒤집힌다는 것이 정설
전자기(방사)	지연 퍼텐셜만 쓴다	유입 복사가 없다는 경계조건
인과적	원인이 결과보다 앞선다	기록·개입 개념을 통해 열역학적 화살로
심리적	과거만 기억한다	기억 형성이 엔트로피 증가 과정
양자(측정)	결어긋남은 되돌지 않는다	환경 자유도로의 확산 = 열역학적
약상호작용	CP 위반	환원 안 됨. 대신 다른 화살들과 무관

읽는 법은 이렇다. 독립적으로 보이는 화살이 여섯 개인데, 진지한 후보는 사실상 하나다. 전자기·심리·양자·인과 화살은 모두 열역학적 화살에 기대고, 열역학적 화살은 동역학이 아니라 우주의 초기조건에 기댄다. 우주론적 화살만 지위가 애매한데, 골드(1962)가 “팽창이 열역학적 화살의 원인이고 수축기에는 뒤집힐 것”이라고 주장한 이후 대부분 반박됐다 — 수축은 오히려 중력 뭉침을 통해 엔트로피를 더 키운다.

4. 전자기 화살 — 지연 퍼텐셜을 고르는 문제[편집]

맥스웰 방정식의 비제차 파동방정식은 두 개의 그린 함수를 갖는다.

\phi_{\rm ret}(\mathbf r,t)=\int\frac{\rho(\mathbf r',\,t-|\mathbf r-\mathbf r'|/c)}{|\mathbf r-\mathbf r'|}d^3r', \qquad \phi_{\rm adv}=\int\frac{\rho(\mathbf r',\,t+|\mathbf r-\mathbf r'|/c)}{|\mathbf r-\mathbf r'|}d^3r'

둘 다 방정식의 정당한 해다. 지연 퍼텐셜은 과거의 전하가 지금의 장을 만든다고 말하고, 앞선 퍼텐셜(advanced potential)은 미래의 전하가 지금의 장을 만든다고 말한다. 안테나에 전류를 흘리면 바깥으로 나가는 구면파가 생기지 앞선 해가 요구하는 “안으로 모여드는 구면파”는 생기지 않는데, 방정식은 그 선택을 해 주지 않는다.

선택을 하는 것은 경계조건이다. 무한 원방에서 유입 자유 복사가 없다는 조건(조머펠트 방사조건)을 걸면 지연 해만 남는다. 그런데 왜 우주는 그 조건을 만족하는가? 휠러와 파인만(1945)은 절반 지연 + 절반 앞선 대칭 이론을 세우고, 우주가 완전 흡수체라는 가정에서 흡수체의 응답이 앞선 부분을 정확히 상쇄해 순수 지연 해와 복사 반작용이 나온다는 것을 보였다. 우아하지만 이 이론도 결국 “우주가 미래 방향으로 불투명하다”는 우주론적 비대칭을 입력으로 요구한다. 현대의 대체적 합의는 간명하다 — 방사 화살은 독립된 화살이 아니라 초기조건에 대한 진술이다.²

이 문제가 수치해석과 직접 닿는 자리가 있다. FDTD나 시간영역 유한요소로 열린 영역의 전파를 풀 때 격자는 유한하므로 경계에서 반사가 생기고, 그것을 죽이려고 완전정합층을 붙인다. PML 이 하는 일이 정확히 “유입 복사 없음”을 이산 수준에서 강제하는 것이다. 그래서 PML 은 시간 방향에 대해 비대칭인 장치이며, 같은 시뮬레이션을 시간 거꾸로 돌리면 흡수층이 증폭층이 되어 즉시 발산한다. 파동 자체는 가역인데 경계조건이 화살을 쥐고 있다 — 물리에서 벌어지는 일이 코드에서 한 치도 다르지 않게 재현된다.

5. 심리적 화살 — 기억은 왜 한쪽만 향하는가[편집]

“우리가 과거를 기억하고 미래를 기억하지 못한다”는 사실은 심리학이 아니라 물리학 명제다. 기억은 기록(record)이고, 기록은 물리적 상태다.

핵심 논증은 이렇다. 어떤 장치가 시각 $t_1$ 의 사건에 대한 신뢰할 만한 기록을 $t_2>t_1$ 에 갖고 있으려면, 그 장치는 $t_1$ 이전에 준비된 저엔트로피 상태(빈 노트, 지워진 메모리, 미노출 필름)에 있어야 한다. 기록이 생기는 과정은 그 준비된 상태가 사건과 상관되는 과정이고, 그 상관을 만드는 데 드는 대가는 전체 엔트로피의 증가다. 미래에 대한 기록을 만들려면 지금 미래와 상관된 저엔트로피 상태를 준비해야 하는데, 그런 상태를 준비하는 물리적 절차가 없다. 결국 기억의 방향은 저엔트로피 준비 상태를 만들 수 있는 방향으로 정해지고, 그 방향은 열역학적 화살이 정한다.

여기서 계산기 쪽 결론 하나가 따라 나온다. 란다우어 원리에 따라 1비트를 지우는 데 $k_BT\ln 2$ 의 일이 들고 그만큼 열이 나온다. 기억을 만드는 일이 아니라 기억할 자리를 비우는 일이 비가역이다. 이 구조가 맥스웰의 도깨비가 실패하는 이유와 완전히 같다는 점이 이 주제의 매력이다 — 도깨비도, 사람의 뇌도, 로그 파일도 전부 유한한 메모리를 가진 기록 장치이고, 유한한 메모리는 언젠가 비워져야 한다.

6. 과거 가설 — 그리고 볼츠만의 요동 가설이 왜 졌는가[편집]

거시상태 부피의 불균등만으로는 화살이 안 나온다. 그 논증은 시간 방향에 대해 완벽히 대칭이라 “미래에 엔트로피가 크다”와 똑같은 힘으로 “과거에도 엔트로피가 컸다”를 결론짓기 때문이다. 이 대칭을 깨는 별도의 입력이 과거 가설(past hypothesis)이다.

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

이것은 정리가 아니라 경계조건이고, 얼마나 특별한 조건인지에 대한 추정(펜로즈의 $10^{10^{123}}$ )까지 포함해 로슈미트 역설이 이미 다룬다. 여기서 볼 것은 경쟁 가설이 왜 밀려났는가다.

볼츠만은 1895년 Nature 지면에서 대안을 띄웠다. 우주 전체는 이미 평형 상태이고, 우리가 사는 영역은 우연한 거대 요동(fluctuation)의 회복 구간에 불과하다는 것. 요동 정리가 말하듯 확률은 $e^{-\Delta S/k_B}$ 지만 시간이 무한하면 언젠가 일어나고, 그런 요동 안에서만 관측자가 존재할 수 있으니 우리가 여기 있는 것도 이상하지 않다는 인류원리식 논법이다.

이 가설은 자기 자신에게 진다. 요동의 확률이 $e^{-\Delta S/k_B}$ 라면, 더 작은 요동이 압도적으로 더 흔하다. 138억 년 저엔트로피 우주 전체를 만드는 요동보다, 지금 이 순간 이 글을 읽고 있다는 가짜 기억을 가진 뇌 하나만 평형에서 튀어나오는 요동이 상상할 수 없이 더 흔하다. 그렇다면 전형적인 관측자는 우주가 아니라 즉석에서 조립된 뇌여야 하고, 그 뇌의 기억과 관측 기록은 전부 신뢰할 수 없다. 관측 증거를 무효로 만드는 가설은 자신의 근거도 무효로 만든다. 이것이 현대 우주론에서 볼츠만 두뇌(Boltzmann brain) 문제라 불리는 논증이고, 요동 가설의 사망 원인이다. 남은 것은 초기조건을 통째로 가정하는 과거 가설뿐이며, 그것이 왜 그랬는지는 우주 마이크로파 배경과 초기 우주 이론이 여전히 씨름하는 문제다.³

7. 코드 안의 시간의 화살[편집]

이제 실무다. 시뮬레이션 코드에서 “되돌리면 안 돌아온다”는 현상은 원인이 세 층으로 완전히 다르고, 셋을 구별하지 못하면 디버깅이 미궁으로 간다.

1층 — 방정식 자체가 비가역이다. 열방정식의 푸리에 모드는 $\hat u_k(t)=\hat u_k(0)e^{-\nu k^2 t}$ 로 감쇠한다. 시간을 뒤집으면 지수가 $+\nu k^2 t$ 가 되어 파수가 큰 모드가 무한히 빠르게 폭발한다. 후향 열방정식은 아다마르 의미에서 비적정(ill-posed) 문제다 — 해가 존재하지 않거나, 존재해도 초기값에 연속적으로 의존하지 않는다. 여기서 되돌리지 못하는 것은 반올림 탓도 도식 탓도 아니고 연산자의 성질이다. 실제로 되돌리려면 문제를 바꿔야 한다. 고주파를 잘라내거나 페널티를 걸어 정칙화하는 것이 역문제의 표준 처방이고, 얻는 것은 원래 해가 아니라 “매끄러움 제약 아래 가장 그럴듯한 해”다.

2층 — 도식이 비가역을 집어넣었다. 비점성 오일러 방정식은 충격파가 생기기 전까지 시간 가역인데, 1차 상류차분으로 이류항을 이산화하는 순간 수정 방정식에 $\tfrac12 u\,\Delta x\,(1-\mathrm{CFL})\,\partial_{xx}u$ 급의 수치 점성이 붙는다. 이 항은 물리에 없고 격자가 만든 것이며, 격자를 조밀화하면 사라진다. 반대로 충격파가 이미 생긴 뒤의 비가역성은 진짜다 — 정확해 수준에서 정보가 소실되며, 어느 약해가 물리적인지 고르는 것이 엔트로피 조건이다. 격자를 조밀화해서 없어지는 비가역성과 안 없어지는 비가역성을 구별하는 것이 검증 및 확인의 기본기이고, 이 구별을 못 하면 “격자를 촘촘히 했더니 결과가 더 나빠졌다”는 보고서가 나온다.

3층 — 방정식도 도식도 가역인데 부동소수점이 못 따라간다. 베를레 적분이나 심플렉틱 적분기는 사상으로서 정확히 시간 가역이다. 그런데 계가 카오스적이면 반올림 오차 $\varepsilon$ 가 랴푸노프 지수 $\lambda$ 로 증폭되어

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

이후로는 되돌린 궤적이 원래 궤적과 무관해진다. 배정도면 $\ln(1/\varepsilon)\approx 37$ 이니 가역 구간은 랴푸노프 시간의 수십 배에 그친다. 원인이 알고리즘이 아니라 부동소수점 연산의 정보 손실이라는 것은 정수 산술 비트 가역 적분기가 무한히 되돌아간다는 사실로 확인된다. 이 층의 세부(오르반-벨레망 실험, 르베크-베를레의 분리, 칵 링 모형)는 로슈미트 역설이 전담한다.

8. 뒤로 도는 계산을 실제로 하는 법[편집]

세 층을 구별하면 일부러 시간을 거꾸로 도는 계산이 어디서 되고 어디서 안 되는지가 바로 나온다. 그리고 그런 계산은 놀랍게도 아주 흔하다.

수반법 — 목적함수의 민감도를 구하려면 수반 방정식을 시간 역방향으로 적분해야 한다. 순방향이 소산적이었다면 수반 문제는 역방향으로 소산적이라 잘 정의되지만, 순방향 상태 $u(t)$ 를 전부 알고 있어야 한다는 요구가 남는다.
체크포인팅 — 그 요구를 메모리 예산 안에 밀어 넣는 기법. 모든 시간층을 저장하는 대신 듬성듬성 저장하고 필요한 구간만 재계산한다. 이항 체크포인팅(Griewank-Walther)은 저장 개수 $c$ 와 스텝 수 $n$ 에 대해 재계산 횟수를 최적으로 배분하며, 비용이 $O(n\log n)$ 급으로 억제된다. 저장할 것인가 다시 계산할 것인가는 결국 “이 방정식이 되돌아가는가”에 대한 대답이다.
역시간 이동과 완전파형역산 — 지진 탐사에서 수신 파형을 시간 역순으로 다시 쏘아 지하 구조를 그린다. 이게 되는 이유는 파동방정식이 진짜로 시간 가역이기 때문이다. 감쇠를 넣는 순간(점탄성 매질) 역전파가 고주파를 증폭시켜 1층 문제로 바뀌고, 그래서 실무 코드는 감쇠 보상을 반드시 정칙화와 함께 건다.
비가역 압축 대신 재계산 — 난류 분자동역학이나 카오스 계의 수반 문제는 3층 벽에 걸린다. 랴푸노프 시간보다 긴 구간의 민감도는 발산하고, 그래서 최소제곱 그림자 궤적(LSS) 같은 우회 기법이 따로 필요하다. 카오스 계에서 긴 시간 수반 민감도가 안 나오는 것은 구현 버그가 아니라 물리다.

정리하면 “이 계산은 되돌릴 수 있는가”라는 질문은 언제나 세 갈래로 나뉜다 — 연산자가 허락하는가, 도식이 소산을 넣었는가, 유효숫자가 버티는가. 시간의 화살에 대한 백오십 년짜리 철학 논쟁이 남긴 가장 실용적인 유산이 이 체크리스트다.

9. 여담[편집]

에딩턴의 원문에서 시간의 화살은 세 가지 특징으로 정의된다. 의식이 직접 인지한다는 것, 추론하는 이성이 그것을 뒤집으면 세계가 말이 안 된다고 판정한다는 것, 그리고 개별 입자의 물리학에는 그것이 나타나지 않는다는 것. 백 년이 지나 세 번째만 남기고 앞의 둘은 전부 두 번째 항목(=열역학) 아래로 흡수됐다.
게임 엔진에서 “리플레이”를 구현할 때 개발자들이 결국 도달하는 결론이 이 문서의 축약판이다. 물리 상태를 되감기로 재현하려는 시도는 부동소수점과 처리 순서 때문에 거의 항상 실패하고, 실무 해법은 입력을 기록해 앞으로 다시 돌리거나 상태 스냅숏을 저장하는 것이다. 즉 화살을 이기려 하지 않고 체크포인팅으로 우회한다. 수반법 구현자와 리플레이 구현자가 같은 표를 그린다는 사실이 꽤 재미있다.
이 주제에서 가장 자주 나오는 오해는 “시간의 화살은 아직 안 풀린 미해결 문제”라는 요약이다. 절반만 맞다. 미시 가역성에서 거시 비가역성이 나오는 메커니즘은 잘 이해되어 있다. 열려 있는 것은 그다음 질문 — 왜 우주의 초기조건이 하필 그렇게 특별했는가이며, 그건 통계역학이 아니라 우주론의 청구서다.

10. 관련 문서[편집]

로슈미트 역설 · H 정리 · 엔트로피 · 열역학 제2법칙
맥스웰의 도깨비 · 카르노 사이클 · 엑서지
기체운동론 · 볼츠만 방정식 · 리우빌 정리 · 에르고딕 가설 · 요동 정리
카오스 이론 · 랴푸노프 지수 · 나비 효과 · 부동소수점 연산
심플렉틱 적분기 · 베를레 적분 · 분자동역학
수반법 · 역시간 이동 · 완전파형역산 · 역문제 · 체크포인팅
열방정식 · 엔트로피 조건 · 수치분산 · 검증 및 확인
맥스웰 방정식 · FDTD · 완전정합층 · 파동방정식
우주 마이크로파 배경 · 수치 상대론 · 은하 형성

CP 위반으로 열역학적 화살을 설명하려는 시도가 아예 없었던 것은 아니다. 다만 방향이 반대다 — 현대 우주론에서 CP 위반이 진지하게 쓰이는 자리는 엔트로피가 아니라 바리온 비대칭(왜 물질만 남고 반물질은 없는가)이고, 사하로프 조건 세 가지 중 하나가 바로 이것이다. 같은 미시 비대칭이 “커피가 왜 식는가”에는 무력하고 “우주에 왜 물질이 있는가”에는 필수라는 대비가, 화살 논의에서 크기(scale)를 따지는 일이 얼마나 중요한지를 보여 준다. ↩
휠러-파인만 흡수체 이론은 이후 파인만 본인이 사실상 접었지만, 부산물 하나가 살아남아 훨씬 유명해졌다. 앞선 해를 진지하게 다루는 습관이 양전자를 시간 역방향으로 가는 전자로 보는 그림으로 이어졌고, 그것이 파인만 도형의 해석적 골격이 됐다. 시간의 화살을 의심한 대가로 입자물리 계산법을 하나 얻은 셈이다. ↩
볼츠만 두뇌 논증은 철학적 유희처럼 들리지만 실전 판정 도구로 쓰인다. 어떤 우주론 모형이 “장기적으로 드 지터 평형에 정착한다”고 예측하면, 그 모형은 무한한 미래에 볼츠만 두뇌를 정상 관측자보다 무한히 많이 만들어 내고, 그러면 그 모형은 우리의 관측을 전형적인 것으로 설명하지 못한다. 실제로 이 기준 때문에 폐기되거나 수정된 우주론 시나리오가 여럿 있다. 사고실험 하나가 모형 선택 기준이 된 드문 사례다. ↩