Measurement partition for shared basis estimation. Representative form: G_k={P_j : [P_i,P_j]_qw=0}.
Atlas stars stay in the public catalog. Saving this entry to your workspace starts an unstarred private copy.
Commuting observable group is cataloged as an operator rather than a circuit. Measurement partition for shared basis estimation.
No input port, deliberately. You measure a state with this entry; you do not apply it and pass a register on.
Nothing in the Atlas meets this end.
No output port, deliberately. An observable is measured with, never applied, so there is no register to hand on.
Nothing in the Atlas meets this end.
Not a stage. You measure a state with this; you do not apply it and pass a register on. It has a width and deliberately no ports. See all 60 →
The relation is not the one this record used to state. Its form was — ordinary commutativity — and the cited paper shows that is the wrong condition. Two Pauli words that commute need not be simultaneously measurable by single-qubit projective measurements, and the paper's own counterexample is while the two are not qubit-wise commuting. Their common eigenstates are entangled superpositions rather than product states, so no set of single-qubit measurements resolves both. The relation that does the work is the qubit-wise commutator of Eq. (4), which vanishes only when every single-qubit factor of commutes with its counterpart in . Qubit-wise commuting implies commuting; the converse fails.
The property worth knowing about this object is that it is not a partition. Qubit-wise commutativity is reflexive and symmetric but not transitive — the paper's example is and while . So it is not an equivalence relation, there are no equivalence classes, and a Hamiltonian has no unique grouping of its terms.
That is why the object is a group in the loose sense and never a partition, and it is the reason the optimization problem is a minimum clique cover over a graph rather than a sort into buckets. Represent each Pauli word as a vertex and join qubit-wise commuting pairs by an edge; a set of mutually measurable terms is then a clique, and the best grouping is a minimum cover by cliques — which the paper notes is NP-hard, hence the heuristics.
Why this record exists beside the method record, which cites the same paper. It was written to test whether it should. The answer is that the two carry different halves and neither is the other's summary: the algebraic facts above — which relation, why it is not transitive, why no unique grouping exists — are properties of the object and hold whatever procedure you use. What belongs to vqe-measurement-grouping instead is the procedure and its measured result: which heuristics were benchmarked, and that grouping reduced the operator count roughly threefold against the total number of Hamiltonian terms. An object record that repeated the threefold figure would be restating the method from the object's side, and this one does not.
OPERATOR: Commuting observable group
REPRESENTATIVE FORM: G_k={P_j : [P_i,P_j]_qw=0}
ROLE: Measurement partition for shared basis estimation.
This is a mathematical operator record, not an executable circuit.A reference record, not runnable source. Leona cannot execute it, so it cannot be saved to your Library as a circuit.
Use a classical state-vector or matrix simulation at the same width, precision, and measurement objective.
The quantum record demonstrates a state or operator behavior; it does not make classical simulation or communication costs disappear.
Compare fidelity, samples, gate depth, noise, memory, and the cost of preparing and reading the state.
Nobody has reviewed this record for gaps yet.
Primary source for this record, read at the depth its deepened outcome states.
arxiv.org/abs/1907.03358 ↗