Specification of deformation congruence models using combinatorial iterative DIA testing procedure

Deformation congruence models form the basis for conventional deformation analysis (CDA). In geometrical sense, these models connect an epochal object states—represented by its characteristic points—at stable/congruent points to disclose possible deformations. To this day, the deformation congruence models are usually specified using the global congruence test (GCT) procedure which, however, has a weakness in the case of multiple displacements. More precisely, the GCT procedure is based on consecutive point-by-point specification which may suffer from so-called displacement smearing. To overcome the above weakness, a revolutionary—in the context of GCT—concept (two methods) involving combinatorial possibilities was suggested in recent years. Admittedly, this concept avoids the problem of consecutive point-by-point specification. Nevertheless, it generates another weakness, namely the problem of the comparison of different-dimensional models. This paper makes a step forward in this new combinatorial field and discusses a more sophisticated combinatorial procedure, denoted as CIDIA. It was shown that, thanks to an appropriately used the possibilities of combinatorics and generalized likelihood ratio tests performed in the detection–identification–adaptation (DIA) iterative steps, the above weaknesses can be overcome. In the context of GCT, the suggested procedure has rather evolutionary—than revolutionary—character and the general concepts of both procedures have similar heuristic substantiation. To demonstrate the efficacy of CIDIA against GCT and the two existing combinatorial methods, various deformation scenarios were being randomized independently many times with the use of comprehensive computer simulations and then processed. Generally, the obtained results confirmed the statement that the suggested CIDIA procedure—unlike the existing combinatorial methods—can be substantially more resistant to displacement smearing than the GCT procedure, at no significant costs. The efficacy of CIDIA—unlike the ones of the two existing combinatorial methods—turned out always higher (on average by several percentages) than the one of GCT for all considered deformation scenarios. At the same time, the CIDIA procedure turned out substantially less time-consuming than the other combinatorial methods.


Introduction
Geodetic absolute or relative control networks-which are measured in two or more epochs of time-form the framework for conventional deformation analysis (CDA), (see, e.g., Welsch and Heunecke 2001). Absolute networks consist of points placed on the deformable object and points placed outside this object. Relative networks are established sible unstable points. It means that the stable part of network, also called reference base, forms the basis for the deformation estimates of remaining part. There are two widely accepted approaches to the specification of deformation congruence models: the global congruence test (GCT) procedure (Pelzer 1971(Pelzer , 1974Niemeier 1981Niemeier , 1985Kok 1982;Heck 1983;Caspary 2000, pp. 116-130;Neumann and Kutterer 2007) and robust approach (Chen 1983;Caspary and Borutta 1987;Chen et al. 1990;Caspary et al. 1990;Caspary 2000, pp. 130-132;Nowel and Kamiński 2014;Nowel 2015). The congruence analysis with the use of GCT is performed similarly as the outlier screening with the use of iterative data snooping procedure (e.g., of Baarda 1968). GCT uses a socalled mean shift model and employs the least squares (LS) estimation supported by statistical hypothesis tests, in consecutive iteration steps. However, the general concept of the procedure has heuristic substantiation, just as the general concept of iterative data snooping procedure (e.g., Kok 1984, p. 33;Caspary 2000, p. 77). Displaced points are here consecutively one-by-one removed from the congruent part of the model to specify the final model. Whereas the robust approach assumes a so-called variance inflation model and employs a robust M-estimation. Displaced points are not removed from the congruent part of the model, but their participation in this part is gradually suppressed in consecutive iteration steps. A method recently published, which can be regarded as the extension of the robust approach, is presented by Nowel (2019). The idea behind this method is inspired by the theory of M split estimation (Wiśniewski 2009(Wiśniewski , 2010Wiśniewski and Zienkiewicz 2020;Wiśniewski 2019, 2020;Duchnowski 2019, 2020;Zienkiewicz 2019) and lies in the assumption that control networks may simultaneously realize many competitive congruence models.
The GCT procedure is more widely accepted, longstanding experience has proven its high efficacy and it is recommended in most journal papers and all significant geodetic textbooks comprising deformation analysis (e.g., Caspary 2000, pp. 116-172;Niemeier 2008, pp. 433-457 or Heunecke et al. 2013. However, GCT has a serious weakness in the case of multiple displacements (e.g., Hekimoglu et al. 2002Hekimoglu et al. , 2010. Namely, alternative hypotheses imply only one single displaced point in a given iteration step and then the alternative hypotheses which are considered in the next steps are conditioned by the alternative hypothesis identified in the previous step. More precisely, the congruent part of model is point-by-point reduced in consecutive iteration steps and the point which is identified as most suspected to be displaced in a given step is not then modeled as stable in the next steps. The point most suspected to be displaced in a given step is the one which returns the greatest contribution to the global test statistic. The problem is that the contributions are expressed by the quadratic forms of estimated displacements which may be substantially burdened in the case of multiple displacements. Firstly, and definitely most important, the possible displacements of points modeled as stable (in congruent part) smear-more or less-on the estimated displacements of the points modeled as displaced and, in consequence, on their contributions. Secondly, since estimated displacements are interrelated through a network, the possible displacements of points modeled as displaced also slightly smear on the estimated displacements of other points modeled as displaced and, in consequence, on their contributions (see, e.g., Hekimoglu et al. 2002Hekimoglu et al. , 2010Erdogan and Hekimoglu 2014;Durdag et al. 2018). The above smearing may lead to the identification of a stable point as most suspected to be displaced in a given iteration step. If it is the case, the models which are specified in the next steps are-from now-conditioned by the result of the erroneous identification from the previous step. It means, all these models are-from now-conditioned by the erroneous information. The computational load of the GCT procedure is relatively low but it is done at the above cost. Note that the above weakness of GCT under multiple displacements has similar nature as the weakness of iterative data snooping procedure under multiple outliers (e.g., Kok 1984, pp. 35-36;Ding and Coleman 1996).
Recently, a revolutionary LS concept-which overcomes the above weakness-was presented by Velsink (2015) and Lehmann and Lösler (2017). Since the advent of powerful computers, non-iterative combinatorial concept-where all possible combinations of displaced points come into considerations-may be today performed in near-real time. It is not necessary here to consecutively point-by-point specify the congruence model, because all candidate congruence models can be compared at the same stage. Additionally, this concept allows imposing some geometrical conditions to displaced points (extended congruence analysis), which is not possible in GCT or robust approach. For instance, it is the case when some displaced points can be moved in the same way. Such a combinatorial method is discussed in detail by Velsink (2015). Generally, the author considers many congruence models and proposes the ratio of test statistic and its critical value as a decision rule. This means that among all candidate models, the one associated with the largest ratio pinpoints the best approximating model. Another combinatorial method is discussed by Lehmann and Lösler (2017). The authors have made a step forward and consider the use of various information criteria as measures of model approximation. Among all candidate models, the one with the lowest value is selected as the best. The same idea but dedicated to the screening of multiple outliers in geodetic observations is presented by Lehmann and Lösler (2016) and Nowel et al. (2020). It should be noted that there are also other applications of combinatorics in geodesy and surveying, e.g., Baselga (2011), Biagi and Caldera (2013) or Wujanz et al. (2016).
Admittedly, the above combinatorial concept of congruence model specification overcomes the weakness of GCT, i.e., the problem of the consecutive point-by-point model specification which may suffer from displacement smearing. Nevertheless, it has other serious weakness which is absent in GCT. The best approximating model is identified here from the set of different-dimensional models and the crucial question is: How can one identify the best approximating model from such set? Of course, the goodness of model fit-represented by the model likelihood-cannot itself pinpoint the best approximating model. The higher dimension of congruence model (more points modeled as displaced) always realizes a better fit to observations, regardless of whether all the points modeled as displaced are displaced or not. To obtain some balance between the goodness of fit and the parsimony of model, the authors apply some penalties for the increase of model dimension. This means that a function of the goodness of model fit and a penalty term constitutes an identification criterion. However, there are many such criteria (ratio, several information criteria or p value) which may be used. The question is: Which one is the best and why? The answer is not unique (e.g., Burnham and Anderson 2002). The numerical experiments which were performed in the cited papers did not say much about this weakness and, generally, about the efficacy of this concept. Those experiments referred to particular scenarios of deformations and measurement errors and the obtained results may only lead to the conclusion that the suggested concept somehow works and gives results similar to GCT in those particular cases.
This paper discusses a more sophisticated combinatorial procedure to address the weaknesses associated both with the GCT procedure and the existing combinatorial methods. It is shown that, thanks to an appropriately used the possibilities of combinatorics and generalized likelihood ratio (GLR) tests (e.g., Teunissen 2006b, pp. 53-123;Koch 2010, pp. 276-295;Kargoll 2012, pp. 29-33) performed in the detection-identification-adaptation (DIA) steps (e.g., Baarda 1968;Teunissen 1990Teunissen , 2018Zaminpardaz and Teunissen 2019), both the problem of the consecutive point-by-point model specification which may suffer from displacement smearing and the problem of the comparison of different-dimensional models can be overcome, at no significant cost. At the same time, the suggested procedure allows to extended congruence analysis just as the existing combinatorial methods. In the context of GCT, the suggested procedure has rather evolutionary-than revolutionary-character and the general concepts of both procedures have similar heuristic substantiation.
The next part of the paper is organized as follows. Section 2 describes the GCT procedure and the two existing combinatorial methods. Particular attention is paid to the forms of functional congruence models and the criteria used  Niemeier 2008, p. 437) for the identification of the best approximating model. Section 3 presents, in relation to Sect. 2, the new combinatorial procedure. A research motivation is presented in Sect. 3.1. The next sections focus on the form of dedicated functional congruence model, its parameter estimation and, most of all, the concept of the suggested combinatorial procedure. Section 4 is devoted to numerical experiments based on comprehensive computer simulations to objectively demonstrate the suggested method against conventional ones. Section 5 gives the conclusions from the study.

Congruence analysis using the LS approach
Appropriate matching of two (or more) control networks at mutually stable points (i.e., at the point group which has a congruent/rigid geometrical structure at all considered epochs) plays a crucial role in the congruence analysis. However, the stable points may not be a priori known. Geodetic control networks are free networks suffering from datum defect and can realize infinitely many possible matchings (Fig. 1). This is why the congruence analysis is a quite difficult task, especially when there are many displaced points (see, e.g., Hekimoglu et al. 2002Hekimoglu et al. , 2010Nowel 2019). The suggested-in this paper-procedure of the specification of deformation congruence models is addressed to the weaknesses of the LS approach, i.e., the GCT procedure and two existing combinatorial methods. Therefore, Sect. 2 is briefly devoted to the congruence analysis using the LS approach. For the sake of simplicity and without a loss of gen-erality, the following and further discussions are restricted to two epochs, however, nothing stands in the way to extend them to more epochs.

Global congruence test procedure
The GCT procedure can be realized based on two different approaches; both approaches, however, provide identical results. The mathematical proof of this equivalence can be found in Caspary (2000, pp. 63-64, 123-124) and some empirical results in Nowel (2018). The first approach is often named the explicit hypothesis method [two variants exist: hypotheses can be formulated before adjustment (e.g., Kok 1982;Heck 1983, pp. 158-162;Lehmann and Lösler 2017) or after adjustment (e.g., Pelzer 1971Pelzer , 1974Niemeier 1981Niemeier , 2008] and the second is named the implicit hypothesis method (e.g., Niemeier 1985;Heunecke et al. 2013, pp. 498-508). Which approach suits best depends on the software available. The first approach realized by hypotheses formulated after adjustment is best grounded in the literature and, hence, it is very briefly demonstrated below.
After screening observations for outliers, the-minimally constrained-LS adjustment of control network (e.g., using the Lagrange method) is performed for both epochs. The linear(ized) functional model of one-epoch observations has the following form: where i is the designation of considered epoch (here i 1, 2), A i (n i × u i ) is the design matrix with rank deficiency is the vector of the coordinates (or increments) of all analyzed points, i.e., all points which are common in both epochs, x i,s is the vector of the coordinates (or increments) of analyzed points modeled as stable, x i,o the vector of the coordinates (or increments) of remaining analyzed points, x i,n is the vector of the coordinates (or increments) of non-common points (if such points exist) or nuisance parameters, y i is the vector of observations (or observed minus computed values of observations), e i is the vector of measurement errors and a(s) is the Helmert matrix of S-transformation filled with the Helmert components (e.g., Caspary 2000, pp. 31-33) for all the analyzed points modeled as stable and with zeros for the remaining analyzed points, and 0 i,n is the null matrix. The above func-tional model is supplemented with the Gaussian probabilistic model: where N means the Gaussian distribution, σ 2 0i is the variance factor and Q y i is the cofactor matrix of observations; the probabilistic model is needed in the further part for statistical testing (3), (4). The appropriate congruence analysis is performed after the LS estimation, for the results of at least two epochs.
Since GCT resembles the iterative data snooping procedure, it can be demonstrated using the DIA framework which is often used to demonstrate that procedure (e.g., Teunissen 2006b, p. 132). Note that the DIA framework is also used for the new combinatorial procedure discussed in Sect. 3.

Detection
The objective is to detect whether or not the point group modeled as stable/congruent is stable/congruent at both epochs. This group may consist of all network points common to the epochs, of the points establishing the reference net or those belonging to a specified block of the network. For this point group, the null hypothesis/model: "all considered points are stable" against the most relaxed alternative hypothesis/model (no restrictions are placed on considered points): "all analyzed points are individually displaced": is tested using the global test of congruence (Pelzer 1971(Pelzer , 1974: x,s , x,s x 2,s −x 1,s ,x i,s is the vector of the estimated coordinates (or increments) of analyzed points modeled as stable at epoch i, Q x,s is the cofactor matrix of x,s , (·) + means pseudo-inverse, h rank(Q x,s ), σ 2 0 is the known variance factor (pooled for epoch 1 and 2), f ∞ and F 1−α (·) is the critical value from the central Fisher's cumulative distribution function (CDF) for a chosen significance level α. For the estimated variance factor it goes analogously where f is the sum of the degrees of freedom from both epochs. Note the test (4) may be treated as the likelihood ratio (LR) test in today's language (e.g., Teunissen 2006b, p. 53;Koch 2010, p. 276;Kargoll 2012, p. 29). The result of the global test of congruence (4) is either a rejection of H 0 , leading to an identification step, or a non-rejection in which case it may be possible to skip the identification step.

Identification
The rejection of H 0 (3) allows to suspect the existence of displacement(s) in the point group modeled as stable and leads to the identification of the point most suspected to be displaced, i.e., the point with the greatest contribution, t max , to global quadratic form, t , (4), (e.g., with the use of Gauss-elimination, S-transformation or implicit hypothesis method), (e.g., Caspary 2000, pp. 125-129;Niemeier 2008, pp. 446-449;Heunecke et al. 2013, pp. 500-508). One should also note that-unlike the iterative data snooping procedure-no local test is performed for these contributions in the primary version of GCT, however, nothing stands in the way of additionally doing it as some authors suggest.

Adaptation
The point identified as the most suspected to be displaced is treated as displaced and is transferred from the group of stable points to the group of remaining analyzed points; the vectors/matrices of model (1) are reordered. Now, the new detection step is again performed.
The above DIA testing procedure is repeated until the complete separation of stable and displaced points is accomplished, i.e., H 0 (3) passes. More information about the above realization of GCT and the other realizations can be found in the papers cited in the first paragraph of Sect. 2.1.

Two existing combinatorial methods
Firstly, it is worth noting that both presented methods do not divide the network into reference and object points. However, nothing stands in the way of using these methods for the standard case, when the sub-group of potentially stable points is a priori known and only this group is modeled as stable/congruent.
The first existing combinatorial method involves statistical hypothesis tests and was presented by Velsink (2015). The deformation congruence model is here inspired by the theory of the connection of two epoch adjustment results (Teunissen 1985). The author starts from the vectors of coordinates and their covariance matrices, which may be adjusted in different datums at both epochs [e.g., different D i (2)]. To overcome the problem of different datums, the author builds the model of connection adjustment. Thanks to this, the S-transformation of the two-epoch adjustment results (the vectors of estimated coordinates and their covariance matrices) to a common datum-what is usually done to overcome the problem of different datums-can be omitted here. For all network points, the following H 0 : "all analyzed points are stable" against the most relaxed H A : "all analyzed points are individually displaced":  2006b), where x,a x 2,a −x 1,a ,x 1,a andx 2,a are the vectors of the estimated coordinates (or increments) of all analyzed points in epoch 1 and 2 [e.g., from (1)], H(u × t) is the Helmert matrix of S-transformation (e.g., Caspary 2000, pp. 31-33;Aydin 2017), t(t × 1) is the vector of the S-transformation parameters, t is the number of degrees of freedom between both epochs, Ht gives the vector of point displacements resulting only from different datums at both epochs (rigid body movements of adjusted networks), B I (u × q) is the specification matrix of full rank such that the redundancy of the model under H A equals zero, q is the number of the redundancy of null model and ∇(q × 1) is the unknown vector of the displacements of all analyzed points. The test of H 0 (5), as that of H 0 (3), are the global tests of congruence; no restrictions are placed on considered points under H A (here, B I is identity matrix). Thus, the first step is the same as in GCT and it may be also treated as a detection step.
The rejection of H 0 (5) states that deformation is detected but not yet localized. Now, the best approximating congruence model is identified. To identify such a model the author considers by "brute force" a large amount, m, of differentdimensional congruence models; each defined/conditioned by its specification matrix of hypothetical deformations, B I ,i (u × q i ). It means, one point may be displaced, but also two, three, or even more points may be displaced (either in the same or different way). Each of such considered cases is expressed by the following alternative hypothesis: where B I ,i and ∇ i refer to a candidate congruence model. The H 0 (5) against the alternative hypothesis (6) leads to the GLR test statistic of a candidate model: where p N is the Gaussian probability density function (PDF) of x,a . Finally, the ratio of the appropriate test statistic (T i /q i ) ∼ F(q i , ∞, 0) and their critical value: → goodness of fit → penalty for complexity (8) gives an indication of the approximation of candidate model, where F 1−α i (·) means the critical value from the central Fisher's CDF, q i rank(B I ,i ) and α i is the significance level which realizes the same non-centrality parameter and power as the global test of H 0 (5), see also Baarda (1968). The model with the largest value of this ratio is identified as the best approximating congruence model. More information, e.g., the examples of specification matrices, B I ,i , can be found in Velsink (2015). Note also that the general problem of the penalty for the complexity of a candidate model is discussed in detail by Burnham and Anderson (2002).
The second existing combinatorial method, presented by Lehmann and Lösler (2017), is based on information theory and uses some relative estimators of the Kullback-Leibler divergence as measures of the approximation of a candidate congruence model. The functional model is formed as an ordinary model of observations (not of adjusted coordinates) with the same datum at all considered epochs and the problem of different datums is not considered here. The authors do not carry out the detection of deformation (global test of congruence) and start the identification of the best approximating congruence model straight away. Similar to Velsink (2015), they consider by "brute force" many different-dimensional candidate models; each defined/conditioned by its specification matrix of hypothetical deformations, B I I ,i . The functional linear(ized) model employed here has the following form (two epochs): where i 1, ..., m + 1, x 1,a and x 2,a are the vectors of coordinates (or increments) of all analyzed points in epoch 1 and 2, x 1,n and x 2,n are the vectors of coordinates (or increments) of non-common points (if such points exist) in epoch 1 and 2, B T I I ,i (n c × u) B T a i 0 1,n 0 2,n , n c is the number of constraints and B a i is a specification matrix referring to all analyzed points. The other denotations are the same as earlier. For example, if a leveling control network including twelve analyzed points (without non-common points), (e.g., the network which will be depicted in Fig. 2) was processed where points 1-5 were be modeled as displaced-in consequence, the remaining analyzed points (6-12) as stable-the specification matrix (10) would read: B T a i 0(7 × 5) −I(7 × 7) 0(7 × 5) I(7 × 7) where I is identity matrix. Additionally, if points 1, 3 were modeled as shifted with a certain joint value and points 2, 4 as shifted with another joint value, this matrix would read: and if, for example, all conditioned displaced points (1-4) were modeled as shifted with a certain joint value, it would be enough to introduce an additional condition into matrix (13), e.g., it could be the condition: which would model points 1, 2 as shifted with a cer- u. This matrix is not unique and it may read: where H a(s) is filled with the Helmert components only for the analyzed points modeled as stable and with zeros for the remaining analyzed points. Note that the probabilistic model, e.g., the Gaussian model, is also necessary for the presented method. After the maximum likelihood estimation, which is reduced here to the LS estimation under the Gaussian probabilistic model, the authors use-unlike Velsink (2015)-information criteria to identify the best approximating congruence model from the set of all candidate models (9), (10), i.e., from the set containing null model and all alternative models which together form m + 1 candidate models (9), (10). For instance, the Akaike's information criterion with correction (AICc)-suggested by Lehmann and Lösler (2017)-for a candidate model (9), (10) reads (see also Burnham and Anderson 2002, pp. 66, 374-380): Qx is the cofactor matrix of externally estimated coordinates. If the variance factor is unknown (estimated), k is increased by one because the variance factor also counts as a parameter. Among all candidate models, the one with the lowest value of information criterion [e.g., AICc (16)] is identified as the one best approximating. One can see the described information criterion includes a trade-off between the goodness of fit and the dimension of model. Thus, such a measure (16) plays the same role as the ratio used by Velsink (2015), [see Eq. (8)]. More information, e.g., the ready-made form of AICc which is used in congruence analysis can be found in Lehmann and Lösler (2017).
Summing up, the concepts of the above combinatorial methods are similar. They differ mainly in the criterion (8), (16) using to the identification of the best approximating model.

Combinatorial iterative DIA testing procedure
This section is devoted to a new LS combinatorial method which-unlike the existing ones-involves a combinatorial iterative DIA (CIDIA) testing procedure. The tests involving in the suggested procedure are based on residuals and, as such, are invariant under a change of S-system (reference system in which parameters are defined), as it is postulated in the literature (e.g., Koch 1985; Velsink 2015).

Motivation
As mentioned in Sect. 1, the GCT procedure has a serious weakness in the case of multiple displacements. It involves the consecutive point-by-point model specification which is conditioned by the results of previous iterations. It means, models considered in the second iteration are conditioned by the result of the first iteration (i.e., the point which is identified as most suspected to be displaced in the first iteration is not modeled as stable in the second iterations). Then, the models considered in the third iteration are conditioned by the results of the first and the second iterations (i.e., the point which is identified as most suspected to be displaced in the first iteration and the point which is identified as most suspected to be displaced in the second iteration are not modeled as stable in the third iterations), and so on. The problem is that the consecutive identifications of single-point displacements may be burdened by the smearing of displacements which mainly results from the possible displacements of points modeled as stable (in the congruent part of network-reference base) and slightly from network interrelations (e.g., Hekimoglu et al. 2002Hekimoglu et al. , 2010Erdogan and Hekimoglu 2014). In consequence, a stable point may be identified as most suspected to be displaced in a given iteration. If it is the case, the models which are specified in the next iterations are-from now-conditioned by the result of erroneous identification from the previous iteration. To avoid the above problem, Velsink (2015) and Lehmann and Lösler (2017) discuss a revolutionary-in the context of GCT-combinatorial concept. The authors suggest the identification of the best approximating model directly from the set of all possible candidate models. Thanks to this, the above problem of the consecutive specification which may suffer from displacement smearing can be avoided. Unfortunately, another problem arises, i.e., the problem of the comparison of different-dimensional models. To identify the best approximating model, the authors use the penalized goodness of model fit and the model with an optimal value is identified as the one best approximating. The goodness of model fit itself can be clearly expressed; it is defined as log-likelihood function and is characterized by the function of residuals in practice. However, a serious problem is related to the term which penalizes an increase in the dimension (number of parameters) of model. It means the identified model should not be either underfitting to the observations (lower dimension of model than it is) or overfitted to the observations (higher dimension of model than it is), (see also Burnham and Anderson 2002). Since the candidate congruence models are different-dimensional, it is not exactly clear how one should properly penalize the goodness of fit for an increase in the dimension of model. To penalize it, Velsink (2015) divides the goodness of fit by corresponding critical value, which is the function of the dimension of candidate congruence model (8). This idea of penalizing comes from the paper de Heus et al. (1994, p. 266) and it has an only intuitive justification. Indeed, the penalty terms suggested by Lehmann and Lösler (2017) are additionally justified by information theory, nonetheless, this is a quite arbitrary area. It means, there are suggested various penalty terms, but it is not exactly clear which one provides the best trade-off between the goodness of model fit and its parameter number. In the author's opinion, the above problem of the comparison of differentdimensional models may raise some fears-especially in the context of surveying and geodetic observation models-and it still deserves deeper theoretical and empirical research.
Furthermore, although the power of computers is growing, the existing combinatorial concept can still suffer from a computational load. For instance, Velsink (2015Velsink ( , p. 1086 states: "With an adjustment model that covers more than two epochs, it is possible to specify alternative hypotheses that describe deformation processes during more epochs. The search for the best alternative hypothesis will be even more complicated. It is therefore important to find ways to reduce the amount of alternative hypotheses that have to be tested." What is worse, this problem can also concern the two-epoch analysis of large and very large control networks, where hundreds of thousands-or even more-of time-consuming models would have to be considered and it also would not allow obtaining calculation results in near-real time, not to mention different simulation studies in scientific research, where one performs the thousands of calculation repetitions for a given method. It becomes clear that the computational load can also be a certain problem concerning the existing combinatorial methods.
The further part of Sect. 3 is devoted to the new combinatorial procedure which is addressed to the above problems. In the context of GCT, the new combinatorial procedure has rather evolutionary-than revolutionary, as the existing combinatorial methods-character.

General form of mathematical model
As it is known, the congruence models either in explicit [e.g., (9), (10)] or implicit forms may be equivalently used in congruence analysis. For the suggested procedure, the congruence model will be designed in implicit form, however, a little different than the conventional implicit one (e.g., Niemeier 1985;Caspary 2000, pp. 123-125;Heunecke et al. 2013, pp. 498-508). The idea behind the suggested form of congruence model comes from Teunissen (2006b, pp. 71-123), where the general problem of misspecifications (e.g., observation blunders) in an underlying functional model of random sample is discussed. Since point displacements may be interpreted as misspecifications in underlying congruence model (i.e., in the model which specifies all analyzed points as congruent/stable) and the results of deformation measurements constitute a random sample, the general model discussed by Teunissen (2006b, p. 72) may be implemented here as an elementary deformation congruence model. Furthermore, such implicit congruence model [first published in Nowel (2018)] is more transparent and easier to implement (ibid), than the implicit model presented in the literature, hence it motivates the transfer of it to the suggested CIDIA procedure.
For the sake of simplicity and without a loss of generality, the discussed congruence model-as the congruence models discussed earlier (Sect. 2)-does not divide the network into reference and object points, however, nothing prevents using it.

Elementary congruence model
In relation to the general form of functional model discussed in Teunissen (2006b, pp. 71-123), one can formulate the deformation congruence functional model in the following implicit form (two epochs): where x a is the vector of coordinates (or increments) of all analyzed points (the same values for both epochs), E i (n ×q i ) may be interpreted as an elementary specification matrix, A i 2,o is the sub-matrix of A 2,a referring to analyzed points modeled as displaced and ∇ i (q i × 1) is the unknown vector of point displacements. The other denotations are the same as earlier. Note that the general form of model (17), i.e., y Ax + E i ∇ i + e, comes from Teunissen (2006b, p. 72). The part y Ax + e refers here to the underlying congruence model (without point displacements) and the possible displaced points in this congruent part are speci- This matrix is not unique and it may read: where H a(s) is filled with Helmert components only for the analyzed points modeled as stable and with zeros for the remaining analyzed points. For example, if a leveling control network including twelve analyzed points was processed where points 6-12 was modeled as stable (and, in consequence, points 1-5 as displaced), the Helmert matrix would read: H T

a(s)
[0 0 0 0 0 1 1 1 1 1 1 1]. Note that for the most relaxed model, i.e., where all analyzed points are specified as individually displaced and, in consequence, no stable points exist, E(n × q) [0 A T 2,a ] T , the datum matrix may read: where and H a is filled with the Helmert components for all analyzed points.
One can see that-unlike the explicit model (9), (10)-no constraints specifying stable and displaced points are needed because they are already implied in implicit model (17). For example, if a leveling control network was processed where points 1-5 were modeled as displaced, the sub-matrix A i 2,o would only include the columns of matrix A 2,a which refer to the points 1-5. Note that the suggested implicit congruence model (17) is equivalent to the conventional implicit congruence model and, simultaneously, to the conventional explicit congruence model (9), (10). Experimental confirmation of this equivalence can be found in Nowel (2018) or in the further part of this paper (Sect. 4.3, Table 5-the last two column).
Let us assume that the probabilistic model is Gaussian, as earlier.

Extending part
Admittedly, the implicit model (17) makes it possible to set up displaced points. Nevertheless, these points can only be modeled there as displaced in different ways (individual displacements) and this model may be only used for such elementary deformation scenarios. However, this can be easily developed in extended scenarios which are considered in the existing combinatorial methods. The possible extended deformation scenarios, e.g., shifting away with the same value in the same direction, can be here easily specified using the constraints in the following general form: where F(n c × (u + q i )) may be interpreted as extended specification matrix, F ∇ (n c × q i ) is the sub-matrix which constitutes some-linearly independent-constraints on the point displacements and n c is the number of constraints. For example, if a leveling control network including twelve analyzed points (without non-common points) was processed where points 1-5 were modeled as displaced and, additionally, points 1, 3 as shifted with a certain joint value (∇ 1 − ∇ 3 0) and points 2, 4 as shifted with another joint value (∇ 2 − ∇ 4 0), this matrix would read: and if, for instance, all conditioned displaced points (1-4) were additionally specified as shifted with joint value, it would be enough to introduce an additional condition, e.g., the condition: ∇ 1 − ∇ 2 0 which would generate the third row: into matrix (22). The reader is also referred to the corresponding sub-matrices (13) and (14) of the matrix B T I I ,i which specify there the same-as above-extended deformation scenarios. One can see that the constraints (22), (23) are easier to formulate and more transparent.

Estimation
Let us assume that the deformation constraints (21) are not applied and the functional model has the elementary form (17). Keep in mind that the probabilistic model of (17) is Gaussian, the maximum likelihood optimization problem leads to the LS optimization problem. However, since the estimator of parameter vector has to satisfy also the datum constraints (18), the ordinary LS optimization criterion has to be replaced by the following Lagrange optimization criterion: and k i is the vector of Lagrange multipliers. The necessary condition for the existence of a minimum of this function has the form: Koch 2010, pp. 170-173) and it leads to the estimator: For instance, an easy to use g-inverse of N may be pseudo-inverse is the orthonormal matrix which includes d eigenvectors from the modal matrix of N which correspond to the d zero-eigenvalues from the spectral matrix of N and NG 0, AG 0 (e.g., Niemeier 2008, pp. 236-237, 262-264). Note the modal and spectral matrices can be easily obtained, e.g., by the MATLAB software with the use of function eig. Since estimator (25) has to satisfy also datum constraints (18), one may additionally write: Finally, after the substitution of k i (26) into (25), the parameter estimator of elementary congruence model (17), (18) and its cofactor matrix take the form: K. Nowel where I((u + q i ) × (u + q i )) is identity matrix,x ∇ i is the ordinary LS estimator of former-without datum constraints (18)-model (17) and Q (0) x ∇ i is its cofactor matrix. It can be easily proved that the corresponding residuals and their cofactor matrix take here the form: One can see that the estimator (27) is found from updating the estimator of former model (17) ∇ i , in a formulation based on latter constraints (18). From the Lagrange solution (27) it also follows that a parameter estimator updating-in a formulation based on some linearly independent constraints-requires only the former parameter estimator, its cofactor matrix (here:x (0) ) and the latter coefficient matrix of constraints (here: D i ).
Now, let us assume that the deformation conditions (21) are applied and the functional model has the extended form (17), (18), (21). According to the updating principle disclosed above in the Lagrange solution, the parameter estimator of the extended model and its cofactor matrix can be derived with the use of the former-now from elementary model (17), 28), and the coefficient matrix of latter constraints, F (21), and they take the form: The corresponding residuals and their cofactor matrix take the form: Note that all the above LS estimators can be also derived based on the theory of recursive LS estimation; in fact, they are particular forms of recursive LS estimators (e.g., Teunissen 2006a, pp. 32-36).

Testing procedure
Most generally, the core idea behind the suggested procedure will be to determine the final congruence model using consecutive increasing the dimension of deformations where: Iteration I will refer to all possible-to occur-candidate models with q I -dimensional deformations and q I is the lowest possible dimension of deformations (the dimension of single-point displacement vector: 1, 2 or 3 for the 1D, 2D or 3D network), Iteration II will refer to all possible candidate models with 2q I -dimensional deformations, etc. What is most important, unlike GCT, the deformation scenarios specified in subsequent iteration steps will not be conditioned by the results of previous iteration steps. Thanks to this, if a stable point was-erroneously-specified as displaced in a given iteration step, it would be still able to be specified as stable in the next iteration step(s). The only information which comes from the previous iteration is: "the dimension of deformations considered in the previous iteration is too small". In the context of the GCT procedure, the general concept of the suggested procedure is based on consecutive dimension-by-dimension specification, instead of consecutive point-by-point.
After screening observations for outliers (in each epoch), e.g., by an iterative data snooping procedure, the suggested CIDIA procedure goes as follows. Note that, however, the sets of screened observations are not fully Gaussian. In consequence, the global test statistics involving in the suggested procedure-as those involving in GCT-are not fully the realizations of the Fisher PDF and imposed testing parameters are not strictly realized.
Detection I Since it first should be known whether one can have any confidence in the following null hypothesis: "all analyzed points are stable", the first step may consist of a check on the global validity of the H 0 . This implies that the H 0 has to be opposed to the most relaxed-in deformation context-alternative hypothesis possible. The most relaxed H A is the one that leaves the point displacements completely free and it states that "all analyzed points are individually displaced". For the suggested functional model (17) there is the situation: where E(n × q) [0 A T 2,a ] T is the most relaxed specification matrix and ∇(q × 1) ∈ R q /{0} is the unknown vector of the displacements of all analyzed points. According to Teunissen (2006b, p. 53), the appropriate GLR test can be computed from the PDF of y under H 0 and H A . However, since the same Gaussian PDF, p N , is assigned for the null and alternative model (35), only the function proportional to the Gaussian PDF is sufficient here and the constant term, c N (2π ) −n/2 |σ 2 0 Q y | −1/2 , may be omitted for the GLR test. The function proportional to the Gaussian PDF of y under H 0 reads: and under H A it reads analogously, where ∝ means 'is proportional to', e 0 y − Ax and e A y − Ax − E∇. In consequence, the GLR test statistic takes the form: for the known variance factor, σ 2 0 , and for the unknown variance factor,σ 2 and F 1−α I (·) is the critical value from the central Fisher's CDF for a chosen significance level, α I α. For the known variance factor the significance level means: and analogously for the unknown variance factor (∞ : f ), where c F means the Fisher's CDF. A useful discussion about the choice of α in the context of geodetic deformation analysis is given by Koch (2010, p. 281 (39)] fails, this is a reason to suspect that the H 0 is wrong and it may be rejected.
Identification I The failure of the global test allows to suspect the existence of at least q I -dimensional deformations and it may lead to the identification of the best fitting model from all possible models with q I -dimensional deformation, where q I means the lowest possible dimension of deformations (recall that q I 1, 2 or 3 for the 1D, 2D or 3D network, respectively, is imposed in this work). Two scenarios of such deformations may be considered in geodesy and surveying. The first-elementary-scenario of q I -dimensional deformations includes all possible models with one displaced point and the candidate models can be specified as follows: where E I ,i (n × q I ) is the elementary specification matrix referring to a candidate model i and w is the number of all analyzed points. For each model (41), one may assign the following log-likelihood function: Since the constant terms ln c N , − 0.5 and σ 2 0 are the same for each candidate model, these terms may be omitted and, finally, the following quadratic form: may be assigned for each candidate model (41) as a measure of the goodness of model fit [see also (29)]. One can see that the lower the value of the quadratic form (43) is, the higher the value of log-likelihood function (42) and, simultaneously, the better fit of the i model to observations is [see also (8), (16)]. The second-extended-scenario of q I -dimensional deformations can include all possible models with two, three, …, s max points displaced with a joint value (block shift) and the models can be specified as follows: where s max is a chosen maximal number of points modeled as displaced. According to (42), j candidate model (44) produces the following quadratic form: which corresponds to the goodness of j model (44) fit [see also (33)]. In consequence of the above, the set of all possible models with q I -dimensional deformations, i.e., (41), Remark The suggested CIDIA procedure is mainly addressed to elementary deformation scenarios and the extending part (21) should be treated only as optional. The extended model (17), (18), (21) is worth to be, additionally, considered only for some rigid movement phenomena expected with a high probability, e.g., the expected rigid movement of Earth's crust, glacier or shelf ice. However, for the deformation phenomena where rigid movements are not expected as, e.g., slope creep, ground subsidence or various deformations of man-made structures, only elementary congruence models (17), (18) should be considered. It is because it may happen that an extended congruence model may turn out the best fitting model in the case of elementary deformations. If it was the case, it would be of course disinformation.
Adaptation I The best fitting model with q I -dimensional deformations may be treated as currently the best model and it may replace the current H 0 . It means, the identified model becomes the new null model:H 0 : H best I . Once the adaptation step is completed, one still has to check if the newly specified model is valid. This implies a repetition of the detection step.
Note if the above Iteration I considered only the elementary deformation scenarios (41), the same new H 0 as in the first iteration in GCT would be obtained. If extended deformation scenarios (44) were also considered, it could not be the case.
Detection II The null hypothesis has been just actualized and the global test again may be performed to validate it. This implies the following H 0 : "the best fitting q I -dimensional deformation model is valid" against the most relaxed H A possible: "all analyzed points are individually displaced": The appropriate GLR test for testing H 0 against H A (47) can be written as: for the known variance factor and analogously T I I ,σ ≤ F 1−α I I (h I I , f , 0) for the unknown variance factor; where h I I h I −q I and α I I is the current significance level which realizes the same non-centrality parameter and power as the initial global test (38) [or (39)], (Baarda 1968). For the known variance factor, this coupling may be symbolically written as: and analogously for the unknown variance factor (∞ : f ), where γ I is a given power of initial global test. The choice of equal values for the non-centrality parameter λ I λ I I and power γ I γ I I in both tests implies that certain model misspecification(s) [here, point displacement(s)] can be detect with the same probability by both tests. In practice, for a given power, the procedure (49) may involve computing the non-centrality parameter, λ I , from the relation (e.g., Koch 2010, pp. 279-280): and then α I I (associated with F 1−α I I ) from the analogous relation: For the unknown variance factor, the above procedure goes analogously (∞ : f ). The algorithms presented by Gaida and Koch (1985), Aydin and Demirel (2005) or the readymade tables given by Aydin (2012) can be used to compute λ I and then α I I . It can be also easily done with the use of function ncfcdf (corresponding to c F ) from the MATLAB Statistics Toolbox. As can be seen, the suggested concept of the coupling of different-dimensional tests (49)-using the same non-centrality parameters for a given test power-comes from the B-method (Baarda 1968). Note that, however, the consecutive detection tests-in different iteration steps-are coupled here, while the detection and identification tests-in the same iteration steps-are coupled in the B-method. A more detailed discussion devoted to the concepts of the coupling of different-dimensional tests can be found, e.g., in Arnold (1981, e.g., pp. 128-137, 182-187, 195-196).
Identification II The failure of the global test allows to suspect the existence of at least q I I -dimensional deformations where q I I 2q I and it may lead to the identification of the best fitting model from all possible models with q I I -dimensional deformations. The elementary scenario of q I I -dimensional deformations includes all possible models with two displaced points and the models can be specified as follows: where E I I ,i (n×q I I ) is elementary specification matrix referring to a candidate model i and is the number of all possible models with q I I -dimensional elementary deformations; where s (currently, s 2) is the number of displaced points. Note that-unlike GCT-the result of Iteration I does not in any way restrict the current set of candidate models (52). It means, if a stable point was-erroneously-specified as displaced in Iteration I, it would be still able to be specified as stable. According to (42), i candidate model (52) produces the following quadratic form: which may be assigned for each candidate model (52)  Remark Theoretically, the extended deformation scenarios can be also considered for the q I I -dimensional deformations, i.e., some points can be specified as shifted with a certain joint value and some other point(s) as shifted with another (joint) value. For higher-dimensional deformations, more such extended scenarios can be specified. Nevertheless, the number of all possible models violently increases for such higher-dimensional extended scenarios, in relation to q I -dimensional extended scenario. In consequence, they are not considered in this paper.
Adaptation II As before, the best fitting model with q I Idimensional deformations may be treated as currently the best model and, hence, it may replace the current null hypothesis: H 0 : H best I I . It may be tested once again whether the newly specified H 0 is valid. This, of course, implies the repetition of the detection step.
Detection, identification, adaptation III, …: If the currently valid H 0 is again rejected by the global test (now, α I I I comes from λ I (α I , h I , γ I ) λ I I I (α I I I , h I I I , γ I I I γ I ) and h I I I h I − q I I ), one may suspect that at least q I I Idimensional deformations may exist in the group of all, w, analyzed points, where q I I I 3q I . This may lead to the new identification of the best fitting model from the set of all possible c I I I (53) elementary models with three displaced points (currently, s 3). Note that-unlike GCT-the results of Iterations I, II do not in any way restrict the current set of candidate models. Each of such elementary models can be expressed by the alternative hypothesis of type (52) through the new elementary matrices E I I I ,i (n × q I I I ) specifying three displaced points. As before, the obtained c I I I alternative models constitute the set of quadratic forms t I I I ,i of type (54)  The above combinatorial iterative DIA testing procedure should be carried out until a null hypothesis is accepted in the detection step. At this moment, one may assume that the deformation congruence model is finally specified.

Quality analysis
To analytically describe the quality of the global test in a given detection step, the reliability can be measured by the power of the test for a user-defined displacement vector, ∇. The necessary non-centrality parameter of the distribution of both T σ ∼ F(h, ∞, λ) and Tσ ∼ F(h, f , λ) under an alternative hypothesis reads (see, e.g., Teunissen 2006b, pp. 74-77): where Qê 0 is the cofactor matrix of residuals under a null hypothesis [see (30), (34)]. The non-centrality parameter (55) is valid either for elementary or extended deformations; a possible extended information would be included in ∇. The corresponding power of analyzed test (the probability that the test will detect a user-defined displacement vector) can be calculated based on relation (50), e.g., with the use of function ncfcdf (corresponding to c F ) from the MATLAB Statistics Toolbox. Note that if outliers were screened, the actual test power would be higher than the one calculated from (50). Admittedly, the above reliability analysis can give the power of a given global test (or a lower bound of this power) and it can be somehow useful. Nevertheless, it does not solve the problem of the quality analysis of estimated parameters in the finally specified model. The analytical analysis of such quality would require a more advanced study. It would have to refer to the probabilistic properties of DIA estimators (given by Teunissen 2018) which, however, is outside the scope of this paper.
Nevertheless, a useful empirical quality analysis can be performed for a user-defined displacement vector, ∇. For example, the efficacy of correct model specification can be measured by the mean success rate (MSR) with the use of stochastic computer simulations and such empirical quality analysis, if necessary, is recommended in this paper. Note that this simulation technique has been widely applied in geodesy and surveying since the pioneering work of Koch (1999, 2000).

Numerical experiments
To demonstrate the suggested CIDIA procedure against the existing methods, four experiments are presented where the control networks considered by Velsink (2015) and Lehmann and Lösler (2017) are used. Both the deformation scenarios given by the authors and generated using comprehensive computer simulations are analyzed. Outliers in computersimulated observations are screened using the iterative data snooping procedure without detection steps. The identification steps come from the Baarda's data snooping and the significance level of the w-tests is set to α 1 0.001. Deformation congruence models are specified with the use of: the GCT procedure, the method presented by Velsink (2015) denoted as the V method, the method presented by Lehmann and Lösler (2017) denoted as the AICc method and the suggested CIDIA procedure.

Experiment 1: arbitrary scenarios 1D
Experiment 1 is transparent and can be easily repeated by the reader. A simple leveling control network discussed by Lehmann and Lösler (2017) is engaged in it (Fig. 2). The network consists of 12 analyzed points (without non-common points) and is "measured" in two epochs with the same known standard deviation σ 1 mm; the values of the true heights of the network points are unimportant. The authors simulated the measurement error vectors of 17 height differences (black lines in Fig. 2) and they imposed the following elementary deformation scenario: the height of point 6 was increased by 2.5 mm and the height of point 7 was decreased by 2.5 mm, in epoch 2. To simulate the error vectors, pseudorandom numbers were generated 10 times from www.random.org/ gaussian-distributions: 34 numbers from the Gaussian distribution in two columns with mean 0.0, standard deviation 1.0 and using 10 significant digits, based on persistent identifiers: 1, 2, …, 10. However, since the observation scheme designed by the authors is quite weak in the sense of network quality control, another-stronger-scheme is investigated in this paper. More precisely, the measures of local internal reliability of the authors' scheme read: r j j ∈ 0.29 − 0.43 , where and, hence, this scheme does not realize the criterion recommended for geodetic networks: r j j > 0.5 (Prószyński 1994;Prószyński and Kwaśniak 2018). Thus, it is worth extending the original scheme to obtain more realistic results. To do it, 12 additional height differences (grey lines in Fig. 2) are added and r j j ∈ 0.55 − 0.73 are obtained, where i 1, ..., 29. The error vectors of 29 height differences, e 1 , e 2 , are simulated 10 times with the use of the given above web page under the same assumptions as the cited authors (the obtained error vectors are also accessible at: https://www.pracownicy. uwm.edu.pl/krzysztof.nowel/errors.txt) and the same deformation scenario is imposed. In consequence, the following vectors of "measured" height differences are obtained 10 times: y 1 (29×1) e 1 in epoch 1 and y 2 (29×1) e 2 +A 2 ∇ in epoch 2, where ∇ [0 0 0 0 0 2.5 − 2.5 0 0 0 0 0] T mm. These data constitute the first variant. The testing parameters are set to: α 0.10 and γ 0.50, as it is recommended by Velsink (2015). It is not a priori assumed that a block (a part of the network) shift can be expected, hence only elementary models are engaged in the combinatorial methods. The results of congruence model specification are presented in Table 1. The second variant is based on the same errors as the first variant but differs in deformation scenario. Namely, the following extended deformation scenario is imposed: the heights of points 5, 6, 7, 8 are decreased by 2.5 mm (block shift/subsidence), in epoch 2; ∇ [0 0 0 0 − 2.5 − 2.5 − 2.5 − 2.5 0 0 0 0] T mm. It is a priori assumed that a block can be moved, hence both elementary and extended congruence models are engaged in the combinatorial methods. The results are presented in Table 2.
One can see that the CIDIA and V method specify the correct model most frequently (80%, 90%), for both variants. Whereas AICc turns out worse for the elementary deformation scenario (60%) and GCT turns out worse for the extended deformation scenario (50%). Furthermore, GCT and CIDIA specify the same congruence models for the elementary deformation scenario-except run 7. However, only 2/12 points are displaced in this scenario and such similarity can be expected. A more detailed study is left to the reader.
To gain further insight into the working of the CIDIA procedure-especially in the context of GCT-a third variant is discussed. This variant is very easy to repeat and the author suggests such repetition for the reader to check the understanding of CIDIA. This time, only the sub-network consisting of the points: 1, 2, 3, 5, 6, 7 (Fig. 2, dotted area) Table 3. It is not a priori assumed that a block shift can be expected, hence only elementary models are engaged in the combinatorial methods.
Generally, the results obtained in Experiment 1 show that the suggested CIDIA procedure works well. However, the experiments do not say much about the efficacy of the considered methods. These experiments concern only some arbitrary deformation scenarios and measurement errors, from many possible. Hence, one should not draw any decisive conclusions here. To measure the efficacy of the suggested procedure against the efficacy of the existing ones, more experiments must be carried out, using comprehensive computer simulations. Such experiments are quite complicated to carry out and very time-consuming for combinatorial methods, and they have not yet been performed/published for any combinatorial method.

Experiment 2: comprehensive scenarios 1D
For Experiment 2, the same leveling control network is used (Fig. 2). However, this time Monte Carlo (MC) simulations (e.g., Koch 2018) are engaged to generate both deformations and measurement errors. The errors are randomized from the Gaussian distribution under the same stochastic model as before, whereas point displacements are randomized from the uniform interval of ∇ i ∈ 2 − 25 mm, in two variants: displacements with different signs (variant 1) and with the same sign (variant 2; more often found in geodetic and surveying practice). For each variant, the nine sub-variants of displaced points are randomized: one, two, …, eight and zero − eight points are randomly selected to be displaced. The vectors of 2 × 29 height difference errors are simulated independently 1000 times for each sub-variant, using MAT-LAB software. It is not a priori assumed that a block shift can be expected, hence only elementary congruence models are engaged in the combinatorial methods. Table 4 and Fig. 3 present the efficacy of correct model specification with the use of individual methods. As before, the testing parameters are set to: α 0.10 and γ 0.50.
One can note that the V method is much less efficacious than the well-established GCT procedure. Indeed, the efficacy is very high and similar for both methods when none or one point is displaced. Nevertheless, V is substantially less efficacious than GCT in the other cases. The general efficacy of AICc is also substantially higher than the efficacy of V. Indeed, the efficacy of AICc is much lower and highly unsatisfactory when none, one or two point are displaced. Nevertheless, AICc is substantially more efficacious in the other cases. The relationship between AICc and GCT turns out quite ambiguous. AICc begins to be more efficacious than GCT only when the number of displaced points is greater than five or six. Earlier, the efficacy of AICc is lower than of GCT. CIDIA turns out to be the most efficacious method and its advantage over GCT is especially visible in variant 2. Indeed, the efficacy of CIDIA is similar to the efficacy of AICc when seven and eight points are displaced. Nevertheless, CIDIA is substantially more efficacious in the other cases. In the general case, i.e., when the number of displaced points is randomly selected from interval 0 − 8 , the order is as follows: CIDIA (89.8%, 88.6%), GCT (84.3%, 75.6%), AICc (68.9%, 64.5%), V (36.7%, 39.7%). In the author's opinion, the obtained advantage of CIDIA can be explained by the reasons which already have been discussed in Sect. 1 and Sect. 3.1. For instance, one can see that the efficacy of GCT severely decreases as the number of displaced points increases, especially in variant 2 where displacement smearing can be particularly severe. At the same time, the efficacy of CIDIA does not substantially decrease. Hence, one may say that the displacement smearing can burden the results of GCT much more than the results of CIDIA.    The obtained results show that the efficacy of correct model specification substantially differs between the considered methods. However, this does not necessarily mean that, for example, the accuracy of estimated deformations in the specified models would be substantially different. Admittedly, this paper is devoted to the specification of congruence models. Nevertheless, it seems also worth investigating the effect on estimate accuracy which wrong specifications of individual models have. Therefore, the displacements of individual points are additionally estimated-based on earlier specified models-and the root mean squares (RMSs) of the true errors of estimated displacements are calculated, independently for each of 1000 runs. Only the general deformation scenario when the number of displaced points is randomly selected from interval 0 − 8 and displacements have different signs is analyzed here. Figure 4 depicts the empirical distributions of the individual RMSs of these errors.

K. Nowel
The results appear quite interesting and AICc especially positively surprises. This means, although the MSRs of correct model specification by AICc have been substantially lower than by CIDIA for the general case (Table 4), the accuracies of estimated deformations are very similar (Fig. 4), i.e., mean RMSs of estimate errors are in the range: 0.72 − 0.73 mm. A deeper analysis allows to explain it. It turns out that the majority of wrong models obtained by AICc specify more displaced points than necessary. More precisely, all displaced point(s) and, additionally, some stable point(s) are often jointly modeled as displaced (model overfitting). The results in Table 1 also clearly show it. Note that this kind of model misspecifications is less dangerous for the estimate accuracy than underfitting where not all displaced point(s) are modeled as displaced. Despite overfitting, the congruent part of deformation model includes only stable points and, as a consequence, the datum for estimates is properly defined. Indeed, there are less datum points than there should be, although the most important is that the reference base does not include any displaced point(s). This is why the estimated deformations based on models specified by AICc have such high accuracies. The reverse kind of misspecification interferes with GCT. This means, although the efficacy of GCT has been substantially higher than of AICc, the accuracies of estimated deformations are lower, i.e., the mean RMS of estimate errors is equal to 0.91 mm. It is due to underfitting. A deeper analysis shows that the majority of wrong models obtained by GCT specify less displaced points than necessary and, in consequence, some displaced point(s) also constitute a reference base.

Experiment 3: arbitrary scenario 2D
Although the conclusions drawn from Experiment 2 may be convincing, however, they refer only to some leveling control network and, hence, another network should also be taken into consideration. This time, the very popular geodynamic 'Delft' network (e.g., Welsch and Zhang 1983, pp. 329-336;Caspary 2000, pp. 154-157;Niemeier 2008, pp. 450-456) designed by the FIG working group to check and compare different approaches into deformation analysis is the subject of investigation. Note that this network was also used either  Niemeier 2008, p. 451) by Velsink (2015) or Lehmann and Lösler (2017) to demonstrate their combinatorial methods.
The 'Delft' network is a 2D scheme with 14 common control points, where directions and distances are measured in two epochs (106 and 96 observations in epoch 1 and 2, respectively). Four-free of outliers-datasets for deformation analysis were created (e.g., Welsch and Zhang 1983, pp. 329-336). Only the dataset denoted as 1-2B in Welsch and Zhang (1983, p. 331, 333), where all the common points of the eastern part are moved as a block in the X-direction of 20.0 cm and in the Y -direction of 12.0 cm (see also Niemeier 2008, pp. 450-456), is engaged in this experiment (Fig. 5; the green arrows). Note that the dataset was also used by Velsink (2015) and Lehmann and Lösler (2017). To be comparable to the authors' studies, the same standard deviations, i.e., σ r 0.50 mgon, σ s 1.0 cm for epoch 1 and σ r 0.12 mgon, σ s 10.5 cm for epoch 2 (2B), and the same testing parameters: α 0.10 and γ 0.50 are used. Admittedly, the stochastic model is given by Niemeier (2008, pp. 452-454). Nevertheless, it is quite inadequate to the simulated observation sets and the variance factor-unlike in Velsink (2015) and Lehmann and Lösler (2017)-is estimated in this experiment (σ 2 0 0.46); the adequate stochastic model for this data is given by Welsch and Zhang (1983, p. 329) or Caspary (2000, p. 157). The estimated standard deviations of estimated displacement components are in the ranges:σ∇ X i ∈ 2.7 − 7.9 cm andσ∇ Y i ∈ 2.5 − 5.8 cm.

Specification using elementary and extended models
3, 5, 11, 39, 41 ∇ X -23.8 As above As above ∇ Y -9 . 6 13,15,17,21,35,37,43,45,47 Lehmann and Lösler (2017), specification matrices (scenarios) with the maximum possible number of 12 displaced points are considered in combinatorial methods; two points are needed to define the joint network datum. Note that the fault zone is a priori unknown in this experiment. The results of congruence model specification together with estimated displacements are presented in Table 5. For cognitive purposes, either elementary or elementary and extended congruence models are engaged in the combinatorial methods.
Generally, from the obtained results one can see that CIDIA works well. Admittedly, CIDIA-unlike V-is not able to specify the displaced points as a block shift in the second case. Nevertheless, it is due to the unfavorable choice of significance level (α 0.10). For lower values, e.g. α 0.05, the results also become proper for CIDIA (not published here). GCT-unlike CIDIA-specifies overfitted model. The reason may be the displacement smearing which leads to the erroneous identification IV and too high significance level which leads to unnecessary positive detection VII (significance level does not decrease in GCT, in consecutive iterations). Note also that the V method pinpoints two equivalent solutions using extended models. Nevertheless, it is not a paradox, but a justifiable result. It is not known-based only on the terrestrial geodetic observations available here-which block is moved and which remained at rest, or if both moved differently in case of relative deformation network.

Experiment 4: comprehensive scenarios 2D
For Experiment 4, the 'Delft' control network is also used, but this time the MC simulations are engaged to generate both deformations and measurement errors (as in Sect. 4.2). The errors are randomized from the Gaussian distribution under the same stochastic model as before, whereas the lengths of point displacements are randomized from the uniform interval: d i ∈ l i − gl i , where l i √ a i · b i are the radiuses of the circles whose areas are equal to the areas of a priori confidence ellipses of estimated displacements (here, l i ∈ 8.8 − 18.0 cm), a i , b i are the semi-axes of these ellipses, g > 1 and i indicates a given point. The confidence level of ellipses is coupled with the assumed global confidence level, 1 − α 0.90, by the B-method (γ 0.50) and it reads 1−α i 0.9934. The general idea of such simulation method comes from the paper Hekimoglu et al. (2010). Two scenarios of deformations are considered: points move as a block and points move individually. The sets of 106 (epoch 1) and 96 (epoch 2) observations are simulated independently 1,000 times for each considered variant, using MATLAB software. Since standard deviations are a priori known and they should be quite adequate for the simulated observations here, it is assumed that the variance factor is known.

The eastern block is homogeneously displaced
The deformations have the same nature as those previously analyzed in Experiment 3, i.e., points 3, 5, 11, 39, 41 move as a block in the X and Y-direction of some positive values, but, this time, the values of the movement lengths, d i , are randomly selected 1,000 times from the interval: l i − 3l i . The term 'positive values' means that the azimuths/directions of movements, A i , are randomized from the uniform interval: 0 − 100 gon. Finally, the simulated displacement vectors of displaced-as a block-points 3, 5, 11, 39, 41 takes the form: Of course, the displacement vectors with the same values and directions have to be assigned for all five displaced points here, hence the confidence ellipse referred only to one (arbitrary indicated) point should be used to calculate the lengths of these vectors and point 3 was indicated for it (l 3 15.2 cm). The areas where the eastern sub-network can now be moved in the second epoch are depicted using the green dotted lines in Fig. 5. It is a priori assumed that a block shift can be expected here, hence both elementary and extended models are considered in the combinatorial methods. The obtained efficacy (MSR) of correct model specification (i.e., the model which specifies points 3, 5, 11, 39, 41 as a block shift) with the use of GCT, V, AICc and CIDIA turns out equal to: 37.2%, 93.6%, 93.6%, 87.8%, respectively. It is clearly shown that either CIDIA or the other combinatorial methods provide relatively high efficacy, substantially higher than the well-established GCT procedure. This can be explained by the possibility of rigid body movement specification and, hence, the combinatorial methods, especially V and AICc may be recommended for such geodynamical studies.

The entire network is variously deformed
This experiment refers to the elementary scenario of deformations which is most often found in geodetic and surveying practice. Some randomly selected points-from the group of all common, 14 points (Fig. 5)-move individually (as in Sect. 4.2). The lengths, d i , of simulated displacement vectors (56) are randomized independently 1000 times from the interval: l i − 5l i but, this time, the individual vectors can have different values and directions for selecting points. Two deformation variants are considered: point displacements with different signs (variant 1): A i ∈ 0 − 400 gon and with the same sign (variant 2; more often found in geodetic and surveying practice): A i ∈ 0 − 100 or A i ∈ 100 − 200 or A i ∈ 200 − 300 or A i ∈ 300 − 400 gon. For each variant, the three sub-variants of displaced points are randomized: four, eight and zero − eight points are randomly selected to be displaced. It is not a priori assumed that a block shift can be expected here, hence only elementary models are engaged in the combinatorial methods. Table 6 shows the efficacy of correct model specification with the use of individual methods. For cognitive purposes, three sets of testing parameters are considered in the methods involving hypothesis tests.
Generally, the results are fairly consistent with those obtained for the 1D network (Table 4). It should be emphasized, however, that AICc works here better than before. In the general case, the efficacy of AICc is similar or even higher (variant 2) than of GCT. It can be explained by the better working of penalty term. More precisely, the subsequent congruence models differ in two explanatory parameters in a 2D network and, hence, the AICc values can better separate the groups of constant-dimensional models. Despite the above, the efficacy of AICc is still lower than the one of CIDIA, especially in variant 2 which is more often found in practice. However, the differences are not so large as for the 1D network. In the general case, the efficacy of CIDIA (under α 0.10, γ 0.50) read: 77.5%, 77.2% and of AICc read: 72.0%, 69.1%.  The debatable testing parameters do not have such importance as it could be expected. To clearly show this, Fig. 6 illustrates the efficacy under the three considered sets of testing parameters, for the general case in variant 1 (full bars) and variant 2 (empty bars). One can see that the efficacies are similar for the considered testing parameters and it is hard to draw any decisive conclusions. One may only conclude that the testing parameters recommended by the cited authors, i.e., α 0.10 and γ 0.50, work well and they may be also recommended for the CIDIA procedure.

K. Nowel
To supplement all the above results, it is also worth investigating the nature of incorrect models, i.e., how often the incorrect models are underfitted and overfitted. Table 7 presents such mean failure rates (MFRs) for variant 1 and under testing parameters: α 0.10, γ 0.50.
It can be seen that the results somehow correspond to those obtained for the 1D network. Recall that AICc tended to overfitting and GCT, CIDIA to underfitting of incorrect models. In consequence, AICc produced higher-than expected-esti- Upper values are the percentages of overfitted models and lower values are the percentages of underfitted models mate accuracies (Fig. 4). One can see that the same tendency is visible here. AICc-unlike GCT and CIDIA-specifies more overfitted than underfitted models (Table 7). Note also that the V method strongly tends to specify underfitted models and this diagnosis is in line with Velsink (2018, p. 10). Finally, since the combinatorial approach has-more or less-"brute force" nature, it is also worth presenting the computational load of the considered methods. Table 8 shows how long it takes to specify a model in one run, for variant 1 and testing parameters: α 0.10, γ 0.50.
Computation times refer to a PC using Core i7-7700 CPU at 3.60 GHz.
The high computational costs of V, AICc and CIDIA must not be surprising in the light of their combinatorial nature. Nevertheless, thanks to its iterative nature, the CIDIA procedure is substantially less time-consuming than the other combinatorial methods. (The smaller the number of displaced points is, the faster the CIDIA is.) Note that the sub-groups of control network points considered as congruent mainly consist of stable points (or even all these points are stable) in geodetic and surveying practice. Hence, the computational advantage of CIDIA over the other combinatorial methods can be substantial in practice. However, one may conclude that the combinatorial methods are not substantially limited here by computational time. All methods specify congruence models in near real-time and, as such, may be successfully used in most geodetic and surveying deformation analyses. Furthermore, computer technology is still making progress, which will enable the working of these methods increasingly faster in the future.

Summary and conclusions
The global congruence test (GCT) procedure is the most commonly used method for the specification of deformation congruence models in geodesy and surveying. Nevertheless, this procedure has a serious weakness in the case of multiple displacements. Namely, the congruent part of model is here point-by-point reduced in consecutive iteration steps; the point which is identified as most suspected to be displaced in a given step is not then modeled as stable in the next steps. The problem is that the consecutive point-by-point identifications may be burdened by displacement smearing which can lead to the identification of a stable point as most suspected to be displaced. If it is the case in a given iteration step, the models which are specified in the next steps are-from now-conditioned by the erroneous information. In recent years, to overcome the above weakness, a revolutionary-in the context of GCT-concept involving combinatorial possibilities was suggested. Since the best approximating model is identified there directly from the set of all possible candidate models, the problem of the consecutive point-by-point specification which may suffer from displacement smearing is avoided. Unfortunately, another serious problem arises, i.e., the problem of the comparison of different-dimensional models. It is not exactly clear what criterion-from many available-should be used to identify the best approximating congruence model from the set of different-dimensional models.
This paper makes a step forward in this new field and discusses a more sophisticated combinatorial procedure-designated as CIDIA-to address the weaknesses associated both with the GCT procedure and the existing combinatorial concept. Thanks to the appropriately used the possibilities of combinatorics and GLR tests performed in the DIA steps, both the problem of the consecutive point-by-point specification which may suffer from displacement smearing and the problem of the comparison of different-dimensional models have been overcome. In the context of GCT, the CIDIA procedure has rather evolutionary-than revolutionary-character and the general concepts of both procedures have similar heuristic substantiation.
To objectively measure the efficacy of CIDIA against GCT and two existing combinatorial methods, various deformation scenarios have been randomized independently many times with the use of comprehensive computer simulations and then processed. Thanks to this, the objective mean success rates of correct model specification could be obtained for the considered methods under individual deformation scenarios. It is worth noting that such studies are quite complicated to carry out, very time-consuming and were not earlier performed/published for the combinatorial concept. Most generally, the obtained results have shown that the best (most efficacious) existing combinatorial method--supported by one of the estimators of Kullback-Leibler divergence, designated as AICc-has not turned out unambiguously more efficacious than GCT. Admittedly, it has given a higher efficacy when the number of displaced points has been relatively high (higher than 50%). Nevertheless, it has not been the case when the number of displaced points has been lower. One may conclude that the problem of the comparison of different-dimensional models has somehow come out here. Whereas, unlike AICc, CIDIA has turned out unambiguously more efficacious than GCT. As expected, the efficacy of CIDIA has been higher than the one of GCT for all the deformation scenarios with multiple displacements. The more the displaced points have been, the higher the advantage of CIDIA over GCT has been. Note also that the advantage of CIDIA has been more visible when displacements have had the same sign. Since the problem of displacement smearing occurs especially under such deformation scenarios, i.e., when the number of displaced points is relatively high and/or the displacements have the same sign, one may conclude that CIDIA has turned out substantially more resistant to this problem than GCT.
Finally, the discussed CIDIA procedure can be employed for other issues in geodesy and surveying. This is due to the fact that the procedure deals with the universal problem of discrepancies between a random sample and its underlying functional model [the functional model has the universal form discussed by Teunissen (2006b, pp. 71-123)]. Thanks to this, CIDIA can be easily implemented, e.g., for the spec-ification of various observation models with outliers. It can be expected that the procedure should be more efficacious for the cases of multiple outliers than the well-established iterative data snooping procedure.

Data availability statement
Part of the input data generated during this research are included in this article. The rest of input data can be found at: www.random.org/gaussian-distributions or https://www.pracownicy.uwm.edu.pl/krzysztof.nowel/ errors.txt-Sect. 4.1 and in the given references: Welsch and Zhang (1983, pp. 329-336), Caspary (2000, pp. 154-157) or Niemeier (2008, pp. 450-456)-Sect. 4.3. Furthermore, both all the input data and the MATLAB codes are available from the author on reasonable request.