arXiv subjects

Jean-François Culus

Publications and source records attributed to Jean-François Culus.

2 recordsLinked to original sources

arXiv2026

Optimizing alphabet reduction pairs of arrays

In our earlier paper, "2 CSPs all are approximable within a constant differential factor" (ISCO 2018, LNCS 10856), we introduced a family of combinatorial designs called 'alphabet reduction pairs of arrays' (ARPAs). These designs are parameterized by three integers $q,p,k$, with $p\leq q$ and $k\leq p$: $q$ is the size of the alphabet from which the arrays draw their entries; $p$ is the maximum number of distinct symbols allowed in a row of the second array; $k$ is the largest integer for which the two arrays coincide -- up to row permutations -- on any $k$-element subset of their columns. The first array must contain at least one occurrence of the word $0\ 1 \cdots\ q-1$ as a row. The idea is to cover as many occurrences of this word as possible using as few words as possible, each containing at most $p$ distinct symbols. ARPAs are related to the approximability of constraint satisfaction problems with bounded constraint arity ($k$-CSPs). In this context, we are particularly interested in ARPAs that maximize the frequency of the word $0\ 1 \cdots\ q-1$. We call such ARPAs 'optimal' and study them in this paper. To this end, we introduce a simpler family of combinatorial designs called 'Cover pairs of arrays' (CPAs), which can be viewed as partially defined ARPAs with Boolean entries. We prove that ARPAs and CPAs are equivalent with respect to maximizing the frequency of their target word. As a corollary of our proof, computing the frequency of the target word in optimal ARPAs reduces to solving a linear program in $q + p + 1$ continuous variables and $k + 1$ constraints. We also prove the optimality of previously known ARPAs for $p=k$ and provide optimal ARPAs for $k=1$ and $k=2$.

math.CO↗

arXiv2025

Deriving differential approximation results for $k\,$CSPs from combinatorial designs

Inapproximability results for $\mathsf{Max\,k\,CSP\!-\!q}$ have been traditionally established using balanced $t$-wise independent distributions, which are closely related to orthogonal arrays, a famous family of combinatorial designs. In this work, we investigate the role of these combinatorial structures in the context of the differential approximability of $\mathsf{k\,CSP\!-\!q}$, providing new structural insights and approximation bounds. We first establish a direct connection between the average differential ratio on $\mathsf{k\,CSP\!-\!q}$ instances and orthogonal arrays. This allows us to derive the new differential approximability bounds of $1/q^k$ for $(k +1)$-partite instances, $Ω(1/n^{\lfloor k/2\rfloor})$ for Boolean instances, $Ω(1/n)$ when $k =2$, and $Ω(1/n^{k -\lceil\log_{Θ(q)}k\rceil})$ when $k, q\geq 3$. We then introduce families of array pairs, called {\em alphabet reduction pairs of arrays}, that are still related to balanced $k$-wise independence. Using these pairs of arrays, we establish a reduction from $\mathsf{k\,CSP\!-\!q}$ to $\mathsf{k\,CSP\!-\!k}$ (where $q >k$), with an expansion factor of $1/(q -k/2)^k$ on the differential approximation guarantee. Combining this with a 1998 result by Yuri Nesterov, we conclude that $\mathsf{2\,CSP\!-\!q}$ is approximable within a differential factor of $0.429/(q -1)^2$. Finally, using similar Boolean array pairs, {\em called cover pairs of arrays}, we prove that every Hamming ball of radius $k$ provides a $Ω(1/n^k)$-approximation of the instance diameter. Thus, our work highlights the relevance of combinatorial designs for establishing structural differential approximation guarantees for CSPs.

math.CO↗