English
Related papers

Related papers: Estimating the Density of States of Boolean Satisf…

200 papers

We calculate the density of states of a disordered inhomogeneous d-wave superconductor in a magnetic field. The field-induced vortices are assumed to be pinned at random positions and the effects of the scattering of the quasi-particles off…

Superconductivity · Physics 2007-05-23 J. Lages , P. D. Sacramento , Z. Tesanovic

This paper analyzes to what extent it is possible to efficiently reduce the number of clauses in NP-hard satisfiability problems, without changing the answer. Upper and lower bounds are established using the concept of kernelization.…

Computational Complexity · Computer Science 2019-07-01 Bart M. P. Jansen , Astrid Pieterse

Quantum sensing holds great promise for high-precision magnetic field measurements. However, its performance is significantly limited by noise. The investigation of active quantum error correction to address this noise led to the…

Quantum Physics · Physics 2026-02-17 Oskar Novak , Narayanan Rengaswamy

Conformation generation, also known as molecular unfolding (MU), is a crucial step in structure-based drug design, remaining a challenging combinatorial optimization problem. Quantum annealing (QA) has shown great potential for solving…

We present a hybrid classical-quantum framework based on the Frank-Wolfe algorithm, Q-FW, for solving quadratic, linearly-constrained, binary optimization problems on quantum annealers (QA). The computational premise of quantum computers…

Computer Vision and Pattern Recognition · Computer Science 2022-03-25 Alp Yurtsever , Tolga Birdal , Vladislav Golyanik

A direct and exact method for calculating the density of states for systems with localized potentials is presented. The method is based on explicit inversion of the operator $E-H$. The operator is written in the discrete variable…

Condensed Matter · Physics 2009-10-28 Eli Eisenberg , Asher Baram , Michael Baer

We give an exact solution to the nonlinear optimization problem of approximating a Hermitian matrix by positive semi-definite matrices. Our algorithm was then used to judge whether a quantum state is entangled or not. We show that the exact…

Quantum Physics · Physics 2012-07-13 Xiaofen Huang , Naihuan Jing

We derive a bound on the precision of state estimation for finite dimensional quantum systems and prove its attainability in the generic case where the spectrum is non-degenerate. Our results hold under an assumption called local asymptotic…

Quantum Physics · Physics 2019-05-09 Yuxiang Yang , Giulio Chiribella , Masahito Hayashi

A diagrammatic method is applied to study the effects of commensurability in two-dimensional disordered crystalline metals by using the particle-hole symmetry with respect to the nesting vector P_0={\pm{\pi}/a, {\pi}/a} for a half-filled…

Mesoscale and Nanoscale Physics · Physics 2009-10-31 E. P. Nakhmedov , M. Kumru , R. Oppermann

We introduce a methodology for generating random multi-qubit stabilizer codes based on solving a constraint satisfaction problem (CSP) on random bipartite graphs. This framework allows us to enforce stabilizer commutation, $X/Z$ balancing,…

Quantum Physics · Physics 2023-04-26 Maxime Tremblay , Guillaume Duclos-Cianci , Stefanos Kourtis

In the article, within the framework of the Boolean Satisfiability problem (SAT), the problem of estimating the hardness of specific Boolean formulas w.r.t. a specific complete SAT solving algorithm is considered. Based on the well-known…

Artificial Intelligence · Computer Science 2023-12-19 Daniil Chivilikhin , Artem Pavlenko , Alexander Semenov

The normalization of scattering states is more than a rote step necessary to calculate expectation values. This normalization actually contains important information regarding the density of the scattering spectrum (along with useful…

Quantum Physics · Physics 2025-05-27 Chris L. Lin

The quantum dense output problem is the process of evaluating time-accumulated observables from time-dependent quantum dynamics using quantum computers. This problem arises frequently in applications such as quantum control and…

Quantum Physics · Physics 2024-06-21 Jin-Peng Liu , Lin Lin

The computation of quantum entanglement can be formulated as a high-dimensional nonconvex optimization problem with orthogonality constraints. In this work, we propose structure-preserving consensus-based optimization (CBO) methods for…

Quantum Physics · Physics 2026-05-12 Michael Herty , Yijia Tang , Yizhou Zhou

In this paper we detail a classical algorithmic approach to the k-satisfiability (k-SAT) problem that is inspired by the quantum amplitude amplification algorithm. This work falls under the emerging field of quantum-inspired classical…

Quantum Physics · Physics 2021-09-22 S. Andrew Lanham , Brian R. La Cour

Superdense Coding is a cornerstone in secure quantum communication, exploiting pre-shared entanglement to encode two classical bits within a single qubit. However, noise and decoherence deteriorate entanglement quality, restricting both…

Quantum Physics · Physics 2025-04-18 Syed Emad Uddin Shubha , Tasnuva Farheen

Stochastic Unit Commitment (SUC) has been proposed to manage the uncertainties driven by renewable integration, but it leads to significant computational complexity. When accelerated by Benders Decomposition (BD), the master problem becomes…

Quantum Physics · Physics 2026-02-25 Wei Hong , Wangkun Xu , Fei Teng

We provide an efficient method for computing the maximum likelihood mixed quantum state (with density matrix $\rho$) given a set of measurement outcome in a complete orthonormal operator basis subject to Gaussian noise. Our method works by…

Quantum Physics · Physics 2022-04-29 John A. Smolin , Jay M. Gambetta , Graeme Smith

Sampling equilibrium ensembles of dense polymer mixtures is a paradigmatically hard problem in computational physics, even in lattice-based models. Here, we develop a formalism based on interacting binary tensors that allows for tackling…

Soft Condensed Matter · Physics 2021-08-25 Cristian Micheletti , Philipp Hauke , Pietro Faccioli

In this work we investigate the capabilities of a hybrid quantum-classical procedure to explore the solution space using the D-Wave $2000Q^{TM}$ Quantum Annealer device. Here we study the ability of the Quantum hardware to solve the Number…

Quantum Physics · Physics 2020-03-10 Luca Asproni , Davide Caputo , Blanca Silva , Giovanni Fazzi , Marco Magagnini