arXiv++ Combinatorics

Quantum contextuality is widely recognized as an essential non-classical resource underlying quantum technology, yet illuminating the precise mechanisms through which it translates into unconditional computational advantages remains an ongoing challenge. We demonstrate an exponential, noise-resilient memory advantage for quantum finite automata arising from graph-theoretic approaches to contextuality. We define a promise problem on an exclusivity graph $G$ for which any classical deterministic automaton acts as a non-contextual hidden variable model requiring at least $N=χ(G)$ states, where $χ(G)$ is the graph's chromatic number. In contrast, by exploiting a structural phenomenon we term \textit{representational contextuality}, a QFA solves this task using a memory of dimension at most $d=ξ(G)+1$, where $ξ(G)$ is the graph's orthogonal rank. This separation scales exponentially ($d=\mathcal O(n)$ versus $N=2^{Ω(n)}$) for Boolean-orthogonality graphs. Crucially, this memory advantage maintains an $\mathcal{O}(1)$ threshold against both depolarizing and coherent noise.

Determining the best attainable threshold for qudit magic state distillation is directly related to the question of whether or not contextuality is sufficient for universal quantum computation. We show that the performance of a qudit correcting code for magic state distillation is captured by its complete weight enumerator. For the qutrit strange state -- a maximally magic non-stabilizer state -- the performance of a code is captured by its simple weight enumerator. This result allows us to carry out an extensive search for high-threshold magic state distillation routines for the strange state. Our search covers all $[[n,1]]_3$ qutrit stabilizer codes with a complete set of transversal Clifford gates for $n\leq 23$, and all $[[n,1]]_3$ stabilizer codes with a transversal $H^2$ gate with $n \leq 9$ qudits. For $n=23$, we find over 600 CSS codes that can distill the qutrit strange state with cubic noise suppression. While none of these codes surpass the threshold of the 11-qutrit Golay code, their existence suggests that, for large codes, the ability to distill the qutrit strange state is somewhat generic.

We study tensor models based on $O(N)^r$ symmetry groups constructed out of rank-$r$ tensors with order-$q$ interaction vertices. We refer to those tensor models for which $r<q-1$ as \textit{subchromatic}. We focus most of our attention on sextic ($q=6$) models with maximally-single-trace interactions. We show that only three subchromatic sextic maximally-single-trace interaction vertices exist: these are the $r=3$ prism, the $r=3$ wheel (or $K_{3,3}$) and the $r=4$ octahedron. For theories based on these interactions we demonstrate that the set of Feynman diagrams that contribute to the free energy in the large $N$ limit are melonic (or closely related to melonic diagrams, in the case of the prism) and thus can be explicitly summed.