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

The Royal Institution 114 тыс. 1 ч 21 мин 5 мин 07.01.2025
Главное

Революция в преподавании квантовой физики: Боб Кук (Bob Coecke) представляет новый визуальный язык, который позволяет школьникам решать задачи уровня магистров Оксфорда. Вместо громоздких уравнений и гильбертовых пространств эксперт предлагает использовать систему «пауков» и диаграмм, фокусируясь не на составе частиц, а на отношениях между ними.

🧠 Кризис классического языка квантовой механики 0:14

Традиционно квантовая физика считается дисциплиной, требующей как минимум университетского диплома и глубоких знаний высшей математики . Однако Боб Кук утверждает, что сложность предмета обусловлена не самой природой реальности, а устаревшим языком её описания.

Отцом нынешнего математического аппарата квантовой механики является Джон фон Нейман (John von Neumann) . В 1932 году он опубликовал фундаментальный труд «Математические основы квантовой механики», введя понятие гильбертова пространства. Тем не менее, уже в 1935 году в письме к Гаррету Биркхоффу фон Нейман признался, что больше не верит в абсолютность гильбертовых пространств для описания квантового мира . Он считал этот формализм «подручным средством», которое не передаёт истинную суть явлений .

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

🤝 От атомизма к релятивизму: подход Шрёдингера 9:04

В то время как фон Нейман фокусировался на измерениях, Эрвин Шрёдингер (Erwin Schrödinger) видел суть квантовой механики в другом — во взаимодействии систем . По мнению Шрёдингера, когда две системы вступают в физическое взаимодействие, они перестают быть отдельными объектами и превращаются в единое целое, где описание частей теряет смысл, уступая место описанию отношений между ними .

Боб Кук противопоставляет два философских взгляда на мир:

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

🎨 Визуальная математика Роджера Пенроуза 15:01

Третьим столпом нового подхода стали работы Роджера Пенроуза (Roger Penrose). Будучи студентом, Пенроуз испытывал трудности с громоздкими символьными записями в общей теории относительности и начал заменять их диаграммами в своих блокнотах .

Пенроуз трансформировал символы с индексами в узлы и линии:

Боб Кук объединил идеи Шрёдингера (фокус на композиции систем) и Пенроуза (визуальное представление), создав полноценную графическую математику . Этот подход, изначально развивавшийся в теоретической информатике, позволил описывать квантовые процессы как потоковые диаграммы (flowcharts) .

🎓 Оксфордский эксперимент: дети против профессоров 22:05

В начале 2023 года Боб Кук и Стефано Гогозо (Stefano Gogioso) опубликовали книгу «Quantum in Pictures» . Чтобы доказать эффективность визуального языка, они провели эксперимент с учащимися старших классов (15–17 лет) в Великобритании .

Детали эксперимента:

Результаты оказались феноменальными: более 50% школьников сдали экзамен с отличием (distinction), показав результаты выше, чем типичная группа студентов-физиков . При этом большинство участников тратило на учебу всего 1–2 часа в неделю . Эксперимент показал, что визуальный метод снимает «страх перед математикой» и делает изучение квантов увлекательным .

🕷️ Механика ZX-исчисления: провода и пауки 32:59

Новый язык Боба Кука строится на предельно простых правилах манипуляции графическими объектами:

  1. Провода и блоки: Квантовые системы текут по проводам. Блоки (boxes) — это операции над ними. Входные данные подаются снизу, выходные — сверху .
  2. Пауки (Spiders): Это узлы с несколькими «ногами» (входами и выходами) .
    • Зелёные пауки и Красные пауки — основные элементы.
    • Правило слияния: Если два паука одного цвета соединены проводом, они сливаются в одного большого паука .
    • Правило аннигиляции: Если между красным и зелёным пауком есть ровно два параллельных провода, эти провода исчезают .

Этот метод, получивший название ZX-calculus, позволяет упрощать сложнейшие квантовые алгоритмы до элементарных схем . По словам эксперта, такие компании как IBM и Google уже начинают использовать ZX-исчисление для оптимизации квантовых схем и исправления ошибок в вычислениях .

🌐 Классика против Кванта в одной картинке 45:28

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

Это наглядно объясняет квантовую неопределённость: если мы кодируем данные в «зелёном» режиме, а измеряем в «красном», связи между входом и выходом исчезают, и мы получаем чистый шум .

🎸 Будущее: ИИ и квантовая музыка 1:18:21

Боб Кук отмечает, что область применения ZX-исчисления постоянно расширяется. Сегодня его команда в компании Quantinuum работает над «объяснимым» искусственным интеллектом (Interpretable AI) . В отличие от классических нейросетей («чёрных ящиков»), квантовый ИИ на базе композиционной структуры диаграмм позволяет точно проследить логику принятия решений .

Кроме того, технология находит применение в искусстве. В 2021 году Боб Кук и его коллеги стали первыми, кто сгенерировал музыку с помощью квантового компьютера . Их трек «Bob’s Cigar Box» даже занял первое место в нишевых чартах. Сейчас в Лондоне существует компания MOD, которая занимается созданием реальных квантовых музыкальных инструментов, используемых на крупных фестивалях, таких как Wacken и Lowlands .

💬 Цитаты

«Я хотел бы сделать признание... Я не верю абсолютно в гильбертово пространство.»

Боб Кук (цитируя Джона фон Неймана) 05:50

«Квантовый мир нельзя объяснить общим происхождением — ноль не равен единице.»

«Школьникам это кажется забавным, и это самое важное. Они не боятся символов.»

👥 Спикер
📚 Упомянутые книги
🔗 Упомянутые сайты и проекты
📖 Термины
ZX-calculus
Графический язык для описания квантовых процессов через взаимодействие узлов (пауков) и ребер (проводов).
Кубит
Квантовый аналог классического бита, представленный в системе Кука двойным проводом.
Постулат коллапса
Идея о том, что измерение квантовой системы необратимо меняет её состояние.
📊 Цифры
🗓 Хронология
  1. 1932 Джон фон Нейман публикует книгу о математических основах квантовой механики.
  2. 1935 Фон Нейман в частной переписке дезавуирует свой формализм гильбертовых пространств.
  3. 2003 Боб Кук начинает работу над визуальным языком квантовых процессов.
  4. 2017 Выход книги Picturing Quantum Processes («книга Додо»).
  5. 2023 Публикация Quantum in Pictures и проведение успешного эксперимента со школьниками.
⚖️ Другая сторона
Наука Боб Кук ZX-calculus Quantinuum квантовая механика Oxford University