An Explicit Skew-Hadamard Matrix of Order 1252 via Cyclotomic Unions

TL;DR

This paper constructs an explicit skew-Hadamard matrix of order 1252 using cyclotomic unions, filling a gap in known matrix orders, and provides verification artifacts and algebraic invariants for classification.

Contribution

It presents the first explicit construction of a skew-Hadamard matrix of order 1252 via cyclotomic unions, with detailed structural proofs and classification invariants.

Findings

Constructed an explicit skew-Hadamard matrix of order 1252.

Verified algebraic invariants and automorphism subgroup.

Provided reproducible verification artifacts.

Abstract

We construct a skew-Hadamard matrix of order 1252 = 2(5^4 + 1) using a bordered skew-Hadamard difference family over GF(5^4), with blocks given as unions of cyclotomic classes of order N = 16. This order has been reported as missing in some widely used open-source computational tables; we provide an explicit instance together with verification artifacts. We prove the structural prerequisites for the bordered construction (skew-symmetry of one block and the constant autocorrelation-sum condition), and we compute algebraic invariants to facilitate classification: the associated tournament adjacency matrix has full rank over GF(2), and the matrix has full rank over GF(3) and GF(5). We also exhibit an explicit affine subgroup of the automorphism group of size 24 375. All claims are supported by a reproducible artifact bundle including the explicit matrix and verification logs.