Exact Low-Tubal-Rank Quaternion Tensor Completion via Convex Optimization | Synapse