{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OIY634237GJI47ZDGVUWXVFVS7","short_pith_number":"pith:OIY63423","canonical_record":{"source":{"id":"1604.08047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-04-27T12:47:19Z","cross_cats_sorted":[],"title_canon_sha256":"85f2838a328d47a8a7740d3dab09b2e8afca577bfbf02034cb489a197ae3b0e3","abstract_canon_sha256":"3ade6cd304b55d5157745d8c4a0ebd059e96a8cbc67ad005763ab5943707db38"},"schema_version":"1.0"},"canonical_sha256":"7231edf35bf9928e7f2335696bd4b597cf407cff0b3b52c671133fc8f8945bda","source":{"kind":"arxiv","id":"1604.08047","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08047","created_at":"2026-05-18T00:37:48Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08047v2","created_at":"2026-05-18T00:37:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08047","created_at":"2026-05-18T00:37:48Z"},{"alias_kind":"pith_short_12","alias_value":"OIY634237GJI","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OIY634237GJI47ZD","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OIY63423","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OIY634237GJI47ZDGVUWXVFVS7","target":"record","payload":{"canonical_record":{"source":{"id":"1604.08047","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-04-27T12:47:19Z","cross_cats_sorted":[],"title_canon_sha256":"85f2838a328d47a8a7740d3dab09b2e8afca577bfbf02034cb489a197ae3b0e3","abstract_canon_sha256":"3ade6cd304b55d5157745d8c4a0ebd059e96a8cbc67ad005763ab5943707db38"},"schema_version":"1.0"},"canonical_sha256":"7231edf35bf9928e7f2335696bd4b597cf407cff0b3b52c671133fc8f8945bda","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:48.572542Z","signature_b64":"6l/Wq61iHpXWTEHaw08wGlm0+OE1ZHeJp/xssS3c589eOfIY0+a0OFqPZBQlyJBgurwcBF7Ns0LvgqvYBpRCAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7231edf35bf9928e7f2335696bd4b597cf407cff0b3b52c671133fc8f8945bda","last_reissued_at":"2026-05-18T00:37:48.572012Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:48.572012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.08047","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:37:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3o5I6UjzA//QZ0SQ3rvU8RMIxaf19UXm/RbILV+UnAvn0nz5zkHuGY+tTx4sEEQG4cPIkh6VNdObta08vw8vBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T18:33:20.864269Z"},"content_sha256":"f671403c7002abfcda0bda334f1de1c41a3f5a1d971fd0275e983fb2e567e462","schema_version":"1.0","event_id":"sha256:f671403c7002abfcda0bda334f1de1c41a3f5a1d971fd0275e983fb2e567e462"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OIY634237GJI47ZDGVUWXVFVS7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convergence of Functions and their Moreau Envelopes on Hadamard Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.FA","authors_text":"Gabriele Steidl, Martin Montag, Miroslav Ba\\v{c}\\'ak","submitted_at":"2016-04-27T12:47:19Z","abstract_excerpt":"A well known result of H. Attouch states that the Mosco convergence of a sequence of proper convex lower semicontinuous functions defined on a Hilbert space is equivalent to the pointwise convergence of the associated Moreau envelopes. In the present paper we generalize this result to Hadamard spaces. More precisely, while it has already been known that the Mosco convergence of a sequence of convex lower semicontinuous functions on a Hadamard space implies the pointwise convergence of the corresponding Moreau envelopes, the converse implication was an open question. We now fill this gap.\n  Our"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08047","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:37:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c3t5JsrzkNxJm8jalCp4ac6SoNVodgLtjddCa7vLH0+us0XjfRMYYwXa00uvQghUeg0Y/4dRNDvLT7ycjXo0Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T18:33:20.864676Z"},"content_sha256":"02a5ec7737050753f8cb30bad1c7c82e57a300d3595ef2e0f8267fdd21f3b908","schema_version":"1.0","event_id":"sha256:02a5ec7737050753f8cb30bad1c7c82e57a300d3595ef2e0f8267fdd21f3b908"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OIY634237GJI47ZDGVUWXVFVS7/bundle.json","state_url":"https://pith.science/pith/OIY634237GJI47ZDGVUWXVFVS7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OIY634237GJI47ZDGVUWXVFVS7/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-09T18:33:20Z","links":{"resolver":"https://pith.science/pith/OIY634237GJI47ZDGVUWXVFVS7","bundle":"https://pith.science/pith/OIY634237GJI47ZDGVUWXVFVS7/bundle.json","state":"https://pith.science/pith/OIY634237GJI47ZDGVUWXVFVS7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OIY634237GJI47ZDGVUWXVFVS7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OIY634237GJI47ZDGVUWXVFVS7","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":"3ade6cd304b55d5157745d8c4a0ebd059e96a8cbc67ad005763ab5943707db38","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-04-27T12:47:19Z","title_canon_sha256":"85f2838a328d47a8a7740d3dab09b2e8afca577bfbf02034cb489a197ae3b0e3"},"schema_version":"1.0","source":{"id":"1604.08047","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08047","created_at":"2026-05-18T00:37:48Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08047v2","created_at":"2026-05-18T00:37:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08047","created_at":"2026-05-18T00:37:48Z"},{"alias_kind":"pith_short_12","alias_value":"OIY634237GJI","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OIY634237GJI47ZD","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OIY63423","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:02a5ec7737050753f8cb30bad1c7c82e57a300d3595ef2e0f8267fdd21f3b908","target":"graph","created_at":"2026-05-18T00:37:48Z","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":"A well known result of H. Attouch states that the Mosco convergence of a sequence of proper convex lower semicontinuous functions defined on a Hilbert space is equivalent to the pointwise convergence of the associated Moreau envelopes. In the present paper we generalize this result to Hadamard spaces. More precisely, while it has already been known that the Mosco convergence of a sequence of convex lower semicontinuous functions on a Hadamard space implies the pointwise convergence of the corresponding Moreau envelopes, the converse implication was an open question. We now fill this gap.\n  Our","authors_text":"Gabriele Steidl, Martin Montag, Miroslav Ba\\v{c}\\'ak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-04-27T12:47:19Z","title":"Convergence of Functions and their Moreau Envelopes on Hadamard Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08047","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:f671403c7002abfcda0bda334f1de1c41a3f5a1d971fd0275e983fb2e567e462","target":"record","created_at":"2026-05-18T00:37:48Z","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":"3ade6cd304b55d5157745d8c4a0ebd059e96a8cbc67ad005763ab5943707db38","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2016-04-27T12:47:19Z","title_canon_sha256":"85f2838a328d47a8a7740d3dab09b2e8afca577bfbf02034cb489a197ae3b0e3"},"schema_version":"1.0","source":{"id":"1604.08047","kind":"arxiv","version":2}},"canonical_sha256":"7231edf35bf9928e7f2335696bd4b597cf407cff0b3b52c671133fc8f8945bda","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7231edf35bf9928e7f2335696bd4b597cf407cff0b3b52c671133fc8f8945bda","first_computed_at":"2026-05-18T00:37:48.572012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:48.572012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6l/Wq61iHpXWTEHaw08wGlm0+OE1ZHeJp/xssS3c589eOfIY0+a0OFqPZBQlyJBgurwcBF7Ns0LvgqvYBpRCAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:48.572542Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.08047","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f671403c7002abfcda0bda334f1de1c41a3f5a1d971fd0275e983fb2e567e462","sha256:02a5ec7737050753f8cb30bad1c7c82e57a300d3595ef2e0f8267fdd21f3b908"],"state_sha256":"52286c14c7fb2310b231bd3d4debc825f7ff014d39e6cead7fd71ccaf4d9d29e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Kotg2AeU/liFh7RCwxpdBLBj4aDntWfWg/qpaAyL6wJaagDDjNHK5m3Tj7SFghfnyV+oKNPvJ7YILjXKAfReDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T18:33:20.867153Z","bundle_sha256":"49a6fbebb2cb220072648bcf2fbec9bffdd3b09cc642e8249ab914bc3e9618cb"}}