{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:EIMXW5WF5BBYRRC6KJYVKQTA5B","short_pith_number":"pith:EIMXW5WF","canonical_record":{"source":{"id":"2403.05711","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-03-08T22:58:17Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"cb62bb653712db13ae1762dcdbb42eb37229ebb1f01708892e83f8360dd831d5","abstract_canon_sha256":"7e0e93791f5c32791bfecabde1bb263274ac91f97e9a9f15ace1ceba680dd5fb"},"schema_version":"1.0"},"canonical_sha256":"22197b76c5e84388c45e5271554260e865e244b1f91825200bc580815e122572","source":{"kind":"arxiv","id":"2403.05711","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.05711","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"arxiv_version","alias_value":"2403.05711v1","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.05711","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"pith_short_12","alias_value":"EIMXW5WF5BBY","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"pith_short_16","alias_value":"EIMXW5WF5BBYRRC6","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"pith_short_8","alias_value":"EIMXW5WF","created_at":"2026-07-05T07:54:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:EIMXW5WF5BBYRRC6KJYVKQTA5B","target":"record","payload":{"canonical_record":{"source":{"id":"2403.05711","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-03-08T22:58:17Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"cb62bb653712db13ae1762dcdbb42eb37229ebb1f01708892e83f8360dd831d5","abstract_canon_sha256":"7e0e93791f5c32791bfecabde1bb263274ac91f97e9a9f15ace1ceba680dd5fb"},"schema_version":"1.0"},"canonical_sha256":"22197b76c5e84388c45e5271554260e865e244b1f91825200bc580815e122572","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:54:12.214623Z","signature_b64":"AQFRC9LDJjkaxuESmuYDNDwAvMZkFAFbvLvAO8kpfIXniTW23U1wADZdWNDWCSRXTA0Ra2u2IyQbzk3+xz5EBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22197b76c5e84388c45e5271554260e865e244b1f91825200bc580815e122572","last_reissued_at":"2026-07-05T07:54:12.214234Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:54:12.214234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.05711","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-05T07:54:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MKE+KAFqYISqb8x1uIUeY4J2XZbQ6sBxoollHNHJoLZKMZv8HPc/rXzwOy1YK6tvmSImFkS5qiKBUKseACuzDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T18:14:23.336773Z"},"content_sha256":"54b2d3529a3523464a6b6bdfc22cf4a03c043500bc318f796b3f6ff768084a6d","schema_version":"1.0","event_id":"sha256:54b2d3529a3523464a6b6bdfc22cf4a03c043500bc318f796b3f6ff768084a6d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:EIMXW5WF5BBYRRC6KJYVKQTA5B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Compositional Framework for First-Order Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.OC","authors_text":"Evan Patterson, James Fairbanks, Matthew Hale, Matthew Klawonn, Tyler Hanks","submitted_at":"2024-03-08T22:58:17Z","abstract_excerpt":"Optimization decomposition methods are a fundamental tool to develop distributed solution algorithms for large scale optimization problems arising in fields such as machine learning and optimal control. In this paper, we present an algebraic framework for hierarchically composing optimization problems defined on hypergraphs and automatically generating distributed solution algorithms that respect the given hierarchical structure. The central abstractions of our framework are operads, operad algebras, and algebra morphisms, which formalize notions of syntax, semantics, and structure preserving "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.05711","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/2403.05711/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-05T07:54:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vzn1YNGkFlE+huWKaZdhDDHGvEOiMnkB04dAo8aCn8NAdJ3jPrKBVaxrVrt867CBuocINAtFF+bfmF2feCj+CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T18:14:23.337111Z"},"content_sha256":"b326765fe1eb909686de0baab34f4929a13c4fba8036c22de134e8b6a38f2013","schema_version":"1.0","event_id":"sha256:b326765fe1eb909686de0baab34f4929a13c4fba8036c22de134e8b6a38f2013"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B/bundle.json","state_url":"https://pith.science/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B/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-19T18:14:23Z","links":{"resolver":"https://pith.science/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B","bundle":"https://pith.science/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B/bundle.json","state":"https://pith.science/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EIMXW5WF5BBYRRC6KJYVKQTA5B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:EIMXW5WF5BBYRRC6KJYVKQTA5B","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":"7e0e93791f5c32791bfecabde1bb263274ac91f97e9a9f15ace1ceba680dd5fb","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-03-08T22:58:17Z","title_canon_sha256":"cb62bb653712db13ae1762dcdbb42eb37229ebb1f01708892e83f8360dd831d5"},"schema_version":"1.0","source":{"id":"2403.05711","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.05711","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"arxiv_version","alias_value":"2403.05711v1","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.05711","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"pith_short_12","alias_value":"EIMXW5WF5BBY","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"pith_short_16","alias_value":"EIMXW5WF5BBYRRC6","created_at":"2026-07-05T07:54:12Z"},{"alias_kind":"pith_short_8","alias_value":"EIMXW5WF","created_at":"2026-07-05T07:54:12Z"}],"graph_snapshots":[{"event_id":"sha256:b326765fe1eb909686de0baab34f4929a13c4fba8036c22de134e8b6a38f2013","target":"graph","created_at":"2026-07-05T07:54:12Z","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/2403.05711/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Optimization decomposition methods are a fundamental tool to develop distributed solution algorithms for large scale optimization problems arising in fields such as machine learning and optimal control. In this paper, we present an algebraic framework for hierarchically composing optimization problems defined on hypergraphs and automatically generating distributed solution algorithms that respect the given hierarchical structure. The central abstractions of our framework are operads, operad algebras, and algebra morphisms, which formalize notions of syntax, semantics, and structure preserving ","authors_text":"Evan Patterson, James Fairbanks, Matthew Hale, Matthew Klawonn, Tyler Hanks","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-03-08T22:58:17Z","title":"A Compositional Framework for First-Order Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.05711","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:54b2d3529a3523464a6b6bdfc22cf4a03c043500bc318f796b3f6ff768084a6d","target":"record","created_at":"2026-07-05T07:54:12Z","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":"7e0e93791f5c32791bfecabde1bb263274ac91f97e9a9f15ace1ceba680dd5fb","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-03-08T22:58:17Z","title_canon_sha256":"cb62bb653712db13ae1762dcdbb42eb37229ebb1f01708892e83f8360dd831d5"},"schema_version":"1.0","source":{"id":"2403.05711","kind":"arxiv","version":1}},"canonical_sha256":"22197b76c5e84388c45e5271554260e865e244b1f91825200bc580815e122572","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22197b76c5e84388c45e5271554260e865e244b1f91825200bc580815e122572","first_computed_at":"2026-07-05T07:54:12.214234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:54:12.214234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AQFRC9LDJjkaxuESmuYDNDwAvMZkFAFbvLvAO8kpfIXniTW23U1wADZdWNDWCSRXTA0Ra2u2IyQbzk3+xz5EBA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:54:12.214623Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.05711","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:54b2d3529a3523464a6b6bdfc22cf4a03c043500bc318f796b3f6ff768084a6d","sha256:b326765fe1eb909686de0baab34f4929a13c4fba8036c22de134e8b6a38f2013"],"state_sha256":"a720f8d7439ce65ac54b420831838d282aa75e722a30e03217c0e6a46b131663"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vp2nNCJ0TSPCiSXh1foHnHgtBB99ql35HJ7vNagFatX/7a8xElCXLnszGuR7zlbdPnNmSgHFRvw65+jGgR8EBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T18:14:23.341036Z","bundle_sha256":"9b872d13d2d11afdc6fb8ada038493c523539abbb9b81513deb99dd84f200f68"}}