<p>In (Solé et al, ISIT 2021), a new notion of bent sequences appeared, where the Sylvester matrix of the Walsh–Hadamard transform is replaced by an arbitrary Hadamard matrix. We introduce an even more general notion of a bent sequence, defined in terms of the following data: a Hadamard matrix of order <i>n</i> defined over the complex <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(q^{th}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>q</mi> <mrow> <mi mathvariant="italic">th</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> roots of unity (a so-called Butson matrix), an algebraic integer in the cyclotomic field of order <i>q</i>, and a Galois automorphism of that field. This new generalization facilitates the existence of self-dual bent sequences in cases where the restricted definition fails. In particular, we construct self-dual bent sequences for various <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(q\le 60\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≤</mo> <mn>60</mn> </mrow> </math></EquationSource> </InlineEquation> and lengths <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n\le 21.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≤</mo> <mn>21</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Computational construction methods comprise the resolution of polynomial systems by Gröbner bases and eigenspace computations. Infinite families of self-dual bent sequences can be constructed from regular Hadamard matrices, Bush-type Hadamard matrices, and generalized Boolean bent functions. As an application of Hadamard bent sequences, we derive a lower bound on the covering radius of the <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {Z}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>-code attached to a Hadamard matrix, for the so-called Chinese Euclidean metric. To every Hadamard matrix we attach a spherical code, which is optimal as a packing code when <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(q=4.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>4</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> This code is a strength 2 spherical design under some mild conditions. Based on the covering properties of spherical designs, we bound above the covering radius of that spherical code for the standard Euclidean metric. This upper bound, in turn, yields an upper bound on the covering radius of the <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {Z}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>-code for the Chinese Euclidean metric which is not far from the lower bound.</p>

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

Hadamard bent sequences and spherical designs

  • Minjia Shi,
  • Danni Lu,
  • José Andrés Armario,
  • Ronan Egan,
  • Ferruh Özbudak,
  • Patrick Solé

摘要

In (Solé et al, ISIT 2021), a new notion of bent sequences appeared, where the Sylvester matrix of the Walsh–Hadamard transform is replaced by an arbitrary Hadamard matrix. We introduce an even more general notion of a bent sequence, defined in terms of the following data: a Hadamard matrix of order n defined over the complex \(q^{th}\) q th roots of unity (a so-called Butson matrix), an algebraic integer in the cyclotomic field of order q, and a Galois automorphism of that field. This new generalization facilitates the existence of self-dual bent sequences in cases where the restricted definition fails. In particular, we construct self-dual bent sequences for various \(q\le 60\) q 60 and lengths \(n\le 21.\) n 21 . Computational construction methods comprise the resolution of polynomial systems by Gröbner bases and eigenspace computations. Infinite families of self-dual bent sequences can be constructed from regular Hadamard matrices, Bush-type Hadamard matrices, and generalized Boolean bent functions. As an application of Hadamard bent sequences, we derive a lower bound on the covering radius of the \(\mathbb {Z}_q\) Z q -code attached to a Hadamard matrix, for the so-called Chinese Euclidean metric. To every Hadamard matrix we attach a spherical code, which is optimal as a packing code when \(q=4.\) q = 4 . This code is a strength 2 spherical design under some mild conditions. Based on the covering properties of spherical designs, we bound above the covering radius of that spherical code for the standard Euclidean metric. This upper bound, in turn, yields an upper bound on the covering radius of the \(\mathbb {Z}_q\) Z q -code for the Chinese Euclidean metric which is not far from the lower bound.