Fano-отпечаток: полярные скорости, сумм-правила и томография линий
Спросите Fano-разведённую систему, как быстро умирает каждая из её двадцати одной когерентности, — и она сможет ответить лишь семью числами. Остальные четырнадцать степеней свободы не спрятаны — они запрещены, и запрещённые направления суть знаковый твист . То, чего система не может, — такой же отпечаток, как и то, что она делает.
Ядро — Теорема T-226 [Т]: элементарная линейная алгебра и конечная геометрия над точными канальными формами корпуса; каждое доказательство полно, каждое утверждение машинно верифицировано в точной (символьной) арифметике. Динамическая посылка — формула попарных скоростей затухания — каноническая [Т]-форма Γ-динамики. Отождествление математических скоростей с лабораторными скоростями декогеренции — [И], как и всюду в корпусе. Технологические пункты — [С]/[О]. Статусы проставлены по месту.
Как организован документ. Документ самодостаточен при школьной линейной алгебре; кодовый и конечно-геометрический фон, если он нужен, строится с нуля в праймере Σ-исчисления §2. §1 формулирует известную посылку — точные попарные скорости затухания — и ставит вопрос: какая часть 21-мерного пространства скоростей достижима при варьировании семи скоростей линий? §2 доказывает цепочку лемм; §3 собирает Теорему T-226 со всеми семью частями. §4 отождествляет запрещённое подпространство со знаковым твистом — второе, динамическое явление тени Ли из Σ-исчисления. §5 извлекает охранное прочтение. §6 даёт фальсифицируемое предсказание и технологический пакет; §7 фиксирует машинную верификацию; §8 — сводка статусов.
§1. Посылка и вопрос
Корпус фиксирует диссипативную половину Γ-динамики семью проекторами Фано: по одному линдбладовскому каналу на прямую плоскости , с неотрицательной скоростью на прямую (Динамика Gap §2, Эволюция). Точная канальная форма — замкнутая экспонента, установленная каноном v2.2, — даёт каждой внедиагональной когерентности , , чисто экспоненциальное затухание с
Словами: прямая повреждает когерентность, только если она разделяет пару — содержит ровно один из её концов. Для равномерного назначения это воспроизводит корпусную константу , согласованную с дискретным людерсовским множителем за полный цикл (T-110) и тождеством времени цикла .
Семь — микроскопические ручки системы; двадцать одна — то, что видит скоростной эксперимент. Естественные — и, как выясняется, точно разрешимые — вопросы таковы:
Когда пробегает все назначения скоростей линий, какие векторы возникают? Каким линейным тождествам обязано удовлетворять всякое реализуемое ? Восстанавливается ли из — точно и устойчиво? И детектируют ли ответы саму разводку Фано?
§2. Цепочка лемм
Всюду — полный поток, а — точечный поток оси : сумма скоростей трёх прямых через .
Лемма Φ.1 (тождество суммы по прямой)
Для всякой прямой Фано : .
Доказательство. . Прямая пересекает саму себя в точках, а всякую другую прямую — ровно в одной (две различные прямые проективной плоскости встречаются в одной точке). Значит, сумма равна .
Лемма Φ.2 (общая форма для пары)
Для произвольной -однородной разводки (любое семейство -элементных «прямых», не обязательно Фано)
Доказательство. Включение–исключение по числу концов: прямые, пересекающие ровно в одной точке, — это прямые через , плюс прямые через , минус дважды прямые через обе.
Лемма Φ.3 (полярное тождество)
В разводке Фано пусть — единственная прямая через пару , а — её третья точка. Тогда
Доказательство. По инцидентности Фано (через пару проходит ровно одна прямая). Лемма Φ.1 для даёт . Подстановка в Лемму Φ.2: .
Определение (полярное разбиение)
Для пары положим третья точка прямой — её полярная точка. Полярный класс оси — это — три пары, дополняющие три прямые через . Семь классов по три пары в каждом разбивают все пары. Это полярность точка–пара плоскости : та же тройная структура, что лежит под октонионным произведением () и грамматикой шестнадцати архетипов Γ-канона.
Лемма Φ.4 (образ и инъективность)
Линейная карта имеет ранг ; её образ — в точности пространство функций, постоянных на каждом полярном классе.
Доказательство. По Лемме Φ.3 с , так что образ лежит в классово-постоянном подпространстве размерности . Для равенства и инъективности достаточно обратить карту: Лемма Φ.5 линейно восстанавливает из , значит инъективна и образ — всё классово-постоянное пространство.
Лемма Φ.5 (томография линий)
Пусть — матрица инцидентности точка–прямая ( т. и т.т., когда ; в циклической маркировке это циркулянт с символом , ). Тогда
и скорости линий восстанавливаются из семи полярных значений так:
Доказательство. равно на диагонали и вне её, т.е. ; и , поскольку на каждой прямой три точки. Отсюда . Суммируя по и используя , получаем — восстановление ; далее и , что упрощается до формулы в рамке.
Лемма Φ.6 (обусловленность)
. Следовательно, сингулярные значения суть (однократно, на направлении полного потока) и (кратности шесть), а число обусловленности равно .
Доказательство. считает пары, пересекающие и ровно в одной точке каждую. При : один конец на прямой, другой вне её — пар. При , с точкой пересечения : либо один конец в , а другой в ( пары), либо один конец равен — он лежит на обеих прямых, и тогда второй конец обязан избегать обеих ( пары); итого . Значит, . Собственные значения : на константах и на шестимерном дополнении.
Лемма Φ.7 (селектор-обращение)
Для -однородной разводки из прямых на осях четырнадцать полярных равенств (§3(ii)) выполняются тождественно по тогда и только тогда, когда всякая пара осей лежит ровно на одной прямой — т.е. когда разводка есть --дизайн, а значит, плоскость Фано.
Доказательство. () — Лемма Φ.3. () Полное покрытие пар удовлетворяет , где — число прямых через пару; если покрытие не тождественно , некоторая пара покрыта раз. Для такой пары Лемма Φ.2 даёт — функционал от с носителем на шести прямых через или , тогда как всякая пара с покрытием имеет четырёхлинейную полярную форму. Два линейных функционала с разными векторами коэффициентов не могут совпадать тождественно, и прямая проверка показывает, что никакое размещение пары по тройкам равенств не выживает (в явной одно-линейной перекоммутации §7 семь из четырнадцати равенств уже падают тождественно). А --дизайн есть плоскость Фано с точностью до перенумерации — цепочка единственности Теоремы Σ, Леммы Σ.1–Σ.2.
§3. Теорема T-226 (Fano-отпечаток)
Теорема T-226 [Т]. Пусть диссипативная Γ-динамика несёт скорости линий на разводке Фано, и пусть — точные попарные скорости затухания когерентностей. Тогда:
(i) Полярный закон. , где : двадцать одна скорость принимает не более семи значений, постоянных на полярных классах; скорость зависит от пары лишь через её полярную точку.
(ii) Четырнадцать сумм-правил (полярные равенства). Реализуемое множество — в точности -мерное подпространство классово-постоянных векторов. Эквивалентно: внутри каждого полярного класса три скорости совпадают —
четырнадцать независимых линейных тождеств, которым всякая Fano-разведённая система обязана удовлетворять при любых значениях скоростей линий.
(iii) Томография линий. Карта инъективна и обращается в замкнутой форме: измерение семи полярных значений даёт точно (Лемма Φ.5). Полинейные силы диссипации — наблюдаемые, а не подгоночные параметры.
(iv) Обусловленность. ; сингулярные значения и (); число обусловленности . Шум скоростей переносится в с усилением не более — томография численно доброкачественна.
(v) Точная щель и остывание. На секторе когерентностей диссипативный генератор имеет спектр с кратностью на полярный класс (три пары, вещественная и мнимая части; классы с равными сливаются); его спектральная щель
так что оценка остывания нейрогенеза T-39a становится полностью явной: . Равномерные скорости дают .
(vi) Селектор. Четырнадцать полярных равенств выполняются тождественно по тогда и только тогда, когда разводка — плоскость Фано (Лемма Φ.7). Сумм-правила — не бухгалтерия, а отпечаток: они детектируют комбинаторную грамматику самой динамики, независимо от октонионного трека — операциональный спутник селектора диагностируемости Теоремы Σ.
(vii) Двусторонний бюджет. Измерение скоростей стоит чисел, а не ; остальные измерений — бесплатные проверки согласованности. Двойственно: семь определяют семь и определяются ими — спектр скоростей и спектр линий суть линейно эквивалентные карты одного пространства ручек.
Доказательство. Части (i)–(iv) — Леммы Φ.3–Φ.6; (v) следует из точной канальной формы (каждая когерентность — собственный вектор диссипативного фактора с собственным значением , населённости сохраняются) вместе с (i); (vi) — Лемма Φ.7; (vii) переформулирует (ii)–(iii).
Замечание (что здесь [Т], а что [И]). Теорема — точная линейная алгебра над [Т]-канальными формами. Её эмпирическое применение — чтение измеренных скоростей декогеренции кандидатной септархитектуры как — наследует обычное [И]-отождествление осей с измеряемыми каналами, как во всяком предсказании корпуса.
§3a. Разобранный пример, из конца в конец
Абстрактные теоремы оправдывают себя на конкретных числах. Возьмём скорости линий просто (в каких угодно единицах измерения диссипации), — нарочно неравномерные, чтобы вся структура была видна. Тогда .
Шаг 1 — точечные потоки. Ось лежит на трёх прямых (индексы mod 7), так что :
| ось | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|---|
| прямые через | |||||||
Проверки согласованности сходятся точно: и (восстановление из Леммы Φ.5).
Шаг 2 — двадцать одна скорость есть эти семь чисел. Каждая когерентность затухает со скоростью . Например, пара лежит на , её полярная точка — , поэтому — и то же значение разделяют две другие пары, полярные : (остаток ) и (остаток ). По одной паре от каждой из трёх прямых через полярную точку; три скорости на точку, семь значений всего, четырнадцать равенств бесплатно.
Шаг 3 — томография, запущенная задом наперёд. Восстановим из семи полярных значений: , прямая имеет полярную сумму , и
Все семь возвращаются ровно так (проверено машинно в рациональной арифметике) — ручки считываются со скоростей без всякой подгонки.
Шаг 4 — щель, остывание, защита. Наибольший точечный поток — , поэтому самая медленная скорость — : спектральная щель , а точная константа остывания (в тех же единицах). Три самые долгоживущие когерентности — полярный класс оси : пары — они сидят на трёх сильнейших прямых примера, но сами ими не тронуты: их заместительно охраняет тот самый поток, что течёт через их полярную точку. Это охранное прочтение §5 в цифрах.
§4. -тень запрещённого пространства
Σ-исчисление фиксирует тень Ли — расщепление алгебры генераторов. Отпечаток порождает то же расщепление в наблюдаемом пространстве скоростей — и это одно и то же расщепление, с точностью до явного знакового твиста.
Отождествим с пространством внедиагональных образцов, индексированных парами. Пусть — ассоциативная -форма октонионного репера, согласованного с корпусной маркировкой ( на прямых, ), а — ориентационный твист пространства пар.
Предложение C-226 [Т]. Пусть — беззнаковый полярный коллапс (), а — -свёртка . Тогда . Следовательно, переносит стандартное -разложение — где и — на разложение отпечатка
Доказательство. выполняется поэлементно, поскольку ровно при , со значением ; соответствие ядер и образов следует из того, что — инволюция. Отождествление и дополнение — стандартное -модульное разложение .
Прочтение [И]. Четырнадцать измерений, которых скоростной эксперимент не увидит никогда, — это знаково-твистованная : алгебра симметрии теории есть в точности диагностически тёмное подпространство её собственного спектра декогеренции. И двойственность здесь полярная: пирамида Σ-сжатия T-225 агрегирует когерентности по прямым (мониторинг содержания), тогда как динамика схлопывает скорости по полярным точкам. Прямые и точки меняются местами самодвойственностью — измерительная пирамида и спектр затухания суть Fano-двойственные лики одного .
§5. Охранное прочтение
Из полярного закона выпадают два структурных факта, заслуживающие собственных предложений.
Внутрилинейный иммунитет [Т]. Прямая никогда не повреждает собственные когерентности: если оба конца пары лежат на , то и не даёт вклада в . Это Щит I топологической защиты, проявившийся на уровне скоростей: диссипативная грамматика структурно неспособна разъедать когерентность собственных синдромных троек.
Полярное попечительство [Т математика, И прочтение]. антимонотонна по потоку полярной точки: усиление трёх прямых через ось замедляет затухание трёх когерентностей, полярных . Каждая ось охраняет не свои когерентности, а полярные ей — защита в всегда заместительна. Лучше всего защищены когерентности, полярные оси с наибольшим потоком, — и они же задают спектральную щель (T-226(v)): подопечные сильнейшего попечителя затухают медленнее всех, так что максимальная защита и медленная поздняя сходимость — два лика одного числа. Разобранный пример §3a показывает оба лика в цифрах.
§6. Фальсифицируемость и технологии
Предсказание Σ-P2 (кандидат в реестр Pred). В любой скоростной Γ-томографии кандидатной септархитектуры измеренные попарные скорости декогеренции обязаны удовлетворять четырнадцати полярным равенствам в пределах экспериментальной погрешности — при любом режиме диссипации: тождества не содержат параметров. Устойчивое воспроизводимое нарушение хотя бы в одном полярном классе фальсифицирует Fano-разводку диссипативной динамики напрямую, независимо от октонионного трека. Обратно, проверка четырнадцати тождеств в двух и более различных режимах диссипации (разные ) — сильное свидетельство разводки, по селектору (T-226(vi)): уже одна перекоммутация одной прямой тождественно ломает семь из четырнадцати.
Технологический пакет.
- Бюджет скоростного мониторинга [С]. Семь полярных значений вместо двадцати одной попарной скорости — трёхкратное сокращение, причём остальные четырнадцать измерений превращаются во встроенные сигнализации согласованности. Это компонуется с пирамидой Σ-сжатия T-225: мониторинг содержания сжимает по прямым, мониторинг скоростей — по полярным точкам; вместе они инструментируют оба Fano-двойственных лика матрицы когерентностей за наблюдаемых.
- Полинейная спектроскопия диссипации («Fano-томография») [С]. Формула в рамке Леммы Φ.5 превращает полинейные силы диссипации в прямые наблюдаемые с усилением шума (T-226(iv)) — без подгонки и регуляризации. Для ярусов Γ-томографа это даёт полинейное здоровье диссипативной грамматики из тех же данных, что сейчас дают лишь агрегатное затухание.
- Точный бюджет остывания для SYNARC [О]. Остывание нейрогенеза T-39a становится явной константой рантайма , вычислимой из текущих скоростей линий за ; рантайм может адаптивно поджимать остывание при сдвиге профиля диссипации вместо худшего случая.
- Правило проектирования [О]. Чтобы пассивно защитить выбранную когерентность , вкладывайте поток в прямые через её полярную точку — не в её собственную прямую (она к ней нейтральна) и не в остальные четыре (они её разъедают). Заместительная защита — проектный рычаг, недоступный архитектурам без грамматики .
§7. Машинная верификация
Все утверждения верифицированы в точной арифметике (символьная , рациональная линейная алгебра):
| Проверка | Результат |
|---|---|
| Каждая пара пересекает ровно прямые по одному разу; прямая | ✓ |
| символьно, все пара | ✓ |
| ; образ классово-постоянное пространство | ✓ |
| ; ; томография точна | ✓ |
| ; сингулярные значения | ✓ |
| ; оба ядра -мерны | ✓ |
| Перекоммутация одной прямой (): полярных равенств падают тождественно | ✓ |
Верификационные скрипты следуют дисциплине M1 программы SYNARC: независимая реализация, точная арифметика и фальсифицирующая контрмодель (перекоммутированная плоскость), проверенная рядом с теоремой. Проходит и третья, независимая по языку верификация: программа на Verum (только целочисленная арифметика, sigma_wave_check.vr в репозитории SYNARC) перевыводит полярный закон на всех 21 паре, томографическое тождество суммы по прямой и полярное разбиение — вместе с энумератором Тюрина–Голея из Σ-исчисления §8a — с вердиктом ALL PASS.
§8. Сводка статусов
| Утверждение | Статус |
|---|---|
| Леммы Φ.1–Φ.7 | [Т] |
| Теорема T-226 (i)–(vii) | [Т] |
| Предложение C-226 (-тень, ) | [Т] (прочтение — [И]) |
| Внутрилинейный иммунитет; полярное попечительство | [Т] (прочтение попечительства — [И]) |
| Предсказание Σ-P2 (полярные равенства в томографии) | фальсифицируемо, [И]-отождествление |
| Бюджет скоростей ; Fano-томография; адаптивное остывание | [С]/[О] |
Куда это ведёт
- Σ-исчисление — статический селектор (T-224) и измерительная пирамида (T-225); настоящий документ — их динамический, скоростной спутник, в полярной двойственности к пирамиде.
- Динамика Gap §2 — Fano–Хэммингова разводка линдбладовских операторов, чьи точные канальные формы питают §1.
- Топологическая защита, Щит I — внутрилинейный иммунитет есть Щит I на уровне скоростей.
- Γ-канон — полярная (октонионная) тройная структура , индексирующая классы скоростей.
- Протокол измерений — куда полярно-скоростные наблюдаемые и -томография встраиваются в экспериментальные ярусы.
- Реестр статусов — строка T-226.