One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}(\epsilon^2)$

Este artigo apresenta expressões analíticas para amplitudes de helicidade de QCD de um laço para a produção de $t\bar{t}j$ e $t\bar{t}\gamma$ no LHC até $\mathcal{O}(\epsilon^2)$, expressas em termos de funções pentagonais com coeficientes racionais em variáveis de momento-twistor, a fim de facilitar cálculos de QCD em NNLO.

O essencial

Imagine o Grande Colisor de Hádrons (LHC) como o mais poderoso martelador de partículas do mundo. Quando os cientistas colidem prótons, tentam recriar as condições do universo primordial. Uma das coisas mais interessantes que procuram é o "quark top", uma partícula tão pesada que é como o campeão de peso pesado do mundo subatômico.

Este artigo trata de criar um "manual de instruções" matemático altamente detalhado para prever o que acontece quando esses quarks top são produzidos juntamente com outras partículas, especificamente um jato (uma spray de partículas menores) ou um fóton (uma partícula de luz).

Aqui está uma descrição do que os autores fizeram, usando analogias simples:

1. O Objetivo: Construir um Projeto Melhor

Os cientistas querem prever exatamente com que frequência essas colisões ocorrem e como as partículas se parecem quando se dispersam. Para isso, utilizam um conjunto de regras chamado Cromodinâmica Quântica (QCD).

• O Problema: As regras atuais são boas, mas o LHC está se tornando tão preciso que as regras antigas não são detalhadas o suficiente. Para corresponder à precisão do LHC, os cientistas precisam calcular essas colisões com extrema precisão (chamada de "NNLO").
• A Peça Faltante: Para obter essa alta precisão, é necessário conhecer os cálculos de "um laço" (um nível específico de complexidade na matemática) até um grau muito alto de precisão. Pense nisso como assar um bolo: se você quer um bolo perfeito, não pode apenas medir a farinha de forma aproximada; precisa medi-la até o miligrama. Este artigo fornece essas medições de nível de miligrama para as colisões de quarks top.

2. O Método: A Caixa de Ferramentas "Pentágono"

A matemática envolvida nessas colisões é incrivelmente confusa. Se você tentasse escrever as equações completas em uma folha de papel, elas seriam mais longas que toda a Enciclopédia Britânica.

• A Analogia: Imagine tentar descrever uma escultura 3D complexa. Você poderia descrever cada átomo individual, ou poderia descrevê-la usando um conjunto de blocos de construção padrão.
• A Solução: Os autores inventaram um conjunto de blocos de construção padrão chamados "Funções Pentágono". Em vez de escrever as equações massivas e confusas a cada vez, eles expressaram os resultados como uma combinação desses blocos padrão.
  • É como dizer: "A forma dessa nuvem é 3 partes 'fofa', 2 partes 'fina' e 1 parte 'escura'."
  • Ao usar esses blocos, a matemática torna-se muito mais curta, limpa e fácil de manipular.

3. O Processo: Resolvendo o Quebra-Cabeça

Os autores tiveram que descobrir exatamente como essas "Funções Pentágono" se comportam sob diferentes condições.

• O Mapa: Eles traçaram um mapa de todas as maneiras possíveis pelas quais as partículas podem se mover (chamadas de "cinemática").
• O Motor: Eles usaram um método chamado "equações diferenciais" para descobrir como as funções mudam à medida que as partículas se movem.
• O Poder Computacional: As equações eram difíceis demais para um humano resolver à mão. Os autores usaram computadores poderosos e uma técnica chamada "aritmética de campo finito".
  • Analogia: Imagine tentar resolver um quebra-cabeça gigante de Sudoku. Em vez de escrever cada número, o computador verifica se os números funcionam em um "mundo" específico e simplificado (um campo finito) para descobrir o padrão. Uma vez encontrado o padrão, eles o traduzem de volta para a matemática real e complexa.

4. O Resultado: Um Novo Guia de Referência

O artigo apresenta os resultados finais em duas formas principais:

1. Expressões Analíticas: A "receita" escrita na linguagem das Funções Pentágono. Isso permite que outros cientistas insiram diferentes números e obtenham respostas sem refazer a matemática difícil.
2. Referências Numéricas: Eles testaram sua receita em um ponto específico do "universo" das colisões de partículas para mostrar que funciona. Eles compararam seus números com outras ferramentas existentes para provar que estão corretos.

Por Que Isso Importa (De Acordo com o Artigo)

Os autores afirmam que este trabalho é um passo necessário para construir os cálculos de "dois laços" (o próximo nível de matemática, ainda mais complexo) necessários para a próxima geração de experimentos do LHC.

• A Metáfora: Se o LHC é uma câmera de alta velocidade tirando fotos do universo, este artigo fornece a lente mais nítida necessária para ver os detalhes com clareza. Sem essa "lente", as fotos ficariam borradas e os cientistas poderiam perder sinais sutis de nova física.

Em resumo: Os autores criaram um conjunto de ferramentas matemático, otimizado e altamente preciso para prever como os quarks top se comportam quando produzidos com jatos ou luz. Eles fizeram isso dividindo equações complexas em blocos de construção "Pentágono" gerenciáveis e usando técnicas computacionais avançadas para resolver os quebra-cabeças resultantes. Este conjunto de ferramentas é essencial para futuros experimentos ultra-precisos no LHC.

Resumo técnico

Resumo Técnico: Amplitudes de um laço para produções $t\bar{t}j$ e $t\bar{t}\gamma$ no LHC até $O(\epsilon^2)$

Declaração do Problema
As previsões teóricas para a produção de pares de quarks top em associação com um jato ($t\bar{t}j$) ou um fóton ($t\bar{t}\gamma$) no Grande Colisor de Hádrons (LHC) estão atualmente disponíveis com precisão de Próximo à Ordem Dominante (NLO). No entanto, para corresponder à precisão sem precedentes das medições experimentais nas corridas atuais e futuras do LHC, as previsões devem ser fornecidas na Próxima à Próxima Ordem Dominante (NNLO) em Cromodinâmica Quântica (QCD). Alcançar a precisão NNLO requer o cálculo de amplitudes de espalhamento de dois laços para processos $2 \to 3$. Um pré-requisito crítico para a construção dessas funções duras de dois laços é a disponibilidade de amplitudes de um laço expandidas até $O(\epsilon^2)$ no parâmetro de regularização dimensional $\epsilon$. Embora existam pacotes automatizados para calcular a parte finita ($O(\epsilon^0)$) das amplitudes de um laço, eles não fornecem os termos de $\epsilon$ de ordem superior necessários para a subtração de singularidades ultravioleta (UV) e infravermelha (IR) e a extração do resíduo finito nos cálculos NNLO. Este artigo aborda essa lacuna fornecendo expressões analíticas para as amplitudes de helicidade de um laço de cor completa para os processos $pp \to t\bar{t}j$ e $pp \to t\bar{t}\gamma$ até $O(\epsilon^2)$.

Metodologia
Os autores empregam um quadro computacional multiestágio que combina aritmética de campo finito, decomposição de tensores e o método das funções pentágono:

1. Construção da Amplitude de Helicidade: O cálculo é realizado no esquema 't Hooft-Veltman (tHV). Os autores decompõem as amplitudes parciais em estruturas tensoriais 4-dimensionais independentes. Espinores massivos para os quarks top são definidos usando uma direção de referência para expressar as amplitudes de helicidade em termos de momentos e produtos de espinores sem massa. As sub-amplitudes de helicidade são extraídas avaliando as amplitudes parciais contraídas em escolhas específicas de vetores de referência e invertendo o sistema linear resultante.
2. Reconstrução de Campo Finito: Para gerenciar a complexidade algébrica das expressões intermediárias, os autores utilizam métodos de campo finito. Diagramas de Feynman são gerados usando QGRAF, seguidos por decomposição de cor. As amplitudes parciais contraídas resultantes são reduzidas a um conjunto mínimo de Integrais Mestras (MIs) usando identidades de Integração por Partes (IBP) (geradas via NEATIBP e resolvidas via FINITEFLOW). Os coeficientes racionais que multiplicam as MIs são reconstruídos analiticamente a partir de suas avaliações numéricas sobre campos finitos.
3. Base de Funções Pentágono: As MIs são expressas em termos de uma base de componentes algebricamente independentes conhecidas como "funções pentágono". Essas funções correspondem às componentes expandidas em $\epsilon$ das MIs. Os autores derivam Equações Diferenciais (EDs) canônicas para essas funções na forma $d\log$. O alfabeto das EDs consiste em 283 letras independentes, incluindo 29 raízes quadradas algébricas.
4. Avaliação Numérica: As EDs são resolvidas numericamente usando o método de expansão de série de potência generalizada. Os autores utilizam dois pacotes de software: DIFFEXP (Mathematica) e o recém-lançado LINE (C/C++). As condições de contorno são determinadas avaliando as MIs em pontos específicos do espaço de fase usando o pacote AMFLOW com precisão de 70 dígitos. A solução é propagada para pontos arbitrários do espaço de fase físico.
5. Renormalização e Resíduo Finito: As amplitudes nuas são renormalizadas em massa e totalmente renormalizadas em UV pela adição de contratermos apropriados. O resíduo finito é extraído subtraindo singularidades IR universais, utilizando o esquema $\overline{\text{MS}}$.

Principais Contribuições

• Expressões Analíticas: O artigo fornece as primeiras expressões analíticas para as amplitudes de helicidade de um laço de cor completa para a produção $t\bar{t}j$ e $t\bar{t}\gamma$ expandidas até $O(\epsilon^2)$.
• Base de Funções Pentágono: Os autores constroem uma base específica de funções pentágono para esses processos, expressando as amplitudes como combinações lineares dessas funções com coeficientes racionais escritos em termos de variáveis de momento-twistor.
• Equações Diferenciais: EDs canônicas para as funções pentágono são derivadas e resolvidas numericamente. Os autores fornecem as EDs, valores de contorno e regras de permutação para as funções em arquivos auxiliares.
• Implementação de Software: O trabalho demonstra a aplicação do pacote LINE para resolver EDs envolvendo raízes quadradas, mostrando-o ser aproximadamente duas vezes mais rápido que o DIFFEXP para este sistema específico de equações.
• Resultados de Referência: Resultados numéricos de referência para elementos de matriz quadrados somados em cor e helicidade são fornecidos para todos os canais partônicos relevantes ($gg \to t\bar{t}g$, $q\bar{q} \to t\bar{t}g$, $gg \to t\bar{t}\gamma$, $q\bar{q} \to t\bar{t}\gamma$) e validados contra o OPENLOOPS até $O(\epsilon^0)$.

Resultados
Os autores calcularam com sucesso as amplitudes de helicidade para processos envolvendo pares de quarks top e partículas sem massa (glúons, fótons, quarks leves). As expressões analíticas para os coeficientes racionais das funções pentágono foram reconstruídas, com os graus dos numeradores reduzidos significativamente através de decomposição em frações parciais univariada. A avaliação numérica das amplitudes em um ponto específico do espaço de fase físico confirmou a validade dos resultados contra ferramentas NLO existentes. O artigo observa que, embora os coeficientes racionais para $t\bar{t}j$ e $t\bar{t}\gamma$ compartilhem algumas similaridades estruturais, uma extração completa das relações entre os dois processos ao nível das amplitudes primitivas não foi realizada.

Significado e Alegações
Os autores afirmam que seus resultados são essenciais para a construção das funções duras de dois laços necessárias para cálculos QCD NNLO da produção $t\bar{t}j$ e $t\bar{t}\gamma$. Ao fornecer amplitudes até $O(\epsilon^2)$, eles permitem a subtração analítica de divergências UV e IR e a extração de resíduos finitos, que de outra forma seriam inacessíveis com ferramentas limitadas a $O(\epsilon^0)$.

O artigo alega que expressar as amplitudes em termos de uma base de funções pentágono oferece um quadro compacto que simplifica as expressões finais e melhora a eficiência numérica. Além disso, os autores posicionam este trabalho como um trampolim para futuros cálculos de dois laços. Eles observam que, embora as amplitudes de dois laços de cor dominante para $t\bar{t}j$ envolvam estruturas elípticas, a base de funções pentágono construída aqui (que separa contribuições polilogarítmicas e não polilogarítmicas) pode fornecer uma estratégia útil para lidar com os espaços funcionais mais complexos esperados em cálculos de dois laços, incluindo aqueles para $t\bar{t}\gamma$. Os autores concluem modestamente que, embora a base facilite o trabalho futuro, a realização completa dos cálculos de dois laços permanece um assunto para pesquisa futura.