QuantumComputinglib learn · inspect · formalize
Checked on this commit 4,524 public declarations commit 4e2c5b2c0be5 Build record

QuantumComputingBench · graph-grounded exercise book

Hamiltonian Composition

Follow the roles of input states, operator access, polynomial transformations and output interpretation. Source-only algorithm questions keep their assumptions and query/gate/readout boundaries explicit.

Back to Quantum Scientific Computing

train · proof

Exercise LA-019

Let S and T be Hermitian matrices on one finite system and X a Hermitian matrix on a second system. Prove that H=S tensor X+T tensor I is Hermitian without assuming that S and T commute. Give a counterexample showing tha…

nl bridge from inspected source