$B$-meson decay width up to $1/m_b^3$ corrections within and beyond the Standard Model

Este artigo apresenta um cálculo completo das larguras de decaimento de mésons $B$ até correções de ordem $1/m_b^3$ dentro e além do Modelo Padrão, derivando expressões analíticas para todos os coeficientes de emparelhamento de operadores de dois quarks e as contribuições de aniquilação fraca anteriormente ausentes, finalizando assim o quadro teórico para decaimentos não leptônicos de quarks $b$ relevantes para os tempos de vida de mésons $B$ e abordando tensões na fatorização da QCD.

O essencial

Imagine que você tem uma bola muito pesada e instável (um méson B) dentro de uma caixa. Eventualmente, essa bola se desintegra em pedaços menores. Os físicos querem saber exatamente quanto tempo leva para essa bola se desintegrar (sua "vida média").

Há muito tempo, os cientistas possuem um manual de regras muito bom (o Modelo Padrão) para prever isso. No entanto, quando observam experimentos reais, as previsões às vezes estão ligeiramente erradas, como um relógio que adianta ou atrasa alguns segundos por dia. Este artigo trata de aprimorar esse manual para ver se o relógio está realmente quebrado ou se apenas precisávamos de uma maneira melhor de lê-lo.

Aqui está uma análise do que os autores fizeram, usando analogias simples:

1. A "Expansão do Quark Pesado" (O Livro de Receitas)

Para prever quanto tempo a bola dura, os autores utilizam um método chamado Expansão do Quark Pesado (HQE).

• A Analogia: Imagine tentar prever o caminho exato de uma bola de boliche rolando por uma pista.
  • A Visão Geral (Ordem Dominante): Primeiro, você apenas observa a bola rolando em linha reta. Esta é a parte mais fácil e fornece uma ideia aproximada do tempo.
  • Os Detalhes (Correções de Potência): Mas a bola não é perfeita. Ela oscila, gira e a pista não é perfeitamente lisa. Para obter uma previsão precisa, você deve adicionar correções para essas oscilações e giros.
  • O Trabalho do Artigo: Os autores calcularam a matemática dessas "oscilações" e "giros" até um nível muito alto de detalhe (especificamente, até a terceira camada de correções). Antes deste artigo, algumas dessas correções detalhadas estavam faltando ou incompletas.

2. Os "Novos Ingredientes" (Além do Modelo Padrão)

O Modelo Padrão é como uma receita padrão para um bolo. Mas, às vezes, o bolo tem um sabor um pouco diferente do que a receita diz que deveria ter. Os cientistas suspeitam que possa haver "ingredientes secretos" (Nova Física ou BSM) misturados que ainda não descobrimos.

• A Analogia: Imagine que você está assando um bolo, mas suspeita que alguém possa ter secretamente adicionado uma pitada de sal ou uma gota de baunilha que não está na receita oficial.
• O Trabalho do Artigo: Em vez de adivinhar qual é esse ingrediente secreto, os autores escreveram uma Receita Mestra. Esta Receita Mestra inclui todos os possíveis ingredientes (Padrão e não Padrão) que poderiam teoricamente ser adicionados. Eles então calcularam exatamente como cada um desses ingredientes mudaria o tempo de assar. Isso permite que cientistas futuros olhem para o bolo real e digam: "Aha! O tempo está errado exatamente por esta quantidade, o que significa que o ingrediente secreto deve ser este específico."

3. Corrigindo os "Glitches" (Divergências Infravermelhas)

Ao realizar esses cálculos complexos, a matemática às vezes encontra um "glitch" onde os números explodem para o infinito. Na física, isso é chamado de divergência infravermelha.

• A Analogia: Imagine que você está contando o número de pessoas em uma sala, mas a porta está aberta e as pessoas estão entrando e saindo tão rápido que seu contador quebra.
• O Trabalho do Artigo: Os autores encontraram um tipo específico de glitch causado por "glúons moles" (pequenas partículas de força) sendo emitidos pelos pedaços mais leves da bola quebrada. Eles perceberam que, para consertar o contador, também precisavam levar em conta uma interação específica chamada Aniquilação Fraca (onde duas partículas dentro da bola se destroem mutuamente).
  • O Resultado: Eles calcularam essa peça faltante (a contribuição da "Aniquilação Fraca") pela primeira vez neste contexto específico. Ao adicionar essa peça faltante, o "glitch" desaparece e a matemática funciona perfeitamente. Eles até verificaram seu trabalho duas vezes usando duas ferramentas matemáticas completamente diferentes (como medir uma sala com uma fita métrica e depois com um laser) para garantir que os números coincidiam.

4. A Surpresa do "Pinguim"

No mundo da física de partículas, existem partículas especiais chamadas "Pinguins" (nomeadas por causa de uma piada, não porque se parecem com pássaros). Estas são interações raras que geralmente acontecem muito silenciosamente.

• A Analogia: Na maioria das vezes, a bola se desintegra por causa dos ingredientes principais. Mas, às vezes, uma interação rara e minúscula de "Pinguim" acontece ao fundo.
• O Trabalho do Artigo: Os autores também calcularam como essas interações de "Pinguim" afetam a vida média, incluindo como elas se misturam com os ingredientes principais. Embora esses efeitos sejam geralmente muito pequenos, os autores forneceram a matemática precisa para eles, garantindo que até os sussurros mais tênues dessas interações sejam contabilizados na previsão final.

Resumo da Conquista

Pense na previsão da vida média do méson B como um relógio de alta precisão.

• Antes deste artigo: O relógio era preciso até o minuto, mas os "segundos" e "milissegundos" estavam um pouco difusos porque algumas das engrenagens internas (a matemática para as oscilações e a peça da "Aniquilação Fraca") estavam faltando ou não calculadas.
• Depois deste artigo: Os autores construíram as engrenagens faltantes e poliram as existentes. Eles forneceram um conjunto completo e matematicamente rigoroso de instruções (expressões analíticas) sobre como o relógio tiqueta, seja seguindo as regras padrão ou se houver ingredientes secretos de "Nova Física" misturados.

O que eles NÃO fizeram:
Eles não construíram uma nova máquina, não encontraram o ingrediente secreto ainda e não alteraram as leis físicas. Eles simplesmente forneceram o mapa matemático perfeitamente detalhado que permite a outros comparar experimentos do mundo real com a teoria com muito maior precisão. Se o relógio real ainda não corresponder a este novo e mais nítido mapa, então saberemos com certeza que há um "ingrediente secreto" (Nova Física) em jogo.

Resumo técnico

Resumo Técnico: Largura de decaimento do méson B até correções de ordem $1/m_b^3$ dentro e além do Modelo Padrão

Enunciado do Problema
Os tempos de vida dos hádrons pesados contendo um quark $b$ são observáveis fundamentais para testar o Modelo Padrão (MP) e restringir a física além do Modelo Padrão (BMP). Embora a precisão experimental para os tempos de vida dos mésons B e suas razões (por exemplo, $\tau(B^0_s)/\tau(B^0_d)$) tenha atingido o nível de partes por mil, as previsões teóricas baseadas na Expansão de Quark Pesado (EQP) possuem atualmente incertezas aproximadamente 20 vezes maiores. Uma motivação específica para este trabalho surge das tensões observadas entre as razões de ramificação experimentais e as previsões teóricas (baseadas na factorização de QCD) para vários decaimentos não leptônicos de mésons B permitidos por cor. Para abordar essas tensões e restringir potenciais efeitos BMP em decaimentos de quark $b$ de nível de árvore ($b \to q_1 \bar{q}_2 q_3$), é necessário um cálculo completo dos coeficientes da EQP até dimensão seis. Antes deste trabalho, os coeficientes de correspondência para operadores de dois quarks em dimensão cinco e seis, particularmente aqueles induzidos por operadores de pinguim de QCD e operadores BMP generalizados, estavam incompletos. Além disso, o tratamento das divergências infravermelhas (IV) no coeficiente do operador de Darwin, que se mistura com operadores de quatro quarks, carecia de uma subtração completa das contribuições de aniquilação fraca (AF).

Metodologia
Os autores calculam a largura de decaimento total de um méson B usando o teorema óptico, expresso como a parte imaginária do elemento de matriz de avanço do produto ordenado no tempo de dois Hamiltonianos efetivos. O cálculo prossegue no âmbito da EQP, expandindo o operador não local em potências inversas da massa do quark $b$ pesado ($m_b$).

1. Hamiltoniano Efetivo: O estudo parte do Hamiltoniano efetivo mais geral e independente de modelo para decaimentos não leptônicos $b \to q_1 \bar{q}_2 q_3$, incluindo todas as estruturas de Dirac possíveis (corrente-corrente, escalar, pseudoscalar, tensorial e seus contrapartes quirais) e ambos os coeficientes de Wilson do MP e BMP.
2. Expansão de Operadores: Os propagadores de quarks internos são expandidos no campo de glúons externo usando o calibre de Fock-Schwinger. Esta expansão gera uma torre de operadores locais. O cálculo retém termos até três derivadas covariantes, correspondendo a contribuições até dimensão seis na EQP.
3. Esquemas de Regularização: Para lidar com divergências infravermelhas decorrentes da emissão de glúons moles a partir de propagadores de quarks leves (afetando especificamente o operador de Darwin em dimensão seis), os autores empregam dois esquemas independentes:
   • Regularização por Massa: Trabalhando em dimensões $D=4$ com uma massa finita de quark leve ($m_q$).
   • Regularização Dimensional (RD): Trabalhando em $D=4-2\epsilon$ com quarks leves sem massa.
     A concordância entre essas duas abordagens serve como uma verificação cruzada crucial.
4. Cancelamento de Divergências IV: O cálculo inclui explicitamente a correspondência de operadores de quatro quarks em dimensão seis. Crucialmente, os autores calculam as contribuições de aniquilação fraca (AF) anteriormente ausentes. Essas contribuições são necessárias para cancelar as divergências infravermelhas que aparecem nos coeficientes do operador de Darwin, garantindo resultados físicos finitos quando $m_q \to 0$.
5. Ferramentas Computacionais: O cálculo utiliza ferramentas como qgraf para geração de diagramas, tapir para identificação de famílias de integrais, LiteRed para reduções IBP e FeynCalc para álgebra de Dirac. Os resultados são expressos em termos de integrais mestras com partes imaginárias conhecidas.

Principais Contribuições e Resultados
O artigo fornece expressões analíticas na Ordem Dominante (LO) em QCD para todos os coeficientes de correspondência de operadores de dois quarks na EQP até dimensão de massa seis para o Hamiltoniano efetivo mais geral.

• Completude BMP: Os resultados completam o cálculo dos efeitos BMP em decaimentos não leptônicos de nível de árvore de quark $b$ relevantes para os tempos de vida dos mésons B. Isso inclui os resultados de potência dominante em dimensão três e os coeficientes do operador cromomagnético (dimensão cinco) e do operador de Darwin (dimensão seis).
• Aniquilação Fraca: Os autores derivam novas expressões analíticas para as contribuições de AF em dimensão seis, que estavam anteriormente ausentes e são essenciais para a subtração consistente das divergências infravermelhas.
• Operadores de Pinguim de QCD: Como subproduto, o artigo determina os coeficientes de correspondência do MP até dimensão seis originados de operadores de pinguim de QCD. Isso inclui:
  • Termos de interferência entre operadores corrente-corrente e de pinguim.
  • Contribuições quadráticas em operadores de pinguim.
  • Novos resultados para os coeficientes dos operadores cromomagnético e de Darwin induzidos por pinguins, que são tipicamente suprimidos por $\alpha_s$ e $\alpha_s^2$ no MP.
• Canais Específicos: Resultados analíticos explícitos são fornecidos para as transições dominantes por CKM $b \to c\bar{u}d$ e $b \to c\bar{c}s$, bem como para os modos suprimidos por CKM $b \to u\bar{c}s$ e $b \to u\bar{u}d$ (listados nos apêndices).
• Verificações de Consistência: O cálculo reproduz expressões conhecidas de dimensão três e fornece uma verificação cruzada não trivial através da concordância entre regularização por massa e regularização dimensional.

Significado e Alegações
O artigo afirma que estes resultados "completam o cálculo dos efeitos BMP em decaimentos não leptônicos de nível de árvore de quark $b$ relevantes para os tempos de vida e razões de tempos de vida dos mésons B". Ao fornecer o conjunto completo de coeficientes de correspondência até dimensão seis, o trabalho permite:

• Análises Fenomenológicas Globais: Os resultados permitem a combinação de observáveis de tempo de vida com outros dados de sabor de precisão (parâmetros de mistura, assimetrias de CP) para melhorar as restrições sobre coeficientes de Wilson BMP genéricos.
• Resolução de Tensões: O arcabouço oferece uma ferramenta para investigar a origem das tensões observadas em decaimentos não leptônicos de mésons B permitidos por cor, distinguindo entre contribuições do MP ausentes (por exemplo, correções de QED, res espalhamento) e potenciais efeitos BMP.
• Mapeamento de Modelos: A base de operadores genérica pode ser mapeada em cenários BMP específicos (por exemplo, modelos $W'$, diquarks, 2HDM) para testar a consistência com limites de colisores.

Os autores observam que, embora seu trabalho forneça os coeficientes perturbativos necessários, melhorias teóricas adicionais — especificamente correções NLO-QCD para as contribuições de Darwin e cromomagnéticas e determinações refinadas de elementos de matriz não perturbativos via QCD em rede — são necessárias para aprimorar plenamente a sensibilidade dos observáveis de tempo de vida à Nova Física.