  We study the nonequilibrium dynamics leading to the formation of topological
defects in a symmetry-breaking phase transition of a quantum scalar field with
\lambda\Phi^4 self-interaction in a spatially flat, radiation-dominated
Friedmann-Robertson-Walker Universe. The quantum field is initially in a
finite-temperature symmetry-restored state and the phase transition develops as
the Universe expands and cools. We present a first-principles, microscopic
approach in which the nonperturbative, nonequilibrium dynamics of the quantum
field is derived from the two-loop, two-particle-irreducible closed-time-path
effective action. We numerically solve the dynamical equations for the
two-point function and we identify signatures of topological defects in the
infrared portion of the momentum-space power spectrum. We find that the density
of topological defects formed after the phase transition scales as a power law
with the expansion rate of the Universe. We calculate the equilibrium critical
exponents of the correlation length and relaxation time for this model and show
that the power law exponent of the defect density, for both overdamped and
underdamped evolution, is in good agreement with the "freeze-out" scenario of
Zurek. We introduce an analytic dynamical model, valid near the critical point,
that exhibits the same power law scaling of the defect density with the quench
rate. By incorporating the realistic quench of the expanding Universe, our
approach illuminates the dynamical mechanisms important for topological defect
formation. The observed power law scaling of the defect density with the quench
rate, observered here in a quantum field theory context, provides evidence for
the "freeze-out" scenario in three spatial dimensions.
