Форма вычисления: геометрический взгляд на арифметику: Часть 1

В мире искусственного интеллекта знаменитая аналогия «король – мужчина + женщина = королева» раскрывает скрытую геометрическую структуру нашего языка. Это вдохновило на смелый вопрос: имеет ли простая, повседневная арифметика свою собственную уникальную «форму»? Что, если мы будем рассматривать базовые операции, такие как «+1» и «×2», не как простые инструкции, а как движения по неизведанной карте? Но когда мы начали рисовать эту карту, мы обнаружили что-то удивительное…

Наша история начинается, как и многие современные истории о структуре и смысле, с знаменитой аналогии с векторным представлением слов:

король – мужчина + женщина = королева

Это уравнение завораживает, потому что оно предполагает, что смысл не является произвольным. У него есть форма. В мире векторного представления слов концепции, такие как «король» и «женщина», представлены как точки в высокомерном пространстве. Отношения между ними, такие как «пол» или «королевская власть», представлены как векторы — направленные линии, соединяющие эти точки. Магия параллелограмма заключается в том, что вектор от «мужчины» к «королю» почти идентичен вектору от 1 «женщины» к «королеве». Это наблюдаемое геометрическое регулярность позволяет нам ориентироваться в пространстве смысла.

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

Это привело нас к другому, более радикальному вопросу. Что, если мы будем рассматривать эту регулярность не как простое наблюдение, а как строгий, фундаментальный закон? Что, если мы построим мир, в котором отношения сами по себе являются такими же фундаментальными, как и концепции, которые они соединяют? В таком мире операция, такая как «добавить один», не была бы просто чем-то, что вы делаете с числом; это было бы первое геометрическое образование, равное самому числу. Это одно философское изменение — рассматривать концепции и отношения как равных — является истинной отправной точкой нашего путешествия. Это заставляет нас спросить: какая геометрия возникает, когда мы требуем этой идеальной, универсальной регулярности?

Первый тест: аналогия нарушается

Самое базовое место для тестирования этого нового принципа — это арифметика. Наши концепции — это числа (например, произвольное число α), а наши отношения — это операции (например, «+1» и «×2»). Если мы требуем универсальной регулярности, то порядок, в котором мы применяем эти отношения, не должен влиять на геометрию. Должен сформироваться параллелограмм.

Давайте проведем эксперимент. У нас есть два пути от α:

1. Путь 1 (применить отношение «+1», затем «×2»): (α + 1) × 2 = 2α + 2. 2. Путь 2 (применить отношение «×2», затем «+1»): (α × 2) + 1 = 2α + 1

Немедленно наш строгий принцип приводит к противоречию. Два пути не приводят к одному и тому же результату. Параллелограмм не замыкается.

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

Взрыв сложности и необходимость новой геометрии

Этот провал имеет ошеломляющее следствие. Поскольку порядок операций имеет значение, каждая уникальная последовательность операций создает отдельное арифметическое выражение. (α + 1) × 2 фундаментально отличается от (α × 2) + 1. Это приводит к комбинаторному взрыву. Количество возможных выражений растет экспоненциально с количеством операций. Представьте это как огромную, постоянно ветвящуюся «библиотеку всех возможных вычислений».

Теперь представьте, что каждое из этих уникальных выражений должно занимать уникальную область в нашем геометрическом пространстве. Сколько «места» нам потребуется? В стандартном евклидовом пространстве (плоском пространстве школьной геометрии) объем шара растет полиномиально с его радиусом (например, r² для круга, r³ для сферы). Пространство с полиномиальным ростом похоже на маленькую книжную полку; оно просто не может вместить экспоненциально растущую библиотеку. У него почти сразу же закончится место.

Это заставляет нас искать другой вид геометрии, чья емкость растет экспоненциально. Математика сама говорит нам, что наш знакомый, плоский мир не является правильной сценой для этой пьесы. К счастью, такая геометрия существует: гиперболическое пространство. Провал параллелограмма — это не ошибка; это особенность, указывающая нам прямо на кривый, гиперболический мир.

Быстрый тур по гиперболическому пространству

Итак, что такое это «гиперболическое пространство»? Легче всего понять его, начав с «плоского» евклидового пространства, которое мы все знаем. Определяющим правилом плоского пространства является параллельная теорема: через точку, не лежащую на прямой, проходит ровно одна прямая, параллельная данной прямой. Гиперболическая геометрия — это то, что происходит, когда вы меняете это правило.

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

Трудно представить это в голове, но хорошая аналогия — это поверхность седла или чипса Pringles. Эта форма имеет так называемую «отрицательную кривизну». На такой поверхности линии, которые вы могли бы считать параллельными, на самом деле изгибаются друг от друга, открывая все больше и больше пространства между ними.

Это «изгибание друг от друга» имеет драматический эффект: пространство расширяется гораздо быстрее, чем плоское пространство. Как упоминалось, площадь или объем круга в этом пространстве растет экспоненциально с его радиусом. Эта безграничная, быстро расширяющаяся природа — это именно то, что нам нужно. Это обеспечивает более чем достаточно «места» для размещения экспоненциальной сложности арифметических выражений. Визуальный способ почувствовать это — это знаменитые деревянные гравюры «Круг лимита» М. К. Эшера, которые являются художественным изображением гиперболического пространства. Обратите внимание, как ангелы и демоны кажутся уменьшенными, когда приближаются к краю, что позволяет вместить бесконечное количество их в конечный круг.

Рисование гиперболического пространства: модель верхней полуплоскости

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

Представьте стандартную 2D-плоскость с координатами (x, y). Верхняя полуплоскость — это просто вся область, где y > 0. Магия заключается в том, как мы определяем «расстояние» и «прямые линии» (геодезические) на этой карте.

• Расстояние обманчиво: геометрия искажена. Чем глубже вы находитесь в плоскости (чем меньше y), тем «меньшим» становится ваш линейка. По мере того как вы поднимаетесь к большим значениям y, ваш линейка эффективно «растет», и вы можете преодолеть то, что кажется большим расстоянием, за очень мало шагов. Ось x при y=0 — это граница, которая бесконечно далека от любой точки внутри плоскости. Путешествие от y=1 до y=0.1 гораздо длиннее, чем путешествие от y=10 до y=9.
• Прямые линии изогнуты: прямая линия — это кратчайший путь между двумя точками. На этой искажённой карте кратчайшие пути имеют две формы. Это может показаться странным, но эта модель идеально отражает все правила гиперболической геометрии. Самое важное для нас — это то, что она дает нам конкретную систему координат (x, y), на основе которой мы можем построить нашу теорию.

С учетом этого нового типа пространства мы теперь можем вернуться к нашему поиску.

Новая физика чисел: уравнение потока

Что, если вместо того, чтобы рассматривать числа как статические точки, мы представим их оценку как динамический процесс? Давайте проведем мысленный эксперимент. Представьте крошечную лодку на странном море. На эту лодку действуют две силы:

• Постоянное течение, которое всегда толкает ее в одном направлении (скажем, «на север»). Это наша аддитивная сила.
• Странное «растяжение» самой воды, которое толкает лодку «на восток» с силой, зависящей от того, насколько далеко от «южного берега» она уже находится. Это наша мультипликативная сила.

Какой путь пройдет лодка? Математическое описание этого пути называется уравнением потока: = ds da μ cos θ + aλ sin θ

Давайте разберем это уравнение, связав его обратно с нашей аналогией с лодкой:

• da/ds — это скорость нашего значения a, когда мы перемещаемся на крошечное расстояние ds в нашем геометрическом пространстве.
• μ cosθ — это аддитивный драйв. Это постоянное течение. Параметр μ — это его сила. Этот член представляет собой сложение.
• aλ sinθ — это мультипликативный драйв. Это сила «растяжения», пропорциональная текущему значению a. Параметр λ — это его сила. Этот член представляет собой умножение.
• θ — это просто направление, в котором лодка рулит. Если она рулит чисто «на север» (θ=0), она чувствует только аддитивное течение. Если она рулит чисто «на восток» (θ=90°), она чувствует только мультипликативное растяжение. Рулилка под любым другим углом смешивает две силы.

Параметры μ и λ — это как «арифметические гены» пространства, определяющие его фундаментальный характер. Это уравнение предполагает, что мы можем построить геометрическое пространство, в котором само движение кодирует арифметику. Но существует ли такое пространство на самом деле?

Ответ — да. И первый конкретный, «чудесный» пример — это математический объект, который мы называем пространством арифметических выражений первого рода (E1). Мы можем построить его на самой карте, о которой мы только что говорили: гиперболической верхней полуплоскости. На этом пространстве мы можем нарисовать сетку, где движение вдоль горизонтальных синих линий соответствует сложению, а движение вдоль вертикальных зеленых линий соответствует умножению. Перемещение влево или вправо изменяет координату x, что добавляет или вычитает из нашего значения. Перемещение вверх или вниз изменяет координату y, что масштабирует (умножает или делит) наше значение.

После всех этих абстрактных рассуждений самое удивительное то, что существует элегантная, почти шокирующе простая функция, которая присваивает значение каждой точке (x, y) на этой сетке:** a=−x/y**

Это пространство с этой сеткой и этой функцией присваивания — идеальное решение нашего уравнения потока. Абстрактная идея «потока» внезапно становится конкретной, визуализируемой реальностью. Мы нашли геометрию, которая естественно воплощает правила арифметики.

Пути как вычисления: визуальная демонстрация

Теперь, когда у нас есть эта геометрическая сцена — пространство E1 — давайте посмотрим, как оно работает. Эта сетка — не просто статическая карта; это визуальный калькулятор. Каждый путь, который вы можете нарисовать на ней, соответствует конкретному арифметическому выражению.

Давайте проследим выражение (1 × 8) – 5. Цель — начать в точке со значением 1 и прийти в точку со значением 3.

• Начните с 1: Мы находим точку на сетке, где a = -x/y = 1. Одна из таких точек — (x=-8, y=8).
• Умножьте на 8: Умножение изменяет масштаб, что соответствует движению вертикально вдоль зеленой линии. Чтобы умножить наше значение на 8, мы должны разделить нашу координату y на 8. Мы перемещаемся из точки (x=-8, y=8) прямо вниз в точку (x=-8, y=1). Давайте проверим значение здесь: a = -(-8)/1 = 8. Отлично.
• Вычтите 5: Сложение/вычитание соответствует движению горизонтально вдоль синей линии. Чтобы вычесть 5 из нашего текущего значения 8, мы должны добавить 5 к нашей координате x (из-за отрицательного знака в a = -x/y). Мы перемещаемся из точки (x=-8, y=1) вправо в точку (x=-3, y=1). Конечное значение равно a = -(-3)/1 = 3.

Путь, показанный черным цветом на диаграмме ниже, имеет простую форму буквы L.

Но это не единственный способ попасть из 1 в 3. Рассмотрим алгебраически эквивалентное выражение (1 – 5/8) × 8. Это следует совершенно другому пути (показан фиолетовым цветом):

• Начните с 1: Мы начинаем снова в точке (x=-8, y=8).
• Вычтите 5/8: Сначала мы выполняем вычитание. Чтобы вычесть 5/8, мы добавляем 5/8 к x. Но подождите, наша координата y равна 8. Формула a = -x/y означает, что значение горизонтального шага зависит от его уровня y. Чтобы вычесть значение 5/8 при y=8, мы должны изменить x на (5/8) * 8 = 5. Мы перемещаемся из точки (x=-8, y=8) в точку (x=-3, y=8). Значение здесь равно a = -(-3)/8 = 3/8.
• Умножьте на 8: Теперь мы умножаем на 8. Мы перемещаемся вертикально вниз из точки (x=-3, y=8) в точку (x=-3, y=1). Конечное значение равно a = -(-3)/1 = 3.

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

Это тайна, которую мы раскроем во второй части.

В Sapient Intelligence мы верим, что истинное новаторство часто возникает из переосмысления самых фундаментальных вопросов с новой точки зрения. Мы призываем наших исследователей приступать к амбициозным, долгосрочным исследованиям, даже в территориях, которые кажутся знакомыми. Теория, которую мы поделили, Геометрия арифметических выражений, является результатом такого путешествия, которое продолжалось почти десятилетие. Оно началось с простого, почти наивного вопроса и с тех пор расцвело в новый способ видения самой структуры вычислений.