فاينمان عبارة عن مجموعة أدوات لتحليل الدوائر الكمومية في نموذج المسار المتكامل لميكانيكا الكم. تشتمل مجموعة الأدوات على طرق التوليف والتحسين والتحقق التي تعتمد على تمثيلات إجراءات الدائرة كمسارات زائدة.
هناك طريقتان ممكنتان للتواصل مع مشروع فاينمان. توفر الأدوات المستقلة المبنية على Feynman، والموجودة في الأدوات، واجهات سطر الأوامر لتحسين و/أو التحقق من الدوائر الكمومية، أو يمكن استيراد مكتبة Feynman واستخدامها مباشرة في مشاريع Haskell الأخرى.
يتطلب مشروع فاينمان GHC >=8.0.2 وCabal >=1.24.0. قد تعمل الإصدارات الأقدم من GHC ولكن لم يتم اختبارها.
يمكن تثبيت مكتبة Feynman والملفات التنفيذية الثنائية للتحسين ( feynopt ) والتحقق ( feynver ) عالميًا باستخدام
cabal install
أو عبر سلسلة الأوامر الأكثر دقة قليلاً
cabal configure
cabal build
cabal install
يعد جحيم التبعية مشكلة شائعة في هاسكل، لذلك كان لدى الإصدارات السابقة من Cabal خيار إنشاء صندوق حماية محلي بشكل صريح حيث سيتم تثبيت تبعيات الحزمة دون التسبب في مشاكل للحزم الأخرى. لتثبيت تبعيات Feynman في وضع الحماية، قم بتشغيل Feynman أولاً قبل إنشاءه أو تثبيته
# Cabal 1 & 2
cabal sandbox init
cabal install --only-dependencies
# Cabal 3
cabal v1-sandbox init
cabal install --only-dependencies
افتراضيًا، يقوم Cabal بتثبيت الثنائيات في ~/cabal/bin/ لإصدارات Unix. لتحديد مجلد آخر، قم بالتثبيت باستخدام
cabal install --installdir=DIR
لدى Feynman حاليًا واجهات أمامية لـ openQASM و.qc. يمكن العثور على أمثلة لكليهما في مجلد المعايير.
لتشغيل مُحسِّن Feynman feynopt على ملف .qc أو openQASM، قم بتنفيذ الأمر
feynopt <filename>.(qc | qasm)
يتعرف feynopt تلقائيًا على الامتدادات .qc و.qasm كملفات .qc وopenQASM، على التوالي.
للحصول على قائمة بجميع التحسينات والتحويلات المتاحة، استخدم الأمر
feynopt -h
تسمح أداة feynver الثنائية بالتحقق من تكافؤ ملفات الدوائر المنفصلة. الاستخدام القياسي هو
feynver <filename1>.qc <filename2>.qc
يجب أن تتفق دوائر الإدخال على أسماء المدخلات الأولية (أي الكيوبتات غير المهيأة)، لكنها قد تستخدم ملحقات مختلفة.
ملاحظة: يدعم feynver حاليًا الواجهة الأمامية .qc فقط
يأتي مستودع فاينمان مع مجموعة من مقاييس الدوائر الكمومية، الموجودة في مجلد benchmarks . لمزيد من المعلومات حول المعايير يتم توجيه المستخدم إلى الأساليب الرسمية في تصميم الدوائر الكمومية.
تشتمل مجموعة المعايير أيضًا على نماذج لدوائر openQASM، مأخوذة من مستودع openQASM github.
Feynman عبارة عن مجموعة من الخوارزميات والتقنيات التي تغطي عددًا من الأبحاث. إذا كنت ترغب في الاستشهاد في ورقة أكاديمية، فإن الأوراق ذات الصلة مذكورة أدناه.
ماثيو ايمي
