Теорія впорядкованого патча

Початкове завдання P-2: Гільбертів простір через квантову корекцію помилок Проблема: Посилання на теорему Ґлісона як на виведення правила Борна є частково циркулярним, оскільки воно передбачає геометрію гільбертового простору, не виводячи, чому предиктивний простір набуває саме такої форми. Результат: Аналітичне виведення, яке показує, що логічна кубітна структура гільбертового простору природно постає з кодека, який діє як код корекції помилок.

Статус замикання: УМОВНА ВІДПОВІДНІСТЬ. Цей додаток окреслює міст від класичної теорії інформації до квантової механіки. Він не виводить квантові поля безпосередньо з примітивів Теорії впорядкованого патча (OPT), а натомість встановлює строгу умовну структурну відповідність: точно відображає, яким фізичним властивостям має відповідати кодек OPT, щоб із нього могла постати квантова механіка. Ми ізолюємо цей перехід в явних Мостових постулатах. За цих умов структурні гомології, відображені в T-3, підносяться до строгих операторно-алгебраїчних ізометрій, накладаючи дискретні межі Рю—Такаянаґі (P-2d) та ізолюючи правило Борна (P-2e). Органічне виведення цих постулатів із фізики рамки OPT залишається центральною відкритою проблемою теорії.

§1. Алгебраїчний виклик

У Додатку T-3 було висунуто припущення про структурний гомоморфізм між класичним алгоритмом Information Bottleneck у Теорії впорядкованого патча (OPT) та квантовими тензорними мережами MERA. Однак суто класична стохастична матриця не може ізолювати стани квантових амплітуд або виконувати унітарні операції.

Подолання межі між класичними обмеженнями пропускної здатності та квантовою алгеброю вимагає функціонального відображення цієї проблеми. Ми виокремлюємо умови, необхідні для нав’язування часткової ізометрії. Замість того щоб стверджувати мікрофізичне виведення квантового з класичних елементів, ми простежуємо точні умовні постулати, за яких ця межа відображається на фактор алгебраїчної квантової теорії поля (AQFT) і породжує топологічні ізометрії з виправленням помилок.

§2. P-2.0: Вкладення в обчислювальний базис

Перш ніж застосовувати постулати теорії поля, дискретний класичний алфавіт OPT \mathcal{Z} має бути математично відображений у квантовий обчислювальний базис.

Мостовий постулат 0 (Обчислювальний базис): Дискретні класичні стани z \in \mathcal{Z} ін’єктивно відображаються на ортонормований обчислювальний базис \{|z\rangle\}, що натягує цільовий гільбертів простір \mathbb{C}^\chi.

Теорема P-2.0: За умови Мостового постулату 0 класичні перестановочні матриці дизентанглера U_\tau \in S_{|\mathcal{Z}|} незалежно піднімаються до точних унітарних операторів, що діють на підгрупі перестановок у U(\mathbb{C}^\chi).

Ця умова забезпечує структуру дискретного алфавіту, необхідну для формального обчислення слідів на наступних скінченновимірних кроках.

§3. P-2a: Класифікація Бізоньяно—Віхмана

Щоб функціонально трактувати межу кодека як алгебраїчний квантовий горизонт, мають бути виконані суворі умови, які уможливлюють застосування теореми класифікації Бізоньяно—Віхмана.

Мостовий постулат 1 (CCR): Змінні Марковської ковдри в неперервній граничній межі задовольняють канонічні комутаційні співвідношення: [\phi(x), \pi(y)] = i\hbar\,\delta(x-y). (Необхідно, щоб трактувати межу як квантове поле з операторними значеннями).

Мостовий постулат 2 (аналогія з горизонтом Ріндлера): Граничний горизонт має глобальну лоренц-симетрію та діє на квантове поле у вакуумному стані, будучи математично аналогічним прискореному клину Ріндлера.

Мостовий постулат 3 (границі Гаага—Кастлера та властивість розщеплення): Обмежувальна алгебра послідовності підпорядковується аксіомам мережі Гаага—Кастлера в AQFT: локальності, коваріантності та властивостям додатного спектрального потоку енергії. Крім того, мережа задовольняє AQFT-властивість розщеплення, встановлюючи локальні фактори типу I, які дозволяють обмеження до скінченновимірних підпросторів.

Теорема P-2a (умовний фактор типу III_1): За виконання Мостових постулатів 1, 2 і 3 теорема Бізоньяно—Віхмана (1975) застосовується умовно. Породжений модульний потік відображається на геометричний лоренців буст. Класифікація Конна гарантує, що поле, яке структурує горизонт, діє саме як фактор фон Неймана типу III_1.

§4. P-2b: Шумостійкість і ADH-відображення

Глобально визначений фактор фон Неймана типу III_1 не допускає стандартних скінченновимірних матриць густини класу сліду. Щоб оцінити дуальність об’єм–межа, встановлену Алмгейрі, Донгом і Гарлоу (ADH), ми мусимо обмежити алгебру.

Мостовий постулат 4 (умови Кнілла—Лафламма): Послідовність класичного кодека за своєю природою утворює неперервний квантовий код виправлення помилок (QECC), що задовольняє точні межі Кнілла—Лафламма.

Теорема P-2b (умовна ADH-голографія): За BP 4 і явної регуляризації через властивість розщеплення, заданої BP 3, алгебра умовно звужується до локально скінченновимірного логічного кодового підпростору \mathcal{C}^{(\tau)}. У межах цього обмеженого підпростору зовнішній шум межі фільтрується через відображення Кнілла—Лафламма, відновлюючи локальні оператори об’єму на межі у спосіб, узгоджений з теоремою ADH.

§5. P-2c: Алгебра обмеженого сліду Стінспрінга

Математичне розв’язання стиснення даних вимагає ототожнення класичного кроку грубого зернування W_\tau з дією спряженого відображення часткової ізометрії MERA w_\tau^\dagger.

Згідно з теоремою Стінспрінга про дилатацію, цілком додатне відображення, що зберігає слід (CPTP), означає існування загальної ізометричної структури дилатації/відновлення V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E. Ця загальна теорема існування сама по собі не ототожнює класичну матрицю OPT W_\tau з самою ізометрією. Це ототожнення потребує окремого мосту.

Мостовий постулат 5 (Унітарно коваріантний шум): Шум середовища над відображеним каналом оцінюється як строго унітарно коваріантне відображення: \mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger.

Мостовий постулат 6 (Ототожнення ізометрії): Класична матриця грубого зернування W_\tau тотожно перекладається як CPTP-обчислення сліду за середовищем для спряження точної MERA-ізометрії w_\tau^\dagger.

Теорема P-2c (Умовна обмежена ізометрія): За наявності BP 4, BP 5 і BP 6 алгоритм класичного грубого зернування успішно відображається як спряження часткової лінійної ізометрії. Підхід до доведення: Точний QECC на обмеженому кодовому підпросторі (BP 4) забезпечує загальну відновлюваність. Замість того щоб стверджувати, ніби дилатація автоматично забезпечує еквівалентність внутрішнього добутку, BP 6 явно перекидає цей міст, постулюючи, що класична матриця тотожно перекладається як слідова компонента квантової дилатації. Отже, на скінченновимірному кодовому підпросторі класичне відображення операційно діє як спряження цільової MERA-ізометрії.

§6. P-2d: Рю—Такаянаґі та ранг Шмідта

Класичний каркас OPT обмежує неперервні ємності каналів, задаючи межі відображенням \chi_\text{classical} = 2^{B_0/N}. Щоб функціонувати як коректна точна розмірність гільбертового простору, а не як неперервна ефективна шкала, цільове відображення явно накладає умову цілочисельної ємності 2^{B_0/N} \in \mathbb{Z}^+.

Теорема P-2d (Умовна межа Рю—Такаянаґі): За умови успішної реалізації P-2c, яка обмежує операції точними лінійними ізометріями, розмірність класичної ємності (\chi_\text{classical}) формально встановлює квантовий ранг Шмідта (\chi_\text{quantum}) на зв’язках мережі. Ця еквівалентність строго породжує дискретну ентропійну межу Рю—Такаянаґі.

Підхід до доведення: Коли класичну матрицю умовно ототожнено зі справжньою частковою ізометрією (P-2c), розмірність відображеного каналу обмежує віртуальні геометричні зв’язки, що з’єднують вузли MERA. У квантовому стані максимальна біпартитна заплутаність через будь-яку топологічну межу явно структурується мінімальним розрізом \gamma_A, причому локальна розмірність гільбертового простору в кожному розрізі визначається рангом Шмідта відповідного зв’язку. Оскільки ємність вузького місця задає цей ранг (\chi_\text{classical} = \chi_\text{quantum}), геометрична заплутаність формально отримує строгу верхню межу через мінімальні розрізи: S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. Топологічна когерентність і сліди Ґлісона

Породження правила Борна вимагає виходу за межі статистичних діагональних імовірностей та виокремлення позадіагональних фреймів \rho_{zz'}.

Мостовий постулат 7 (Неконтекстуальність Кохена—Спекера): Призначення ймовірності, пов’язане з предиктивною вихідною гілкою, не залежить від інших взаємно співвимірних ортогональних шляхів.

Теорема P-2e (Умовне формулювання правила Борна): За BP 7, і за припущення, що проєктивні ймовірності, призначені алгоритмами OPT, утворюють повні математичні фреймові функції, теорема Ґлісона умовно виводить правило Борна.

Підхід до доведення: Мінімальні розмірні обмеження, встановлені масштабуванням скінченного дискретного базисного простору, природно задовольняють умову \dim(H) \ge 3. Якщо припустити, що імовірнісні предиктивні структури задовольняють математичні вимоги завершеної фреймової функції \mu(P), яка сумується до 1, то теорема Ґлісона (1957) стверджує, що існує лише одна коректна міра ймовірності, яка відображає простір: \mu(P) = \text{tr}(\rho_t\, P) Цей результат породжує виключно слід правила Борна, тим самим умовно підтверджуючи ймовірнісне відображення квантової матриці переходів.

Цей додаток підтримується як частина репозиторію проєкту OPT разом із theoretical_roadmap.pdf. Посилання: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).