Buchumschlag

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tang, Jian-Gang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computational Complexity Commutative Algebra Category Theory Rings and Algebras 68Q15, 18G35, 18B99, 55U15, 68V20, 03D15 F.1.3; F.4.1; G.2.1; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
von: Mourad, Daniel
Veröffentlicht: (2024)

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

Unraveling the iterative CHAD
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2025)

NP-hard problems are not in BQP
von: Czerwinski, Reiner
Veröffentlicht: (2023)

Skolem, Gödel, and Hilbert fibrations
von: Trotta, Davide, et al.
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Separation of PSPACE and EXP
von: Czerwinski, Reiner
Veröffentlicht: (2021)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
von: Sukhov, Dmytro
Veröffentlicht: (2025)

Unitary, Inner product, and Dagger categories
von: Cockett, Robin, et al.
Veröffentlicht: (2026)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
von: Bannach, Max, et al.
Veröffentlicht: (2025)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Faithfully flat ring maps are not descendable
von: Zelich, Ivan
Veröffentlicht: (2024)

Extended Nullstellensatz proof systems
von: Krajicek, Jan
Veröffentlicht: (2023)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
von: Huseynzade, Rafig
Veröffentlicht: (2025)

Internalizing Extensions in Lattices of Type Theories
von: Chan, Jonathan
Veröffentlicht: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2025)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
von: Grochow, Joshua A., et al.
Veröffentlicht: (2022)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2023)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Multicategorical Semantics for Untyped Effects
von: Grunfeld, Ariel, et al.
Veröffentlicht: (2026)

Colocalizing subcategories of singularity categories
von: Verasdanis, Charalampos
Veröffentlicht: (2023)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

A universal coefficient theorem for sheaf cohomology
von: Kahn, Bruno
Veröffentlicht: (2024)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
Veröffentlicht: (2026)

Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)

From categorized neural architectures to subexponential proof theory
von: Ovalle, Carlos Ramírez
Veröffentlicht: (2026)

Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
von: Berry, David G., et al.
Veröffentlicht: (2025)

The Fluted Fragment with Transitive Relations
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2020)

Internalizing Tools as Morphisms in Graded Transformers
von: Shaska, Tony
Veröffentlicht: (2025)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
von: Alpay, Faruk
Veröffentlicht: (2025)

Categorical Invariants of Learning Dynamics
von: Tamim, Abdulrahman
Veröffentlicht: (2025)

The Polynomial Hierarchy does not collapse
von: Czerwinski, Reiner
Veröffentlicht: (2024)

Fibre functors and reconstruction of Hopf algebras
von: Lentner, Simon, et al.
Veröffentlicht: (2023)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

A Classifying Topos for the Spectrum of Equivalences
von: Oggad, Kenan
Veröffentlicht: (2026)