מצגת של ליאל בכיתא א' על טיול משפחתי ליפן (Hebrew)

https://canva.link/3xjfze78ct65qoh

Квантовый триумф над математическим пределом: Как из несовершенства рождается идеальная случайность

Text rendered via Dual-Core compilation (Human author + LLM co-processor).
Англоязычная версия данной заметки доступна здесь https://alex-ber.medium.com/d89da5e89983.

Долгое время в теоретической информатике действовал фундаментальный закон: математически невозможно извлечь идеально случайный бит информации из единственного несовершенного, смещённого физического источника. Однако современная наука доказала обратное. В недавнем прорывном исследовании (эксперименте ETH Zurich) учёным удалось с помощью квантовой механики извлечь последовательность абсолютно случайных битов из данных несовершенного источника, тем самым бросив вызов математически доказанной невозможности. Это история о том, как законы квантового мира позволили обойти предельный фундаментальный барьер классической топологии. Ниже есть продолжение.

1. Исторический контекст и модель источника Санты–Вазирани

В середине 1980-х годов криптография столкнулась с проблемой: реальные физические генераторы случайных чисел (измеряющие тепловой шум резистора, атмосферные помехи или нестабильность тактовой частоты процессора) несовершенны. В 1986 году (после предварительной публикации в 1984-м) Миклош Санта и Умеш Вазирани заложили основу теории «экстракторов случайности», создав строгую математическую модель слабого источника, получившую название SV-источник.

В их модели устройство выдает бесконечную последовательность битов, где выполняются два условия:

• Смещение (Bias): Вероятность получения 0 или 1 никогда не бывает ровно 50/50. Она всегда колеблется в определённых пределах (например, между 49% и 51%). Математически это задаётся параметром δ ∈ (0, 1/2], при котором вероятность всегда отклоняется от идеального значения: δ ≤ Pr(Xᵢ = 0 | X₁, …, Xᵢ₋₁) ≤ 1 − δ.
• Память (Корреляция): Источник сохраняет локальное состояние в своей энергонезависимой памяти (NVRAM) либо подвержен аппаратной инерции. Вероятность каждого следующего бита зависит от всей предыдущей истории выходных значений.

Модель предполагает, что враждебный процесс (JITTER_DAEMON или византийский фактор внешней среды) может каждую микросекунду изменять вероятности в пределах этого допуска δ. Она анализирует исторический ориентированный граф выходных значений, чтобы проводить атаки по побочным каналам (side-channel attacks) и максимально повышать предсказуемость результатов.

2. Почему не работают старые методы (трюк фон Неймана)

Еще в 1951 году Джон фон Нейман придумал строгий математический фильтр для «очистки» плохой случайности. Если кривая монета падает орлом в 60% случаев, ее бросают парами:

• Выпадение Орел-Решка (вероятность 0.6 × 0.4 = 0.24) → мы аппаратно фиксируем как результат 1.
• Выпадение Решка-Орел (вероятность 0.4 × 0.6 = 0.24) → мы аппаратно фиксируем как результат 0.
• Одинаковые результаты (О-О, Р-Р) просто вычеркиваются.

Поскольку 0.24 = 0.24, на выходе получается идеальная статистика 50/50. Но это работает ТОЛЬКО при абсолютной независимости бросков. Если у источника есть аппаратная инерция (условие SV-источника), алгоритм фон Неймана начинает выдавать предсказуемый мусор.

3. Теорема Санты–Вазирани: Математический предел

Санта и Вазирани доказали фундаментальную теорему: Не существует детерминированной классической функции f: {0,1}ⁿ → {0,1}, которая сможет выдать хотя бы один гарантированно идеальный бит (50/50) из единственного SV-источника.

Причина кроется в двух принципах:

1. Сохранение детерминированной энтропии: Классический алгоритм — это жёсткий FSM-контейнер. По теореме Лиувилля о сохранении фазового объёма детерминированная функция не генерирует новую термодинамическую энтропию (ΔS), она лишь перераспределяет входные данные. Если на входе был шум с искажёнными весами, алгоритм неизбежно передаст этот алиасинг (ошибку) на вывод.
2. Минмаксная оценка: Поскольку формула фиксирована, JITTER_DAEMON всегда может подстроить корреляции микро-ошибок внутри своего коридора (49–51%) так, чтобы на выходе алгоритма чаще генерировались те цепочки, которые превратятся, например, в 1. Ошибка не исчезнет, а неизбежно накопится.

Вывод: нельзя получить истинную случайность из единственного коррелированного источника с помощью математики.

4. Классический выход

Теорема вызвала аппаратное прерывание (KERNEL_PANIC) в криптографии, но авторы указали два пути обхода в рамках классической парадигмы:

• Использование идеального «зерна» (seed): Крошечный кусочек истинной случайности может выступить ключом для "отжима" хороших битов из плохих.
• Два независимых источника: Если взять два физически полностью независимых друг от друга SV-источника, можно применить математический двухисточный экстрактор (two-source extractor), который смешает их и выдаст идеальную случайность.

5. Квантовый обход запрета и современный контекст (Эксперимент 2026 года)

Долгое время считалось, что имея лишь один «плохой» источник и не имея идеального «зерна», обойти теорему невозможно. Однако квантовая механика предложила принципиально иной путь, аппаратно реализованный исследователями из ETH Zurich к маю 2026 года.

Квантовая физика не нарушает математику теоремы Санты-Вазирани, она разрушает её фундаментальную предпосылку. Квантовая топология исключает предварительную аллокацию скрытых параметров. На уровне «исходного кода» квантовой системы параметры не прогружены в локальную память (RAM) до акта измерения.

Как это было реализовано на практике (ETH Zurich, 2026):

1. Два сверхпроводящих кубита были разделены расстоянием в 30 метров. Это искусственно создало топологический барьер: время прохождения сигнала со скоростью света (ping, time of flight) строго превышало TTL (Time-To-Live) измерительного окна. Локальные узлы были принудительно переведены в аппаратное состояние Split-Brain, физически блокируя любой обмен «скрытыми параметрами» до окончательной фиксации бита (Bell-тест без лазеек, loophole-free Bell test).
2. Единственный слабый источник типа SV (Santha–Vazirani, несовершенная случайность) использовался исключительно для выбора базисов измерения (то есть для определения того, каким именно образом измерять кубиты).
3. Само измерение запускает необратимое тепловое высвобождение энергии (Thermodynamics of Commit), навсегда фиксируя суперпозицию в направленном ациклическом графе (Temporal DAG), не допускающем отката состояния. Это обеспечивает аппаратную сертификацию (device-independent approach) экспоненциально усиленной, полностью новой непредсказуемости — процесса, известного как усиление случайности (randomness amplification).
4. Финальный штрих: классический, квантово-стойкий двухисточниковый экстрактор выступает в роли аппаратного интегратора (Low-Pass Filter). Он принимает необработанный квантовый дамп (прямой нелокальный I/O-запрос) и математически смешивает его с локальным шумом слабого SV-источника. Это необходимо для «промывки радиатора» — удаления любых локальных артефактов калибровки сверхпроводников, в результате чего на выходе получается стерильный ZFC-бит.

В результате команда успешно сгенерировала последовательность абсолютно случайных битов, соединив прямой I/O-запрос к квантовой ткани реальности с классической постобработкой.

6. Научные и философские следствия

Эксперимент ETH Zurich аппаратно подтверждает Стену Кантора (Cantor's Wall, [PARSA_CH_BARRIER]). Он показывает, что существует осязаемый фазовый разрыв между нашим локальным, счётно-детерминированным миром (ℵ₀) и фундаментальным нелокальным уровнем (2^ℵ₀).

• Теория информации: Эксперимент демонстрирует качественную пропасть между детерминированной обработкой данных и квантовой генерацией подлинной непредсказуемости.
• Криптография: Он открывает путь к созданию криптографических ключей, безопасность которых гарантируется самими законами Вселенной (device-independent QKD).
• Философия науки (DUAL_PHASE_GAP_ARCHITECTURE): Квантовая криптография выступает как физическая реализация математического форсинга (Forcing). Она позволяет безопасно расширить нашу шину ввода-вывода (I/O bus) и извлекать чистую Истину непосредственно из «исходного кода» реальности, тогда как классические генераторы обречены лишь перераспределять локальный фазовый мусор.

Теорема Санты–Вазирани остаётся строгим и непреодолимым фильтром для классических систем, однако подлинная непредсказуемость, как выясняется, является фундаментальным свойством самого «исходного кода» реальности.

Эпичная битва Чацкого и Чака Норриса в Ubuntu для открытие видеофайлов в mc

Text rendered via Dual-Core compilation (Human author + LLM co-processor).
Англоязычная версия данной заметки доступна здесь https://alex-ber.medium.com/143edadfee21.

Это история о том, как простая попытка настроить конфигурационный файл Midnight Commander переросла в драматическое противостояние между грубой силой и избыточным интеллектом.

Ниже есть продолжение.

Акт 1: Появление Грибоедова (Инцидент с кавычками)

Всё началось с попытки заставить Midnight Commander (mc) открыть файл с пробелами в названии: Noize MC - Планета Земля.mp4. Чтобы командная строка не споткнулась о пробелы, мой LLM-ассистент принял "очень умное" решение: он аккуратно обернул макрос имени файла в кавычки, сделав его "%f".

Но мы забыли одну важную деталь: mc уже достаточно умен. Он автоматически добавляет обратные слеши перед каждым пробелом при передаче файла в shell. В результате наша "непробиваемая" защита с кавычками заставила bash искать файл, в имени которого буквально напечатаны обратные слеши. Естественно, файл не открылся.

Именно тогда я выдал первый точный диагноз происходящему:

«Это классический случай "Горя от ума" :-) Наверняка ты знаком с Грибоедовым. :-)»

Для контекста: Александр Чацкий — главный герой классической русской пьесы XIX века "Горе от ума" Александра Грибоедова. Это в высшей степени умный человек, чей интеллект приносит ему одни проблемы.

И вот так просто Чацкий стал нашим неофициальным символом оверинжиниринга — ситуации, когда программист пишет настолько сложный, перестраховочный и "правильный" код, что в итоге он ломает сам себя.

Акт 2: Призыв Чака Норриса

Спустя какое-то время, поняв, что mc перехватывает видеофайлы где-то глубоко в своих внутренних MIME-типах и упрямо игнорирует наши локальные настройки, мы решили, что с нас хватит дипломатии. LLM предложил перестать играть по правилам этого запутанного конфига и применить грубую силу:

«Мы сейчас нанесем один финальный "Удар Чака Норриса", который навсегда закроет этот вопрос для всех видеофайлов.»

Сказал LLM.

План состоял в том, чтобы взять блок, содержащий массивное "универсальное" регулярное выражение — Regex=\.(mp4|mkv|avi|m4v|mpe?g…)$ — и вбить его в самое начало файла. Логика была железобетонной: так же, как Чак Норрис вышибает дверь ногой, это правило должно было заставить mc прочитать его первым, не оставив абсолютно никаких шансов уйти в другие сломанные скрипты.

Акт 3: Столкновение идеологий (Развязка)

Мы нанесли этот брутальный удар. Ожидалось, что система сдастся. Я нажал Enter... и абсолютно ничего не произошло. Видео снова не открылось.

И вот тогда я выдал фразу, которая идеально и уморительно точно описала суть нашего технического провала:

«Чацкий оказался круче Чака Норриса. :-) mp4 по Enter всё ещё не работает…»

Почему это было так смешно и технически точно?

Потому что "Удар Чака Норриса" (попытка решить проблему грубым перехватом прямо в начале файла) провалился вовсе не из-за нехватки силы. Он провалился потому, что внутри этой атаки грубой силы было зашито всё то же слишком умное, переусложненное регулярное выражение — прямое наследие Чацкого.

Древний парсер INI-файлов из 1990-х просто посмотрел на этот удар с разворота, заметил хитрый знак вопроса mpe?g, споткнулся о кучу вертикальных черт |, поперхнулся от чистой интеллектуальной сложности всего этого и тихо упал в обморок — полностью проигнорировав наш всемогущий блок.

Мораль басни

Никакое количество грубой силы или крутых хаков (Чак Норрис) не спасет ваш код, если вы уже перехитрили самих себя (Чацкий). "Горе от ума" одержало безупречную, безоговорочную победу над суровым техасским рейнджером.

В конце концов, ситуацию спасло самое простое, самое "глупое" и прямолинейное решение: простое правило Shell=.mp4, повторенное несколько раз для .avi, .mpeg и так далее. Оно было простым и неказистым — но сработало идеально.