中文
相关论文

相关论文: Defect-Tolerant CMOL Cell Assignment via Satisfiab…

200 篇论文

The inevitable existence of static internal imperfections and residual interactions in some quantum computer architectures result in internal decoherence, dissipation, and destructive unitary shifts of active algorithms. By exact numerical…

量子物理 · 物理学 2009-11-13 Murat Cetinbas , Joshua Wilkie

We consider the problem of the variational quantum circuit synthesis into a gate set consisting of the CNOT gate and arbitrary single-qubit (1q) gates with the primary target being the minimization of the CNOT count. First we note that…

量子物理 · 物理学 2023-05-10 Nikita A. Nemkov , Evgeniy O. Kiktenko , Ilia A. Luchnikov , Aleksey K. Fedorov

There are a variety of choices to be made in both computer algebra systems (CASs) and satisfiability modulo theory (SMT) solvers which can impact performance without affecting mathematical correctness. Such choices are candidates for…

符号计算 · 计算机科学 2021-06-17 Dorian Florescu , Matthew England

We examine three possible implementations of non-deterministic linear optical cnot gates with a view to an in-principle demonstration in the near future. To this end we consider demonstrating the gates using currently available sources such…

量子物理 · 物理学 2009-11-10 A. Gilchrist , W. J. Munro , A. G. White

Challenges in the discrete implementation of sliding-mode controllers (SMC) with barrier-function-based adaptations are analyzed, revealing fundamental limitations in conventional design frameworks. It is shown that under uniform sampling,…

系统与控制 · 电气工程与系统科学 2025-02-24 Luis Ovalle , Andrés González , Leonid Fridman , Hernan Haimovich

Given a quantum algorithm, it is highly nontrivial to devise an efficient sequence of physical gates implementing the algorithm on real hardware and incorporating topological quantum error correction. In this paper, we present a first step…

量子物理 · 物理学 2016-08-10 Alexandru Paler , Simon J. Devitt , Austin G. Fowler

Assembling future large-scale quantum computers out of smaller, specialized modules promises to simplify a number of formidable science and engineering challenges. One of the primary challenges in developing a modular architecture is in…

Fault-tolerant complexes describe surface-code fault-tolerant protocols from a single geometric object. We first introduce fusion complexes that define a general family of fusion-based quantum computing (FBQC) fault-tolerant quantum…

For the study of complex synthetic and biological molecular systems by computer simulations one is still restricted to simple model systems or to by far too small time scales. To overcome this problem multiscale techniques are being…

统计力学 · 物理学 2007-05-23 Matej Praprotnik , Kurt Kremer , Luigi Delle Site

Circuit Satisfiability (CSAT) plays a pivotal role in Electronic Design Automation. The standard workflow for solving CSAT problems converts circuits into Conjunctive Normal Form (CNF) and employs generic SAT solvers powered by…

人工智能 · 计算机科学 2025-08-07 Jiaying Zhu , Ziyang Zheng , Zhengyuan Shi , Yalun Cai , Qiang Xu

The physical limitations of CMOS technology triggered several research for finding an alternative technology. QCA is one of the emerging nanotechnologies which is gaining attention as a substitute of CMOS. The main potential of QCA is its…

新兴技术 · 计算机科学 2017-05-12 Mahabub Hasan Mahalat , Mrinal Goswami , Anindan Mondal , Bibhash Sen

Due to its excellent performance in rate and resolution, fully-digital (FD) massive multiple-input multiple-output (MIMO) antenna arrays has been widely applied in data transmission and direction of arrival (DOA) measurements, etc. But it…

信号处理 · 电气工程与系统科学 2024-06-13 Jiatong Bai , Feng Shu , Qinghe Zheng , Bo Xu , Baihua Shi , Yiwen Chen , Weibin Zhang , Xianpeng Wang

Recent discoveries in asymptotically good quantum codes have intensified research on their application in quantum computation and fault-tolerant operations. This study focuses on the addressability problem within CSS codes: what circuits…

量子物理 · 物理学 2025-02-26 Jérôme Guyot , Samuel Jaques

In this paper, we explore multilevel circuit optimization (MLCO), where we deploy multiple gate sets and progressively lower the source circuit through the gate sets to the target circuit. At each level, we first perform an appropriate set…

量子物理 · 物理学 2025-05-19 Tamiya Onodera , Yuki Sato , Toshinari Itoko , Naoki Yamamoto

Physical implementation of scalable quantum architectures faces an immense challenge in form of fragile quantum states. To overcome it, quantum architectures with fault tolerance is desirable. This is achieved currently by using surface…

新兴技术 · 计算机科学 2019-12-25 Laxmidhar Biswal , Debjyoti Bhattacharjee , Anupam Chattopadhyay , Hafizur Rahaman

Modular trapped-ion quantum computing hardware, known as QCCDs require shuttling operations in order to maintain effective all-to-all connectivity. Each module or trap can perform only one operation at a time, resulting in low intra-trap…

量子物理 · 物理学 2025-11-21 Sahil Khan , Abhinav Anand , Kenneth R. Brown , Jonathan M. Baker

Fault-tolerant quantum computation using two-dimensional topological quantum error correcting codes can benefit from multi-qubit long-range operations. By using simple commutation rules, a quantum circuit can be transpiled into a sequence…

In stochastic circuits, major sources of error are correlation errors, soft errors and random fluctuation errors that affect the accuracy and reliability of the circuit. The soft error has the effect of changing the correlation status and…

新兴技术 · 计算机科学 2021-07-30 Shyamali Mitra , Sayantan Banerjee , Mrinal Kanti Naskar

We show how to perform scalable fault-tolerant non-Clifford gates in two dimensions by introducing domain walls between the surface code and a non-Abelian topological code whose codespace is stabilized by Clifford operators. We formulate a…

Circuit design based on Quantum-dots Cellular Automata technology offers power-efficiency and nano-size circuits. It is an attractive alternative to CMOS technology. The XOR gate is a widely used building element in arithmetic circuits. An…

新兴技术 · 计算机科学 2024-12-30 Behrouz Safaiezadeh , Majid Haghparast , Lauri Kettunen