WikiEdge:ArXiv速递/2025-03-10

来自WikiEdge
Carole（留言 | 贡献）2025年3月12日 (三) 11:36的版本 （Updated page by Carole）
跳转到导航 跳转到搜索

摘要

  • 原文标题：First-principles investigation of Rb$_{2}$CaH$_{4}$ and Cs-doped Rb$_{2}$CaH$_{4}$: unveiling their potential for hydrogen storage through mechanical and optoelectronic properties
  • 中文标题：Rb$_{2}$CaH$_{4}$和Cs掺杂Rb$_{2}$CaH$_{4}$的第一性原理研究：通过机械和光电特性揭示其储氢潜力
  • 发布日期：2025-03-10 13:12:20+00:00
  • 作者：Sikander Azam, Qaiser Rafiq, Eman Ramadan Elsharkawy, Muhammad Tahir Khan, Salah M. El-Bahy, Wilayat Khan, Saleem Ayaz Khan
  • 分类：cond-mat.mtrl-sci, physics.comp-ph
  • 原文链接：http://arxiv.org/abs/2503.07290v1

中文摘要：本研究采用密度泛函理论（DFT）方法结合GGA-PBE，评估了在[[Rb$_{2}$CaH]]和Cs掺杂的[[Rb$_{2}$CaH$_{4}$]]中碱金属替代对其储氢潜力的影响。为了解决在含有较重元素（如铯）的材料中预测准确电子性质的挑战，我们在计算中引入了自旋轨道耦合（SOC）效应。[[Rb$_{2}$CaH$_{4}$]]和Cs掺杂的[[Rb$_{2}$CaH$_{4}$]]的机械强度通过其机械性质得以展示，表明这些材料因其在储氢应用中的稳定性而成为有前景的候选材料。各向异性因子显示所有材料均表现出各向异性，表明其性质具有方向依赖性。Pugh比率表明[[Rb$_{2}$CaH$_{4}$]]和Cs掺杂的[[Rb$_{2}$CaH$_{4}$]]是脆性材料。基于计算的带隙，使用HSE06和GGA-PBE进行的电子能带结构分析表明，[[Rb$_{2}$CaH$_{4}$]]和Cs掺杂的[[Rb$_{2}$CaH$_{4}$]]是宽带隙材料。[[Rb$_{2}$CaH$_{4}$]]和Cs掺杂的[[Rb$_{2}$CaH$_{4}$]]在光电材料中表现出最高的光学导电性、吸收系数和能量损失函数，强调了其优异的吸收和电子传输能力。储氢能力已针对实际应用进行了评估；[[Rb$_{2}$CaH$_{4}$]]和Cs掺杂的[[Rb$_{2}$CaH$_{4}$]]显示出最高的重量和体积容量。

摘要

  • 原文标题：Advanced Ocean Reanalysis of the Northwestern Atlantic: 1993-2022
  • 中文标题：西北大西洋的高级海洋再分析：1993-2022
  • 发布日期：2025-03-10 04:18:18+00:00
  • 作者：Ruoying He, Tianning Wu, Shun Mao, Haibo Zong, Joseph Zambon, Jennifer Warrillow, Jennifer Dorton, Debra Hernandez
  • 分类：physics.ao-ph
  • 原文链接：http://arxiv.org/abs/2503.06907v1

中文摘要：摘要：本文提出了一个30年高分辨率的西北大西洋再分析（NAOR）。NAOR从1993年1月到2022年12月，水平分辨率为4公里，垂直层数为50层。它提供了更高的分辨率，并扩展了该地区现有海洋再分析的空间和时间覆盖范围。NAOR使用区域海洋建模系统（ROMS）和集合最优插值数据同化进行。开放边界和表面强迫条件来自GLORYS全球海洋再分析和ECMWF ERA5再分析。通过数据同化，纳入了多种卫星和现场观测数据。此外，还考虑了主要河流的淡水排放。NAOR与可用的独立观测数据进行了广泛评估。中尺度环流、涡流和边界流的时空变化得到了很好的捕捉。与GLORYS相比，NAOR提供了更准确的西北大西洋物理和动力学基线，可用于一系列海洋和环境研究以及气候影响研究。

摘要

  • 原文标题：Novel and Updated Bounds on Flavor-violating Z Interactions in the Lepton Sector
  • 中文标题：轻子味破坏Z相互作用的新的和更新的界限
  • 发布日期：2025-03-10 12:19:41+00:00
  • 作者：Fayez Abu-Ajamieh, Amine Ahriche, Nobuchika Okada
  • 分类：hep-ph
  • 原文链接：http://arxiv.org/abs/2503.07236v1

中文摘要：我们研究了$Z$玻色子与带电轻子的味破坏（FV）耦合的实验界限。除了直接通过LHC寻找FV $Z$衰变为轻子的过程外，我们还研究了来自1-loop的味守恒$Z$衰变为轻子的间接界限、LEP搜索的界限、电弱精密观测量（EWPO）、$\ell_{i}\to\ell_{j}\gamma$衰变、$\ell_{i}\to3\ell_{j}$衰变、$\ell_{i}\to\ell_{j}+\text{inv.}$衰变、FV介子衰变为轻子、FV $\tau$衰变为$\mu(e)$ + 介子、核中的μ子转换以及μonium-antimuonium振荡的界限。对于$Z$与$\tau\mu$的FV耦合，我们发现$\tau\to\mu\gamma$给出了最强的界限，达到了$\mathcal{O}(10^{-5})$，其次是$\tau\to3\mu(\mu ee)$的界限。对于$Z$与$\tau e$的FV耦合，我们发现最强的界限来自$\tau\to\mu\mu e$衰变，达到了$\mathcal{O}(10^{-7})$，而$\tau\to3e$的界限也提供了较强的限制。对于$Z$与$\mu e$的FV耦合，我们发现最强的界限来自$\mu\to3e$衰变，达到了$\mathcal{O}(10^{-11})$，而$\mu\to e\gamma$、μ子转换、$K_{L}^{0}\rightarrow\mu e$和$\mu\to e+\text{inv.}$的界限也提供了较强的限制。我们还研究了未来实验（如FCC-ee、Belle II和Mu2e实验）的预测。对于$Z$与$\tau\mu$的耦合，我们发现未来实验可能将界限提高到$\mathcal{O}(10^{-6})$，而对于$Z$与$\tau e$的耦合，未来实验可能将界限提高到$\mathcal{O}(10^{-8})$，对于$Z$与$\mu e$的耦合，未来实验可能将界限提高到$\mathcal{O}(10^{-13})$。

摘要

  • 原文标题：Automatic Speech Recognition for Non-Native English: Accuracy and Disfluency Handling
  • 中文标题：非母语英语的自动语音识别：准确性与不流畅处理
  • 发布日期：2025-03-10 05:09:44+00:00
  • 作者：Michael McGuire
  • 分类：cs.CL, cs.SD, eess.AS
  • 原文链接：http://arxiv.org/abs/2503.06924v1

中文摘要：自动语音识别（ASR）多年来一直是计算机辅助语言学习（CALL）和计算机辅助语言测试（CALT）的重要组成部分。随着该技术的快速发展，评估当前ASR系统在语言学习应用中的准确性变得尤为重要。本研究使用来自L2-ARCTIC语料库的录音，评估了五种前沿ASR系统对非母语口音英语语音的识别能力。该语料库包含来自六种不同母语背景（阿拉伯语、汉语、印地语、韩语、西班牙语和越南语）的说话者的朗读和自发语音。朗读语音包括来自24位说话者的2,400个单句录音，而自发语音则包括来自22位说话者的叙述录音。结果显示，对于朗读语音，Whisper和AssemblyAI的准确率最高，平均匹配错误率（MER）分别为0.054和0.056，接近人类水平。对于自发语音，RevAI表现最佳，平均MER为0.063。研究还考察了每个系统如何处理填充词、重复和修正等不流畅现象，发现不同系统和不流畅类型之间的表现存在显著差异。尽管系统之间的处理速度差异较大，但较长的处理时间并不一定与更高的准确性相关。通过详细分析几种最新且广泛可用的ASR系统在非母语英语语音上的表现，本研究旨在帮助语言教师和研究人员了解每个系统的优缺点，并确定哪些系统适合特定的应用场景。

摘要

  • 原文标题：TIDE : Temporal-Aware Sparse Autoencoders for Interpretable Diffusion Transformers in Image Generation
  • 中文标题：TIDE：用于图像生成中可解释扩散变换器的时间感知稀疏自编码器
  • 发布日期：2025-03-10 08:35:51+00:00
  • 作者：Victor Shea-Jay Huang, Le Zhuo, Yi Xin, Zhaokai Wang, Peng Gao, Hongsheng Li
  • 分类：cs.CV, cs.AI, cs.MM
  • 原文链接：http://arxiv.org/abs/2503.07050v1

中文摘要：扩散变换器（DiTs）是一类强大但尚未被充分探索的生成模型，与基于U-Net的扩散模型相比存在差距。为了弥合这一差距，我们提出了TIDE（面向可解释扩散变换器的时间感知稀疏自编码器），这是一种新颖的框架，能够在去噪步骤中增强DiT激活层的时间重建能力。TIDE采用带有稀疏瓶颈层的稀疏自编码器（SAEs）来提取可解释的分层特征，揭示了扩散模型在生成预训练过程中自然学习到的多层次（如3D、语义、类别）分层特征。我们的方法在重建性能上达到了最先进的水平，均方误差（MSE）为1e-3，余弦相似度为0.97，展示了在捕捉去噪轨迹中激活动态方面的卓越准确性。除了可解释性外，我们还展示了TIDE在下游应用中的潜力，例如稀疏激活引导的图像编辑和风格迁移，从而提高了生成系统的可控性。通过为DiTs提供量身定制的全面训练和评估协议，TIDE有助于开发更具可解释性、透明性和可信赖性的生成模型。

摘要

  • 原文标题：Real-Time Monitoring of Multimode Squeezing
  • 中文标题：多模压缩光的实时监测
  • 发布日期：2025-03-10 16:04:35+00:00
  • 作者：Mahmoud Kalash, Aditya Sudharsanam, M. H. M. Passos, Valentina Parigi, Maria Chekhova
  • 分类：quant-ph
  • 原文链接：http://arxiv.org/abs/2503.07486v1

中文摘要：多模压缩光是高维量子技术的关键资源，能够应用于计量学、安全通信和基于测量的量子计算等领域。然而，由于其固有的单模操作限制，目前的全息检测方法无法充分发挥其实际潜力，最多只能通过后处理获取多模数据。在本文中，我们首次利用多模光学参量放大（MOPA）技术，实现了对多模压缩光共传播模式的实时监测。通过结合多模相位敏感放大和模式排序技术，我们实现了对九个空间模式的实时检测，并报告了基模中约-8 dB的高纯度压缩，据我们所知，这是脉冲压缩中记录的最高值。此外，我们提出利用MOPA技术高效表征簇态，实现对所有簇链路的实时监测。这项工作完善了稳健多模压缩光检测所需的能力集，并显著扩展了其在量子技术中的适用性。

摘要

  • 原文标题：RePO: ReLU-based Preference Optimization
  • 中文标题：RePO：基于ReLU的偏好优化
  • 发布日期：2025-03-10 15:11:07+00:00
  • 作者：Junkang Wu, Kexin Huang, Xue Wang, Jinyang Gao, Bolin Ding, Jiancan Wu, Xiangnan He, Xiang Wang
  • 分类：cs.LG, cs.AI
  • 原文链接：http://arxiv.org/abs/2503.07426v1

中文摘要：摘要：将大型语言模型（LLMs）与人类偏好对齐对于实际部署至关重要，然而现有方法如RLHF面临计算和稳定性挑战。虽然DPO通过单一超参数$\beta$建立了离线范式，但后续方法如SimPO通过双参数（$\beta$, $\gamma$）重新引入了复杂性。我们提出了{基于ReLU的偏好优化（RePO）}，这是一种简化的算法，通过两项改进消除了$\beta$：（1）保留SimPO的无参考边界，但通过梯度分析移除$\beta$；（2）采用基于ReLU的最大边界损失，自然过滤掉平凡对。理论上，RePO被描述为SimPO的极限情况（$\beta \to \infty$），其中逻辑加权退化为二元阈值，形成0-1损失的凸包。在AlpacaEval 2和Arena-Hard上的实验结果表明，RePO在多个基础模型上优于DPO和SimPO，仅需调整一个超参数。

摘要

  • 原文标题：Enhanced Hamiltonian Learning Precision with Multi-Stage Neural Networks
  • 中文标题：基于多阶段神经网络的哈密顿量学习精度提升
  • 发布日期：2025-03-10 14:10:59+00:00
  • 作者：Zhengjie Kang, Hao Li, Shuo Wang, Jiaojiao Li, Yuanjie Zhang, Zhihuang Luo
  • 分类：quant-ph
  • 原文链接：http://arxiv.org/abs/2503.07356v1

中文摘要：高精度学习量子哈密顿量对于量子物理和量子信息科学至关重要。我们提出了一种多阶段神经网络框架，通过连续网络优化残差误差，显著提高了哈密顿量学习的精度。我们的方法利用来自随机初始态的单量子比特泡利测量的时间序列数据，能够在没有先验结构假设的情况下估计未知的哈密顿量参数。我们在双量子比特系统上展示了该框架，实现了参数精度的数量级提升，并通过集成动态解耦技术进一步将该方法扩展到更大的系统。此外，该协议表现出对实验噪声的鲁棒性。这项工作弥合了可扩展哈密顿量学习与高精度要求之间的差距，为精确量子控制和计量学提供了实用工具。

摘要

  • 原文标题：Exploring $Δ$-resonance in neutron stars: implications from astrophysical and nuclear observations
  • 中文标题：探索中子星中的$Δ$-共振：来自天体物理和核观测的启示
  • 发布日期：2025-03-10 12:38:10+00:00
  • 作者：Vishal Parmar, Vivek Baruah Thapa, Monika Sinha, Ignazio Bombaci
  • 分类：astro-ph.HE, hep-ph
  • 原文链接：http://arxiv.org/abs/2503.07256v1

中文摘要：本研究首次对中子星物质进行了全面的贝叶斯推断，结合了密度依赖的相对论强子（DDRH）框架中的$\Delta$-共振、超子和核子。利用核饱和性质、手征有效场论（$\chi$EFT）、NICER半径测量以及GW170817的潮汐形变数据的约束，我们系统地探讨了$\Delta$-共振对致密物质状态方程（EoS）和中子星观测量的影响。我们的结果表明，包含$\Delta$-重子会在低密度下软化EoS，同时在高密度下保持足够的刚度以支持$2M_{\odot}$的中子星。这自然地将中子星半径约束与最近在HESS J1731-347中观测到的低质量致密天体的结果相协调，同时与GW170817的潮汐形变约束表现出极好的一致性，进一步证明了$\Delta$-混合中子星的天体物理可行性。此外，$\Delta$-共振被发现填充了中子星核心的外层，这可能对中子星合并及其冷却产生影响。我们还表明，$\Delta$-重子的存在可能通过直接Urca过程显著影响中子星的冷却。我们在完全广义相对论框架内研究了准正态$f$-模振荡，揭示了$f$-模频率、中子星致密性和潮汐形变之间的强相关性。通过包含$\Delta$-共振并遵循天体物理约束，我们在$1\sigma$置信水平下得到了$f_{1.4} = 1.97^{+0.17}_{-0.22}$ kHz和阻尼时间$\tau_{f_{1.4}} = 0.19^{+0.05}_{-0.03}$ s。

摘要

  • 原文标题：An Empirical Comparison of Cost Functions in Inductive Logic Programming
  • 中文标题：归纳逻辑编程中成本函数的实证比较
  • 发布日期：2025-03-10 17:22:18+00:00
  • 作者：Céline Hocquette, Andrew Cropper
  • 分类：cs.LG
  • 原文链接：http://arxiv.org/abs/2503.07554v1

中文摘要：最近的归纳逻辑编程（ILP）方法学习最优假设。最优假设在训练数据上最小化给定的成本函数。有许多成本函数，例如最小化训练误差、文本复杂性或假设的描述长度。然而，选择合适的成本函数仍然是一个关键问题。为了解决这一差距，我们扩展了一个基于约束的ILP系统，以学习七种标准成本函数的最优假设。然后，我们通过实验比较了在这些标准成本函数下诱导的最优假设的泛化误差。我们在超过20个领域和1000个任务（包括游戏玩法、程序合成和图像推理）上的结果表明，虽然没有一种成本函数始终优于其他成本函数，但最小化训练误差或描述长度具有最佳的整体性能。值得注意的是，我们的结果表明，最小化假设的大小并不总是减少泛化误差。

摘要

  • 原文标题：Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code
  • 中文标题：超越函数边缘：揭示二进制代码中的类型恢复模式
  • 发布日期：2025-03-10 12:27:05+00:00
  • 作者：Gangyang Li, Xiuwei Shang, Shaoyin Cheng, Junqi Zhang, Li Hu, Xu Zhu, Weiming Zhang, Nenghai Yu
  • 分类：cs.CR
  • 原文链接：http://arxiv.org/abs/2503.07243v1

中文摘要：类型恢复是二进制代码分析中的关键步骤，对逆向工程和各种安全应用具有重要意义。现有的工作通常简单地针对二进制代码中的类型标识符，并通过分析函数内的变量特征来实现类型恢复。然而，我们发现现实世界中的二进制程序中的类型更为复杂，并且通常遵循特定的分布模式。 在本文中，为了深入理解二进制代码中的变量类型恢复问题，我们首先进行了一项全面的实证研究。我们利用TYDA数据集，该数据集包含163,643个二进制程序，涵盖四种架构和四种编译器优化选项，充分反映了现实世界程序的复杂性和多样性。我们仔细研究了二进制代码中类型和变量的独特模式，并研究了编译器优化对它们的影响，得出了许多有价值的见解。 基于我们的实证研究结果，我们提出了ByteTR，一个用于恢复二进制代码中变量类型的框架。我们解耦目标类型集以解决类型分布不平衡的问题，并执行静态程序分析以应对编译器优化对变量存储的影响。鉴于我们在研究中观察到的变量跨函数传播的普遍性，ByteTR进行跨过程分析以跟踪变量传播，并采用门控图神经网络来捕捉长距离数据流依赖关系以实现变量类型恢复。我们进行了广泛的实验来评估ByteTR的性能。结果表明，ByteTR在有效性和效率方面均领先于现有技术。此外，在实际的CTF挑战案例中，经过ByteTR优化的伪代码显著提高了可读性，超越了领先工具IDA和Ghidra。

摘要

  • 原文标题：Ab initio calculations of diatomic constants and ro-vibrational parameters for the ground state of singly charged aluminium monohalides
  • 中文标题：单电荷铝单卤化物基态的从头计算双原子常数和振转参数
  • 发布日期：2025-03-10 14:57:39+00:00
  • 作者：Ankush Thakur, Renu Bala, H. S. Nataraj
  • 分类：physics.atom-ph
  • 原文链接：http://arxiv.org/abs/2503.07408v1

中文摘要：我们报告了单电荷铝单卤化物基态 X$^2\Sigma^{+}$ 的电子、振动和旋转光谱参数，采用了单参考耦合簇理论（CCSD）结合相对论基组。通过微扰CCSD(T)方法处理了三重激发带来的高阶相关效应。AlX$^+$ 系列中的大多数分子离子，特别是除了前两个之外的其他离子，其基态电子和振动结构首次在此研究中得到分析。振动参数通过利用势能曲线和永久偶极矩曲线求解振动薛定谔方程计算得出。此外，还利用相对能量分离和振动能级之间的跃迁偶极矩计算了自发辐射和黑体辐射诱导的寿命。对于 AlF$^+$、AlCl$^+$、AlBr$^+$、AlI$^+$、AlAt$^+$ 和 AlTs$^+$ 离子，最低旋转振动态的寿命分别为 10.63 秒、40.39 秒、23.13 秒、31.26 秒、13.43 秒和 8.08 秒。此外，本文还计算并报告了最低六个振动态的爱因斯坦系数和弗兰克-康登因子等旋转参数。

摘要

  • 原文标题：Fabrication and Characterization of Impedance-transformed Josephson Parametric Amplifier
  • 中文标题：阻抗变换约瑟夫森参量放大器的制备与表征
  • 发布日期：2025-03-10 05:31:45+00:00
  • 作者：Zhengyang Mei, Xiaohui Song, Xueyi Guo, Xiang Li, Yunhao Shi, Guihan Liang, Chenglin Deng, Li Li, Yang He, Dongning Zheng, Kai Xu, Heng Fan, Zhongcheng Xiang
  • 分类：quant-ph, physics.app-ph
  • 原文链接：http://arxiv.org/abs/2503.06936v1

中文摘要：在本文中，我们介绍了一种使用双层抗蚀剂剥离工艺制备电容器介电层的方法，用于制造阻抗工程约瑟夫森参量放大器（IMPAs）。与传统技术相比，该方法提高了制造成功率，并加速了生产。我们实验制造的IMPA实现了超过950（600）MHz的瞬时带宽，增益超过10（14）dB，饱和输入功率为-115 dBm，并且具有接近量子极限的噪声。我们证明了IMPA对超导量子比特的反作用可以忽略不计，不会显著降低量子比特的弛豫时间和相干时间。IMPA将信噪比从1.69提高到14.56，并使放大链实现了高量子效率，$\eta \approx 0.26$，这使其成为大规模量子计算的关键需求。

摘要

  • 原文标题：Flavor diagonal nucleon charges using clover fermions on MILC HISQ ensembles
  • 中文标题：使用MILC HISQ系综上的clover费米子计算味道对角核子电荷
  • 发布日期：2025-03-10 09:22:38+00:00
  • 作者：Sungwoo Park, Rajan Gupta, Tanmoy Bhattacharya, Fangcheng He, Santanu Mondal, Huey-Wen Lin, Boram Yoon
  • 分类：hep-lat
  • 原文链接：http://arxiv.org/abs/2503.07100v1

中文摘要：我们展示了使用MILC合作生成的2+1+1味高度改进的交错夸克（HISQ）的八个集合分析得到的质子味对角荷的晶格结果。计算包括核子三点函数的所有连接和非连接贡献。为了通过拟合这些相关函数的谱分解来提取矩阵元，我们采用并比较了两种去除激发态贡献的策略。为了对这些荷进行重整化，我们在晶格上使用RI-sMOM中间方案计算了2+1味混合矩阵。最终结果以$\overline{\text{MS}}$方案在2 GeV尺度下给出。质子的轴向荷为$g_A^u = 0.781(25)$，$g_A^d = -0.440(39)$，$g_A^s = -0.055(9)$；张量荷为$g_T^u = 0.782(28)$，$g_T^d = -0.195(10)$，$g_T^s = -0.0016(12)$；标量荷为$g_S^u = 9.39(88)$，$g_S^d = 8.84(93)$，$g_S^s = 0.37(14)$。中子的结果可以通过$u \leftrightarrow d$交换得到。对于σ项的结果，标准分析得到的$\sigma_{\pi N}|_{\rm standard} = 42(6)~{\rm MeV}$，而包含多强子$N\pi$激发态贡献的“$N\pi$”分析得到的$\sigma_{\pi N}|_{N \pi} = 62(6)~{\rm MeV}$，这与从$\pi- N$散射数据中提取的现象学结果一致。质子的奇异含量，标准分析是合适的，为$\sigma_{s}|_{\rm standard} = 34(18)~{\rm MeV}$。

摘要

  • 原文标题：Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning
  • 中文标题：通过元强化微调优化测试时计算
  • 发布日期：2025-03-10 17:40:43+00:00
  • 作者：Yuxiao Qu, Matthew Y. R. Yang, Amrith Setlur, Lewis Tunstall, Edward Emanuel Beeching, Ruslan Salakhutdinov, Aviral Kumar
  • 分类：cs.LG, cs.AI, cs.CL
  • 原文链接：http://arxiv.org/abs/2503.07572v1

中文摘要：训练模型以有效利用测试时间计算对于提高大型语言模型（LLMs）的推理性能至关重要。当前的方法主要通过微调搜索轨迹或使用0/1结果奖励运行强化学习（RL）来实现这一点，但这些方法是否高效利用了测试时间计算？随着预算的增加，这些方法是否还能继续扩展？在本文中，我们试图回答这些问题。我们将优化测试时间计算的问题形式化为元强化学习（RL）问题，这为花费测试时间计算提供了一个原则性的视角。这一视角使我们能够将LLM的长输出流视为在测试时运行的多个片段，并引导我们使用输出标记的累积遗憾作为衡量测试时间计算效果的指标。类似于RL算法在训练中如何最佳地权衡探索与利用，最小化累积遗憾也能在标记流中提供探索与利用之间的最佳平衡。虽然我们展示了最先进的模型并未最小化遗憾，但可以通过最大化密集奖励奖励与0/1结果奖励RL相结合来实现这一点。这一奖励是输出流中每个后续块所取得的“进展”，通过最终成功概率的变化来量化。利用这些见解，我们开发了元强化微调（MRT），这是一类新的微调方法，用于优化测试时间计算。与结果奖励RL相比，MRT在数学推理任务中实现了2-3倍的相对性能提升和大约1.5倍的标记效率提升。

摘要

  • 原文标题：A Formally Verified Lightning Network
  • 中文标题：一个经过形式化验证的闪电网络
  • 发布日期：2025-03-10 11:33:22+00:00
  • 作者：Grzegorz Fabiański, Rafał Stefański, Orfeas Stefanos Thyfronitis Litos
  • 分类：cs.CR, cs.LO
  • 原文链接：http://arxiv.org/abs/2503.07200v1

中文摘要：在这项工作中，我们使用形式化验证来证明闪电网络（LN），比特币最突出的扩展技术，始终保护诚实用户的资金安全。我们提供了一个（简化的）LN的自定义实现，表达了期望的安全目标，并且首次以集成的方式提供了机器可验证的证明，证明这些目标在所有场景下都得到维护。我们使用Why3平台构建了我们的系统。

摘要

  • 原文标题：From Centralized to Decentralized Federated Learning: Theoretical Insights, Privacy Preservation, and Robustness Challenges
  • 中文标题：从集中式到去中心化的联邦学习：理论洞察、隐私保护与鲁棒性挑战
  • 发布日期：2025-03-10 16:27:40+00:00
  • 作者：Qiongxiu Li, Wenrui Yu, Yufei Xia, Jun Pang
  • 分类：cs.LG, cs.AI, cs.DC
  • 原文链接：http://arxiv.org/abs/2503.07505v1

中文摘要：联邦学习（FL）使得在不直接共享个人原始数据的情况下进行协作学习成为可能。FL 可以以集中式（基于服务器）或去中心化（点对点）的方式实现。在本综述中，我们提出了一个新的视角：集中式联邦学习（CFL）和去中心化联邦学习（DFL）之间的根本区别不仅仅是网络拓扑结构，而是底层的训练协议：分离聚合与联合优化。我们认为，这种协议上的区别导致了模型效用、隐私保护和攻击鲁棒性方面的显著差异。我们根据所采用的协议类型，系统地回顾和分类了现有的 CFL 和 DFL 工作。这种分类法为先前的研究提供了更深入的见解，并阐明了各种方法之间的关系或差异。通过我们的分析，我们发现了文献中的关键空白。特别是，我们观察到基于分布式优化方法的 DFL 方法探索不足，尽管它们具有潜在的优势。我们强调了这一未被充分探索的方向，并呼吁更多关于利用分布式优化进行联邦学习的研究。总体而言，本文提供了从集中式到去中心化 FL 的全面概述，揭示了方法之间的核心区别，并概述了该领域的开放挑战和未来方向。

摘要

  • 原文标题：On Brezis' First Open Problem: A Complete Solution
  • 中文标题：关于Brezis的第一个开放问题：一个完整的解决方案
  • 发布日期：2025-03-10 04:15:26+00:00
  • 作者：Liming Sun, Juncheng Wei, Wen Yang
  • 分类：math.AP, math.DG
  • 原文链接：http://arxiv.org/abs/2503.06904v1

中文摘要：2023年，H. Brezis 发表了一份他“最喜欢的开放问题”清单，这些问题被他描述为“在他职业生涯中提出并至今未解决的挑战”。我们为 Brezis 最喜欢的开放问题清单中的第一个问题——开放问题 1.1——提供了一个完整的解决方案：关于三维球体上长期存在的 Brezis-Nirenberg 问题解的存在性。此外，利用 Del Pino-Musso-Pacard-Pistoia 对 Yamabe 问题的变号解的基本构造，我们证明了在参数的全范围内存在无限多个变号、非径向解。

摘要

  • 原文标题："Sighted People Have Their Pick Of The Litter": Unpacking The Need For Digital Mental Health (DMH) Tracking Services With And For The Blind Community
  • 中文标题："明眼人有他们的选择"：解构盲人社区对数字心理健康（DMH）追踪服务的需求
  • 发布日期：2025-03-10 15:01:24+00:00
  • 作者：Omar Khan, JooYoung Seo
  • 分类：cs.HC
  • 原文链接：http://arxiv.org/abs/2503.07415v1

中文摘要：数字心理健康（DMH）追踪服务的普及为个性化支持提供了可能，但可访问性障碍限制了平等获取。本研究调查了美国盲人社区对DMH追踪服务的体验，作为迈向包容性健康技术设计的一步。我们与盲人倡导组织合作，分发了一项横断面观察调查（n = 93），并使用Norman和Skinner的电子健康素养框架分析了开放式回答。我们的研究结果揭示了在导航、内容解释和整体用户体验方面的重大挑战，这些挑战阻碍了盲人社区对DMH工具的有效参与。结果强调了自适应界面、可访问的追踪策略和语音引导交互的必要性。这些见解为开发者和政策制定者提供了设计建议，促进了更具包容性的心理健康技术。通过优先考虑可访问性，我们在确保DMH追踪服务发挥其支持不同用户群体心理健康的潜力方面取得了进展，促进了心理健康护理中的数字平等。

摘要

  • 原文标题：Early signs of stuck pipe detection based on Crossformer
  • 中文标题：基于Crossformer的卡钻早期迹象检测
  • 发布日期：2025-03-10 15:22:07+00:00
  • 作者：Bo Cao, Yu Song, Jin Yang, Lei Li
  • 分类：cs.CE
  • 原文链接：http://arxiv.org/abs/2503.07440v1

中文摘要：卡钻事故是钻井工程中的主要挑战之一，导致大量时间损失和额外成本。为了解决现有方法中长序列建模能力不足、难以准确建立预警阈值以及模型可解释性缺乏的问题，我们利用Crossformer进行早期卡钻迹象检测，以指导现场钻井工程师并预防卡钻事故。滑动窗口技术被集成到Crossformer中，使其能够输出并显示更长的结果，改进后的Crossformer模型使用正常时间序列钻井数据进行训练，以生成每个时间步的各种参数预测。模型的相对重建误差被视为卡钻风险，从而将模型无法预测的数据视为异常，这些异常代表了卡钻事故的早期迹象。Crossformer的多步预测能力和相对重建误差相结合，用于提前评估每个时间步的卡钻风险。我们将重建误差划分为建模误差和异常数据波动引起的误差，此外，使用正常钻井数据的重建误差的概率密度函数确定卡钻事故的动态预警阈值和预警时间。结果表明，我们的方法能够有效检测钻井过程中的卡钻早期迹象。与其他深度学习模型相比，Crossformer表现出更优越的建模和预测能力。与当前的单步预测模型相比，具有多步预测能力的基于Transformer的模型更适合卡钻预测。

摘要

  • 原文标题：Advanced Ocean Reanalysis of the Northwestern Atlantic: 1993-2022
  • 中文标题：西北大西洋的高级海洋再分析：1993-2022
  • 发布日期：2025-03-10 04:18:18+00:00
  • 作者：Ruoying He, Tianning Wu, Shun Mao, Haibo Zong, Joseph Zambon, Jennifer Warrillow, Jennifer Dorton, Debra Hernandez
  • 分类：physics.ao-ph
  • 原文链接：http://arxiv.org/abs/2503.06907v1

中文摘要：摘要：本文提出了一个30年高分辨率的西北大西洋海洋再分析（NAOR）。NAOR从1993年1月到2022年12月，水平分辨率为4公里，垂直层数为50层。它提供了更高的分辨率，并扩展了该地区现有海洋再分析的空间和时间覆盖范围。NAOR使用区域海洋建模系统（Regional Ocean Modeling System）和集合最优插值数据同化（Ensemble Optimal Interpolation data assimilation）进行。开放边界和表面强迫条件来自GLORYS全球海洋再分析和ECMWF ERA5再分析。通过数据同化，纳入了多种卫星和现场观测数据。此外，还考虑了主要河流的淡水排放。NAOR与可用的独立观测数据进行了广泛评估。中尺度环流、涡流和边界流的时空变化得到了很好的捕捉。与GLORYS相比，NAOR提供了更准确的西北大西洋物理和动力学基线，可用于一系列海洋和环境研究以及气候影响研究。

取自“http://zh.wikiedge.org/index.php?title=WikiEdge:ArXiv速递/2025-03-10&oldid=3386”