


default search action
62nd FOCS 2021: Denver, CO, USA
- 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022. IEEE 2022, ISBN 978-1-6654-2055-6

- Nisheeth K. Vishnoi:

FOCS 2021 Preface. xvii - Vera Traub

, Rico Zenklusen:
A Better-Than-2 Approximation for Weighted Tree Augmentation. 1-12 - Samuel Fiorini, Gwenaël Joret, Stefan Weltge

, Yelena Yuditsky:
Integer programs with bounded subdeterminants and two nonzeros per row. 13-24 - Wenzheng Li, Jan Vondrák:

A constant-factor approximation algorithm for Nash Social Welfare with submodular valuations. 25-36 - Deeparnab Chakrabarty, Yu Chen, Sanjeev Khanna:

A Polynomial Lower Bound on the Number of Rounds for Parallel Submodular Function Minimization. 37-48 - Alessandro Chiesa, Fermi Ma, Nicholas Spooner, Mark Zhandry

:
Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier. 49-58 - Nai-Hui Chia, Kai-Min Chung, Qipeng Liu, Takashi Yamakawa:

On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Round. 59-67 - Arka Rai Choudhuri, Abhishek Jain

, Zhengzhong Jin:
SNARGs for $\mathcal{P}$ from LWE. 68-79 - Itai Dinur, Nathan Keller, Ohad Klein:

Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR. 80-91 - Pranjal Dutta

, Prateek Dwivedi
, Nitin Saxena:
Demystifying the border of depth-3 algebraic circuits. 92-103 - Pooya Hatami, William M. Hoza, Avishay Tal, Roei Tell:

Fooling Constant-Depth Threshold Circuits (Extended Abstract). 104-115 - Kaspars Balodis, Shalev Ben-David, Mika Göös, Siddhartha Jain

, Robin Kothari
:
Unambiguous DNFs and Alon-Saks-Seymour. 116-124 - Lijie Chen, Roei Tell:

Hardness vs Randomness, Revised: Uniform, Non-Black-Box, and Instance-Wise. 125-136 - Xiaoyu Chen, Weiming Feng, Yitong Yin, Xinyuan Zhang:

Rapid mixing of Glauber dynamics via spectral independence for all degrees. 137-148 - Zongchen Chen, Kuikui Liu, Eric Vigoda:

Spectral Independence via Stability and Applications to Holant-Type Problems. 149-160 - Dorna Abdolazimi, Kuikui Liu, Shayan Oveis Gharan:

A Matrix Trickle-Down Theorem on Simplicial Complexes and Applications to Sampling Colorings. 161-172 - Vishesh Jain, Huy Tuan Pham

, Thuy-Duong Vuong:
Towards the sampling Lovász Local Lemma. 173-183 - Tuukka Korhonen

:
A Single-Exponential Time 2-Approximation Algorithm for Treewidth. 184-192 - Hans L. Bodlaender

, Carla Groenland
, Jesper Nederlof, Céline M. F. Swennenhuis:
Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space. 193-204 - Dominik Scheder:

PPSZ is better than you think. 205-216 - Cory Palmer

, Dömötör Pálvölgyi:
At most 3.55n stable matchings. 217-227 - Mark Braverman, Subhash Khot, Noam Lifshitz

, Dor Minzer:
An Invariance Principle for the Multi-slice, with Applications. 228-236 - Boris Bukh, Karthik C. S.

, Bhargav Narayanan:
Applications of Random Algebraic Constructions to Hardness of Approximation. 237-244 - Sai Sandeep:

Almost Optimal Inapproximability of Multidimensional Packing Problems. 245-256 - Akash Kumar, C. Seshadhri, Andrew Stolman:

Random walks and forbidden minors III: $\text{poly}\left(d\varepsilon ^{-1}\right)$-time partition oracles for minor-free graph classes. 257-268 - Oded Goldreich, Avi Wigderson:

Non-adaptive vs Adaptive Queries in the Dense Graph Testing Model. 269-275 - Marco Bressan, Marc Roth

:
Exact and Approximate Pattern Counting in Degenerate Graphs: New Algorithms, Hardness Results, and Complexity Dichotomies. 276-285 - Oren Becker, Alexander Lubotzky, Jonathan Mosheiff

:
Testability of relations between permutations. 286-297 - Guy Bresler, Brice Huang:

The Algorithmic Phase Transition of Random k-SAT for Low Degree Polynomials. 298-309 - Danny Nam, Allan Sly, Youngtak Sohn

:
One-step replica symmetry breaking of random regular NAE-SAT. 310-318 - Arnaud Casteigts, Michael Raskin

, Malte Renken
, Viktor Zamaraev
:
Sharp Thresholds in Random Simple Temporal Graphs. 319-326 - Emmanuel Abbe, Shuangping Li, Allan Sly:

Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric Perceptron. 327-338 - Joseph S. B. Mitchell:

Approximating Maximum Independent Set for Rectangles in the Plane. 339-350 - Sándor Kisfaludi-Bak

, Jesper Nederlof, Karol Wegrzycki
:
A Gap-ETH-Tight Approximation Scheme for Euclidean TSP. 351-362 - Hung Le, Christian Wulff-Nilsen:

Optimal Approximate Distance Oracle for Planar Graphs. 363-374 - Mikkel Abrahamsen

:
Covering Polygons is Even Harder. 375-386 - Jingqiu Ding, Tommaso d'Orsi

, Rajai Nasser, David Steurer
:
Robust recovery for stochastic block models. 387-394 - Siqi Liu, Sidhanth Mohanty, Prasad Raghavendra:

On statistical inference when fixed points of belief propagation are unstable. 395-405 - Chris Jones, Aaron Potechin

, Goutham Rajendran, Madhur Tulsiani, Jeff Xu:
Sum-of-Squares Lower Bounds for Sparse Independent Set. 406-416 - Enric Boix-Adserà, Guy Bresler, Frederic Koehler:

Chow-Liu++: Optimal Prediction-Centric Learning of Tree Ising Models. 417-426 - Rahul Ilango:

The Minimum Formula Size Problem is (ETH) Hard. 427-432 - Oliver Korten

:
The Hardest Explicit Construction. 433-444 - Toniann Pitassi, Prasanna Ramakrishnan, Li-Yang Tan:

Tradeoffs for small-depth Frege proofs. 445-456 - Heiko Dietrich

, James B. Wilson
:
Group isomorphism is nearly-linear time for most orders. 457-467 - Vincent Cohen-Addad, Debarati Das, Evangelos Kipouridis

, Nikos Parotsidis, Mikkel Thorup
:
Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor. 468-479 - Ken-ichi Kawarabayashi, Anastasios Sidiropoulos:

Embeddings of Planar Quasimetrics into Directed ℓ1 and Polylogarithmic Approximation for Directed Sparsest-Cut. 480-491 - Arnold Filtser:

Hop-Constrained Metric Embeddings and their Applications. 492-503 - Anupam Gupta, Amit Kumar

, Debmalya Panigrahi:
A Hitting Set Relaxation for $k$-Server and an Extension to Time-Windows. 504-515 - Yu Gao, Yang P. Liu

, Richard Peng
:
Fully Dynamic Electrical Flows: Sparse Maxflow Faster Than Goldberg-Rao. 516-527 - Kyriakos Axiotis, Aleksander Madry, Adrian Vladu:

Faster Sparse Minimum Cost Flow by Electrical Flow Localization. 528-539 - Li Chen, Richard Peng, Di Wang:

2-norm Flow Diffusion in Near-Linear Time. 540-549 - Jonathan A. Kelner, Frederic Koehler, Raghu Meka, Dhruv Rohatgi:

On the Power of Preconditioning in Sparse Linear Regression. 550-561 - Srinivasan Arunachalam, Alex B. Grilo, Tom Gur

, Igor C. Oliveira, Aarthi Sundaram:
Quantum learning algorithms imply circuit lower bounds. 562-573 - Sitan Chen, Jordan Cotler, Hsin-Yuan Huang

, Jerry Li:
Exponential Separations Between Learning With and Without Quantum Memory. 574-585 - Zhengfeng Ji, Anand Natarajan, Thomas Vidick

, John Wright, Henry Yuen:
Quantum soundness of testing tensor codes. 586-597 - Nolan J. Coble

, Matthew Coudron:
Quasi-polynomial Time Approximation of Output Probabilities of Geometrically-local, Shallow Quantum Circuits. 598-609 - Eshan Chattopadhyay, Jesse Goodman:

Improved Extractors for Small-Space Sources. 610-621 - Eshan Chattopadhyay, Jesse Goodman, Jyun-Jie Liao:

Affine Extractors for Almost Logarithmic Entropy. 622-633 - Klim Efremenko

, Gillat Kol, Dmitry Paramonov, Raghuvansh R. Saxena:
Tight Bounds for General Computation in Noisy Broadcast Networks. 634-645 - Lijie Chen, Ce Jin

, Rahul Santhanam, R. Ryan Williams
:
Constructive Separations and Their Consequences. 646-657 - Noga Alon, Steve Hanneke, Ron Holzman, Shay Moran:

A Theory of PAC Learnability of Partial Concept Classes. 658-671 - Jasper C. H. Lee, Paul Valiant:

Optimal Sub-Gaussian Mean Estimation in $\mathbb{R}$. 672-683 - Sitan Chen, Frederic Koehler, Ankur Moitra, Morris Yau:

Online and Distribution-Free Robustness: Regression and Contextual Bandits with Huber Contamination. 684-695 - Sitan Chen, Adam R. Klivans, Raghu Meka:

Learning Deep ReLU Networks Is Fixed-Parameter Tractable. 696-707 - Zeyu Guo

, Ray Li, Chong Shangguan, Itzhak Tamo, Mary Wootters:
Improved List-Decodability and List-Recoverability of Reed-Solomon Codes via Tree Packings: [Extended Abstract]. 708-719 - Asaf Ferber, Matthew Kwan, Lisa Sauermann:

List-decodability with large radius for Reed-Solomon codes. 720-726 - Venkatesan Guruswami, Xiaoyu He

, Ray Li:
The zero-rate threshold for adversarial bit-deletions is less than 1/2. 727-738 - Jeremiah Blocki

, Kuan Cheng, Elena Grigorescu
, Xin Li, Yu Zheng, Minshen Zhu:
Exponential Lower Bounds for Locally Decodable and Correctable Codes for Insertions and Deletions. 739-750 - Shuichi Hirahara, Mikito Nanashima:

On Worst-Case Learning in Relativized Heuristica. 751-758 - Robert Robere, Jeroen Zuiddam:

Amortized Circuit Complexity, Formal Complexity Measures, and Catalytic Algorithms. 759-769 - Marco Carmosino

, Valentine Kabanets, Antonina Kolokolova, Igor C. Oliveira:
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. 770-780 - Tillmann Miltzow, Reinier F. Schmiermann:

On Classifying Continuous Constraint Satisfaction problems. 781-791 - Xiao Mao:

Breaking the Cubic Barrier for (Unweighted) Tree Edit Distance. 792-803 - Nutan Limaye, Srikanth Srinivasan

, Sébastien Tavenas:
Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits. 804-814 - Paul Dütting, Tomer Ezra

, Michal Feldman, Thomas Kesselheim:
Combinatorial Contracts. 815-826 - Aris Filos-Ratsikas

, Kristoffer Arnsfelt Hansen
, Kasper Høgh
, Alexandros Hollender
:
FIXP-membership via Convex Optimization: Games, Cakes, and Markets. 827-838 - George Christodoulou

, Elias Koutsoupias, Annamária Kovács:
On the Nisan-Ronen conjecture. 839-850 - Neil Olver, Leon Sering

, Laura Vargas Koch:
Continuity, Uniqueness and Long-Term Behavior of Nash Flows Over Time. 851-860 - Wenyu Jin, Xiaorui Sun:

Fully Dynamic s-t Edge Connectivity in Subpolynomial Time (Extended Abstract). 861-872 - Soheil Behnezhad:

Time-Optimal Sublinear Algorithms for Matching and Vertex Cover. 873-884 - Tomasz Kociumaka

, Ely Porat, Tatiana Starikovskaya:
Small-space and streaming pattern matching with $k$ edits. 885-896 - John Kallaugher:

A Quantum Advantage for a Natural Streaming Problem. 897-908 - Olivier Bousquet, Mark Braverman, Gillat Kol, Klim Efremenko

, Shay Moran:
Statistically Near-Optimal Hypothesis Selection. 909-919 - Guy Blanc, Jane Lange, Mingda Qiao

, Li-Yang Tan:
Properly learning decision trees in almost polynomial time. 920-929 - Victor Lecomte, Li-Yang Tan:

Sharper bounds on the Fourier concentration of DNFs. 930-941 - Nika Haghtalab, Tim Roughgarden, Abhishek Shetty:

Smoothed Analysis with Adaptive Adversaries. 942-953 - Vitaly Feldman, Audra McMillan, Kunal Talwar:

Hiding Among the Clones: A Simple and Nearly Optimal Analysis of Privacy Amplification by Shuffling. 954-964 - Yuanzhi Li, Ruosong Wang, Lin F. Yang

:
Settling the Horizon-Dependence of Sample Complexity in Reinforcement Learning. 965-976 - Zeyuan Allen-Zhu, Yuanzhi Li:

Feature Purification: How Adversarial Training Performs Robust Deep Learning. 977-988 - Sebastian Forster, Gramoz Goranci, Yang P. Liu, Richard Peng

, Xiaorui Sun, Mingquan Ye:
Minor Sparsifiers and the Distributed Laplacian Paradigm. 989-999 - Aaron Bernstein, Maximilian Probst Gutenberg

, Thatchaphol Saranurak
:
Deterministic Decremental SSSP and Approximate Min-Cost Flow in Almost-Linear Time. 1000-1008 - Mohsen Ghaffari, Fabian Kuhn:

Deterministic Distributed Vertex Coloring: Simpler, Faster, and without Network Decomposition. 1009-1020 - Mina Dalirrooyfard, Ray Li, Virginia Vassilevska Williams:

Hardness of Approximate Diameter: Now for Undirected Graphs. 1021-1032 - Shyan Akmal

, Ryan Williams:
MAJORITY-3SAT (and Related Problems) in Polynomial Time. 1033-1043 - David Doty

, Mahsa Eftekhari, Leszek Gasieniec, Eric E. Severson, Przemyslaw Uznanski, Grzegorz Stachowiak:
A time and space optimal stable population protocol solving exact majority. 1044-1055 - William Kuszmaul, Shyam Narayanan:

Stochastic and Worst-Case Generalized Sorting Revisited. 1056-1067 - Mark Braverman, Sumegha Garg, Or Zamir:

Tight Space Complexity of the Coin Problem. 1068-1079 - Dong Yeap Kang

, Tom Kelly
, Daniela Kühn, Abhishek Methuku
, Deryk Osthus:
A proof of the Erdös-Faber-Lovász conjecture: Algorithmic aspects. 1080-1089 - Guillaume Moroz:

New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems. 1090-1099 - Benjamin Wesolowski:

The supersingular isogeny path and endomorphism ring problems are equivalent. 1100-1111 - Saugata Basu

, Nathanael Cox:
Harmonic Persistent Homology (extended abstract). 1112-1123 - Jason Li, Debmalya Panigrahi, Thatchaphol Saranurak

:
A Nearly Optimal All-Pairs Min-Cuts Algorithm in Simple Graphs. 1124-1134 - Amir Abboud, Robert Krauthgamer

, Ohad Trabelsi:
APMF < APSP? Gomory-Hu Tree for Unweighted Graphs in Almost-Quadratic Time. 1135-1146 - Ruoxu Cen

, Jason Li, Danupon Nanongkai
, Debmalya Panigrahi, Thatchaphol Saranurak
, Kent Quanrud:
Minimum Cuts in Directed Graphs via Partial Sparsification. 1147-1158 - Michael Kapralov

, Robert Krauthgamer
, Jakab Tardos, Yuichi Yoshida:
Spectral Hypergraph Sparsifiers of Nearly Linear Size. 1159-1170 - Michael A. Bender, Bradley C. Kuszmaul, William Kuszmaul:

Linear Probing Revisited: Tombstones Mark the Demise of Primary Clustering. 1171-1182 - David P. Woodruff, Samson Zhou:

Tight Bounds for Adversarially Robust Streams and Sliding Windows via Difference Estimators. 1183-1196 - Chi-Ning Chou, Alexander Golovnev, Madhu Sudan, Santhoshini Velusamy

:
Approximability of all finite CSPs with linear sketches. 1197-1208 - Yeshwanth Cherapanamjeri, Jelani Nelson:

Terminal Embeddings in Sublinear Time. 1209-1216 - Kyle W. Burke

, Matthew T. Ferland, Shang-Hua Teng:
Winning the War by (Strategically) Losing Battles: Settling the Complexity of Grundy-Values in Undirected Geography. 1217-1228 - Wojciech Czerwinski

, Lukasz Orlikowski:
Reachability in Vector Addition Systems is Ackermann-complete. 1229-1240 - Jérôme Leroux:

The Reachability Problem for Petri Nets is Not Primitive Recursive. 1241-1252 - Anupam Gupta, Gregory Kehne, Roie Levin

:
Random Order Online Set Cover is as Easy as Offline. 1253-1264 - Ruiquan Gao, Zhongtian He, Zhiyi Huang

, Zipei Nie
, Bijun Yuan, Yan Zhong:
Improved Online Correlated Selection. 1265-1276 - Guy Blanc, Moses Charikar

:
Multiway Online Correlated Selection. 1277-1284 - Rahul Jain, Srijita Kundu:

A direct product theorem for quantum communication complexity with applications to device-independent QKD. 1285-1295 - Yasuhiro Kondo, Ryuhei Mori

, Ramis Movassagh:
Quantum supremacy and hardness of estimating output probabilities of quantum circuits. 1296-1307 - Adam Bouland

, Bill Fefferman, Zeph Landau, Yunchao Liu
:
Noise and the Frontier of Quantum Supremacy. 1308-1317

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














