David Weir (he/him/his) - University of Helsinki - davidjamesweir

This talk: saoghal.net/slides/sussex-necklaces

Sussex, 18 March 2019

Mark Hindmarsh • Anna Kormu • Asier Lopez-Eiguren • Kari Rummukainen

- Extended, long lived, very tense pieces of 'string' formed during symmetry breaking in the early universe.
- They produce a scaling network:
- All lengths grow with the horizon size.
- Fraction of energy in the network is constant.

- Lose energy by gravitational radiation and emitting particles.
- Loops of string are long-lived, emitting GWs over many wavelengths as they get smaller with time.

Next page: video credit David Daverio, John Favre

In field theory, cosmic strings are topologically stable:

Picture source: arXiv:1005.4842

Can also be modelled by thin Nambu-Goto strings.

- Necklaces are networks of strings carrying monopoles.
- Models can be embedded in GUTs, including $\mathrm{SO}(10)$.
- Might behave differently to strings - role of monopoles?
- Observations:
- Cosmic ray and $\gamma$-ray signals? astro-ph/9704257
- Gravitational waves? (or lack thereof)

- "$\mathrm{SU}(2)$ Georgi-Glashow model with two adjoint Higgses" $$ \begin{multline} V(\Phi_1,\Phi_2) = - m_1^2\mathrm{Tr}\Phi_1^2 - m_2^2\mathrm{Tr}\Phi_2^2 \\ +\lambda (\mathrm{Tr}\Phi_1^2)^2 + \lambda (\mathrm{Tr}\Phi_2^2)^2 +\kappa(\mathrm{Tr}\Phi_1\Phi_2)^2. \end{multline} $$ with $\Phi_n^a = \phi_n^a\sigma^a/2$ and the usual action.
- If $m_1^2 > m_2^2$, get necklaces with monopoles, charge $\{\pm 1\}$.
- If $m_1^2 =
m_2^2$, behaviour depends on $\kappa/2\lambda$:
- If $\kappa = 2\lambda$, there's a global $\mathrm{U}(1)$ - superfluidity.
- If $\kappa \neq 2\lambda$, monopoles split into two
**semipoles**with complex charge $\{1,i,-1,-i\}$.

- When $m_1^2 > m_2^2$, $\mathrm{U}(1)$ breaks to $Z_2$
- Strings form, joining up the monopoles

- When $m_1^2 = m_2^2$ and $\kappa/2\lambda < 1$, get semipoles.
- Four types of pole, with complex charge $\{1, i, -1, -i\}$.
- Linked by four types of string, with complexified flux $\Phi_B^{(1)} + i \Phi_B^{(2)} \in \{1 + i, -1 + i, -1 - i, 1 - i\}$.

- When $m_1^2 = m_2^2$ and $\kappa/2\lambda > 1$, slight difference...
- Vacua rotated by 45° so string fields are rotated, too, $$\Phi_\pm = (\Phi_1 \pm \Phi_2)/\sqrt{2}.$$

- When $m_1^2 = m_2^2$ and $\kappa/2\lambda = 1$, there is a global $\mathrm{U}(1)$.

(We won't look at this any further today...)

- Real-time lattice simulation, temporal gauge ($A^0 = 0$).
- Initial conditions and evolution must satisfy Gauss law.
- Fundamental quantities: links $U_i \in \mathrm{SU}(2)$ and fields $\Phi_n$.
- Our key measurements are the location of monopoles and plaquettes with winding number.

- Make projectors $\Pi_\pm = \frac{1}{2} (1 \pm \hat{\Phi}_1)$ where $$\hat{\Phi}_1 = \Phi_1\sqrt{2/\mathrm{Tr}\, \Phi_1^2}$$
- Get the $\mathrm{U}(1)$ gauge field corresponding to $\Phi_1$, $$ u_\mu(x) = \Pi_+(x) U_\mu(x) \Pi_+(x+\hat{\mu}). $$
- Construct an effective "field strength tensor" hep-lat/0009037 $$ \alpha_{\mu\nu} = \frac{2}{g} \; \mathrm{arg} \; \mathrm{Tr}\; u_\mu(x) u_\nu(x+\hat{\mu}) u_\mu^\dagger(x+\hat{\nu}) u_\nu^\dagger(x). $$
- From which effective magnetic field and charge is $$B_i = \frac{1}{2} \epsilon_{ijk} \alpha_{jk}; \qquad \rho_{\mathrm{M}}= \sum_{i=1}^3 [B_i(x+\hat{\imath}) - B_i(x)] $$

- Similar to Abelian Higgs hep-ph/9809334
- Difference in phase angle for $\Phi_2$ hep-lat/0009037 $$\begin{multline}\delta_i(x) = \mathrm{arg} \; \mathrm{Tr} \; \big[ \hat{\Phi_2}(x) \Pi_-(x) U_i(x) \Pi_-(x+\hat{\imath}) \\ \hat{\Phi_2}(x +\hat{\imath}) \Pi_+(x+\hat{\imath}) U_i^\dagger(x) \Pi_+(x) \big]. \end{multline}$$
- Winding number through a plaquette in the $ij$-plane at $x$ is then $$Y_{ij}(x) = \delta_i(x) + \delta_j(x+\hat{\imath}) - \delta_i(x+\hat{\jmath}) - \delta_j(x) - g \alpha_{ij}(x). $$
- We can trace this (and the monopoles) through the lattice.

- ✅ Yes, we can obtain the residual $\mathrm{U}(1)$ field.
- ✅ Yes, we can measure the vortex winding associated with the other Higgs field.
- ✅ Yes, they're both gauge invariant.
- For necklaces, the heavier field (wlog $\Phi_1$) forms monopoles.
- For semipoles, we have to make two magnetic fields,
- either $\mathbf{B}^{(1)}$ and $\mathbf{B}^{(2)}$ from $\Phi_1$ and $\Phi_2$
- or $\mathbf{B}^{(\pm)}$ from $\Phi^{(\pm)} = \frac{1}{\sqrt{2}}(\Phi_1 \pm \Phi_2)$.

Video credit: Asier Lopez-Eiguren

- "Naive" random initial conditions (memory soon lost).
- Simulate physical equations of motion, but first:
- Some smoothing $$ \Phi_n(\mathbf{x}) \to \frac{1}{12} \sum_i \left[ \Phi_n(\mathbf{x}-\hat{\imath}) + 2\Phi_n(\mathbf{x}) + \Phi_n(\mathbf{x} + \hat{\imath}) \right]. $$
- Then some heavy damping in a Minkowski background.
- And 'core growth' (run equations with $s=-1$).

- $1920^3$ lattices, run for one light crossing time.
- Gauss Law OK, energy conservation < 1%.

(in addition to the usual caveats for field theory strings)

- Mass scales $m_1^2$ and $m_2^2$ will never be that
different 😕
- Largest we have is $m_2^2/m_1^2 = 0.04$.
- Decrease $m_2$? Fatter strings reduce statistics.
- Decrease $m_2$? Defect formation dynamics happens on time $1/m_2$ - need longer simulations. Light crossing time?
- Increase $m_1$? Smaller monopoles risk pinning on lattice.

Video credit: Anna Kormu
[link to Vimeo]

Video credit: Anna Kormu
[link to Vimeo]

Video credit: Anna Kormu
[link to Vimeo]

(note, isosurfaces of unrotated $\Phi_1$, $\Phi_2$)

- Lattice projectors give the positions of monopoles (total $N$) and plaquettes with winding (total $L$).
- Average defect separations in volume $V$ $$\xi_\mathrm{m} = \left(\frac{V}{N}\right)^{1/3}; \qquad \xi_\mathrm{s} = \left(\frac{V}{L}\right)^{1/2}.$$
- Comoving pole density $$ n = \frac{\xi_\mathrm{s}^2}{\xi_\mathrm{m}^3}. $$
- Energy, Lagrangian-derived measures less successful 🤷♂️.

- String separation: linear scaling with conformal time $\tau$.
- Monopole separation: $\xi_m \mathrm \propto{\tau}^{2/3}$.
- No real dependence on initial $\xi_\mathrm{m}$.

- Same general story as for necklaces.
- Some
*hints*of different $\kappa/2\lambda$ behaviour...

- Note 'pseudopoles': projecting wrong complexified $\mathbf{B}$ fields.
- Everything physical goes to constant $n$ (more or less).

- Large simulations of necklaces in radiation era: 10M CPUh.
- Both standard and semipole necklaces.
- String separation scales with conformal time: $\xi_\mathrm{s} \propto \tau$.
- But comoving pole separation $n$ along strings is
constant

⇒ Monopoles are "along for the ride"... - Models in the literature don't quite work.