math
02-11 00:00
本研究从信息论角度为比特币的离散时间机制提供了新的解释。论文表明，区块到达过程在不同难度周期内均表现出稳定的指数行为，且工作量证明过程维持着一个高熵的搜索状态，该状态仅在发现有效区块时发生离散的“熵坍缩”。这为比特币非连续的时间结构提供了机制性解释。同时，研究通过分析临时分叉的实证数据指出，在分布式网络中，熵坍缩并非在所有参与者间瞬时完成，而是在一个有限的、受传播延迟约束的时间区间内展开，尽管在实践中这一过程仍然非常迅速。
比特币信息熵离散时间工作量证明网络传播时间机制
math
02-11 00:00
本研究将费马大定理重构为一个信息几何结构的嵌入问题。作者将费马方程 $x^n + y^n = z^n$ 解释为一个 $n$ 阶矩约束，并利用最大熵原理构造了广义正态分布的统计流形 $\mathcal{M}_n$。根据Chentsov定理，其局部自然度量是Fisher信息度量（$L^2$结构），但全局结构却由 $L^n$ 矩约束主导，这揭示了局部二次度量与全局 $L^n$ 结构之间的根本性不匹配。作者公理化地定义了“信息几何费马解”，要求其晶格结构在勒让德变换下保持“对偶晶格一致性”。通过泊松求和公式与Hausdorff-Young不等式，他们证明了对于 $n \ge 3$，这样的结构不可能存在，因为傅里叶变换会导致函数族从 $L^n$ 变为 $L^q$（其中 $1/n + 1/q = 1$），使得对偶一致性在解析上无法实现。这标识了在双重平坦空间中，整数结构与能量结构不相容的几何障碍。
信息几何费马大定理统计流形对偶平坦空间矩约束傅里叶分析
math
02-11 00:00
本文研究了差分隐私混洗模型下，由相邻数据集诱导的转录分布之间的Jensen-Shannon散度（JSD）。在温和的正性假设下，我们证明了一个显式的两项渐近展开，其中主项为卡方散度除以 $8n$。二元随机响应和 $k$ 元随机响应作为推论得出。对于基于独立重复的多消息协议，主系数变为 $(1 + \chi^2)^m - 1$。附录中提供了完全显式的余项控制。
差分隐私混洗模型jensen-shannon散度渐近分析信息论随机响应
math
02-11 00:00
本文研究时谐声波在具有无界周期表面的弹性体上的散射问题。通过将问题限制在一个周期单元内分析，并借助完美匹配层（PML）技术将无界物理域截断为有界计算域。通过同时构造声波和弹性波的等效透明边界条件，建立了截断PML问题解的存在唯一性和指数收敛性。应用有限元方法求解声弹耦合的PML问题，并针对弹性体非光滑表面引起的奇异性，建立了残差型后验误差估计，进而开发了一种自适应PML有限元算法。数值算例验证了该自适应算法的有效性。
声弹耦合完美匹配层有限元方法周期结构自适应算法散射问题
math
02-11 00:00
本文提出了一种用于求解非线性最小二乘问题的新型优化算法。该方法的核心思想是利用雅可比矩阵的奇异值分解（SVD）对梯度下降方向进行预处理，并将此SVD预处理器与Adam优化器的自适应学习率机制相结合。理论分析表明，在标准正则性假设下，该算法具有局部线性收敛性；在适当条件下，其改进版本可保证全局收敛。实验验证了该方法的有效性，在函数逼近、偏微分方程求解以及CIFAR-10图像分类等任务中，其性能均优于标准Adam优化器，实现了更快的收敛速度和更低的误差。
非线性最小二乘svd预处理梯度下降adam优化器收敛性分析优化算法
math
02-11 00:00
本文研究代数或解析簇的部分解奇点化问题，重点在于保持正规交叉奇点结构。作者提出三部分方法：首先建立满足一般分裂假设的正则或解析函数的形式分裂定理；其次基于有限阿贝尔群G的群循环矩阵组合学，研究正规交叉轨迹闭包中的奇点，得到群循环正规形约化定理；最后结合前两部分与群循环奇点的加权爆破，证明部分解奇点化定理。该结果突破了以往仅适用于简单正规交叉或维数小于5的情形。
代数几何奇点理论正规交叉群循环矩阵部分解奇点化加权爆破
math
02-11 00:00
本文研究了通用Picard叠 $\mathrm{Pic}_{g, n}^d \to \mathcal{M}_{g, n}$ 的 $\mathbb{S}_n$-等变拓扑及权分级紧支欧拉示性数。核心发现是：$\mathrm{Pic}_{g, n}^d$ 的欧拉示性数生成函数，在权零和拓扑情形下，可通过一个极其简单的组合变换从 $\mathcal{M}_{g, n}$ 的相应生成函数得到。这使我们能利用Chan–Faber–Galatius–Payne公式（权零情形）和Gorsky公式（拓扑情形）作为输入，推导出这两个生成函数的闭公式。作为推论，我们还得到了 $\mathrm{Pic}^d_g$ 拓扑欧拉示性数的闭公式。权零计算是一个更一般结果的推论，该结果将 $\mathcal{M}_{g, n}$ 的权分级欧拉示性数传递到 $\mathrm{Pic}_{g,n}^d$ 上。
代数几何组合数学欧拉示性数模空间picard叠生成函数
math
02-11 00:00
本文在结构群为SU(2)的黎曼3-流形上，首次构造了球对称的狄拉克-杨-米尔斯对。这些解是耦合的，即联络并非杨-米尔斯联络。特别地，在特定半径的$S^1(r_1) \times S^2(r_2)$上找到了解。据作者所知，这是首次在闭黎曼自旋流形上获得耦合的狄拉克-杨-米尔斯对。
数学物理微分几何规范场论狄拉克方程杨-米尔斯理论球对称解
math
02-11 00:00
本研究提出了一种基于模函数的新方法，解释了魔群（Monster group）阶数在大于3的素数分解中出现的指数规律。通过建立模函数与有限单群结构之间的深刻联系，为理解这一最大散在单群的算术性质提供了新视角。该方法将数论中的模形式理论与群论相结合，揭示了魔群阶数 $|\mathbb{M}| = 2^{46} \cdot 3^{20} \cdot 5^{9} \cdot 7^{6} \cdot 11^{2} \cdot 13^{3} \cdot 17 \cdot 19 \cdot 23 \cdot 29 \cdot 31 \cdot 41 \cdot 47 \cdot 59 \cdot 71$ 中特定素数指数的来源。
模函数魔群素数分解有限单群数论与群论
math
02-11 00:00
本研究探讨了紧空间上连续实值函数空间 $C(K)$ 的同构分类问题。主要结论包括：对于任意不可数正则基数 $\kappa$，存在恰好 $2^\kappa$ 种不同同构类型的 $C(K)$ 空间；对于可分离紧线性序空间类 $\mathcal{L}_{\omega_1}$，其分类结果依赖于集合论公理——在连续统假设下存在 $2^{2^\omega}$ 种类型，而在Baumgartner公理下仅存在一种类型。
函数空间分类紧线性序空间同构类型集合论公理基数理论
math
02-11 00:00
本文研究二维一阶微分方程系统 $Ju' + qu = wf$ 的扩张理论，其中系数 $q$ 和 $w$ 为实分布。作者刻画了最小关系闭包中解的边界条件，描述了产生自伴扩张的拟边界条件性质，并将这些结果应用于非负最小关系的 Krein-von Neumann 扩张。
自伴扩张分布系数微分方程系统krein-von neumann 扩张边界条件
math
02-11 00:00
本文研究了具有记忆的高斯信源在有限码长下的有损压缩问题。作者证明了在失真不超过d、超出概率不超过ε的约束下，最小可达速率满足渐近展开式：$R(n, d, \epsilon)=\mathbb{R}_n(d)+\sqrt{\frac{\mathbb{V}_n(d)}{n}}Q^{-1}(\epsilon)+O \left(\frac{\log n}{n}\right)$。其中$\mathbb{R}_n(d)$和$\mathbb{V}_n(d)$分别为n阶信息率失真函数和信源色散。该结果将现有独立同分布信源的色散理论推广至分量独立但非同分布的信源，并首次为具有记忆的高斯信源（如高斯-马尔可夫信源）提供了精确的有限码长性能刻画。分析的关键是引入了点质量乘积代理测度，该工具突破了传统经验分布的局限，为独立非同分布项之和的典型性分析提供了新方法。
信源编码速率失真理论有限码长分析高斯信源信源色散典型集构造
math
02-11 00:00
本文对求解双曲型方程的显式和隐式任意拉格朗日-欧拉（ALE）ADER间断伽辽金（DG）方法，在经典及退化的时空几何上进行了全面的冯·诺依曼稳定性分析。研究首先严格推导了显式ADER-DG方法的CFL稳定性条件，确认了文献中广泛使用的结果并明确了其适用范围。同时，阐明了在给定CFL条件下，ALE方法保持稳定所需的网格速度约束。研究进一步将稳定性分析扩展到包含退化时空单元（在时间步开始和结束时尺寸为零但具有非零时空体积）的情形。结果表明，无论是显式还是隐式ADER-DG方法，在此类退化几何上的CFL稳定性约束与经典几何保持一致，为其在ALE方法中的实际应用奠定了理论基础。
稳定性分析间断伽辽金法任意拉格朗日-欧拉cfl条件时空几何双曲方程
math
02-11 00:00
本文研究了射影空间中点集加厚上同调模的泛平坦性问题。针对经典问题——寻找通过给定点集且重数至少为$t$的超曲面的最小次数，作者提出了关于局部上同调模泛自由性的猜想，并在射影$n$空间中对不超过$n+2$个点的情形给出了证明。该结果对代数几何中的相交理论具有重要意义。
代数几何上同调平坦性射影空间局部上同调
math
02-11 00:00
该研究证明了在有限域 $\mathbb{F}_{q^n}$（其中 $q=p^k$ 为素数幂）中，本原正规元素构成的集合是一个 Salem 集，并且该集合在有限域中具有强等分布性。研究还进一步将类似结论推广至二次剩余集合和模大素数 $p\geq 3$ 的本原根集合，揭示了这些重要数论集合在代数结构中的均匀分布规律。
有限域本原正规元等分布salem集数论
math
02-11 00:00
研究证明，当边数递增的正多边形序列以最小弯曲方式首尾相连时，会形成一条精确的对数螺线，其极坐标方程为 $r = \exp\left(\frac{4\theta}{\pi}\right)$。分析发现，偶边多边形和奇边多边形的中心到螺线的距离分别收敛于 $\frac{5}{6}$ 和 $\frac{7}{12}$，且这些中心沿螺线内侧向外延伸。对仅由奇边多边形构成的序列进行类似分析，也得到了相同类型的螺线，其中心距离收敛于 $\frac{7}{24}$。
几何学对数螺线正多边形序列构造收敛分析
math
02-11 00:00
本文引入了循环k-超模式的概念，即包含所有长度k模式（考虑旋转等价性）的排列。作者提出了一种从线性(k-1)-超模式构造循环超模式的方法，并明确推导了其长度的上界。受Engen和Vatter的Z字形框架启发，作者将其得分函数适配并简化到循环场景，分析了其奇偶性。对于奇数k，提出了一个候选的Z字形构造方法，并得到了小k值下的计算证据支持。
组合数学排列模式循环超模式z字形构造旋转等价
math
02-11 00:00
本研究深入探讨了Dicyclic群$\mathrm{Dic}_{4n}$中，子集的“和集”与“差集”大小之间的关系。作者首先精确计算了大小为2的MSTD（和集大于差集）、MDTS（差集大于和集）以及平衡子集的数量，并证明当$n \to \infty$时，前两者的数量渐近相等。对于奇数$n$，研究进一步给出了大小为3的各类子集的精确计数，结果取决于$n$是否被3整除，并发现此时MSTD子集的数量渐近为MDTS或平衡子集数量的6倍。最后，针对大小为$2n$的边界情况，建立了各类子集数量的下界。
组合数论和差集dicyclic群渐近计数mstd子集精确计数
math
02-11 00:00
本文引入并研究了Banach空间中Steinhaus性质(S)的定量版本——一致性质(S)。一个Banach空间X具有一致(S)性质，如果对于任意不同的单位向量x,y和任意a>0，扰动范数差的下界可由a和‖x-y‖的正函数控制。研究精确计算了在无原子测度μ下L₁(μ)空间的模：U_{L₁(μ)}(d;a)=(4a/(2+d)∧1)d。证明具有一致(S)的空间类在超幂、Bochner-L₁构造下稳定，包含所有Gurariĭ空间及几乎万有配置的Banach格。特别地，每个Banach空间都可等距嵌入到具有相同密度、非严格凸且具有一致(S)的空间中。此外，通过显式等价重赋范‖x‖_S=(‖x‖₁²+‖x‖₂²)^{1/2}，使ℓ₁(Γ)及其所有超幂均具有一致(S)。这些结果在ZFC中解决了关于性质(S)定量几何的几个公开问题。
banach空间一致性质(s)范数扰动l₁空间超幂稳定等价重赋范
math
02-11 00:00
本研究针对混合整数二次规划（MIQP）模型预测控制（MPC）中因求解器迭代限制导致的次优问题，提出了一种混合系统控制器。该控制器将低迭代极限与高迭代极限的MPC求解器“统一”起来，重点关注分支定界法和二次规划迭代极限。研究从理论上推导了混合反馈控制系统的渐近稳定性和鲁棒性，并开发了可解释的分支定界算法及可实现的统一控制器算法。最后，通过切换推进器和最小推力航天器交会问题的仿真，对所提算法及不同迭代极限进行了实证评估。
模型预测控制混合整数规划迭代极限分支定界稳定性分析航天器控制
math
02-11 00:00
本文综述了Henstock-Kurzweil积分和Pfeffer积分等非绝对收敛积分理论，并借鉴其思想研究多维杨氏积分问题。核心贡献在于提出了杨氏几何积分理论，即通过引入适当的链和上链概念（遵循Whitney几何积分理论的精神），定义了广义微分形式在$\mathbb{R}^d$中$m$维子集上的积分。这项工作为处理非绝对收敛的积分问题提供了新的几何框架和方法。
非绝对收敛积分杨氏积分几何积分理论广义微分形式多维积分
math
02-11 00:00
本文研究了一类由极大秩幂零李代数通过极大可解扩张得到的可解李代数 $\mathcal{R}_{\mathcal{T}}$ 的伴随模二阶上同调群 $H^2(\mathcal{R}_{\mathcal{T}}, \mathcal{R}_{\mathcal{T}})$。在由极大环面 $\mathcal{T}$ 作用决定的根系满足特定结构假设下，我们获得了 $\mathcal{R}_{\mathcal{T}}$ 具有上同调刚性（即该上同调群为零）的充分条件。反之，我们识别出导致该上同调群非零的显式根系构型，从而构造出广泛的非刚性可解李代数族。我们的结果推广了 Leger 和 Luks 的经典充分条件，为一大类可解李代数的上同调刚性判定提供了一个统一且计算有效的框架，并涵盖了几个已知结果。
李代数上同调可解代数刚性根系伴随模
math
02-11 00:00
本研究探讨了非局部条件下半线性测度驱动积分微分系统的精确可控性问题。通过运用非紧性测度和Mönch不动点定理，我们建立了充分的系统可控性条件。该方法的创新之处在于，无需对演化系统相对于测度系统线性部分的紧性做出任何假设，从而在更广泛的框架下推广并改进了许多先前的研究成果。
可控性测度驱动系统积分微分方程非局部条件不动点定理