WikiEdge:ArXiv速递/2025-04-23

来自WikiEdge
Carole（留言 | 贡献）2025年4月25日 (五) 09:29的版本 （Updated page by Carole）
跳转到导航 跳转到搜索

摘要

  • 原文标题：Lattice QCD determination of the radiative decay rates $h_{c}\to η_{c}\, γ$ and $h_{b}\to η_{b}\, γ$
  • 中文标题：格点QCD对辐射衰变率$h_{c}\to η_{c}\, γ$和$h_{b}\to η_{b}\, γ$的确定
  • 发布日期：2025-04-23 15:26:36+00:00
  • 作者：D. Bečirević, R. Di Palma, R. Frezzotti, G. Gagliardi, V. Lubicz, F. Sanfilippo, N. Tantalo
  • 分类：hep-lat, hep-ph
  • 原文链接：http://arxiv.org/abs/2504.16807v1

中文摘要：我们报告了利用扩展扭曲质量合作组生成的规范组态（包含$N_{f}=2+1+1$动态Wilson-Clover扭曲质量费米子，在五种不同晶格间距下采用物理质量的动态$u$、$d$、$s$和$c$夸克，最粗晶格除外——其最轻海夸克对应$m_{\pi}\simeq 175~\mathrm{MeV}$的π介子），通过格点QCD计算与$h_{c}\to \eta_{c}\gamma$和$h_{b}\to \eta_{b}\gamma$衰变相关强子矩阵元素的结果。$h_{c}\to \eta_{c}\gamma$的强子矩阵元素直接获得，而$h_{b}\to\eta_{b}\gamma$相关矩阵元则通过采用重夸克质量序列$m^{(n)}_{H} = \lambda^{n-1} m_{c}$（$\lambda \sim 1.24$，$n=1,2,\ldots,6$）计算后，经多种合理假设外推至$m_{b}$质量。连续极限下我们得到$\Gamma( h_{c}\to \eta_{c} \gamma ) = 0.604(24)~\mathrm{MeV}$，其精度较先前格点计算结果提高2.3倍，且与实验测量值吻合良好；对$b$夸克情形得到$\Gamma( h_{b}\to \eta_{b} \gamma) =46.0(4.8)~\mathrm{keV}$。

摘要

  • 原文标题：MAYA: Addressing Inconsistencies in Generative Password Guessing through a Unified Benchmark
  • 中文标题：MAYA：通过统一基准解决生成式密码猜测中的不一致性问题
  • 发布日期：2025-04-23 12:16:59+00:00
  • 作者：William Corrias, Fabio De Gaspari, Dorjan Hitaj, Luigi V. Mancini
  • 分类：cs.CR, cs.AI, cs.LG
  • 原文链接：http://arxiv.org/abs/2504.16651v1

中文摘要：生成模型的快速发展使其被广泛应用于密码猜测等领域，旨在生成复杂度、结构和模式都接近人类创建的密码。尽管生成模型前景广阔，但先前研究中的不一致性及缺乏严谨评估阻碍了对其真实潜力的全面理解。本文提出MAYA——一个统一、可定制、即插即用的密码基准测试框架。该框架通过一组严格的先进测试场景和八个真实密码数据集，为生成式密码猜测模型提供了标准化评估方法。我们使用MAYA对六种最先进方法（均已重新实现并适配标准化）进行了全面评估，累计计算时长超15,000小时。研究发现这些模型能有效捕捉人类密码分布的不同特征，并展现出强大的泛化能力，但对长复杂密码的效果差异显著。评估显示序列模型始终优于其他生成架构和传统密码猜测工具，在生成精确复杂猜测方面展现出独特能力。此外，不同模型学习生成的密码分布具有互补性，这使得多模型联合攻击的表现优于最佳单模型。我们开源MAYA框架以推动后续研究，为学界提供能持续可靠评估密码生成技术的新工具。该框架公开于https://github.com/williamcorrias/MAYA-Password-Benchmarking

摘要

  • 原文标题：AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset
  • 中文标题：AIMO-2获胜方案：利用OpenMathReasoning数据集构建最先进的数学推理模型
  • 发布日期：2025-04-23 17:13:04+00:00
  • 作者：Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, Igor Gitman
  • 分类：cs.AI, cs.CL, cs.LG
  • 原文链接：http://arxiv.org/abs/2504.16891v1

中文摘要：本文介绍了我们在AI数学奥林匹克进步奖2（AIMO-2）竞赛中的获胜方案。构建最先进数学推理模型的方案基于三大核心要素：首先，我们创建了包含54万道独特高质量数学题目（含奥林匹克竞赛级题目）及其320万条长推理解答的大规模数据集；其次，我们开发了一种通过迭代训练、生成和质量过滤将代码执行与长推理模型相结合的新方法，由此产生170万条高质量工具集成推理解答；第三，我们建立了训练模型从多个候选方案中选择最优解的流程。研究表明，这种生成式解决方案选择（GenSelect）能显著优于多数投票基线。综合这些方法，我们训练出在数学推理基准测试中达到最先进水平的一系列模型。为促进后续研究，我们在商业许可协议下公开了代码、模型及完整的OpenMathReasoning数据集。

摘要

  • 原文标题：Long-time dynamics for the Kelvin-Helmholtz equations close to circular vortex sheets
  • 中文标题：接近圆形涡层的开尔文-亥姆霍兹方程长时间动力学
  • 发布日期：2025-04-23 16:29:09+00:00
  • 作者：Federico Murgante, Emeric Roulley, Stefano Scrobogna
  • 分类：math.AP
  • 原文链接：http://arxiv.org/abs/2504.16861v1

中文摘要：摘要：我们研究描述接近圆形稳态解的涡层演化的开尔文-亥姆霍兹系统。针对90年代物理学文献中提出的数值猜想，我们证明了小振幅解具有近全局存在性。首先建立了韦伯数（代表背景速度跃变平方与表面张力之比）的线性稳定性阈值，进而证明低于该阈值的几乎所有韦伯数情况下，任何小解都能在几乎所有时间内保持接近平衡态。分析揭示了一个显著的稳定现象：尽管经典开尔文-亥姆霍兹问题具有固有失稳特性，但非零背景速度跃变与毛细效应的共同作用能有效抑制非线性失稳现象。若仅依靠毛细作用进行线性稳定而不具备速度跃变带来的丰富调制，这种长期存在性将无法实现。证明过程利用了方程的哈密顿特性，具体采用拟线性系统的哈密顿伯克霍夫范式技术，结合非线性奇异积分算子拟线性化的通用方法，该方案使我们能控制任意阶数的共振与准共振现象，从而确保所需的长期稳定性结果。

摘要

  • 原文标题：Impact of Fuel Injection Temperature Dynamics on the Stability of Liquid Oxygen-Methane Supercritical Combustion
  • 中文标题：燃料喷射温度动态对液氧-甲烷超临界燃烧稳定性的影响
  • 发布日期：2025-04-23 03:30:00+00:00
  • 作者：Abhishek Sharma, Ashoke De, S. Sunil Kumar
  • 分类：physics.flu-dyn
  • 原文链接：http://arxiv.org/abs/2504.16387v1

中文摘要：燃料喷射温度动态对液氧-甲烷超临界燃烧稳定性的影响是高压火箭燃烧室稳定性的关键因素。本研究通过高保真大涡模拟(LES)框架，探究了喷射温度对超临界液氧-甲烷燃烧稳定性的作用，并揭示了较低喷射温度工况下剪切层动力学的影响。该数值框架在尺度解析模拟中结合了火焰面生成流形(FGM)燃烧模型与复杂真实气体热力学，成功复现了超临界甲烷-氧火焰的非平衡跨临界喷射与超临界燃烧特性。为确定喷射温度对火焰及燃烧室稳定性的影响，我们在不同甲烷喷射温度下进行了多组LES模拟并绘制了稳定性图谱。分析表明：在低于典型燃料喷射工况的温度条件下会出现极端不稳定的火焰特征；当甲烷喷射温度低于特定阈值时，LES捕捉到了高强度自持不稳定现象，证实燃烧室在低于特定稳定性边界温度时会失稳。通过对稳定与不稳定工况的详细频谱分析和动态模态分解(DMD)，发现了燃烧室内纵向声波的产生机制。深入研究表明：导致燃烧室自持不稳定的主要因素是速度比降低、燃料堆积及燃料切断现象。

摘要

  • 原文标题：Search Timelines: Visualizing Search History to Enable Cross-Session Exploratory Search
  • 中文标题：搜索时间线：通过可视化搜索历史支持跨会话探索式搜索
  • 发布日期：2025-04-23 14:10:36+00:00
  • 作者：Orland Hoeber, Md Nazmul Islam, Miriam Boon, Dale Storie, Veronica Ramshaw
  • 分类：cs.HC, cs.IR
  • 原文链接：http://arxiv.org/abs/2504.16741v1

中文摘要：目的：探索性搜索可能跨越较长时间周期，且涉及大量搜索活动，这使得搜索者难以记住其搜索过程中的关键细节。这些困难既存在于搜索过程中，也存在于跨多个会话恢复搜索时。本文提出了一种旨在公共数字图书馆场景下支持跨会话探索性搜索的界面设计。方法：搜索时间线通过动态时间轴可视化呈现当前及历史搜索活动（查询语句和保存的资源），该时间轴提供两个详细层级：概览时间线与典型搜索引擎结果页并列显示，详细时间线则在工作区呈现，供搜索者回顾搜索历史及保存的资源。通过对照实验室研究，将该方法与模拟典型公共数字图书馆搜索/工作区界面的基线方案进行比较。结果：使用搜索时间线的参与者在初始搜索会话及间隔7-8天后恢复搜索时，报告了更高的用户参与度、可用性和感知知识获取度，但完成搜索任务耗时更长——我们认为这正体现了跨会话探索性搜索过程中的深度参与。结论：搜索时间线证明了轻量级可视化方法可增强常规搜索界面以支持探索性搜索，研究结果突显了在搜索界面中持久化呈现历史搜索活动的价值。

摘要

  • 原文标题：Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
  • 中文标题：基于DAG的动态权益拜占庭容错共识中区块链不分叉的形式化验证
  • 发布日期：2025-04-23 16:22:55+00:00
  • 作者：Alessandro Coglio, Eric McCarthy
  • 分类：cs.LO
  • 原文链接：http://arxiv.org/abs/2504.16853v1

中文摘要：区块链共识协议使参与者能够就区块链的一致视图达成共识，这些视图可能相互之间存在超前或滞后，但不会分叉成不同的链。近年来流行的拜占庭容错（BFT）协议通常首先构建一个有向无环图（DAG）对交易进行部分排序，然后将DAG线性化为完全排序交易的区块链。这些基于DAG的协议定义和正确性证明通常假设参与者集合固定，这在长期运行的区块链中并不实际。此外，仅有少数证明经过机器验证，并发现了一些已发表证明中的错误。我们开发了一个支持动态权益的基于DAG的BFT协议形式化模型，参与者可在每个区块加入或退出，权益用于衡量协议中的决策权重。我们形式化证明了该模型中区块链永远不会分叉，同时阐明了BFT对故障参与者的容错界限如何推广到这些高度动态的参与者集合。我们的模型和证明在ACL2定理证明器中形式化，适用于任意长度的执行和任意大的系统状态，并由ACL2在1分钟内完成验证。

摘要

  • 原文标题：Lattice QCD determination of the radiative decay rates $h_{c}\to η_{c}\, γ$ and $h_{b}\to η_{b}\, γ$
  • 中文标题：晶格QCD对辐射衰变率$h_{c}\to η_{c}\, γ$和$h_{b}\to η_{b}\, γ$的测定
  • 发布日期：2025-04-23 15:26:36+00:00
  • 作者：D. Bečirević, R. Di Palma, R. Frezzotti, G. Gagliardi, V. Lubicz, F. Sanfilippo, N. Tantalo
  • 分类：hep-lat, hep-ph
  • 原文链接：http://arxiv.org/abs/2504.16807v1

中文摘要：我们报告了关于$h_{c}\to \eta_{c}\gamma$和$h_{b}\to \eta_{b}\gamma$衰变相关强子矩阵元的格点QCD计算结果。该研究采用扩展扭曲质量合作组生成的规范场组态，使用$N_{f}=2+1+1$动态Wilson-Clover扭曲质量费米子，在五种不同晶格间距下模拟物理质量的动态$u$、$d$、$s$和$c$夸克（最粗晶格除外，其最轻海夸克对应$m_{\pi}\simeq 175~\mathrm{MeV}$的π介子）。$h_{c}\to \eta_{c}\gamma$的强子矩阵元直接获得，而$h_{b}\to\eta_{b}\gamma$相关矩阵元则通过采用重夸克质量序列$m^{(n)}_{H} = \lambda^{n-1} m_{c}$（$\lambda \sim 1.24$，$n=1,2,\ldots ,6$）计算后，经多种合理假设外推至$m_{b}$质量。连续极限下我们得到$\Gamma( h_{c}\to \eta_{c} \gamma ) = 0.604(24)~\mathrm{MeV}$，其精度比先前格点估算提高2.3倍，与实验测量吻合良好；对$b$夸克情形获得$\Gamma( h_{b}\to \eta_{b} \gamma) =46.0(4.8)~\mathrm{keV}$。

摘要

  • 原文标题：AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset
  • 中文标题：AIMO-2冠军方案：基于OpenMathReasoning数据集构建顶尖数学推理模型
  • 发布日期：2025-04-23 17:13:04+00:00
  • 作者：Ivan Moshkov, Darragh Hanley, Ivan Sorokin, Shubham Toshniwal, Christof Henkel, Benedikt Schifferer, Wei Du, Igor Gitman
  • 分类：cs.AI, cs.CL, cs.LG
  • 原文链接：http://arxiv.org/abs/2504.16891v1

中文摘要：本文介绍了我们在AI数学奥林匹克进步奖2（AIMO-2）竞赛中的获奖方案。我们构建顶尖数学推理模型的方案基于三大支柱：首先，创建包含54万道独特高质量数学题目（含奥赛级难题）及其320万条长推理解答的大规模数据集；其次，开发通过迭代训练、生成和质量筛选将代码执行与长推理模型结合的新方法，最终产生170万条高质量工具集成推理解答；第三，建立训练模型从多个候选方案中选择最优解的流程。研究表明，这种生成式方案选择（GenSelect）能显著优于多数投票基线。综合这些方法，我们训练的模型系列在数学推理基准测试中达到了最先进水平。为促进后续研究，我们在商业许可协议下公开了代码、模型及完整的OpenMathReasoning数据集。

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