math
03-20 00:00
本研究从控制理论视角，将生成模型（GMs）形式化为随机动力系统，以分析其产生自信错误（幻觉）的根源。作者指出，利用控制论知识可分析系统的传递函数与响应。尽管模型高度复杂，难以直接求解其拉普拉斯变换，但从宏观角度模拟源响应为缓解幻觉提供了虚拟路径。研究发现，训练进程与系统响应具有一致性，这为设计更优的优化组件提供了依据。最终，通过拉普拉斯变换分析，从本质上优化了生成模型的幻觉问题。
生成模型幻觉问题拉普拉斯变换控制理论系统响应优化方法
math
03-20 00:00
本文提出了一种基于随机游走和公平划分的新方法，用于分析基于编码的密码系统的安全性。通过推导随机游走总变差距离的不等式，该方法推广了有限阿贝尔群上的现有结果，为评估密码系统的平滑参数提供了更通用的理论框架。
编码密码学平滑参数随机游走总变差距离公平划分
math
03-20 00:00
本研究探讨了在字母表维度d趋于无穷大时，基于ε₀-LDP信道的邻近洗牌实验，以及在规范化的成对卡方预算下频率估计的最优机制设计。在隐私方面，研究证明了一个精确的压缩定理：洗牌后的直方图实验仅取决于成对似然比的推前分布。同时，建立了一个尖锐的通用上界χ² ≤ (e^{ε₀}-1)²/e^{ε₀}，并构造了明确的障碍族，使得对于所有d，洗牌隐私曲线均等于二元随机响应。在估计方面，通过Cramér-Rao和Assouad论证，证明了阶为(d-1)/(n χ_*(W))的通用下界，并表明对称化为等变信道是无损的。在设计方面，研究表明校准的广义随机响应(GRR)并非最优。最优机制是一种增强型GRR：比例为p的用户应用具有λ_* = √(d-1)的激进GRR，其余用户发送空符号。这种“稀释”原理是洗牌模型特有的，在本地差分隐私中没有对应物。对于低预算0 < C ≤ C_*(d)的情况，增强型GRR在所有置换等变信道中是最优的。
洗牌差分隐私频率估计机制设计信息论统计推断隐私放大
math
03-20 00:00
本文证明了对于线性问题及特定非线性问题，半离散形式的主动通量（AF）方法与间断伽辽金（DG）方法本质上是相同的。通过建立两者自由度之间的映射关系，发现其更新公式完全一致。AF方法平均每单元使用 $K+1$ 个自由度，可实现 $K+1$ 阶多项式逼近，而相同自由度下DG方法仅为 $K$ 阶。数值实验证实AF在给定误差下更经济，同时该等价性为理解DG的超收敛现象提供了新视角，揭示了Radau多项式及其零点在映射中的关键作用。
数值分析有限元方法主动通量法间断伽辽金法超收敛等价性
math
03-20 00:00
本文研究了至多有一个奇异点的单纯射影环面簇的坐标环的Castelnuovo-Mumford正则性，并建立了其上界。在光滑情形下，结果恢复了Herzog和Hibi的界，从而也蕴含了经典的Eisenbud-Goto界。特别地，当簇的维数至少为3且恰好有一个奇异点时，其正则性同样满足Eisenbud-Goto界。证明结合了组合与同调方法：通过研究与该环面簇相关的和集的渐近行为，并利用一个类Hochster公式将其与Castelnuovo-Mumford正则性联系起来。
环面簇castelnuovo-mumford正则性奇异点组合交换代数eisenbud-goto界和集
math
03-20 00:00
本研究从基于Ciarlet-Geymonat能量的三维模型出发，在经典可压缩各向同性材料弹性理论框架内，推导了非线性壳模型。涉及变形梯度范数的Neo-Hookean项导出了一个依赖于变形中面第一、第二和第三基本形式的能量。所得壳模型的系数取决于三维材料的经典Lamé系数、壳体厚度以及参考构型的平均曲率与高斯曲率，表明壳体行为不仅受弹性系数影响，也受初始几何形状影响。为确保所得泛函的下半连续性，研究将厚度方向的渐近约化与应用于纯体积能项的Simpson求积法则相结合。在建立模型后，证明了所提壳能量的适定性，包括所得泛函的强制性和下半连续性，并在适当的Sobolev空间中证明了极小元的存在性。证明的关键在于壳理论中的多凸性概念，以及涉及变形中面平均曲率项的弱收敛性结果。
非线性弹性壳模型kirchhoff-love理论ciarlet-geymonat能量适定性分析多凸性
math
03-20 00:00
本研究改进了拉多单方程定理的上界估计，证明了对于任意非零整数$a$和$b$，存在自然数$N < \exp(r^{2+o_{a,b;r\rightarrow\infty}(1)})$，使得在任何$r$-着色集合$\{1,\dots,N\}$中，总能在同一颜色类中找到满足方程$ax-ay=bz$的三个数$x,y,z$。这一结果显著优化了先前已知的上界，为组合数论中的拉姆齐型问题提供了更精确的定量刻画。
组合数论拉姆齐理论拉多定理着色问题上界估计
math
03-20 00:00
本文推广了 Gromov 的单射引理，将研究范围从单射性扩展到后满射性和预单射性等基本动力学性质。主要结果表明，对于 sofic 群，所有后满射的元胞自动机都必须是双射的。此外，文章系统研究了 post-injunctive 群类的稳定性质，证明了具有剩余有限核的 post-injunctive 群的半直积扩张仍然是 post-injunctive 的。
元胞自动机后满射性sofic 群gromov 引理群作用动力系统
math
03-20 00:00
本研究分析了受恒定角度倾斜和约束势场作用的Kuramoto-Vicsek自驱动粒子模型及其平均场行为。无约束时，均匀密度态稳定，计算了四种相互作用核归一化变体的临界耦合，发现主导失稳总是空间均匀的。存在约束场时，均匀态不再稳定。通过微扰法构建新稳态，并应用特征值微扰理论，推导出临界耦合随场强变化的显式公式。阈值随约束强度呈二次增长，倾斜虽在无约束时不影响阈值，但通过稳态修正产生影响。数值验证了预测，并推导了具有一般多色势的稳态自洽方程。
自驱动粒子临界耦合约束势场微扰理论平均场模型稳定性分析
math
03-20 00:00
本论文旨在发展范畴方法，以连接镜像对称中的计数几何与大N规范理论。核心成果包括：1) 建立了图复形、Calabi-Yau $A_\infty$-范畴与Kontsevich上闭链构造之间的联系；2) 构造了一个形式$L_\infty$-态射，该态射关联了由Calabi-Yau范畴及其对象构建的代数结构，并依赖于非交换Hodge滤过的一个分裂，从而将计数不变量的范畴化方法从闭弦推广到开闭弦情形。从物理视角看，闭弦范畴不变量由关联闭弦场理论的配分函数编码，而本文的开闭态射是量化与Calabi-Yau范畴对象关联的大N开弦场理论的关键要素。最后，基于对开闭反作用弦场理论的代数处理，论文提出了在配分函数层面实现“扭曲全息原理”范畴化表述的构想。
弦场理论计数几何calabi-yau范畴形式态射大n规范理论全息原理
math
03-20 00:00
本文针对高自适应LASSO（HAL）方法在高维非参数最小损失估计中计算量指数级增长的问题，提出了基于主成分的PC-HA估计器家族。该方法首次为HAL的维度缩减提供了有理论依据的解决方案，建立了PC-HA估计器所求解的得分方程的形式化结果。研究证明，在可比较的复杂度控制下，可以将HAL的插件效率与逐点渐近正态性结果转移到PC-HA估计器上，从而在保持HAL原有维度无关的极小极大最优速率等理论保证的同时，大幅提升了其在高维场景下的计算可行性。
非参数估计高维降维主成分分析自适应lasso统计理论计算效率
math
03-20 00:00
本研究提出了一种基于计算代数几何的新方法，用于判定两个代数结构是否同构。该方法通过几何工具分析代数同构问题，并成功应用于群环同构领域。研究证明：若R是2不可逆的交换幺环，G是阶数整除64的群，H为任意群，则当幺代数RG与RH同构时，必然有群G与H同构。这一结果推进了模同构问题的研究边界。
计算代数几何模同构问题群环代数同构有限群
math
03-20 00:00
本文推广了持续性同调理论中经典的绝对同调与相对上同调条形码之间的对偶关系。通过引入点态对偶 $(-)^*$ 和全局对偶 $(-)^\dagger$ 两个函子，证明了对于具有非循环余极限的自由 $N$ 参数持续性链复形 $C$，有 $H_q(C)^* \cong H^{N+q}(C^\dagger)$。该结果为计算多参数 Rips 过滤的（上）同调的自由表示提供了理论基础，并简化了持续性模 $M$ 与其点态对偶 $M^*$ 的极小自由分解之间的对应关系。
多参数持续性同调对偶自由分解rips 过滤持续性同调
math
03-20 00:00
本文研究了具有缓存比γ的实用缓存辅助非对称MIMO配置，其中配备L根发射天线的服务器与K个用户通信。用户被划分为J组，第j组中的每个用户拥有G_j根接收天线。我们提出了四种内容感知的MIMO-CC策略：min-G策略通过使用用户中最小的天线数来强制对称性；分组策略以牺牲部分全局缓存增益为代价，最大化子集内的空间复用增益；超分组策略在应用分组策略之前，将用户聚合到基于min-G优化的超集中，这些超集具有相同的有效接收复用增益；幻象策略通过假设用户存在“幻象”天线来重新分配空间资源，以弥合min-G和分组策略之间的性能差距。我们在三种具有保证线性可解码性的参考对称CC放置-交付策略下开发了这些非对称策略：一种实现最优单次自由度的DoF最优策略，以及两种闭式策略（即组合和线性循环低复杂度构造），其中循环策略在许多操作区域中获得的DoF性能接近其他策略。分析和数值结果表明，在各种系统配置下，DoF均有显著提升，并且策略组合在DoF和子分组复杂度之间提供了灵活的权衡。
缓存辅助通信非对称mimo自由度优化内容感知策略空间复用
math
03-20 00:00
本文研究Biot方程的全混合有限元离散化方法，该方法通过弱对称性条件处理弹性应力张量，形成具有鞍点结构的对称耦合系统。研究建立了多个任意阶离散空间的inf-sup稳定性，获得最优先验误差估计。针对该全混合格式，系统分析了基于固定应力分裂的迭代分裂策略，证明了收敛性及与耦合强度相关的收敛速率。理论证明了负稳定化方法的有效性，数值实验通过解析解和经典Mandel问题验证了理论结果。
biot方程混合有限元分裂策略稳定性分析多孔介质流固耦合
math
03-20 00:00
本研究通过条件互信息（CMI）分析了整数基数 b（2 ≤ b ≤ 1000）下本福德序列 b^n 的多位数字相关性。基于 log₁₀(b) 连分数展开导出的共振比，将基数分为收敛与持续相关两类（定理 3.13）。在 996 个基数中，84 个（8.4%）在样本深度 N = 10,000 时仍表现出持续相关性，进一步计算至 N = 200,000 确认其中 53 个（5.3%）为真实持续。研究证明 CMI 偏差受分布误差约束（定理 3.4），并通过 2,988 个测试案例验证了有界型基数的有效标度呈二次方（β = 2）。在 774 个收敛基数中，观测到的有效指数为 β_eff = 1.72 ± 0.19，与渐近速率的有限样本修正一致。研究推测持续相关基数的比例收敛于 1/12，这一猜想基于部分商的 Gauss-Kuzmin 分布。对于持续相关基数，在标准精度下收敛阈值 N_ε 超过 10⁶，使得渐近极限在现有计算范围内观测不到。
本福特定律数字相关性条件互信息连分数数论渐近分析
math
03-20 00:00
本研究将主动学习与稀疏随机特征展开（SRFE）相结合，提出了一种基于Christoffel函数的自适应采样策略。该方法利用稀疏恢复求解器迭代选择的基函数所关联的Christoffel函数，动态评估样本点对函数空间的贡献度，从而指导采样过程，优化样本点分布。数值实验表明，相比非自适应采样，该自适应策略在保持高精度的同时显著降低了SRFE的样本复杂度，为数据获取成本高昂的科学计算任务提供了高效解决方案。
自适应采样稀疏随机特征函数逼近科学计算主动学习
math
03-20 00:00
本研究为260天的中美洲仪式历法《托纳尔波瓦利》构建了一个代数模型，将其表示为循环群 $\mathbb{Z}_{13}\oplus\mathbb{Z}_{20}$，其中每个日期由数字-符号对编码。通过群作用，推导出日期编号与名称之间的明确对应关系，并以代数术语描述了20个13天周期、13个20天周期以及日期按定向四元组的划分。此外，文章还揭示了这些结构与由13天周期起始点置换生成的子群之间的关系，并展示了其与四阶循环群及正方形旋转的关联，为法典分析提供了数学框架。
数学建模群论历法研究中美洲文明代数结构
math
03-20 00:00
该研究证明了每个充分大的整数n均可表示为n=x²+y²−z²，且满足max(x², y², z²) ≤ n。证明的核心是将该三元表示问题转化为在实双曲面b²−4ac=4n的紧致开片中找到正判别式4n的原始二元二次型。这通过应用Duke定理的精确点计数形式（源自Einsiedler-Lindenstrauss-Michel-Venkatesh的测度对偶理论）得以实现，最后通过有限奇偶性校正回到原始变量。该结果彻底解决了Erdős问题1148。
数论二次型丢番图方程erdős问题解析数论
math
03-20 00:00
本文构造了一类定义在单位区间上的特殊映射，这些映射能够保持序列的均匀分布性质。研究证明，这类映射的迭代序列构成Buck一致分布序列。论文第三部分系统证明了这类映射的若干重要数学性质，为均匀分布理论提供了新的构造工具和分析方法。
均匀分布映射构造迭代序列数论动力系统单位区间
math
03-20 00:00
本文针对美国电网中日益增多的联合循环机组（CCs）带来的大规模整数规划问题，提出了一种新颖的混合Benders分解（BD）与Dantzig-Wolfe分解（DW）算法，用于求解随机机组组合（UC）问题。该算法利用BD处理线性约束的可分性，同时利用DW处理CCs的整数配置约束。在修改后的935台发电机FERC测试数据集上，新算法在所有案例中均显著快于传统BD方法，且在25个及以上场景的案例中，其收敛速度优于BD和Gurobi分支定界求解器，证明了其良好的可扩展性。
随机机组组合混合分解算法联合循环机组电力系统优化整数规划
math
03-20 00:00
本文针对稀疏二次约束二次规划（QCQP）这一包含稀疏回归、稀疏主成分分析（PCA）等经典难题的优化问题，提出了一个名为“Spartrahedron”的新型凸锥结构。该结构在矩阵层面精确刻画了稀疏性，并导出了一个半定规划（SDP）松弛。理论证明，当松弛解为秩一时，该松弛是紧的，从而提供了全局最优性的简单证明。研究为稀疏PCA和稀疏岭回归建立了近似界和精确性区域，并给出了扰动下的稳定性结果。数值实验在稀疏PCA、回归、RIP常数估计和稀疏典型相关分析（CCA）中验证了方法的有效性。
稀疏优化凸松弛半定规划主成分分析二次约束二次规划统计学习
math
03-20 00:00
本文针对多类谓词逻辑到无类一阶逻辑的标准翻译方法，给出了两个构造性证明。第一个证明修复了Herbrand在1930年论文中关于无等式情况的证明漏洞，概念上比Schmidt和Wang的后续证明更简洁。第二个证明不仅适用于包含等式的语言，还能处理参数位置允许多种排序组合的关系与函数符号。两个证明均同时适用于经典逻辑和直觉主义逻辑。作为应用，作者使用第二个证明为van Dalen将二阶逻辑翻译为无类一阶逻辑的方法提供了完全句法上的合理性论证。
数理逻辑多类逻辑构造性证明逻辑翻译一阶逻辑
math
03-20 00:00
本研究解决了Allen提出的关于偏袒性米泽尔商集基数的问题，证明其可具有除3外的任意有限基数。这一发现与公正性米泽尔商集必须具有偶数基数的性质形成鲜明对比，揭示了组合博弈论中两类商集结构的根本差异。
组合博弈论米泽尔商集有限基数偏袒性博弈数学证明