activity
20242026
collaborators

7 papers

quant-ph2026

Accelerating State-Vector Quantum Simulation on Integrated GPUs via Cache Locality Optimization: A Cross-Architecture Evaluation

Gabriel Fernandes Thomaz, Jerusa Marchi, Eduarda Rodrigues Monteiro +2

The classical simulation of quantum algorithms is a crucial tool for circuit development, testing, and validation. Although acceleration using GPUs significantly reduces simulation…

cs.ET2026

Second-Order FALQON Parameter Transfer for the Max-Cut Problem on 3-Regular Graphs

Gabriel Fernandes Thomaz, Eduarda Rodrigues Monteiro, Jerusa Marchi +3

The Feedback-based Algorithm for Quantum Optimization (FALQON) offers a deterministic alternative to variational quantum algorithms by bypassing classical optimization loops. Howev…

quant-ph2025

Optimizing Quantum Compilation via High-Level Quantum Instructions

Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni +1

Current quantum programming is dominated by low-level, circuit-centric approaches that limit the potential for compiler optimization. This work presents how a high-level programmin…

quant-ph2025

Full Quantum Stack: Ket Platform

Evandro Rosa, Eduardo Lussi, Jerusa Marchi +1

As quantum computing hardware continues to scale, the need for a robust software infrastructure that bridges the gap between high-level algorithm development and low-level physical…

quant-ph2025

Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs

Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni +1

Similar to classical programming, high-level quantum programming languages generate code that cannot be executed directly by quantum hardware and must be compiled. However, unlike…

quant-ph2025

Optimizing Gate Decomposition for High-Level Quantum Programming

Evandro C. R. Rosa, Eduardo I. Duzzioni, Rafael de Santiago

This paper presents novel methods for optimizing multi-controlled quantum gates, which naturally arise in high-level quantum programming. Our primary approach involves rewriting $U…