Search arXivSearch

arXiv · 2607.20765

Multiplier obstructions for Legendre pairs of length 333

Abstract

A Legendre pair of length 333 would yield a Hadamard matrix of order 668, the smallest order presently unresolved by the Hadamard conjecture. We study the structured case in which both sequences are fixed by a common subgroup $H\leq(\mathbb Z/333\mathbb Z)^\times$ acting by coordinate multiplication. We prove that such a pair can exist only when $|H|\leq 6$. After a mod-3 compression reduces the problem to an order-108 kernel, there are exactly 30 subgroups. We exclude 21 of them, including all 19 subgroups of order at least 9. The final order-9 subgroup is eliminated analytically: its orbit structure restricts the 9-compressed entries to $\{\pm1,\pm17,\pm19,\pm35,\pm37\}$; the Legendre equations force a $+17,-17$ pair in one compressed sequence, and a single-shift autocorrelation bound then contradicts the required compressed correlation. The remaining exclusions use full-image compression, a row-sum congruence, exact meet-in-the-middle enumeration, and proof-carrying pseudo-Boolean encodings. The solver-assisted cases are accompanied by independently checked DRAT proofs or direct arithmetic certificates. The result constrains fixed common-multiplier symmetry only; the unrestricted existence problems remain open.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Arthur F. Ramos, David B. Hulak, Ruy J. G. B. de Queiroz. 2026-07-22. Multiplier obstructions for Legendre pairs of length 333. https://arxiv.org/abs/2607.20765

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Orthogonal Pairs in Maps from the Sphere to the Circle

We prove that, for any $f:S^2\to S^1$ and any $\varepsilon>0$, there exist orthogonal vectors $x,y\in S^2$ such that the length of the shortest arc between $f(x)$ and $f(y)$ is at most $π/2 +\varepsilon$. This proves a conjecture of Ghebleh from 2007 that the circular chromatic number of the real orthogonality graph is equal to four.

math.CO

Exact Area-Range Minima in the Quantitative Monsky Problem for Five and Seven Triangles

For a dissection $D$ of the unit square into $n$ nondegenerate triangles, let $R(D)=\max_i a_i-\min_i a_i, Δ(n)=\inf_D R(D).$ We prove that this infimum is attained for every $n\ge2$, and determine the exact minima for $n=5$ and $n=7$, allowing T-junctions. For five triangles, $Δ(5)=\frac{5\sqrt5-11}{8};$ equality holds precisely when three areas equal $(3-\sqrt5)/4$ and two equal $(3\sqrt5-5)/8$. For seven triangles, $Δ(7)=r_7$, where $r_7$ is the unique root in $(0,1/4900)$ of $864r^4+2160r^3-6060r^2+4972r-1.$ Every minimizer has four areas $(1+3r_7)/7$ and three areas $(1-4r_7)/7$, although its geometry need not be unique. The proofs combine finite combinatorial classification with exact symbolic and integer-interval certificates. For nine triangles, a tilted-strip construction gives the explicit algebraic upper bound $Δ(9)\le 0.0001273496861283553341\ldots,$ which is the exact minimum within that topology. Conversely, every dissection in the complete single-cap two-rail zig-zag family, with arbitrary continuous areas, has range greater than $1/3500$; hence a global minimizer must lie outside that family. The exact value of $Δ(9)$ remains open.

math.CO

Chromatic symmetric functions for annular webs

We introduce a combinatorial definition of chromatic symmetric functions for annular webs. We prove their symmetry by constructing a web analogue of the Shareshian--Wachs involution and show that they coincide with the symmetric functions associated to annular webs via Turaev's isomorphism. We then derive explicit formulas for their hook Schur coefficients. We also introduce web LLT functions, whose hook Schur coefficients admit positive Laurent-polynomial formulas. These formulas yield a combinatorial expression for the coefficients of the HOMFLY--PT polynomial of an annular web.

math.CO