{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JYVMXW47OPO7OBN6OAPGIQZREF","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":"49f4fe14f6ecd09c44cbe56a0c60e727ccd0e1a5f365cdd8c25b4bd7dc15f7da","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2014-07-30T20:11:50Z","title_canon_sha256":"cce549bd61eae299b911d5d7d5cea183c33a9f168d727cd8b62a36d31b356fac"},"schema_version":"1.0","source":{"id":"1407.8198","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.8198","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"arxiv_version","alias_value":"1407.8198v2","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.8198","created_at":"2026-05-18T00:17:30Z"},{"alias_kind":"pith_short_12","alias_value":"JYVMXW47OPO7","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"JYVMXW47OPO7OBN6","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"JYVMXW47","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:342e8e95d1d14ba9e39f82149d8ab2833e8cca74afb64fd22295fcf6edf5761d","target":"graph","created_at":"2026-05-18T00:17:30Z","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":"This article investigates matrix convex sets and introduces their tracial analogs which we call contractively tracial convex sets. In both contexts completely positive (cp) maps play a central role: unital cp maps in the case of matrix convex sets and trace preserving cp (CPTP) maps in the case of contractively tracial convex sets. CPTP maps, also known as quantum channels, are fundamental objects in quantum information theory.\n  Free convexity is intimately connected with Linear Matrix Inequalities (LMIs) L(x) = A_0 + A_1 x_1 + ... + A_g x_g > 0 and their matrix convex solution sets { X : L(X","authors_text":"Igor Klep, J. William Helton, Scott McCullough","cross_cats":["math.FA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2014-07-30T20:11:50Z","title":"The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.8198","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:dc4448b680d0eae813ec19c55272d0e171102def8e7440befac830f06d4ec483","target":"record","created_at":"2026-05-18T00:17:30Z","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":"49f4fe14f6ecd09c44cbe56a0c60e727ccd0e1a5f365cdd8c25b4bd7dc15f7da","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2014-07-30T20:11:50Z","title_canon_sha256":"cce549bd61eae299b911d5d7d5cea183c33a9f168d727cd8b62a36d31b356fac"},"schema_version":"1.0","source":{"id":"1407.8198","kind":"arxiv","version":2}},"canonical_sha256":"4e2acbdb9f73ddf705be701e64433121798c74dc9bc0ba9d2fdd6c0bf2d13595","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e2acbdb9f73ddf705be701e64433121798c74dc9bc0ba9d2fdd6c0bf2d13595","first_computed_at":"2026-05-18T00:17:30.876961Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:30.876961Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0tQ4AeyBzKJan8vJ+2xj7T8txztdBzjrbttA5l8cLO3ZTdGEoK1tZo2ZLBvQnklx6FMj3UVQjOdB6N/6Kp8NCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:30.877685Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.8198","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc4448b680d0eae813ec19c55272d0e171102def8e7440befac830f06d4ec483","sha256:342e8e95d1d14ba9e39f82149d8ab2833e8cca74afb64fd22295fcf6edf5761d"],"state_sha256":"3fed52161ec65576039f4ddc04848f1f6d7034962f01df5b1df7142c487a18d9"}