default search action
65th FOCS 2024: Chicago, IL, USA
- 65th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2024, Chicago, IL, USA, October 27-30, 2024. IEEE 2024, ISBN 979-8-3315-1674-1
- Max Hopkins, Russell Impagliazzo, Daniel M. Kane, Sihan Liu, Christopher Ye:
Replicability in High Dimensional Statistics. 1-8 - Jiatu Li, Edward Pyne, Roei Tell:
Distinguishing, Predicting, and Certifying: On the Long Reach of Partial Notions of Pseudorandomness. 1-13 - Meike Hatzel, Stephan Kreutzer, Marcelo Garlet Milani, Irene Muzi:
Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem. 1-20 - Jan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk:
First-Order Model Checking on Monadically Stable Graph Classes. 21-30 - Christophe Paul, Evangelos Protopapas, Dimitrios M. Thilikos, Sebastian Wiederrecht:
Obstructions to Erdös-Pósa Dualities for Minors. 31-52 - Tuukka Korhonen, Michal Pilipczuk, Giannos Stamoulis:
Minor Containment and Disjoint Paths in Almost-Linear Time. 53-61 - Loukas Georgiadis, Giuseppe F. Italiano, Evangelos Kosinas:
Computing the 3-Edge-Connected Components of Directed Graphs in Linear Time. 62-85 - Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe:
Three-Edge-Coloring Projective Planar Cubic Graphs: A Generalization of the Four Color Theorem. 86-105 - Tolson Bell, Alan M. Frieze:
O(1) Insertion for Random Walk d-ary Cuckoo Hashing up to the Load Threshold. 106-119 - Kuikui Liu, Sidhanth Mohanty, Amit Rajaraman, David X. Wu:
Fast Mixing in Sparse Random Ising Models. 120-128 - Chunyang Wang, Yitong Yin:
A Sampling Lovász Local Lemma for Large Domain Sizes. 129-150 - Matthew Jenssen, Will Perkins, Aditya Potukuchi, Michael Simkin:
Sampling, Counting, and Large Deviations for Triangle-Free Graphs Near the Critical Density. 151-165 - Jordan Cotler, Semon Rezchikov:
Computational Dynamical Systems. 166-202 - Kuikui Liu, Sidhanth Mohanty, Prasad Raghavendra, Amit Rajaraman, David X. Wu:
Locally Stationary Distributions: A Framework for Analyzing Slow-Mixing Markov Chains. 203-215 - Sayan Bhattacharya, Martín Costa, Naveen Garg, Silvio Lattanzi, Nikos Parotsidis:
Fully Dynamic k-Clustering with Fast Update Time and Small Recourse. 216-227 - Yang P. Liu:
On Approximate Fully-Dynamic Matching and Online Matrix-Vector Multiplication. 228-243 - Lunjia Hu, Yifan Wu:
Predict to Minimize Swap Regret for All Payoff-Bounded Tasks. 244-263 - Shay Solomon, Amitai Uzrad, Tianyi Zhang:
A Lossless Deamortization for Dynamic Greedy Set Cover. 264-290 - Daniel Hathcock, Billy Jin, Kalen Patton, Sherry Sarkar, Michael Zlatin:
The Online Submodular Assignment Problem. 291-313 - Soheil Behnezhad, Alma Ghafari:
Fully Dynamic Matching and Ordered Ruzsa-Szemerédi Graphs. 314-327 - Rohan Goyal, Prahladh Harsha, Mrinal Kumar, Ashutosh Shankar:
Fast List Decoding of Univariate Multiplicity and Folded Reed-Solomon Codes. 328-343 - Louis Golowich, Venkatesan Guruswami:
Decoding Quasi-Cyclic Quantum LDPC Codes. 344-368 - Shuichi Hirahara, Zhenjian Lu, Mikito Nanashima:
Optimal Coding for Randomized Kolmogorov Complexity and Its Applications. 369-378 - Irit Dinur, Ting-Chun Lin, Thomas Vidick:
Expansion of High-Dimensional Cubical Complexes: with Application to Quantum Locally Testable Codes. 379-385 - Shiri Ron, Clayton Thomas, S. Matthew Weinberg, Qianfan Zhang:
Communication Separations for Truthful Auctions: Breaking the Two-Player Barrier. 386-405 - Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun:
On Pigeonhole Principles and Ramsey in TFNP. 406-428 - Siddharth Iyer, Anup Rao:
An XOR Lemma for Deterministic Communication Complexity. 429-432 - Alexander A. Sherstov, Andrey A. Storozhenko:
The Communication Complexity of Approximating Matrix Rank. 433-462 - Jeongwan Haah, Yunchao Liu, Xinyu Tan:
Efficient Approximate Unitary Designs from Random Pauli Rotations. 463-475 - Chi-Fang Chen, Jordan Docter, Michelle Xu, Adam Bouland, Fernando G. S. L. Brandão, Patrick Hayden:
Efficient Unitary Designs from Random Sums and Permutations. 476-484 - Tony Metger, Alexander Poremba, Makrand Sinha, Henry Yuen:
Simple Constructions of Linear-Depth t-Designs and Pseudorandom Unitaries. 485-492 - Robbie King, Tamara Kohler:
Gapped Clique Homology on Weighted Graphs is QMA1-Hard and Contained in QMA. 493-504 - Lijie Chen, Jiatu Li, Igor C. Oliveira:
Reverse Mathematics of Complexity Lower Bounds. 505-527 - Tal Herman, Guy N. Rothblum:
Interactive Proofs for General Distribution Properties. 528-538 - Vikraman Arvind, Abhranil Chatterjee, Partha Mukhopadhyay:
Trading Determinism for Noncommutativity in Edmonds' Problem. 539-559 - Dmitriy Zhuk:
∏2P vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem. 560-572 - Erfan Khaniki:
Jump Operators, Interactive Proofs and Proof Complexity Generators. 573-593 - Martín Farach-Colton, Andrew Krapivin, William Kuszmaul:
Optimal Bounds for Open Addressing Without Reordering. 594-605 - Mark Braverman, William Kuszmaul:
Tight Analyses of Ordered and Unordered Linear Probing. 606-635 - Michael A. Bender, William Kuszmaul, Renfei Zhou:
Tight Bounds for Classical Open Addressing. 636-657 - Shyam Narayanan, Václav Rozhon, Jakub Tetek, Mikkel Thorup:
Instance-Optimality in I/O-Efficient Sampling and Sequential Estimation. 658-688 - Michal Opler:
An Optimal Algorithm for Sorting Pattern-Avoiding Sequences. 689-699 - Niv Buchbinder, Moran Feldman:
Deterministic Algorithm and Faster Algorithm for Submodular Maximization Subject to a Matroid Constraint. 700-712 - Nikhil Bansal, Dor Katzelnick, Roy Schwartz:
On Approximating Cutwidth and Pathwidth. 713-729 - Jaroslaw Byrka, Fabrizio Grandoni, Vera Traub:
The Bidirected Cut Relaxation for Steiner Tree has Integrality Gap Smaller Than 2. 730-753 - Viktoriia Korchemna, Daniel Lokshtanov, Saket Saurabh, Vaishali Surianarayanan, Jie Xue:
Efficient Approximation of Fractional Hypertree Width. 754-779 - Youming Qiao, Xiaorui Sun:
Canonical Forms for Matrix Tuples in Polynomial Time. 780-789 - Sasank Mouli:
Polynomial Calculus Sizes Over the Boolean and Fourier Bases are Incomparable. 790-796 - Gil Kalai, Noam Lifshitz, Dor Minzer, Tamar Ziegler:
A Dense Model Theorem for the Boolean Slice. 797-805 - Nir Bitansky, Prahladh Harsha, Yuval Ishai, Ron D. Rothblum, David J. Wu:
Dot-Product Proofs and Their Applications. 806-825 - Yotam Dikstein, Irit Dinur, Alexander Lubotzky:
Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs. 826-861 - Mitali Bafna, Noam Lifshitz, Dor Minzer:
Constant Degree Direct Product Testers with Small Soundness. 862-869 - Yotam Dikstein, Max Hopkins:
Chernoff Bounds and Reverse Hypercontractivity on HDX. 870-919 - Eric Culf, Hamoon Mousavi, Taro Spirig:
Approximation Algorithms for Noncommutative CSPs. 920-929 - Venkatesan Guruswami, Jun-Ting Hsieh, Prasad Raghavendra:
Certifying Euclidean Sections and Finding Planted Sparse Vectors Beyond the √n Dimension Threshold. 930-948 - Ilias Diakonikolas, Sushrut Karmalkar, Shuo Pang, Aaron Potechin:
Sum-of-Squares Lower Bounds for Non-Gaussian Component Analysis. 949-958 - Jaroslaw Blasiok, Rares-Darius Buhai, Pravesh K. Kothari, David Steurer:
Semirandom Planted Clique and the Restricted Isometry Property. 959-969 - Ainesh Bakshi, Pravesh K. Kothari, Goutham Rajendran, Madhur Tulsiani, Aravindan Vijayaraghavan:
Efficient Certificates of Anti-Concentration Beyond Gaussians. 970-987 - Jane H. Lee, Anay Mehrotra, Manolis Zampetakis:
Efficient Statistics With Unknown Truncation, Polynomial Time Algorithms, Beyond Gaussians. 988-1006 - Dmitriy Kunisky, Cristopher Moore, Alexander S. Wein:
Tensor Cumulants for Statistical Inference on Invariant Distributions. 1007-1026 - Ainesh Bakshi, Allen Liu, Ankur Moitra, Ewin Tang:
High-Temperature Gibbs States are Unentangled and Efficiently Preparable. 1027-1036 - Ainesh Bakshi, Allen Liu, Ankur Moitra, Ewin Tang:
Structure Learning of Hamiltonians from Real-Time Evolution. 1037-1050 - Guang Hao Low, Yuan Su:
Quantum Eigenvalue Processing. 1051-1062 - Thiago Bergamaschi, Chi-Fang Chen, Yunchao Liu:
Quantum Computational Advantage with Constant-Temperature Gibbs Sampling. 1063-1085 - Sitan Chen, Weiyuan Gong, Qi Ye:
Optimal Tradeoffs for Estimating Pauli Observables. 1086-1105 - Atul Singh Arora, Kishor Bharti, Alexandru Cojocaru, Andrea Coladangelo:
A Computational Test of Contextuality and, Even Simpler Proofs of Quantumness. 1106-1125 - Brice Huang:
Capacity Threshold for the Ising Perceptron. 1126-1136 - Meghal Gupta, Mihir Singhal, Hongxun Wu:
Optimal Quantile Estimation: Beyond the Comparison Model. 1137-1158 - Leonid Reyzin:
Proofs of Space with Maximal Hardness. 1159-1177 - Rishabh Batra, Rahul Jain:
Commitments are Equivalent to Statistically-Verifiable One-Way State Generators. 1178-1192 - Tony Metger, Anand Natarajan, Tina Zhang:
Succinct Arguments for QMA from Standard Assumptions via Compiled Nonlocal Games. 1193-1201 - Hsin-Yuan Huang, John Preskill, Mehdi Soleimanifar:
Certifying Almost All Quantum States with Few Single-Qubit Measurements. 1202-1206 - Yevgeniy Dodis, Aayush Jain, Huijia Lin, Ji Luo, Daniel Wichs:
How to Simulate Random Oracles with Auxiliary Input. 1207-1230 - Paul Dütting, Thomas Kesselheim, Brendan Lucier, Rebecca Reiffenhäuser, Sahil Singla:
Online Combinatorial Allocations and Auctions with Few Samples. 1231-1250 - Yaonan Jin, Pinyan Lu:
Benchmark-Tight Approximation Ratio of Simple Mechanism for a Unit-Demand Buyer. 1251-1259 - Arpit Agarwal, Rohan Ghuge, Viswanath Nagarajan:
Semi-Bandit Learning for Monotone Stochastic Optimization. 1260-1274 - Nick Gravin, Zhiqi Wang:
On Robustness to k-Wise Independence of Optimal Bayesian Mechanisms. 1275-1293 - Ruiquan Gao, Mohammad Roghani, Aviad Rubinstein, Amin Saberi:
Hardness of Approximate Sperner and Applications to Envy-Free Cake Cutting. 1294-1331 - Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki:
The Tractability Border of Reachability in Simple Vector Addition Systems with States. 1332-1354 - Mikkel Abrahamsen, Jack Stade:
Hardness of Packing, Covering and Partitioning Simple Polygons with Unit Squares. 1355-1371 - Ryan Williams:
The Orthogonal Vectors Conjecture and Non-Uniform Circuit Lower Bounds. 1372-1387 - Oliver Korten, Toniann Pitassi:
Strong vs. Weak Range Avoidance and the Linear Ordering Principle. 1388-1407 - Gábor Ivanyos, Euan J. Mendoza, Youming Qiao, Xiaorui Sun, Chuanqi Zhang:
Faster Isomorphism Testing of p-Groups of Frattini Class 2. 1408-1424 - Harm Derksen, Chin Ho Lee, Emanuele Viola:
Boosting Uniformity in Quasirandom Groups: Fast and Simple. 1425-1430 - Guy Blanc, Alexandre Hayderi, Caleb Koch, Li-Yang Tan:
The Sample Complexity of Smooth Boosting and the Tightness of the Hardcore Theorem. 1431-1450 - Eshan Chattopadhyay, Mohit Gurumukhani, Noam Ringach:
On the Existence of Seedless Condensers: Exploring the Terrain. 1451-1469 - Gil Cohen, Itay Cohen, Gal Maor:
Tight Bounds for the Zig-Zag Product. 1470-1499 - Jesse Goodman, Xin Li, David Zuckerman:
Improved Condensers for Chor-Goldreich Sources. 1513-1549 - Davide Bilò, Shiri Chechik, Keerti Choudhary, Sarel Cohen, Tobias Friedrich, Martin Schirneck:
Improved Distance (Sensitivity) Oracles with Subquadratic Space. 1550-1558 - Yuval Filmus, Hamed Hatami, Kaave Hosseini, Esty Kelman:
Sparse Graph Counting and Kelley-Meka Bounds for Binary Systems. 1559-1578 - Hung Le, Shay Solomon, Cuong Than, Csaba D. Tóth, Tianyi Zhang:
Towards Instance-Optimal Euclidean Spanners. 1579-1609 - Friedrich Eisenbrand, Lars Rohwedder, Karol Wegrzycki:
Sensitivity, Proximity and FPT Algorithms for Exact Matroid Problems. 1610-1620 - Dmitriy Kunisky, Xifan Yu:
Computational Hardness of Detecting Graph Lifts and Certifying Lift-Monotone Properties of Random Regular Graphs. 1621-1633 - Bernhard Haeupler, D. Ellis Hershkowitz, Zihan Tan:
New Structures and Algorithms for Length-Constrained Expander Decompositions. 1634-1645 - Yeshwanth Cherapanamjeri:
Computing Approximate Centerpoints in Polynomial Time. 1654-1668 - Sanjeev Khanna, Aaron Putterman, Madhu Sudan:
Near-Optimal Size Linear Sketches for Hypergraph Cut Sparsifiers. 1669-1706 - Nikhil Bansal, Vincent Cohen-Addad, Milind Prabhu, David Saulpic, Chris Schwiegelshohn:
Sensitivity Sampling for k-Means: Worst Case and Stability Optimal Coreset Bounds. 1707-1723 - Sandip Banerjee, Yair Bartal, Lee-Ad Gottlieb, Alon Hovav:
Novel Properties of Hierarchical Probabilistic Partitions and Their Algorithmic Applications. 1724-1767 - Eric Price, Zhiyang Xun:
Spectral Guarantees for Adversarial Streaming PCA. 1768-1785 - Tal Yankovitz:
A Stronger Bound for Linear 3-LCC. 1786-1801 - Pravesh K. Kothari, Peter Manohar:
Exponential Lower Bounds for Smooth 3-LCCs and Sharp Bounds for Designs. 1802-1845 - Zeyu Guo, Chaoping Xing, Chen Yuan, Zihan Zhang:
Random Gabidulin Codes Achieve List Decoding Capacity in the Rank Metric. 1846-1873 - Omar Alrabiah, Venkatesan Guruswami:
Near-Tight Bounds for 3-Query Locally Correctable Binary Linear Codes via Rainbow Cycles. 1874-1882 - Prahladh Harsha, Mrinal Kumar, Ramprasad Saptharishi, Madhu Sudan:
An Improved Line-Point Low-Degree Test. 1883-1892 - Caleb Koch, Carmen Strassle, Li-Yang Tan:
Fast Decision Tree Learning Solves Hard Coding-Theoretic Problems. 1893-1910 - Anindya De, Shivam Nadimpalli, Rocco A. Servedio:
Gaussian Approximation of Convex Sets by Intersections of Halfspaces. 1911-1930 - Ilias Diakonikolas, Daniel M. Kane, Vasilis Kontonis, Christos Tzamos, Nikos Zarifis:
Agnostically Learning Multi-Index Models with Queries. 1931-1952 - Noah Golowich, Ankur Moitra, Dhruv Rohatgi:
Exploration is Harder than Prediction: Cryptographically Separating Reinforcement Learning from Supervised Learning. 1953-1967 - Steve Hanneke, Kasper Green Larsen, Nikita Zhivotovskiy:
Revisiting Agnostic PAC Learning. 1968-1982 - Simone Fioravanti, Steve Hanneke, Shay Moran, Hilla Schefler, Iska Tsubari:
Ramsey Theorems for Trees and a General 'Private Learning Implies Online Learning' Theorem. 1983-2009 - Jan van den Brand, Li Chen, Rasmus Kyng, Yang P. Liu, Simon Meierhans, Maximilian Probst Gutenberg, Sushant Sachdeva:
Almost-Linear Time Algorithms for Decremental Graphs: Min-Cost Flow and More via Duality. 2010-2032 - Bernhard Haeupler, Yaowei Long, Thatchaphol Saranurak:
Dynamic Deterministic Constant-Approximate Distance Oracles with nε Worst-Case Update Time. 2033-2044 - Dominik Kempa, Tomasz Kociumaka:
Lempel-Ziv (LZ77) Factorization in Sublinear Time. 2045-2055 - Aaron Bernstein, Joakim Blikstad, Thatchaphol Saranurak, Ta-Wei Tu:
Maximum Flow by Augmenting Paths in n2+o(1) Time. 2056-2077 - Arnold Filtser, Gramoz Goranci, Neel Patel, Maximilian Probst Gutenberg:
Near-Optimal (1+ε)-Approximate Fully-Dynamic All-Pairs Shortest Paths in Planar Graphs. 2078-2098 - Bernhard Haeupler, Richard Hladík, Václav Rozhon, Robert E. Tarjan, Jakub Tetek:
Universal Optimality of Dijkstra Via Beyond-Worst-Case Heaps. 2099-2130 - Shai Evra, Shay Gadot, Ohad Klein, Ilan Komargodski:
Verifying Groups in Linear Time. 2131-2147 - Mohsen Ghaffari, Christoph Grunau:
Near-Optimal Deterministic Network Decomposition and Ruling Set, and Improved MIS. 2148-2179 - Yasunori Kinoshita, Baitian Li:
Power Series Composition in Near-Linear Time. 2180-2185 - Sayan Bhattacharya, Din Carmon, Martín Costa, Shay Solomon, Tianyi Zhang:
Faster (Δ+1)-Edge Coloring: Breaking the m√n Time Barrier. 2186-2201 - Lin Chen, Jiayi Lian, Yuchen Mao, Guochuan Zhang:
An Improved Pseudopolynomial Time Algorithm for Subset Sum. 2202-2216 - George Giakkoupis, Marcos Kiwi, Dimitrios Los:
Naively Sorting Evolving Data is Optimal and Robust. 2217-2242 - Ivor van der Hoog, Daniel Rutschmann:
Tight Bounds for Sorting Under Partial Information. 2243-2252 - Michael A. Bender, Alex Conway, Martín Farach-Colton, Hanna Komlós, Michal Koucký, William Kuszmaul, Michael E. Saks:
Nearly Optimal List Labeling. 2253-2274 - Ziyun Chen, Zhiyi Huang, Enze Sun:
Stochastic Online Correlated Selection. 2275-2294 - Renato Ferreira Pinto Jr.:
Directed Isoperimetry and Monotonicity Testing: A Dynamical Approach. 2295-2305 - Krishnamurthy Dj Dvijotham, H. Brendan McMahan, Krishna Pillutla, Thomas Steinke, Abhradeep Thakurta:
Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy. 2306-2317 - Elena Gribelyuk, Honghao Lin, David P. Woodruff, Huacheng Yu, Samson Zhou:
A Strong Separation for Adversarially Robust ℓ0 Estimation for Linear Sketches. 2318-2343 - Zhiyan Ding, Ethan N. Epperly, Lin Lin, Ruizhe Zhang:
The ESPRIT Algorithm Under High Noise: Optimal Error Scaling and Noisy Super-Resolution. 2344-2366 - Robert Andrews, Avi Wigderson:
Constant-Depth Arithmetic Circuits for Linear Algebra Problems. 2367-2386 - Hiroshi Hirai, Keiya Sakabe:
Gradient Descent for Unbounded Convex Functions on Hadamard Manifolds and its Applications to Scaling Problems. 2387-2402 - Zhenjian Lu, Igor C. Oliveira, Hanlin Ren, Rahul Santhanam:
On the Complexity of Avoiding Heavy Elements. 2403-2412 - Moïse Blanchard:
Gradient Descent is Pareto-Optimal in the Oracle Complexity and Memory Tradeoff for Feasibility Problems. 2413-2435
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.