arXiv Science⌕ Search

arXiv · 2610.33418

An exact compression-and-lifting procedure and D-optimal designs of orders 198 and 170

Abstract

We develop a compression-and-lifting procedure for constructing D-optimal complementary pairs on finite abelian groups of odd order. The procedure separates the Fourier conditions preserved by compression from those needed to recover the original binary sequences. For groups with a cyclic factor of order nine, integer matching conditions separate compatible classes of local sign assignments. Their exact sizes can be computed before full sequences are generated, allowing searches to discard incompatible pairs and select manageable classes. A bound on cosets on which a sequence is constant also excludes certain automorphisms as fixing symmetries. Applying the method yields supplementary difference sets with parameters $(99;43,42;36)$ and $(85;39,34;31)$, resolving two previously undecided parameter sets. These give the first D-optimal matrix of order $198$ and constructions with new parameters at the known order $170$. For the successful length-$99$ compression, the exact class condition removes $99.9888\%$ of candidate pairs while preserving every D-optimal lift. A reflection-invariant construction at length $85$ gives seven supplementary difference set classes and fourteen matrix classes under signed row and column permutations, paired by transposition. The class reductions guide computation; finding suitable compressions and matching their lifts remain search problems.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stelios D. Georgiou, Stella Stylianou. 2026-10-24. An exact compression-and-lifting procedure and D-optimal designs of orders 198 and 170. https://arxiv.org/abs/2610.33418

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

KEEP EXPLORING

Related papers

A Study On The Graph Formulation Of Union Closed Sets Conjecture

The Union Closed Sets Conjecture is one of the most renowned problems in combinatorics. Its appeal lies in the simplicity of its statement contrasted with the potential complexity of its resolution. The conjecture posits that, in any union closed family of sets, there exists at least one element that appears in at least half of the sets within the family. We establish the graph-theoretic version of certain set-theoretic results by connecting the set-based and graph-based formulations. We then prove a theorem in which we investigate the conjecture for graphs, focusing on their decompositions and the position of certain pendant vertices. As a result, we extend the validity of the conjecture to a broader class of graph structures.

math.CO↗

Embedding edge-colored graphs in expanders with roll-back

We introduce a method to embed edge-colored graphs into families of expander graphs, which generalizes a framework developed by Draganić, Krivelevich, and Nenadov (2022). As an application, we show that each family of sufficiently pseudo-random graphs on $n$ vertices contains every edge-colored subdivision of $K_Δ$, provided that the distance between branch vertices in the subdivision is large enough, the average degree of each graph in the family is at least $(1+o(1))Δ$, and the number of vertices in the subdivision is at most $(1-o(1))n$. This extends the subdivision-embedding results of Draganić, Krivelevich, and Nenadov to the colorful setting. Even in the monochromatic case, our work extends the earlier result, which only applied to graphs with average degree at most $O(n^{1/5})$. This work is motivated in part by the problem of finding structures in distance graphs defined over finite vector spaces. In particular, we obtain nearly spanning subdivisions of complete graphs with arbitrary prescribed nonzero edge distances in sufficiently large subsets of these spaces.

math.CO↗

Identically vanishing $k$-generalized Fibonacci polynomials

The recurrence for the $k$-Fibonacci polynomials is usually iterated upwards to positive values of $n$ only. When the recurrence is iterated downwards to $n<0$, there are indices where the polynomials vanish identically. This fact does not seem to have been noted in the literature. We derive the set of such indices. We establish the connection of our results to the solution of the Skolem problem for the $k$-Fibonacci numbers. For $k\ge3$ and $n<0$, we show that the degree of the polynomial does not increase monotonically with $|n|$. The so-called `left-justified $k$-nomial triangle' is extended to treat negative indices. We derive expressions for the individual polynomial coefficients (the elementary symmetric polynomials of the roots). We present results for the properties of the polynomials, for both $n>0$ and $n<0$, including factorization of the polynomials and properties of the roots. Results are also derived for real roots. We present new, tighter, bounds on the amplitudes of the nonzero roots. We derive new combinatorial sums for the polynomial coefficients, which are more concise and computationally efficient than previously published expressions.

math.CO↗