Application (paulie.application)#
Visualization#
Utilities for visualizing the anti-commutation graph.
Generates an animation showing the transformation of the anti-commutation graph into canonical form. |
|
|
Plot a canonical anti-commutation graph of a set of generators. |
Average Pauli weight#
Utilities related to average Pauli weights.
Calculates the average Pauli weight (influence) for an operator \(O\). |
|
Generates the weight \(|P|\) for each of the \(4^{\text{number qubits}}\) Pauli operators. |
|
Finds the quantum Fourier entropy of an operator \(O\). |
Charges#
Utilities for finding charges.
|
Finds the non-commuting charges of a DLA. |
Four-point correlation functions#
Utilities for finding four-point correlation functions.
|
Computes the four-point correlator of Pauli strings \(P\), \(Q\), \(R\), and \(S\). |
Optimal \(\mathfrak{su}(2^n)\) generators#
Utilities related to \(\mathfrak{su}(2^n)\) generators.
Get the optimal number of edges in the anticommutation graph for \(\mathfrak{su}(2^{n})\). |
|
Get an optimal generator set for \(\mathfrak{su}(2^{n})\). |
DLA metrics#
Utilities related to different DLA properties.
Get the average graph complexity of a Pauli string with respect to the time evolution generated by a given generator set. |
|
|
Finds the Haar averaged out-of-time-order correlator \(F\) between two Pauli strings \(V\) and \(W\). |
|
Computes the second-order twirl of an operator \(M\) by projecting it onto the subspace of quadratic symmetries of a DLA. |
Matrix decomposition#
Utilities related to matrix decompositions.
Returns the weight vector corresponding to the Pauli basis decomposition of a matrix. |
|
Returns the weight vector corresponding to the Pauli basis decomposition of a diagonal matrix. |
Pauli compiler#
Utilities related to Pauli compilation.
Compiler implementing the construction from arXiv:2408.03294. |
|
|
Configuration of the optimal compiler. |
Compiler for the right subsystem contribution. |
|
Configuration of the subsystem compiler. |
|
Choose the fixed left tag used when coupling to right-side generators. |
|
|
Compile a full target Pauli string into a generator sequence. |
Construct the universal generator set used by the compiler. |
|
Return the minimal left universal set |
|
|
Find a left-only adjoint path from |