{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TKELWJQTECOAFCKQGZQEC6IS3K","short_pith_number":"pith:TKELWJQT","canonical_record":{"source":{"id":"1307.2779","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-07-10T12:56:53Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"abb1bf2a6e46ccd2b3cb0dca39977dc01025b595cc111ddb9a99236c1609e71a","abstract_canon_sha256":"bfcbdcaef42ee43db575241610a9f1bcc82faf324f97491aae745f1182ee5ec7"},"schema_version":"1.0"},"canonical_sha256":"9a88bb2613209c0289503660417912da949a83ad9f169b4138541aaaf7bc1be5","source":{"kind":"arxiv","id":"1307.2779","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.2779","created_at":"2026-05-18T03:10:47Z"},{"alias_kind":"arxiv_version","alias_value":"1307.2779v2","created_at":"2026-05-18T03:10:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.2779","created_at":"2026-05-18T03:10:47Z"},{"alias_kind":"pith_short_12","alias_value":"TKELWJQTECOA","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TKELWJQTECOAFCKQ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TKELWJQT","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TKELWJQTECOAFCKQGZQEC6IS3K","target":"record","payload":{"canonical_record":{"source":{"id":"1307.2779","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-07-10T12:56:53Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"abb1bf2a6e46ccd2b3cb0dca39977dc01025b595cc111ddb9a99236c1609e71a","abstract_canon_sha256":"bfcbdcaef42ee43db575241610a9f1bcc82faf324f97491aae745f1182ee5ec7"},"schema_version":"1.0"},"canonical_sha256":"9a88bb2613209c0289503660417912da949a83ad9f169b4138541aaaf7bc1be5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:47.539383Z","signature_b64":"EXL4vhSAfGQaYkQW/UlcqfKOHnFJ9G394DTQroMlqcEnihF75PyhcLELcj9IWAMTUHvUTq+EON17G6NKWi7EBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a88bb2613209c0289503660417912da949a83ad9f169b4138541aaaf7bc1be5","last_reissued_at":"2026-05-18T03:10:47.538520Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:47.538520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.2779","source_version":2,"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:10:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JeEa2qCBFTYU++VDsOoKeOA6+CN0+AmN6uYR5y5krr3HptAdSxd6RVQpuifC+OKSCCaw8E0ASaPeAo/9v98NAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T14:39:17.768821Z"},"content_sha256":"e38d9d404abb8e71bbf7cb5cc2f32d7f24cc178e6c910ef45836de7c9b45ce24","schema_version":"1.0","event_id":"sha256:e38d9d404abb8e71bbf7cb5cc2f32d7f24cc178e6c910ef45836de7c9b45ce24"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TKELWJQTECOAFCKQGZQEC6IS3K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Positivity Problems for Low-Order Linear Recurrence Sequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.DM","authors_text":"James Worrell, Joel Ouaknine","submitted_at":"2013-07-10T12:56:53Z","abstract_excerpt":"We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, with complexity in the Counting Hierarchy for Positivity, and in polynomial time for Ultimate Positivity. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.2779","kind":"arxiv","version":2},"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-18T03:10:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j9xfz9ZZhGkijAzfHeHElUcxhDY2CAXkDUSG3J01OAX5bax08MEg3c8Nlo+mOSh9CE142O986RH2a4o238OvAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T14:39:17.769174Z"},"content_sha256":"4129390721d81fc8f57654eaa83e3aa3f22acd8f541fd054a3cfa89ede5b37d9","schema_version":"1.0","event_id":"sha256:4129390721d81fc8f57654eaa83e3aa3f22acd8f541fd054a3cfa89ede5b37d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TKELWJQTECOAFCKQGZQEC6IS3K/bundle.json","state_url":"https://pith.science/pith/TKELWJQTECOAFCKQGZQEC6IS3K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TKELWJQTECOAFCKQGZQEC6IS3K/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-05-28T14:39:17Z","links":{"resolver":"https://pith.science/pith/TKELWJQTECOAFCKQGZQEC6IS3K","bundle":"https://pith.science/pith/TKELWJQTECOAFCKQGZQEC6IS3K/bundle.json","state":"https://pith.science/pith/TKELWJQTECOAFCKQGZQEC6IS3K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TKELWJQTECOAFCKQGZQEC6IS3K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TKELWJQTECOAFCKQGZQEC6IS3K","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":"bfcbdcaef42ee43db575241610a9f1bcc82faf324f97491aae745f1182ee5ec7","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-07-10T12:56:53Z","title_canon_sha256":"abb1bf2a6e46ccd2b3cb0dca39977dc01025b595cc111ddb9a99236c1609e71a"},"schema_version":"1.0","source":{"id":"1307.2779","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.2779","created_at":"2026-05-18T03:10:47Z"},{"alias_kind":"arxiv_version","alias_value":"1307.2779v2","created_at":"2026-05-18T03:10:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.2779","created_at":"2026-05-18T03:10:47Z"},{"alias_kind":"pith_short_12","alias_value":"TKELWJQTECOA","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TKELWJQTECOAFCKQ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TKELWJQT","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:4129390721d81fc8f57654eaa83e3aa3f22acd8f541fd054a3cfa89ede5b37d9","target":"graph","created_at":"2026-05-18T03:10:47Z","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 consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, with complexity in the Counting Hierarchy for Positivity, and in polynomial time for Ultimate Positivity. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more","authors_text":"James Worrell, Joel Ouaknine","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-07-10T12:56:53Z","title":"Positivity Problems for Low-Order Linear Recurrence Sequences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.2779","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:e38d9d404abb8e71bbf7cb5cc2f32d7f24cc178e6c910ef45836de7c9b45ce24","target":"record","created_at":"2026-05-18T03:10:47Z","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":"bfcbdcaef42ee43db575241610a9f1bcc82faf324f97491aae745f1182ee5ec7","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-07-10T12:56:53Z","title_canon_sha256":"abb1bf2a6e46ccd2b3cb0dca39977dc01025b595cc111ddb9a99236c1609e71a"},"schema_version":"1.0","source":{"id":"1307.2779","kind":"arxiv","version":2}},"canonical_sha256":"9a88bb2613209c0289503660417912da949a83ad9f169b4138541aaaf7bc1be5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a88bb2613209c0289503660417912da949a83ad9f169b4138541aaaf7bc1be5","first_computed_at":"2026-05-18T03:10:47.538520Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:47.538520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EXL4vhSAfGQaYkQW/UlcqfKOHnFJ9G394DTQroMlqcEnihF75PyhcLELcj9IWAMTUHvUTq+EON17G6NKWi7EBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:47.539383Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.2779","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e38d9d404abb8e71bbf7cb5cc2f32d7f24cc178e6c910ef45836de7c9b45ce24","sha256:4129390721d81fc8f57654eaa83e3aa3f22acd8f541fd054a3cfa89ede5b37d9"],"state_sha256":"b59bed9d918b1f365754080b7579152889c5dec4539d55acada27e59b488379b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BrjfeC17FG4eCZA4/it7062KrJrJNOmACYu0IebWp5TjnfzxGznEc+EBxgcLYrYSIGCQJty+T1kuE6arGkAOAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T14:39:17.771245Z","bundle_sha256":"4bff1a1ca294a936f51f72b6ffb7ed78c7b99ba8f969f644e77814fa84e7d78c"}}