{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:VOPJGQVQPHX36R2QF6F2MBHA2L","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":"c56c4c38620da96b279d1ac185d1738f8d88327532999eafe3f574580362ce34","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2015-06-30T08:08:55Z","title_canon_sha256":"be9e44095b47656423803deda40e335adb65c62e15ffab702921f8fa1be3db49"},"schema_version":"1.0","source":{"id":"1506.08982","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08982","created_at":"2026-05-18T01:37:33Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08982v1","created_at":"2026-05-18T01:37:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08982","created_at":"2026-05-18T01:37:33Z"},{"alias_kind":"pith_short_12","alias_value":"VOPJGQVQPHX3","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VOPJGQVQPHX36R2Q","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VOPJGQVQ","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:6a9cc1582fbea1a2b4be224600fa7bb00af448a6b872b607c25007ba35925afa","target":"graph","created_at":"2026-05-18T01:37:33Z","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":"In this paper, we study a model of quantum Markov chains that is a quantum analogue of Markov chains and is obtained by replacing probabilities in transition matrices with quantum operations. We show that this model is very suited to describe hybrid systems that consist of a quantum component and a classical one, although it has the same expressive power as another quantum Markov model proposed in the literature.\n  Indeed, hybrid systems are often encountered in quantum information processing; for example, both quantum programs and quantum protocols can be regarded as hybrid systems. Thus, we ","authors_text":"Lvzhou Li, Yuan Feng","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2015-06-30T08:08:55Z","title":"Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08982","kind":"arxiv","version":1},"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:cf432b11c1b9277727ce88adc969301527a3a28793d9b4cb028d25eb989f2f63","target":"record","created_at":"2026-05-18T01:37:33Z","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":"c56c4c38620da96b279d1ac185d1738f8d88327532999eafe3f574580362ce34","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2015-06-30T08:08:55Z","title_canon_sha256":"be9e44095b47656423803deda40e335adb65c62e15ffab702921f8fa1be3db49"},"schema_version":"1.0","source":{"id":"1506.08982","kind":"arxiv","version":1}},"canonical_sha256":"ab9e9342b079efbf47502f8ba604e0d2f6c1265b3f41ebf61246bfb2a8641ff0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab9e9342b079efbf47502f8ba604e0d2f6c1265b3f41ebf61246bfb2a8641ff0","first_computed_at":"2026-05-18T01:37:33.964721Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:33.964721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hvXfgIKcgghy8cVrtctMuGw7H3JQFZKTPoVh9LED4VsU4KnIp7rI1f7wLPxpIO0ENKEEuq/SpCAX/o8tpLaXDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:33.965247Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.08982","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf432b11c1b9277727ce88adc969301527a3a28793d9b4cb028d25eb989f2f63","sha256:6a9cc1582fbea1a2b4be224600fa7bb00af448a6b872b607c25007ba35925afa"],"state_sha256":"c04dbc7a5a63bf22c4c2e554125266230a82c19991ce66b3752be52b50673253"}