
The physical, observable spectrum in gauge theories is made up from
gaugeinvariant states. The Fr\"ohlichMorchioStrocchi mechanism allows in the
standard model to map these states to the gaugedependent elementary $W$, $Z$
and Higgs states. This is no longer necessarily the case in theories with a
more general gauge group and Higgs sector. We classify and predict the physical
spectrum for a wide range of such theories, with special emphasis on GUTlike
cases, and show that discrepancies between the spectrum of elementary fields
and physical particles frequently arise.

In gauge theories, the physical, experimentally observable spectrum consists
only of gaugeinvariant states. This spectrum can be different from the
elementary spectrum even at weak coupling and in the presence of the
BroutEnglertHiggs effect. We demonstrate this for an SU(3) gauge theory with
a single fundamental Higgs, a toy theory for grandunified theories. The
manifestly gaugeinvariant approach of lattice gauge theory is used to
determine the spectrum in four different channels. It is found to be
qualitatively different from the elementary one, and especially from the one
predicted by standard perturbation theory. The result can be understood in
terms of the FroehlichMorchioStrocchi mechanism. In fact, we find that
analytic methods based on this mechanism, a gaugeinvariant extension of
perturbation theory, correctly determines the spectrum, and gives already at
leading order a reasonably good quantitative description. Together with
previous results this supports that this approach is the analytic method of
choice for theories with a BroutEnglertHiggs effect.

The inner structure of neutron stars is still an open question. To make
progress and understand the qualitative impact of gauge interactions on the
neutron star structure we study neutron stars in a modified version of QCD. In
this modification the gauge group of QCD is replaced by the exceptional Lie
group G$_2$, which has neutrons and is accessible at finite density in lattice
calculations. Using an equation of state constructed from lattice calculations
we determine the massradiusrelation for a neutron star in this theory using
the TolmanOppenheimerVolkoff equation. The results exhibit an influence of
the nontrivial interactions on the massradius relation. However, the masses
of the quarks are found to have little influence. We also give density profiles
and the phase structure inside the neutron star. If the results carry over to
full QCD, much of the internal structure of neutron stars could already be
inferred from a precise measurement of the massradius relation.

2color QCD, i. e. QCD with the gauge group SU(2), is the simplest
nonAbelian gauge theory without sign problem at finite quark density.
Therefore its study on the lattice is a benchmark for other nonperturbative
approaches at finite density. To provide such benchmarks we determine the
minimalLandaugauge 2point and 3gluon correlation functions of the gauge
sector and the running gauge coupling at finite density. We observe no
significant effects, except for some lowmomentum screening of the gluons at
and above the supposed highdensity phase transition.

In gauge theories, the physical, experimentally observable spectrum consists
only of gaugeinvariant states. In the standard model the
Fr\"ohlichMorchioStrocchi mechanism shows that these states can be adequately
mapped to the gaugedependent elementary W, Z, Higgs, and fermions. In theories
with a more general gauge group and Higgs sector, appearing in various
extensions of the standard model, this has not to be the case. In this work we
determine analytically the physical spectrum of $\mathrm{SU}(N>2)$ gauge
theories with a Higgs field in the fundamental representation. We show that
discrepancies between the spectrum predicted by perturbation theory and the
observable physical spectrum arise. We confirm these analytic findings with
lattice simulations for $N=3$.

The discovery of the Higgs together with the excellent performance of the LHC
allow to make precision tests of BroutEnglertHiggs Physics, and especially
its underlying fieldtheory. In this field theory strict gaugeinvariance
requires observable states to have a more involved structure than assumed in
standard perturbation theory. This can lead to, likely rather very small,
deviations in precision tests of the standard model. Here, the mechanism behind
these deviations will be elucidated, and, as an example, its possible
implications for the R ratio at future linear colliders will be estimated.

Gaugeinvariant perturbation theory is an extension of ordinary perturbation
theory which describes strictly gaugeinvariant states in theories with a
BroutEnglertHiggs effect. Such gaugeinvariant states are composite operators
which have necessarily only global quantum numbers. As a consequence, flavor is
exchanged for custodial quantum numbers in the standard model, recreating the
fermion spectrum in the process. Here, we study the implications of such a
description, possibly also for the generation structure of the standard model.
In particular, this implies that scattering processes are essentially
boundstateboundstate interactions, and require a suitable description. We
analyze the implications for the pairproduction process $e^+e^\to{\bar f}f$
at a linear collider to leading order. We show how ordinary perturbation theory
is recovered as the leading contribution. Developing a suitable PDFtype
language, we also assess the impact of subleading contributions. We find that
only for very heavy fermions in the final state, especially top quarks, sizable
corrections could emerge. This gives an interesting, possibly experimentally
testable, scenario for the formal field theory underlying the electroweak
sector of the standard model.

Beyond perturbation theory the number of gauge copies drastically increases
due to the GribovSinger ambiguity. Any way of treating them defines, in
principle, a new, nonperturbative gauge, and the gaugedependent correlation
functions can vary between them. Herein various such gauges will be constructed
as completions of the Landau gauge inside the first Gribov region. The
dependence of the propagators and the running coupling on these gauges will be
studied for SU(2) YangMills theory in two, three, and four dimensions using
lattice gauge theory, and for a wide range of lattice parameters. While the
gluon propagator is rather insensitive to the choice, the ghost propagator and
the running coupling show a stronger dependence. It is also found that the
influence of lattice artifacts is larger than in minimal Landau gauge.

Embedding QCD into the standard model breaks various symmetries of QCD
explicitly, especially C and P. While these effects are usually perturbatively
small, they can be amplified in extreme environments like merging neutron stars
or by the interplay with new physics. To correctly treat these cases requires
fully backcoupled calculations. To pave the way for later investigations of
hadronic physics, we study the QCD quark propagator coupled to an explicit
breaking. This substantially increases the tensor structure even for this
simplest correlation function. To cope with the symmetry structure, and
covering all possible quark masses, from the top quark mass to the chiral
limit, we employ DysonSchwinger equations. While at weak breaking the
qualitative effects have similar trends as in perturbation theory, even
moderately strong breakings lead to qualitatively different effects,
nonlinearly amplified by the strong interactions.

Beyond perturbation theory gaugefixing becomes more involved due to the
GribovSinger ambiguity: The appearance of additional gauge copies requires to
define a procedure how to handle them. For the case of Landau gauge the
structure and properties of these additional gauge copies will be investigated.
Based on these properties gauge conditions are constructed to account for these
gauge copies.
The dependence of the propagators on the choice of these complete
gaugefixings will then be investigated using lattice gauge theory for
YangMills theory. It is found that the implications for the infrared, and to
some extent midmomentum behavior, can be substantial. In going beyond the
YangMills case it turns out that the influence of matter can generally not be
neglected. This will be briefly discussed for various types of matter.

Gaugeinvariant perturbation theory for theories with a BroutEnglertHiggs
effect, as developed by Fr\"ohlich, Morchio and Strocchi, starts out from
physical, exactly gaugeinvariant quantities as initial and final states. These
are composite operators, and can thus be considered as bound states. In case of
the standard model, this reduces almost entirely to conventional perturbation
theory. This explains the success of conventional perturbation theory for the
standard model. However, this is due to the special structure of the standard
model, and it is not guaranteed to be the case for other theories. Here, we
review gaugeinvariant perturbation theory. Especially, we show how it can be
applied and that it is little more complicated than conventional perturbation
theory, and that it is often possible to utilize existing results of
conventional perturbation theory. Finally, we present tests of the predictions
of gaugeinvariant perturbation theory, using lattice gauge theory, in three
different settings. In one case, the results coincide with conventional
perturbation theory and with the lattice results. In a second case, it appears
that the results of gaugeinvariant perturbation theory agree with the lattice,
but differ from conventional perturbation theory. In the third case both
approaches fail due to quantum fluctuations.

Motivated by the nonnegligible dynamical backcoupling of the electroweak
interactions with the strong interaction during neutron star mergers, we study
the effects of the explicit breaking of C, P and flavor symmetry on the strong
sector. The quark propagator is the simplest object which encodes the
consequences of these breakings. To asses the impact, we study the influence of
especially parity violation on the propagator for various masses. For this
purpose the functional methods in form of DysonSchwingerEquations are
employed. We find that explicit isospin breaking leads to a qualitative change
of behavior even for a slight explicit breaking, which is in contrast to the
expectations from perturbation theory. Our results thus suggest that
nonperturbative backcoupling effects could be larger than expected.

The determination of the properties of neutron stars from the underlying
theory, QCD, is still an unsolved problem. This is mainly due to the difficulty
to obtain reliable results for the equation of state for cold, dense QCD. As an
alternative route to obtain qualitative insights, we determine the structure of
a neutron star for a modified version of QCD: By replacing the gauge group
SU(3) with the exceptional Lie group G2, it is possible to perform lattice
simulations at finite density, while still retaining neutrons. Here, results of
these lattice simulations are used to determine the massradius relation of a
neutron star for this theory. The results show that phase changes express
themselves in this relation. Also, the radius of the most massive neutron stars
is found to vary very little, which would make radius determinations much
simpler if this would also be true in QCD.

It is a longstanding question whether the confinement of matter fields in
QCD has an imprint in the (gaugedependent) correlation functions, especially
the propagators. As the analytic structure plays an important role in this
question, highprecision data is necessary for lattice investigations. Also, it
is interesting how this depends on the dimensionality of the theory. To make a
study over a wide range of parameters possible this suggests to use scalar
particles. This is done here: The propagator of a fundamental scalar is studied
in two, three, and four dimensions in quenched SU(2) YangMills theory in
minimal Landau gauge, both in momentum space and position space. Particular
emphasis is put on the effects of renormalization. The results suggest a quite
intricate volume dependence and the presence of an intrinsic mass scale, but no
obvious connection to confinement.

Observable states are gaugeinvariant. In a nonAbelian gauge theory, these
are necessarily composite operators. We investigate the spectrum of these
operators in the twoHiggsdoublet model. For this purpose, we are working
along the lines of the Fr\"ohlichMorchioStrocchi mechanism to relate the
physical spectrum to the spectrum of the elementary particles. We also
investigate the consequences of spontaneous breaking of the global (custodial)
symmetry group. Finally, we briefly comment on how to test the results using
lattice methods.

The description of electroweak physics using perturbation theory is highly
successful. Though not obvious, this is due to a subtle fieldtheoretical
effect, the Fr\"ohlichMorchioStrocchi mechanism, which links the physical
spectrum to that of the elementary particles. This works because of the special
structure of the standard model, and it is not a priori clear whether it works
for structurally different theories. Candidates for conflicts are, e.g., grand
unified theories. We study this situation in a toy model, a $SU(3)$ gauge
theory with two Higgs fields and a breaking pattern $SU(3) \rightarrow SU(2)
\rightarrow 1$. This mimics the weakHiggs sector of the standard model. We
determine the leading order predictions for the gauge invariant spectrum in
this theory, and discuss a setup to test them using lattice gauge theory.

${\cal N}=4$ Super YangMills theory is a highly constrained theory, and
therefore a valuable tool to test the understanding of less constrained
YangMills theories. Our aim is to use it to test our understanding of both the
Landau gauge beyond perturbation theory as well as truncations of
DysonSchwinger equations in ordinary YangMills theories. We derive the
corresponding equations within the usual oneloop truncation for the
propagators after imposing the Landau gauge. We find a conformal solution in
this approximation, which surprisingly resembles many aspects of ordinary
YangMills theories. We furthermore identify which role the GribovSinger
ambiguity in this context could play, should it exist in this theory.

Complete gaugefixing beyond perturbation theory in nonAbelian gauge
theories is a nontrivial problem. This is particularly evident in covariant
gauges, where the GribovSinger ambiguity gives an explicit formulation of the
problem. In practice, this is a problem if gaugedependent quantities between
different methods, especially lattice and continuum methods, should be
compared: Only when treating the GribovSinger ambiguity in the same way is the
comparison meaningful. To provide a better basis for such a comparison the
structure of the first Gribov region in Landau gauge, a subset of all possible
gauge copies satisfying the perturbative Landau gauge condition, will be
investigated. To this end, lattice gauge theory will be used to investigate a
twodimensional projection of the region for SU(2) YangMills theory in two,
three, and four dimensions for a wide range of volumes and discretizations.

YangMillsHiggs theory, being the standardmodel Higgs sector for a suitable
choice of gauge and custodial group, offers a rich set of physics. In
particular, in some region of its parameter space it has QCDlike behavior,
while in some other region it is Higgslike. Therefore, it is possible to study
a plethora of phenomena within a single theory. Here, the physics of the
standardmodel version is studied using lattice gauge theory. To this end, the
lowlying spectrum in several different channels is obtained for more than 140
different sets of bare parameters throughout the phase diagram. The theory
shows quite different behaviors in the different regions, from almost
YangMillslike to the one of an essentially free gas of massive photons.
Especially, not always is the behavior as naively expected.

Two popular perspectives on the nonperturbative domain of YangMills
theories are either in terms of the gluons themselves or in terms of collective
gluonic excitations, i.e. topological excitations. If both views are correct,
then they are only two different representations of the same underlying
physics. One possibility to investigate this connection is by the determination
of gluon correlation functions in topological background fields, as created by
the smearing of lattice configurations. This is performed here for the minimal
Landau gauge gluon propagator, ghost propagator, and running coupling, both in
momentum and position space for SU(2) YangMills theory. The results show that
the salient lowmomentum features of the propagators are qualitatively retained
under smearing at sufficiently small momenta, in agreement with an equivalence
of both perspectives. However, the midmomentum behavior is significantly
affected. These results are also relevant for the construction of truncations
in functional methods, as they provide hints on necessary properties to be
retained in truncations.

One of the major problems in developing new physics scenarios is that very
often the parameters can be adjusted such that in perturbation theory almost
all experimental lowenergy results can be accommodated. It is therefore
desirable to have additional constraints. Fieldtheoretical considerations can
provide such additional constraints on the lowlying spectrum and
multiplicities of models. Especially for theories with elementary or composite
Higgs particle the Fr\"ohlichMorchioStrocchi mechanism provides a route to
create additional conditions, though showing it to be at work requires genuine
nonperturbative calculations. The qualitative features of this procedure are
discussed for generic 2Higgsdoublet models, grandunified theories, and
technicolortype theories.

The propagators of the elementary degrees of freedom of
(minimal)Landaugauge YangMills theory have been a useful tool in various
investigations. However, in lattice calculations they show severe dependencies
on lattice artifacts. This problem has been addressed for various subsets of
lattice artifacts and various subsets of propagators over the time. Here, an
extended study of all propagators in momentum space, and for the gluon also in
position space, as well as derived quantities like the running coupling, is
provided simultaneously for two, three, and four dimensions over one or more
orders of magnitude in both physical volume and lattice spacing, in lower
dimensions also over more than two orders of magnitude for the gauge group
SU(2). Most of the known qualitative results are confirmed, but two quantities
also indicate a slight, but possibly interesting deviation.

YangMillsHiggs theory is quite a remarkable theory in that it shows very
different behaviors without phase transitions. It is dominated by the
BroutEnglertHiggs mechanism in some domain of the phase diagram, while it is
essentially QCDlike in another. It is expected that albeit there is no
qualitative difference, there are substantially quantitative differences
throughout the spectrum. This is investigated using lattice theory for the case
of the scalar singlet channel for more than a hundred different points in the
phase diagram. It is found that the results deviate partly substantially from
the expectations in some cases, but in others justify the picture of a weakly
interacting theory  even in cases of rather strong interactions at the
ultraviolet cutoff.

In gauge theories, observable quantities have to be gaugeinvariant. In
general, this requires composite operators, which usually have substantially
different properties, e.g. masses, than the elementary particles. Theories with
a Higgs field, in which the BroutEnglertHiggs effect is active, provide an
interesting exception to this rule. Due to an intricate mechanism, the
Fr\"ohlichMorchioStrocchi mechanism, the masses of the composite operators
with the same $J^P$ quantum numbers, but modified internal quantum numbers,
have the same masses. This mechanism is supported using lattice gauge theory
for the standardmodel Higgs sector, i.e. YangMillsHiggs theory with gauge
group SU(2) and custodial symmetry group SU(2). Furthermore, the extension to
the 2Higgsdoubletmodel is briefly discussed, and some preliminary results
are presented.

Vertices describe the interactions between the fundamental degrees of
freedom, and are therefore of vital importance in many abinitio descriptions
of field theory, especially using functional methods. To this end, we present
the first lattice study of the thermal behavior of (minimal) Landaugauge SU(2)
YangMills threepoint functions, i.e. threegluon and ghostgluon vertices.
Focusing on the chromomagnetic sector, we find that the phase transition mainly
affects the threegluon vertex, while the ghostgluon vertex is relatively
inert.