{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:INSUBGJY62J3U4YYURDZOLWKT4","short_pith_number":"pith:INSUBGJY","schema_version":"1.0","canonical_sha256":"4365409938f693ba7318a447972eca9f1a1c65d8d717ad8fe6f4e48e76a7d93e","source":{"kind":"arxiv","id":"2501.12378","version":2},"attestation_state":"computed","paper":{"title":"A quantum algorithm for Khovanov homology","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.QA","quant-ph"],"primary_cat":"math.GT","authors_text":"Aaron Lauda, Alexander Schmidhuber, Michele Reilly, Paolo Zanardi, Seth Lloyd","submitted_at":"2025-01-21T18:54:59Z","abstract_excerpt":"Khovanov homology is a topological knot invariant that categorifies the Jones polynomial, recognizes the unknot, and is conjectured to appear as an observable in $4D$ supersymmetric Yang--Mills theory. Despite its rich mathematical and physical significance, the computational complexity of Khovanov homology remains largely unknown. To address this challenge, this work initiates the study of efficient quantum algorithms for Khovanov homology.\n  We provide simple proofs that increasingly accurate additive approximations to the ranks of Khovanov homology are DQC1-hard, BQP-hard, and #P-hard, resp"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2501.12378","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GT","submitted_at":"2025-01-21T18:54:59Z","cross_cats_sorted":["math.QA","quant-ph"],"title_canon_sha256":"f28e4ee7fa5e6273388747a785bbd2fe40bbfe20c19d7458554892b9c4b6a485","abstract_canon_sha256":"c4f81e7872733756002a16b81059697019b29f787ce81b39cdb883e93e7cde34"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:04:42.119513Z","signature_b64":"/uptTUVqXpSBbvbYI8gbkhxjbkLLVPuZTpSWzw4c5iGCFw4O+kcJEA3JafmL0Xi1Je8LN4meWzqwkNo0YP29Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4365409938f693ba7318a447972eca9f1a1c65d8d717ad8fe6f4e48e76a7d93e","last_reissued_at":"2026-07-05T10:04:42.119036Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:04:42.119036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A quantum algorithm for Khovanov homology","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.QA","quant-ph"],"primary_cat":"math.GT","authors_text":"Aaron Lauda, Alexander Schmidhuber, Michele Reilly, Paolo Zanardi, Seth Lloyd","submitted_at":"2025-01-21T18:54:59Z","abstract_excerpt":"Khovanov homology is a topological knot invariant that categorifies the Jones polynomial, recognizes the unknot, and is conjectured to appear as an observable in $4D$ supersymmetric Yang--Mills theory. Despite its rich mathematical and physical significance, the computational complexity of Khovanov homology remains largely unknown. To address this challenge, this work initiates the study of efficient quantum algorithms for Khovanov homology.\n  We provide simple proofs that increasingly accurate additive approximations to the ranks of Khovanov homology are DQC1-hard, BQP-hard, and #P-hard, resp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.12378","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.12378/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2501.12378","created_at":"2026-07-05T10:04:42.119094+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.12378v2","created_at":"2026-07-05T10:04:42.119094+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.12378","created_at":"2026-07-05T10:04:42.119094+00:00"},{"alias_kind":"pith_short_12","alias_value":"INSUBGJY62J3","created_at":"2026-07-05T10:04:42.119094+00:00"},{"alias_kind":"pith_short_16","alias_value":"INSUBGJY62J3U4YY","created_at":"2026-07-05T10:04:42.119094+00:00"},{"alias_kind":"pith_short_8","alias_value":"INSUBGJY","created_at":"2026-07-05T10:04:42.119094+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.13471","citing_title":"Khovanov homology: pro-tangles, derived colimits and spectral sequences","ref_index":34,"is_internal_anchor":false},{"citing_arxiv_id":"2506.01432","citing_title":"New aspects of quantum topological data analysis: Betti number estimation, and testing and tracking of homology and cohomology classes","ref_index":14,"is_internal_anchor":false},{"citing_arxiv_id":"2604.26914","citing_title":"Digital Simulation of Non-Hermitian Knotted Bands on Quantum Hardware","ref_index":105,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4","json":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4.json","graph_json":"https://pith.science/api/pith-number/INSUBGJY62J3U4YYURDZOLWKT4/graph.json","events_json":"https://pith.science/api/pith-number/INSUBGJY62J3U4YYURDZOLWKT4/events.json","paper":"https://pith.science/paper/INSUBGJY"},"agent_actions":{"view_html":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4","download_json":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4.json","view_paper":"https://pith.science/paper/INSUBGJY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.12378&json=true","fetch_graph":"https://pith.science/api/pith-number/INSUBGJY62J3U4YYURDZOLWKT4/graph.json","fetch_events":"https://pith.science/api/pith-number/INSUBGJY62J3U4YYURDZOLWKT4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4/action/storage_attestation","attest_author":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4/action/author_attestation","sign_citation":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4/action/citation_signature","submit_replication":"https://pith.science/pith/INSUBGJY62J3U4YYURDZOLWKT4/action/replication_record"}},"created_at":"2026-07-05T10:04:42.119094+00:00","updated_at":"2026-07-05T10:04:42.119094+00:00"}