{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:ZT5MK4W2OEUU4PJJZDSIE3XWM5","short_pith_number":"pith:ZT5MK4W2","schema_version":"1.0","canonical_sha256":"ccfac572da71294e3d29c8e4826ef6677559f4581a02b9cef4766c27f12af4f5","source":{"kind":"arxiv","id":"2507.01359","version":1},"attestation_state":"computed","paper":{"title":"Inequalities in Fourier analysis on binary cubes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math.CO","math.IT"],"primary_cat":"math.CA","authors_text":"Shobu Shiraki, Ton\\'ci Crmari\\'c, Vjekoslav Kova\\v{c}","submitted_at":"2025-07-02T04:50:11Z","abstract_excerpt":"This paper studies two classical inequalities, namely the Hausdorff-Young inequality and equal-exponent Young's convolution inequality, for discrete functions supported in the binary cube $\\{0,1\\}^d\\subset\\mathbb{Z}^d$. We characterize the exact ranges of Lebesgue exponents in which sharp versions of these two inequalities hold, and present several immediate consequences. First, if the functions are specialized to be the indicator of some set $A\\subseteq\\{0,1\\}^d$, then we obtain sharp upper bounds on two types of generalized additive energies of $A$, extending the works of Kane-Tao, de Dios P"},"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":"2507.01359","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2025-07-02T04:50:11Z","cross_cats_sorted":["cs.IT","math.CO","math.IT"],"title_canon_sha256":"4cf473dad16c771033e1f100104ac5b6ea18a3e6c7fc47910a071f02372ddaec","abstract_canon_sha256":"e6ec7dc2ae31176935075f2715dd8b5c68fb46641976066d4fafaeef8aad95aa"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:30:47.391546Z","signature_b64":"muVAhuDRTB48/jaPwtZ3DfLLaP2gU7KtxmjSoVfkt5GwFKiEZHQMGe7DryAdJHWDiL4onXr2bw6AN+gXeQElBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ccfac572da71294e3d29c8e4826ef6677559f4581a02b9cef4766c27f12af4f5","last_reissued_at":"2026-07-05T11:30:47.391022Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:30:47.391022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Inequalities in Fourier analysis on binary cubes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math.CO","math.IT"],"primary_cat":"math.CA","authors_text":"Shobu Shiraki, Ton\\'ci Crmari\\'c, Vjekoslav Kova\\v{c}","submitted_at":"2025-07-02T04:50:11Z","abstract_excerpt":"This paper studies two classical inequalities, namely the Hausdorff-Young inequality and equal-exponent Young's convolution inequality, for discrete functions supported in the binary cube $\\{0,1\\}^d\\subset\\mathbb{Z}^d$. We characterize the exact ranges of Lebesgue exponents in which sharp versions of these two inequalities hold, and present several immediate consequences. First, if the functions are specialized to be the indicator of some set $A\\subseteq\\{0,1\\}^d$, then we obtain sharp upper bounds on two types of generalized additive energies of $A$, extending the works of Kane-Tao, de Dios P"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.01359","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.01359/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":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":"2507.01359","created_at":"2026-07-05T11:30:47.391091+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.01359v1","created_at":"2026-07-05T11:30:47.391091+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.01359","created_at":"2026-07-05T11:30:47.391091+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZT5MK4W2OEUU","created_at":"2026-07-05T11:30:47.391091+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZT5MK4W2OEUU4PJJ","created_at":"2026-07-05T11:30:47.391091+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZT5MK4W2","created_at":"2026-07-05T11:30:47.391091+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.06115","citing_title":"Optimal Young's convolutions inequality and its reverse form on the hypercube","ref_index":4,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5","json":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5.json","graph_json":"https://pith.science/api/pith-number/ZT5MK4W2OEUU4PJJZDSIE3XWM5/graph.json","events_json":"https://pith.science/api/pith-number/ZT5MK4W2OEUU4PJJZDSIE3XWM5/events.json","paper":"https://pith.science/paper/ZT5MK4W2"},"agent_actions":{"view_html":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5","download_json":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5.json","view_paper":"https://pith.science/paper/ZT5MK4W2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.01359&json=true","fetch_graph":"https://pith.science/api/pith-number/ZT5MK4W2OEUU4PJJZDSIE3XWM5/graph.json","fetch_events":"https://pith.science/api/pith-number/ZT5MK4W2OEUU4PJJZDSIE3XWM5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5/action/storage_attestation","attest_author":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5/action/author_attestation","sign_citation":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5/action/citation_signature","submit_replication":"https://pith.science/pith/ZT5MK4W2OEUU4PJJZDSIE3XWM5/action/replication_record"}},"created_at":"2026-07-05T11:30:47.391091+00:00","updated_at":"2026-07-05T11:30:47.391091+00:00"}