{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:W33MHAON6UCVAQMXNAJAG6OALY","short_pith_number":"pith:W33MHAON","canonical_record":{"source":{"id":"1612.06419","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-12-19T21:26:22Z","cross_cats_sorted":[],"title_canon_sha256":"afbd58f76dcb96f95d7c810ae5755d3af64ce84bec3192df1a1b919c28d0922d","abstract_canon_sha256":"3405aa85dad63eddc805e3c74dff61c1c70cf6d034eea533f7bdc73f0b5aafa4"},"schema_version":"1.0"},"canonical_sha256":"b6f6c381cdf50550419768120379c05e2559cdc970d09ba2aeda9f39c192c038","source":{"kind":"arxiv","id":"1612.06419","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06419","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06419v3","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06419","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"W33MHAON6UCV","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W33MHAON6UCVAQMX","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W33MHAON","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:W33MHAON6UCVAQMXNAJAG6OALY","target":"record","payload":{"canonical_record":{"source":{"id":"1612.06419","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-12-19T21:26:22Z","cross_cats_sorted":[],"title_canon_sha256":"afbd58f76dcb96f95d7c810ae5755d3af64ce84bec3192df1a1b919c28d0922d","abstract_canon_sha256":"3405aa85dad63eddc805e3c74dff61c1c70cf6d034eea533f7bdc73f0b5aafa4"},"schema_version":"1.0"},"canonical_sha256":"b6f6c381cdf50550419768120379c05e2559cdc970d09ba2aeda9f39c192c038","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:21.724791Z","signature_b64":"4bfSHdmq8bP7ah7hW2HbABD3Rfw5s6XpS0PerMel3TusYshGqvLoleUR0FaF2p2/cvCDkTbY5kkdyFfg0nP9CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b6f6c381cdf50550419768120379c05e2559cdc970d09ba2aeda9f39c192c038","last_reissued_at":"2026-05-17T23:51:21.724279Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:21.724279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.06419","source_version":3,"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-17T23:51:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h1ZkW4rAQIkdpAjnLipfXHQQXauTSXCqOhir0yWfRJGSG0gDoYN2OwsPw04Mj+8EIpn6q4ZRVauEtf+o5UefBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:24:53.404651Z"},"content_sha256":"13b2fea264c0433b512a8e0da366299f926b27091a622b794e82385dc1101d19","schema_version":"1.0","event_id":"sha256:13b2fea264c0433b512a8e0da366299f926b27091a622b794e82385dc1101d19"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:W33MHAON6UCVAQMXNAJAG6OALY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complexity theory for spaces of integrable functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Florian Steinberg","submitted_at":"2016-12-19T21:26:22Z","abstract_excerpt":"This paper investigates second-order representations in the sense of Kawamura and Cook for spaces of integrable functions that regularly show up in analysis. It builds upon prior work about the space of continuous functions on the unit interval: Kawamura and Cook introduced a representation inducing the right complexity classes and proved that it is the weakest second-order representation such that evaluation is polynomial-time computable. The first part of this paper provides a similar representation for the space of integrable functions on a bounded subset of Euclidean space: The weakest rep"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06419","kind":"arxiv","version":3},"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-17T23:51:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6HBuR68Pui/w6CyEXm9k9FFG6U5238rUS/EK+6z71h0NqBvegrEVT/3eBZ8C0E9H+S0nCUo80nABGmyd+GIdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:24:53.405396Z"},"content_sha256":"2604f6f04596168ee92b4cdcde813b862fbe6d30916dda984804edda934402de","schema_version":"1.0","event_id":"sha256:2604f6f04596168ee92b4cdcde813b862fbe6d30916dda984804edda934402de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W33MHAON6UCVAQMXNAJAG6OALY/bundle.json","state_url":"https://pith.science/pith/W33MHAON6UCVAQMXNAJAG6OALY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W33MHAON6UCVAQMXNAJAG6OALY/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-09T19:24:53Z","links":{"resolver":"https://pith.science/pith/W33MHAON6UCVAQMXNAJAG6OALY","bundle":"https://pith.science/pith/W33MHAON6UCVAQMXNAJAG6OALY/bundle.json","state":"https://pith.science/pith/W33MHAON6UCVAQMXNAJAG6OALY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W33MHAON6UCVAQMXNAJAG6OALY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:W33MHAON6UCVAQMXNAJAG6OALY","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":"3405aa85dad63eddc805e3c74dff61c1c70cf6d034eea533f7bdc73f0b5aafa4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-12-19T21:26:22Z","title_canon_sha256":"afbd58f76dcb96f95d7c810ae5755d3af64ce84bec3192df1a1b919c28d0922d"},"schema_version":"1.0","source":{"id":"1612.06419","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06419","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06419v3","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06419","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"W33MHAON6UCV","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W33MHAON6UCVAQMX","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W33MHAON","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:2604f6f04596168ee92b4cdcde813b862fbe6d30916dda984804edda934402de","target":"graph","created_at":"2026-05-17T23:51:21Z","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 investigates second-order representations in the sense of Kawamura and Cook for spaces of integrable functions that regularly show up in analysis. It builds upon prior work about the space of continuous functions on the unit interval: Kawamura and Cook introduced a representation inducing the right complexity classes and proved that it is the weakest second-order representation such that evaluation is polynomial-time computable. The first part of this paper provides a similar representation for the space of integrable functions on a bounded subset of Euclidean space: The weakest rep","authors_text":"Florian Steinberg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-12-19T21:26:22Z","title":"Complexity theory for spaces of integrable functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06419","kind":"arxiv","version":3},"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:13b2fea264c0433b512a8e0da366299f926b27091a622b794e82385dc1101d19","target":"record","created_at":"2026-05-17T23:51:21Z","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":"3405aa85dad63eddc805e3c74dff61c1c70cf6d034eea533f7bdc73f0b5aafa4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-12-19T21:26:22Z","title_canon_sha256":"afbd58f76dcb96f95d7c810ae5755d3af64ce84bec3192df1a1b919c28d0922d"},"schema_version":"1.0","source":{"id":"1612.06419","kind":"arxiv","version":3}},"canonical_sha256":"b6f6c381cdf50550419768120379c05e2559cdc970d09ba2aeda9f39c192c038","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6f6c381cdf50550419768120379c05e2559cdc970d09ba2aeda9f39c192c038","first_computed_at":"2026-05-17T23:51:21.724279Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:21.724279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4bfSHdmq8bP7ah7hW2HbABD3Rfw5s6XpS0PerMel3TusYshGqvLoleUR0FaF2p2/cvCDkTbY5kkdyFfg0nP9CQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:21.724791Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.06419","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13b2fea264c0433b512a8e0da366299f926b27091a622b794e82385dc1101d19","sha256:2604f6f04596168ee92b4cdcde813b862fbe6d30916dda984804edda934402de"],"state_sha256":"35f02affadc6047b1b5f087da4df17281432fb7a05c4aff9b65d5c950f2324d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kY0lU1PLN6sIKg7YAHmNe0G00HjjrQ5f1/NM8VV97+Dos2fXpc60iSqu2cJPJqZ+Tlh0QaeDlF2S1Cc3FUmyCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T19:24:53.409537Z","bundle_sha256":"bf02a10db13f4356b346df8f1917cbf3c138bb00839ae142bb4e18101b216fde"}}