English
Related papers

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

200 papers

A challenge for scalability of demand-responsive, elastic optical Dense Wavelength Division Multiplexing (DWDM) and Flexgrid networks is the computational complexity of allocating many optical routes on large networks. We demonstrate that…

Networking and Internet Architecture · Computer Science 2024-02-13 Ethan Davies , Darren Banfield , Vlad Carare , Ben Weaver , Catherine White , Nigel Walker

A state $\rho=(\rho_n)_{n=1}^{\infty}$ is a sequence such that $\rho_n$ is a density matrix on $n$ qubits. It formalizes the notion of an infinite sequence of qubits. The von Neumann entropy $H(d)$ of a density matrix $d$ is the Shannon…

Quantum Physics · Physics 2025-04-15 Tejas Bhojraj

We study the problem of quantum-state tomography under the assumption that the state of the system is close to pure. In this context, an efficient measurements that one typically formulates uniquely identify a pure state from within the set…

Quantum Physics · Physics 2016-05-11 Amir Kalev , Charles H. Baldwin , Ivan H. Deutsch

The configurational density of states (CDOS) encodes all the relevant thermodynamic information contained in the interaction potentials for statistical mechanical systems. However, its explicit computation is usually a challenge for…

Statistical Mechanics · Physics 2026-04-20 Sergio Davis , Boris Maulén

The Wigner formulation of quantum mechanics is used to derive a new path integral representation of quantum density of states. A path integral Monte Carlo approach is developed for the numerical investigation of density of states, internal…

Computational Physics · Physics 2023-09-12 V. Filinov , P. Levashov , A. Larkin

We propose an approach for decomposing Boolean satisfiability problems while extending recent results of \cite{sul2} on solving Boolean systems of equations. Developments in \cite{sul2} were aimed at the expansion of functions $f$ in…

Data Structures and Algorithms · Computer Science 2014-12-09 Madhav Desai , Virendra Sule

Density functional theory (DFT) has transformed our ability to investigate and understand electronic ground states. In its original formulation, however, DFT is not suited to addressing (e.g.) degenerate ground states, mixed states with…

Chemical Physics · Physics 2025-10-30 Tim Gould , Leeor Kronik , Stefano Pittalis

In this paper, we present a novel algorithm to solve the Boolean Satisfiability (SAT) problem, using noise-based logic (NBL). Contrary to what the name may suggest, NBL is not a random/fuzzy logic system. In fact, it is a completely…

Computational Complexity · Computer Science 2011-10-05 Pey-Chang Kent Lin , Ayan Mandal , Sunil P Khatri

Impressive progress has been made in the past decade in the study of technological applications of varied types of quantum systems. With industry giants like IBM laying down their roadmap for scalable quantum devices with more than…

Quantum Physics · Physics 2021-09-15 Rishabh Gupta , Sabre Kais , Raphael D. Levine

The problem of of how many entangled or, respectively, separable states there are in the set of all quantum states is investigated. We study to what extent the choice of a measure in the space of density matrices describing N--dimensional…

Quantum Physics · Physics 2009-10-31 Karol Zyczkowski

We consider realistic measurement systems, where measurements are accompanied by decoherence processes. The aim of this work is the construction of methods and algorithms for precise quantum measurements with fidelity close to the…

Quantum Physics · Physics 2017-01-10 Yu. I. Bogdanov , B. I. Bantysh , N. A. Bogdanova , A. B. Kvasnyy , V. F. Lukichev

We address the problem of detecting and mitigating the effect of malicious attacks to the sensors of a linear dynamical system. We develop a novel, efficient algorithm that uses a Satisfiability-Modulo-Theory approach to isolate the…

An asymptotic entanglement measure for any bipartite states is derived in the light of the dense coding capacity optimized with respect to local quantum operations and classical communications. General properties and some examples with…

Quantum Physics · Physics 2015-06-26 Tohya Hiroshima

Classical computation of electronic properties in large-scale materials remains challenging. Quantum computation has the potential to offer advantages in memory footprint and computational scaling. However, general and practical quantum…

Computational Physics · Physics 2025-10-14 Yiran Bai , Feng Xiong , Xueheng Kuang

Quantum annealers, such as the device built by D-Wave Systems, Inc., offer a way to compute solutions of NP-hard problems that can be expressed in Ising or QUBO (quadratic unconstrained binary optimization) form. Although such solutions are…

Quantum Physics · Physics 2022-10-27 Aaron Barbosa , Elijah Pelofske , Georg Hahn , Hristo N. Djidjev

We investigate the feasibility of early fault-tolerant quantum algorithms focusing on ground-state energy estimation problems. In particular, we examine the computation of the cumulative distribution function (CDF) of the spectral measure…

Variational quantum algorithms are the centerpiece of modern quantum programming. These algorithms involve training parameterized quantum circuits using a classical co-processor, an approach adapted partly from classical machine learning.…

Quantum Physics · Physics 2022-11-09 V. Akshay , H. Philathong , E. Campos , D. Rabinovich , I. Zacharov , Xiao-Ming Zhang , J. Biamonte

We give the first efficient algorithm to approximately count the number of solutions in the random $k$-SAT model when the density of the formula scales exponentially with $k$. The best previous counting algorithm for the permissive version…

Data Structures and Algorithms · Computer Science 2021-05-25 Andreas Galanis , Leslie Ann Goldberg , Heng Guo , Kuan Yang

We perform statistically rigorous uncertainty quantification (UQ) for chiral effective field theory ($\chi$EFT) applied to infinite nuclear matter up to twice nuclear saturation density. The equation of state (EOS) is based on high-order…

Nuclear Theory · Physics 2021-01-08 C. Drischler , J. A. Melendez , R. J. Furnstahl , D. R. Phillips

We describe a quantum algorithm to estimate the $\alpha$-Renyi entropy of an unknown density matrix $\rho\in\mathcal{C}^{d\times d}$ for $\alpha\neq 1$ by combining the recent technique of quantum singular value transformations with the…

Quantum Physics · Physics 2021-09-01 Sathyawageeswar Subramanian , Min-Hsiu Hsieh
‹ Prev 1 8 9 10 Next ›