{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:ASTRFOIVVUAEGAEE5HGDRSWSNN","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":"d5235b6d1eeac58674e5393fa670a37772d85ba096cee155e50793087c7cef38","cross_cats_sorted":["math.FA","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2011-12-29T08:31:59Z","title_canon_sha256":"526d1eaa34c86f3cb8e1dd400a1aa6f78d6c4b83c75d67b7ca2e42b0b2157ec2"},"schema_version":"1.0","source":{"id":"1112.6251","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.6251","created_at":"2026-05-18T04:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"1112.6251v1","created_at":"2026-05-18T04:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.6251","created_at":"2026-05-18T04:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"ASTRFOIVVUAE","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"ASTRFOIVVUAEGAEE","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"ASTRFOIV","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:b5ac5f6d588afa0ec5c1053ec6807e0d979369deca0e236246a6a0cd59ef02f8","target":"graph","created_at":"2026-05-18T04:05:36Z","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":"One of the main applications of semidefinite programming lies in linear systems and control theory. Many problems in this subject, certainly the textbook classics, have matrices as variables, and the formulas naturally contain non-commutative polynomials in matrices. These polynomials depend only on the system layout and do not change with the size of the matrices involved, hence such problems are called \"dimension-free\". Analyzing dimension-free problems has led to the development recently of a non-commutative (nc) real algebraic geometry (RAG) which, when combined with convexity, produces di","authors_text":"Igor Klep, J. William Helton, Scott McCullough","cross_cats":["math.FA","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2011-12-29T08:31:59Z","title":"Semidefinite programming in matrix unknowns which are dimension free"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.6251","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:4cf458022b10a5dd4dbf7f022500d21c33fb0b4cec6350cd26813c5e75fce43b","target":"record","created_at":"2026-05-18T04:05:36Z","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":"d5235b6d1eeac58674e5393fa670a37772d85ba096cee155e50793087c7cef38","cross_cats_sorted":["math.FA","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2011-12-29T08:31:59Z","title_canon_sha256":"526d1eaa34c86f3cb8e1dd400a1aa6f78d6c4b83c75d67b7ca2e42b0b2157ec2"},"schema_version":"1.0","source":{"id":"1112.6251","kind":"arxiv","version":1}},"canonical_sha256":"04a712b915ad00430084e9cc38cad26b76df972c04c08423fb046ec9765ea8b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04a712b915ad00430084e9cc38cad26b76df972c04c08423fb046ec9765ea8b0","first_computed_at":"2026-05-18T04:05:36.408534Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:05:36.408534Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JXaltOV0ipvdP/P98xvCliJFEaQ9zpqWxfHoVUxC5zHdCSGV7hJZEfcRBZxqS9wk5dHkK6jR5QJVECJz4TxyCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:05:36.409112Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.6251","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4cf458022b10a5dd4dbf7f022500d21c33fb0b4cec6350cd26813c5e75fce43b","sha256:b5ac5f6d588afa0ec5c1053ec6807e0d979369deca0e236246a6a0cd59ef02f8"],"state_sha256":"0c1aac97e4833d8ed23dbe0577d66d9c24cd9adfa204089a757955204813eefc"}