Abstract: A new decomposition form is introduced in this report
to establish a criterion for the bi-partite separability of Bell diagonal
states. A such criterion takes a quadratic inequality of the coefficients
of a given Bell diagonal states and can be derived via a simple
algorithmic calculation of its invariants. In addition, the criterion can
be extended to a quantum system of higher dimension.