{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:BKY5TZFW4XRJQ6U6L3BW4JX7AK","short_pith_number":"pith:BKY5TZFW","canonical_record":{"source":{"id":"1608.05820","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NT","submitted_at":"2016-08-20T13:24:44Z","cross_cats_sorted":[],"title_canon_sha256":"eed5d3e3133f780bb9d53e2d03391bd0c5759009b89fc4f73e43be98988eae55","abstract_canon_sha256":"a40ca8e63afcf3071dd2e5436e7c8e72f0ca3c33b49521db1dfd312fa8116906"},"schema_version":"1.0"},"canonical_sha256":"0ab1d9e4b6e5e2987a9e5ec36e26ff029482e1aae6f8e3014fc45460f5167038","source":{"kind":"arxiv","id":"1608.05820","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05820","created_at":"2026-05-18T01:08:23Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05820v1","created_at":"2026-05-18T01:08:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05820","created_at":"2026-05-18T01:08:23Z"},{"alias_kind":"pith_short_12","alias_value":"BKY5TZFW4XRJ","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"BKY5TZFW4XRJQ6U6","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"BKY5TZFW","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:BKY5TZFW4XRJQ6U6L3BW4JX7AK","target":"record","payload":{"canonical_record":{"source":{"id":"1608.05820","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NT","submitted_at":"2016-08-20T13:24:44Z","cross_cats_sorted":[],"title_canon_sha256":"eed5d3e3133f780bb9d53e2d03391bd0c5759009b89fc4f73e43be98988eae55","abstract_canon_sha256":"a40ca8e63afcf3071dd2e5436e7c8e72f0ca3c33b49521db1dfd312fa8116906"},"schema_version":"1.0"},"canonical_sha256":"0ab1d9e4b6e5e2987a9e5ec36e26ff029482e1aae6f8e3014fc45460f5167038","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:23.125646Z","signature_b64":"PWZHca24ONj9Ql498zqy4QDSpPDmArujqz9wjDrjH74wffFXZ49jKuLQLzypCn3CszobC42nR6I1N5oG5/h/Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ab1d9e4b6e5e2987a9e5ec36e26ff029482e1aae6f8e3014fc45460f5167038","last_reissued_at":"2026-05-18T01:08:23.124988Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:23.124988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.05820","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-18T01:08:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"92SaIjC3btiQRN9OlYYzERWZ5oH+3LTODjT/GX49A1hIb8tKaJP+H45OzIQGlfblAHV6bqXzEQLDq/Svy+hyAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T00:34:28.345092Z"},"content_sha256":"e6401a85a58793bb0f0de9c3b40d4d3588eb2e29752aabf0e9c9abc082de7c6e","schema_version":"1.0","event_id":"sha256:e6401a85a58793bb0f0de9c3b40d4d3588eb2e29752aabf0e9c9abc082de7c6e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:BKY5TZFW4XRJQ6U6L3BW4JX7AK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generalized Vandermonde Determinants and Characterization of Divisibility Sequences","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Stefano Barbero","submitted_at":"2016-08-20T13:24:44Z","abstract_excerpt":"We present a different proof of the characterization of non--degenerate recurrence sequences, which are also divisibility sequences, given by Van der Poorten, Bezevin, and Petho in their paper \"A Full Characterisation of Divisibility Sequence\". Our proof is based on an interesting determinant identity related to impulse sequences, arising from the evaluation of a generalized Vandermonde determinant. As a consequence of this new proof we can find a more precise form for the resultant sequence presented in their paper, in the general case of non--degenerate divisibility sequences having minimal "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05820","kind":"arxiv","version":1},"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:08:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2pzibokx/UheMTvncpLFUL0osYi+2Up7u6EKMF6syaVK1sgSEM7bBz5kYgd6qtjViefvYEajUEODRbcG1J3SAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T00:34:28.345438Z"},"content_sha256":"434b58e537d8a0ac65990de1ccf64d7ca65cf608af5f5544d1112faacd33f5f2","schema_version":"1.0","event_id":"sha256:434b58e537d8a0ac65990de1ccf64d7ca65cf608af5f5544d1112faacd33f5f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK/bundle.json","state_url":"https://pith.science/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK/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-27T00:34:28Z","links":{"resolver":"https://pith.science/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK","bundle":"https://pith.science/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK/bundle.json","state":"https://pith.science/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BKY5TZFW4XRJQ6U6L3BW4JX7AK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:BKY5TZFW4XRJQ6U6L3BW4JX7AK","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":"a40ca8e63afcf3071dd2e5436e7c8e72f0ca3c33b49521db1dfd312fa8116906","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NT","submitted_at":"2016-08-20T13:24:44Z","title_canon_sha256":"eed5d3e3133f780bb9d53e2d03391bd0c5759009b89fc4f73e43be98988eae55"},"schema_version":"1.0","source":{"id":"1608.05820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05820","created_at":"2026-05-18T01:08:23Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05820v1","created_at":"2026-05-18T01:08:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05820","created_at":"2026-05-18T01:08:23Z"},{"alias_kind":"pith_short_12","alias_value":"BKY5TZFW4XRJ","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"BKY5TZFW4XRJQ6U6","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"BKY5TZFW","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:434b58e537d8a0ac65990de1ccf64d7ca65cf608af5f5544d1112faacd33f5f2","target":"graph","created_at":"2026-05-18T01:08:23Z","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 present a different proof of the characterization of non--degenerate recurrence sequences, which are also divisibility sequences, given by Van der Poorten, Bezevin, and Petho in their paper \"A Full Characterisation of Divisibility Sequence\". Our proof is based on an interesting determinant identity related to impulse sequences, arising from the evaluation of a generalized Vandermonde determinant. As a consequence of this new proof we can find a more precise form for the resultant sequence presented in their paper, in the general case of non--degenerate divisibility sequences having minimal ","authors_text":"Stefano Barbero","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NT","submitted_at":"2016-08-20T13:24:44Z","title":"Generalized Vandermonde Determinants and Characterization of Divisibility Sequences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05820","kind":"arxiv","version":1},"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:e6401a85a58793bb0f0de9c3b40d4d3588eb2e29752aabf0e9c9abc082de7c6e","target":"record","created_at":"2026-05-18T01:08:23Z","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":"a40ca8e63afcf3071dd2e5436e7c8e72f0ca3c33b49521db1dfd312fa8116906","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.NT","submitted_at":"2016-08-20T13:24:44Z","title_canon_sha256":"eed5d3e3133f780bb9d53e2d03391bd0c5759009b89fc4f73e43be98988eae55"},"schema_version":"1.0","source":{"id":"1608.05820","kind":"arxiv","version":1}},"canonical_sha256":"0ab1d9e4b6e5e2987a9e5ec36e26ff029482e1aae6f8e3014fc45460f5167038","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ab1d9e4b6e5e2987a9e5ec36e26ff029482e1aae6f8e3014fc45460f5167038","first_computed_at":"2026-05-18T01:08:23.124988Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:23.124988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PWZHca24ONj9Ql498zqy4QDSpPDmArujqz9wjDrjH74wffFXZ49jKuLQLzypCn3CszobC42nR6I1N5oG5/h/Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:23.125646Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6401a85a58793bb0f0de9c3b40d4d3588eb2e29752aabf0e9c9abc082de7c6e","sha256:434b58e537d8a0ac65990de1ccf64d7ca65cf608af5f5544d1112faacd33f5f2"],"state_sha256":"ba6ac6dc5f0c4bc53eeab5f3e9b7bd14f5c6c4390ad4a92f11237c0e915cd4f8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KQx5zk8wgT1pPb7D/9lBRZYjE4AUF6E3jK9+kz+4A9eXGoK/0SegTaRceoie6QRAp7U90BK5Os8SXsbQT+b1Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T00:34:28.347255Z","bundle_sha256":"97f298ff7b9d4a7eb482785369e83dca020d7d0cc7ca37bdd22dd24845a7f1a5"}}