تحويل القيمة المفردة الكمومية

يُعدّ تحويل القيم المفردة الكمومي إطارًا لتصميم الخوارزميات الكمومية . وهو يشمل مجموعة متنوعة من الخوارزميات الكمومية للمسائل التي يمكن حلها باستخدام الجبر الخطي ، بما في ذلك محاكاة هاميلتون ، ومسائل البحث ، وحل الأنظمة الخطية . [ 1 ] [ 2 ] [ 3 ] وقد طُوّر هذا الإطار في عام 2018 من قِبل أندراس جيليين، ويوان سو، وغوانغ هاو لو، وناثان ويبي، حيث عمّموا خوارزميات محاكاة هاميلتون التي وضعها غوانغ هاو لو وإسحاق تشوانغ، والمستوحاة من معالجة الإشارات. [ 4 ]

وصف عالي المستوى

تُعدّ عملية التشفير الكتلي العنصر الأساسي في تحويل القيم المفردة الكمومية. وتُعتبر الدائرة الكمومية تشفيرًا كتليًا للمصفوفة A إذا كانت تُنفّذ مصفوفة وحدوية U بحيث تحتوي U على A في مصفوفة فرعية مُحددة. على سبيل المثال، إذا(0|أنا)يو(|0|ϕ)=أ|ϕ{\displaystyle (\langle 0|\otimes I)U(|0\rangle \otimes |\phi \rangle )=A|\phi \rangle }، إذن U عبارة عن ترميز كتلي لـ A.

تتمثل الخوارزمية الأساسية لـ QSVT في تحويل ترميز الكتلة A إلى ترميز كتلةص(أ،أ){\displaystyle p(A,A^{\dagger })}حيث p هي متعددة حدود من الدرجة d وأ{\displaystyle A^{\dagger }}يشير إلى المنقول المرافق ، مع تطبيق الدائرة على d تطبيق فقط وكيوبت مساعد واحد. يمكن القيام بذلك لفئة كبيرة من كثيرات الحدود p التي تتوافق مع تطبيق كثيرة حدود على القيم المفردة لـ A ، مما يعطي "تحويل القيمة المفردة".

يمكن أيضًا تنفيذ صيغة معدلة من هذه الخوارزمية عندما تكون المصفوفة A هيرميتية ، وهو ما يتوافق مع "تحويل القيم الذاتية". أي، بالنظر إلى ترميز كتلي للمصفوفة A مع تحليل القيم الذاتية للمصفوفةأ=λأناuأناuأنا{\displaystyle A=\sum \lambda _{i}u_{i}u_{i}^{\dagger }}يمكن الحصول على ترميز الكتلة لـص(λأنا)uأناuأنا{\displaystyle \sum p(\lambda _{i})u_{i}u_{i}^{\dagger }}بشرط أن تكون قيمة p محدودة. [ 4 ]

الخوارزمية

المدخلات : مصفوفةأ{\displaystyle A}تحليل القيم المفردة الخاص به هوأ=دبليوΣV{\displaystyle A=W\Sigma V^{\dagger }}أينΣ{\displaystyle \Sigma }هي القيم المفردة لـ A
المدخلات : متعددة الحدودP{\displaystyle P}
الناتج : وحدة حيثP{\displaystyle P}تم تطبيقها على القيم المفردة لـأ{\displaystyle A}:[دبليوP(Σ)V...]{\displaystyle {\begin{bmatrix}WP(\Sigma )V^{\dagger }&.\\.&.\end{bmatrix}}}
  1. قم بإعداد نظام موحديو{\displaystyle U}التي تشفرأ{\displaystyle A}في أعلى الجانب الأيسر منيو{\displaystyle U}، إنهيو=[أ...]{\displaystyle U={\begin{bmatrix}A&.\\.&.\end{bmatrix}}}
  2. تهيئةن{\displaystyle n}حالة الكيوبت|0ن{\displaystyle |0\rangle ^{\otimes n}}
  3. إذا كانت كثيرة الحدود فردية، فقم بتطبيقΠ~ϕ1يوك=1د-12Πϕ2كيوΠ~ϕ2ك+1يو{\displaystyle {\tilde {\Pi }}_{\phi _{1}}U\prod _{k=1}^{\frac {d-1}{2}}\Pi _{\phi _{2k}}U^{\dagger }{\tilde {\Pi }}_ {\phi _{2k+1}}U}ل|0ن{\displaystyle |0\rangle ^{\otimes n}}
  4. إذا كانت متعددة الحدود قابلة للتطبيقك=1د2Πϕ2ك-1يوΠ~ϕ2كيو{\displaystyle \prod _{k=1}^{\frac {d}{2}}\Pi _{\phi _{2k}-1}U^{\dagger }{\tilde {\Pi }}_{\phi _{2k}}U}ل|0ن{\displaystyle |0\rangle ^{\otimes n}}

[ 2 ]

مراجع

  1. جيلين، أندراس؛ سو، يوان؛ لو، غوانغ هاو؛ ويبي، ناثان (يونيو 2019). تحويل القيم المفردة الكمومية وما بعده: تحسينات أسية لحسابات المصفوفات الكمومية . STOC 2019. ACM. ص 193-204 . arXiv : 1806.01838 . doi : 10.1145/3313276.3316366 . ISBN  978-1-4503-6705-9.
  2. مارتن ، جون م.؛ روسي، زين م.؛ تان، أندرو ك.؛ تشوانغ، إسحاق ل. (2021). "التوحيد الشامل للخوارزميات الكمومية" . PRX Quantum . 2 (4) 040203. الجمعية الفيزيائية الأمريكية. arXiv : 2105.02859 . Bibcode : 2021PRXQ....2d0203M . doi : 10.1103/PRXQuantum.2.040203 .
  3. ^ أرازولا ، خوان ميغيل (23/05/2023). "مقدمة إلى QSVT" . عروض PennyLane التجريبية .
  4. 1 2 لو، غوانغ هاو؛ تشوانغ، إسحاق (2017). "محاكاة هاميلتونية مثلى باستخدام معالجة الإشارات الكمومية". رسائل المراجعة الفيزيائية . 118 (1) 010501. arXiv : 1606.02685 . Bibcode : 2017PhRvL.118a0501L . doi : 10.1103/ PhysRevLett.118.010501 . PMID 28106413. S2CID 1118993 .  

انظر أيضاً