34 research outputs found
Search for the end of a path in the d-dimensional grid and in other graphs
We consider the worst-case query complexity of some variants of certain
\cl{PPAD}-complete search problems. Suppose we are given a graph and a
vertex . We denote the directed graph obtained from by
directing all edges in both directions by . is a directed subgraph of
which is unknown to us, except that it consists of vertex-disjoint
directed paths and cycles and one of the paths originates in . Our goal is
to find an endvertex of a path by using as few queries as possible. A query
specifies a vertex , and the answer is the set of the edges of
incident to , together with their directions. We also show lower bounds for
the special case when consists of a single path. Our proofs use the theory
of graph separators. Finally, we consider the case when the graph is a grid
graph. In this case, using the connection with separators, we give
asymptotically tight bounds as a function of the size of the grid, if the
dimension of the grid is considered as fixed. In order to do this, we prove a
separator theorem about grid graphs, which is interesting on its own right
On the black-box complexity of Sperner's Lemma
We present several results on the complexity of various forms of Sperner's
Lemma in the black-box model of computing. We give a deterministic algorithm
for Sperner problems over pseudo-manifolds of arbitrary dimension. The query
complexity of our algorithm is linear in the separation number of the skeleton
graph of the manifold and the size of its boundary. As a corollary we get an
deterministic query algorithm for the black-box version of the
problem {\bf 2D-SPERNER}, a well studied member of Papadimitriou's complexity
class PPAD. This upper bound matches the deterministic lower
bound of Crescenzi and Silvestri. The tightness of this bound was not known
before. In another result we prove for the same problem an
lower bound for its probabilistic, and an
lower bound for its quantum query complexity, showing
that all these measures are polynomially related.Comment: 16 pages with 1 figur
PPP-Completeness with Connections to Cryptography
Polynomial Pigeonhole Principle (PPP) is an important subclass of TFNP with
profound connections to the complexity of the fundamental cryptographic
primitives: collision-resistant hash functions and one-way permutations. In
contrast to most of the other subclasses of TFNP, no complete problem is known
for PPP. Our work identifies the first PPP-complete problem without any circuit
or Turing Machine given explicitly in the input, and thus we answer a
longstanding open question from [Papadimitriou1994]. Specifically, we show that
constrained-SIS (cSIS), a generalized version of the well-known Short Integer
Solution problem (SIS) from lattice-based cryptography, is PPP-complete.
In order to give intuition behind our reduction for constrained-SIS, we
identify another PPP-complete problem with a circuit in the input but closely
related to lattice problems. We call this problem BLICHFELDT and it is the
computational problem associated with Blichfeldt's fundamental theorem in the
theory of lattices.
Building on the inherent connection of PPP with collision-resistant hash
functions, we use our completeness result to construct the first natural hash
function family that captures the hardness of all collision-resistant hash
functions in a worst-case sense, i.e. it is natural and universal in the
worst-case. The close resemblance of our hash function family with SIS, leads
us to the first candidate collision-resistant hash function that is both
natural and universal in an average-case sense.
Finally, our results enrich our understanding of the connections between PPP,
lattice problems and other concrete cryptographic assumptions, such as the
discrete logarithm problem over general groups
2-D Tucker is PPA complete
The 2-D Tucker search problem is shown to be PPA-hard under many-one reductions; therefore it is complete for PPA. The same holds for k-D Tucker for all k≥2. This corrects a claim in the literature that the Tucker search problem is in PPAD.Peer ReviewedPostprint (author's final draft
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle
In this paper, we investigate the total coefficient size of Nullstellensatz
proofs. We show that Nullstellensatz proofs of the pigeonhole principle on
pigeons require total coefficient size and that there exist
Nullstellensatz proofs of the ordering principle on elements with total
coefficient size