Manipulación de factores de momento en integrales de Feynman (resuelto)

Mi comprensión actual : considere un gráfico de Feynman sin masa con propagadores de la forma 1 / pag 2 y algunos factores de impulso en el numerador. Ahora considere un vértice, que por simplicidad de notación se supone que es trivalente. Por conservación del momento podemos escribir los momentos de los tres propagadores que están unidos a este vértice como pag 1 , pag 2 , pag 1 pag 2 . por un factor pag 1 m en el numerador soy libre de escribirlo como

pag 1 m = ( pag 1 pag 2 ) m pag 2 m ,
es decir, puedo cambiar el factor de impulso de una de las piernas a las otras dos. Esta es también una de las características esenciales de IBP que muchos programas usan para reescribir los diagramas de Feynman en una base.

Mi problema : he usado esta relación extensamente y en muchos casos funciona. Pero encontré algunos casos en los que esto no parece dar el resultado correcto y no entiendo por qué falla. ¿Hay alguna sutileza en el principio general que me estoy perdiendo?

Ejemplo : El caso más fácil que he encontrado es el siguiente. Considere la topología (llamada FA en el manual de Mincer )

y definir una integral de Feynman con un numerador dependiendo de los momentos

I ( norte ( PAG i , q ) ) = d d k 1 ( 2 π ) d d d k 2 ( 2 π ) d d d k 3 ( 2 π ) d norte ( PAG i , q ) i = 1 7 PAG i 2
con alguna elección de momento de bucle k i . en particular desde PAG 2 = PAG 1 + PAG 6 debería ser posible escribir
I ( PAG 1 PAG 2 ) = I ( PAG 1 PAG 6 ) + I ( PAG 1 2 )
sin embargo, este no es el caso como muestra una prueba con Mincer . Traté de generalizar esto a
I ( PAG 1 PAG 2 ) = a I ( PAG 1 PAG 6 ) + b I ( PAG 1 2 )
para algunos coeficientes racionales a , b , pero esto tampoco tiene solución.

Para completar aquí están los ϵ -expansiones para las respectivas integrales

I ( PAG 1 PAG 2 ) = 1 6 ϵ 2 + 3 2 ϵ + 49 6 + O ( ϵ )
I ( PAG 1 PAG 6 ) = 1 4 ϵ 3 25 12 ϵ 2 47 4 ϵ 673 12 + 41 ζ 3 4 + O ( ϵ )
I ( PAG 1 2 ) = 1 6 ϵ 3 + 3 2 ϵ 2 + 55 6 ϵ + 95 2 53 ζ 3 6 + O ( ϵ )

¿Ve el mismo problema en un diagrama de Feynman más simple que puede hacer usted mismo sin depender de un programa?
No, desafortunadamente, no he encontrado un ejemplo más fácil. Todos los diagramas de uno y dos bucles que he visto funcionan como se esperaba. En tres bucles tengo que confiar en un programa debido a la complejidad del cálculo.
Sugerencia: Considere enviar la solución como una publicación de respuesta en lugar de como parte de la publicación de preguntas.
OK hecho. No sabía si poner esto como respuesta sería un poco barato.

Respuestas (1)

Resulta que todo el problema se originó por el hecho de que utilicé una versión anterior de Mincer, que genera polos espurios. El razonamiento es correcto y con una versión más nueva del programa, que trabaja con funciones racionales en lugar de expansiones de potencia en ϵ, este problema desaparece.