Israel F. Araujo

dblp:271/8201 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
6since 2021 · last 2025
0000-0002-0308-8701ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 3 · 1 first-author · 3 since 2021Artificial intelligence and machine learning · 2 · 2 since 2021Theory of computation · 1 · 1 since 2021
YearPublicationVenuePosition
2025 Linear Decomposition of Approximate Multicontrolled Single Qubit Gates
abstract
We provide a method for compiling approximate multicontrolled single qubit gates into quantum circuits. Without ancilla qubits, the total number of elementary gates to decompose an n-qubit multicontrolled gate is proportional to 32n elementary operations. The proposed decomposition depends on an optimization technique that minimizes the CNOT gate count for multitarget and multicontrolled CNOT and SU(2) gates. We also provide an approximate decomposition with ancilla qubits with lower-circuit complexity. Computational experiments show the reduction of CNOT gates when multicontrolled U(2) gates are applied. As multicontrolled single-qubit gates serve as fundamental components of quantum algorithms, the proposed decomposition offers a comprehensive solution that can significantly decrease the count of elementary operations employed in quantum computing applications.
Jefferson D. S. Silva, Thiago Melo D. Azevedo, Israel F. Araujo, Adenilton J. da Silva
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
2025 Quantum Multiplexer Simplification for State Preparation
abstract
The initialization of quantum states or Quantum State Preparation (QSP) is a basic subroutine in quantum algorithms. In the worst case, general QSP algorithms are expensive due to the application of multi-controlled gates required to build the quantum state. Here, we propose an algorithm that detects whether a given quantum state can be factored into substates, increasing the efficiency of compiling the QSP circuit when we initialize states with some level of unentanglement. The simplification is done by eliminating controls of quantum multiplexers, significantly reducing circuit depth and the number of CNOT gates with a better execution and compilation time than the previous QSP algorithms. Considering efficiency in terms of depth and number of CNOT gates, our method is competitive with the methods in the literature. However, when it comes to run-time and compilation efficiency, our result is significantly better, and the experiments show that by increasing the number of qubits, the gap between the temporal efficiency of the methods increases.
José A. de Carvalho, Carlos A. Batista, Tiago M. L. de Veras, Israel F. Araujo, Adenilton J. da Silva
ACM Trans. Quantum Comput.4
2024 Training and meta-training an ensemble of binary neural networks with quantum computing
Daivid Leal, Israel F. Araujo, Adenilton J. da Silva
Neurocomputing2
2024 Quantum variational distance-based centroid classifier
Nicolas M. de Oliveira, Daniel K. Park, Israel F. Araujo, Adenilton J. da Silva
Neurocomputing3
2024 Low-Rank Quantum State Preparation
abstract
Ubiquitous in quantum computing is the step to encode data into a quantum state. This process is called quantum state preparation, and its complexity for nonstructured data is exponential on the number of qubits. Several works address this problem, for instance, by using variational methods that train a fixed depth circuit with manageable complexity. These methods have their limitations, as the lack of a back-propagation technique and barren plateaus. This work proposes an algorithm to reduce state preparation circuit depth by offloading computational complexity to a classical computer. The initialized quantum state can be exact or an approximation, and we show that the approximation is better on today’s quantum processors than the initialization of the original state. Experimental evaluation demonstrates that the proposed method enables more efficient initialization of probability distributions in a quantum state.
Israel F. Araujo, Carsten Blank, Ismael C. S. Araujo, Adenilton J. da Silva
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2024 Circuit Decomposition of Multicontrolled Special Unitary Single-Qubit Gates
abstract
Multicontrolled unitary gates have been a subject of interest in quantum computing since their conception and are widely used in quantum algorithms. The current state-of-the-art approach to implementing$n$-qubit multicontrolled gates with a single target without relying on auxiliary qubits or approximate results involves the use of a quadratic number of single-qubit and CNOT gates. However, linear solutions are possible for the case where the controlled gate is special unitary, SU(2). The decomposition of an$n$-qubit multicontrolled SU(2) gate requires a circuit with a number of CNOT gates proportional to$28n$. In this work, we present a new decomposition of$n$-qubit multicontrolled SU(2) gates that require a circuit with a number of CNOT gates proportional to$20n$and proportional to$16n$if the SU(2) gate has at least one real-valued diagonal. The proposed algorithms produce the most efficient known circuits and improve the existing algorithm by reducing the number of CNOT gates and the overall circuit depth. As an application, we show the use of this decomposition for sparse quantum state preparation. Our results are further validated by demonstrating a proof of principle on a quantum device accessed through quantum cloud services.
Rafaella F. Vale, Thiago Melo D. Azevedo, Ismael C. S. Araujo, Israel F. Araujo, Adenilton J. da Silva
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.4