<p>Binary Reed–Muller (RM) codes are defined via evaluations of Boolean-valued functions on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {Z}_2^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation>. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {Z}_2^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation> with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal <i>Z</i> rotations can perform non-trivial logic.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Coxeter codes: extending the Reed–Muller family

  • Nolan J. Coble,
  • Alexander Barg

摘要

Binary Reed–Muller (RM) codes are defined via evaluations of Boolean-valued functions on \(\mathbb {Z}_2^m\) Z 2 m . We introduce a class of binary linear codes that generalizes the RM family by replacing the domain \(\mathbb {Z}_2^m\) Z 2 m with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal Z rotations can perform non-trivial logic.