1. Introduction
CP violation is rather naturally expected from the topological nature of the QCD vacuum,
-vacuum, which is required, at least, to solve the
anomaly. Nevertheless, the
-value evaluated from the measurement of the neutron dipole moment indicates the CP conserving nature in the QCD sector. This so-called strong CP problem is one of the most important problems yet unresolved in the standard model of particle physics. Peccei and Quinn advocated the introduction of a new global
symmetry [
1] in order to dynamically cancel out the finite
-value expected in the QCD sector with a counter
-value around which a massive axion appears as a result of the symmetry breaking. If the PQ-symmetry breaking scale is much higher than that of the electroweak scale, the coupling of axion to ordinary matter may be feeble. This invisible axion can thus be a reasonable candidate for dark matter as a byproduct.
In addition to axion, axion-like particle (ALP) not necessarily requiring the linear relation between mass and coupling such as in the QCD axion scenario [
2,
3,
4,
5], is also important in the context of inflation as well as dark matter in the universe. Among many possible ALPs, the
miracle model [
6] which unifies inflaton and dark matter within a single ALP attracts laser-based experimental searches, because the preferred ranges of the ALP mass
and its coupling to photons
are
and
GeV
−1, respectively, based on the viable parameter space consistent with the CMB observation.
So far, we have advocated a method to directly produce axion-like particles and simultaneously stimulate their decays by combining two-color laser fields in collinearly focused geometry [
7]. This quasi-parallel photon–photon collision system has been dedicated to sub-eV axion mass window and the searches have been actually performed [
8,
9,
10,
11,
12]. Given the axion mass window above eV and a typical laser photon energy of ∼1 eV, stimulated photon–photon collisions with different collision geometry has a potential to be sensitive to a higher mass window. In addition to the well-known axion helio- and halo-scopes, the proposed method can cooperatively provide unique test grounds totally independent of any of implicit theoretical assumptions on the axion flux in the Sun as well as in the universe. Therefore, if any of the helio- or halo-scopes detects a hint on an ALP, this method can unveil the nature of the ALP via the direct production and its stimulated decay in laboratory-based experiments by tuning the sensitive mass range to that specific mass window. In this sense, it is indispensable for us to prepare the independent method for expanding its sensitive mass window as wide as possible.
In this paper we propose a three-beam laser collider and discuss its expected sensitivity to an unexplored domain for the miracle model as well as the benchmark models of the QCD axion based on a realistic set of beam parameters available at world-wide high-intensity laser systems.
2. Formulation Dedicated for a Stimulated Three Beam Collider
We focus on the following effective Lagrangian describing the interaction of an ALP as a pseudoscalar field
with two photons
As illustrated in
Figure 1, in the averaged or approximated sense, we consider a coplanar scattering with four-momenta
(
i = 1–4)
where two focused laser beams,
, create an ALP with a symmetric incident angle
and the produced ALP simultaneously decays into two photons due to an inducing laser beam in the background,
, incident with a different angle
. As a result of the stimulated decay, emission of a signal photon
, is induced.
symbols reflect the fact that all three beams contain energy and momentum (angle) spreads at around the focal point. The energy uncertainty is caused by Fourier limited short pulsed lasers such as femtosecond lasers with the optical frequency, while the momentum uncertainty and fluctuations on angle of incidence are unavoidable due to focused fields. Thus,
,
and
must be stochastically selected from individual beams, while
is generated as a result of energy–momentum conservation via
.
We then assume a search for ALPs by scanning
, equal incident angles of the two creation beam axes, to look for an enhancement of the interaction rate when the resonant condition
is satisfied, where
is the ALP mass,
is the central value of single photon energies in the incident creation laser beams and
is center-of-mass system (cms) collision energy between two incident photons. Because individual incident photons fluctuate around the average beam energy
and also around the average incident angle
, this resonance condition has to be evaluated via weighted integral (averaging) over proper fluctuation distributions as we discuss below. In the following subsections, we thus review necessary formulae to numerically evaluate the interaction rate by taking generic collision geometry with asymmetric incident energies and asymmetric incident angles into account. This asymmetric treatment is essentially required, because unless we implement the degrees of the spreads at fixed
and
depending on experimental parameters, we cannot determine reasonable discretized steps for the scanning over the ALP mass range of interest.
In our previous work [
13], we introduced a theoretical interface allowing the asymmetric treatment in the case where a single focused beam is used for creation of an ALP resonance state and the other focused beam sharing the same optical axis as the creation beam is co-moving for inducing the decay. However, if the sensitive mass range must be increased, we have to introduce two separated incident beams for the creation part. Thus, a modified geometrical treatment for the three separated beams must be reconsidered. In [
13] we provided formulae only for the case of the scalar field exchange. In order to discuss ALPs, we have further extended the formulae to the pseudoscalar exchange case with the proper treatment of polarizations affecting the vertex factors [
14]. In the following subsections we will provide necessary formulae developed in [
13,
14] with necessary modifications for the purpose of this paper.
2.1. Expression for Signal Yield in Stimulated Resonant Scattering
Figure 2 explains the relation between theoretical coordinates with the primed symbol and laboratory coordinates to which laser beams are physically mapped. The
-axis is theoretically obtainable so that stochastically selected two incident photons satisfying the resonance condition have zero pair transverse momentum (
) with respect to
. The Lorentz invariant scattering amplitude is calculated on the primed coordinates where rotation symmetries of the initial and final state reaction planes around
are maintained. Definitions of four-momentum vectors
and four-polarization vectors
with polarization states
for the initial-state (
) and final-state (
) plane waves are given. The conversion between the two coordinates is possible via a simple rotation
as explained below. In the following, unless confusion is expected, the prime symbol associated with the momentum vectors is omitted.
We start by reviewing a spontaneous yield of the signal
,
, in the scattering process
only with two incident photon beams having densities
and
. The concept of
cross section is useful for fixed
and
beams. In a situation where
and
largely fluctuate within beams, however, its convenience is lost. Thus we apply the following factorization of
volume-wise interaction rate [
15,
16] instead of
cross section with units of length
L and time
s in
where the probability density of cms-energy,
, is multiplied for averaging over the possible range.
is a function of the combinations of photon energies (
), polar (
) and azimuthal (
) angles in laboratory coordinates, denoted as
for the incident beams
. The integral with the weight of
implements the resonance enhancement by including the off-shell part as well as the pole in the s-channel amplitude including the Breit–Wigner resonance function [
13,
14].
As illustrated in
Figure 2,
are kinematical parameters in a rotated coordinates
constructed from a pair of two incident wave vectors so that the transverse momentum of the pair with respect to a
-axis becomes zero. The primed coordinates are convenient because the axial symmetry around the
-axis allows simpler calculations for the following solid angle integral. The conversions from
Q to
are thus expressed as rotation matrices on polar and azimuthal angles:
and
.
By adding an inducing beam with the central four-momentum
having normalized density
with the average number of photons
, we extend the
spontaneous yield to the
induced yield,
, with the following extended set of kinematical parameters,
as follows
where the factor
is a probability corresponding to a degree of spacetime overlap of the
and
beams with the inducing beam
for a given volume of the
beam,
.
describes an inducible phase space in which the solid angles of
balance solid angles of
via energy–momentum conservation within the distribution of the given inducing beam after conversion from
in the primed coordinate system to the corresponding laboratory coordinate where laser beams are physically mapped. With Gaussian distributions
G,
is explicitly defined as
over
, where
reflecting an energy spread via Fourier transform limited duration of a short pulse and
in the momentum space, equivalent to the polar angle distribution, are introduced based on the properties of a focused coherent electromagnetic field with an axial symmetric nature for an azimuthal angle
around the optical axis of a focused beam, as we discuss below.
2.1.1. Evaluation of Spacetime Overlapping Factor with Three Beams
The factor
in Equation (
8) expresses a spatiotemporal overlapping factor of the focused creation beams (subscript
and
) with the focused inducing beam (subscript
i) in laboratory coordinates. The following photon number densities
deduced from the electromagnetic field amplitudes based on the Gaussian beam parameterization [
17] corresponding to the black pulse in
Figure 3 are integrated over spacetime
:
where
are the beam radii as a function of time
t whose origin is set at the moment when all the pulses reach the focal point, and
are the time durations of the pulsed laser beams with the speed of light
c and the volume for the inducing beam
is defined as
where
is the beam waist (minimum radius) of the inducing beam. As a conservative evaluation, the integrated range for the overlapping factor is limited in the Rayleigh length
with the wavelength of the inducing beam
only around the focal point where the induced scattering probability is maximized.
Figure 3 illustrates spacetime pulse functions propagating along individual optical axes of the three beams that are defined by rotating coordinates in Equation (
10) around
y-axis.
,
and
are defined with the rotation angles:
,
and
, respectively. That is, we assume symmetric incident angles between the two creation laser beams and supply the inducing laser so that photon four-momenta satisfy energy–momentum conservation with respect to a fixed central value for signal photon four-momenta.
The overlapping factor with units of [
] can be analytically integrated over spatial coordinates and is eventually obtained by numerically integrating over time from
to 0 as follows:
The individual variables in Equation (
13) are summarized as follows, where we use abbreviations
and
for
and we assume
,
,
,
and
, because two creation beams are incident with a symmetric angle and focused with equal beam diameters and focal lengths.
The parameters
and
G are
The parameters
and
Q are
The beam parameters relevant to focused geometry used above are expressed as
with
.
2.1.2. Evaluation of Inducible Volume-Wise Interaction Rate,
Performing the analytical integral for
in Equation (
8) is not practical and we are forced to evaluate it with the numerical integral. The expression for
in the inducible volume-wise interaction rate is fully explained in [
14]. In this paper, we focus on how to implement the numerical integral configured for a three-beam collider with focused beams.
Figure 4 illustrates the entire flow of the calculation. The left figure depicts the initial state of two scattering photons with incidence of two creation beams (green) and an inducing beam (red), while the right figure indicates the final state photons, that is, the inducing beam photons and signal photons (blue) in the laboratory coordinates by omitting the outgoing two creation beams. The top figure is to remind of the scattering amplitude calculation in the primed coordinates. Probability distribution functions in momentum space
as a function of polar angles
and azimuthal angles
in the laboratory coordinates and those in energy
for individual photons
are assigned to individual focused beams by denoting the normalized Gaussian distributions as
G. The actual steps for the calculations are as follows:
Select a finite-size segment of from given distributions.
Find
which satisfies the following resonance condition
with respect to the selected
and to a finite energy segment in
for a given mass parameter
. The possible
candidates satisfying the resonance condition form the yellow thin cone around the
-axis reflecting the width of the Breit–Wigner function as shown in the left figure.
Form a -axis so that the pair transverse momentum, , becomes zero, which is defined as zero- coordinates (primed coordinates) in contrast to the laboratory coordinates to which the three beams are physically mapped. Only a portion of the creation beam prepared for overlapping with the yellow cone can effectively contribute to the resonance production and, hence, the field weight for the pair can be eventually evaluated by properly reflecting and .
Convert the polarization vectors as well as the momentum vectors from the laboratory coordinates to the zero- coordinates through the coordinate rotation .
The axial symmetric nature of possible final-state momenta and around is represented by the light-blue and magenta vectors in the right figure. A spontaneous scattering probability with the vertex factors using the primed polarization vectors in the planes containing the four photon wave vectors is calculated in the given zero- coordinates as illustrated in the top figure. By using the axial symmetric nature around , the probability can be integrated over possible final state planes containing and .
In order to estimate the inducing effect for given distributions fixed in the laboratory coordinates, a matching fraction of is calculated after rotating the primed vectors back to those in the laboratory coordinates from the zero- coordinates via the inverse rotation . Based on the spread of , the weights along the overlapping belt between the magenta and red vectors in the right figure are taken into account as the enhancement factor for the stimulation of the decay.
Due to energy–momentum conservation, must balance with . Thus a signal energy spread via and also the polar-azimuthal angle spreads by taking the distributions into account are automatically determined. The volume-wise interaction rate is then integrated over the inducible solid angle of reflecting all the energy and angular spreads included in the focused three beams.
With Equation (
8) the signal yield
can be evaluated.
3. Expected Sensitivity
We evaluate search sensitivities based on the concept of a three-beam stimulated resonant photon collider (
SRPC) with variable incident angles for scanning ALP masses around the eV range as illustrated in
Figure 1. By assuming high-intensity femtosecond lasers such as Titanium:Sapphire lasers with 1 J pulse energy for simplicity, we consider that two identical creation beams with the central photon energy
and the time duration
are symmetrically incident with the same beam incident angle
and an inducing laser with the central photon energy
with
is incident with the corresponding angle which satisfies energy–momentum conservation by requiring a common signal photon energy
independent of various incident angle combinations. The central wavelength is around 800 nm and then we assume the ability to produce high harmonic waves from the fundamental wavelength for creation beams and to generate an inducing beam with a non-integer number
u based on the optical parametric amplification (OPA) technique in order to discriminate signal waves against the integer number high harmonic waves originating from the creation beams. Since the OPA technique cannot achieve the perfect conversion from the fundamental wavelength, we assume 0.1 J pulse energy and also the elongation of the pulse duration for the inducing beam compared to that in the creation beam.
Table 1 summarizes assumed parameters for two identical creation laser beams and an including laser beams as well as the common focusing and statistical parameters.
Given a set of three-beam laser parameters
P in
Table 1, the number of stimulated signal photons,
, is expressed as
which is a function of ALP mass
and coupling
, where
the number of laser shots and
the overall efficiency of detecting
. For a set of
values with an assumed
, a set of coupling
can be estimated by numerically solving Equation (
19).
Based on parameters in
Table 1,
Figure 5 shows the reachable sensitivities in the coupling–mass relation for the pseudoscalar field exchange at a 95% confidence level by
SRPC. The red, blue and magenta solid/dashed curves show the expected upper limits by
SRPC when we assume
nm (fundamental wavelength
), 400 nm (second harmonic
) and 267 nm (third harmonic
), respectively. The ALP mass scanning is assumed to be performed with the step of
eV. Thanks to energy and momentum fluctuations at around the focal point, the same order sensitivities are maintained within the assumed scanning step (the local minima of the parabolic behavior in the coupling correspond to different incident angle setups in
Figure 5). For easy viewing, the solid and dashed curves are drawn alternatively. These assumed photon sources are all available within the current technology [
18] in terms of the photon wavelength and energy per pulse.
These sensitivity curves are obtained based on the following condition. In this virtual search, the null hypothesis is supposed to be fluctuations on the number of photon-like signals following a Gaussian distribution whose expectation value,
, is zero for the given total number of collision statistics. The photon-like signals implies a situation where photons-like peaks are counted by a peak finder based on digitized waveform data from a photodevice [
11], where electrical fluctuations around the baseline of a waveform cause both positive and negative numbers of photon-like signals. In order to exclude this null hypothesis, a confidence level
is introduced as
where
is the expected value of an estimator
x following the hypothesis, and
is one standard deviation. In this search, the estimator
x corresponds to the number of signal photons
and we assume the detector-acceptance-uncorrected uncertainty
as the one standard deviation
around the mean value
. For setting a confidence level of 95%,
with
is used, where a one-sided upper limit by excluding above
[
19] is considered. For a set of experimental parameters
P in
Table 1, the upper limits on the coupling–mass relation,
vs.
, are then estimated by numerically solving the following equation
The horizontal dotted line shows the upper limit from the Horizontal Branch (HB) observation [
20]. The purple area shows bounds by the optical MUSE-faint survey [
21]. The green area is excluded by the helioscope experiment CAST [
22]. The yellow band shows the QCD axion benchmark models with
where KSVZ(
) [
4,
5] and DFSZ(
) [
23] are shown with the brawn lines. The cyan lines show predictions from the ALP
miracle model [
6] with its intrinsic model parameters
,
, respectively.