{"title":"里德-穆勒码在容量以下误码概率消失:通过山茶花提升的简单严密证明","authors":"Emmanuel Abbe, Colin Sandon","doi":"arxiv-2312.04329","DOIUrl":null,"url":null,"abstract":"This paper shows that a class of codes such as Reed-Muller (RM) codes have\nvanishing bit-error probability below capacity on symmetric channels. The proof\nrelies on the notion of `camellia codes': a class of symmetric codes\ndecomposable into `camellias', i.e., set systems that differ from sunflowers by\nallowing for scattered petal overlaps. The proof then follows from a boosting\nargument on the camellia petals with second moment Fourier analysis. For\nerasure channels, this gives a self-contained proof of the bit-error result in\nKudekar et al.'17, without relying on sharp thresholds for monotone properties\nFriedgut-Kalai'96. For error channels, this gives a shortened proof of\nReeves-Pfister'23 with an exponentially tighter bound, and a proof variant of\nthe bit-error result in Abbe-Sandon'23. The control of the full (block) error\nprobability still requires Abbe-Sandon'23 for RM codes.","PeriodicalId":501433,"journal":{"name":"arXiv - CS - Information Theory","volume":"103 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Reed-Muller codes have vanishing bit-error probability below capacity: a simple tighter proof via camellia boosting\",\"authors\":\"Emmanuel Abbe, Colin Sandon\",\"doi\":\"arxiv-2312.04329\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper shows that a class of codes such as Reed-Muller (RM) codes have\\nvanishing bit-error probability below capacity on symmetric channels. The proof\\nrelies on the notion of `camellia codes': a class of symmetric codes\\ndecomposable into `camellias', i.e., set systems that differ from sunflowers by\\nallowing for scattered petal overlaps. The proof then follows from a boosting\\nargument on the camellia petals with second moment Fourier analysis. For\\nerasure channels, this gives a self-contained proof of the bit-error result in\\nKudekar et al.'17, without relying on sharp thresholds for monotone properties\\nFriedgut-Kalai'96. For error channels, this gives a shortened proof of\\nReeves-Pfister'23 with an exponentially tighter bound, and a proof variant of\\nthe bit-error result in Abbe-Sandon'23. The control of the full (block) error\\nprobability still requires Abbe-Sandon'23 for RM codes.\",\"PeriodicalId\":501433,\"journal\":{\"name\":\"arXiv - CS - Information Theory\",\"volume\":\"103 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-12-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Information Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2312.04329\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Information Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2312.04329","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Reed-Muller codes have vanishing bit-error probability below capacity: a simple tighter proof via camellia boosting
This paper shows that a class of codes such as Reed-Muller (RM) codes have
vanishing bit-error probability below capacity on symmetric channels. The proof
relies on the notion of `camellia codes': a class of symmetric codes
decomposable into `camellias', i.e., set systems that differ from sunflowers by
allowing for scattered petal overlaps. The proof then follows from a boosting
argument on the camellia petals with second moment Fourier analysis. For
erasure channels, this gives a self-contained proof of the bit-error result in
Kudekar et al.'17, without relying on sharp thresholds for monotone properties
Friedgut-Kalai'96. For error channels, this gives a shortened proof of
Reeves-Pfister'23 with an exponentially tighter bound, and a proof variant of
the bit-error result in Abbe-Sandon'23. The control of the full (block) error
probability still requires Abbe-Sandon'23 for RM codes.