{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:HLSTG2RWF5WIR3NLQIKETIAWGP","short_pith_number":"pith:HLSTG2RW","schema_version":"1.0","canonical_sha256":"3ae5336a362f6c88edab821449a01633ff4077a9c310dc87a6ce2a9760b7dec2","source":{"kind":"arxiv","id":"1605.05939","version":1},"attestation_state":"computed","paper":{"title":"Formal-dual subsets of cyclic groups of prime power order","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO","math.NT"],"primary_cat":"math.GR","authors_text":"Robert Sch\\\"uler","submitted_at":"2016-05-19T13:18:06Z","abstract_excerpt":"We study the notion of formal-duality over finite cyclic groups of prime power order as introduced by Cohn, Kumar, Reiher and Sch\\\"urmann. We will prove that for any cyclic group of odd prime power order, as well as for any cyclic group of order $2^{2l+1}$, there is no primitive pair of formally-dual subsets. This partially proves a conjecture, made by the priorly mentioned authors, that the only cyclic groups with a pair of primitive formally-dual subsets are $\\{0\\}$ and $\\mathbb{Z}/4\\mathbb{Z}$."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1605.05939","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2016-05-19T13:18:06Z","cross_cats_sorted":["math.CO","math.NT"],"title_canon_sha256":"7c0e92b57cbacbaac564de5c4178db9934f7ea374889cb5aa3003b80d6f432fe","abstract_canon_sha256":"5afaeec605245493740fc7881d49d728ad11a260b1fdd225c365463194fd7cf0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:22.042880Z","signature_b64":"LcHB0WiJbVIaahwY0sEjnr4nfmf83n6PmiVwGkSeQBHnTpCEH8syy+KKu3lc86duWkvu6UCJAmFDBU30nqXdDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ae5336a362f6c88edab821449a01633ff4077a9c310dc87a6ce2a9760b7dec2","last_reissued_at":"2026-05-18T00:42:22.042388Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:22.042388Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal-dual subsets of cyclic groups of prime power order","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO","math.NT"],"primary_cat":"math.GR","authors_text":"Robert Sch\\\"uler","submitted_at":"2016-05-19T13:18:06Z","abstract_excerpt":"We study the notion of formal-duality over finite cyclic groups of prime power order as introduced by Cohn, Kumar, Reiher and Sch\\\"urmann. We will prove that for any cyclic group of odd prime power order, as well as for any cyclic group of order $2^{2l+1}$, there is no primitive pair of formally-dual subsets. This partially proves a conjecture, made by the priorly mentioned authors, that the only cyclic groups with a pair of primitive formally-dual subsets are $\\{0\\}$ and $\\mathbb{Z}/4\\mathbb{Z}$."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.05939","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1605.05939","created_at":"2026-05-18T00:42:22.042471+00:00"},{"alias_kind":"arxiv_version","alias_value":"1605.05939v1","created_at":"2026-05-18T00:42:22.042471+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.05939","created_at":"2026-05-18T00:42:22.042471+00:00"},{"alias_kind":"pith_short_12","alias_value":"HLSTG2RWF5WI","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_16","alias_value":"HLSTG2RWF5WIR3NL","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_8","alias_value":"HLSTG2RW","created_at":"2026-05-18T12:30:19.053100+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP","json":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP.json","graph_json":"https://pith.science/api/pith-number/HLSTG2RWF5WIR3NLQIKETIAWGP/graph.json","events_json":"https://pith.science/api/pith-number/HLSTG2RWF5WIR3NLQIKETIAWGP/events.json","paper":"https://pith.science/paper/HLSTG2RW"},"agent_actions":{"view_html":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP","download_json":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP.json","view_paper":"https://pith.science/paper/HLSTG2RW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1605.05939&json=true","fetch_graph":"https://pith.science/api/pith-number/HLSTG2RWF5WIR3NLQIKETIAWGP/graph.json","fetch_events":"https://pith.science/api/pith-number/HLSTG2RWF5WIR3NLQIKETIAWGP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP/action/storage_attestation","attest_author":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP/action/author_attestation","sign_citation":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP/action/citation_signature","submit_replication":"https://pith.science/pith/HLSTG2RWF5WIR3NLQIKETIAWGP/action/replication_record"}},"created_at":"2026-05-18T00:42:22.042471+00:00","updated_at":"2026-05-18T00:42:22.042471+00:00"}