Глава 7. Принцип неопределённости в информации

Где стоит глава

Последний шаг части — предел самой информации. У информации есть свой принцип неопределённости: разрешение нельзя увеличивать даром, у каждого бита есть цена. Этот принцип параллелен фурье-неопределённости (Часть VII: время $\leftrightarrow$ частота) и квантовой (координата $\leftrightarrow$ импульс), а через принцип Ландауэра информация смыкается с физикой. Глава закрывает часть и наводит мост к фон-Нейману и квантовой информации — к Тому III.

Информация имеет цену: в конечной лестнице разрешения первый (грубый) бит — самый дорогой (информационный принцип неопределённости), а стирание бита имеет физическую цену (Ландауэр). Различение — не бесплатно.

Информационный принцип неопределённости

Уточняя положение, мы платим разрешением: чем больше битов положения мы требуем, тем меньше остаточная неопределённость блока, но цена каждого следующего бита убывает — а в базовой конечной лестнице первый (грубый) бит самый дорогой¹. Это — информационная форма соотношения неопределённостей: не запрет, а кривая цены разрешения, конечная и вычислимая над ℚ.

Та же структура, что у фурье-неопределённости (Часть VII) и квантовой: нельзя одновременно довести до нуля две сопряжённые величины. Здесь — разрешение против цены, и всё на Element-стороне.

В этой конечной рациональной модели информационный принцип неопределённости — классическое 0-аксиомное утверждение: вычислимая лестница цен разрешения, а не квантовый постулат и не общепринятая теорема под этим именем. Он предвосхищает квантовый, не нуждаясь в нём, и показывает, что сопряжённость есть структурное, а не специфически квантовое явление.

Принцип Ландауэра

Информация смыкается с термодинамикой через принцип Ландауэра: стирание одного бита имеет энергетическую цену — в физических единицах она пропорциональна $kT\ln 2$, а в формальной модели коэффициент $k\ln 2$ нормирован, так что остаётся структура пропорциональности $T\cdot b$². Это связывает часть в одно: энтропия Шеннона (Глава 5), рост энтропии при перемешивании (Глава 4) и стирание информации — один и тот же баланс различений, теперь с физической ценой. Бит — не абстракция: чтобы забыть различение, надо заплатить.

Фон-Нейман и квантовая информация: мост к Тому III

Здесь часть выходит за свою 0-аксиомную область — к квантовой информации, и делает это честно, как мост, а не как готовую формализацию. В онтологическом чтении ToS квантовое измерение есть физическое выполнение L3: суперпозиция (неопределённое «или») при измерении становится определённым исходом — акт различения, проведённый над миром. Фон-неймановская энтропия $S=-\mathrm{Tr}\rho \log \rho$ обобщает шенноновскую (которая есть её частный случай для диагональной матрицы плотности), а кубит — квантовый бит — живёт уже на ярусе Tier-1 (физический ярус реализации; через правило Борна).

Классическая сторона — информационная неопределённость и Ландауэр — 0-аксиомна и здесь построена; квантовая (фон-неймановская энтропия, кубиты) — Tier-1 и оставлена прозаическим мостом к Тому III, честно, без переобещания.

Кластер неопределённости Гейзенберга (220 машинных утверждений в 18 файлах) формализует классическую сопряжённость разрешения в дискретной ℚ-форме (не непрерывное соотношение $\Delta x\Delta p$); фон-неймановское обобщение и квантовые меры информации — предмет Тома III, куда настоящая часть и ведёт: Шеннон $\to$ фон Нейман $\to$ квант через единую онтологию различений.

Синтез части: информация как количество различений

Часть собирается в одно утверждение. Информация есть количество актов различения, и каждая глава измеряла его своей стороной: комбинаторика считала различения (Глава 1), графы давали им структуру (Глава 2), вероятность распределяла (Глава 3), марковский процесс перемешивал (Глава 4), энтропия Шеннона измеряла и оказалась единственной мерой на диадическом ядре (Глава 5, M1), колмогоровская сложность индивидуализировала (Глава 6), а неопределённость назвала их цену (Глава 7).

И всюду один и тот же разрез — граница финитизации: конечное / разрешимое / 0-аксиомное (Element) против предельного / невычислимого / континуального / квантового (предел-роль). Различение конечно и точно, пока завершается; за пределом — процесс.

Дискретная математика, вероятность и информация — одна из самых обеспеченных и 0-аксиомных частей тома именно потому, что их носители конечны по построению. А их единственная граница — та же, что несёт весь проект: переход к завершённому бесконечному (предельные законы, невычислимый $K$, континуальная мера, квант) — сторона предела-роли. Измерение — выполнение L3 — и есть точка, где различение становится определённым.

E/R/R-разбор: информация как система

Разберём информацию как систему части — в порождающем порядке Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — мера различений: аддитивная, неотрицательная, нормированная (Шеннон, единственная по M1 на диадическом ядре); к нему примыкают правило сопряжённости (нельзя обнулить две сопряжённые величины разом) и правило цены (Ландауэр: различение/стирание имеет физическую стоимость).

Roles (L4). Энтропия, взаимная информация, сложность — роли-меры; разрешение и неопределённость — сопряжённые роли; измерение — роль выполнения L3 (превращение неопределённого в определённое). Шеннон и фон Нейман — классическая и квантовая роли одной меры (квантовая — в мостовом, ещё не формализованном здесь чтении).

Elements (L1 + P4). Носители — конечные распределения, биты, ℚ-цены разрешения. Под P4 актуальны они; фон-неймановская энтропия на континуальном пространстве состояний и квантовые меры — предел-роль / Tier-1, мост к Тому III, не завершённые объекты этой части.

Проверка сформированности. Мера, сопряжённость, цена — Rules; энтропия/ сложность/разрешение/измерение — Roles; конечные распределения и биты — Elements; пересечений нет. Диагонального самоприменения здесь нет: правило меры не есть объект того же распределительного пространства.

Что даёт разбор. Он закрывает флагман части: информация — количество актов различения, измеримое единственной мерой (M1), имеющее цену (неопределённость, Ландауэр) и две грани (статистическую Шеннона и алгоритмическую Колмогорова), и разрезанное всюду одной границей финитизации. Измерение как выполнение L3 — мост к кванту и к Тому III.

Прикладная триада тома завершена. Информация, как число и как мера различений, готова стать языком физики — к чему том и переходит: через фон-Неймана и квант (Том III), а внутри настоящего тома — к заключительному синтезу, где сойдутся обе стороны границы финитизации.

---

---

Часть: Часть XVII. Дискретная математика, вероятность, информация · Том: «Математика»

Навигация: ← Глава 6. Колмогоровская сложность и алгоритмическая информация · Глава 1. Восходящая башня роль-типов — Часть XVIII →

Footnotes

1. cost_per_bit_16, first_bit_most_expensive, cost_monotone_*, full_resolution_highest_total (в heisenberg/InformationUncertainty): на конкретной цепи $K=16$ цена бита по лестнице блоков $8\to 4\to 2$ строго убывает ($\frac{1}{2}\to \frac{1}{4}\to \frac{1}{6}$), грубейший бит дороже всех, все цены положительны. Это конкретная вычислимая лестница над ℚ, а не общая теорема монотонности. Машинно проверено, 0 аксиом. ↩

2. information/LandauerConnection: машинно закрыта структура пропорциональности цены стирания — $\mathtt{landaue}{\mathtt{r}}_{\mathtt{c}}\mathtt{ost}Tb=T\cdot b$ (цена $ProptoT$, $Propto$ числу битов, ноль при $T=0$; landauer_connection_synthesis); множитель $k\ln 2$ поглощён в натуральные единицы. Структурный/символический закон связи информации и энергии, мост к второму закону (Глава 4) и термодинамике Тома III, не полная термодинамическая модель. Машинно проверено, 0 аксиом. ↩