{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:J5U5L4LQSWPCWYSXO65US634JZ","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":"ee5b83a745c7eb6648a423632c98d49776ab22a09fa24ac9510da489c22c7c2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-09-25T02:55:35Z","title_canon_sha256":"1b06807339c01c083e6f77f3dcbd545415ce408f40c6cc4900458687e639d3ff"},"schema_version":"1.0","source":{"id":"1209.5478","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.5478","created_at":"2026-05-18T03:26:42Z"},{"alias_kind":"arxiv_version","alias_value":"1209.5478v2","created_at":"2026-05-18T03:26:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.5478","created_at":"2026-05-18T03:26:42Z"},{"alias_kind":"pith_short_12","alias_value":"J5U5L4LQSWPC","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"J5U5L4LQSWPCWYSX","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"J5U5L4LQ","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:76c3b439e10423ffa2b2a25e933afb6293fc3902434981fcbc611de6a1e73f73","target":"graph","created_at":"2026-05-18T03:26:42Z","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":"We correct Miyabe's proof of van Lambalgen's Theorem for truth-table Schnorr randomness (which we will call uniformly relative Schnorr randomness). An immediate corollary is one direction of van Lambalgen's theorem for Schnorr randomness. It has been claimed in the literature that this corollary (and the analogous result for computable randomness) is a \"straightforward modification of the proof of van Lambalgen's Theorem.\" This is not so, and we point out why. We also point out an error in Miyabe's proof of van Lambalgen's Theorem for truth-table reducible randomness (which we will call unifor","authors_text":"Jason Rute, Kenshi Miyabe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-09-25T02:55:35Z","title":"Van Lambalgen's Theorem for uniformly relative Schnorr and computable randomness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.5478","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:164f93d279c3f49b1a3e7397fc6287c11261ab505dfd267e8ad22eeb4ae4716a","target":"record","created_at":"2026-05-18T03:26:42Z","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":"ee5b83a745c7eb6648a423632c98d49776ab22a09fa24ac9510da489c22c7c2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-09-25T02:55:35Z","title_canon_sha256":"1b06807339c01c083e6f77f3dcbd545415ce408f40c6cc4900458687e639d3ff"},"schema_version":"1.0","source":{"id":"1209.5478","kind":"arxiv","version":2}},"canonical_sha256":"4f69d5f170959e2b625777bb497b7c4e72e2412236670fb0bda2a319e1d37770","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4f69d5f170959e2b625777bb497b7c4e72e2412236670fb0bda2a319e1d37770","first_computed_at":"2026-05-18T03:26:42.780230Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:26:42.780230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OormCvWNYIwW75UdVSnRlx4ZpnwLhSqschTdXGLoOaTMCAk83VTH04zoU3AKOsg1DO1LG/RjH2f8TIr6ZBgWCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:26:42.781037Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.5478","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:164f93d279c3f49b1a3e7397fc6287c11261ab505dfd267e8ad22eeb4ae4716a","sha256:76c3b439e10423ffa2b2a25e933afb6293fc3902434981fcbc611de6a1e73f73"],"state_sha256":"7f655cb5f8c516416e8cbd640fb02a9ac7948865944efcb5897e77c1583d96bd"}