Me gusta pensar en ello como se describe en este artículo por Shankar. En la renormalización contraterminal, estás estudiando esencialmente la renormalización wilsoniana, pero con la intención de enviar el corte al infinito al final (como es necesario para tener una definición continua de una teoría de campos). Las "divergencias" UV que aparecen en la teoría de perturbaciones son el resultado de tomar este límite de forma descuidada. Los contratérminos son una construcción matemática que permite tomar este límite con más cuidado. El hecho de que los contratérminos puedan ser diferentes dependiendo del esquema de renormalización, pero la física debe ser independiente de la elección del esquema, es lo que lleva a la idea de dependencia de escala y acoplamientos corrientes en la imagen de los contratérminos (por eso somos libres de usar MS, MS bar, o on shell, y no preocuparnos por conflictos en las predicciones). Desde este punto de vista, en la renormalización de los contratérminos, integramos los modos por encima de algún límite, lo que (como sabemos por la imagen wilsoniana) da resultados finitos para los acoplamientos como funciones del límite. A continuación, utilizamos este resultado para definir el límite continuo de la teoría de campo, empujando el límite hasta el infinito, lo que equivale a tomarlo como mucho mayor que cualquier escala de interés. Esto nos deja con unos contraterminos que capturan el comportamiento límite de la dependencia de corte necesaria para que exista el límite, y una escala de masa arbitraria que captura lo que la imagen wilsoniana nos dijo sobre el comportamiento de escala de la teoría. En cuanto a la otra parte de tu pregunta, sí, la renormalización wilsoniana puede hacerse en bucle. Por simetría, los diagramas de Feynman que aparecen en los cálculos perturbativos de la teoría de campos serán idénticos a los diagramas de Feynman que generan correcciones a los acoplamientos de los modos rápidos, con la única diferencia de que las integrales son ahora convergentes, tomadas sobre la envolvente del momento desde el punto de corte reducido hasta el punto de corte original.
Me gustaría añadir una nota adicional: la información sobrante de la renormalización wilsoniana de una teoría de campo renormalizable perturbativamente después de haber tomado el límite del continuo puede verse también como la información que nos habla de la anomalía de la invariancia de escala. Desde este punto de vista, la renormalización wilsoniana es una forma más cuidadosa de tratar cómo se comporta la invariancia de escala a nivel cuántico, estudiando la forma adecuada de aplicar una transformación de escala a la integral de trayectoria. Esto es análogo a cómo Fujikawa calculó la anomalía quiral; se fijó en el hecho de que la medida de la integral de trayectoria rompía la simetría. En este caso, no es tan "obvio" que la medida rompa la simetría, son las correcciones de bucle que aparecen en la acción efectiva wilsoniana las que rompen la simetría. Las funciones beta nos dicen exactamente cómo se rompe (o se conserva, en casos muy especiales !).
Espero que te haya ayudado.
Edición: Ha pasado algún tiempo desde que escribí la respuesta original, y no estoy completamente satisfecho con ella (recientemente me han vuelto a plantear algunas cuestiones relativas a estos conceptos). La descripción aquí es, por supuesto, muy aproximada. El punto de vista wilsoniano nos da una filosofía para entender las teorías de campo efectivo y por qué funciona la renormalización, pero en los cálculos involucrados se prefiere la forma antigua. Las ideas del "Grupo de Renormalización Exacta" son lo más cercano que existe para hacer precisa la conexión entre los puntos de vista, pero incluso en esos casos los cálculos en el esquema de Wilson son sencillamente intratables. Al final, todo se reduce a una cuestión de filosofía y pragmatismo. La mejor opción es utilizar la renormalización de contratérminos para calcular, y el punto de vista de Wilson para interpretar.