1: \begin{abstract}

2:       Linear constraint systems (LCS) have proven to be a surprisingly prolific tool in the study of non-classical correlations and various related issues in quantum foundations. Many results are known for the Boolean case, yet the generalisation to systems of odd dimension is largely open. In particular, it is not known whether there exist LCS in odd dimension, which admit finite-dimensional quantum, but no classical solutions.

3:     

4:     Here, we approach this question from a computational perspective. We observe that every deterministic, non-adaptive measurement-based quantum computation (MBQC) with linear side-processing defines a LCS. %in a deterministic, non-adaptive $ld$-MBQC, a set of linear equations fixes local measurements, which act on a given resource state and compute the output vector of the MBQC.

5:    Moreover, the measurement operators of such a MBQC \textit{almost} define a quantum solution to the respective LCS: the only difference is that measurement operators generally only commute with respect to the resource state of the MBQC.  This raises the question whether this state-dependence can be lifted in certain cases, thus providing examples of quantum solutions to LCS in odd dimension. Our main result asserts that no such examples arise within a large extension of the Pauli group for $p$ odd prime, which naturally arises from and is universal for computation in deterministic, non-adaptive MBQC with linear side-processing.

6:    %Consequently, the search for LCS in odd dimension admitting quantum but no classical solutions has to be expanded beyond this extension.

7: \end{abstract}

8: