{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XTAECMYYRS42AZNDQJQNG574HU","short_pith_number":"pith:XTAECMYY","canonical_record":{"source":{"id":"2509.00895","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-31T15:18:30Z","cross_cats_sorted":[],"title_canon_sha256":"2b80154d6293a1fd228e8a3ecc8d5df5b19b3addb876ee5bc78b2e11aa3333cf","abstract_canon_sha256":"25eb968239fee2cb026960af12eefe68d4f4a152e82dff6d82530ec0d4530aac"},"schema_version":"1.0"},"canonical_sha256":"bcc04133188cb9a065a38260d377fc3d341468c0deffce9545246306b499b3e3","source":{"kind":"arxiv","id":"2509.00895","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.00895","created_at":"2026-05-18T02:45:13Z"},{"alias_kind":"arxiv_version","alias_value":"2509.00895v2","created_at":"2026-05-18T02:45:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.00895","created_at":"2026-05-18T02:45:13Z"},{"alias_kind":"pith_short_12","alias_value":"XTAECMYYRS42","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"XTAECMYYRS42AZND","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"XTAECMYY","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XTAECMYYRS42AZNDQJQNG574HU","target":"record","payload":{"canonical_record":{"source":{"id":"2509.00895","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-31T15:18:30Z","cross_cats_sorted":[],"title_canon_sha256":"2b80154d6293a1fd228e8a3ecc8d5df5b19b3addb876ee5bc78b2e11aa3333cf","abstract_canon_sha256":"25eb968239fee2cb026960af12eefe68d4f4a152e82dff6d82530ec0d4530aac"},"schema_version":"1.0"},"canonical_sha256":"bcc04133188cb9a065a38260d377fc3d341468c0deffce9545246306b499b3e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:13.019151Z","signature_b64":"qdBQCQvOjapzzi7N7/C9mfGke2pQNcoySjNw7C52YJhOfJZihK5KR9ohiM9wUtSAt+ZirAqCaXME3KbZz/mmCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bcc04133188cb9a065a38260d377fc3d341468c0deffce9545246306b499b3e3","last_reissued_at":"2026-05-18T02:45:13.018655Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:13.018655Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.00895","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-18T02:45:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ssQdo6LzPvNkxq9iJ0/tpQFl3eWGH/JqPvTqQNPuJVPf4BUhE4pht29ZRrZxPCdB0qN8W15q4wPNalJeLXK9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T16:59:00.054309Z"},"content_sha256":"1fe73f3a6a8d01026ea045b97b01b14769416584cc7966ef878cafca0a661558","schema_version":"1.0","event_id":"sha256:1fe73f3a6a8d01026ea045b97b01b14769416584cc7966ef878cafca0a661558"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XTAECMYYRS42AZNDQJQNG574HU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sharp-Peak Functions for Exactly Penalizing Binary Integer Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Hui Zhang, Shenglong Zhou, Shuai Li, Ziyan Luo","submitted_at":"2025-08-31T15:18:30Z","abstract_excerpt":"Unconstrained binary integer programming (UBIP) is a challenging optimization problem due to the presence of binary variables. To address the challenge, we introduce a novel class of functions named sharp-peak functions (SPFs), which equivalently reformulate the binary constraints as equality constraints, giving rise to an SPF-constrained optimization. Rather than solving this constrained reformulation directly, we focus on its associated penalty model. The established exact penalty theory shows that the global minimizers of UBIP and the penalty model coincide when the penalty parameter exceed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.00895","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-18T02:45:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Oh1ASdZj2jGS2sNQhVPKzjxHAeJv7ZMFPJQusCoW39fUSsn2BVZF7N6lIIMA0B17L2PuPK60CkPJOxxHADEDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T16:59:00.054675Z"},"content_sha256":"c99e8b8913296e82a02dc06b6ffacaa7dd8eca01af5ed4754f8ae9cbd87861b1","schema_version":"1.0","event_id":"sha256:c99e8b8913296e82a02dc06b6ffacaa7dd8eca01af5ed4754f8ae9cbd87861b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XTAECMYYRS42AZNDQJQNG574HU/bundle.json","state_url":"https://pith.science/pith/XTAECMYYRS42AZNDQJQNG574HU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XTAECMYYRS42AZNDQJQNG574HU/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-21T16:59:00Z","links":{"resolver":"https://pith.science/pith/XTAECMYYRS42AZNDQJQNG574HU","bundle":"https://pith.science/pith/XTAECMYYRS42AZNDQJQNG574HU/bundle.json","state":"https://pith.science/pith/XTAECMYYRS42AZNDQJQNG574HU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XTAECMYYRS42AZNDQJQNG574HU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XTAECMYYRS42AZNDQJQNG574HU","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":"25eb968239fee2cb026960af12eefe68d4f4a152e82dff6d82530ec0d4530aac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-31T15:18:30Z","title_canon_sha256":"2b80154d6293a1fd228e8a3ecc8d5df5b19b3addb876ee5bc78b2e11aa3333cf"},"schema_version":"1.0","source":{"id":"2509.00895","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.00895","created_at":"2026-05-18T02:45:13Z"},{"alias_kind":"arxiv_version","alias_value":"2509.00895v2","created_at":"2026-05-18T02:45:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.00895","created_at":"2026-05-18T02:45:13Z"},{"alias_kind":"pith_short_12","alias_value":"XTAECMYYRS42","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"XTAECMYYRS42AZND","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"XTAECMYY","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:c99e8b8913296e82a02dc06b6ffacaa7dd8eca01af5ed4754f8ae9cbd87861b1","target":"graph","created_at":"2026-05-18T02:45:13Z","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":"Unconstrained binary integer programming (UBIP) is a challenging optimization problem due to the presence of binary variables. To address the challenge, we introduce a novel class of functions named sharp-peak functions (SPFs), which equivalently reformulate the binary constraints as equality constraints, giving rise to an SPF-constrained optimization. Rather than solving this constrained reformulation directly, we focus on its associated penalty model. The established exact penalty theory shows that the global minimizers of UBIP and the penalty model coincide when the penalty parameter exceed","authors_text":"Hui Zhang, Shenglong Zhou, Shuai Li, Ziyan Luo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-31T15:18:30Z","title":"Sharp-Peak Functions for Exactly Penalizing Binary Integer Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.00895","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:1fe73f3a6a8d01026ea045b97b01b14769416584cc7966ef878cafca0a661558","target":"record","created_at":"2026-05-18T02:45:13Z","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":"25eb968239fee2cb026960af12eefe68d4f4a152e82dff6d82530ec0d4530aac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-31T15:18:30Z","title_canon_sha256":"2b80154d6293a1fd228e8a3ecc8d5df5b19b3addb876ee5bc78b2e11aa3333cf"},"schema_version":"1.0","source":{"id":"2509.00895","kind":"arxiv","version":2}},"canonical_sha256":"bcc04133188cb9a065a38260d377fc3d341468c0deffce9545246306b499b3e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bcc04133188cb9a065a38260d377fc3d341468c0deffce9545246306b499b3e3","first_computed_at":"2026-05-18T02:45:13.018655Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:13.018655Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qdBQCQvOjapzzi7N7/C9mfGke2pQNcoySjNw7C52YJhOfJZihK5KR9ohiM9wUtSAt+ZirAqCaXME3KbZz/mmCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:13.019151Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.00895","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1fe73f3a6a8d01026ea045b97b01b14769416584cc7966ef878cafca0a661558","sha256:c99e8b8913296e82a02dc06b6ffacaa7dd8eca01af5ed4754f8ae9cbd87861b1"],"state_sha256":"3ca753be1fdc589e238ef6df27caeec48c4a3f9e05868fd7a78b2617375f6496"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4goD8AiYO5hKfTFpi43D/6fLy9CU46CZwvOzxP6z4/YjQ1RqznneM8FbxTBF7BBfVqksOiQLxUAzJs6kRENcCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T16:59:00.056803Z","bundle_sha256":"813e0a132ebbff7ee396b9fc8e09f87c4b63cb661aec7056d72fbf2de14303c1"}}