Fewest Pauli measurement settings that cover every 3- or 4-qubit observable
Estimating every low-weight Pauli observable of a many-qubit device (overlapping tomography) needs product measurement settings that cover every pattern on every small set of qubits, and each setting is a separate device configuration.
Verifier
The verifier checks your file and computes its score. The server runs the same code on every submission.
Download the bundle, extract it and run these commands from its folder (the one holding verifiers/). The bundle
includes an accepted example file.
python3 -m pip install -r requirements.txt python3 -I verifiers/run_one.py pcover pc4-n100 example/pc4-n100.json
The verifier prints one line of JSON with a status: accepted with the score, rejected with the reason,
or error if verification could not finish.
Files
| File | Role |
|---|---|
| run_one.py | Runs the verifier |
| common.py | Shared helpers |
| pcover.py | Validates submissions for this problem |
How verification works
For every qubit and letter the verifier keeps the settings with that letter as a bit string. For every set of t qubits taken in increasing order it intersects these bit strings, reusing the intersections of the first qubits for every later qubit, and requires all 3^t intersections to be nonempty: 317,619,225 patterns on the 100-qubit instance, none sampled. An empty intersection rejects the file and names the uncovered qubits and pattern. A second program written independently from the specification (pattern sets and numpy codes) agreed with the verifier on every test case.