% Options for packages loaded elsewhere
\PassOptionsToPackage{unicode}{hyperref}
\PassOptionsToPackage{hyphens}{url}
\PassOptionsToPackage{space}{xeCJK}
%
\documentclass[
  11pt,
]{article}
\usepackage{amsmath,amssymb}
\usepackage{iftex}
\ifPDFTeX
  \usepackage[T1]{fontenc}
  \usepackage[utf8]{inputenc}
  \usepackage{textcomp} % provide euro and other symbols
\else % if luatex or xetex
  \usepackage{unicode-math} % this also loads fontspec
  \defaultfontfeatures{Scale=MatchLowercase}
  \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
\fi
\usepackage{lmodern}
\ifPDFTeX\else
  % xetex/luatex font selection
  \setmainfont[]{DejaVu Serif}
  \setsansfont[]{Noto Sans CJK SC}
  \ifXeTeX
    \usepackage{xeCJK}
    \setCJKmainfont[]{Noto Serif CJK SC}
          \fi
  \ifLuaTeX
    \usepackage[]{luatexja-fontspec}
    \setmainjfont[]{Noto Serif CJK SC}
  \fi
\fi
% Use upquote if available, for straight quotes in verbatim environments
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
\IfFileExists{microtype.sty}{% use microtype if available
  \usepackage[]{microtype}
  \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
}{}
\makeatletter
\@ifundefined{KOMAClassName}{% if non-KOMA class
  \IfFileExists{parskip.sty}{%
    \usepackage{parskip}
  }{% else
    \setlength{\parindent}{0pt}
    \setlength{\parskip}{6pt plus 2pt minus 1pt}}
}{% if KOMA class
  \KOMAoptions{parskip=half}}
\makeatother
\usepackage{xcolor}
\usepackage[margin=1in]{geometry}
\usepackage{longtable,booktabs,array}
\usepackage{calc} % for calculating minipage widths
% Correct order of tables after \paragraph or \subparagraph
\usepackage{etoolbox}
\makeatletter
\patchcmd\longtable{\par}{\if@noskipsec\mbox{}\fi\par}{}{}
\makeatother
% Allow footnotes in longtable head/foot
\IfFileExists{footnotehyper.sty}{\usepackage{footnotehyper}}{\usepackage{footnote}}
\makesavenoteenv{longtable}
\setlength{\emergencystretch}{3em} % prevent overfull lines
\providecommand{\tightlist}{%
  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
\ifLuaTeX
\usepackage[bidi=basic]{babel}
\else
\usepackage[bidi=default]{babel}
\fi
\babelprovide[main,import]{chinese}
\ifPDFTeX
\else
\babelfont{rm}[]{DejaVu Serif}
\fi
% get rid of language-specific shorthands (see #6817):
\let\LanguageShortHands\languageshorthands
\def\languageshorthands#1{}
\ifLuaTeX
  \usepackage{selnolig}  % disable illegal ligatures
\fi
\usepackage{bookmark}
\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
\urlstyle{same}
\hypersetup{
  pdftitle={KASVD 谱几何与七维反交换代数},
  pdfauthor={伊万·鲍里索维奇·库尔皮舍夫（Ivan B. Kurpishev）},
  pdflang={zh-CN},
  hidelinks,
  pdfcreator={LaTeX via pandoc}}

\title{KASVD 谱几何与七维反交换代数}
\usepackage{etoolbox}
\makeatletter
\providecommand{\subtitle}[1]{% add subtitle to \maketitle
  \apptocmd{\@title}{\par {\large #1 \par}}{}{}
}
\makeatother
\subtitle{KLT-RBD Reper Artifact 的矩阵桥梁}
\author{伊万·鲍里索维奇·库尔皮舍夫（Ivan B. Kurpishev）}
\date{加里宁格勒，2026}

\begin{document}
\maketitle

\section{摘要}\label{ux6458ux8981}

本文构造一个严格的数学层，将有限类型化 Reper Artifact 图与矩阵
\(M\in M_3(\mathbb R)\)、其奇异值谱以及分层的 KASVD
状态空间联系起来。与此同时，研究七维反交换代数

\[
A_M=\mathbb R^3\oplus\mathbb R^3\oplus\mathbb Rh,
\]

其中同一矩阵 \(M\) 决定一个混合的中心双线性块。本文证明归一化 SVD
护照的不变性、rank-gap 命题、rank-one 更新下的秩生成判据、精确的
rank-one 编辑距离、导子代数维数公式，以及关于 Binary-Lie、Malcev 与
Sagle 类的刚性：

\[
A_M\in\mathrm{BinaryLie}\iff A_M\in\mathrm{Malcev}\iff A_M\in\mathrm{Sagle}\iff M=0.
\]

此外，本文在谱安全区域上引入库尔皮舍夫的作者性变分泛函。严格区分已经证明的谱-代数数学层与
KLT-RBD 的 prospective/blind
工程基础设施。本文不宣称已经完成经验性预测验证。

\textbf{关键词：}
KASVD；KLT-RBD；Reper；奇异值分解；反交换代数；Binary-Lie；Malcev；Sagle；rank-one
扰动；变分原理。

\textbf{MSC 2020：} 17A30, 15A18, 15A60, 65F35.

\section{1. 引言}\label{ux5f15ux8a00}

在``库尔皮舍夫逻辑 2''（LOGIC OF KURPISHEV 2）项目中，Reper 对象写作
\(\operatorname{Rep}=(R,I,U;D)\)，而 KLT-RBD
被用作来源、充分根据、转移、阻断项和状态的可机器审计记忆。本文从该更大体系中抽取一个独立的数学问题：构造一个小型矩阵载体，使秩、谱对称性、扰动稳定性以及基本结构转移都可以严格处理。

本文的中心对象是矩阵
\(M\in M_3(\mathbb R)\)。它以两种彼此独立的方式出现。第一，它是由有限
Artifact 图中的类型化边组装而成的算子。第二，它是七维反交换代数 \(A_M\)
的混合双线性块。这两个层面在语义上并不被视为同一对象；它们的数学联系是共同的
SVD 不变量。

本文使用的经典背景包括奇异值分解、Eckart-Young-Mirsky
定理、标准奇异值扰动估计，以及 Binary-Lie、Malcev 与 Sagle
代数的既有定义 {[}1-6{]}。作者性部分包括 Artifact-to-KASVD 构造、KASVD
状态分层与转移解释、以同一矩阵 \(M\) 作为 Artifact 算子与 \(A_M\)
的共同模块，以及变分泛函 \(\mathcal J_K\)。

\section{2. Artifact 算子与
KASVD}\label{artifact-ux7b97ux5b50ux4e0e-kasvd}

\subsection{定义 2.1. Artifact
矩阵}\label{ux5b9aux4e49-2.1.-artifact-ux77e9ux9635}

设 \(G_A=(V_A,E_A,\tau,w)\)
为有限类型化加权图。固定两个正交归一的三维通道空间

\[
X=\operatorname{span}\{R,I,U\},\qquad
Y=\operatorname{span}\{D,P,G\}.
\]

其中 \(P\) 与 \(G\) 分别表示 proof/evidence 和 gap/blocker
的分析通道；它们不被宣布为 Reper 的新增分量。对每条边 \(e\) 指定
\(x_e\in X\)、\(y_e\in Y\) 与权重 \(w(e)\)。定义

\[
T_A=\sum_{e\in E_A}w(e)x_e\otimes y_e,
\qquad
M_A=[T_A]=\sum_{e\in E_A}w(e)x_e y_e^T.
\]

\subsection{定义 2.2. KASVD
护照}\label{ux5b9aux4e49-2.2.-kasvd-ux62a4ux7167}

设 \(M\neq0\)，其奇异值满足

\[
\sigma_1(M)\ge\sigma_2(M)\ge\sigma_3(M)\ge0.
\]

令

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

称

\[
\operatorname{SpecRep}(M)=(\rho;s_2,s_3)
\]

为谱护照，称 \((s_2,s_3)\) 为 KASVD 点。该点位于闭三角形

\[
0\le s_3\le s_2\le1.
\]

\subsection{命题 2.3.
形状不变性}\label{ux547dux9898-2.3.-ux5f62ux72b6ux4e0dux53d8ux6027}

在变换

\[
M\mapsto cAMB^T,
\qquad A,B\in O(3),\quad c\neq0
\]

下，KASVD 点 \((s_2,s_3)\) 保持不变，而 \(\rho\) 乘以 \(|c|\)。

\textbf{证明。} 正交因子不改变奇异值，而乘以 \(c\) 会把全部奇异值乘以
\(|c|\)，因此相对于 \(\sigma_1\) 的比值不变。\(\square\)

\subsection{定理 2.4. Rank-gap
定理}\label{ux5b9aux7406-2.4.-rank-gap-ux5b9aux7406}

若 Artifact 图的活动边最多使用 \(X\)
中两个线性独立的输入方向，或者最多使用 \(Y\)
中两个线性独立的输出方向，则

\[
\operatorname{rank}M_A\le2,
\qquad
\sigma_3(M_A)=0.
\]

\textbf{证明。} 第一种情况下，\(T_A\)
的有效定义域维数至多为二；第二种情况下，\(T_A\)
的像包含在维数至多为二的子空间中。因此秩至多为二。\(\square\)

逆命题并不成立：\(\sigma_3=0\) 也可能由线性依赖或权重抵消产生。因此
semantic gap、structural gap 与 spectral gap 必须分开保存。

\section{3. Rank-one 动力学}\label{rank-one-ux52a8ux529bux5b66}

设

\[
M'=M+E,
\qquad
E=\alpha xy^T,
\]

于是 \(\operatorname{rank}E\le1\)。

\subsection{定理 3.1.
秩生成判据}\label{ux5b9aux7406-3.1.-ux79e9ux751fux6210ux5224ux636e}

设 \(\operatorname{rank}M=2\)，单位向量 \(\ell\) 与 \(r\) 分别张成
\(\ker M^T\) 与 \(\ker M\)。则

\[
\operatorname{rank}(M+\alpha xy^T)=3
\]

当且仅当

\[
\alpha\neq0,
\qquad
\ell^Tx\neq0,
\qquad
y^Tr\neq0.
\]

\textbf{证明。} rank-one 更新使 rank-two
矩阵的秩增加，当且仅当新的左方向不属于
\(\operatorname{Col}M\)，新的右方向不属于
\(\operatorname{Row}M\)。在余维为一时，这等价于上述两个非零标量积条件。\(\square\)

\subsection{定理 3.2.
秩变化界}\label{ux5b9aux7406-3.2.-ux79e9ux53d8ux5316ux754c}

对于 rank-one 更新，

\[
\left|\operatorname{rank}(M+E)-\operatorname{rank}M\right|\le1.
\]

因此，一次基本边更新不可能把 rank-one 状态直接变为 rank-three 状态。

\subsection{定理 3.3. 精确 rank-one
编辑距离}\label{ux5b9aux7406-3.3.-ux7cbeux786e-rank-one-ux7f16ux8f91ux8dddux79bb}

从固定矩阵 \(M\) 转换到固定矩阵 \(N\) 所需的最少 rank-one 加项数为

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

\textbf{证明。} \(k\) 个 rank-one 矩阵之和的秩不超过
\(k\)，给出下界。反之，\(N-M\) 的 SVD 将其分解成恰好
\(r=\operatorname{rank}(N-M)\) 个 rank-one 项。\(\square\)

\section{4. KASVD
分层与邻接}\label{kasvd-ux5206ux5c42ux4e0eux90bbux63a5}

对非零 \(3\times3\) 矩阵考虑七个层：

\[
S_1,
S_{2g},S_{2e},
S_{3g},S_{3,12},S_{3,23},S_{3i}.
\]

下标给出秩；\(g\) 表示正奇异值两两不同；\(e\) 表示 rank two
时两个正奇异值相等；\(12\)、\(23\) 与 \(i\) 表示 rank three
中相应的重数模式。

\subsection{定理 4.1. 存在性 rank-one
邻接}\label{ux5b9aux7406-4.1.-ux5b58ux5728ux6027-rank-one-ux90bbux63a5}

对于两个 KASVD 层，存在至少一对代表 \(M\in S_\alpha\)、\(N\in S_\beta\)
满足

\[
\operatorname{rank}(N-M)\le1
\]

当且仅当

\[
\left|\operatorname{rank}S_\alpha-\operatorname{rank}S_\beta\right|\le1.
\]

\textbf{证明。} 必要性来自标准秩不等式。对于 rank one 与 rank
two，可以采用对角代表 \(\operatorname{diag}(a,0,0)\) 和
\(\operatorname{diag}(a,b,0)\)，包括需要时的 \(a=b\)。rank two 到 rank
three 的 generic 与 double 层可由对角代表实现。\(S_{2g}\to S_{3i}\)
例如由 \(I-uv^T\to I\) 实现，其中
\(u=e_1\)、\(v=e_1+e_2\)，源矩阵的奇异值为 \((\sqrt2,1,0)\)。在
rank-three
块内部，多数情形通过改变一个对角坐标得到；\(S_{3i}\to S_{3g}\) 可由
\(I+e_1(e_1+e_2)^T\) 实现，该矩阵具有三个不同的奇异值。把 \(E\) 替换为
\(-E\) 得到反向箭头。\(\square\)

该定理是存在性陈述。对于具体的 \(M,N\)，精确判据仍是
\(d_1(M,N)=\operatorname{rank}(N-M)\)。

\section{5. 谱稳定性}\label{ux8c31ux7a33ux5b9aux6027}

对于 \(M'=M+E\)，标准奇异值扰动估计给出 {[}3,4{]}

\[
|\sigma_k(M')-\sigma_k(M)|\le\|E\|_2.
\]

在 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}\}.}
\]

\subsection{推论 5.1.
安全半径保证}\label{ux63a8ux8bba-5.1.-ux5b89ux5168ux534aux5f84ux4fddux8bc1}

若

\[
\|E\|_2<r_{\mathrm{safe}}(M),
\]

则 \(M+E\) 保持满秩，并且不会穿过 \(\sigma_1=\sigma_2\) 或
\(\sigma_2=\sigma_3\) 两个曲面。

对更新序列 \(E_1,\ldots,E_n\)，例如更强的条件

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

保证没有中间 crossing，因为它控制每一个前缀和。

\section{6.
七维反交换代数}\label{ux4e03ux7ef4ux53cdux4ea4ux6362ux4ee3ux6570}

令

\[
A_M=V\oplus W\oplus L,
\qquad
V\cong W\cong\mathbb R^3,
\qquad
L=\mathbb Rh,
\]

并定义反交换乘法

\[
[(v,w,t),(v',w',t')]
=
(v\times v',\;w\times w',\;v^TMw'-v'^TMw).
\]

向量 \(h\) 张成中心零化子。若 \(M=0\)，则得到 Lie 代数

\[
A_0\cong\mathfrak{so}(3)\oplus\mathfrak{so}(3)\oplus\mathbb Rh.
\]

当 \(M\neq0\) 时，混合块通常破坏 Jacobi 恒等式。

\subsection{命题 6.1. 保持定向的 SVD
等价}\label{ux547dux9898-6.1.-ux4fddux6301ux5b9aux5411ux7684-svd-ux7b49ux4ef7}

若 \(A,B\in SO(3)\)，并对中心坐标作非零缩放，则混合块变换为

\[
M\mapsto cAMB^T,
\qquad c\neq0.
\]

因此 \((s_2,s_3)\) 是该等价关系的不变量。

Artifact 算子允许更大的 \(O(3)\times O(3)\) 作用，而叉积天然对 \(SO(3)\)
等变。因此两个层次真正共同的是 SVD 不变量，而不是完整变换群的同一性。

\section{7. 导子}\label{ux5bfcux5b50}

\subsection{定理 7.1.
混合块稳定子}\label{ux5b9aux7406-7.1.-ux6df7ux5408ux5757ux7a33ux5b9aux5b50}

设 \(M\neq0\)。\(A_M\) 的任意导子在 \(V\oplus W\) 上诱导块
\(P\oplus Q\)，其中

\[
P,Q\in\mathfrak{so}(3),
\]

并满足

\[
PM=MQ.
\]

若 \(M\) 的正奇异值重数为 \(m_\alpha\)，并令

\[
k=\dim\ker M,
\]

则

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

\textbf{证明。} 零化子 \(L\) 是特征子空间。在商代数
\(A_M/L\cong\mathfrak{so}(3)\oplus\mathfrak{so}(3)\)
上，诱导导子为内导子，因此由 \(P,Q\in\mathfrak{so}(3)\)
表示。与中心双线性形式的相容条件为 \(cM=-PM+MQ\)。与 \(M\) 作 Frobenius
内积，由于 \(P,Q\) 反对称，\(\operatorname{tr}(M^TPM)\) 与
\(\operatorname{tr}(M^TMQ)\) 都为零，于是 \(c\|M\|_F^2=0\)，故
\(c=0\)。进行 SVD 后，方程 \(PM=MQ\) 按相等的正奇异值块和核分解。重数为
\(m_\alpha\) 的正奇异值块贡献 \(\binom{m_\alpha}{2}\) 个参数，而 \(k\)
维核上的两个独立反对称块贡献 \(2\binom{k}{2}=k(k-1)\)。\(\square\)

\section{8. Binary-Lie、Malcev 与 Sagle
刚性}\label{binary-liemalcev-ux4e0e-sagle-ux521aux6027}

令

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

为 Jacobiator。

\subsection{定理 8.1. Binary-Lie
刚性}\label{ux5b9aux7406-8.1.-binary-lie-ux521aux6027}

对于族 \(A_M\)，

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

\textbf{证明。} 在反交换记号中，Binary-Lie 恒等式等价于 {[}1,2{]}

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

对每个 \(i,j\in\{1,2,3\}\)，任选 \(k\neq j\) 并令

\[
x=f_k,
\qquad
y=e_i-f_j.
\]

直接计算得到

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

于是九个 \(M_{ij}\) 全部为零。反过来，\(M=0\) 给出 Lie 代数
\(A_0\)，任何 Lie 代数都是 Binary-Lie。\(\square\)

\subsection{推论 8.2. Malcev
刚性}\label{ux63a8ux8bba-8.2.-malcev-ux521aux6027}

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

\textbf{证明。} 每个 Malcev 代数都是 Binary-Lie {[}1,2{]}。应用定理
8.1；逆向由 \(M=0\) 的 Lie 情形得到。\(\square\)

\subsection{定理 8.3. Sagle
刚性}\label{ux5b9aux7406-8.3.-sagle-ux521aux6027}

采用文献 {[}1{]} 中的 Sagle 恒等式

\[
[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.}
\]

\textbf{证明。} 定义 Sagle 缺陷

\[
\mathcal S(x,y,z,w)=
[J(x,y,z),w]
-J(w,z,[x,y])-J(w,y,[z,x])-J(w,x,[y,z]).
\]

对 \(V\) 的标准基 \(e_1,e_2,e_3\) 与 \(W\) 的标准基
\(f_1,f_2,f_3\)，直接代入得到：

\begin{longtable}[]{@{}lll@{}}
\toprule\noalign{}
系数 & \((x,y,z,w)\) & \(\mathcal S(x,y,z,w)\) \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
\(M_{11}\) & \((e_1,e_2,f_1,e_2)\) & \(M_{11}h\) \\
\(M_{12}\) & \((e_1,e_2,f_2,e_2)\) & \(M_{12}h\) \\
\(M_{13}\) & \((e_1,e_2,f_3,e_2)\) & \(M_{13}h\) \\
\(M_{21}\) & \((e_1,e_2,f_1,e_1)\) & \(-M_{21}h\) \\
\(M_{22}\) & \((e_1,e_2,f_2,e_1)\) & \(-M_{22}h\) \\
\(M_{23}\) & \((e_1,e_2,f_3,e_1)\) & \(-M_{23}h\) \\
\(M_{31}\) & \((e_1,e_2,f_2,f_3)\) & \(-M_{31}h\) \\
\(M_{32}\) & \((e_1,e_2,f_1,f_3)\) & \(M_{32}h\) \\
\(M_{33}\) & \((e_1,e_2,f_1,f_2)\) & \(-M_{33}h\) \\
\end{longtable}

若 \(A_M\) 是 Sagle 代数，则每个缺陷都为零，因此所有
\(M_{ij}=0\)。反之，\(M=0\) 给出 Lie 代数，而 Lie 代数满足 Sagle
恒等式。\(\square\)

因此，在族 \(A_M\) 内，三个更广的非结合类别同时收缩到唯一的 Lie 层：

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

\section{9. 共同的 SVD
模空间桥梁}\label{ux5171ux540cux7684-svd-ux6a21ux7a7aux95f4ux6865ux6881}

\subsection{\texorpdfstring{定理 9.1. Artifact/KASVD - \(A_M\)
桥梁}{定理 9.1. Artifact/KASVD - A\_M 桥梁}}\label{ux5b9aux7406-9.1.-artifactkasvd---a_m-ux6865ux6881}

设同一非零矩阵 \(M\) 同时被用作

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  Artifact 算子 \(T_A:X\to Y\) 的矩阵；
\item
  反交换代数 \(A_M\) 的混合中心块。
\end{enumerate}

则归一化谱

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

是 Artifact
算子的正交-尺度几何与代数混合块的保持定向正交-尺度等价的共同不变量。

\textbf{证明。} 在 Artifact 层面，奇异值比在 \(O(3)\times O(3)\)
与公共非零尺度下不变。在代数层面，连续基变换包含
\(SO(3)\times SO(3)\)，同时允许中心坐标的同一非零缩放。在两种情形中，全部奇异值只受到公共比例因子的影响，因此其比值一致。\(\square\)

该定理不声称语义 Artifact
本身就是一个代数；它只声明两个构造具有严格的共同矩阵不变量。

\section{10. 加权 KASVD
与变分层}\label{ux52a0ux6743-kasvd-ux4e0eux53d8ux5206ux5c42}

对固定矩阵 \(M\) 与目标层 \(T\)，定义局部代价

\[
c_M(T)=
\inf\{\|E\|_2:\operatorname{rank}E\le1,\ M+E\in T\}.
\]

对于满秩矩阵，降低秩的最小代价为

\[
\boxed{c_M(R_2)=\sigma_3,}
\]

并由 \(E=-\sigma_3u_3v_3^T\) 达到。反向从 rank two 到 rank three
的下确界代价为零：只要左右方向同时离开 column space 和 row
space，就可以用任意小的非零扰动产生新的独立模态。

在 generic 区域

\[
\Omega_{gen}=\{\sigma_1>\sigma_2>\sigma_3>0\}
\]

定义

\[
V_K(M)=
-\alpha_R\log m_R
-\alpha_{12}\log m_{12}
-\alpha_{23}\log m_{23},
\qquad \alpha_i>0,
\]

以及库尔皮舍夫的作者性数学变分泛函

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

对于单重奇异值，\(\nabla\sigma_i=u_iv_i^T\)，因此在 regular stratum
内形式 Euler-Lagrange 方程为

\[
\ddot M=\nabla_FV_K(M).
\]

\subsection{命题 10.1.
良定的存在性设定}\label{ux547dux9898-10.1.-ux826fux5b9aux7684ux5b58ux5728ux6027ux8bbeux5b9a}

单独的对数屏障在无界矩阵空间上不是 coercive。然而在紧的安全区域

\[
\Omega_\delta
=
\{M:\|M\|_F=1,\ m_R,m_{12},m_{23}\ge\delta\}
\]

上，只要允许轨迹集合非空，有限维离散 fixed-endpoint 泛函就能达到最小值。

\textbf{证明。} \(\Omega_\delta\) 紧，其有限直积紧；fixed-endpoint
允许集闭；离散泛函连续。因此应用 Weierstrass 定理。\(\square\)

\section{11. Prospective certificate
与经验主张边界}\label{prospective-certificate-ux4e0eux7ecfux9a8cux4e3bux5f20ux8fb9ux754c}

KLT-RBD 中已经构造如下计算链：

\[
\text{Source}
\to\text{Intake}
\to\text{Evidence-D}
\to G_t
\to M_t
\to\operatorname{SVD}
\to\text{Transition}
\to\text{Certificate}\vee\text{ABSTAIN}.
\]

Append-only ledger、hash-bound materialization、blind split 与 scoring
protocol 使计算可复现，但它们本身并不是预测能力的证据。项目中的
synthetic tests 用于检查模型可执行性，而不是替代真实
holdout。本文准备时尚未完成 real prospective
validation，因此经验预测性主张不属于本文的已证明层。

\section{12. 新颖性与限制}\label{ux65b0ux9896ux6027ux4e0eux9650ux5236}

以下内容属于经典数学，不作为作者性发现主张：SVD、秩不等式、Eckart-Young-Mirsky
定理、标准扰动界、既有的 Lie/Malcev/Binary-Lie/Sagle 理论以及紧性论证。

本文中伊万·鲍里索维奇·库尔皮舍夫的作者性数学构造包括：

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  从有限 Reper Artifact 图到三通道算子 \(M_A\) 以及 KASVD 护照的映射；
\item
  KASVD 分层作为 KLT-RBD 状态层以及其 rank-one 操作解释；
\item
  以同一矩阵 \(M\) 作为 Artifact 算子与族 \(A_M\) 的共同模块；
\item
  族 \(A_M\) 的显式刚性定理，包括九个 Binary-Lie witnesses 与九个 Sagle
  witnesses；
\item
  weighted KASVD 与泛函 \(\mathcal J_K\)；
\item
  computed certificate 与 truth-status 的严格分离原则。
\end{enumerate}

尚未解决的问题包括：带离散分量的 \(A_M\) 完整同构群、重奇异值附近 KASVD
模空间的全局几何，以及 prospective prediction layer 的独立真实验证。

\section{13. 结论}\label{ux7ed3ux8bba}

本文获得了一个统一而严格的矩阵层：同一个 \(3\times3\)
矩阵承载两种不同结构，即 Reper Artifact
算子的谱状态以及七维反交换代数的混合中心块。SVD 比值 \((s_2,s_3)\)
构成这两个构造的共同不变量。对于代数族证明了刚性：任何非零 \(M\) 都使
\(A_M\) 同时离开 Binary-Lie、Malcev 与 Sagle 类。对于 Artifact
层，得到了精确的 rank-one
距离与安全谱阈值。变分层提供一个数学轨迹模型，而其经验解释仍属于独立的
prospective verification 问题。

\section{附录 A. 九个 Binary-Lie
witnesses}\label{ux9644ux5f55-a.-ux4e5dux4e2a-binary-lie-witnesses}

对 \(i,j\in\{1,2,3\}\) 任取 \(k\neq j\)，令

\[
x=f_k,\qquad y=e_i-f_j.
\]

则

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

例如可固定 \(k(1)=2\)、\(k(2)=3\)、\(k(3)=2\)，由此得到针对 \(M\)
全部元素的九个确定性检验。

\section{附录 B. 九个 Sagle
witnesses}\label{ux9644ux5f55-b.-ux4e5dux4e2a-sagle-witnesses}

令 \(\mathcal S(x,y,z,w)\) 表示把 Sagle
恒等式全部移到同一侧所得的缺陷。定理 8.3 中的九个四元组在中心坐标 \(h\)
上依次产生

\[
M_{11},M_{12},M_{13},-M_{21},-M_{22},-M_{23},-M_{31},M_{32},-M_{33}.
\]

因此 Sagle 恒等式逐一消去 \(M\) 的每个坐标。

\section{参考文献}\label{ux53c2ux8003ux6587ux732e}

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

\end{document}