{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:6SV37PHFNUNS7SJYXRQFSOOWFC","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0cfd6ccf2356cbe3842e1a6008490ed1fc505b4bf89d404df4fc261c1ffac597","cross_cats_sorted":[],"license":"","primary_cat":"quant-ph","submitted_at":"2006-04-12T10:08:18Z","title_canon_sha256":"3d5b386b787995581f2f23b7dc90d0560fc3b6d1435915ff1aef9282c9fb71bc"},"schema_version":"1.0","source":{"id":"quant-ph/0604085","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"quant-ph/0604085","created_at":"2026-05-18T01:05:02Z"},{"alias_kind":"arxiv_version","alias_value":"quant-ph/0604085v2","created_at":"2026-05-18T01:05:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.quant-ph/0604085","created_at":"2026-05-18T01:05:02Z"},{"alias_kind":"pith_short_12","alias_value":"6SV37PHFNUNS","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"6SV37PHFNUNS7SJY","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"6SV37PHF","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:834859712ded7166bd0baa7a0d11f6731ee21b6d8cadea59bf107df70d45a13c","target":"graph","created_at":"2026-05-18T01:05:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Quantum sequential machines (QSMs) are a quantum version of stochastic sequential machines (SSMs). Recently, we showed that two QSMs M_1 and M_2 with n_1 and n_2 states, respectively, are equivalent iff they are (n_1+n_2)^2--equivalent (Theoretical Computer Science 358 (2006) 65-74). However, using this result to check the equivalence likely needs exponential expected time. In this paper, we consider the time complexity of deciding the equivalence between QSMs and related problems. The main results are as follows: (1) We present a polynomial-time algorithm for deciding the equivalence between ","authors_text":"Daowen Qiu, Lvzhou Li","cross_cats":[],"headline":"","license":"","primary_cat":"quant-ph","submitted_at":"2006-04-12T10:08:18Z","title":"A Polynomial-Time Algorithm for the Equivalence between Quantum Sequential Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"quant-ph/0604085","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6695df2e940baed0fdd11a361b216b5be1bf4b92aa7fafaa0329ead236b832de","target":"record","created_at":"2026-05-18T01:05:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0cfd6ccf2356cbe3842e1a6008490ed1fc505b4bf89d404df4fc261c1ffac597","cross_cats_sorted":[],"license":"","primary_cat":"quant-ph","submitted_at":"2006-04-12T10:08:18Z","title_canon_sha256":"3d5b386b787995581f2f23b7dc90d0560fc3b6d1435915ff1aef9282c9fb71bc"},"schema_version":"1.0","source":{"id":"quant-ph/0604085","kind":"arxiv","version":2}},"canonical_sha256":"f4abbfbce56d1b2fc938bc605939d628936706b619bc1eb05f1c9ce812c18ae2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4abbfbce56d1b2fc938bc605939d628936706b619bc1eb05f1c9ce812c18ae2","first_computed_at":"2026-05-18T01:05:02.639156Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:05:02.639156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hJj/6j7MgZhBy9Mm8IQIv+kx1a+u9iSUwOXxikA3PK2a/2pHMK3hHWOZXCtlLQY6qhFjoteuFqZkP3z/NIRcBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:05:02.639819Z","signed_message":"canonical_sha256_bytes"},"source_id":"quant-ph/0604085","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6695df2e940baed0fdd11a361b216b5be1bf4b92aa7fafaa0329ead236b832de","sha256:834859712ded7166bd0baa7a0d11f6731ee21b6d8cadea59bf107df70d45a13c"],"state_sha256":"26b985933410ce899a2d5fe3034ec166c711410a20662621fd1fc871cb578bd5"}