WikiEdge:ArXiv速遞/2025-04-10
摘要
- 原文標題：Measurements of Higgs boson production via gluon-gluon fusion and vector-boson fusion using $H\rightarrow WW^\ast \rightarrow \ellν\ellν$ decays in $pp$ collisions with the ATLAS detector and their effective field theory interpretations
- 中文標題：利用ATLAS探測器在$pp$對撞中通過$H\rightarrow WW^\ast \rightarrow \ellν\ellν$衰變道測量希格斯玻色子膠子-膠子融合與矢量玻色子融合產生截面及其有效場論解釋
- 發佈日期：2025-04-10 12:15:04+00:00
- 作者：ATLAS Collaboration
- 分類：hep-ex
- 原文連結：http://arxiv.org/abs/2504.07686v1
中文摘要：摘要：通過$H\rightarrow WW^\ast \rightarrow \ell\nu\ell\nu$衰變道測量了質子-質子碰撞中膠子-膠子融合和矢量玻色子融合產生的希格斯玻色子截面。大型強子對撞機在2015至2018年間提供了質心能量為$13\,\textrm{TeV}$的質子-質子碰撞數據，由ATLAS探測器記錄，對應積分亮度為$140\,\textrm{fb}^{-1}$。測得膠子-膠子融合和矢量玻色子融合產生希格斯玻色子的總截面（乘以$H\rightarrow WW^\ast$分支比）分別為$12.4^{+1.3}_{-1.2}\,\textrm{pb}$和$0.79^{+0.18}_{-0.16}\,\textrm{pb}$，與標準模型預測一致。通過簡化模板截面測量，在總共十五個運動學基準區域中對希格斯玻色子產生進行了進一步表徵。新引入的運動學基準區域方案增強了希格斯玻色子相互作用中CP破壞效應的探測靈敏度。兩種方案均用於約束標準模型有效場論中的CP偶和CP奇六維算子。
摘要
- 原文標題：A Mechanism-Learning Deeply Coupled Model for Remote Sensing Retrieval of Global Land Surface Temperature
- 中文標題：基於機理學習深度耦合模型的全球地表溫度遙感反演
- 發佈日期：2025-04-10 06:19:01+00:00
- 作者：Tian Xie, Menghui Jiang, Huanfeng Shen, Huifang Li, Cao Zeng, Xiaobin Guan, Jun Ma, Guanhao Zhang, Liangpei Zhang
- 分類：physics.ao-ph, cs.LG
- 原文連結：http://arxiv.org/abs/2504.07481v1
中文摘要：基於遙感數據的陸表溫度（LST）反演對於分析氣候過程和地表能量收支至關重要。然而，LST反演是一個不適定逆問題，當僅能獲取單波段數據時尤為嚴重。本文提出了一種深度融合機理建模與機器學習的框架，以提升單通道LST反演的精度和泛化能力。訓練樣本通過基於物理的輻射傳輸模型和包含5810組全球大氣廓線的數據集生成，並構建了物理信息機器學習框架，將經典物理反演模型的第一性原理系統融入學習流程，同時以輻射傳輸方程作為優化約束。全球驗證表明，相較於獨立方法，該框架使均方根誤差降低30%。在極端濕度條件下，平均絕對誤差從4.87K降至2.29K（提升53%）。橫跨五大洲的洲際尺度測試證實了該模型卓越的泛化性能。
摘要
- 原文標題：Efficient Formal Verification of Quantum Error Correcting Programs
- 中文標題：量子糾錯程序的高效形式化驗證
- 發佈日期：2025-04-10 13:28:49+00:00
- 作者：Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
- 分類：cs.PL, quant-ph
- 原文連結：http://arxiv.org/abs/2504.07732v1
中文摘要：量子糾錯（QEC）是抑制量子硬件噪聲、實現容錯量子計算的基礎技術。本文提出了一種高效的QEC程序驗證框架：我們專門為QEC程序設計了斷言邏輯和程序邏輯，並建立了可靠的證明系統。針對QEC程序的驗證條件（VCs），我們開發了高效處理方法——對於泡利錯誤，VCs可簡化為可由SMT求解器處理的經典斷言；對於非泡利錯誤，則提供啟發式算法。我們在Coq證明助手中形式化了該程序邏輯，使其成為經過驗證的QEC驗證器。此外，我們還實現了自動化QEC驗證工具Veri-QEC，用於驗證各類容錯場景。通過多場景下的不同驗證任務，我們證明了該框架的高效性和廣泛功能性。最後，我們提供了14個已驗證穩定子碼的基準測試集。
摘要
- 原文標題：Measurements of Higgs boson production via gluon-gluon fusion and vector-boson fusion using $H\rightarrow WW^\ast \rightarrow \ellν\ellν$ decays in $pp$ collisions with the ATLAS detector and their effective field theory interpretations
- 中文標題：利用ATLAS探測器測量$pp$對撞中$H\rightarrow WW^\ast \rightarrow \ellν\ellν$衰變通道的希格斯玻色子膠子-膠子融合與矢量玻色子融合產生截面及其有效場論解釋
- 發佈日期：2025-04-10 12:15:04+00:00
- 作者：ATLAS Collaboration
- 分類：hep-ex
- 原文連結：http://arxiv.org/abs/2504.07686v1
中文摘要：摘要：通過$H\rightarrow WW^\ast \rightarrow \ell\nu\ell\nu$衰變道，測量了質子-質子對撞中膠子-膠子融合和矢量玻色子融合產生的希格斯玻色子截面。大型強子對撞機在2015至2018年間提供了質心能量為$13\,\textrm{TeV}$的質子-質子對撞數據，由ATLAS探測器記錄，對應積分亮度為$140\,\textrm{fb}^{-1}$。測得膠子-膠子融合和矢量玻色子融合產生希格斯玻色子的總截面（乘以$H\rightarrow WW^\ast$分支比）分別為$12.4^{+1.3}_{-1.2}\,\textrm{pb}$和$0.79^{+0.18}_{-0.16}\,\textrm{pb}$，與標準模型預測一致。通過簡化的模板截面測量，在總共十五個運動學基準區域內進一步表徵了希格斯玻色子產生。引入新的運動學基準區域方案以增強對希格斯玻色子相互作用中CP破壞效應的敏感性。兩種方案均用於約束標準模型有效場論中的CP偶和CP奇六維算子。
摘要
- 原文標題：Redefining Machine Translation on Social Network Services with Large Language Models
- 中文標題：基於大語言模型的社交網絡服務機器翻譯重構
- 發佈日期：2025-04-10 16:24:28+00:00
- 作者：Hongcheng Guo, Fei Zhao, Shaosheng Cao, Xinze Lyu, Ziyan Liu, Yue Wang, Boyang Wang, Zhoujun Li, Chonggang Lu, Zhe Xu, Yao Hu
- 分類：cs.CL
- 原文連結：http://arxiv.org/abs/2504.07901v1
中文摘要：社交互動的全球化加劇了社交網絡服務(SNS)中機器翻譯(MT)的需求，但傳統模型難以處理包含文化細微差異的內容，如表情包、俚語和流行文化引用。雖然大語言模型(LLM)推動了通用翻譯的進步，但由於缺乏專業訓練數據和評估基準，其在SNS特定內容上的表現仍受限。本文提出RedTrans——專為SNS翻譯定製的720億參數LLM，其訓練基於三項創新構建的新型數據集：(1)雙LLM回譯採樣的監督微調，這種無監督採樣方法利用基於LLM的回譯技術篩選多樣化數據以進行大規模微調；(2)改寫偏好優化算法(RePO)，通過專家標註識別並修正錯誤偏好對，構建可靠偏好語料庫；(3)首個SNS翻譯基準RedTrans-Bench，評估幽默本地化、表情符號語義和表情包適配等現象。實驗表明RedTrans優於最先進的LLM。此外，RedTrans已部署於實際生產環境，證明領域特定適配能有效彌合通用翻譯系統與文化語境翻譯系統間的差距。
摘要
- 原文標題：A Mechanism-Learning Deeply Coupled Model for Remote Sensing Retrieval of Global Land Surface Temperature
- 中文標題：基於機理學習深度耦合模型的全球地表溫度遙感反演
- 發佈日期：2025-04-10 06:19:01+00:00
- 作者：Tian Xie, Menghui Jiang, Huanfeng Shen, Huifang Li, Cao Zeng, Xiaobin Guan, Jun Ma, Guanhao Zhang, Liangpei Zhang
- 分類：physics.ao-ph, cs.LG
- 原文連結：http://arxiv.org/abs/2504.07481v1
中文摘要：基於遙感數據的陸表溫度（LST）反演對於分析氣候過程和地表能量收支至關重要。然而，LST反演是一個不適定逆問題，當僅能獲取單波段數據時該問題尤為突出。本文提出了一種深度融合機理建模與機器學習的框架，以提升單通道LST反演的精度和泛化能力。訓練樣本通過基於物理的輻射傳輸模型和包含5810組全球大氣廓線的數據集生成，並構建了物理信息機器學習框架，將經典物理反演模型的第一性原理系統融入學習流程，其優化過程受輻射傳輸方程約束。全球驗證表明，相較於獨立方法，該框架使均方根誤差降低30%。在極端濕度條件下，平均絕對誤差從4.87K降至2.29K（提升53%）。橫跨五大洲的洲際尺度測試證實了該模型卓越的泛化性能。
摘要
- 原文標題：Measurements of Higgs boson production via gluon-gluon fusion and vector-boson fusion using $H\rightarrow WW^\ast \rightarrow \ellν\ellν$ decays in $pp$ collisions with the ATLAS detector and their effective field theory interpretations
- 中文標題：利用ATLAS探測器測量$pp$對撞中$H\rightarrow WW^\ast \rightarrow \ellν\ellν$衰變通道的希格斯玻色子膠子-膠子融合與矢量玻色子融合產生截面及其有效場論解釋
- 發佈日期：2025-04-10 12:15:04+00:00
- 作者：ATLAS Collaboration
- 分類：hep-ex
- 原文連結：http://arxiv.org/abs/2504.07686v1
中文摘要：摘要：通過$H\rightarrow WW^\ast \rightarrow \ell\nu\ell\nu$衰變道，測量了質子-質子碰撞中希格斯玻色子經由膠子-膠子融合和矢量玻色子融合的產生截面。大型強子對撞機在2015至2018年間提供了質心能量為$13\,\textrm{TeV}$的質子-質子碰撞數據，由ATLAS探測器記錄，對應積分亮度為$140\,\textrm{fb}^{-1}$。測得膠子-膠子融合和矢量玻色子融合的希格斯玻色子總截面（乘以$H\rightarrow WW^\ast$分支比）分別為$12.4^{+1.3}_{-1.2}\,\textrm{pb}$和$0.79^{+0.18}_{-0.16}\,\textrm{pb}$，與標準模型預測一致。通過簡化的模板截面測量，在總共十五個運動學基準區域內進一步表徵了希格斯玻色子產生。新引入的運動學基準區域方案增強了希格斯玻色子相互作用中CP破壞效應的探測靈敏度。兩種方案均用於約束標準模型有效場論中的CP偶和CP奇六維算子。
摘要
- 原文標題：Efficient Formal Verification of Quantum Error Correcting Programs
- 中文標題：量子糾錯程序的高效形式化驗證
- 發佈日期：2025-04-10 13:28:49+00:00
- 作者：Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
- 分類：cs.PL, quant-ph
- 原文連結：http://arxiv.org/abs/2504.07732v1
中文摘要：量子糾錯（QEC）是抑制量子硬件噪聲、實現容錯量子計算的基礎技術。本文提出了一種高效的QEC程序驗證框架：我們專門為QEC程序設計了斷言邏輯和程序邏輯，並建立了可靠證明系統。針對驗證條件（VCs）的處理，我們開發了高效方法——對於泡利錯誤，VCs可簡化為可由SMT求解器處理的經典斷言；對於非泡利錯誤，則提供啟發式算法。該程序邏輯已在Coq證明助手中形式化，使其成為經過驗證的QEC驗證器。此外，我們實現了自動化QEC驗證工具Veri-QEC，用於驗證各類容錯場景。通過多場景下的不同驗證任務，我們證明了該框架的高效性和廣泛功能性。最後，我們提供了14個已驗證穩定子碼的基準測試集。