Аннотация

Строится строгий математический слой, связывающий конечный типизированный граф реперного артефакта с матрицей M ∈ M₃(ℝ), ее сингулярным спектром и стратифицированным пространством состояний KASVD. Параллельно рассматривается семимерная антикоммутативная алгебра

A_M = ℝ³ ⊕ ℝ³ ⊕ ℝh,

в которой та же матрица M задает смешанный центральный билинейный блок. Доказываются инвариантность нормализованного SVD-паспорта, rank-gap утверждение, критерий рождения ранга при rank-one обновлении, точное rank-one edit distance, формула размерности алгебры дериваций, а также жесткость относительно классов Binary-Lie, Malcev и Sagle:

A_M ∈ BinaryLie ⇔ A_M ∈ Malcev ⇔ A_M ∈ Sagle ⇔ M = 0.

Вводится авторский вариационный функционал Курпишева на безопасной спектральной области. Отдельно формулируется математическая граница между доказанным спектрально-алгебраическим слоем и prospective/blind инфраструктурой KLT-RBD. Эмпирическая предсказательная валидация в данной статье не заявляется.

Ключевые слова: KASVD; KLT-RBD; Reper; сингулярное разложение; антикоммутативная алгебра; Binary-Lie; Malcev; Sagle; rank-one perturbation; вариационный принцип.

MSC 2020: 17A30, 15A18, 15A60, 65F35.

1. Введение

В проекте “ЛОГИКА КУРПИШЕВА 2” реперный объект записывается как Rep  = (R, I, U; D), а KLT-RBD используется как машинно-проверяемая память источников, оснований, переходов, блокеров и статусов. Настоящая статья выделяет из этого корпуса самостоятельную математическую задачу: построить небольшой матричный носитель структуры, на котором можно строго различать ранг, спектральную симметрию, устойчивость к возмущениям и допустимые элементарные переходы.

Центральный объект статьи - матрица M ∈ M₃(ℝ). Она возникает двумя независимыми способами. Во-первых, как оператор, собранный из типизированных ребер конечного Artifact-графа. Во-вторых, как смешанный билинейный блок семимерной антикоммутативной алгебры A_M. Эти два уровня не отождествляются семантически. Их математическая связь состоит в общем SVD-инварианте.

Классическая часть статьи опирается на сингулярное разложение, теорему Эккарта-Янга-Мирского, стандартные оценки возмущений сингулярных чисел и известные определения классов Binary-Lie, Malcev и Sagle [1-6]. Авторская часть - Artifact-to-KASVD construction, KASVD state stratification и автомат переходов, применение одной матрицы M как связующего модуля для Artifact-оператора и A_M, а также вариационный функционал 𝒥_K.

2. Artifact-оператор и KASVD

Определение 2.1. Матрица артефакта

Пусть G_A = (V_A, E_A, τ, w) - конечный типизированный взвешенный граф. Фиксируем ортонормированные трехмерные пространства

X = span {R, I, U},   Y = span {D, P, G}.

Здесь P и G являются аналитическими каналами proof/evidence и gap/blocker и не объявляются дополнительными компонентами Reper. Каждому ребру e сопоставим x_e ∈ X, y_e ∈ Y и вес w(e). Определим

T_A = ∑_e ∈ EAw(e)x_e ⊗ y_e,   M_A = [T_A] = ∑_e ∈ EAw(e)x_ey_e^T.

Определение 2.2. KASVD-паспорт

Пусть M ≠ 0 и

σ₁(M) ≥ σ₂(M) ≥ σ₃(M) ≥ 0

Эти величины являются его сингулярными числами. Положим

$$ \rho(M)=\|M\|_F, \qquad s_2=\frac{\sigma_2}{\sigma_1}, \qquad s_3=\frac{\sigma_3}{\sigma_1}. $$

Тройку

SpecRep (M) = (ρ; s₂, s₃)

назовем спектральным паспортом, а (s₂, s₃) - KASVD-точкой. Она лежит в замкнутом треугольнике

0 ≤ s₃ ≤ s₂ ≤ 1.

Предложение 2.3. Инвариантность формы

При преобразовании

M ↦ cAMB^T,   A, B ∈ O(3),  c ≠ 0,

KASVD-точка (s₂, s₃) сохраняется, а ρ умножается на |c|.

Доказательство. Ортогональные множители не меняют сингулярные числа, а умножение на c умножает все сингулярные числа на |c|. Отношения к σ₁ неизменны. ▫

Теорема 2.4. Rank-gap

Если активные ребра Artifact-графа используют не более двух независимых входных направлений в X или не более двух независимых выходных направлений в Y, то

rank M_A ≤ 2,   σ₃(M_A) = 0.

Доказательство. В первом случае область существенного действия T_A имеет размерность не более двух; во втором случае образ T_A лежит в подпространстве размерности не более двух. В обоих случаях ранг не превосходит двух. ▫

Обратное утверждение неверно: σ₃ = 0 может возникать из линейной зависимости или компенсации весов. Поэтому semantic gap, structural gap и spectral gap должны храниться отдельно.

3. Rank-one динамика

Пусть

M′ = M + E,   E = αxy^T,

так что rank E ≤ 1.

Теорема 3.1. Критерий рождения ранга

Пусть rank M = 2, единичные векторы ℓ и r порождают соответственно ker M^T и ker M. Тогда

rank (M + αxy^T) = 3

тогда и только тогда, когда

α ≠ 0,   ℓ^Tx ≠ 0,   y^Tr ≠ 0.

Доказательство. Rank-one обновление увеличивает ранг матрицы ранга два ровно тогда, когда новое левое направление не принадлежит Col M, а новое правое направление не принадлежит Row M. Для коразмерности один эти условия эквивалентны указанным ненулевым скалярным произведениям. ▫

Теорема 3.2. Ограничение на изменение ранга

Для rank-one обновления

|rank (M + E) − rank M| ≤ 1.

Следовательно один elementary edge update не может перевести rank-one состояние непосредственно в rank-three состояние.

Теорема 3.3. Точное rank-one edit distance

Минимальное число rank-one слагаемых, необходимое для перехода от фиксированной матрицы M к фиксированной матрице N, равно

$$ \boxed{d_1(M,N)=\operatorname{rank}(N-M).} $$

Доказательство. Сумма k rank-one матриц имеет ранг не более k, откуда k ≥ rank (N − M). С другой стороны, SVD матрицы N − M разлагает ее в сумму ровно r = rank (N − M) rank-one слагаемых. ▫

4. KASVD-стратификация и смежность

Для ненулевой 3 × 3 матрицы рассматриваются семь страт:

S₁, S_2g, S_2e, S_3g, S_3, 12, S_3, 23, S_3i,

где индекс задает ранг, g означает попарно различные положительные сингулярные числа, e - равенство двух положительных сингулярных чисел при rank two, а 12, 23, i - соответствующие кратности в rank three.

Теорема 4.1. Экзистенциальная rank-one смежность

Для двух KASVD-страт существует хотя бы одна пара представителей M ∈ S_α, N ∈ S_β с

rank (N − M) ≤ 1

тогда и только тогда, когда

|rank S_α − rank S_β| ≤ 1.

Доказательство. Необходимость следует из стандартного неравенства рангов. Для достаточности по рангам 1-2 используются диагональные представители diag (a, 0, 0) и diag (a, b, 0), включая a = b при необходимости. Для переходов 2-3 диагональные представители закрывают generic и double strata; переход S_2g → S_3i реализуется, например, как I − uv^T → I при u = e₁, v = e₁ + e₂, причем I − uv^T имеет сингулярные числа $(\sqrt2,1,0)$. Внутри rank-three блока прямые rank-one примеры получают изменением одной диагональной координаты; переход S_3i → S_3g реализуется матрицей I + e₁(e₁ + e₂)^T, имеющей три различные сингулярные величины. Обратные стрелки получаются заменой E на −E. ▫

Теорема является утверждением о существовании представителей. Для конкретных M и N правильным критерием остается d₁(M, N) = rank (N − M).

5. Спектральная устойчивость

Для возмущения M′ = M + E стандартная оценка сингулярных чисел дает [3,4]

|σ_k(M′) − σ_k(M)| ≤ ∥E∥₂.

В generic full-rank страте положим

$$ m_R=\sigma_3, \qquad m_{12}=\frac{\sigma_1-\sigma_2}{2}, \qquad m_{23}=\frac{\sigma_2-\sigma_3}{2}, $$

и

$$ \boxed{r_{\mathrm{safe}}(M)=\min\{m_R,m_{12},m_{23}\}.} $$

Следствие 5.1. Safe-radius гарантия

Если

∥E∥₂ < r_safe(M),

то M + E остается full-rank и не пересекает поверхности σ₁ = σ₂ и σ₂ = σ₃.

Для последовательности обновлений E₁, …, E_n отсутствие промежуточного crossing гарантируется, например, более сильным условием

$$ \sum_{j=1}^n\|E_j\|_2<r_{\mathrm{safe}}(M_0), $$

поскольку оно контролирует каждый prefix.

6. Семимерная антикоммутативная алгебра

Пусть

A_M = V ⊕ W ⊕ L,   V ≅ W ≅ ℝ³,   L = ℝh,

и определим антикоммутативное произведение

[(v, w, t), (v′, w′, t′)] = (v × v′, w × w′, v^TMw′ − v′^TMw).

Вектор h является центральным аннулятором. При M = 0 имеем Lie-алгебру

A₀ ≅ 𝔰𝔬(3) ⊕ 𝔰𝔬(3) ⊕ ℝh.

При M ≠ 0 смешанный блок, вообще говоря, нарушает Jacobi identity.

Предложение 6.1. Ориентационно сохраняющая SVD-эквивалентность

Если A, B ∈ SO(3) и центральная координата перенормируется ненулевым множителем, то смешанный блок преобразуется в

M ↦ cAMB^T,   c ≠ 0.

Следовательно (s₂, s₃) является инвариантом этой эквивалентности.

Важно, что Artifact-оператор допускает более широкое действие O(3) × O(3), тогда как cross product естественно эквивариантен относительно SO(3). Поэтому общим объектом двух уровней являются SVD-инварианты, а не тождество полных групп преобразований.

7. Деривации

Теорема 7.1. Стабилизатор смешанного блока

Пусть M ≠ 0. Любая деривация A_M индуцирует на V ⊕ W блок P ⊕ Q, где

P, Q ∈ 𝔰𝔬(3),

и выполняется

PM = MQ.

Если положительные сингулярные значения M имеют кратности m_α, а

k = dim ker M,

то

$$ \boxed{ \dim\operatorname{Der}(A_M) = \sum_\alpha {m_\alpha\choose2}+k(k-1). } $$

Доказательство. Аннулятор L характеристичен. На факторе A_M/L ≅ 𝔰𝔬(3) ⊕ 𝔰𝔬(3) индуцированная деривация внутренняя, поэтому задается P, Q ∈ 𝔰𝔬(3). Совместимость с центральной формой имеет вид cM = −PM + MQ. Скалярное произведение Фробениуса с M дает c∥M∥_F² = 0, поскольку следы tr (M^TPM) и tr (M^TMQ) равны нулю для кососимметричных P, Q. Значит c = 0. После SVD уравнение PM = MQ распадается по блокам равных положительных сингулярных значений и по ядру. Каждый положительный блок кратности m_α дает $\binom{m_\alpha}{2}$ параметров, а два независимых кососимметричных блока в k-мерном ядре дают $2\binom{k}{2}=k(k-1)$. ▫

8. Binary-Lie, Malcev и Sagle: жесткость семейства

Пусть

J(x, y, z) = [[x, y], z] + [[y, z], x] + [[z, x], y]

Эта величина называется якобиатором.

Теорема 8.1. Binary-Lie rigidity

Для семейства A_M

$$ \boxed{A_M\in\mathrm{BinaryLie}\iff M=0.} $$

Доказательство. В антикоммутативной записи Binary-Lie identity эквивалентна [1,2]

J(x, y, [x, y]) = 0.

Для каждого i, j ∈ {1, 2, 3} выбираем любой k ≠ j и полагаем

x = f_k,   y = e_i − f_j.

Прямой расчет дает

$$ \boxed{J(x,y,[x,y])=M_{ij}h.} $$

Следовательно все девять коэффициентов M_ij равны нулю. Обратно, M = 0 дает Lie-алгебру A₀, а всякая Lie-алгебра является Binary-Lie. ▫

Следствие 8.2. Malcev rigidity

$$ \boxed{A_M\in\mathrm{Malcev}\iff M=0.} $$

Доказательство. Всякая Malcev-алгебра является Binary-Lie [1,2]. Применяем теорему 8.1; обратное направление следует из Lie-случая M = 0. ▫

Теорема 8.3. Sagle rigidity

Пусть Sagle identity записано в форме [1]

[J(x, y, z), w] = J(w, z, [x, y]) + J(w, y, [z, x]) + J(w, x, [y, z]).

Тогда

$$ \boxed{A_M\in\mathrm{Sagle}\iff M=0.} $$

Доказательство. Введем Sagle-defect

𝒮(x, y, z, w) = [J(x, y, z), w] − J(w, z, [x, y]) − J(w, y, [z, x]) − J(w, x, [y, z]).

Для стандартных базисов e₁, e₂, e₃ пространства V и f₁, f₂, f₃ пространства W прямое вычисление дает таблицу:

Если A_M является Sagle-алгеброй, каждый дефект равен нулю; следовательно M_ij = 0 для всех i, j. Обратно, M = 0 дает Lie-алгебру, а Lie-алгебры удовлетворяют Sagle identity. ▫

Таким образом внутри семейства A_M три более широких неассоциативных класса схлопываются к единственному Lie-слою:

$$ \boxed{ A_M\in\mathrm{BinaryLie} \iff A_M\in\mathrm{Malcev} \iff A_M\in\mathrm{Sagle} \iff M=0. } $$

9. Общий SVD-модульный мост

Теорема 9.1. Artifact/KASVD - A_M bridge

Пусть одна и та же ненулевая матрица M используется

1. как матрица Artifact-оператора T_A : X → Y;
2. как смешанный центральный блок антикоммутативной алгебры A_M.

Тогда нормализованный спектр

$$ (s_2,s_3) = \left( \frac{\sigma_2}{\sigma_1}, \frac{\sigma_3}{\sigma_1} \right) $$

является общим инвариантом ортогонально-масштабной геометрии Artifact-оператора и ориентационно сохраняющей ортогонально-масштабной эквивалентности алгебраического смешанного блока.

Доказательство. На Artifact-уровне сингулярные отношения инвариантны относительно O(3) × O(3) и ненулевого общего масштаба. На алгебраическом уровне допустимое непрерывное базисное действие содержит SO(3) × SO(3) и тот же ненулевой масштаб центральной координаты. В обоих случаях сингулярные числа меняются лишь общим множителем, поэтому их отношения совпадают. ▫

Теорема не утверждает, что семантический Artifact является алгеброй. Она утверждает только существование строгого общего матричного инварианта.

10. Взвешенный KASVD и вариационный слой

Для фиксированной матрицы M и целевой страты T определим локальную стоимость

c_M(T) = inf {∥E∥₂ : rank E ≤ 1, M + E ∈ T}.

Для full-rank матрицы минимальная стоимость потери ранга равна

$$ \boxed{c_M(R_2)=\sigma_3,} $$

что достигается при E = −σ₃u₃v₃^T. В обратном направлении из rank two в rank three инфимальная стоимость равна нулю: новая независимая мода может быть создана сколь угодно малым ненулевым возмущением, направленным одновременно вне column и row spaces.

На generic области

Ω_gen = {σ₁ > σ₂ > σ₃ > 0}

введем

V_K(M) = −α_Rlog m_R − α₁₂log m₁₂ − α₂₃log m₂₃,   α_i > 0,

и авторский математический вариационный функционал Курпишева

$$ \boxed{ \mathcal J_K[M] = \int_{t_0}^{t_1} \left( \frac12\|\dot M\|_F^2+V_K(M) \right)dt. } $$

Для простых сингулярных чисел ∇σ_i = u_iv_i^T, поэтому внутри regular stratum формальное уравнение Эйлера-Лагранжа имеет вид

$$ \ddot M=\nabla_FV_K(M). $$

Предложение 10.1. Корректная existence-постановка

Сам логарифмический барьер не коэрцитивен на неограниченном пространстве матриц. Однако на компактной безопасной области

Ω_δ = {M : ∥M∥_F = 1, m_R, m₁₂, m₂₃ ≥ δ}

конечномерный дискретный fixed-endpoint функционал достигает минимума, если множество допустимых траекторий непусто.

Доказательство. Ω_δ компактно, конечное произведение его копий компактно, допустимое fixed-endpoint множество замкнуто, а дискретный функционал непрерывен. Применяется теорема Вейерштрасса. ▫

11. Prospective certificate и граница эмпирических утверждений

Для KLT-RBD был построен вычислительный контур

Source → Intake → Evidence-D → G_t → M_t → SVD  → Transition → Certificate ∨ ABSTAIN.

Append-only ledger, hash-bound materialization, blind split и scoring protocol обеспечивают воспроизводимость вычисления, но не являются доказательством предсказательной силы. Synthetic tests в проекте используются как проверка исполнимости модели, а не как замена real holdout. В момент подготовки статьи real prospective validation не выполнена; поэтому все эмпирические claims остаются за пределами доказанного слоя.

12. Новизна и ограничения

Классическими и не заявляемыми как авторская новизна являются SVD, rank inequalities, Eckart-Young-Mirsky, стандартные perturbation bounds, свойства Lie/Malcev/Binary-Lie/Sagle и компактностные аргументы.

К авторской математической конструкции И.Б. Курпишева в данной статье относятся:

1. отображение конечного реперного Artifact-графа в трехканальный оператор M_A и KASVD-паспорт;
2. KASVD-стратификация как слой состояния KLT-RBD и ее operational rank-one interpretation;
3. использование одной матрицы M как общего модуля Artifact-оператора и семейства A_M;
4. явные rigidity theorems для семейства A_M, включая девять Binary-Lie и девять Sagle witnesses;
5. weighted KASVD и функционал 𝒥_K;
6. принцип строгого разделения computed certificate и truth-status.

Открытыми остаются полный isomorphism group A_M с дискретными компонентами, глобальная геометрия KASVD-модулей около кратных сингулярных значений и независимая реальная проверка prospective prediction layer.

13. Заключение

Получен единый строгий матричный слой, в котором одна и та же 3 × 3 матрица несет две разные структуры: спектральное состояние реперного Artifact-оператора и смешанный центральный блок семимерной антикоммутативной алгебры. SVD-отношения (s₂, s₃) образуют общий инвариант этих конструкций. Для алгебраического семейства доказана жесткость: любой ненулевой M выводит A_M одновременно из классов Binary-Lie, Malcev и Sagle. Для Artifact-слоя получены точные rank-one расстояния и безопасные спектральные пороги. Вариационный слой задает математическую модель траекторий, но его эмпирическая интерпретация остается отдельной задачей prospective verification.

Приложение A. Девять Binary-Lie witnesses

Для i, j ∈ {1, 2, 3} выбирается любой k ≠ j и

x = f_k,   y = e_i − f_j.

Тогда

J(x, y, [x, y]) = M_ijh.

Например, можно фиксировать k(1) = 2, k(2) = 3, k(3) = 2; это дает девять детерминированных проверок всех элементов M.

Приложение B. Девять Sagle witnesses

Обозначим через 𝒮(x, y, z, w) левую часть Sagle identity, перенесенную в одну сторону. Девять указанных в теореме 8.3 четверок из стандартного базиса дают соответственно

M₁₁, M₁₂, M₁₃, −M₂₁, −M₂₂, −M₂₃, −M₃₁, M₃₂, −M₃₃

в центральной координате h. Поэтому Sagle identity уничтожает каждую координату M отдельно.

Литература

1. Kaygorodov, I.; Zusmanovich, P. On anticommutative algebras for which [R_a, R_b] is a derivation. Journal of Geometry and Physics 166 (2021), 104113. DOI: 10.1016/j.geomphys.2021.104113.
2. Sagle, A. A. On simple extended Lie algebras over fields of characteristic zero. Pacific Journal of Mathematics 15(2) (1965), 621-648.
3. Stewart, G. W.; Sun, J.-G. Matrix Perturbation Theory. Academic Press, 1990.
4. Horn, R. A.; Johnson, C. R. Topics in Matrix Analysis. Cambridge University Press, 1991.
5. Eckart, C.; Young, G. The approximation of one matrix by another of lower rank. Psychometrika 1 (1936), 211-218.
6. Mirsky, L. Symmetric gauge functions and unitarily invariant norms. Quarterly Journal of Mathematics 11 (1960), 50-59.
7. Kurpishev, I. B. Basic Project KLT-RBD, Volume V: typed graph, provenance, versioning and audit mathematics. Project corpus, 2026.
8. Kurpishev, I. B. R3-Y Theorematic Consolidation and R4-A/R4-B Rigidity Packages. LOGIC KURPISHEVA 2 project corpus, 2026.