ควอนตัมแลมบ์ดาควอนตัม

คลาสสิกมี 3 วิธีที่เป็นที่นิยมในการคิดเกี่ยวกับการคำนวณ: เครื่องทัวริง, วงจรและแลมบ์ดา - แคลคูลัส (ฉันใช้นี่เป็นตัวจับสำหรับมุมมองการทำงานส่วนใหญ่) ทั้งสามวิธีมีผลคิดวิธีต่าง ๆ ปัญหาและเขตข้อมูลที่แตกต่างกันใช้ formulation ที่แตกต่างกันสำหรับเหตุผลนี้

เมื่อฉันทำงานกับการคำนวณควอนตัม แต่ฉันเคยคิดถึงรูปแบบวงจรเท่านั้น แต่เดิม QC ถูกกำหนดในแง่ของเครื่องทัวริงควอนตัมแต่เท่าที่ฉันเข้าใจความหมายนี้ (แม้ว่าเทียบเท่ากับวงจรควอนตัมถ้าทั้งสองสูตรอย่างระมัดระวัง) ไม่ได้เกือบเป็นผล สูตรที่ 3 (ในแง่ของแลมบ์ดา - แคลคูลัสหรือการตั้งค่าการทำงานที่คล้ายกัน) ฉันไม่คุ้นเคยอย่างสมบูรณ์ ดังนั้นคำถามของฉัน:

• คำจำกัดความที่มีประโยชน์ของควอนตัมแลมบ์ดา - แคลคูลัส (หรือกระบวนทัศน์การทำงานอื่น ๆ ) คืออะไร?

• ฟิลด์ QIP ใดที่ได้รับข้อมูลเชิงลึกที่ลึกซึ้งยิ่งขึ้นจากการใช้สูตรนี้แทนแบบจำลองวงจร

หมายเหตุ

ฉันรู้ว่าฉันไม่สนใจ formalisms นิยมอื่น ๆ เช่นเซลล์ออโต, RAM-รุ่น ฯลฯ ฉันยกเว้นเหล่านี้ส่วนใหญ่เป็นเพราะผมไม่ได้มีประสบการณ์กับความคิดในแง่ของรูปแบบเหล่านี้คลาสสิกให้อยู่คนเดียวquantumly

ฉันยังทราบด้วยว่ามีทางเลือกยอดนิยมในการตั้งค่าควอนตัมเช่นการวัดตามโทโพโลยีและอะเดียแบติก ฉันไม่ได้พูดคุยกับพวกเขาเพราะฉันไม่คุ้นเคยกับคู่คลาสสิก

นี่เป็นคำตอบแบบครึ่งหลัง: ฉันรู้ว่า Ugo Dal Lago ที่ University of Bologna กำลังศึกษาแคลคูลัสแลมบ์ดาควอนตัม คุณอาจต้องการตรวจสอบสิ่งพิมพ์ของเขาและโดยเฉพาะอย่างยิ่งนี้:

ความซับซ้อนในการคำนวณเชิงควอนตัมโดย U. Dal Lago, A. Masini, M. Zorzi

ฉันกำลังบอกว่ามันเป็นคำตอบที่อ่อนหัดเพราะฉันไม่มีโอกาสอ่านผลงานของเขา

ขออภัยล่วงหน้าสำหรับปลั๊กไร้ยางอาย แต่มีกระดาษของฉันในแคลคูลัสแลมบ์ควอนตัมที่คุณอาจพบว่าน่าสนใจ มันถูกเรียกว่าThe Dagger แลมบ์ดาแคลคูลัสและเป็นตัวแทนลำดับขั้นสูงสำหรับวงจรไดอะแกรมที่โรงเรียนหมวดหมู่ของการคำนวณควอนตัมได้แนะนำ:

http://arxiv.org/abs/1406.1633

คุณสามารถตรวจสอบการพูดคุยของฉันบน YouTube สำหรับข้อมูลเพิ่มเติม:

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

ผลงานอื่น ๆ ในพื้นที่รวมถึง Selinger-Valiron นิ่วควอนตัมแลมบ์ดาและแคลคูลัสแลมบ์ดาโดยอังเดรฟาน Tonder: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [ SV08 ], [ SV10 ] .