{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JYVMXW47OPO7OBN6OAPGIQZREF","short_pith_number":"pith:JYVMXW47","canonical_record":{"source":{"id":"1407.8198","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2014-07-30T20:11:50Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"cce549bd61eae299b911d5d7d5cea183c33a9f168d727cd8b62a36d31b356fac","abstract_canon_sha256":"49f4fe14f6ecd09c44cbe56a0c60e727ccd0e1a5f365cdd8c25b4bd7dc15f7da"},"schema_version":"1.0"},"canonical_sha256":"4e2acbdb9f73ddf705be701e64433121798c74dc9bc0ba9d2fdd6c0bf2d13595","source":{"kind":"arxiv","id":"1407.8198","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JYVMXW47OPO7OBN6OAPGIQZREF","target":"record","payload":{"canonical_record":{"source":{"id":"1407.8198","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2014-07-30T20:11:50Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"cce549bd61eae299b911d5d7d5cea183c33a9f168d727cd8b62a36d31b356fac","abstract_canon_sha256":"49f4fe14f6ecd09c44cbe56a0c60e727ccd0e1a5f365cdd8c25b4bd7dc15f7da"},"schema_version":"1.0"},"canonical_sha256":"4e2acbdb9f73ddf705be701e64433121798c74dc9bc0ba9d2fdd6c0bf2d13595","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:30.877685Z","signature_b64":"0tQ4AeyBzKJan8vJ+2xj7T8txztdBzjrbttA5l8cLO3ZTdGEoK1tZo2ZLBvQnklx6FMj3UVQjOdB6N/6Kp8NCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e2acbdb9f73ddf705be701e64433121798c74dc9bc0ba9d2fdd6c0bf2d13595","last_reissued_at":"2026-05-18T00:17:30.876961Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:30.876961Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.8198","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:17:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nEQP80zSgtjZkxdLWzEYacrtD+ETKWCkiySjJF+DFYR+W5jSd4O57foFpPwvKepEjg6t01DqxCYxnmIYb/NBBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:10:09.579022Z"},"content_sha256":"dc4448b680d0eae813ec19c55272d0e171102def8e7440befac830f06d4ec483","schema_version":"1.0","event_id":"sha256:dc4448b680d0eae813ec19c55272d0e171102def8e7440befac830f06d4ec483"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JYVMXW47OPO7OBN6OAPGIQZREF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.OA","authors_text":"Igor Klep, J. William Helton, Scott McCullough","submitted_at":"2014-07-30T20:11:50Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.8198","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:17:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QDMLKT01yjJWXrg4WC1wewvKMmjIhyvB+Tk2hVo+RYvwC3oV4c9w6JJ1JF6gfOvVvJJrwtbjTU9pkt6qUJVcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:10:09.579391Z"},"content_sha256":"342e8e95d1d14ba9e39f82149d8ab2833e8cca74afb64fd22295fcf6edf5761d","schema_version":"1.0","event_id":"sha256:342e8e95d1d14ba9e39f82149d8ab2833e8cca74afb64fd22295fcf6edf5761d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JYVMXW47OPO7OBN6OAPGIQZREF/bundle.json","state_url":"https://pith.science/pith/JYVMXW47OPO7OBN6OAPGIQZREF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JYVMXW47OPO7OBN6OAPGIQZREF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T21:10:09Z","links":{"resolver":"https://pith.science/pith/JYVMXW47OPO7OBN6OAPGIQZREF","bundle":"https://pith.science/pith/JYVMXW47OPO7OBN6OAPGIQZREF/bundle.json","state":"https://pith.science/pith/JYVMXW47OPO7OBN6OAPGIQZREF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JYVMXW47OPO7OBN6OAPGIQZREF/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nK1E6lQKFq8xxTwq8O0R0Ed18p9PSAD9EJeXqJ5xCvYbm0O6dzf8Zk4OWnTSVUFV33h/HghXNGIaqigo6pl7Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T21:10:09.581356Z","bundle_sha256":"3d6f9713c8f3a061c0588aa09d59c158b7d7f9294a7d50ff878a5d89c502b1e6"}}