AI News HubLIVE
站內改寫1 分鐘閱讀

立場:量子程式生成必須優先考慮有效性而非機率縮放

該論文指出,將機率縮放正規化應用於通用量子電路合成是一個方向性錯誤。量子電路要求嚴格遵守數學約束,存在顯著的語法-語義差距。由於有效電路設計子集隨量子位元數量呈指數衰減,事後過濾在數學上難以處理。作者提出從以人為中心的副駕駛轉向以驗證器為中心的智慧體,並將層次約束、拓撲掩碼和符號代理直接整合到生成過程中。

來源arXiv Machine Learning作者: Junhao Song, Yu Zhou, William Knottenbelt, Yudong Cao

一篇發表於ICML 2026的立場論文《Quantum Program Generation Must Prioritize Validity Over Probabilistic Scaling》對當前AI生成量子程式的趨勢提出了根本性質疑。該論文由Junhao Song等四位作者撰寫,核心論點是:將用於自然語言處理的大規模機率模型正規化直接套用到量子電路生成上,是一個方向性錯誤。

論文指出,量子電路與自然語言存在本質區別。自然語言具有靈活性和容錯性,而量子電路必須嚴格遵循數學約束,例如酉性、可逆性以及希爾伯特空間的線性代數結構。這種嚴格的約束導致了顯著的“語法-語義差距”:模型或許能學會電路的形式語法(如門的型別和連線方式),但無法真正理解其物理語義——即在希爾伯特空間中的實際作用。

更嚴重的問題是,有效量子電路在全部可能設計中所佔的比例隨著量子位元數量的增加呈指數級衰減。這意味著,如果依靠模型隨機生成大量候選電路,再透過事後驗證來篩選有效結果,在計算上將是不可行的。論文作者因此認為,“規模縮放假說”(即增大模型引數能產生湧現推理能力)在量子程式生成領域並不成立。

針對這一困境,論文提出了一種根本性的正規化轉變:從“以人為中心的副駕駛”(human-centric copilot)轉向“以驗證器為中心的智慧體”(verifier-centric agent)。具體而言,他們建議將層次約束(如量子門集規則)、拓撲掩碼(防止非法連線)和符號代理(如象徵性表示目標操作)直接編碼到生成模型中,使模型在生成過程中就確保有效性,而不是事後過濾。

作者強調,單靠擴大模型規模無法彌合有效性鴻溝。他們呼籲發展“驗證感知架構”(verification-aware architectures),這種架構將量子資訊領域特有的規則直接融入模型設計,而不是依賴簡單的模仿學習。論文認為,這是實現模組化、可擴充套件量子程式生成的可行路徑。

該論文作為一種立場宣告,旨在引發學界對AI生成量子程式方法的重新思考。作者承認,他們的提議可能增加初始設計複雜性,但相信長期收益——即生成電路的可靠性和可用性——將遠超當前的機率方法。