なぜ標準のゲートセットを使用するのですか?


14

量子計算に一般的に使用されるゲートセットは、単一キュービットCliffords(Paulis、HおよびS)、被制御NOTおよび/または被制御Zで構成されます。

Cliffordを超えるには、完全な単一キュービット回転が必要です。しかし、最小化する場合は、T(Zの4番目のルート)に進みます。

ゲートセットのこの特定の形式は、すべてをポップアップします。たとえば、IBMのQuantum Experiment pなど。

なぜこれらのゲートは、正確に?例えば、Hは、XとZのSとの間のマッピングの仕事は同様にYとXとの間のマッピングの仕事をしない、しかしの因子1また、導入されます。アダマールのようなユニタリX + Y / を使用してみませんか(X+Y)/2Sの代わりに 2?または、なぜHではなくYの平方根を使用しないのですか?もちろん数学的には同等ですが、慣例としては少し一貫しているように見えます。

そして、なぜ私たちの行く非クリフォードゲートはZの4番目のルートですか?なぜXまたはYの4番目のルートではないのですか?

この特定のゲートセットの選択につながった歴史上の慣習は何ですか?


1
答えは、Gottesman-Knill定理でしょうか?古典的なコンピューターで量子回路の効率的なシミュレーションを可能にするゲートに固執しますか?
アンドリューO

@AndrewO Gottesman-KnillがCliffordの強いバイアスを説明すると思います。しかし、他のより対称的な外観の選択肢ではなく、標準のゲートセットがそれらのゲートである理由はまだわかりません。
ジェームズウートン

回答:


12

論文を書いて、表記を改善するか、分析をよりエレガントにするために少し異なる方法で提示できるかどうかを自問した人は、表記、説明、分析の選択が偶然になる可能性があるという事実に精通しています。深い動機なし。それには何の問題もありません。特定の方法であることを強く正当化するものではありません。最も可能性のある画像を提示するのではなく、物事を成し遂げることに関心がある(おそらく理由がある)人々の大規模なコミュニティでは、これは常に起こります。

この質問に対する究極の答えは、これらの方針に沿ったものになると思います。それはほとんど歴史的な事故です。私はあることを疑う深く考えられ、彼らがそうであるように理由は、ゲート・セットがあるために、任意のより多くの我々はベル状態について話す理由深く的な理由が考えられているよりも状態よりも幾分頻繁に| Ψ-=|01-|10 /|Φ+=(|00+|11)/2|Ψ=(|01|10)/2

しかし、私たちはまだ事故がどのように生じたのか、そしてそこに私たちを導いたかもしれない体系的な考え方について学ぶことができるものがあるかどうかを考えることができます。理由は最終的にはコンピューター科学者の文化的優先事項に起因するものであり、物事を説明する方法において、深いバイアスと表面的なバイアスの両方が役割を果たすと予想しています。

ベルの余談

あなたが私と一緒に耐えるなら、私は2つのベル州の例について詳しく述べたいと思いますおよび| Ψ -最終的には任意の慣例があるため、深い数学的なルーツを持っていない偏見の一部に、事故で約来ることができるかを示す一例として。|Φ+|Ψ

好む理由の1つは明白です以上| Ψは-前者はより明らかに対称であるということです。|に 2つのコンポーネントを追加すると、Φ +、私たちが書いている理由を守る必要はありません。対照的に、同様に簡単に定義できます| Ψ -= | 10 - | 01 /|Φ+|Ψ|Φ+は反対の記号で、選択より良いまたは悪い動機はありませんΨ-=|01-|10 /|Ψ=(|10|01)/2。これにより、定義時によりmore意的な選択を行っているように感じますΨ|Ψ=(|01|10)/2|Ψ

の場合でも、基底の選択は多少柔軟ですΦ +:書くことができます| Φ += | + + + | - - /|Φ+と同じ状態を取得します。しかし、固有状態を考慮し始めると、事態は少し悪化し始めます±I=|0±I|1 /|Φ+:=(|+++|)/2Yのオペレータ:我々は持っています| Φ+=|+I|-+|-|+I /|±i:=(|0±i|1)/2Y。これはまだかなり対称に見えますが、基底の選択が定義方法において重要な役割を果たしていることが明らかになりますΦ+|Φ+=(|+i|i+|i|+i)/2|Φ+

冗談は私たちにあります。理由は「より対称的」に見える| Ψ -ためであります| Ψ -文字通り少なくとも対称2量子ビットの状態であり、これは、それが作るより良いよりもやる気| やる気の代わりにΦ +| Ψ 状態はユニークな反対称状態です。ユニークな状態は1|Φ+|Ψ|Ψ|Φ+|Ψ1 SWAP操作の固有ベクトル。したがって、とりわけ量子ビット状態の識別可能性の制御SWAPテストに関係しています。

  • 説明できますなどのグローバルフェーズまで| α | α ⊥は- | α ⊥は| α /|Ψ文字通りすべての単一キュービット状態に対して 2 | αと直交状態| α⊥は、それが面白くする性質が根拠の選択とは無関係であることを意味しています。(|α|α|α|α)/2|α|α
  • 状態を記述するために使用するグローバルフェーズでもの定義には影響を与えません| Ψ -アップグローバル相以上に。同じことは当てはまりません| Φ +:読者の練習として、もし| 1 = i | 1 、そして何がある| 00 + | 1 " 1 "/|α|Ψ|Φ+|1=i|1(|00+|11)/2

一方、は、2つのキュービットの3次元対称部分空間(SWAP操作の+ 1固有ベクトルの部分空間)で最大に絡み合った状態の1つであり、したがって、たとえば | Φ -α | 00 - | 11 |Φ++1|Φ|00|11

ベルの状態について1つまたは2つのことを学んだ後、特にΦ +は表記法の表面的な対称性によってのみ動機付けられ、真に意味のある数学的特性ではありません。それは確かに|よりもarbitrary意的な選択ですΨ 。好む唯一の明白な動機| Φ +は、マイナス記号と虚数単位の回避に関係する社会学的理由です。そして、私が考えることができる唯一の正当な理由は文化的です。具体的には、学生やコンピューター科学者をよりよく収容するためです。|Φ+|Ψ|Φ+

誰がCNOTを注文しましたか?

X + Y /についてもっと話さない理由を尋ねる。あなたにとっても興味深い質問です。H=X+Z /(X+Y)/2 √の場合H=(X+Z)/2は同じことをたくさんしますか?私も行って説明し、学生への実験的な光学物理学者によって与えられた講演を見てきましたYアダマールゲート実行する標準的な状態:ただし、Yゲートは実際には彼にとってより自然でした。オペレーターYは、明らかにパウリの演算子に直接関係しています。真面目な物理学者は、私たちが代わりにアダマールにこだわることに興味があると考えるかもしれません。Y

我々はCNOTについて話すとき、 -しかし、部屋に大きな象があり、なぜ私たちはCNOTについて話しているではなく、他の交絡ゲートで、でありますそのテンソルの要因に対称な、またはより良いまだU = EXP - I π Z Z / 2 CZ=diag(+1,+1,+1,1)U=exp(iπ(ZZ)/2)多くの物理システムの自然なダイナミクスとより密接に関連していますか?以下のような単一のは言うまでもありませんまたは他のこのような変異体を。U=exp(iπ(XX)/2)

もちろん、その理由は、物理学自体よりも計算に明示的に興味があるためです。CNOTが気にするのは、CNOTが標準基底(数学的または物理的な理由ではなく、人間中心の理由で好まれる基底)をどのように変換するかです。ゲート上記のコンピュータ科学者の視点からやや神秘的である:それが何であるか、それの表面に明白ではないために、そしてより悪い、それが不快複素係数がいっぱいです。そして、ゲートU 'はさらに悪化します。対照的に、CNOTは1と0で満たされた置換演算子であり、コンピューター科学者に明らかに関連する方法で標準基底を置換します。UU

私はここで少し面白がっていますが、最終的にこれはのために量子計算を研究しているものです。物理学者は、基本操作の生態学についてより深い洞察を得ることができますが、コンピューター科学者が一日の終わりに気にするのは、原始的なものを古典的なデータを含む包括的な手順にどのように構成できるかです。そして、それは、下位の論理レベルで対称性をあまり気にしないことを意味します。ただし、下位レベルから必要なものを得ることができる限りです。

UU

深く、それほど深くない、アダマールゲートを好む理由

コンピューター科学者の優先事項が、について話す理由など、多くの慣習を動機付けていると期待しています(X+Z)/2Y(1iY)/2

H

|0,|1 and 'the' conjugate basis |+,| (that is to say, the eigenbasis of the X operator, as opposed to the Y operator) — the so-called 'bit' and the 'phase' bases, which are two conjugate bases that you can express using only real coefficients. Of course, Y also transforms between these bases, but also introduces a non-trivial transformation if you perform it twice. If you want to think of "toggling between two different bases in which you might store information", the Hadamard gate is better. But — this can only be defensible if you think it is important specifically to have

  • a gate H transforming between the standard basis and the very specific basis of |+,|;
  • if you care specifically about H having order 2.

You might protest and say that it is very natural to consider toggling between the 'bit' and 'phase' bases. But where did we get this notion of two specific bases for 'bit' and 'phase', anyway? The only reason why we single out |+,| as 'the' phase basis, as opposed for instance to |+i,|i, is because it can be expressed with only real coefficients in the standard basis. As for preferring an operator with order 2, to mesh with the notion of toggling, this seems to indicate a particular preference for considering things by 'flips' rather than reversible changes of basis. These priorities smack of the interests of computer science.

Unlike the case between |Φ+ versus |Ψ, the computer scientist does have one really good high-level argument for preferring H over Y: the Hadamard gate is the unitary representation of the boolean Fourier transform (that is, it is the quantum Fourier transform on qubits). This is not very important from a physical perspective, but it is very helpful from a computational perspective, and a very large fraction of theoretical results in quantum computation and communication ultimately rest on this observation. But the boolean Fourier transform already bakes in the asymmetries of computer science, in pre-supposing the importance of the standard basis and in using only real coefficients: an operator such as (X+Y)/2 would never be considered on these grounds.

Diagonal argument

If you're a computer scientist, once you have Hadamard and CNOT, all that's left is to get those pesky complex phases sorted as an afterthought. These phases are extremely important, of course. But just the way we talk about relative phases reveals a discomfort with the idea. Even describing the standard basis as the 'bit' basis, for storing information, puts a strong emphasis that whatever 'phase' is, it's not the usual way that you would consider storing information. Phases of all sorts are something to be dealt with after the 'real' business of dealing with magnitudes of amplitudes; after confronting the fact that one can store information in more than one basis. We barely talk at all about even purely imaginary relative phases if we can help it.

One can cope with relative phases pretty easily using diagonal operators. These have the advantage of being sparse (with respect to the standard basis...) and of only affecting the relative phase, which is after all the detail which we're trying to address at this stage. Hence TZ4. And once you've done that, why do more? Sure, we could as easily consider arbitrary X rotations (and because of Euler decomposition, we do play some lip-service to these operations) and arbitrary Y rotations, which would motivate X4 and Y4. But these don't actually add anything of interest for the computer scientist, who considers the job done already.

And not a moment too soon — because computer scientists don't really care about precisely what the primitive operations being used are as soon as they can justify move on to something higher-level.

Summary

I don't think there is likely to be any very interesting physically-motivated reason why we use a particular gate-set. But it is certainly possible to explore the psychologically-motivated reasons why we do. The above is a speculation in this direction, informed by long experience.


It seems you are arguing for two things, namely 1) the convention is an 'accident' and 2) the convention is useful for applications in CS. I'm not sure whether you indeed claim both and how this relates to eachother. Perhaps you can high-light this in your summary.
Discrete lizard

4
@Discretelizard: I am claiming something a bit subtler: the convention is an accident, because the computer scientist is more concerned with expediency for other purposes than with mathematical symmetry. The physicist and the mathematician both care about symmetries more than the computer scientist does, so what we've ended up with something that looks a little arbitrary. The specific arbitrary thing we've ended up with was itself steered by biases from computer science, but superficial biases rather than meaningful ones.
Niel de Beaudrap

7
Indeed, before the arrival of computer scientists, the physicists' preferred maximally entangled state was the singlet state, a.k.a. |Ψ. See e.g. all the 20th century papers about Bell's inequalities.
Frédéric Grosshans
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.