{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:BUYE3T5EDKBLAHWS5NC3DWLWMD","short_pith_number":"pith:BUYE3T5E","canonical_record":{"source":{"id":"0907.4518","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-07-26T21:06:16Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"e9a6cb66bc0950bf905a61d3804d3ec635b1e0995479443642c080977b7a4b00","abstract_canon_sha256":"80eeb380af98ede4d50f8f9b512d70b801dd76144aeaa38aa5e23ff53a1da293"},"schema_version":"1.0"},"canonical_sha256":"0d304dcfa41a82b01ed2eb45b1d97660f59ad166bb12e97e54e5d0401348dd11","source":{"kind":"arxiv","id":"0907.4518","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0907.4518","created_at":"2026-05-18T03:45:23Z"},{"alias_kind":"arxiv_version","alias_value":"0907.4518v2","created_at":"2026-05-18T03:45:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0907.4518","created_at":"2026-05-18T03:45:23Z"},{"alias_kind":"pith_short_12","alias_value":"BUYE3T5EDKBL","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"BUYE3T5EDKBLAHWS","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"BUYE3T5E","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:BUYE3T5EDKBLAHWS5NC3DWLWMD","target":"record","payload":{"canonical_record":{"source":{"id":"0907.4518","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-07-26T21:06:16Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"e9a6cb66bc0950bf905a61d3804d3ec635b1e0995479443642c080977b7a4b00","abstract_canon_sha256":"80eeb380af98ede4d50f8f9b512d70b801dd76144aeaa38aa5e23ff53a1da293"},"schema_version":"1.0"},"canonical_sha256":"0d304dcfa41a82b01ed2eb45b1d97660f59ad166bb12e97e54e5d0401348dd11","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:45:23.483027Z","signature_b64":"5ydZe+D5YPasTA8rrul+zREyJ8wvKSAl/tddKbFUNg0/YKH3NXOYjqEeVINUQE+nM11iOzuAiDlpOtQL8fd4DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d304dcfa41a82b01ed2eb45b1d97660f59ad166bb12e97e54e5d0401348dd11","last_reissued_at":"2026-05-18T03:45:23.482403Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:45:23.482403Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0907.4518","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-18T03:45:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AZaXApIcKgfbzzR3UhouB879cvgHNhyCbG+06AwKr5F5DsFmjn3SXOF0txPAf6DEygqkTYapITwAJod4tXt5Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T03:19:57.511457Z"},"content_sha256":"a991eaba962de806e46223d4b699cb459e528ec6e1d1b861d2bf00d23cd3feac","schema_version":"1.0","event_id":"sha256:a991eaba962de806e46223d4b699cb459e528ec6e1d1b861d2bf00d23cd3feac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:BUYE3T5EDKBLAHWS5NC3DWLWMD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.OC","authors_text":"Jo\\~ao Gouveia, Monique Laurent, Pablo A. Parrilo, Rekha Thomas","submitted_at":"2009-07-26T21:06:16Z","abstract_excerpt":"The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lov\\'asz."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0907.4518","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-18T03:45:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e7dQQzullz8FlCVgwGyMHbfRVizt68jLX0og+2QEKQ3JAxBm7ZUij/+ykvnZr0bqA9AfVv1Lbf0bQmrgm4QGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T03:19:57.512120Z"},"content_sha256":"cd293675612fa5d5783e89e8e709a82a77484284d8f034adf42b4eb3f50357b0","schema_version":"1.0","event_id":"sha256:cd293675612fa5d5783e89e8e709a82a77484284d8f034adf42b4eb3f50357b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD/bundle.json","state_url":"https://pith.science/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD/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-23T03:19:57Z","links":{"resolver":"https://pith.science/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD","bundle":"https://pith.science/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD/bundle.json","state":"https://pith.science/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BUYE3T5EDKBLAHWS5NC3DWLWMD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:BUYE3T5EDKBLAHWS5NC3DWLWMD","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":"80eeb380af98ede4d50f8f9b512d70b801dd76144aeaa38aa5e23ff53a1da293","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-07-26T21:06:16Z","title_canon_sha256":"e9a6cb66bc0950bf905a61d3804d3ec635b1e0995479443642c080977b7a4b00"},"schema_version":"1.0","source":{"id":"0907.4518","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0907.4518","created_at":"2026-05-18T03:45:23Z"},{"alias_kind":"arxiv_version","alias_value":"0907.4518v2","created_at":"2026-05-18T03:45:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0907.4518","created_at":"2026-05-18T03:45:23Z"},{"alias_kind":"pith_short_12","alias_value":"BUYE3T5EDKBL","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"BUYE3T5EDKBLAHWS","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"BUYE3T5E","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:cd293675612fa5d5783e89e8e709a82a77484284d8f034adf42b4eb3f50357b0","target":"graph","created_at":"2026-05-18T03:45:23Z","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":"The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lov\\'asz.","authors_text":"Jo\\~ao Gouveia, Monique Laurent, Pablo A. Parrilo, Rekha Thomas","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-07-26T21:06:16Z","title":"A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0907.4518","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:a991eaba962de806e46223d4b699cb459e528ec6e1d1b861d2bf00d23cd3feac","target":"record","created_at":"2026-05-18T03:45:23Z","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":"80eeb380af98ede4d50f8f9b512d70b801dd76144aeaa38aa5e23ff53a1da293","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2009-07-26T21:06:16Z","title_canon_sha256":"e9a6cb66bc0950bf905a61d3804d3ec635b1e0995479443642c080977b7a4b00"},"schema_version":"1.0","source":{"id":"0907.4518","kind":"arxiv","version":2}},"canonical_sha256":"0d304dcfa41a82b01ed2eb45b1d97660f59ad166bb12e97e54e5d0401348dd11","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d304dcfa41a82b01ed2eb45b1d97660f59ad166bb12e97e54e5d0401348dd11","first_computed_at":"2026-05-18T03:45:23.482403Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:45:23.482403Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5ydZe+D5YPasTA8rrul+zREyJ8wvKSAl/tddKbFUNg0/YKH3NXOYjqEeVINUQE+nM11iOzuAiDlpOtQL8fd4DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:45:23.483027Z","signed_message":"canonical_sha256_bytes"},"source_id":"0907.4518","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a991eaba962de806e46223d4b699cb459e528ec6e1d1b861d2bf00d23cd3feac","sha256:cd293675612fa5d5783e89e8e709a82a77484284d8f034adf42b4eb3f50357b0"],"state_sha256":"6eb4e9a906c592ba3b9245282e70fd146991349ade90d2d9997f667cf2eb13d6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hQA56OWxH+T0jGnb8B8nn9F58M5W+jgfzKqjV01S3XloqoecQhBHdbqpBhOORoUqICCUGv6Yp4BSGaPxU90vBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T03:19:57.515531Z","bundle_sha256":"cda2869db023bd7fe874ff10e2d55076fbf9e74b9d8f6cd565c8d030d8a10546"}}