Skip to main content
IBM Quantum Platform

MajoranaOperator

class MajoranaOperator(coeffs, modes, boundaries)

Basen: object

Ein Majorana-Fermionen-Operator.


Begriffsbestimmung

Dieser Operator wird durch eine Linearkombination von Produkten von Majorana-Operatoren definiert, [1] die sich anhand der standardmäßigen fermionischen Erzeugungs- und Vernichtungsoperatoren der zweiten Quantisierung definieren lassen (siehe auch FermionOperator):

γ=a†+a  and  γ′=i(a†−a)\gamma = a^\dagger + a ~~\text{and}~~ \gamma' = i(a^\dagger - a)

Die entscheidende Eigenschaft eines Majorana-Fermions, nämlich dass es sein eigenes Antiteilchen ist, wird sofort deutlich:

γi=γi†  and  γi2=(γi†)2=1\gamma_i = \gamma_i^\dagger ~~\text{and}~~ \gamma_i^2 = (\gamma_i^\dagger)^2 = 1

Daraus ergeben sich die folgenden Antikommutationsrelationen für 2n2n Majorana-Fermionen:

{γi,γj}=2δij\left\{\gamma_i,\gamma_j\right\} = 2\delta_{ij}

Damit lautet die Definition des gesamten Operators wie folgt:

MajoranaOperator=∑ici⨂jγj^ ,\text{\texttt{MajoranaOperator}} = \sum_i c_i \bigotimes_j \hat{\gamma_j} \, ,

wobei cic_i der (komplexe) Koeffizient ist, der die Linearkombination der Produkte von γj\gamma_j bildet. Der Index jj kann jeden Wert zwischen 0 und der Anzahl der Majorana-Fermionen-Moden, auf die der Operator einwirkt, minus 1 annehmen.


Bereitstellung

Diese Klasse speichert die Terme und Koeffizienten in mehreren spärlichen Vektoren, ähnlich dem „Compressed Sparse Row“-Format, das üblicherweise für spärliche Matrizen verwendet wird. Genauer gesagt enthält ein einzelner Operator 4 Arrays:

Kolumne „ 1 “
Kolumne „ 2 “
coeffsEin Vektor mit komplexen Koeffizienten, bestehend aus zwei 64-Bit-Gleitkommazahlen.
modesEin Vektor aus 32-Bit-Ganzzahlen, in dem die Indizes der bearbeiteten Majorana-Modi gespeichert sind.
boundariesEin Vektor aus ganzen Zahlen, der die Grenzen in angibt modes.

Die ganzen Zahlen in indizieren modes die Majorana-Moden: jj. Bei Verwendung der Hilfsfunktion gamma()werden gerade (ungerade) Indizes für γ\gamma ( γ′\gamma' ) verwendet.

Anmerkung

Auf schreibgeschützte Kopien dieser internen Arrays können Sie über die jeweiligen Methoden get_coeffs(), get_modes(), und zugreifen get_boundaries().

Diese Datenstruktur ermöglicht eine sehr effiziente Erstellung und Bearbeitung von Operatoren. Dies bedeutet jedoch, dass ein Operator jederzeit doppelte Terme enthalten kann. Diese müssen manuell mithilfe von simplify(). behoben werden.

Bauwesen

Ein Operator kann direkt durch Angabe der oben beschriebenen Arrays erstellt werden:

>>> from qiskit_fermions.operators import MajoranaOperator
>>> coeffs = [1.0, -2.0, 3.0j, -0.5j]
>>> modes = [0, 1, 0, 2, 0, 1, 2, 3]
>>> boundaries = [0, 0, 2, 4, 8]
>>> op = MajoranaOperator(coeffs, modes, boundaries)
>>> print(format(op))
  1.000000e0 +0.000000e0j * ()
 -2.000000e0 +0.000000e0j * (γ0 γ'0)
 -0.000000e0-5.000000e-1j * (γ0 γ'0 γ1 γ'1)
  0.000000e0 +3.000000e0j * (γ0 γ1)

Der Einfachheit halber lässt sich ein Operator wie folgt aus einem „ Python “-Wörterbuch erstellen:

>>> from qiskit_fermions.operators import gamma
>>> op = MajoranaOperator.from_dict(
...     {
...         (): 1.0,
...         (gamma(0, False), gamma(0, True)): -2.0,
...         (gamma(0, False), gamma(1, False)): 3.0j,
...         (gamma(0, False), gamma(0, True), gamma(1, False), gamma(1, True)): -0.5j,
...     }
... )
>>> print(format(op))
  1.000000e0 +0.000000e0j * ()
 -2.000000e0 +0.000000e0j * (γ0 γ'0)
 -0.000000e0-5.000000e-1j * (γ0 γ'0 γ1 γ'1)
  0.000000e0 +3.000000e0j * (γ0 γ1)

In diesem Beispiel haben wir gamma() zur Erzeugung der Majorana-Operatoren genutzt.

Darüber hinaus stehen die folgenden Konstruktions- und Schnellhilfemethoden zur Verfügung:

Kolumne „ 1 “
Kolumne „ 2 “
zero()Erzeugt den additiven Identitätsoperator.
one()Erzeugt den multiplikativen Identitätsoperator.
from_terms(Begriffe)Erstellt einen neuen Operator aus einem Iterator von Termen (siehe auch iter_terms()).
from_terms_with_groups(Begriffe)Erstellt einen neuen Operator aus einem Iterator von Termen mit Gruppen (siehe auch iter_terms_with_groups()).

Formatierung

In den obigen Beispielen wurden die konstruierten Operatoren mithilfe der Ausgabe von ausgegeben format(), wodurch eine für Menschen lesbare Darstellung des Operators entsteht.

>>> print(format(op))
  1.000000e0 +0.000000e0j * ()
 -2.000000e0 +0.000000e0j * (γ0 γ'0)
 -0.000000e0-5.000000e-1j * (γ0 γ'0 γ1 γ'1)
  0.000000e0 +3.000000e0j * (γ0 γ1)
Anmerkung

Die Ausgabereihenfolge von format(op) wird vor der Ausgabe explizit sortiert. Daher spiegelt sie nicht die Reihenfolge der Terme innerhalb des Operators wider.

Eine alternative Form lässt sich über die Funktion repr() ableiten, was zu einer Darstellung führt, die im Sinne von „ Python “ interpretierbar ist. Mit anderen Worten: Diese Ausgabe lässt sich problemlos kopieren und in eine „ Python “-Shell einfügen:

>>> print(repr(op))
MajoranaOperator.from_dict({...})

Schließlich könnten diese beiden Ausgaben bei großen Operatoren sehr lang und unerwünscht sein. Dann lässt sich über die Funktion str() eine sehr einfache Form mit minimalen Informationen erhalten:

>>> print(str(op))
<MajoranaOperator with 4 terms>

Iteration

Da die zugrunde liegende Datenstruktur in Rust implementiert ist und einen nicht trivialen Aufbau aufweist, kann sie nicht direkt durchlaufen werden:

>>> list(iter(op))
Traceback (most recent call last):
  ...
TypeError: 'qiskit_fermions.operators.majorana_operator.MajoranaOperator' object is not iterable

Stattdessen stellt diese Klasse benutzerdefinierte Iteratoren bereit, um diesen Zweck zu erfüllen:

>>> list(sorted(op.iter_terms()))
[([], (1+0j)), ([0, 1], (-2+0j)), ([0, 1, 2, 3], (-0-0.5j)), ([0, 2], 3j)]
Siehe auch

iter_terms()

Weitere relevante Details zur Umsetzung.

In der folgenden Tabelle sind alle verfügbaren Iteratoren aufgeführt:

Kolumne „ 1 “
Kolumne „ 2 “
iter_terms()Ein Iterator über die Terme des Operators.
iter_terms_with_groups()Ein Iterator über die Terme des Operators mit den dazugehörigen Gruppenindizes.

Rechenaufgaben

Die folgenden arithmetischen Operationen werden unterstützt:

Addition/Subtraktion

>>> op = MajoranaOperator.one()
>>> (op + op).simplify()
MajoranaOperator.from_dict({(): 2+0j})
>>> (op - op).simplify()
MajoranaOperator.from_dict({})
>>> op += op
>>> op.simplify()
MajoranaOperator.from_dict({(): 2+0j})
>>> op -= op
>>> op.simplify()
MajoranaOperator.from_dict({})

Skalare Multiplikation/Division

>>> op = MajoranaOperator.one()
>>> (2 * op).simplify()
MajoranaOperator.from_dict({(): 2+0j})
>>> (op / 2).simplify()
MajoranaOperator.from_dict({(): 0.5+0j})
>>> op *= 2
>>> op.simplify()
MajoranaOperator.from_dict({(): 2+0j})
>>> op /= 2
>>> op.simplify()
MajoranaOperator.from_dict({(): 1+0j})

Zusammensetzung des Bedienpersonals

Anmerkung

Die Komposition von Operatoren entspricht der linken Multiplikation: c = a & b entspricht „ C=BAC = B A “. Mit anderen Worten: Die Komposition zweier Operatoren ergibt einen resultierenden Operator, der „zuerst a und dann “ ausführt. b

>>> op1 = MajoranaOperator.from_dict({(): 2.0, (gamma(0, False),): 3.0})
>>> op2 = MajoranaOperator.from_dict({(): 1.5, (gamma(0, True),): 4.0})
>>> comp = (op1 & op2).simplify()
>>> print(format(comp))
  3.000000e0 +0.000000e0j * ()
  4.500000e0 +0.000000e0j * (γ0)
  8.000000e0 +0.000000e0j * (γ'0)
  1.200000e1 +0.000000e0j * (γ'0 γ0)
>>> op2 &= op1
>>> print(format(op2.simplify()))
  3.000000e0 +0.000000e0j * ()
  4.500000e0 +0.000000e0j * (γ0)
  1.200000e1 +0.000000e0j * (γ0 γ'0)
  8.000000e0 +0.000000e0j * (γ'0)
>>> squared = (op1 ** 2).simplify()
>>> print(format(squared))
  4.000000e0 +0.000000e0j * ()
  1.200000e1 +0.000000e0j * (γ0)
  9.000000e0 +0.000000e0j * (γ0 γ0)
Anmerkung

Der Einfachheit halber wird die rechtsseitige Multiplikation wie folgt implementiert ( c = a @ b was zu „ C=ABC = A B “ führt).

>>> (op1 @ op2).equiv(op2 & op1)
True

Andere Operationen

Neben den magischen Methoden, die den oben beschriebenen arithmetischen Operationen entsprechen, stehen folgende Methoden zur Verfügung:

Kolumne „ 1 “
Kolumne „ 2 “
adjoint()Gibt das hermitische Konjugierte (oder Adjungierte) dieses Operators zurück.
ichop( [Atoll] )Entfernt Terme, deren Koeffizientenwert unter dem angegebenen Schwellenwert liegt.
simplify( [Atoll] )Gibt einen gleichwertigen, aber vereinfachten Operator zurück.
normal_ordered( [aufsteigend, reduzieren] )Gibt einen Äquivalenzoperator mit normal geordneten Termen zurück.
relabel_modes(Permutation)Gibt einen neuen Operator mit neu benannten Modi zurück.

Eigenschaften

Schließlich gibt es verschiedene Methoden, um bestimmte Eigenschaften eines Operators zu überprüfen:

Kolumne „ 1 “
Kolumne „ 2 “
is_hermitian( [Atoll] )Gibt zurück, ob dieser Operator hermitisch ist.
max_rank()Gibt den höchsten Rang der Terme in diesem Operator zurück.
is_even()Gibt zurück, ob dieser Operator gerade ist.

[ 1 ]

https://en.wikipedia.org/wiki/Majorana _fermion


Attribute

groups

Ein optionaler Vektor mit Gruppenindizes für jeden Term.

Weitere Informationen finden Sie im Modul grouping .


Methoden

adjoint

adjoint()

Gibt das hermitische Konjugierte (oder Adjungierte) dieses Operators zurück.

Dies wirkt sich wie folgt auf die Terme und Koeffizienten aus:

  • Die Reihenfolge der Aktionen in jedem Term kehrt sich um
  • Die Koeffizienten sind komplex konjugiert
>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): -1.0j, (gamma(0, False), gamma(0, True)): 1.0})
>>> adj = op.adjoint()
>>> print(format(adj))
 -0.000000e0 +1.000000e0j * ()
  1.000000e0 -0.000000e0j * (γ'0 γ0)
equiv

equiv(other, atol=1e-08)

Prüft, ob dieser Operator mit einem anderen Operator gleichwertig ist.

Äquivalenz bedeutet in diesem Zusammenhang eine annähernde Gleichheit bis auf die angegebene absolute Toleranz. Genauer gesagt gibt diese Methode den Wert zurück True, wenn alle Absolutwerte der Koeffizienten in der Differenz unter dem angegebenen Schwellenwert liegen other - self``atol .

Anmerkung

Das ist der mathematische Vergleich, den man fast immer haben möchte. Er unterscheidet sich vom Operator == , der die exakte Gleichheit der gespeicherten Terme (ihrer Koeffizienten, Moden und internen Termgrenzen) ohne Toleranz und ohne Vereinfachung prüft. Zwei mathematisch gleichwertige Operatoren können daher unter ungleich sein, wenn == sie unterschiedlich gespeichert sind – beispielsweise ein nicht vereinfachtes im a + a Vergleich zu oder Terme 2 * a, die in einer anderen Reihenfolge vorliegen. Verwenden Sie equiv zum Vergleich von Operatoren bis zur numerischen Toleranz.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): 1e-7})
>>> zero = MajoranaOperator.zero()
>>> op.equiv(zero)
False
>>> op.equiv(zero, 1e-6)
True
>>> op.equiv(zero, 1e-9)
False

Parameter

  • anderes – der andere Operator, mit dem verglichen werden soll.
  • Atol – die absolute Toleranz für den Vergleich. Dieser Wert ist standardmäßig auf 1e-8. gesetzt.
from_dict

classmethod from_dict(data)

Erstellt einen neuen Operator aus einem Wörterbuch.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict(
...     {
...         (): 1.0-1.0j,
...         (0, 1): 2.0,
...     }
... )
>>> print(format(op))
  1.000000e0 -1.000000e0j * ()
  2.000000e0 +0.000000e0j * (γ0 γ'0)

Parameter

data – ein Wörterbuch, das Tupel aus Termen komplexen Koeffizienten zuordnet. Jeder Schlüssel ist ein Tupel aus ganzen Zahlen, das die Majorana-Moden indiziert. Sie können verwenden, gamma() um die Zuordnung von geraden und ungeraden Indizes zu γ\gamma und γ′\gamma' zu vereinfachen.

Rückgabe

Ein neuer Betreiber.

from_terms

classmethod from_terms(terms)

Erstellt einen neuen Operator aus einem Iterator von Termen (siehe auch iter_terms()).

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): 2.0, (0,): 1.0, (1,): -1.0j})
>>> op.equiv(MajoranaOperator.from_terms(op.iter_terms()))
True

Parameter

Terme – ein Iterator über die von … erzeugten Terme iter_terms().

Rückgabe

Ein neuer Betreiber.

from_terms_with_groups

classmethod from_terms_with_groups(terms)

Erstellt einen neuen Operator aus einem Iterator von Termen mit Gruppen (siehe auch iter_terms_with_groups()).

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator([2.0, 1.0, -1.0j], [0, 1], [0, 0, 1, 2])
>>> op.groups = [0, 1, 1]
>>> reconstructed = MajoranaOperator.from_terms_with_groups(op.iter_terms_with_groups())
>>> op.equiv(reconstructed) and op.groups == reconstructed.groups
True

Parameter

Terme – ein Iterator über die von … erzeugten Terme iter_terms_with_groups().

Rückgabe

Ein neuer Betreiber.

get_boundaries

get_boundaries()

Gibt eine schreibgeschützte Liste der Indizes zurück, die die Grenzen zwischen den Operandenteilen angeben.

Anmerkung

Diese Methode gibt eine Kopie der internen Daten zurück.

Siehe auch

Die Erläuterung der internen Datenstruktur finden Sie hier.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.one()
>>> op += MajoranaOperator.from_dict({(0, 1): 1.0})
>>> op.get_boundaries()
[0, 0, 2]

Rückgabe

Eine Auflistung der Begriffsgrenzen des Betreibers.

get_coeffs

get_coeffs()

Gibt eine schreibgeschützte Liste der Koeffizienten des Operators zurück.

Anmerkung

Diese Methode gibt eine Kopie der internen Daten zurück.

Siehe auch

Die Erläuterung der internen Datenstruktur finden Sie hier.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.one()
>>> op += -1j * MajoranaOperator.one()
>>> op.get_coeffs()
[(1+0j), -1j]

Rückgabe

Eine Liste der Koeffizienten des Betreibers.

get_modes

get_modes()

Gibt eine schreibgeschützte Liste der Indizes der Modi zurück, auf die der Operator angewendet wurde.

Anmerkung

Diese Methode gibt eine Kopie der internen Daten zurück.

Siehe auch

Die Erläuterung der internen Datenstruktur finden Sie hier.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.one()
>>> op += MajoranaOperator.from_dict({(0, 1): 1.0})
>>> op.get_modes()
[0, 1]

Rückgabe

Eine Liste der Betriebsarten des Geräts.

get_support

get_support()

Gibt die Menge der Modusindizes zurück, auf die dieser Operator wirkt.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict(
...     {
...         (0, 4): 1,
...         (1, 3, 4, 7): 1,
...     }
... )
>>> assert op.get_support() == {0, 1, 3, 4, 7}

Rückgabe

Die Menge der Modenindizes, auf die dieser Operator wirkt.

has_groups

has_groups()

Gibt zurück, ob dieser Operator Gruppenindizes verfolgt.

Dies entspricht der Überprüfung von (ist jedoch kostengünstiger als diese) op.groups is not None, da die Gruppenindizes nicht aus dem Operator kopiert werden, um sie zu überprüfen.

Anmerkung

Dies liefert ein Ergebnis, selbst True wenn eine leere Liste groups ist, was dem Zustand eines gruppierten Operators entspricht, der keine Terme enthält.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator(
...     [1.0, 2.0, -1.0, -2.0],
...     [0, 1, 2, 3, 1, 0, 3, 2],
...     [0, 2, 4, 6, 8],
... )
>>> op.has_groups()
False
>>> op.groups = [0, 1, 0, 1]
>>> op.has_groups()
True

Rückgabe

Ob für diesen Operator festgelegt groups ist.

ichop

ichop(atol=1e-08)

Entfernt Terme, deren Koeffizientenwert unter dem angegebenen Schwellenwert liegt.

Diese Methode ändert den Operator direkt und gibt None. zurück.

Vorsicht

Diese Methode kürzt Koeffizienten nach dem „Greedy“-Prinzip! Falls der Operand, auf den die Funktion angewendet wird, separate Koeffizienten für doppelte Terme enthalten kann, sollten Sie stattdessen simplify() den Aufruf in Betracht ziehen!

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): 1e-4, (0,): 1e-6, (1,): 1e-10})
>>> print(format(op))
  1.000000e-4 +0.000000e0j * ()
  1.000000e-6 +0.000000e0j * (γ0)
 1.000000e-10 +0.000000e0j * (γ'0)
>>> op.ichop()
>>> print(format(op))
  1.000000e-4 +0.000000e0j * ()
  1.000000e-6 +0.000000e0j * (γ0)
>>> op.ichop(1e-5)
>>> print(format(op))
  1.000000e-4 +0.000000e0j * ()

Parameter

atol – die absolute Toleranz für den Schwellenwert. Dieser Wert ist standardmäßig auf 1e-8. gesetzt.

is_even

is_even()

Gibt zurück, ob dieser Operator gerade ist.

Anmerkung

Ein Operator gilt auch dann als gerade, wenn alle seine Terme eine gerade Anzahl von Aktionen enthalten.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(0, 1): 1})
>>> op.is_even()
True
>>> op = MajoranaOperator.from_dict({(0,): 1})
>>> op.is_even()
False

Rückgabe

Ob dieser Operator gerade ist.

is_hermitian

is_hermitian(atol=1e-08)

Gibt zurück, ob dieser Operator hermitisch ist.

Anmerkung

Diese Überprüfung erfolgt equiv() anhand der Differenz normal_ordered() zwischen self und dessen sowie adjoint() zero().

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({
...     (0, 1, 2, 3): 1.00001j,
...     (3, 2, 1, 0): -1j,
... })
>>> op.is_hermitian()
False
>>> op.is_hermitian(1e-4)
True

Parameter

atol – Die numerische Genauigkeit, bis zu der Koeffizienten als gleich angesehen werden. Dieser Wert ist standardmäßig auf 1e-8. gesetzt.

Rückgabe

Ob dieser Operator hermitisch ist.

iter_terms

iter_terms()

Ein Iterator über die Terme des Operators.

Warnung

Das Ändern der Iterationselemente hat keine Auswirkungen auf die zugrunde liegenden Operator-Daten.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): 2.0, (0,): 1.0, (1,): -1.0j})
>>> list(sorted(op.iter_terms()))
[([], (2+0j)), ([0], (1+0j)), ([1], (-0-1j))]
iter_terms_with_groups

iter_terms_with_groups()

Ein Iterator über die Terme des Operators mit den zugehörigen Gruppenindizes.

Warnung

Das Ändern der Iterationselemente hat keine Auswirkungen auf die zugrunde liegenden Operator-Daten.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator([2.0, 1.0, -1.0j], [0, 1], [0, 0, 1, 2])
>>> op.groups = [0, 1, 1]
>>> list(op.iter_terms_with_groups())
[([], (2+0j), 0), ([0], (1+0j), 1), ([1], (-0-1j), 1)]
max_rank

max_rank()

Gibt den höchsten Rang der Terme in diesem Operator zurück.

Anmerkung

Die Länge des längsten Terms kann von der Form des Operators abhängen, was bedeutet, dass (beispielsweise) eine Vereinfachung des Operators oder eine Normalordnung zu einem anderen maximalen Rang führen können.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(0, 1, 2, 3): 1})
>>> op.max_rank()
4

Rückgabe

Der maximale Rang dieses Operators.

normal_ordered

normal_ordered(ascending=False, reduce=True)

Gibt einen Äquivalenzoperator mit normal geordneten Termen zurück.

Die normale Reihenfolge eines Operatorausdrucks ist so definiert, dass alle Aktionen lexikografisch geordnet sind. Ob sie ansteigen oder abfallen, hängt vom Wert des Parameters ascending ab. Gemäß der Konvention, wonach „ γ\gamma “ ( γ′\gamma' ) an geraden (ungeraden) Indizes platziert werden gamma() soll, ergibt sich das folgende Beispiel (für den Standardwert ascending=False): [\gamma(1, True), \gamma(1, False), \gamma(0, True), \gamma(0, False)] = [3, 2, 1, 0].

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(gamma(0, False), gamma(0, True), gamma(0, False)): 1})
>>> print(format(op.normal_ordered(reduce=False)))
 -1.000000e0 +0.000000e0j * (γ'0 γ0 γ0)
>>> print(format(op.normal_ordered(reduce=True)))
 -1.000000e0 +0.000000e0j * (γ'0)

Parameter

  • aufsteigend – ob die Indizes steigen oder fallen sollen.
  • Reduzieren – ob jeder Term auf seine Minimalform reduziert werden soll, indem Terme entfernt werden, die mit der Identität quadriert werden. Siehe auch das obige Beispiel.

Rückgabe

Ein äquivalenter, aber normalgeordneter Operator.

num_groups

num_groups()

Gibt die Anzahl der Gruppen zurück.

Wenn ist groupsNone , gibt diese Funktion ebenfalls zurück None. Andernfalls gibt die Funktion die Anzahl der Gruppen zurück, die als der Index der größten vorkommenden Gruppe plus 1 definiert ist (und somit als Index für die nächste Gruppe verwendet werden kann).

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator(
...     [1.0, 2.0, -1.0, -2.0],
...     [0, 1, 2, 3, 1, 0, 3, 2],
...     [0, 2, 4, 6, 8],
... )
>>> op.groups = [0, 1, 0, 1]
>>> op.num_groups()
2

Rückgabe

Der größte Konzernindex liegt bei plus groups 1.

one

classmethod one()

Erzeugt den multiplikativen Identitätsoperator.

Die Kombination des auf diese Weise konstruierten Operators mit einem anderen hat keine Auswirkungen.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): 2.0})
>>> one = MajoranaOperator.one()
>>> op & one == op
True
relabel_modes

relabel_modes(permutation)

Gibt einen neuen Operator mit neu benannten Modi zurück.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({
...     (0, 1): 1,
...     (0, 1, 2, 3): 1,
... })
>>> permutation = [5, 6, 4, 3]
>>> relabeled = op.relabel_modes(permutation)
>>> print(format(relabeled))
  1.000000e0 +0.000000e0j * (γ'2 γ3)
  1.000000e0 +0.000000e0j * (γ'2 γ3 γ2 γ'1)

Parameter

Permutation – die Liste der Indexpermutationen. „Mode“ wird i in umbenannt permutation[i], daher darf die Liste keine doppelten Einträge enthalten und muss lang genug sein, um jeden Modus zu erfassen, auf den der Operator wirkt (ihre Länge muss den größten Modusindex des Operators übersteigen).

Rückgabe

Ein neuer Operator, dessen Moden neu benannt wurden.

Erhöhungen

ValueError – wenn doppelte Einträge permutation enthält oder zu kurz ist, um einen Modus, auf den der Operator einwirkt, neu zu benennen.

simplify

simplify(atol=1e-08)

Gibt einen gleichwertigen, aber vereinfachten Operator zurück.

Bei der Vereinfachung werden zunächst alle Koeffizienten addiert, die zu gleichen Termen gehören, und anschließend nur diejenigen beibehalten, deren Gesamtkoeffizient die festgelegte Toleranz überschreitet (genau wie ichop()).

Wenn ein Operator arithmetisch so bearbeitet oder konstruiert wurde, dass keine Eindeutigkeit der Terme gewährleistet ist, sollte diese Methode aufgerufen werden, bevor eine Methode angewendet wird, die numerisch kleine Koeffizienten herausfiltert, um Informationsverlust zu vermeiden. Das folgende Beispiel veranschaulicht, wie Terme abgeschnitten werden ichop() können, deren Koeffizienten in der Summe eine Größe erreichen, die eigentlich nicht abgeschnitten werden sollte:

>>> from qiskit_fermions.operators import MajoranaOperator
>>> coeffs = [1e-5] * int(1e5)
>>> boundaries = [0] + [0] * int(1e5)
>>> op = MajoranaOperator(coeffs, [], boundaries)
>>> canon = op.simplify(1e-4)
>>> assert canon.equiv(op.one(), 1e-6)
>>> op.ichop(1e-4)
>>> assert op.equiv(op.zero(), 1e-6)

Parameter

atol – die absolute Toleranz für den Schwellenwert. Dieser Wert ist standardmäßig auf 1e-8. gesetzt.

Rückgabe

Ein gleichwertiger, aber vereinfachter Operator.

split_out_groups

split_out_groups(group_indices=None)

Teilt diesen Operator basierend auf in eine optionale Liste neuer Operatoren auf groups.

Wenn ist groupsNone , gibt diese Funktion ebenfalls zurück None. Andernfalls, wenn group_indices ist None (Standardeinstellung), gibt die Funktion eine Liste zurück, die für jeden Gruppenindex in einen neuen Operator enthält groups, und zwar in der Reihenfolge der Indizes. Wenn angegeben group_indices ist, werden nur die angeforderten Indizes in der angegebenen Reihenfolge aufgebaut: Dadurch lassen sich die Kosten für die Erstellung von Operatoren für Gruppen vermeiden, die niemals verwendet werden. Dies ist besonders vorteilhaft, wenn nur eine kleine Anzahl von Gruppen aus einer viel größeren Gesamtmenge benötigt wird, z. B. beim Subsampling von Gruppen für eine randomisierte Produktformel. Ein doppelter Eintrag in group_indices wird einmal pro Vorkommen zurückgegeben.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator(
...     [1.0, 2.0, -1.0, -2.0],
...     [0, 1, 2, 3, 1, 0, 3, 2],
...     [0, 2, 4, 6, 8],
... )
>>> print(op.split_out_groups())
None
>>> op.groups = [0, 1, 0, 1]
>>> groups = op.split_out_groups()
>>> for g in groups:
...     print(list(sorted(g.iter_terms())))
[([0, 1], (1+0j)), ([1, 0], (-1+0j))]
[([2, 3], (2+0j)), ([3, 2], (-2+0j))]
>>> groups = op.split_out_groups(group_indices=[1])
>>> for g in groups:
...     print(list(sorted(g.iter_terms())))
[([2, 3], (2+0j)), ([3, 2], (-2+0j))]

Parameter

group_indices – die Gruppenindizes, für die Operatoren erstellt werden sollen, in der gewünschten Ausgabereihenfolge. Wird dies weggelassen, werden alle Gruppen in Indexreihenfolge erstellt.

Rückgabe

Ein optionaler Vektor mit jeweils einem neuen Operator für jeden angeforderten Gruppenindex.

zero

classmethod zero()

Erzeugt den additiven Identitätsoperator.

Das Hinzufügen des auf diese Weise erstellten Operators zu einem anderen hat keine Auswirkung.

>>> from qiskit_fermions.operators import MajoranaOperator
>>> op = MajoranaOperator.from_dict({(): 2.0})
>>> zero = MajoranaOperator.zero()
>>> op + zero == op
True

Protokollmethoden

_anti_commutator_

static _anti_commutator_(op_a, op_b)

_commutator_

static _commutator_(op_a, op_b)

_double_commutator_

static _double_commutator_(op_a, op_b, op_c, sign)

_fermion_operator_

_fermion_operator_()

Wandelt diesen Operator in ein FermionOperator. um.

Dies implementiert das Protokoll SupportsFermionOperator durch Delegierung an majorana_to_fermion().

War diese Seite hilfreich?
Melden Sie auf GitHub einen Fehler, einen Tippfehler oder fordern Sie Inhalte an.