1 Introduction

Various experiments make use of a network of sensors in lieu of a single, centralized device. A network of sensors can come with several advantages such as having better sensitivity than a single device, being able to catch and correct errors, and achieving superior spatial resolution. However, there are also a few challenges and complexities that arise when involving many devices. In addition to the logistical challenges of managing multiple devices at once and making sense of several data streams, there is the foundational question of how to best arrange the network. This question is explored for a network consisting of a specific class of sensors: ones that measure a vector field.

A common motivational interest in designing these network experiments is in measuring spatially extended phenomena. For example, interferometer networks used to measure gravitational waves [1,2,3], gravimeters used for geodesy [4], and magnetometers used for geophysics [5,6,7]; all of which measure vector-field phenomenaFootnote 1 on scales the size of the Earth or larger. Networks have also been used to search for direct evidence of dark matter, which is believed to dominate the mass of the galaxy but only weakly interacts with visible matter; see, e.g., reviews in Refs. [8,9,10]. This includes both gravimeters [11,12,13,14] that search for the motion of dark matter captured by the Earth as well as magnetometers [15,16,17,18,19,20] that search for coupling between dark and visible matter.

For this work, the Global Network of Optical Magnetometers for Exotic physics searches (GNOME) [15,16,17,18] is of particular interest. GNOME consists of shielded magnetometers around the Earth and has the goal of finding new, exotic (vector) fields that couple to fermionic spin. For example, GNOME searches for axion-like particle (ALP) domain walls [15, 17, 18] via the coupling of the ALP field gradient to nucleon spin. The gradient, in this case, is in effect a vector field; albeit with typical constraints, such as having a vanishing curl.

This paper is organized as follows: a method of calculating the network sensitivity is described in Sect. 2, a quantification of network quality is described in Sect. 3, ideal and optimized networks are described in Sect. 4, and concluding remarks are given in Sect. 5. Throughout this paper, the network under consideration will consist of the GNOME magnetometers. However, the principles explored here can be extended to other network experiments.

2 Sensitivity

The magnetometers in the network each possess a “sensitive axis” that results in the attenuation of a signal when the vector field is not parallel or anti-parallel to the sensitive axis. Denote the sensitive axis of magnetometer i with \(\varvec{d_i}\). The magnitude of this vector reflects the strength of the coupling such that a vector (field) \({\varvec{m}}\) will induce a signal \(s_i=\varvec{d_i}\cdot {\varvec{m}}\) in the \(i^\text {th}\) magnetometer. Consider the case in which only one vector \({\varvec{m}}\) describes the signal. For a domain wall, this could be the gradient at the center of the wall with the timing of the signal adjusted to account for delays as the domain wall crosses the network. The signals observed by the network can be simplified into the linear equation,

$$\begin{aligned} D{\varvec{m}} = {\varvec{s}}\,, \end{aligned}$$
(1)

where D is a matrix whose rows are \(\{\varvec{d_i}\}\) and similarly \({\varvec{s}}=\{ s_i \}\). To avoid a trivial case, it is assumed that the network consists of at least one operating sensor; so there exists a vector \({\varvec{m}}\) such that \(D{\varvec{m}}\ne {\varvec{0}}\).

In practice, one will measure a set of signals \({\varvec{s}}\) with some error. Let \(\Sigma _s\) be the covariance matrix in the measurements \({\varvec{s}}\) that characterizes this error; the matrix will generally be diagonal as noise between the GNOME magnetometers is uncorrelated. An approximate solution to Eq. (1) given the error in measurement is obtained by minimizing \(\chi ^2=(D{\varvec{m}}-{\varvec{s}})^T\Sigma _s^{-1}(D{\varvec{m}}-{\varvec{s}})\). This solution is given by

$$\begin{aligned} {\varvec{m}}&= \Sigma _m D^T \Sigma _s^{-1} {\varvec{s}} \end{aligned}$$
(2a)
$$\begin{aligned} \text {for}\quad \Sigma _m^{-1}&= D^T \Sigma _s^{-1} D\,, \end{aligned}$$
(2b)

where \(\Sigma _m\) is the covariance matrix for \({\varvec{m}}\). As long as \(\Sigma _s\) is a positive-definite matrix, as is the case for a realistic network, \(\Sigma _s^{-1}\) is well-defined. However, \(\Sigma _m\) will not be well-defined if D has a non-trivial kernel, \(D{\varvec{m}}=0\) for \({\varvec{m}}\ne {\varvec{0}}\); in other words, the network has a “blind spot.” In this pathological case, one cannot uniquely reconstruct \({\varvec{m}}\), though one can still salvage a meaningful definition of sensitivity.

The network sensitivity is defined as the magnitude necessary to induce a \(|{\varvec{m}}|\) signal-to-noise ratio \(\zeta =\sqrt{{\varvec{m}}^T \Sigma _m^{-1} {\varvec{m}}}\) of one. Thus, the sensitivity in the direction \(\hat{{\varvec{m}}}\) is

$$\begin{aligned} \beta (\hat{{\varvec{m}}}) = 1 / \sqrt{ \hat{{\varvec{m}}}^T \Sigma _m^{-1} \hat{{\varvec{m}}} }\,. \end{aligned}$$
(3)

This will vary by direction. However, one can find the range of sensitivities over different directions by solving for the eigenvalues of the symmetric, positive semi-definite matrix \(\Sigma _m^{-1} = \left( D^T \Sigma _s^{-1} D \right) \) — the smallest eigenvalue \(\lambda _\text {min} = \beta _0^{-2}\) giving the “worst-case” sensitivity as a large signal \(\beta _0\) would be needed to induce a significant signal. Likewise the largest eigenvalue \(\lambda _\text {max} = \beta _1^{-2}\) gives the “best-case,” and the corresponding eigenvectors are the directions that induce such signals. If the network has a blind spot, then \(\lambda _\text {min} = 0\) so \(\beta \rightarrow \infty \) along the corresponding direction.

3 Quality factor

Given the sensitivity defined by Eq. (3), there remains the question of how to optimize the network; in particular, how to optimize the directions \(\{\varvec{d_i}\}\) for the best network. If there is distribution of directions of interest for the vector field, one could define the optimization by performing some weighted average of Eq. (3) over this distribution. If one is ambivalent about the direction of the signal, the worst-case direction indicates a bound on sensitivity.

Ideally, the magnetometers in the network will be oriented to evenly cover all directions. If there is a preferred and unpreferred direction, one could improve the sensitivity in the unpreferred direction by rotating the sensitive axis of magnetometers toward this direction. Under practical conditions, it is not possible to have GNOME always operating under optimal conditions because the noise in individual sensors varies over time and magnetometers will occasionally activate and deactivate.

Fig. 1
figure 1

The quality factor over time for Science Runs 1–5. Solid lines represent 1 day rolling averages. a The number of active sensors over time. b The quality factors over time. The color indicates the number of active sensors. c The approximate factor by which the network could be improved if the sensors were optimally oriented using the approximate optimized sensitivity, Eq. (5)

To judge how well the GNOME network is performing, it helps to define some quantitative “quality factor.” This factor would ideally reflect how optimally the network is set up with the magnetometers available and not the absolute sensitivity of the network. That is, the quality of the network refers to how well the magnetometers are oriented and is not affected by improving all magnetometers by a constant factor. One possibility is the quotient of the best and worst sensitivity,

$$\begin{aligned} q_0:= \beta _1/\beta _0\,. \end{aligned}$$
(4)

This factor will be zero if network has a blind spot (\(\beta _0\rightarrow \infty \)) and one if the network has no preferred direction. Generally, a more optimally oriented network has a larger \(q_0\). The quality factor for GNOME during the Science Runs is given in Fig. 1b.

A few terms are defined here based on the quality of a network. Namely, an “ideal” network is one for which \(q_0=1\), while an “optimal” network is one in which the sensitivity \(\beta _0\) cannot be improved by re-orienting the sensors in the network.

Given a set of magnetometers with covariance matrix \(\Sigma _s\) and known coupling, it should be possible to determine a theoretical best sensitivity. For this, we will consider a network with \(n\) independent magnetometers that are all described by a single sensitive axis \({\varvec{d}}_i\) with coupling strength \(\kappa _i := | {\varvec{d}}_i |\). Consider the case in which the angle between any vector signal and any sensitive axis is random (this would be the case for many randomly oriented sensors). Because , for \(d=3\) spatial dimensions, Eq. (3) in this case becomes,

(5)

This may not be the optimal sensitivity, but it provides a heuristic for an optimal network. The quotient between the observed and optimal sensitivity for GNOME over time is given in Fig. 1c.

Fig. 2
figure 2

Average sensitivity \(\beta \) of GNOME during Science Run 5 (23 August–31 October 2021). A position on the Earth represents the direction perpendicular to that point on the Earth. The direction of the sensitive axes of the stations is represented by \(\odot \) (parallel) and \(\otimes \) (anti-parallel). That is, if a sensor was moved to the corresponding geographical location, then its sensitive axis would be vertical. The \(\odot \) markers are labeled with name of the station, given by the city in which the sensor is physically located. The marker color is a visual aid to associate the pair of markers on opposite sides of the Earth representing the same station

With the quality factor in mind, it helps to consider exactly how sensitivity varies with direction. The network has been fairly stable with many active sensors during the recent Science Run 5. A map of the average sensitivityFootnote 2, , in different directions is shown in Fig. 2. The network quality could be improved by improving the quality/reliability of stations sensitive to insensitive directions (e.g., Moxa or Daejeon) or rotating/adding additional sensor(s) toward the worst direction.

4 Ideal and optimized networks

With the quantitative definition of network quality given in the previous section, various optimized and ideal networks are given here. In particular, we consider properties and explicit arrangements of ideal networks as well as numerical optimizations of more realistic networks.

To better understand the characteristics of networks, it helps to define some additional formalism. Define a network with a given set of orientations as a pair of \((n\times d)\) directional matrix and \((n\times n)\) covariance matrix \(N=\{D,\Sigma \}\); for n sensitive axes and \(d=3\) spatial dimensions. Two networks \(N_0 = \{D_0,\Sigma _0\}\) and \(N_1 = \{D_1,\Sigma _1\}\) can be considered equivalent \(N_0\cong N_1\) if there exists a permutation matrix P such that \(D_1 = PD_0\) and \(\Sigma _1 = P\Sigma _0P^T\); that is, they are the same up to ordering. Additionally, a network can be decomposed into two complementary subnetworks \(N\cong N_A\oplus N_B\) if

$$\begin{aligned} N\cong \left\{ \left[ \begin{matrix} D_A \\ D_B \end{matrix} \right] , \left[ \begin{matrix}\Sigma _A &{}\quad 0 \\ 0 &{}\quad \Sigma _B \end{matrix} \right] \right\} \,. \end{aligned}$$

Observe that the subnetworks \(N_A\) and \(N_B\) are independent/uncorrelated.

In addition to the basic equivalence relation described above, there are some additional symmetries for a network. First, the sensitivity \(\beta (\hat{{\varvec{m}}})\) is invariant with respect to parity reversal of a subnetwork; i.e., \(D_A\mapsto - D_A\) for \(N\cong N_A\oplus N_B\). Further, though the sensitivity \(\beta (\hat{{\varvec{m}}})\) of a (non-ideal) network can change under arbitrary rotation of the whole network \(D^T\mapsto RD^T\), the value of the worst sensitivity, best sensitivity, and quality factor do not.

4.1 Ideal networks

There are a few useful characteristics of ideal networks that are worth considering. For an ideal network, \(q_0=1\) so the smallest and largest eigenvalues of \(D^T\Sigma ^{-1} D\) are the same which implies that this matrix is proportional to the identity matrix. In particular, \(D^T\Sigma ^{-1} D = \beta ^{-2}\mathbb {1}\). It also follows that the sensitivity of an ideal network is independent of global rotations.

Consider, now, how ideal networks are combined. Let \(N_A\) and \(N_B\) be two complementary, ideal subnetworks of N, then

$$\begin{aligned} \left[ \begin{matrix}{D_A}^T&\quad {D_B}^T\end{matrix}\right] \left[ \begin{matrix}\Sigma _A &{}\quad 0 \\ 0 &{}\quad \Sigma _B \end{matrix}\right] ^{-1} \left[ \begin{matrix} D_A \\ D_B\end{matrix}\right] = \left( \beta _A^{-2} + \beta _B^{-2} \right) \mathbb {1}\,. \end{aligned}$$

That is, the network \(N\cong N_A \oplus N_B\) is also ideal with sensitivity \(\left( \beta _A^{-2} + \beta _B^{-2} \right) ^{-1/2}\). Further, because an ideal network remains ideal under rotations, one can rotate either ideal subnetwork without affecting the sensitivity of the network N. Further, if \(N=N_A\oplus N_B\) is an ideal network and \(N_A\) is an ideal subnetwork, then \(N_B\) is also an ideal subnetwork. An ideal network that cannot be separated into ideal subnetworks is “irreducible.” Because an ideal network needs at least d sensitive axes (for \(d=3\) spatial dimensions), an ideal network with \(n<2d\) is irreducible, because it cannot be split into two ideal networks.

One can consider certain explicit cases of ideal networks with some simplified conditions. In particular, let \(N=\{ D, \Sigma \}\) be composed of n identical, independent, single-axis sensors — that is, \(\Sigma = \sigma ^2\mathbb {1}\) and \(|{\varvec{d}}_i| = \kappa \) where \({\varvec{d}}_i\) is the \(i^\text {th}\) row of D. If there are \(d=3\) sensors oriented such that their sensitive axes are orthogonal, then the resulting network will be ideal with sensitivity \(\beta =\sigma /\kappa \). Heuristically, one would like to orient the magnetometers to evenly cover all directions. One way to do this is to take some inspiration from the Platonic solids by designing a network in which the sensitive axes of the sensors are oriented from the center of the solid to each of the vertices; see Table 1. Most of these solids will generate a network with two ideal subnetworks having opposite sensitive axes. Thus, one can obtain ideal networks with three (octahedron), four (tetrahedron and cube), six (icosahedron), and ten (dodecahedron) sensors through this method; denoted \(N_3\), \(N_4\), \(N_6\), and \(N_{10}\). These arrangements have the sensitivity \(\beta =\frac{\sigma /\kappa }{\sqrt{n/3}}\) and are irreducible. With these networks alone, it is evident that there are multiple unique ways of orienting a given number of sensors that do not rely on using the same set of ideal subnetworks; for example, six sensors can be arranged as \(N_6\) or \(N_3 \oplus N_3\).

Table 1 Examples of optimal networks based on the platonic solids. The orientations of sensitive axes in an ideal network are given as lines (dashed in one direction, solid in the other). The number of vertices are separated by ideal network. For example, the cube has eight vertices, and the corresponding ideal network consists of two ideal networks with four sensors each; hence, “\(4+4\)” is listed. In each case here, \(X+X\) vertices describe two ideal networks with X sensitive axes in opposite directions

Combining \(N_3\) and \(N_4\) subnetworks, one can design ideal networks with three, four, six, or more sensors. What seems to remain is a way to orient five identical, independent sensors into an ideal network. One can show that two such network arrangements \(N_{5a}\) and \(N_{5b}\) are given by

$$\begin{aligned}&D_{5a} = \kappa \left[ \begin{matrix} 0 &{} \sqrt{\frac{5}{6}} &{} \sqrt{\frac{1}{6}} \\ 0 &{} -\sqrt{\frac{5}{6}} &{} \sqrt{\frac{1}{6}} \\ \sqrt{\frac{5}{6}} &{} 0 &{} \sqrt{\frac{1}{6}} \\ -\sqrt{\frac{5}{6}} &{} 0 &{} \sqrt{\frac{1}{6}} \\ 0 &{} 0 &{} 1 \end{matrix} \right] \nonumber \\&\quad \text {and}~ D_{5b} = \kappa \left[ \begin{matrix} 1 &{} 0 &{} 0 \\ -\sqrt{\frac{1}{3}} &{} -\sqrt{\frac{2}{3}} &{} 0 \\ -\sqrt{\frac{1}{3}} &{} \sqrt{\frac{2}{3}} &{} 0 \\ 0 &{} \sqrt{\frac{1}{6}} &{} \sqrt{\frac{5}{6}} \\ 0 &{} -\sqrt{\frac{1}{6}} &{} \sqrt{\frac{5}{6}} \end{matrix} \right] \,, \end{aligned}$$
(6)

each with sensitivity \(\beta = \sqrt{\sigma /\kappa }{\sqrt{5/3}}\). These networks are unique, even when considering parity reversal of individual sensors, reordering, and global rotations; this is evident because \(D_{5b}\) has orthogonal sensors while \(D_{5a}\) does not, and orthogonality of two vectors is invariant under these operations. Further, these are irreducible ideal networks because \(n<6\). Along with \(N_3\) and \(N_4\), one can generate any ideal network with at least three identical, independent sensors using these arrangements.

Though one can always arrange three or more identical, independent sensors into an ideal network, it is not always the case that a given set of sensors can be arranged into an ideal network. For example, consider a set of \(n\ge d=3\) sensors all with the same coupling \(\kappa =1\), but \(n-1\) sensors have noise \(\sigma _0\) and the last sensor has noise \(\sigma _1 < \sigma _0/\sqrt{(n-1)/2}\). An optimized network would be arranged with the first \(n-1\) sensors evenly oriented around the plane orthogonal to the last sensor and have a quality \(q_0=\frac{\sigma _1}{\sigma _0}\sqrt{\frac{n-1}{2}} < 1\) and sensitivity \(\beta _0=\frac{\sigma _0}{\sqrt{(n-1)/2}}\). The least-sensitive direction is orthogonal to the last sensor’s sensitive axis, and any adjustments to the sensors’ orientations would worsen the sensitivity in this plane. The problem in this scenario is that one sensor is much more sensitive than the others, so they cannot compensate, even collectively. The extreme case of this would be if the first \(n-1\) sensors were so noisy that they were effectively inoperable; this arrangement would not be much different than an \(n=1\) network, which cannot be ideal.

4.2 Optimizing networks

Regardless of whether a given set of magnetometers can be arranged into an ideal network, their arrangement can always be optimized; at least at a given time. In practice, the noise in each GNOME magnetometer varies over time and magnetometers turn on and off throughout the experiment, so an optimal arrangement at one time may not be optimal at another.

A non-optimized network can still be improved via an algorithm. An example of a “greedy” algorithm would be one in which, each step, a sensor is randomly selected, removed from the network, and re-inserted in the least-sensitive direction for the network without the removed sensor. This step can then be repeated many times until reaching some optimization condition. For multi-axis sensors that always have the same relative angle between the sensitive axes, the orientation by which to re-insert the sensor is a bit more complicated. Roughly, one would apply a rotation to the sensor to align the best- and worst-directions for the multi-axis sensor and the rest of the network (see Appendix A).

This algorithm will also work regardless of whether an ideal network arrangement exists, though the resulting network may not be optimal. Subsequent steps of the algorithm may converge to a non-optimal network or alternate between network configurations.

Table 2 Optimizing GNOME for each run. In particular, a network is constructed using all magnetometers active for at least 25 % of the run. Noise is calculated as the average standard deviation of the data after applying a 1.67 mHz high-pass filter, 20 s averaging, and notch filters to remove powerline frequencies. This choice in how the average noise is calculated suppresses the influence of brief periods in which there was a spike in noise. The columns contain the run number, number of sensors used in the optimization, network characteristics, optimized network characteristics, theoretical optimized sensitivity from Eq. (5), and factor by which the optimization algorithm improved sensitivity

The optimization can be applied to the GNOME network to better understand the potential of the experiment. In particular, this was performed for GNOME’s official Science Runs:

  • Science Run 1: 6 June–5 July 2017.

  • Science Run 2: 29 November–22 December 2017.

  • Science Run 3: 1 June 2018–10 May 2019.

  • Science Run 4: 30 January–30 April 2020.

  • Science Run 5: 23 August–31 October 2021.

The results of the optimization are given in Table 2 in which the coupling was assumed to be one. For most of the Science Runs, the improvement was less than a factor of two with the largest improvement being by a factor of 2.7 from Science Run 4. Additionally, the Science Run 2 network could be made ideal with the same sensitivity as predicted in Eq. (5). It should be noted that the networks used in the optimization included sensors available at least 25 % of the run, while it is not typical for all these sensors to be active at the same time. Another example of network optimization is given in Appendix B wherein only a couple sensors are reoriented and an additional sensor is added.

5 Conclusions

In this paper, we have considered a network of sensors with directional sensitivity and how the collective sensitivity of the network is affected by the choice in how the sensors are oriented. To do this, a “quality factor” was introduced to quantify how efficiently the network sensors are oriented regardless of their underlying sensitivity. Various properties and examples of ideal networks were presented, along with a means of optimizing an existing network. By optimizing GNOME, we can show some modest improvement in the network sensitivity without requiring additional sensors or improvements in existing sensors.

In practice, there are still some limitations in how sensors can be oriented. For example, depending on how the sensor is built, it may not be possible/practical to reorient it, or it may only be possible to orient its sensitive axis vertically or horizontally. Additionally, what may be an optimal network under some set of conditions may not be optimal under later conditions depending on how the sensitivities of the sensors change and which ones are active. However, if there are many decent/reliable sensors, the network as a whole will not usually deviate too much from its optimal arrangement.

This work only considered the manner in which the sensors were oriented, not their position. The relative positions and distances between the sensors are not relevant to understanding the sensitivity of the network as a whole. Briefly, the optimal placement of the sensors in a network differs depending on the goal of the experiment. It is generally simpler to observe a signal that crosses a network of nearby sensors; because the potential crossing time is shorter, less data need to be compared between the sensors. However, measuring the direction and speed of some phenomena crossing the network can be done more accurately when the sensors are more distant from one another.

The work described in this paper can be applied to any experiment involving a network of directionally sensitive devices. These networks are useful in detecting features in a vector field or gradient that traverse a spatial region. Both the design and improvement of these networks can be meaningfully improved through careful consideration of how sensors are oriented.

Moving forward, this study can have a direct influence on Advanced GNOME; a planned general upgrade to the GNOME experiment. In particular, this study provides the tools to understand how to orient new sensors and re-orient existing sensors as to optimize the network sensitivity—taking advantage of the major upgrade period to make improvements to the collective network. The Advanced GNOME upgrade includes the addition of SERF comagnetometers [21] with the option to operate in two-axis mode. The use of multi-axis sensors can be incorporated into the work presented here by treating them as multiple sensors with correlated noise. These sensors also have the constraint that the sensitive axes must remain orthogonal. Optimization with multi-axis sensors is explored in Appendix A considering this constraint.