Skip to content

Q-Balls, Oscillons, and Sphalerons

Q-balls, oscillons, and sphalerons are localized configurations without topological stability, but their physical roles are fundamentally different. A Q-ball is an energy extremum—and on a stable branch a constrained minimum—at fixed exact Noether charge. An oscillon is a long-lived, radiating, approximately periodic real-time configuration whose lifetime must be measured or asymptotically controlled. A sphaleron is a static barrier saddle with at least one negative fluctuation mode. Fixed-charge stability, metastable persistence, and barrier instability are not interchangeable.

Required background. Derrick scaling and nontopological stability identifies the missing static balance, while continuous symmetries and charges supplies the Noether constraint. Helpful background. Collective quantization explains when a phase or position may become a low-energy coordinate.

Let Φ\Phi be a complex scalar in D+1D+1 dimensions,

L=∂μΦ∗∂μΦ−U(∣Φ∣),\mathcal L =\partial_\mu\Phi^*\partial^\mu\Phi-U(|\Phi|),

with an unbroken global U(1)U(1). Choose

jμ=i(Φ∂μΦ∗−Φ∗∂μΦ),Q=∫dDx j0.j^\mu =i\left(\Phi\partial^\mu\Phi^* -\Phi^*\partial^\mu\Phi\right), \qquad Q=\int\mathrm d^D x\,j^0 .

For

Φ(t,x)=12f(r)eiωt,\Phi(t,\mathbf x) =\frac{1}{\sqrt2}f(r)e^{i\omega t},

the charge and energy are

Q=ω∫dDx f2,Q=\omega\int\mathrm d^D x\,f^2, E=∫dDx [12(∇f)2+12ω2f2+U(f/2)].E =\int\mathrm d^D x\, \left[ \frac12(\boldsymbol\nabla f)^2 +\frac12\omega^2f^2 +U(f/\sqrt2) \right].

Extremizing EE at fixed QQ is equivalent to extremizing

Eω≡E−ωQ=∫dDx [12(∇f)2+U(f/2)−12ω2f2].E_\omega\equiv E-\omega Q =\int\mathrm d^D x\, \left[ \frac12(\boldsymbol\nabla f)^2 +U(f/\sqrt2) -\frac12\omega^2f^2 \right].

The profile is a bounce-like solution in the effective potential

Uω(f)=U(f/2)−12ω2f2,U_\omega(f)=U(f/\sqrt2)-\frac12\omega^2f^2,

with f′(0)=0f'(0)=0 and f(∞)=0f(\infty)=0. For a potential analytic in ∣Φ∣2|\Phi|^2 at the vacuum,

U(f/2)=12m2f2+O(f4)(f→0),U(f/\sqrt2)=\frac12m^2f^2+O(f^4) \quad (f\to0),

localized solutions require

min⁡f>02U(f/2)f2<ω2<m2.\min_{f>0}\frac{2U(f/\sqrt2)}{f^2} <\omega^2<m^2 .

The lower inequality lets UωU_\omega become negative away from the vacuum; the upper inequality gives an exponentially decaying tail. These are existence conditions for a branch, not a complete stability theorem. Coleman’s foundational treatment proves the fixed-charge construction and its large-charge behavior Coleman 1985, pp. 263–283.

Along a differentiable family of stationary profiles, stationarity of E−ωQE-\omega Q gives

dEdω=ωdQdω,dEdQ=ω\frac{\mathrm dE}{\mathrm d\omega} =\omega\frac{\mathrm dQ}{\mathrm d\omega}, \qquad \frac{\mathrm dE}{\mathrm dQ}=\omega

whenever dQ/dω≠0\mathrm dQ/\mathrm d\omega\neq0. For an ordinary ungauged Q-ball of one complex scalar, dQ/dω<0\mathrm dQ/\mathrm d\omega<0 is a useful branch-stability diagnostic when the unconstrained fluctuation operator has the standard single negative direction and no additional unstable sector. It is not a stand-alone theorem for gauged, multifield, or excited Q-balls; those cases require the full constrained spectrum. The assumptions behind the slope test and its failure for the usual gauged extension are analyzed in Panin and Smolyakov 2017, §§ II–III.

Three stability questions remain:

  • classical constrained stability: is the Hessian nonnegative on perturbations preserving QQ, apart from symmetry zero modes?
  • orbital stability: does real-time evolution stay near the U(1)U(1) and translation orbit?
  • absolute quantum stability: is E(Q)E(Q) below the lowest energy of all collections of lighter states carrying the same charge?

At the semiclassical level, for charge-one quanta of mass mm, E(Q)/Q<mE(Q)/Q<m is a useful sufficient test against decay into QQ free quanta. Other charged species or bound states can set a lower threshold, and the exact quantum comparison must use renormalized energies and masses. Charge conservation prevents disappearance; it does not ensure that one Q-ball is the lowest-energy carrier of that charge.

Oscillons: persistence without an exact charge

Section titled “Oscillons: persistence without an exact charge”

An oscillon is a localized, nearly periodic solution of a nonlinear real scalar field equation. A typical core oscillates with a fundamental frequency ω<m\omega<m, below the one-particle radiation threshold. Nonlinearity generates higher harmonics nωn\omega; those above mm can propagate, so the configuration normally radiates slowly.

There is no exact topological or Noether charge in the defining real-scalar problem. Its useful observables are instead

Ecore(t),ω(t),Prad(t),τ,E_{\mathrm{core}}(t),\qquad \omega(t),\qquad P_{\mathrm{rad}}(t),\qquad \tau,

where the lifetime τ\tau must be defined by a threshold or decay law. An approximate adiabatic invariant may explain slow drift in a controlled small-amplitude regime, but it is not an exact conserved charge.

Exact time-periodic, spatially localized breathers are exceptional. In nonintegrable theories such as generic ϕ4\phi^4 models, exponentially small radiation can invalidate every finite-order small-amplitude construction; Segur and Kruskal 1987, pp. 747–750 give a classic nonexistence result in the relevant small-amplitude setting. A finite simulation that shows no visible radiation establishes only a lower bound on τ\tau relative to the simulated time and numerical error.

There is no universal oscillon lifetime law. The leading radiating harmonic, the small-amplitude scaling, and even the usefulness of an adiabatic description depend on spatial dimension, the potential, and couplings to other fields. Fodor 2019, §§ 2–5 reviews these regime-dependent radiation mechanisms and the exceptional models with exact breathers.

Reliable oscillon evidence should report the spatial dimension, potential, initial data, box and absorbing boundary, resolution, conserved-energy drift, outgoing flux, frequency extraction, and lifetime definition. Convergence in grid spacing and box size must be separated from the physical small radiation rate.

A sphaleron is a static stationary point on an energy barrier between configurations that cannot be connected through low energy. It is not protected against decay: its defining fluctuation operator has at least one negative mode along the barrier-crossing direction. If ψ−\psi_- is a normalized negative mode,

Hsphψ−=−Ω2ψ−,Ω2>0,\mathcal H_{\mathrm{sph}}\psi_- =-\Omega^2\psi_-, \qquad \Omega^2>0,

then a perturbation along ψ−\psi_- grows at linear order. Zero modes from translations, rotations, or gauge orientation must be separated from this negative direction.

In the electroweak theory the Klinkhamer–Manton solution is a smooth saddle with characteristic energy

Esph=4πvg B ⁣(λg2,θW),E_{\mathrm{sph}} =\frac{4\pi v}{g}\, \mathcal B\!\left(\frac{\lambda}{g^2},\theta_{\mathrm W}\right),

where B\mathcal B is a dimensionless function determined by the gauge–Higgs profiles. The construction and its original fluctuation interpretation are in Klinkhamer and Manton 1984, pp. 2212–2220. Its role is to organize tunneling or thermal activation across a barrier. A transition rate additionally needs fluctuation determinants, zero-mode measures, a state or temperature, and real-time dynamics; the saddle energy alone is not a rate.

The number of negative modes is model- and branch-dependent. “Sphaleron” often denotes the index-one saddle on the minimal barrier path, but a numerical stationary solution must have its fluctuation index computed rather than inferred from its shape.

One comparison, three variational problems

Section titled “One comparison, three variational problems”

The shared stability taxonomy places the three decisive tests side by side: minimize EE at fixed exact QQ, measure metastable real-time persistence, or locate a barrier saddle and its negative direction. The soliton boundary and stability comparison adds each object’s construction, lifetime or moduli, and quantum or scope boundary.

Their defining data can be summarized without borrowing one another’s language:

ObjectExact constraintTime dependenceDecisive calculationCorrect claim
Q-ballGlobal Noether charge QQHarmonic phase; stationary energy densityConstrained profile and fixed-QQ HessianStable or metastable charge carrier in a stated branch
OscillonNone genericallyEssential, approximately periodicOutgoing radiation and converged lifetimeLong-lived configuration over a stated time range
SphaleronBarrier boundary conditions, not a protecting chargeStatic saddleFull fluctuation indexUnstable transition-state configuration

Q-ball. State the potential and frequency interval; compare E/QE/Q with every allowed charged threshold; distinguish classical from quantum stability. Gauged Q-balls add electric-field energy and charge-screening issues not covered by the global model above.

Oscillon. State the asymptotic or numerical small parameter if one exists. A lifetime extrapolated beyond the controlled time window is a conjecture, not a result.

Sphaleron. State the gauge, boundary conditions, gauge-zero-mode treatment, and number of physical negative modes. Thermal rates and anomalous charge violation belong to finite-temperature real-time dynamics.

Calling a Q-ball topological. Its field approaches the same vacuum in every direction. Stability, when present, comes from minimizing energy at fixed exact charge.

Calling an oscillon stable because it outlives the simulation. Its defining claim is a finite, method-dependent lifetime unless an exact theorem or conserved invariant is supplied.

Removing the sphaleron’s negative mode. Gauge modes should be removed; the physical barrier direction should not. Losing it changes the object’s role.

  1. Derive the Q-ball profile equation from EωE_\omega in DD spatial dimensions.
Solution

For a radial profile, variation gives

f′′+D−1rf′=ddfU(f/2)−ω2f,f''+\frac{D-1}{r}f' =\frac{\mathrm d}{\mathrm df}U(f/\sqrt2)-\omega^2f,

with f′(0)=0f'(0)=0 and f(∞)=0f(\infty)=0. The derivative of U(f/2)U(f/\sqrt2) is the total derivative with respect to ff. The friction-like term (D−1)f′/r(D-1)f'/r comes from the radial measure.

  1. Show that a smooth Q-ball branch satisfies dE/dQ=ω\mathrm dE/\mathrm dQ=\omega. Why does this identity alone not prove stability?
Solution

For each stationary profile, the first variation obeys δE=ω δQ\delta E=\omega\,\delta Q. Taking the variation to be displacement along the family gives

dEdω=ωdQdω.\frac{\mathrm dE}{\mathrm d\omega} =\omega\frac{\mathrm dQ}{\mathrm d\omega}.

Where dQ/dω≠0\mathrm dQ/\mathrm d\omega\neq0, division gives dE/dQ=ω\mathrm dE/\mathrm dQ=\omega. This is a thermodynamic identity along extrema. Stability additionally asks for the sign of the constrained Hessian and for comparison with all allowed fragmentation thresholds; a stationary branch can satisfy the identity and still be unstable.

  1. Explain why an oscillon with ω<m\omega<m can still radiate.
Solution

Nonlinear motion is not a pure sinusoid. Its Fourier series contains harmonics nωn\omega. Any harmonic with nω>mn\omega>m lies above the linear mass threshold and can propagate to infinity. Its amplitude may be exponentially or parametrically small, producing a long lifetime without exact periodicity.

  1. A stationary numerical configuration has one eigenvalue −Ω2-\Omega^2, three translation zero modes, and all remaining physical eigenvalues positive. Classify it.
Solution

After separating the translation modes, it is an index-one saddle: a sphaleron-type transition state. It is neither linearly stable nor metastable in isolation, because perturbations along the negative mode grow.

Moduli-Space Dynamics and Collective Quantization treats genuine normalizable zero modes. Accidental Symmetries and Their Violations owns the Standard Model selection rules, while Anomalous Charge Violation, Baryogenesis, and Cosmological Interfaces owns thermal sphaleron-rate inputs.

  • Coleman, Sidney. “Q-Balls.” Nuclear Physics B 262 (1985): 263–283; erratum 269 (1986): 744. Article DOI; erratum DOI.
  • Fodor, Gyula. “A Review on Radiation of Oscillons and Oscillatons.” arXiv:1911.03340 [hep-th], 2019. arXiv.
  • Klinkhamer, Frans R., and Nicholas S. Manton. “A Saddle-Point Solution in the Weinberg–Salam Theory.” Physical Review D 30 (1984): 2212–2220. DOI.
  • Panin, A. G., and Mikhail N. Smolyakov. “Problem with Classical Stability of U(1)U(1) Gauged Q-Balls.” Physical Review D 95 (2017): 065006. DOI.
  • Segur, Harvey, and Martin D. Kruskal. “Nonexistence of Small-Amplitude Breather Solutions in ϕ4\phi^4 Theory.” Physical Review Letters 58 (1987): 747–750. DOI.
  • Manton, Nicholas, and Paul Sutcliffe. Topological Solitons. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 2004, ch. 11, pp. 441–466. DOI.

Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.