WikiEdge:ArXiv速遞/2025-03-10

出自WikiEdge
於 2025年3月11日 (二) 20:05 由 Carole（對話 | 貢獻） 所做的修訂 （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的模型更適合卡鑽預測。

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