Table of Contents
Fetching ...

Two constructions of quaternary Legendre pairs of even length

Jonathan Jedwab, Thomas Pender

TL;DR

The authors establish two general methods to construct quaternary Legendre pairs of even length, addressing prior gaps in the theory. The First Construction yields a quaternary Legendre pair of length $(q-1)/2$ for every odd prime power $q \\equiv 1 \\pmod{4}$, while the Second Construction gives a pair of length $2p$ for odd primes $p$ with $2p-1$ a prime power, using Gray maps and amicable binary sets. These results connect to the broader framework of quaternary Hadamard matrices and provide concrete, infinitely extensible constructions (subject to certain number-theoretic conditions). The paper also supplies explicit sequence constructions, a worked example at $p=13$, and a detailed discussion of remaining open cases up to length $100$.

Abstract

We give the first general constructions of even length quaternary Legendre pairs: there is a quaternary Legendre pair of length $(q-1)/2$ for every prime power $q$ congruent to $1$ modulo $4$, and there is a quaternary Legendre pair of length $2p$ for every odd prime $p$ for which $2p-1$ is a prime power.

Two constructions of quaternary Legendre pairs of even length

TL;DR

The authors establish two general methods to construct quaternary Legendre pairs of even length, addressing prior gaps in the theory. The First Construction yields a quaternary Legendre pair of length for every odd prime power , while the Second Construction gives a pair of length for odd primes with a prime power, using Gray maps and amicable binary sets. These results connect to the broader framework of quaternary Hadamard matrices and provide concrete, infinitely extensible constructions (subject to certain number-theoretic conditions). The paper also supplies explicit sequence constructions, a worked example at , and a detailed discussion of remaining open cases up to length .

Abstract

We give the first general constructions of even length quaternary Legendre pairs: there is a quaternary Legendre pair of length for every prime power congruent to modulo , and there is a quaternary Legendre pair of length for every odd prime for which is a prime power.
Paper Structure (5 sections, 6 theorems, 56 equations)

This paper contains 5 sections, 6 theorems, 56 equations.

Key Result

Theorem 2

Let $q$ be an odd prime power.

Theorems & Definitions (16)

  • Conjecture 1: KotsireasWinterhof:2024
  • Theorem 2
  • Theorem 3
  • Proposition 4
  • Example 5
  • Remark
  • Proposition 7
  • Example 8
  • Proposition 9
  • Proposition 10
  • ...and 6 more