On the Intractability of Chaotic Symbolic Walks: Toward a Non-Algebraic Post-Quantum Hardness Assumption

TL;DR

This paper introduces the Symbolic Path Inversion Problem (SPIP), a new non-algebraic, chaotic computational hardness assumption that is PSPACE-hard and resistant to quantum attacks, aiming to provide a post-quantum cryptographic foundation.

Contribution

We propose SPIP, a novel non-algebraic hardness assumption based on chaotic symbolic trajectories, and prove its computational complexity and quantum resistance.

Findings

SPIP is PSPACE-hard and #P-hard.

Short symbolic sequences generate exponentially many trajectories.

Quantum search offers no practical advantage against SPIP.

Abstract

Most classical and post-quantum cryptographic assumptions, including integer factorization, discrete logarithms, and Learning with Errors (LWE), rely on algebraic structures such as rings or vector spaces. While mathematically powerful, these structures can be exploited by quantum algorithms or advanced algebraic attacks, raising a pressing need for structure-free alternatives. To address this gap, we introduce the Symbolic Path Inversion Problem (SPIP), a new computational hardness assumption based on symbolic trajectories generated by contractive affine maps with bounded noise over Z2. Unlike traditional systems, SPIP is inherently non-algebraic and relies on chaotic symbolic evolution and rounding-induced non-injectivity to render inversion computationally infeasible. We prove that SPIP is PSPACE-hard and #P-hard, and demonstrate through empirical simulation that even short symbolic sequences (e.g., n = 3, m = 2) can produce over 500 valid trajectories for a single endpoint, with exponential growth reaching 2256 paths for moderate parameters. A quantum security analysis further shows that Grover-style search offers no practical advantage due to oracle ambiguity and verification instability. These results position SPIP as a viable foundation for post-quantum cryptography that avoids the vulnerabilities of algebraic symmetry while offering scalability, unpredictability, and resistance to both classical and quantum inversion.