{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GNJU7LIV3FCLEZIJJ3IRUKYLRD","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":"3a7f0b027020f2c2c2f0e322b43b03c94a3113b38b95350cf45517689fc6bb71","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-05-14T04:33:59Z","title_canon_sha256":"24316a084fbefafdde1687798c8a0e5e75e77f592d4a41ffac2dace91e97c0fc"},"schema_version":"1.0","source":{"id":"2605.14356","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14356","created_at":"2026-05-17T23:39:08Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14356v1","created_at":"2026-05-17T23:39:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14356","created_at":"2026-05-17T23:39:08Z"},{"alias_kind":"pith_short_12","alias_value":"GNJU7LIV3FCL","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"GNJU7LIV3FCLEZIJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"GNJU7LIV","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:c7e6d7c7e41d687a77a913f0bd3ec57e61d1a9b8a7a5a913e33208a37a4b6093","target":"graph","created_at":"2026-05-17T23:39:08Z","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":"Matrix product states (MPS) are a standard tensor-network representation for ground states of one-dimensional quantum many-body systems, and they underpin widely used simulation tools such as DMRG. However, while quantum model checking has been developed mainly for quantum programs and communication protocols (with properties expressed along a time axis), there is still no comparable framework for systematically verifying \\emph{spatial} and \\emph{size-dependent} properties of physical many-body states, where the key parameter is the system size. This paper takes a step toward bridging the gap.","authors_text":"Ji Guan, Ming Xu, Yihao Chen","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.14356","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:476d9778328d4b400c4f3f8e2232456d4c6c5d9ce924b2df183a3a1fba52ce09","target":"record","created_at":"2026-05-17T23:39:08Z","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":"3a7f0b027020f2c2c2f0e322b43b03c94a3113b38b95350cf45517689fc6bb71","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-05-14T04:33:59Z","title_canon_sha256":"24316a084fbefafdde1687798c8a0e5e75e77f592d4a41ffac2dace91e97c0fc"},"schema_version":"1.0","source":{"id":"2605.14356","kind":"arxiv","version":1}},"canonical_sha256":"33534fad15d944b265094ed11a2b0b88ca26d8c959d9ae7abe893135e41292c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33534fad15d944b265094ed11a2b0b88ca26d8c959d9ae7abe893135e41292c2","first_computed_at":"2026-05-17T23:39:08.006258Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:08.006258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OkbT82bm+QTX7lq2H2SHl3i0y3c6/Cx8SlrIfBYQdv8+Jq97z2fAmhhPelLYfOO8bB/zmg7JHsqAQVwvuwSZDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:08.007036Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14356","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:476d9778328d4b400c4f3f8e2232456d4c6c5d9ce924b2df183a3a1fba52ce09","sha256:c7e6d7c7e41d687a77a913f0bd3ec57e61d1a9b8a7a5a913e33208a37a4b6093"],"state_sha256":"13c0c623ad8542ead6295811a9a51b44d7fc4747f37b1fb876e780ef59fc2ee6"}