 Research
 Open Access
 Published:
Applying the matchedfilter technique to the search for dark matter transients with networks of quantum sensors
EPJ Quantum Technology volume 7, Article number: 5 (2020)
Abstract
There are several networks of precision quantum sensors in existence, including networks of atomic clocks, magnetometers, and gravitational wave detectors. These networks can be repurposed for searches of exotic physics, such as direct dark matter searches. Here we explore a detection strategy for macroscopic dark matter objects with such networks using the matchedfilter technique. Such “clumpy” dark matter objects would register as transients sweeping through the network at galactic velocities. As a specific example, we consider a network of atomic clocks aboard the Global Positioning System (GPS) satellites. We apply the matchedfilter technique to simulated GPS atomic clock data and study its utility and performance. The analysis and the developed methodology have a discovery reach up to three orders of magnitude above the previous GPS results and have a wide applicability to other networks of quantum sensors.
1 Introduction
Astrophysical observations on the galactic scale indicate that dark matter (DM) constitutes 85% of all matter in the universe, leaving only 15% to ordinary matter [1]. These galactic scale observations (e.g., rotation curves, cosmic microwave background, gravitational lensing) characterize solely the gravitational interaction of dark matter and ordinary matter, leaving the microscopic composition of DM and its nongravitational interactions with standard model particles and fields a mystery. Among the current DM searches, weakly interacting massive particles (WIMPs) have been the primary target with no success to date, thereby partially motivating alternative DM candidates [1]. One such alternative are ultralight fields where the DM candidate may take the form of a macroscopic object coherent over large scales. Such objects would exert gentle minute perturbations detectable by quantum sensors [2]. Quantum sensors are typically well protected from environmental perturbations which makes them uniquely sensitive to new physics. Examples include atomic clocks, magnetometers, atom interferometers, and microwave and optical cavities. The particular hypothesized form of coupling of DM fields to baryonic matter determines the type of the sensor to be used in the DM search [3].
Here we focus exclusively on ultralight fields. In general, one may consider free noninteracting and selfinteracting fields. We are interested in models with selfinteraction that can form macroscopic darkmatter objects, such as topological defects or Qballs [4–7]. Interactions of such DM constituents with standard model (SM) particles and fields can induce variations in fundamental constants of nature. Such variations may be detected by observing atomic frequencies in atomic clocks [8–10]. As the DM constituents sweep through a device, the variation would register as a transient perturbation. Geographicallydistributed networks can resolve the velocities of the transients and provide a powerful vetoing of the potential events as the sweep velocity must be consistent with standard halo model priors. These ideas form the basis of dark matter searches with distributed networks of atomic clocks [11–15], magnetometers [16, 17], and gravitational wave detectors [18–20] alike.
Our GPS.DM group focuses on searching for DMinduced transients in GPS atomic clock data [12, 13]. Here the advantage is the public availability of nearly two decades of archival data enabling relatively inexpensive data mining. A dark matter signature would consist of a correlated propagation of atomic clock perturbations through the GPS constellation at galactic (\({\sim} 300 \text{ km/s}\)) velocities. Previously, our GPS.DM collaboration performed an analysis of the archival GPS data in search for domain walls (a particular type of topological defect) [13]. Although no DM signatures were found, new limits were placed on certain DM couplings to atoms that were several orders of magnitude more stringent than prior astrophysical limits. The original search [13] focused on finding large DM signals well above the instrument noise. In Ref. [14], we have shown that the application of more sophisticated Bayesian search techniques can extend the discovery reach by several orders of magnitude both in terms of sensitivity and size/geometry of the DM objects. Here we study the performance of the matchedfilter technique (MFT) as an alternative frequentist search method. In addition, we develop analytic results for idealized network of whitenoise sensors with crossnode correlation.
The MFT is a relatively ubiquitous technique, utilized, for example, by the Laser Interferometer Gravitational Wave Observatory (LIGO) in gravitational wave detection (see, e.g. [21]). It is also used in a variety of applications, such as astrophysics [22], geophysics [23], and searches for exotic physics [24]. Of a special interest to us is the performance of the MFT for large networks, as the GPS.DM sensor array may include over a hundred instruments if we take into account all GNSS constellations and terrestrial clocks. A technical complication in applying the MFT to these networks is that the noise is correlated between spatially separated nodes of the network. Understanding the consequences of this crossnode correlation is of importance to our analysis.
The structure of this paper is as follows. Section 1.1 reviews the MFT for data analysis and previous applications. Section 1.2 formalizes requirements for a network detector of clumpy DM. Section 1.3 reviews the relevant theory and how the GPS network can be repurposed for DM searches of this sort. A summary of processing the GPS data is provided in Sect. 1.4. In Sect. 2, we describe our methodology, including the formulation of our detection statistic and the search algorithm. The detection threshold, detection probability and parameter estimation capabilities are provided in Sects. 3.2, 3.3, and 3.4, respectively. Lastly, the projected discovery reach for this method is provided in Sect. 3.5 and Sect. 4 draws conclusions. The paper also contains appendices where we discuss network covariance matrix and its inversion, inverse transform sampling, and present supporting derivations. Since the intended audience includes both atomic and particle physics communities, we restore ħ and c in the formulas in favor of using natural or atomic units. We also use the rationalized HeavisideLorentz units for electromagnetism.
1.1 The matchedfilter technique
The matchedfilter technique is often used to search for hidden signals within data streams in cases where the signal’s “shape” is known but the signal’s strength is not. In this case, the general shape can be compared to the data stream to search for an underlying correlation that is not immediately evident to the unaided eye. The matchedfilter itself is the best estimate of the unknown signal strength by employing an optimal filter. In the most general sense, an optimal filter is a particular combination of data that optimizes a quantity deemed to be significant, usually relating to signal detection within data sets [21]. Usual quantities of interest include the detection probability for a given signal strength and the signaltonoise ratio (SNR), though many other applicationspecific statistics can be devised.
Since the MFT requires a predefined signal shape, this approach cannot be used for unmodeled signals. When a hypothesized signal signature is able to be modeled, there often exist many candidate shapes along with the unknown signal strength. Thus, one forms a collection of signal shape templates that approximately spans the range of possible shapes. One could think of the MFT as a technique that maximizes an overlap between the templates and the data stream. This maximization is done with the help of a matchedfilter statistic, such as a SNR. However, it is not usually the value of the SNR alone that determines the level of overlap, but rather the value of the SNR compared to a threshold. Additionally, one of the most promising aspects of the MFT is the ability to align the shape of the detected signal with the template that produced an SNR above the detection threshold, leading to immediate signal parameter estimation.
The efficacy of the MFT depends on how well one can distinguish a weak signal from intrinsic device noise. Thus, a network of devices can offer a better sensitivity and higher confidence in the event of a positive detection since all network sensors would experience a signal from the same event.^{Footnote 1} If a hypothesized signal shape can be modeled for a network of devices, the MFT becomes a powerful tool for weak signal detection and signal parameter estimation.
1.1.1 Examples of the MFT in practice
Perhaps the most wellknown application of the MFT comes from the gravitational wave detection by LIGO (see e.g., [25]). A detailed outline of search techniques and matchedfiltering is provided in Ref. [21] and guided much of our development of the method discussed in this paper. However, LIGO’s use of the MFT involved a small network of devices that exhibit uncorrelated noise. The black hole merger gravitational wave detection from 2015, for instance, used only two spatially separated interferometers in the waveform template matching analysis [25]. Another previous application of the MFT used 1520 station from the International Deployment of Accelerometers (IDA), where geophysicists were been able to identify previously undetected global seismic events in archival IDA data [23]. The method has also found use in galaxy cluster identification [22] and in the search for neutrinoless beta decay [24].
All of these examples consider networks of devices far smaller than that available (∼100) to our DM search. Furthermore, an essential feature of our GPS.DM network search is a crossnode correlated noise (due to a reference clock common to all the nodes, see Sect. 1.4), which, to the best of our knowledge, has not been addressed in the literature. A related theoretical development for ultralight (non selfinteracting) DM fields is presented in Ref. [26]. There a quantum sensor network was considered for detecting DM waves and a SNR statistic was developed in the frequency domain. By contrast, here we focus on network detection of dark matter transients and develop a SNR statistic in the time domain.
1.2 Network desiderata
Here we are devising a strategy for detecting macroscopic DM objects that sweep through a distributed network of \(N_{\mathrm {D}}\) sensors. We use the words “sensor” and “node” interchangeably. In particular, a single geographical location may host several instruments, yet each individual sensor is referred to as a distinct node for our purposes. We will assume that DM objects interact (nongravitationally) with the instruments and the interaction only occurs when the bulk of the DM object overlaps with a sensor.
There are several criteria for such networks:
 (i)
The network should be sufficiently dense so that the finitesize DM object can overlap with at least several geographicallydistinct nodes.
 (ii)
The network size should be sufficiently large to increase the likelihood of encountering compact DM objects spread throughout the galaxy.
 (iii)
As per the standard halo model (SHM) [27] the DM objects sweep through the network at galactic velocities (\(v _{g} \sim 300 \text{ km/s}\)), the sampling rate should be sufficiently high to enable tracking the propagation of the DM object through the network. The tracking enables reconstructing the geometry of the encounter.
 (iv)
Although not necessary, it is desired that the encounters of DM objects with the network are sufficiently rare, so that only a single DM object interacts with the network at any given time.
While most of these requirements are apparent, criterion (iii) deserves further discussion. For example, while a setup [28] of two colocated clocks with a shared optical cavity can be considered as a rudimentary twonode network, such network does not satisfy criterion (iii) since even if both clocks were to register a DM signal, there would be no galactic velocity/direction signature to support the signal’s DM origin. Thus, such lowsampling rate networks can only be used to constrain couplings to the DM sector.
1.3 Clumpy dark matter models
Stable macroscopic objects may form from ultralight DM fields due to their selfinteraction in the dark sector [29–34]. Topological defects (TDs) are an example of such macroscopic “clumpy” DM objects, though they can also contribute to dark energy depending on their cosmological fluid equation of state [14]. Monopoles (0D), strings (1D), and domain walls (2D) are all examples of TDs of various dimensionalities. Other examples of macroscopic DM candidates include Qballs [5–7], solitons [35, 36], and axion stars [37, 38]. A special case of clumpy DM are DM “blobs” [39]—particlelike DM objects sourcing longrange Yukawatype interactions with the SM sector.
For concreteness, we focus on topological defects. Inside the defect, the amplitude of the DM field A and the average energy density of the defect is related by \(\rho _{\mathrm{inside}}= A^{2}/(\hbar c d^{2})\), where d is the width or spatial scope of the defect (we use the convention where the field has units of energy). The DM object width d is treated as a free observational parameter and, for TD models, may be linked to the mass of the DM field particles \(m_{\phi }\) through the healing length which is on the order of the Compton wavelength \(d=\hbar /(m_{\phi }c)\). Further, the local DM energy density \(\rho _{\mathrm{DM}}\) may be linked to d and A by assuming that these objects saturate the local DM energy density,
where \(\tau _{\text{avg}} \sim d/v_{g}\) is the average duration of crossing through a pointlike instrument and \(\mathcal{T}\) is the average time between subsequent encounters of the DM objects with the device [13].
As for the nongravitational interactions, to be specific and consistent with our earlier work [14], we assume the quadratic scalar portal,
where \(m_{f}\) are the fermion masses, ϕ is the scalar DM field (measured in units of energy), \(\varGamma _{X}\) are coupling constants that quantify the DM interaction strength, and \(\psi _{f}\) and \(F_{\mu \eta }\) are the SM fermion fields and the electromagnetic Faraday tensor, respectively. The SM fermions f in the above equation are summed over implicitly. Such interactions appear naturally for DM fields possessing either \(Z_{2}\) or \(U(1)\) intrinsic symmetries. The above Lagrangian leads to an effective redefinition of fundamental masses and coupling constants,
where \(m_{f}\) are the fermion (electron/proton \(m_{e/p}\) and light quark \(m_{q}\equiv [m_{u}+m_{d}]/2\)) masses and \(\alpha \approx 1/137\) is the electromagnetic finestructure constant. The coupling constants Γ have units of \([{\mathrm{Energy}}]^{2}\) and we also define the effective energy scales as \(\varLambda _{X} \equiv 1/\sqrt{ \vert \varGamma _{X} \vert }\) with \(X=\alpha , m_{e/p}, m_{q}\) to aid the comparison with previous literature.
The observable atomic frequency shift induced by the DM objects can be linked to the transient variation of fundamental constants, and thus the DM field parameter, from Eqs. (3) and (4). For a particular clock transition,
where \(\omega _{0}\) is the nominal clock frequency, X runs over relevant fundamental constants, and \(\kappa _{X}\) are dimensionless sensitivity coefficients. For convenience, we introduced the effective constant, \(\varGamma _{\mathrm{eff}} \equiv \sum_{X} \kappa _{X} \varGamma _{X}\), which depends on the specific clock.
The effective coupling constants for the GPS network microwave atomic clocks (Rb, Cs and H) read (using computations [40, 41], see [14] for details, and Ref. [42] for illucidating the underlying logic)
Although linear combinations of the coupling constants differ for each type of clock in the GPS network, individual coupling constants \(\varGamma _{X}\) (or, equivalently, individual energy scales \(\varLambda _{X}\)) can be obtained by combining the results from different clock types. A laboratory optical Sr clock has provided the most stringent constrains on \(\varLambda _{\alpha }\) for specific regions of the \((d,\mathcal{T})\) parameter space (see, e.g. [28]). More recently, new constraints have been placed on \(\varLambda _{\alpha }\), \(\varLambda _{m _{e}}\), and \(\varLambda _{m_{q}}\) by our GPS.DM collaboration [13] and on \(\varLambda _{\alpha }\) by a global network of optical laboratory clocks [15]. These two papers reported null results for domain wall searches.
1.3.1 Thin domain walls
In this paper we will focus on a specific type of DM signal—“thin” domain walls. While retaining the main features of more complicated signals from other types of DM “clumps”, this signal offers a sufficiently simple, analytically treatable signature. Domain walllike signatures can appear naturally in the context of bubbles, i.e., domain walls closed on themselves [13]. Locally, one can neglect the bubble curvature as long as the bubble radius is much larger than the spatial extent of the sensor network. Another example are Qballs that couple to SM fields through derivative couplings, \(\phi \phi ^{*} \rightarrow \partial _{\mu }\phi \partial ^{\mu }\phi ^{*}\) in Eq. (2). Qballs are spherically symmetric objects with a nearly flat density profile in the bulk. Thus the dominant part of the interaction would occur at the Qball walls. Again one needs to require the radii of these objects to be much larger then the network size. Since bubbles and Qballs are spherically symmetric, gravitationally interacting ensembles of these DM objects are a subject to the equation of state for pressureless cosmological fluid as required by the ΛCDM paradigm.
We distinguish between “thin” and “thick” walls based on the sampling rate, which is finite for any realistic device. If the interaction time with the device \(d/v_{g}\) is shorter than the sampling interval \(\tau _{0}\), the exact arrival time of the DM clump is not resolved, and neither its shape. Thus the DM object is “thin” for observational purposes if its size \(d \ll v_{g} \tau _{0}\). For domain walls, strictly speaking, the relevant velocity is its component normal to the wall, \(v_{\perp }\).
For the GPS sampling interval of \(\tau _{0} = 30 \text{ s}\), the above arguments translate into domain walls of thicknesses below the Earth size, \(d\ll 300\text{ km}\text{ s}^{1}\times 30\text{ s} \approx 10^{4} \text{ km}\). Any domain wall with a thickness larger than this value is characterized as “thick” and is discussed in more detail in Ref. [14].
The thin wall network signature is formalized in Sect. 2.2. For thin walls, the value of the effective coupling relates to the maximum DMinduced accumulated clock phase (time) signal \(h=\delta \omega _{\max }/ \omega _{0} \times \tau \) by
\(\tau = d/v_{\perp }\) being the interaction time between the wall moving at velocity v and an individual device. Again, for the wall to be “thin”, we require τ to be less than the sampling time interval \(\tau _{0}\).
With the theoretical background established, we now review GPS data and characterize the utility of applying the matchedfilter technique for DM search in network data streams. This includes establishing a signaltonoise ratio test statistic and benchmarking the method via simulation.
1.4 Overview of GPS data
A detailed description of modern GPS data acquisition and processing techniques and their application in precision geodesy can be found in Ref. [43]. Details relevant to DM searches with GPS constellation are given in Ref. [13]. Here, we briefly review the main aspects of GPS atomic clock data and introduce relevant concepts and terminology.
In our search, we analyze the GPS data generated by the Jet Propulsion Laboratory (JPL) [44]. This data consists of clock biases, the difference in clock phases (i.e., the operational “time” as counted by the clocks) between a given satellite clock and a fixed reference clock, and are sampled at \(\tau _{0}= 30 \text{ s}\) intervals. The same reference clock is used for the entire network of satellite clocks on any given day. The data set also provides the satellite orbits, so we know the locations of the networks nodes (satellites). The JPL performs the initial GPS data processing [44]. In their processing, they do not limit clock bias behavior, meaning that real transient signals are not removed as outliers.
Each clock’s bias data, denoted \(d_{j}^{(0)}\) where the subscript enumerates data points (epochs), is nonstationary and is dominated by random walk process. Prior to our analysis, we “whitten” the data by performing the firstorder differencing and define a new data stream
This differencing procedure is sufficient for the Rb satellite clocks while a secondorder differencing procedure (\(d_{j}^{(2)}=d_{j}^{(0)}2d _{j1}^{(0)}+d_{j2}^{(0)}\)) is often preferred for Cs clocks. We refer to the differenced data \(d_{j}^{(1)}\) as the pseudofrequency due to its proportionality to the discrete clock bias derivative. The units of pseudofrequency \(d_{j}^{(1)}\) are nanoseconds. As shown in Ref. [14] the pseudofrequency noise is dominated by the Gaussian white noise. To streamline notation, for the rest of the paper, \(d_{j} \equiv d_{j}^{(1)} \). Such data standard deviation σ is related to the commonly used Allan deviation \(\sigma _{y}( \tau _{0})\) as \(\sigma = \tau _{0} \sigma _{y}(\tau _{0})\).
An important aspect of the GPS time series data is that it consists of the individual clock noise and the noise of the reference clock. So, for each clock a, the noise component can be represented as
where \(e_{j}\) is the individual clock noise and \(c_{j}\) is the contribution from the reference clock noise common to all data streams. Here and below the superscript enumerates sensors. While both sources of noise in pseudofrequencies are dominated by the Gaussian white noise, in our simulations we will include realistic autocorrelation functions for the GPS clocks computed in [14].
1.4.1 Simulating GPS data
Characterizing the efficacy of the MFT is contingent on our ability to simulate the GPS atomic clock data. A detailed description of GPS data simulation along with a direct comparison to the GPS archival data is provided in Ref. [14]. The essence of the simulation method comes from utilizing the known power spectral densities for each clock (from JPL) to “color” pseudorandom white noise [45]. Moreover, we are able to simulate crossclock correlation by adding an extra set of simulated white noise with standard deviation equal to that of a typical reference clock (\(\sigma _{\times }\approx 0.006 \text{ ns}\)) to all of the simulated satellite clock data streams. This effectively acts as the common reference clock noise component to the satellite data in Eq. (11).
With the necessary background provided, we pivot to a description of our methodology in next section.
2 Methodology
We wish to determine whether there is significant evidence that a thin wall DM signal is present in the GPS archival atomic clock data or not. This can be formalized by the following twosided hypothesis test:
where h represents the strength of the possible hidden DM signal. Note that the alternative hypothesis \(H_{1}\) can be thought of a union of all possible alternatives \(H_{h}\) where h may be any nonzero real number. Furthermore, note that we allow the signal strength h to be both positive and negative, which is different than a typical signal strength search that treats h as an amplitude (and therefore nonnegative). This is because the sign of the DM interaction coupling Γ is not known a priori. That is, we do not know if the DMinduced perturbations will cause the GPS atomic clocks to tick faster or slower.
To perform the aforementioned hypothesis test, we must formulate a detection statistic ρ, which in this case will be a signaltonoise ratio and is formulated in the following section. Then, in order to claim detection, we must first establish a detection threshold \(\rho ^{*}\) (provided in Sect. 3.2) to compare to our observed statistic ρ.
The cases in which our search produces an observed SNR that exceeds the established threshold or not are treated differently. If our search results in a detection statistic larger than the threshold, we then wish to estimate the parameters relating to the DM interaction event. This is discussed in Sect. 3.4. On the other hand, if our search does not result in a detection statistic indicating an event, we wish to place limits on the signal strength h which translates into into limits on the DM coupling Γ via Eq. (9), see Sect. 3.5.
2.1 Formulation of test statistic
Consider a candidate DM model M that would leave a coherent signal in network sensor data set D. The data set may or may not include a candidate modelprescribed signal \(\boldsymbol{s}(\boldsymbol{\theta })\), where θ is the specific set of parameters that define the signal signature, such as the DM object’s velocity, orientation, arrival time and strength. If there is no signal within the data, then \(\boldsymbol{s}=0\). Taking a frequentist approach, all one needs is a likelihood function for the data set. This is given by the following Gaussian:
where K is the normalization factor and
Here \(d_{j}^{a}\) is data for the ath clock at epoch j and E is the covariance matrix for the network. To streamline notation, we dropped the explicit reference to template parameters θ. The indices a, b run over \(N_{\mathrm {D}}\) sensors (excluding the reference clock for GPS) and j, l range over the epochs (data points) in the observation time window of length \(J_{W}\). In an equivalent vector notation,
where d is the data stream and s is the signal stream.
The likelihood in Eq. (12) is a multivariate function of the signal parameters θ. An important aspect of our method is the signal linearity with respect to its strength h so that we can define a “unit” signal that is scaled by its strength
This way, our likelihood becomes
Since we do not know the shape or parameters of the unit signal \(\overline {\boldsymbol{s}}\) (or if there exists a signal within the data at all), we span the space of all possible signals by forming a large repository of unit signal templates (a discussion of how we form the repository of templates is provided in Sect. 2.2). Suppose we form a unit signal template \(\overline {\boldsymbol{s}}_{i}\) with a set of randomly (but strategically) chosen parameters. We then compare this template to the data stream via the likelihood function in Eq. (16). The template specific likelihood is then a function of only the signal strength h since each of the other signal parameters have been fixed to form \(\overline {\boldsymbol{s}}_{i}\). In this case, the templatespecific likelihood can be recast as a function of h alone
where
Here ĥ is the signal strength that maximizes the templatespecific likelihood and \(\sigma _{h}\) is the templatespecific likelihood standard deviation. We quantify how well the signal template \(\overline {\boldsymbol{s}}_{i}\) matches the signal within the data via a signaltonoise ratio statistic defined as
We emphasize that our use of the SNR as a statistic rather than its square is to retain the dependence on the sign of the DM coupling. The SNR statistic depends on the inverse of the covariance matrix E. Properties of the covariance matrix and its inversion techniques are discussed in Appendix 1. Note that Eq. (20) is general in that it applies to any modelled signal (monopoles, strings, walls, etc.), though here we treat the case of thin walls only.
In general, due to the central limit theorem, we can assume that the intrinsic noise of the network sensors is Gaussian (the noise may be colored). This was the underlying assumption in writing the likelihood (12). Then the SNR statistic (20) is a linear combination of Gaussian random variables, and as such, the SNR is also a random Gaussian variable.
Now, recall that we wish to span the space of possible modelprescribed signals with a repository of unit signal templates. Then, given a repository of M randomly generated templates, we define our detection statistic ρ as the templatespecific SNR with the largest magnitude
Choosing this as the detection statistic results in finding the signal template that maximizes the multivariate likelihood (12).
With our detection statistic defined, in the next sections we outline our method of unit template generation and provide an overview of our procedure for searching the GPS datastreams for DM events.
2.2 Template generation
Each signal template is determined by the DM model used (in this case, the thin domain wall) and the necessary parameters associated with the event: velocity (and incident direction), time of the event and thickness of the DM object. Since it would take an infinite number of modelprescribed signal templates to cover such a continuous parameter space, we strategically generate our finite repositories (template banks) of signals with a MonteCarlo approach using prior distributions for individual parameters. When generating signals for a template bank, we employ importance sampling for each parameter according to these prior distributions in an effort to approximately span the continuous parameter space with a finite sample. This approach is formalized in Appendix 3.
We use the SHM to generate necessary parameter prior distributions. The velocity distribution for DM objects in the halo is quasiMaxwellian and isotropic with a dispersion around \(v\approx 300 \text{ km s}^{1}\) [27]. In addition, there is a motion of the Solar system through the halo at galactic velocities of \(v_{g} \approx 220 \text{ km s}^{1}\). The resulting most probable incident direction of a DM object is along the path of the Sun’s orbit in the galaxy, toward the Cygnus constellation. This implies that over 90% of DM events would come from the forward facing hemisphere [13]. Further discussion of priors for event parameters such as domain wall width and event rate is provided in Ref. [14]. The event parameters (velocity, incident direction, etc.) determine in which order the nodes are swept, as well as how quick the sweep is. These characteristics distinguish the templates within the template bank.
After generating the template parameters, we form the signal templates. The thin domain wall is characterized by an interaction time with each device (clock) of less than the sampling time interval; thereby, the profile contains deltafunctions of time. The DMinduced clock bias (phase) of a given clock a is proportional to an integral of the frequency shift (5). Further, the bias data stream is given with respect to a fixed reference clock R, which is also affected by the domain wall. We thus distinguish between maximum signals \(h^{a}\) and \(h^{R}\) as shown in Eq. (9). The signal in the differenced data stream \({s^{a}_{j}}^{(1)}\) then reads (for the case when the wall encounters the clock a prior to the reference clock R)
where the time at epoch j is \(j\times \tau _{0}\), a discrete time on the sampling grid, and \(j_{a}\), \(j_{R}\) are the epochs in which the satellite clock and reference clock interact with the DM object, respectively. This template is shown graphically in Fig. 1.
In a homogeneous network of clocks, the values of \(h^{a}\) and \(h^{R}\) are the same, thereby allowing us to split a single h from the differenced signal to form the templates with unit spikes at \(j_{a}\) and \(j_{R}\). This is also true for any network under the assumption that the \(\varGamma _{m_{e}}\) coupling dominates over other couplings (i.e., \(\varGamma _{m_{e}} \gg \varGamma _{\alpha ,q}\)) since the \(\varGamma _{m_{e}}\) contribution in Eqs. (6)–(8) is the same for all clock types. Assuming that any other coupling dominates, we may still split a single h from the differenced signal but the unit templates will contain a unit spike at \(j_{a}\) and a spike of magnitude \(\eta \equiv h^{R}/h^{a} = \varGamma _{\text{eff}}^{R}/\varGamma _{\text{eff}} ^{a}\) and of opposite sign at \(j_{R}\).
We would also like to highlight the importance of a wellspaced network for the MFT approach and template generation. Wellspaced meaning that few (if any) satellite clocks are affected by the DM wall within the same 30 s time period as the reference device. If the network nodes were not sufficiently spatially separated, the signal templates from Eq. (22) would collapse into “null” templates, where all elements of the signal stream are zero. This is due to the node devices and reference device desynchronizing and resynchronizing all within the time period of one epoch, effectively eliminating detectable DM interaction effects on the data stream.
Beyond individual template generation, we must choose an appropriate number of templates in the repository to accurately span the parameter space. In Sect. 3.3 we gauge how the number of templates affects the DM signal detection capabilities.
3 Results
3.1 Analytic results for idealized network
Now we turn to the general SNR (20) and determine the statistical properties of SNR for thin domain wall signals (22). In this section, we consider an analytically treatable case of an idealized network comprised of \(N_{\mathrm {D}}\) identical white noise sensors. We additionally incorporate a white noise reference sensor common to all the sensors. This common noise reference sensor is especially relevant to GPS clock network, where it arises due to all clock biases reported with respect to a single reference clock. We will denote the intrinsic noise variance of the network sensors and the reference sensor as \(\sigma ^{2}\) and \(\sigma _{\times }^{2}\), respectively. Both the sensors and the reference can be affected by dark matter transients.
We will determine the expected distribution of the templatespecific SNR values \(\rho _{i}\) given that there is no signal in the data stream, \(\operatorname {Prob}{(\rho _{i}H_{0})}\), as well as the distribution of the detection statistic given that there is a signal of strength h present, \(\operatorname {Prob}{(\rho H_{h})}\), for this idealized sensor network.
As discussed in Sect. 1.1, the central quantity of interest, SNR (20), is a Gaussian random variable and as such its probability distribution is fully characterized by its mean value and variance. Because it is random, the SNR can fluctuate. Due to these fluctuation, even in the absence of the DM signal, the SNR may attain large values that can be falsely misinterpreted as the presence of the DM signal. The larger the SNR variance, the larger the fluctuations are, and the larger detection threshold must be.
For the idealized network, the inverse of the covariance matrix needed to compute the SNR statistic can be found analytically (see Appendix 1)
where \(\xi \equiv N_{\mathrm {D}}\sigma _{\times }^{2}/\sigma ^{2}\).
Now, if there is a signal present in the data stream, each individual sensor’s data is given by \(d_{j}^{a} = e_{j}^{a}  c_{j} + h\overline {s} _{j}^{a} \) (a sum of an individual sensor noise, reference noise and a signal term). When the signal is absent, one can simply set \(h\to 0\). Our explicit computation using Eq. (20) with \(\overline {\boldsymbol{s}}_{i} = \overline {\boldsymbol{s}}\) (see Appendix 2 for derivation) results in a Gaussian distribution for ρ with a mean of
and variance of
Here \(\eta \equiv h^{R}/h^{a} = \varGamma _{\mathrm{eff}}^{R}/ \varGamma _{\mathrm{eff}}^{a}\) is the ratio between the strength of the signal experienced for the reference clock to that of the satellite clocks. Note that we assumed that device degeneracy (multiple sensors experiencing a signal at the same epoch) can be ignored. Note that when the DM signal is absent (\(h=0\)), \(\mu _{\rho } =0\) while \(\sigma _{ \rho }\) remains constant. Moreover, the standard deviation of templatespecific SNR \(\sigma _{\rho _{i}}\) is also constant at 1. The probability density distribution for SNR (for a fixed, matching template) is given by
Assuming that none of the couplings \(\varGamma _{X}\) dominates the DM interaction with GPS devices, \(\eta \approx 1\) for any of the satellitereference clock combination (see Eqs. (68)). This remains true if either \(\varGamma _{\alpha }\) or \(\varGamma _{m_{e}}\) dominates the interaction. The only major deviation of η from a value near 1 is when \(\varGamma _{m_{q}}\) is the dominate coupling, for which the use of a network of Rb clocks with an Hmaser reference clock will result in \(\eta \approx 2\). For the following analysis, we will assume that \(\eta = 1\).
In the limit \(\xi \ll 1\), i.e., \(\sigma _{\times }\ll \sigma / \sqrt{N_{\mathrm {D}}}\), we arrive at \(\mu _{\rho } = h\sqrt{2N_{\mathrm {D}}}/\sigma \), recovering the known result for a network of uncorrelated devices (see e.g., Ref [21]). For networks with large crosscorrelation or large number of devices (\(\xi \gg 1\)), we arrive at \(\mu _{\rho }= h\sqrt{N_{\mathrm {D}}}/\sigma \), a factor of \(\sqrt{2}\) less than the uncorrelated network. Regardless of the level of crosscorrelation, the network sensitivity grows with the sensor number as \(\sqrt{N_{\mathrm {D}}}\).
In our search, we do not use the exact inversion of the covariance matrix as was used to derive the expressions in this section. Instead we incorporate a perturbative inversion (see Appendix 1) which assumes that the reference clock noise is small compared to the noise of the satellite clocks.
3.1.1 Multiple events
The Bayesian technique outlined in [14] assumed there to be at most one DM interaction event in any particular time window of the archival GPS data. So far, here we have also only treated the case of a single thin wall interaction event occurring in a time period of \(J_{W}\) epochs. However, if we consider dark matter encounters to be Poisson distributed in time, with an average time between consecutive events \(\mathcal{T}\), over the 20 years of archival data we would expect there to be \(N_{E} = ( 20 \text{ years})/\mathcal{T}\) events. Then, extending our search window \(J_{W}\) to contain the total number of epochs in the entire twodecade window of GPS data, and assuming that consecutive events are nonoverlapping, we find that the mean of our detection statistic (24) increases by a factor of \(\sqrt{N_{E}}\), while the variance of the statistic remains unchanged. This ultimately improves our sensitivity by \(\sqrt{N_{E}}\). Qualitatively, this is due to the fact that we measure the signal strength \(N_{E}\) times.
While this section analyzed an idealized network, simplifying assumptions will be lifted in full numerical simulations in later sections. We will use real colored noise autocorrelation functions for heterogeneous networks of GPS clocks.
3.2 Determination of a detection threshold
In order to find a detection threshold, we must determine how the detection statistic behaves in the case when there is no signal present in the data. This way we can determine whether the computed statistic provides a significant evidence for rejecting the null hypothesis and claiming DM detection. Rather than obtaining the distribution for our test statistic given the null hypothesis is true, \(\operatorname {Prob}(\rho H_{0})\), we determine our detection threshold in a different yet equivalent fashion given the nature of our test statistic.
Recall that we define our detection statistic as the templatespecific SNR with the maximum magnitude out of a repository of M templates. Instead of assessing the distribution of the maximum magnitude \(\rho _{i}\), we simply assess the distribution of \(\rho _{i}\). To this end, we performed MonteCarlo simulations consisting of ≈10^{6} SNR calculations on event free simulated data and confirmed that the distributions for \(\rho _{i}\) given the null hypothesis is true are Gaussian with a mean of zero and standard deviation \(\sigma _{\rho _{i}}\). The results of the simulations for various simulated clock networks (clock networks for the years 2000, 2005, 2010, and 2015; see Table 1) are provided in Fig. 2. Given that the templatespecific SNR behaves in this fashion, the probability that any of the templates in the repository produces an SNR value larger in magnitude than some SNR threshold \(\rho ^{*} = n^{*}\sigma _{\rho _{i}}\), is
where M is the number of templates used in the template repository. This is a false positive rate per epoch.
A reliable SNR threshold will ensure that we can expect less that 1 false positive in Z epochs. The value of \(n^{*}\) that meets this criterion is
The most reliable threshold would allow less than one false positive in the entire span of data. For 20 years of archival 30second GPS data, \(Z=2.1\times 10^{7}\) epochs. With \(M=1024\) templates in the repository, the value of \(n^{*}\) is 6.57, corresponding to a threshold SNR of \(\rho ^{*} = 6.57\sigma _{\rho _{i}}\). However, less strict detection thresholds may be used to identify possible weak candidate events for further investigation. Note that the value for \(n^{*}\) depends weakly (logarithmically) on the number of templates M, thereby it does not vary significantly for different sized template repositories. Ultimately, our detection threshold is given by \(\rho ^{*} = n^{*} \sigma _{\rho _{i}}\). Using the distributions in Fig. 2, we calculate the detection thresholds for each network allowing for 1 false positive per day, 10 false positives per year, and 1 false positive in 20 years. Table 2 summarizes the results.
3.2.1 Future networks and alternative data processing
As mentioned in Sect. 3.1, in our simulations we use a perturbative inverse of the covariance matrix; see Appendix 1. This approximation relies on the noise level of the satellite clocks being sufficiently larger than the noise of the reference clock. The GPS clock networks for the years 2000 through 2015 satisfy the quiet reference clock requirement. In recent years, however, more stable RbIIF clocks with noise comparable to that of the reference clocks have been added to the GPS constellation thereby weakening the justification for the perturbative approximation for \(\boldsymbol{E}^{1}\). Moreover, future GNSS networks will contain a plethora of ground and satellite based Hmaser clocks to be exploited in our searches (Galileo satellites already house stable Hmasers [46]). Switching our method to use the exact inversion mitigates, but with the tradeoff of computational overhead. We wish to avoid using an exact inversion of the covariance matrix due to the fact that it drastically increases computation time and would add a considerable amount of time to a search through the GPS data.
Considering the insufficiency of the perturbative approximation for more recent clock networks, here we offer a possible mitigation technique. As more accurate satellite clocks are being placed in orbit, more reference clocks are being placed around the globe. We propose pairing each of the satellite clocks with their own reference clock, thereby eliminating the crosscorrelation caused by the use of a single reference clock that is inhibiting current search techniques. Suppose there are \(N_{D}\) atomic clocks, satellite and Earthbased, at our disposal with half of them being Earthbased. The large level of crosscorrelation that restricts the perturbative inversion may be eliminated by using data from \(N_{D}/2\) satelliteEarth clock pairs. The application of the matchedfilter technique can be reformulated for a network of device pairs and is left for future work when such networks become a reality.
3.3 Detection probability
3.3.1 Detecting events
In the event of a weak DM signal presence in the data stream, it may not be immediately noticeable in the atomic clock data due to the randomness of the clock noise. The advantage of the SNR (and a detection statistic in general) is to provide a clear gauge of the signal presence. We verify that the SNR statistic is capable of detecting sought DM signals via simulation.
To this end, we simulated 2 hours of data for a network of \(N_{D}=30\) clocks that exhibit Gaussian white noise with a standard deviation of \(\sigma = 0.05 \text{ ns}\) along with a white noise reference clock contribution with noise level \(\sigma _{\times }= 0.006 \text{ ns}\). We then injected a signal of strength \(h=0.1 \text{ ns}\) in the middle of the data stream with normal velocity of \(v_{\perp }\approx 300 \text{ km}\text{ s} ^{1}\) and incident direction angles \(\theta \approx 1.7\pi \text{ rad}\) and \(\phi \approx 0.2\pi \text{ rad}\) (this in the Earthcentered Inertial (ECI) J2000 frame), which are the most probable event parameters according to the SHM and our previous calculations (see [14]). The results of performing our search technique on this data set is shown in Fig. 3, where we show the time series data (with the injected signal) for 6 of the 30 clocks. The upper panel shows magnitude of the calculated detection statistic [Eq. (21)] for each epoch in the two hour window. This simulation used a template repository of size \(M=1024\) and the calculated detection threshold for this type of network is given by \(\rho ^{*} = 6.57\) (allowing for no falsepositives in 20 years). While the injected signal is not recognizable by the eye in the simulated data streams, a spike in the detection statistic at the time of the injected event is apparent.
Note that the search method is not aware of the event’s strength, speed, direction, time of occurrence, or the fact that there was an injected signal at all. The injected signals were generated independently of the search routine and the template bank.
3.3.2 Detection probability
The main figure of merit of the MFT algorithm is a detection probability curve for the various clock networks that have been collecting data for the past two decades. The detection probability is defined as the probability that the observed detection statistic exceeds the detection threshold given that the alternative hypothesis is true: \(\operatorname {Prob}( \rho > \rho ^{*} H_{h})\). We wish to determine the detection probability for our various clock networks as a function of the signal strength h and obtain a 95% detection probability signal strength, denoted \(h^{95\%, \text{D.P.}}\).
MonteCarlo simulations produced the detection probability curves shown in Fig. 4. The simulation scheme consisted of 128 trials where a randomlygenerated thinwall signal of strength h was injected into a data stream for a particular clock network and the detection statistic was calculated for every epoch within the simulated data stream. An event was considered found if the computed SNR exceeded the network’s threshold within one epoch of the injected event time. We compared the calculated SNR values with two different detection thresholds: one that allows for 10 false positive events per year and another one that allows for less than 1 false positive event in the 20 year span of the GPS data. The number of found events divided by the number of iterations gave us the detection probability. This detection probability was computed for a range of injected signal strengths.
Along with the detection probability curves, we plot the average of the 128 SNR calculations at the epoch where the signal was injected as a function of the signal strength. This is also shown in Fig. 4. We can see that the SNR is a linear function of h, as expected. This fact helps form a confidence interval for the signal strength h in the event that a DM signal is found.
To verify that our detection probability curve provides us with the correct value for \(h^{95\%, \text{D.P.}}\), we performed an auxiliary simulation. Here we injected signals of strength \(h^{95\%, \text{D.P.}} = 0.045\text{ ns}\) for the 2010 clock network into a simulated data stream. For each signal injection with random parameters, we calculate the detection statistic ρ. The histogram of the detection statistic for 10^{5} of these simulations is provided in Fig. 5. The resulting histogram confirms that the distribution for \(\operatorname {Prob}(\rho H_{h}, h=h^{95\%, \text{D.P.}})\) is indeed Gaussian. Moreover, using a Gaussian distribution with the same mean and standard deviation as calculated, we find that \(\operatorname {Prob}( \rho >\rho ^{*}H_{h}, h=h^{95\%, \text{D.P.}}) = 0.946\), almost exactly as expected.
A major factor associated with detection probability is the number of devices in the network \(N_{\mathrm {D}}\). A more complete discussion of this using the analytic results from Sect. 3.1 is provided in Sect. 3.5.1. Our analysis of detection probability using simulated GPS data was continued by the varying the number of devices in the network \(N_{D}\). We injected signals of varying strength into simulated homogeneous networks of 20, 30, and 50 white noise devices. The percentage of events found as a function of the injected signal strength for these networks is shown in Fig. 6. The average value of the detection statistics for each signal strength and clock network is also provided in the same figure. It is clear that our sensitivity to weaker signals improves as the number of devices in the network increases. We have found that \(h^{95\%, \text{D.P.}} \propto 1/\sqrt{N_{\mathrm {D}}}\), as expected.
To complete our analysis of factors affecting detection probability, we tested the effect of the template repository size M. To this end, we simulated a network of 30 homogeneous devices with standard deviation \(\sigma =0.05\text{ ns}\) and injected events of varying strengths into the data streams. The simulated reference clock had a standard deviation of \(\sigma _{\times }= 0.006\text{ ns}\). We then calculated detection statistics for the event using repositories of 256, 1024, and 4096 templates. The effect of template size on sensitivity in provided in Fig. 7 along with the corresponding detection statistic. Notice that an increased template repository size results in better sensitivity and larger SNR values. However, increasing the number of templates results in an increase in the false positive rate [Eq. (27)] along with an increase in computation time. To balance the false positive rate, detection probability and computation time, we typically use 1024 templates in our template repositories.
3.4 Parameter estimation
In the event that we find a DM signal in the data stream, our main goal is to estimate the parameters associated with the DM object that caused the signal. Among the parameters of interest are the incident speed, incident direction, event time, and signal strength. The estimates we provide on these parameters correspond to the parameters associated with the modelprescribed signal template that results in an SNR above the detection threshold.
In order to test the efficacy of our parameter estimation, we performed \(\approx 20{,}000\) iterations of injecting a DM signal of considerable strength (twice the level of the noise standard deviation, \(\sigma = 0.05\text{ ns}\)) with random parameters into a stream of simulated whitenoise data for \(N_{D}=30\) clocks. For each iteration, we calculate the SNR for every epoch in the simulated time window and store the event parameters that resulted in an SNR above the detection threshold. These extracted parameters are then compared to the injected parameters to check the precision of our parameter extraction. Histograms depicting our precision are shown in Fig. 8. Our resulting resolution was the following: \(\pm 27\text{ km} \text{ s}^{1}\) for velocity, \(\pm 0.05\pi \) radians for incident angle θ, and (though not shown in Fig. 8) \(\pm 5\text{ s}\) for the event time.
3.5 Placing limits
Suppose we do not observe a DM interaction signature in the GPS atomic clock data stream. This means that there were no SNR values with a magnitude above the detection threshold \(\rho ^{*}\). We may then establish the lower and upper limits on the DM signal strength h. For the upper limit, suppose the largest SNR value we observed was \(\rho _{\text{obs}}\). We define the 95% confidence upper limit \(h^{95\%, \text{U.L.}}\) as the minimum value of h for which
That is, we find the minimum value of h for which we would observe an SNR value larger than \(\rho _{\mathrm{obs}}\) 95% of the time if there was in fact a signal of strength h in the data stream. The 95% confidence lower limit, \(h^{95\%, \text{L.L.}}\), is defined similarly. Since the SNR ρ is an odd function in h, \(h^{95\%, \text{L.L.}} = h^{95\%, \text{U.L.}}\).
3.5.1 Maximum and minimum sensitivity given clock network characteristics
Before analyzing the data, we can project a minimum upper limit and maximum lower limit on h by replacing \(\rho _{\text{obs}} \to \langle \rho _{\text{obs}} \rangle \). Then, the minimum 95% confidence upper limit for h is the minimum value of h for which
We will denote the value of h that satisfies this requirement by \(h^{*}\). Assuming that events are weak, i.e., well below the noise floor, it is clear by the nature of the SNR \(\langle \rho _{ \text{obs}}\rangle \to 0\). Once again, the maximum lower limit is defined in a similar fashion, resulting in \(h^{*}\) serving as the maximum lower limit for the signal strength. The maximum possible exclusion limits can be placed on the magnitude of h with 95% confidence by bounding it by \(h^{*}\): \(h< h^{*}\).
For the idealized sensor network of Sect. 3.1, we are able to find the exact relation between \(h^{*}\) and the network characteristics (\(N_{\mathrm {D}}\), σ, ξ, and η) using probability distribution (26). Ultimately, we find that
where K is determined by the level of confidence (for 95% confidence \(K=1.64\)). Notice that when \(\xi = N_{\mathrm {D}}\sigma _{\times }^{2}/\sigma ^{2} \ll 1\) (i.e., when crosscorrelation is negligible) our sensitivity is \(K \sigma /\sqrt{N_{\mathrm {D}}N_{E} (1+\eta ^{2})}\). However, when crosscorrelation is considerable, or the network is large (\(\xi \gg 1\)), the sensitivity becomes \(K \sigma /\sqrt{N_{\mathrm {D}}N_{E}}\). Thus, when the reference sensor is noisy, its sensitivity encoded by the constant \(\eta = \varGamma _{\mathrm {eff}}^{R}/\varGamma _{\mathrm {eff}}^{a}\) is effectively suppressed.
We can also estimate our minimum sensitivity by projecting a maximum upper limit and minimum lower limit on h by using our detection threshold value as the maximum possible observed SNR value for which we do not claim a detection. Then, the minimum 95% confidence lower limit is given by the minimum value of h for which \(\operatorname {Prob}(\rho > \rho ^{*}H_{h}) = 0.95\). It should be clear that the maximum upper limit above is the same as the 95% detection probability signal strength \(h^{95\%, \text{D.P.}}\). In this case, \(h^{95\%, \text{D.P.}}\) scales in the same fashion as \(h^{*}\) above, but the constant of proportionality K increases as a function of the false positive rate and template repository size (for less than 1 false positive in 20 years and 1024 templates in the repository, \(K=8.2\)). Ultimately, this makes the minimum sensitivity reach nearly an order of magnitude below the maximum predicted reach.
3.5.2 Projected sensitivity and discovery reach
Given a DM model type (domain wall, monopole, etc.), the signal strength h links to the specific field parameters for those models. For a thin domain wall, the average strength h is related to the effective coupling and DM object parameters by
in agreement with Ref. [13].
If we assume that a specific coupling \(\varGamma _{X}\) dominates the effective coupling then \(\varGamma _{\text{eff}}\to \kappa _{X}\varGamma _{X}\) in Eq. (32). The limit on h, \(h_{\text{avg}} \leq h^{*}\) translates into a limit on the coupling constant for a particular coupling to a fundamental constant \(\varGamma _{X}\)
where for idealized network \(h^{*}\) is given by Eq. (31). This provides projected exclusion limits on the effective energy scale \(\varLambda _{X}=1/\sqrt{\varGamma _{X}}\),
Our projected discovery reach using \(h^{*}\) for the 2010 GPS network (\(\sigma \approx 0.02 \text{ ns}\), \(\sigma _{\times }\approx 0.006 \text{ ns}\), \(N_{\mathrm {D}}= 33 \text{ clocks}\), and \(\eta \approx 1\)), is plotted in Fig. 9 along with existing constraints. This discovery reach includes the possibility of multiple DM interaction events occurring within the time window of the search, which results in a sensitivity that is comparable to that of optical clocks [15, 28]. Notice that the projected sensitivity reach in Fig. 9 exhibits a sharp cutoff for domainwalls of thickness larger than 10^{4} km and for average times between events larger than \(\mathcal{T}= 20\) years. This is due to the fact that DM objects of size larger than 10^{4} km will affect satellite clocks and the reference clock simultaneously, resulting in a no detectable signal is the data stream. Moreover, for thin domain walls, we require that the signal be present for just a single epoch. The regime for \(d\geq 10^{4} \text{ km}\) belongs to “thick” domain walls (see Ref. [14]). The sharp cutoff for average time between events larger than 20 years comes from the fact that only two decades of archival data exists.
Also notice that for a fixed DM wall thickness, the increase in sensitivity from the previous GPS results is larger for shorter average times between interaction events. This is due to the fact that the sensitivity of this approach is proportional to \(\sqrt{N_{E}}\) (see Sect. 3.1.1) while previous GPS work did not consider the case of multiple events. Thus, as \(\mathcal{T}\) decreases, the expected number of events increases making the gap between previous GPS constraints ([13, 14]) and the predicted reach of this work larger—an effect that is exaggerated for small \(\mathcal{T}\).
4 Conclusion
In this paper we focused on detecting dark matter transients with networks of atomic sensors. We formalized the desired characteristics of such networks and developed applications of matchedfilter technique in the network settings. We extended the previous literature to the practically important case of a network with crossnode correlations. This setting is especially relevant to GPS atomic clock network. Our simulations have proved the method’s signal detection and event parameter estimation capabilities.
While our paper deals with classical networks of quantum sensors, it is worth noting recent proposals [48, 49] for massively entangled networks of atomic clocks. In these networks, entanglement is spread not only over an atomic ensemble at a single node, but also over nodes. We leave generalization of our paper to entangled networks for the future work when such entangled networks become a reality.
Notes
This is technically only true for the domainwall DM object as domain walls sweep through all the network nodes. Other DM objects such as monopoles may only affect a fraction of the nodes.
Abbreviations
 GPS:

Global Positioning System
 DM:

dark matter
 WIMPs:

weakly interacting massive particles
 SM:

standard model
 MFT:

matchedfilter technique
 LIGO:

Laser Interferometer Gravitational Wave Observatory
 SNR:

singaltonoise ratio
 IDA:

International Deployment of Accelerometers
 SHM:

standard halo model
 TD:

topological detect
 JPL:

Jet Propulsion Laboratory
 ECI:

Earthcentered Inertial
References
Bertone G, Hooper D, Silk J. Particle dark matter: evidence, candidates and constraints. Phys Rep. 2005;405(5–6):279–390. https://doi.org/10.1016/j.physrep.2004.08.031.
Degen CL, Reinhard F, Cappellaro P. Quantum sensing. Rev Mod Phys. 2017;89(3):035002. https://doi.org/10.1103/RevModPhys.89.035002.
Safronova MS, Budker D, DeMille D, Kimball DFJ, Derevianko A, Clark CW. Search for new physics with atoms and molecules. Rev Mod Phys. 2018;90(2):025008. https://doi.org/10.1103/RevModPhys.90.025008.
Vilenkin A. Cosmic strings and domain walls. Phys Rep. 1985;121(5):263–315. https://doi.org/10.1016/03701573(85)90033X.
Coleman S. Qballs. Nucl Phys B. 1985;262(2):263–83. https://doi.org/10.1016/05503213(85)90286X.
Kusenko A. Qball candidates for selfinteracting dark matter. Phys Rev Lett. 2001;87:141301. https://doi.org/10.1103/PhysRevLett.87.141301.
Lee K, SteinSchabes JA, Watkins R, Widrow LM. Gauged Q balls. Phys Rev D. 1989;39:1665–73. https://doi.org/10.1103/PhysRevD.39.1665.
Liu J, Chen X, Ji X. Current status of direct dark matter detection experiments. Nat Phys. 2017;13:212–6. https://doi.org/10.1038/nphys4039.
Huntemann N, Lipphardt B, Tamm C, Gerginov V, Weyers S, Peik E. Improved limit on a temporal variation of \({m}_{p}/{m}_{e}\) from comparisons of \({\mathrm{Yb}}^{+}\) and Cs atomic clocks. Phys Rev Lett. 2014;113:210802. https://doi.org/10.1103/PhysRevLett.113.210802.
Godun RM, NisbetJones PBR, Jones JM, King SA, Johnson LAM, Margolis HS, Szymaniec K, Lea SN, Bongs K, Gill P. Frequency ratio of two optical clock transitions in \({}^{171}{\mathrm{Yb}}^{+}\) and constraints on the time variation of fundamental constants. Phys Rev Lett. 2014;113:210801. https://doi.org/10.1103/PhysRevLett.113.210801.
Pospelov M, Pustelny S, Ledbetter MP, Kimball DFJ, Gawlik W, Budker D. Detecting domain walls of axionlike models using terrestrial experiments. Phys Rev Lett. 2013;110:021803. https://doi.org/10.1103/PhysRevLett.110.021803.
Derevianko A, Pospelov M. Hunting for topological dark matter with atomic clocks. Nat Phys. 2014;10(12):933–6. https://doi.org/10.1038/nphys3137.
Roberts BM, Blewitt G, Dailey C, Murphy M, Pospelov M, Rollings A, Sherman J, Williams W, Derevianko A. Search for domain wall dark matter with atomic clocks on board global positioning system satellites. Nat Commun. 2017;8(1):1195. https://doi.org/10.1038/s41467017014404.
Roberts BM, Blewitt G, Dailey C, Derevianko A. Search for transient ultralight dark matter signatures with networks of precision measurement devices using a Bayesian statistics method. Phys Rev D. 2018;97(8):83009. https://doi.org/10.1103/PhysRevD.97.083009.
Wcisło P, Ablewski P et al.. New bounds on dark matter coupling from a global network of optical atomic clocks. Sci Adv. 2018;4(12):4869. https://doi.org/10.1126/sciadv.aau4869.
Pustelny S, Jackson Kimball DF, Pankow C, Ledbetter MP, Wlodarczyk P, Wcislo P, Pospelov M, Smith JR, Read J, Gawlik W, Budker D. The global network of optical magnetometers for exotic physics (GNOME): a novel scheme to search for physics beyond the standard model. Ann Phys. 2013;525(8–9):659–70. https://doi.org/10.1002/andp.201300061.
Afach S, Budker D et al.. Characterization of the global network of optical magnetometers to search for exotic physics (GNOME). Phys Dark Universe. 2018;22:162–80. https://doi.org/10.1016/j.dark.2018.10.002.
Stadnik YV, Flambaum VV. Searching for dark matter and variation of fundamental constants with laser and maser interferometry. Phys Rev Lett. 2015;114:161301. https://doi.org/10.1103/PhysRevLett.114.161301.
Stadnik YV, Flambaum VV. Enhanced effects of variation of the fundamental constants in laser interferometers and application to darkmatter detection. Phys Rev A. 2016;93:063630. https://doi.org/10.1103/PhysRevA.93.063630.
Grote H, Stadnik YV. Novel signatures of dark matter in laserinterferometric gravitationalwave detectors. Phys Rev Res. 2019;1:033187. https://doi.org/10.1103/PhysRevResearch.1.033187.
Romano JD, Cornish NJ. Detection methods for stochastic gravitationalwave backgrounds: a unified treatment. Living Rev Relativ. 2017;20(1):1–223. https://doi.org/10.1007/s4111401700041.
Dong F, Pierpaoli E, Gunn J, Wechsler R. Optical cluster finding with an adaptive matchedfilter technique: algorithm and comparison with simulations. Astrophys J. 2008;676:868–79. https://doi.org/10.1086/522490.
Shaerer P. Global seismic event detection using a matched filter on longperiod seismograms. J Geophys Res. 1994;99:13713–25. https://doi.org/10.1029/94JB00498.
Auger M, Auty DJ et al.. Search for neutrinoless doublebeta decay in ^{136}Xe with EXO200. Phys Rev Lett. 2012;109:032505. https://doi.org/10.1103/PhysRevLett.109.032505.
Abbott BP et al.. Observation of gravitational waves from a binary black hole merger. Phys Rev Lett. 2016;116:061102. https://doi.org/10.1103/PhysRevLett.116.061102.
Derevianko A. Detecting darkmatter waves with a network of precisionmeasurement tools. Phys Rev A. 2018;97(4):042506. https://doi.org/10.1103/PhysRevA.97.042506.
Bovy J, Tremaine S. On the local dark matter density. Astrophys J. 2012;756(1):89. https://doi.org/10.1088/0004637x/756/1/89.
Wcisło P, Morzyński P, Bober M, Cygan A, Lisak D, Ciuryło R, Zawada M. Experimental constraint on dark matter detection with optical atomic clocks. Nat Astron. 2016;1(1):0009. https://doi.org/10.1038/s415500160009.
Sikivie P. Axions, domain walls, and the early universe. Phys Rev Lett. 1982;48:1156–9. https://doi.org/10.1103/PhysRevLett.48.1156.
Press WH, Ryden BS, Spergel DN. Dynamical evolution of domain walls in an expanding universe. Astrophys J. 1989;347:590–604. https://doi.org/10.1086/168151.
Vilenkin A, Shellard EPS. Cosmic strings and other topological defects. Cambridge: Cambridge University Press; 2000.
Durrer R, Kunz M, Melchiorri A. Cosmic structure formation with topological defects. Phys Rep. 2002;364(1):1–81. https://doi.org/10.1016/S03701573(02)000145.
Friedland A, Murayama H, Perelstein M. Domain walls as dark energy. Phys Rev D. 2003;67:043519. https://doi.org/10.1103/PhysRevD.67.043519.
Avelino PP, Martins CJAP, Menezes J, Menezes R, Oliveira JCRE. Dynamics of domain wall networks with junctions. Phys Rev D. 2008;78:103508. https://doi.org/10.1103/PhysRevD.78.103508.
Marsh D, Pop A. Axion dark matter, solitons and the cusp–core problem. Mon Not R Astron Soc. 2015;451(3):2479–92. https://doi.org/10.1093/mnras/stv1050.
Schive HY, Chiueh T, Broadhurst T. Cosmic structure as the quantum interference of a coherent dark wave. Nat Phys. 2014;10:496–9. https://doi.org/10.1038/nphys2996.
Hogan CJ, Rees MJ. Axion miniclusters. Phys Lett B. 1988;205(2):228–30. https://doi.org/10.1016/03702693(88)916553.
Kolb EW, Tkachev II. Axion miniclusters and Bose stars. Phys Rev Lett. 1993;71:3051–4. https://doi.org/10.1103/PhysRevLett.71.3051.
Grabowska DM, Melia T, Rajendran S. Detecting dark blobs. Phys Rev D. 2018;98(11):115020. https://doi.org/10.1103/PhysRevD.98.115020.
Dzuba VA, Flambaum VV, Marchenko MV. Relativistic effects in Sr, Dy, Yb II, and Yb III and search for variation of the finestructure constant. Phys Rev A. 2003;68:022506. https://doi.org/10.1103/PhysRevA.68.022506.
Flambaum VV, Tedesco AF. Dependence of nuclear magnetic moments on quark masses and limits on temporal variation of fundamental constants from atomic clock experiments. Phys Rev C. 2006;73:055501. https://doi.org/10.1103/PhysRevC.73.055501.
Savalle E, Roberts BM, Frank F, Pottie PE, McAllister BT, Dailey CB, Derevianko A, Wolf P. Novel approaches to darkmatter detection using spacetime separated clocks. 2019. 1902.07192.
Blewitt G. Treatise on geophysics. Amsterdam: Elsevier; 2015. p. 307. https://doi.org/10.1016/B9780444538024.099401.
Data freely available online. Jet Propulsion Laboratory ftp://sideshow.jpl.nasa.gov/pub/jpligsac/.
Rollings A. Undergraduate Thesis. Reno: University of Nevada (Unplublished). 2016.
GNSS constellation status online. European GNSS Service Centre https://www.gsceuropa.eu/systemstatus/ConstellationInformation.
Olive KA, Pospelov M. Environmental dependence of masses and coupling constants. Phys Rev D. 2008;77:043524. https://doi.org/10.1103/PhysRevD.77.043524.
Kómár P, Kessler E, Bishof M. A quantum network of clocks. Nat Phys. 2013;10:582–7. https://doi.org/10.1038/nphys3000.
Kómár P, Topcu T, Kessler EM, Derevianko A, Vuletić V, Ye J, Lukin MD. Quantum network of atom clocks: a possible implementation with neutral atoms. Phys Rev Lett. 2016;117(6):60506. https://doi.org/10.1103/PhysRevLett.117.060506.
Acknowledgements
We would like to thank V. Dumont, C. Bradley, and T. Daykin for their contributions to implementing exact inversion techniques for the covariance matrix.
Availability of data and materials
The datasets used and/or analysed during the current study are available from the corresponding author on reasonable request.
Funding
This work was supported in part by the U.S. National Science Foundation and the Office of Undergraduate Research at the University of Nevada, Reno. G.P. acknowledges additional support of the McNair Scholars Program.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the research and writing of the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: The network covariance matrix and its perturbative inversion
1.1 A.1 Properties of the network covariance matrix
The covariance matrix E is given by the ensemble average
where \(n_{j}^{a}\) is the noise in the datastream of the ath device at the temporal grid point (epoch) j, and \(\langle n_{j}^{a}\rangle = 0\) is assumed. Here subscripts j and l range over epochs and the superscripts a and b span network sensors. When \(a=b\) the covariance refers to a single instrument, while crossnode correlations are given by the \(a \neq b\) elements. The matrix \(E_{jl}^{ab}\) can be visualized as a 2D matrix with superindexes \((aj)\) and \((bl)\): \(E_{ (aj) (bl)} \). The dimension of the matrix is determined by the number of devices in the network (excluding the reference clock) and the number of points in data window, \(N_{\mathrm {D}}\times J_{W}\). Because the data streams are stationary, the covariance matrix only depends on the lag \(jl\). From the definition (35), it is apparent that the covariance matrix is symmetric with respect to swapping the \((aj)\) and \((bl)\) superindexes. Further, the covariance matrix is positive (semi) definite.
For the GPS constellation, as discussed in Sect. 1.4, the noise component entering the definition (35) can be represented as
where \(e_{j}^{a}\) is the individual clock noise and \(c_{j}\) is the contribution from the reference clock noise common to all data streams. Then
as the reference and the node clock noises are uncorrelated.
While the definition of the covariance matrix (35) explicitly refers to noise, in practice [14] we use data \(d_{j}^{a}\) to compute this matrix (this assumes that DM events are exceedingly rare, so that most of contributions into the above values comes from the intrinsic noise of the network). Notice that in our approximation, the covariance matrix does not depend on the spatial geometry of the network—however it does depend on the network composition. For example, for GPS, if the reference clock is switched to a different clock or a satellite clock is swapped, the covariance matrix is affected and needs to be recomputed.
To gain an insight into the structure of the covariance matrix, consider a simplifying case: suppose the network is comprised from whitenoise devices (including reference clock). Then
where \(\sigma _{a}^{2}\) and \(\sigma _{\times }^{2}\) are variances for the individual nodes and the reference clock respectively. The common noise source contributes to all the clocks. For example, for \(N_{\mathrm {D}}= 2\) nodes and \(J_{W}=3\) time window, the covariance matrix reads
The block structure of the covariance matrix is apparent. Each block corresponds to individual sensors and the elements inside each block refer to epochs.
For colored noise sensors each block is assembled from elements of the autocorrelation functions \(A_{a}(jl)= \langle e_{j}^{a} e_{l}^{a} \rangle /\sigma _{a}^{2}\) and \(A_{\times }(jl) =\langle c_{j} c_{l} \rangle /\sigma _{\times }^{2}\), so that Eq. (37) becomes
Thereby, the covariance matrix is a block matrix: the block diagonals are composed of the sum of crossnode and individual device autocorrelation functions while the offdiagonal blocks contain the crossnode correlation. By the definition of the autocorrelation function, \(A_{a,\times }(jl) \le 1\), and typically inside each block the elements with larger lag (further away from diagonals) become smaller. \(A_{a,\times }(0) = 1\) by definition.
Based on these observations, and to aid in computer implementation, we can introduce blocks \(\boldsymbol{A}^{ab}\) and \(\boldsymbol{X}^{ab}\), so that the corresponding blocks of the covariance matrix \(\boldsymbol{E}^{ab} = \boldsymbol{A} ^{ab} + \boldsymbol{X}^{ab} \), with each block internally assembled as (cf., Eq. (40))
Because \(\boldsymbol{X}^{ab}\) does not depend on the particular sensor, we simply refer to all such blocks as \(\overline {\boldsymbol{X}}\), i.e., \(\boldsymbol{X}^{ab} \equiv \overline {\boldsymbol{X}}\).
We are interested in the inverse of the covariance matrix required for computing the SNR statistic (20). For our white noise example (39), the inversion of the first matrix is trivial as it is diagonal. The second (xnode covariance matrix) contribution introduces offdiagonal matrix elements making the inversion difficult. Moreover, the ×node covariance matrix is singular.
It is instructive to rewrite the definition of the inverse, \(\boldsymbol{E} \boldsymbol{E}^{1} = \boldsymbol{I}\), in our notation,
We derived the covariance matrix inverse in a closed form for a special case of white noise devices (38),
where \(\xi \equiv N_{\mathrm {D}}\sigma _{\times }^{2}/\sigma ^{2}\). One can verify directly that Eq. (43) is satisfied. The inverse retains the same block structure as the original matrix (38). Its derivation is outlined in the following section.
Additionally, certain simplifications can be obtained using discrete Fourier transformation (DFT) (see, e.g., Ref. [26], where DFT for a network covariance matrix was carried out). In DFT, the transformed matrix becomes blockdiagonal, each block being of dimension \(N_{\mathrm {D}}\), thus simplifying the inversion procedure. However, this approach also requires DFT of the sought DM signal. In our work, this signal is nonoscillatory making the interpretation of the DFT procedure nontransparent; we leave the DFT implementation for future work if the computational speedup is needed. In this work, the full covariance matrix (40) is inverted numerically using Cholesky decomposition. Below we outline a perturbative method which holds in the limit when the noise of the reference sensor is well below that of the network sensors. We used this perturbative inversion for older (pre2015) GPS data, where this approximation remains valid.
1.2 A.2 Perturbative inversion
This approximation to inverting the network covariance matrix was used in our earlier GPS.DM work [14] and we will detail it below. It relies on the von Neumann series expansion,
where G and F are matrices and λ is the expansion (bookkeeping) parameter. This identity can be proven by matching terms of the same power of λ in the definition \((\boldsymbol{G}+ \lambda \boldsymbol{F} ) ^{1} ( \boldsymbol{G}+\lambda \boldsymbol{F} )= \boldsymbol{I}\). The series converges as long as the absolute values of eigenvalues of the product matrix \(\boldsymbol{F} \boldsymbol{G}^{1}\) are smaller than \(1/ \vert \lambda \vert \).
Returning to our covariance matrix E, we make the following identification using our block decomposition (42)
and \(\lambda =1\). Notice that G is a blockdiagonal matrix (inverse of such a matrix is again a blockdiagonal matrix composed of inverses of original blocks).
Now we illustrate this perturbative technique for a network of whitenoise devices. Here the covariance matrix is given by Eq. (38). Then the above decomposition leads to \(G_{jl}^{ab} = \sigma _{a}^{2} \delta ^{ab} \delta _{jl}\), \(F_{jl}^{ab} = \sigma _{\times }^{2} \delta _{jl}\). Then
which are the two leading terms in the expansion of the exact result (44) in ξ. Nominally, the contribution of the second, perturbative, term is suppressed when \(\sigma _{\times }\ll \min_{a} (\sigma _{a})\), i.e., this approximation can only be used for networks of sensors that have noise levels far greater than that of the reference sensor. In cases when the reference sensor noise is comparable to that of the network sensors, the approximation breaks down and either an exact inversion must be used or mitigation techniques must be implemented to eliminate or minimize the reference sensor contribution to the individual sensor data streams (see Sect. 3.2.1).
For the general case of colored noise sensors, we return to our block decomposition (42) of the network covariance matrix and focus on a single block,
Because G is blockdiagonal, \(( \boldsymbol{G}^{1} ) ^{ab} = \delta ^{ab} (\boldsymbol{A}^{aa} )^{1} \). To simplify the second term in the expansion, recall the product rule for block matrices,
This rule parallels the conventional matrix multiplication with individual matrix elements replaced with blocks. Then
Further approximation may consist in neglecting offdiagonal matrix elements of the ×node correlation function in the above expression [14], \(\overline {\boldsymbol{X}} \equiv \sigma _{\times }^{2} \boldsymbol{I}\). In this secondary approximation,
This is the approximation used in our calculations for pre2015 GPS network generations. We also point out that the exact covariance matrix inversion (44) for our idealized network of white noise sensors can be derived by following these blockmatrix steps and summing the von Neumann series (45) to all orders.
1.3 A.3 Performance comparison between exact and perturbative inversion
In order to utilize the perturbative inversion outlines in the above section, we require that the reference device noise be sufficiently smaller than that of the node devices. To verify the inadequacy of the perturbative inversion for networks with a noisy reference sensor, we simulated signalfree data for a homogeneous network of 30 white noise node devices for various reference device noise levels (\(\sigma _{ \times }/\sigma = 0\), 0.1, 0.5, and 1). We then calculated standard deviation of \(\approx 25{,}000\) templatespecific SNR values for the simulated data streams using both the exact inversion and the approximate inversion of E. The results of these simulations are provided in Table 3. We find that the results using the perturbative inversion are nearly identical to the exact inversion for small levels of crosscorrelation (\(\sigma _{ \times }/\sigma \leq 0.1\)). However, when the noise of the reference sensor is large, the approximate inversion behaves poorly compared to the expected value of \(\sigma _{\rho }\). Note that the deviations from \(\sigma _{\rho }= 1\) in the exact inversion column can be attributed to sampling error.
Appendix 2: Derivation of SNR for idealized network
Consider a homogeneous network of \(N_{D}\) devices each with Gaussian white noise profiles with zero mean and standard deviation σ, along with a reference sensor also with a Gaussian white noise profile with a standard deviation of \(\sigma _{\times }\) and also with zero mean. That is,
Data that contains a dark matter transient signal will be of the form
where \(e_{j}\) is the node sensor Gaussian noise at epoch j (with variance \(\sigma ^{2}\)), \(c_{j}\) is the reference sensor Gaussian noise at epoch j (with variance \(\sigma _{\times }^{2}\)), and \(\bar{s}_{j}\) is the “unitized” DM signal which is scaled by the DM signal strength h (the strength of the signal felt by the network sensors). Since the network is assumed to be homogeneous, h is the same for all network sensors, though we allow for the possibility of the strength of the DM interaction with the reference device to be different than that of the satellite nodes. In this case, the reference sensor experiences a signal of strength \(h^{R}\) from the same event in which the network sensors experience a signal of strength h. Then, the unit signal for a sensor a will be of the form (in the case that \(h>0\) and the network sensor interacts with the DM wall prior to the reference device)
where \(\eta = h^{R}/h\). In order to calculate the detection statistic mean [Eq. (24)] and its variance [Eq. (25)], we must utilize the inverse of the covariance matrix from Appendix 1. This is given by
where \(\xi = N_{\mathrm {D}}\sigma _{\times }^{2}/\sigma ^{2}\).
Recall the definition of the templatespecific SNR from Eq. (20), and suppose that the template repository contains the exact signal that lies in the data stream, i.e., \(\overline {\boldsymbol{s}} _{i} = \overline {\boldsymbol{s}}\) for some signal template in the repository. Then, the detection statistic is given by \(\rho = \boldsymbol{d}^{T} \boldsymbol{E}^{1}\overline {\boldsymbol{s}}/\sqrt{ \overline {\boldsymbol{s}} ^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}}\). Thus, calculating the expectation value of ρ and its variance will consist of calculating \(\overline {\boldsymbol{s}}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\) as well as \(\boldsymbol{d}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\).
Using the thin wall template from Eq. (53), the vectormatrixvector product is computed as the sum
where \(N_{\mathrm {D}}\) is the number of network sensors and \(J_{W}\) is the number of epochs in the given time window. Factoring out \(1/\sigma ^{2}\), one can sum over the terms separated by the subtraction independently: (1) sum over \(\overline {s}_{j}^{a}\delta _{jl}\delta ^{ab}\overline {s}_{l}^{b}\) and (2) sum over \(\overline {s}_{j}^{a} \delta _{jl} \frac{1}{N_{\mathrm {D}}}\frac{\xi }{1+ \xi }\overline {s}_{l}^{b}\). The sum in (1) is just the sum of the squares of all the signal terms from Eq. (53) multiplied by the number of devices. Since the signal terms are all zero except at epochs where the satellite clock a and the reference clock R are affected, the sum simplifies immensely. Now, to compute the sum in (2), it must be dissected further. The Kronecker delta \(\delta _{jl}\) in (2) collapses the sum over l and we split the sum in (2) based on whether the signal terms come from distinct sensors or not
Notice that the first term on the right side of this equation is the same as (1) above. Now, since every clock experiences the same signal term at the epoch when the reference sensor interacts with the DM wall (epoch \(j_{R}\)), the second term on the right can undergo yet another dissection
The first term in parentheses on the right side is simply \(\eta ^{2}\). Since the signal template values at all epochs consists of entirely null values besides the epochs where the individual sensors and the reference sensor interact with the DM wall, the second term on the right is only nonzero when there are disparate sensors that are affected by the DM object at the same epoch. We denote the ratio of network sensors that are close enough spatially to interact with the DM wall within the sampling time interval \(\tau _{0}\) as λ. For GPS, \(\tau _{0}=30 \text{ s}\) and at galactic velocities, this “fractional degeneracy” factor \(\lambda \approx 0.2\). Ultimately, we arrive at
For a time window large enough to contain multiple nonoverlapping events, it is clear that \(\overline {\boldsymbol{s}}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}} \to N_{E} \overline {\boldsymbol{s}}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\), where \(N_{E}\) is the number of events contained within the \(J_{W}\) time window.
To derive \(\boldsymbol{d}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\), we recall that each network sensor data term is the sum of noise (comprised of node sensor noise and reference sensor noise) and a signal [Eq. (52)]. Then,
where the elements of n are given by Eq. (36). Since the elements of n are Gaussian random variables with zero mean, the quantity \(\boldsymbol{n}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\) will also be Gaussian distributed with a mean of zero. Furthermore, since \(\overline {\boldsymbol{s}}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\) is a constant given by Eq. (57), we find that \(\boldsymbol{d}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\) is Gaussian distributed with a mean of \(h\overline {\boldsymbol{s}}^{T}\boldsymbol{E} ^{1}\overline {\boldsymbol{s}}\) and variance equal to the variance of \(\boldsymbol{n}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\). This implies that the nature of the SNR detection statistic from Eq. (20) is Gaussian as well, with the same mean and standard deviation as \(\boldsymbol{d}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}\) scaled by \(1/ \sqrt{ \overline {\boldsymbol{s}}^{T}\boldsymbol{E}^{1}\overline {\boldsymbol{s}}}\).
Ultimately, using Eq. (57), the mean of the SNR when a signal is present is given by
where we dropped the dependence on the fractional degeneracy factor λ. The variance of the SNR,
is computed in Sect. B.1, where we prove that \(\sigma _{ \rho }^{2} =1\) in the most general case; this holds, in particular, for our idealized network.
2.1 B.1 SNR variance
The goal of this section is to prove that
implying that the SNR variance (60) is \(\sigma ^{2}_{ \rho }=1\). The proof holds regardless of the nature of the covariance matrix—for example it applies to colored noise network with arbitrary crossnode correlations.
Explicitly,
where n is the intrinsic noise. To streamline notation, we will use Greek letters to index combinations \(( a,i )\), where as in Sect. 1 the first index (a) enumerates the sensors and the second index (i) spans epochs. Then,
By the definition of the covariance matrix, \(\langle n_{\alpha }n_{\beta } \rangle =E_{\alpha \beta }\). Further, \(\sum_{\beta }E_{\alpha \beta } ( E^{1} ) _{\beta \beta ^{\prime }}= \delta _{\alpha \beta ^{\prime }}\), which reduces
as we intended to prove. From Eq. (60), it follows that \(\sigma _{\rho }^{2} = 1\).
Appendix 3: Inverse transform sampling (importance sampling)
Consider a prior probability density function on one of the DM model parameters \(p(\theta )\) (e.g., the standard halo model velocity distribution). The cumulative distribution function (CDF) for the prior is defined as
We can then define \(g(u) = \theta = C^{1}(u)\). This is particularly useful for sampling from known probability distributions: if u is randomly drawn from a uniform [0:1] distribution, then the \(\theta =g(u)\) values will be drawn from the prior \(p(\theta )\) distribution. This has the affect of concentrating the sampled points in the regions where \(p(\theta )\) is large (and thus naturally reducing the probability of falsepositives where \(p(\theta )\) is small). Thereby, the priors are taken into account implicitly in the template generation procedure. Note that this just the standard method of inverse transform sampling.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Panelli, G., Roberts, B.M. & Derevianko, A. Applying the matchedfilter technique to the search for dark matter transients with networks of quantum sensors. EPJ Quantum Technol. 7, 5 (2020). https://doi.org/10.1140/epjqt/s40507020000819
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjqt/s40507020000819
Keywords
 Dark matter
 Quantum sensors
 Atomic clocks