{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:W3KPJI32VE3X35NL7FWYLNBPGJ","short_pith_number":"pith:W3KPJI32","canonical_record":{"source":{"id":"1305.1819","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-05-08T13:44:25Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"f04964b6ef92939cc2971749782a50e4126cd9f3e1b67a8910ce971527d3eb0f","abstract_canon_sha256":"d8b7f313f57a4032a6de000e1101aa6a0a3a55194195cca60e560d550ef7c08f"},"schema_version":"1.0"},"canonical_sha256":"b6d4f4a37aa9377df5abf96d85b42f326b0b905e0f99d7567eff635498914d4f","source":{"kind":"arxiv","id":"1305.1819","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.1819","created_at":"2026-05-18T01:02:46Z"},{"alias_kind":"arxiv_version","alias_value":"1305.1819v3","created_at":"2026-05-18T01:02:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.1819","created_at":"2026-05-18T01:02:46Z"},{"alias_kind":"pith_short_12","alias_value":"W3KPJI32VE3X","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"W3KPJI32VE3X35NL","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"W3KPJI32","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:W3KPJI32VE3X35NL7FWYLNBPGJ","target":"record","payload":{"canonical_record":{"source":{"id":"1305.1819","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-05-08T13:44:25Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"f04964b6ef92939cc2971749782a50e4126cd9f3e1b67a8910ce971527d3eb0f","abstract_canon_sha256":"d8b7f313f57a4032a6de000e1101aa6a0a3a55194195cca60e560d550ef7c08f"},"schema_version":"1.0"},"canonical_sha256":"b6d4f4a37aa9377df5abf96d85b42f326b0b905e0f99d7567eff635498914d4f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:02:46.158276Z","signature_b64":"3fKFVm4tyTLRFuzfpPcCMBDLDlUkhoDNLsfocVkB1xLnBghTteM0Sc8UJ0dqSZHSFjeorbDv+1hZUYK8VNiIAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6d4f4a37aa9377df5abf96d85b42f326b0b905e0f99d7567eff635498914d4f","last_reissued_at":"2026-05-18T01:02:46.157635Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:02:46.157635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.1819","source_version":3,"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-18T01:02:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g6BH/UhMnBCrMktP1R/GRXmqdMuAWGFuXbDM+wVnMXpfFPkw0CW93KySKOsrdoQvcY2MF0HFOpNeay9xvHaCDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T17:12:27.875215Z"},"content_sha256":"1a69b4d5c3defa308d6a2332f35fd6595559d8117e13a1d5aebc4ad125edd712","schema_version":"1.0","event_id":"sha256:1a69b4d5c3defa308d6a2332f35fd6595559d8117e13a1d5aebc4ad125edd712"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:W3KPJI32VE3X35NL7FWYLNBPGJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A copositive formulation for the stability number of infinite graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.OC","authors_text":"Cristian Dobre, Frank Vallentin, Leonhard Frerick, Mirjam D\\\"ur","submitted_at":"2013-05-08T13:44:25Z","abstract_excerpt":"In the last decade, copositive formulations have been proposed for a variety of combinatorial optimization problems, for example the stability number (independence number). In this paper, we generalize this approach to infinite graphs and show that the stability number of an infinite graph is the optimal solution of some infinite-dimensional copositive program. For this we develop a duality theory between the primal convex cone of copositive kernels and the dual convex cone of completely positive measures. We determine the extreme rays of the latter cone, and we illustrate this theory with the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.1819","kind":"arxiv","version":3},"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-18T01:02:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Gm1imlxM3RJzWvVg29WSo1YAkg5Wt3XCyf+mjAnAro1ZOY4IkNmM/lQYVjpXcFyeRjkXUhsza61QRov5KVqDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T17:12:27.875949Z"},"content_sha256":"d9974b4f1203f7baf725fd69f8c9672061bd1c92a06643ebaaf54b921a2503ca","schema_version":"1.0","event_id":"sha256:d9974b4f1203f7baf725fd69f8c9672061bd1c92a06643ebaaf54b921a2503ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W3KPJI32VE3X35NL7FWYLNBPGJ/bundle.json","state_url":"https://pith.science/pith/W3KPJI32VE3X35NL7FWYLNBPGJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W3KPJI32VE3X35NL7FWYLNBPGJ/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-06-11T17:12:27Z","links":{"resolver":"https://pith.science/pith/W3KPJI32VE3X35NL7FWYLNBPGJ","bundle":"https://pith.science/pith/W3KPJI32VE3X35NL7FWYLNBPGJ/bundle.json","state":"https://pith.science/pith/W3KPJI32VE3X35NL7FWYLNBPGJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W3KPJI32VE3X35NL7FWYLNBPGJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:W3KPJI32VE3X35NL7FWYLNBPGJ","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":"d8b7f313f57a4032a6de000e1101aa6a0a3a55194195cca60e560d550ef7c08f","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-05-08T13:44:25Z","title_canon_sha256":"f04964b6ef92939cc2971749782a50e4126cd9f3e1b67a8910ce971527d3eb0f"},"schema_version":"1.0","source":{"id":"1305.1819","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.1819","created_at":"2026-05-18T01:02:46Z"},{"alias_kind":"arxiv_version","alias_value":"1305.1819v3","created_at":"2026-05-18T01:02:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.1819","created_at":"2026-05-18T01:02:46Z"},{"alias_kind":"pith_short_12","alias_value":"W3KPJI32VE3X","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"W3KPJI32VE3X35NL","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"W3KPJI32","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:d9974b4f1203f7baf725fd69f8c9672061bd1c92a06643ebaaf54b921a2503ca","target":"graph","created_at":"2026-05-18T01:02:46Z","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":"In the last decade, copositive formulations have been proposed for a variety of combinatorial optimization problems, for example the stability number (independence number). In this paper, we generalize this approach to infinite graphs and show that the stability number of an infinite graph is the optimal solution of some infinite-dimensional copositive program. For this we develop a duality theory between the primal convex cone of copositive kernels and the dual convex cone of completely positive measures. We determine the extreme rays of the latter cone, and we illustrate this theory with the","authors_text":"Cristian Dobre, Frank Vallentin, Leonhard Frerick, Mirjam D\\\"ur","cross_cats":["math.FA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-05-08T13:44:25Z","title":"A copositive formulation for the stability number of infinite graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.1819","kind":"arxiv","version":3},"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:1a69b4d5c3defa308d6a2332f35fd6595559d8117e13a1d5aebc4ad125edd712","target":"record","created_at":"2026-05-18T01:02:46Z","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":"d8b7f313f57a4032a6de000e1101aa6a0a3a55194195cca60e560d550ef7c08f","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-05-08T13:44:25Z","title_canon_sha256":"f04964b6ef92939cc2971749782a50e4126cd9f3e1b67a8910ce971527d3eb0f"},"schema_version":"1.0","source":{"id":"1305.1819","kind":"arxiv","version":3}},"canonical_sha256":"b6d4f4a37aa9377df5abf96d85b42f326b0b905e0f99d7567eff635498914d4f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6d4f4a37aa9377df5abf96d85b42f326b0b905e0f99d7567eff635498914d4f","first_computed_at":"2026-05-18T01:02:46.157635Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:02:46.157635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3fKFVm4tyTLRFuzfpPcCMBDLDlUkhoDNLsfocVkB1xLnBghTteM0Sc8UJ0dqSZHSFjeorbDv+1hZUYK8VNiIAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:02:46.158276Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.1819","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a69b4d5c3defa308d6a2332f35fd6595559d8117e13a1d5aebc4ad125edd712","sha256:d9974b4f1203f7baf725fd69f8c9672061bd1c92a06643ebaaf54b921a2503ca"],"state_sha256":"833aeb978273f4caefdce2207479b1e9196433d27c7dcdec605e461c16c88b0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FxJTGBsuuE8aqcIcxKc50iwYLuYXJdYKHSCs85763Ift8x29/7VMORg5qRpG7Zrq3xavMlnnJ0+BYtuamYuzDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T17:12:27.880407Z","bundle_sha256":"f8414441bc051e38518ea0f97801be6d5b13119f52abc68d677375cf570ca57f"}}