{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:KMTFKHW7XNNTRRGRTR4IUHE2HD","short_pith_number":"pith:KMTFKHW7","canonical_record":{"source":{"id":"1604.08878","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-04-29T15:33:23Z","cross_cats_sorted":[],"title_canon_sha256":"74152298f488bb1c458c3c3afb1259be639ab372f8562e5a087ee21c2702ca41","abstract_canon_sha256":"d813ee458ec37eb08614b0435bfbc070938b927b0d00936047e7e64b907514a3"},"schema_version":"1.0"},"canonical_sha256":"5326551edfbb5b38c4d19c788a1c9a38de677b3178bce637bf805b20de713f1f","source":{"kind":"arxiv","id":"1604.08878","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08878","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08878v1","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08878","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"pith_short_12","alias_value":"KMTFKHW7XNNT","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KMTFKHW7XNNTRRGR","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KMTFKHW7","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:KMTFKHW7XNNTRRGRTR4IUHE2HD","target":"record","payload":{"canonical_record":{"source":{"id":"1604.08878","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-04-29T15:33:23Z","cross_cats_sorted":[],"title_canon_sha256":"74152298f488bb1c458c3c3afb1259be639ab372f8562e5a087ee21c2702ca41","abstract_canon_sha256":"d813ee458ec37eb08614b0435bfbc070938b927b0d00936047e7e64b907514a3"},"schema_version":"1.0"},"canonical_sha256":"5326551edfbb5b38c4d19c788a1c9a38de677b3178bce637bf805b20de713f1f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:01.521252Z","signature_b64":"7ZUqr0Luzce8QRDTFj4aHEQGwgQNx1Mv1y0LpSUNRTf18V6F/vEREiiHGKlgrc7SbghYzCxuu5n4CgP7ru0MCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5326551edfbb5b38c4d19c788a1c9a38de677b3178bce637bf805b20de713f1f","last_reissued_at":"2026-05-18T01:16:01.520539Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:01.520539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.08878","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-18T01:16:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uefiqm5cNu0kSErEo2dNPpWb5vV66jmy5ueuYvnN3PxvRQir4xgh4VfAzVkg079ar4gJfR2iRj4guXLdpKteBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T17:37:15.969765Z"},"content_sha256":"d63927a3691730017a9a0e95655383101427b16ef9d0082508b707c30b0eb408","schema_version":"1.0","event_id":"sha256:d63927a3691730017a9a0e95655383101427b16ef9d0082508b707c30b0eb408"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:KMTFKHW7XNNTRRGRTR4IUHE2HD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stack and register complexity of radix conversions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Alexander Shibakov, Motoya Machida","submitted_at":"2016-04-29T15:33:23Z","abstract_excerpt":"We investigate the question of computational resources (such as stacks and counters) necessary to perform radix conversions. To this end it is shown that no PDA can compute the significand of the best $n$-digit floating point approximation of a power of an incommensurable radix. This extends the results of W.~Clinger. We also prove that a two counter machine with input is capable of such conversions. On the other hand we note a curious asymmetry with respect to the order in which the digits are input by showing that a two counter machine can decode its input online if the digits are presented "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08878","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-18T01:16:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+0u7ibbPP2Y9nSSd2CFnF56tWBvRnZ+rT9Mbudu6PZ3dl88bAyX1pt/LBg0QgdcVTWp6qP4S73Ug9++fdFaoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T17:37:15.970225Z"},"content_sha256":"d140692963bbbadf1a9a01830b3c0880696647c4fa0440e1eb745a02545e89a7","schema_version":"1.0","event_id":"sha256:d140692963bbbadf1a9a01830b3c0880696647c4fa0440e1eb745a02545e89a7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD/bundle.json","state_url":"https://pith.science/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD/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-24T17:37:15Z","links":{"resolver":"https://pith.science/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD","bundle":"https://pith.science/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD/bundle.json","state":"https://pith.science/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KMTFKHW7XNNTRRGRTR4IUHE2HD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:KMTFKHW7XNNTRRGRTR4IUHE2HD","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":"d813ee458ec37eb08614b0435bfbc070938b927b0d00936047e7e64b907514a3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-04-29T15:33:23Z","title_canon_sha256":"74152298f488bb1c458c3c3afb1259be639ab372f8562e5a087ee21c2702ca41"},"schema_version":"1.0","source":{"id":"1604.08878","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08878","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08878v1","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08878","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"pith_short_12","alias_value":"KMTFKHW7XNNT","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"KMTFKHW7XNNTRRGR","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"KMTFKHW7","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:d140692963bbbadf1a9a01830b3c0880696647c4fa0440e1eb745a02545e89a7","target":"graph","created_at":"2026-05-18T01:16:01Z","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 investigate the question of computational resources (such as stacks and counters) necessary to perform radix conversions. To this end it is shown that no PDA can compute the significand of the best $n$-digit floating point approximation of a power of an incommensurable radix. This extends the results of W.~Clinger. We also prove that a two counter machine with input is capable of such conversions. On the other hand we note a curious asymmetry with respect to the order in which the digits are input by showing that a two counter machine can decode its input online if the digits are presented ","authors_text":"Alexander Shibakov, Motoya Machida","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-04-29T15:33:23Z","title":"Stack and register complexity of radix conversions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08878","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:d63927a3691730017a9a0e95655383101427b16ef9d0082508b707c30b0eb408","target":"record","created_at":"2026-05-18T01:16:01Z","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":"d813ee458ec37eb08614b0435bfbc070938b927b0d00936047e7e64b907514a3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-04-29T15:33:23Z","title_canon_sha256":"74152298f488bb1c458c3c3afb1259be639ab372f8562e5a087ee21c2702ca41"},"schema_version":"1.0","source":{"id":"1604.08878","kind":"arxiv","version":1}},"canonical_sha256":"5326551edfbb5b38c4d19c788a1c9a38de677b3178bce637bf805b20de713f1f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5326551edfbb5b38c4d19c788a1c9a38de677b3178bce637bf805b20de713f1f","first_computed_at":"2026-05-18T01:16:01.520539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:01.520539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7ZUqr0Luzce8QRDTFj4aHEQGwgQNx1Mv1y0LpSUNRTf18V6F/vEREiiHGKlgrc7SbghYzCxuu5n4CgP7ru0MCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:01.521252Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.08878","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d63927a3691730017a9a0e95655383101427b16ef9d0082508b707c30b0eb408","sha256:d140692963bbbadf1a9a01830b3c0880696647c4fa0440e1eb745a02545e89a7"],"state_sha256":"1a06d30c4d8720300acf78763fc50d95e3869ab142d200edc81f6caeeead2a61"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7jRyIMnu4RWtWfGbPNV7riAz5KGtb449gB4lRPvsSFPWysa1cW1K3P04PQ6nP7m1agCTFMJYqyIeZ0RSMrGODg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T17:37:15.972841Z","bundle_sha256":"10cf4e8a77f70d2e0e47043a106eb275515f3931bfaf26c7bcdb62cd22265278"}}