-
On the construction of scattering matrices for irregular or elongated enclosures using Green's representation formula
Authors:
Carlos Borges,
Leslie Greengard,
Michael O'Neil,
Manas Rachh
Abstract:
Multiple scattering methods are widely used to reduce the computational complexity of acoustic or electromagnetic scattering problems when waves propagate through media containing many identical inclusions. Historically, this numerical technique has been limited to situations in which the inclusions (particles) can be covered by nonoverlapping disks in two dimensions or spheres in three dimensions…
▽ More
Multiple scattering methods are widely used to reduce the computational complexity of acoustic or electromagnetic scattering problems when waves propagate through media containing many identical inclusions. Historically, this numerical technique has been limited to situations in which the inclusions (particles) can be covered by nonoverlapping disks in two dimensions or spheres in three dimensions. This allows for the use of separation of variables in cylindrical or spherical coordinates to represent the solution to the governing partial differential equation. Here, we provide a more flexible approach, applicable to a much larger class of geometries. We use a Green's representation formula and the associated layer potentials to construct incoming and outgoing solutions on rectangular enclosures. The performance and flexibility of the resulting scattering operator formulation in two-dimensions is demonstrated via several numerical examples for multi-particle scattering in free space as well as in layered media. The mathematical formalism extends directly to the three dimensional case as well, and can easily be coupled with several commercial numerical PDE software packages.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
-
A Fast Compensated Algorithm for Computing Givens Rotations
Authors:
Carlos F. Borges
Abstract:
We develop a very simple compensated scheme for computing very accurate Givens rotations. The approach is significantly more straightforward than the one in \cite{borges2021fast}, and the derivation leads to a very satisfying algorithm whereby a naively computed Givens rotation can be used to construct a correction to itself. It is also seen that this scheme continues to provide high accuracy even…
▽ More
We develop a very simple compensated scheme for computing very accurate Givens rotations. The approach is significantly more straightforward than the one in \cite{borges2021fast}, and the derivation leads to a very satisfying algorithm whereby a naively computed Givens rotation can be used to construct a correction to itself. It is also seen that this scheme continues to provide high accuracy even when built on a hypoteneuse calculation that is of lesser accuracy.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Reconstructing the shape and material parameters of dissipative obstacles using an impedance model
Authors:
Travis Askham,
Carlos Borges
Abstract:
In inverse scattering problems, a model that allows for the simultaneous recovery of both the domain shape and an impedance boundary condition covers a wide range of problems with impenetrable domains, including recovering the shape of sound-hard and sound-soft obstacles and obstacles with thin coatings. This work develops an optimization framework for recovering the shape and material parameters…
▽ More
In inverse scattering problems, a model that allows for the simultaneous recovery of both the domain shape and an impedance boundary condition covers a wide range of problems with impenetrable domains, including recovering the shape of sound-hard and sound-soft obstacles and obstacles with thin coatings. This work develops an optimization framework for recovering the shape and material parameters of a penetrable, dissipative obstacle in the multifrequency setting, using a constrained class of curvature-dependent impedance function models proposed by Antoine, Barucq, and Vernhet. We find that this constrained model improves the robustness of the recovery problem, compared to more general models, and provides meaningfully better obstacle recovery than simpler models. We explore the effectiveness of the model for varying levels of dissipation, for noise-corrupted data, and for limited aperture data in the numerical examples.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
On the five-dimensional non-extremal Reissner-Nordström black hole: Retractions and scalar quasibound states
Authors:
M. Abu-Saleem,
H. S. Vieira,
L. H. C. Borges
Abstract:
In this paper, we examine the role played by topology, and some specific boundary conditions as well, on the physics of a higher-dimensional black hole. We analyze the line element of a five-dimensional non-extremal Reissner-Nordström black hole to obtain a new family of subspaces that are types of strong retractions and deformations, and then we extend these results to higher dimensions in order…
▽ More
In this paper, we examine the role played by topology, and some specific boundary conditions as well, on the physics of a higher-dimensional black hole. We analyze the line element of a five-dimensional non-extremal Reissner-Nordström black hole to obtain a new family of subspaces that are types of strong retractions and deformations, and then we extend these results to higher dimensions in order to deduce the relationship between various types of transformations. We also study the scalar field perturbations in the background under consideration and obtain an analytical expression for the quasibound state frequencies by using the Vieira-Bezerra-Kokkotas approach, which uses the polynomial conditions of the general Heun functions, and then we discuss the stability of the system and present the radial eigenfunctions. Our main goal is to discuss the physical meaning of these mathematical applications in such higher-dimensional effective metric.
△ Less
Submitted 15 July, 2024; v1 submitted 12 October, 2023;
originally announced October 2023.
-
Random walks in frequency and the reconstruction of obstacles with cavities from multi-frequency data
Authors:
Travis Askham,
Carlos Borges,
Jeremy Hoskins,
Manas Rachh
Abstract:
Inverse obstacle scattering is the recovery of an obstacle boundary from the scattering data produced by incident waves. This shape recovery can be done by iteratively solving a PDE-constrained optimization problem for the obstacle boundary. While it is well known that this problem is typically non-convex and ill-posed, previous investigations have shown that in many settings these issues can be a…
▽ More
Inverse obstacle scattering is the recovery of an obstacle boundary from the scattering data produced by incident waves. This shape recovery can be done by iteratively solving a PDE-constrained optimization problem for the obstacle boundary. While it is well known that this problem is typically non-convex and ill-posed, previous investigations have shown that in many settings these issues can be alleviated by using a continuation-in-frequency method and introducing a regularization that limits the frequency content of the obstacle boundary. It has been recently observed that these techniques can fail for obstacles with pronounced cavities, even in the case of penetrable obstacles where similar optimization and regularization methods work for the equivalent problem of recovering a piecewise constant wave speed.
The present work investigates the recovery of obstacle boundaries for impenetrable, sound-soft media with pronounced cavities, given multi-frequency scattering data. Numerical examples demonstrate that the problem is sensitive to the choice of iterative solver used at each frequency and the initial guess at the lowest frequency. We propose a modified continuation-in-frequency method which follows a random walk in frequency, as opposed to the standard monotonically increasing path. This method shows some increased robustness in recovering cavities, but can also fail for more extreme examples. An interesting phenomenon is observed that while the obstacle reconstructions obtained over several random trials can vary significantly near the cavity, the results are consistent for non-cavity parts of the boundary.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
A Neural Network Warm-Start Approach for the Inverse Acoustic Obstacle Scattering Problem
Authors:
Mo Zhou,
Jiequn Han,
Manas Rachh,
Carlos Borges
Abstract:
We consider the inverse acoustic obstacle problem for sound-soft star-shaped obstacles in two dimensions wherein the boundary of the obstacle is determined from measurements of the scattered field at a collection of receivers outside the object. One of the standard approaches for solving this problem is to reformulate it as an optimization problem: finding the boundary of the domain that minimizes…
▽ More
We consider the inverse acoustic obstacle problem for sound-soft star-shaped obstacles in two dimensions wherein the boundary of the obstacle is determined from measurements of the scattered field at a collection of receivers outside the object. One of the standard approaches for solving this problem is to reformulate it as an optimization problem: finding the boundary of the domain that minimizes the $L^2$ distance between computed values of the scattered field and the given measurement data. The optimization problem is computationally challenging since the local set of convexity shrinks with increasing frequency and results in an increasing number of local minima in the vicinity of the true solution. In many practical experimental settings, low frequency measurements are unavailable due to limitations of the experimental setup or the sensors used for measurement. Thus, obtaining a good initial guess for the optimization problem plays a vital role in this environment.
We present a neural network warm-start approach for solving the inverse scattering problem, where an initial guess for the optimization problem is obtained using a trained neural network. We demonstrate the effectiveness of our method with several numerical examples. For high frequency problems, this approach outperforms traditional iterative methods such as Gauss-Newton initialized without any prior (i.e., initialized using a unit circle), or initialized using the solution of a direct method such as the linear sampling method. The algorithm remains robust to noise in the scattered field measurements and also converges to the true solution for limited aperture data. However, the number of training samples required to train the neural network scales exponentially in frequency and the complexity of the obstacles considered. We conclude with a discussion of this phenomenon and potential directions for future research.
△ Less
Submitted 3 August, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
On the robustness of inverse scattering for penetrable, homogeneous objects with complicated boundary
Authors:
Carlos Borges,
Manas Rachh,
Leslie Greengard
Abstract:
The acoustic inverse obstacle scattering problem consists of determining the shape of a domain from measurements of the scattered far field due to some set of incident fields (probes). For a penetrable object with known sound speed, this can be accomplished by treating the boundary alone as an unknown curve. Alternatively, one can treat the entire object as unknown and use a more general volumetri…
▽ More
The acoustic inverse obstacle scattering problem consists of determining the shape of a domain from measurements of the scattered far field due to some set of incident fields (probes). For a penetrable object with known sound speed, this can be accomplished by treating the boundary alone as an unknown curve. Alternatively, one can treat the entire object as unknown and use a more general volumetric representation, without making use of the known sound speed. Both lead to strongly nonlinear and nonconvex optimization problems for which recursive linearization provides a useful framework for numerical analysis. After extending our shape optimization approach developed earlier for impenetrable bodies, we carry out a systematic study of both methods and compare their performance on a variety of examples. Our findings indicate that the volumetric approach is more robust, even though the number of degrees of freedom is significantly larger. We conclude with a discussion of this phenomenon and potential directions for further research.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
A Correctly Rounded Newton Step for the Reciprocal Square Root
Authors:
Carlos F. Borges
Abstract:
The reciprocal square root is an important computation for which many sophisticated algorithms exist (see for example \cite{Moroz,863046,863031} and the references therein). A common theme is the use of Newton's method to refine the estimates. In this paper we develop a correctly rounded Newton step that can be used to improve the accuracy of a naive calculation (using methods similar to those dev…
▽ More
The reciprocal square root is an important computation for which many sophisticated algorithms exist (see for example \cite{Moroz,863046,863031} and the references therein). A common theme is the use of Newton's method to refine the estimates. In this paper we develop a correctly rounded Newton step that can be used to improve the accuracy of a naive calculation (using methods similar to those developed in \cite{borges}) . The approach relies on the use of the fused multiply-add (FMA) which is widely available in hardware on a variety of modern computer architectures. We then introduce the notion of {\em weak rounding} and prove that our proposed algorithm meets this standard. We then show how to leverage the exact Newton step to get a Halley's method compensation which requires one additional FMA and one additional multiplication. This method appears to give correctly rounded results experimentally and we show that it can be combined with a square root free method for estimating the reciprocal square root to get a method that is both very fast (in computing environments with a slow square root) and, experimentally, highly accurate.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
Multifrequency inverse obstacle scattering with unknown impedance boundary conditions using recursive linearization
Authors:
Carlos Borges,
Manas Rachh
Abstract:
We consider the reconstruction of the shape and the impedance function of an obstacle from measurements of the scattered field at receivers outside the object. The data is assumed to be generated by plane waves impinging on the obstacle from multiple directions and at multiple frequencies. This inverse problem is reformulated as the optimization problem of finding band-limited shape and impedance…
▽ More
We consider the reconstruction of the shape and the impedance function of an obstacle from measurements of the scattered field at receivers outside the object. The data is assumed to be generated by plane waves impinging on the obstacle from multiple directions and at multiple frequencies. This inverse problem is reformulated as the optimization problem of finding band-limited shape and impedance functions which minimize the $L^2$ distance between the computed value of the scattered field at the receivers and the data. The optimization problem is non-linear, non-convex, and ill-posed. Moreover, the objective function is computationally expensive to evaluate. The recursive linearization approach (RLA) proposed by Chen has been successful in addressing these issues in the context of recovering the sound speed of a domain or the shape of a sound-soft obstacle. We present an extension of the RLA for the recovery of both the shape and impedance functions. The RLA is a continuation method in frequency where a sequence of single frequency inverse problems is solved. At each higher frequency, one attempts to recover incrementally higher resolution features using a step assumed to be small enough to ensure that the initial guess obtained at the preceding frequency lies in the basin of attraction for Newton's method at the new frequency. We demonstrate the effectiveness of the method with several numerical examples. Surprisingly, we find that one can recover the shape with high accuracy even when the measurements are from sound-hard or sound-soft objects. While the method is effective in obtaining high quality reconstructions for complicated geometries and impedance functions, a number of interesting open questions remain. We present numerical experiments that suggest underlying mechanisms of success and failure, showing areas where improvements could help lead to robust and automatic tools.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Fast Compensated Algorithms for the Reciprocal Square Root, the Reciprocal Hypotenuse, and Givens Rotations
Authors:
Carlos F. Borges
Abstract:
The reciprocal square root is an important computation for which many very sophisticated algorithms exist (see for example \cite{863046,863031} and the references therein). In this paper we develop a simple differential compensation (much like those developed in \cite{borges}) that can be used to improve the accuracy of a naive calculation. The approach relies on the use of the fused multiply-add…
▽ More
The reciprocal square root is an important computation for which many very sophisticated algorithms exist (see for example \cite{863046,863031} and the references therein). In this paper we develop a simple differential compensation (much like those developed in \cite{borges}) that can be used to improve the accuracy of a naive calculation. The approach relies on the use of the fused multiply-add (FMA) which is widely available in hardware on a variety of modern computer architectures. We then demonstrate how to combine this approach with a somewhat inaccurate but fast square root free method for estimating the reciprocal square root to get a method that is both fast (in computing environments with a slow square root) and, experimentally, highly accurate. Finally, we show how this same approach can be extended to the reciprocal hypotenuse calculation and, most importantly, to the construction of Givens rotations.
△ Less
Submitted 11 June, 2021; v1 submitted 23 February, 2021;
originally announced March 2021.
-
Inverse scattering reconstruction of a three dimensional sound-soft axis-symmetric impenetrable object
Authors:
Carlos Borges,
Jun Lai
Abstract:
In this work, we consider the problem of reconstructing the shape of a three dimensional impenetrable sound-soft axis-symmetric obstacle from measurements of the scattered field at multiple frequencies. This problem has important applications in locating and identifying obstacles with axial symmetry in general, such as, land mines. We present a two-part framework for recovering the shape of the ob…
▽ More
In this work, we consider the problem of reconstructing the shape of a three dimensional impenetrable sound-soft axis-symmetric obstacle from measurements of the scattered field at multiple frequencies. This problem has important applications in locating and identifying obstacles with axial symmetry in general, such as, land mines. We present a two-part framework for recovering the shape of the obstacle. In part 1, we introduce an algorithm to find the axis of symmetry of the obstacle by making use of the far field pattern. In part 2, we recover the shape of the obstacle by applying the recursive linearization algorithm (RLA) with multifrequency measurements of the scattered field. In the RLA, a sequence of inverse scattering problems using increasing single frequency measurements are solved. Each of those problems is ill-posed and nonlinear. The ill-posedness is treated by using a band-limited representation for the shape of the obstacle, while the nonlinearity is dealt with by applying the damped Gauss-Newton method. When using the RLA, a large number of forward scattering problems must be solved. Hence, it is paramount to have an efficient and accurate forward problem solver. For the forward problem, we apply separation of variables in the azimuthal coordinate and Fourier decompose the resulting problem, leaving us with a sequence of decoupled simpler forward scattering problems to solve. Numerical examples for the inverse problem are presented to show the feasibility of our two-part framework in different scenarios, particularly for objects with non-smooth boundaries.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
An Improved Algorithm for hypot(a,b)
Authors:
Carlos F. Borges
Abstract:
We develop a fast and accurate algorithm for evaluating $\sqrt{a^2+b^2}$ for two floating point numbers $a$ and $b$. Library functions that perform this computation are generally named {\tt hypot(a,b)}. We will compare four approaches that we will develop in this paper to the current resident library function that is delivered with Julia 1.1 and to the code that has been distributed with the C mat…
▽ More
We develop a fast and accurate algorithm for evaluating $\sqrt{a^2+b^2}$ for two floating point numbers $a$ and $b$. Library functions that perform this computation are generally named {\tt hypot(a,b)}. We will compare four approaches that we will develop in this paper to the current resident library function that is delivered with Julia 1.1 and to the code that has been distributed with the C math library for decades. We will demonstrate the performance of our algorithms by simulation.
△ Less
Submitted 14 June, 2019; v1 submitted 20 April, 2019;
originally announced April 2019.
-
A domain decomposition preconditioning for the integral equation formulation of the inverse scattering problem
Authors:
Carlos Borges,
George Biros
Abstract:
We propose domain decomposition preconditioners for the solution of an integral equation formulation of forward and inverse acoustic scattering problems with point scatterers. We study both forward and inverse problems and propose preconditioning techniques to accelerate the iterative solvers. For the forward scattering problem, we extend the domain decomposition based preconditioning techniques p…
▽ More
We propose domain decomposition preconditioners for the solution of an integral equation formulation of forward and inverse acoustic scattering problems with point scatterers. We study both forward and inverse problems and propose preconditioning techniques to accelerate the iterative solvers. For the forward scattering problem, we extend the domain decomposition based preconditioning techniques presented for partial differential equations in {\em "A restricted additive Schwarz preconditioner for general sparse linear systems", SIAM Journal on Scientific Computing, 21 (1999), pp. 792--797}, to integral equations. We combine this domain decomposition preconditioner with a low-rank correction, which is easy to construct, forming a new preconditioner. For the inverse scattering problem, we use the forward problem preconditioner as a building block for constructing a preconditioner for the Gauss-Newton Hessian. We present numerical results that demonstrate the performance of both preconditioning strategies.
△ Less
Submitted 16 September, 2019; v1 submitted 25 January, 2019;
originally announced January 2019.
-
An Improved Formula for Jacobi Rotations
Authors:
Carlos F. Borges
Abstract:
We present an improved form of the algorithm for constructing Jacobi rotations. This is simultaneously a more accurate code for finding the eigenvalues and eigenvectors of a real symmetric 2x2 matrix.
We present an improved form of the algorithm for constructing Jacobi rotations. This is simultaneously a more accurate code for finding the eigenvalues and eigenvectors of a real symmetric 2x2 matrix.
△ Less
Submitted 19 June, 2018;
originally announced June 2018.
-
Solving the 3x3 Real Symmetric Eigenproblem
Authors:
Carlos F. Borges
Abstract:
We develop an algorithm solving the 3x3 real symmetric eigenproblem. This is a common problem and in certain applications it must be solved many thousands of times, see for example \cite{tripref} where each element in a finite element grid generates one. Because of this it is useful to have a tailored method that is easily coded and compact. Furthermore, the method described is fully compatible wi…
▽ More
We develop an algorithm solving the 3x3 real symmetric eigenproblem. This is a common problem and in certain applications it must be solved many thousands of times, see for example \cite{tripref} where each element in a finite element grid generates one. Because of this it is useful to have a tailored method that is easily coded and compact. Furthermore, the method described is fully compatible with development as a GPU based code that would allow the simultaneous solution of a large number of these small eigenproblems.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
Reconstruction of a compactly supported sound profile in the presence of a random background medium
Authors:
Carlos Borges,
George Biros
Abstract:
In this paper, we present algorithms for reconstructing an unknown compact scatterer embedded in a random noisy background medium, given measurements of the scattered field and information about the background medium and the sound profile. We present six different methods for the solution of this inverse problem using different amounts of scattered data and prior information about the random backg…
▽ More
In this paper, we present algorithms for reconstructing an unknown compact scatterer embedded in a random noisy background medium, given measurements of the scattered field and information about the background medium and the sound profile. We present six different methods for the solution of this inverse problem using different amounts of scattered data and prior information about the random background medium and the scatterer. The different inversion algorithms are defined by a combination of stochastic programming methods and Bayesian formulation. Our basic results show that if we have data for just one instance of the random background medium the best strategy is to invert for both random medium and unknown scatterer with appropriate regularization. However, if we have data for multiple instances of the medium it may be worth solving a coupled set of multiple inverse problems. We present several numerical results for inverting for various scatterer geometries under different inversion scenarios. The main take-away of our study is that one should invert for both unknown scatterer and random medium, with appropriate, prior-information based regularization. Furthermore, if data from multiple realizations of the background medium is available, then it may be beneficial to combine results from multiple inversions.
△ Less
Submitted 25 May, 2018; v1 submitted 4 May, 2018;
originally announced May 2018.
-
High resolution inverse scattering in two dimensions using recursive linearization
Authors:
Carlos Borges,
Adrianna Gillman,
Leslie Greengard
Abstract:
We describe a fast, stable algorithm for the solution of the inverse acoustic scattering problem in two dimensions. Given full aperture far field measurements of the scattered field for multiple angles of incidence, we use Chen's method of recursive linearization to reconstruct an unknown sound speed at resolutions of thousands of square wavelengths in a fully nonlinear regime. Despite the fact th…
▽ More
We describe a fast, stable algorithm for the solution of the inverse acoustic scattering problem in two dimensions. Given full aperture far field measurements of the scattered field for multiple angles of incidence, we use Chen's method of recursive linearization to reconstruct an unknown sound speed at resolutions of thousands of square wavelengths in a fully nonlinear regime. Despite the fact that the underlying optimization problem is formally ill-posed and non-convex, recursive linearization requires only the solution of a sequence of linear least squares problems at successively higher frequencies. By seeking a suitably band-limited approximation of the sound speed profile, each least squares calculation is well-conditioned and involves the solution of a large number of forward scattering problems, for which we employ a recently developed, spectrally accurate, fast direct solver. For the largest problems considered, involving 19,600 unknowns, approximately one million partial differential equations were solved, requiring approximately two days to compute using a parallel MATLAB implementation on a multi-core workstation.
△ Less
Submitted 24 August, 2016;
originally announced August 2016.
-
Fast, adaptive, high order accurate discretization of the Lippmann-Schwinger equation in two dimension
Authors:
Sivaram Ambikasaran,
Carlos Borges,
Lise-Marie Imbert-Gerard,
Leslie Greengard
Abstract:
We present a fast direct solver for two dimensional scattering problems, where an incident wave impinges on a penetrable medium with compact support. We represent the scattered field using a volume potential whose kernel is the outgoing Green's function for the exterior domain. Inserting this representation into the governing partial differential equation, we obtain an integral equation of the Lip…
▽ More
We present a fast direct solver for two dimensional scattering problems, where an incident wave impinges on a penetrable medium with compact support. We represent the scattered field using a volume potential whose kernel is the outgoing Green's function for the exterior domain. Inserting this representation into the governing partial differential equation, we obtain an integral equation of the Lippmann-Schwinger type. The principal contribution here is the development of an automatically adaptive, high-order accurate discretization based on a quad tree data structure which provides rapid access to arbitrary elements of the discretized system matrix. This permits the straightforward application of state-of-the-art algorithms for constructing compressed versions of the solution operator. These solvers typically require $O(N^{3/2})$ work, where $N$ denotes the number of degrees of freedom. We demonstrate the performance of the method for a variety of problems in both the low and high frequency regimes.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
-
Inverse Obstacle scattering in two dimensions with multiple frequency data and multiple angles of incidence
Authors:
Carlos Borges,
Leslie Greengard
Abstract:
We consider the problem of reconstructing the shape of an impenetrable sound-soft obstacle from scattering measurements. The input data is assumed to be the far-field pattern generated when a plane wave impinges on an unknown obstacle from one or more directions and at one or more frequencies. It is well known that this inverse scattering problem is both ill posed and nonlinear. It is common pract…
▽ More
We consider the problem of reconstructing the shape of an impenetrable sound-soft obstacle from scattering measurements. The input data is assumed to be the far-field pattern generated when a plane wave impinges on an unknown obstacle from one or more directions and at one or more frequencies. It is well known that this inverse scattering problem is both ill posed and nonlinear. It is common practice to overcome the ill posedness through the use of a penalty method or Tikhonov regularization. Here, we present a more physical regularization, based simply on restricting the unknown boundary to be band-limited in a suitable sense. To overcome the nonlinearity of the problem, we use a variant of Newton's method. When multiple frequency data is available, we supplement Newton's method with the recursive linearization approach due to Chen.
During the course of solving the inverse problem, we need to compute the solution to a large number of forward scattering problems. For this, we use high-order accurate integral equation discretizations, coupled with fast direct solvers when the problem is sufficiently large.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
