The Quad-$C_5$ Graph: Maximum Contextuality Gap on Eight Vertices

Resumo Técnico: O Gráfico Quad-C5 e a Lacuna Máxima de Contextualidade em Oito Vértices

Enunciado do Problema
A contextualidade quântica, a incapacidade de atribuir valores de variáveis ocultas não contextuais aos resultados de medição, serve como uma distinção fundamental entre a mecânica quântica e o realismo clássico, bem como um recurso para o processamento de informação quântica. No âmbito da estrutura de Cabello–Severini–Winter (CSW), a contextualidade é quantificada pela lacuna $\Delta(G) = \vartheta(G) - \alpha(G)$, onde $\vartheta(G)$ é a função theta de Lovász (o limite quântico para medições projetivas) e $\alpha(G)$ é o número de independência (o limite não contextual) de um gráfico de exclusão $G$. Embora gráficos de ciclos pequenos, como o ciclo de cinco vértices ($C_5$, o cenário KCBS) e o ciclo de sete vértices ($C_7$), sejam conhecidos como testemunhas de contextualidade, o panorama de testemunhas ótimas para $n=8$ vértices estava anteriormente incompleto. O gráfico de Wagner ($W$), um exemplo não cíclico com $\Delta \approx 0,414$, havia servido como uma referência proeminente. O objetivo deste trabalho é realizar uma busca exaustiva sobre todos os gráficos simples conexos não isomórficos em oito vértices para identificar o gráfico que maximiza $\Delta(G)$ e caracterizar suas propriedades algébricas e dimensionais.

Metodologia
Os autores conduziram uma busca computacional exaustiva sobre os 11.117 gráficos simples conexos não isomórficos em $n=8$ vértices, recuperados do banco de dados de McKay. O pipeline de análise envolveu:

1. Enumeração e Filtragem de Gráficos: Todos os gráficos foram filtrados quanto à conectividade.
2. Número de Independência ($\alpha$): Computado via busca de clique de peso máximo no gráfico complementar, validado cruzadamente por enumeração exaustiva de todos os $2^8$ subconjuntos de vértices.
3. Theta de Lovász ($\vartheta$): Calculado usando programação semidefinida (PSD). Uma triagem em massa foi realizada usando o solucionador SCS (precisão $10^{-4}$–$10^{-6}$), seguida de resolução de alta precisão ($\sim 10^{-10}$–$10^{-12}$) usando o solucionador CLARABEL para os 50 principais candidatos. A unicidade foi certificada executando os solucionadores múltiplas vezes para garantir intervalos de valores não sobrepostos.
4. Classificação Dimensional: A dimensão quântica mínima $d^*$ necessária para exceder o limite clássico foi determinada otimizando $\eta_d(G)$ (o autovalor máximo da soma dos projetores na dimensão $d$) usando uma estratégia de otimização restrita em três fases com 300 reinícios aleatórios.
5. Identificação Algébrica: O algoritmo de relação inteira PSLQ foi aplicado com precisão de 50 dígitos para identificar expressões algébricas de forma fechada para resultados numéricos, especificamente para $\eta_3(G)$.

Principais Contribuições e Resultados

• Descoberta do Quad-C5: A busca identificou um gráfico anteriormente não caracterizado, denominado Quad-C5 (código graph6: GCQb'o), como o único maximizador da lacuna de contextualidade para $n=8$.
  • Parâmetros: O Quad-C5 possui 8 vértices, 10 arestas e uma sequência de graus de $(2^4, 3^4)$.
  • Desempenho: Ele alcança uma lacuna de $\Delta = 0,46784$, superando o gráfico de Wagner ($W$, $\Delta \approx 0,414$) em aproximadamente 13%, apesar de usar duas arestas a menos.
• Análise Estrutural: O Quad-C5 contém quatro ciclos induzidos de cinco vértices ($C_5$) mutuamente sobrepostos. Cada aresta no gráfico pertence exatamente a dois desses subgráficos $C_5$, fornecendo uma "cobertura perfeita de arestas de duas vezes". O espectro de adjacência é dominado por autovalores no corpo da razão áurea $\mathbb{Q}(\sqrt{5})$, vinculando as propriedades espectrais do gráfico diretamente ao pentágono KCBS.
• Hierarquia Dimensional:
  • Testemunha de Qutrit: O Quad-C5 é uma testemunha certificada de qutrit ($d^*=3$). A otimização numérica com precisão de 50 dígitos, confirmada pelo PSLQ, determina que $\eta_3(\text{Quad-C5}) = 1 + \sqrt{5} \approx 3,23607$. Este valor satisfaz o polinômio mínimo $x^2 - 2x - 4 = 0$.
  • Comparação com o Gráfico de Wagner: Em contraste, o gráfico de Wagner ($W$) e o gráfico classificado em segundo lugar parecem ser "testemunhas puras de dois qubits" ($d^*=4$), onde buscas numéricas consistentemente yield $\eta_3 = \alpha = 3$, exigindo um espaço de Hilbert de quatro dimensões para exibir contextualidade.
• Robustez ao Ruído: Sob ruído despolarizante, a visibilidade crítica $v^*$ para o Quad-C5 em $d=3$ é mostrada analiticamente ser idêntica à da testemunha KCBS ($v^* \approx 0,585$). Esta igualdade surge de um deslocamento uniforme nos parâmetros $\alpha$, $\eta_3$ e $n/d$ entre os dois gráficos. Em $d=4$, o Quad-C5 supera estritamente o gráfico de Wagner em robustez ao ruído, exigindo aproximadamente 2,6% menos visibilidade.

Significado
O artigo afirma que o Quad-C5 demonstra que gráficos de exclusão mais densos não necessariamente produzem contextualidade mais forte; de fato, um gráfico mais esparsos (10 arestas versus 12 para $W$) pode alcançar uma lacuna maior. A descoberta destaca uma "geometria de contextualidade" mais eficiente, onde quatro pentágonos KCBS entrelaçados codificam a vantagem quântica de forma mais eficaz por aresta do que a estrutura regular 3-regular simétrica do gráfico de Wagner.

Crucialmente, o trabalho estabelece que a lacuna máxima de contextualidade para $n=8$ é alcançável dentro de um sistema de três níveis (qutrit), enquanto a referência anterior (gráfico de Wagner) parece exigir um espaço de quatro dimensões (dois qubits). Isso sugere que a contextualidade acessível a qutrits pode ser mais eficiente do que cenários de dois qubits. A conexão algébrica do Quad-C5 com a razão áurea e o pentágono KCBS fornece uma explicação de teoria de grafos espectral para seu desempenho aprimorado. Finalmente, a descoberta de que o Quad-C5 compartilha o limiar exato de ruído da testemunha KCBS mais simples implica que qualquer aparato experimental capaz de testar a contextualidade KCBS pode certificar imediatamente a contextualidade Quad-C5 sem relaxar os requisitos de ruído.