🚨 我们刚刚利用AI解决了一个长达35年的开放数学问题！在排队论中，BAR是寻找网络达到平衡的“主方程”。然而，关于BAR的一个核心唯一性猜想仍然未解。以下是人类+AI如何破解此案例👇1/7 https://t.co/YPf3hghyT7 https://t.co/ZGNcdVuSvG

对带符号BAR猜想的AI辅助解决方案：Harrison–Reiman类中的唯一性与完全-S类障碍

来源：https://arxiv.org/html/2607.03639v1

Youheng Zhu
Department of Industrial Engineering and Management Sciences, McCormick School of Engineering, Northwestern University

摘要

对于多维反射扩散，确定相关的基本伴随关系（BAR）是否唯一表征平稳分布，是BAR方法中的一个基本唯一性问题。自从BAR方法引入以来，该问题已悬而未决超过35年。在本文中，我们解决了稳定Harrison–Reiman数据（具有非奇异M矩阵反射矩阵）的有限带符号唯一性问题。证明利用了反射扩散的逐路径可微性，进而推出概率预解式的可行方向可微性，从而表明在边界点上，其单侧初始态导数通过切向投影进行分解，并沿主动反射方向消失。然后，内部单侧卷积生成光滑测试函数，其斜导数一致有界，并在每个闭面上逐点收敛到零。因此，内部带符号测度在反射半群下不变。通过Jordan分解论证，将其识别为唯一不变概率的标量倍数，并通过边界分层归纳（利用主反射块的可逆性）识别边界测度。该证明是在ChatGPT 5.5 Pro的辅助下发现的，并由作者随后进行了验证。我们还证明了非奇异M矩阵假设是结构性的。在更大的完全-S\mathcal{S}类中，存在一个奇异的主反射块，其对应的边界规范子支撑在低维分层上。在标准指数遍历性和温和的一步调节子的约束下，这些规范子产生非零零质量带符号BAR元组；实际上，零质量内部BAR坐标包含一个无限维子空间。一个四参数三维族（包括一个显式有理示例）验证了该障碍。因此，Dai–Dieker问题的有限带符号版本在Harrison–Reiman M矩阵类中有正面答案，而在一个自然的完全-S\mathcal{S}扩展中有负面答案。

关键词：

完全 S 矩阵

1 引言

非负卦限中的半鞅反射布朗运动（SRBM）是重流量下随机网络的扩散近似。在卦限内部，该过程表现为具有漂移和协方差矩阵的布朗运动；当它到达一个面时，它会按照反射矩阵对应列规定的斜方向被推回状态空间。Harrison–Reiman构造[21 (https://arxiv.org/html/2607.03639v1#bib.bib3),25 (https://arxiv.org/html/2607.03639v1#bib.bib12)]是重流量下开放排队网络的标准卦限模型[32 (https://arxiv.org/html/2607.03639v1#bib.bib13),22 (https://arxiv.org/html/2607.03639v1#bib.bib5),24 (https://arxiv.org/html/2607.03639v1#bib.bib14),26 (https://arxiv.org/html/2607.03639v1#bib.bib32),35 (https://arxiv.org/html/2607.03639v1#bib.bib15)]，也是本文的主要正设定情景。
此类反射扩散的一个核心分析对象是基本伴随关系（BAR）。它出现在RBM/SRBM的早期平稳分析和乘积形式理论中[25 (https://arxiv.org/html/2607.03639v1#bib.bib12),23 (https://arxiv.org/html/2607.03639v1#bib.bib4),22 (https://arxiv.org/html/2607.03639v1#bib.bib5)]，是卦限SRBM数值方法的基础[6 (https://arxiv.org/html/2607.03639v1#bib.bib16),7 (https://arxiv.org/html/2607.03639v1#bib.bib17)]，已通过BAR方法用于稳态重流量近似[3 (https://arxiv.org/html/2607.03639v1#bib.bib35),4 (https://arxiv.org/html/2607.03639v1#bib.bib36)]，并且是用于表征反射扩散平稳分布的标准弱形式之一[5 (https://arxiv.org/html/2607.03639v1#bib.bib1),27 (https://arxiv.org/html/2607.03639v1#bib.bib18)]。
如果π\pi是一个内部测度，而νi\nu_{i}是面Fi={xi=0}F_{i}={x_{i}=0}上的边界测度，则BAR具有如下形式： ∫ELfdπ+∑i=1d∫FiDifdνi=0,f∈Cb2(E),\int_{E}Lf,d\pi+\sum_{i=1}^{d}\int_{F_{i}}D_{i}f,d\nu_{i}=0,\qquad f\in C_{b}^{2}(E), (1.1) 其中LL是内部扩散生成元，DiD_{i}是第ii个反射方向上的方向导数。平稳分布π0\pi_{0}及其平稳边界占据测度νi0\nu_{i}^{0}满足(1.1 (https://arxiv.org/html/2607.03639v1#S1.E1))。基本唯一性问题是问反之是否成立：BAR解的内部部分是否必然等于平稳分布？ 这个问题已持续三十多年，自BAR方法提出以来一直是一个开放问题。
该开放问题首先在[6 (https://arxiv.org/html/2607.03639v1#bib.bib16)]中作为二维矩形SRBM的猜想提出，随后在[7 (https://arxiv.org/html/2607.03639v1#bib.bib17)]中扩展为dd维卦限SRBM的猜想。Dai和Dieker[5 (https://arxiv.org/html/2607.03639v1#bib.bib1)]描述了关于多维扩散过程基本伴随关系（BAR）的基本开放问题，具体针对半鞅反射布朗运动（SRBM）和分段Ornstein–Uhlenbeck（OU）过程。Dai和Dieker[5 (https://arxiv.org/html/2607.03639v1#bib.bib1), 命题1和开放问题1]用有界C2C^{2}测试函数形式化了BAR表征，证明了正测度设定下的相应表征，并询问了带符号模拟。紧支撑C2C^{2}形式化导致相同的有限带符号唯一性问题。有界测试恒等式立即推出紧支撑恒等式。反之，设f∈Cb2(E)f\in C_{b}^{2}(E)并选取χn∈Cc∞(Rd)\chi_{n}\in C_{c}^{\infty}(\mathbb{R}^{d})满足0≤χn≤10\leq\chi_{n}\leq 1，χn=1\chi_{n}=1在{|x|≤n}{|x|\leq n}上，且‖∇χn‖∞+‖D2χn‖∞→0|\nabla\chi_{n}|{\infty}+|D^{2}\chi{n}|{\infty}\to 0。将紧支撑恒等式应用于χnf\chi{n}f，并展开L(χnf)L(\chi_{n}f)和Di(χnf)D_{i}(\chi_{n}f)，在取极限后得到有界测试恒等式，因为χn→1\chi_{n}\to 1逐点收敛，且所有误差项被常数乘以‖∇χn‖∞+‖D2χn‖∞|\nabla\chi_{n}|{\infty}+|D^{2}\chi{n}|{\infty}相对于有限带符号测度一致控制。因此，本文全程使用有界测试类Cb2(E)C{b}^{2}(E)，这是将概率预解式的单侧光滑化引入而无需人工空间截断所需的表述。
在带符号问题中，我们允许π\pi和νi\nu_{i}是有限带符号测度。此时问题变为线性：每个有限带符号BAR元组是否都是平稳元组的标量倍数？这种带符号形式化比正测度形式化更精细。正递归识别不变概率，但BAR允许内部项和边界项之间的带符号抵消。此外，识别不变测度的自然函数是概率预解式，这些函数在角点处不是经典的BAR测试函数。

相关工作

BAR对平稳概率的表征

如SRBM的原始BAR计算所示[23 (https://arxiv.org/html/2607.03639v1#bib.bib4),22 (https://arxiv.org/html/2607.03639v1#bib.bib5)]，一旦反射扩散及其平稳机制已良好建立[6 (https://arxiv.org/html/2607.03639v1#bib.bib16),7 (https://arxiv.org/html/2607.03639v1#bib.bib17),27 (https://arxiv.org/html/2607.03639v1#bib.bib18)]，正测度BAR表征便可识别平稳概率，并在许多表述中也识别相关的边界占据测度。这些结果本身并不排除那些内部项与边界项在BAR中抵消的变号有限测度。我们的正定理正是针对稳定Harrison–Reiman非奇异M矩阵类中的有限带符号零空间问题，并识别出完整的边界元组以及内部坐标。
大部分平稳SRBM文献涉及显式公式、变换、渐近性或数值计算，而非带符号唯一性。乘积形式和斜对称性结果源于Harrison和Williams[23 (https://arxiv.org/html/2607.03639v1#bib.bib4)]；基于BAR的数值和近似方法至少可追溯到Dai和Harrison[6 (https://arxiv.org/html/2607.03639v1#bib.bib16),7 (https://arxiv.org/html/2607.03639v1#bib.bib17)]，并在排队网络的稳态重流量BAR方法中延续[3 (https://arxiv.org/html/2607.03639v1#bib.bib35),4 (https://arxiv.org/html/2607.03639v1#bib.bib36)]；二维和楔形分析已通过指数和、几何以及边界值/泛函方程方法发展[11 (https://arxiv.org/html/2607.03639v1#bib.bib26),8 (https://arxiv.org/html/2607.03639v1#bib.bib24),9 (https://arxiv.org/html/2607.03639v1#bib.bib25),18 (https://arxiv.org/html/2607.03639v1#bib.bib27),19 (https://arxiv.org/html/2607.03639v1#bib.bib28)]。本证明未使用这些显式分析表示。其作用反而是结构性的：证明在所规定的M矩阵类中，有限带符号BAR没有隐藏的零质量方向。

Skorokhod映射可微性

斜反射映射的Lipschitz、凸对偶和可微性性质由Dupuis–Ishii、Dupuis–Ramanan、Mandelbaum–Ramanan和Lipshutz–Ramanan以确定性形式发展[13 (https://arxiv.org/html/2607.03639v1#bib.bib19),14 (https://arxiv.org/html/2607.03639v1#bib.bib33),15 (https://arxiv.org/html/2607.03639v1#bib.bib34),31 (https://arxiv.org/html/2607.03639v1#bib.bib9),28 (https://arxiv.org/html/2607.03639v1#bib.bib6)]。我们使用了该理论的反射扩散版本，即Lipshutz和Ramanan的逐路径可微性和灵敏度结果[29 (https://arxiv.org/html/2607.03639v1#bib.bib7),30 (https://arxiv.org/html/2607.03639v1#bib.bib8)]，但仅在验证了它们对归一化Harrison–Reiman数据的假设之后。
负面结果与完全-S\mathcal{S}数据的存在性和稳定性文献互补：Taylor–Williams和Dai–Williams给出了相关的SRBM存在性框架[34 (https://arxiv.org/html/2607.03639v1#bib.bib11),10 (https://arxiv.org/html/2607.03639v1#bib.bib20)]，而SRBM的Lyapunov和递归准则例如在[16 (https://arxiv.org/html/2607.03639v1#bib.bib22),2 (https://arxiv.org/html/2607.03639v1#bib.bib23),33 (https://arxiv.org/html/2607.03639v1#bib.bib10)]中发展。第6节 (https://arxiv.org/html/2607.03639v1#S6)表明，存在性和递归性本身并不能替代每个主动主块的非奇异性。

技术概述

我们的正面结果回答了稳定Harrison–Reiman数据（具有非奇异M矩阵反射矩阵）的带符号Dai–Dieker问题。证明围绕一个预解不变恒等式展开。设Rλh=∫0∞e−λtPthdtR_{\lambda}h=\int_{0}^{\infty}e^{-\lambda t}P_{t}h,dt是反射半群的概率预解式。我们的核心贡献是证明每个有限带符号BAR元组满足： ∫E(λRλh−h)dπ̄=0,h∈C0(E),λ>0.\int_{E}(\lambda R_{\lambda}h-h),d\bar{\pi}=0,\qquad h\in C_{0}(E),\quad\lambda>0. (RI) 这个恒等式精确地表明内部带符号测度在反射半群下不变。实际上，利用Rλh=∫0∞e−λtPthdtR_{\lambda}h=\int_{0}^{\infty}e^{-\lambda t}P_{t}h,dt，(RI (https://arxiv.org/html/2607.03639v1#S1.Ex1))表明，对于每个h∈C0(E)h\in C_{0}(E)，t↦π̄(Pth)−π̄(h)t\mapsto\bar{\pi}(P_{t}h)-\bar{\pi}(h)的拉普拉斯变换为零。Feller半群的强连续性将此提升为对所有t≥0t\geq 0，π̄Pt=π̄\bar{\pi}P_{t}=\bar{\pi}。若π̄=π̄+−π̄−\bar{\pi}=\bar{\pi}^{+}-\bar{\pi}^{-}是Jordan分解，Markov核的正性给出|π̄Pt|≤|π̄|Pt|\bar{\pi}P_{t}|\leq|\bar{\pi}|P_{t}；总质量相等使得|π̄||\bar{\pi}|不变，因此两个Jordan分量都是不变的正有限测度。归一化后，每个非零分量都是不变概率，所以不变概率的唯一性给出π̄=cπ0\bar{\pi}=c\pi_{0}。减去cc乘以平稳BAR后剩下一个纯边界恒等式，非奇异主反射块通过分层归纳识别边界测度。该链中唯一的非平凡点是推导(RI (https://arxiv.org/html/2607.03639v1#S1.Ex1))。形式上，若g=Rλhg=R_{\lambda}h是一个可允许的Cb2C_{b}^{2}测试函数且在FiF_{i}上满足Dig=0D_{i}g=0，则通过将gg代入BAR并利用(λ−L)g=h(\lambda-L)g=h可得到(RI (https://arxiv.org/html/2607.03639v1#S1.Ex1))。但这个形式论证具有误导性，因为在角点处预解式未必是封闭卦限上的经典C2C^{2}函数；附录A (https://arxiv.org/html/2607.03639v1#A1)给出了一个稳定的Harrison–Reiman例子，其中这样的C2C^{2}正则性是不可能的。因此，证明工作在有限带符号测度实际看到的拓扑中：内部方程的一致收敛，以及在任意有限带符号边界测度下积分后边界项的消失。
证明中使用的近似有意简化。我们并不直接将g=Rλhg=R_{\lambda}h代入BAR，而是用单侧光滑化代替： gε(x)=∫ρ(w)g(x+εw)dw.g_{\varepsilon}(x)=\int\rho(w)g(x+\varepsilon w),dw. 磨光子的支撑严格位于正卦限内部，因此gε(x)g_{\varepsilon}(x)的值仅使用gg在内部点x+εwx+\varepsilon w处的值。对于每个固定的ε\varepsilon，这种光滑化提供了所需的有界C2C^{2}正则性。唯一微妙之处在于证明这些合法的Cb2C_{b}^{2}测试函数具有渐近零的边界贡献。预解式的投影边界导数给出： Digε(x)⟶0,x∈Fi,D_{i}g_{\varepsilon}(x)\longrightarrow 0,\qquad x\in F_{i}, 且具有足够的一致有界性，从而可对任意有限带符号边界测度应用控制收敛定理。因此，函数gεg_{\varepsilon}在BAR所见的精确拓扑中逼近预解式：内部方程收敛到(λ−L)Rλh=h(\lambda-L)R_{\lambda}h=h，而所有边界项消失。
本文还解释了为何M矩阵假设不仅仅是证明的人为产物。在完全-S\mathcal{S}存在类中，一个奇异的主反射块可能会取消所有支撑在边界上的规范子的主动法向分量。