Quantum Software Models: Quantum Modules Tomography and Recovery Theorem
Iaakov Exman, Ariel Zvulunov · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2023
Quantum Tomography partially measures and then recovers the remaining density matrix quantum state, in order to verify that a certain device -processor or detector -indeed outputs the intended quantum state.However, single matrix element measurements rapidly increase in number with the density matrix dimension and are error-prone.This work proposes a novel quantum software viewpoint on quantum tomography.Instead of individual matrix elements, measurements and density matrix recovery are performed on higher-abstraction modules, i.e. semantically meaningful groups of matrix elements.Quantum Modules Tomography potentially reduce the necessary number of explicit measurements, while still allowing recovery of the whole density matrix.A Recovery Theorem is formulated and proved: density matrix diagonal measurements suffice to recover the whole system density matrix, in terms of modules.The recovery procedure is illustrated by a few case studies.