Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

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

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Emerging computing paradigms · 100%
Theoretical computer science
1 paper
Quantum computing and quantum information · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Emerging computing paradigms
quantum computer architecture
1.622025
Linear Decomposition of Approximate Multicontrolled Single Qubit Gates · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2025
Low-Rank Quantum State Preparation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Emerging computing paradigms › quantum computer architecture
quantum compilation
0.912025
Linear Decomposition of Approximate Multicontrolled Single Qubit Gates · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2025
Emerging computing paradigms › quantum computer architecture › quantum circuit synthesis
quantum state preparation
0.812024
Low-Rank Quantum State Preparation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Quantum computing and quantum information
quantum circuit synthesis
0.812024
Circuit Decomposition of Multicontrolled Special Unitary Single-Qubit Gates · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Quantum computing and quantum information › quantum computing
quantum state preparation
0.812024
Circuit Decomposition of Multicontrolled Special Unitary Single-Qubit Gates · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Emerging computing paradigms › quantum computer architecture › quantum circuit optimization
quantum gate optimization
0.312025
Linear Decomposition of Approximate Multicontrolled Single Qubit Gates · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2025
Emerging computing paradigms › quantum computing
variational quantum algorithm
0.212024
Low-Rank Quantum State Preparation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024

Methods — techniques the papers use, named apart from their topics

optimization · 0.9linear decomposition · 0.9low-rank approximation · 0.8classical offloading of computational complexity · 0.8SU(2) gate decomposition · 0.8CNOT gate decomposition · 0.8
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