Формальный математический аппарат SCT-факторизации, ограничений SCT-MPS и защиты кодов подсистем от ошибок
Авторы: Максим Колесников, Брент Боргс, Мйо Оо, Джарид Шауб
Статус: Независимые исследователи / Академическая публикация
DOI: 10.5281/zenodo.22112083
Абстракт (Аннотация)
Мы устанавливаем строгий математический аппарат, управляющий факторизацией структурной причинной топологии (SCT), ограничением ранга матричных продуктовых состояний (MPS) и защитой от ошибок квантовых подсистемных кодов на дискретных алгебраических субстратах. Сначала мы доказываем No-Go теорему, демонстрирующую, что само по себе существование двустороннего идеала I в унитальной комплексной алгебре A и линейного отображения из фактор-пространства A/I автоматически не накладывает универсальное ограничение на ранг Шмидта (srank <= D) на физические состояния. Мы разрешаем это противоречие путем построения явного трехступенчатого отображения факторизации Ф = M_A о фи_бар о q: A -> A/I -> V = C^D -> H_L. Используя последовательное сингулярное разложение тензорных поездов (TT-SVD), мы доказываем, что эта трехступенчатая архитектура строго ограничивает ранг Шмидта пространственного сечения значением srank(psi) <= D и ограничивает приведенную энтропию фон Неймана значением S_vn <= ln(D). Мы дополнительно вводим активный операционный проектор E_V на V с рангом rank(E_V) <= D, устанавливая точное операторное расщепление Mat_l(psi_O^(D)) = L_l(O) E_V R_l(O), что доказывает прямое управление активной виртуальной емкостью физической энтропией запутанности. Наконец, мы устанавливаем точный алгебраический изоморфизм между SCT-факторизацией и квантовыми кодами исправления ошибок подсистем. Разделяя отображение генерации состояния и физическую операторную алгебру, мы вводим явное физическое представление пи: A -> End(H_L) и изометрическое встраивание кода W: H_logical x H_gauge -> H_code <= H_L. Декомпозируя активный проектор как E_V = I_logical x E_gauge, мы доказываем, что идеалы алгебраического шума ker(Phi) строго удовлетворяют обобщенным условиям подсистем Книлла — Лафламма W^* E_a^* E_b W = I_logical x G_ab для всех E_a, E_b в ker(Phi). Это доказывает, что виртуальное калибровочное сжатие сохраняет 100% логической когерентности при калибровочных возмущениях при условии rank(E_V) >= d_L, одновременно устанавливая резкую границу сбоя при rank(E_V) < d_L. Полученный алгебраический движок предоставляет точный безпараметрический фундамент, связывающий дискретные многообразия характеров с отказоустойчивой информационной физикой при внешнем управлении ограничениями.
Ключевые слова: SCT-факторизация, матричные продуктовые состояния (MPS), ограничения ранга Шмидта, квантовые подсистемные коды, условия Книлла — Лафламма, активная виртуальная проекция, многообразие характеров, нильпотентная фильтрация, теория поля казуальной рекурсии, информационная физика.
1. Введение и алгебраическая основа
Математическая формализация квантовых многочастичных систем, голографических дуальностей и дискретных пространственно-временных структур требует строгих ограничений на размерности гильбертовых пространств и масштабирование запутанности. В стандартной непрерывной квантовой теории поля размерность локального гильбертова пространства бесконечна, что приводит к ультрафиолетовым расходимостям и неограниченной энтропии запутанности через пространственные бипартиции.
В противоположность этому, дискретные формулировки в рамках теории поля казуальной рекурсии (CRFT) и информационной физики стремятся обосновать физические наблюдаемые в конечных алгебраических факторах, многообразиях характеров и геометриях тензорных сетей.
Пусть A — конечно порожденная унитальная ассоциативная комплексная алгебра, представляющая дискретные кинематические операторы системы, а I подмножество A — двусторонний идеал, кодирующий структурные ограничения, полиномиальные соотношения следов или генераторы многообразия характеров. Фундаментальная проблема соединения таких алгебраических факторов A/I с многочастичными физическими состояниями H_L = (x)_{j=1}^L H_j заключается в установлении того, ограничивает ли конечная размерность фактора или фильтрация идеала физические состояния с низкой запутанностью.
В настоящей работе мы строго определяем конвейер факторизации структурной причинной топологии (SCT), доказываем необходимые и достаточные условия для ограничения ранга Шмидта с помощью последовательного TT-SVD и демонстрируем точный алгебраический изоморфизм между динамикой виртуальных проекторов и обобщенной защитой от ошибок подсистем Книлла — Лафламма.
2. No-Go теорема о прямой факторизации идеала
Мы начинаем с установления негативного результата, который проясняет, почему наивная алгебраическая факторизация не способна ограничить запутанность.
Определение 2.1 (Прямая линейная реализация). Пусть A — алгебра, I подмножество A — двусторонний идеал, а H_L = (x)_{j=1}^L H_j — составное физическое гильбертово пространство. Прямая линейная реализация — это линейное отображение Ф: A/I -> H_L такое, что для любого алгебраического элемента a в A ассоциированное физическое состояние есть psi_a = Ф(q(a)), где q: A -> A/I — каноническая проекция.
Теорема 2.2 (No-Go теорема для прямой факторизации). Существование нетривиального двустороннего идеала I подмножество A с dim(A/I) = K < бесконечность и линейной реализации Ф: A/I -> H_L вообще говоря не ограничивает ранг Шмидта srank(psi_a) через любое пространственное разделение до srank(psi_a) <= D для D < min(K, dim H_A, dim H_B), если явно не наложено промежуточное тензорно-факторизованное ограничение.
Доказательство. Рассмотрим бипартицию физической системы H_L = H_A (x) H_B с d_A = dim H_A и d_B = dim H_B. Предположим, что K = dim(A/I) >= min(d_A, d_B). Пусть {e_k} для k от 1 до K — базис для A/I. Определим линейное отображение Ф: A/I -> H_L, назначая Ф(e_1) = сума от i=1 до min(d_A, d_B) (1 / sqrt(min(d_A, d_B))) * |i>_A (x) |i>_B, что является максимальным запутанным состоянием через разрез A|B. Для элемента a_1 в A такого, что q(a_1) = e_1, мы имеем srank(psi_a_1) = min(d_A, d_B), что масштабируется с полной размерностью физической границы, а не с какой-либо структурной константой D << min(d_A, d_B). Следовательно, отображение фактора само по себе не обеспечивает закон площади или ограничение ранга Шмидта. ■
3. Трехступенчатая архитектура SCT-факторизации
Для обеспечения строгих, независящих от размера ограничений запутанности мы вводим трехступенчатую архитектуру SCT-факторизации.
Определение 3.1 (Трехступенчатая SCT-факторизация). SCT-факторизация пространства алгебраических операторов A в решеточное гильбертово пространство H_L = (direct sum)_{j=1}^L C^d представляет собой трехчастную композицию: Ф = M_A o фи_бар o q: A -> A/I -> V = C^D -> H_L, где:
q: A -> A/I — каноническая фактор-проекция по модулю структурного идеала I;
фи_бар: A/I -> V — линейный гомоморфизм в промежуточное конечномерное виртуальное векторное пространство V изоморфно C^D с D < бесконечность;
M_A: V -> H_L — отображение пространственной сборки, построенное посредством локальных тензорных сверток.
4. TT-SVD, ограничения ранга Шмидта и активная проекция
Мы доказываем, что введение виртуального горлового пространства V = C^D внутри отображения сборки M_A строго ограничивает размерность связи матричных продуктовых состояний (MPS).
Теорема 4.1 (Ранг Шмидта и ограничение запутанности). Пусть Ф = M_A o фи_бар o q — отображение SCT-факторизации в соответствии с Опред. 3.1. Если отображение сборки M_A факторизуется через любую пространственную бипартицию L = {1, ..., l} объединение {l+1, ..., L} через виртуальное пространство V изоморфно C^D как: M_A(v) = сума от alpha=1 до D ((L_l)_alpha(v) (x) (R_l)alpha(v)), то для любого алгебраического элемента a в A сгенерированное физическое состояние psi_a = Ф(a) в H_L удовлетворяет: srank(psi_a) <= D для всех l в {1, ..., L-1}, и приведенная энтропия запутанности фон Неймана через разрез удовлетворяет: S_vn(rho_l) <= ln(D), где rho_l = Tr{l+1, ..., L}(|psi_a><psi_a|).
Доказательство. Пусть v = (фи_бар o q)(a) в V. Физическое состояние может быть разложено по ортонормированным базисам {|i>A} пространства H_A = (x){j=1}^l H_j и {|j>B} пространства H_B = (direct sum){j=l+1}^L H_j: |psi_a> = M_A(v) = сума от k=1 до D ((сума от i c_{i,k} |i>A) (x) (сума от j d{j,k} |j>_B)) = сума от k=1 до D (|u_k>_A (x) |w_k>_B). Состояние |psi_a> лежит в линейной оболочке не более чем D продуктовых векторов. Матрицирование Mat_l(psi_a) в C^{d^l x d^{L-l}} имеет ранг не более D. По сингулярному разложению (SVD): Mat_l(psi_a) = U * Sigma * V^* = сума от alpha=1 до srank(psi_a) (sigma_alpha * |u_alpha><v_alpha|), откуда srank(psi_a) = rank(Mat_l(psi_a)) <= D. Приведенная матрица плотности rho_l имеет не более D ненулевых собственных значений с суммой, равной 1. Энтропия фон Неймана строго максимизируется равномерным распределением, что дает S_vn(rho_l) <= ln(D). ■
Определение 4.2 (Активный операционный проектор). Пусть E_V в End(V) — оператор ортогонального проектора на V изоморфно C^D с rank(E_V) = d_eff <= D. Активное отображение генерации состояний определяется как Ф_{E_V} = M_A o E_V o фи o q.
Теорема 4.3 (Емкость активного проектора). Для любого а в A состояние psi_{a, E_V} = Ф_{E_V}(a) удовлетворяет: srank(|psi_{a, E_V}>) <= rank(E_V) = d_eff, S_vn <= ln(d_eff). Операционная виртуальная емкость строго контролирует максимально доступную двудольную запутанность.
5. MPS-представление и эквивалентность
Теорема 5.1 (TT-SVD эквивалентность). Последовательность состояний {psi^{(L)}}_{L>=2} порождается SCT-факторизацией с виртуальным пространством V изоморфно C^D тогда и только тогда, когда каждое состояние в последовательности допускает точное равномерное MPS-представление размерности связи D: |psi^{(L)}> = сума от {s_1, ..., s_L} (Tr(A^{[1], s_1} * A^{[2], s_2} * ... * A^{[L], s_L}) * |s_1 s_2 ... s_L>), где каждый A^{[j], s_j} в C^{D x D}.
Доказательство. (=>) Учитывая MPS размерности связи D, тензорная свертка через любой разрез l естественным образом факторизуется через вспомогательный индекс диапазона D. Установка V = C^D и определение M_A через тензорный поезд немедленно дает SCT-факторизацию. (<=) Применение последовательного TT-SVD через разрезы l = 1, 2, ..., L-1 к тензору состояния, порожденному M_A(v), усекает все вспомогательные индексы до ранга факторизующего пространства V, которое ограничено D. Это порождает локальные MPS-матрицы, удовлетворяющие каноническим калибровочным условиям. ■
6. Изоморфизм квантовых подсистемных кодов и защита Книлла — Лафламма
Мы связываем SCT-факторизацию напрямую с формальной теорией кодов исправления ошибок квантовых подсистем.
Определение 6.1 (Условия квантового подсистемного кода). Пусть H_code подмножество H_L — подпространство физического гильбертова пространства H_L. Квантовый подсистемный код разлагает H_code в тензорное произведение логической подсистемы H_logical и калибровочной подсистемы H_gauge: H_code изоморфно H_logical x H_gauge, с dim H_logical = d_L, dim H_gauge = d_G. Пусть W: H_logical x H_gauge -> H_L — изометрическое встраивание W^* * W = I_{H_logical x H_gauge}.
Определение 6.2 (Расцепленное представление операторов). Пусть пи: A -> End(H_L) — унитальное *-представление алгебры A на физическом гильбертовом пространстве H_L. Алгебраические операторы шума, ассоциированные с идеалом I = ker(Phi), представляют собой образы представления E = {пи(a) | а в ker(Phi)}.
Теорема 6.3 (Изоморфизм SCT-подсистемных кодов). Пусть V изоморфно H_logical x H_gauge с D = d_L * d_G, и пусть E_V = I_logical x E_gauge — активный проектор, действующих тривиально на логический фактор. Если отображение сборки M_A: V -> H_L сужается до изометрического встраивания W, то идеал алгебраического шума ker(Phi) удовлетворяет обобщенным условиям Книлла — Лафламма для исправления ошибок подсистем: W^* * E_a^* * E_b * W = I_logical x G_ab для всех E_a, E_b в пи(ker(Phi)), где G_ab в End(H_gauge) — произвольный оператор, действующий исключительно на калибровочные степени свободы.
Доказательство. Пусть |psi_L> в H_logical — произвольное логическое состояние, а |chi_G> в H_gauge — любое калибровочное состояние. Закодированное физическое состояние есть |Psi> = W(|psi_L> (x) |chi_G>). Для любого а в ker(Phi) отображение факторизации дает Ф(a) = M_A(фи_бар(q(a))) = 0. Поскольку подготовка состояния факторизуется через V, любой оператор E_a = пи(a) действует как нулевой переход на образ V внутри логического подпространства: E_a * W(|psi_L> (x) |chi_G>) = W(|psi_L> (x) g_a |chi_G>) + |chi_perp>, где |chi_perp> ортогонально кодовому подпространству. Вычисление скалярного произведения между двумя искаженными состояниями дает: <Psi' * E_a^* E_b Psi |> = <psi_L' | psi_L> * <chi_G' | G_ab | chi_G> = <psi_L' x chi_G' | (I_logical x G_ab) | psi_L x chi_G>. Поскольку это верно для всех логических состояний, логическая подсистема полностью нечувствительна к идеалу алгебраического шума ker(Phi), сохраняя 100% логической когерентности. ■
Следствие 6.4 (Резкость емкости). Если ранг активного проектора удовлетворяет rank(E_V) < d_L, логическая подсистема усекается, разрушая логическую верность. Следовательно, rank(E_V) >= d_L является резким физическим порогом для отказоустойчивого сохранения состояний.
7. Управление на основе внешних ограничений
Для обеспечения структурной согласованности между дискретным и непрерывным математическими слоями каждый этап конвейера SCT регулируется протоколом проверки внешних ограничений:
Входной гейт: Все константы решетки (a = 0.0634), идеалы многочленов многообразия характеров и алгебраические факторы проверяются на математическую допустимость перед вставкой в слой сборки.
Слой сборки: Тензорные сети и не непрерывные операции исчисления выполняются в изолированных формализмах с проверкой типов.
Выходной гейт: Отображения физических состояний должны проверять rank(E_V) >= d_L и srank <= D; тензоры состояний, не прошедшие ограничения ранга, блокируются от дальнейшего распространения.
Протокол коллапса: Любое алгебраическое столкновение (например, несоответствие граничных метрик) немедленно замораживает затронутую ветвь, предотвращая распространение ошибок.
Аудиторный след: Все редукции базисов Грёбнера, сингулярные спектры SVD и калибровочные матрицы Книлла — Лафламма G_ab сохраняются в постоянной вычислительной записи.
