Abstract
Assessing the linear relationship between a set of continuous predictors and a continuous response is a well-studied problem in statistics and data mining. -based methods such as ordinary least squares and orthogonal regression can be used to determine this relationship. However, both of these methods become impaired when influential values are present. This problem becomes compounded when outliers confound standard diagnostics. This work proposes an -norm orthogonal regression method (OR) formulated as a nonconvex optimization problem. Solution strategies for finding globally optimal solutions are presented. Simulation studies are conducted to assess the resistance of the method to outliers and the consistency of the method. The method is also applied to real-world data arising from an environmental science application.
1. Introduction and Background
Data analysts are often posed with the problem of determining the relationship between several variables and a response variable. The standard technique when all variables are defined on a continuous domain is ordinary least squares regression (OLS). When outliers, or unusual observations, are present in data, traditional regression techniques become impaired. Methods such as M-regression (M-R) use M estimates to reduce the impact of outliers. These methods are not designed for developing errors-in-variables models in which both the predictors and the response have measurement error or are considered random components. An example of such a situation is studying the relationship between pH and alkalinity in freshwater habitats, where both measurements are subject to error.
Orthogonal regression (OR) is used when uncertainty is known to be present in both independent and dependent variables. This assumption is in contrast to OLS, where the predictors are assumed to be known with no measurement error. Furthermore, orthogonal regression measures the distances orthogonal to the fitted hyperplane whereas in OLS residuals are measured as the vertical distance of observations to the fitted surface.
1.1. Previous Work on Robust Orthogonal Regression
The sensitivity of OR to outliers has been noted, and other investigators have worked to develop robust methods [1β3]. The work of Zamar [3] includes the use of and estimates for orthogonal regression. SpΓ€th and Watson [4] introduce a method for incorporating the norm for measuring distances in orthogonal regression.
OR can be formulated as equivalent to finding the last principal component, or the direction of minimum variation, in principal component analysis (PCA). Hence, any robust PCA method can be used for robust orthogonal regression. Two main approaches for robust PCA are (1) to find robust estimates of the covariance matrix (in traditional PCA, the principal components are eigenvectors of the covariance matrix) and (2) to use a robust measure of dispersion. Research in the former area includes [5β11]. Robust estimates of dispersion in PCA have been investigated in [12β16]; each of these works is based on a projection pursuit approach.
Our approach is closely related to that developed by SpΓ€th and Watson [4] and Kwak [16] by the manner in which we incorporate the norm into an orthogonal regression procedure. SpΓ€th and Watson [4] measure the error of an observation as the distance to its orthogonal projection onto a fitted hyperplane. Kwak [16] finds successive directions of maximum variation by maximizing the distance to the projection of points onto a line. In contrast to these methods, our approach is to directly find the direction of least variation by maximizing the distance between points and their projections onto a vector (see Figure 1). Also, the methods presented in [4, 16] guarantee only local minima to the respective optimization problems, while we present a method for deriving globally optimal solutions.
These three methods can be viewed as approximating a maximum likelihood estimator (MLE) for the linear errors-in-variables model with independent errors with a Laplace distribution (see [23, 24]). The MLE for such a model corresponds to a hyperplane that minimizes the sum of projections. Zwanzig [25] considers an estimator for a nonlinear generalization of the error-in-variables model and shows that under certain assumptions on the error distribution, the estimator is consistent. When applied to the setting of orthogonal linear regression, the estimator is similar to the approach of SpΓ€th and Watson [4].
1.2. Traditional Orthogonal Regression
Suppose we are given observations with continuous predictors and responses , . OR seeks to find an orthogonal projection of the data onto a hyperplane such that the sum of the orthogonal distances of the points to the hyperplane is minimized. We assume throughout this work that the medians have been subtracted from samples and that the fitted hyperplane passes through the origin. We note that for large values of , the coordinate-wise median may not be a good estimate of the center of a data cloud (see [26]).
In OR, the sum of squared orthogonal distances of to the hyperplane defined by is minimized. The vector is normal to the best-fitting hyperplane and is the direction of least variation of the data. Because is the direction of least variation, the sum of squared distances of observations to their projections along is maximized. Therefore, we can find by solving the following optimization problem: subject to
The variables are in the vector . The term represents the orthogonal projection of observation along in terms of the original coordinates of the data.
In this paper, we present a new outlier-resistant method for orthogonal regression called OR. The direction of least variation in data is found by maximizing the distances of observations to their projection points along a vector. The fitted hyperplane is orthogonal to the direction of least variation. The problem is formulated as a nonconvex optimization problem. We describe how globally optimal solutions can be derived based on a reformulation-linearization technique (RLT) developed by Sherali and Tuncbilek [27]. We present results of applying OR to simulated data that is contaminated with outliers and compare the results to robust methods for orthogonal regression. The consistency of OR is assessed using simulated data. OR is applied to data collected for the evaluation of marine habitats, where uncertainty resides in both the dependent and independent variables.
2. Finding the Best-Fit Hyperplane
Suppose that instead of maximizing the sum of the squared perpendicular distances of observations to their projection along the direction of least variation, we maximize the sum of the distances. Using the metric reduces the impact of outlier observations.
In Figure 1, we illustrate different methods of incorporating the norm into an orthogonal regression procedure for a two-dimensional example. The fitted hyperplane is defined by its normal vector , representing an approximation of the direction of least variation in data. The vector spans the space defined by the fitted hyperplane. Our approach is to maximize the sum of distances of points onto their projections on . The distance of to its projection on is given by in the figure. The procedure proposed by SpΓ€th and Watson [4] minimizes the sum of distances of points to their projections in a fitted hyperplane. The distance of to its projection in the fitted subspace is indicated by . The procedure introduced by Kwak [16] maximizes the sum of magnitudes of the projections of points onto the fitted hyperplane. In Figure 1, this magnitude is given by . When these three distances are measured using the norm, the same regression plane is optimal [28]; however, because the distances in each case are measured using the norm, the resulting regression planes will not always coincide. The projection of on to the fitted hyperplane is given by ; an MLE approach would minimize the sum of distances of points to their projections.
Maximizing the sum of the distances of points to a line passing through the origin is written as
The objective function is nonlinear and nonconvex. As with [OR], the optimal hyperplane is defined by . Let be the residual for component of observation . Also, let , where is a vector of 1βs, so that all variables are nonnegative. This substitution is necessary for our solution method which is explained below. The math program can then be formulated as
subject to
The quantities , , and are vectors with each coordinate having the value 0, 1, and 2, respectively. The objective function is now linear, and the first three sets of constraints are defined by nonconvex functions.
To derive globally optimal solutions for [OR], we combine the use of branch-and-bound for integer programming with branch-and-bound for the reformulation-linearization technique (RLT) as described in [27]. Subproblem will refer to a linear mixed-integer program (MIP) that corresponds to a node in a branch-and-bound tree for the RLT. Each subproblem can be converted to a linear MIP by expressing the conditional constraints as for a sufficiently large constant .
The following is a summary of RLT applied to [OR]. (i)Subproblem optimization. Select a subproblem to solve. Each subproblem is a linear MIP that relaxes the nonconvex constraints. If all subproblems are solved, then the incumbent solution is optimal.(ii)Check for new bound. If the solution satisfies the original nonconvex constraints, the current solution is feasible. Update the incumbent solution and objective value if appropriate. (iii)Fathom. Fathom if (1) the solution satisfies the original constraints, (2) the subproblem is infeasible, or (3) the objective value for the subproblem is less than the incumbent objective value. (iv)Branch. Select a variable for branching, creating two subproblems.
A flow-chart detailing the steps in the RLT branch-and-bound process is included in Figure 2.
We now describe the construction of the root subproblem for RLT. For each occurrence of in the constraints, substitute a new variable into the formulation. Also, add constraints of the form but again replace occurrences of with . The presence of 0 in the constraints is to reflect the lower bounds on the variables; these lower bounds will be changed during the optimization algorithm as described below. The result is a linear MIP that is a relaxation of [OR][27].
We now describe the branching procedure. The optimal solution to the relaxation is feasible for [OR] if for all . If this condition is not satisfied, then choose a variable with for some with current value and create two new subproblems. One of the new subproblems will have constraints of the form
Again, replace all occurrences of with to create linear constraints. The other new subproblem will have the linearized form of the constraints
As nodes in the branch-and-bound tree are traversed, the bounds for the variables are successively tightened. Sherali and Tuncbilek [27] prove that either the search for optimal solutions terminates with a globally optimal solution in finite steps or else any accumulation point of solutions along an infinite branch of the branch-and-bound tree is a globally optimal solution.
3. Simulation Studies
In this section, the ability of OR to resist the effects of two types of outliers is assessed using simulation studies. The approach is compared to OR and several robust procedures. The consistency of OR is also assessed using a simulation study.
[OR] MIP subproblems are solved using CPLEX 12.1. If provable optimality is not achieved for MIP subproblems after 2 minutes, the best-known integer feasible solution is used. We implemented our own branch-and-bound algorithm for applying RLT in a C program, with a time limit of 7200 CPU seconds for each instance. Problems are solved on machines with βGHz Opteron processors and 2βGB RAM.
OR is compared to a robust approach based on projection pursuit [12], a scale-based orthogonalized Gnanadesikan-Kettenring estimate [29] (hereafter -OGK), and a method based on PCA- [16]. The projection pursuit approach is applied by using the method for principal component analysis described in [15]. The method is modified for orthogonal regression by taking the last robust principal component as the coefficients of the orthogonal regression hyperplane. We denote this method by ppOR-mad or ppOR-qn, with the suffix indicating the scale function used. The other methods are denoted by -OGK and PCA-. For PCA-, the initial vector is set to (see [16]).
OR and ppOR models are derived using prcomp() and PCAgrid() functions, respectively, called in the R environment for statistical computing [30]. The function PCAgrid() is in the pcaPP [31] library. R code for the -OGK estimator was provided by an anonymous referee. We implemented the PCA- method [16] in a C program.
3.1. Vertical Outliers
A simulation study is conducted to assess the ability of OR to detect linear relationships in bivariate data in the presence of vertical outliers. Vertical outliers have significant variation only in their response-variable values. A simulation design is utilized by varying the number of contaminated observations () and contamination magnitude (). Each method is run on 30 datasets with 100 observations under each treatment condition. For this study, is varied in the following manner: no contamination, , moderate contamination, , and high contamination, . The magnitude of contamination is varied as : low contamination, : moderate magnitude, : large magnitude.
The data are sampled in the following manner. (i)Generate the uncontaminated data: and , where , for .(ii)Generate the contaminated data: and , for .
An example dataset with fitted models generated using and is given in Figure 3(a).
(a)
(b)
(c)
To evaluate each methodβs ability to accurately fit the known underlying model, the following model discrepancy, , is used: where is the known model and is the estimated model. Note that corresponds to the area between and . If the estimated model is close to the true model, then will be small. For each of the simulations is computed and recorded. Using these results the average model discrepancy, , and standard error are computed.
To analyze the simulation, the means and standard deviations of are computed for each setting of and and can be found in Table 1. For all configurations with , OR has lower means and standard deviations than all other methods tested, indicating superior performance in resisting outlier contamination for such conditions. For , OR performs worse than the robust methods with the exception of PCA- but better than the outlier-sensitive OR. In the case of extreme contamination , OR and PCA- are extremely sensitive to outliers as indicated by large values for . The best-performing method for this configuration is ppOR-qn. OR has mean discrepancy that is only 0.34 more than that of ppOR-qn but is at least 1.28 less than the outlier-sensitive methods. Overall, this suggests that OR performs well when no contamination is present and in the presence of larger levels of contamination, but performance degrades relative to some of the robust methods when the contamination magnitude is very large.
3.2. Clustered Leverage Outliers
The ability of OR to detect linear relationships in bivariate data with outliers is further analyzed with a simulation using datasets with clustered leverage outliers. Clustered leverage outliers in a dataset have very similar values but are far from the rest of the data set. The simulation design varies the number of observations () and the contamination level (). For each treatment condition and replication, a dataset is generated without contamination and a companion dataset is generated replacing the first observations with contaminated data. There are 50 replications for each treatment condition. For this experiment, is varied in the following manner: low contamination: , moderate contamination: , and high contamination: .
The data are sampled as follows. (i)Generate the uncontaminated data: , for . (ii)Generate the contaminated data: , for .
The covariance matrix () is varied across replications. First, a matrix is generated such that each entry is sampled from a distribution. The QR decomposition is calculated. Let , where indicates taking the diagonal elements as a vector and is the vector with the signs of the corresponding elements of a vector. Then is sampled from a Wishart. The means () for the contaminated data are generated such that (1)the Mahalanobis distance of from the distribution is at least , (2), and (3).
An example dataset with 100 observations and fitted models generated using is given in Figure 3(b).
Each method is evaluated based on the similarity of the models fit on the companion uncontaminated and contaminated datasets. The similarity measure is defined as the absolute value of the inner product where and are the vectors of coefficients derived for the uncontaminated and contaminated datasets. The values of can be between 0 and 1, with larger values indicating that the models are in agreement and that outliers do not affect the estimate.
The means across replications and the percentage of instances with for each value of and are contained in Table 2. For , the performance of OR is nearly constant as is increased. There is a slight degradation in performance for larger values of , which is likely due to the increased computational complexity of instances (see Section 5). For , all methods have high mean values for and high percentages of instances with , including the outlier-sensitive OR. For , OR and all of the robust methods have larger mean values of than OR. The ppOR-qn estimator has the most consistent performance across different values of for , with mean values of above 0.94 for each. The OR estimator has mean values above 0.93 for , but performance degrades for . The -OGK estimator has the highest or second-highest mean values of for . For , the performance of OR lags the robust methods. For , the performance is similar to that of OR. For , the mean values of are less than those for OR. For , the preferred estimator appears to be ppOR-mad, as it has the highest or second-highest value of for each .
3.3. Consistency
The consistency of OR is assessed by performing tests on instances with various sample sizes. Bivariate data ,ββ are generated such that , where and , and , where . The sample sizes tested are ; data are generated for 100 datasets for each value of . The rlaplace() function in the R package rmutil [32] is used to sample from the Laplace distribution. An example dataset with 200 observations and the fitted OR model is given in Figure 3(c).
Figure 4 depicts the standard error of the absolute value of the slope as a function of sample size. As sample size increases, the standard error rapidly approaches zero, indicating that the procedure is consistent. For large sample sizes, OR should provide good estimates.
4. An Environmental Example
The pH and alkalinity of the water in which the fish live are known to impact their overall health. Alkalinity is a measure of the ability of a solution to neutralize acids. Researchers expect pH and alkalinity be highly correlated. However, the relationship of the two variables is difficult to estimate in many datasets due to low variation in pH across streams and due to the presence of outliers. The dataset for this example is a subset of values collected across the state of Ohio resulting in 312 observations. Various subsets of this dataset have been considered previously by Norton [17], Lipkovich et al. [18], Noble et al. [19], and Boone et al. [20] with varying degrees of success at estimating the relationship between pH and alkalinity. For the purposes of this work both pH and alkalinity have been normalized. Note that in this data both pH and alkalinity have measurement error, and hence an orthogonal regression method should be used. The same computational settings as in the simulation studies are used for this analysis.
Figure 5 shows the scatter plot of pH versus alkalinity. There appears to be a linear relationship between alkalinity and pH. Also notice the vertical and leverage outliers present in the data. The Pearson correlation coefficient for the relationship between pH and alkalinity is which is biased down due to the outliers in the data. Furthermore, since the correlation is biased down, extracting a pH-alkalinity component and using that as a predictor would not be prudent. Hence, a regression method is needed that is insensitive to outliers/influential points. With the exception of ppOR-mad, the outlier-insensitive methods all demonstrate resistance to the outliers in the measurements of pH when compared to the outlier-sensitive OR. The method based on PCA- produces a model that appears to be least affected by outliers, followed by the -OGK estimator and then OR.
Table 3 shows the summary of regression models for each method. Here the standard errors are bootstrap standard errors based on 100 bootstrap samples. The bootstrap standard errors vary widely across the methods, with OR having the most stable estimates, as evidenced by smaller standard errors, followed by -OGK and PCA-. With the exception of ppOR-mad, the values indicate that the relationship between pH and alkalinity is statistically significant. Notice that the value for the relationship is statistically significant using OR, -OGK, and PCA- with a value of less thanββ.00001. The OR, -OGK, and PCA- estimators appear to be the best choice for this data, with PCA- producing the best estimate and OR providing the most stable estimate.
An expansion of this problem is to consider how alkalinity, pH, and habitat measure qualitative habitat evaluation index (QHEI) impact the index of biotic integrity (IBI). QHEI measures the quality of the habitat in which the fish reside [21]. QHEI is determined from the following six measures: stream substrate, in stream cover, channel morphology, riparian and bank condition, pool and riffle quality, and gradient. Here higher values correspond to better habitat quality, and lower values correspond to poorer habitat quality. IBI measures the health of the fish community. Lower values of IBI correspond only to tolerant species present, low community organization, and high proportion of fish with physical anomalies. High values correspond to highly organized fish communities, many intolerant species present, and high diversity among species [22]. The data consist of 312 observations from the same sites.
Orthogonal regression models are fit to the data with IBI as the response and QHEI, pH, and alkalinity as predictors. The method presented by Croux and Haesbroeck [10] (hereafter CH) is used instead of -OGK because of the increased number of variables. The CH method is a robust PCA based on finding eigenvalues of a robust estimate of the covariance matrix.
Table 4 shows the coefficients, bootstrap standard errors, value, and values for the regressions using each method. Notice that the OR estimates for the coefficients for pH and alkalinity are the most stable, as indicated by lower standard errors. The standard errors for the QHEI coefficient estimates are the smallest for each method. The estimate for the QHEI coefficient by CH has the lowest standard error and is the largest positive estimate which seems to agree best with biological expectations. The better the habitat the fish have to live in, the better the health of the fish community. For all methods except for OR and PCA-, the coefficients indicate a positive correlation between IBI and pH and a negative correlation between IBI and alkalinity. While none of the variables in any of the regressions are statistically significant, this dataset provides an example of how the regression coefficients from orthogonal regression with outliers may be suspect.
5. Computation Time
The solution method proposed for OR is more computationally intensive than the other methods used for comparison in this paper. The alternative methods solve all of the instances used here in less than a few seconds. In this section, we evaluate the computational performance of our implementation of OR.
Tables 5β8 contain data on the computational performance of OR in each of the experiments conducted. In each table, the first column(s) indicates the configuration of the data: for Table 5 the contamination level and contamination magnitude ; for Table 6 the sample size , contamination level , and whether the data has outliers; for Table 7 the sample size ; for Table 8 the number of variables . The second column % Optimal indicates the percentage of instances solved to optimality, meaning that all MIP subproblems solved to optimality and the RLT branch and bound tree are fully explored. The third column Avg. MIPs Solved contains the average number of MIPs solved for each configuration. The fourth column Avg. MIPs Suboptimal contains the average number of MIPs that were not solved to optimality within the 120 CPU second time limit. The fifth column Avg. Time-to-Term. (s) contains the average of the lesser of the CPU seconds before the RLT branch and bound tree is explored and 7200 seconds. The last column Avg. Time to Best Soln. (s) contains the average time to find the best feasible solution.
With the exception of the bootstrap samples for the environmental data with (Table 8), the RLT branch-and-bound tree is explored in every instance. However, for many of these instances, at least one of the MIP subproblems is not solved to optimality. The solution taken in these instances is therefore not βprovablyβ optimal. All instances with are solved to optimality. As is increased to 50 and larger, fewer instances are solved to optimality. For , the number of MIP subproblems that are not solved to optimality is less than 5% of the subproblems solved in those instances on average. For in the simulation for clustered leverage outliers and the consistency experiment, about 10% of the MIPs are not solved to optimality. For the bootstrap simulation with , more than half of the MIPs were not solved to optimality.
In the simulation with vertical outliers (Table 5), more instances are solved to optimality when the outlier contamination is larger. In contrast, in the simulation with clustered leverage outliers (Table 6), fewer instances with contamination are solved to optimality, than the companion datasets without contamination. Also, the number of instances solved to optimality seems to decrease as the contamination level increases.
In the simulation with vertical outliers (Table 5), at least one MIP is not solved to optimality in most instances. Except in the case of extreme outlier contamination, OR performed competitively when compared to robust methods. Also, the standard error for the slope in the consistency experiment (Table 7), the percentage of instances solved to optimality decreases dramatically as increases, but the standard error for the estimates continues to decrease. For these instances then, the time limit for the MIP subproblems does not appear to hamper the ability to find good solutions.
Only one experiment, the bootstrap simulation with , used data with more than 2 variables. The degradation in computational performance is more dramatic in the shift from to in the bootstrap simulation than the degradation observed when is increased in the bivariate experiments. This phenomenon is likely due to the increase in nonlinear constraints needed to produce the RLT relaxation.
6. Discussion
This work introduces a new orthogonal regression technique that is designed to be resistant to outliers. We develop a method for deriving globally optimal solutions for problem instances. Via simulation, the method shows promise for being resistant to outliers. An application to an environmental example further demonstrates that the method produces results which are more resistant to outliers than traditional orthogonal regression and competes with other robust methods. Hence, this method gives data analysts that deal with errors-in-variables data contaminated with outliers a resistant alternative to orthogonal regression.
The computational studies presented here indicate that different robust or outlier-resistant methods are suitable in different situations, and there is no clearly superior method. The pcaPP-mad method is among the best performers in the presence of vertical and clustered leverage outliers in simulated data but has perhaps the poorest estimate in the real-world example that contains both types of outliers. PCA- is among the poorest performers in the presence of vertical and clustered leverage outliers in simulated data but produces some of the best estimates in the real-world analysis. The inconsistency of the results for PCA- may be due to the dependence of the method on having a good starting point for finding a good local optimal solution. The OR method presented here performs best with respect to the other methods in the presence of moderate contamination by vertical outliers but suffers in cases of extreme contamination.
Traditional orthogonal regression (OR) can be formulated as a special case of PCA. The approach presented in this work for formulation and optimization can potentially be adapted to develop an outlier-resistant method for PCA. An outlier-resistant PCA algorithm would be useful for data analysts that work with contaminated data. Another possible extension is for an outlier-resistant factor analysis procedure for analyzing categorical data.
Acknowledgment
The authors would like to thank two anonymous referees for numerous suggestions for improving the content and presentation of this work.