1 Introduction

Global Navigation Satellite System (GNSS) precise positioning at the centimeter level can be attained when the carrier-phase integer-cycle ambiguity is resolved correctly. If multi-frequency carrier-phase measurements are available, some linear combinations of these measurements can be formed to improve positioning performance and to achieve ambiguity resolution (AR) as well as cycle slip correction more efficiently.

The linear combinations of GPS dual-frequency carrier-phase measurements were studied firstly, such as wide-lane (WL) combination, the ionosphere-free (IF) combination (Blewitt 1989; Dong and Bock 1989) and the geometer-free (GF) combination (Blewitt 1990). Afterward, the systematic research on the theory of linear combination arose. The systematic search for all possible WL combination of the dual-frequency GPS was presented by Cocard and Geiger (1992). The general definition of linear combination in cycles was given by Han (1995), Han and Rizos (1996). The comprehensive study of the inter-frequency combinations was presented by Collins (1999), in which the WL, reduced-ionosphere and noise-reduction combinations were examined in detail.

For the three or four frequency carrier-phase measurements case, such as the modernized GPS, Beidou navigation satellite system (BDS) and GALILEO, the linear combinations are much more complicated. Based on the pre-defined extra-wide lane (EWL) and WL linear combinations, Forssell et al. (1997) and Jung et al. (2000) presented the three-carrier ambiguity resolution (TCAR) method and the cascade integer resolution (CIR) method for GALILEO and GPS, respectively. Han and Rizos (1999) presented the definition of the carrier-phase linear combination for the triple-frequency case and discussed the AR strategies without and with distance constraints by applying the LAMBDA method (Teunissen 1995) to the GF GNSS model. Richert and El-Sheimy (2007) studied the optimal GPS and GALILEO linear combinations for differential positioning over medium–long baselines. Feng (2008) introduced the optimal ionosphere-reduced linear combinations for the geometry-based TCAR. Cocard et al. (2008) systematically investigated the GPS triple-frequency integer phase combinations with an analytical method firstly and found that the sum of the integer coefficients of the combinations was an important indicator for systematic classification of sets of combinations, and this method was extended to BDS by Li et al. (2012a). Zhang and He (2015) examined the BDS triple-frequency linear combinations based on the relevant methods of Richert and El-Sheimy (2007) and Cocard et al. (2008). Besides, Odijk (2003) examined the IF combinations for the modernized triple-frequency GPS. Simsky (2006) presented a triple-frequency GF and IF combination for extracting the carrier-phase multipath information. Hatch (2006) presented a GF and refraction-corrected method for long baseline AR by using some refined linear combinations. Li et al. (2010) also studied the GF and IF combinations for estimating the narrow lane (NL) ambiguity without distance constraints. Li et al. (2012b) presented the optimal triple-frequency IF combination and the GF and IF combination for long baseline AR and precise positioning and shown that the GALILEO (E1, E6, E5a) has the best performance of long baselines AR, and the similar study was presented by Wang and Rothacher (2013).

A review of the existing study on linear combination for triple-frequency GNSS reveals that at least the following four problems have not been dealt with completely: (1) some phase combinations expressed in units of meter are still considered to be suffering from a loss of the integer nature of ambiguities, for example the GF and IF combination or the phase multipath-combination (Henkel 2009) ; (2) though the analytical method presented by Cocard et al. (2008) for solving optimal integer combinations for GPS frequencies can be applied to other GNSS system, some tiny modification may be still needed when it is applied to the GNSS system with especial frequency distribution, for instance BDS; (3) a systematic search for the GF integer combinations is still absent; (4) though several GF and IF schemes for solving the third or NL ambiguity without distance constraints have been presented, such as Forssell et al. (1997), Bonillo-Martínez et al. (1999), Hatch (2006), Li et al. (2010, (2012b), Wang and Rothacher (2013), it is still ambiguous that whether they are equivalent or which scheme should be the best choice.

In this contribution, the existing several definitions of the carrier-phase linear combination are reviewed and the integer property of the resulting ambiguity of the phase linear combinations is examined in Sect. 2. Extending to the approach described in Cocard et al. (2008), the optimal integer linear combinations are solved rigorously by a generalized analytical method in Sect. 3. Then three refined triple-frequency integer linear combinations solely determined by the frequency values are introduced. In Sect. 4, the optimal GF, IF, EWL and ionosphere-reduced integer linear combinations are presented for GPS and BDS, followed by the analysis on their potential application in cycle slip detection, short or long baseline AR as well as precise positioning. In Sect. 5, a more straightforward scheme for the third or NL ambiguity is developed based on the presented GF and IF integer combination. The summaries are given in Sect. 6.

We make use of the following notation: the integer and nonzero integer sets are denoted as \({\mathbb {Z}}\) and \({\mathbb {Z}}^{*}\), \(\gcd ( )\) is the greatest common divisor operator, \(\det ()\) is the determinate operator. Three frequency values \(f_1 \), \(f_2 \) and \(f_3 \) of GNSS can be expressed as the product of the virtual fundamental frequency \(f_0 \) and three prime integer multiplier \(l_1 \), \(l_2 \) and \(l_3 \), with \(f_0 =\gcd ( {f_1 ,f_2 ,f_3 } )\) and \(l_1>l_2 >l_3 \). \(\lambda _0 =\frac{c}{f_0 }\) is the virtual fundamental wavelength respecting to the virtual fundamental frequency \(f_0 \). The overview of different GNSS frequency triplets is given in Table 1.

Table 1 Overview of different GNSS frequency triplets

2 Definition of the carrier-phase linear combination

The original phase measurements in cycles and meters can be, respectively, expressed as:

$$\begin{aligned} \varphi _j =\frac{f_j }{c}\rho -\kappa _j d_{\mathrm{ion}} +N_j +\upsilon _j \end{aligned}$$
(1a)
$$\begin{aligned} \phi _j =\lambda _j \varphi _j = \rho -\mu _j d_{\mathrm{ion}} +B_j +\varepsilon _j, \end{aligned}$$
(1b)

where \(\varphi _j \) is the original phase measurement in units of cycle; \(f_j \) is the jth frequency; c is the velocity of light in vacuum; \(\rho \) is the frequency-independent term containing the geometrical distance between receiver and satellite antenna phase center, the receiver and satellite clock biases and the troposphere delay; \(\kappa _j =\frac{f_1^2 }{cf_j }\) is a frequency-dependent amplification factor; \(d_{\mathrm{ion}} \) is the first-order ionosphere delay on the first frequency \(f_1 \) in meters; \(N_j \) is the sum of the initial phase, the phase ambiguity and the instrumental phase delay; \(\upsilon _j \) is the unmodeled errors in units of cycle, such as the measurement noise and the multipath error; \(\lambda _j =\frac{c}{f_j }\) is the wavelength of the jth frequency; \(\phi _j =\lambda _j \varphi _j \) is the original phase measurement in meters; \(\mu _j =\lambda _j \kappa _j =\frac{f_1^2 }{f_j^2 }\), \(B_j =\lambda _j N_j \), \(\varepsilon _j =\lambda _j \upsilon _j \) are the counterparts in meters of \(\kappa _j \), \(N_j \), \(\upsilon _j \), respectively.

From Eq. (1a), the triple-frequency phase combination expressed in units of cycle can be written as (Han 1995; Han and Rizos 1996, 1999; Cocard et al. 2008):

$$\begin{aligned} \varphi _{\left( {i.j.k} \right) }= & {} i\cdot \varphi _1 +j\cdot \varphi _2 +k\cdot \varphi _3 =\frac{f_{\left( {i.j.k} \right) } }{c}\rho -\kappa _{\left( {i.j.k} \right) } d_{\mathrm{ion}}\nonumber \\&+ \, N_{\left( {i.j.k} \right) } +\upsilon _{\left( {i.j.k} \right) }, \end{aligned}$$
(2)

where \(()_{( {i.j.k})} =i\cdot ( )_1 +j\cdot ( )_2 +k\cdot ()_3 \), for example, the resulting frequency of the phase combination \(f_{( {i.j.k} )} =i\cdot f_1 +j\cdot f_2 +k\cdot f_3 \). When \(f_{( {i.j.k} )} \ne 0\), this combination can be expressed in meters again in the form of Eq. (1b) (Feng 2008; Li et al. 2010):

$$\begin{aligned} \phi _{\left\langle {i.j.k} \right\rangle }= & {} \frac{c}{f_{\left( {i.j.k} \right) } }\varphi _{\left( {i.j.k} \right) } =\frac{i\cdot f_1 \cdot \phi _1 +j\cdot f_2 \cdot \phi _2 +k\cdot f_3 \cdot \phi _3 }{i\cdot f_1 +j\cdot f_2 +k\cdot f_3 }\nonumber \\= & {} \rho -\mu _{\left\langle {i.j.k} \right\rangle } d_{\mathrm{ion}} +B_{\left\langle {i.j.k} \right\rangle } +\varepsilon _{\left\langle {i.j.k} \right\rangle }, \end{aligned}$$
(3)

where \(( )_{\langle {i.j.k} \rangle } =\frac{i\cdot f_1 \cdot ( )_1 +j\cdot f_2 \cdot ( )_2 +k\cdot f_3 \cdot ( )_3 }{i\cdot f_1 +j\cdot f_2 +k\cdot f_3 }\). Though the linear coefficients i, j and k are not necessary to be integer in Eqs. (2) and (3), it is only necessary to consider the case of integer because any rational coefficients can be converted to integer coefficients by multiplying a common integer. In other words, the resulting ambiguities in Eqs. (2) and (3) still preserve the integer characteristic as long as the linear coefficients are the rational number.

From Eq. (1b), the triple-frequency phase combination in meters can be written as (Cocard and Geiger 1992; Collins 1999; Urquhart 2009):

$$\begin{aligned} \phi _{\left( {x,y,z} \right) }= & {} x\cdot \phi _1 +y\cdot \phi _2 +z\cdot \phi _3 =\left( {x+y+z} \right) \nonumber \\&\cdot \rho -\mu _{\left( {x,y,z} \right) } d_{\mathrm{ion}} +B_{\left( {x,y,z} \right) } +\varepsilon _{\left( {x,y,z} \right) }, \end{aligned}$$
(4)

where \(( )_{( {x,y,z})} =x\cdot ( )_1 +y\cdot ( )_2 +z\cdot ( )_3 \). When the triple-frequency phase combinations are expressed as Eq. (4), the integer property of the resulting ambiguity is implicit or is even considered to be lost. Actually, for the any phase combination in the form of Eq. (4), it is easy to validate that the resulting ambiguity still retains the integer nature as long as the linear coefficients are the rational number. In other words, it can always find their counterparts in cycles with the form of Eq. (2).

3 Solving optimal phase combinations by the analytical method

From Eqs. (2) and (4), we know that the number of linear combinations is unlimited. Among the infinite number of linear combinations, however, only those that satisfy some important criteria are of interest (Seeber 2003): the resulting ambiguity retains the integer nature, reasonably large wavelength to help ambiguity fixing, low ionosphere influence and limited observation noise.

3.1 Optimal phase combination in cycles

The resulting frequency (or wavelength) \(f_{\left( {i,j,k} \right) } \), ionosphere amplification factor \(\kappa _{\left( {i,j,k} \right) } \) and the noise amplification factor are the key criteria for evaluating a linear combination. The frequency and the ionosphere amplification factor can be expressed by the so-called lane number \(l_n \) and ion number \(i_n \) with the definitions as follows (Cocard et al. 2008; Li et al. 2012a):

$$\begin{aligned} l_n =l_1 \cdot i+l_2 \cdot j+l_3 \cdot k \end{aligned}$$
(5a)
$$\begin{aligned} i_n =\frac{l_2 l_3 }{g}\cdot i+\frac{l_1 l_3 }{g}\cdot j+\frac{l_1 l_2 }{g}\cdot k, \end{aligned}$$
(5b)

where \(g=\gcd \left( {l_2 l_3 ,l_1 l_3 ,l_1 l_2 } \right) \). Then the wavelength and ionosphere amplification factor can be rewritten as:

$$\begin{aligned} \lambda _{\left[ {i,j,k} \right] } =\frac{c}{f_{\left( {i,j,k} \right) } }=\frac{c}{l_n \cdot f_0 }=\frac{\lambda _0 }{l_n } \end{aligned}$$
(6a)
$$\begin{aligned} \kappa _{\left( {i,j,k} \right) } =i\cdot \frac{f_1^2 }{cf_1 }+j\cdot \frac{f_1^2 }{cf_2 }+k\cdot \frac{f_1^2 }{cf_3 }=i_n \cdot \frac{g}{l_2 l_3 }\cdot \frac{1}{\lambda _1 }=q_n \cdot \frac{1}{\lambda _1 }\nonumber \\ \end{aligned}$$
(6b)

where, \(\lambda _0 =\frac{c}{f_0 }\), \(q_n =i_n \cdot \frac{g}{l_2 l_3 }\). Considering Eq. (5b), we know that for the combination \(\varphi _{\left( {1,0,0} \right) } \) or \(\varphi _1 \), the value of \(q_n \) is equal to 1 because of \(i_n =\frac{l_2 l_3 }{g}\) when \(\left( {i,j,k} \right) =\left( {1,0,0} \right) \).

Assuming that the noise of the original phase measurements expressed in cycles on all three frequencies are the same and statistically independent, then the standard deviation of the combined noise \(\upsilon _{\left( {i,j,k} \right) } \) can be expressed as:

$$\begin{aligned} \sigma _{\left[ {i.j.k} \right] } =\sqrt{i^{2}+j^{2}+k^{2}}\cdot \sigma _\upsilon =\eta \cdot \sigma _\upsilon , \end{aligned}$$
(7)

where \(\eta =\sqrt{i^{2}+j^{2}+k^{2}}\) is the noise amplification factor, \(\sigma _\upsilon \) is the standard deviation of the phase noise in cycles.

Cocard et al. (2008) presented an analytical method for solving the optimal integer linear combination \(\left( {i,j,k} \right) \) with a given integer pair of \(l_n \) and \(i_n \). The key of the method is that the integer linear coefficients \(\left( {i,j,k} \right) \) are expressed as the integer linear function of the lane number \(l_n \), the ion number \(i_n \) and an arbitrary integer \(s_n \) by solving the Diophantine equation Eq. (5). Namely, there is an integer triplet \(\left( {s_1 ,s_2 ,s_3 } \right) \) existing to make the determinant of the following integer matrix \(\varvec{Z}\) equal to 1, i.e., \(\det \left( \varvec{Z} \right) =\pm 1\):

$$\begin{aligned} \left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ {s_n } \\ \end{array} }} \right] =\left[ {{\begin{array}{lll} {l_1 }&{} {l_2 }&{} {l_3 } \\ {\frac{l_2 l_3 }{g}}&{} {\frac{l_1 l_3 }{g}}&{} {\frac{l_1 l_2 }{g}} \\ {s_1 }&{} {s_2 }&{} {s_3 } \\ \end{array} }} \right] \left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] =\varvec{Z}\left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] \end{aligned}$$
(8)

where \(s_n =s_1 \cdot i+s_2 \cdot j+s_3 \cdot k\). For GPS (\(l_1 =154\), \(l_2 =120\), \(l_3 =115\)), from Eq. (8), we get that

$$\begin{aligned} \det \left( \varvec{Z} \right) _{\mathrm{GPS}} =18,095s_1 \mathrm{}-125{,}892s_2 +107{,}134s_3 \end{aligned}$$
(9)

Because of gcd (18,095, −125,892, 107,134) \(= 1\), there are integer triplets \(\left( {s_1 ,s_2 ,s_3 } \right) \) existing to make the determinant \(\det \left( \varvec{Z} \right) _{\mathrm{GPS}} \) equal to 1, for example (−121, 146, 192), then we have:

$$\begin{aligned}&\left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] _{\mathrm{GPS}} =\varvec{Z}^{-1}\left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ {s_n } \\ \end{array} }} \right] _{\mathrm{GPS}}\nonumber \\&\quad =\left[ {{\begin{array}{lll} {70{,}224}&{} {-6250}&{} {18{,}095} \\ {-488{,}568}&{} {43{,}483}&{} {-125{,}892} \\ {415{,}771}&{} {-37{,}004}&{} {107{,}134} \\ \end{array} }} \right] \left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ {s_n } \\ \end{array} }} \right] _{\mathrm{GPS}} \end{aligned}$$
(10)

For BDS (\(l_1 \)=763, \(l_2 \)=620, \(l_3 \)=590), however

$$\begin{aligned} \det \left( \varvec{Z} \right) _{\mathrm{BDS}} =2{,}769{,}690s_1 -14{,}512{,}278s_2 +1{,}166{,}8371s_3 \end{aligned}$$
(11)

Because of gcd (2,769,690, −14,512,278, 11,668,371)=33, there is no integer triplet \(( {s_1 ,s_2 ,s_3 } )\) existing to make the determinant \(\det \left( \varvec{Z} \right) _{\mathrm{BDS}} \) equal to 1. Namely, there are no integer linear combinations \(\left( {i,j,k} \right) \) existing for some given integer pairs \(\left( {l_n ,i_n } \right) \). However, we can make the determinant \(\det \left( \varvec{Z} \right) _{\mathrm{BDS}} \) equal to the greatest common divisor of the coefficients, for example \(\left( {s_1 ,s_2 ,s_3 } \right) =(-71, -143, -161)\), then:

$$\begin{aligned} \left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] _{\mathrm{BDS}}= & {} \frac{1}{33}\left[ {{\begin{array}{ll} {-482{,}979}&{} {15{,}450} \\ {2{,}530{,}654}&{} {-80{,}953} \\ {-2{,}034{,}733}&{} {65{,}089} \\ \end{array} }} \right] \left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ \end{array} }} \right] \nonumber \\&+\left[ {{\begin{array}{l} {83{,}930} \\ {-439{,}766} \\ {353{,}587} \\ \end{array} }} \right] s_n \end{aligned}$$
(12)

Without loss of universality, a group of the integer linear combinations with the given integer pair (\(l_n \),\(i_n )\) can be expressed as:

$$\begin{aligned}&\varvec{c}=\left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] =\frac{\varvec{Z}_{\mathrm{adj}} }{\det \left( \varvec{Z} \right) }\left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ {s_n } \\ \end{array} }} \right] =\frac{\varvec{l}\cdot l_n +\varvec{i}\cdot i_n +\varvec{s}\cdot s_n }{\det \left( \varvec{Z} \right) }\nonumber \\&\quad =\frac{\varvec{h}+\varvec{s}\cdot s_n }{\det \left( \varvec{Z} \right) } \qquad s_n \in {{\mathbb {Z}}}, \end{aligned}$$
(13)

where \({\varvec{Z}}_{\mathrm{adj}} \) denotes the adjoint of the matrix \(\varvec{Z}\); \({\varvec{l}}\), \({\varvec{i}}\) and \({\varvec{s}}\) are the first, second and third column of the matrix \({\varvec{Z}}_{\mathrm{adj}} \); \({\varvec{h}}={\varvec{l}}\cdot l_n +{\varvec{i}}\cdot i_n \). Then, the noise amplification factor can be expressed as:

$$\begin{aligned} \eta= & {} \sqrt{\varvec{c}^{\mathrm{T}}\varvec{c}}=\frac{\sqrt{\left( {\varvec{h}+\varvec{s}\cdot s_n } \right) ^{\mathrm{T}}\left( {\varvec{h}+\varvec{s}\cdot s_n } \right) }}{\det \left( \varvec{Z}\right) }\nonumber \\= & {} \frac{\sqrt{\varvec{s}^{\mathrm{T}}\varvec{s}\cdot s_n^2 +2\varvec{s}^{\mathrm{T}}\varvec{h}\cdot s_n +\varvec{h}^{\mathrm{T}}\varvec{h}}}{\det \left( \varvec{Z} \right) } \end{aligned}$$
(14)

The noise amplification factor can be minimized when

$$\begin{aligned} s_n= & {} \mathrm{round}\left( {-\frac{\varvec{s}^{\mathrm{T}}\varvec{h}}{\varvec{s}^{\mathrm{T}}\varvec{s}}} \right) =\mathrm{round}\left( {-\frac{\varvec{s}^{\mathrm{T}}\varvec{l}\cdot l_n +\varvec{s}^{\mathrm{T}}\varvec{i}\cdot i_n }{\varvec{s}^{\mathrm{T}}\varvec{s}}} \right) \nonumber \\= & {} \mathrm{round}\left( {-\frac{\varvec{s}^{\mathrm{T}}\varvec{l}}{\varvec{s}^{\mathrm{T}}\varvec{s}}l_n -\frac{\varvec{s}^{\mathrm{T}}\varvec{i}}{\varvec{s}^{\mathrm{T}}\varvec{s}}\frac{l_2 l_3 }{g}q_n } \right) \end{aligned}$$
(15)

Because the \(\det \left( {\varvec{Z}} \right) \) is equal to the greatest common divisor of the elements of the column vector \({\varvec{s}}\), if the column vector \({\varvec{h}}\) can be divided exactly by the \(\det \left( {\varvec{Z}} \right) \), then the optimal integer coefficients \(\left( {i,j,k} \right) \) with the given integer pair (\(l_n \),\(i_n )\) can be solved by Eqs. 13 and 15. Consequently, with given lane number \(l_n \) and ion number \(i_n \), the process for solving the optimal integer combination \(\left( {i,j,k} \right) \) in terms of the noise amplification factor is as follows:

Fig. 1
figure 1

GPS (left) and BDS (right) optimal integer phase combinations in the \(l_n\)\(q_n \) plane

  • From Eq. (8), the elements of the first and second row of the matrix \(\varvec{Z}\) can be determined based on the given triple-frequency values of GNSS. Then the determinant of the matrix \(\varvec{Z}\) can be expressed as \(\det \left( \varvec{Z} \right) =A_{31} \cdot s_1 +A_{32} \cdot s_3 +A_{33} \cdot s_3 \), where \(A_{31} \), \(A_{32} \) and \(A_{33} \) are the algebraic complements corresponding to the elements \(s_1 \), \(s_2 \) and \(s_3 \) of the third row, respectively.

  • Solving a particular solution of the integer linear equation \(A_{31} \cdot s_1 +A_{32} \cdot s_3 +A_{33} \cdot s_3 =\gcd \left( {A_{31} ,A_{32} ,A_{33} } \right) \) in order to determine the elements of the third row of the matrix \(\varvec{Z}\). As a result, we have \(\det \left( \varvec{Z} \right) =\gcd \left( {A_{31} ,A_{32} ,A_{33} } \right) \).

  • Computing the adjoint \({\varvec{Z}}_{\mathrm{adj}} \) of the matrix \(\varvec{Z}\); \(\left[ {{\begin{array}{lll} {\varvec{l}}&{\varvec{i}}&{\varvec{s}} \end{array} }} \right] ={\varvec{Z}}_{\mathrm{adj}} \), computing \({\varvec{h}}={\varvec{l}}\cdot l_n +{\varvec{i}}\cdot i_n \) with the given integer pair (\(l_n \),\(i_n )\). If \({\varvec{h}}\) can be divided exactly by the \(\det \left( {\varvec{Z}} \right) \), then the optimal integer linear coefficients \(\left( {i,j,k} \right) \) is solved by \({\varvec{c}}=\frac{{\varvec{h}}+{\varvec{s}}\cdot s_n }{\det {\varvec{Z}}}\) with \(s_n =\mathrm{round}\left( {-\frac{{\varvec{s}}^{\mathrm{T}}{\varvec{h}}}{{\varvec{s}}^{\mathrm{T}}{\varvec{s}}}} \right) \); otherwise, there will be no relevant integer linear coefficients for the given lane number \(l_n \) and ion number \(i_n \).

From the above algorithms, for GPS: \(0\le l_n \le 300\) and \(\left| {i_n } \right| \le 5 \times 1380\) (\(\left| {q_n } \right| \le 5\)), for BDS: \(0\le l_n \le 1500\) and \(\left| {i_n } \right| \le 5 \times 36{,}580\) (\(\left| {q_n } \right| \le 5\)), \(\eta \le 100\), we can find 4994 and 5829 optimal integer combinations for GPS and BDS, respectively. The results are shown in the \(l_n\)\(q_n \) plane (see Fig. 1). In Fig. 1, the color of the point denotes the sum of the integer coefficients; the smaller the point, the smaller the noise is.

It is found from Fig. 1 that these optimal integer combinations are reclassified by the sum of their integer coefficients for both GPS and BDS. For each group of combinations distinguished by the sum of their coefficients, there is a lowest noise axis in the \(l_n\)\(q_n \) plane: the nearer to this axis the lower the noise amplification factor is. These conclusions are the same as that given by Cocard et al. (2008).

3.2 Sum of the integer coefficients and three refined integer combinations

If we make all elements of the third row of the matrix \(\varvec{Z}\) equal to 1, namely, \(\left( {s_1 ,s_2 ,s_3 } \right) \)=(1, 1, 1), the integer number \(s_n \) denotes the sum of the integer coefficients. Considering Eq. (13), for GPS and BDS, we have

$$\begin{aligned} \left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] _{\mathrm{GPS}} =\frac{1}{-663}\left[ {{\begin{array}{lll} {-77}&{} {-5}&{} {18{,}095} \\ {468}&{} {39}&{} {-125{,}892} \\ {-391}&{} {-34}&{} {107{,}134} \\ \end{array} }} \right] \left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ {s_n } \\ \end{array} }} \right] _{\mathrm{GPS}} \end{aligned}$$
(16a)
$$\begin{aligned} \left[ {{\begin{array}{l} i \\ j \\ k \\ \end{array} }} \right] _{\mathrm{BDS}} =\frac{1}{-74{,}217}\left[ {{\begin{array}{lll} {-2289}&{} {-30}&{} {2{,}769{,}690} \\ {10726}&{} {173}&{} {-14{,}512{,}278} \\ {-8437}&{} {-143}&{} {11{,}668{,}371} \\ \end{array} }} \right] \left[ {{\begin{array}{l} {l_n } \\ {i_n } \\ {s_n } \\ \end{array} }} \right] _{\mathrm{BDS}} \end{aligned}$$
(16b)

From Eqs. (16a,b) if we make any two elements of the triplet \(\left( {l_n ,i_n ,s_n } \right) \) equal to zero, we can find three special integer combinations, namely: IFS0 (IF combination that the Sum of its integer coefficients equal to 0), GFS0 (GF combination that the Sum of its integer coefficients equal to 0) and GFIF (GF and IF combination), as shown in Table 2. For any triple-frequency GNSS, there exist similar three integer combinations which are solely determined by the triple-frequency values of GNSS.

Table 2 Three refined integer combinations for GPS and BDS

The GPS IFS0 integer combination (77, −468, 391) is first used to assist AR over long baseline by Han and Rizos (1999) and also given in the Cocard et al. (2008). For BDS, the relevant IFS0 combination is (2289, −10,726, 8437), which also can be applied in the long baseline AR similar to that of GPS. The GFS0 combination is useful in the cycle slip detection and the GFIF combination is crucial for AR over long baseline. The practicality of these three combinations will be introduced in detail in Sect. 4.

When \(\left( {s_1 ,s_2 ,s_3 } \right) \)=(1, 1, 1), from Eq. (15), we can depict the value of the sum of optimal integer combinations in the \(l_n\)\(q_n \) plane. For example, \(\left| {q_n } \right| \) \(\le 5\), for GPS: \(0\le \) \(l_n \) \(\le 300\), for BDS: \(0\le l_n \le 1500\), the sum values of the optimal integer combinations for GPS and BDS in the \(l_n\)\(q_n \) plane are shown in Fig. 2.

Fig. 2
figure 2

The sum of the integer coefficients of the optimal combinations in the \(l_n\)\(q_n \) plane for GPS (left) and BDS (right)

From Fig. 2, it is demonstrated again that the sum of the integer coefficients of the combinations is an important indicator for grouping the optimal integer combinations. From Figs. 1 and 2, we find that the sums of the integer coefficients of the optimal combinations with larger wavelength and lower ionosphere amplification factor have small absolute value (\(\le \)2) for GPS and BDS. For the EWL and WL combinations with long wavelength (GPS, \(1\le l_n \le 39\); BDS, \( 1\le l_n \le 173\) ), their ionosphere amplification factor increases with the absolute value of the sum of their coefficients. Therefore, the sum of the integer coefficients for the optimal EWL and WL combinations with lowest ionosphere influence should be equal to zero, namely, the area: \(\left| {q_n } \right| \le 1 \), GPS: \(1\le l_n \le 39\), BDS: \(1\le l_n \le 173\), shown in Figs. 1 and 2. Besides, the sum of the integer coefficients for the optimal NL combinations with lowest ionosphere influence should be equal to 1, namely, the area: \(\left| {q_n } \right| \) \(\le \)1, GPS: \(240\le l_n \le 300\), BDS: \(1200\le l_n \le 1500\), shown in Figs. 1 and 2.

3.3 Some especial phase combinations in meters and their counterparts in cycles

For the phase combinations in meters, their linear coefficients \(\left( {x,y,z} \right) \) can also be expressed as the linear function of three characteristic parameters with their definitions as follows:

$$\begin{aligned} \left[ {{\begin{array}{l} {s_r } \\ {\mu _r } \\ {\lambda _r } \\ \end{array} }} \right] =\left[ {{\begin{array}{lll} 1&{} 1&{} 1 \\ {\mu _1 }&{} {\mu _2 }&{} {\mu _3 } \\ {\lambda _1 }&{} {\lambda _2 }&{} {\lambda _3 } \\ \end{array} }} \right] \left[ {{\begin{array}{l} x \\ y \\ z \\ \end{array} }} \right] \end{aligned}$$
(17)

where \(s_r \) is the sum of the real coefficients, \(\mu _r \) is the ionosphere amplification factor, \(\lambda _r \) is the weighted sum of the real coefficients by their corresponding wavelength. From Eq.  (17), we have

$$\begin{aligned} \left[ {{\begin{array}{l} x \\ y \\ z \\ \end{array} }} \right]= & {} \left[ {{\begin{array}{lll} {\frac{f_1^2 }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) }}&{} {\frac{f_2 f_3 }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) }}&{} {\frac{-f_1^2 \left( {f_2 +f_3 } \right) }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) }\frac{1}{c}} \\ {\frac{f_2^2 }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }}&{} {\frac{f_2 f_3 }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }\frac{f_2 }{f_1 }}&{} {\frac{-f_2^2 \left( {f_1 +f_3 } \right) }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }\frac{1}{c}} \\ {\frac{f_3^2 }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) }}&{} {\frac{f_2 f_3 }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) }\frac{f_3 }{f_1 }}&{} {\frac{-f_3^2 \left( {f_1 +f_2 } \right) }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) }\frac{1}{c}} \\ \end{array} }} \right] \nonumber \\&\times \left[ {{\begin{array}{l} {s_r } \\ {\mu _r } \\ {\lambda _r } \\ \end{array} }} \right] \end{aligned}$$
(18)

From Eq. (18), we can get the generic expression of the linear coefficients for the GF combinations if we make the \(s_r \) equal to zero; we can also get the generic expression of the linear coefficients for the IF combinations if we make the \(\mu _r \) equal to zero. A special GF combination can be obtained if we make both \(s_r \) and \(\lambda _r \) equal to zero, with its coefficients as follows:

$$\begin{aligned} x_{\mathrm{GF}}= & {} \frac{f_2 f_3 \mu _r }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) }\quad y_{\mathrm{GF}} =\frac{f_2 f_3 \mu _r }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }\frac{f_2 }{f_1 }\nonumber \\ z_{\mathrm{GF}}= & {} \frac{f_2 f_3 \mu _r }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) }\frac{f_3 }{f_1 } \end{aligned}$$
(19)

If we make both \(\mu _r \) and \(\lambda _r \) equal to zero, an especial IF combination can be derived with its coefficients as follows:

$$\begin{aligned} x_{\mathrm{IF}}= & {} \frac{f_1^2 }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) }s_r \quad y_{\mathrm{IF}} =\frac{f_2^2 }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }s_r \nonumber \\ z_{\mathrm{IF}}= & {} \frac{f_3^2 }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) }s_r \end{aligned}$$
(20)

If we make both \(s_r \) and \(\mu _r \) equal to zero, a GFIF combination can be is obtained with its coefficients as follows:

$$\begin{aligned} x_{\mathrm{GFIF}}= & {} \frac{-f_1^2 \left( {f_2 +f_3 } \right) }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) }\frac{\lambda _r }{c}\quad {y_{\mathrm{GFIF}} =\frac{-f_2^2 \left( {f_1 +f_3 } \right) }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }\frac{\lambda _r }{c}}\nonumber \\ {z_{\mathrm{GFIF}} }= & {} \frac{-f_3^2 \left( {f_1 +f_2 } \right) }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) }\frac{\lambda _r }{c} \end{aligned}$$
(21)

It should be noted that the variables \(\mu _r \), \(s_r \) and \(\lambda _r \) in Eqs. (19)–(21) only perform a scale function. As a result, the Eqs. (19)–(21) can be simplified as follows, respectively:

$$\begin{aligned} x_{\mathrm{GF}}= & {} \frac{f_1 }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) } \qquad {y_{\mathrm{GF}} =\frac{f_2 }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }}\nonumber \\ z_{\mathrm{GF}}= & {} \frac{f_3 }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) } \end{aligned}$$
(22a)
$$\begin{aligned} x_{\mathrm{IF}}= & {} \frac{f_1^2 }{\left( {f_1 -f_2 } \right) \left( {f_1 -f_3 } \right) } \qquad y_{\mathrm{IF}} =\frac{f_2^2 }{\left( {f_2 -f_1 } \right) \left( {f_2 -f_3 } \right) }\nonumber \\ z_{\mathrm{IF}}= & {} \frac{f_3^2 }{\left( {f_3 -f_1 } \right) \left( {f_3 -f_2 } \right) } \end{aligned}$$
(22b)
$$\begin{aligned} x_{\mathrm{GFIF}}= & {} f_1^2 \left( {f_2^2 -f_3^2 } \right) \quad y_{\mathrm{GFIF}}= f_2^2 \left( {f_3^2 -f_1^2 } \right) \nonumber \\ z_{\mathrm{GFIF}}= & {} f_3^2 \left( {f_1^2 -f_2^2 } \right) \end{aligned}$$
(22c)

It is easy to find that the Eq. (22b) is the same as the Eq. (12) in Hatch (2006) and the Eq. (22c) is a scaled version of the Eq. (2) in Simsky (2006), the Eqs. (29), (30) and (34) in Hatch (2006) and the Eq. (7) in Li et al. (2012b). Besides, it is not difficult to validate that the integer combinations GFS0, IFS0 and GFIF in Sect. 3.2 are namely the counterparts in cycles of the real combinations Eq. (22a)–(22c), respectively.

4 Optimal phase combinations for cycle slip detection and AR

4.1 GF combinations for cycle slip detection

For cycle slip detection, the GF combinations in cycles with low noise amplification factor and low ionosphere amplification factor are helpful. The lower the noise amplification factor is, the fewer the number of insensitive cycle slip groups is. The low ionosphere amplification factor can ease the ionosphere influence on cycle slip detection and make them still efficient when dealing with those data with low sampling rate or under high ionosphere activity. When \(f_{\left( {i.j.k} \right) } =0\), the epoch-difference GF phase combinations from Eq. (2) can be expressed as:

$$\begin{aligned} \Delta \varphi _{\left( {i.j.k} \right) }= & {} -\kappa _{\left( {i.j.k} \right) } \Delta d_{\mathrm{ion}} +\Delta N_{\left( {i.j.k} \right) } +\Delta \upsilon _{\left( {i.j.k} \right) } \quad \nonumber \\&f_{\left( {i.j.k} \right) } =0, \end{aligned}$$
(23)

where \(\Delta d_{\mathrm{ion}} \) and \(\Delta N_{\left( {i.j.k} \right) } \) are, respectively, the ionospheric delay variation and the possible cycle slip value between consecutive epoch. The cycle slip detector based on the GF phase combinations can be defined as (Li 2014)

$$\begin{aligned} T=\frac{\Delta \varphi _{\left( {i.j.k} \right) } }{\sqrt{2}\sqrt{i^{2}+j^{2}+k^{2}}}=\frac{\Delta \varphi _{\left( {i.j.k} \right) } }{\sqrt{2}\cdot \eta }>\iota \cdot \sigma _\upsilon \quad f_{\left( {i.j.k} \right) } =0, \end{aligned}$$
(24)

where \(\iota =3\) (with confidence level of 99.7 %). The influence of the ignored ionosphere delay on the cycle slip detection by the Eq. (24) is evaluated by the following factor:

$$\begin{aligned} \gamma =\frac{\kappa _{\left( {i,j,k} \right) } }{\sqrt{2}\cdot \sqrt{i^{2}+j^{2}+k^{2}}}=\frac{\kappa _{\left( {i,j,k} \right) } }{\sqrt{2}\cdot \eta } \end{aligned}$$
(25)

Considering \(l_n =0\), for GPS: \(0\le i_n \le 7\times 1380\) (\(0\le q_n \le 7\)), \(\eta \le 300\), for BDS: \(0\le i_n \le 7 \times 36{,}580\) (0\(\le q_n \le \)12), \(\eta \le \)600, we get the optimal GF integer combinations by the algorithms of Sect. 3.1, which are listed in the Tables 3 and 4 for GPS and BDS, respectively. For comparison, the most frequently used dual-frequency GF combinations are also shown in the second and third row.

Table 3 GPS optimal GF combinations
Table 4 BDS optimal GF combinations
Table 5 GPS optimal IF combinations

From Tables 3 and 4, we can know that both the ionosphere and noise amplification factor of the triple-frequency GF combinations are evidently smaller than those of the dual-frequency GF combinations. It indicates that the better performance of cycle slip detection can be achieved in the triple-frequency case. If the ionospheric delay variation between consecutive epoch can be ignored (<0.001 m), the best two GF phase combinations for cycle slip detection are (−10, 9, 4) and (−5, −7, 14) for GPS, (−20, 17, 8) and (−10, −21, 35) for BDS because of their lowest noise amplification factor. If the ionospheric delay variation is the mm-level (<0.01 m), the GF combinations (−5, 16, −10) and (0, −23, 24) for GPS and (−10, 38, −27) and (0, −59, 62) for BDS are the best two selections. If the ionospheric delay variation reach the cm-level (<0.1 m), the GF combinations (5, −39, 34) and (−15, 94, −78) for GPS, (30, −173, 143) and (40, −211, 170) for BDS should be the best two GF phase combinations. Moreover, the GF combinations (−25, 172, −146) and (30, −211, 180) for GPS, (40, −211, 170) and (\(-90\), 460, \(-367\)) for BDS are still applicable for the dm-level (<1 m) ionospheric delay variation due to their very small ionosphere amplification factor. Besides, these GF phase combinations shown in Tables 3 and 4 can be also used for GF phase-only AR using multi-epoch observations.

4.2 IF combinations for AR over long baselines

From the algorithms of Sect. 3.1, considering \(i_n \)=0, for GPS: \(0\le l_n \le 10{,}491\), \(\eta \le 200\), for BDS: \(0\le l_n \le 234{,}069\), \(\eta \le 1000\), we find the optimal IF integer combinations, which are shown in the Tables 5 and 6 for GPS and BDS, respectively. The IFS0 combinations presented in Sect. 3.2 are also shown in the first row. In Tables 5 and 6, \(\sigma _\varepsilon \) is the standard deviation of the linear combinations noise in meters and \(\lambda _\mathrm{e} \) is the effective wavelength when the EWL ambiguity \(N_{\left( {0,1,-1} \right) } \) and/or the WL ambiguity \(N_{\left( {1,-1,0} \right) } \) have been fixed to their integer values in advance.

Table 6 BDS optimal IF combinations

From Tables 5 and 6, we know that except for the combinations (0, 24, −23), (0, 62, −59) and IFS0, the wavelength of the optimal IF combinations are smaller than 1 cm for GPS and 1 mm for BDS. Furthermore, considering their large noise standard deviation in meters, we can infer that it is almost impossible to fix their ambiguities directly. However, when the EWL ambiguity \(N_{\left( {0,1,-1} \right) } \) and/or \(N_{\left( {1,-1,0} \right) } \) are fixed in advance, the effective wavelength of all optimal IF combinations are larger than 10 cm. For the IFS0 combinations, the effective wavelengths even reach to 3.4 m for GPS and 4.5 m for BDS. As a result, it becomes possible to solve their ambiguities to their integer values.

The minimal noise standard deviation in meters for the IF combinations is desired for precise positioning application. The most optimal triple-frequency IF combinations have smaller noises than those of the dual-frequency IF combinations. For example, the standard deviations in meters of the triple-frequency IF combinations (77, −36, −23), (77, −12, −46) and (154, −48, −49) for GPS, (763, −248, −354), (763, −186, −413) and (763, \(-124\), \(-472\)) for BDS, are very close to the minimum value and at the same time have relatively small integer coefficients. Hence, better precise baseline or coordinates estimation will be achieved in the triple-frequency case.

As a whole, it can be concluded that the improvement in position estimation and AR for the triple-frequency IF combinations is insignificant for GPS and BDS compared to the dual-frequency IF combinations, considering the slight differences in noise standard deviations \(\sigma _\varepsilon \) and the effective wavelength \(\lambda _\mathrm{e} \).

4.3 EWL combinations for AR over short baselines

For geometry-free AR over short baseline, these combinations with large wavelength and small noise are helpful. From the algorithms of Sect. 3.1, for GPS: \(0< l_n \le 10\), \(\left| {i_n } \right| \le 5\times 1380\) (\(\left| {q_n } \right| \le 5\)), \(\eta \le 15\), for BDS: 0\(< l_n \le 50\), \(\left| {i_n } \right| \le 5 \times 36{,}580\) (\(\left| {q_n } \right| \le 5\)), \(\eta \le 15\), the optimal EWL integer combinations are obtained and shown in the Tables 7 and 8 for GPS and BDS, respectively.

Table 7 GPS EWL combinations
Table 8 BDS EWL combinations

From Tables 7 and 8, we can know that the ionosphere amplification factor of all optimal EWL combinations for GPS and BDS is proportionally increasing with the sum of their integer linear coefficients. The proportion of the factor and the sum is about 12. Therefore, the optimal EWL combinations with Sum \(=0\) are the best selection for AR since they suffer from the lowest ionosphere influence. However, it is impossible to find three linear independent EWL combinations with low noise and ionosphere amplification factors simultaneously since there are only two linear independent combinations with Sum \(=0\). It means that the third EWL combination will inevitably suffer from about 12 times larger ionosphere influence than that of the other two combinations with Sum \(=0\).

For short baselines, however, all the optimal EWL combinations shown in Tables 7 and 8 are helpful to reduce the influence of large pseudorange multipath error and noise on AR. For example, the GPS EWL combinations (−6, 1, 7), (−1, 8, −7) and (4, −8, 3) can be used at one time to reduce the influence of pseudorange multipath error on geometry-free AR to the greatest extent since all their wavelengths reach to the maximum 29.3 m.

4.4 Ionosphere-reduced combinations for AR over medium–long baselines

From Sect. 3.1, we know that there are two optimal ionosphere-reduced areas in the \(l_n\)\(q_n \) plane and the sum of the corresponding linear coefficients are 0 and 1, respectively.

From the algorithms of Sect. 3.1, when \(\eta \le 10\), if \(0< l_n \le 39\) and \(\left| {i_n } \right| <1380\) (\(\left| {q_n } \right| <1\)) for GPS and \(0< l_n \le 50\) and \(\left| {i_n } \right| <36{,}580\) (\(\left| {q_n } \right| <1\)) for BDS, then we get the optimal ionosphere-reduced combinations that the sum of their coefficients equal to 0. The results are shown in the Tables 9 and 10 for GPS and BDS, respectively.

Table 9 GPS ionosphere-reduced integer combinations (Sum \(=0\))
Table 10 BDS ionosphere-reduced integer combinations (Sum \(=0\))
Table 11 GPS ionosphere-reduced integer combinations (Sum \(=1\))

From Tables 9 and 10, we know that the optimal ionosphere-reduced combinations with the sum of their coefficients being 0 are EWL or WL combinations. The ionosphere amplification factor for the ionosphere-reduced combinations (1, \(-6\), 5), (1, \(-7\), 6), (0, 1, \(-1\)) and (1, \(-5\), 4) for GPS, (1, \(-5\), 4), (1, \(-4\), 3), (0, 1, \(-1\)) and (\(-1\), 6, \(-5\)) for BDS are very small. Especially for the GPS combination (1, \(-6\), 5) and the BDS combination (1, \(-5\), 4), the influence of 1 m ionosphere delay in the first frequency on AR are smaller 0.02 and 0.10 cycles, respectively. Considering the ionosphere amplification factor and noise amplification factor synthetically, the EWL combinations (0, 1, \(-1\)) and (1, \(-6\), 5) for GPS, (0, 1, \(-1\)) and (1, \(-5\), 4) for BDS are the first and second selection for AR in the triple case. Besides, compared to the dual-frequency ionosphere-reduced WL combination (1, \(-1\), 0), the triple frequency ones have larger wavelength and smaller ionosphere amplification factor in cycles.

From the algorithms of Sect. 3.1, when \(\eta \le 10\), if \(240< l_n \le 300\) and \(\left| {i_n } \right| \le 1380\) (\(\left| {q_n } \right| \le 1\)) for GPS and \(1200< l_n \le 1500\) and \(\left| {i_n } \right| \le 36{,}580\) (\(\left| {q_n } \right| \le 1\) ) for BDS, then we obtain the optimal ionosphere-reduced combinations with the sum of their coefficients being 1, which are shown in the Tables 11 and 12 for GPS and BDS, respectively.

Table 12 BDS ionosphere-reduced integer combinations (Sum \(=1\))

From Tables 11 and 12, we know that the optimal ionosphere-reduced combinations that the sum of their coefficients equal to 1 are the NL combinations with a wavelength of about 11 cm and a noise standard deviation of 5–10 mm. Unlike the IF combinations presented in Sect. 4.2, it is possible to solve their ambiguities to the integer values directly. The ionosphere influence of the combinations (4, 0, \(-3\)) for GPS, (4, 2, \(-5\)) and (5, \(-3\), \(-1\)) for BDS can be still ignored in the process of AR and position estimation even if the ionosphere delay on the first frequency reaches to the level of 1 m. The ionosphere-reduced combinations (4, \(-1\), \(-2\)) and (4, \(-2\), \(-1\)) for GPS, (4, 0, \(-3\)), (4, 1, \(-4\)) and (5, \(-2\), \(-2\)) for BDS may be the appropriate choices for the ionosphere delay level of 0.1 m. Besides, considering the fact that the noise standard deviation in meters for the optimal ionosphere-reduced combinations is comparative with that of the optimal IF combinations presented in Sect. 4.2, they can be used for precise positioning directly over medium–long baselines.

5 GF and IF AR over long baselines

From Sect. 3.2 and Eq. (2), we know that

$$\begin{aligned} \left( {\varphi _{\mathrm{GFIF}} } \right) _{\mathrm{GPS}}= & {} \varphi _{\left( {18{,}095,-125{,}892,107{,}134} \right) }\nonumber \\= & {} N_{\left( {18{,}095,-125{,}892,107{,}134} \right) }\nonumber \\&+\;\upsilon _{\left( {18{,}095,-125{,}892,107{,}134} \right) } \end{aligned}$$
(26a)
$$\begin{aligned} \left( {\varphi _{\mathrm{GFIF}} } \right) _{\mathrm{BDS}}= & {} \varphi _{\left( {83{,}930,-439{,}766,353{,}587} \right) }\nonumber \\= & {} N_{\left( {83{,}930,-439{,}766,353{,}587} \right) }\nonumber \\&+\;\upsilon _{\left( {83{,}930,-439{,}766,353{,}587} \right) } \end{aligned}$$
(26b)

On the assumption that the combined ambiguity \(N_{\left( {i,j,k} \right) } \) can be decomposed as the linear combination of three ambiguities \(N_{\left( {0,1,-1} \right) } \), \(N_{\left( {1,-1,0} \right) } \) and \(N_{\left( {1,0,0} \right) } \), namely:

$$\begin{aligned} N_{\left( {i,j,k} \right) } =c_1 \cdot N_{\left( {0,1,-1} \right) } +c_2 \cdot N_{\left( {1,-1,0} \right) } +c_3 \cdot N_{\left( {1,0,0} \right) }\nonumber \\ \end{aligned}$$
(27)

Then the decomposition coefficients can be obtained by the following formula:

$$\begin{aligned} \left[ {{\begin{array}{lll} {c_1 }&{} {c_2 }&{} {c_3 } \\ \end{array} }} \right] =\left[ {{\begin{array}{lll} i&{} j&{} k \\ \end{array} }} \right] \left[ {{\begin{array}{lll} 0&{} 1&{} {-1} \\ 1&{} {-1}&{} 0 \\ 1&{} 0&{} 0 \\ \end{array} }} \right] ^{-1} \end{aligned}$$
(28)

As a result, we can get

$$\begin{aligned}&N_{\left( {18{,}095,-125{,}892,107{,}134} \right) } = -107{,}134\cdot N_{\left( {0,1,-1} \right) } \nonumber \\&\quad +18{,}758\cdot N_{\left( {1,-1,0} \right) }-663\cdot N_{\left( {1,0,0} \right) } \end{aligned}$$
(29a)
Table 13 GFIF-based AR schemes for different GNSS frequency triplets
$$\begin{aligned}&N_{\left( {83{,}930, -439{,}766, 353{,}587} \right) } = -353{,}587\cdot N_{\left( {0,1,-1} \right) }\nonumber \\&\quad +86{,}179\cdot N_{\left( {1,-1,0} \right) } -2249\cdot N_{\left( {1,0,0} \right) } \end{aligned}$$
(29b)

It is well known that the EWL ambiguity \(N_{\left( {0,1,-1} \right) } \) and the WL ambiguity \(N_{\left( {1,-1,0} \right) } \) can be solved to their integer values effortlessly by the GF and IF method (Hatch et al. 2000). Consequently, the ambiguity \(N_{\left( {1,0,0} \right) } \) for GPS and BDS can be solved by the following estimator:

$$\begin{aligned} \left( {\hat{{N}}_{\left( {1,0,0} \right) } } \right) _{\mathrm{GPS}}= & {} \frac{-107134\cdot N_{\left( {0,1,-1} \right) } +18758\cdot N_{\left( {1,-1,0} \right) } -\varphi _{\left( {18{,}095,-125{,}892,107{,}134} \right) } }{663} \nonumber \\= & {} N_{\left( {1,0,0} \right) } -\frac{1}{663}\upsilon _{\left( {18{,}095,-125{,}892,107{,}134} \right) } \end{aligned}$$
(30a)
$$\begin{aligned} \left( {\hat{{N}}_{\left( {1,0,0} \right) } } \right) _{\mathrm{BDS}}= & {} \frac{86{,}179\cdot N_{\left( {1,-1,0} \right) } -353{,}587\cdot N_{\left( {0,1,-1} \right) } -\varphi _{\left( {83{,}930,-439{,}766,353{,}587} \right) } }{2249} \nonumber \\= & {} N_{\left( {1,0,0} \right) } -\frac{1}{2249}\upsilon _{\left( {83{,}930,-439{,}766,353{,}587} \right) } \end{aligned}$$
(30b)

The performance of the estimator Eq. (30) is not affected by the orbit error, the troposphere delay error and first-order ionosphere delay error, etc., and only suffers from the carrier-phase measurement noise and multipath error. As a result, it is applicable to AR over long baselines without distance constraint. However, the standard deviation of the estimate \(\hat{{N}}_{\left( {1,0,0} \right) } \) reach to 5.016 and 5.073 cycles for GPS and BDS, respectively, with the assumption that the raw phase measurement noise is 0.01 cycles on each of the three frequencies. A multi-epoch averaging process has to be implemented to reduce the noise of the ambiguity estimates. Regardless of the correlation between epochs, theoretically 1119 and 1145 epochs are required for GPS and BDS, respectively, to reduce the standard deviation to 0.15 cycles or improve the rounding success rate to 99.9 %. It should be noted that the standard deviation is independent of the integer coefficients of the three ambiguities in the right hand of Eq. 30a, 30b (Li 2011, 2014; Li et al. 2012b).

The GFIF-based AR schemes for different GNSS frequency triplets are shown in Table 13. It is shown that the GALILEO frequency triplet (E1, E6, E5a) has the best outcome among all frequency triplets, which agrees with the results of Li et al. (2012b), Wang and Rothacher (2013). Besides, the standard deviations \(\sigma _{\mathrm{NL}} \) are the same as those presented in Li et al. (2010, (2012b), Wang and Rothacher (2013) when the different assumptions for the raw phase measurement noise are taken into account. Consequently, it is evident that these GF and IF schemes for solving the third or NL ambiguity are equivalent. However, the estimator Eq. (30) for the third or NL ambiguity is more straightforward than those presented in Hatch (2006), Li et al. (2010, (2012b), Wang and Rothacher (2013).

6 Summary and conclusions

This paper presented a systematical analysis on the carrier-phase linear combination for triple-frequency GNSS. The integer property of the resulting ambiguity of the phase linear combinations is examined. It is concluded that the resulting ambiguity of all linear combinations still retains the integer nature as long as their linear coefficients are the rational number. The present analytical method for solving the optimal integer linear combinations is generalized for all triple-frequency GNSS. Three refined integer phase combinations, namely, IFS0, GFS0, GFIF, are introduced for triple-frequency GNSS and they are (77, −468, 391), (5, \(-39\), 34) and (18,095, \(-125{,}892\), 107,134) for GPS, (2289, \(-10{,}726\), 8437), (30, −173, 143) and (83, 930, \(-439{,}766\), 353,587) for BDS.

The optimal GF, IF, EWL and ionosphere-reduced integer combinations for GPS and BDS are solved by the presented method. It is shown that when the ionospheric delay variation can be ignored between consecutive epoch, the best two GF phase combinations for cycle slip detection are (\(-10\), 9, 4) and (\(-5, -7\), 14) for GPS, (\(-20\), 17, 8) and (\(-10, -21\), 35) for BDS. The GF combinations (\(-25, 172, -146\)) and (30, \(-211\), 180) for GPS, (40, \(-211\), 170) and (\(-90, 460, -367\)) for BDS are still valid for cycle slip detection in the presence of high ionosphere activity of dm-level. The optimal triple-frequency IF combinations have smaller noise than those of the dual-frequency IF combinations. The triple-frequency IF combinations (77, \(-36, -23\)), (77, \(-12, -46\)) and (154, \(-48, -49\)) for GPS, (763, \(-248, -354\)), (763, \(-186, -413\)) and (763, \(-124, -472\)) for BDS, have the minimum standard deviations in meters and have relatively small integer coefficients at the same time. However, compared to the dual-frequency IF combinations, the improvement of the triple-frequency IF combinations in position estimation and AR should be trivial for GPS and BDS. The ionosphere amplification factor of all optimal EWL combinations for GPS and BDS is proportionally increasing with the sum of their integer linear coefficients and the proportion of the factor and the sum is about 12 for GPS and BDS. As a result, it cannot find three linear independent optimal EWL combinations with low noise and low ionosphere influence at the same time. The optimal ionosphere-reduced combinations that the sum of their coefficients equal to 1 are the NL combinations with a wavelength of about 11 cm and a noise standard deviation of 5–10 mm. The ionosphere-reduced combinations (4, 0, \(-3\)) for GPS, (4, 2, \(-5\)) and (5, \(-3\), \(-1\)) for BDS can be used for precise positioning over medium–long baselines.

All existing GF and IF AR schemes for solving the third or NL ambiguity without distance constraints are equivalent and it can be achieved by a more straightforward manner based on the GF–IF integer combination.