math
02-04 00:00
本文针对大规模MIMO系统中信道状态信息（CSI）反馈开销与下行链路速率之间的平衡难题，提出了一种预编码导向的CSI反馈框架。该框架基于向量量化变分自编码器（VQ-VAE），并引入了一种可微分的互信息下界估计器作为训练正则化项，旨在有限的固定长度反馈预算下，最大化学习码本的有效利用率。数值结果表明，该方法在采用固定长度反馈的同时，达到了与可变长度神经压缩方案相当的性能，且学习到的码字使用更均匀，并能捕获与底层CSI强相关的可解释结构。
csi反馈vq-vae互信息正则化大规模mimo预编码设计神经压缩
math
02-04 00:00
本文对基于中国剩余定理的Ozaki-II高精度矩阵乘法仿真方案进行了严格的确定性误差分析。该方案通过一系列低精度矩阵乘法（如INT8）来模拟高精度运算，在配备快速INT8乘加单元的现代AI硬件上，其单双精度运算吞吐量已超越标准BLAS库。分析表明，当输入矩阵的指数分布范围较宽时，为达到目标精度所需低精度乘法的次数会显著增加。本研究不仅阐明了该方法的精度行为，还提供了估算达到特定数值精度所需计算次数的理论依据。
矩阵乘法误差分析数值精度低精度计算中国剩余定理高性能计算
math
02-04 00:00
本文提出了一种新颖的LATIN-PGD求解器策略，用于高效模拟牛顿可压缩层流。该方法的核心在于利用状态方程建立压力与密度的直接关系，从而实现了压力-速度解耦算法。通过内嵌的广义适当分解（PGD），该方法能对速度场和压力场进行独立的时空分解，显著降低了复杂流动问题的计算成本。研究首先在具有解析解的问题上验证了求解器的有效性，随后应用于稍复杂的问题，结果与文献数据吻合良好，为未来处理更复杂材料本构关系奠定了基础。
计算流体力学模型降阶时空分解可压缩流latin方法pgd
math
02-04 00:00
本文系统研究了由欧拉-泊松系统描述、受一般状态方程（包括多方气体恒星）支配的非旋转恒星模型。我们重新审视并扩展了Auchmuty和Beals的存在性结果，并将Lieb和Yau在量子力学框架下的唯一性结果适配到经典牛顿力学背景中。此外，我们应用标度方法建立了不同总质量解之间的关系。当质量趋于零时，我们分析了密度函数的收敛性，并精确刻画了其支撑集收缩或扩展的速率。
恒星模型欧拉-泊松系统存在唯一性标度关系多方气体数学物理
math
02-04 00:00
网格图是三维球面中结的一种特殊表示，用于定义结 Floer 同调的组合版本。Ghiggini 和 Ni 的研究表明，结 Floer 同调可以检测纤维结，这意味着具有唯一亚历山大分度达到最大值的网格状态的网格图仅对应纤维结。然而，是否每个纤维结都存在这样的网格图仍是未解问题。本研究开发了一种高效方法，用于判断给定网格图是否满足更严格的条件：存在唯一的网格状态实现亚历山大函数的上界。通过将此方法实现为 Python 包，作者在交叉数不超过 13 的 5397 个素纤维结中，为 5385 个找到了符合条件的网格图。
纤维结网格图结 floer 同调亚历山大分度组合拓扑计算验证
math
02-04 00:00
本文研究了交换连通代数群$G$上的de Rham特征层，即带有可积联络的乘法线丛。作者构造了一个群代数空间$G^\flat$，用于表示其在半正规测试概形上的模问题，并研究了其函子性与几何性质。核心技术在于对de Rham空间$G_\text{dR}$上扩张层的研究。附录提供了关于de Rham空间基本结果的自包含初等证明。
代数群模空间特征层de rham空间可积联络
math
02-04 00:00
本文研究了特殊正交矩阵空间 $SO(n)$ 中具有零对角元素的子集。对于 $SO(4)$，该子集可分解为 $14$ 个不可约曲面，其交集的几何结构由截角立方体（cuboctahedron）完美编码，并由此构造了 $SO(4)$ 的一个完全实见证集。对于 $SO(5)$，其 $64$ 个分量可被分组，从而与一个 $3$ 维多面体的面格建立对应关系。然而，研究证明这种优美的几何模式在 $SO(6)$ 中不复存在。
正交矩阵几何分解代数几何组合几何多面体
math
02-04 00:00
本文系统介绍了基于随机化编码的局部差分隐私协议，其核心是转移概率矩阵。研究证明，一类称为纯LDP的协议与$(r,\lambda)$-设计（包含平衡不完全区组设计）在数学上等价。对于基于BIBD的协议，其最优无偏估计器恰好由转移概率矩阵的Moore-Penrose广义逆给出，这为构建隐私保护下的高效数据估计提供了理论保障。
局部差分隐私区组设计转移概率矩阵最优估计随机化响应隐私协议
math
02-04 00:00
本研究采用变分方法，在质量比足够小的条件下，证明了由欧拉-泊松方程描述的均匀旋转星-行星系统稳定解的存在性。通过引入Wasserstein $L^\infty$度量，在状态方程$P(\rho)=K\rho^\gamma$下构造了局部能量极小解。当$\gamma > 2$时，证明支撑集半径趋于零；当$\frac{3}{2} < \gamma \leq 2$时，给出了半径扩张速率的上界估计，并讨论了极小解支撑集连通分量的距离与数量猜想。
天体物理数学欧拉-泊松方程变分方法旋转星体稳定性分析质量比
math
02-04 00:00
该研究构造了一个具体例子，证明对于某些Beurling代数$\mathcal{A}$，其双对偶空间$\mathcal{A}^{**}$上的两个Arens积$\Box$与$\Diamond$会导致不同的Jacobson根$\operatorname{rad}(\mathcal{A}^{**}, \Box) \neq \operatorname{rad}(\mathcal{A}^{**}, \Diamond)$。该例以三个生成元的自由群为底层群，正面回答了Dales与Lau提出的公开问题，揭示了Banach代数双对偶结构对乘法定义的敏感性。
泛函分析banach代数arens积jacobson根beurling代数自由群
math
02-04 00:00
本文提出了一种名为光学被动视觉压缩（OPVC）的新型传感范式，旨在解决自主决策系统中高容量视觉数据在资源受限信道上的实时传输难题。该方法利用事件相机观测由光学系统生成的视觉场景余弦变换，无需复杂计算即可实现高速视频压缩，其灵感来源于现代视频编解码器。通过模拟实验，研究发现OPVC方案的率失真性能优于独立事件相机（SAEC），且随着事件相机空间分辨率的提升，这种性能优势会进一步扩大。
事件相机视频压缩率失真分析光学传感自主系统
math
02-04 00:00
本研究比较了标准物理信息神经网络（PINN）与基于Trefftz方法的PINN（Trefftz-PINN）在保持全局物理结构方面的能力。以螺旋聚变反应堆构型中的磁场线结构再现为目标问题，研究发现，即使在均方误差（MSE）足够小的情况下，标准PINN也可能出现跨磁面的结构坍塌，而Trefftz-PINN则能成功保持磁场线的全局拓扑结构。该框架进一步扩展到计算流体动力学（CFD）问题，分析了速度场的流线结构，观察到相似趋势。结果表明，仅最小化数值误差并不能保证物理一致性，在学习前约束解空间是构建物理一致性代理模型的有效策略。
物理信息神经网络结构保持trefftz方法计算流体力学代理模型磁场拓扑
math
02-04 00:00
本文提出了一种新的分布距离度量——决策聚焦（DF）散度，专门用于衡量随机线性优化问题中，目标系数分布差异对决策成本的影响。传统度量（如KL散度、Wasserstein距离）无法有效量化这种成本差异，因为系数分布的变化不一定会改变最优解，其影响取决于两个分布如何对齐。作者基于最优传输理论，引入了乐观、鲁棒及其熵正则化变体的DF距离，建立了与经典分布度量的联系，并开发了高效的计算方法。理论分析表明，DF距离估计避免了Wasserstein距离估计中的维度灾难。数值实验（包括报童问题和真实医疗测试数据集）验证了其实际价值。
最优传输随机优化分布度量决策聚焦样本复杂度线性规划
math
02-04 00:00
本文推广了随机控制中的确定性等价原理。经典原理指出，对于具有输出反馈和二次成本的线性系统，最优控制律可通过将最优状态反馈策略应用于状态的最小均方误差估计得到。我们放宽限制，考虑一般非线性部分可观测随机系统，允许使用任意状态估计而非仅限于MMSE估计。在此设定下，确定性等价策略并非最优。针对成本和动态在适当意义上光滑的模型，我们推导了此类策略次优性的上界，并通过多个示例阐释了结果。
随机控制部分可观测确定性等价次优性界非线性系统
math
02-04 00:00
本文提出了一种新颖的优化方法，用于在复杂但结构化的环境中为全向车辆生成近时间最优轨迹。该方法通过自由空间走廊编码环境，并使用运动基元表示车辆在走廊内的运动。这些基元通过启发式选择，并以有限的自由度定义轨迹，最终通过优化问题确定参数。与求解完整最优控制问题（OCP）或使用OMG-tools、VP-STO等先进方法相比，该方法在固定走廊序列内不显著牺牲最优性的前提下，实现了显著更低的计算时间。研究在仿真中进行了广泛基准测试，并在真实的Beckhoff XPlanar系统上进行了验证。
运动规划时间最优优化方法全向车辆结构化环境
math
02-04 00:00
本文研究在偏序集 $\Lambda$ 上的马尔可夫增长过程，该过程等价于具有独立指数分布权重的最后通过渗流模型。研究给出了生长任意集合 $A \subseteq \Lambda$ 所需通过时间 $\tau_A$ 的均值、方差、高阶矩、中心矩及指数矩的非渐近界，这些界由 $A$ 的特征所刻画。当 $\Lambda$ 具有幺半群结构时，还给出了极限形状定理。方法涉及利用与马尔可夫演化相关的倒向方程，以及关于时间反转生成元的比较不等式。
最后通过渗流非渐近界极限形状马尔可夫过程偏序集指数分布
math
02-04 00:00
本文研究了计算群同态数量问题的计算复杂度。核心结论是：对于任意非阿贝尔有限群G，当输入群Γ以有限展示形式给出时，计算同态数量是#P-困难的。然而，当G是2类幂零群，且Γ是三维流形基本群（由三角剖分给出）或有限群（由乘法表给出）时，存在多项式时间算法。这一差异源于三维流形与Eilenberg-MacLane空间的接近性，使得能利用三角剖分高效解决群上同调障碍问题。
计算复杂度群同态#p-困难多项式时间算法群上同调三维流形
math
02-04 00:00
本文研究了任意时空维度的Minkowski空间中，具有任意幂次的聚焦幂次非线性波动方程。作者针对在类空超曲面上呈现ODE型爆破解（即每点处的爆破解由显式解 $\phi_{\mathrm{model}} = c_p t^{-\alpha_p}$ 主导）的情况，给出了高正则性空间中局部稳定性与散射理论的完整理解。给定一个足够正则的类空超曲面 $\Sigma_f$ 及辅助散射数据 $\psi$，可以构造出非线性波动方程的唯一对应解，该解在 $\Sigma_f$ 上（局部地）形成ODE型奇点并获取 $\psi$ 作为散射数据。反之，此类ODE型奇点对于远离奇点的适当正则扰动是（局部）稳定的，且爆破解曲面与散射数据在扰动后仍保持正则性，并连续依赖于扰动。
非线性波动方程ode型爆破解散射理论稳定性分析奇点形成
math
02-04 00:00
本文研究了维数至少为3、且允许本质局部共形变换伪群的局部共形齐次洛伦兹流形。推广了Alekseevsky和Galaev的最新结果，证明了任何此类流形$(M,g)$要么是共形平坦的，要么局部共形等价于一个齐次平面波。对于非共形平坦的情形，我们证明了存在一个余维数为1的海森堡型类光叶状结构，这导致了平面波结构。我们的方法依赖于Gromov刚性变换理论的工具。最后，我们观察到共形类中的平面波度量与$(M,g)$沿某条零测地线的彭罗斯极限相吻合。
洛伦兹几何共形几何齐次空间平面波刚性变换叶状结构
math
02-04 00:00
本研究设计了一项基于GeoGebra动态几何软件的数学教学序列，旨在帮助中学生超越矩阵乘法的机械算法，理解其作为线性变换的几何意义。研究基于数学工作空间（MWS）框架，对10名秘鲁高中生进行了四轮教学干预，结合手动计算与数字探索。结果表明，学生在符号、工具和话语三个维度上均有显著进步：他们能更好地协调矩阵的代数、图形与数值表示；更有效地将GeoGebra用作认知工具；并能解释矩阵对图形的几何作用。这标志着学生从算法执行转向了基于线性变换的概念性理解。
矩阵乘法几何变换geogebra数学教学可视化教学线性代数
math
02-04 00:00
本文研究定义在平坦环面上的非线性非局部椭圆方程。研究发现，虽然常数解总是存在，但解的唯一性通常不成立。作者通过谱分析和Crandall-Rabinowitz分歧定理，证明了从常数解分岔出的非周期解分支的存在性，这是一个定性的、非构造性的结果。此外，通过不同的论证方法，作者针对目标问题的一维形式构造了显式的多重解。
椭圆方程非局部方程分歧理论唯一性失效周期解
math
02-04 00:00
本文研究了命题单调模态逻辑中的Lyndon正性性质（LPP），即所有单调公式是否等价于正公式（不含否定和蕴含符号）。研究证明，所有具有Lyndon插值性质（LIP）的正规模态逻辑都具有LPP。同时发现，介于K4.3和S4.3之间的逻辑都不具有LPP。在S4的表格扩展中，存在无限多个具有LPP的逻辑和无限多个不具有该性质的逻辑。此外，所有在双模拟积下保持的典型单调模态逻辑同时具有LIP和LPP，特别是那些在最小单调逻辑EM上通过闭公式和形如$A(p) \rightarrow \lozenge p$（其中$A$为正公式）的公理可公理化的逻辑。
模态逻辑lyndon性质单调性正性公式插值性质逻辑完备性
math
02-04 00:00
本文通过引入两种“ω-规则”扩展一阶逻辑，并刻画了在这些逻辑中理论具有范畴性（即唯一模型）的可数结构。在单排序的推理ω-逻辑中，罗宾逊系统Q和皮亚诺算术均成为范畴理论。在双排序的广义ω-逻辑中，证明了每个完备的$L_{\omega_1,\omega}$句子与配备适当$G-\omega$规则的一阶理论定义了相同的结构类。这些逻辑远弱于二阶逻辑，且不依赖于范畴性定理本身试图确立的算术概念。研究结果依赖于证明这些逻辑的推理规则本身是范畴的，即它们唯一确定了逻辑连接词和量词的特定真值条件。
范畴性ω-规则一阶逻辑推理主义$l_{\omega_1,\omega}$数学哲学