


default search action
63rd FOCS 2022: Denver, CO, USA
- 63rd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2022, Denver, CO, USA, October 31 - November 3, 2022. IEEE 2022, ISBN 978-1-6654-5519-0

- Klim Efremenko, Gillat Kol, Raghuvansh R. Saxena, Zhijun Zhang

:
Binary Codes with Resilience Beyond 1/4 via Interaction. 1-12 - Ronen Shaltiel, Jad Silbak:

Error Correcting Codes that Achieve BSC Capacity Against Channels that are Poly-Size Circuits. 13-23 - Gil Cohen, Tal Yankovitz:

Relaxed Locally Decodable and Correctable Codes: Beyond Tensoring. 24-35 - Venkatesan Guruswami, Jonathan Mosheiff:

Punctured Low-Bias Codes Behave Like Random Linear Codes. 36-45 - Jiayu Zhang:

Classical Verification of Quantum Computations in Linear Time. 46-57 - Alexander Meiburg:

Inapproximability of Positive Semidefinite Permanents and Quantum State Tomography. 58-68 - Takashi Yamakawa, Mark Zhandry

:
Verifiable Quantum Advantage without Structure. 69-74 - Jane Lange, Ronitt Rubinfeld, Arsen Vasilyan:

Properly learning monotone functions via local correction. 75-86 - Deanna Needell, William Swartworth, David P. Woodruff:

Testing Positive Semidefiniteness Using Linear Measurements. 87-97 - Tali Kaufman, Dor Minzer:

Improved Optimal Testing Results from Global Hypercontractivity. 98-109 - Yuansi Chen, Ronen Eldan:

Localization Schemes: A Framework for Proving Mixing Bounds for Markov Chains (extended abstract). 110-122 - Nima Anari, Yang P. Liu

, Thuy-Duong Vuong:
Optimal Sublinear Sampling of Spanning Trees and Determinantal Point Processes via Average-Case Entropic Independence. 123-134 - Jeongwan Haah, Robin Kothari

, Ewin Tang:
Optimal learning of quantum Hamiltonians from high-temperature Gibbs states. 135-146 - Kun He, Chunyang Wang

, Yitong Yin:
Sampling Lovász local lemma for general constraint satisfaction solutions in near-linear time. 147-158 - Argyrios Deligkas

, John Fearnley, Alexandros Hollender, Themistoklis Melissourgos:
Pure-Circuit: Strong Inapproximability for PPAD. 159-170 - Bo Peng

, Zhihao Gavin Tang:
Order Selection Prophet Inequality: From Threshold Optimization to Arrival Time Design. 171-178 - Yaonan Jin, Pinyan Lu

:
First Price Auction is 1 - 1 /e2 Efficient. 179-187 - Nashlen Govindasamy, Tuomas Hakoniemi

, Iddo Tzameret:
Simple Hard Instances for Low-Depth Algebraic Proofs. 188-199 - Pranjal Dutta

, Nitin Saxena:
Separated borders: Exponential-gap fanin-hierarchy theorem for approximative depth-3 circuits. 200-211 - Rafael Oliveira, Akash Kumar Sengupta:

Radical Sylvester-Gallai Theorem for Cubics. 212-220 - Vishwas Bhargava

, Sumanta Ghosh, Zeyu Guo
, Mrinal Kumar, Chris Umans:
Fast Multivariate Multipoint Evaluation Over All Finite Fields. 221-232 - Baihe Huang, Shunhua Jiang, Zhao Song, Runzhou Tao

, Ruizhe Zhang:
Solving SDP Faster: A Robust IPM Framework and Efficient Implementation. 233-244 - Deeparnab Chakrabarty, Andrei Graur, Haotian Jiang, Aaron Sidford:

Improved Lower Bounds for Submodular Function Minimization. 245-254 - Adam Brown, Aditi Laddha, Madhusudhan Pittu, Mohit Singh, Prasad Tetali:

Determinant Maximization via Matroid Intersection Algorithms. 255-266 - Xavier Allamigeon, Daniel Dadush, Georg Loho

, Bento Natura, László A. Végh:
Interior point methods are not worse than Simplex. 267-277 - Qingyun Chen, Bundit Laekhanukit, Chao Liao, Yuhao Zhang:

Survivable Network Design Revisited: Group-Connectivity. 278-289 - Mina Dalirrooyfard, Ce Jin

, Virginia Vassilevska Williams, Nicole Wein:
Approximation Algorithms and Hardness for n-Pairs Shortest Paths and All-Nodes Shortest Cycles. 290-300 - Vincent Cohen-Addad, Chenglin Fan, Euiwoong Lee

, Arnaud de Mesmay:
Fitting Metrics and Ultrametrics with Minimum Disagreements. 301-311 - Brice Huang, Mark Sellke

:
Tight Lipschitz Hardness for optimizing Mean Field Spin Glasses. 312-322 - Ahmed El Alaoui, Andrea Montanari, Mark Sellke

:
Sampling from the Sherrington-Kirkpatrick Gibbs measure via algorithmic stochastic localization. 323-334 - Joao Basso, David Gamarnik, Song Mei, Leo Zhou

:
Performance and limitations of the QAOA at constant levels on large sparse hypergraphs and spin glass models. 335-343 - Charlie Carlson, Ewan Davies

, Nicolas Fraiman
, Alexandra Kolla, Aditya Potukuchi, Corrine Yap
:
Algorithms for the ferromagnetic Potts model on expanders. 344-355 - Robert Andrews:

On Matrix Multiplication and Polynomial Identity Testing. 356-365 - Tsz Chiu Kwok, Lap Chi Lau, Kam Chuen Tung

:
Cheeger Inequalities for Vertex Expansion and Reweighted Eigenvalues. 366-377 - Fernando Granha Jeronimo, Tushant Mittal

, Sourya Roy, Avi Wigderson:
Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification. 378-388 - Michael Kapralov

, Mikhail Makarov, Sandeep Silwal, Christian Sohler
, Jakab Tardos:
Motif Cut Sparsifiers. 389-398 - Harm Derksen, Emanuele Viola:

Fooling polynomials using invariant theory*. 399-406 - Rasmus Kyng, Simon Meierhans, Maximilian Probst

:
Derandomizing Directed Random Walks in Almost-Linear Time. 407-418 - Manik Dhar, Zeev Dvir:

Linear Hashing with ℓ∞ guarantees and two-sided Kakeya bounds. 419-428 - Lijie Chen, Ron D. Rothblum, Roei Tell:

Unstructured Hardness to Average-Case Randomness. 429-437 - Mohsen Ghaffari:

Local Computation of Maximal Independent Set. 438-449 - Artur Czumaj, Shaofeng H.-C. Jiang, Robert Krauthgamer

, Pavel Veselý
, Mingwei Yang:
Streaming Facility Location in High Dimension via Geometric Hashing. 450-461 - Vladimir Braverman, Vincent Cohen-Addad, Shaofeng H.-C. Jiang, Robert Krauthgamer

, Chris Schwiegelshohn, Mads Bech Toftrup
, Xuan Wu:
The Power of Uniform Sampling for Coresets. 462-473 - Yu Chen, Sanjeev Khanna

, Huan Li:
On Weighted Graph Sparsification by Linear Sketching. 474-485 - Ashish Chiplunkar, John Kallaugher, Michael Kapralov

, Eric Price:
Factorial Lower Bounds for (Almost) Random Order Streams. 486-497 - John Kallaugher, Ojas Parekh

:
The Quantum and Classical Streaming Complexity of Quantum and Classical Max-Cut. 498-506 - Simon Apers, Yuval Efron, Pawel Gawrychowski, Troy Lee, Sagnik Mukhopadhyay

, Danupon Nanongkai:
Cut Query Algorithms with Star Contraction. 507-518 - Xi Chen, Christos H. Papadimitriou, Binghui Peng:

Memory Bounds for Continual Learning. 519-530 - Mina Dalirrooyfard, Virginia Vassilevska Williams:

Induced Cycles and Paths Are Harder Than You Think. 531-542 - Shuichi Hirahara, Nobutaka Shimizu

:
Hardness Self-Amplification from Feasible Hard-Core Sets. 543-554 - Marvin Künnemann:

A tight (non-combinatorial) conditional lower bound for Klee's Measure Problem in 3D. 555-566 - Ludovic Stephan, Yizhe Zhu:

Sparse random hypergraphs: Non-backtracking spectra and community detection. 567-575 - David Gamarnik, Eren C. Kizildag, Will Perkins, Changji Xu:

Algorithms and Barriers in the Symmetric Binary Perceptron Model. 576-587 - Xiaoyu Chen, Weiming Feng, Yitong Yin, Xinyuan Zhang:

Optimal mixing for two-state anti-ferromagnetic spin systems. 588-599 - Aaron Bernstein, Danupon Nanongkai, Christian Wulff-Nilsen:

Negative-Weight Single-Source Shortest Paths in Near-linear Time. 600-611 - Li Chen, Rasmus Kyng, Yang P. Liu

, Richard Peng, Maximilian Probst Gutenberg
, Sushant Sachdeva:
Maximum Flow and Minimum-Cost Flow in Almost-Linear Time. 612-623 - Shalev Ben-David, Eric Blais, Mika Göös, Gilbert Maystre:

Randomised Composition and Small-Bias Minimax. 624-635 - Jinyoung Park, Huy Tuan Pham

:
A Proof of the Kahn-Kalai Conjecture. 636-639 - Hanlin Ren

, Rahul Santhanam, Zhikun Wang:
On the Range Avoidance Problem for Circuits. 640-650 - Vincent Cohen-Addad, Euiwoong Lee

, Alantha Newman:
Correlation Clustering with Sherali-Adams. 651-661 - Max Hopkins, Ting-Chun Lin:

Explicit Lower Bounds Against Ω(n)-Rounds of Sum-of-Squares. 662-673 - Elazar Goldenberg, Tomasz Kociumaka

, Robert Krauthgamer
, Barna Saha:
Gap Edit Distance via Non-Adaptive Queries: Simple and Optimal. 674-685 - Debarati Das, Jacob Gilbert, MohammadTaghi Hajiaghayi, Tomasz Kociumaka

, Barna Saha, Hamed Saleh:
Õ(n+poly(k))-time Algorithm for Bounded Tree Edit Distance. 686-697 - Panagiotis Charalampopoulos

, Tomasz Kociumaka
, Philip Wellnitz
:
Faster Pattern Matching under Edit Distance : A Reduction to Dynamic Puzzle Matching and the Seaweed Monoid of Permutation Matrices. 698-707 - Alexandr Andoni, Negev Shekel Nosatzki, Sandip Sinha, Clifford Stein:

Estimating the Longest Increasing Subsequence in Nearly Optimal Time. 708-719 - Soheil Behnezhad, Moses Charikar

, Weiyun Ma, Li-Yang Tan:
Almost 3-Approximate Correlation Clustering in Constant Rounds. 720-731 - David P. Woodruff, Taisuke Yasuda

:
High-Dimensional Geometric Streaming in Polynomial Space. 732-743 - Cameron Musco, Christopher Musco, David P. Woodruff, Taisuke Yasuda

:
Active Linear Regression for ℓp Norms and Beyond. 744-753 - Laxman Dhulipala, Quanquan C. Liu, Sofya Raskhodnikova, Jessica Shi, Julian Shun, Shangdi Yu

:
Differential Privacy from Locally Adjustable Graph Algorithms: k-Core Decomposition, Low Out-Degree Ordering, and Densest Subgraphs. 754-765 - Shimon Kogan, Merav Parter:

Having Hope in Hops: New Spanners, Preservers and Lower Bounds for Hopsets. 766-777 - Greg Bodwin, Gary Hoppenworth:

New Additive Spanner Lower Bounds by an Unlayered Obstacle Product. 778-788 - Thatchaphol Saranurak

, Sorrachai Yingchareonthawornchai:
Deterministic Small Vertex Connectivity in Almost Linear Time. 789-800 - Nikhil Bansal, William Kuszmaul:

Balanced Allocations: The Heavily Loaded Case with Deletions. 801-812 - Namiko Matsumoto, Arya Mazumdar:

Binary Iterative Hard Thresholding Converges with Optimal Number of Measurements for 1-Bit Compressed Sensing. 813-822 - Allen Liu, Ankur Moitra:

Minimax Rates for Robust Community Detection. 823-831 - Anna R. Karlin, Nathan Klein

, Shayan Oveis Gharan:
A (Slightly) Improved Bound on the Integrality Gap of the Subtour LP for TSP. 832-843 - Tony Metger, Omar Fawzi, David Sutter

, Renato Renner:
Generalised entropy accumulation. 844-850 - Alex Lombardi, Fermi Ma, Nicholas Spooner:

Post-Quantum Zero Knowledge, Revisited or: How to Do Quantum Rewinding Undetectably. 851-859 - Christian Ikenmeyer, Igor Pak:

What is in #P and what is not? 860-871 - Anthony Leverrier, Gilles Zémor

:
Quantum Tanner codes. 872-883 - Amir Abboud, Robert Krauthgamer

, Jason Li, Debmalya Panigrahi, Thatchaphol Saranurak
, Ohad Trabelsi:
Breaking the Cubic Barrier for All-Pairs Max-Flow: Gomory-Hu Tree in Nearly Quadratic Time. 884-895 - Shiri Chechik, Tianyi Zhang:

Constant Approximation of Min-Distances in Near-Linear Time. 896-906 - Virginia Vassilevska Williams, Eyob Woldeghebriel, Yinzhan Xu:

Algorithms and Lower Bounds for Replacement Paths under Multiple Edge Failure. 907-918 - Michael Anastos:

Solving the Hamilton cycle problem fast on average. 919-930 - Shafi Goldwasser, Michael P. Kim, Vinod Vaikuntanathan, Or Zamir:

Planting Undetectable Backdoors in Machine Learning Models : [Extended Abstract]. 931-942 - Nataly Brukhim, Daniel Carmon, Irit Dinur

, Shay Moran, Amir Yehudayoff:
A Characterization of Multiclass Learnability. 943-955 - Mitali Bafna, Jun-Ting Hsieh

, Pravesh K. Kothari, Jeff Xu:
Polynomial-Time Power-Sum Decomposition of Polynomials. 956-967 - Shuichi Hirahara:

NP-Hardness of Learning Programs and Partial MCSP. 968-979 - Michael A. Bender, Alex Conway, Martin Farach-Colton, Hanna Komlós

, William Kuszmaul, Nicole Wein:
Online List Labeling: Breaking the log2n Barrier. 980-990 - William Kuszmaul:

A Hash Table Without Hash Functions, and How to Get the Most Out of Your Random Bits. 991-1001 - Yaowei Long, Thatchaphol Saranurak

:
Near-Optimal Deterministic Vertex-Failure Connectivity Oracles. 1002-1010 - Jan van den Brand

, Sebastian Forster, Yasamin Nazari
:
Fast Deterministic Fully Dynamic Distance Approximation. 1011-1022 - Abhishek Jain

, Zhengzhong Jin:
Indistinguishability Obfuscation via Mathematical Proofs of Equivalence. 1023-1034 - Saugata Basu, Hamidreza Amini Khorasgani, Hemanta K. Maji, Hai H. Nguyen:

Geometry of Secure Two-party Computation. 1035-1044 - Omer Paneth, Rafael Pass

:
Incrementally Verifiable Computation via Rate-1 Batch Arguments. 1045-1056 - Lalita Devadas, Rishab Goyal, Yael Kalai, Vinod Vaikuntanathan:

Rate-1 Non-Interactive Arguments for Batch-NP and Applications. 1057-1068 - Dimitrios M. Thilikos, Sebastian Wiederrecht

:
Killing a vortex. 1069-1080 - Arnold Filtser, Hung Le:

Low Treewidth Embeddings of Planar and Minor-Free Metrics. 1081-1092 - Nikhil Kumar:

An Approximate Generalization of the Okamura-Seymour Theorem. 1093-1101 - Sébastien Bubeck, Christian Coester

, Yuval Rabani
:
Shortest Paths without a Map, but with an Entropic Regularizer. 1102-1113 - Václav Rozhon, Michael Elkin, Christoph Grunau

, Bernhard Haeupler
:
Deterministic Low-Diameter Decompositions for Weighted Graphs and Distributed and Parallel Applications. 1114-1121 - Giuseppe Antonio Di Luna, Giovanni Viglietta:

Computing in Anonymous Dynamic Networks Is Linear. 1122-1133 - Hamed Hatami, Pooya Hatami

:
The Implicit Graph Conjecture is False. 1134-1137 - Johan Håstad, Kilian Risse

:
On Bounded Depth Proofs for Tseitin Formulas on the Grid; Revisited. 1138-1149 - Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao:

Separations in Proof Complexity and TFNP. 1150-1161 - Aparna Gupte, Neekon Vafa

, Vinod Vaikuntanathan:
Continuous LWE is as Hard as LWE & Applications to Learning Gaussian Mixtures. 1162-1173 - Joakim Blikstad, Jan van den Brand

, Yuval Efron, Sagnik Mukhopadhyay
, Danupon Nanongkai:
Nearly Optimal Communication and Query Complexity of Bipartite Matching. 1174-1185 - Huacheng Yu:

Strong XOR Lemma for Communication with Bounded Rounds : (extended abstract). 1186-1192 - Sepehr Assadi, Gillat Kol, Zhijun Zhang

:
Rounds vs Communication Tradeoffs for Maximal Independent Sets. 1193-1204 - Sitan Chen, Jerry Li, Brice Huang, Allen Liu:

Tight Bounds for Quantum State Certification with Incoherent Measurements. 1205-1213

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














