⚛️ quantum physics

qiskit-qudits: A Qiskit Extension for Simulating Qudit Circuits

Este artigo apresenta o **qiskit-qudits**, uma extensão do Qiskit que simula qudits arbitrários de d níveis codificando-os em qubits com preenchimento de identidade para lidar com dimensões que não são potências de dois, oferecendo tanto decomposições de portas padrão quanto síntese de unitárias densas exatas para dimensões até 16, ao mesmo tempo em que valida sua implementação através da verificação numérica da transformada de Fourier quântica e de decomposições de portas.

Autores originais: Francesco Pudda

Publicado 2026-08-25

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Francesco Pudda

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No mundo da computação quântica, o bloco de construção padrão é o qubit, um sistema minúsculo que pode existir em dois estados ao mesmo tempo, frequentemente descritos como zero e um. Mas a natureza não está limitada a apenas duas opções. Muitos sistemas físicos, como certos átomos ou íons, possuem naturalmente três, quatro ou até mais níveis de energia distintos. Os cientistas chamam esses sistemas de múltiplos níveis de qudits. Embora os qubits sejam a base dos computadores quânticos atuais, os qudits oferecem um cenário mais rico para a computação, permitindo potencialmente algoritmos mais eficientes e um melhor uso do hardware físico. No entanto, um obstáculo significativo permaneceu: as ferramentas de software mais populares para projetar programas quânticos foram construídas exclusivamente para qubits de dois níveis. Isso significava que pesquisadores que desejassem experimentar com qudits tinham que escrever seu próprio software complexo do zero ou abandonar as poderosas ferramentas que a comunidade em geral havia desenvolvido.

Francesco Pudda preencheu essa lacuna com uma nova extensão de software chamada qiskit-qudits. Esta ferramenta permite que cientistas projetem circuitos quânticos usando qudits de múltiplos níveis enquanto ainda utilizam o conjunto de software Qiskit padrão, que é amplamente utilizado para construir e testar programas quânticos. A conquista central deste trabalho é um método de tradução inteligente. Como o hardware subjacente e o software padrão pensam em termos de qubits de dois níveis, o novo sistema codifica cada qudit de múltiplos níveis em um pequeno grupo de qubits. Por exemplo, um sistema de três níveis é representado por dois qubits, e um sistema de cinco níveis por três. Esta abordagem cria uma leve ineficiência porque o grupo de qubits pode representar mais estados do que o qudit realmente utiliza, mas o software é projetado para ignorar esses estados extras, não utilizados. Ao tratar esses estados não utilizados como se não fizessem nada, o sistema garante que a lógica complexa do qudit funcione perfeitamente dentro da linguagem familiar dos qubits.

Os pesquisadores não construíram apenas uma ideia teórica; eles criaram uma biblioteca totalmente funcional que se integra perfeitamente aos fluxos de trabalho quânticos existentes. O software define um novo conjunto de instruções, ou portas (gates), que atuam nesses sistemas de múltiplos níveis. Essas portas podem realizar operações padrão, como deslocar níveis ou criar superposições complexas. Uma característica fundamental do design é sua capacidade de lidar com diferentes tamanhos de qudits simultaneamente. Um único circuito pode conter um sistema de três níveis, um sistema de quatro níveis e um sistema de cinco níveis todos trabalhando juntos, e o software gerencia a tradução para cada um deles automaticamente. Quando o número de níveis é uma potência de dois, o software decompõe a operação em uma série de etapas padrão de qubits que as ferramentas de otimização do computador podem processar facilmente. Quando o número de níveis não é uma potência de dois, o software usa um método diferente, calculando a transformação matemática exata para todo o grupo de qubits de uma só vez. Isso garante que o sistema funcione corretamente para qualquer tamanho até dezesseis níveis, uma faixa que cobre muitos sistemas físicos práticos.

Para provar que seu método de tradução era preciso, a equipe realizou testes numéricos rigorosos. Eles compararam o comportamento de seu software contra as regras matemáticas conhecidas para um tipo específico de operação quântica chamada transformada de Fourier quântica, que é uma ferramenta fundamental em muitos algoritmos quânticos. Eles testaram isso através de vários tamanhos, incluindo aqueles que não se encaixam perfeitamente em potências de dois. Os resultados mostraram que a saída do software coincidiu com as expectativas teóricas com extrema precisão, com erros tão pequenos que eram efetivamente zero para fins práticos. Eles também verificaram que cada tipo de porta que criaram se comportou exatamente como pretendido, fosse um simples deslocamento ou uma interação complexa de múltiplos níveis. Os testes confirmaram que o software lida corretamente com as partes "não utilizadas" do espaço codificado, garantindo que nenhuma informação vaze ou seja corrompida durante o processo.

O artigo também destaca as compensações envolvidas nesta abordagem. Devido ao fato de o sistema usar qubits extras para representar cada qudit, ele requer mais memória para simulação em um computador clássico do que um simulador de qudit nativo. Para sistemas muito grandes, esse overhead torna-se significativo, e os pesquisadores observam que, para a simulação pura de sistemas massivos, uma ferramenta construída especificamente para qudits poderia ainda ser mais eficiente. No entanto, para a grande maioria dos casos de uso atuais, o benefício de usar o ecossistema Qiskit padrão supera esse custo. O software permite que pesquisadores desenhem circuitos no nível do qudit, executem-nos através de passagens de otimização padrão e os preparem para execução em hardware quântico real ou simuladores sem a necessidade de reescrever o código manualmente.

Um dos aspectos mais práticos deste trabalho é como ele lida com a medição. Quando um sistema quântico é medido, o resultado deve ser convertido de volta dos dados brutos de qubits para os níveis significativos do qudit. O novo software inclui uma camada de decodificação que realiza essa tradução automaticamente. Ele também inclui um mecanismo de segurança para detectar "vazamento" (leakage), uma situação em que um sistema acidentalmente termina em um estado que não corresponde a nenhum nível válido do qudit. Em uma simulação perfeita, isso nunca deveria acontecer, mas em hardware real ou quando o ruído é introduzido, pode ocorrer. O software permite que os usuários escolham como lidar com esses eventos raros, seja descartando os dados ruins ou sinalizando-os para revisão, tornando os resultados da simulação mais confiáveis e transparentes.

O trabalho representa um passo significativo para tornar a computação quântica mais acessível e versátil. Ao transformar os conceitos teóricos de sistemas quânticos de múltiplos níveis em uma camada de software funcional e translatável, ele remove uma barreira importante para os pesquisadores. A equipe verificou que seu método funciona para dimensões que variam de dois até dezesseis, cobrindo as necessidades de muitas plataformas experimentais atuais. Embora o software dependa de uma estratégia de codificação específica que adiciona uma camada de complexidade, o autor demonstra que essa complexidade é gerenciada de forma eficaz, permitindo que as ferramentas padrão da comunidade quântica operem em uma gama muito mais ampla de sistemas físicos. O resultado é uma ferramenta que permite aos cientistas explorar todo o potencial da mecânica quântica de múltiplos níveis sem ter que abandonar a infraestrutura poderosa e estabelecida na qual já confiam.

Resumo Técnico: QISKIT-QUDITS

Definição do Problema

Os qudits, que generalizam os qubits de dois níveis para $d$ níveis computacionais, oferecem potenciais vantagens no processamento de informação quântica. No entanto, o framework Qiskit carece de suporte nativo para qudits, tratando-os como uma lacuna conhecida de extensão de terceiros. As ferramentas existentes enfrentam uma dicotomia: simuladores de qudits nativos (ex: Cirq, QuTiP) não conseguem aproveitar a extensa pilha de compilação, passes de transpilação e backends de hardware do Qiskit, enquanto ferramentas voltadas para qubits carecem de uma superfície de programação para operações de nível de qudit. Atualmente, os usuários devem implementar manualmente esquemas de codificação, matrizes de portas, decomposições e decodificação clássica, um processo propenso a erros em relação ao tratamento do espaço de estado não físico e à decodificação de medição.

Metodologia

O artigo introduz o qiskit-qudits, uma extensão do Qiskit que simula qudits de $d$ níveis codificando cada um em $m = \lceil \log_2 d \rceil$ qubits. O software é construído sobre as classes públicas Instruction, Gate e ControlledGate do Qiskit, garantindo compatibilidade com o ecossistema existente.

Decisões Principais de Design

Codificação e Preenchimento de Identidade (Identity Padding):
Como $d$ não é necessariamente uma potência de dois, o espaço de Hilbert codificado ( $D = 2^N$ ) é geralmente maior que o subespaço lógico ( $L = \prod d_i$ ). A biblioteca adota a convenção de preenchimento de identidade: cada porta atua como a identidade no complemento ortogonal do subespaço lógico. Formalmente, para uma porta lógica $G$ , a unitária codificada é $U = E G E^\dagger + (I - \Pi)$ , onde $E$ é a isometria de codificação e $\Pi$ é o projetor sobre o subespaço lógico. Esta escolha evita o vazamento (leakage) durante a simulação sem ruído e preserva as propriedades de permutação.
Hierarquia de Portas e Decomposição:
A biblioteca define três classes base: QuditGate (qudit único), QuditControlledGate (multi-controle) e QuditMultiGate.
- Caminho de Potência de Dois: Quando todos os operandos possuem dimensões que são potências de dois, as portas se decompõem em cascatas fixas de portas de qubits padrão do Qiskit (ex: mcx, cp, synth_qft_full). Isso permite que o transpiler do Qiskit otimize o circuito.
- Fallback de Síntese Densa: Para dimensões que não são potências de dois, as portas recorrem à síntese unitária densa exata. A biblioteca gera a matriz unitária completa $D \times D$ (via protocolo __array__ do NumPy) e a incorpora como uma instrução unitária única e opaca, que o passe UnitarySynthesis então decompõe.
Modelo de Circuito e Medição:
O QuditQuantumCircuit mantém duas visões sincronizadas: um log de instruções de nível de qudit (.data) e um circuito codificado de nível de qubit (.circuit). A medição é tratada via QuditMeasure, que mapeia qubits codificados para bits clássicos (ClByte). Uma camada de decodificação dedicada traduz as contagens do backend de volta para níveis de qudit, detectando explicitamente "vazamentos" (resultados $\ge d$ ), que podem ser tratados via políticas configuráveis (keep, drop, raise).

Principais Contribuições

Implementação de uma Camada de Qudit Transpilável: O trabalho converte as definições teóricas de portas de trabalhos anteriores [1] em uma extensão funcional e transpilável do Qiskit. Suporta dimensões $2 \le d \le 16$ e registradores de dimensões mistas.
Simulação Exata para Dimensões Não-Potência de Dois: Diferente de abordagens anteriores de simulação de qubits limitadas a $d=2^m$ , esta biblioteca suporta síntese densa exata para quaisquer $d$ dentro do intervalo suportado usando fallbacks unitários densos.
Verificação da Teoria e Implementação:
- Verificação A: Verificou-se que as matrizes unitárias densas reproduzem a Transformada Discreta de Fourier (DFT) no subespaço lógico para dimensões tanto potência de dois quanto não-potência de dois, estendendo a verificação de [1].
- Verificação B: Validou-se que os circuitos decompostos (caminhos de cascata e denso) correspondem às definições unitárias densas em 138 instâncias de portas, com desvios dentro da precisão de máquina ( $\approx 10^{-15}$ ).
- Invariante de Preenchimento: Confirmou-se que o invariante de preenchimento de identidade se mantém exatamente, garantindo que não haja mistura entre subespaços válidos e inválidos.
Detecção de Vazamento (Leakage): Fornece um mecanismo explícito para detectar e lidar com eventos de vazamento em simulações, distinguindo entre comportamento ideal e erros induzidos por ruído.

Resultados

A verificação numérica confirma a correção da implementação:

QFT vs. DFT: A implementação QFT coincide com a matriz DFT teórica dentro de $10^{-15}$ para dimensões $d \in \{2, 3, 4, 5, 8\}$ .
Decomposição de Portas: Todas as portas, incluindo SUMX, SUMP, SWAP e QFT, produzem decomposições consistentes com suas definições unitárias densas.
Análise de Recursos:
- Potência de Dois: As decomposições são eficientes e amigáveis ao transpiler. Por exemplo, um QFT de 3-qutrits ( $d=3$ ) requer 1.783 portas CX, enquanto um QFT de 3-ququart ( $d=4$ ) requer apenas 56 portas CX.
- Não-Potência de Dois: O fallback denso incorre em um overhead significativo. Um QFT de 3-qutrits ( $d=3$ ) sintetiza para 1.783 portas CX, enquanto um QFT de 3-ququint ( $d=5$ ) requer 119.383 portas CX. Isso destaca o custo da síntese densa para dimensões maiores que não são potências de dois.
- Restrições de Memória: O caminho denso é limitado pela memória; uma porta em oito qudits de 16 níveis ( $N=32$ ) exigiria $\approx 256$ EiB de memória, tornando o limite prático $N \approx 13\text{--}14$ em hardware comum.

Significância e Limitações

O artigo posiciona o qiskit-qudits como uma ponte que permite aos usuários escrever algoritmos de qudits no nível lógico, mantendo acesso total à pilha de compilação, backends e primitivas do Qiskit. Ele aborda explicitamente a "parte não física" do espaço codificado e a decodificação de medição, que são frequentemente propensas a erros em implementações manuais.

Limitações e Trocas (Trade-offs):

Teto de Dimensão: A biblioteca impõe $2 \le d \le 16$ e um máximo de 8 qudits por porta. Estes são limites nominais; o limite prático é determinado pela memória necessária para a síntese unitária densa ( $N \lesssim 13\text{--}14$ ).
Semântica de Vazamento: A convenção de preenchimento de identidade congela a amplitude vazada em vez de modelar o vazamento físico. Ela não comuta com o produto tensorial, o que significa que a equivalência do circuito deve ser verificada no subespaço projetado ( $\Pi U \Pi$ ).
Otimização: A implementação atual não explora linhas/colunas de "não-importa" (don't-care) no transpiler, e o fallback denso para dimensões não-potência de dois é computacionalmente caro em comparação com simuladores de qudits nativos ou síntese de lógica reversível otimizada.

O trabalho conclui que, embora o fallback denso permita a simulação exata para dimensões não-potência de dois, melhorias futuras devem focar em síntese de lógica reversível agnóstica à dimensão e na exposição do subespaço não físico ao transpiler para reduzir o overhead de recursos.