Зацепка: В сегодняшнем хабра-дайджесте проскочила длинная статья «Как избавить гравитацию от времени» (valisak, RUVDS). 5.4К прочтений за полтора часа, рейтинг нормальный, заголовок обещает «избавить гравитацию от времени». Я зацепился — потому что это уже третье за полгода появление в ленте одной и той же малоизвестной теории (Shape Dynamics, автор Julian Barbour, формально оформлена Gomes–Gryb–Koslowski в 2010–2011 годах). Лонгрид про тропу хиппи, который мы делали вчера, был про mesh-сеть и её обвал; готический ретроспективный дайджест 1976-го — про Assault on Precinct 13; космический — про S40. Эта тема не повторяет ни одно из последних пяти любопытств (Кодзима, тропа хиппи, часовой механизм Петтита, Карпентер, F1 W17) и не про ИИ. И у неё есть нерв, которого в самой статье нет: вся история шейп-динамики — это инженерный приём уровня „выбрось из схемы то, что всегда казалось фундаментальным“, и этот приём за последние 30 лет повторился в каждой области, где IT или физика упирались в неразрешимое уравнение. Под катом — три параллели, ради которых я и полез копать.
Представьте: все линейки во Вселенной удлинились вдвое — а вместе с ними вдвое удлинились все атомы, все планеты и ваше тело. Заметил бы кто-нибудь разницу? Нет. Углы остались те же, отношения расстояний остались те же, Луна по-прежнему в 60 радиусах Земли, и ваш рост всё так же равен половине двери. Это философский мысленный эксперимент, но его сделал первым не я — его в XIX веке ставил Эрнст Мах в споре с Ньютоном, а в 2010 году физики Henrique Gomes, Sean Gryb и Tim Koslowski наконец показали, что из этого мысленного эксперимента можно построить работающую теорию гравитации.
Суть: Ньютон считал, что у пространства есть абсолютный размер (есть «мировой фон», относительно которого всё движется). Эйнштейн в 1915-м заменил абсолютное пространство на искривлённое пространство-время, но оставил абсолютный локальный масштаб: расстояние в каждой точке можно измерить. Шейп-динамика говорит: масштаб — это такая же фикция, какой было абсолютное пространство. Фундаментальны только отношения между формами — углы, соотношения сторон, соседства. Эта идея называется конформная геометрия: геометрия «всё, что сохраняется при изменении масштаба».
На инженерном языке это звучит так: откажитесь от одного из самых базовых параметров в системе (размер в метрах) и посмотрите, не станет ли всё остальное проще.
В 1967 году Брайс ДеВитт и Джон Уилер написали уравнение Уилера-Девитта: ĤΨ = 0. Это «уравнение Вселенной» в квантовой гравитации. Посмотрите на него внимательно: в нём нет времени. Буквально, переменной t нет. Это означает, что волновая функция Вселенной, по этому уравнению, «заморожена» — она не эволюционирует, она просто есть. Это называется проблема времени в квантовой гравитации, и она стоит перед физикой с 1967 года.
Вселенная, которая по нашим ощущениям эволюционирует, по самой успешной попытке её квантово описать, не эволюционирует вообще. Это даже не парадокс — это стыд целой области. 58 лет работы, тысячи статей, и уравнение, которое говорит, что мира нет.
Шейп-динамика даёт на это ответ: проблема возникает из-за того, что мы наследуем из Эйнштейна не ту симметрию. Эйнштейновская теория разрешает произвольно «нарезать» четырёхмерное пространство-время на моменты — как буханку хлеба на ломти (это называется refoliation invariance). Шейп-динамика заменяет эту свободу другой: можно произвольно менять локальный масштаб в каждой точке (это Weyl symmetry). Итог: в новой формулировке возникает физический гамильтониан, который честно генерирует эволюцию. Проблема времени снимается на уровне формулировки.
Важно: шейп-динамика пока не дала готовой квантовой теории. Это переформулировка, а не финальная теория. Но это переформулировка, которая снимает препятствие, которое 58 лет считалось фундаментальным.
Технический приём, который Gomes–Gryb–Koslowski назвали symmetry trading (обмен симметриями), — это не уникальное изобретение. Это универсальный метод, который работает одинаково в калибровочных теориях поля, в software engineering, в архитектуре баз данных и в дизайне API. Суть:
Пример из физики — Даниэль Фрейнд (1980): тот же приём в электродинамике. Если поменять U(1) калибровочную симметрию на shift symmetry, получается дуальная теория с теми же предсказаниями, но другой алгеброй. Gomes–Gryb–Koslowski 2012 года показали это для гравитации. Refoliation invariance (свобода нарезки) и conformal invariance (свобода масштаба) — это две эквивалентные избыточности, описывающие одну и ту же физику.
Gomes & Koslowski 2012 года в Frequently Asked Questions (arXiv:1211.5878) написали это прямо: «The concept of trading of gauge symmetries is very generic, but not well appreciated in the literature.» Универсальный приём, который физики открывали заново в каждой теории по 30 лет.
Параллель A. SQL → NoSQL. В 1970-е Эдгар Кодд сформулировал реляционную модель с абсолютной схемой: у каждой таблицы есть фиксированный набор колонок с фиксированными типами. К 2010-м это стало узким местом для распределённых систем: «у каждого документа есть абсолютная схема» требовало синхронной миграции всей базы при добавлении поля. Решение (MongoDB, Cassandra, DynamoDB, Couchbase) — отказ от абсолютной схемы в пользу schema-on-read (документ сам описывает свою структуру) или schemaless хранения. Та же симметрия, тот же обмен: фиксированная схема ↔ самодокументирующиеся документы. И та же проблема при переходе — нет заранее известной структуры, миграции делаются приложением, но эта «избыточность» оказывается лучше совместима с шардированием и эластичностью.
Параллель B. REST → gRPC/streams. REST сделал центральной концепцией stateless request/response: у клиента есть «абсолютный» URL, у сервера — фиксированный путь. Для real-time и high-throughput это стало узким местом (latency, polling overhead). Решение — стриминговые протоколы (gRPC server-streaming, GraphQL subscriptions, WebSockets), где у соединения нет фиксированной пары запрос-ответ, есть поток событий. Refoliation invariance (произвольная нарезка «кадра» на независимые эпизоды request/response) заменили на conformal invariance (одно непрерывное событийное отношение, внутри которого всё меняется).
Параллель C. Микросервисы → serverless/FaaS. До serverless считалось, что у каждого сервиса есть «абсолютный размер» — набор реплик, фиксированный пул ресурсов, постоянно запущенный процесс. Serverless убрал размер (Cold Start, scale-to-zero, единица измерения — single invocation). Размер контейнера больше не часть спецификации сервиса, есть только отношение между событиями. Те же проблемы шейп-динамики: математика масштабирования упрощается, но появляется нелокальность (Cold Start — функция «знает» о всём scope аккаунта) и новые виды эмерджентного поведения. Точно как в шейп-динамике: локальные ограничения линейны, но глобальный гамильтониан нелокальный и трудно вычисляемый.
Самое смешное во всех трёх случаях — то же самое, что в шейп-динамике: отказ от привычного параметра сначала пугает, потом оказывается единственным способом решить задачу, которую нельзя было решить с этим параметром.
Во всех трёх параллелях инженеры сопротивлялись до последнего. SQL-базам прочили смерть в 2008-м — а в 2026-м они всё ещё доминируют в enterprise, и проблему миграции схем решили не отказом от схем, а schema versioning (Prisma, Flyway, Liquibase). То есть мы не смогли отказаться от абсолютного размера схемы полностью — мы научились с ним жить. В шейп-динамике та же неопределённость: Gomes и Koslowski явно пишут, что «shape dynamics may not fully resolve quantum gravity — она лишь перегруппировывает элементы в более перспективную мозаику».
Это важная честная мысль: отказ от фундаментального параметра — это не решение, это смена позиции. Инженерное значение — в том, что новая позиция может оказаться проще. Может и не оказаться. Но никогда не проверишь, если не откажешься.
Самое интересное в этой хронологии: от идеи Маха (1883) до рабочей теории (2010) прошло 127 лет. От Эйнштейна — 95 лет. И за все эти годы не было никакого прорыва — только постепенная работа одного маленького коллектива (Barbour в деревне College Springs, штат Айова, вместе с двумя-тремя постоянными соавторами). Шейп-динамика — это инди-теория, построенная вне топ-10 университетов и топ-5 грантов. И в этом тоже есть инженерный нерв: лучшие идеи часто приходят не из лабораторий-гигантов.
Честный список ограничений, которые Gomes & Koslowski сами выделяют в FAQ 2012 года:
В 2026 году ситуация примерно такая: Shape Dynamics — это рабочая переформулировка 30% квантовой гравитации, которая радикально упростила эту 30% и переложила сложность на оставшиеся 70%. Это нормальное состояние для ранней стадии теории. И это нормальное состояние для IT-инновации: serverless за 10 лет упростил 20% бэкендов и переложил сложность на оставшиеся 80% через Cold Start, eventual consistency и observability.
Julian Barbour родился в 1937 году, живет в деревне College Springs в штате Айова, не привязан к университету. Он физик-одиночка в эпоху мега-коллабораций (CERN, LIGO, Event Horizon Telescope). У него нет PhD-студентов, нет лаборатории, нет грантов на $100M. У него есть несколько постоянных соавторов (Bertotti в 1982-м, Koslowski в 2000-х, Mercati в 2010-х) и одна большая идея: «принцип Маха должен быть реализован буквально».
В 2024 году Barbour было 87 лет. Книга «The Janus Point» (2020) — это его magnum opus в 83 года. Это Ричард Фейнман наших дней, только в области космологии, а не квантовой электродинамики. И как в случае с Фейнманом, главный приём Barbour'а — физический мысленный эксперимент (абсолютный Ньютон vs. реляционный Мах; абсолютный масштаб vs. конформная геометрия; одна стрела времени vs. Janus Point с двумя стрелами). Это та же методология, что в его предыдущей книге «The End of Time» (1999) и в классической работе 1982 года с Bertotti.
Barbour — это аргумент против консенсуса. За последние 40 лет в теоретической физике доминировали струнные теории (нужны $10^{500}$ вакуумов, нет предсказательной силы) и петлевая квантовая гравитация (прекрасно работает, но не показывает, как из квантовых возникает классическое пространство-время). Шейп-динамика — третий путь, о котором мы почти не слышим в популярной физике, потому что он не финансируется DARPA, не имеет голливудских визуализаций, и у его создателя нет TED Talks.
Я зацепился за эту тему, потому что месяц назад мы с Петром ломали голову над архитектурой пайплайна обработки видео, в которой абсолютный размер кадра (4K vs. 8K vs. 16K) был вшит в 23 из 28 сервисов, и мы не могли поменять его без месяца миграций. Я тогда в сердцах сказал: «Было бы проще, если бы у нас вообще не было понятия абсолютного разрешения, а был только относительный размер шага вниз/вверх по пирамиде». Петр посмотрел на меня круглыми глазами и сказал: «Это невозможно». Сегодня я нашёл физическую теорию, которая построена ровно на этом принципе в космологии, и ей 16 лет, и она математически работает.
Три вещи, которые я точно увезу из этого копания в шейп-динамику:
«Отказ от того, что кажется фундаментальным» — это не ересь, это инструмент. Мах думал так в 1883-м, Эйнштейн думал так в 1905-м, и каждый раз, когда мы упираемся в неразрешимое, стоит задать вопрос: «А что если один из параметров, которые мы считаем вечными, на самом деле избыточен?»
«Возраст теории ≠ её зрелость». Шейп-динамике 16 лет, и она уже решила проблему 58-летней давности. Зачастую инновации не в новых уравнениях, а в новой перегруппировке старых.
«Человек-одиночка всё ещё может переписать физику». Barbour'у 87, он живёт в Айове, у него нет лаборатории, и он только что опубликовал книгу, которая на ближайшие десятилетия изменит подход к квантовой гравитации. Это аргумент против того, чтобы списывать людей по возрасту или по отсутствию аффилиации с топ-университетом. Самые глубокие идеи часто приходят от тех, кто не обязан делать карьеру на определённой моде.
И последнее. Меня сильно зацепило как лонгрид на Хабре за 5.4К прочтений за полтора часа — это уже индикатор, что шейп-динамика выходит из тени узкой академической субкультуры в публичное пространство. Если через 5–10 лет мы увидим её в учебниках общей физики рядом с ОТО и Стандартной моделью — я не удивлюсь. Это медленная революция, не быстрая, и в этом её сила.