{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:VIX3BMBLXUXEGGSQXVOLKYPOUO","short_pith_number":"pith:VIX3BMBL","canonical_record":{"source":{"id":"1311.0724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-11-04T15:03:25Z","cross_cats_sorted":[],"title_canon_sha256":"3ff883d2e2a3e9fac91236f6a46b6d638e0d9af54feb97df15b4802eefe28af4","abstract_canon_sha256":"461824cf40d0ab03f5faf906e42bf3306ebdb2579d3970e0e0e62d4dd9883ae6"},"schema_version":"1.0"},"canonical_sha256":"aa2fb0b02bbd2e431a50bd5cb561eea3baa1ac7b4bd1217b208095cfb965e596","source":{"kind":"arxiv","id":"1311.0724","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.0724","created_at":"2026-05-18T03:08:05Z"},{"alias_kind":"arxiv_version","alias_value":"1311.0724v1","created_at":"2026-05-18T03:08:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.0724","created_at":"2026-05-18T03:08:05Z"},{"alias_kind":"pith_short_12","alias_value":"VIX3BMBLXUXE","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VIX3BMBLXUXEGGSQ","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VIX3BMBL","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:VIX3BMBLXUXEGGSQXVOLKYPOUO","target":"record","payload":{"canonical_record":{"source":{"id":"1311.0724","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-11-04T15:03:25Z","cross_cats_sorted":[],"title_canon_sha256":"3ff883d2e2a3e9fac91236f6a46b6d638e0d9af54feb97df15b4802eefe28af4","abstract_canon_sha256":"461824cf40d0ab03f5faf906e42bf3306ebdb2579d3970e0e0e62d4dd9883ae6"},"schema_version":"1.0"},"canonical_sha256":"aa2fb0b02bbd2e431a50bd5cb561eea3baa1ac7b4bd1217b208095cfb965e596","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:05.021979Z","signature_b64":"1BXj1CVBe/DKgXCERXlQS/c7YhvxEAZlebHMdH+4MwjIPT8oL0KzvxqP83pEhIeAMMWglADNMM01myK4K1y6Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa2fb0b02bbd2e431a50bd5cb561eea3baa1ac7b4bd1217b208095cfb965e596","last_reissued_at":"2026-05-18T03:08:05.021492Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:05.021492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.0724","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-05-18T03:08:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7oPKuEknxF8+IEbvH/lNqgiOeFAoS0BYJyshdgiS2iCszGL2aLQfKu8ZQ6f8xgesitv7lmRi9SmV8572Zcf4AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:35:05.582068Z"},"content_sha256":"3a096c3d7a8f9239057f387f428fd103da41cc12e6035d6eee1c394619b8f465","schema_version":"1.0","event_id":"sha256:3a096c3d7a8f9239057f387f428fd103da41cc12e6035d6eee1c394619b8f465"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:VIX3BMBLXUXEGGSQXVOLKYPOUO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Propagation of partial randomness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Keita Yokoyama, Kojiro Higuchi, Stephen G. Simpson, W. M. Phillip Hudelson","submitted_at":"2013-11-04T15:03:25Z","abstract_excerpt":"Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y where Y is Martin-L\"of random relative to Z, then X is strongly f-random relative to Z. In addition, we prove analogous propagation results for other notions of partial randomness, including non-K-triviality and autocomplexity. We prove that f-randomness relative to a PA-degree implies strong f-randomness, hence f-randomness does not imply f-randomness relati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.0724","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":""},"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-18T03:08:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8e3JQ/3qMqFPSHkHtjgrzXDNbFlxm4JtSJfikDWu1/lOidKWzJUhx3L6hVKtHqeeB9WVBRTZNfatjzw3Cme7Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:35:05.582826Z"},"content_sha256":"d1280dc5470a3b5160697fafcd193a7acc359cd0f507a1691b5e11ebde984dee","schema_version":"1.0","event_id":"sha256:d1280dc5470a3b5160697fafcd193a7acc359cd0f507a1691b5e11ebde984dee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO/bundle.json","state_url":"https://pith.science/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO/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-05-26T01:35:05Z","links":{"resolver":"https://pith.science/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO","bundle":"https://pith.science/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO/bundle.json","state":"https://pith.science/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VIX3BMBLXUXEGGSQXVOLKYPOUO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:VIX3BMBLXUXEGGSQXVOLKYPOUO","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":"461824cf40d0ab03f5faf906e42bf3306ebdb2579d3970e0e0e62d4dd9883ae6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-11-04T15:03:25Z","title_canon_sha256":"3ff883d2e2a3e9fac91236f6a46b6d638e0d9af54feb97df15b4802eefe28af4"},"schema_version":"1.0","source":{"id":"1311.0724","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.0724","created_at":"2026-05-18T03:08:05Z"},{"alias_kind":"arxiv_version","alias_value":"1311.0724v1","created_at":"2026-05-18T03:08:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.0724","created_at":"2026-05-18T03:08:05Z"},{"alias_kind":"pith_short_12","alias_value":"VIX3BMBLXUXE","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VIX3BMBLXUXEGGSQ","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VIX3BMBL","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:d1280dc5470a3b5160697fafcd193a7acc359cd0f507a1691b5e11ebde984dee","target":"graph","created_at":"2026-05-18T03:08:05Z","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":"Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also prove: if X is strongly f-random and Turing reducible to Y where Y is Martin-L\"of random relative to Z, then X is strongly f-random relative to Z. In addition, we prove analogous propagation results for other notions of partial randomness, including non-K-triviality and autocomplexity. We prove that f-randomness relative to a PA-degree implies strong f-randomness, hence f-randomness does not imply f-randomness relati","authors_text":"Keita Yokoyama, Kojiro Higuchi, Stephen G. Simpson, W. M. Phillip Hudelson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-11-04T15:03:25Z","title":"Propagation of partial randomness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.0724","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:3a096c3d7a8f9239057f387f428fd103da41cc12e6035d6eee1c394619b8f465","target":"record","created_at":"2026-05-18T03:08:05Z","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":"461824cf40d0ab03f5faf906e42bf3306ebdb2579d3970e0e0e62d4dd9883ae6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-11-04T15:03:25Z","title_canon_sha256":"3ff883d2e2a3e9fac91236f6a46b6d638e0d9af54feb97df15b4802eefe28af4"},"schema_version":"1.0","source":{"id":"1311.0724","kind":"arxiv","version":1}},"canonical_sha256":"aa2fb0b02bbd2e431a50bd5cb561eea3baa1ac7b4bd1217b208095cfb965e596","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa2fb0b02bbd2e431a50bd5cb561eea3baa1ac7b4bd1217b208095cfb965e596","first_computed_at":"2026-05-18T03:08:05.021492Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:05.021492Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1BXj1CVBe/DKgXCERXlQS/c7YhvxEAZlebHMdH+4MwjIPT8oL0KzvxqP83pEhIeAMMWglADNMM01myK4K1y6Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:05.021979Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.0724","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a096c3d7a8f9239057f387f428fd103da41cc12e6035d6eee1c394619b8f465","sha256:d1280dc5470a3b5160697fafcd193a7acc359cd0f507a1691b5e11ebde984dee"],"state_sha256":"5b1f915eabd28b9dd236ecc254aabc9f4a9084f8a028673233f108ff478e73c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"peDe6L1NwBhAuUZaE1UoUADwuX4nMxwIDG5tYlNcEKsRWPOE1X0DCesHiSyqF0arnSuqPNNqxo6ZGEZZ0HwNCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T01:35:05.585644Z","bundle_sha256":"500dda37389c30d102bdbaf020380cc17cf1fd4ab75a1a067b22facc115edbac"}}