{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:4MU43HDMWBRESQ5Z5CIFJ52YEH","short_pith_number":"pith:4MU43HDM","schema_version":"1.0","canonical_sha256":"e329cd9c6cb0624943b9e89054f75821fa0a1930f61277b5654e850bfb545fb1","source":{"kind":"arxiv","id":"1111.5425","version":1},"attestation_state":"computed","paper":{"title":"Are problems in Quantum Information Theory (un)decidable?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math-ph","math.IT","math.MP"],"primary_cat":"quant-ph","authors_text":"David Perez-Garcia, Michael M. Wolf, Toby S. Cubitt","submitted_at":"2011-11-23T08:00:12Z","abstract_excerpt":"This note is intended to foster a discussion about the extent to which typical problems arising in quantum information theory are algorithmically decidable (in principle rather than in practice). Various problems in the context of entanglement theory and quantum channels turn out to be decidable via quantifier elimination as long as they admit a compact formulation without quantification over integers. For many asymptotically defined properties which have to hold for all or for one integer N, however, effective procedures seem to be difficult if not impossible to find. We review some of the ma"},"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":"1111.5425","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2011-11-23T08:00:12Z","cross_cats_sorted":["cs.IT","math-ph","math.IT","math.MP"],"title_canon_sha256":"36c8aff42209fdd4beecf2c1f6779922960c264708f9e7e2c89c39b79ade57de","abstract_canon_sha256":"67ad72947a172a6ec68df142dc4ddcd5e9cfbf7d9ba11d0e179907ee7135ad00"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:43.737278Z","signature_b64":"oUgQJK5ofns5zvPZ3Pn8dTYxiE5s3iprFM81GZwTyuy01GMfr5CzXOnaw60tVvgXs4EKCbkH94f/ccZYobILAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e329cd9c6cb0624943b9e89054f75821fa0a1930f61277b5654e850bfb545fb1","last_reissued_at":"2026-05-18T04:07:43.736618Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:43.736618Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Are problems in Quantum Information Theory (un)decidable?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math-ph","math.IT","math.MP"],"primary_cat":"quant-ph","authors_text":"David Perez-Garcia, Michael M. Wolf, Toby S. Cubitt","submitted_at":"2011-11-23T08:00:12Z","abstract_excerpt":"This note is intended to foster a discussion about the extent to which typical problems arising in quantum information theory are algorithmically decidable (in principle rather than in practice). Various problems in the context of entanglement theory and quantum channels turn out to be decidable via quantifier elimination as long as they admit a compact formulation without quantification over integers. For many asymptotically defined properties which have to hold for all or for one integer N, however, effective procedures seem to be difficult if not impossible to find. We review some of the ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.5425","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1111.5425","created_at":"2026-05-18T04:07:43.736709+00:00"},{"alias_kind":"arxiv_version","alias_value":"1111.5425v1","created_at":"2026-05-18T04:07:43.736709+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.5425","created_at":"2026-05-18T04:07:43.736709+00:00"},{"alias_kind":"pith_short_12","alias_value":"4MU43HDMWBRE","created_at":"2026-05-18T12:26:20.644004+00:00"},{"alias_kind":"pith_short_16","alias_value":"4MU43HDMWBRESQ5Z","created_at":"2026-05-18T12:26:20.644004+00:00"},{"alias_kind":"pith_short_8","alias_value":"4MU43HDM","created_at":"2026-05-18T12:26:20.644004+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2504.10436","citing_title":"Information storage and transmission under Markovian noise","ref_index":11,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH","json":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH.json","graph_json":"https://pith.science/api/pith-number/4MU43HDMWBRESQ5Z5CIFJ52YEH/graph.json","events_json":"https://pith.science/api/pith-number/4MU43HDMWBRESQ5Z5CIFJ52YEH/events.json","paper":"https://pith.science/paper/4MU43HDM"},"agent_actions":{"view_html":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH","download_json":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH.json","view_paper":"https://pith.science/paper/4MU43HDM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1111.5425&json=true","fetch_graph":"https://pith.science/api/pith-number/4MU43HDMWBRESQ5Z5CIFJ52YEH/graph.json","fetch_events":"https://pith.science/api/pith-number/4MU43HDMWBRESQ5Z5CIFJ52YEH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH/action/storage_attestation","attest_author":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH/action/author_attestation","sign_citation":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH/action/citation_signature","submit_replication":"https://pith.science/pith/4MU43HDMWBRESQ5Z5CIFJ52YEH/action/replication_record"}},"created_at":"2026-05-18T04:07:43.736709+00:00","updated_at":"2026-05-18T04:07:43.736709+00:00"}