Перейти к основному содержимому

Символические соответствия

Для кого эта глава

Операционализация мостов между символическими системами и Gap-формализмом: протокол обратной проекции и таблицы соответствий.

Операционализация мостов между символическими системами и Gap-формализмом: протокол обратной проекции, конкретные таблицы соответствий и программа эмпирической верификации.

Статус [П] — с журналом выполнения

Таблицы соответствий конструктивны; программа верификации §6 писалась до первого прибора. С тех пор существенная её часть выполнена в holon-лаборатории — в §0 сведено, что теперь измерено, что умерло и что заменило исходные дизайны. Раздел 6 сохраняет историческое предложение протокола с явным уточнением; §7 задаёт пересмотренный контракт совместной согласованности.

0. Состояние выполнения (2026-08)​

Программа ниже задумывалась под интервью-инструменты. Реально выросшая лаборатория (программа HomoHoloGraph) жёстче: детерминированные движки, пререгистрированные нули, реплика до статуса. Журнал честно:

Исходный дизайнЧто реально прогнаноВердикт
H-SC1: знак зодиака ↔ когерентности чертНатал→черта на сильнейшем внешнем корпусе: Гоклен-класс, n=15 931n=15\,931Нуль (все η2<0.5%\eta^2 < 0.5\%) — сильнейшая форма H-SC1 мертва; детали
H-SC2: обратная проекция ицзинаВместо этого вскрыто колесо: HD = сэмплер по алфавиту гексаграмм с эфемеридными часами; закон антиподов 32/32, Грей-локальность, MI центр–триграмма — всё [Т-вычислено]Структура — настоящая математика; человеческий слой по исходному дизайну не проверен
H-SC3: межсистемная согласованностьТеоремы о решётках: сетки накшатр/пад/навамш не вкладываются в родные линии [Т]; дуэль сидерика-vs-тропика на событиях и 3 000 смертяхСистемы — не проекции одной решётки; системы долгот неотличимы от случая на датах — вопрос согласованности растворился, а не решился
Тайминг-утверждения (неявные во всех таблицах)Полная оракул-программа: 5 масочных оптик + дистрибуционные тесты + ML-детектор информации на корпусах смертейНуль по всему фронту для утверждений уровня дат; один [И]-след (марака) живёт в конвертах вперёд
Чакра-опросник (§6.2)Заменён родным стеком приборов: дневник голосов, томограф, пассивный канал наблюденийРодной алфавит сделал заимствованный опросник ненужным

Где программа живёт теперь: онтологическое место символических систем — в Символических системах §10; родная система, построенная из ядра наружу, — Γ-Канон плюс слой родных сезонов; машинерия валидации вперёд (запечатанные конверты, дуэли двух движков) заменяет ретроспективные корреляционные дизайны — ретроспектива на этом классе данных исчерпана честно.


1. Обратная проекция как задача с ограничениями​

1.1 Задача​

Сначала задаются проекция, её область и контракт структурных ролей. Для наблюдения cc в системе SS обратным объектом является слой, который может быть пустым:

FS(c)={Γ∈D(C7):πS(Γ)=c}.\mathcal F_S(c)=\{\Gamma\in\mathcal D(\mathbb C^7):\pi_S(\Gamma)=c\}.

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

1.2 Алгоритм​

  1. Ввод: сохраняются описание, источник, время и конкретная символическая конвенция.
  2. Перевод: ограничения выводятся только через заявленное соответствие. Название карты или повествование сами не дают измеренного численного значения когерентности.
  3. Совместимость: накладываются эрмитовость, единичный след, положительная полуопределённость и переведённые ограничения. Ограничения, зависящие от Фано, добавляются только при наличии явной модели; инцидентность сама не заполняет элементы матрицы.
  4. Дополнение: для непустого компактного выпуклого допустимого множества с аффинными ограничениями наблюдений возможен выбор
Γ∗=arg max⁡Γ∈FS(c)S(Γ),S(Γ)=−Tr⁡(Γln⁡Γ).\Gamma^*=\operatorname*{arg\,max}_{\Gamma\in\mathcal F_S(c)}S(\Gamma),\qquad S(\Gamma)=-\operatorname{Tr}(\Gamma\ln\Gamma).

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

  1. Вывод: фиксируются допустимые ограничения, неопределённость, правило выбора и полученная карта прозрачности. Для прогнозов нужна калиброванная модель наблюдения и динамики.

1.3 Разобранный пример: расклад из трёх арканов [И]​

Рассмотрим упорядоченное повествование «Шут; Влюблённые; Башня». В иллюстративной конвенции главы оно указывает на референтное состояние I/7I/7, пару AEAE и пару DSDS. Собственные роли этих связей остаются каноническими ролями когерентностей УГМ: толкования «выбор» или «разрушение» являются дополнительными гипотезами о контексте и эволюции.

Порядок задаёт три повествовательные позиции. Он не измеряет траекторию Γ(t)\Gamma(t); референтный фон I/7I/7 нельзя накладывать как точное состояние той же матрицы одновременно с ненулевыми внедиагональными элементами. Предположим, отдельная явно заданная процедура наблюдения предоставила γAE=c1\gamma_{AE}=c_1 и γDS=c2\gamma_{DS}=c_2. Тогда

F={Γ⪰0:Tr⁡Γ=1, γAE=c1, γDS=c2}\mathcal F=\{\Gamma\succeq0:\operatorname{Tr}\Gamma=1, \ \gamma_{AE}=c_1,\ \gamma_{DS}=c_2\}

— аффинная задача совместимости. Если множество непусто, максимум энтропии выбирает одно дополнение. Карты не определяют c1,c2c_1,c_2 или процент информации о 48 вещественных параметрах.

В именованной конвенции Фано корпуса AEAE принадлежит {A,E,U}\{A,E,U\}, а DSDS — {S,D,E}\{S,D,E\}. Это разные тройки с общим EE. Точное совместное ограничение следует из главного минора 3×33\times3 для любой тройки (i,j,k)(i,j,k):

γiiγjjγkk+2Re⁡(γijγjkγki)−γii∣γjk∣2−γjj∣γik∣2−γkk∣γij∣2≥0.\gamma_{ii}\gamma_{jj}\gamma_{kk} +2\operatorname{Re}(\gamma_{ij}\gamma_{jk}\gamma_{ki}) -\gamma_{ii}|\gamma_{jk}|^2-\gamma_{jj}|\gamma_{ik}|^2 -\gamma_{kk}|\gamma_{ij}|^2\ge0.

Оно ограничивает третью когерентность при задании достаточного числа остальных величин, но не гарантирует единственность восстановления в общем случае. Обычно два значения пар оставляют семейство матриц; на границе PSD специальные данные могут вынуждать единственное дополнение. Например, если три населённости и первые две когерентности равны 1/31/3, этот определитель принимает вид −∣γki−1/3∣2/3-|\gamma_{ki}-1/3|^2/3 и вынуждает γki=1/3\gamma_{ki}=1/3. Идентификация состояния ещё не идентифицирует его динамику. Явные условия на циклы и поддержку разобраны в §5 структурного соответствия.


2. Зодиакальные соответствия [И]​

2.1 Принцип​

12 знаков зодиака отображаются на 12 пар из {A,S,D}×{L,E,O,U}\{A, S, D\} \times \{L, E, O, U\} — пересечение пространственного триплета с внутренним квартетом:

ЗнакПара (i,j)(i,j)ЭлементGap-интерпретация
Овен(D,E)(D, E)ОгоньДинамика–Интериорность: действие через переживание
Телец(S,O)(S, O)ЗемляСтруктура–Основание: устойчивость в бытии
Близнецы(A,L)(A, L)ВоздухАртикуляция–Логика: выражение через мысль
Рак(S,E)(S, E)ВодаСтруктура–Интериорность: тело и чувство
Лев(D,O)(D, O)ОгоньДинамика–Основание: творческая сила
Дева(A,O)(A, O)ЗемляАртикуляция–Основание: различение сути
Весы(A,E)(A, E)ВоздухАртикуляция–Интериорность: эстетическая гармония
Скорпион(D,L)(D, L)ВодаДинамика–Логика: трансформация понимания
Стрелец(D,U)(D, U)ОгоньДинамика–Единство: устремлённость к целому
Козерог(S,L)(S, L)ЗемляСтруктура–Логика: систематическое строительство
Водолей(A,U)(A, U)ВоздухАртикуляция–Единство: целостное видение
Рыбы(S,U)(S, U)ВодаСтруктура–Единство: растворение в целом

Таблица — семантическое предложение. Число 3×43\times4 не устанавливает сохранение зодиакального круга, триплицитетов или модальностей. В частности, тройка {A,S,D}\{A,S,D\} не является линией именованной конвенции Фано. Структурное сопоставление задаёт точную циклическую модель произведения и уточняет совместимость с дополнительными требованиями Фано.

2.2 Элементы​

СтихияТриплет-измерениеХарактеристика
ОгоньDD (Динамика)Активность, трансформация
ЗемляSS (Структура)Устойчивость, форма
ВоздухAA (Артикуляция)Различение, коммуникация
Вода— (чередование)Связь через EE (Интериорность)

3. Гексаграммы И-Цзин [И]​

3.1 Явный кандидат отображения​

Шесть упорядоченных двоичных позиций черт дают 64 рисунка. Для их отображения в Gamma требуется действительно выбрать шесть наблюдений. Одна из возможных конвенций на стороне УГМ:

M6=((O,U),(E,U),(L,U),(D,U),(S,U),(A,U)),bk(Γ)={1,Re⁡γM6(k)>0,0,Re⁡γM6(k)<0.M_6=((O,U),(E,U),(L,U),(D,U),(S,U),(A,U)),\qquad b_k(\Gamma)=\begin{cases}1,&\operatorname{Re}\gamma_{M_6(k)}>0,\\0,&\operatorname{Re}\gamma_{M_6(k)}<0.\end{cases}

Это частичное отображение: нулевая вещественная часть остаётся неразрешённой без явного граничного соглашения или интервала измерения. Оно читает шесть отношений пар к единству; оно не отбрасывает U и не отождествляет шесть когерентностей с шестью измерениями. Назначение позиций черт этим парам — интерпретация [И], не выводимая из числа 64. Совместимость с изменениями черт, обращением и разложением на две триграммы проверяется отдельно.

Все 64 знаковых рисунка реализуемы в фиксированном комплексном репере. При sj∈{−1,1}s_j\in\{-1,1\} и 0<ϵ<1/(76)0<\epsilon<1/(7\sqrt6) положим

Γs=I/7+ϵ∑j≠Usj(EjU+EUj).\Gamma_s=I/7+\epsilon\sum_{j\ne U}s_j(E_{jU}+E_{Uj}).

Её собственные значения равны 1/7+6ϵ1/7+\sqrt6\epsilon, 1/7−6ϵ1/7-\sqrt6\epsilon и 1/71/7 кратности пять; матрица положительно определена, а её шесть знаков дают выбранный рисунок. Это доказывает представимость двоичных рисунков выбранным считыванием. Все ненулевые когерентности здесь вещественны и имеют нулевой Gap, несмотря на разные знаки. Более того, диагональные изменения знаков связывают все эти матрицы, поэтому различие требует сохранённого репера; при факторизации этих изменений фаз оно исчезает.

3.2 Интерпретация и переходы​

Содержанием черты выступает именованная роль пары в словаре когерентностей. «Положительное» и «отрицательное» здесь обозначают знаки вещественной компоненты, а не автоматическую оценку здоровья или ясности. Ни один знак не определяет ∣sin⁡θ∣|\sin\theta|: фазы 00 и π\pi имеют противоположные вещественные знаки и одинаковый нулевой Gap.

Более сильный точный мост использует структуру рисунков F23×F23\mathbb F_2^3\times\mathbb F_2^3, а затем проверяет, какие операции сохраняются при согласовании с инцидентностью Фано. См. триграммы и структурные роли.

3.3 Сохраняемая информация​

Один заполненный шестибитный выход имеет не более 6 бит энтропии Шеннона. Он не кодирует населённости, модули когерентностей или полные фазы. Для процента информационной потери нужны распределение, квантование и протокол наблюдения; подсчёт карт, черт или элементов матрицы этого не даёт.


4. Major Arcana Таро [И]​

4.1 Принцип​

22 Major Arcana ≈\approx 21 когерентность + 1 нулевой элемент (Шут = Γ∝I/7\Gamma \propto I/7, полностью декогерированная система):

πtarot:{γij}i<j∪{I/7}→{0,I,II,…,XXI}\pi_{\text{tarot}}: \{\gamma_{ij}\}_{i<j} \cup \{I/7\} \to \{0, I, II, \ldots, XXI\}

4.2 Потеря информации​

Таро теряет: (a) населённости γii\gamma_{ii} (диагональ); (b) фазы θij\theta_{ij} (непрерывная информация); (c) динамику (dΓ/dτd\Gamma/d\tau); (d) различение Map_ext / Map_int.


5. Чакральная система [И]​

Статус гипотезы

Таблица ниже — одна из 120 возможных биекций средних чакр на измерения (при фиксированных граничных отождествлениях O↔Муладхара и U↔Сахасрара). Подробный категориальный анализ, включая несовместимость линейного порядка чакр с Фано-геометрией PG(2,2), см. в Символические системы: §3.1 Чакры.

7 чакр ≈\approx 7 населённостей γii\gamma_{ii} (диагональ Γ\Gamma):

ЧакраИзмерениеγii\gamma_{ii}
МуладхараOO (Основание)γOO\gamma_{OO}
СвадхистханаEE (Интериорность)γEE\gamma_{EE}
МанипураDD (Динамика)γDD\gamma_{DD}
АнахатаLL (Логика)γLL\gamma_{LL}
ВишуддхаAA (Артикуляция)γAA\gamma_{AA}
АджнаSS (Структура)γSS\gamma_{SS}
СахасрараUU (Единство)γUU\gamma_{UU}

Чакральная система теряет: все 42 когерентности (21 внешних + 21 внутренних), Gap-структуру, динамику.


6. Программа исследований [П]​

Статус [П]

Весь раздел — исследовательская программа. Ни одна из гипотез пока не проверена эмпирически. Предлагаемый дизайн — минимально необходимый для строгой проверки.

Уточнение исторического протокола (2026-10-13)

Разделы 6.1–6.4 сохраняют первоначальное предложение протокола, включая некалиброванные пороги. Его интерпретация уточнена в §7: нулевая корреляция сама не опровергает общее скрытое состояние; отсутствие значимости не доказывает эквивалентность; имя символа не является численным показанием; инцидентность Фано сама не даёт уравнения замыкания. Нужны заданная совместная модель, калиброванные ошибки и оценивание прогнозов вперёд. Журнал выполнения §0 этим уточнением не изменён.

6.1 Гипотезы​

H-SC1: Зодиакально-Gap корреляция [П]​

Формулировка. Для субъекта с натальной картой, в которой доминирует знак ZkZ_k, соответствующая когерентность γij(Zk)\gamma_{ij}(Z_k) (по таблице §2.1) статистически значимо выше среднего.

Конкретное предсказание. Субъекты с доминантным Овном (Z1=Овен↦(D,E)Z_1 = \text{Овен} \mapsto (D, E)) имеют ∣γDE∣>⟨∣γDE∣⟩pop|\gamma_{DE}| > \langle|\gamma_{DE}|\rangle_{\text{pop}} с размером эффекта d≥0.3d \geq 0.3 (малый, по Коэну).

Обоснование. Если зодиакальные соответствия (§2) отражают реальную структуру, население определённых когерентностей должно коррелировать с астрологическими конфигурациями.

H-SC2: Предсказательная сила обратной проекции И-Цзин [П]​

Формулировка. Гексаграмма, полученная из измеренного Gap-профиля субъекта через прямую проекцию πyijing(Γ)\pi_{\text{yijing}}(\Gamma), совпадает с гексаграммой, выбранной субъектом в ритуальном контексте, чаще, чем при случайном выборе (chance level = 1/64).

Конкретное предсказание. Частота совпадения ≥3/64\geq 3/64 (в 3+ раза выше случайного уровня), p<0.01p < 0.01 по точному тесту Фишера.

Обоснование. Если И-Цзин — проекция Γ\Gamma (§3), то субъект, интуитивно выбирающий гексаграмму, неявно считывает знаковую структуру собственного Γ\Gamma.

H-SC3: Межсистемная согласованность [П]​

Формулировка. Для одного субъекта частичные Γ\Gamma-профили, восстановленные из разных символических систем (S1,S2,S3S_1, S_2, S_3), согласуются в общих компонентах с точностью ∥ΔΓ∥F<εcrit\|\Delta\Gamma\|_F < \varepsilon_{\text{crit}}.

Конкретное предсказание. Корреляция между γii\gamma_{ii} из чакральной диагностики и γii\gamma_{ii} из зодиакальной карты составляет r≥0.4r \geq 0.4 (см. также §7).

Обоснование. Если все символические системы — проекции одного Γ\Gamma (основной тезис Символических систем), их восстановленные профили должны быть совместимы.

6.2 Методология​

Выборка​

ПараметрЗначениеОбоснование
NN (общий размер)≥200\geq 200Мощность 0.80 при d=0.3d = 0.3, α=0.01\alpha = 0.01
Группы для H-SC112 зодиакальных групп ×\times ≥17\geq 17 человекРавномерное покрытие знаков
Группа для H-SC2≥100\geq 100 субъектов с двойным измерениемДостаточно для точного теста Фишера
Контрольная группа≥50\geq 50 субъектов без знания символических системКонтроль эффекта ожидания

Инструменты измерения​

  1. Gap-профиль: Протокол Дуального Интервью — стандартизированная процедура с экстериорным и интериорным модулями.
  2. Натальная карта: Стандартная астрологическая программа (фиксированные эфемериды, система домов Плацида для единообразия).
  3. И-Цзин: Ритуальное бросание монет (6 бросков × 3 монеты) в стандартизированных условиях.
  4. Чакральная диагностика: Опросник биоэнергетической самооценки (7 шкал, валидированный на русскоязычной выборке; если не существует — разработка и пре-валидация как отдельный этап).
  5. Таро: Стандартизированный расклад (Кельтский Крест, 10 карт) с двойным слепым кодированием.

Статистические тесты​

ГипотезаТестПоправка
H-SC1Одновыборочный tt-тест для каждой из 12 групп, размер эффекта dd КоэнаБонферрони (αadj=0.01/12\alpha_{\text{adj}} = 0.01/12)
H-SC2Точный тест Фишера (совпадение/несовпадение vs. chance 1/64)Без поправки (одна гипотеза)
H-SC3Внутриклассовая корреляция ICC(3,1) между проекциямиBootstrap 95% CI

Контроль артефактов​

  • Двойное ослепление: Оператор Gap-диагностики не знает астрологических данных субъекта.
  • Рандомизация порядка: Символические системы предъявляются в случайном порядке.
  • Предрегистрация: Протокол и анализ-план публикуются до начала сбора данных (OSF или аналог).

6.3 Ожидаемые исходы​

При подтверждении​

ГипотезаРезультатСледствие
H-SC1 подтвержденаd≥0.3d \geq 0.3 для ≥6\geq 6 из 12 знаковЗодиакальные соответствия (§2) переходят из [И] в [С] — условно подтверждённые
H-SC2 подтвержденаСовпадение ≥3/64\geq 3/64И-Цзин как проекция Γ\Gamma (§3) переходит из [И] в [С]; открывается вопрос о механизме считывания
H-SC3 подтвержденаICC ≥0.4\geq 0.4Центральный тезис о единстве проекций получает эмпирическую поддержку

При опровержении​

ГипотезаРезультатСледствие
H-SC1 опровергнутаd<0.1d < 0.1 для ≥10\geq 10 знаковЗодиакальная таблица (§2) ошибочна или астрология не отражает Γ\Gamma
H-SC2 опровергнутаСовпадение ≤1/64\leq 1/64И-Цзин-проекция (§3) не работает; пересмотр бинарной кодировки
H-SC3 опровергнутаICC <0.2< 0.2Системы проецируют разные объекты, а не один Γ\Gamma — фатально для тезиса единства

6.4 Критерии фальсификации​

Подход символических соответствий определённо опровергается, если выполнено хотя бы одно из следующих условий:

  1. Нулевая межсистемная корреляция. ICC между частичными Γ\Gamma-профилями из трёх и более независимых символических систем для одного субъекта не отличается от нуля (ICC<0.05\text{ICC} < 0.05, N≥200N \geq 200). Это означает, что символические системы не проецируют общий объект.

  2. Случайность прямой проекции. Прямая проекция πS(Γmeasured)\pi_S(\Gamma_{\text{measured}}) для измеренного Γ\Gamma не предсказывает символическое описание субъекта лучше случайного выбора ни для одной системы SS из четырёх (зодиак, И-Цзин, Таро, чакры), N≥200N \geq 200, p>0.10p > 0.10 для всех.

  3. Нарушение Фано-замыкания. Восстановленные когерентности систематически нарушают Фано-ограничения — тройки когерентностей на одной Фано-линии несовместимы с Γ≥0\Gamma \geq 0 в >50%> 50\% случаев.

  4. Контрольная инвариантность. Результат обратной проекции πS−1\pi_S^{-1} статистически неотличим для радикально разных субъектов (например, здоровый взрослый vs. пациент с тяжёлым расстройством), что означает нулевую диагностическую чувствительность.

Принцип

Ни один отрицательный результат для отдельной символической системы не опровергает подход в целом — он лишь показывает, что данная таблица соответствий неверна. Фальсификация требует отрицательного результата для всех систем одновременно (критерий 2) или отрицательного результата для межсистемной согласованности (критерий 1).


7. Совместная согласованность наблюдений​

7.1 Постановка задачи​

Для каждой системы сохраняются действительное наблюдение yky_k, протокол, время и явно заданное считывание fk:D(C7)→Ykf_k:\mathcal D(\mathbb C^7)\to Y_k. Каждое пространство YkY_k имеет свою метрику dkd_k и калиброванный допуск εk>0\varepsilon_k>0. Дополненная матрица — выбранный моделью представитель, а не дополнительные наблюдённые данные.

7.2 Формальное условие согласованности​

Bk={Γ⪰0:Tr⁡Γ=1, dk(fk(Γ),yk)≤εk},⋂kBk≠∅.\mathcal B_k=\{\Gamma\succeq0:\operatorname{Tr}\Gamma=1, \ d_k(f_k(\Gamma),y_k)\le\varepsilon_k\},\qquad \bigcap_k\mathcal B_k\ne\varnothing.

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

7.3 Пример: считывания населённостей и когерентностей​

Примеры математически определённых считываний:

fdiag(Γ)=(γii)i,fM(Γ)=(∣γij∣)(i,j)∈M.f_{\rm diag}(\Gamma)=(\gamma_{ii})_i,\qquad f_M(\Gamma)=(|\gamma_{ij}|)_{(i,j)\in M}.

Им нужны действительные показания в соответствующих пространствах значений. Название знака зодиака или одной карты Таро не предоставляет полного вектора fM(Γ)f_M(\Gamma). Дополнение показаний модулей также не даёт измеренных населённостей. Операция PΓPP\Gamma P при P=IP=I возвращает всю матрицу, а не её диагональ; выделение координат матрицы и взятие модулей — разные операции.

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

7.4 Диагностика несовместимости​

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

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

7.5 Калиброванный остаток совместимости​

При непрерывных считываниях и метриках определим

R∗=min⁡Γ∈D(C7)max⁡kdk(fk(Γ),yk)εk.R^*=\min_{\Gamma\in\mathcal D(\mathbb C^7)} \max_k\frac{d_k(f_k(\Gamma),y_k)}{\varepsilon_k}.

Компактность обеспечивает минимум. Заданные допусками ограничения совместимы тогда и только тогда, когда R∗≤1R^*\le1. Порог следует из определения; это не вероятность правильности и не универсальная психологическая оценка. Допуски требуют независимого обоснования. При аффинных считываниях и выпуклых остатках задача выпукла; модули и другие нелинейные считывания могут требовать глобальных методов. Неудача локального оптимизатора не доказывает несовместимость. Следует явно сообщать сертифицированные границы или незавершённый поиск.


Связанные документы​