2024/08/13 by Thomas Karam, Karam, Thomas
Engineering · Computer Science · #graph theory and CDMA systems #Formal Methods in Verification #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2408.06812
We show that a conceptually simple covering technique has surprisingly rich applications to density theorems and conjectures on patterns in sets involving set differences. These applications fall into three categories: (i) analogues of these statements to distance 2 versions of the pattern, (ii) reduction of these statements to relative versions, and (iii) reductions of these statements to a quasirandom case with respect to some quantities that affect the number of realisations of the pattern.