بناء وقابلية محاكاة الدوائر الكمومية مع الفيرميونات الحرة المتنكرة
Construction and simulability of quantum circuits with free fermions in disguise

المجلة: Quantum Science and Technology، المجلد: 11، العدد: 1
DOI: https://doi.org/10.1088/2058-9565/ae390d
تاريخ النشر: 2026-01-15
المؤلف: D. Szász-Schagrin وآخرون
الموضوع الرئيسي: خوارزميات وهندسة الحوسبة الكمومية

نظرة عامة

في هذا القسم، يقدم المؤلفون بناءً منهجيًا لدارات الكم المحلية التي تعرض الفيرميونات الحرة بشكل متخفي، باستخدام كل من الهياكل السلمية وهياكل الطوب. تتميز هذه الدارات بمشغل فلوكيت الخاص بها، الذي لا يمكن تشخيصه من خلال أي تحويلة جوردان-وينغر، ومع ذلك يحتفظ بطيف فيرميوني حر. يستخدم المؤلفون مصفوفات نقل غير محلية تتبادل مع مشغل فلوكيت لتأسيس هذا الطيف.

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

مقدمة

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

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

نقاش

في هذا القسم، يناقش المؤلفون بناء وتحليل ثلاث عائلات من الدارات الكمومية استنادًا إلى هاملتونيان محلي محدد على سلسلة أحادية البعد من السبينات. يمكن تشخيص الهاملتونيان باستخدام أوضاع فيرميونية حرة، اعتمادًا على علاقات جبرية محددة تعرف باسم جبر FFD. تم بناء الدارات من بوابات وحدوية محلية، مع معلمات تقدم عدم تجانس مكاني. يقدم المؤلفون ثلاث هياكل دارات متميزة: واحدة مع بوابات موقع واحد، وأخرى مع دورية موقعين، وثالثة مع هيكل “طوبي” يسمح بدارات ذات عمق محدود. تم إثبات قابلية الحل لـ FFD لهذه الدارات، ويحدد المؤلفون الإطار الرياضي اللازم لاشتقاق مشغلات التطور وخصائصها.

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

Journal: Quantum Science and Technology, Volume: 11, Issue: 1
DOI: https://doi.org/10.1088/2058-9565/ae390d
Publication Date: 2026-01-15
Author(s): D. Szász-Schagrin et al.
Primary Topic: Quantum Computing Algorithms and Architecture

Overview

In this section, the authors present a systematic construction of local quantum circuits that exhibit free fermions in a disguised form, utilizing both staircase and brickwork architectures. These circuits are characterized by their Floquet operator, which cannot be diagonalized through any Jordan-Wigner transformation, yet still maintains a free-fermionic spectrum. The authors employ non-local transfer matrices that commute with the Floquet operator to establish this spectrum.

Additionally, the study investigates the dynamics of these circuits when initialized in arbitrary product states, demonstrating that the evolution of specific local observables can be efficiently simulated on classical computers. This work not only confirms recent conjectures in the field but also prompts further inquiries regarding the classical simulability of disguised free fermions.

Introduction

The introduction of this research paper discusses the significance of quantum computation in addressing problems that classical computers cannot efficiently solve. It highlights the role of simulable quantum circuits, such as Clifford and matchgate circuits, in quantum information theory, serving as models for analyzing information processing and benchmarks for experimental implementations. Recent advancements in quantum processors have prompted the exploration of additional simulable models, particularly in the context of many-body systems out of equilibrium, leading to the identification of new circuit types, including dual-unitary and Yang-Baxter-integrable circuits.

A notable development is the introduction of free fermions in disguise (FFD) by Paul Fendley, which presents a spin-chain Hamiltonian with a free fermionic spectrum that cannot be diagonalized using the traditional Jordan-Wigner transformation. This paper aims to build upon Fendley’s work by establishing the FFD solvability of various local quantum circuits, including those with staircase and brickwork architectures. The authors propose a systematic approach to prove conjectures regarding FFD solvability and demonstrate that certain local observables’ discrete dynamics can be efficiently simulated by classical computers. This distinction between solvability and simulability is crucial for understanding the quantum and classical complexity of FFD models. The paper outlines its structure, detailing the subsequent sections that will elaborate on the conjectured circuits, the construction of circuit transfer matrices, and the analysis of circuit dynamics.

Discussion

In this section, the authors discuss the construction and analysis of three families of quantum circuits based on a local Hamiltonian defined on a one-dimensional chain of spins. The Hamiltonian can be diagonalized using free fermionic modes, relying on specific algebraic relations known as the FFD algebra. The circuits are constructed from local unitary gates, with parameters that introduce spatial inhomogeneity. The authors present three distinct circuit architectures: one with single-site gates, another with two-site periodicity, and a third with a “brickwork” structure that allows for finite-depth circuits. The FFD solvability of these circuits is established, and the authors outline the mathematical framework necessary for deriving the evolution operators and their properties.

The discussion further delves into the algebraic structures that govern the evolution operators, demonstrating that they can be expressed as matrix product operators (MPOs). The authors derive recursion relations for these operators, which reveal their commutation properties and lead to the identification of conserved charges associated with the dynamics. The first conserved charge corresponds to the Hamiltonian of the system, while higher-order charges can be obtained through logarithmic derivatives. Notably, the authors highlight that the evolution operator exhibits a free-fermionic spectrum, which is crucial for understanding the dynamics of the quantum circuits. The section concludes with a discussion on the classical simulation of these circuits, emphasizing the challenges posed by the complexity of mapping initial states and observables in the fermionic representation.