Validação Entrópica de Processadores Físicos: Uma Abordagem Categórica

Neste trabalho, definimos formalmente a implementa¸c˜ao f´ısica de fun¸c˜oes l´ogicas
abstratas utilizando a Teoria das Categorias. Propomos um crit´erio de fidelidade
universal — aplic´avel a processadores quˆanticos e cl´assicos — fundamentado
em um funcional de Teoria da Informa¸c˜ao (Lagrangiana Entr´opica). Demon-
stramos analiticamente que a minimiza¸c˜ao deste funcional garante a recupera¸c˜ao
do isomorfismo estrutural entre a estat´ıstica experimental e a ´algebra alvo, as-
segurando a execu¸c˜ao fiel da fun¸c˜ao mesmo em hardware ruidoso. Adicional-
mente, estabelecemos uma conex˜ao termodinˆamica entre o crit´erio proposto e
a minimiza¸c˜ao da Energia Livre de Gibbs, e aplicamos este formalismo para
desenvolver um m´etodo de treinamento variacional para Circuitos Quˆanticos
Parametrizados (PQC) via gradiente descendente.”