Multiplicative Diophantine approximation and bounds for lattice sums
AI总结 本文研究了在多面体中计算整点问题时所涉及的晶格和估计问题。作者提出了一种乘法型的丢番图逼近方法,用于分析和界定了相关晶格和的上界。该方法为理解整点计数问题提供了新的分析工具,并给出了更精确的理论界。
AI总结 本文研究了在多面体中计算整点问题时所涉及的晶格和估计问题。作者提出了一种乘法型的丢番图逼近方法,用于分析和界定了相关晶格和的上界。该方法为理解整点计数问题提供了新的分析工具,并给出了更精确的理论界。
AI总结 本研究通过分子束外延技术在石墨烯/Ir(111)基底上生长了1至5层的单晶MoS₂,并利用扫描隧道谱对其能带结构进行了测量。研究发现,随着层数增加,MoS₂的带隙显著减小,甚至低于体材料的带隙,并且在4层以上时导带钉扎现象消失。实验结果与密度泛函理论及GW计算对比表明,生长条件引入了额外的屏蔽效应,为二维半导体的能带调控提供了新的见解。
AI总结 本文研究了在具有正则反弹的宇宙学背景下,宇宙视界的存在性问题。作者指出,传统上认为减速膨胀阶段没有全局事件视界,加速膨胀阶段没有粒子视界,但这一结论依赖于时空的整体历史。通过构造不同场景,文章展示了在标准膨胀阶段与反弹后曲率增长阶段之间,视界行为可能与传统观点不同,从而揭示了宇宙视界性质对时空整体演化高度依赖的特性。
Comments 11 pages, 4 figures, Essay written for the 2026 Awards for Essays on Gravitation (Gravity Research Foundation), and awarded with "Honorable Mention"
AI总结 该研究旨在通过观测金牛座分子云中的九个无星和前恒星核心,探讨硫的丰度变化及其化学演化过程。研究团队检测了13种含硫分子,并结合氢分子柱密度、氮同位素比及CO耗尽因子等演化指标进行分析,发现不同核心中硫的丰度存在显著差异,且硫相关分子的丰度比随核心演化表现出不同趋势。研究指出,单一演化参数难以描述硫化学行为,局部环境条件对硫的丰度影响显著,未来需更精细的化学网络和物理结构模型来全面重现观测结果。
Comments Accepted for publication in A&A
AI总结 本文探讨了通用人工智能(AGI)可能对地缘政治格局带来的影响,并评估了欧洲在AGI时代是否做好了充分准备。研究认为,AGI可能在2030年至2040年间出现,将深刻改变全球经济和军事力量分布,加剧国家间竞争,并对现有治理体系构成挑战。当前欧洲在战略认知、计算基础设施、人才保留和工业AI应用等方面存在明显短板,亟需制定协调的应对计划,以提升在AI价值链中的地位并维护国际稳定。
Comments 84 pages, 12 figures
AI总结 本文研究了非牛顿幂律流体在方形腔体和同心圆柱环隙中自然对流及熵产生对热边界条件的依赖性。通过有限元框架求解不可压缩幂律模型和 Boussinesq 近似下的稳态二维控制方程,验证了数值方法在牛顿和非牛顿对流问题中的准确性。结果表明,剪切稀化流体增强浮力驱动流动和热传导,而剪切增稠流体则抑制对流;均匀加热促进更强烈和分布更广的对流结构,非均匀正弦加热则降低总熵产。研究揭示了热边界条件与流体流变特性对流动、传热及不可逆性的重要影响,为非牛顿对流系统的热管理提供了理论依据。
Comments 21 figures, 4 tables
AI总结 本文提出了一种基于基因驱动的神经细胞自动机(NCAs)的新方法,显著提升了多纹理合成能力,实现了受损区域的鲁棒自修复。研究还引入了一种灵活的纹理嫁接技术,可在推理阶段无缝融合不同纹理,无需专门再训练。该方法展示了生成高质量复杂纹理的能力,为自主系统的动态纹理合成与自修复提供了高效且强大的范式。
AI总结 本文研究了一维准线性薛定谔方程在无穷远处具有非零边界条件下的黑孤子轨道稳定性问题,适用于广泛的非聚焦和聚焦非线性情形。作者首先建立了准线性非线性项满足一定条件时有限能量孤子解的存在性,并证明了在满足Vakhitov-Kolokolov斜率条件时,黑孤子在能量空间中是轨道稳定的。研究中还给出了验证该条件的显式公式,并通过构造变分问题分析了扰动的演化行为,从而证明了稳定性结果。
Comments 47 pages, 2 figures
AI总结 本文研究了在差值受限的情况下禁止三元等差数列的问题,拓展了Ellenberg--Gijswijt关于帽集的定理。作者将Tao的切片秩方法应用于有限域上的问题,证明了当$q$为奇素数幂时,若集合$A \subseteq \mathbb{F}_q^n$不包含差值在$S^n$中的三元等差数列,则其大小有上界估计$|A| \leq q^{(1-\varepsilon_q)n}$,其中$\varepsilon_q>0$。这一结果为有限域中结构受限的等差数列问题提供了新的分析工具。
AI总结 本文研究了二维方势阱流体的热力学几何特性,并与三维情形在亚临界和超临界区域进行了对比。研究发现,在亚临界区域,二维流体中R-crossing方法的有效范围比三维流体更窄;而在超临界区域,二维流体的Widom线延伸得更远,且克劳修斯-克拉佩龙方程的适用性也表现出类似行为。这些结果揭示了维度对流体临界行为和热力学性质的重要影响。
Comments 8 pages, 8 figures
Journal ref EPL, 153 (2026) 31003
AI总结 本文研究了与若干有限链环族相关的零因子图,并利用cochordal可构造系统计算其边理想的同调不变量。通过引入一种分层图 $C(q,L)$ 来建模有限链环的零因子结构,并证明该图是cochordal的,确定其类型序列,修正并改进了其边理想的Betti数公式。研究进一步应用于高斯商环 $\mathbb Z_{2^m}[i]$ 和截断多项式环 $\mathbb Z_p[x]/(x^c)$,计算了多项同调不变量,并发现这些商环具有2-线性分解,仅在退化或完全图情形下满足Cohen-Macaulay性质。
Comments 67 pages, 13 figures
AI总结 本文研究了具有线性正演模型和高斯先验的反问题中未知超参数的估计问题,提出了一个基于极大化-最小化与蒙特卡洛方法相结合的算法M$^{3}$C。该方法通过构造对数行列式的主函数并结合蒙特卡洛估计,将原优化问题转化为一系列更易求解的子问题,从而有效降低了计算难度。理论分析表明,在一定条件下,该算法能以高概率收敛到原目标函数的临界点,并在地震层析成像、超分辨率成像和污染物源识别等多个实际问题中展示了良好的效果。
Comments 25 pages, 4 figures, Supplementary Material
AI总结 本文研究了超图边理想的 lcm 格的组合与代数性质。作者给出了 lcm 格在何种条件下为布尔格、模格或补格,并将结果推广到补格情形下的 lcm 格乘积。此外,还探讨了极化操作对 lcm 格的影响,揭示了极化前后理想 lcm 格之间的关系。
Comments 12 pages, 5 figures
AI总结 本文提出多项技术以提升对数组和矩阵操作的数据级并行程序进行演绎验证的可扩展性。核心方法包括引入一种能够重写含嵌套量词表达式的技术,以便生成合适的触发条件,并通过定理证明器验证其正确性;同时提供规格说明构造,用于处理可能重叠的数组,明确其是否为别名或不可变,从而将其建模为数学序列。这些技术已在VerCors验证器中实现,实验表明在验证典型GPU内核时,平均验证时间减少了9倍,部分案例甚至提升了150倍,并成功验证了此前无法实现的结果。
Comments 24 pages, 2 figures, 4 listings, 2 tables, to be published in CAV 2026
AI总结 本文提出了一种名为ARE方法的结构化框架,用于通过循环群作用和轨道分解对行列式中的莱布尼茨项进行组织。该方法利用循环群对对称群进行轨道划分,通过轨道旋转的符号规律和直化定理,将复杂的轨道多项式转化为平行线结构,并揭示了行列式中隐藏的几何与组合结构。研究还证明了经典萨吕斯法则无法扩展到四阶以上行列式,并提供了三种等价的可视化方式,为行列式的结构提供了系统而直观的几何与代数解释。
Comments 47 pages, 5 figures. Code and supplementary data available at DOI: 10.5281/zenodo.17423738
AI总结 本研究利用CMS探测器在13 TeV和13.6 TeV质子对撞数据中,首次专门搜索惰性双态模型中额外中性标量粒子的对产生过程,目标末态包含两个同味异号轻子(电子或μ子)以及缺失横向动量。通过参数化神经网络区分信号与标准模型背景,未发现显著超出预期的事件,但在不同质量区间内设定了95%置信水平的排除极限,为该模型中的中性标量粒子提供了重要的实验约束。
Comments Submitted to the Journal of High Energy Physics. All figures and tables can be found at http://cms-results.web.cern.ch/cms-results/public-results/publications/NPS-25-002 (CMS Public Pages)
AI总结 本研究系统研究了纳米结构钙钛矿材料 $La_{0.6}Sr_{0.4}Fe_{1-x}Co_{x}O_3$ 的磁热效应,通过聚合物膜浸渍法合成,并在1000°C下煅烧。研究发现,用钴替代铁显著改善了材料的磁性能,提高了饱和磁化强度和居里温度,同时通过扫描电镜观察到样品形貌随钴含量增加发生明显变化。实验表明,钴掺杂与纳米结构调控相结合,有效增强了材料的磁热响应,最大熵变可达1.13 J/(kg K)(3 T磁场下)。
Comments 22 pages, 7 figures
AI总结 本文研究了二分图的标号问题,提出了一种称为 $(A,B)$-均匀有序标号的新方法,并证明了此类标号的存在性可以保证某些完全图的循环分解的存在。作者首先针对特定类型的二分图(如偶长度的环加上一条或两条悬挂路径)证明了循环分解的存在性,并通过一种合并方法,将该标号扩展到由迭代添加偶环和悬挂路径构造的更一般的二分图类。这一成果为构造循环分解提供了新的标号方法和理论依据。
AI总结 本文研究了线性弹性框架下由最优性准则驱动的体积生长问题,提出了一种通过约束优化隐式确定生长张量的方法,而非依赖经验性的演化定律。在每一步增量过程中,位移场和生长场满足平衡、质量守恒及不可逆性条件,目标泛函则编码了生长驱动机制。有限元离散将问题转化为关于生长变量的有限维约束最小化问题,并明确揭示了该演化过程为投影梯度流,数值实例验证了该方法的有效性。
AI总结 Ergodicity Library 是一个开源的 Python 工具包,专注于随机过程的模拟、时间平均分析和基于代理的实验,特别强调非遍历性、重尾过程和不确定性下的决策行为。该工具集整合了过程定义与模拟、分析与拟合工具以及基于代理的实验三个层次,简化了从模型构建到诊断分析的流程。文章介绍了该软件的架构、支持的过程类型、分析流程及其实现范围,并提供了多个可复现的实例以展示其应用。
AI总结 本文提出了一种名为DEFROST的新算法,用于从射电源的法拉第旋转测量中同时分离银河系和河外天区的磁场贡献。该方法结合了射电源的旋转测量数据及其辅助信息(如红移),并考虑观测噪声的影响,从而更准确地解析宇宙大尺度结构中的磁场特性。通过合成数据和现有观测数据的测试,研究验证了该算法在不同观测条件下的有效性,尤其在银河系纬度绝对值大于45度的源中,能够以高精度分离河外磁场参数。
Comments paper accepted for publication in A&A, 14 pages (11 pages main text, 3 pages appendices), 13 figures
AI总结 本文研究了在乘积流形上H-通量在T对偶变换下的存活问题,提出利用共形不变量 $r^\sharp$ 作为判别标准。当 $r^\sharp = 0$ 时,H-通量在T对偶下完全转化为几何通量;而当 $r^\sharp = 1$ 时,H-通量在所有平坦圆因子下均能存活。研究还表明,$r^\sharp$ 能识别H-通量中在所有平坦圆因子下均无法被转化的不可约核部分,从而为拓扑T对偶提供了度量上的精细化刻画。
AI总结 本文提出了一种基于最优化原理的变分框架,用于描述由最优性准则驱动的表面生长过程。不同于传统的动力学定律,该方法在离散时间设置下,通过求解带有约束的最小化问题来确定每一时刻的结构配置。研究以具有层状沉积生长的弹性悬臂梁为例,展示了该方法在处理残余应力、非凸性及局部化现象中的应用,并探讨了引入正则化项以稳定演化过程的可行性,最终通过形式化极限过程推导出连续时间下的约束梯度流模型。
AI总结 本文提出了一种高效的时域光学腔体仿真器,能够准确模拟高速镜面运动下共振穿越过程中产生的非线性动态行为。该方法基于递归计算腔内电场的往返叠加,既保留了腔体的记忆效应,又保证了计算效率。仿真器支持动态修改边界条件、灵活选择采样频率,并通过避免重复计算全场历史进一步提升了效率,其有效性通过与Virgo干涉仪实验数据的对比得到验证,为光学腔体的时域研究及实时控制等应用提供了有力工具。
AI总结 本文在临界 $L^p$ 空间框架下,建立了不可压缩 Oldroyd-B 模型解的时间衰减率的精确刻画,特别考虑了流体粘度和应力张量阻尼均缺失这一物理上重要且数学上困难的情形。研究证明了初始数据低频部分满足 $L^2$ 类条件时,解在临界 Besov 空间中的时间衰减上界和下界均可达到最优。核心贡献包括对应力张量的全新分解方法,以及引入有效张量以处理高频速度场的正则性损失,这是首次在无粘度和无阻尼情形下揭示该模型的精确双侧渐进行为。
Comments All comments are welcome
AI总结 本文评估了最新发展的基础原子模型(FAMs)在模拟地核条件下铁合金的能力,通过与从头算结果对比,检验了17种模型对铁的静态状态方程的模拟精度。研究进一步测试了MatterSim和MACE两种模型在声子谱、液态结构和熔化关系等方面的再现能力,发现MACE在bcc铁的稳定性预测上存在明显高估,且无法正确描述hcp铁的稳定性。尽管这些模型未专门针对地核条件训练,但仍能较好地再现多种组成下的结构和动力学特性,但均未能全面一致地重现第一性原理基准结果,揭示了当前FAMs在热电子激发处理等方面的不足,并提出了改进方向以提升其在极端条件下的预测能力。
AI总结 本文针对科学数据共享中的关键问题,评估了Open Science Data Federation(OSDF)项目中XRootD和Pelican平台在不同配置下的性能表现。通过在国家科研平台(NRP)上进行多组基准测试,研究了文件大小、并行流数以及客户端与服务器距离等因素对数据传输的影响,并结合多种客户端工具进行对比分析。研究结果为优化XRootD和Pelican的配置提供了实践指导,有助于制定更高效的数据分发最佳实践。
AI总结 本文研究了抛物-椭圆型Keller-Segel模型的柯西问题在高维空间中的局部不适定性,表明在特定的$L^q$空间中,该问题在超临界范围内存在解的非唯一性。研究揭示了这种非唯一性源于自相似变量下的谱不稳定性机制,借鉴了Jia和Šverák针对三维Navier-Stokes方程的研究思路。这一发现对理解化学趋化模型的解结构具有重要意义。
Comments 48 pages, comments welcome!
AI总结 本文研究定义在有理数域上的椭圆曲线的3阶挠子群所引发的伽罗瓦嵌入问题,并将其推广到所有可能的模3伽罗瓦表示的像,包括$\operatorname{GL}_2(\mathbb{F}_3)$、$SD_{16}$、$D_6$、$D_4$和$C_2^2$。在 cyclotomic 情况下,作者证明了这些嵌入问题的可解性等价于存在无限多椭圆曲线,其3分式域能提供相应的解。这一结果为理解椭圆曲线的算术性质提供了新的视角。
AI总结 近期研究发现活动星系核(AGN)的高能中微子与硬X射线光度之间存在线性相关性,暗示两者可能存在物理联系。本研究通过分析IceCube十年的公开数据和Swift BAT目录中的 Seyfert 星系与类星体,指出这种相关性可能源于选择效应,而非真实物理关联。模拟表明,即使在无天体源的随机天区,相同的相关性也会出现,说明光度相关性不足以证明中微子与X射线发射之间的物理联系。
Comments 10 pages, 6 figures, 1 table. Accepted for publication in Journal of High Energy Astrophysics