{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QFUXOKBGMMQQ2Z57MXQUPYA6QP","short_pith_number":"pith:QFUXOKBG","canonical_record":{"source":{"id":"2506.08648","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-06-10T09:58:29Z","cross_cats_sorted":[],"title_canon_sha256":"739e2a9b495c347add547727ac3c6ac7d86cea6f3a6abd3b7a064e1d920c9742","abstract_canon_sha256":"c7e58e6250152f9ed1e0583771fbee12c6b8c8160c871eebdf1d39bd40fd7bbc"},"schema_version":"1.0"},"canonical_sha256":"816977282663210d67bf65e147e01e83d7770d35fb0beae954a9d0a8065038b5","source":{"kind":"arxiv","id":"2506.08648","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08648","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08648v1","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08648","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"pith_short_12","alias_value":"QFUXOKBGMMQQ","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"pith_short_16","alias_value":"QFUXOKBGMMQQ2Z57","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"pith_short_8","alias_value":"QFUXOKBG","created_at":"2026-07-05T11:19:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QFUXOKBGMMQQ2Z57MXQUPYA6QP","target":"record","payload":{"canonical_record":{"source":{"id":"2506.08648","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-06-10T09:58:29Z","cross_cats_sorted":[],"title_canon_sha256":"739e2a9b495c347add547727ac3c6ac7d86cea6f3a6abd3b7a064e1d920c9742","abstract_canon_sha256":"c7e58e6250152f9ed1e0583771fbee12c6b8c8160c871eebdf1d39bd40fd7bbc"},"schema_version":"1.0"},"canonical_sha256":"816977282663210d67bf65e147e01e83d7770d35fb0beae954a9d0a8065038b5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:19:11.144710Z","signature_b64":"H5XrTYhsmKvbxazmCgVrQnQegdpsKXRgAoeQ86A75bwaLU33tNI1m+V+UO6LIR+6CVVOzml8cx0KLUL89znHAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"816977282663210d67bf65e147e01e83d7770d35fb0beae954a9d0a8065038b5","last_reissued_at":"2026-07-05T11:19:11.144217Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:19:11.144217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.08648","source_version":1,"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-07-05T11:19:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cDpyG0IrJz9XTXmUpj2xlT0q5ZPfqVwqNfOXzT7la6bjnAvpwpvnomUKkC4jXbLXfTXNGBlN7HBw7Dov0/l/BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T02:55:00.595740Z"},"content_sha256":"d394da1c5a61d70157f572e5ba45ba21a9efd7ce5621073684dff002e9e5ac9d","schema_version":"1.0","event_id":"sha256:d394da1c5a61d70157f572e5ba45ba21a9efd7ce5621073684dff002e9e5ac9d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QFUXOKBGMMQQ2Z57MXQUPYA6QP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SDP bounds on the stability number via ADMM and intermediate levels of the Lasserre hierarchy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Juan C. Vera, Lennart Sinjorgo, Renata Sotirov","submitted_at":"2025-06-10T09:58:29Z","abstract_excerpt":"We consider the Lasserre hierarchy for computing bounds on the stability number of graphs. The semidefinite programs (SDPs) arising from this hierarchy involve large matrix variables and many linear constraints, which makes them difficult to solve using interior-point methods. We propose solving these SDPs using the alternating direction method of multipliers (ADMM). When the second level of the Lasserre hierarchy for a given graph is intractable for the ADMM, we consider an intermediate-level relaxation of the hierarchy. To warm-start the ADMM, we use an optimal solution from the first level "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08648","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.08648/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:19:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRynnGvJ5laKSHB3sQpxwQ9ERjAQ0u+FmSPyKOaiqxzn+zczyXSenqOuiEzcykW0xlVz3a2KiRykdJ6wmMsoDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T02:55:00.596330Z"},"content_sha256":"d464c38765118b7ddee312d0c11762e3dcd269030b791763c84511441e9fee6c","schema_version":"1.0","event_id":"sha256:d464c38765118b7ddee312d0c11762e3dcd269030b791763c84511441e9fee6c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP/bundle.json","state_url":"https://pith.science/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP/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-08-08T02:55:00Z","links":{"resolver":"https://pith.science/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP","bundle":"https://pith.science/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP/bundle.json","state":"https://pith.science/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QFUXOKBGMMQQ2Z57MXQUPYA6QP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QFUXOKBGMMQQ2Z57MXQUPYA6QP","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":"c7e58e6250152f9ed1e0583771fbee12c6b8c8160c871eebdf1d39bd40fd7bbc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-06-10T09:58:29Z","title_canon_sha256":"739e2a9b495c347add547727ac3c6ac7d86cea6f3a6abd3b7a064e1d920c9742"},"schema_version":"1.0","source":{"id":"2506.08648","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08648","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08648v1","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08648","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"pith_short_12","alias_value":"QFUXOKBGMMQQ","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"pith_short_16","alias_value":"QFUXOKBGMMQQ2Z57","created_at":"2026-07-05T11:19:11Z"},{"alias_kind":"pith_short_8","alias_value":"QFUXOKBG","created_at":"2026-07-05T11:19:11Z"}],"graph_snapshots":[{"event_id":"sha256:d464c38765118b7ddee312d0c11762e3dcd269030b791763c84511441e9fee6c","target":"graph","created_at":"2026-07-05T11:19:11Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.08648/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the Lasserre hierarchy for computing bounds on the stability number of graphs. The semidefinite programs (SDPs) arising from this hierarchy involve large matrix variables and many linear constraints, which makes them difficult to solve using interior-point methods. We propose solving these SDPs using the alternating direction method of multipliers (ADMM). When the second level of the Lasserre hierarchy for a given graph is intractable for the ADMM, we consider an intermediate-level relaxation of the hierarchy. To warm-start the ADMM, we use an optimal solution from the first level ","authors_text":"Juan C. Vera, Lennart Sinjorgo, Renata Sotirov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-06-10T09:58:29Z","title":"SDP bounds on the stability number via ADMM and intermediate levels of the Lasserre hierarchy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08648","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:d394da1c5a61d70157f572e5ba45ba21a9efd7ce5621073684dff002e9e5ac9d","target":"record","created_at":"2026-07-05T11:19:11Z","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":"c7e58e6250152f9ed1e0583771fbee12c6b8c8160c871eebdf1d39bd40fd7bbc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-06-10T09:58:29Z","title_canon_sha256":"739e2a9b495c347add547727ac3c6ac7d86cea6f3a6abd3b7a064e1d920c9742"},"schema_version":"1.0","source":{"id":"2506.08648","kind":"arxiv","version":1}},"canonical_sha256":"816977282663210d67bf65e147e01e83d7770d35fb0beae954a9d0a8065038b5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"816977282663210d67bf65e147e01e83d7770d35fb0beae954a9d0a8065038b5","first_computed_at":"2026-07-05T11:19:11.144217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:19:11.144217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H5XrTYhsmKvbxazmCgVrQnQegdpsKXRgAoeQ86A75bwaLU33tNI1m+V+UO6LIR+6CVVOzml8cx0KLUL89znHAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:19:11.144710Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.08648","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d394da1c5a61d70157f572e5ba45ba21a9efd7ce5621073684dff002e9e5ac9d","sha256:d464c38765118b7ddee312d0c11762e3dcd269030b791763c84511441e9fee6c"],"state_sha256":"5de210fb8a46e485782a447514d3a627abfd1aac3293619a9b57f2406721421d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A/009fFFGu0VNNbSMWx2yIrdHh9dLRDkCGca3uzZhxRjNvdjo3HB9oWDvOwd+KsQomVyfgg+uik3zmnIH73nAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T02:55:00.599993Z","bundle_sha256":"4c64819915a88e5adbfe7d1c255b3a30e103d1f6a70bae90b167bcb3d20e6ccf"}}