Z2Symmetries

class qiskit.quantum_info.Z2Symmetries(symmetries, sq_paulis, sq_list, tapering_values=None, *, tol=1e-14)

ベース： object

$Z_2$ 対称性コンバータは、問題のハミルトニアンから対称性を識別し、それを用いて、この問題に対するポーリスのような演算子のテーパー表現（より効率的な表現）を提供する。 特定された対称性ごとに、2つの対称セクタ（対称性の2つの可能な固有値-テーパリング値-）をテストしなければならないという代償を払って、1つの量子ビットをパウリ表現で排除することができる。 主オペレータの基底状態を求めるような特定の問題では、解の対称セクタを先験的に特定することができるため、計算オーバーヘッドを効果的に削減することができる。

Z2Symmetries オブジェクトが構築されると、以下のアトリビュートを読み込んで更新することができる。

tapering_values

tol

参考文献

[1] : Bravyi, S、 et al, "Tapering off qubits to simulate fermionic Hamiltonians" （フェルミオンのハミルトニアンをシミュレートするための量子ビットのテーパリング）。

arXiv:1701.08213

パラメーター

• symmetries (Iterable[Pauli]) – $Z_2$ の対称性のリストを表すオブジェクト。 tau_1 tau_2dots これらは対称群の生成子に対応する。
• sq_paulis (Iterable[Pauli]) – {q(i)}{jneq i} 対称性と反交流し、他のすべての対称性と交 通する単一量子ビットパウリ演算子のリストを表すオブジェクト。これらの作用素を用いてユニタリー・クリフォード作用素を構成する。
• sq_list (Iterable[int]) – クリフォード作用素を構築するのに使われる1量子ビットパウリ作用素の添字のリスト。
• tapering_values (Iterable[int] | None) – 各対称性の対称セクターを決定する固有値のリスト。
• tol (float) – 係数の実数部と複素数部を無視するための許容閾値。

レイズ

QiskitError - 無効なパウリ。 対称性、単一量子ビット・サポート・ポーリスとテーパリング値のリストは同じ長さでなければならない。 この長さは、適用された対称性の数であり、排除された量子ビットの数に直接変換される。

属性

cliffords

settings

sq_list

sq_paulis

symmetries

方法

convert_clifford

find_z2_symmetries

is_empty

taper

taper_clifford