-
合作者:Xuan Chen。arXiv:2608.06279。
展卷觀其要
低次法常用以卜平均植入問題之計算門檻,然其不可辨,未必杜絕高效耐噪之辨者。今令 $Q_n=G(n,c/n)$,植定圖 $\\Gamma_n$ 之隨機副本而得 $P_n$。若 $c>1$、二分布於 $D_n$ 次內不可辨,且樹寬為 $o(D_n/\\log n)$,則加噪之 $P_n$ 與 $Q_n$ 漸不可辨;若 $0<c\\leq1$ 且 $D_n=\\omega(\\log n)$,則毋須樹寬之限。證則考傅里葉展開與同構三元組之應,分解樹以析大支撐,復以噪聲消其合併之費;臨界及其下,低次假設去短環,噪聲滅餘長環。
arXiv 牘
-
合作者:Ziyi Cai、Yiheng Shen、Kangning Wang、Peng Zhang。arXiv:2608.01320。
展卷觀其要
論極限語言生成:對手自可數族擇一未知語言,任序枚舉其辭;生成者終須惟出屬其語而未見者。今以次序表輸出之輕重,以「下密度」量其廣。立一簡而統一之法:確定算法可得最優之 $1/2$;對不應變之對手,隨機化可升至 $1-1/e$;雖有有限多序,亦可各臻其最優而無所損。
arXiv 牘
-
合作者:Shuyang Gong、Brice Huang、Mark Sellke。FOCS 2026。
展卷觀其要
考二元感知機之隨機約束。解多而孤,隔諸解以 $\Omega(N)$ 漢明之距。然凡算法稍經高斯重擾而輸出仍穩者,難可靠尋此孤解;其功率有界,低次多項式亦在此列。是故孤解雖在,算法未必見之。
arXiv 牘
-
合作者:Jinho Bok、Sophie H. Yu。arXiv:2603.24545。
展卷觀其要
置一隱社群,其邊由球面隱向量之內積生;餘邊如 Erdős-Rényi。邊際無異,信號只藏於依賴。以帶符號三角計數立上界,以截斷二階矩與 KL 張量化立下界,遂定其檢測門檻,並見計算與統計之隙。
arXiv 牘
-
合作者:Tselil Schramm。COLT 2025。
展卷觀其要
證最短 s-t 路於稀疏 $G(n,p)$ 與完全圖指數邊權中亦有 overlap-gap property。然此題仍可由 $O(\log n)$ 次多項式估計,且可多項式時取近似最短路。故有間隙者,未必皆難。
arXiv 牘
刊本
-
合作者:Zitong Yang、Neil Band、Emmanuel Candès、Tatsunori Hashimoto。ICLR 2025 (Oral)。
展卷觀其要
大語言模型多讀網文而得世識,然學一事常須千般說法。今取小域文集,以 EntiGraph 抽其要實,織成多樣合成文本,再續預訓。於是模型無原文亦能答其事;若復佐以檢索,則知識相助而益彰。
arXiv 牘
刊本
-
合作者:Tselil Schramm、Kangjie Zhou。STOC 2025。
展卷觀其要
問於截距 $-\kappa$ 之隨機半空間交中求符號向量。析 Lovett-Meka 與 Rothvoss/Eldan-Singh 諸 discrepancy 法於非對稱二元感知機之功,於 $\kappa=0$ 與大 $|\kappa|$ 得新算法,又於 $\kappa\to-\infty$ 明其容量。
arXiv 牘
刊本
影像
-
合作者:Tselil Schramm。Annals of Applied Probability(二〇二六)。
展卷觀其要
以高斯混合為潛特徵,點相近則連邊。今考高維情形之聚類與嵌入,析二分量球形高斯混合中譜法之成敗,略繪信息與計算之疆界。
arXiv 牘
-
合作者:Emmanuel Abbe、Allan Sly。STOC 2022。
展卷觀其要
對稱二元感知機之典型解多孤立,似難求也;然低密度時簡算法常得解。本文證實有次主導而稠密連通之解簇,多尺度多數算法可高概率入之,並及臨界附近之線性直徑簇。
arXiv 牘
刊本
-
合作者:Emmanuel Abbe、Allan Sly。FOCS 2021。
展卷觀其要
對稱二元感知機,其配分函數經期望歸一後趨於對數正態。由是證 planted 與 unplanted 模型之鄰接,立尖銳閾值,並證對稱情形之 frozen 1-RSB。其術乃小圖條件化之稠密化。
arXiv 牘
刊本
影像
-
合作者:Jonathan Hermon、Dong Yao、Lingfu Zhang。Annals of Probability (2022)。
展卷觀其要
於一般圖上考合併隨機遊走,問早期「大爆炸」時被占點比例 $P_t$ 如何衰。若圖具類暫態性,則見平均場行為。其法及配置模型與頂點傳遞圖,並得多種極限公式。
arXiv 牘
刊本
-
合作者:Emmanuel Abbe、Allan Sly。Annals of Statistics (2023)。
展卷觀其要
graphon 之學,稀疏處尤難。本文於常數期望度下給高效算法;若前 $k$ 特徵值滿足廣義 Kesten-Stigum 條件,則可於 $L^2$ 度量中估其秩 $k$ 投影。
arXiv 牘
刊本
影像
-
合作者:Shiping Cao、Robert S. Strichartz、Prem Talwai。Communications on Pure and Applied Analysis (2020)。
展卷觀其要
給謝爾賓斯基墊片上一族 Sobolev 空間到底邊之離散刻畫,含拉普拉斯算子 $L^2$ 定義域。低階情形下,其跡空間乃直線上 Besov 空間。
arXiv 牘
刊本
-
合作者:Zhiwen Zhang。Communications in Computational Physics (2018)。
展卷觀其要
構造依題而生之基函數,立於粗網格,解一優化題而得之。此等基張成低維廣義有限元空間,能存定態薛定諤方程之低端特徵值與特徵函數;免於細網格上大求特徵,且各基可並行而作。
刊本