A New Algorithm for Applying Sequences of Affine Transformations in Quantum Circuits

ملخص تقني: خوارزمية جديدة لتطبيق متتاليات التحويلات التآلفية في الدوائر الكمومية

1. بيان المشكلة

في الحوسبة الكلاسيكية، تُعد التحويلات التآلفية (Affine Transformations) — والتي تُعرف بالعملية $f(\Psi) = A\Psi + B$ (حيث $A$ هو تحويل خطي و $B$ هو متجه الإزاحة) — أساسية في تعلم الآلة، ومعالجة الإشارات، والطرق العددية التكرارية.

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

2. المنهجية

يقترح المؤلفون خوارزمية قابلة للتوسع لتطبيق متتالية من $k$ من التحويلات التآلفية على مجال محلي داخل حالة فرعية لنظام كمومي. تتكون المنهجية من ثلاث ركائز أساسية:

• التهيئة الشرطية المدعومة ببوابة هادامارد (Hadamard-Supported Conditional Initialization): بدلًا من استخدام مصفوفات موسعة ضخمة، يقوم المؤلفون بإجراء العمليات الحسابية مباشرة على سعات (Amplitudes) الحالة الكمومية. ومن خلال استخدام كيوبت مساعد وزوج من بوابات هادامارد، يقومون بإنشاء تراكب يحتوي فيه أحد الفروع على مجموع حالتين ($\Psi_A + \Psi_B$) والفرع الآخر يحتوي على الفرق بينهما ($\Psi_A - \Psi_B$). وهذا يسمح بعمليات الجمع والطرح لعنصر الإزاحة $B$ لكل عنصر على حدة دون الأعباء الإضافية لأنظمة الإحداثيات عالية الأبعاد.
• ترميز الكتلة لـ $A$ (Block Encoding of $A$): بدلاً من ترميز المصفوفة الموسعة $\tilde{A}$، تقوم الخوارزمية بترميز المكون الخطي $A$ فقط داخل وحدة $U$. وهذا يقلل من حجم المصفوفة المطلوبة من $16N^2$ إلى $4N^2$، مما يحسن كفاءة الكيوبت وعمق الدائرة بشكل كبير.
• تضخيم السعة المتداخل (Interleaved Amplitude Amplification - AA): أحد الآثار الجانبية الرئيسية للإضافة المدعومة بهادامارد هو أن سعة الحالة "المرغوبة" تضمحل أسيًا مع كل خطوة (تحديدًا بمعامل $1/2$ لكل خطوة، أو $1/2^k$ بعد $k$ من الخطوات). ولمنع ذلك، يقترح المؤلفون تداخل تضخيم السعة بأسلوب غروفر (Grover-style) بعد كل خطوة تآلفية. هذا يحول إجمالي التكلفة الحسابية من أسيّة ($O(2^k)$) إلى متعددة الحدود ($O(k^2)$).

3. المساهمات الرئيسية

• بنية قابلة للتوسع: طريقة لتطبيق $k$ من التحويلات المتتالية $A_k(\dots(A_1\Psi + B_1)\dots) + B_k$ تنمو خطيًا في تكلفة الدائرة بالنسبة لعدد الخطوات (عند استخدام تضخيم السعة المتداخل).
• تقليل التعقيد: تقليل كبير في عدد الكيوبتات المساعدة المطلوبة وأبعاد العمليات الوحدوية مقارنة بطرق الإحداثيات المتجانسة التقليدية.
• إطار عمل خوارزمي: صياغة استراتيجية التضخيم "المتداخلة"، مع تقديم برهان رياضي يثبت قدرتها على الحد من عقبة اضمحلال السعة.

4. النتائج والعروض التوضيحية

تحقق البحث من صحة الخوارزمية من خلال حالتين استخدام رئيسيتين:

• معالجة الإشارات المنفصلة: أظهر المؤلفون القدرة على إجراء التحويلات التآلفية في نطاق التردد. فمن خلال تطبيق تحويل فورييه الكمومي (QFT)، ثم إجراء التحويل التآلفي على المعاملات، ثم تطبيق تحويل فورييه الكمومي العكسي (IQFT)، نجحوا في تعديل خصائص الإشارة (القياس والتحيز) في بيئة كمومية.
• ديناميكا الهاملتوني المندفع (Driven Hamiltonian Dynamics): استُخدمت الخوارزمية لمحاكاة تطور نظام كمومي مندفع ($i\dot{\psi}(t) = H\psi(t) + \eta(t)$). ومن خلال تقسيم الوقت إلى أجزاء منفصلة، يتم تحويل المعادلة التفاضلية المستمرة إلى متتالية من التحديثات التآلفية، والتي تتعامل معها الخوارزمية بكفاءة.

5. الأهمية

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

• تعلم الآلة الكمومي: تنفيذ طبقات الشبكات العصبية التي تعتمد على الإزاحات التآلفية.
• حلالات المعادلات التفاضلية الكمومية: محاكاة أكثر كفاءة للأنظمة الفيزيائية المدفوعة أو المندفعة.
• التحسين التوافقي (Combinatorial Optimization): توفير أدوات جديدة للتحسين القائم على التدرج على الأجهزة الكمومية.

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