【論文速遞】IEEE FOCS 2024 (編碼理論、證明系統、量子承諾、隨機預言、算術電路）
Fast List Decoding of Univariate Multiplicity and Folded Reed-Solomon Codes https://ieeexplore.ieee.org/document/10756121 Rohan Goyal; Prahladh Harsha; Mrinal Kumar; Ashutosh Shankar Optimal Coding for Randomized Kolmogorov Complexity and Its Applications https://ieeexplore.ieee.org/document/10756127 Shuichi Hirahara; Zhenjian Lu; Mikito Nanashima Random Gabidulin Codes Achieve List Decoding Capacity in the Rank Metric https://ieeexplore.ieee.org/document/10756135 Zeyu Guo; Chaoping Xing; Chen Yuan; Zihan Zhang Jump Operators, Interactive Proofs and Proof Complexity Generators https://ieeexplore.ieee.org/document/10756097 Erfan Khaniki Interactive Proofs for General Distribution Properties https://ieeexplore.ieee.org/document/10756031 Tal Herman; Guy Rothblum Dot-Product Proofs and Their Applications https://ieeexplore.ieee.org/document/10756114 Nir Bitansky; Prahladh Harsha; Yuval Ishai; Ron D. Rothblum; David J. Wu A Computational Test of Contextuality and, Even Simpler Proofs of Quantumness https://ieeexplore.ieee.org/document/10756087 Atul Singh Arora; Kishor Bharti; Alexandru Cojocaru; Andrea Coladangelo Proofs of Space with Maximal Hardness https://ieeexplore.ieee.org/document/10756078 Leonid Reyzin Commitments are Equivalent to Statistically-Verifiable One-Way State Generators https://ieeexplore.ieee.org/document/10756159 Rishabh Batra; Rahul Jain Succinct Arguments for QMA from Standard Assumptions via Compiled Nonlocal Games https://ieeexplore.ieee.org/document/10756101 Tony Metger; Anand Natarajan; Tina Zhang How to Simulate Random Oracles with Auxiliary Input https://ieeexplore.ieee.org/document/10756037 Yevgeniy Dodis; Aayush Jain; Huijia Lin; Ji Luo; Daniel Wichs Constant-Depth Arithmetic Circuits for Linear Algebra Problems https://ieeexplore.ieee.org/document/10756174 Robert Andrews; Avi Wigderson