맥스웰의 도깨비

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

1. 개요[편집]

맥스웰의 도깨비 Maxwell's Demon
제안	James Clerk Maxwell, 1867년 테이트에게 보낸 편지 · Theory of Heat(1871)에 수록
주장	일 없이 온도차를 만들어 제2법칙을 위반
단순화	실라르드 엔진(1929) — 분자 1개, 1주기당 $k_BT\ln 2$
해소	란다우어(1961) + 베넷(1982): 비용은 측정이 아니라 기억 소거
현대적 정식화	사가와-우에다 등식 — 제2법칙에 상호정보량 항이 붙는다
실험 검증	콜로이드 광집게(2010·2012) · 단전자 상자(2014~)

도깨비는 제2법칙을 깨지 못했다. 대신 정보에 가격표를 붙이고 갔다.

맥스웰의 도깨비(Maxwell’s demon)는 분자 하나하나를 식별할 수 있는 존재가 칸막이의 문을 여닫는 것만으로 일 없이 온도차를 만들어 낼 수 있는가를 묻는 사고실험이며, 그 답을 찾는 과정에서 정보 처리가 열역학적 비용을 가진다는 사실이 확립된 물리학사의 대표적인 우회로다. 150년 넘게 살아남은 이유는 이것이 반례가 되어서가 아니라, 왜 반례가 아닌지를 설명하려면 새로운 물리를 하나 더 알아야 했기 때문이다.

이 문서는 도깨비 자체와 그 해소의 논리 구조, 그리고 그것이 오늘날 확률 열역학과 시뮬레이션 실무에 남긴 것을 다룬다. 제2법칙의 여러 진술과 그 등가성은 열역학 제2법칙이, 엔트로피라는 양 자체는 엔트로피가, 시간 방향이라는 더 큰 질문은 시간의 화살이 맡는다.

2. 1867년의 설정[편집]

맥스웰이 1867년 12월 테이트에게 보낸 편지에 처음 나오고, 1871년 저서 Theory of Heat에 정리되어 실렸다. 설정은 이렇다.

균일한 온도 $T$ 의 기체가 담긴 상자를 칸막이로 둘로 나누고, 칸막이에 마찰 없는 아주 작은 문을 단다. 문 옆에는 분자 하나하나의 속도를 볼 수 있는 존재가 앉아 있다. 이 존재는

왼쪽에서 오른쪽으로 오는 분자 중 빠른 것만 통과시키고,
오른쪽에서 왼쪽으로 오는 분자 중 느린 것만 통과시킨다.

문 여닫는 데 드는 일은 원리적으로 0으로 만들 수 있다. 그런데 시간이 지나면 오른쪽이 뜨거워지고 왼쪽이 차가워진다. 처음에 균일했던 계에 공짜로 온도차가 생겼고, 그 온도차를 카르노 사이클에 물리면 일이 나온다. 단일 온도의 계에서 일을 뽑았으므로 켈빈-플랑크 진술 위반이다.

맥스웰 본인의 의도는 영구기관 설계가 아니라 제2법칙의 지위를 밝히는 것이었다. 그의 결론은 “제2법칙은 분자를 개별적으로 다룰 수 없는 존재에게만 성립하는 통계적 진술”이라는 쪽이었고, 이 진단 자체는 지금 봐도 절반은 맞다.¹

3. 실라르드 엔진 — 분자 하나로 줄이기[편집]

레오 실라르드(1929)는 이 그림에서 군더더기를 전부 걷어내고 분자 1개짜리 기체로 줄였다. 이 단순화가 논의를 계산 가능한 것으로 바꿨다.

부피 $V$ 의 상자에 분자 하나. 온도 $T$ 의 열원과 접촉.
칸막이를 가운데에 넣는다(일 0).
분자가 어느 쪽에 있는지 측정한다. 결과는 1비트.
그 결과에 따라 칸막이를 피스톤 삼아 반대쪽으로 준정적 등온 팽창시킨다.
부피가 $V/2 \to V$ 로 돌아오며 뽑히는 일:

W = \int_{V/2}^{V} \frac{k_B T}{V'}\,dV' = k_B T \ln 2 \;\approx\; 2.87\times10^{-21}\ \mathrm{J}\quad(300\ \mathrm{K})

상자는 처음 상태로 완벽히 돌아왔다. 순환 완료.

한 주기에 정확히 $k_B T\ln 2$ 가 나오고 계는 원상복귀했다. 1비트의 정보가 $k_B T \ln 2$ 의 일과 교환된 것이며, 이 등가율은 이후 모든 논의의 기준 단위가 된다. 실라르드는 이 대가가 3단계의 측정에 있어야 한다고 논증했고, 브리유앵(1951)이 “측정하려면 광자를 하나 쏴야 하고 그 광자가 엔트로피를 만든다”는 노선으로 이어받았다.

이 진단은 틀렸다. 정확히 말하면 특정 측정 방식의 비용을 보편적 하한으로 오해한 것이다.

4. 비용은 측정이 아니라 소거에 있다[편집]

전환점은 롤프 란다우어(1961)다. 그가 물은 것은 측정이 아니라 계산이었다. 논리적으로 비가역인 연산 — 두 입력이 같은 출력으로 합쳐지는 연산 — 은 물리적 자유도를 줄이므로, 1비트를 지우려면 최소

W_{\rm erase} \ \ge\ k_B T \ln 2

의 일이 필요하고 같은 양의 열이 열원으로 빠져나간다. 이것이 **란다우어 원리**다. 반대로 논리적으로 가역인 연산(NOT, CNOT 등)은 원리적으로 소산 없이 수행할 수 있다는 것이 같은 논증의 뒷면이며, 이 관찰이 가역 컴퓨팅 연구 전체의 출발점이 되었다.

찰스 베넷(1982)이 이것을 도깨비에 꽂았다. 그의 논지는 두 문장이다.

측정은 원리적으로 공짜로 할 수 있다. 빈 메모리에 계의 상태를 복사하는 것은 논리적으로 가역이기 때문이다. 공짜가 아닌 것은 메모리를 비우는 일이다. 도깨비의 메모리는 유한하므로 순환을 완성하려면 반드시 지워야 하고, 그 순간 벌어들인 것을 정확히 토해낸다.

핵심은 “순환”이라는 단어다. 제2법칙 위반을 주장하려면 계와 도깨비가 모두 처음 상태로 돌아와야 한다. 기체만 원상복귀시키고 도깨비의 메모리에 $N$ 비트를 남겨 둔 채 “일을 뽑았다”고 말하는 것은, 쓰레기를 옆방에 쌓아 놓고 방이 깨끗해졌다고 말하는 것과 같다.

현대적 정리는 여기서 한 발 더 나간다. 비용을 측정에 물릴지 소거에 물릴지는 프로토콜이 정하는 문제이고, 둘의 합만이 불변량이다. 빈 메모리에서 시작하면 측정이 공짜이고 소거가 비싸며, 다른 배치에서는 반대가 된다. 사가와-우에다(2009)가 측정과 소거의 비용을 각각의 하한으로 분리해 쓰고, 그 합이 획득한 정보량으로 묶인다는 것을 보였다.

5. 정보가 붙은 제2법칙[편집]

2000년대 후반 확률 열역학이 도깨비를 사고실험에서 등식으로 옮겨 놓았다. 출발점은 자유에너지 차이와 일을 잇는 자쿠진스키 등식(1997)이다.

\left\langle e^{-\beta W} \right\rangle = e^{-\beta \Delta F}, \qquad \beta = 1/k_BT

젠센 부등식을 걸면 익숙한 $\langle W\rangle \ge \Delta F$ 가 나온다. 여기에 되먹임 제어를 넣으면 — 즉 도중에 계를 측정하고 그 결과에 따라 프로토콜을 바꾸면 — 이 등식이 깨진다. 사가와와 우에다(2010)가 보인 것은 깨지는 것이 아니라 항이 하나 붙는다는 것이었다.

\left\langle e^{-\beta (W - \Delta F) - I} \right\rangle = 1 \qquad\Longrightarrow\qquad \langle W \rangle \ \ge\ \Delta F - k_B T \langle I \rangle

여기서 $I$ 는 계의 상태와 측정 결과 사이의 **상호정보량**이다.

\langle I \rangle = \sum_{x,m} p(x,m)\,\ln\frac{p(x,m)}{p(x)\,p(m)}

읽는 법은 이렇다. 제2법칙은 여전히 부등식이고, 다만 얻은 정보만큼 하한이 내려간다. 되먹임으로 뽑을 수 있는 일의 최대치는 $\Delta F$ 가 아니라 $\Delta F - k_BT\langle I\rangle$ 이며, 실라르드 엔진은 이 부등식이 등호로 포화되는 특수한 경우다( $\langle I\rangle = \ln 2$ ).

이 구조가 좋은 이유는 검증 가능해서다. $\langle I\rangle$ 은 측정 장치의 통계에서 직접 계산되고, $W$ 는 실험에서 직접 재진다. 도깨비는 이제 “위반인가 아닌가”의 철학 문제가 아니라 두 수치가 부등식을 만족하는지 재는 실험이 되었다. 요동 정리 계열의 다른 등식들과 마찬가지로, 이 등식들은 평균이 아니라 분포 수준에서 성립한다는 점도 중요하다 — 개별 궤적에서는 $W < \Delta F - k_BT I$ 가 실제로 관측되고, 그 빈도가 지수적으로 억제될 뿐이다.

6. 도깨비를 진짜로 만든 실험들[편집]

연도	계	잰 것
2010	나선 계단 퍼텐셜 위의 콜로이드 입자 + 되먹임	정보 → 일 변환. 얻은 정보의 일부만 일로 회수
2012	광집게 이중 우물에 갇힌 콜로이드 입자	1비트 소거 시 방출 열이 $k_BT\ln2$ 를 아래로 못 뚫음
2014~	단전자 상자 · 단전자 트랜지스터	전하 1개의 위치를 읽고 게이트를 제어하는 실라르드 엔진

토야베 등(2010)의 실험은 되먹임으로 입자를 퍼텐셜 언덕 위로 “밀어 올리는” 것이었는데, 밀어 올린 것은 일이 아니라 정보였다. 회수 효율은 정보량 상한의 일부에 그쳤고, 그것이 오히려 부등식이 살아 있다는 증거였다. 베뤼 등(2012)은 반대 방향 — 소거의 하한 — 을 광집게로 확인했다.

단전자 계는 여기에 결정적인 편의를 하나 더 준다. 도깨비 본체가 회로이므로 도깨비의 에너지 수지도 같이 잴 수 있다. 이후 “자율 도깨비”(사람의 되먹임 없이 두 번째 전자 섬이 제어를 맡는 구성) 실험에서 확인된 것은 예상대로였다 — 기체 쪽 엔트로피는 내려가고 도깨비 쪽에서 그 이상이 올라간다. 도깨비가 관념이 아니라 물질로 만들어지는 순간, 수지는 언제나 맞는다.²

7. 시뮬레이션에서의 엔트로피 수지[편집]

이 문제는 분자동역학 코드에서 직접 재 볼 수 있는 몇 안 되는 열역학 사고실험이다. 하드디스크(단단한 원판) 기체를 이벤트 구동 방식으로 돌리고, 상자 가운데 벽에 구멍을 뚫은 뒤 규칙을 하나 준다 — 왼쪽에서 오른쪽으로 향하는 입자만 통과시킨다.

양쪽 방을 같은 온도로 출발시킨 2D 하드디스크 기체 320개를 탄성 충돌까지 적분하면서, 가운데 문을 「빠른 입자는 오른쪽으로, 느린 입자는 왼쪽으로만」 통과시킨다. 총에너지가 |ΔE/E₀| ≤ 2e−15 로 보존되는 동안 t=12 에서 T_R/T_L = 3.2 까지 갈라지지만, 그때 뽑을 수 있는 일의 상한 49 kT₀ 는 판정 1536회의 란다우어 하한 1065 kT₀ 의 22분의 1이다. 도깨비를 끄면 비는 1 로 돌아온다.

결과는 뻔하다. 입자가 모두 오른쪽으로 몰린다. 그리고 수지는 정확히 맞출 수 있다.

기체 쪽. $N$ 개 입자가 부피 $V$ 에서 $V/2$ 로 몰렸으므로 이상기체 근사에서 $\Delta S_{\rm gas} = -N k_B \ln 2$ . 이건 시뮬레이션 안에서 입자를 세기만 하면 나오는 수다.
도깨비 쪽. 문을 여닫으려면 매 순간 “지금 다가오는 입자가 어느 방향인가”를 읽어야 한다. 최소 $N$ 비트가 어딘가에 기록된다. 순환을 완성하려면 지워야 하고, 그 비용이 $N k_B T\ln 2$ .

합은 0 이상. 제2법칙은 코드 안에서도 멀쩡하다. 다만 여기에는 시뮬레이션 특유의 함정이 있다.

코드 안의 도깨비는 비용을 청구하지 않는다. if (vx > 0) pass; 한 줄은 물리적 소거를 수행하지 않으며, 판정에 쓰인 비트는 그냥 다음 스텝에서 덮어써진다. 즉 시뮬레이션은 도깨비를 공짜로 흉내 낼 수 있고, 그래서 시뮬레이션만 봐서는 제2법칙 위반처럼 보인다. 수지를 맞추려면 기록된 비트 수를 사람이 따로 세어 장부에 적어야 한다.

이 함정은 훨씬 넓게 퍼져 있다. 되먹임이 들어간 모든 수치 실험은 정보 장부를 별도로 관리하지 않는 한 열역학적으로 반쪽짜리다. 능동물질 모형, 되먹임 제어가 걸린 랑주뱅 동역학, 강화학습 에이전트가 물리계를 조작하는 설정 — 전부 같은 회계 문제를 안고 있다.

반대 방향의 교훈도 있다. 도깨비를 물질로 구현하면 저절로 실패한다. 스몰루호프스키(1912)가 지적한 것이 이것이다. 지능 대신 스프링 달린 여닫이 문을 달아 “한쪽으로만 열리는 밸브”를 만들면, 그 문 자체가 같은 온도 $T$ 에서 열요동하므로 제멋대로 덜컹거려 선별 능력을 잃는다. 파인만의 톱니바퀴-멈춤쇠(래칫) 논증이 같은 구조이며, 두 열원의 온도가 다를 때만 정류가 작동한다는 결론까지 같다. 문을 아무리 잘 설계해도, 문이 기체와 같은 온도인 이상 문도 기체다.³

8. 자주 나오는 오해[편집]

“결국 측정에 에너지가 들어서 안 되는 것이다.” 브리유앵 노선이며 현재는 부정확한 설명으로 본다. 측정 자체의 하한은 0으로 만들 수 있다. 불변인 것은 측정 비용과 소거 비용의 합이다.
“란다우어 원리는 아직 가설이다.” 2012년 이후 콜로이드·단전자·나노자석 계에서 반복 확인됐다. 하한 자체는 물론 위반이 관측된 적 없지만, 실험에서 잰 것은 “하한에 다가가되 뚫지 못한다”는 사실이다.
“양자역학이면 다르지 않나.” 양자 도깨비도 같은 구조를 따른다. 상호정보량 자리에 양자 상호정보가 들어가고, 측정 후 상태의 얽힘 엔트로피가 장부에 추가될 뿐이다. 음의 조건부 엔트로피를 쓰면 “소거로 일을 뽑는” 것처럼 보이는 구성도 있는데, 이때 대가는 얽힘 자원의 소모다.
“도깨비는 결국 반례가 아니니 흥미가 없다.” 정반대다. 이 사고실험이 없었으면 계산의 물리적 하한, 정보 이론과 열역학의 사전, 확률 열역학의 되먹임 등식이 모두 훨씬 늦게 나왔다. 제2법칙을 못 깬 대신 정보라는 양에 J/K 단위를 붙여 준 것이 도깨비의 실적이다.

9. 관련 문서[편집]

“도깨비”(demon)라는 이름은 맥스웰이 붙인 게 아니라 1874년 톰슨(켈빈 경)이 붙였다. 맥스웰 본인은 지능이 있는 존재라는 뉘앙스를 못마땅해했고, 이 존재를 초자연적 지성이 아니라 분자 규모의 밸브로 여기는 쪽이었다. 150년 뒤 단전자 회로로 구현된 “자율 도깨비”가 사실상 밸브라는 걸 생각하면, 명명 센스는 톰슨이 좋았고 물리 감각은 맥스웰이 좋았다. ↩
이 실험들의 진짜 난이도는 물리가 아니라 장부 관리에 있다. 도깨비 쪽 열을 재려면 도깨비의 모든 자유도를 계측해야 하는데, 도깨비를 조금만 복잡하게 만들어도 그 순간 “샌 열은 어디로 갔나”를 추적할 수 없게 된다. 그래서 실험 설계는 도깨비를 최대한 멍청하게 만드는 방향으로 간다. 똑똑한 도깨비는 검증 불가능한 도깨비다. ↩
이 지점이 “도깨비는 지능이 필요한가”라는 오래된 질문의 답이기도 하다. 필요 없다. 필요한 것은 기체보다 차가운 무언가다. 스프링 문이든 단전자 섬이든, 정류 장치가 기체와 열평형이면 정류를 못 하고, 열평형이 아니면 그 비평형을 유지하는 데 이미 값을 치르고 있다. 도깨비 논쟁 150년의 요약이 “공짜 점심은 없다”인 게 좀 허무하긴 한데, 그 결론에 도달하는 데 정보 이론 하나가 통째로 필요했다는 게 이 이야기의 요점이다. ↩