هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

آلة تورنج الكمومية

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

آلة تورنج الكَمومية (QTM)، التي تُعرف كذلك بالحاسوب الكمومي العام، هي آلة مجردة تُستخدم لوضع نموذج لتأثير أي حاسوب كمومي. فهي تقدم نموذجًا غاية في البساطة يمتلك كافة قدرة الحساب الكمومي. ويمكن التعبير عن أية خوارزمية كمومية رسميًا على أنها آلة تورنج كمومية معينة. وقد اقتُرحت آلات تورنج أولاً في بحث عام 1985 كتبه العالم الفيزيائي بجامعة أوكسفورد ديفيد دوتش الذي اقترح إمكانية عمل البوابات الكمومية بطريقة مشابهة لـ البوابات المنطقية الثنائية للحوسبة الرقمية التقليدية.[1]

ولا تُستخدم آلات تورنج الكمومية دومًا لتحليل الحساب الكمومي؛ تعد دائرة الكم أكثر النماذج شيوعًا؛ وتعد هذه النماذج مكافئة من الناحية الحسابية.[2]

ويمكن ربط آلات تورنج الكمومية بآلات تورنج التقليدية والاحتمالية في إطار عمل بناء على مصفوفات التحوّل، وهذا ما أوضحه العالم لانس فورتنو.[3]

وقد وضع كل َمن إيرياما وأوهايا وفولوفيتش نموذجًا لآلة تورنج كمومية خطيّة (LQTM). ويعد هذا تعميمًا لآلة تورنج الكمومية التقليدية التي تتضمن حالات مختلطة ويسمح ذلك بدالات تحوّل غير قابلة للإعادة. وتتيح هذه الدالات تمثيل القياسات الكمومية دون نتائج تقليدية.[4]

وقد عرّف سكوت أرونسون آلة تورنج الكمومية مع [postselection]، حيث أوضح أن فئة الزمن متعدد الحدود في مثل هذه الآلة (PostBQP) تعادل فئة التعقيد التقليدية [PP (الوقت الاحتمالي متعدد الحدود)][5].

المراجع[عدل]

  1. ^ Deutsch، David (July 1985). "Quantum theory, the Church-Turing principle and the universal quantum computer". Proceedings of the Royal Society of London; Series A, Mathematical and Physical Sciences 400 (1818): pp. 97–117. doi:10.1098/rspa.1985.0070. 
  2. ^ Andrew Yao(1993). "Quantum circuit complexity".Proceedings of the 34th Annual Symposium on Foundations of Computer Science: 352–361. 
  3. ^ Lance Fortnow (2003). "One Complexity Theorist's View of Quantum Computing". Theoretical Computer Science 292: 597–610. doi:10.1016/S0304-3975(01)00377-2. 
  4. ^ Simon Perdrix; Philippe Jorrand (2007-04-04). "Classically-Controlled Quantum Computation". arXiv:quant-ph/0407008 [quant-ph]. also Simon Perdrix and Philippe Jorrand (2006). "Classically-Controlled Quantum Computation" (PDF). Math. Struct. In Comp. Science 16: 601–620. doi:10.1017/S096012950600538X. 
  5. ^ Aaronson، Scott (2005). "Quantum computing, postselection, and probabilistic polynomial-time". Proceedings of the Royal Society A 461 (2063): 3473–3482. doi:10.1098/rspa.2005.1546.  Preprint available at [1]

انظر أيضا[عدل]