Optimal Quasi-Gray Codes: The Alphabet Matters

TL;DR

This paper introduces efficient quasi-Gray code constructions over various alphabets, achieving low read and write complexities, and surpassing previous bounds especially for odd-sized alphabets, using algebraic and catalytic computation techniques.

Contribution

It presents novel quasi-Gray code constructions with optimal or near-optimal read/write complexities over different alphabets, breaking existing complexity barriers.

Findings

Constructed ternary quasi-Gray codes of length 3^n with O(log n) read and 2 write complexity.

Developed binary quasi-Gray codes of length close to 2^n with improved complexities, surpassing previous lower bounds.

Extended results to arbitrary odd-sized alphabets, achieving space-optimal codes with constant write complexity.

Abstract

A quasi-Gray code of dimension $n$ and length $\ell$ over an alphabet $\Sigma$ is a sequence of distinct words $w_1,w_2,\dots,w_\ell$ from $\Sigma^n$ such that any two consecutive words differ in at most $c$ coordinates, for some fixed constant $c>0$. In this paper we are interested in the read and write complexity of quasi-Gray codes in the bit-probe model, where we measure the number of symbols read and written in order to transform any word $w_i$ into its successor $w_{i+1}$. We present construction of quasi-Gray codes of dimension $n$ and length $3^n$ over the ternary alphabet $\{0,1,2\}$ with worst-case read complexity $O(\log n)$ and write complexity $2$. This generalizes to arbitrary odd-size alphabets. For the binary alphabet, we present quasi-Gray codes of dimension $n$ and length at least $2^n - 20n$ with worst-case read complexity $6+\log n$ and write complexity $2$. This complements a recent result by Raskin [Raskin '17] who shows that any quasi-Gray code over binary alphabet of length $2^n$ has read complexity $\Omega(n)$. Our results significantly improve on previously known constructions and for the odd-size alphabets we break the $\Omega(n)$ worst-case barrier for space-optimal (non-redundant) quasi-Gray codes with constant number of writes. We obtain our results via a novel application of algebraic tools together with the principles of catalytic computation [Buhrman et al. '14, Ben-Or and Cleve '92, Barrington '89, Coppersmith and Grossman '75].