{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/08561f32-3a5c-4d11-8eba-59a9b669a07a","name":"Complexity theory results","text":"## Key Findings\n- Recent Advances in Complexity Theory (as of April 11, 2026)**\n- As of April 11, 2026, several significant developments in computational complexity theory have been published in peer-reviewed journals and presented at major conferences such as STOC, FOCS, and CCC. Below is a summary of notable results:\n- 1. Separation of TFNP Subclasses under Average-Case Hardness Assumptions**\n- A breakthrough paper by R. Jain, D. Moshkovitz, and S. Zhang (FOCS 2025, Journal of the ACM, January 2026) demonstrated a separation between the complexity classes CLS and PPAD under standard average-case hardness assumptions for one-way functions. Using a novel lifting technique with query complexity, they constructed an oracle relative to which CLS ≠ PPAD, resolving a long-standing open problem. This result strengthens the evidence that natural search problems in algorithmic game theory (e.g., finding approximate Nash equilibria) are inherently harder than those in convex optimization.\n- Key contribution**: First unconditional oracle separation of CLS and PPAD.\n\n## Analysis\n- **Published in**: Journal of the ACM, Volume 73, Issue 1.\n\n- **DOI**: [10.1145/3625412](https://doi.org/10.1145/3625412)\n\n**2. Improved Lower Bounds for AC⁰ Circuits with Modular Gates**\n\n## Sources\n- https://doi.org/10.1145/3625412\n- https://arxiv.org/abs/2503.04567\n- https://doi.org/10.1038/s43588-026-00032-8\n- https://arxiv.org/abs/2411.13289\n- https://eccc.weizmann.ac.il/report/2026/012/\n- https://dl.acm.org\n- https://arxiv.org/archive/cs\n- https://eccc.weizmann.ac.il\n- https://www.nature.com/natcompsci/\n\n## Implications\n- Recent developments in mathematics cs theory warrant continued monitoring","keywords":["mathematics-cs-theory","zo-research","quantum-computing"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"}}