Z2Symmetries

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

베이스: object

$Z_2$ 대칭 변환기는 문제 해밀턴에서 대칭을 식별하고 이를 사용하여 이 문제에 대해 연산자를 폴리스로 더 효율적으로 테이퍼링하여 표현합니다. 식별된 각 대칭에 대해 두 개의 대칭 섹터(대칭의 두 가지 가능한 고유값-테이퍼링 값)를 테스트해야 하는 비용으로 폴리 표현에서 하나의 큐비트를 제거할 수 있습니다. 주 연산자의 접지 상태 찾기와 같은 특정 문제에서는 솔루션의 대칭 섹터를 선험적으로 식별하여 계산 오버헤드를 효과적으로 줄일 수 있습니다.

Z2Symmetries 객체가 생성되면 다음 속성을 읽고 업데이트할 수 있습니다.

tapering_values

tol

참조

[1] : Bravyi, S., 외, "페르미온 해밀턴 시뮬레이션을 위한 큐비트 축소"

arXiv:1701.08213

매개변수

• symmetries (Iterable[Pauli]) – $Z_2$ 대칭 목록을 나타내는 객체입니다. 이들은 대칭 그룹 $langle tau_1, tau_2dots rangle>$의 생성자에 해당합니다.
• sq_paulis (Iterable[Pauli]) – 대칭 $tau_i$와 반교대하고 다른 모든 대칭 $tau_ {jneq i} $와 교대하는 단일 큐비트 폴리 $sigma^x_ {q(i)} $의 목록을 나타내는 객체입니다. 이러한 연산자는 단일 클리포드 연산자를 구성하는 데 사용됩니다.
• sq_list (Iterable[int]) – 클리포드 연산자를 구축하는 데 사용된 단일 큐비트 폴리 연산자의 인덱스 $q(i)$ 목록입니다.
• 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