Calculando física além do modelo padrão de modo automático usando recursos computacionais

Resumo

O operador efetivo de neutrinos de Dirac, no contexto de teorias de gauge abelianas e com campos quirais singletos é um ótimo arcabouço teórico e que prevê fortes sinais em experimentos de neutrinos bem como em experimentos de matéria escura. Nós iremos fazer uma estudo sistemático de todos as possibilidades desta classe de modelos, que pode produzir processos que violam sabor, interações não padrões de neutrinos, matéria escura com múltiplos componentes e uma rica fenomenologia de fótons escuros. Nós usaremos softwares para automatizar os cálculos de todos os observáveis e iremos construir um procedimento para automatizar a análise fenomenológica destes modelos (AU)