• Keine Ergebnisse gefunden

6carrier-carrier beatnotes in the test-mass interferometers,

tmoij,c= FT˙ibijc, (7.11a)

tmeij,c= FT˙ih

(p˙ik−(ν0+νik,co )(N˙ijbl+N˙tmobijik))

−(p˙ij−(ν0+νij,co )(2(NijNijδ) +Ntmobijij(τ))) +N˙tmroij,cb

ijcei 1+qoi

i.

(7.11b)

6MPRs,

Rij =FTi

doij−(Dijδτˆjδτˆi) +NijR

. (7.12)

7.2.1 Output in total frequency

In reality, we will not have access to the two beatnote components, but only the total phase or the total frequency. The simulation accounts for that by providing an additional output variable for each interferometer.

It is generated by first computing the photodiode signals in the usual two-variable decomposition,νPD,ijo ,νPD,ije , as described in chapter5. These are then added to compute the total frequency of the photodiode signal,

νPD,ij=νPD,ijo +νPD,ije . (7.13)

We then apply eq. (6.20) to directly resample this total frequency, using the total clock error qi. This means we perform no first-order expansion of the clock errors for this case.

The resulting variable is then filtered and downsampled as described in section7.1. This is done to include any numerical artifacts the FIR filter might introduce into the frequency variable.

7.3 frequency management

As discussed in section3.6.2, all beatnote frequencies in LISA are controlled to fall in a range between 5 MHz and 25 MHz1.

The problem of finding such frequency plans has recently been studied in [46], and exact solutions have been found. We will use these solutions as an input to the simulation.

In this section, we describe how we simulate the laser locking control loop in section7.3.1. We then list the frequency locking schemes available for LISA in its baseline configuration in section7.3.2.

1 The exact frequency range remains to be defined. In addition, some margins are required for both the upper and lower bounds to account for the sideband beatnotes, which are offset by 1 MHz from the carrier beatnotes.

86 onboard processing

7.3.1 Laser locking

Laser locking is achieved by controlling the frequency of a laser such that a given beatnote frequencyνPD(τ)remains equal to a pre-programmed ref-erence valueνPD,r(τ). We do not simulate the actual control loop here, but instead directly compute the correct offsets and fluctuations of the locked laser for the locking condition to be satisfied. We perform this simulation in the TPS.

We consider the frequency lock to be perfect2. This means that the locking beatnote offset is

This is true with respect to the local clock in the THE, the frequency in the TPS will be different from the desired value!

exactly equal to the desired value, and the locked lasers fluctuations are chosen in such a way that they exactly cancel the fluctuations in the beatnote signal.

In terms of phase, the result of this control is that the measured beatnote phaseΦPD(τ)is controlled to be exactly equal to a pre-programmed reference valueΦPD,r(τ). The locked lasers phase drifts and fluctuations are given as

φlo(τ) and φel(τ), (7.14)

while those of the reference laser are

φro(τ) and φer(τ). (7.15)

The locking condition is derived by solving

φPDτi,o(τ) =φτPD,ri,o (τ) and φτPDi,e(τ) =φPD,rτi,e (τ). (7.16) The laser control loop operates on data delivered by the phasemeter at a high frequency of 80 MHz3. As such, we simulate the locking before applying any filtering or downsampling.

As explained in section5.4.2, the phasemeter treats all frequencies as positive.

The sign of the beatnote contains the information about which of the two lasers has the higher frequency, such that it is an essential information for the control loop to work properly. Fortunately, it is possible to determine the beatnote polarity by actuating the locked laser with a known frequency offset and observing the change in the beatnote.

We can there assume that the beatnote polarity is known at all times, and model the photodiode signals total phase without it, as

ΦPD(τ) =Φr(τ)−Φl(τ). (7.17)

We end up with photodiode signals as given in section5.6, including readout noise terms,

φPDo (τ) =φro(τ)−φlo(τ), (7.18) φPDe (τ) =φre(τ)−φel(τ) +NPDro(τ), (7.19)

2 In reality, the locking control loops will have finite gain and bandwidth, such that the locking beatnotes can still contain out-of-band glitches and noise residuals.

3 K. Yamamoto, AEI phasemeter team, personal communication May2021.

7.3 frequency management 87 The reference signalφτPD,ri (τ)is determined by the phasemeter clock, which is derived from the onboard USO (see section6.1.1), such that it is a perfect phase ramp at the desired beatnote frequencyνPD,r when expressed in the THE. Our control loop is simulated in the TPS, and using eqs. (6.5) and (A.5), we obtain

φτPD,ri (τ) =φτPD,rˆi (τˆi(τ)) =νPD,r(τ+qi(τ)). (7.20) We decompose this into large phase drifts and small fluctuations,

φτPD,ri,o (τ) =νPD,r(τ+qoi(τ)) and φτPD,ri,e (τ) =νPD,rqei(τ). (7.21) Substituting eq. (7.21) in eqs. (7.18) and (7.19), we find the locked laser phase drifts and fluctuations

φlo(τ) =φor(τ)−νPD,r(τ+qio(τ)), (7.22) φel(τ) =φer(τ)−νPD,rqei(τ) +NPDro (τ). (7.23) Taking the derivative of these equations yields equivalent expressions in frequency,

νlo(τ) =νro(τ)−νPD,r(1+q˙oi(τ)), (7.24) νle(τ) =νre(τ)−νPD,rei(τ) +N˙PDro(τ). (7.25) Note that these equations describe the locked laser at the photodiode. To properly simulate this effect, we need the locked lasers frequencyat the source, which we denote here as ¯νl(τ). We recall from eq. (5.57b) that we subtract a noise termnBA(τ)from the fluctuations during propagation, such that we have

¯

νle(τ) =νel(τ) + (ν0+νlo(τ))nBA(τ)

=νre(τ)−νPD,rei(τ) +N˙PDro(τ) + (ν0+νlo(τ))nBA(τ)

(7.26)

for the locked lasers fluctuations at the source.

Note that in the current version of the code, we do not use the desired beatnote frequencies as input, but use the desired offset with respect to the primary laser instead. Inspecting eq. (7.24), we see that the two are simply related by a sign. This will be changed in a future version in order to allow an easier interface to the frequency plans provided in [46], which are formulated in terms of desired beatnote frequency.

7.3.2 Locking configurations

In total,5 of the6lasers in the constellation will be locked (directly or indi-rectly) to one primary laser. Each of the locked lasers is locked to either

88 onboard processing

Table 7.1:Definition of6fundamental lock-ing configurations, with laser12as pri-mary laser

Configuration LA12 LA23 LA31 LA13 LA32 LA21 N1-LA12 Primary Local Distant Local Local Distant N2-LA12 Primary Local Distant Local Distant Distant N3-LA12 Primary Local Local Local Distant Distant N4-LA12 Primary Distant Distant Local Local Distant N5-LA12 Primary Distant Distant Local Local Local N6-LA12 Primary Local Local Distant Distant Distant

• the adjacent laser, using the reference interferometer, so that eqs. (7.24) and (7.26) read

Oij(τ) =νrefo ijik(τ)−νrefij,r(1+q˙oi(τ)), (7.27a) pij(τ) =νrefe ijik(τ)−νrefij,rei(τ) +N˙refroij(τ)

+ (ν0+Oij(τ))N˙refobijij, (7.27b)

• or to the distant laser, using the inter-spacecraft interferometer, such that we get

Oij(τ) =νisco ijji(τ)−νiscij,r(1+q˙oi(τ)), (7.28a) pij(τ) =νisce ijji(τ)−νiscij,rei(τ) +N˙iscroij(τ)

+ (ν0+Oij(τ))N˙iscobijij, (7.28b) where the indexk is again chosen such that the whole set fullfils{i,j,k}= 1, 2, 3.

These expressions can be substituted into the phasemeter equations in sec-tion7.2to derive the phasemeter signals with locked lasers.

As discussed in [46], there are 6 distinct non-swapping locking topologies.

For each of them, we have the freedom to choose the primary laser, such that, in total, we have36possible locking configurations. We give the locking conditions for the 6 configurations with laser 12 as the primary laser in table7.1. The other30combinations can be deduced by applying permutations of the indices, as described in appendix A.1.

Notice that we use a different notation for the locking configuration than what is proposed in [46]. We ordered the different configurations first by considering the length of consecutive laser locks, and second by favoring those for which the adjacent lasers on the same spacecraft are locked together.

The two notations are related in table7.2.

Conf. In [46]

N1 N1c

N2 N2b

N3 N1a

N4 N2c

N5 N1b

N6 N2a

Table 7.2:Notation in this thesis converted to the one used in [46].