SearcharxivSearch

arXiv subjects

Ernesto Acosta

Publications and source records attributed to Ernesto Acosta.

3 recordsLinked to original sources

QUBO-based training for VQAs on Quantum Annealers

Quantum annealers provide an effective framework for solving large-scale combinatorial optimization problems. This work presents a novel methodology for training Variational Quantum Algorithms (VQAs) by reformulating the parameter optimization task as a Quadratic Unconstrained Binary Optimization (QUBO) problem. Unlike traditional gradient-based methods, our approach directly leverages the Hamiltonian of the chosen VQA ansatz and employs an adaptive, metaheuristic optimization scheme. This optimization strategy provides a rich set of configurable parameters which enables the adaptation to specific problem characteristics and available computational resources. The proposed framework is generalizable to arbitrary Hamiltonians and integrates a recursive refinement strategy to progressively approximate high-quality solutions. Experimental evaluations demonstrate the feasibility of the method and its ability to significantly reduce computational overhead compared to classical and evolutionary optimizers, while achieving comparable or superior solution quality. These findings suggest that quantum annealers can serve as a scalable alternative to classical optimizers for VQA training, particularly in scenarios affected by barren plateaus and noisy gradient estimates, and open new possibilities for hybrid quantum gate - quantum annealing - classical optimization models in near-term quantum computing.

quant-ph

Adiabatic training for Variational Quantum Algorithms

This paper presents a new hybrid Quantum Machine Learning (QML) model composed of three elements: a classical computer in charge of the data preparation and interpretation; a Gate-based Quantum Computer running the Variational Quantum Algorithm (VQA) representing the Quantum Neural Network (QNN); and an adiabatic Quantum Computer where the optimization function is executed to find the best parameters for the VQA. As of the moment of this writing, the majority of QNNs are being trained using gradient-based classical optimizers having to deal with the barren-plateau effect. Some gradient-free classical approaches such as Evolutionary Algorithms have also been proposed to overcome this effect. To the knowledge of the authors, adiabatic quantum models have not been used to train VQAs. The paper compares the results of gradient-based classical algorithms against adiabatic optimizers showing the feasibility of integration for gate-based and adiabatic quantum computing models, opening the door to modern hybrid QML approaches for High Performance Computing.

quant-ph

Calculational HoTT

We found in Homotopy Type Theory (HoTT), a way of representing a first order version of intuitionistic logic (ICL), for intuitionistic calculational logic) where, instead of deduction trees, corresponding linear calculational formats are used as formal proof-tools; and besides this, equality and logical equivalence have preeminence over implication. ICL formalisms had been previously adapted by one of the authors to intuitionistic logic from the classical version of the calculational logic proposed by Dijkstra and Scholten. We formally defined \textit{deductive chains} in HoTT as a representation of the linear formats of ICL. Furthermore, we proved using these deductive chains, that the equational axioms and rules of ICL have counterparts in HoTT. In doing so, we realized that all the induction operators of the basic types in HoTT are actually, homotopic equivalences, fact that we proved in this paper. Additionally, we propose an informal method to find canonical functions between types. We think that these results could lead to a complete restatement of HoTT where equality and homotopic equivalence play a preeminent role. With this approach, and by way of calculational methods, effective and elegant formal proofs in HoTT are possible through the proposed formal deductive chains by way of appropriate formats and notations.

math.LO