{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2DNR76WQX2T3CXXISPNH3I4XSI","short_pith_number":"pith:2DNR76WQ","canonical_record":{"source":{"id":"2603.18287","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2026-03-18T21:18:32Z","cross_cats_sorted":[],"title_canon_sha256":"aea726ef9b401c91e0098d56490287f56eb1253ca9ad0eacc0d79aad68ffcc30","abstract_canon_sha256":"41db7661c0f5065141f41cc4219d0ba995bd62f91a6ac66685d32b33feccf287"},"schema_version":"1.0"},"canonical_sha256":"d0db1ffad0bea7b15ee893da7da3979201b3663aa37e5c87dce3bec6c16280be","source":{"kind":"arxiv","id":"2603.18287","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.18287","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"arxiv_version","alias_value":"2603.18287v4","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.18287","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"pith_short_12","alias_value":"2DNR76WQX2T3","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"pith_short_16","alias_value":"2DNR76WQX2T3CXXI","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"pith_short_8","alias_value":"2DNR76WQ","created_at":"2026-05-29T01:05:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2DNR76WQX2T3CXXISPNH3I4XSI","target":"record","payload":{"canonical_record":{"source":{"id":"2603.18287","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2026-03-18T21:18:32Z","cross_cats_sorted":[],"title_canon_sha256":"aea726ef9b401c91e0098d56490287f56eb1253ca9ad0eacc0d79aad68ffcc30","abstract_canon_sha256":"41db7661c0f5065141f41cc4219d0ba995bd62f91a6ac66685d32b33feccf287"},"schema_version":"1.0"},"canonical_sha256":"d0db1ffad0bea7b15ee893da7da3979201b3663aa37e5c87dce3bec6c16280be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-29T01:05:07.381366Z","signature_b64":"h5QRmRCTW/7EG/qwYeRScNdFtqm4ZfbO1hgc7AVtEPVKuA/OEJRe3tIhfbc0zo8eZTaT9KsLlmeDfOzlES86Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0db1ffad0bea7b15ee893da7da3979201b3663aa37e5c87dce3bec6c16280be","last_reissued_at":"2026-05-29T01:05:07.379763Z","signature_status":"signed_v1","first_computed_at":"2026-05-29T01:05:07.379763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2603.18287","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-29T01:05:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FaSq8t5rW5QEb8Xy3XR0hrB9/vgOoj7sxvE+oaSf1lSQQnGhYxuin/iKRj0cMkRm3tybKUJc4dlnESc2t+C5CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T01:07:47.027988Z"},"content_sha256":"2bd9bc9f49f2fcdd44d3b82bd75b782131253e7b09d2bac2684733d55903ef97","schema_version":"1.0","event_id":"sha256:2bd9bc9f49f2fcdd44d3b82bd75b782131253e7b09d2bac2684733d55903ef97"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2DNR76WQX2T3CXXISPNH3I4XSI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Duality for Delsarte's extremal problem on locally compact Abelian groups","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The Delsarte extremal problem admits strong duality on locally compact Abelian groups","cross_cats":[],"primary_cat":"math.FA","authors_text":"B\\'alint Farkas, Elena E. Berdysheva, Marcell Ga\\'al, Mita D. Ramabulana, Szil\\'ard Gy. R\\'ev\\'esz","submitted_at":"2026-03-18T21:18:32Z","abstract_excerpt":"The Delsarte extremal problem for positive definite functions, originally introduced by Delsarte in coding theory to bound the size of error-correcting codes, has since found applications in diverse areas such as sphere packing, Fuglede's spectral set conjecture, and $1$-avoiding sets.\n  Recent developments have established the existence of extremizers in fairly general settings and identified precise linear programming dual formulations, together with strong duality results, in several important cases including finite groups and $\\mathbb{R}^d$.\n  In this paper, we consider a generalized Delsa"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The extension of both the normalization and the objective functional to a wide range of previously studied cases while avoiding restrictive topological assumptions common in the literature.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Strong duality is proved for a generalized Delsarte extremal problem on locally compact Abelian groups, unifying prior results for finite groups and R^d.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The Delsarte extremal problem admits strong duality on locally compact Abelian groups","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"2cedb834c21344a8623fb27daa7c3c11671761fecb8d0785553c8a08ff5c5c20"},"source":{"id":"2603.18287","kind":"arxiv","version":4},"verdict":{"id":"7bf8277c-c953-4a0a-a443-646f54a2813d","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T08:06:19.428517Z","strongest_claim":"Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results.","one_line_summary":"Strong duality is proved for a generalized Delsarte extremal problem on locally compact Abelian groups, unifying prior results for finite groups and R^d.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The extension of both the normalization and the objective functional to a wide range of previously studied cases while avoiding restrictive topological assumptions common in the literature.","pith_extraction_headline":"The Delsarte extremal problem admits strong duality on locally compact Abelian groups"},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2603.18287/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"8b62f87b9ffaf3b6387e5a81888ef8ed47e4d2a522a6749e60dc4f067a4df7fd"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"7bf8277c-c953-4a0a-a443-646f54a2813d"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-29T01:05:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ogdFHM2FQOv4DEdrYA1WFjP3BJfNYuRWig9FizVXhx7hr2pwp7SwIIpW+1x8zeH66MOtqL/NFBnNEFKTaU7sAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T01:07:47.028463Z"},"content_sha256":"542b956502abf702872fe25dd7852468acc551a0f74f3471bd8fc9812c172bfa","schema_version":"1.0","event_id":"sha256:542b956502abf702872fe25dd7852468acc551a0f74f3471bd8fc9812c172bfa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2DNR76WQX2T3CXXISPNH3I4XSI/bundle.json","state_url":"https://pith.science/pith/2DNR76WQX2T3CXXISPNH3I4XSI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2DNR76WQX2T3CXXISPNH3I4XSI/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-25T01:07:47Z","links":{"resolver":"https://pith.science/pith/2DNR76WQX2T3CXXISPNH3I4XSI","bundle":"https://pith.science/pith/2DNR76WQX2T3CXXISPNH3I4XSI/bundle.json","state":"https://pith.science/pith/2DNR76WQX2T3CXXISPNH3I4XSI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2DNR76WQX2T3CXXISPNH3I4XSI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2DNR76WQX2T3CXXISPNH3I4XSI","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":"41db7661c0f5065141f41cc4219d0ba995bd62f91a6ac66685d32b33feccf287","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2026-03-18T21:18:32Z","title_canon_sha256":"aea726ef9b401c91e0098d56490287f56eb1253ca9ad0eacc0d79aad68ffcc30"},"schema_version":"1.0","source":{"id":"2603.18287","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.18287","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"arxiv_version","alias_value":"2603.18287v4","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.18287","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"pith_short_12","alias_value":"2DNR76WQX2T3","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"pith_short_16","alias_value":"2DNR76WQX2T3CXXI","created_at":"2026-05-29T01:05:07Z"},{"alias_kind":"pith_short_8","alias_value":"2DNR76WQ","created_at":"2026-05-29T01:05:07Z"}],"graph_snapshots":[{"event_id":"sha256:542b956502abf702872fe25dd7852468acc551a0f74f3471bd8fc9812c172bfa","target":"graph","created_at":"2026-05-29T01:05:07Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The extension of both the normalization and the objective functional to a wide range of previously studied cases while avoiding restrictive topological assumptions common in the literature."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Strong duality is proved for a generalized Delsarte extremal problem on locally compact Abelian groups, unifying prior results for finite groups and R^d."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The Delsarte extremal problem admits strong duality on locally compact Abelian groups"}],"snapshot_sha256":"2cedb834c21344a8623fb27daa7c3c11671761fecb8d0785553c8a08ff5c5c20"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"8b62f87b9ffaf3b6387e5a81888ef8ed47e4d2a522a6749e60dc4f067a4df7fd"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2603.18287/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Delsarte extremal problem for positive definite functions, originally introduced by Delsarte in coding theory to bound the size of error-correcting codes, has since found applications in diverse areas such as sphere packing, Fuglede's spectral set conjecture, and $1$-avoiding sets.\n  Recent developments have established the existence of extremizers in fairly general settings and identified precise linear programming dual formulations, together with strong duality results, in several important cases including finite groups and $\\mathbb{R}^d$.\n  In this paper, we consider a generalized Delsa","authors_text":"B\\'alint Farkas, Elena E. Berdysheva, Marcell Ga\\'al, Mita D. Ramabulana, Szil\\'ard Gy. R\\'ev\\'esz","cross_cats":[],"headline":"The Delsarte extremal problem admits strong duality on locally compact Abelian groups","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2026-03-18T21:18:32Z","title":"Duality for Delsarte's extremal problem on locally compact Abelian groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.18287","kind":"arxiv","version":4},"verdict":{"created_at":"2026-05-15T08:06:19.428517Z","id":"7bf8277c-c953-4a0a-a443-646f54a2813d","model_set":{"reader":"grok-4.3"},"one_line_summary":"Strong duality is proved for a generalized Delsarte extremal problem on locally compact Abelian groups, unifying prior results for finite groups and R^d.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The Delsarte extremal problem admits strong duality on locally compact Abelian groups","strongest_claim":"Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results.","weakest_assumption":"The extension of both the normalization and the objective functional to a wide range of previously studied cases while avoiding restrictive topological assumptions common in the literature."}},"verdict_id":"7bf8277c-c953-4a0a-a443-646f54a2813d"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2bd9bc9f49f2fcdd44d3b82bd75b782131253e7b09d2bac2684733d55903ef97","target":"record","created_at":"2026-05-29T01:05:07Z","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":"41db7661c0f5065141f41cc4219d0ba995bd62f91a6ac66685d32b33feccf287","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2026-03-18T21:18:32Z","title_canon_sha256":"aea726ef9b401c91e0098d56490287f56eb1253ca9ad0eacc0d79aad68ffcc30"},"schema_version":"1.0","source":{"id":"2603.18287","kind":"arxiv","version":4}},"canonical_sha256":"d0db1ffad0bea7b15ee893da7da3979201b3663aa37e5c87dce3bec6c16280be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0db1ffad0bea7b15ee893da7da3979201b3663aa37e5c87dce3bec6c16280be","first_computed_at":"2026-05-29T01:05:07.379763Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T01:05:07.379763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h5QRmRCTW/7EG/qwYeRScNdFtqm4ZfbO1hgc7AVtEPVKuA/OEJRe3tIhfbc0zo8eZTaT9KsLlmeDfOzlES86Dw==","signature_status":"signed_v1","signed_at":"2026-05-29T01:05:07.381366Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.18287","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2bd9bc9f49f2fcdd44d3b82bd75b782131253e7b09d2bac2684733d55903ef97","sha256:542b956502abf702872fe25dd7852468acc551a0f74f3471bd8fc9812c172bfa"],"state_sha256":"8de0c3441f66f056c62c2d33788600b656a83ef1849980b4c1e00909acfb26ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iO/ze0IemIolPNYONJJ5ytt6bXDjMwObFbIymJ+JHjCUorLLHnsUnsdTmFw44NlVeFQ0lhx8yZfXeobCLCTDCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T01:07:47.030711Z","bundle_sha256":"2e2a145e39551ea98434745caf86c5b75d8a5403fd6e9b4e04ce0825ef5fa6a2"}}