A Hamiltonian-Level Certificate for Network-Free Distributed Quantum Simulation:Exact Tensor-Separability Criterion and Approximate Residual Bounds
The paper establishes exact and approximate mathematical criteria for determining when a complex multipartite quantum gate can be broken down into simpler local gates. It provides specific conditions for exact separability and bounds on how close a local approximation can get to the original gate, offering a theoretical basis for parallel quantum programming.