البوابات المنطقية الكمية

من testwiki
اذهب إلى التنقل اذهب إلى البحث

قالب:يتيمة

في الحوسبة الكمومية وتحديدًا في نموذج الدائرة الكمومية للحساب ، البوابة المنطقية الكمومية (أو البوابة الكمومية ) هي دائرة كمومية أساسية تعمل على عدد صغير من وحدات البت الكمية. بوابات المنطق الكمومي هي عناصر البناء للدوائر الكمومية، على غرار بوابات المنطق الإعتيادية للدوائر الرقمية التقليدية.

على عكس العديد من بوابات المنطق الإعتيادية، بوابات المنطق الكمومي قابلة للانعكاس. من الممكن أن تُنفّذ الحوسبة الإعتيادية باستخدام بوابات قابلة للانعكاس فقط. على سبيل المثال، يمكن لبوابة توفولي القابلة للانعكاس تنفيذ جميع الدوال الثنائية ، وغالبًا ما يكون ذلك على حساب استخدام وحدات مساعدة. تمتلك بوابة توفولي ما يعادلها في العملية الكمومية، مما يُظهر أن الدوائر الكمومية يمكنها تنفيذ جميع العمليات التي تقوم بها الدوائر الإعتيادية.

البوابات الكمومية هي عوامل وحدية، وتوصف على أنها مصفوفات وحدية بالنسبة إلى بعض القواعد المتعامدة . عادةً ما يتم استخدام الأساس الحسابي في البوابات الكمومية، والذي ما لم يتم مقارنته بشيء ما، فهذا يعني أنه بالنسبة للنظام الكمي على مستوى d (مثل بت الكم ، أو سجل الكمي ، أو الكيوتريت و الكيوديت ) قالب:استشهاد متعدد يتم تسمية متجهات قاعدة الأساس المتعامد قالب:بدون لف استخدم العرض الثنائي .

التاريخ

اسماء البوابات المنطقية الكمومية (بما في ذلك الاختصار الخاص بها)، وشكل (أشكال) الدوائر والمصفوفات الوحدوية المقابلة

تم تطوير الترميز المتسخدم حاليا للبوابات الكمومية من قبل العديد من مؤسسين علوم المعلومات الكمومية بما في ذلك أدريانو بارينكو وتشارلز بينيت وريتشارد كليف وديفيد بي ديفينسينزو ونورمان مارجولوس وبيتر شور وتايكو سليتور وجون إيه سمولين وهارالد وينفورتر.[١] مستندين إلى كتابات تم تقديمها من قبل ريتشارد فاينمان في عام 1986.[٢]

التمثيل

يمكن تمثيل حالات البت الكمومي المفرد الغير متشابك والتي تفتقر إلى الطور العالمي (global phase) كنقاط على سطح كرة بلوخ ، مكتوبة على شكل: |ψ=cos(θ/2)|0+eiφsin(θ/2)|1.



</br> يتم تمثيل الدورات حول المحاور قالب:تعبير رياضي لمجال بلوح بواسطة بوابات مشغل الدوران .

بوابات المنطق الكمومي تُمثل بواسطة بمصفوفات وحدوية . البوابة التي تؤثر على عدد n من البت الكمي يتم تمثيلها كمصفوفة بحجم 2n×2n ومجموعة كل هذه البوابات مع التشغيل الجماعي لضرب المصفوفة قالب:ملا هي المجموعة الوحدوية U(2 n ).[١] ينص حالة الكم على أن البوابات التي تعمل عليها هي متجهات الوحدة 2n من الأبعاد المعقدة ، مع القاعدة الإقليدية المعقدة ( المعيار 2 ). قالب:استشهاد متعدد : 66 قالب:استشهاد متعدد المتجهات الأساسية ( وتسمى أحيانًا الحالات الذاتية ) هي النتائج المتوقعة إذا تم قياس حالة البتات الكمومية، والحالة الكمومية هي مزيج خطي من هذه النتائج. تعمل البوابات الكمومية الأكثر شيوعًا على مساحات متجهة مكونة من بت كمٍ واحد أو بتان كميان، تمامًا مثلما تعمل البوابات المنطقية الاإعتيادية الشائعة على بتة واحدة أو بتتين .

بالرغم من أن البوابات المنطق الكمومي تنتمي إلى مجموعات تماث مستمر ، إلا أن الأجهزة الحقيقية محدودة في الدقة. علاوة على ذلك، تطبيق البوابات يتسبب عادة في حدوث أخطاء، ويقل دقة تماثل الحالات الكمومية مع مرور الوقت. ولكن إذا تم تصحيح الاخطاء ، فإن البوابات المستخدمة تقتصر بشكل أكبر على مجموعة محدودة. قالب:استشهاد متعدد : الفصل. 10 قالب:استشهاد متعدد 14 في هذا المقال سيتم التركيز على خصائص البوابات الكمومية المثالية وتجاهل ذلك.

عادةً ما يتم تمثيل الحالات الكمومية بالـ"كتات"، من تدوين يُعرف باسم برا-كيت .

التمثيل المتجه لبت الكم الواحد هو

|a=v0|0+v1|1[v0v1].

هنا القيم v0 و v1 هي مؤشرات الاحتمالية لبت الكم. تحدد هذه القيم احتمالية قياس قيمة 0 أو 1 عند قياس حالة بت الكم. يمكنك الاطلاع على القسم التالي لمزيد من التفاصيل حول القياس.

يتم تمثيل قيمة الصفر بواسطة الكتقالب:بدون لف وقيمة الواحد تمثلها الكتقالب:بدون لف

يستخدم الضرب التناظري (أو جداء كرونيكر ) لدمج حالات الكم. الحالة المجمعة لسجل البتات الكمومية هي ناتج الضرب التناظري لبتات الكم المكونة. يُرمز للضرب التناظري بـقالب:بدون لف

يكون التمثيل البُعدي لاثنين من بتات الكم كالآتي:[٣]

|ψ=v00|00+v01|01+v10|10+v11|11[v00v01v10v11].

يتم العثور على تأثير البوابة على حالة كمومية معينة عن طريق ضرب المتجه |ψ1 (الذي يمثل الحالة) بواسطة المصفوفة المعرفة بـU كتمثيل للبوابة. نتيجة ذلك هي حالة كمومية جديدة قالب:بدون لف

U|ψ1=|ψ2.

أمثلة بارزة

هناك عدد لا يحصى من البوابات. تم تسمية بعض البوابات من قبل مؤلفين مختلفين، [١][٤][٥][٦][٧][٨][٩] نستعرض البوابات المستخدمه في المقالات والكتب في الأسفل.

بوابة الهوية

بوابة الهوية هي مصفوفة الوحدة (مصفوفة الهوية) تكتب عادة على أنها I ، وهي معرفة لبت الكم الواحدة على النحو التالي:

I=[1001],

حيث أن I لا تعتمد على الأساس ولا تغير الحالة الكمومية. تعد بوابة التعريف مفيدة للغاية لوصف نتيجة عمليات البوابة المختلفة رياضياً أو عند مناقشة دوائر بتات الكم المتعددة.

بوابات باولي ( X, Y, Z )

</img>
</img>
</img>
</img>
البوابات الكمومية (ترتيبًا من الأعلى إلى الأسفل): بوابة الوحدة، بوابة NOT، باولي Y، باولي Z

بوابات باولي

(X,Y,Z)

هي مصفوفات الثلاث لباولي

(σx,σy,σz)

والتي تعمل على بت كم واحدة. تمثل الموز X و Y و Z على التوالي الدوران الذي يتم حول محاور x و y و z في كرة بلوخ بمقدار

π

راديان. قالب:ملا

تعمل البوابات المتحكم بها على اثنين أو أكثر من بتات الكم، حيث تعمل بت الكم الواحدة أو أكثر كتحكم لعملية معينة.[١] على سبيل المثال، تعمل بوابة NOT التحكم بها (أو CNOT أو CX) على بتين كميين، وتنفذ عملية NOT على البت الكم الثاني فقط عندما يكون البت الكمي الأول في الحالة قالب:بدون لف وإلا تتركه دون تغيير. بالنسبة إلى الأساسقالب:بدون لف قالب:بدون لف قالب:بدون لف قالب:بدون لف يتم تمثيلها بواسطة مصفوفة وحدوية الهرميتية :

يتم تمثيل هذه المصفوفات عادة على شكل:

Z=σz=[1001]. Y=σy=[0ii0],X=σx=NOT=[0110],

مصفوفات باولي تتميز بكونها من المعكوسات ، وهذا يعني أن تربيع مصفوفة من مصفوفات باولي مساويٍ لـمصفوفة الهوية .

I2=X2=Y2=Z2=iXYZ=I

مصفوفات باولي تعد معاكسة لبعضها البعض ففي المثال الآتي مصفوفات باولي-X و باولي-X ZX=iY=XZ.

الدالة الأسية لأي مصفوفة من مصفوفات باولي σj هو عامل الدوران ، وغالبًا ما يكتب على شكل eiσjθ/2

بوابات التحكم

دائرة تمثل بوابة U المتحكم بها

تعمل البوابات المتحكم بها على اثنين أو أكثر من بتات الكم، حيث تعمل بت الكم الواحدة أو أكثر كتحكم لعملية معينة.[١] على سبيل المثال، تعمل بوابة NOT التحكم بها (أو CNOT أو CX) على بتين كميين، وتنفذ عملية NOT على البت الكم الثاني فقط عندما يكون البت الكمي الأول في الحالة قالب:بدون لف وإلا تتركه دون تغيير. بالنسبة إلى الأساسقالب:بدون لف قالب:بدون لف قالب:بدون لف قالب:بدون لف يتم تمثيلها بواسطة مصفوفة وحدوية الهرميتية : CNOT=[1000010000010010].

بوابة التبديل هي بوابة تعمل على اثنتين من بتات الكم تقوم بتبادل حالتهما. فيما يتعلق بالأساس |00, |01, |10, |11 ، يتم تمثيلها بواسطة المصفوفة الآتية

يمكن التعبير عن CNOT في أساس باولي على النحو التالي:

CNOT=eiπ4(IZ1)(IX2)=eiπ4(IZ1)(IX2).

بكونها مشغل وحيدي هرميتي، فإن بوابة CNOT لها الخاصية بإن eiθU=(cosθ)I+(isinθ)U و U=eiπ2(IU)=eiπ2(IU) ، وهي كذلك عملية إنعكاسية (أي تطبيقها مرتين يعيدها إلى الحالة الأصلية) .

وبشكل عام إذا كانت U عبارة عن بوابة تعمل على بت الكم واحدة فإنها تمثل مصفوفيًا كالتالي:

U=[u00u01u10u11],

فإن بوابة U التي المتحكم بها هي بوابة تعمل على اثنتان من البت الكم حيث أن بت الكم الأول يعد متحكم.

قالب:عدة صور

|00|00
|01|01
|10|1U|0=|1(u00|0+u10|1)
|11|1U|1=|1(u01|0+u11|1)

المصفوفة التي تمثل U المتحكم بها هي

CU=[1000010000u00u0100u10u11].

عندما تكون U واحدة من معاملات باولي X ، Y ، Z فإنه يتم استخدام المصطلحات "المتحكم X"، "المتحكم Y"، أو "المتحكم Z". قالب:استشهاد متعدد : 177-185 في بعض الأحيان يتم اختصار هذا إلى C X و C Y و C Z فقط.

بشكل عام، يمكن التعبير عن أي بوابة وحدوية لبت الكم الواحدة على أنها U=eiH ، حيث أن H تعدمصفوفة هيرميتية ، و U المتحكم بها CU=ei12(IZ1)H2

يمكن توسيع التحكم إلى بوابات بأعداد بتات الكم تعسفية (عددها عشوائي) [١] ووظائف في لغات البرمجة، [١٠] ويمكن أن تكون الوظائف مشروطة بحالات التراكب.[١١][١٢]

التحكم الإعتيادي

مثال: البت الكمي ϕ يتم قياسها ، ونتيجة هذا القياس هي قيمة بولينية منطقية ، والتي يستهلكها الكمبيوتر الاعتيادي. لو ϕ تقاس بـ 1، ثم يخبر الكمبيوتر الاعتيادي الكمبيوتر الكمي بتطبيق بوابة U عليها ψ . في مخططات الدوائر، الخطوط المفردة هي البت الكمومي ، والخطوط المضاعفة هي بتات .

ييمكن أيضًا التحكم في البوابات باستخدام المنطق الاعتيادي. يتم التحكم في الحاسوب الكمي بواسطة حاسوب اعتيادي ، ويتصرف مثل معالج مساعد الذي يتلقى تعليمات من الحاسوب حول البوابات التي سيتم تنفيذها على أي من بتات الكم. قالب:استشهاد متعدد : 42-43 [١٣] التحكم الاعتيادي هو ببساطة إدراج أو حذف البوابات في تسلسل من التعليمات لجهاز الحاسوب الكمي. قالب:استشهاد متعدد : 26-28 قالب:استشهاد متعدد

بوابات تحويل الطور

تمثل بوابات تحويل الطور مجموعة من البوابات أحادية بت الكم التي تقوم بعرض الحالات الأساسية على النحو التالي: |0|0 و |1eiφ|1 حيث أن φ هي قيمة تحويل الطور. لا يتغير احتمال قياس حالة |0 أو |1 بعد تطبيق هذه البوابة، لكنها تعدل طور الحالة الكمومية. هذا يُعادل تتبع دائرة أفقية (خط عرض ثابت)، أو دورة حول المحور z في كرة بلوخ بمقدار φ راديان. يتم تمثيل بوابة تحويل الطور بالمصفوفة:

P(φ)=[100eiφ]

حيث φ تمثل تحويل الطور ذي الدورة قالب:تعبير رياضي ، ومن الأمثلة الشائعة على ذلك: بوابة T حيث φ=π4 (كانت تعرف تاريخيًا باسم بوابة π/8). بوابة الطور (المعروفة أيضًا باسم بوابة S، مكتوبة على أنها S، على الرغم من أن S تستخدم أحيانًا لبوابات SWAP) حيث φ=π2 وبوابة باولي- <i id="mwAYc">Z</i> حيث φ=π .

ترتبط بوابات تحويل الطور ببعضها البعض على النحو التالي:

Z=[100eiπ]=[1001]=P(π)

S=[100eiπ2]=[100i]=P(π2)=Z

T=[100eiπ4]=P(π4)=S=Z4

لاحظ أن بوابة تحويل الطور P(φ) ليس هرميتية (باستثناء كل قيمة φ=nπ,n ). تختلف هذه البوابات عن المرافقات الهرميتية الخاصة بها: P(φ)=P(φ) . في بعض مجموعات التعليمات يتم تضمين البوابتان المرافقتان (أو المرافقة المنقولة ) S و T.[١٤]

بوابة هادامارد

بوابة هادامارد أو والش هادامارد (سميت نسبةً جاك هادامارد ةقالب:أصد-فرنسي</link> و جوزيف إل والش) تعمل على على بت الكم الواحدة وتقوم بعرض الحالات الأساسية على النحو التالي: |0|0+|12 و |1|0|12 بمعنى آخر، تحول بوابة هادامار حالة أساس حوسبي إلى تراكب متساوي من الحالتين. يتم كتابة الحالتين (|0+|1)/2 و (|0|1)/2 بشكل آخر وهو |+ و |. تُجري بوابة هادامارد دورة مقدارها π حول المحور (x^+z^)/2 في كرة بلوخ ، وبالتالي فهي عملية انقلابية (عكسية) . تتمثل في مصفوفة هادامارد بالشكل التالي :

دائرة تمثل بوابة هادامارد
H=12[1111].

تستخدم بوابة هادامارد الهرميتية (حيث أن H=H1=H ) في تغيير الأساس، فهي تقوم بقلب x^ و z^ . على سبيل المثال HZH=X و HXH=Z=S.

بوابة التبديل

قالب:ملاحظات

دائرة تمثل بوابة التبديل

بوابة التبديل هي بوابة تعمل على اثنتين من بتات الكم تقوم بتبادل حالتهما. فيما يتعلق بالأساس |00, |01, |10, |11 ، يتم تمثيلها بواسطة المصفوفة الآتية

SWAP=[1000001001000001].

تتميز بوابة التبديل بإمكانية تحليلها إلى شكل مجموع:

SWAP=II+XX+YY+ZZ2

بوابة توفولي (CCNOT).

تمثيل الدائرة لبوابة توفولي

بوابة توفولي سميت بنسبة إلى توماسو توفولي وتسمى أيضًا بوابة CCNOT أو بوابة دويتش D(π/2) ، هي بوابة تعمل على ثلاثة من بتات الكم الشاملة للحسابات الاعتيادية ولكن ليس للحساب الكمي. بوابة توفولي الكمومية هي نفس البوابة، محددة بـ 3 كيوبت. إذا قصرنا المدخلات على الحالتين |0 و قالب:بدون لف فقط فإن في حال كانت أول بتان في الحالة |1 فإنها تطبق عملية باولي- X (أو NOT) على البت الثالثة، وإلا فلا تفعل شيئًا. ذلك مثال على بوابة وحدوية

متحكم بها CC-U. وبما أنها تمثل النظير الكمومي لبوابة اعتياديلة، فهي محددة تماما بواسطة جدول الحقيقة الخاص بها. تعتبر بوابة توفولي شاملة عند دمجها مع بوابة هادامارد أحادية البت.[١٥]

جدول الحقيقة شكل مصفوفة
مدخل انتاج
0 0 0 0 0 0
0 0 1 0 0 1
0 1 0 0 1 0
0 1 1 0 1 1
1 0 0 1 0 0
1 0 1 1 0 1
1 1 0 1 1 1
1 1 1 1 1 0
[1000000001000000001000000001000000001000000001000000000100000010]

ترتبط بوابة توفولي بالعمليات الاعتياديه AND ( ) و XOR ( ) حيث تقوم بتطبيق التعيين التالي على الحالات في الأساس الحسابي:|a,b,c|a,b,c(ab)

يمكن التعبير عن بوابة توفولي باستخدام مصفوفات باولي على النحو التالي:

Toff=eiπ8(IZ1)(IZ2)(IX3)=eiπ8(IZ1)(IZ2)(IX3).

البوابات الشاملة في الحوسبة الكمومية

كلا من CNOT و SWAP بوابات شاملة ثنائية البت الكمي ويمكن تحويلها إلى بعضها البعض.

مجموعة البوابات الكمومية الشاملة هي أي مجموعة من البوابات التي يمكن اختزال إليها أي عملية ممكنة على الكمبيوتر الكمي، أي أنه يمكن التعبير عن أي عملية وحدوية أخرى كتسلسل محدود من البوابات من المجموعة. من الناحية الفنية، هذا مستحيل مع أقل من مجموعة غير معدودة من البوابات نظرًا لأن عدد البوابات الكمومية المحتملة غير معدود، بينما عدد التسلسلات المحدودة من مجموعة محدودة يعد غير قابل للعد .لحل هذه المشكلة، لا يلزم سوى أن تكون أي عملية كمومية تقريبية بواسطة تسلسل من البوابات من هذه المجموعة المحدودة. علاوة على ذلك، بالنسبة للوحدات الوحدوية التي تحتوي على عدد ثابت من بتات الكم، يضمن نظرية سولوفاي-كيتاييف إمكانية القيام بذلك بكفاءة. يمكن التحقق إذا كانت مجموعة من البوابات الكمومية الشاملة باستخدام طرق نظرية المجموعة [١٦] أو علاقتها بتصميمات t الوحدوية (تقريبية) [١٧]

أمثلة على مجموعات البوابات الشاملة:

بوابة دويتش

يمكن أيضًا صياغة مجموعة بوابة واحدة من البوابات الكمية الشاملة باستخدام بوابة دويتش ثلاثية البتات الكمية المعلمة D(θ) ، [١٩] والتي سميت نسبة إلى الفيزيائي ديفيد دويتش . إنها حالة عامة لـ CC-U ، أو البوابة الوحدوية المتحكم بها ، ويتم تعريفها على النحو التالي:

|a,b,c{icos(θ)|a,b,c+sin(θ)|a,b,1cfor a=b=1,|a,b,cotherwise.

لسوء الحظ، ظلت بوابة دويتش العاملة بعيدة المنال بسبب عدم وجود بروتوكول. هناك بعض المقترحات لتحقيق بوابة دوتش باستخدام تفاعل ثنائي القطب في الذرات المتعادلة.[٢٠]

يمكن اختزال بوابة توفولي، وهي بوابة منطق شاملة للمنطق الحاسوبي الاعتيادي القابل للعكس، إلى بوابة دويتش D(π/2) وبالتالي توضح إمكانية إجراء جميع عمليات المنطق الاعتيادي العكسي على حاسوب كمومي شامل.

هناك أيضًا بوابات واحدة ثنائية بت الكم كافية لتكون شاملة حيث أظهر أدريانو بارينكو في عام 1996،أنه يمكن تحليل بوابة دوتش باستخدام بوابة ثنائية بت الكم الواحدة فقط ( بوابة بارينكو )، ولكن من الصعب تحقيق ذلك تجريبيًا. قالب:استشهاد متعدد : 93 ولكن يصعب تحقيقها تجريبياً. هذه الميزة خاصة بالدوائر الكمومية، حيث لا توجد بوابة اعتيادية ذات حدين قابلة للعكس وشاملة في نفس الوقت. قالب:استشهاد متعدد : 93 يمكن تنفيذ بوابات ثنائية بت الكم شاملة لتحسين الدوائر الاعتيادية القابلة للعكس في المعالجات الدقيقة سريعة ومنخفضة الطاقة. قالب:استشهاد متعدد

تركيب الدائرة

بوابات المتصلة تتابعيًا

بوابتان Y و X على التوالي. عند القيام بالحساب نقوم بعكس الترتيب الذي ظهرتا به على السلك

بافتراض ان لدينا بوابتين A و B تعملان عدد يرمز بـn من البتات الكمومية. عندما يتم وضع B بعد A في دائرة متتالية، فيمكن وصف تأثير البوابتين على أنها واحدة C وذلك ناتج لضرب المصفوفتين B وA.

C=BA

يشير رمز بأنه رمز لضرب المصفوفات . ينتج عن الضرب البوابة C واللتي تحمل نفس أبعاد A و B. يتم عكس الترتيب الذي تظهر به البوابات في مخطط الدائرة عند ضربها معًا كما ذكر مسبقا. قالب:استشهاد متعدد : 17-18،22-23،62-64 قالب:استشهاد متعدد

كمثال آخر يمكن لوصف بوابة باولي X بعد بوابة باولي Y إن كان كلاهما يعمل على بت كمّي واحد، على أنهما بوابة واحدة مجمعة C :

C=XY=[0110][0ii0]=[i00i]=iZ

غالبا ما يتم حذف رمز ضرب المصفوفات ( ) أثناء كتابة المعادلات.

أسس البوابات الكم

جميع الأسس الحقيقية للمصفوفات الوحدوية تعد مصفوفات وحدوية بذاتها، كذلك جميع البوابات الكمية هي مصفوفات وحدوية.

الأسس الصحيحة العدديه مكافئة لتسلسل البوابات المتصلة تتابعيًا (على سبيل المثال قالب:بدون لف والأس الحقيقي هو تعميم لدائرة التتابعية. على سبيل المثال، Xπ و X=X1/2 كلاهما بوابتان كمية صحيحة.

يعد U0=I بالنسبة لأي مصفوفة وحدوية U .وذلك لأن مصفوفة الوحدة ( I ) تتصرف كعملية NOP بمعنى آخر لا تقوم بأي عملية [٢١] ويمكن تمثيل مصفوفة الوحدة كسلكٍ فارغ في الدوائر الكمية أو عدم تمثيلها على الإطلاق.

كما ذكر مسبقًا جميع البوابات هي مصفوفات وحدوية، بالتالي UU=UU=I و قالب:بدون لف حيث أن هو النقلة المعقودة (أو التبديل المترافق) . هذا يعني أن الأسس السالبة للبوابات هي عكس وحدوي لنظيرها ذات الأس الموجب: قالب:بدون لف على سبيل المثال، بعض الأسس السالبة لبوابات تحول الطور(Phase Shift Gates) تكون كالتالي:

T1=T و قالب:بدون لف

لاحظ أنه بالنسبة للمصفوفة الهرمتية H=H وبسبب الوحدوية فإن HH=I لذا H2=I لجميع البوابات الهرمتية. بمعنى آخر أنها بوابة عكسية لذاتها. ومن أمثلة البوابات الهرمتية بوابات باولي ، وهادامارد ، وCNOT ، وسواب SWAP ، و توفولي Toffoli . كل مصفوفة وحدوية هرميتية H تحمل الخواص التالية: eiθH=(cosθ)I+(isinθ)H حيث أن H=eiπ2(IH)=eiπ2(IH).

البوابات المتوازية

البوابتان Y و X بالتوازي يعادل البوابة YX .

حاصل الضرب التناظري (أو منتج كرونيكر ) لبوابتين كموميتين هي البوابة التي تتساوى مع البوابتين في وضع متواز. قالب:استشهاد متعدد : 71-75 قالب:استشهاد متعدد

إذا قمنا، بدمج بوابة باولي- Y مع بوابة باولي- X على التوازي (كما الظاهر في الصورة) فيمكن كتابة ذلك على النحو التالي:

C=YX=[0ii0][0110]=[0[0110]i[0110]i[0110]0[0110]]=[000i00i00i00i000]

كل من بوابة باولي- X و باولي- Y تعملان على بت كمي واحد. والبوابة الناتجة (C) تعمل على بتين كميين.

حين كتابة المعادلة يمكن تمثيل الضرب التناظري بحذف الرمز ويتم استخدام المؤشرات للتمثيل.[٢٢]

تحويل هادامارد

البوابة H2=HH هي بوابة هادامارد قالب:بدون لف تطبق متوازيةَ على بتين كميين. يمكن تمثيلها على النحو الآتي:

K=HI=12[1111][1001]=12[1010010110100101]

عند تطبيق "بوابة هادامارد المتوازية ثنائية البتات" على بتين قالب:بدون لف تنشأ حالة كمية تحتوي على احتمال متساو الظهور في أي من النتائج الأربع الممكنة: قالب:بدون لف قالب:بدون لف قالب:بدون لف و قالب:بدون لف يمكننا كتابة العملية على النحو التالي:

H2|00=12[1111111111111111][1000]=12[1111]=12|00+12|01+12|10+12|11=|00+|01+|10+|112
مثال: تحويل هادامارد على سجل يتكون من 3 بتات كمومية قالب:بدون لف

هنا، فإن قيمة العمق لكل حالة قابلة للقياس هي قالب:كسر مائل. احتمالية مشاهدة أي حالة هي مربع القيمة المطلقة لقيمة العمق للحالات القابلة للقياس، والتي في المثال أعلاه تعني أن هناك احتمال واحد من أصل أربعة لمشاهدة أي واحدة من الحالات الأربعة الفردية. يُرجى الاطلاع على القياسات للحصول على التفاصيل إضافية.

H2 تنفذ تحويل هادامارد على بتين كميين. تشابهها البوابة التالية: HHHn times=1nH=Hn=Hn حيث تنفذ تحويل هادامارد على سجل يتكون من عدد n من البتات الكمية.

عند تطبيقه على سجل يحتوي على عدد n من البتات وقيمتها المبدئية قالب:بدون لف يضع تحويل هادامارد السجل الكمي في تراكب مع احتمالية متساوية للقياس في أي من 2n حالاته المحتملة:

0n1(H|0)=12n[111]=12n(|0+|1++|2n1)=12ni=02n1|i

الحالة تعد تراكب موحد ويتم إنشاؤها كخطوة أولى في بعض الخوارزميات المستخدمة في البحث، على سبيل المثال في تضخيم السعة وتقدير الطور .

قياس هذه الحالة ينتج عنه رقم عشوائي بين |0 و قالب:بدون لف قالب:ملا مدى عشوائية الرقم يعتمد على جودة بوابات المنطق. إذا لم يتم قياس الرقم فهي فالحالة كمومية تكون ذات عمق احتمالية متساوية لـ12n لكل حالة من حالاتها المحتملة.

يعمل تحويل هادامارد على سجل |ψ المكون من n بتات كمومية، من هذا النوع |ψ=i=0n1|ψi على النحو الآتي:

0n1H|ψ=i=0n1|0+(1)ψi|12=12ni=0n1(|0+(1)ψi|1)=H|ψ0H|ψ1H|ψn1

تطبيق على الحالات المتشابكة

إذا تم النظر إلى اثنين أو أكثر من البتات الكمومية كحالة كمومية واحدة، فإن هذه الحالة المدمجة تساوي حاصل الضرب التناظري للبتات الكمومية المكونة لها. أي حالة يمكن كتابتها كناتج الضرب التناظري من الأنظمة الفرعية المكونة لها تسمى حالات قابلة للفصل . من منظورٍ آخر الحالة المتشابكة هي أي حالة لا يمكن تحليلها إلى عوامل الضرب التناظري. يجب توخي الحذر عند تطبيق البوابات على البتات الكمومية المكونة التي تشكل الحالات المتشابكة.

إذا كان لدينا مجموعة من N من البتات الكمومية المتشابكة ونرغب في تطبيقها على بوابة كمية على M < N من البتات الكمومية في المجموعة (اي اقل منها عددًا)، فيجب توسيعه (أو تضخيمه) البوابة M لتأخذ عدد N من البتات. يمكن إجراء هذا التطبيق من خلال دمج البوابة مع مصفوفة الوحدة بحيث يصبح منتج الضرب التناظري الخاص بها بمثابة بوابة تعمل على عدد N من البتات الكمومية. مصفوفة الهوية قالب:بدون لف هو تمثيل للبوابة التي تحدد كل حالة لنفسها (أي لا تفعل شيئًا على الإطلاق). في مخطط الدائرة، غالبًا ما تظهر بوابة الهوية أو المصفوفة على أنها مجرد سلك مكشوف.

تبعًا للمثال الوارد في النص. بوابة هادمارد H تعمل فقط على بت كمي واحد، ولكن |ψ هي حالة كمومية متشابكة تمتد على 2 بت كمي. في مثالنا، |ψ=|00+|112 .

كمثال: بوابة هادامارد قالب:بدون لف تعمل على بت كمي واحد، ولكن إذا قمنا بتغذيته بأول البتين اللتين تشكلان حالة بيل المتشابكةقالب:بدون لف لا يمكن كتابة هذه العملية بسهولة. نحن بحاجة إلى تمديد بوابة هادامارد H مع بوابة الهوية I حتى نتمكن من التصرف على الحالات الكمومية التي تمتد على إثنين من البتات الكمومية:

K|00+|112=12[1010010110100101]12[1001]=12[1111]=|00+|01+|10|112

يمكن الآن تطبيق البوابة K على أي حالة ثنائية البتات الكمومية، سواء كانت متشابكة أو غير ذلك. ستترك البوابة K البت الكمي الثاني دون تغيير وستطبق تحويل هادامارد على البت الكمي الأول. إذا تم تطبيقها على حالة بيل في مثالنا، يمكننا كتابة ذلك على النحو:

CNOT(HI)|00=([1000010000010010](12[1111][1001]))[1000]=12[1001]=|00+|112

التعقيد الحسابي وحاصل الضرب التناظري

التعقيد الزمني لضرب مصفوفتين n×n تكون على الأقل قالب:بدون لف في حالة استخدام الآلة الاعتيادية. وذلك لأن حجم البوابة التي تعمل عليها q البتات الكمية هي 2q×2q مما يعني أن الوقت المناسب لمحاكاة الخطوة في الدائرة الكمومية (عن طريق ضرب البوابات) التي تعمل في حالات متشابكة عامة هو قالب:بدون لف لهذا السبب يعد من الصعب محاكاة الأنظمة الكمومية الكبيرة المتشابكة باستخدام أجهزة الكمبيوتر الاعتيادية. المجموعات الفرعية من البوابات، مثل بوابات كليفورد ، أو الحالة البسيطة للدوائر التي يسهل تنفيذها بكفاءة على أجهزة الكمبيوتر الكلاسيكية (على سبيل المثال مجموعات من X ، CNOT ، توفولي ).

متجه الحالة للسجل الكمي الذي يحتوي على عدد n من البتات الكمية هو 2n مدخلات معقدة. تخزين سعات الاحتمال كقائمة من قيم الفاصلة العائمة لا يمكن تتبعه على نطاق واسع من n .

الانعكاس الوحدوي للبوابات

مثال: المعكوس الوحدوي لمنتج هادامارد-CNOT. البوابات الثلاثة قالب:بدون لف I و CNOT هم معكوسات وحدوية لذواتهم.

بسبب أن جميع بوابات المنطق الكمومي قابلة للانعكاس ، فإن أي مكونة من عدة بوابات قابلة للانعكاس. جميع حاصل الضرب وحاصل الضرب التناظري (أي المجموعات المتوالية والمتوازية ) للمصفوفات الوحدوية هي أيضًا مصفوفات وحدوية. وهذا يعني أنه من الممكن بناء معكوس لجميع الخوارزميات الدوال إذا كانت تحتوي على بوابات فقط.

التهيئة والقياس والإدخال والإخراج وفك الترابط التلقائي من الآثار الجانبية في أجهزة الكمبيوتر الكمومية. ومع ذلك، فإن البوابات في الحوسبة الكمومية وظيفية وثنائية بحتة .

إذا كانت U مصفوفة وحدوية ، إذًا يعد UU=UU=I ويساويقالب:بدون لف الخنجر ( ) يدل على النقل المترافق . ويسمى أيضًا باسمالهرميتي المجاور .

إذا كانت الدالة F هي حاصل ضرب عدد m من بوابات, قالب:بدون لف فإن المعكوس الوحدوي لـF يمكن كالتالي:

وذلك لأن (UV)=VU بعد التطبيق المتكرر على الدالة

F=(i=1mAi)=i=m1Ai=AmA2A1

وبالمثل إذا كانت الدالة G تتكون من بوابتين A و B (متوازيتان) إذًا G=AB مما ينتج لنا أيضًا عن قالب:بدون لف .

تسمى البوابات التي تكون معاكساتها الوحدوية عوامل هرميتية أو عوامل ذاتية التوصيل . بعض البوابات الأولية مثل بوابات هادامارد ( H ) وبوابات باولي ( I ، X ، Y ، Z ) هي عوامل هرميتية. على نقيض ذلك لا تعد بوابات تحول الطور ( S ، T ، P ، Cphase ) بوابات هرميتية.

كمثال يمكن استخدام خوارزمية الجمع للقيام بعملية الطرح إذا تم تشغيلها "عكسيًا"، تماما مصل معكوسها الوحدوي. تحويل فورييه الكموميي العكسي هو المعكوس الوحدوي. من الممكن أيضًا استخدام المعكوسات الوحدوية لغير الحساب . لغات البرمجة للحواسيب الكمومية، مثل Q# من مايكروسوفت ، [١٠] QCL لبيرنهارد ، قالب:استشهاد متعدد و Qiskit من شركة IBM ، [٢٣] تحتوي على انعكاس الدالة كمفاهيم برمجية.

القياس

تمثيل دائرة للقياس. يمثل الخطان على الجانب الأيمن بتًا إعتيادية، ويمثل الخط الفردي على الجانب الأيسر بتًا كمي.

القياس (أو القراءات) غير قابلة للعكس فبالتالي لا تُعد بوابة كميّة، لأن القراءات تقوم بتخصيص الحالة الكمية المرصودة لقيمة واحدة. في القياس تؤخذ الحالة الكميّة ويتم عرضها على أحد المتجهات الأساسية ، باحتمالية تساوي طول المتجه تربيع (في المعيار 2 قالب:استشهاد متعدد قالب:استشهاد متعدد ). قالب:استشهاد متعدد : 15-17 [٢٤][٢٥][٢٦] ويُعرف ذلك بقاعدة بورن التي تظهر كعملية عشوائية لا تقبل أن يتم عكسها، لأنها تحدد احتمال الحالة الكمية للمتجه الأساسي الذي يمثّل الحالة التي تم قياسها. وفي لحظة القياس، يمكن القول بأن الحالة " تنطوي " على القيمة الفردية المحددة التي تم قياسها.

تتمثل مشكلة القياس في لماذا وكيف وإذا [٢٧][٢٨] تنطوي الحالة الكمومية عند القياس.

احتمالية قياس قيمة مع التوزيع الاحتمالي ϕ هوقالب:بدون لف حيث أن || هو القيمة المطلقة .

عند قياس بت الكم، يتم تمثيل حالته الكميّة بواسطة المتجه قالب:بدون لف سوف ينتج عن |0 واحتمالية قالب:بدون لف وينتج عن قالب:بدون لف

كمثال في قياس البت الكم الواحده بالحالة الكمية |0i|12=12[1i] سوف ينتج عنها احتمالية متساوية مابين |0 أو قالب:بدون لف

ملف:Qubit state with sin and cos.png
بالنسبة للكيوبت الواحد، لدينا وحدة كروية 2 مع الحالة الكمومية a|0+b|1 مثل ذلك قالب:بدون لف يمكن إعادة كتابة الحالة كـ قالب:بدون لف أو |a|2=cos2θ و قالب:بدون لف



ملحوظة: |a|2 هو احتمال القياس |0 و |b|2 هو احتمال القياس قالب:بدون لف

الحالة الكمية |Ψ التي تتسع لـقالب:Mvar من البتات الكمومية تكتب كمتجه في 2n مركب الابعاد: قالب:بدون لف وذلك لأن ناتج الضرب التناظري لعدد قالب:Mvar من البتات الكمومية هو متجه في 2n أبعاد. بهذه الطريقة، سجل يحوي على قالب:Mvar من بتات الكم يمكن قياسه في 2n حالات مختلفة أو مستقلة على عكس بتات الحواسيب الاعتيادية، يمكن أن تكون للحالات الكميّة سعة احتمالية غير صفرية في قيم متعددة قابلة للقياس في وقت واحد. وهذا ما يسمى بالتراكب .

مجموع كل الاحتمالات لكل النتائج لابد أن يساوي قالب:Val . قالب:ملا بطريقة أخرى ممكن أن يقال بأن نظرية فيثاغورس معممة على 2n تحتوي على جميع الحالات الكمية |Ψ بعدد قالب:Mvar من البتات بحيث أن تتوافق مع 1=x=02n1|ax|2 قالب:ملا بحيث ax تمثل المؤثرات الاحتمالية للحالة الممكن قياسها قالب:بدون لف التفسير الهندسي لهذا هو أن فضاء الحالة المحتملة للحالة الكمية |Ψ اللذي يحتوي على قالب:Mvar من بتات الكم يمثل على سطح وحدة الكرة 2n وأن التحولات الوحدوية (أي البوابات المنطقية الكمومية) المطبقة عليها تمثل الدوران على الكرة. الدوران الذي يتم تمثيله بواسطة البوابات يشكل مجموعة التماثل U(2 n ) . إذًا يمكن القول بأن القياسات هي عرض احتمالي للنقاط الموجودة على سطح الكرة المركبة على المتجهات الأساسية التي تمتد عبر الفضاء.

في كثير من الحالات بدلًا من استخدامقالب:بدون لف كبعد لتمثيل الفضاء يتم استخدام فضاء هيلبرت . . عدد الأبعاد (المحددة بواسطة المتجهات الأساسية، وبالتالي أيضًا النتائج المحتملة من القياس) يتم الإشارة بواسطة المعاملات ، ويمكن أخذ فضاء الحالة المطلوبة لحل مشكلةٍما. أطلق جروفر في خوارزميته على مجموعة المتجهات الأساسية هذه اسم "قاعدة البيانات".في خوارزمية جروفر ، أطلق جروفر على مجموعة المتجهات الأساسية هذه اسم "قاعدة البيانات" .

إن اختيار المتجهات الأساسية التي يتم من خلالها قياس الحالة الكميّة سيؤثر على نتيجة. قالب:استشهاد متعدد : 30-35 قالب:استشهاد متعدد [٢٩] يمكنك مراجعة تغيير الأساس وانتروبي فون نيومان للحصول على المزيد من التفاصيل. في هذه المقالة، نستخدم دائمًا الأساس الحسابي ، مما يعني أننا قمنا بتسمية 2n المتجهات الأساسية لسجل قالب:Mvar من بتات الكمقالب:بدون لف أو باستخدم التمثيل بالنظام الثنائي قالب:بدون لف.

تشكل المتجهات الأساسية في ميكانيكا الكم أساسًا متعامدًا .

المثال على استخدام بديل لقياس الأساس يتواجد في تشفير بي بي 84 .

تأثير القياس على الحالات المتشابكة/المتداخلة

بوابة هادامارد-CNOT ، والتي عندما تعطى المدخلات |00 تنتج عن حالة بيل

إذا كانت هناك حالتان كميتان (بتات الكم أو السجلات ) متشابكتان (بمعنى أنه لا يمكن التعبير على حالتهما المتحدة كناتج للضرب التناظري ) فإن قياس أحد السجلين يؤثر أو يكشف عن حالة السجل الآخر عن طريق تراكب حالته جزئيًا أو كليًا أيضًا. يمكن استخدام هذا التأثير للحساب، ويستخدم في العديد من الخوارزميات.

تعمل تركيبة بوابتي هادامارد-CNOT على الحالة |00 في النحو التالي:

CNOT(HI)|00=([1000010000010010](12[1111][1001]))[1000]=12[1001]=|00+|112
حالة الجرس في النص هي |Ψ=a|00+b|01+c|10+d|11 حيث a=d=12 و قالب:بدون لف لذلك، يمكن وصفه بالمستوى الممتد بواسطة المتجهات الأساسية |00 و قالب:بدون لف كما في الصورة. مجال الوحدة قالب:بدون لف التي تمثل مساحة القيمة المحتملة لنظام 2 qubit تتقاطع مع المستوى و |Ψ تقع على سطح مجالات الوحدة. لأن قالب:بدون لف هناك احتمال متساو لقياس هذه الحالة ل |00 أو قالب:بدون لف ولأن b=c=0 هناك احتمال صفر لقياس ذلك |01 أو قالب:بدون لف

الحالة الناتجة عن ذلك هي حالة بيل قالب:بدون لف ولا يمكن وصف الحالة بأنها ناتج الضرب التناظري لاثنين من البتات. حيث لا يوجد حل لـ

[xy][wz]=[xwxzywyz]=12[1001],

لأنه على سبيل المثال قالب:Mvar يجب أن يكون غير صفرية وصفرية في حالتين هما قالب:Mvar و قالب:Mvar .

تمتد الحالة الكمية على بتيّ الكم. وهذا ما يسمى التشابك. سيؤدي قياس أحد بتّي الكم(2 بت كم) اللتان تشكلان حالة بيل هذه إلى أن بت الكم الآخر يجب أن يكون له نفس القيمة منطقيّا، ويجب أن يكون كلاهما متماثلين: إما أنه سيتم العثور عليه في الحالة قالب:بدون لف أو الحالةقالب:بدون لفعلى سبيل المثال: إذا تم قياس أحد بتات الكم وكان يساويقالب:بدون لف فإن البت الآخر لابد أن يساوي كذلك قالب:بدون لف لأن حالتهما المجتمعة اصبحت قالب:بدون لف يؤدي قياس إحدى البتات الكمية إلى تراكب الحالة الكمومية بأكملها، والتي تمتد عبر بتّي الكم.

حالة GHZ تعد حالة كمية متشابكة مماثلة تمتد على ثلاثة بتات كم أو أكثر.

يحدث هذا النوع من تخصيص القيمة بشكل فوري على أي مسافة ، وقد تم التحقق من ذلك تجريبيًا بواسطة QUESS في عام 2018 لمسافة تمتد إلى 1200 كيلومتر.[٣٠][٣١][٣٢] يبدو أن هذه الظاهرة تحدث بشكل فوري بدلاً من الوقت الذي يستغرقه اجتياز المسافة التي تفصل بين بتات الكم بسرعة الضوء يسمى مفارقة إي بي آر ، وهو سؤال مفتوح في الفيزياء حول كيفية حل هذا الأمر. في الأصل تم حل المشكلة بالتخلي عن افتراض الواقعية المحلية ، ولكن ظهرت تفسيرات أخرى. لمزيد من المعلومات يمكنك مراجعة تجربة اختبار بيل. تثبت نظرية عدم الاتصال أن هذه الظاهرة من غير الممكن استخدامها لتوصيل المعلومات الكلاسيكية بسرعة أكبر من سرعة الضوء.

القياس على السجلات ذات الكيوبتات المتشابكة الزوجية

تأثير التحويل الوحدوي F على السجل A الموجود في حالة تراكب لعدد 2n من الحالات والمتشابك بشكل زوجي مع السجل B. هنا، قالب:Mvar يساوي 3 (يحتوي كل سجل على 3 بتات كم).

لنأخذ سجل A يحوي عدد قالب:Mvar من البتات التي تم تعيين قيمتها مبدئيًا إلى قالب:بدون لف اضافة بوابة هادامارد موازية قالب:بدون لف إذا السجل "A" سوف يدخل بعد ذلك إلى الحالة 12nk=02n1|k التي تحوي على احتمالات متساوية عند قياسها لتكون في أيٍ من الحالات الممكنة 2n من |0 لـ قالب:بدون لف لنأخذ سجلًا ثانيًا يسمى بـB، أيضا يحتوي عدد قالب:Mvar من البتات والتي تم تعيين قيمتها مبدئيًا إلى |0 وإقران بوابة CNOT مع البتات الكمومية الموجودة في السجل السابق (A)، بحيث يكون لكل قالب:Mvar بت كمومي Ap و Bp تشكلان الحالة قالب:بدون لف

إذا قمنا بقياس بتات الكم في السجل الأول، فسنجد أن السجل الآخر B يحتوي على قيمة مطابقة للسجل الأول A. ومع ذلك، إذا قمنا بإضافة بوابة منطقية كمية قالب:Mvar على السجل A ثم قمنا بالقياس، فإذًا قالب:بدون لف بحيث أن F هو المعكوس الوحدوي لـ قالب:Mvar .

سنقوم بتفسير الآتي يالطريقة التي تعمل بها المعكوسات الوحدوية للبواباترياضيًا قالب:بدون لف على سبيل المثال: F(x)=x+3(mod2n)

فإذن أيضًا من السديد قول أن قالب:بدون لف

سيبقى كِلا السجلين متساويين بغض النظر عن ترتيب القياس الذي يتم إجراؤه، بافتراض أن البوابة المضافة قالب:Mvar قد تم تشغيلها حتى تكتمل. من الممكن أيضًا أن يتم اخذ القياس عشوائيًا ومتزامنًا المتداخلة بتًا كميًا فآخر، نظرًا لأن تخصيص قياس واحدة من البتات الكميّة سيحد من مساحة القيمة المحتملة من البتات الكميّة المتشابكة الأخرى.

بالرغم من أن المساواة تعد صحيحة حسابيًا ولكن احتمالات قياس النتائج المحتملة تتغير نتيجةً لتطبيق البوابة المنطقية الكميّة قالب:Mvar ، كما قد يكون الهدف من خوارزمية البحث الكمي.

يتم استخدام تأثير تقاسم القيمة عبر التشابك في خوارزمية شور وتقدير الطور وفي العد الكمي . يُعرف صيد فورييه بأنه: طريقة عامة لاستخدام تحويل فورييه لتضخيم السعات الاحتمالية لحالات الحل لبعض المشكلات.[٣٣]

توليف الوظائف المنطقية

جوامع كمومية كاملة ، قدمها فاينمان في عام 1986.[٢] وتتكون من بوابات توفولي و CNOT فقط. يمكن حذف البوابة المحاطة بالمستطيل المنقط في هذه الصورة إذا لم تكن هناك حاجة إلى إجراء عمليات حسابية لاظهار ناتج B.

يمكن وصف الدوال والإجراءات التي تستخدم البوابات فقط على أنها مصفوفات، تمامًا مثل البوابات الأصغر. المصفوفة التي تمثل دالة كمية تعمل على q من البتات الكمية لها حجم قالب:بدون لف على سبيل المثال، الدالة التي تعمل على "بتات الكم" (أو السجل المتكون من 8 بت كمي) سيتم تمثيلها بمصفوفة ذات 28×28=256×256 عنصر.

التحولات الوحدوية التي لا تتوافر في الأصل في الحواسيب الكميّة (البوابات البدائية أو البوابات المنطقية) يمكن تركيبها، أو الوصول للقيمة التقريبية لها من خلال الجمع بين البوابات البدائية المتاحة في الدائرة الكهربائية. إحدى الطرق للقيام بذلك هي تحليل المصفوفة التي تقوم بترميز التحويل الوحدوي إلى منتج منتجات موتر (أي دوائر متسلسلة ومتوازية) للبوابات البدائية المتاحة. المجموعة U(2 q )هي مجموعة التناظر للبوابات التي تعمل على q بتات كم. تحليل العوامل هو مشكلة العثور على مسار في U(2q) من مجموعة التناظر من البوابات البدائية.[١] توضح نظرية سولوفاي-كيتايف أنه في حالة وجود مجموعة كافية من البوابات البدائية، يوجد تقريب فعال لقيمة أي بوابة. بالنسبة للحالة العامة التي تحتوي على عدد كبير من البتات الكميّة، فإن هذا النهج المباشر لتركيب الدوائر أمر مستعصي على الحل (أو غير قابل للحل).[٣٤][٣٥] وهذا يضع حدًا لكيفية تحليل الدوال الكبيرة إلى عوامل البوابات الكميّة البدائية باستخدام هجوم القوة العمياء(القوة الغاشمة). عادةً ما يتم بناء الدوال الكميّة باستخدام دوال كميّة صغيرة وبسيطة نسبيًا، على غرار البرمجة الكلاسيكية الاعتيادية.

لطبيعة البوابات الوحدوية، يجب أن تكون جميع الدوال قابلة للانعكاس وتكون عبارة عن تعيينات ثنائية للمدخلات والمخرجات بشكل دائم. يجب أن تكون هناك دائمًا دالة F1 واللتي تمثل قالب:بدون لف من الممكن جعل الدوال غير القابلة للعكس قابلة للعكس عن طريق إضافة البتات الملحقة إلى الإدخال أو الإخراج، أو كلاهما. بعد تشغيل الوظيفة حتى انتهائها، يمكن بعد ذلك عدم حساب البتات الكمية الملحقة أو تركها دون تغيير. قياس أو انطباق الحالة الكمومية للكيوبت الملحقة التي لم يتم حسابها (على سبيل المثال عن طريق إعادة تهيئة قيمتها أو عن طريق إزالة الترابط التلقائي) قد يؤدي إلى حدوث أخطاء، [٣٦][٣٧] حيث قد تكون حالتها متشابكة مع البتات التي لا تزال تستخدم في الحسابات.

وحدة الجمع 2n من بتان كميان يطلق عليهم بـ n يسجلهما a و b ، قالب:بدون لف يعد مثالًا على عمليات لا رجعة فيها منطقيا قالب:ملا من الممكن تحويلها لتصبح قابة للانعكاس عن طريق إضافة معلومات إلى المخرجات، بحيث أن يصبح من الممكن حساب المدخلات من المخرجات (أي توجد دالة قالب:بدون لف في المثال المذكور سابقًا يمكن القيام بذلك عن طريق تمرير أحد سجلات الإدخال إلى سجلات الإخراج: قالب:بدون لف ويمكن بعد ذلك استخدام الإخراج لحساب المدخلات ( الإخراج يبين لنا المدخلات بسهولة a+b و قالب:بدون لف علمًا بأن a يعد معطى ومن ممكن حساب قالب:بدون لف حيث أصبحت الدالة موضوعية.

يمكن ترميز جميع التعبيرات الجبرية البوليانية كتحويلات وحدوية (بوابات منطقية كمومية) كمثال: استخدام مجموعات من بوابات باولي-X و CNOT و توفولي . هذه البوابات مكتملة داليًا في مجال المنطق البولياني.

هناك العديد من التحويلات الوحدوية المتوفرة في مكتباتلغات البرمجة الكمومية المعروفة Q# و QCL و Qiskit وهنالك أخريات. كما يظهر في الكتب والمقالات.[٣٨][٣٩]

على سبيل المثال inc(|x)=|x+1(mod2xlength) ، حيث أن xlength هو عدد البتات الكمية التي تشكل سجل قالب:بدون لف سيتم تنفيذها برمجيًا على النحو التالي في QCL:[١٢][٤٠][٤١]

الدائرة المولدة في حين أن طول x يساوي أربع بتات كمومية. الرموز , و ¬ تشير إلى XOR و NOT على التوالي، وتأتي من التمثيل المنطقي لـ باولي- X مع صفر أو أكثر من البتات الكمومية المتحكم بها عند تطبيقها على الحالات الموجودة في الأساس الحسابي.
cond qufunct inc(qureg x) { // زيادة السجل
 int i;
 for i = #x-1 to 0 step -1 {
  CNot(x[i], x[0::i]);   // تطبيق CNOT
 }             // MSB من  LSB  إلى
 }

في QCL، يتم التخفيض عن طريق "التراجع" عن الزيادة. البادئة ! يتم استخدامه بدلاً من ذلك لتشغيل المعكوس الوحدوي للوظيفة. !inc(x) هو معكوس inc(x) ويقوم بتنفيذ العملية بدلاً من ذلك من المعادلة. الكلمة cond تعني أن الوظيفة يمكن أن تكون مشروطة .[١١]

ملاحظات


المراجع

قالب:مراجع قالب:شريط بوابات

  1. ١٫٠ ١٫١ ١٫٢ ١٫٣ ١٫٤ ١٫٥ ١٫٦ قالب:استشهاد بدورية محكمة
  2. ٢٫٠ ٢٫١ قالب:استشهاد بدورية محكمة
  3. قالب:استشهاد بأرخايف
  4. قالب:استشهاد بكتاب
  5. قالب:استشهاد بكتاب
  6. قالب:استشهاد بكتاب
  7. قالب:استشهاد ويب
  8. قالب:استشهاد ويب
  9. قالب:استشهاد ويب
  10. ١٠٫٠ ١٠٫١ Operations and Functions (Q# documentation) قالب:Webarchive
  11. ١١٫٠ ١١٫١ قالب:استشهاد ويب
  12. ١٢٫٠ ١٢٫١ قالب:استشهاد بدورية محكمة
  13. قالب:استشهاد بدورية محكمة
  14. قالب:استشهاد ويب cQASM online documentation.
  15. ١٥٫٠ ١٥٫١ قالب:استشهاد بأرخايف
  16. قالب:استشهاد بدورية محكمة
  17. قالب:استشهاد بدورية محكمة
  18. قالب:استشهاد
  19. قالب:استشهاد
  20. قالب:استشهاد بدورية محكمة
  21. قالب:استشهاد ويب
  22. قالب:استشهاد بدورية محكمة Example in eq. 2.
  23. قالب:استشهاد ويب
  24. قالب:استشهاد بكتاب
  25. قالب:استشهاد بكتاب
  26. قالب:استشهاد بكتاب
  27. قالب:استشهاد بكتاب
  28. قالب:استشهاد بكتاب
  29. Q# Online manual: Measurement قالب:Webarchive
  30. قالب:استشهاد بدورية محكمة
  31. قالب:استشهاد ويب
  32. قالب:استشهاد ويب
  33. قالب:استشهاد بأرخايف
  34. قالب:استشهاد بدورية محكمة
  35. قالب:استشهاد بدورية محكمة
  36. قالب:استشهاد بدورية محكمة
  37. Q# online manual: Quantum Memory Management قالب:Webarchive
  38. قالب:استشهاد بدورية محكمة
  39. قالب:استشهاد بدورية محكمة
  40. QCL 0.6.4 source code, the file "lib/examples.qcl" قالب:Webarchive
  41. قالب:استشهاد بأطروحة