Author

Per Austrin

42 papers · 2007–2025

2007peak 6 in 20132025

Frequent co-authors

Papers

showing 1–25 of 42 RSS

Towards Sharp Inapproximability For Any 2-CSP

Per Austrin

Computational Theory and Mathematics · October 2007 · cited 1,369× · DOI ↗ · more like this ·

We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any-boolean 2-CSP (or more generally, any nonnegative objective function on two boolean variables), we show how to reduce the search for a good inapproximability result to a certain numeric minimization problem. The key objects in our analysis are the vector triples arising when doing clause-by-clause analysis of algorithms based on semidefinite programming. Given a weighted set of such triples of a certain restricted type, which are "hard" to round in a certain sense, we obtain a Unique Games-based inapproximability matching this "hardness" of rounding the set of vector triples. Conversely, any instance together with an SDP solution can be viewed as a set of vector triples, and we show that we can always find an assignment to the…

Approximation Resistant Predicates From Pairwise Independence

Per Austrin, Elchanan Mossel

cs.CC · 15 Feb 2008 · cited 135× · arXiv ↗ · more like this ·

We study the approximability of predicates on $k$ variables from a domain $[q]$, and give a new sufficient condition for such predicates to be approximation resistant under the Unique Games Conjecture. Specifically, we show that a predicate $P$ is approximation resistant if there exists a balanced pairwise independent distribution over $[q]^k$ whose support is contained in the set of satisfying assignments to $P$.

Inapproximability of Treewidth and Related Problems

Yuhuai Wu, Per Austrin, Toniann Pitassi +1 more

Artificial Intelligence · Journal of Artificial Intelligence Research · 6 Apr 2014 · cited 64× · DOI ↗ · more like this ·

Graphical models, such as Bayesian Networks and Markov networks play an important role in artificial intelligence and machine learning. Inference is a central problem to be solved on these networks. This, and other problems on these graph models are often known to be hard to solve in general, but tractable on graphs with bounded Treewidth. Therefore, finding or approximating the Treewidth of a graph is a fundamental problem related to inference in graphical models. In this paper, we study the approximability of a number of graph problems: Treewidth and Pathwidth of graphs, Minimum Fill-In, One-Shot Black (and Black-White) pebbling costs of directed acyclic graphs, and a variety of different graph layout problems such as Minimum Cut Linear Arrangement and Interval Graph Completion. We show that, assuming the recently introduced Small Set Expansion Conjecture, all of these problems are…

Inapproximability of Vertex Cover and Independent Set in Bounded Degree Graphs

Per Austrin, Subhash Khot, Muli Safra

Computational Theory and Mathematics · July 2009 · cited 62× · DOI ↗ · more like this ·

We study the inapproximability of Vertex Cover and Independent Set on degree d graphs. We prove that: (1) Vertex Cover is Unique Games-hard to approximate to within a factor 2 - (2 + o d (1)) log log d/log d. This exactly matches the algorithmic result of Halperin up to the o d (1) term. (2) Independent Set is Unique Games-hard to approximate to within a factor O(d/log 2 d). This improves the d/log O(1) (d)) Unique Games hardness result of Samorodnitsky and Trevisan. Additionally, our…

$(2+\varepsilon)$-Sat Is NP-hard

Per Austrin, Venkatesan Guruswami, Johan Håstad

Computational Theory and Mathematics · SIAM Journal on Computing · 2017 · cited 52× · DOI ↗ · more like this ·

We prove the following hardness result for a natural promise variant of the classical CNF-satisfiability problem: Given a CNF-formula where each clause has width $w$ and the guarantee that there exists an assignment satisfying at least $g = \lceil \frac{w}{2}\rceil -1$ literals in each clause, it is NP-hard to find a satisfying assignment to the formula (that sets at least one literal to true in each clause). On the other hand, when $g = \lceil \frac{w}{2}\rceil$, it is easy to find a satisfying assignment via simple generalizations of the algorithms for 2-Sat. Viewing 2-Sat $\in \mathrm{P}$ as tractability of Sat when 1 in 2 literals are true in every clause, and NP-hardness of 3-Sat as intractability of Sat when 1 in 3 literals are true, our result shows, for any fixed $\varepsilon > 0$, the difficulty of finding a satisfying assignment to instances of “$(2+\varepsilon)$-Sat” where…

On the Usefulness of Predicates

Per Austrin, Johan Håstad

cs.CC · 25 Apr 2012 · cited 45× · arXiv ↗ · more like this ·

Motivated by the pervasiveness of strong inapproximability results for Max-CSPs, we introduce a relaxed notion of an approximate solution of a Max-CSP. In this relaxed version, loosely speaking, the algorithm is allowed to replace the constraints of an instance by some other (possibly real-valued) constraints, and then only needs to satisfy as many of the new constraints as possible. To be more precise, we introduce the following notion of a predicate $P$ being \emph{useful} for a (real-valued) objective $Q$: given an almost satisfiable Max-$P$ instance, there is an algorithm that beats a random assignment on the corresponding Max-$Q$ instance applied to the same sets of literals. The standard notion of a nontrivial approximation algorithm for a Max-CSP with predicate $P$ is exactly the same as saying that $P$ is useful for $P$ itself. We say that $P$ is useless if it is not useful for…

Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems

Per Austrin, Toniann Pitassi, Yu Wu

cs.CC · 22 Sep 2011 · cited 45× · arXiv ↗ · more like this ·

We study the approximability of a number of graph problems: treewidth and pathwidth of graphs, one-shot black (and black-white) pebbling costs of directed acyclic graphs, and a variety of different graph layout problems such as minimum cut linear arrangement and interval graph completion. We show that, assuming the recently introduced Small Set Expansion Conjecture, all of these problems are hard to approximate within any constant factor.

Better Balance by Being Biased: A 0.8776-Approximation for Max Bisection

Per Austrin, Siavosh Benabbas, Konstantinos Georgiou

cs.DS · May 2012 · cited 43× · arXiv ↗ · more like this ·

Recently Raghavendra and Tan (SODA 2012) gave a 0.85-approximation algorithm for the Max Bisection problem. We improve their algorithm to a 0.8776-approximation. As Max Bisection is hard to approximate within $α_{GW} + ε\approx 0.8786$ under the Unique Games Conjecture (UGC), our algorithm is nearly optimal. We conjecture that Max Bisection is approximable within $α_{GW}-ε$, i.e., the bisection constraint (essentially) does not make Max Cut harder. We also obtain an optimal algorithm (assuming the UGC) for the analogous variant of Max 2-Sat. Our approximation ratio for this problem exactly matches the optimal approximation ratio for Max 2-Sat, i.e., $α_{LLZ} + ε\approx 0.9401$, showing that the bisection constraint does not make Max 2-Sat harder. This improves on a 0.93-approximation for this problem due to Raghavendra and Tan.

Randomly Supported Independence and Resistance

Per Austrin, Johan Håstad

Computational Theory and Mathematics · SIAM Journal on Computing · 2011 · cited 42× · DOI ↗ · more like this ·

We prove that for any positive integers q and k there is a constant $c_{q,k}$ such that a uniformly random set of $c_{q,k}n^k\log n$ vectors in $[q]^n$ with high probability supports a balanced k-wise independent distribution. In the case of $k\leq2$ a more elaborate argument gives the stronger bound, $c_{q,k}n^k$. Using a recent result by Austrin and Mossel, this shows that a predicate on t bits, chosen at random among predicates accepting $c_{q,2}t^2$ input vectors, is, assuming the unique games conjecture, likely to be approximation resistant. These results are close to tight: we show that there are other constants, $c_{q,k}'$, such that a randomly selected set of cardinality $c_{q,k}'n^k$ points is unlikely to support a balanced k-wise independent distribution and, for some $c>0$, a random predicate accepting $ct^2/\log t$ input vectors is nontrivially approximable with high…

Better Balance by Being Biased

Per Austrin, Siavosh Benabbas, Konstantinos Georgiou

Computational Theory and Mathematics · ACM Transactions on Algorithms · 10 Oct 2016 · cited 27× · DOI ↗ · more like this ·

Recently, Raghavendra and Tan (SODA 2012) gave a 0.85-approximation algorithm for the M ax B isection problem. We improve their algorithm to a 0.8776-approximation. As M ax B isection is hard to approximate within α GW + ε ≈ 0.8786 under the Unique Games Conjecture (UGC), our algorithm is nearly optimal. We conjecture that M ax B isection is approximable within α GW − ε, that is, that the bisection constraint (essentially) does not make M ax C ut harder. We also obtain an optimal algorithm (assuming the UGC) for the analogous variant of M ax 2-S at . Our approximation ratio for this problem exactly matches the optimal approximation ratio for M ax 2-S at , that is, α LLZ + ε ≈ 0.9401, showing that the bisection constraint does not make M ax 2-S at harder. This improves on a 0.93-approximation for this problem from Raghavendra and Tan.

Subset Sum in the Absence of Concentration

Per Austrin, Petteri Kaski, Mikko Koivisto +1 more

Discrete Mathematics and Combinatorics · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · cited 20× · DOI ↗ · more like this ·

We study the exact time complexity of the Subset Sum problem. Our focus is on instances that lack additive structure in the sense that the sums one can form from the subsets of the given integers are not strongly concentrated on any particular integer value. We present a randomized algorithm that runs in O(2^0.3399nB^4) time on instances with the property that no value can arise as a sum of more than B different subsets of the n given integers.

Sharper Upper Bounds for Unbalanced Uniquely Decodable Code Pairs

Per Austrin, Petteri Kaski, Mikko Koivisto +1 more

cs.IT · 2 May 2016 · cited 13× · arXiv ↗ · more like this ·

Two sets $A, B \subseteq \{0, 1\}^n$ form a Uniquely Decodable Code Pair (UDCP) if every pair $a \in A$, $b \in B$ yields a distinct sum $a+b$, where the addition is over $\mathbb{Z}^n$. We show that every UDCP $A, B$, with $|A| = 2^{(1-ε)n}$ and $|B| = 2^{βn}$, satisfies $β\leq 0.4228 +\sqrtε$. For sufficiently small $ε$, this bound significantly improves previous bounds by Urbanke and Li~[Information Theory Workshop '98] and Ordentlich and Shayevitz~[2014, arXiv:1412.8415], which upper bound $β$ by $0.4921$ and $0.4798$, respectively, as $ε$ approaches $0$.

Global Cardinality Constraints Make Approximating Some Max-2-CSPs Harder

Per Austrin, Aleksa Stankovic

cs.CC · July 2019 · cited 9× · arXiv ↗ · more like this ·

Assuming the Unique Games Conjecture, we show that existing approximation algorithms for some Boolean Max-2-CSPs with cardinality constraints are optimal. In particular, we prove that Max-Cut with cardinality constraints is UG-hard to approximate within \approx 0.858, and that Max-2-Sat with cardinality constraints is UG-hard to approximate within \approx 0.929. In both cases, the previous best hardness results were the same as the hardness of the corresponding unconstrained Max-2-CSP (\approx 0.878 for Max-Cut, and \approx 0.940 for Max-2-Sat). The hardness obtained for Max-2-Sat applies to monotone Max-2-Sat instances, meaning that we also obtain tight inapproximability for the Max-k-Vertex-Cover problem.

Tensor network complexity of multilinear maps

Per Austrin, Petteri Kaski, Kaie Kubjas

cs.CC · December 2017 · cited 8× · arXiv ↗ · more like this ·

We study tensor networks as a model of arithmetic computation for evaluating multilinear maps. These capture any algorithm based on low border rank tensor decompositions, such as $O(n^{ω+ε})$ time matrix multiplication, and in addition many other algorithms such as $O(n \log n)$ time discrete Fourier transform and $O^*(2^n)$ time for computing the permanent of a matrix. However tensor networks sometimes yield faster algorithms than those that follow from low-rank decompositions. For instance the fastest known $O(n^{(ω+ε)t})$ time algorithms for counting $3t$-cliques can be implemented with tensor networks, even though the underlying tensor has border rank $n^{3t}$ for all $t \ge 2$. For counting homomorphisms of a general pattern graph $P$ into a host graph on $n$ vertices we obtain an upper bound of $O(n^{(ω+ε)\operatorname{bw}(P)/2})$ where $\operatorname{bw}(P)$ is the branchwidth of…

(2+ε)-SAT is NP-hard

Per Austrin

Computational Theory and Mathematics · Open Collections · 2015 · cited 8× · DOI ↗ · more like this ·

A Simple Deterministic Reduction for the Gap Minimum Distance of Code Problem

Per Austrin, Subhash Khot

cs.CC · 7 Oct 2010 · cited 8× · arXiv ↗ · more like this ·

We present a simple deterministic gap-preserving reduction from SAT to the Minimum Distance of Code Problem over $\F_2$. We also show how to extend the reduction to work over any finite field. Previously a randomized reduction was known due to Dumer, Micciancio, and Sudan, which was recently derandomized by Cheng and Wan. These reductions rely on highly non-trivial coding theoretic constructions whereas our reduction is elementary. As an additional feature, our reduction gives a constant factor hardness even for asymptotically good codes, i.e., having constant rate and relative distance. Previously it was not known how to achieve deterministic reductions for such codes.

(2 + epsilon)-Sat Is NP-Hard

Per Austrin, Johan Håstad, Venkatesan Guruswami

Computational Theory and Mathematics · October 2014 · cited 7× · DOI ↗ · more like this ·

We prove the following hardness result for anatural promise variant of the classical CNF-satisfiabilityproblem: Given a CNF-formula where each clause has widthw and the guarantee that there exists an assignment satisfyingat least g = [w/2] - 1 literals in each clause, it is NP-hard tofind a satisfying assignment to the formula (that sets at leastone literal to true in each clause). On the other hand, when g = [w/2], it is easy to find a satisfying assignment via simplegeneralizations of the algorithms for 2-SAT. Viewing 2-SAT ∈ P as easiness of SAT when 1-in-2 literals are true in every clause, and NP-hardness of 3-SAT as intractability of SAT when 1-in-3 literals are true, our resultshows, for any fixed ε > 0, the hardness of finding a satisfyingassignment to instances of "(2 + ε)-SAT" where the density ofsatisfied literals in each clause is promised to exceed 1/(2+ε). We also…

Conditional Inapproximability and Limited Independence

Per Austrin

Computational Theory and Mathematics · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2008 · cited 7× · OpenAlex ↗ · more like this ·

Understanding the theoretical limitations of efficient computation is one of the most fundamental open problems of modern mathematics. This thesis studies the approximability of intractable optimization problems. In particular, we study so-called Max CSP problems. These are problems in which we are given a set of constraints, each constraint acting on some k variables, and are asked to find an assignment to the variables satisfyingas many of the constraints as possible. A predicate P : [q]ᵏ → {0, 1} is said to be approximation resistant if it is intractable to approximate the corresponding CSP problem to within a factor which is better than what is expected from a completely random assignment to the variables. We prove that if the Unique Games Conjecture is true, then a sufficient condition for a predicate P :[q]ᵏ → {0, 1} to be approximation resistant is that there exists a pairwise…

W1593375062

Per Austrin, Rajsekar Manokaran, Cenny Wenner

Computational Theory and Mathematics · Theory of Computing · 2015 · cited 5× · DOI ↗ · more like this ·

We show improved NP-hardness of approximating Ordering-Constraint Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, MAXIMUM ACYCLIC SUBGRAPH and MAXIMUM BETWEENNESS, we prove NP-hard approximation factors of 14/15 + and 1/2 + , respectively. When it is hard to approximate an OCSP by a constant better than taking a uniform random ordering, then the OCSP is said to be approximation resistant. We show that the MAXIMUM Non-BETWEENNESS PROBLEM is approximation resistant and that there are width-m approximation-resistant OCSPs accepting only a fraction 1/(m/2)! of assignments. These results provide the first examples of approximation-resistant OCSPs subject only to P = NP.

A Characterization of Approximation Resistance for Even $k$-Partite CSPs

Per Austrin, Subhash Khot

cs.CC · 12 Jan 2013 · cited 5× · arXiv ↗ · more like this ·

A constraint satisfaction problem (CSP) is said to be \emph{approximation resistant} if it is hard to approximate better than the trivial algorithm which picks a uniformly random assignment. Assuming the Unique Games Conjecture, we give a characterization of approximation resistance for $k$-partite CSPs defined by an even predicate.

Optimal Inapproximability with Universal Factor Graphs

Per Austrin, Jonah Brown-Cohen, Johan Håstad

Computational Theory and Mathematics · ACM Transactions on Algorithms · 15 Dec 2023 · cited 3× · DOI ↗ · more like this ·

The factor graph of an instance of a constraint satisfaction problem (CSP) is the bipartite graph indicating which variables appear in each constraint. An instance of the CSP is given by the factor graph together with a list of which predicate is applied for each constraint. We establish that many Max-CSPs remain as hard to approximate as in the general case even when the factor graph is fixed (depending only on the size of the instance) and known in advance. Examples of results obtained for this restricted setting are: (1) Optimal inapproximability for Max-3-Lin and Max-3-Sat (Håstad, J. ACM 2001). (2) Approximation resistance for predicates supporting pairwise independent subgroups (Chan, J. ACM 2016). (3) Hardness of the “(2+ɛ)-Sat” problem and other Promise CSPs (Austrin et al., SIAM J. Comput. 2017). The main technical tool used to establish these results is a new way of folding…

Simplified inpproximability of hypergraph coloring via t-agreeing families

Per Austrin, Amey Bhangale, Aditya Potukuchi

cs.CC · 2 Apr 2019 · cited 3× · arXiv ↗ · more like this ·

We reprove the results on the hardness of approximating hypergraph coloring using a different technique based on bounds on the size of extremal $t$-agreeing families of $[q]^n$. Specifically, using theorems of Frankl-Tokushige [FT99], Ahlswede-Khachatrian [AK98] and Frankl [F76] on the size of such families, we give simple and unified proofs of quasi NP-hardness of the following problems: $\bullet$ coloring a $3$ colorable $4$-uniform hypergraph with $(\log n)^δ$ many colors $\bullet$ coloring a $3$ colorable $3$-uniform hypergraph with $\tilde{O}(\sqrt{\log \log n})$ many colors $\bullet$ coloring a $2$ colorable $6$-uniform hypergraph with $(\log n)^δ$ many colors $\bullet$ coloring a $2$ colorable $4$-uniform hypergraph with $\tilde{O}(\sqrt{\log \log n})$ many colors where $n$ is the number of vertices of the hypergraph and $δ>0$ is a universal constant.

Improved Inapproximability of Rainbow Coloring

Per Austrin, Amey Bhangale, Aditya Potukuchi

cs.CC · October 2018 · cited 3× · arXiv ↗ · more like this ·

A rainbow $q$-coloring of a $k$-uniform hypergraph is a $q$-coloring of the vertex set such that every hyperedge contains all $q$ colors. We prove that given a rainbow $(k - 2\lfloor \sqrt{k}\rfloor)$-colorable $k$-uniform hypergraph, it is NP-hard to find a normal $2$-coloring. Previously, this was only known for rainbow $\lfloor k/2 \rfloor$-colorable hypergraphs (Guruswami and Lee, SODA 2015). We also study a generalization which we call rainbow $(q, p)$-coloring, defined as a coloring using $q$ colors such that every hyperedge contains at least $p$ colors. We prove that given a rainbow $(k - \lfloor \sqrt{kc} \rfloor, k- \lfloor3\sqrt{kc} \rfloor)$-colorable $k$ uniform hypergraph, it is NP-hard to find a normal $c$-coloring for any $c = o(k)$. The proof of our second result relies on two combinatorial theorems. One of the theorems was proved by Sarkaria (J. Comb. Theory. 1990)…

On the (Im)Possibility of Tamper-Resilient Cryptography: Using Fourier Analysis in Computer Viruses.

Per Austrin, Kai-Min Chung, Mohammad Mahmoody +2 more

Signal Processing · IACR Cryptology ePrint Archive · 2013 · cited 3× · OpenAlex ↗ · more like this ·

We initiate a study of the security of cryptographic primitives in the presence of efficient tampering attacks to the randomness of honest parties. More precisely, we consider p-tampering attackers that may efficiently tamper with each bit of the honest parties ’ random tape with probability p, but have to do so in an “online ” fashion. Our main result is a strong negative result: We show that any secure encryption scheme, bit commitment scheme, or zero-knowledge protocol can be “broken ” with probability p by a p-tampering attacker. The core of this result is a new Fourier analytic technique for biasing the output of bounded-value functions, which may be of independent interest. We also show that this result cannot be extended to primitives such as signature schemes and identification protocols: assuming the existence of one-way functions, such primitives can be made resilient to (…

Space--Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm

Per Austrin, Petteri Kaski, Mikko Koivisto +1 more

cs.DS · 4 Mar 2013 · cited 2× · arXiv ↗ · more like this ·

The technique of Schroeppel and Shamir (SICOMP, 1981) has long been the most efficient way to trade space against time for the SUBSET SUM problem. In the random-instance setting, however, improved tradeoffs exist. In particular, the recently discovered dissection method of Dinur et al. (CRYPTO 2012) yields a significantly improved space--time tradeoff curve for instances with strong randomness properties. Our main result is that these strong randomness assumptions can be removed, obtaining the same space--time tradeoffs in the worst case. We also show that for small space usage the dissection algorithm can be almost fully parallelized. Our strategy for dealing with arbitrary instances is to instead inject the randomness into the dissection process itself by working over a carefully selected but random composite modulus, and to introduce explicit space--time controls into the algorithm…