Computational Complexity Conference
CCC 2024 Accepted Papers

CCC 2024 Accepted Papers

William Hoza. A Technique for Hardness Amplification Against AC^0
Graham Cormode, Marcel Dall'Agnol, Tom Gur and Chris Hickey. Streaming Zero-Knowledge Proofs
Mitali Bafna and Dor Minzer. Solving Unique Games over Globally Hypercontractive Graphs
Edward Pyne. Derandomizing Logspace with a Small Shared Hard Drive
Joshua Cook and Dana Moshkovitz. Explicit Time and Space Efficient Encoders Exist Only With Random Access
Sabee Grewal and Justin Yirka. The Entangled Quantum Polynomial Hierarchy Collapses
Sepehr Assadi, Prantar Ghosh, Bruno Loff, Parth Mittal and Sagnik Mukhopadhyay. Polynomial Pass Semi-Streaming Lower Bounds for K-Cores and Degeneracy
Gil Cohen and Tal Yankovitz. Asymptotically-Good RLCCs with $(\log{n})^{2+o(1)}$ Queries
Yaroslav Alekseev, Alexander Smal and Yuval Filmus. Lifting dichotomies
Xin Li and Yan Zhong. Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs
Justin Holmgren and Ron Rothblum. Linear-Size Boolean Circuits for Multiselection
Pavel Hrubes. A subquadratic upper bound on sum-of-squares compostion formulas
Pavel Hrubes. Hard submatrices for non-negative rank and communication complexity
Mahmut Levent Doğan, Peter Bürgisser, Michael Walter, Visu Makam and Avi Wigderson. Complexity of Robust Orbit Problems for Torus Actions and the abc-Conjecture
Noel Arteche, Gaia Carenini and Matthew Gray. Quantum Automating TC⁰-Frege Is LWE-Hard
Guy Blanc, Caleb Koch, Carmen Strassle and Li-Yang Tan. A Strong Direct Sum Theorem for Distributional Query Complexity
Mohit Gurumukhani, Ramamohan Paturi, Pavel Pudlak, Michael Saks and Navid Talebanfard. Local Enumeration and Majority Lower Bounds
Harm Derksen, Peter Ivanov, Chin Ho Lee and Emanuele Viola. Small bias is no cheaper than uniformity
Klim Efremenko, Gillat Kol, Dmitry Paramonov, Ran Raz and Raghuvansh Saxena. Information Dissemination via Broadcasts in the Presence of Adversarial Noise
Prerona Chatterjee, Deepanshu Kush, Shubhangi Saraf and Amir Shpilka. Lower Bounds for Set-Multilinear Branching Programs
Adam Bouland, Bill Fefferman, Soumik Ghosh, Tony Metger, Umesh Vazirani, Chenyi Zhang and Zixin Zhou. Public-key pseudoentanglement and the hardness of learning ground state entanglement structure
Theodoros Papamakarios. Depth-d Frege systems are not automatable unless P=NP
Sreejata Bhattacharya, Arkadev Chattopadhyay and Pavel Dvořák. Exponential Separation Between Powers of Regular and General Resolution Over Parities
Hugo Aaronson, Tom Gur, Ninad Rajgopal and Ron Rothblum. Distribution-Free Proofs of Proximity
Kiran Kedlaya and Swastik Kopparty. On the degree of polynomials computing square roots mod p
Fernando Jeronimo and Pei Wu. Dimension Independent Disentanglers from Unentanglement and Applications
Venkatesan Guruswami, Xuandi Ren and Sai Sandeep. Baby PIH: Parameterized Inapproximability of Min CSP
Amit Chakrabarti and Manuel Stoeckl. Finding missing items requires strong forms of randomness
Shuichi Hirahara, Valentine Kabanets, Zhenjian Lu and Igor C. Oliveira. Exact Search-to-Decision Reductions for Time-Bounded Kolmogorov Complexity
Yangjing Dong, Honghao Fu, Anand Natarajan, Minglong Qin, Haochen Xu and Penghui Yao. The Computational Advantage of MIP* Vanishes in the Presence of Noise
Michael A. Forbes. Low-depth algebraic circuit lower bounds over any field
Kuan Cheng and Yichuan Wang. $\mathsf{BPL}\subseteq\textsf{L-AC}^1$
Michal Garlík. Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It
Noam Mazor and Rafael Pass. Search-to-Decision Reductions for Kolmogorov Complexity
Josh Alman and Yunfeng Guan. Finer-Grained Hardness of Kernel Density Estimation
Noam Mazor and Rafael Pass. Gap MCSP is not (Levin) NP-complete in Obfustopia