{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:G4TDERNX4A5JMJK4LDNO7PZLV7","short_pith_number":"pith:G4TDERNX","canonical_record":{"source":{"id":"1709.03380","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-09-11T13:56:41Z","cross_cats_sorted":[],"title_canon_sha256":"b9dc7881dfc44fcc04fa726b147fd8ff84d42ade1f7ff02169e75c5448385ec2","abstract_canon_sha256":"107e56e9e09b671ca3144e657b51c052eed7d95ebd660510b8228e0405db470d"},"schema_version":"1.0"},"canonical_sha256":"37263245b7e03a96255c58daefbf2bafe9595f430df83c17037befb586351619","source":{"kind":"arxiv","id":"1709.03380","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.03380","created_at":"2026-05-18T00:15:37Z"},{"alias_kind":"arxiv_version","alias_value":"1709.03380v2","created_at":"2026-05-18T00:15:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03380","created_at":"2026-05-18T00:15:37Z"},{"alias_kind":"pith_short_12","alias_value":"G4TDERNX4A5J","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"G4TDERNX4A5JMJK4","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"G4TDERNX","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:G4TDERNX4A5JMJK4LDNO7PZLV7","target":"record","payload":{"canonical_record":{"source":{"id":"1709.03380","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-09-11T13:56:41Z","cross_cats_sorted":[],"title_canon_sha256":"b9dc7881dfc44fcc04fa726b147fd8ff84d42ade1f7ff02169e75c5448385ec2","abstract_canon_sha256":"107e56e9e09b671ca3144e657b51c052eed7d95ebd660510b8228e0405db470d"},"schema_version":"1.0"},"canonical_sha256":"37263245b7e03a96255c58daefbf2bafe9595f430df83c17037befb586351619","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:37.394018Z","signature_b64":"yStLrcTEvg9tO6FfrB3ScOxM5Uq0U8UnATBA8ZyvCA0JEXPvQymUwkOIIgSWeQtDrqS949hZY1akPZuIPJMODw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37263245b7e03a96255c58daefbf2bafe9595f430df83c17037befb586351619","last_reissued_at":"2026-05-18T00:15:37.393454Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:37.393454Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.03380","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-18T00:15:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zeaPA/GciDo+yXPEsZ7W03aE6Jt5m66gqFVzhnhayHomraTz9J690oHOhOF8y191orYdkPjodhEz/dkeZ2GkDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T22:07:51.609656Z"},"content_sha256":"2ef89baf01a9cb12cd0518847dd7bb885ca2f7d598f084a986c54bc5810bc8a7","schema_version":"1.0","event_id":"sha256:2ef89baf01a9cb12cd0518847dd7bb885ca2f7d598f084a986c54bc5810bc8a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:G4TDERNX4A5JMJK4LDNO7PZLV7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Construction of divisible formal weight enumerators and extremal polynomials not satisfying the Riemann hypothesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Koji Chinen","submitted_at":"2017-09-11T13:56:41Z","abstract_excerpt":"The formal weight enumerators were first introduced by M. Ozeki. They form a ring of invariant polynomials which is similar to that of the weight enumerators of Type II codes. Later, the zeta functions for linear codes were discovered and their theory was developed by I. Duursma. It was generalized to certain invariant polynomials including Ozeki's formal weight enumerators by the present author. One of the famous and important problems is whether extremal weight enumerators satisfy the Riemann hypothesis. In this paper, first we formulate the notion of divisible formal weight enumerators and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03380","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-18T00:15:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/tD+TASeRd6csk51FfoA6iehW0vCDN7X2dtaJpkVUjeoUBx2lyRMQG3qPjF8NI84FnltAmV5wdEsm1lbUo1PBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T22:07:51.609989Z"},"content_sha256":"71ec36dea7724f28b11f4f6702803aa0d39095ddc5796e34349668ec4515b9d5","schema_version":"1.0","event_id":"sha256:71ec36dea7724f28b11f4f6702803aa0d39095ddc5796e34349668ec4515b9d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G4TDERNX4A5JMJK4LDNO7PZLV7/bundle.json","state_url":"https://pith.science/pith/G4TDERNX4A5JMJK4LDNO7PZLV7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G4TDERNX4A5JMJK4LDNO7PZLV7/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-07-04T22:07:51Z","links":{"resolver":"https://pith.science/pith/G4TDERNX4A5JMJK4LDNO7PZLV7","bundle":"https://pith.science/pith/G4TDERNX4A5JMJK4LDNO7PZLV7/bundle.json","state":"https://pith.science/pith/G4TDERNX4A5JMJK4LDNO7PZLV7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G4TDERNX4A5JMJK4LDNO7PZLV7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:G4TDERNX4A5JMJK4LDNO7PZLV7","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":"107e56e9e09b671ca3144e657b51c052eed7d95ebd660510b8228e0405db470d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-09-11T13:56:41Z","title_canon_sha256":"b9dc7881dfc44fcc04fa726b147fd8ff84d42ade1f7ff02169e75c5448385ec2"},"schema_version":"1.0","source":{"id":"1709.03380","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.03380","created_at":"2026-05-18T00:15:37Z"},{"alias_kind":"arxiv_version","alias_value":"1709.03380v2","created_at":"2026-05-18T00:15:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03380","created_at":"2026-05-18T00:15:37Z"},{"alias_kind":"pith_short_12","alias_value":"G4TDERNX4A5J","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"G4TDERNX4A5JMJK4","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"G4TDERNX","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:71ec36dea7724f28b11f4f6702803aa0d39095ddc5796e34349668ec4515b9d5","target":"graph","created_at":"2026-05-18T00:15:37Z","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 formal weight enumerators were first introduced by M. Ozeki. They form a ring of invariant polynomials which is similar to that of the weight enumerators of Type II codes. Later, the zeta functions for linear codes were discovered and their theory was developed by I. Duursma. It was generalized to certain invariant polynomials including Ozeki's formal weight enumerators by the present author. One of the famous and important problems is whether extremal weight enumerators satisfy the Riemann hypothesis. In this paper, first we formulate the notion of divisible formal weight enumerators and ","authors_text":"Koji Chinen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-09-11T13:56:41Z","title":"Construction of divisible formal weight enumerators and extremal polynomials not satisfying the Riemann hypothesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03380","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:2ef89baf01a9cb12cd0518847dd7bb885ca2f7d598f084a986c54bc5810bc8a7","target":"record","created_at":"2026-05-18T00:15:37Z","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":"107e56e9e09b671ca3144e657b51c052eed7d95ebd660510b8228e0405db470d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2017-09-11T13:56:41Z","title_canon_sha256":"b9dc7881dfc44fcc04fa726b147fd8ff84d42ade1f7ff02169e75c5448385ec2"},"schema_version":"1.0","source":{"id":"1709.03380","kind":"arxiv","version":2}},"canonical_sha256":"37263245b7e03a96255c58daefbf2bafe9595f430df83c17037befb586351619","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37263245b7e03a96255c58daefbf2bafe9595f430df83c17037befb586351619","first_computed_at":"2026-05-18T00:15:37.393454Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:37.393454Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yStLrcTEvg9tO6FfrB3ScOxM5Uq0U8UnATBA8ZyvCA0JEXPvQymUwkOIIgSWeQtDrqS949hZY1akPZuIPJMODw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:37.394018Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.03380","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ef89baf01a9cb12cd0518847dd7bb885ca2f7d598f084a986c54bc5810bc8a7","sha256:71ec36dea7724f28b11f4f6702803aa0d39095ddc5796e34349668ec4515b9d5"],"state_sha256":"9b0fad3fc434dc8f73aa4d39a1438caa4ffaed078f72b7c8931399aaba5f6a7d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I+n6gQTQlnyiPglFtwgdbbsKowrOmTyXvP0e/tv3NBe4LAmwJap1gWFdl5gCY025gBKwHoVLJH5E98dRt4ckBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T22:07:51.612252Z","bundle_sha256":"a01ddd0adb7d27da69b548e57bcaadbe32b8e4296f18c1cd8a9171a3cfcbb1f0"}}