Convergence of the simultaneous algebraic reconstruction technique (SART)

In 1984, the simultaneous algebraic reconstruction technique (SART) was developed as a major refinement of the algebraic construction technique (ART). Since then, the SART approach remains a powerful tool for iterative image reconstruction. However, the convergence of the SART has never been established. This long-standing conjecture is proven under the condition that coefficients of the linear imaging system are non-negative. It is shown that from any initial value the sequence generated by the SART converges to a weighted least square solution. The importance of the SART and several relevant issues are also discussed.