# Джоан Ласенби: «Геометрическая алгебра — это единый язык для робототехники и физики» Источник: https://www.youtube.com/watch?v=ikCIUzX9myY Канал: Y Combinator Опубликовано: 17.09.2018 --- В мире современного программирования и инженерии мы привыкли полагаться на матрицы и тензоры как на единственный язык описания реальности. Профессор Кембриджского университета Джоан Ласенби (Joan Lasenby) уверена, что это историческое заблуждение, и предлагает альтернативу — геометрическую алгебру, которая способна упростить решение сложнейших задач от навигации дронов до квантовой физики. ## 🛸 Дроны, линии и компьютерное зрение [[JUMP:0:00]] Традиционное компьютерное зрение в основном полагается на работу с точками. Когда мы видим облако точек (point cloud) или технологию захвата движений (motion capture) с характерными «пинг-понговыми» шариками на костюмах актеров, мы имеем дело с набором координат отдельных точек [0:52]. Однако Джоан Ласенби и её команда в Кембридже работают над проектом, который переносит фокус на линии [0:13]. Использование линий критически важно для анализа городской среды — зданий, дорог, инфраструктуры, где геометрия задается не точками, а контурами. С классической точки зрения компьютерного зрения работа с линиями гораздо сложнее, чем с точками. По словам Ласенби, именно геометрическая алгебра (GA) становится тем математическим каркасом, который делает эти вычисления интуитивно понятными и эффективными [1:05]. ## 📚 Математический фундамент: от Грассмана до Клиффорда [[JUMP:1:18]] История этого метода уходит корнями в XIX век. Всё началось с Германа Грассмана и его концепции «внешнего произведения» (outer product), которая позволяла перемножать векторы для получения новых геометрических сущностей [1:34]. Позже Уильям Клиффорд расширил эти идеи, объединив внутреннее (скалярное) и внешнее произведения в один продукт — произведение Клиффорда [2:13]. Ключевые элементы системы: * **Скаляры:** обычные числа. * **Векторы:** объекты, имеющие величину и направление. * **Бивекторы:** ориентированные плоскости. В отличие от обычного представления «плоскости», бивектор обладает знаком (направленностью), зависящим от порядка перемножения векторов (A ∧ B = -B ∧ A) [4:10]. * **Тривекторы:** ориентированные объемы. Ласенби подчеркивает, что эта система позволяет оперировать точками, линиями, плоскостями и объемами как едиными объектами в рамках одной алгебры [4:52]. Их можно складывать, умножать и, что самое важное, дифференцировать. ## 🛰️ Почему мы не учили это в школе? [[JUMP:9:28]] Несмотря на мощь системы, она долгое время оставалась в тени. По мнению Ласенби, это произошло из-за ранней смерти Клиффорда в возрасте 34 лет [9:42]. После него пришли Джозайя Гиббс и Оливер Хевисайд, которые упростили математику до привычного нам векторного анализа с его кросс-произведением (cross-product) [9:55]. Проблема кросс-произведения в том, что оно работает исключительно в трехмерном пространстве. Оно выдает вектор, перпендикулярный плоскости, но в четырех измерениях понятия «перпендикуляра к плоскости» в таком виде просто не существует [10:09]. Геометрическая алгебра лишена этого недостатка: она одинаково эффективно работает в любом количестве измерений. Ласенби отмечает, что академическая среда крайне инертна. Ученым, которые всю жизнь использовали матрицы и тензоры, сложно переключиться на новую систему, даже если она объективно лучше объясняет физические процессы [10:35]. ## 🔄 Революция в ротациях: кватернионы vs матрицы [[JUMP:12:39]] Одним из самых практических применений геометрической алгебры является управление вращениями. В инженерии традиционно используются матрицы вращения 3x3. Однако, по утверждению Ласенби, они неудобны: у матрицы девять компонентов, но всего три степени свободы, что создает избыточность и вычислительные сложности при накоплении ошибок [13:17]. В качестве альтернативы часто используют кватернионы, которые популярны в графике и управлении спутниками. Ласенби объясняет, что кватернионы, по сути, являются частью геометрической алгебры — это просто вращения в плоскостях бивекторов [15:57]. GA обобщает этот подход, позволяя выполнять вращения в любой размерности без «шарнирного замка» (gimbal lock) и сложных матричных вычислений. ## 🧬 Конформная геометрия: сфера как один объект [[JUMP:23:46]] Настоящий прорыв для компьютерного зрения и графики случился в 1999 году, когда Дэвид Хестенес представил конформную геометрическую алгебру (CGA). Это пятимерное пространство, в котором: * Сферы, круги, линии и точки становятся базовыми объектами [24:53]. * Пересечение двух сфер вычисляется одной операцией, а не системой сложных уравнений [26:42]. * Вращения, трансляции (перемещения) и масштабирования описываются единым оператором — ротором (rotor) [25:05]. Для разработчиков это означает возможность писать код на более высоком уровне абстракции. Вместо того чтобы высчитывать координаты пересечения плоскостей через массивы чисел, программист оперирует объектами «плоскость» и «линия» напрямую. ## 🤖 Геометрическая алгебра и AI [[JUMP:29:43]] Сегодня индустрия активно уходит от чистой геометрии в сторону глубокого обучения (Machine Learning). Ласенби признает, что для простых задач сегментации изображений геометрическая алгебра может быть не нужна [32:01]. Однако там, где требуется понимание структуры движения — например, при работе с множеством движущихся камер или дронов — GA дает неоспоримое преимущество. По мнению спикера, будущее за объединением этих подходов: использованием геометрических объектов в качестве параметров для обучения нейросетей [32:45]. Это позволит ИИ не просто «угадывать» пиксели, а понимать физическую и геометрическую логику пространства. ## 🛠️ Как начать внедрение? [[JUMP:48:04]] Основной барьер для стартапов и инженеров сегодня — отсутствие образования в этой области и сложности с инструментами. Ласенби упоминает следующие ресурсы для изучения: * **Книги:** «Geometric Algebra for Physicists» (Крис Доран и Энтони Ласенби) и «Geometric Algebra for Computer Scientists» (Лео Дорст) [48:32]. * **Софт:** Пакет `clifford` для Python, разработанный Алексом Арсеновичем [49:12]. Для тех, кто не хочет возиться с установкой библиотек и зависимостей, студенты Кембриджа разработали веб-версию инструментов на базе Jupyter Notebook, которая позволяет тестировать геометрические алгоритмы прямо в браузере [49:28]. В завершение Ласенби отмечает, что хотя геометрическая алгебра и требует преодоления «учебного горба» и отказа от некоторых школьных привычек, она дает инженерам мощнейшую интуицию. Это «единый язык природы», который позволяет видеть структуру там, где раньше были лишь нагромождения цифр в таблицах [46:30].