# Validate Superoperators¶

The module validate_superoperator lets you check properties, such as physicality, of channels. If you have a superoperator specified in a different representation convert it to the representations below.

## Kraus operators¶

 kraus_operators_are_valid(kraus_ops, rtol, atol) Checks if a set of Kraus operators are valid.

## Choi Matrix¶

 choi_is_hermitian_preserving(choi, rtol, atol) Checks if a quantum process, specified by a Choi matrix, is hermitian-preserving. choi_is_trace_preserving(choi, rtol, atol) Checks if a quantum process, specified by a Choi matrix, is trace-preserving (TP). choi_is_completely_positive(choi, rtol, atol) Checks if a quantum process, specified by a Choi matrix, is completely positive (CP). choi_is_cptp(choi, rtol, atol) Checks if a quantum process, specified by a Choi matrix, is completely positive and trace-preserving (CPTP). choi_is_unital(choi, rtol, atol) Checks if a quantum process, specified by a Choi matrix, is unital. choi_is_unitary(choi, limit) Checks if a quantum process, specified by a Choi matrix, is unitary.