Polynomial fractional-coloring bound for large-expectation Pauli observables

Determine whether there exists a constant exponent \(\kappa>0\) such that, for every \(n\)-qubit state \(\varrho\), every \(\epsilon\in(0,1)\), and the set \(B_\epsilon=\{P\in\mathcal P_n:|\operatorname{tr}(\varrho P)|\geq\epsilon\}\) of Pauli observables with expectation magnitude at least \(\epsilon\), the anticommutation graph \(G(B_\epsilon)\) has fractional chromatic number \(O(\epsilon^{-\kappa})\), thereby establishing a polynomial fractional-coloring bound sufficient for sample-efficient two-copy Clifford-measurement shadow tomography.

Background

The paper disproves the cited fractional coloring conjecture asserting the stronger universal bound χf(G(Bϵ))=O(ϵ2)\chi_f(G(B_\epsilon))=O(\epsilon^{-2}), by constructing states and Pauli-observable families for which χf(G(Bϵ))ϵ2\chi_f(G(B_\epsilon))\epsilon^2 is unbounded. The counterexamples achieve growth at least on the order of ϵ2.07598\epsilon^{-2.07598}, so they rule out the conjectured exponent 2 but do not exclude all polynomial dependence on 1/ϵ1/\epsilon.

The authors explain that any bound of the form χf(G(Bϵ))=O(ϵκ)\chi_f(G(B_\epsilon))=O(\epsilon^{-\kappa}), for some fixed κ>0\kappa>0, would still imply a sample-efficient two-copy Clifford-measurement shadow-tomography protocol for arbitrary Pauli sets. The question is therefore explicitly left unresolved after the stronger conjecture is shown to be false.

References

In particular, Conjecture~\ref{conj:13} is stronger than required for sample-efficient tomography alone: {\em any} upper bound on $$ of the form $O(\epsilon{-\kappa})$ yields a sample-efficient two-copy Clifford measurement protocol for any set of Paulis. Thus, a natural question is: Let $\varrho$ be an $n$-qubit state, $\epsilon \in (0, 1)$, and let $B_\epsilon \subseteq n$ be the set of all Paulis $P$ such that $| tr(\varrho P )| \geq \epsilon$. Does there exist a number $\kappa > 0$, so that every anticommutation graph $G(B\epsilon)$ has a fractional coloring of size $O(\epsilon{-\kappa})$? We leave this question open.

Counterexamples to the fractional coloring conjecture for triply efficient shadow tomography  (2608.20113 - Stempin et al., 20 Aug 2026) in Question 13p, Section Conclusion