Invariant-measure encoding conjecture for computational hardness

A constraint satisfaction or optimization problem is a computational problem whose feasible assignments or candidate solutions can be evaluated by its constraints or objective function. A dynamical system is a system with an invariant measure, and a map between problems and dynamical systems is one-to-one when distinct problems correspond to distinct dynamical systems. Invariant-measure encoding conjecture. There always exist one-to-one maps from constraint satisfaction or optimization problems to dynamical systems such that the onset of hardness is captured by the underlying invariant measure. Such a correspondence would connect computational hardness with measurable dynamical behavior; the source presents this as one of three conjectures for future work and gives no resolution.

Sources & referencesView supporting material

Primary source

Tuhin Sahai and Abeynaya Gnanasekaran, “On the Emergence of Ergodic Dynamics in Unique Games”, arXiv:2404.16024 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.