[Tex/LaTex] Loops & insertions in Tikz-Feynman

feynmantikz-feynmantikz-pgf

I'd like to produce these diagrams using Tikz-Feynman.

What I have so far is

\RequirePackage{luatex85}
\documentclass{standalone}

\usepackage[compat=1.1.0]{tikz-feynman}

\begin{document}

$\feynmandiagram [horizontal=a to b, layered layout, baseline=(i1.base)] {
  i1 -- a [dot]
  -- [photon,half left,momentum'=\(q\)] b [dot]
  -- [photon,half left,momentum'=\(q\)] a,
  b -- f1
};
+
\feynmandiagram [horizontal=a to b, layered layout, baseline=(a.base)] {
  {i1,i2} -- a [dot]
  -- [photon,half left,momentum'=\(q\)] b [crossed dot]
  -- [photon,half left,momentum'=\(q\)] a,
};$

\end{document}

There are a few open questions:

How can I move the momentum arrows outside the loops?
How can I shorten the in and outgoing lines?
How can I precisely vertically align the center of both diagrams with the plus sign?
How can I add the crossed dot on the first diagram?

Update

With the help of JP-Ellis I was able to get

\RequirePackage{luatex85}
\documentclass{standalone}

\usepackage[compat=1.1.0]{tikz-feynman}

\begin{document}
$\feynmandiagram [horizontal=a to c,inline=(a.base)] {
    a [dot] -- [charged boson,quarter left,edge label=\(q\)] b
    -- [photon,quarter left] c [dot]
    -- [charged boson,quarter left,edge label=\(q\)] d [crossed dot]
    -- [charged boson,quarter left,edge label=\(q\)] a,
    f1 -- c,
    i1 -- a,
};
\quad\raisebox{-0.5ex}{+}\quad
\feynmandiagram [horizontal=a to b, layered layout, inline=(a.base)] {
    {i1,i2} -- a [dot]
    -- [charged boson,half left,edge label=\(q\)] b [crossed dot]
    -- [charged boson,half left,edge label=\(q\)] a [desired at={(0, 0)}],
};$
\end{document}

One question remains: is there a way to move the arrow on charged boson and its edge label to the end of a line? My intent is to to have them at the top of the upper arch in the first diagram (rather than in the middle of the first quarter).

Best Answer

Great work on the diagrams already!

So let me address the questions:

How can I move the momentum arrows outside the loops?

The momentum key comes in two forms: momentum and momentum'. These differ only in terms of the side on which they arrows are placed; so using momentum solves the issue in your case.

How can I shorten the in and outgoing lines?

I recently answered another question on this site that explored the use of nudge. If you specifically just want to adjust the external lines, this could be used. Alternatively, perhaps you'll want to adjust the whole diagram to be smaller (as it looks like you'll be having them within an equation). This can be achieved with small.

How can I precisely vertically align the center of both diagrams with the plus sign?

You are correct in using baseline; however as you have noticed, the '+' symbol is not actually on the baseline and is in fact slightly above. The 'magic distance' from the baseline to the horizontal bar in the '+' is -\the\dimexpr\fontdimen22\textfont2\relax; though I don't remember where on this site I got this from originally.

The baseline key can then either take a node (as you have done), or an actual offset distance. In the case when a distance is specified, this is relative to the (0, 0) coordinate which, if no other coordinates are specified, will be the location of the first vertex. For the first diagram this is all good, but in the second case I tell the algorithm that (a) should be at (0, 0) using the desired at key.

How can I add the crossed dot on the first diagram?

You can add extra vertices at fixed locations, though unfortunately you can't do this within the \feynmandiagram command. The solution below uses the \diagram command within a {feynman} environment, and then manually places the crossed dot. The mid-way point is calculated with (a)!0.5!(b), and then it is just moved down until it looks good.

Here's the solution that implements everything. Note that I've made use of both nudge and small. This means that the second diagram has everything slightly smaller (hence the filled and crossed dots look different). Ideally, I would only use one of the two methods, but both are illustrated here.

\documentclass{article}

\usepackage[compat=1.1.0]{tikz-feynman}

\def\plusheight{-\the\dimexpr\fontdimen22\textfont2\relax}

\begin{document}
\begin{equation}
  \begin{tikzpicture}[baseline=\plusheight]
    \begin{feynman}
      \diagram [horizontal=a to b, layered layout] {
        i1 [nudge right=0.7cm] -- a [dot]
        -- [photon, half left, momentum=\(q\)] b [dot]
        -- [photon, half left, momentum=\(q\)] a ,
        b -- f1 [nudge left=0.7cm]
      };
      \vertex [crossed dot, fill=white] (i) at ($(a)!0.5!(b) - (0, 0.75)$) {};
    \end{feynman}
  \end{tikzpicture}
  +
  \feynmandiagram [horizontal=a to b, layered layout, small, baseline=\plusheight] {
    {i1,i2} -- a [dot]
    -- [photon, half left, momentum=\(q\)] b [crossed dot]
    -- [photon, half left, momentum=\(q\)] a [desired at={(0, 0)}],
  };
\end{equation}
\end{document}

To address the updated answer: the charged boson style is, internally, a combination of boson and with arrow=0.99. The with arrow style is undocumented at this stage as I did not envisage people to use it, but I probably should add it to the documentation. For some reason, with arrow=1 doesn't actually work, so 0.99 is good enough.

As a result, you can simply replace charged boson with boson, with arrow=1 to the desired result:

\RequirePackage{luatex85}
\documentclass{standalone}

\usepackage[compat=1.1.0]{tikz-feynman}

\begin{document}
\feynmandiagram [horizontal=a to c, small] {
    a [dot] -- [boson, with arrow=0.99, quarter left, edge label=\(q\)] b
    -- [photon, quarter left] c [dot]
    -- [charged boson, quarter left, edge label=\(q\)] d [crossed dot]
    -- [charged boson, quarter left, edge label=\(q\)] a,
    f1 -- c,
    i1 -- a,
};
\end{document}

Related Solutions

[Tex/LaTex] TikZ-Feynman: layers and alignment

Good to see TikZ-Feynman being put to good use!

So, the main issue here is that the layered layout (unlike most other algorithms) takes into account the order in which vertices are specified. In particular, it has a notion of layers and with:

a -- b

This tells it that a is on the layer above b and is distinct from b -- a. So in your example, you have

g [particle=\(\nu\)] 
  -- f 
  -- h [particle=\(\bar{\nu}\)]

and as a result, the neutrino at g is on the layer above f which itself is a layer above the antineutrino at h, hence why the neutrino is awkwardly sitting at the bottom of the central fermion line.

Now as to make it more compact, you can use sibling distance and layer distance to adjust the separation between vertices on the same layer or across layers respectively.

With all this, two of the three dot-points above are addressed:

\documentclass{standalone}
\usepackage[compat=1.1.0]{tikz-feynman}

 \begin{document}

 \feynmandiagram[layered layout, vertical=a to c, sibling distance=1cm] {
   g1 [particle=\(g\)]
     -- [gluon] a
     -- [fermion] t1 [particle=\(t\)],
  { [same layer]
    c -- [fermion, edge label=\(t\)] b
      -- [fermion, edge label=\(t\)] a},
   b  -- [boson, edge label=\(Z\)] n2,
   n2 -- [anti fermion] n1 [particle=\(\overline \nu\)],
   n2 -- [fermion] n3 [particle=\(\nu\)],
   g2 [particle=\(g\)]
      -- [gluon] c
      -- [anti fermion] t2 [particle=\(\overline t\)],
 };
\end{document}

Finally, if you want even finer control on everything, then the algorithm won't be able to meet all your needs and you'll have to adjust things manually. You can see some example of this being done at:

How to draw Feynman diagram for Majorana particles?

Tikz-Feynman: Multiple arrows on one fermion line and alignment (0vββ)

[Tex/LaTex] Feynman diagrams in tikz-feynman: labelling of an edge

You have to enclose the expression that contains the equality sign in braces, otherwise the equality sign is mixed up with the equality signs separating keywords and values.

[anti fermion, edge label={\(k'=k+q\)}]

\documentclass[border=2mm]{standalone}
\usepackage{tikz-feynman}
\begin{document}
    \begin{tikzpicture}
        \begin{feynman}
            \vertex (h1) ;
            \vertex at ($(h1) + (0.5cm, -1.0cm)$) (i1);
            \vertex at ($(i1) + (0.5cm, -1.0cm)$) (m1);
            \vertex at ($(m1) + (-0.5cm, -1.0cm)$) (i2);
            \vertex at ($(i2) + (-0.5cm, -1.0cm)$) (h2);
            \vertex [right= 2.5 cm of m1] (m2);
            \diagram* {
                (h1) -- [anti fermion, edge label=\(p'\)] (i1)
                     -- [anti fermion, edge label={\(k'=k+q\)}] (m1)
                     -- [anti fermion, edge label=\(k\)] (i2)
                     -- [anti fermion, edge label=\(p\)] (h2),
                (m2) -- [photon, momentum=q] (m1),
                (i2) -- [photon, half left, momentum=p-k] (i1),
            };
        \end{feynman}
    \end{tikzpicture}
\end{document}

Update

Best Answer

Related Solutions

[Tex/LaTex] TikZ-Feynman: layers and alignment

[Tex/LaTex] Feynman diagrams in tikz-feynman: labelling of an edge

Related Question