{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:F643XUYIDNVRPRW7ED6HFFNUMA","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":"f5e1c51f2d8ae9943ecd355aefdf151ec56d7b9aa2ddf3f856cdc067f96ed546","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-09T20:00:37Z","title_canon_sha256":"087f0f38c033c71426bb27152ca69f27d808c696141e6aaae5c8bb012121b66c"},"schema_version":"1.0","source":{"id":"1512.03024","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.03024","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"arxiv_version","alias_value":"1512.03024v2","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.03024","created_at":"2026-05-18T00:55:34Z"},{"alias_kind":"pith_short_12","alias_value":"F643XUYIDNVR","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"F643XUYIDNVRPRW7","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"F643XUYI","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:6bbc78ba9dd70f06ab12ecec74125b664befb8ff7b5025fad011a7f526d85690","target":"graph","created_at":"2026-05-18T00:55:34Z","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":"This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared to more natural representations for these spaces. The formal framework for the comparisons is provided by Weihrauch reducibility.\n  The centrepiece of the paper considers several representations of the analytic functions on the unit disk and their mutual translations. All translations that are not already computable are shown to be Weihrauch equivalent to cl","authors_text":"Arno Pauly, Florian Steinberg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-09T20:00:37Z","title":"Comparing representations for function spaces in computable analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.03024","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:607d2142d7283df205e069c404429b8e80971739e067bd3260e99ea6a1648637","target":"record","created_at":"2026-05-18T00:55:34Z","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":"f5e1c51f2d8ae9943ecd355aefdf151ec56d7b9aa2ddf3f856cdc067f96ed546","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-09T20:00:37Z","title_canon_sha256":"087f0f38c033c71426bb27152ca69f27d808c696141e6aaae5c8bb012121b66c"},"schema_version":"1.0","source":{"id":"1512.03024","kind":"arxiv","version":2}},"canonical_sha256":"2fb9bbd3081b6b17c6df20fc7295b46036b16ab8399646ee913ba2d24bdc2f10","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fb9bbd3081b6b17c6df20fc7295b46036b16ab8399646ee913ba2d24bdc2f10","first_computed_at":"2026-05-18T00:55:34.393408Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:34.393408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ixxRoa5EWOid0qN5Jj5wrsc85YGqumUKUWWooWxj9O9NlGbUfq2AERlTKZNgPH1x+QjgX3uSOGIH9dVWy69IDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:34.393923Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.03024","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:607d2142d7283df205e069c404429b8e80971739e067bd3260e99ea6a1648637","sha256:6bbc78ba9dd70f06ab12ecec74125b664befb8ff7b5025fad011a7f526d85690"],"state_sha256":"416cc18359278548ffb881fd36b102b1ea7c05cba1cddbfc8a10d7f93eb1f487"}