Convergence Analysis of TAPPM Decoders for Deep Space Optical Channels