{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2HHYKOM3SGOX6SPMVE3WBC5BIP","short_pith_number":"pith:2HHYKOM3","canonical_record":{"source":{"id":"2605.13085","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T06:54:59Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"3fd8415e0a376ba89f29784afd5995879a4b3a32a03cf29e57dbe50b76de0861","abstract_canon_sha256":"7f572168991b139782d76491ce8da00a4442afc174dcae08061320a82177c9df"},"schema_version":"1.0"},"canonical_sha256":"d1cf85399b919d7f49eca937608ba143edc643b619456e9fdfb21e8c46e9f310","source":{"kind":"arxiv","id":"2605.13085","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13085","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13085v1","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13085","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"2HHYKOM3SGOX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"2HHYKOM3SGOX6SPM","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"2HHYKOM3","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2HHYKOM3SGOX6SPMVE3WBC5BIP","target":"record","payload":{"canonical_record":{"source":{"id":"2605.13085","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T06:54:59Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"3fd8415e0a376ba89f29784afd5995879a4b3a32a03cf29e57dbe50b76de0861","abstract_canon_sha256":"7f572168991b139782d76491ce8da00a4442afc174dcae08061320a82177c9df"},"schema_version":"1.0"},"canonical_sha256":"d1cf85399b919d7f49eca937608ba143edc643b619456e9fdfb21e8c46e9f310","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:58.563697Z","signature_b64":"0FALYBGB6ZXQJCdAHMIujg/katpqd0obhJieoln+CBk89uUc4IAHtFFgJSpkCeMXuUEfQmNjhj+5M4nshLfJCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1cf85399b919d7f49eca937608ba143edc643b619456e9fdfb21e8c46e9f310","last_reissued_at":"2026-05-18T03:08:58.562983Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:58.562983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.13085","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:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ICjSA6uVjthaumtr24HLytUIVhvKCn2z31dfVaX6/tUpHl7P/PX6ZlJgKisysI9w605S6gRYaJzqMwF7Zc0BDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:37:07.675136Z"},"content_sha256":"b013dad9a7b0f46208bc16192237c27dd33607950ca7a9646b2355c83d4e1b90","schema_version":"1.0","event_id":"sha256:b013dad9a7b0f46208bc16192237c27dd33607950ca7a9646b2355c83d4e1b90"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2HHYKOM3SGOX6SPMVE3WBC5BIP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reverse Iterated Function Systems: Density, Dimensions, and $p$-adic Extension","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Reverse iterated function systems have explicit dimension formulas for their forward orbits and invariant sets.","cross_cats":["math.FA"],"primary_cat":"math.DS","authors_text":"Junjie Miao, Minghui Xu","submitted_at":"2026-05-13T06:54:59Z","abstract_excerpt":"In 1996, Strichartz introduced reverse iterated function systems (RIFS) $\\mathcal{F}=\\{f_i(x)=r_i x+b_i\\}_{i=1}^m$ of expanding mappings on $\\mathbb{Z}$ and left the determination of the general dimension formulas of invariant sets as an open problem. In this paper we study the topological and geometric properties as well as the dimensions of the forward orbits generated by such systems, thereby providing a complete solution.\n  We first work in a general locally compact complete metric space to show that the non-empty invariant sets of $\\mathcal{F}$ are unions of forward orbits, along with giv"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We provide a complete solution to the determination of the general dimension formulas of invariant sets for reverse iterated function systems, determining the upper and lower mass dimensions, the Beurling dimension, and the discrete Hausdorff dimension of its forward orbits and invariant sets.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The orbit is non-overlapping and uniformly discrete when applying renewal theory to obtain the precise asymptotic central density (explicit constant in non-arithmetic case, multiplicatively periodic in arithmetic case).","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Reverse IFS invariant sets are unions of forward orbits whose dimensions equal those of the dual contractive attractor, with explicit asymptotic densities from renewal theory in non-arithmetic and arithmetic cases, and matching p-adic box dimensions.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Reverse iterated function systems have explicit dimension formulas for their forward orbits and invariant sets.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"48365533fc055f8fa7376e4f4310967c378fa4620f8bce955f1b2d03ec041110"},"source":{"id":"2605.13085","kind":"arxiv","version":1},"verdict":{"id":"1bcea33f-93b1-48fb-99c0-ae4cbac0ec32","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T18:46:45.405907Z","strongest_claim":"We provide a complete solution to the determination of the general dimension formulas of invariant sets for reverse iterated function systems, determining the upper and lower mass dimensions, the Beurling dimension, and the discrete Hausdorff dimension of its forward orbits and invariant sets.","one_line_summary":"Reverse IFS invariant sets are unions of forward orbits whose dimensions equal those of the dual contractive attractor, with explicit asymptotic densities from renewal theory in non-arithmetic and arithmetic cases, and matching p-adic box dimensions.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The orbit is non-overlapping and uniformly discrete when applying renewal theory to obtain the precise asymptotic central density (explicit constant in non-arithmetic case, multiplicatively periodic in arithmetic case).","pith_extraction_headline":"Reverse iterated function systems have explicit dimension formulas for their forward orbits and invariant sets."},"references":{"count":48,"sample":[{"doi":"","year":2013,"title":"S. Akiyama and V. Komornik. Discrete spectra and Pisot numbers.J. Number Theory133(2013), 375–390","work_id":"a22bc83b-3ec0-4c1a-84ca-ae0c07609f5c","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2007,"title":"M. R. Allen, G. S. H. Cruttwell, K. E. Hare, and J.-O. R¨ onning. Dimensions of fractals in the large.Chaos Solitons Fractals31(2007), 5–13","work_id":"f530de7a-37ec-45b6-8be6-61d42d74d61f","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2019,"title":"Asmussen.Applied Probability and Queues","work_id":"22e9a20c-1043-4f35-9b3f-20337b55d99f","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1966,"title":"A. Baker. Linear forms in the logarithms of algebraic numbers.Mathematika13(1966), 204–216","work_id":"2a2816fa-bdcf-4586-a630-2780ca173635","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2019,"title":"B´ ar´ any, M","work_id":"381c74b4-da60-4a8a-ad6a-a3528a52ea3a","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":48,"snapshot_sha256":"18277603746e936d54ca312d049ea13c15fb5ff1f2659abb6c40ac910ac62b76","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"5c1dd5d70d78149269ab4362e111264db411efd682864ecce4fc0ff79f1bc69e"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"1bcea33f-93b1-48fb-99c0-ae4cbac0ec32"},"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:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2NrJ9Be/SEnbt0rEBH69Z8QbhG2JS8uSL92IcvUn//hIa42IRezxolXx1wsNIxD8kohpbu4s4A90XrM++4aWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T08:37:07.676407Z"},"content_sha256":"cb1c31add0c7a69b71260adcb2db6c0ebeee61a0b79a32a9248474846274df0e","schema_version":"1.0","event_id":"sha256:cb1c31add0c7a69b71260adcb2db6c0ebeee61a0b79a32a9248474846274df0e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP/bundle.json","state_url":"https://pith.science/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP/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-09T08:37:07Z","links":{"resolver":"https://pith.science/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP","bundle":"https://pith.science/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP/bundle.json","state":"https://pith.science/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2HHYKOM3SGOX6SPMVE3WBC5BIP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2HHYKOM3SGOX6SPMVE3WBC5BIP","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":"7f572168991b139782d76491ce8da00a4442afc174dcae08061320a82177c9df","cross_cats_sorted":["math.FA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T06:54:59Z","title_canon_sha256":"3fd8415e0a376ba89f29784afd5995879a4b3a32a03cf29e57dbe50b76de0861"},"schema_version":"1.0","source":{"id":"2605.13085","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13085","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13085v1","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13085","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"2HHYKOM3SGOX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"2HHYKOM3SGOX6SPM","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"2HHYKOM3","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:cb1c31add0c7a69b71260adcb2db6c0ebeee61a0b79a32a9248474846274df0e","target":"graph","created_at":"2026-05-18T03:08:58Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We provide a complete solution to the determination of the general dimension formulas of invariant sets for reverse iterated function systems, determining the upper and lower mass dimensions, the Beurling dimension, and the discrete Hausdorff dimension of its forward orbits and invariant sets."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The orbit is non-overlapping and uniformly discrete when applying renewal theory to obtain the precise asymptotic central density (explicit constant in non-arithmetic case, multiplicatively periodic in arithmetic case)."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Reverse IFS invariant sets are unions of forward orbits whose dimensions equal those of the dual contractive attractor, with explicit asymptotic densities from renewal theory in non-arithmetic and arithmetic cases, and matching p-adic box dimensions."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Reverse iterated function systems have explicit dimension formulas for their forward orbits and invariant sets."}],"snapshot_sha256":"48365533fc055f8fa7376e4f4310967c378fa4620f8bce955f1b2d03ec041110"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"5c1dd5d70d78149269ab4362e111264db411efd682864ecce4fc0ff79f1bc69e"},"paper":{"abstract_excerpt":"In 1996, Strichartz introduced reverse iterated function systems (RIFS) $\\mathcal{F}=\\{f_i(x)=r_i x+b_i\\}_{i=1}^m$ of expanding mappings on $\\mathbb{Z}$ and left the determination of the general dimension formulas of invariant sets as an open problem. In this paper we study the topological and geometric properties as well as the dimensions of the forward orbits generated by such systems, thereby providing a complete solution.\n  We first work in a general locally compact complete metric space to show that the non-empty invariant sets of $\\mathcal{F}$ are unions of forward orbits, along with giv","authors_text":"Junjie Miao, Minghui Xu","cross_cats":["math.FA"],"headline":"Reverse iterated function systems have explicit dimension formulas for their forward orbits and invariant sets.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T06:54:59Z","title":"Reverse Iterated Function Systems: Density, Dimensions, and $p$-adic Extension"},"references":{"count":48,"internal_anchors":0,"resolved_work":48,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"S. Akiyama and V. Komornik. Discrete spectra and Pisot numbers.J. Number Theory133(2013), 375–390","work_id":"a22bc83b-3ec0-4c1a-84ca-ae0c07609f5c","year":2013},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"M. R. Allen, G. S. H. Cruttwell, K. E. Hare, and J.-O. R¨ onning. Dimensions of fractals in the large.Chaos Solitons Fractals31(2007), 5–13","work_id":"f530de7a-37ec-45b6-8be6-61d42d74d61f","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Asmussen.Applied Probability and Queues","work_id":"22e9a20c-1043-4f35-9b3f-20337b55d99f","year":2019},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"A. Baker. Linear forms in the logarithms of algebraic numbers.Mathematika13(1966), 204–216","work_id":"2a2816fa-bdcf-4586-a630-2780ca173635","year":1966},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"B´ ar´ any, M","work_id":"381c74b4-da60-4a8a-ad6a-a3528a52ea3a","year":2019}],"snapshot_sha256":"18277603746e936d54ca312d049ea13c15fb5ff1f2659abb6c40ac910ac62b76"},"source":{"id":"2605.13085","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T18:46:45.405907Z","id":"1bcea33f-93b1-48fb-99c0-ae4cbac0ec32","model_set":{"reader":"grok-4.3"},"one_line_summary":"Reverse IFS invariant sets are unions of forward orbits whose dimensions equal those of the dual contractive attractor, with explicit asymptotic densities from renewal theory in non-arithmetic and arithmetic cases, and matching p-adic box dimensions.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Reverse iterated function systems have explicit dimension formulas for their forward orbits and invariant sets.","strongest_claim":"We provide a complete solution to the determination of the general dimension formulas of invariant sets for reverse iterated function systems, determining the upper and lower mass dimensions, the Beurling dimension, and the discrete Hausdorff dimension of its forward orbits and invariant sets.","weakest_assumption":"The orbit is non-overlapping and uniformly discrete when applying renewal theory to obtain the precise asymptotic central density (explicit constant in non-arithmetic case, multiplicatively periodic in arithmetic case)."}},"verdict_id":"1bcea33f-93b1-48fb-99c0-ae4cbac0ec32"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b013dad9a7b0f46208bc16192237c27dd33607950ca7a9646b2355c83d4e1b90","target":"record","created_at":"2026-05-18T03:08:58Z","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":"7f572168991b139782d76491ce8da00a4442afc174dcae08061320a82177c9df","cross_cats_sorted":["math.FA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DS","submitted_at":"2026-05-13T06:54:59Z","title_canon_sha256":"3fd8415e0a376ba89f29784afd5995879a4b3a32a03cf29e57dbe50b76de0861"},"schema_version":"1.0","source":{"id":"2605.13085","kind":"arxiv","version":1}},"canonical_sha256":"d1cf85399b919d7f49eca937608ba143edc643b619456e9fdfb21e8c46e9f310","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1cf85399b919d7f49eca937608ba143edc643b619456e9fdfb21e8c46e9f310","first_computed_at":"2026-05-18T03:08:58.562983Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:58.562983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0FALYBGB6ZXQJCdAHMIujg/katpqd0obhJieoln+CBk89uUc4IAHtFFgJSpkCeMXuUEfQmNjhj+5M4nshLfJCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:58.563697Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13085","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b013dad9a7b0f46208bc16192237c27dd33607950ca7a9646b2355c83d4e1b90","sha256:cb1c31add0c7a69b71260adcb2db6c0ebeee61a0b79a32a9248474846274df0e"],"state_sha256":"6360159567f9119566e5ccf72cf724cc75d6c90509c514789c8a23ce4037c58a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R5aiEa2/lco2/IbWeiznRdn3gBfaA35PX9mWXXPPBJrhHmTg4S32JWS+23lqC3SdJtQ1R2GIUxMLJGdb1r0NBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T08:37:07.680970Z","bundle_sha256":"ca622da1d3f981d7b44692ed82badbc5ffc4d5b05e79eae22e49c8f95a31df99"}}