English
Related papers

Related papers: Partial Quantifier Elimination And Property Genera…

200 papers

A previously developed quantum reduced-order model is revised and applied, together with the domain decomposition, to develop the quantum element method (QEM), a methodology for fast and accurate simulation of quantum eigenvalue problems.…

Computational Physics · Physics 2023-04-18 Ming-C. Cheng

Quantum Computing is believed to be the ultimate solution for quantum chemistry problems. Before the advent of large-scale, fully fault-tolerant quantum computers, the variational quantum eigensolver~(VQE) is a promising heuristic quantum…

Quantum Physics · Physics 2023-12-06 Chu Guo , Yi Fan , Zhiqian Xu , Honghui Shang

We present a novel quantum algorithm for approximating the ground-state in quantum many-body systems, particularly suited for Noisy Intermediate-Scale Quantum (NISQ) devices. Our approach integrates Variational Quantum Eigensolvers (VQE)…

Quantum Physics · Physics 2024-03-18 Yihao Liu , Min-Quan He , Z. D. Wang

The Variational Quantum Eigensolver (VQE) is a hybrid quantum-classical algorithm for preparing ground states in the current era of noisy devices. The classical component of the algorithm requires a large number of measurements on…

Quantum Physics · Physics 2025-03-27 Akib Karim , Shaobo Zhang , Muhammad Usman

Current gate-based quantum computers have the potential to provide a computational advantage if algorithms use quantum hardware efficiently. To make combinatorial optimization more efficient, we introduce the Filtering Variational Quantum…

Variational quantum eigensolver(VQE) typically minimizes energy with hybrid quantum-classical optimization, which aims to find the ground state. Here, we propose a VQE by minimizing energy variance, which is called as variance-VQE(VVQE).…

Quantum Physics · Physics 2020-06-30 Dan-Bo Zhang , Zhan-Hao Yuan , Tao Yin

We present a method for quantum error mitigation on partially error-corrected quantum computers - i.e., computers with some logical qubits and some noisy qubits. Our method is inspired by the error cancellation method and is implemented via…

Quantum Physics · Physics 2025-10-14 Ben DalFavero , Ryan LaRose

We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts, imaginary parts, and conjugates. Technically, we use a…

Symbolic Computation · Computer Science 2026-04-30 Nicolas Faroß , Thomas Sturm

Partial differential equations (PDEs) are fundamental across numerous scientific fields. As these problems scale to high dimensions, classical numerical schemes introduce severe computational bottlenecks, known as the curse of…

Quantum Physics · Physics 2026-04-29 Chih-Kang Huang , Giacomo Antonioli , Frédéric Barbaresco

The variational quantum eigensolver (VQE) is one of the most representative quantum algorithms in the noisy intermediate-size quantum (NISQ) era, and is generally speculated to deliver one of the first quantum advantages for the…

Quantum Physics · Physics 2022-04-13 Shi-Xin Zhang , Zhou-Quan Wan , Chee-Kong Lee , Chang-Yu Hsieh , Shengyu Zhang , Hong Yao

The realization of quantum advantage with noisy-intermediate-scale quantum (NISQ) machines has become one of the major challenges in computational sciences. Maintaining coherence of a physical system with more than ten qubits is a critical…

Quantum computing is an information processing paradigm that uses quantum-mechanical properties to speedup computationally hard problems. Although promising, existing gate-based quantum computers consist of only a few dozen qubits and are…

Quantum Physics · Physics 2021-08-26 Ramin Ayanzadeh , Poulami Das , Swamit S. Tannu , Moinuddin Qureshi

In this work, we study the projective quantum eigensolver (PQE) approach to optimizing unitary coupled cluster wave functions on quantum hardware, as introduced in arXiv:2102.00345. The projective quantum eigensolver is a hybrid…

Quantum Physics · Physics 2026-01-28 Martin Plazanet , Thomas Ayral

We propose a quantum version of a generative diffusion model. In this algorithm, artificial neural networks are replaced with parameterized quantum circuits, in order to directly generate quantum states. We present both a full quantum and a…

Quantum Physics · Physics 2023-11-28 Andrea Cacioppo , Lorenzo Colantonio , Simone Bordoni , Stefano Giagu

Partial differential equations (PDEs) govern a wide range of physical systems, but solving them efficiently remains a major challenge. The idea of a scientific foundation model (SciFM) is emerging as a promising tool for learning…

Machine Learning · Computer Science 2025-03-26 Amin Totounferoush , Serge Kotchourko , Michael W. Mahoney , Steffen Staab

Quantum error mitigation is expected to play a crucial role in the practical applications of quantum machines for the foreseeable future. Thus it is important to put the numerous quantum error mitigation schemes proposed under a coherent…

Quantum Physics · Physics 2023-09-19 Zhenyu Cai

Generalized quantifiers (e.g., few, most) are used to indicate the proportions predicates are satisfied (for example, some apples are red). One way to interpret quantifier semantics is to explicitly bind these satisfactions with percentage…

Artificial Intelligence · Computer Science 2023-11-09 Yiyuan Li , Rakesh R. Menon , Sayan Ghosh , Shashank Srivastava

Quantum machine learning offers promising advantages for classification tasks, but noise, decoherence, and connectivity constraints in current devices continue to limit the efficient execution of feature map-based circuits. Gate Assessment…

Machine Learning · Computer Science 2026-03-23 F. Rodríguez-Díaz , D. Gutiérrez-Avilés , A. Troncoso , F. Martínez-Álvarez

There is no unique way to encode a quantum algorithm into a quantum circuit. With limited qubit counts, connectivities, and coherence times, circuit optimization is essential to make the best use of near-term quantum devices. We introduce…

The Variational Quantum Eigensolver (VQE) is a fundamental algorithm in quantum computing, yet a coherent geometric characterization of VQE remains missing due to fragmented analyses across fixed-ansatz and adaptive-circuit formulations. In…

Quantum Physics · Physics 2026-05-28 Zhen Qin