{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:QKVMMJ4CMDU2JLRDGDTX2SPUCK","short_pith_number":"pith:QKVMMJ4C","canonical_record":{"source":{"id":"math/0501162","kind":"arxiv","version":4},"metadata":{"license":"","primary_cat":"math.NT","submitted_at":"2005-01-11T16:44:14Z","cross_cats_sorted":["math-ph","math.MP","nlin.SI"],"title_canon_sha256":"8f192ebaf38e92956ee555ab95c4704e13849628388a860be033e2bf6b7f86cb","abstract_canon_sha256":"eddd93c6c1e96eb7399a9ee14c20ea069dc1b53f70e0db38db46b7f58cb5b4f5"},"schema_version":"1.0"},"canonical_sha256":"82aac6278260e9a4ae2330e77d49f41293552596dc0746a5378cf96dfa5d8d5c","source":{"kind":"arxiv","id":"math/0501162","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0501162","created_at":"2026-05-18T01:38:26Z"},{"alias_kind":"arxiv_version","alias_value":"math/0501162v4","created_at":"2026-05-18T01:38:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0501162","created_at":"2026-05-18T01:38:26Z"},{"alias_kind":"pith_short_12","alias_value":"QKVMMJ4CMDU2","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"QKVMMJ4CMDU2JLRD","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"QKVMMJ4C","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:QKVMMJ4CMDU2JLRDGDTX2SPUCK","target":"record","payload":{"canonical_record":{"source":{"id":"math/0501162","kind":"arxiv","version":4},"metadata":{"license":"","primary_cat":"math.NT","submitted_at":"2005-01-11T16:44:14Z","cross_cats_sorted":["math-ph","math.MP","nlin.SI"],"title_canon_sha256":"8f192ebaf38e92956ee555ab95c4704e13849628388a860be033e2bf6b7f86cb","abstract_canon_sha256":"eddd93c6c1e96eb7399a9ee14c20ea069dc1b53f70e0db38db46b7f58cb5b4f5"},"schema_version":"1.0"},"canonical_sha256":"82aac6278260e9a4ae2330e77d49f41293552596dc0746a5378cf96dfa5d8d5c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:38:26.962653Z","signature_b64":"THq0qoh+z0incVBJ7vUinAu+McfP3A5CTiJni6gDQaWiVmjAqFFsH+7oAYv6UXj/nU9Jcz5RL0yBVq4/jUGfDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82aac6278260e9a4ae2330e77d49f41293552596dc0746a5378cf96dfa5d8d5c","last_reissued_at":"2026-05-18T01:38:26.962016Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:38:26.962016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0501162","source_version":4,"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:38:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DA4Dfh5YhzX7ivsNWxXP7ceZI2hvLQ0PKJkr5gm6b2Lzd+40jBo1S2ez9EIZrZgwGFxqqGjwDcwYoeh8QsifAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:42:42.513687Z"},"content_sha256":"fccb48e8b0966651b4e00d996bb2b7a61263000a29248aa6d2d755f7e29ce6d1","schema_version":"1.0","event_id":"sha256:fccb48e8b0966651b4e00d996bb2b7a61263000a29248aa6d2d755f7e29ce6d1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:QKVMMJ4CMDU2JLRDGDTX2SPUCK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bilinear recurrences and addition formulae for hyperelliptic sigma functions","license":"","headline":"","cross_cats":["math-ph","math.MP","nlin.SI"],"primary_cat":"math.NT","authors_text":"Andrew N.W. Hone, Harry W. Braden, Victor Z. Enolskii","submitted_at":"2005-01-11T16:44:14Z","abstract_excerpt":"The Somos 4 sequences are a family of sequences satisfying a fourth order bilinear recurrence relation. In recent work, one of us has proved that the general term in such sequences can be expressed in terms of the Weierstrass sigma function for an associated elliptic curve. Here we derive the analogous family of sequences associated with an hyperelliptic curve of genus two defined by the affine model $y^2=4x^5+c_4 x^4+ ... +c_1 x+c_0$. We show that the recurrence sequences associated with such curves satisfy bilinear recurrences of order 8. The proof requires an addition formula which involves"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0501162","kind":"arxiv","version":4},"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:38:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wXwhCShKpzYrdiPMmYZRO5LEoOVSzvs9weHRr4/MCC+DsdysWhR9DyxH1yDYcEyziAltJxpF4geJOBwF+KGdBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:42:42.514052Z"},"content_sha256":"b227f967189a6c02f40fa62e50b64265861b813461535ce132d270bde15997c9","schema_version":"1.0","event_id":"sha256:b227f967189a6c02f40fa62e50b64265861b813461535ce132d270bde15997c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK/bundle.json","state_url":"https://pith.science/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK/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-02T04:42:42Z","links":{"resolver":"https://pith.science/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK","bundle":"https://pith.science/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK/bundle.json","state":"https://pith.science/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QKVMMJ4CMDU2JLRDGDTX2SPUCK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:QKVMMJ4CMDU2JLRDGDTX2SPUCK","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":"eddd93c6c1e96eb7399a9ee14c20ea069dc1b53f70e0db38db46b7f58cb5b4f5","cross_cats_sorted":["math-ph","math.MP","nlin.SI"],"license":"","primary_cat":"math.NT","submitted_at":"2005-01-11T16:44:14Z","title_canon_sha256":"8f192ebaf38e92956ee555ab95c4704e13849628388a860be033e2bf6b7f86cb"},"schema_version":"1.0","source":{"id":"math/0501162","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0501162","created_at":"2026-05-18T01:38:26Z"},{"alias_kind":"arxiv_version","alias_value":"math/0501162v4","created_at":"2026-05-18T01:38:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0501162","created_at":"2026-05-18T01:38:26Z"},{"alias_kind":"pith_short_12","alias_value":"QKVMMJ4CMDU2","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"QKVMMJ4CMDU2JLRD","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"QKVMMJ4C","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:b227f967189a6c02f40fa62e50b64265861b813461535ce132d270bde15997c9","target":"graph","created_at":"2026-05-18T01:38:26Z","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":"The Somos 4 sequences are a family of sequences satisfying a fourth order bilinear recurrence relation. In recent work, one of us has proved that the general term in such sequences can be expressed in terms of the Weierstrass sigma function for an associated elliptic curve. Here we derive the analogous family of sequences associated with an hyperelliptic curve of genus two defined by the affine model $y^2=4x^5+c_4 x^4+ ... +c_1 x+c_0$. We show that the recurrence sequences associated with such curves satisfy bilinear recurrences of order 8. The proof requires an addition formula which involves","authors_text":"Andrew N.W. Hone, Harry W. Braden, Victor Z. Enolskii","cross_cats":["math-ph","math.MP","nlin.SI"],"headline":"","license":"","primary_cat":"math.NT","submitted_at":"2005-01-11T16:44:14Z","title":"Bilinear recurrences and addition formulae for hyperelliptic sigma functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0501162","kind":"arxiv","version":4},"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:fccb48e8b0966651b4e00d996bb2b7a61263000a29248aa6d2d755f7e29ce6d1","target":"record","created_at":"2026-05-18T01:38:26Z","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":"eddd93c6c1e96eb7399a9ee14c20ea069dc1b53f70e0db38db46b7f58cb5b4f5","cross_cats_sorted":["math-ph","math.MP","nlin.SI"],"license":"","primary_cat":"math.NT","submitted_at":"2005-01-11T16:44:14Z","title_canon_sha256":"8f192ebaf38e92956ee555ab95c4704e13849628388a860be033e2bf6b7f86cb"},"schema_version":"1.0","source":{"id":"math/0501162","kind":"arxiv","version":4}},"canonical_sha256":"82aac6278260e9a4ae2330e77d49f41293552596dc0746a5378cf96dfa5d8d5c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82aac6278260e9a4ae2330e77d49f41293552596dc0746a5378cf96dfa5d8d5c","first_computed_at":"2026-05-18T01:38:26.962016Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:38:26.962016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"THq0qoh+z0incVBJ7vUinAu+McfP3A5CTiJni6gDQaWiVmjAqFFsH+7oAYv6UXj/nU9Jcz5RL0yBVq4/jUGfDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:38:26.962653Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0501162","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fccb48e8b0966651b4e00d996bb2b7a61263000a29248aa6d2d755f7e29ce6d1","sha256:b227f967189a6c02f40fa62e50b64265861b813461535ce132d270bde15997c9"],"state_sha256":"88b8ae17910a7158669baa3e2ebf8369ca5c4585d1bf63ee93aea1d3d17f09c8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kn6r0tNx0lbqm7sU7ufo2vqAMmpMSCkGKaDzDeoFWQpNvK5Yj/KApcc/bp1dFf/gikREki8yfgWwb0DisNcoCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T04:42:42.516210Z","bundle_sha256":"b090bacb8919f2dc7c079825f20f9986dabe07bd386ba1bc40f9e12d68de1e01"}}