Positive sparse vectors in the kernel of a subsampled DFT matrix

Determine whether a dense random circulant graph's associated subsampled DFT matrix has a \(c n\)-sparse entrywise positive vector in its kernel for some sufficiently small constant \(c>0\).

Background

The proof of the paper's upper bound uses a norm inequality for vectors in the kernel of a subsampled discrete Fourier transform matrix. Existing lower bounds show that the kernel contains vectors with sparsity on the order of n/lognn/\log n, which prevents the authors from proving the sharp conjectured asymptotic by their present method. They nevertheless leave unresolved whether the additional entrywise-positivity constraint rules out vectors whose sparsity is a small constant fraction of nn.

References

However, it is still possible that no c n-sparse entrywise positive vector exists in the kernel of F, for small enough constant c > 0. It is also plausible that constructing a feasible vector for the dual programs in~\Cref{table:4_lps} may lead to tighter upper bounds. We leave these questions for the future work.

The Lovász number of random circulant graphs  (2502.16227 - Bandeira et al., 22 Feb 2025) in Section 4, Discussion