معجم حوسبة الكم
حقول إضافية
| المصطلح الانجليزي | ZX-Calculus |
|---|---|
| التعريف الإنجليزي | The ZX-calculus is a universal graphical language for reasoning about multi-qubit quantum systems. Diagrams are built from two kinds of generators, Z-spiders (green) and X-spiders (red), corresponding to the two complementary observables Z and X, connected by wires representing qubits; any quantum circuit or linear map can be drawn as such a diagram. A set of algebraic rewriting rules allows diagrams to be simplified and shown equal, and the calculus has been proven complete for the stabilizer fragment (Backens, 2014) and the Clifford+T fragment (Jeandel, Perdrix and Vilmart, 2018). It axiomatizes the complementarity of quantum observables within a categorical (monoidal-category) framework, and underlies circuit-optimization tools such as PyZX. |
| المصدر | المصدر 1 ↗ · المصدر 2 ↗ · المصدر 3 ↗ · المصدر 4 ↗ |
| التعريب | حساب ZX البياني |
| الملاحظة على الترجمة الحرفية | calculus هنا منظومة استدلال رسومية (مخططات وقواعد إعادة كتابة) لا حساب عددي، ولذلك أضيف الوصف البياني باقتراح السلمان والصراري، ويقال مخطط ZX (أ.د. السلمان)، وZ وX رمزان لمرصودي باولي المتكاملين. وcategory theory عربت نظرية الفئات، وهو المقابل الأشيع، تمييزا عن نظرية التصنيف. |
| التعريف المترجم | حساب ZX البياني لغة رسومية شاملة للاستدلال في شأن الأنظمة الكمومية متعددة الكيوبتات. تبنى مخططاته من نوعين من المولدات، عناكب Z (الخضراء) وعناكب X (الحمراء) المقابلة للمرصودين المتكاملين Z وX، تصل بينها أسلاك تمثل الكيوبتات؛ ويمكن رسم أي دائرة كمومية أو تحويل خطي مخططا من هذا النوع. وتتيح مجموعة من قواعد إعادة الكتابة الجبرية تبسيط المخططات وإثبات تساويها، وقد برهن على تمام الحساب لشظية المثبت (باكنز، 2014) وشظية كليفورد+T (جانديل وبيردريكس وفيلمار، 2018). وهو يؤصل تكاملية المرصودات الكمومية ضمن إطار من نظرية الفئات (الفئات المونويدية)، وتقوم عليه أدوات تحسين الدوائر مثل PyZX. |
| شرح إضافي للتوضيح | الفكرة أن الدائرة الكمومية تحول إلى مخطط من عقد وأسلاك، فيصير التفكير في الحساب الكمومي تفكيرا في أشكال: العقدة الخضراء تمثل عملية في أساس Z (كالدورانات حول Z وبوابة النفي المشروط من جهة التحكم)، والعقدة الحمراء عملية في أساس X، وتوصل الأسلاك بين العقد لتمثيل الكيوبتات، ولا يهم موضع العقد في الرسم بل ما يوصل بما؛ فما هو إلا طوبولوجيا الاتصال. وقوة الحساب في قواعد إعادة الكتابة: فقاعدة الاندماج تجمع عقدتين من اللون نفسه متصلتين في عقدة واحدة بجمع زاويتيهما، وقاعدة التكاملية تبين كيف تمر عقدة خضراء عبر حمراء، وقاعدة لون هادامارد تبدل الأخضر بالأحمر. وبتطبيق هذه القواعد آليا تبسط الدوائر وتحذف بوابات زائدة ويثبت تساوي دائرتين دون ضرب مصفوفات ضخمة، وهذا ما تفعله أداة PyZX (كيسنجر وفان دي فيترينغ، 2020) التي خفضت عدد بوابات T في دوائر كبيرة. ومعنى التمام أن كل مساواة صحيحة بين مخططي شظية ما يمكن إثباتها بالقواعد وحدها، وهو ما جعل الحساب أداة برهان لا رسما توضيحيا فقط. |
التأييد أو الاقتراح
هذا الجزء خاص فقط برأيك في التعريب الحالي للمصطلح الانجليزي (ZX-Calculus: حساب ZX البياني)
لتقديم تأييد أو اقتراح جديد، يُرجى تسجيل الدخول.
ولطلب صلاحية، يمكن التواصل مع ممثل جهتك او عبر البريد التالي:contact@quammy.org
👍 تأييدات اللغويين (2)
✍️ اقتراحات اللغويين (1)
حساب ZX البياني هو (is) لغة رسومية شاملة للاستدلال في شأن الأنظمة الكمومية متعددة الكيوبتات. تبنى مخططاته من نوعين من المولدات، عناكب Z (الخضراء) وعناكب X (الحمراء) المقابلة للمرصودين المتكاملين Z وX، تصل بينها أسلاك تمثل الكيوبتات؛ ويمكن رسم أي دائرة كمومية أو [استبدال: تحويل خطي مخططا] تطبيق خطي مخططاً (linear map … diagram) من هذا النوع. وتتيح مجموعة من قواعد إعادة الكتابة الجبرية تبسيط المخططات وإثبات تساويها، [استبدال: وقد برهن على تمام الحساب لشظية المثبت] وقد ثبت بالبرهان تمام الحساب لجزء المثبت (has been proven complete for the stabilizer fragment) (باكنز، 2014) [استبدال: وشظية] وجزء (fragment) كليفورد+T (جانديل [استبدال: وبيردريكس] وبيردري (Perdrix) وفيلمار، 2018). وهو [استبدال: يؤصل تكاملية المرصودات الكمومية] يصوغ تكاملية المرصودات الكمومية صياغة مسلماتية (axiomatizes) ضمن إطار من نظرية الفئات (الفئات المونويدية)، وتقوم عليه أدوات تحسين الدوائر مثل PyZX.
ملاحظات المستخدمين
هذا الجزء خاص بأي ملاحظة تراها على محتوى المصطلح
📝 ملاحظات اللغويين (1)
- بل ما يوصل بما
- التعديل: بل العقد التي وصلت بينها اﻷسلاك
سجّل الدخول لإضافة ملاحظة.
🔧 مرئيات المختصين التقنيين في مرحلة البناء (مرجع)
ما قدمه المختصون التقنيون في المرحلة الأولى من تأييدات واقتراحات وملاحظات، للاطلاع فقط.
🔧 تأييدات التقنيين — مرحلة البناء (مرجع) (1)
🔧 اقتراحات التقنيين — مرحلة البناء (مرجع) (4)
ملاحظة: أؤيد استخدام "حساب ZX"، لكن الأفضل "حساب ZX البياني" أو "الحساب الرسومي ZX" لتوضيح أنه لغة استدلال وإعادة كتابة رسومية، وليس عملية حساب عددي.
مخطط ZX
حساب الـ ZX الطوبولوجي
«حساب ZX» مقبول ومتداول، لكنه قد يُوهِم بأنه حساب عددي/جبري. أؤيد وأقترح التعريب الأوضح: «الحساب البياني ZX» أو «حساب ZX الرسومي»، لأن المقصود بـ calculus هنا منظومة رسومية/بيانية للاستدلال (مخططات وقواعد إعادة كتابة)، وليس حسابًا بالمعنى العددي. (وهو متسق مع الملاحظة التي أدرجها مُعدّ الحقل في خانة الترجمة الحرفية).
🔧 ملاحظات التقنيين — مرحلة البناء (مرجع) (3)
التعريف الإنجليزي مكتوب بصيغة ملخص بحث "This paper introduces"، ولذلك يجب تحويله إلى تعريف معجمي.
المحتوى العربي لهذا المصطلح جيد ووافٍ إجمالاً (عقد Z/X، إعادة الكتابة، PyZX، إثبات تساوي الدوائر). ملاحظتان: (1) التعريف الإنجليزي ليس تعريفًا معجميًا بل هو مقتبس من ملخص ورقة بحثية (يبدأ بـ This paper introduces...)، ويحسن إعادة صياغته في صورة تعريف مستقل اتساقًا مع بقية مدخلات المعجم. (2) الجوهر المفاهيمي الوارد في الأصل أُغفل: أن حساب ZX يُأصّل (axiomatizes) «التكاملية/التتامّ» (complementarity) بين مرصودين متكاملين (Z و X) ضمن إطار النظرية التصنيفية (categorical framework)؛ وهذا هو الأساس الرياضي الذي يمنح الحساب شموليته (universality)، وليس مجرد أن العقد «مرتبطة بأساسي Z و X».