布尔可满足性问题就是确定是否存在满足给定布尔公式的解释的问题。

由于在一个量子比特中一次只能监测一种错误类型，因此科学家提出了一种称为“表面码”的巧妙纠错协议。表面编码涉及大量连接的量子比特，一些用于进行逻辑计算，而另一些量子比特则被用来监测并推断逻辑量子比特中的错误。

量子计算是一种遵循量子力学规律调控量子信息单元进行计算的新型计算模式。对照于传统的通用计算机，其理论模型是通用图灵机；通用的量子计算机，其理论模型是用量子力学规律重新诠释的通用图灵机。从可计算的问题来看，量子计算机只能解决传统计算机所能解决的问题，但是从计算的效率上，由于量子力学叠加性的存在，某些已知的量子算法在处理问题时速度要快于传统的通用计算机。

量子电路是一个（通过输入输出线路）非循环连接的量子门的集合。电路的大小和深度就是节点的数目和底部连接图的深度。

密度泛函理论一种研究多电子体系电子结构的方法。密度泛函理论在物理和化学上都有广泛的应用，特别是用来研究分子和凝聚态的性质，是凝聚态物理计算材料学和计算化学领域最常用的方法之一。

反常霍尔电导是由于材料本身的自发磁化而产生的，因此是一类新的重要物理效应。反常霍尔效应与普通的霍尔效应在本质上完全不同，因为这里不存在外磁场对电子的洛伦兹力而产生的运动轨道偏转。

在一个通有电流的二维导体中，如果施加一个垂直于电流方向的磁场，会在垂直于电流和磁场方向的导体两端产生电压，这个电磁输运现象就是著名的霍尔效应。产生的横向电压被称为霍尔电压，霍尔电压与施加的电流之比则被称为霍尔电阻。

电荷量子比特一般是以单个电子在双量子点中的两个不同位置状态来进行编码的量子比特。

马约拉纳费米子是一种不带电荷的费米子，它的反粒子就是它本身，1937年，埃托雷·马约拉纳（Ettore Majorana）发表论文假想这种粒子存在，因此而命名。

在超导量子计算中，相位量子比特是一种基于超导体-绝缘体-超导体(SIS)约瑟夫森结的超导设备。相位量子比特是一个电流偏置的约瑟夫森结，在零电压状态下工作，具有非零偏置电流。