क्वांटम लैम्ब्डा कैलकुलस


35

शास्त्रीय रूप से, गणना के बारे में सोचने के 3 लोकप्रिय तरीके हैं: ट्यूरिंग मशीन, सर्किट, और लैम्ब्डा-कैलकुलस (मैं इसे सबसे कार्यात्मक विचारों के लिए सभी को पकड़ने के रूप में उपयोग करता हूं)। सभी 3 विभिन्न प्रकार की समस्याओं के बारे में सोचने के लिए फलदायी तरीके हैं, और अलग-अलग क्षेत्र इस कारण से अलग-अलग सूत्रीकरण का उपयोग करते हैं।

जब मैं क्वांटम कंप्यूटिंग के साथ काम करता हूं, हालांकि, मैं केवल सर्किट मॉडल के बारे में कभी सोचता हूं। मूल रूप से, क्यूसी को क्वांटम ट्यूरिंग मशीनों के संदर्भ में परिभाषित किया गया था, लेकिन जहां तक ​​मैं समझता हूं, यह परिभाषा (हालांकि क्वांटम सर्किट के बराबर है अगर दोनों को सावधानीपूर्वक तैयार किया गया है) लगभग फलदायी नहीं हुआ है। तीसरा सूत्रीकरण (लंबो-कैलकुलस या इसी प्रकार की कार्यात्मक सेटिंग्स के संदर्भ में) मैं पूरी तरह से अपरिचित हूं। इसलिए मेरे सवाल:

  • क्वांटम लैम्ब्डा-कैलकुलस (या अन्य कार्यात्मक प्रतिमान) की उपयोगी परिभाषाएं क्या हैं?

  • सर्किट मॉडल के बजाय क्यूपी के उप-क्षेत्र इस फॉर्मूलेशन का उपयोग करने से गहन अंतर्दृष्टि प्राप्त करते हैं?


टिप्पणियाँ

मुझे पता है कि मैं कई अन्य लोकप्रिय औपचारिकताओं जैसे सेलुलर ऑटोमेटा, रैम-मॉडल इत्यादि को अनदेखा कर रहा हूं, क्योंकि मैं ज्यादातर इन मॉडलों के संदर्भ में सोच के साथ अनुभव नहीं करता हूं, क्योंकि मैं अकेले क्वांटमली देता हूं

मुझे यह भी पता है कि क्वांटम सेटिंग में लोकप्रिय विकल्प हैं, जैसे माप-आधारित, टोपोलॉजिकल और एडियाबेटिक। मैं उनकी चर्चा नहीं करता क्योंकि मैं शास्त्रीय समकक्षों से परिचित नहीं हूं।


4
मुझे लगता है कि यह सैद्धांतिक कंप्यूटर विज्ञान पर भी ठीक होगा । :)
केवह

1
@ केवह मैं बहुत उलझन में हूं कि कोस्टेयरी और सीएसएसई के बीच कहां से पूछें :(। मैंने फैसला नहीं किया है क्योंकि मैं हाल ही में थीसिस आया हूं जो क्वांटम फंक्शनल प्रोग्रामिंग (धारा 2.2 में) के बारे में बात करता है या नहीं इसके बारे में ध्यान से सोचने का समय था। इसलिए मैंने सोचा: अरे, मैं एक आधे-बेक्ड सवाल
पूछूंगा

1
उम्मीद है कि यह cstheory के लिए एक बेक्ड प्रश्न को जन्म देगा। :)
केवह

1
आप LPQL , कैलगरी में विकसित एक रेखीय कार्यात्मक क्वांटम प्रोग्रामिंग भाषा पर एक नज़र डालना चाहते हैं ।
jmite

जवाबों:


17

यहाँ एक आधा-बेक्ड उत्तर है: मुझे पता है कि बोलोग्ना विश्वविद्यालय में यूगो दाल लागो क्वांटम लैम्बो कैलकुलस का अध्ययन कर रहा है। आप उनके प्रकाशनों की जाँच करना चाहेंगे और शायद यह विशेष रूप से:

यू डल लागो, ए। मसिनी, एम। जोर्जी द्वारा क्वांटम निहित कम्प्यूटेशनल जटिलता

मैं कह रहा हूं कि यह एक आधा-बेक्ड उत्तर है, क्योंकि मुझे उनके किसी भी काम को पढ़ने का मौका नहीं मिला है।


12

बेशर्म प्लग के लिए अग्रिम में माफी, लेकिन एक क्वांटम लैंबडा कैलकुलस पर मेरा एक पेपर है जो आपको दिलचस्प लग सकता है। इसे द डैगर लैंबडा कैलकुलस कहा जाता है और डायग्रामेटिक सर्किट के लिए एक उच्च-क्रमीय प्रतिनिधित्व प्रदान करता है जिसे क्वांटम गणना के श्रेणीबद्ध स्कूल ने पेश किया है:

http://arxiv.org/abs/1406.1633

आप अधिक जानकारी के लिए YouTube पर मेरी बात की भी जाँच कर सकते हैं:

https://www.youtube.com/watch?v=2pDPVd1BukI

क्षेत्र के अन्य कार्यों में सेलिंगर-वलिरॉन क्वांटम लैंबडा कैल्सी, और आंद्रे वैन टोनर द्वारा लैम्ब्डा कैलकुलस शामिल हैं: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ v004 ], [ SV04 ], [ SV08 ], [ SV10 ] ।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.