NDLI: Hardness amplification in proof complexity

Please wait, while we are loading the content...

Spectral methods for matrices and tensors

Are many small sets explicitly small?

Message passing algorithms: a success looking for theoreticians

Perfect matchings in o(n log n) time in regular bipartite graphs

How to compress interactive communication

Load balancing and orientability thresholds for random hypergraphs

A full characterization of quantum advice

Public-key cryptography from different assumptions

Detecting high log-densities: an $O(n^{¼})$ approximation for densest k-subgraph

Improving exhaustive search implies superpolynomial lower bounds

Recognizing well-parenthesized expressions in the streaming model

Improved algorithms for computing fisher's market clearing prices: computing fisher's market clearing prices

A sparse Johnson: Lindenstrauss transform

A deterministic single exponential time algorithm for most lattice problems based on voronoi cell computations

Budget constrained auctions with heterogeneous items

On the list-decodability of random linear codes

The limits of buffering: a tight lower bound for dynamic membership in the external memory model

The HOM problem is decidable

Optimal bounds for sign-representing the intersection of two halfspaces by polynomials

Augmenting undirected node-connectivity by one

Changing base without losing space

Bilipschitz snowflakes and metrics of negative type

Deterministic identity testing of depth-4 multilinear circuits with bounded top fan-in

A shorter proof of the graph minor algorithm: the unique linkage theorem

Graph expansion and the unique games conjecture

Interactive privacy via the median mechanism

Erratum for: on basing one-way functions on NP-hardness

Extensions and limits to vertex sparsification

A strong direct product theorem for disjointness

Combinatorial approach to the interpolation method and scaling limits in sparse random graphs

BQP and the polynomial hierarchy

Oblivious RAMs without cryptogrpahic assumptions

Approximation schemes for steiner forest on planar graphs and graphs of bounded treewidth

On the complexity of circuit satisfiability

Measuring independence of datasets

Bayesian algorithmic mechanism design

Saving space by algebraization

Sorting under partial information (without the ellipsoid algorithm)

On the searchability of small-world networks with arbitrary underlying structure

Local list-decoding and testing of random linear codes from high error

Maintaining a large matching and a small vertex cover

Complexity theory for operators in analysis

Bounding the average sensitivity and noise sensitivity of polynomial threshold functions

Towards polynomial lower bounds for dynamic problems

Approximations for the isoperimetric and spectral profile of graphs and related parameters

Tensor-rank and lower bounds for arithmetic formulas

Odd cycle packing

On the complexity of #CSP

The price of privately releasing contingency tables and the spectra of random matrices with correlated rows

Subgraph sparsification and nearly optimal ultrasparsifiers

Hardness amplification in proof complexity

The maximum multiflow problems with bounded fractionality

A quantum lovász local lemma

On the round complexity of covert computation

Optimal homologous cycles, total unimodularity, and linear programming

Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses

Zero-one frequency laws

Multi-parameter mechanism design and sequential posted pricing

On the structure of cubic and quartic polynomials

Matroid matching: the power of local search

Almost tight bounds for rumour spreading with conductance

Pseudorandom generators for polynomial threshold functions

Connectivity oracles for failure prone graphs

Solving polynomial equations in smoothed polynomial time and a near solution to smale's 17th problem

An invariance principle for polytopes

An improved LP-based approximation for steiner tree

An optimal ancestry scheme and small universal posets

Weighted geometric set cover via quasi-uniform sampling

Non-commutative circuits and the sum-of-squares problem

On the geometry of differential privacy

Tractable hypergraph properties for constraint satisfaction and conjunctive queries

Privacy amplification with asymptotically optimal entropy loss

Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms

Near-optimal extractors against quantum storage

Efficiency improvements in constructing pseudorandom generators from one-way functions

Approximate sparse recovery: optimizing time and measurements

Distributed computation in dynamic networks

Efficiently learning mixtures of two Gaussians

On the hardness of the noncommutative determinant

Differential privacy under continual observation

Conditional hardness of precedence constrained scheduling on identical machines

Hardness amplification in proof complexity

Content Provider	ACM Digital Library
Author	Beame, Paul Huynh, Trinh Pitassi, Toniann
Abstract	We present a general method for converting any family of unsatisfiable CNF formulas that is hard for one of the simplest proof systems -- tree resolution -- into formulas that require large rank in very strong proof systems, including any proof system that manipulates polynomials of degree at most k (known as Th(k) proofs). These include high degree versions of Lovasz-Schrijver and Cutting Planes proofs. We introduce two very general families of these proof systems, denoted Tcc(k) and Rcc(k). The proof lines of Tcc(k) are arbitrary Boolean functions, each of which can be evaluated by an efficient k-party randomized communication protocol. Tcc(k) proofs include Th(k-1) proofs as a special case. Rcc(k) proofs generalize Tcc(k) proofs and require only that each inference be checkable by a short k-party protocol. For all k in O(loglog n), our main results are as follows: First, any unsatisfiable CNF formula of high resolution rank can be efficiently transformed into another CNF formula requiring high rank in all Rcc(k) systems, and exponential tree size in all Tcc(k) systems. Secondly, there are strict rank hierarchies for all Rcc(k) systems, and strict tree-size hierarchies for all Tcc(k) systems. Finally, we apply our general method to give optimal integrality gaps for low rank Rcc(2) proofs for MAX-2t-SAT, which imply optimal integrality gaps for low rank Cutting Planes and Th(1) proofs.
Starting Page	87
Ending Page	96
Page Count	10
File Format	PDF
ISBN	9781450300506
DOI	10.1145/1806689.1806703
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-06-05
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Proof complexity Communication complexity
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in