Pytania otagowane jako notation

3
Dlaczego dwukropek oznacza, że ​​wartość należy do typu?
Pierce (2002) wprowadza relację pisania na stronie 92, pisząc: Relacja typowania wyrażeń arytmetycznych, zapisana „t: T”, jest zdefiniowana przez zestaw reguł wnioskowania przypisujących typy do terminów a przypis mówi: Symbol ∈∈\in jest często używany zamiast:. Moje pytanie brzmi po prostu, dlaczego teoretycy tekstu wolą używać: ponad ∈∈\in ? Jeśli typ …
2
Notacja dla warunkowego operatora ewolucji hamiltonianów
Czytam pracę Harrowa, Hassidima i Lloyda Algorytmy kwantowe dla liniowych układów równań . Na trzeciej stronie tego artykułu piszą Następnie zastosujemy warunkową ewolucję hamiltonowską on| Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T.- 1τ= 0| τ⟩ ⟨ Τ|do⊗ ei A τto/ T∑τ=0T.-1|τ⟩⟨τ|do⊗mijaZAτto/T.\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}| Ψ0⟩do⊗ | b ⟩ …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.