Determining QMC simulability with geometric phases
虽然随机哈密顿量可以通过无符号问题的量子蒙特卡罗（QMC）技术来模拟，但哈密顿量的非随机性并不一定意味着QMC符号问题的存在。我们给出了一个在固定基上的Hamilton算子的QMC-相似性的充分必要条件，该条件是关于邻接矩阵为Hamilton算子的加权图的无弦圈的几何相位的.我们使用我们的研究结果，提供了一个非随机的，但没有符号问题，因此QMC模拟，量子多体模型的建设。我们还证明了为什么真正的符号有问题的模型的模拟使用的QMC权重的stoquasticized哈密顿一般是次优的。我们提供更好的选择。
2020-12-03 cond-mat.stat-mech quant-ph
Quantum Checkers: The Development and Analysis of a Quantum Combinatorial Game
本研究开发了融合量子力学概念的新型量子组合游戏量子跳棋（Cheqqers），通过多等级量子规则实现经典到量子游戏的插值，可作为AI量子游戏基准与人类量子直觉培养工具，并初步分析了游戏复杂度。
2025-06-12 quant-ph
Response to "Exponential challenges in unbiasing quantum Monte Carlo algorithms with quantum computers"
Mazzola和Carleo最近的预印本数值研究了在我们的工作中引入的QC-QMC算法可能出现的指数挑战，“使用量子计算机的无偏费米子量子蒙特卡罗。“正如我们在原始文件中所讨论的，我们同意这一普遍关切。然而，在这里，我们提供了进一步的细节和数字，以强调在QC-QMC的实际量子优势的前景仍然开放。QC-QMC中的指数挑战取决于（1）QMC方法的选择，（2）底层系统，以及（3）试验和沃克波函数的形式。虽然人们可以找到具有特定方法，特定系统和特定步行者/试验形式的困难示例，但对于这些选择的某些组合，该方法可能比其他近期量子算法更具可扩展性。未来的研究应旨在确定QC-QMC实现实际量子优势的实例。
2022-07-27 physics.chem-ph quant-ph
Bell sampling in Quantum Monte Carlo simulations
Technical University of Munich（慕尼黑工业大学）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）；Fudan University（复旦大学）；Westlake University（西湖大学）；Westlake Institute for Advanced Study（西湖高等研究院）
针对QMC模拟中非对角算符和纠缠计算困难的问题，提出基于贝尔采样的Bell-QMC框架，在SSE中设计高效更新方案，可单次模拟计算所有系统分区纠缠，在一维横场伊辛模型等验证中展现优势，扩展了QMC可访问的量子性质。
2025-10-26 cond-mat.stat-mech cond-mat.str-el quant-ph
Open Quantum Random Walks and Quantum Markov chains on Trees II: The recurrence
本文构造了与开放量子随机游动相关联的量子马尔可夫链（QMC），使得链的转移算子由OQRW定义，且QMC对交换子代数的限制与OQRW的分布一致.此外，我们首次提出了一种新的树上的QMC的构造，它是文献[9]中所考虑的QMC的推广。使用这样的结构，我们能够构建与OQRW相关的树上的QMC。我们的调查导致检测的相变现象内提出的计划。这种现象在这个方向上还是第一次出现。计算了QMC的平均熵。
2022-08-07 math-ph math.FA math.MP
Understanding Quantum Tunneling through Quantum Monte Carlo Simulations
伊辛铁磁体的两个基态之间的隧穿是两个局部极小值之间的多体隧穿过程的典型例子，因为它们发生在量子退火期间。通过量子Monte Carlo（QMC）模拟，我们发现QMC隧穿率与非相干隧穿率一样，随系统尺寸的变化具有相同的标度。两种情况下的缩放都是$O(Δ^2)$，其中$Δ$是隧道分裂。一个重要的结果是，QMC模拟可以用来预测量子退火器的性能，通过势垒隧穿。此外，通过在虚时间中使用开放而不是周期性边界条件，相当于投影QMC算法，我们获得了二次加速QMC，并实现了线性缩放$Δ$。我们提供了一个物理的理解，这些结果和它们的适用范围的基础上的瞬子图片。
2015-10-27 cond-mat.stat-mech quant-ph
Path-Integral Quantum Monte Carlo simulation with Open-Boundary Conditions
完全连接的量子自旋模型中的亚稳态的隧穿衰变事件可以通过路径积分量子蒙特卡罗（QMC）有效地模拟[Isakov $et~al.$，Phys. Rev. Lett. ${\bf 117}$，180402（2016）.]。这是因为QMC的热辅助量子隧穿率和Kramers逃逸率的自旋数的指数标度是相同的[Jiang $et~al.$，Phys. Rev. A ${\bf 95}$，012322（2017）.]，文献[1]也证明了开边界QMC的逃逸率比传统的双边界QMC的逃逸率大二次方，因此，开边界QMC可以作为求解组合优化问题的有力工具.这个猜想背后的直觉是，瞬子在开边界QMC中的作用量是在双边界QMC中的一半。在这里，我们表明，这种简单的直觉-虽然在解释一些数值结果时非常有用-在几个方面偏离了实际情况。利用一个全连通的量子自旋模型，我们推导出一组条件的位置和动量的端点的瞬子，其中删除了额外的自由度，由于开放的边界。相比之下，半瞬子猜想错误地将端点处的动量设为零。我们还发现，在开放边界QMC中的瞬子对应于量子隧穿事件在对称子空间（最大总角动量）在所有温度下，而在非边界QMC中的瞬子通常位于子空间在有限温度下具有较低的总角动量。这导致在有限温度下小于二次加速。我们还概述了推广的瞬子隧穿方法的多量子比特系统没有置换对称性使用自旋相干态路径积分。
2017-10-23 cond-mat.stat-mech quant-ph
Open Quantum Random Walks and Quantum Markov chains on Trees I: Phase transitions
本文构造了与开放量子随机游动相关联的量子马尔可夫链，使得链的转移算子由OQRW定义，且QMC对交换子代数的限制与OQRW的分布$P_ρ$一致.然而，我们将把概率分布看作凯莱树上的马尔可夫场。这样的考虑使我们能够在QMC方案中研究与OQRW相关的相变现象。此外，我们首次提出了一种新的树上的QMC的构造，它是文献[10]中所考虑的QMC的推广。使用这样的结构，我们能够构建与OQRW相关的树上的QMC。我们的调查导致检测的相变现象内提出的计划。这种现象在这个方向上还是第一次出现。计算了QMC的平均熵。
2022-08-07 math-ph math.FA math.MP
Second order cone relaxations for quantum Max Cut
针对量子最大割问题，提出一种基于三量子比特约化密度矩阵的二阶锥松弛，结合Pauli第1级达到0.526近似比，可高效求解数百量子比特系统。
2024-11-06 quant-ph
Experimental demonstration of quantum cooling engine powered by entangled measurement
传统的制冷是由外力或信息反馈机制驱动的。令人惊讶的是，通常有害的量子测量和塌缩也可以用于为冷却引擎提供动力，甚至不需要任何反馈机制。在这项工作中，我们实验证明了量子测量冷却（QMC）的纠缠测量供电，通过使用一种新的线性光学模拟器。在模拟器中，通过调节工质的能级间距和热浴温度，可以模拟不同的热力过程。我们的实验表明，没有事先了解的测量，QMC仍然可能发生。我们还证明了QMC对测量噪声是鲁棒的。这些实验结果表明，量子测量并不总是有害的，但可以是一个有价值的热力学资源。
2023-02-23 quant-ph
Simulated quantum annealing of double-well and multi-well potentials
我们分析了量子退火作为一种启发式优化方法的性能，以找到各种连续模型的绝对最小值，包括只有两个井的景观，以及具有许多竞争最小值和无序的模型。使用投影量子蒙特卡罗（QMC）算法进行的模拟进行比较与那些基于有限温度路径积分QMC技术和经典退火。我们表明，投影QMC算法比有限温度QMC技术更有效，并且如果进行适当的远程移动，则两者都不如经典退火。然而，随着优化问题难度的增加，经典退火算法的效率下降，而投影QMC算法保持稳定的性能，最终成为最有效的优化工具。我们讨论了我们的研究结果的影响的绝热量子计算机使用随机模拟进行经典计算机的效率测试的突出问题。
2015-10-15 cond-mat.stat-mech quant-ph
Accelerated Quantum Monte Carlo with Probabilistic Computers
本文提出用专用数字处理器与无时钟模拟概率处理器加速标准QMC算法，在TFIM上验证最高5至6个数量级的潜在加速，并分析其相对CPU和D-Wave的标度性能。
2023-04-27 quant-ph
Obstructions To Classically Simulating The Quantum Adiabatic Algorithm
考虑了“无符号问题”系统的绝热量子算法，如横场伊辛模，分析了量子蒙特卡罗（QMC）在这类系统上的平衡时间。我们要求：如果光谱间隙只是多项式的倒数，那么在QMC模拟中，基于缓慢改变哈密顿参数的平衡方法能否在多项式时间内成功？我们表明，这是不正确的，通过构建反例。一些例子是哈密尔顿算子，其中波函数具有不可忽略振幅的位形空间具有非平凡的基本群，导致虚时间中的轨迹空间分裂成不连通的分量，这些分量之外的概率可以忽略。对于最简单的例子，我们给出了一个阿贝尔基本群，QMC不平衡，但仍然解决了优化问题。当基本群是两个生成元上的自由群时，可能会发生更严重的影响，导致无法解决优化问题。QMC失败的其他例子有一个平凡的基本群，但仍然使用从拓扑学中将群表示与单纯复形联系起来的思想。我们定义的小工具，实现这些哈密顿作为有效的低能量动力学的横向场伊辛模型。我们提出了一些分析结果的平衡时间，这可能是一些独立的兴趣在理论的平衡马尔可夫链。相反，我们表明，一个小的光谱间隙意味着缓慢的平衡在低温下的一些初始条件和自然选择的本地QMC更新。
2013-02-26 quant-ph
Uniformity Bias in Ground-State Sampling Induced by Replica Alignment in Quantum Monte Carlo for Quantum Annealing
本文通过比较QMC主方程和薛定谔方程的基态分布，发现QMC因复制品对齐和扭折构型抑制而产生均匀性偏差，揭示了其在忠实模拟量子退火动力学时的根本局限性。
2025-10-12 cond-mat.stat-mech quant-ph
Quantum versus Classical Annealing of Ising Spin Glasses
量子退火在自旋玻璃问题上的优越性的最有力证据来自于使用量子蒙特卡罗（QMC）方法模拟量子退火与模拟经典退火的比较[G. Santoro等人，Science 295，2427（2002）]。出于实验的可编程量子退火设备，我们重新审视的问题时，量子加速可能是预期的伊辛自旋玻璃问题。我们发现，即使一个更好的缩放相比，模拟经典退火可以实现QMC模拟，这一优势是由于时间离散化和测量是不可能的物理量子退火设备。另一方面，QMC模拟在物理相关的连续时间限制，不显示优越性。我们的研究结果意味着，小心时，使用QMC模拟来评估量子加速潜力，并与最近的论点，没有量子加速应预期的二维自旋玻璃问题是一致的。
2014-11-20 cond-mat.dis-nn quant-ph
QMC-Net: Data-Aware Quantum Representations for Remote Sensing Image Classification
Space Applications Centre, Indian Space Research Organisation, Ahmedabad, India（印度空间研究组织阿赫迈德亚德空间应用中心）；Centre of Studies in Resources Engineering, Indian Institute of Technology, Bombay, India（印度理工学院孟买资源工程研究中心）；Centre for Machine Intelligence and Data Science, Indian Institute of Technology, Bombay, India（印度理工学院孟买机器智能与数据科学中心）；School of Technology, Pandit Deendayal Energy University, Gandhinagar, India（帕丁德亚尔能源大学甘地 Nagar 技术学院）
本文提出QMC-Net，通过将带级统计量映射到量子电路超参数，实现多波段遥感图像分类的自适应量子特征编码，实验显示其在EuroSAT和SAT-6数据集上的准确率优于经典模型和传统混合量子模型。
2026-04-29 cs.CV quant-ph
Quantum Max Cut for complete tripartite graphs
University of Primorska（普里莫斯卡大学）；Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）
本文针对小局部维度下的三部完全图，解决了量子最大$d$-割问题。
2025-12-03 math.CO quant-ph
Scaling analysis and instantons for thermally-assisted tunneling and Quantum Monte Carlo simulations
我们发展了一种瞬子演算方法，导出了全连通量子自旋模型中亚稳态的热助隧穿衰变率的解析表达式。隧穿衰变问题可以映射为经典随机动力场的Kramers逃逸问题。利用路径积分量子蒙特卡罗（QMC）方法有效地模拟了该动力学场。我们分析表明，指数标度的自旋数的热辅助量子隧穿率和逃逸率的QMC过程是相同的。我们将这种效应与瞬子隧穿通道的存在联系起来，瞬子的隧穿通道由单格点磁化矢量的非线性动力学平均场论方程描述，并精确求解。最后，我们推导出“尖刺”的障碍形状时，自旋隧道和QMC率的规模与自旋$N$的数量多项式，而一个纯粹的经典的过势垒激活率的规模指数与$N$的标度关系。
2017-02-18 quant-ph
Open Quantum Random Walks, Quantum Markov Chains and Recurrence
本文构造了与开放量子随机游动相关的QMC，使得链的转移算子由OQRW定义，QMC对交换子代数的限制与OQRW的分布$P_ρ$一致.这为测度$P_ρ$的一些性质提供了新的线索。作为一个例子，我们简单地提到，该测度可以被认为是某些马尔可夫过程的某些函数的分布。此外，我们还研究了QMC和相关测度的一些性质。研究了QMC的一个新概念--$\f$ --常返性，并建立了所定义的常返性与已有常返性之间的关系。
2017-09-12 math-ph math.FA math.MP
Quantum quenches with random matrix Hamiltonians and disordered potentials
我们用数值方法研究了量子猝灭引起的孤立量子系统本征态占据的统计系综。所研究的系统是稀疏随机矩阵哈密顿和无序晶格。在前一种情况下，猝灭包括突然打开的非对角元素的哈密顿量。在后一种情况下，它是相邻晶格位置之间跳跃的突然开启。猝灭诱导的合奏相比，与所谓的“量子微正则”（QMC）合奏描述量子叠加与固定的能量期望值。我们的主要发现是，量子猝灭与稀疏随机矩阵有一个特殊的对角元素导致的凝聚现象预测的QMC系综。远离QMC凝聚制度，与QMC预测的整体协议是只有定性的随机矩阵和无序晶格，但在某些情况下，一个非常好的定量协议。在无序晶格的情况下，QMC系综可以用来估计在定域或离域本征态中找到粒子的概率。
2012-09-13 cond-mat.dis-nn cond-mat.stat-mech quant-ph
Heisenberg Scaling Quantum Microscopy: Experiment and Theory
本文提出平衡光程的符合量子显微镜（QMC），实现海森堡极限下2倍超分辨、抗杂散光155倍，显著提升速度与对比度噪声比，推动癌细胞非破坏性生物成像。
2025-07-10 physics.optics quant-ph
Improved approximation ratios for the Quantum Max-Cut problem on general, triangle-free and bipartite graphs
针对量子最大割（QMC）问题，通过改进一般图现有算法的分析将其近似比从0.599提升至0.603，并为无三角形图和二部图提出新算法，分别实现0.61383和0.8162的近似比。
2025-04-15 math.OC quant-ph
Quantum Max d-Cut via qudit swap operators
University of Ljubljana（卢布尔雅那大学）；FAMNIT, University of Primorska（前波莫瑞学院）；Institute of Mathematics, Physics and Mechanics（数学、物理与力学研究所）；University of Auckland（奥克兰大学）
本文研究基于qudit交换算符的量子Max d-Cut问题，通过非交换多项式优化方法构建半定规划层次求解，推导了完全二分图的精确解，还给出了分离同型分量的低阶关系以适配精细化问题求解。
2026-09-03 math.RA quant-ph
An alternative to the conventional micro-canonical ensemble
量子统计物理学的基本方法是以传统的微正则系综为出发点，导出玻尔兹曼-吉布斯（BG）平衡。然而，它留下了一些概念和实际问题没有回答。在这里，我们讨论这些问题，从而激发了一个自然的替代称为量子微正则（QMC）系综的研究。我们提出了一个详细的数值研究的性质的QMC系综有限量子系统揭示了一个很好的协议与现有的分析结果的大量子系统。我们还提出了引入有限尺寸效应的分析修正的方法。经过上述修正后，分析结果与数值结果之间的一致性变得非常精确。QMC系综导致了一种非常规的平衡，这可能是在具有大量能级的小孤立量子系统中在强扰动后实现的。我们证明了能量涨落的方差可以用来区分QMC平衡和BG平衡。我们进一步指出，自然界中普遍存在BG平衡而不是QMC型平衡的原因与量子坍缩的概念有关。
2010-10-22 cond-mat.stat-mech math-ph math.MP
An Optimal Product-State Approximation for 2-Local Quantum Hamiltonians with Positive Terms
Sandia National Laboratories（桑迪亚国家实验室）
本文提出一种经典1/2近似算法，用于解决量子最大割问题，证明其最优性，并引入新的纠缠不等式，扩展至Max 2-Local哈密顿量问题。
2026-03-25 cs.DS quant-ph
Unbiasing Fermionic Quantum Monte Carlo with a Quantum Computer
多电子问题在计算科学中提出了一些最大的挑战，在现代科学的许多领域都有重要的应用。费米量子蒙特卡罗（QMC）方法是解决这些问题的最有效的方法之一。然而，当使用约束控制费米符号问题时，它们可能会严重偏置，这是可扩展性所必需的。在这里，我们提出了一种方法，结合约束QMC与量子计算工具，以减少这种偏见。我们实验性地使用多达16个量子比特来实现我们的方案，以便在具有多达120个轨道的化学系统上进行无偏约束QMC计算。这些实验代表了在量子计算机上进行的最大规模的化学模拟（比以前的电子相关计算的规模增加了一倍多），同时获得了与最先进的经典方法相竞争的准确性。我们的结果表明，混合量子经典算法的一个新的范例，超过流行的变分量子本征求解器的潜在走向的第一个实用的量子优势在基态多电子计算。
2021-07-05 physics.chem-ph quant-ph
Quantum Measurement Cooling
量子测量的侵入性是一个真正的量子力学特征，不一定是有害的：在这里，我们展示了量子测量如何被用来为冷却引擎提供燃料。我们说明了量子测量冷却（QMC）通过一个原型的两冲程两量子位发动机的相互作用与测量装置和两个在不同温度下的热源。我们表明，反馈控制是不必要的操作，而纠缠必须存在于测量投影仪。我们量化的概率，QMC发生时的测量基础是随机选择的，并发现它可以是非常大的提取能量（热机操作）的概率相比，而保持总是小于最无用的操作，即倾倒在两个浴热。这些结果表明，QMC可以非常强大的实验噪声。提出了一种将电路QED技术与电路量子热力学技术相结合的低温固态实现方案。
2019-02-25 cond-mat.stat-mech quant-ph
Phase transitions for Quantum Markov Chains associated with Ising type models on a Cayley tree
本文的主要目的是证明Cayley树上Ising型模型的量子马尔可夫链（QMC）方案中相变的存在性。请注意，这种模型没有一维的类似，即所考虑的模型只在树上持久。在本文中，我们提供了一个更一般的前向QMC的结构。在该构造中，QMC被定义为具有边界条件的有限体积状态的弱极限，即QMC取决于边界条件。我们的主要结果表明，存在一个相变的伊辛模型与竞争相互作用的Cayley树的顺序二。相变是指存在两个不同的QMC，它们不是准等价的，并且它们的支集不重叠。我们还研究了该模型的无序相的一些代数性质，这在经典环境中也是一种新的现象。
2016-05-15 cond-mat.stat-mech math-ph math.FA
Quantum Online Memory Checking
内存检查的问题考虑将文件存储在不可靠的公共服务器上，其内存可能被恶意方修改。主要任务是设计一个在线内存检查器，能够验证服务器上的信息没有被损坏。为了存储n位公共信息，内存校验器有s个私有可靠位用于校验目的;而为了检索每一位公共信息，校验器与公共内存通信t位。早期的研究表明，对于经典的记忆检查器，s*t \in Ω（n）的下限成立。在这篇文章中，我们研究量子内存检查器，有s个私人量子比特，并允许量子查询公共内存使用t个量子比特。我们证明了一个指数级的改进，通过显示量子检查器的存在，使用量子指纹，只需要s \in O（log n）量子位的本地存储器和t \in O（polylog n）量子位的通信与公共存储器。
2010-02-15 cs.CC quant-ph
Shallow Electronic State Preparation for Quantum Chemistry with Quantum Monte Carlo Pre-Selection
Yusuf Hamied Department of Chemistry, University of Cambridge（剑桥大学尤瑟夫·哈米德化学系）
提出一种量子蒙特卡洛预筛选程序，构建紧凑的Givens旋转拟设，在保持数对称性的同时生成比传统方法更浅的量子电路，并在Quantinuum H1上验证其在高噪声下优于复杂拟设。
2026-05-29 physics.chem-ph quant-ph
On Quantum Markov Chains on Cayley tree II: Phase transitions for the associated chain with XY-model on the Cayley tree of order three
本文研究Cayley树上的前向量子马尔可夫链。利用图的树结构，给出了Cayley树上量子马尔可夫链的构造。通过这种构造，我们证明了QMC方案中三阶Cayley树上XY模型的相变的存在性.对于给定的相互作用算符$\{K_{<x,y>}\}$族，我们所说的相变是指存在两个准等价的QMC。
2010-11-10 math-ph math.DS math.FA
Faster Quantum Monte Carlo Simulation by Random Compilation
Pacific Northwest National Laboratory（太平洋西北国家实验室）；Harvard University（哈佛大学）；Massachusetts Institute of Technology（麻省理工学院）；Argonne National Laboratory（阿贡国家实验室）；University of Oxford（牛津大学）
提出随机编译量子蒙特卡洛（RC-QMC）框架，通过对近似族平均抑制系统误差，在热态估计和开放系统动力学模拟中相比标准方法实现计算优势。
2026-09-10 cond-mat.str-el hep-lat quant-ph
Rapidly mixing loop representation quantum Monte Carlo for Heisenberg models on star-like bipartite graphs
针对一般二部图海森堡反铁磁体基态能量高效经典近似的开放问题，提出随机级数展开QMC的基态变体，证明星状二部图场景下马尔可夫链快速混合，为相关计算复杂性研究提供支撑。
2024-11-03 cond-mat.stat-mech cs.CC math-ph
Fully quantum description of the Zundel ion: combining variational quantum Monte Carlo with path integral Langevin dynamics
介绍了一种从第一性原理出发对电子-离子耦合系统进行全量子描述的新方法。它结合了电子部分的变分量子蒙特卡罗（QMC）解和量子核动力学的路径积分（PI）形式。一方面，PI分子动力学包括核量子效应，通过添加一组虚构的经典粒子（珠），旨在通过谐波动力学项再现核量子涨落。另一方面，变分QMC可以提供Born-Oppenheimer（BO）势能面的精度相媲美的最先进的后Hartree-Fock方法，并具有良好的缩放与系统的大小。为了处理QMC的固有噪声，我们根据QMC核力的协方差矩阵，用一个相关的Langevin恒温器对PI分子动力学进行了推广。QMC波函数的变分参数在核动力学过程中演化，使得BO势能面无偏。通过采用珠粒分组平均法，减少了波函数参数的统计误差。我们的一般算法依赖于由离子力驱动的动力学和由谐波interbead耦合的一组之间的特罗特分手。后者是完全集成，即使在朗之万恒温器的存在下，由于映射到一个奥恩斯坦-乌伦贝克过程。这个框架在确定性离子力的情况下也是非常有效的。新的实现验证Zundel离子通过直接比较与标准PI Langevin动力学计算与耦合集群势能面。核量子效应被证实是占主导地位的热效应远远超过室温，使多余的质子增加流动性的量子隧穿。
2018-03-05 cond-mat.mtrl-sci physics.chem-ph quant-ph
Quantum Monte Carlo in the Age of Many-Body Quantum Information
Westlake University（西湖大学）；Westlake Institute for Advanced Study（西湖高等研究院）；Fudan University（复旦大学）；Northeast Normal University（东北师范大学）
本综述总结了量子蒙特卡洛（QMC）方法适配多体量子信息领域的最新进展，以量子比特系统为具体场景，提出了提取非线性诊断量的统一视角，拓展了QMC的应用范围。
2026-08-25 cond-mat.stat-mech cond-mat.str-el quant-ph
QisMC: A Model Checker for QISKIT Program Debugging
Tsinghua University（清华大学）；University of Technology Sydney（悉尼科技大学）
研究人员开发出首个针对Qiskit程序调试的量子模型检查器QisMC，基于量子-经典转换系统与qCTL构建，可实现自动化详尽验证并生成反例，经评估具备实用、高效及可扩展的特性。
2026-08-26 cs.LO quant-ph
Quantum Monte Carlo study of strongly interacting Fermi gases
近年来，量子蒙特卡罗技术为研究零温下强相互作用费米气体提供了一个有价值的工具。我们用QMC方法研究了对应于$Li-K$费米混合物的等质量和不等质量的两组分费米气体在么正态和BCS-BEC交叉态的性质。本文介绍了QMC的几个最新结果，包括零有效程和有限有效程的能量，接触参数和静态结构因子，在低动量下，它们强烈地依赖于幺正费米气体中的声子。
2013-12-05 cond-mat.quant-gas nucl-th quant-ph
Stochastic Series Expansion Quantum Monte Carlo for Rydberg Arrays
本文针对里德堡原子阵列系统，提出一种适用于任意晶格的随机级数展开量子蒙特卡洛算法，通过簇更新实现高效采样与可观测量计算，可复现一、二维大阵列的实验结果。
2023-07-18 cond-mat.quant-gas cond-mat.str-el quant-ph
