คำถามติดแท็ก physics

คำถามของฉันเกี่ยวกับอัลกอริทึมควอนตัมสำหรับการคำนวณ QED (quantum electrodynamics) ที่เกี่ยวข้องกับค่าคงที่ของโครงสร้างที่ดี การคำนวณดังกล่าว (ตามที่อธิบายให้ฉัน) จำนวนการคำนวณอนุกรมเหมือนเทย์เลอร์ที่αเป็นค่าคงที่ของโครงสร้างที่ดี (ประมาณ 1/137) และc kคือการสนับสนุนของแผนภาพ Feynman กับk-ลูป ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk คำถามนี้ได้รับแรงบันดาลใจจากความคิดเห็นของ Peter Shor (เกี่ยวกับ QED และค่าคงที่ของโครงสร้างที่ดี) ในการอภิปรายเกี่ยวกับคอมพิวเตอร์ควอนตัมในบล็อกของฉัน สำหรับพื้นหลังบางอย่างที่นี่เป็นบทความที่เกี่ยวข้อง Wikipedea เป็นที่ทราบกันดีว่าก)คำศัพท์สองสามคำแรกของการคำนวณนี้ให้การประเมินที่แม่นยำมากสำหรับความสัมพันธ์ระหว่างผลลัพธ์การทดลองซึ่งมีข้อตกลงที่ยอดเยี่ยมกับการทดลอง b)การคำนวณนั้นหนักมากและการคำนวณเงื่อนไขต่าง ๆ นั้นอยู่นอกเหนืออำนาจการคำนวณของเรา c)ในบางจุดการคำนวณจะระเบิด - อีกนัยหนึ่งรัศมีของการบรรจบกันของอนุกรมกำลังนี้เป็นศูนย์ คำถามของฉันง่ายมาก: การคำนวณเหล่านี้สามารถทำได้อย่างมีประสิทธิภาพบนคอมพิวเตอร์ควอนตัม คำถามที่ 1 ckckc_k 2) (อ่อนแอ) อย่างน้อยเป็นไปได้หรือไม่ที่จะคำนวณการประเมินที่คำนวณโดย QED ในระบอบการปกครองก่อนที่ค่าสัมประสิทธิ์เหล่านี้จะระเบิด? 3) (แม้จะอ่อนแอกว่า) อย่างน้อยก็เป็นไปได้ที่จะคำนวณการประมาณการที่กำหนดโดยการคำนวณ QED เหล่านี้ตราบใดที่มีความเกี่ยวข้อง (สำหรับคำเหล่านั้นในชุดที่ให้การประมาณที่ดีกับฟิสิกส์) คำถามที่คล้ายกันนำไปใช้กับการคำนวณ QCD …

10 cc.complexity-theory  quantum-computing  physics 

ฉันกำลังมองหาตัวอย่างของปัญหาที่ยาก (ใน NP หรือหนักกว่า) จากวิทยาการคอมพิวเตอร์ซึ่งสามารถลดลงเป็นแบบจำลองของกระบวนการทางกายภาพ ตัวอย่างเช่น max-2-sat สามารถลดลงเป็นการลดพลังงานในรูปแบบของไอซิ่ง ฉันต้องการค้นหาตัวอย่างเพิ่มเติมของการลดประเภทนี้

10 cc.complexity-theory  reductions  physics  formal-modeling 

พื้นหลัง วงจรซับซ้อนC 0ถูกกำหนดให้เป็นชุดของครอบครัววงจร (เช่นลำดับของวงจรหนึ่งสำหรับการป้อนข้อมูลขนาดแต่ละคน) ของความลึกล้อมรอบและขนาดพหุนามสร้างขึ้นโดยใช้มากมายแฟนใน AND, OR และ NOTAC0AC0AC^0 ฟังก์ชัน parity มีอินพุตn- bit เท่ากับ XOR ของบิตในอินพุต⊕⊕\oplusnnn หนึ่งในวงจรแรกที่ได้รับการพิสูจน์ในความซับซ้อนของวงจรมีดังต่อไปนี้: [FSS81], [Ajt83]: 0⊕∉AC0⊕∉AC0\oplus \notin AC^0 คำถาม: ให้เป็นคลาสของฟังก์ชันที่สามารถคำนวณได้โดยใช้วงจรอิเล็กทรอนิกส์ที่มีความลึกที่ จำกัด และขนาดพหุนามโดยใช้ชิ้นส่วนอิเล็กทรอนิกส์เช่นทรานซิสเตอร์ (ฉันสร้างชื่อE C 0แจ้งให้เราทราบหากคุณรู้จักชื่อที่ดีกว่านี้)EC0EC0EC^0EC0EC0EC^0 เราสามารถคำนวณในทางปฏิบัติโดยใช้วงจรE C 0 ได้หรือไม่?⊕⊕\oplusEC0EC0EC^0 สิ่งที่เกี่ยวกับแฟน ๆ ในและ / หรือ? เราสามารถคำนวณมันในไหม?EC0EC0EC^0 ไม่มีผลในทางปฏิบัติใด ๆ คือC 0ที่สำคัญในการปฏิบัติ?⊕∉AC0⊕∉AC0\oplus \notin AC^0AC0AC0AC^0 ทำไมเป็นที่สำคัญสำหรับนักวิทยาศาสตร์ (ทฤษฎี) คอมพิวเตอร์?⊕∉AC0⊕∉AC0\oplus \notin AC^0 …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

ตัวอย่างที่รู้จักกันดีของการคำนวณที่ได้รับแรงบันดาลใจจากปรากฏการณ์ธรรมชาติคือคอมพิวเตอร์ควอนตัมและคอมพิวเตอร์ DNA สิ่งที่ทราบเกี่ยวกับศักยภาพและ / หรือข้อ จำกัด ของการคำนวณด้วยกฎหมายหรือแรงโน้มถ่วงของ Maxwell นั่นคือการรวมการแก้ปัญหา "ด่วน" ของธรรมชาติเข้ากับสมการของแมกซ์เวลล์หรือปัญหาเอ็น - บอดี้โดยตรงในอัลกอริทึมทั่วไป

9 computability  machine-models  physics  natural-computing