Книга: Программируя Вселенную. Квантовый компьютер и будущее науки
Неведение атомов
Неведение атомов
«Заразный» характер информации относится и к сталкивающимся атомам, и к битам в вычислении. Идею о том, что энтропия отдельных атомов газа имеет тенденцию увеличиваться, впервые выдвинул Людвиг Больцман в 1880-х гг. Больцман определил величину, которую назвал «H», как степень, до которой мы знаем положение и скорость любого данного атома газа.
Величина «H» Больцмана фактически является энтропией отдельного атома, умноженного на минус один. Больцман показал, что, когда положения и скорости атомов не коррелирует, то есть независимы друг от друга, столкновения между ними уменьшают «H» и увеличивают энтропию отдельных атомов. Последующие столкновения, утверждал он, продолжат увеличивать эту энтропию. Он пришел к выводу, что его H-теорема является обоснованием второго начала термодинамики и доказывает математически, что энтропия должна увеличиваться.
Проблема H-теоремы Больцмана состоит в том, что она, строго говоря, не является истинной для атомов газа. Больцман был прав в том, что столкновения между первоначально некоррелирующими атомами увеличивают энтропии отдельных атомов. Эти энтропии увеличиваются из-за «заразного» характера информации. Когда сталкиваются два атома, любая неопределенность по поводу положения и скорости первого атома имеет тенденцию «заражать» второй атом, делая его положение и скорость более неопределенными и тем самым увеличивая его энтропию. Такое увеличение энтропии второго атома похоже на увеличение энтропии второго бита, описанного выше, когда этот бит был подвергнут операцией «условное не», где неизвестный бит выступал в роли управляющего.
Ошибка H-теоремы связана с последующими столкновениями атомов. Если два атома столкнулись и обменялись информацией, последующие столкновения могут уменьшить энтропию отдельных атомов. Чтобы понять, как взаимодействие между двумя атомами, которые сталкивались раньше, может уменьшить их энтропию, вернитесь к паре битов, которую мы обсуждали выше. При первом применении операции «условное не» энтропия управляющего бита заразила второй бит, увеличив его энтропию на один бит. Но если операцию «условное не» применить снова, второй бит восстанавливает свое первоначальное, известное состояние, уменьшая свою энтропию на один бит.
В принципе, похожую обратную операцию, результатом которой будет аналогичное уменьшение энтропии, можно придумать и для атомов. Когда Больцман представил свою H-теорему как доказательство второго начала термодинамики, его коллега Йозеф Лошмидт указал, что H-теорема не может быть всегда истинной, ведь обращением скоростей атомов можно «взять назад» их столкновение и уменьшить их энтропии. (Гипотетическое существо, которое могло бы изменить скорости атомов на противоположные, называют демоном Лошмидта. В те времена у всех были свои демоны.) Услышав этот (правильный) аргумент, Больцман был вынужден прибегнуть к сарказму: «Валяйте, обратите их».
Первоначальный довод Больцмана в пользу его H-теоремы был основан на предположении о природе столкновений атомов, получившем название «гипотезы молекулярного хаоса». Даже если положения и скорости двух атомов могли бы иметь корреляцию до их столкновения, утверждал Больцман, многократные столкновения между многими атомами должны ослаблять эту корреляцию, и, в сущности, два сталкивающихся атома газа не должны быть коррелированными в момент столкновения. Сразу после столкновения положения и скорости двух атомов коррелируют. Но поскольку они продолжают сталкиваться с другими атомами, их корреляция друг с другом должна ослабевать. Больцман утверждал, что к моменту следующего столкновения эти два атома можно рассматривать как не имеющие корреляции, то есть как будто они никогда не сталкивались раньше. Если предположение о молекулярном хаосе справедливо, то энтропии отдельных атомов почти всегда увеличиваются. Это увеличение можно в принципе отменить, если обратить процесс столкновения, а-ля Лошмидт. Но на практике такое обращение происходит редко.
Гипотеза молекулярного хаоса – хорошая гипотеза, она верна для многих сложных систем, например для газов. Но она не является истинной для всех физических систем. Как мы увидим, во многих физических системах можно обратить взаимодействия между частями системы, тем самым отменяя увеличение энтропии этих частей.
Но в целом предположение Больцмана работает хорошо. Даже после того как атомы столкнулись один раз, их последующие столкновения имеют тенденцию увеличивать энтропии каждого из них. Почему гипотеза молекулярного хаоса так хорошо работает? В своей магистерской работе «Распространение неведения» и диссертации доктора философии «Черные дыры, демоны и утрата когерентности» я ответил на этот вопрос, предложив подход к объяснению второго начала термодинамики через распространение неведения. Этот метод показывает, что H-теорема Больцмана «почти истинна» для «почти всех» физических систем.