@@M@@L^3@@ bound for the dyadic triangular Hilbert form结果族 082：Annular variation and dyadic absolute bounds for the triangular Hilbert transform · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
把函数想成乐高拼出的图案：不同大小的”二进积木”（Haar 小波）层层拼出全貌。这篇论文证的账本里，每一块积木的贡献都要取绝对值再加总——相当于允许每块积木独立地翻面（换符号），最坏情况下的总账仍然可控，而且上限是一个与积木数量无关的具体数字：40。
关键词卡片
@@M@@2^k@@ 的区间上，左半取 @@M@@+1@@、右半取 @@M@@-1@@ 的基本小波@@M@@\operatorname{tr}(P^{3/2})@@：矩阵的 @@M@@3/2@@ 次幂之迹，与 @@M@@L^3@@ 范数同源的”电量”看个具体例子
XOR 约束的妙处：每个母三元组恰有 4 个孩子，固定一个符号后另外两个仍各自均匀。
数字版定理：@@M@@\sum_{k\in S}\sum_{\mathbf I\in\mathcal A_k}|L_{\mathbf I}(F_0,F_1,F_2)|\le 40\prod_v\|F_v\|_3@@。尺度集 @@M@@S@@ 含 10 个还是 10000 个尺度，常数恒为 40——旧结果里随尺度数增长的 @@M@@\sqrt m@@ 因子被彻底消除。
为什么值得关心
三角圈是 Bellman 函数框架公认处理不了的障碍，本文用”XOR 恰有四子”的条件对称性绕开它，给出 Thiele 问题 13 二进模型的一致界。注意：二进模型与连续情形是不同算子，互不直接蕴含，但同属一个方法家族。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的类比是”乐高积木记账”：对象是三个二元函数，变量对首尾相接成三角循环；把它们按大小不一的二进积木（Haar 小波）层层拆开，每个积木三元组对总量有一笔”贡献”。要证的账本苛刻在：每笔贡献都取绝对值再加总——等于允许每块积木独立翻面选最坏符号——总账仍被三个输入的大小乘积控制，且常数是与积木数量无关的 40。
第二级台阶
精确化三个概念。二进区间 @@M@@\mathcal D_k@@ 是长度 @@M@@2^k@@ 的半开区间，Haar 函数 @@M@@h_I=\mathbf 1_{I_{\rm left}}-\mathbf 1_{I_{\rm right}}@@ 是”积木”。可容许三元组 @@M@@\mathcal A_k@@ 由按位异或刻画：@@M@@n_{I_0}\oplus n_{I_1}\oplus n_{I_2}=0@@，这是连续核 @@M@@\frac{1}{x_0+x_1+x_2}@@ 的二进替身。局部形式 @@M@@L_{\mathbf I}=2^{-k}\int F_0(x_0,x_1)F_1(x_1,x_2)F_2(x_2,x_0)\prod_v h_{I_v}(x_v)\,dx@@ 把三个输入沿 @@M@@(x_0,x_1),(x_1,x_2),(x_2,x_0)@@ 耦合在一个三元组上。
第三级台阶
主定理陈述：对任意有限尺度集 @@M@@S\subset\mathbb Z@@ 与实值有界紧支撑输入，@@M@@\sum_{k\in S}\sum_{\mathbf I\in\mathcal A_k}|L_{\mathbf I}|\le40\prod_v\|F_v\|_{L^3(\mathbb R_+^2)}@@，再经稠密性推广到一切实 @@M@@L^3@@ 输入。假设里”取绝对值之和”意味着模不超过一的系数可随三元组独立变化——远强于单个形式的 @@M@@L^3@@ 有界性；”任意尺度集”则挡住了旧结果中随尺度数增长的 @@M@@\sqrt m@@ 因子（Durcik–Kovač–Thiele 经置换插值后仍残留）。结论用一句话说：三角循环这一非二部构型上，最坏符号组合的总账第一次被与尺度数无关的常数管住。
证明了二进三角 Hilbert 形式的一致 @@M@@L^3\times L^3\times L^3@@ 估计：任意有限尺度集上所有局部贡献的绝对值之和不超过 @@M@@40\prod_v\|F_v\|_3@@；取绝对值之和使模不超过一的系数可随区间三元组独立变化，并彻底消除了以往结果的尺度依赖因子。
连续三角 Hilbert 形式把三个二元函数沿三角循环耦合、对主值核 @@M@@1/(x_0+x_1+x_2)@@ 积分，是纠缠奇异积分的原型；Thiele 问题 13 同时给出了它的二进模型并问相应的界。此前 Kovač–Thiele–Zorin-Kranich（2015）只对一个输入带结构限制时对二进模型得到一致界（已涵盖 Carleson 算子与双线性 Hilbert 变换的二进版本）；Durcik–Kovač–Thiele（2019）的二进 @@M@@(4,4,2)@@ 界在 @@M@@m@@ 个连续尺度上带 @@M@@m^{1/2}@@ 因子，循环置换加多重线性插值到对称点 @@M@@(3,3,3)@@ 后因子仍在。用非负能量控制纠缠形式的方法有先例（Kovač 的 Bellman 函数框架与 twisted paraproduct 的望远镜恒等式），但它们只适用于二部图；Kovač 明确把三角圈列为该框架的障碍。与连续情形相比，二进模型的好处是尺度离散、区间组织成树，”子代—母代”结构可以显式利用；本文正是借助 XOR 约束下恰好四个子代的条件对称性绕开了三角圈的障碍。
设 @@M@@\mathcal D_k@@ 为 @@M@@\mathbb R_+@@ 上长度 @@M@@2^k@@ 的二进区间，@@M@@h_I=\mathbf 1_{I_{\mathrm{left}}}-\mathbf 1_{I_{\mathrm{right}}}@@ 为 Haar 函数，可容许三元组（admissible triples）@@M@@\mathcal A_k@@ 由无进位二进制加法（即按位异或 XOR）@@M@@n_{I_0}\oplus n_{I_1}\oplus n_{I_2}=0@@ 刻画。局部形式为
@@M@@DL_{\mathbf I}(F_0,F_1,F_2)=2^{-k}\int_{I_0\times I_1\times I_2}F_0(x_0,x_1)F_1(x_1,x_2)F_2(x_2,x_0)\prod_{v=0}^2h_{I_v}(x_v)\,\mathrm dx.@@
主定理：对任意有限尺度集 @@M@@S\subset\mathbb Z@@ 与实值有界紧支撑可测输入，
@@M@@D\sum_{k\in S}\sum_{\mathbf I\in\mathcal A_k}|L_{\mathbf I}(F_0,F_1,F_2)|\le 40\prod_{v=0}^2\|F_v\|_{L^3(\mathbb R_+^2)}.@@
由于取的是绝对值之和，模不超过一的系数可以对每个三元组独立选取；估计经稠密性推广到所有实 @@M@@L^3@@ 输入。需注意：二进模型与连续形式是不同的算子，本定理是关于二进模型的陈述，不直接蕴含连续情形。
先把输入近似为在小二进方块（原子）上常数的阶梯函数，把形式化为有限矩阵：每条边 @@M@@W_v(i,j)=\sqrt{w_v(i)w_{v+1}(j)}\,F_v(i,j)@@（带概率权）成为矩阵，Haar 符号成为对角的对称压缩 @@M@@D_v@@，局部积分恰为 @@M@@L_{\mathbf I}=2^{2k}\tr(D_0W_0D_1W_1D_2W_2)@@。在三个顶点处把两条邻接边并成行星 @@M@@R_v=[\,W_v\ \ W_{v-1}^*\,]@@，赋能量 @@M@@e_v=\tr((R_vR_v^*)^{3/2})@@、@@M@@e=\sum_ve_v@@。关键局部估计是 @@M@@|L_{\mathbf I}|\le C_0\,2^{2k}\big(\tfrac14\sum_{\mathbf I'\in\operatorname{ch}(\mathbf I)}e(\mathbf I')-e(\mathbf I)\big)@@，即局部贡献由”四个子代能量的平均减母代能量”控制，证明分三步。第一步，矩阵迹估计把三角积控制为能量泛函 @@M@@P\mapsto\tr(P^{3/2})@@ 的三个 Hessian 二次形式之和。第二步是条件平均：XOR 约束使子代恰有四个（@@M@@b_0\oplus b_1\oplus b_2=0@@ 等价于符号 @@M@@s_0s_1s_2=1@@）；固定一个顶点的符号后，两个相邻符号仍各自均匀，而 @@M@@R_v(s)R_v(s)^*@@ 是两条边的 Gram 之和、不含相邻乘子的乘积，于是 @@M@@\Phi@@ 的凸性把 Hessian 界转化为子代能量的真实增加：@@M@@\tfrac14\sum_{\operatorname{ch}}e_v-e_v\ge\tfrac1{2\sqrt2}b_{T_v}(U_v)@@。第三步是望远镜求和：以归一化区间测度写出局部积分后剩权重 @@M@@2^{2k}@@，每个子代权重恰为母代的四分之一，故 @@M@@\sum_{\mathbf I\in\mathcal A_k}2^{2k}\delta(\mathbf I)=J_{k-1}-J_k@@，其中 @@M@@J_k=\sum_{\mathcal A_k}2^{2k}e@@；由 Hilbert–Schmidt 范数与”任两个区间经 XOR 唯一确定第三个”的事实，@@M@@J_k\le2\sqrt2\sum_v\|F_v\|_3^3@@。合并得 @@M@@\sum|L_{\mathbf I}|\le\tfrac{10\sqrt2}{3}J_{\min S-1}\le\tfrac{40}{3}\sum_v\|F_v\|_3^3@@，对输入归一化即得常数 @@M@@40@@。最后用单尺度 @@M@@\ell^1@@ 连续性（两次 Hölder）经稠密性过渡到一般实 @@M@@L^3@@ 输入。
本文暂无形式化证明。所用的矩阵能量与维数无关迹不等式取自姊妹篇《The maximal triangular Hilbert transform at the symmetric point》（主结果已 Lean 形式化）第二、三节，本文复现其实有限维证明；二进模型与连续问题互不直接蕴含，但与族内另两篇共享同一”能量—望远镜”方法哲学。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明的心脏是哪一步？
（答：局部缺口估计 \eqref{eq:overview-gap}：@@M@@|L_{\mathbf I}|\le C_0\,2^{2k}\big(\tfrac14\sum_{\text{孩子}}e(\mathbf I')-e(\mathbf I)\big)@@，即局部贡献由”四个子代能量平均减母代能量”支付。它分两半：矩阵迹估计把三角积控制为能量泛函 @@M@@P\mapsto\tr(P^{3/2})@@ 的三个 Hessian 二次形式之和；条件平均再把这个界转成子代能量的真实增加。望远镜求和随即收账：子代权重恰为母代四分之一，逐层相消只剩 @@M@@J_{\min S-1}@@。）
问 2：条件平均为什么能绕开”非二部”障碍？
（答：XOR 约束 @@M@@b_0\oplus b_1\oplus b_2=0@@ 等价于符号乘积 @@M@@s_0s_1s_2=1@@，故每个母三元组恰有四个孩子；固定一个顶点的符号后，两个相邻符号虽相关却仍各自均匀。关键观察是行星算子满足 @@M@@RR^*@@ 为两条边 Gram 矩阵之和、不含相邻乘子之积、与非零谱 @@M@@R^*R@@ 相同——于是 @@M@@\tr(P^{3/2})@@ 的凸性把 Hessian 界变成 @@M@@\tfrac14\sum_{\rm ch}e_v-e_v\ge\tfrac1{2\sqrt2}b_{T_v}(U_v)@@ 的能量增加。Bellman 框架处理不了的三角循环被这棵四叉树的条件对称性化解。）
问 3：取绝对值之和比通常的有界性强多少？
（答：强到允许每个可容许三元组独立配一个模不超过一的系数——定理因此同时控制了 @@M@@2^{\#\mathcal A}@@ 种符号组合里的最坏者，并蕴含 @@M@@\Lambda^{\rm d}_{S,\epsilon}@@ 对任意尺度集与系数一致有界。此前最好的 Durcik–Kovač–Thiele 二进 @@M@@(4,4,2)@@ 界在 @@M@@m@@ 个连续尺度上带 @@M@@m^{1/2}@@ 因子，循环置换加插值到 @@M@@(3,3,3)@@ 后因子仍在；本文常数 40 与尺度数无关。）
问 4：这是二进模型，它对连续三角 Hilbert 变换说明了什么？
（答：严格说互不蕴含——二进与连续是不同算子，论文也不作此声称。价值有二：其一，Thiele 问题 13 本身就把二进模型列为待证目标；其二，非二部障碍是纯组合的，二进模型把它剥离出来单独攻克，与族内连续情形两篇（极大、变差）共享”能量—望远镜”哲学，为连续问题提供了机制证据。）
问 5：AI 生成证明最可能出错的模式？
（答：数值与枚举簿记。常数链条是 @@M@@J_k\le2\sqrt2\sum_v\|F_v\|_3^3@@（用 Hilbert–Schmidt 范数与”任两区间经 XOR 唯一确定第三个”）、合并得 @@M@@\tfrac{10\sqrt2}{3}J\le\tfrac{40}{3}\sum\|F_v\|_3^3@@、归一化后得 40——每步常数都可机械复核，宜先数值验算小网格情形；其次是稠密性过渡：单尺度 @@M@@\ell^1@@ 连续性经两次 Hölder，阶梯逼近的误差是否在全部尺度上一致，是最易被含糊带过的部位。本文无形式化证明，矩阵引理复现自姊妹篇的有限维版本。）
问 6：定理只对实值输入陈述，复值行吗？
（答：论文未讨论复值情形。形式对复输入并非直接适用——Haar 符号与能量论证都按实数处理；朴素地分实虚部会引入额外常数，需重走估计。相比之下，变差姊妹篇显式处理复输入，两文在此处口径不同。）
问 7：谁会用到它？
（答：时间—频率分析与纠缠奇异积分社群：Thiele 问题 13 的二进部分被关闭；一致绝对值和也是构造”最坏符号”反例时的天然测试工具；做 twisted paraproduct、Walsh 模型与多线性 Hilbert 变换的人会直接引用。）
总评
用四叉树条件对称性正面拆除 Bellman 框架的公认障碍，常数显式且与尺度无关，是干净利落的模型定理；风险集中在未形式化下对矩阵引理与稠密性过渡的复核，好在论证短、可机械检验。