Abstract: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, 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.

Understanding PPA-Completeness.

PPAD-Completeness Oracle Model Complexity SPERNER 3 D : Papadimitriou ’ 94 [ 43 ] 2 D Lower bound : Crescenzi and Silvestri ’

Discrete Fixed Points: Models, Complexities, and Applications

On the Complexity of 2D Discrete Fixed Point Problem.

Some new results on permutation polynomials over finite fields

On the Complexity of 2D Discrete Fixed Point Problem

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

Poincaré Series Forso(n, 1)

Direction Preserving Zero Point Computing and Applications

Extremal combinatorics, iterated pigeonhole arguments, and generalizations of PPP

Permanent Identities, Combinatorial Sequences, and Permutation Statistics

The critical points of a polynomial

Octahedral Tucker is PPA-Complete.

Topological complexity of enumerative problems and classifying spaces of $PU_n$

PPP-Completeness with Connections to Cryptography

$SLE_6$ and 2-d critical bond percolation on the square lattice

Commutativity and Wecken properties for fixed points on surfaces and 3-manifolds

On endosplit $p$-permutation resolutions and Broué's conjecture for $p$-solvable groups

Proper permutations, Schubert geometry, and randomness

Completeness for sparse potential scattering

Solution to a Conjecture on the Permanental Sum