English
Related papers

Related papers: Quantum Physics using Weighted Model Counting

200 papers

Quantum Bayesian Computation (QBC) is an emerging field that levers the computational gains available from quantum computers to provide an exponential speed-up in Bayesian computation. Our paper adds to the literature in two ways. First, we…

Machine Learning · Statistics 2023-03-07 Nick Polson , Vadim Sokolov , Jianeng Xu

We have previously presented a version of the Weak Equivalence Principle for a quantum particle as an exact analog of the classical case, based on the Heisenberg picture analysis of free particle motion. Here, we take that to a full…

General Relativity and Quantum Cosmology · Physics 2025-06-17 Otto C. W. Kong

Ab-initio quantum Monte Carlo (QMC) methods are a state-of-the-art computational approach to obtaining highly accurate many-body wave functions. Although QMC methods are widely used in physics and chemistry to compute ground-state energies,…

Chemical Physics · Physics 2022-01-21 Kousuke Nakano , Abhishek Raghav , Sandro Sorella

The VB-QMC method is presented in this chapter. It consists of using in quantum Monte Carlo (QMC) approaches with a wave function expressed as a usually short expansion of classical Valence-Bond (VB) structures supplemented by a Jastrow…

Chemical Physics · Physics 2022-08-01 Slavko Radenković , Dominik Domin , Julien Toulouse , Benoît Braïda

Quantum optimization is the most mature quantum computing technology to date, providing a promising approach towards efficiently solving complex combinatorial problems. Methods such as adiabatic quantum computing (AQC) have been employed in…

The properties which give quantum mechanics its unique character - unitarity, complementarity, non-commutativity, uncertainty, nonlocality - derive from the algebraic structure of Hermitian operators acting on the wavefunction in complex…

Quantum Physics · Physics 2022-09-14 Tim Palmer

Postselection is an operation that allows the selection of specific measurement outcomes. It serves as a powerful theoretical tool for enhancing the performance of existing quantum algorithms. Despite recent developments such as time…

General Physics · Physics 2024-09-09 Alex Linden , Betül Gül

Inspired by the remarkable success of artificial neural networks across a broad spectrum of AI tasks, variational quantum circuits (VQCs) have recently seen an upsurge in quantum machine learning applications. The promising outcomes shown…

Weight quantisation is an essential technique for enabling efficient training and deployment of modern deep learning models. However, the recipe book of quantisation formats is large and formats are often chosen empirically. In this paper,…

Machine Learning · Computer Science 2026-02-16 Douglas Orr , Luka Ribar , Carlo Luschi

The rapid advancements in quantum computing (QC) and machine learning (ML) have sparked significant interest, driving extensive exploration of quantum machine learning (QML) algorithms to address a wide range of complex challenges. The…

Quantum Physics · Physics 2025-05-27 Samuel Yen-Chi Chen , Huan-Hsin Tseng , Hsin-Yi Lin , Shinjae Yoo

Enormous activity in the Quantum Computing area has resulted in considering them to solve different difficult problems, including those of applied nature, together with classical computers. An attempt is made in this work to nail down a…

Large Language Models (LLMs) have achieved remarkable progress on advanced reasoning tasks such as mathematics and coding competitions. Meanwhile, physics, despite being both reasoning-intensive and essential to real-world understanding,…

Computation and Language · Computer Science 2025-10-20 Shenghe Zheng , Qianjia Cheng , Junchi Yao , Mengsong Wu , Haonan He , Ning Ding , Yu Cheng , Shuyue Hu , Lei Bai , Dongzhan Zhou , Ganqu Cui , Peng Ye

Foundation models have achieved remarkable results in medical image analysis. However, its large network architecture and high computational complexity significantly impact inference speed, limiting its application on terminal medical…

Computer Vision and Pattern Recognition · Computer Science 2026-04-10 Yineng Chen , Peng Huang , Aozhong Zhang , Hui Guo , Penghang Yin , Shu Hu , Shao Lin , Xin Li , Tzu-Jen Kao , Balakrishnan Prabhakaran , MingChing Chang , Xin Wang

Near-term quantum processors are limited in terms of the number of qubits and gates they can afford. They nevertheless give unprecedented access to programmable quantum systems that can efficiently, although imperfectly, simulate quantum…

Strongly Correlated Electrons · Physics 2025-11-25 Thomas Ayral

Quantum computing promises significant improvements of computation capabilities in various fields such as machine learning and complex optimization problems. Recent technological advancements suggest that the adiabatic quantum computing…

Quantum Physics · Physics 2021-05-06 Veit Stooß , Martin Ulmke , Felix Govaers

We consider the problem of simultaneous control and parameter estimation when the model is available only as a differentiable physics simulator. We propose a receding-horizon control framework in which a model predictive control (MPC)…

Optimization and Control · Mathematics 2026-04-07 Alan Williams , Alp Sunol

Quantum computing has been increasingly applied in nuclear physics. In this work, we combine quantum computing with the complex scaling method to address the resonance problem. Due to the non-Hermiticity introduced by complex scaling,…

Nuclear Theory · Physics 2024-09-11 Hantao Zhang , Dong Bai , Zhongzhou Ren

The rapid progress in quantum computing (QC) and machine learning (ML) has attracted growing attention, prompting extensive research into quantum machine learning (QML) algorithms to solve diverse and complex problems. Designing…

Quantum Physics · Physics 2025-01-13 Samuel Yen-Chi Chen , Huan-Hsin Tseng , Hsin-Yi Lin , Shinjae Yoo

In this paper we present a new unified theoretical framework that describes the full dynamics of quantum computation. Our formulation allows any questions pertaining to the physical behavior of a quantum computer to be framed, and in…

Quantum Physics · Physics 2007-05-23 Gerald Gilbert , Michael Hamrick , F. Javier Thayer

In this work we present the formal background used to develop the methods used in earlier works to extend the truncated Wigner representation of quantum and atom optics in order to address multi-time problems. The truncated Wigner…

Quantum Physics · Physics 2015-06-16 L I Plimak , M K Olsen