Problem detail · source-aware

The Fractional Colouring Conjecture for Triply Efficient Pauli Shadow Tomography

candidateconfidence 50%

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

Conjecture 13 of King, Gosset, Kothari and Babbush asserts that for the set $B_\varepsilon(\rho)$ of Pauli observables with expectation value at least $\varepsilon$ in magnitude, the fractional chromatic number of the induced anticommutation graph is $O(\varepsilon^{-2})$; it would give a triply efficient Pauli shadow tomography algorithm. False: there are states and observables for which no finite constant bounds $\chi_f \varepsilon^2$.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

GPT Sol 5.6

The arXiv comments field reads "Found with GPT Sol 5.6", and the paper's AI statement says the model was used to derive the main results, Theorem A and Theorem B. The construction amplifies fractional chromatic numbers, beta numbers and expectation values through lexicographic graph products.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

Checked by this site on 21 August 2026 against the paper (arXiv:2608.20113v1, 14pp): the refuted statement is Conjecture 13 of King, Gosset, Kothari and Babbush in PRX Quantum 6, 010336 (2025), and the AI statement is as quoted. The constructions were not checked here. Days-old preprint, no independent review.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. Counterexamples to the fractional coloring conjecture for triply efficient shadow tomography

    VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Known method families

construction (source-reported)

Source-reported tools: construction.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • The source status is candidate and must not be represented as solved.
  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.