{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BC4PYX6ZREZM5ZFRF2CVSH3URL","short_pith_number":"pith:BC4PYX6Z","canonical_record":{"source":{"id":"2506.18265","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-06-23T03:42:54Z","cross_cats_sorted":[],"title_canon_sha256":"6533ea0cd6f2344c07c6f2f93b8797d23c5efd72ab581a1b5e5eadd5ba26ef82","abstract_canon_sha256":"c7f713ff579491f57c2ee3cae8102517b8e4b519606a0acbb048568359e49409"},"schema_version":"1.0"},"canonical_sha256":"08b8fc5fd98932cee4b12e85591f748adc03a33aec5f76417e8a5c913b892619","source":{"kind":"arxiv","id":"2506.18265","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18265","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18265v1","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18265","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"pith_short_12","alias_value":"BC4PYX6ZREZM","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"BC4PYX6ZREZM5ZFR","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"BC4PYX6Z","created_at":"2026-07-05T11:25:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BC4PYX6ZREZM5ZFRF2CVSH3URL","target":"record","payload":{"canonical_record":{"source":{"id":"2506.18265","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-06-23T03:42:54Z","cross_cats_sorted":[],"title_canon_sha256":"6533ea0cd6f2344c07c6f2f93b8797d23c5efd72ab581a1b5e5eadd5ba26ef82","abstract_canon_sha256":"c7f713ff579491f57c2ee3cae8102517b8e4b519606a0acbb048568359e49409"},"schema_version":"1.0"},"canonical_sha256":"08b8fc5fd98932cee4b12e85591f748adc03a33aec5f76417e8a5c913b892619","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:47.264610Z","signature_b64":"644Waj7Tvwe8RWuaIwW+t7HQ0t8qlbe/iaSUvzCYhSL8IUZOaeVF8B9T0YZY7093jpvZ2GzYDVOSHbpB5yh3Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08b8fc5fd98932cee4b12e85591f748adc03a33aec5f76417e8a5c913b892619","last_reissued_at":"2026-07-05T11:25:47.264161Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:47.264161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.18265","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:25:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KoQIgKWD/KnMHRPWrjQAsQ9d1w7gjw3PGgw4TUz58P9sthHJXozgjAX1hSFrFK+BpGlOoPYKpnLM01cGBv37BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T23:37:55.853336Z"},"content_sha256":"45521e0f35b77dd9f41641b84d98745276f86dccf4bb15c74c07aaf2bb59c5a1","schema_version":"1.0","event_id":"sha256:45521e0f35b77dd9f41641b84d98745276f86dccf4bb15c74c07aaf2bb59c5a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BC4PYX6ZREZM5ZFRF2CVSH3URL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spectral Outer-Approximation Algorithms for Binary Semidefinite Problems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Daniel de Roux, David E. Bernal Neira, Zedong Peng","submitted_at":"2025-06-23T03:42:54Z","abstract_excerpt":"Integer semidefinite programming (ISDP) has recently gained attention due to its connection to binary quadratically constrained quadratic programs (BQCQPs), which can be exactly reformulated as binary semidefinite programs (BSDPs). However, it remains unclear whether this reformulation effectively uses existing ISDP solvers to address BQCQPs. To the best of our knowledge, no specialized ISDP algorithms exploit the unique structure of BSDPs derived from BQCQPs. This paper proposes a novel spectral outer approximation algorithm tailored for BSDPs derived from BQCQP reformulations. Our approach i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18265","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.18265/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:25:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R5+sVcUjGLWNnvYPiM8cmSfI7jfB4mgKKSbFxLgbLg5zOwvS9Kc1obm03Y6we0qar7gGcwx8izzLduWEW3ZFDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T23:37:55.853714Z"},"content_sha256":"19828de8340a46f7b4796c42250fb1809ef7030d8be6c5ad6df92c9256c43af9","schema_version":"1.0","event_id":"sha256:19828de8340a46f7b4796c42250fb1809ef7030d8be6c5ad6df92c9256c43af9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL/bundle.json","state_url":"https://pith.science/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL/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-17T23:37:55Z","links":{"resolver":"https://pith.science/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL","bundle":"https://pith.science/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL/bundle.json","state":"https://pith.science/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BC4PYX6ZREZM5ZFRF2CVSH3URL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BC4PYX6ZREZM5ZFRF2CVSH3URL","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":"c7f713ff579491f57c2ee3cae8102517b8e4b519606a0acbb048568359e49409","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-06-23T03:42:54Z","title_canon_sha256":"6533ea0cd6f2344c07c6f2f93b8797d23c5efd72ab581a1b5e5eadd5ba26ef82"},"schema_version":"1.0","source":{"id":"2506.18265","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.18265","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"arxiv_version","alias_value":"2506.18265v1","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18265","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"pith_short_12","alias_value":"BC4PYX6ZREZM","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"BC4PYX6ZREZM5ZFR","created_at":"2026-07-05T11:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"BC4PYX6Z","created_at":"2026-07-05T11:25:47Z"}],"graph_snapshots":[{"event_id":"sha256:19828de8340a46f7b4796c42250fb1809ef7030d8be6c5ad6df92c9256c43af9","target":"graph","created_at":"2026-07-05T11:25:47Z","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.18265/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Integer semidefinite programming (ISDP) has recently gained attention due to its connection to binary quadratically constrained quadratic programs (BQCQPs), which can be exactly reformulated as binary semidefinite programs (BSDPs). However, it remains unclear whether this reformulation effectively uses existing ISDP solvers to address BQCQPs. To the best of our knowledge, no specialized ISDP algorithms exploit the unique structure of BSDPs derived from BQCQPs. This paper proposes a novel spectral outer approximation algorithm tailored for BSDPs derived from BQCQP reformulations. Our approach i","authors_text":"Daniel de Roux, David E. Bernal Neira, Zedong Peng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-06-23T03:42:54Z","title":"Spectral Outer-Approximation Algorithms for Binary Semidefinite Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18265","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:45521e0f35b77dd9f41641b84d98745276f86dccf4bb15c74c07aaf2bb59c5a1","target":"record","created_at":"2026-07-05T11:25:47Z","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":"c7f713ff579491f57c2ee3cae8102517b8e4b519606a0acbb048568359e49409","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-06-23T03:42:54Z","title_canon_sha256":"6533ea0cd6f2344c07c6f2f93b8797d23c5efd72ab581a1b5e5eadd5ba26ef82"},"schema_version":"1.0","source":{"id":"2506.18265","kind":"arxiv","version":1}},"canonical_sha256":"08b8fc5fd98932cee4b12e85591f748adc03a33aec5f76417e8a5c913b892619","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08b8fc5fd98932cee4b12e85591f748adc03a33aec5f76417e8a5c913b892619","first_computed_at":"2026-07-05T11:25:47.264161Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:47.264161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"644Waj7Tvwe8RWuaIwW+t7HQ0t8qlbe/iaSUvzCYhSL8IUZOaeVF8B9T0YZY7093jpvZ2GzYDVOSHbpB5yh3Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:47.264610Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.18265","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45521e0f35b77dd9f41641b84d98745276f86dccf4bb15c74c07aaf2bb59c5a1","sha256:19828de8340a46f7b4796c42250fb1809ef7030d8be6c5ad6df92c9256c43af9"],"state_sha256":"96ad02267c98f4672c398deab43b75fabee6e9119a1ce9425f842099489c1bfa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8haE+xMj4uakZbMxH7P/fKWamqWZnwMFJituflK/q4xg4jC4Zoyn1/aps6RlA98rWLWhj0EiiPvpYEPB9kMpDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T23:37:55.856104Z","bundle_sha256":"1bdc2132534bd1e8dd4aaea0c0763a68ccb3ac92d76add7bc0e25d42e6e77cda"}}