pygsti.tools.errgenproptools.in_stabilizer_support

in_stabilizer_support(tableau, desired_state)

Return whether or not the desired bitstring is in the support of the stabilizer state corresponding to the input tableau.

Parameters:

• tableau (stim.Tableau or stim.TableauSimulator) – Stim tableau corresponding to the stabilizer state we wish to extract the amplitude from. If a stim.TableauSimulator it is assumed that this simulator has already had the appropriate inverse tableau value instantiated.

• desired_state (str or stim.PauliString) – If a string, then a series of of 0’s and 1’s corresponding to the computational basis state to extract the amplitude for. If a stim.PauliString then the paulis operator which maps the all-zero state to the target computational basis state.

Returns:

success – A boolean corresponding to True when the desired state is part of the support, and False otherwise.

Return type:

bool