معجم حوسبة الكم
حقول إضافية
| المصطلح الانجليزي | 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 is complete for stabilizer and Clifford+T fragments. It axiomatizes the complementarity of quantum observables within a categorical (monoidal-category) framework, and underlies circuit-optimization tools such as PyZX. |
| المصدر | المصدر ↗ |
| التعريب | حساب ZX البياني |
| الملاحظة على الترجمة الحرفية | calculus هنا منظومة استدلال رسومية (مخططات وقواعد إعادة كتابة) لا حساب عددي، ولذلك أضيف الوصف البياني باقتراح السلمان والصراري، ويقال مخطط ZX، وZ وX رمزان لمرصودي باولي المتكاملين. |
| التعريف المترجم | حساب ZX البياني لغة رسومية شاملة للاستدلال على الأنظمة الكمومية متعددة الكيوبتات. تبنى مخططاته من نوعين من المولدات، عناكب Z (الخضراء) وعناكب X (الحمراء) المقابلة للمرصودين المتكاملين Z وX، تصل بينها أسلاك تمثل الكيوبتات؛ ويمكن رسم أي دائرة كمومية أو تحويل خطي مخططا من هذا النوع. وتتيح مجموعة من قواعد إعادة الكتابة الجبرية تبسيط المخططات وإثبات تساويها، والحساب تام لشظايا المثبت وكليفورد+T. وهو يؤصل تكاملية المرصودات الكمومية ضمن إطار النظرية التصنيفية، وتقوم عليه أدوات تحسين الدوائر مثل PyZX. |
| شرح إضافي للتوضيح | يمكن اعتبار ZX-Calculus بمثابة لغة رسومية لتوصيل وتحليل العمليات الكمومية، تشبه ما تفعله الرسوم البيانية في الشبكات الكهربائية أو المنطق الرقمي. بدلا من استخدام المعادلات المعقدة، يستخدم مخطط مكون من: - عقد خضراء (Z) تمثل عمليات كمومية مرتبطة بأساس Z - عقد حمراء (X) تمثل العمليات المرتبطة بأساس X - خطوط تمثل الاتصال بين الكيوبتات أو العمليات يتيح هذا النظام: - تبسيط الدوائر الكمومية بصريا - إثبات تساوي دارات كمومية مختلفة تؤدي إلى نفس النتيجة - بناء أدوات برمجية (مثل PyZX) لتحويل الدوائر إلى صيغ أبسط تلقائيا. |
التأييد أو الاقتراح
هذا الجزء خاص فقط برأيك في التعريب الحالي للمصطلح الانجليزي (ZX-Calculus: حساب ZX البياني)
لتقديم تأييد أو اقتراح جديد، يُرجى تسجيل الدخول.
ولطلب صلاحية، يمكن التواصل مع ممثل جهتك او عبر البريد التالي:contact@quammy.org
👍 تأييدات اللغويين (0)
لا توجد تأييدات لغوية بعد.
🔧 تأييدات التقنيين — مرحلة البناء (مرجع) (1)
✍️ اقتراحات اللغويين (0)
لا توجد اقتراحات لغوية بعد.
🔧 اقتراحات التقنيين — مرحلة البناء (مرجع) (4)
ملاحظة: أؤيد استخدام "حساب ZX"، لكن الأفضل "حساب ZX البياني" أو "الحساب الرسومي ZX" لتوضيح أنه لغة استدلال وإعادة كتابة رسومية، وليس عملية حساب عددي.
مخطط ZX
حساب الـ ZX الطوبولوجي
«حساب ZX» مقبول ومتداول، لكنه قد يُوهِم بأنه حساب عددي/جبري. أؤيد وأقترح التعريب الأوضح: «الحساب البياني ZX» أو «حساب ZX الرسومي»، لأن المقصود بـ calculus هنا منظومة رسومية/بيانية للاستدلال (مخططات وقواعد إعادة كتابة)، وليس حسابًا بالمعنى العددي. (وهو متسق مع الملاحظة التي أدرجها مُعدّ الحقل في خانة الترجمة الحرفية).
ملاحظات المستخدمين
هذا الجزء خاص بأي ملاحظة تراها على محتوى المصطلح
📝 ملاحظات اللغويين (0)
لا توجد ملاحظات لغوية بعد.
🔧 ملاحظات التقنيين — مرحلة البناء (مرجع) (3)
التعريف الإنجليزي مكتوب بصيغة ملخص بحث "This paper introduces"، ولذلك يجب تحويله إلى تعريف معجمي.
المحتوى العربي لهذا المصطلح جيد ووافٍ إجمالاً (عقد Z/X، إعادة الكتابة، PyZX، إثبات تساوي الدوائر). ملاحظتان: (1) التعريف الإنجليزي ليس تعريفًا معجميًا بل هو مقتبس من ملخص ورقة بحثية (يبدأ بـ This paper introduces...)، ويحسن إعادة صياغته في صورة تعريف مستقل اتساقًا مع بقية مدخلات المعجم. (2) الجوهر المفاهيمي الوارد في الأصل أُغفل: أن حساب ZX يُأصّل (axiomatizes) «التكاملية/التتامّ» (complementarity) بين مرصودين متكاملين (Z و X) ضمن إطار النظرية التصنيفية (categorical framework)؛ وهذا هو الأساس الرياضي الذي يمنح الحساب شموليته (universality)، وليس مجرد أن العقد «مرتبطة بأساسي Z و X».
سجّل الدخول لإضافة ملاحظة.