English
Related papers

Related papers: Heuristics Optimization of Boolean Circuits with a…

200 papers

Randomized benchmarking (RB) is a widely used method for estimating the average fidelity of gates implemented on a quantum computing device. The stochastic error of the average gate fidelity estimated by RB depends on the sampling strategy…

Quantum Physics · Physics 2021-09-17 Toshinari Itoko , Rudy Raymond

An algorithm for the generation of shuttling sequences is necessary for the operation of a linear segmented ion-trap quantum computer. The present work provides an implementation of an algorithm that produces sequences proved to be optimal…

The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of heterogeneous systems in terms of Watts and FLOPS per…

Programming Languages · Computer Science 2017-01-26 Guillermo Vigueras , Manuel Carro , Salvador Tamarit , Julio Mariño

It remains an open question whether the apparent additional power of quantum computation derives inherently from quantum mechanics, or merely from the flexibility obtained by "lifting" Boolean functions to linear operators and evaluating…

Combinatorics · Mathematics 2011-01-04 Jason Morton

Annealing algorithms such as simulated annealing and population annealing are widely used both for sampling the Gibbs distribution and solving optimization problems (i.e. finding ground states). For both statistical mechanics and…

Statistical Mechanics · Physics 2024-05-13 Amin Barzegar , Firas Hamze , Christopher Amey , Jonathan Machta

We present a new heuristic point-to-point routing algorithm based on contraction hierarchies (CH). Given an epsilon >= 0, we can prove that the length of the path computed by our algorithm is at most (1+epsilon) times the length of the…

Data Structures and Algorithms · Computer Science 2010-02-05 Robert Geisberger

Path finding in graphs is one of the most studied classes of problems in computer science. In this context, search algorithms are often extended with heuristics for a more efficient search of target nodes. In this work we combine recent…

Artificial Intelligence · Computer Science 2022-04-20 Danilo Numeroso , Davide Bacciu , Petar Veličković

In this article, I show that a recent family of quantum algorithms, based on the quantum amplitude amplification algorithm, can be used to describe a cognitive heuristic called availability bias. The amplitude amplification algorithm is…

Quantum Physics · Physics 2008-10-07 Riccardo Franco

The quantum approximate optimization algorithm is commonly used to solve combinatorial optimization problems. While unconstrained problems map naturally into the algorithm, incorporating constraints typically requires penalizing constraint…

Quantum Physics · Physics 2025-09-01 Matthew Brunet , Shilpi Shah , Mostafa Atallah , Anthony Wilkie , Rebekah Herrman

Exploring transactions within the Bitcoin blockchain entails examining the transfer of bitcoins among several hundred million entities. However, it is often impractical and resource-consuming to study such a vast number of entities.…

General Finance · Quantitative Finance 2024-03-04 Hugo Schnoering , Pierre Porthaux , Michalis Vazirgiannis

We solve robot trajectory planning problems at industry-relevant scales. Our end-to-end solution integrates highly versatile random-key algorithms with model stacking and ensemble techniques, as well as path relinking for solution…

We provide a simple framework for the synthesis of quantum circuits based on a numerical optimization algorithm. This algorithm is used in the context of the trapped-ions technology. We derive theoretical lower bounds for the number of…

Emerging Technologies · Computer Science 2020-04-17 Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche

We present a constructive method to create quantum circuits that implement oracles $|x\rangle|y\rangle|0\rangle^k \mapsto |x\rangle|y \oplus f(x)\rangle|0\rangle^k$ for $n$-variable Boolean functions $f$ with low $T$-count. In our method…

Quantum Physics · Physics 2019-08-06 Giulia Meuli , Mathias Soeken , Earl Campbell , Martin Roetteler , Giovanni De Micheli

A Particle Swarm Optimizer for the search of balanced Boolean functions with good cryptographic properties is proposed in this paper. The algorithm is a modified version of the permutation PSO by Hu, Eberhart and Shi which preserves the…

Neural and Evolutionary Computing · Computer Science 2024-01-10 Luca Mariot , Alberto Leporati , Luca Manzoni

Randomized compilation protocols have recently attracted attention as alternatives to traditional deterministic Trotter-Suzuki methods, potentially reducing circuit depth and resource overhead. These protocols determine gate application…

Quantum Physics · Physics 2025-12-22 Yun-Zhuo Fan , Yu-Xia Wu , Dan-Bo Zhang

Nature-inspired algorithms are among the most powerful algorithms for optimization. In this study, a new nature-inspired metaheuristic optimization algorithm, called bat algorithm (BA), is introduced for solving engineering optimization…

Optimization and Control · Mathematics 2012-11-29 Xin-She Yang , Amir H. Gandomi

We demonstrate a new connection between e-graphs and Boolean circuits. This allows us to adapt existing literature on circuits to easily arrive at an algorithm for optimal e-graph extraction, parameterized by treewidth, which runs in…

Data Structures and Algorithms · Computer Science 2024-11-15 Glenn Sun , Yihong Zhang , Haobin Ni

Experimental demonstrations of quantum annealing with native implementation of Boolean logic Hamiltonians are reported. As a superconducting integrated circuit, a problem Hamiltonian whose set of ground states is consistent with a given…

Hough transform (HT) has been the most common method for circle detection, exhibiting robustness, but adversely demanding considerable computational effort and large memory requirements. Alternative approaches include heuristic methods that…

Computer Vision and Pattern Recognition · Computer Science 2014-06-26 Erik Cuevas , Felipe Sencion-Echauri , Daniel Zaldivar , Marco Perez Cisneros

This article proposes a formalism which unifies Hamiltonian simulation techniques from different fields. This formalism leads to a competitive method to construct the Hamiltonian simulation with a comprehensible, simple-to-implement circuit…

Quantum Physics · Physics 2025-01-22 Robin Ollive , Stephane Louise