English
Related papers

Related papers: Quantum Weighted Model Counting

200 papers

This paper presents a quantum algorithm for efficiently computing partial sums and specific weighted partial sums of quantum state amplitudes. Computation of partial sums has important applications, including numerical integration,…

Quantum Physics · Physics 2025-07-15 Alok Shukla , Prakash Vedula

Weighted model counting (WMC) consists of computing the weighted sum of all satisfying assignments of a propositional formula. WMC is well-known to be #P-hard for exact solving, but admits a fully polynomial randomized approximation scheme…

Artificial Intelligence · Computer Science 2020-07-14 Ralph Abboud , İsmail İlkan Ceylan , Radoslav Dimitrov

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 consider the problem of estimating the expected outcomes of Monte Carlo processes whose outputs are described by multidimensional random variables. We tightly characterize the quantum query complexity of this problem for various choices…

Quantum Physics · Physics 2021-07-09 Arjan Cornelissen , Sofiene Jerbi

In image processing tasks, spatial priors are essential for robust computations, regularization, algorithmic design and Bayesian inference. In this paper, we introduce weighted mean curvature (WMC) as a novel image prior and present an…

Computer Vision and Pattern Recognition · Computer Science 2020-07-23 Yuanhao Gong , Orcun Goksel

In this paper we study the complexity of quantum query algorithms computing the value of Boolean function and its relation to the degree of algebraic polynomial representing this function. We pay special attention to Boolean functions with…

Quantum Physics · Physics 2012-03-24 Alina Dubrovska Vasilieva , Taisija Mischenko-Slatenkova

The FO Model Counting problem (FOMC) is the following: given a sentence $\Phi$ in FO and a number $n$, compute the number of models of $\Phi$ over a domain of size $n$; the Weighted variant (WFOMC) generalizes the problem by associating a…

Databases · Computer Science 2015-06-02 Paul Beame , Guy Van den Broeck , Eric Gribkoff , Dan Suciu

Ensemble methods in machine learning aim to improve prediction accuracy by combining multiple models. This is achieved by ensuring diversity among predictors to capture different data aspects. Homogeneous ensembles use identical models,…

Quantum Physics · Physics 2025-11-04 Emiliano Tolotti , Enrico Blanzieri , Davide Pastorello

Computational methods both open the frontiers of economic analysis and serve as a bottleneck in what can be achieved. We are the first to study whether Quantum Monte Carlo (QMC) algorithm can improve the runtime of economic applications and…

Quantum Physics · Physics 2024-09-24 Vladimir Skavysh , Sofia Priazhkina , Diego Guala , Thomas R. Bromley

We outline an algorithm for the Quantum Counting problem using Adiabatic Quantum Computation (AQC). We show that using local adiabatic evolution, a process in which the adiabatic procedure is performed at a variable rate, the problem is…

Quantum Physics · Physics 2014-06-02 Itay Hen

We initiate the systematic study of experimental quantum physics from the perspective of computational complexity. To this end, we define the framework of quantum algorithmic measurements (QUALMs), a hybrid of black box quantum algorithms…

Quantum Physics · Physics 2022-03-09 Dorit Aharonov , Jordan Cotler , Xiao-Liang Qi

Quantum Hamiltonian Computing is a recent approach that uses quantum systems, in particular a single molecule, to perform computational tasks. Within this approach, we present explicit methods to construct logic gates using two different…

Quantum Physics · Physics 2019-06-18 Omid Faizy Namarvar , Olivier Giraud , Bertrand Georgeot , Christian Joachim

Large language models (LLMs) with hundreds of billions of parameters require powerful server-grade GPUs for inference, limiting their practical deployment. To address this challenge, we introduce the outlier-aware weight quantization (OWQ)…

Computation and Language · Computer Science 2024-01-25 Changhun Lee , Jungyu Jin , Taesu Kim , Hyungjun Kim , Eunhyeok Park

In this paper we present a canonical quantum computing method to estimate the weighted sum w(k)f(k) of the values taken by a discrete function f and real weights w(k). The canonical aspect of the method comes from relying on a single linear…

Quantum Physics · Physics 2022-01-28 Vanio Markov , Charlee Stefanski , Abhijit Rao , Constantin Gonciulea

Quantum computers have a potential for solving quantum chemistry problems with higher accuracy than classical computers. Quantum computing quantum Monte Carlo (QC-QMC) is a QMC with a trial state prepared in quantum circuit, which is…

Quantum Physics · Physics 2024-06-07 Shu Kanno , Hajime Nakamura , Takao Kobayashi , Shigeki Gocho , Miho Hatanaka , Naoki Yamamoto , Qi Gao

The main challenge of quantum computing on its way to scalability is the erroneous behaviour of current devices. Understanding and predicting their impact on computations is essential to counteract these errors with methods such as quantum…

Quantum Physics · Physics 2023-06-16 Tom Weber , Kerstin Borras , Karl Jansen , Dirk Krücker , Matthias Riebisch

Measuring expectation values of observables is an essential ingredient in variational quantum algorithms. A practical obstacle is the necessity of a large number of measurements for statistical convergence to meet requirements of precision,…

Quantum Physics · Physics 2022-09-07 Masaya Kohda , Ryosuke Imai , Keita Kanno , Kosuke Mitarai , Wataru Mizukami , Yuya O. Nakagawa

Understanding how a learned black box works is of crucial interest for the future of Machine Learning. In this paper, we pioneer the question of the global interpretability of learned black box models that assign numerical values to…

Machine Learning · Computer Science 2018-10-16 Stephane Ayache , Remi Eyraud , Noe Goudian

We present quantum algorithms for the estimation of n-time correlation functions, the local and non-local density of states, and dynamical linear response functions. These algorithms are all based on block-encodings - a versatile technique…

Quantum Physics · Physics 2020-08-19 Patrick Rall

Quantum machine learning (QML) is a discipline that seeks to transfer the advantages of quantum computing to data-driven tasks. However, many studies rely on toy datasets or heavy feature reduction, raising concerns about their scalability.…

Quantum Physics · Physics 2025-04-16 Federico Tiblias , Anna Schroeder , Yue Zhang , Mariami Gachechiladze , Iryna Gurevych