Boolean satisfiability in quantum compilation.

Philos Trans A Math Phys Eng Sci

EPFL, Lausanne, Switzerland.

Published: February 2020

Quantum compilation is the task of translating a quantum algorithm implemented in a high-level quantum programming language into a technology-dependent instructions flow for a physical quantum computer. To tackle the large gap between the quantum program and the low-level instructions, quantum compilation is split into a multi-stage flow consisting of several layers of abstraction. Several different individual tasks have been proposed for the layers in the flow, many of them are NP-hard. In this article, we will describe the flow and we will propose algorithms based on Boolean satisfiability, which is a good match to tackle such computationally complex problems. This article is part of the theme issue 'Harmonizing energy-autonomous computing and intelligence'.

Download full-text PDF

Source
http://dx.doi.org/10.1098/rsta.2019.0161DOI Listing

Publication Analysis

Top Keywords

quantum compilation
12
boolean satisfiability
8
quantum
7
satisfiability quantum
4
compilation quantum
4
compilation task
4
task translating
4
translating quantum
4
quantum algorithm
4
algorithm implemented
4

Similar Publications

Computational Methods for Predicting Chemical Reactivity of Covalent Compounds.

J Chem Inf Model

January 2025

Department of Medicinal Chemistry, School of Pharmacy, Fudan University, 826 Zhangheng Road, Shanghai 201203, People's Republic of China.

In recent decades, covalent inhibitors have emerged as a promising strategy for therapeutic development, leveraging their unique mechanism of forming covalent bonds with target proteins. This approach offers advantages such as prolonged drug efficacy, precise targeting, and the potential to overcome resistance. However, the inherent reactivity of covalent compounds presents significant challenges, leading to off-target effects and toxicities.

View Article and Find Full Text PDF

Highly entangled quantum states are an ingredient in numerous applications in quantum computing. However, preparing these highly entangled quantum states on currently available quantum computers at high fidelity is limited by ubiquitous errors. Besides improving the underlying technology of a quantum computer, the scale and fidelity of these entangled states in near-term quantum computers can be improved by specialized compilation methods.

View Article and Find Full Text PDF

Exploring the role of carbon quantum dots as countermeasure for SARS-CoV-2 virus.

Virology

December 2024

Centre for Pre-clinical Studies (CPS), CSIR-North East Institute of Science and Technology (NEIST), Jorhat, Assam, 785006, India; AcSIR-Academy of Scientific and Innovative Research, Ghaziabad, Uttar Pradesh, 201002, India. Electronic address:

The world witnessed disturbingly rapid unfolding of COVID-19 pandemic with emergence of SARS-CoV-2 virus resulting in severe morbidity and mortality and it still persists through incessant transmission across the globe even after years. Since the last decade, carbon quantum dots (CQDs) have gained much attention due to their favourable aqueous solubility, nano size (<10 nm), inherent fluorescence, biocompatibility, and environment friendliness. In the wider search for effective strategies for treatment, prevention, and diagnosis of SARS-CoV-2 virus, nanotechnology-based formulation using CQDs have emerged as an interesting option.

View Article and Find Full Text PDF
Article Synopsis
  • Research on 2D materials like bismuth oxyselenide (BiOSe) has increased due to its impressive properties such as high carrier mobility, air stability, and tunable band gap, making it suitable for advanced electronic and optoelectronic devices.
  • The review covers BiOSe's crystal structure, methods to modify its physical properties, and synthesizing high-quality 2D BiOSe, while also exploring its applications in field-effect transistors, photodetectors, and neuromorphic computing.
  • The potential of combining BiOSe with other materials to create heterostructures is highlighted, along with discussions on its future development and the challenges that need to be overcome for commercial use.
View Article and Find Full Text PDF

The chirality-induced spin selectivity (CISS) effect has garnered significant interest in the field of molecular spintronics due to its potential to create spin-polarized electrons without the need for a magnet. Recent studies devoted to CISS effects in various chiral materials demonstrate exciting prospects for spintronics, chiral recognition, and quantum information applications. Several experimental studies have confirmed the applicability of chiral molecules in spin-filtering properties, influencing spin-polarized electron transport and photoemission.

View Article and Find Full Text PDF

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!