欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
量子计算
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→新闻) |
||
第15行: | 第15行: | ||
==新闻== | ==新闻== | ||
+ | *[https://www.youtube.com/watch?v=nZu5hutqANk IBM Quantum State of the Union 2022] (2022/11/15) | ||
*[https://cn.nikkei.com/industry/scienceatechnology/49608-2022-08-29-08-26-17.html 量子计算机有第3种方式,日本走在前列] 研发团队利用这个实验装置实现了400个量子位,大幅超过现有量子计算机上实现的量子位数量。大森贤治教授表示,“到1~2年后将轻松增至1000个量子位。从原理上讲可增至1万个量子位”。(2022/08/29) | *[https://cn.nikkei.com/industry/scienceatechnology/49608-2022-08-29-08-26-17.html 量子计算机有第3种方式,日本走在前列] 研发团队利用这个实验装置实现了400个量子位,大幅超过现有量子计算机上实现的量子位数量。大森贤治教授表示,“到1~2年后将轻松增至1000个量子位。从原理上讲可增至1万个量子位”。(2022/08/29) | ||
*[https://research.ibm.com/blog/127-qubit-quantum-processor-eagle IBM Quantum breaks the 100‑qubit processor barrier] IBM 量子公司突破 100 量子比特大关 | *[https://research.ibm.com/blog/127-qubit-quantum-processor-eagle IBM Quantum breaks the 100‑qubit processor barrier] IBM 量子公司突破 100 量子比特大关 |
2022年11月21日 (一) 07:46的版本
您可以在Wikipedia上了解到此条目的英文信息 量子计算 Thanks, Wikipedia. |
Quantum computing、量子计算、量子计算机、Quantum information、量子信息
目录 |
简介
1981年,诺贝尔物理学奖获得者理查德-费曼发表了他的开创性演讲 "用计算机模拟物理(Simulating Physics with Computers)"。他的想法是,与经典计算机只能近似地模拟物理学不同,量子计算机可以精确地模拟(simulate it exactly)物理学--如量子物理学(quantum physics)。在1982年发表的一篇论文中,他说:"因此,我相信这是真的,用一类合适的量子机(suitable class of quantum machines),你可以模仿任何量子系统,包括物理世界。"
量子计算的概念最早是 1982 年由美国物理学家费曼提出的,费曼认为:“遵循量子力学法则的量子计算机可能是模拟现实世界量子系统的最好方式”。
1982年,费曼指出,在传统的图灵机上似乎无法高效地模拟量子力学,并建议建立量子计算机来执行这种模拟。
量子计算机本质上是一个量子力学系统。
新闻
- IBM Quantum State of the Union 2022 (2022/11/15)
- 量子计算机有第3种方式,日本走在前列 研发团队利用这个实验装置实现了400个量子位,大幅超过现有量子计算机上实现的量子位数量。大森贤治教授表示,“到1~2年后将轻松增至1000个量子位。从原理上讲可增至1万个量子位”。(2022/08/29)
- IBM Quantum breaks the 100‑qubit processor barrier IBM 量子公司突破 100 量子比特大关
指南
理论
实现量子计算本质是利用量子相干性(quantum coherence),不过测量操作会影响量子相干性,使之出现坍缩现象,即所谓的退相干(decoherence)。
项目
- Quantum Open Source Projects @ Awesome Open Source
- Open-Source Quantum Software Projects
- Quantum Open Source Foundation List of Open Quantum Projects
- Quantum Computing GitHub Topic
- Quipper: A Scalable Quantum Programming Language Made by Haskell
- QWIRE a Coq implementation of the QWIRE quantum programming language
- Quil quantum programming language and ecosystem. Common Lisp 编写
- PyQuil is a Python library for quantum programming using Quil
- D-Wave Systems @ GitHub
- Q# Compiler Q# runtime
- Silq
- Qiskit
- Cirq
- Quantum Katas
- quantumlib
- OpenJij Framework for the Ising model and QUBO. OpenJij An open-source project towards a unified annealing platform
- Open source software in quantum computing
- OpenQASM is an imperative programming language for describing quantum circuits, written in Python, The file qasm3.g4 is the reference grammar, written in ANTLR.
- ScaffCC
- ProjectQ Powerful open source software for quantum computing
- ZX-calculus is a graphical language that goes beyond circuit diagrams.
实现
应用
- 今天,量子材料模拟(quantum materials simulation)正在被世界各地的科学家积极追求,一些人认为它是量子计算机的第一个 "杀手级应用(killer application)"。
- D-Wave 250+ Early Quantum Applications
- Display Advertising Optimization
文档
- Toward the first quantum simulation with quantum speedup
- Recursion in circuit description languages
- Toward Automatic Verification of Quantum Programs
- Continuous Symmetries and Approximate Quantum Error Correction
- Adventures in Impredictive Semantics
- Quantum Machine Learning using the ZXW-Calculus
- FY16 D-Wave First Round FY17 D-Wave Second Round
书籍
- 《量子计算机研究 上、下》李承祖
图集
链接
- D-Wave Systems The Practical Quantum Computing Company D-Wave for Government
- IBM Quantum Computing
- Google Quantum AI
- Fujitsu 量子科技 - 數位退火技術Digital Annealer
- 苏黎世仪器 Zurich Instruments
- 量子客
分享您的观点