{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:XCXJLNSOBJUHOAPU5L4BF7IKMT","short_pith_number":"pith:XCXJLNSO","schema_version":"1.0","canonical_sha256":"b8ae95b64e0a687701f4eaf812fd0a64d12075370bbcaef9ba323902d65597c0","source":{"kind":"arxiv","id":"1205.5504","version":4},"attestation_state":"computed","paper":{"title":"Algorithmic randomness and stochastic selection function","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Hayato Takahashi","submitted_at":"2012-05-24T17:07:34Z","abstract_excerpt":"We show algorithmic randomness versions of the two classical theorems on subsequences of normal numbers. One is Kamae-Weiss theorem (Kamae 1973) on normal numbers, which characterize the selection function that preserves normal numbers. Another one is the Steinhaus (1922) theorem on normal numbers, which characterize the normality from their subsequences. In van Lambalgen (1987), an algorithmic analogy to Kamae-Weiss theorem is conjectured in terms of algorithmic randomness and complexity. In this paper we consider two types of algorithmic random sequence; one is ML-random sequences and the ot"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1205.5504","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2012-05-24T17:07:34Z","cross_cats_sorted":["math.IT"],"title_canon_sha256":"806e307b50a414b714f4a283b50489e4f9aa6e2bbe161b9c5f87ac1cb413e9e9","abstract_canon_sha256":"709e1a4c4aaeaf34c8b4db024fa6d9bcfc4a62b75e3b7b546d604329a79fac5d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:33.869581Z","signature_b64":"w5RDK+5TFEnGs5ojbb0rdcVxZ2EsqAMJUohhEXQiAJnds9STatU3lzwxowwdnMcQA0exMpoeDfgXMd5gu8oKAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8ae95b64e0a687701f4eaf812fd0a64d12075370bbcaef9ba323902d65597c0","last_reissued_at":"2026-05-18T01:23:33.868920Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:33.868920Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algorithmic randomness and stochastic selection function","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Hayato Takahashi","submitted_at":"2012-05-24T17:07:34Z","abstract_excerpt":"We show algorithmic randomness versions of the two classical theorems on subsequences of normal numbers. One is Kamae-Weiss theorem (Kamae 1973) on normal numbers, which characterize the selection function that preserves normal numbers. Another one is the Steinhaus (1922) theorem on normal numbers, which characterize the normality from their subsequences. In van Lambalgen (1987), an algorithmic analogy to Kamae-Weiss theorem is conjectured in terms of algorithmic randomness and complexity. In this paper we consider two types of algorithmic random sequence; one is ML-random sequences and the ot"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.5504","kind":"arxiv","version":4},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1205.5504","created_at":"2026-05-18T01:23:33.869024+00:00"},{"alias_kind":"arxiv_version","alias_value":"1205.5504v4","created_at":"2026-05-18T01:23:33.869024+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.5504","created_at":"2026-05-18T01:23:33.869024+00:00"},{"alias_kind":"pith_short_12","alias_value":"XCXJLNSOBJUH","created_at":"2026-05-18T12:27:27.928770+00:00"},{"alias_kind":"pith_short_16","alias_value":"XCXJLNSOBJUHOAPU","created_at":"2026-05-18T12:27:27.928770+00:00"},{"alias_kind":"pith_short_8","alias_value":"XCXJLNSO","created_at":"2026-05-18T12:27:27.928770+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT","json":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT.json","graph_json":"https://pith.science/api/pith-number/XCXJLNSOBJUHOAPU5L4BF7IKMT/graph.json","events_json":"https://pith.science/api/pith-number/XCXJLNSOBJUHOAPU5L4BF7IKMT/events.json","paper":"https://pith.science/paper/XCXJLNSO"},"agent_actions":{"view_html":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT","download_json":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT.json","view_paper":"https://pith.science/paper/XCXJLNSO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1205.5504&json=true","fetch_graph":"https://pith.science/api/pith-number/XCXJLNSOBJUHOAPU5L4BF7IKMT/graph.json","fetch_events":"https://pith.science/api/pith-number/XCXJLNSOBJUHOAPU5L4BF7IKMT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT/action/storage_attestation","attest_author":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT/action/author_attestation","sign_citation":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT/action/citation_signature","submit_replication":"https://pith.science/pith/XCXJLNSOBJUHOAPU5L4BF7IKMT/action/replication_record"}},"created_at":"2026-05-18T01:23:33.869024+00:00","updated_at":"2026-05-18T01:23:33.869024+00:00"}