English
Related papers

Related papers: Optimal Synthesis of Finite State Machines with Un…

200 papers

Recent research in generalizing quantum computation from 2-valued qudits to d-valued qudits has shown practical advantages for scaling up a quantum computer. A further generalization leads to quantum computing with hybrid qudits where two…

Quantum Physics · Physics 2007-05-23 Faisal Shah Khan , Marek Perkowski

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

Software Testing is a process to identify the quality and reliability of software, which can be achieved through the help of proper test data. However, doing this manually is a difficult task due to the presence of number of predicate nodes…

Software Engineering · Computer Science 2014-01-22 Yeresime Suresh , Santanu Ku. Rath

Reinforcement learning has witnessed recent applications to a variety of tasks in quantum programming. The underlying assumption is that those tasks could be modeled as Markov Decision Processes (MDPs). Here, we investigate the feasibility…

Quantum Physics · Physics 2024-06-06 M. Sohaib Alam , Noah F. Berthusen , Peter P. Orth

The paper discusses various applications of permutation group theory in the synthesis of reversible logic circuits consisting of Toffoli gates with negative control lines. An asymptotically optimal synthesis algorithm for circuits…

Emerging Technologies · Computer Science 2016-07-11 Dmitry V. Zakablukov

We propose two Clifford+$T$ synthesis algorithms that are optimal with respect to $T$-count. The first algorithm, called deterministic synthesis, approximates any single-qubit unitary by a single-qubit Clifford+$T$ circuit with the minimum…

Quantum Physics · Physics 2025-10-09 Hayata Morisaki , Kaoru Sano , Seiseki Akibue

Using error correcting codes and fault tolerant techniques, it is possible, at least in theory, to produce logical qubits with significantly lower error rates than the underlying physical qubits. Suppose, however, that the gates that act on…

Quantum Physics · Physics 2016-12-06 M. B. Hastings

In this work, we consider the problem of ultrafast controlled generation of single-qubit phase shift quantum gates. Globally optimal control is a control which realizes the gate with maximal possible fidelity. Trap is a control which is…

Quantum Physics · Physics 2021-05-05 Boris O. Volkov , Oleg V. Morzhin , Alexander N. Pechen

We introduce the method of using an annealing genetic algorithm to the numerically complex problem of looking for quantum logic gates which simultaneously have highest fidelity and highest success probability. We first use the linear…

Quantum Physics · Physics 2007-09-05 Zhanghan Wu , Sean D. Huver , Dmitry Uskov , Hwang Lee , Jonathan P. Dowling

Universal fault-tolerant quantum computers will require error-free execution of long sequences of quantum gate operations, which is expected to involve millions of physical qubits. Before the full power of such machines will be available,…

Quantum computing is a new way of data processing based on the concept of quantum mechanics. Quantum circuit design is a process of converting a quantum gate to a series of basic gates and is divided into two general categories based on the…

Emerging Technologies · Computer Science 2017-03-16 Moein Sarvaghad-Moghaddam

Genetic Algorithms (GA) are a class of metaheuristic global optimization methods inspired by the process of natural selection among individuals in a population. Despite their widespread use, a comprehensive theoretical analysis of these…

Optimization and Control · Mathematics 2025-02-24 Giacomo Borghi , Lorenzo Pareschi

Program synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually provided as input-output examples. One particular challenge is how to effectively handle loops and recursion…

Neural and Evolutionary Computing · Computer Science 2024-02-28 Matheus Campos Fernandes , Fabricio Olivetti de Franca , Emilio Francesquini

While advances in quantum hardware occur in modest steps, simulators running on classical computers provide a valuable test bed for the construction of quantum algorithms. Given a unitary matrix that performs certain operation, obtaining…

Quantum Physics · Physics 2023-11-07 Fernando T. Miranda , Pedro Paulo Balbi , Pedro C. S. Costa

We employ an evolutionary algorithm to automatically optimize different stages of a cold atom experiment without human intervention. This approach closes the loop between computer based experimental control systems and automatic real time…

We introduce a novel algorithm for the task of coherently controlling a quantum mechanical system to implement any chosen unitary dynamics. It performs faster than existing state of the art methods by one to three orders of magnitude…

Quantum Physics · Physics 2015-06-04 Pierre de Fouquieres

Reversible computation is an emerging technology that has gained significant attention due to its critical role in quantum circuit synthesis and low-power design. This paper introduces a transformation-based method for exact synthesis of…

Quantum Physics · Physics 2025-04-28 Moein Sarvaghad-Moghaddam , Morteza Saheb Zamani , Mehdi Sedighi

The power system of the future will be governed by complex interactions and non-linear phenomena at small time-scales, that should be studied more and more through computationally expensive software simulations. To solve the abovementioned…

Systems and Control · Electrical Eng. & Systems 2025-02-26 Marius Kuhn , Evelyn Heylen , Willem Leterme

Evolvable hardware (EHW) is a set of techniques that are based on the idea of combining reconfiguration hardware systems with evolutionary algorithms. In other word, EHW has two sections; the reconfigurable hardware and evolutionary…

Neural and Evolutionary Computing · Computer Science 2011-10-06 Parisa Soleimani , Reza Sabbaghi-Nadooshan , Sattar Mirzakuchaki , Mahdi Bagheri

We propose a general method for preparing stabilizer states with reduced two-qubit gate count and depth compared to the state of the art. The method starts from a graph state representation of the stabilizer state and iteratively reduces…