{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NKCGKISSXXO4IXMQQL3ET4GFQW","short_pith_number":"pith:NKCGKISS","canonical_record":{"source":{"id":"1712.09318","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-26T18:07:38Z","cross_cats_sorted":[],"title_canon_sha256":"943f667d54887ef4535b098cee5032fd35f9b212a5aea26d50602372edcb3651","abstract_canon_sha256":"a49b0fe6d6fe92394aea39f47b2d08f49c5a038463388df1c7c36b5aaa3d45aa"},"schema_version":"1.0"},"canonical_sha256":"6a84652252bdddc45d9082f649f0c585a27ad304d00d2342bd5750daf4aaa397","source":{"kind":"arxiv","id":"1712.09318","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.09318","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1712.09318v2","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.09318","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"NKCGKISSXXO4","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKCGKISSXXO4IXMQ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKCGKISS","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NKCGKISSXXO4IXMQQL3ET4GFQW","target":"record","payload":{"canonical_record":{"source":{"id":"1712.09318","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-26T18:07:38Z","cross_cats_sorted":[],"title_canon_sha256":"943f667d54887ef4535b098cee5032fd35f9b212a5aea26d50602372edcb3651","abstract_canon_sha256":"a49b0fe6d6fe92394aea39f47b2d08f49c5a038463388df1c7c36b5aaa3d45aa"},"schema_version":"1.0"},"canonical_sha256":"6a84652252bdddc45d9082f649f0c585a27ad304d00d2342bd5750daf4aaa397","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:59.645647Z","signature_b64":"E6lP26f4oQuzdmSm8Pp9iX96WMoLGSipyDLZ9a8CBp+WojoN0gZAbBSIWPg1hneYUv6d+vWxP3XdVE4PEi+JDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a84652252bdddc45d9082f649f0c585a27ad304d00d2342bd5750daf4aaa397","last_reissued_at":"2026-05-18T00:14:59.644960Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:59.644960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.09318","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-18T00:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qy1FpP7yTLr6N2JUeDQe5MDQCNgW9f7D5QYw+E4R4vtVmLdZ/asXSfLX5alX3ROP1O2I5pTGSReFmIwuc5+SCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:04:27.412695Z"},"content_sha256":"0553357fa1230fa3ca5444f0d268a85fb726b9cee75e6a03830d23c7f095f6ea","schema_version":"1.0","event_id":"sha256:0553357fa1230fa3ca5444f0d268a85fb726b9cee75e6a03830d23c7f095f6ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NKCGKISSXXO4IXMQQL3ET4GFQW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formulae for the Conjugate and the Subdifferential of the Supremum Function","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Pedro P\\'erez-Aros","submitted_at":"2017-12-26T18:07:38Z","abstract_excerpt":"The aim of this work is to provide formulae for the subdifferential and the conjungate function of the supremun function over an arbitrary family of functions. The work is principally motivated by the case when data functions are lower semicontinuous proper and convex. Nevertheless, we explore the case when the family of functions is arbitrary, but satisfying that the biconjugate of the supremum functions is equal to the supremum of the biconjugate of the data functions. The study focuses its attention on functions defined in finite-dimensional spaces, in this case the formulae can be simplifi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.09318","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-18T00:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LES9ni2xr5VBvK7QZyDUbQkOVt3r8Z146cHkdZCI9wGp3nbMeV1riAqTKcEAvt/Ykw5AnfaqdKCSwPXXqAVRCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:04:27.413036Z"},"content_sha256":"b5bb0f4dcf20efac7736514e111d04388156300eee0210b62c3359e61fb0fc92","schema_version":"1.0","event_id":"sha256:b5bb0f4dcf20efac7736514e111d04388156300eee0210b62c3359e61fb0fc92"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NKCGKISSXXO4IXMQQL3ET4GFQW/bundle.json","state_url":"https://pith.science/pith/NKCGKISSXXO4IXMQQL3ET4GFQW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NKCGKISSXXO4IXMQQL3ET4GFQW/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-24T08:04:27Z","links":{"resolver":"https://pith.science/pith/NKCGKISSXXO4IXMQQL3ET4GFQW","bundle":"https://pith.science/pith/NKCGKISSXXO4IXMQQL3ET4GFQW/bundle.json","state":"https://pith.science/pith/NKCGKISSXXO4IXMQQL3ET4GFQW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NKCGKISSXXO4IXMQQL3ET4GFQW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NKCGKISSXXO4IXMQQL3ET4GFQW","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":"a49b0fe6d6fe92394aea39f47b2d08f49c5a038463388df1c7c36b5aaa3d45aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-26T18:07:38Z","title_canon_sha256":"943f667d54887ef4535b098cee5032fd35f9b212a5aea26d50602372edcb3651"},"schema_version":"1.0","source":{"id":"1712.09318","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.09318","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1712.09318v2","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.09318","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"NKCGKISSXXO4","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKCGKISSXXO4IXMQ","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKCGKISS","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:b5bb0f4dcf20efac7736514e111d04388156300eee0210b62c3359e61fb0fc92","target":"graph","created_at":"2026-05-18T00:14:59Z","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":"The aim of this work is to provide formulae for the subdifferential and the conjungate function of the supremun function over an arbitrary family of functions. The work is principally motivated by the case when data functions are lower semicontinuous proper and convex. Nevertheless, we explore the case when the family of functions is arbitrary, but satisfying that the biconjugate of the supremum functions is equal to the supremum of the biconjugate of the data functions. The study focuses its attention on functions defined in finite-dimensional spaces, in this case the formulae can be simplifi","authors_text":"Pedro P\\'erez-Aros","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-26T18:07:38Z","title":"Formulae for the Conjugate and the Subdifferential of the Supremum Function"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.09318","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:0553357fa1230fa3ca5444f0d268a85fb726b9cee75e6a03830d23c7f095f6ea","target":"record","created_at":"2026-05-18T00:14:59Z","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":"a49b0fe6d6fe92394aea39f47b2d08f49c5a038463388df1c7c36b5aaa3d45aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-26T18:07:38Z","title_canon_sha256":"943f667d54887ef4535b098cee5032fd35f9b212a5aea26d50602372edcb3651"},"schema_version":"1.0","source":{"id":"1712.09318","kind":"arxiv","version":2}},"canonical_sha256":"6a84652252bdddc45d9082f649f0c585a27ad304d00d2342bd5750daf4aaa397","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a84652252bdddc45d9082f649f0c585a27ad304d00d2342bd5750daf4aaa397","first_computed_at":"2026-05-18T00:14:59.644960Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:59.644960Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E6lP26f4oQuzdmSm8Pp9iX96WMoLGSipyDLZ9a8CBp+WojoN0gZAbBSIWPg1hneYUv6d+vWxP3XdVE4PEi+JDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:59.645647Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.09318","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0553357fa1230fa3ca5444f0d268a85fb726b9cee75e6a03830d23c7f095f6ea","sha256:b5bb0f4dcf20efac7736514e111d04388156300eee0210b62c3359e61fb0fc92"],"state_sha256":"0647e364ae48f6aa6d3be9975c73d9f58f991f0dd298cee96d57aa67830fad5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cqCcvP9QV0lcRDTDNRvoXogp9hLvVpxr7SHp/LlZwojv/M7P5NSJ2YcyeZBGmagw1OcaWTDCjmhsJ4J2nzFqAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T08:04:27.414963Z","bundle_sha256":"5187bd46db5bd48a94f3920b56d80ccfc3c42b2e01522d552c8ba6764700531a"}}