{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:O2HDPW6E6CKPZGALOYZJBTGDYF","short_pith_number":"pith:O2HDPW6E","canonical_record":{"source":{"id":"1608.06404","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-23T07:14:58Z","cross_cats_sorted":[],"title_canon_sha256":"72fb881f60e7f6b105cd38865477e3c622e2bde3eae290f5637cdd2b4075537b","abstract_canon_sha256":"41db9a71b4ecaf4ae25526ab3c9bde8d24ca455a1f37bdf61e68313a2306f21c"},"schema_version":"1.0"},"canonical_sha256":"768e37dbc4f094fc980b763290ccc3c14ecbd5db54d7e6d7ef130f1891a4aa42","source":{"kind":"arxiv","id":"1608.06404","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06404","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06404v2","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06404","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"O2HDPW6E6CKP","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"O2HDPW6E6CKPZGAL","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"O2HDPW6E","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:O2HDPW6E6CKPZGALOYZJBTGDYF","target":"record","payload":{"canonical_record":{"source":{"id":"1608.06404","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-23T07:14:58Z","cross_cats_sorted":[],"title_canon_sha256":"72fb881f60e7f6b105cd38865477e3c622e2bde3eae290f5637cdd2b4075537b","abstract_canon_sha256":"41db9a71b4ecaf4ae25526ab3c9bde8d24ca455a1f37bdf61e68313a2306f21c"},"schema_version":"1.0"},"canonical_sha256":"768e37dbc4f094fc980b763290ccc3c14ecbd5db54d7e6d7ef130f1891a4aa42","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:53.272656Z","signature_b64":"qTdYSYeB5fkAwu+NgGoIQqLWGZndLIbx0sNrlvC/vqMZUajH4rCJrRpIWQXho0AFk6IFLCK9uDmfPi1YfpYjBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"768e37dbc4f094fc980b763290ccc3c14ecbd5db54d7e6d7ef130f1891a4aa42","last_reissued_at":"2026-05-18T01:04:53.272141Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:53.272141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.06404","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-18T01:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Evs4fkvXF8ivees5I2Un6eOTORu2gxcKVTFYmiRTLML9Tx56PzcToLlg6jQ+PLhaao6JeMzmCEcjpyJVy6czAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T00:54:39.028597Z"},"content_sha256":"524c92252bea43d3e1cd43a9a34a4571665c07dea4e5f53b28131cabafe90d7b","schema_version":"1.0","event_id":"sha256:524c92252bea43d3e1cd43a9a34a4571665c07dea4e5f53b28131cabafe90d7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:O2HDPW6E6CKPZGALOYZJBTGDYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polynomials and Second Order Linear Recurrences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Shankar M.Venkatesan, Soumyabrata Pal","submitted_at":"2016-08-23T07:14:58Z","abstract_excerpt":"One of the most interesting results of the last century was the proof completed by Matijasevich that computably enumerable sets are precisely the diophantine sets [MRDP Theorem, 9], thus settling, based on previously developed machinery, Hilbert's question whether there exists a general algorithm for checking the solvability in integers of any diophantine equation. In this paper we describe techniques to prove the nonexistence of polynomials in two variables for some simple generalizations of the Fibonacci sequence (explicit diophantine representation of Fibonacci numbers were known from Jones"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06404","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-18T01:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OOvdo5MD0LFenpu6LEWngHC3NEsfy8DpvdcMa3BOUGmt2Xo8MTPqwf3PnryyEYXmbuTUlvEQjtOEWG4IMJWqCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T00:54:39.028943Z"},"content_sha256":"1d19eb63fcdd3719474106796c2706c8241aa2e6f40941b7374ed863773a5149","schema_version":"1.0","event_id":"sha256:1d19eb63fcdd3719474106796c2706c8241aa2e6f40941b7374ed863773a5149"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O2HDPW6E6CKPZGALOYZJBTGDYF/bundle.json","state_url":"https://pith.science/pith/O2HDPW6E6CKPZGALOYZJBTGDYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O2HDPW6E6CKPZGALOYZJBTGDYF/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-03T00:54:39Z","links":{"resolver":"https://pith.science/pith/O2HDPW6E6CKPZGALOYZJBTGDYF","bundle":"https://pith.science/pith/O2HDPW6E6CKPZGALOYZJBTGDYF/bundle.json","state":"https://pith.science/pith/O2HDPW6E6CKPZGALOYZJBTGDYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O2HDPW6E6CKPZGALOYZJBTGDYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:O2HDPW6E6CKPZGALOYZJBTGDYF","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":"41db9a71b4ecaf4ae25526ab3c9bde8d24ca455a1f37bdf61e68313a2306f21c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-23T07:14:58Z","title_canon_sha256":"72fb881f60e7f6b105cd38865477e3c622e2bde3eae290f5637cdd2b4075537b"},"schema_version":"1.0","source":{"id":"1608.06404","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06404","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06404v2","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06404","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"O2HDPW6E6CKP","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"O2HDPW6E6CKPZGAL","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"O2HDPW6E","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:1d19eb63fcdd3719474106796c2706c8241aa2e6f40941b7374ed863773a5149","target":"graph","created_at":"2026-05-18T01:04:53Z","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":"One of the most interesting results of the last century was the proof completed by Matijasevich that computably enumerable sets are precisely the diophantine sets [MRDP Theorem, 9], thus settling, based on previously developed machinery, Hilbert's question whether there exists a general algorithm for checking the solvability in integers of any diophantine equation. In this paper we describe techniques to prove the nonexistence of polynomials in two variables for some simple generalizations of the Fibonacci sequence (explicit diophantine representation of Fibonacci numbers were known from Jones","authors_text":"Shankar M.Venkatesan, Soumyabrata Pal","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-23T07:14:58Z","title":"Polynomials and Second Order Linear Recurrences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06404","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:524c92252bea43d3e1cd43a9a34a4571665c07dea4e5f53b28131cabafe90d7b","target":"record","created_at":"2026-05-18T01:04:53Z","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":"41db9a71b4ecaf4ae25526ab3c9bde8d24ca455a1f37bdf61e68313a2306f21c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-23T07:14:58Z","title_canon_sha256":"72fb881f60e7f6b105cd38865477e3c622e2bde3eae290f5637cdd2b4075537b"},"schema_version":"1.0","source":{"id":"1608.06404","kind":"arxiv","version":2}},"canonical_sha256":"768e37dbc4f094fc980b763290ccc3c14ecbd5db54d7e6d7ef130f1891a4aa42","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"768e37dbc4f094fc980b763290ccc3c14ecbd5db54d7e6d7ef130f1891a4aa42","first_computed_at":"2026-05-18T01:04:53.272141Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:53.272141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qTdYSYeB5fkAwu+NgGoIQqLWGZndLIbx0sNrlvC/vqMZUajH4rCJrRpIWQXho0AFk6IFLCK9uDmfPi1YfpYjBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:53.272656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.06404","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:524c92252bea43d3e1cd43a9a34a4571665c07dea4e5f53b28131cabafe90d7b","sha256:1d19eb63fcdd3719474106796c2706c8241aa2e6f40941b7374ed863773a5149"],"state_sha256":"26210cc215b07165db64379a46a9be11febc3c27f41523587db4f1e72b91e446"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pqisx4sRBmBxpOFFxb0AHgUEUe+pusNWUyJ2782DypDpZ7qxKDT6mF1/otkpnLK/2r3y/x+h/Q7fbQgn+nVMDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T00:54:39.030883Z","bundle_sha256":"e5b6250d1a17bb90992983965de274fa65ac8ae5b0a957111addeca151889f5c"}}