English
Related papers

Related papers: Reductions Between Expansion Problems

200 papers

In this paper, we resolve the computational complexity of a number of outstanding open problems with practical applications. Here is the list of problems we show to be PPAD-complete, along with the domains of practical significance:…

Computational Complexity · Computer Science 2009-04-10 Shiva Kintali , Laura J. Poplawski , Rajmohan Rajaraman , Ravi Sundaram , Shang-Hua Teng

The intractability of any problem and the randomness of its solutions have an obvious intuitive connection. However, the challenge till now has been that there is no practical way to firmly establish if the solution to a problem is actually…

Computational Complexity · Computer Science 2020-04-06 Arun U

Characterizing the limit behavior -- that is, the attractors -- of learning dynamics is one of the most fundamental open questions in game theory. In recent work on this front, it was conjectured that the attractors of the replicator…

Computer Science and Game Theory · Computer Science 2026-03-06 Oliver Biggar , Christos Papadimitriou

In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several steps. First an adversary selects a completely satisfiable…

Data Structures and Algorithms · Computer Science 2011-04-20 Alexandra Kolla , Konstantin Makarychev , Yury Makarychev

The Union Closed Sets Conjecture is one of the most renowned problems in combinatorics. Its appeal lies in the simplicity of its statement contrasted with the potential complexity of its resolution. The conjecture posits that, in any union…

Combinatorics · Mathematics 2025-10-02 Nived J M

This paper extends and generalizes the well-known cut-matching game framework and provides a novel cut-strategy that produces constant-hop expanders. Constant-hop expanders are a significant strengthening of regular expanders with the…

Data Structures and Algorithms · Computer Science 2024-10-29 Bernhard Haeupler , Jonas Huebotter , Mohsen Ghaffari

We present the notion of separable game with respect to a forward directed hypergraph (FDH-graph), which refines and generalizes that of graphical game. First, we show that there exists a minimal FDH-graph with respect to which a game is…

Computer Science and Game Theory · Computer Science 2020-12-15 Laura Arditti , Giacomo Como , Fabio Fagnani

We study how the structure of the interaction graph of a game affects the existence of pure Nash equilibria. In particular, for a fixed interaction graph, we are interested in whether there are pure Nash equilibria arising when random…

Probability · Mathematics 2012-11-13 Constantinos Daskalakis , Alexandros G. Dimakis , Elchanan Mossel

We propose a new conjecture on hardness of low-degree $2$-CSP's, and show that new hardness of approximation results for Densest $k$-Subgraph and several other problems, including a graph partitioning problem, and a variation of the Graph…

Data Structures and Algorithms · Computer Science 2022-11-14 Julia Chuzhoy , Mina Dalirrooyfard , Vadim Grinberg , Zihan Tan

We study the relationship between the underlying structure of posets and the spectral and combinatorial properties of their higher-order random walks. While fast mixing of random walks on hypergraphs has led to myriad breakthroughs…

Combinatorics · Mathematics 2023-03-14 Jason Gaitonde , Max Hopkins , Tali Kaufman , Shachar Lovett , Ruizhe Zhang

Variational inequality problems allow for capturing an expansive class of problems, including convex optimization problems, convex Nash games and economic equilibrium problems, amongst others. Yet in most practical settings, such problems…

Optimization and Control · Mathematics 2017-02-17 Uma V. Ravat , Uday V. Shanbhag

We prove the endpoint case of a conjecture of Khot and Moshkovitz related to the Unique Games Conjecture, less a small error. Let $n\geq2$. Suppose a subset $\Omega$ of $n$-dimensional Euclidean space $\mathbb{R}^{n}$ satisfies…

Probability · Mathematics 2021-07-13 Steven Heilman

Inference problems with conjectured statistical-computational gaps are ubiquitous throughout modern statistics, computer science and statistical physics. While there has been success evidencing these gaps from the failure of restricted…

Computational Complexity · Computer Science 2020-06-30 Matthew Brennan , Guy Bresler

We introduce a framework for stochastic games on large sparse graphs, covering continuous-time and discrete-time dynamic games as well as static games. Players are indexed by the vertices of simple, locally finite graphs, allowing both…

Optimization and Control · Mathematics 2026-02-27 Eyal Neuman , Sturmius Tuschmann

We investigate the complexity of bounding the uncertainty of graphical games, and we provide new insight into the intrinsic difficulty of computing Nash equilibria. In particular, we show that, if one adds very simple and natural additional…

Computer Science and Game Theory · Computer Science 2012-07-09 Gianluigi Greco , Francesco Scarcello

We establish new algorithmic guarantees with matching hardness results for coloring and independent set problems in one-sided expanders and related classes of graphs. For example, given a $3$-colorable regular one-sided expander, we compute…

Data Structures and Algorithms · Computer Science 2025-11-24 Rares-Darius Buhai , Yiding Hua , David Steurer , Andor Vári-Kakas

This paper develops several average-case reduction techniques to show new hardness results for three central high-dimensional statistics problems, implying a statistical-computational gap induced by robustness, a detection-recovery gap and…

Computational Complexity · Computer Science 2020-05-20 Matthew Brennan , Guy Bresler

A recent paper by Abboud and Wallheimer [ITCS 2023] presents self-reductions for various fundamental graph problems, which transform worst-case instances to expanders, thus proving that the complexity remains unchanged if the input is…

Data Structures and Algorithms · Computer Science 2024-07-02 Amir Abboud , Nathan Wallheimer

We study the computational complexity of approximating the 2->q norm of linear operators (defined as ||A||_{2->q} = sup_v ||Av||_q/||v||_2), as well as connections between this question and issues arising in quantum information theory and…

Computational Complexity · Computer Science 2014-11-18 Boaz Barak , Fernando G. S. L. Brandão , Aram W. Harrow , Jonathan A. Kelner , David Steurer , Yuan Zhou

Given an unweighted graph $G$, the *minimum $r$-dominating set problem* asks for the smallest-cardinality subset $S$ such that every vertex in $G$ is within radius $r$ of some vertex in $S$. While the $r$-dominating set problem on planar…

Data Structures and Algorithms · Computer Science 2026-04-02 Reilly Browne , Hsien-Chih Chang