{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FFUXJBQYJ5EN5LXGU5CGIQ7FNG","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0497009d330b50d64027c48d200f5730c050bec7ae07c732a07084156597926a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T15:25:12Z","title_canon_sha256":"545ca7762cf22780b4c63214f1a170e3084563afd35d3bf9cd43fee7aa11522d"},"schema_version":"1.0","source":{"id":"2605.14955","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14955","created_at":"2026-05-17T23:38:55Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14955v1","created_at":"2026-05-17T23:38:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14955","created_at":"2026-05-17T23:38:55Z"},{"alias_kind":"pith_short_12","alias_value":"FFUXJBQYJ5EN","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"FFUXJBQYJ5EN5LXG","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"FFUXJBQY","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:45cb894332de6be8f612c8ac8dccbcccd8dfe932878d4a16aa8cfeb2863b6857","target":"graph","created_at":"2026-05-17T23:38:55Z","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 prove that the number RP(w) of distinct rational power factors of w satisfies RP(w)≤1/8 n² + O(n)"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The graph-theoretic representation together with the word equations fully captures every possible finite word and every possible rational power factor without omissions or overcounting."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"The maximum number of distinct rational power factors in a word of length n is at most (1/8)n² + O(n)."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A finite word of length n contains at most one-eighth n squared plus lower-order terms distinct rational power factors."}],"snapshot_sha256":"2686e557d667dcac9deb38302826e272676179f45207459c1c443a1a037ab342"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"be8a7ec1f6272b1c3d768562fd5e1281e4894ce581d34910b1519cf2001ac1ca"},"paper":{"abstract_excerpt":"Let $w$ be a finite word of length $n$. In this paper, we study the maximum possible number of distinct rational power factors in a finite word. A rational power is a word of the form $u=p^kp'$, where $p$ is a nonempty finite word, $k$ is an integer larger than $1$, $p^k$ is a concatenation of $k$ copies of $p$ and $p'$ is a prefix of $p$. The rational powers can be recognized as a generalization of $k$-powers, and it is proved in [Li,Pachocki,Radoszewski 24] that, the number $C_k(w)$ of distinct $k$-powers in $w$ satisfies $C_k(w) \\leq \\frac{n-1}{k-1}$. However, the number of rational powers ","authors_text":"Shuo Li, Yuan Song","cross_cats":[],"headline":"A finite word of length n contains at most one-eighth n squared plus lower-order terms distinct rational power factors.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T15:25:12Z","title":"On the Number of Rational Power Factors in a Finite Word"},"references":{"count":171,"internal_anchors":0,"resolved_work":171,"sample":[{"cited_arxiv_id":"","doi":"10.1007/11505877","is_internal_anchor":false,"ref_index":1,"title":"Bidimensional Sturmian Sequences and Substitutions , Url =","work_id":"4c604755-5bac-4c9d-9351-bc5fbb83acf9","year":2005},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Ali Aberkane and Sre. Suites de m. Actes des Journ","work_id":"f5c8d6ba-180a-47a2-81bf-7069517c72a2","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Reversals and palindromes in continued fractions , Volume =","work_id":"9d118cc7-1114-465e-a844-ddaf5d56ea29","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Palindromic continued fractions , Volume =","work_id":"94d436de-3abc-4567-931f-e51d48ea64e4","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"On Repeated Factors in","work_id":"220afaf3-514b-49e3-8b9d-52e920c56992","year":null}],"snapshot_sha256":"f68cfcb3e4ddd595b3d5c3fe85411d054164406cef677b462a8c42948bed8dde"},"source":{"id":"2605.14955","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T03:16:04.714835Z","id":"e62748b8-27d7-479d-9466-8c33f3d610bb","model_set":{"reader":"grok-4.3"},"one_line_summary":"The maximum number of distinct rational power factors in a word of length n is at most (1/8)n² + O(n).","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A finite word of length n contains at most one-eighth n squared plus lower-order terms distinct rational power factors.","strongest_claim":"we prove that the number RP(w) of distinct rational power factors of w satisfies RP(w)≤1/8 n² + O(n)","weakest_assumption":"The graph-theoretic representation together with the word equations fully captures every possible finite word and every possible rational power factor without omissions or overcounting."}},"verdict_id":"e62748b8-27d7-479d-9466-8c33f3d610bb"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:85a6e186eb75de1a9475ac1f4b18db419b74f0b6773b7502a63345cc483f79fd","target":"record","created_at":"2026-05-17T23:38:55Z","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":"0497009d330b50d64027c48d200f5730c050bec7ae07c732a07084156597926a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T15:25:12Z","title_canon_sha256":"545ca7762cf22780b4c63214f1a170e3084563afd35d3bf9cd43fee7aa11522d"},"schema_version":"1.0","source":{"id":"2605.14955","kind":"arxiv","version":1}},"canonical_sha256":"29697486184f48deaee6a7446443e5699fde12e99095f2b3e8469b64e7e84d51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29697486184f48deaee6a7446443e5699fde12e99095f2b3e8469b64e7e84d51","first_computed_at":"2026-05-17T23:38:55.347424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:55.347424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C6+KigHowZOWL+IKG3v28rKOFRP+G12Of/lLcLdqdeMz8PaZYm33dBZIck1bKGLDDZ/QUPAnDZHggpcx04ELCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:55.348091Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14955","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85a6e186eb75de1a9475ac1f4b18db419b74f0b6773b7502a63345cc483f79fd","sha256:45cb894332de6be8f612c8ac8dccbcccd8dfe932878d4a16aa8cfeb2863b6857","sha256:ef42aeb85c879068f148981822e2801c6cb085b53c08f6ba5d3b58fda1716298"],"state_sha256":"04c89f6c7278106f3beaca0bbf1a299db1225f06bca4455609a704cc111e34ac"}