Collaborative Research: Evaluation Codes, Duals, and Applications

编码理论支持可靠的，鲁棒的通信，即使使用不完美的渠道，扭曲的消息。自20世纪40年代出现以来，它已经发展到支持从安全通信到数据存储的各种应用。定制的代码和定制的纠错或擦除恢复算法满足不断变化的技术需求。评估代码采用代数几何和交换代数的工具和底层结构，以提供灵活的结构，解决各种情况。它们建立在依赖于多项式结构的大量使用的Reed-Solomon和Reed-Muller码的基础上。该项目的重点是设计代码和算法，以恢复被擦除的数据或使用比传统方法更少的信息纠正错误，构建用于实际环境的框架，并将其用于量子纠错。这项拟议研究的影响超出了直接的科学应用，成为学生和博士后培训的平台，并努力使学科多样化。PI有提供研究参与机会的历史，并通过其他外展活动扩大这些机会，如克利夫兰州立大学的STEM同行教师和拉丁美洲专业人士协会，以及弗吉尼亚理工大学的扩大参与和参与本科生研究，SWIMM：通过指导支持女性数学，以及弗吉尼亚州的英联邦网络倡议。求值码是纠错码的一个大家族，包括代数几何码和多项式码，例如Reed-Solomon和Reed-Muller码。这个项目通过研究它们的结构来提高它们的实用性，重点是代码的船体，这意味着代码和它的对偶的交集。船体在基于代码的密码学中的几种算法的复杂性中起作用，防止侧信道和故障注入攻击，以及量子纠错。代数几何和交换代数的工具将被用来确定评估代码，包括多变量Goppa代码和代码的外壳，并提供显式结构的代码与控制的重复。目标包括设计评估代码和算法，利用更少的信息在擦除恢复（通过线性精确修复）和纠错（通过分数解码）;通过评估代码扩展极化编码的框架与内存的通道;和构建新的量子纠错码。由于多个切入点和计算的机会，拟议的研究成为学生和博士后研究人员的理想培训基地，从而增加了学科多样化的机会。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

Coding theory supports reliable, robust communication even while using imperfect channels, which distort messages. It has evolved since its emergence in the 1940s to support various applications ranging from secure communications to data storage. Bespoke codes and customized error correction or erasure recovery algorithms satisfy ever-changing technological needs. Evaluation codes employ tools and underlying structures from algebraic geometry and commutative algebra to provide flexible constructions that address various scenarios. They build on the heavily utilized Reed-Solomon and Reed-Muller codes which depend on polynomial structures. This project focuses on designing codes and algorithms which recover erased data or correct errors using less information than traditional methods, building frameworks for use in practical settings, and employing them in quantum error correction. The impact of this proposed research expands beyond the immediate scientific applications to serve as a platform for student and postdoctoral training and efforts to diversify the discipline. The PIs have a history of providing research engagement opportunities and amplifying them via other outreach such as Cleveland State University's STEM Peer Teachers and Association of Latin Professionals for America as well as Virginia Tech's Broadening Engagement and Participation in Undergraduate Research, SWIMM: Supporting Women in Mathematics through Mentoring, and Virginia's Commonwealth Cyber Initiative. Evaluation codes are a large family of error-correcting codes, encompassing algebraic geometry codes and polynomial codes, such as Reed-Solomon and Reed-Muller codes. This project advances their utility by investigating their duals, focusing on the hull of a code, meaning the intersection of the code and its dual. The hull plays a role in the complexity of several algorithms in code-based cryptography, protection against side-channel and fault injection attacks, and quantum error correction. Tools from algebraic geometry and commutative algebra will be employed to determine duals and hulls of evaluation codes, including multivariate Goppa codes and codes from curves, and provide explicit constructions for codes with controlled duals. Objectives include designing evaluation codes and algorithms which utilize less information in erasure recovery (via linear exact repair) and error correction (via fractional decoding); extending the framework for polar coding via evaluation codes to channels with memory; and constructing new codes for quantum error correction. The proposed research serves as an ideal training ground for students and postdoctoral researchers due to multiple points of entry and the opportunity for computation, allowing for increased opportunities to diversify the discipline.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.