المحلول الذاتي الكمي المتغير

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

طُرحت هذه الخوارزمية لأول مرة عام ٢٠١٤، بمشاركة المؤلفين ألبرتو بيروزو، وآلان أسبورو-غوزيك ، وجيريمي أوبراين . [ أ ] [ ١ ] [ ٢ ] وقد وُجدت تطبيقات لهذه الخوارزمية في مجال التعلم الآلي الكمومي ، كما تم تعزيزها من خلال خوارزميات هجينة عامة تجمع بين الحوسبة الكمومية والتقليدية. [ ٣ ] وهي مثال على خوارزمية كمومية متوسطة النطاق مع وجود ضوضاء ( NISQ ).

وصف

ترميز باولي

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

بالنسبة للأنظمة الفرميونية، غالبًا ما يكون من الأنسب استخدام التكميم الكمي: أي كتابة هاميلتونيان النظام متعدد الأجسام باستخدام التكميم الثاني ، ثم استخدام تحويل لكتابة معاملات الإنشاء والإفناء بدلالة معاملات باولي. تشمل المخططات الشائعة للفرميونات تحويل جوردان-ويغنر ، وتحويل برافي-كيتايف [ 4 ] ، وتحويل التكافؤ. [ 5 ] [ 6 ]

ذات مرة الهاميلتونيح^{\displaystyle {\hat {H}}}إذا كُتبت باستخدام مؤثرات باولي، وتم تجاهل الحالات غير ذات الصلة (في فضاء محدود الأبعاد)، فإنها ستتكون من توليفة خطية من سلاسل باولي.P^أنا{\displaystyle {\hat {P}}_{i}}يتكون من حاصل ضرب الموترات لمؤثرات باولي (على سبيل المثالXأناZX{\displaystyle X\otimes I\otimes Z\otimes X}) بحيث [ 7 ]

ح^=أناαأناP^أنا{\displaystyle {\hat {H}}=\sum _{i}\alpha _{i}{\hat {P}}_{i}}،

أينαأنا{\displaystyle \alpha _{i}}هي معاملات عددية. وبناءً على هذه المعاملات، يمكن تقليل عدد سلاسل باولي لتحسين الحساب. [ 8 ]

يمكن تكييف خوارزمية VQE مع مسائل التحسين الأخرى عن طريق تعديل الهاميلتوني ليصبح دالة تكلفة. [ 9 ]

Ansatz ووظيفة المحاكمة الأولية

يعتمد اختيار حالة الفرضية على النظام محل الدراسة. في الحوسبة الكمومية القائمة على البوابات ، تُعطى الفرضية بواسطة دارة كمومية مُعَلمة ، يمكن تحديث معلماتها بعد كل تشغيل. يجب أن تكون الفرضية قابلة للتكيف بدرجة كافية لضمان عدم فقدان الحالة المطلوبة. من الطرق الشائعة للحصول على فرضية صحيحة إطار عمل التجميع الموحد (UCC) وامتداداته. [ 6 ]

إذا لم يتم اختيار الفرضية بشكل مناسب، فقد تتوقف العملية عند معلمات دون المستوى الأمثل لا تتوافق مع الحد الأدنى. في هذه الحالة، يُقال إن الخوارزمية قد وصلت إلى "مرحلة هضبة قاحلة". [ 6 ]

مثال على فرضية فعالة من حيث استخدام الأجهزة.

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

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

قياس

القيمة المتوقعة لحالة معينة|ψ(θ1،،θشمال){\displaystyle |\psi (\theta _{1},\cdots ,\theta _{N})\rangle }مع المعلمات{θأنا}أنا=1شمال{\displaystyle \{\theta _{i}\}_{i=1}^{N}}، لها قيمة متوقعة لدالة الطاقة أو التكلفة المعطاة بواسطة

هـ(θ1،،θن)=ح^=أناαأناψ(θ1،،θشمال)|P^أنا|ψ(θ1،،θشمال){\displaystyle E(\theta _{1},\cdots ,\theta _{n})=\langle {\hat {H}}\rangle =\sum _{i}\alpha _{i}\langle \psi (\theta _{1},\cdots ,\theta _{N})|{\hat {P}}_{i}|\psi (\theta _{1},\cdots ,\theta _{N})\rangle }

لذا، وللحصول على القيمة المتوقعة للطاقة، يمكن قياس القيمة المتوقعة لكل سلسلة باولي (عدد مرات العد لقيمة معينة مقسومًا على إجمالي عدد مرات العد). تتوافق هذه الخطوة مع قياس كل كيوبت على المحور الذي توفره سلسلة باولي. [ 9 ] على سبيل المثال، بالنسبة للسلسلة XYY{\displaystyle X\otimes Y\otimes Y}يُقاس الكيوبت الأول على المحور السيني ، بينما يُقاس الكيوبتان الأخيران على المحور الصادي لكرة بلوخ . إذا كان القياس ممكنًا فقط على المحور العيني ، فيمكن استخدام بوابات كليفورد للتحويل بين المحاور. إذا كان خيطا باولي يتبادلان، فيمكن قياسهما معًا باستخدام الدائرة نفسها وتفسير النتيجة وفقًا لجبر باولي.

الطريقة التباينية والتحسين

بافتراض وجود فرضية مُعَلمة للحالة الذاتية للحالة الأرضية، مع إمكانية تعديل هذه المعلمات، فمن المؤكد إيجاد الحالة المُعَلمة الأقرب إلى الحالة الأرضية باستخدام طريقة التباين في ميكانيكا الكم . وباستخدام الخوارزميات الكلاسيكية في الحاسوب الرقمي، يمكن تحسين معلمات هذه الفرضية. ولتحقيق هذا التحسين، من الضروري إيجاد القيم الدنيا لدالة متعددة المتغيرات. ويمكن استخدام مُحسِّنات كلاسيكية تعتمد على خوارزمية التدرج الهبوطي لهذا الغرض. [ 9 ]

التركيبة

بالنسبة لهاملتوني معين (H) ومتجه حالة|ψ{\displaystyle |\psi \rangle } إذا استطعنا التغيير|ψ{\displaystyle |\psi \rangle }ثم بشكل تعسفيمين|ψψ|ح|ψ{\displaystyle \min _{|\psi \rangle }\langle \psi |H|\psi \rangle }ستكون طاقة الحالة الأرضية وأرجينين|ψψ|ح|ψ{\displaystyle \operatorname {argmin} _{|\psi \rangle }\langle \psi |H|\psi \rangle }ستكون حالة أساسية (بافتراض عدم وجود انحلال). لكن مشكلة التقليل المذكورة أعلاه على جميع الحالات الممكنة|ψ{\displaystyle |\psi \rangle }، حيث الولاية|ψ{\displaystyle |\psi \rangle } يكون2ن{\displaystyle 2^{n}}إن استخدام الأبعاد المتعددة غير عملي. لذا، لتقييد مساحة البحث إلى حجم أكثر عملية (مثل متعدد الحدود من الرتبة n)، نحتاج إلى تقييد...|ψ{\displaystyle |\psi \rangle } إلى مجموعة فرعية فقط من حالات n-qubit الممكنة والتي تستند إلى المعرفة التقليدية في الفيزياء والكيمياء وميكانيكا الكم.

رسم توضيحي عالي المستوى لخوارزمية الكم المتغيرة

الخوارزمية

يوضح الشكل المجاور الخطوات الرئيسية في خوارزمية VQE.

الدائرة الكهربائيةيو(θ){\displaystyle U({\vec {\theta }})}يتحكم في مجموعة فرعية من الحالات الممكنة التي يمكن إنشاؤها، والمعاملθ{\displaystyle {\vec {\theta }}}يحتوي على المعاملات المتغيرة،θ=(θ1θ2θص){\displaystyle {\vec {\theta }}={\begin{pmatrix}\theta _{1}\\\theta _{2}\\\vdots \\\theta _{p}\end{pmatrix}}}حيث يكون عدد المعلمات المختارة كافياً لمنح الخوارزمية القدرة التعبيرية على حساب الحالة الأرضية للنظام، ولكن ليس كبيراً جداً لزيادة التكلفة الحسابية لخطوة التحسين.

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

في حالة انحدار التدرج، من الضروري تقليل دالة التكلفةو(θ){\displaystyle f({\vec {\theta }})}أما بالنسبة لحالة VQEو(θ)=ψ(θ)|ح|ψ(θ){\displaystyle f({\vec {\theta }})=\langle \psi ({\vec {\theta }})|H|\psi ({\vec {\theta }})\rangle }قاعدة التحديث هي:

θ(جديد)=θ(قديم)-رو(θ(قديم)){\displaystyle {\vec {\theta }}^{({\text{new}})}={\vec {\theta }}^{({\text{old}})}-r\nabla f({\vec {\theta }}^{({\text{old}})})}

حيث يمثل r معدل التعلم (حجم الخطوة) و

و(θ(قديم))=(و(θ(قديم))θ1،و(θ(قديم))θ2،...){\displaystyle \nabla f({\vec {\theta }}^{({\text{old}})})=\left({\frac {\partial f({\vec {\theta }}^{({\text{old}})})}{\partial \theta _{1}}},{\frac {\partial f({\vec {\theta }}^{({\text{old}})})}{\partial \theta _{2}}},\ldots \right)^{\top }}

لحساب التدرجات، تُستخدم قاعدة إزاحة المعامل . [ 10 ] [ 11 ]

مثال

بالنظر إلى مثال بوابة باولي واحدة:

يو(θ)=هـ-أناθ2P،{\displaystyle U(\theta )=e^{-i{\frac {\theta }{2}}P},}

حيث P = X أو Y أو Z ، إذن

θيو=يوθ=-أنا2Pهـ-أناθ2P=-أنا2Pيو=-أنا2يوP{\displaystyle \nabla _{\theta }U={\frac {\partial U}{\partial \theta }}=-{\frac {i}{2}}Pe^{-i{\frac {\theta }{2}}P}=-{\frac {i}{2}}PU=-{\frac {i}{2}}UP}

مثل،و(θ)=ϕ|يوأيو|ϕ{\displaystyle f(\theta )=\langle \phi |U^{\dagger }AU|\phi \rangle }. هكذا،

θو(θ)=θϕ|يوأيو|ϕ=ϕ|(أنا2P)يوأيو|ϕ+ϕ|يوأ(-أنا2P)يو|ϕ{\displaystyle \nabla _{\theta}f(\theta )={\frac {\partial }{\partial \theta }}\langle \phi |U^{\dagger}AU|\phi \rangle =\langle \phi |\left({\frac {i}{2}}P\right)U^{\dagger }AU|\phi \rangle +\langle \phi |U^{\dagger} A\left(-{\frac {i}{2}}P\right)U|\phi \rangle }
=12ϕ|يو(θ+π2)أيو(θ+π2)|ϕ-12ϕ|يو(θ-π2)أيو(θ-π2)|ϕ{\displaystyle ={\frac {1}{2}}\langle \phi |U^{\dagger}(\theta +{\frac {\pi }{2}})AU(\theta +{\frac {\pi }{2}})|\phi \rangle -{\frac {1}{2}}\langle \phi |U^{\dagger }(\theta -{\frac {\pi }{2}})AU(\theta -{\frac {\pi }{2}})|\phi \rangle }
=12(و(θ+π2)-و(θ-π2)){\displaystyle ={\frac {1}{2}}\left(f(\theta +{\frac {\pi }{2}})-f(\theta -{\frac {\pi }{2}})\right)}

تتميز النتيجة المذكورة أعلاه بخصائص مثيرة للاهتمام، وهي كالتالي:

  1. يمكن استخدام الدائرة نفسها للتقييمو(θ){\displaystyle f(\theta )}وθو(θ){\displaystyle \nabla _{\theta }f(\theta )}
  2. و(){\displaystyle f(\cdot )}يجب تقييمها مرتين للوصول إلى قيمة التدرج
  3. دقة الزاوية±π2{\displaystyle \pm {\frac {\pi }{2}}}عندما يكون حجمها كبيرًا، يمكن الحفاظ على دقة البوابة منخفضة

المزايا والعيوب

  1. لا تتطلب دائرة VQE العديد من البوابات مقارنة بخوارزمية تقدير الطور الكمي (QPE)، وهي أكثر مقاومة للأخطاء وتلائم استراتيجيات تخفيف الأخطاء بشكل جيد.
  2. إنها طريقة استدلالية، وبالتالي لا تضمن التقارب إلى قيمة الحالة الأرضية. وتتأثر هذه الطريقة بشكل كبير باختيار الدائرة الافتراضية وطرق التحسين.
  3. عدد القياسات المطلوبة لاستنتاج قيمة الحالة الأرضية أعلى مقارنة بـ QPE ويتناسب تقريبًا مع عدد الحدود في الهاميلتوني.
  4. يمكن تشغيل VQE على أجهزة NISQ.
  5. تتميز VQE بتعدد استخداماتها، حيث يمكن التعبير عن المشكلات (بصرف النظر عن الكيمياء) على أنها هاميلتونيان.

يستخدم

في الكيمياء

حتى عام 2022، كان بإمكان محلل القيم الذاتية الكمومية المتغيرة محاكاة الجزيئات الصغيرة فقط، مثل أيون هيدريد الهيليوم [ 1 ] أو جزيء هيدريد البريليوم [ 12 ] . ويمكن محاكاة الجزيئات الأكبر حجمًا مع مراعاة اعتبارات التناظر. وفي عام 2020، تم عرض محاكاة لسلسلة هيدروجين (H12) باستخدام معالج سيكامور الكمومي من جوجل ، وذلك باستخدام 12 كيوبت [ 13 ] .

انظر أيضاً

ملحوظات

  1. المؤلفون الكاملون: ألبرتو بيروزو، جارود ماكلين، بيتر شادبولت، مان-هونغ يونغ، شياو-تشي تشو، بيتر جيه. لوف، آلان أسبورو-غوزيك، وجيريمي إل. أوبراين. جميعهم ساهموا بالتساوي.

مراجع

  1. بيروزو ، ألبرتو؛ ماكلين، جارود؛ شادبولت، بيتر؛ يونغ، مان-هونغ؛ تشو، شياو-تشي؛ لوف، بيتر جيه؛ أسبورو-غوزيك، آلان؛ أوبراين، جيريمي إل. (2014). "حل القيم الذاتية التباينية على معالج كمومي ضوئي" . نيتشر كوميونيكيشنز . 5 (1): 4213. arXiv : 1304.3061 . Bibcode : 2014NatCo...5.4213P . doi : 10.1038/ncomms5213 . ISSN 2041-1723 . PMC 4124861. PMID 25055053 .   
  2. ^ بهارتي، كيشور. سيرفيرا لييرتا، ألبا؛ كياو، ثي ها؛ هوج، توبياس. ألبرين ليا، سومنر؛ أناند، أبهيناف؛ ديجروت، ماتياس؛ هيمنين، هيرماني؛ كوتمان، جاكوب س. مينكي، تيم؛ موك، واي كيونغ؛ سيم، سوكين؛ كويك، ليونج تشوان؛ أسبورو جوزيك ، آلان (2022/02/15). "خوارزميات الكم المتوسطة الحجم الصاخبة" . مراجعات للفيزياء الحديثة . 94 (1) 015004. أرخايف : 2101.08448 . بيب كود : 2022RvMP...94a5004B . دوى : 10.1103/RevModPhys.94.015004 . hdl : 10356/161272 .
  3. ماكلين، جارود ر؛ روميرو، جوناثان؛ بابوش، رايان؛ أسبورو-جوزيك، آلان (2016-02-04). "نظرية الخوارزميات الهجينة الكمومية الكلاسيكية المتغيرة" . مجلة الفيزياء الجديدة . 18 (2) 023023. arXiv : 1509.04279 . Bibcode : 2016NJPh...18b3023M . doi : 10.1088/1367-2630/18/2/023023 . ISSN 1367-2630 . S2CID 92988541 .  
  4. برافي، سيرجي ب.؛ كيتايف، أليكسي يو. (25-05-2002). "الحوسبة الكمومية الفرميونية" . حوليات الفيزياء . 298 (1): 210-226 . arXiv : quant-ph/0003137 . doi : 10.1006/aphy.2002.6254 . ISSN 0003-4916 . 
  5. ستودتنر، م (2019). طرق لمحاكاة الفرميونات على الحواسيب الكمومية مع قيود الأجهزة (أطروحة دكتوراه). جامعة ليدن.
  6. 1 2 3 تيلي، جولز؛ تشين، هونغشيانغ؛ كاو، شوكسيانغ؛ بيكوزي، داريو؛ سيتيا، كاناف؛ لي، يينغ؛ غرانت، إدوارد؛ ووسنيغ، ليونارد؛ رونغر، إيفان؛ بوث، جورج هـ.؛ تينيسون، جوناثان (2022-06-12). "مُحلِّل القيم الذاتية الكمومية التبايني: مراجعة للطرق وأفضل الممارسات". تقارير الفيزياء . 986 : 1-128 . arXiv : 2111.05176 . Bibcode : 2022PhR...986....1T . doi : 10.1016/j.physrep.2022.08.003 . S2CID 243861087 . 
  7. بيروزو، ألبرتو؛ ماكلين، جارود؛ شادبولت، بيتر؛ يونغ، مان-هونغ؛ تشو، شياو-تشي؛ لوف، بيتر جيه؛ أسبورو-غوزيك، آلان؛ أوبراين، جيريمي إل. (23 يوليو/تموز 2014). "حلٌّ تبايني للقيم الذاتية على معالج كمومي" . مجلة نيتشر كوميونيكيشنز . 5 (1): 4213. arXiv : 1304.3061 . doi : 10.1038/ncomms5213 . ISSN 2041-1723 . 
  8. سيلي، جاكوب ت.؛ ريتشارد، مارتن ج.؛ لوف، بيتر ج. (12-12-2012). "تحويل برافي-كيتايف للحساب الكمي للبنية الإلكترونية" . مجلة الفيزياء الكيميائية . 137 (22): 224109. arXiv : 1208.5986 . Bibcode : 2012JChPh.137v4109S . doi : 10.1063/1.4768229 . ISSN 0021-9606 . PMID 23248989. S2CID 30699239 .   
  9. مول ، نيكولاي؛ باركوتسوس، بانايوتيس؛ بيشوب، ليف س؛ تشاو، جيري م؛ كروس، أندرو؛ إيغر، دانيال ج؛ فيليب، ستيفان؛ فوهرر، أندرياس؛ غامبيتا، جاي م؛ غانزهورن، مارك؛ كاندالا، أبهيناف؛ ميزاكابو، أنطونيو؛ مولر، بيتر؛ ريس، والتر؛ ساليس، جيان (2018). " التحسين الكمي باستخدام الخوارزميات التباينية على الأجهزة الكمية القريبة المدى" . علوم وتكنولوجيا الكم . 3 (3): 030503. arXiv : 1710.01022 . Bibcode : 2018QS & T....3c0503M . doi : 10.1088/2058-9565/aab822 . ISSN 2058-9565 . S2CID 56376912 .  
  10. ويريش، ديفيد؛ إيزاك، جوش؛ وانغ، كودي؛ لين، سيدريك ين-يو (2022-01-01). "قواعد عامة لإزاحة المعلمات للتدرجات الكمومية". الكم . 6 : 677. arXiv : 2107.12390 . doi : 10.22331/q-2022-03-30-677 .
  11. ماركوفيتش، ليوبوف؛ ماليكيس، سافاس؛ بولا، ستيفانو؛ تورا، جوردي (2024-06-01). "قاعدة إزاحة المعامل مع اختيار الطور الأمثل". مجلة Physical Review A. 109 ( 6) 062429. الجمعية الفيزيائية الأمريكية. doi : 10.1103/PhysRevA.109.062429 . hdl : 1887/4175663 .
  12. كاندالا، أبهيناف؛ ميزاكابو، أنطونيو؛ تيمي، كريستان؛ تاكيتا، مايكا؛ برينك، ماركوس؛ تشاو، جيري م.؛ جامبيتا، جاي م. (2017). "حل كمي متغير فعال من حيث الأجهزة للجزيئات الصغيرة والمغناطيسات الكمية" . نيتشر . 549 (7671): 242-246 . arXiv : 1704.05018 . Bibcode : 2017Natur.549..242K . doi : 10.1038 / nature23879 . ISSN 1476-4687 . PMID 28905916. S2CID 4390182 .   
  13. أروت، فرانك؛ آريا، كونال؛ بابوش، رايان؛ وآخرون (2020). "حساب هارتري-فوك على حاسوب كمومي فائق التوصيل" . مجلة ساينس . 369 (6507): 1084-1089 . arXiv : 2004.04174 . Bibcode : 2020Sci...369.1084. doi : 10.1126 /science.abb9811 . ISSN 0036-8075 . PMID 32855334. S2CID 215548188 .