-
The ultraspherical rectangular collocation method and its convergence
Authors:
Thomas Trogdon
Abstract:
We develop the ultraspherical rectangular collocation (URC) method, a collocation implementation of the sparse ultraspherical method of Olver \& Townsend for two-point boundary-value problems. The URC method is provably convergent, the implementation is simple and efficient, the convergence proof motivates a preconditioner for iterative methods, and the modification of collocation nodes is straigh…
▽ More
We develop the ultraspherical rectangular collocation (URC) method, a collocation implementation of the sparse ultraspherical method of Olver \& Townsend for two-point boundary-value problems. The URC method is provably convergent, the implementation is simple and efficient, the convergence proof motivates a preconditioner for iterative methods, and the modification of collocation nodes is straightforward. The convergence theorem applies to all boundary-value problems when the coefficient functions are sufficiently smooth and when the roots of certain ultraspherical polynomials are used as collocation nodes. We also adapt a theorem of Krasnolsel'skii et al.~to our setting to prove convergence for the rectangular collocation method of Driscoll \& Hale for a restricted class of boundary conditions.
△ Less
Submitted 7 January, 2024;
originally announced January 2024.
-
The Akhiezer iteration
Authors:
Cade Ballew,
Thomas Trogdon
Abstract:
We develop the Akhiezer iteration, a generalization of the classical Chebyshev iteration, for the inner product-free, iterative solution of indefinite linear systems using orthogonal polynomials for measures supported on multiple, disjoint intervals. The iteration applies to shifted linear solves and can then be used for efficient matrix function approximation. Using the asymptotics of orthogonal…
▽ More
We develop the Akhiezer iteration, a generalization of the classical Chebyshev iteration, for the inner product-free, iterative solution of indefinite linear systems using orthogonal polynomials for measures supported on multiple, disjoint intervals. The iteration applies to shifted linear solves and can then be used for efficient matrix function approximation. Using the asymptotics of orthogonal polynomials, error bounds are provided. A key component in the efficiency of the method is the ability to compute the first $k$ orthogonal polynomial recurrence coefficients and the first $k$ weighted Stieltjes transforms of these orthogonal polynomials in $\mathrm{O}(k)$ complexity using a numerical Riemann--Hilbert approach. For a special class of orthogonal polynomials, the Akhiezer polynomials, the method can be sped up significantly, with the greatest speedup occurring in the two interval case where important formulae of Akhiezer are employed and the Riemann--Hilbert approach is bypassed.
△ Less
Submitted 16 January, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
On the convergence of Fourier spectral methods involving non-compact operators
Authors:
Thomas Trogdon
Abstract:
Motivated by Fredholm theory, we develop a framework to establish the convergence of spectral methods for operator equations $\mathcal L u = f$. The framework posits the existence of a left-Fredholm regulator for $\mathcal L$ and the existence of a sufficiently good approximation of this regulator. Importantly, the numerical method itself need not make use of this extra approximant. We apply the f…
▽ More
Motivated by Fredholm theory, we develop a framework to establish the convergence of spectral methods for operator equations $\mathcal L u = f$. The framework posits the existence of a left-Fredholm regulator for $\mathcal L$ and the existence of a sufficiently good approximation of this regulator. Importantly, the numerical method itself need not make use of this extra approximant. We apply the framework to Fourier finite-section and collocation-based numerical methods for solving differential equations with periodic boundary conditions and to solving Riemann--Hilbert problems on the unit circle. We also obtain improved results concerning the approximation of eigenvalues of differential operators with periodic coefficients.
△ Less
Submitted 22 April, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Computing the Tracy-Widom Distribution for Arbitrary $β>0$
Authors:
Thomas Trogdon,
Yiting Zhang
Abstract:
We compute the Tracy-Widom distribution describing the asymptotic distribution of the largest eigenvalue of a large random matrix by solving a boundary-value problem posed by Bloemendal in his Ph.D. Thesis (2011). The distribution is computed in two ways. The first method is a second-order finite-difference method and the second is a highly accurate Fourier spectral method. Since $β$ is simply a p…
▽ More
We compute the Tracy-Widom distribution describing the asymptotic distribution of the largest eigenvalue of a large random matrix by solving a boundary-value problem posed by Bloemendal in his Ph.D. Thesis (2011). The distribution is computed in two ways. The first method is a second-order finite-difference method and the second is a highly accurate Fourier spectral method. Since $β$ is simply a parameter in the boundary-value problem, any $β> 0$ can be used, in principle. The limiting distribution of the $n$th largest eigenvalue can also be computed. Our methods are available in the Julia package TracyWidomBeta.jl.
△ Less
Submitted 13 January, 2024; v1 submitted 10 April, 2023;
originally announced April 2023.
-
GMRES, pseudospectra, and Crouzeix's conjecture for shifted and scaled Ginibre matrices
Authors:
Tyler Chen,
Anne Greenbaum,
Thomas Trogdon
Abstract:
We study the GMRES algorithm applied to linear systems of equations involving a scaled and shifted $N\times N$ matrix whose entries are independent complex Gaussians. When the right hand side of this linear system is independent of this random matrix, the $N\to\infty$ behavior of the GMRES residual error can be determined exactly. To handle cases where the right hand side depends on the random mat…
▽ More
We study the GMRES algorithm applied to linear systems of equations involving a scaled and shifted $N\times N$ matrix whose entries are independent complex Gaussians. When the right hand side of this linear system is independent of this random matrix, the $N\to\infty$ behavior of the GMRES residual error can be determined exactly. To handle cases where the right hand side depends on the random matrix, we study the pseudospectra and numerical range of Ginibre matrices and prove a restricted version of Crouzeix's conjecture.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Stability of the Lanczos algorithm on matrices with regular spectral distributions
Authors:
Tyler Chen,
Thomas Trogdon
Abstract:
We study the stability of the Lanczos algorithm run on problems whose eigenvector empirical spectral distribution is near to a reference measure with well-behaved orthogonal polynomials. We give a backwards stability result which can be upgraded to a forward stability result when the reference measure has a density supported on a single interval with square root behavior at the endpoints. Our anal…
▽ More
We study the stability of the Lanczos algorithm run on problems whose eigenvector empirical spectral distribution is near to a reference measure with well-behaved orthogonal polynomials. We give a backwards stability result which can be upgraded to a forward stability result when the reference measure has a density supported on a single interval with square root behavior at the endpoints. Our analysis implies the Lanczos algorithm run on many large random matrix models is in fact forward stable, and hence nearly deterministic, even when computations are carried out in finite precision arithmetic. Since the Lanczos algorithm is not forward stable in general, this provides yet another example of the fact that random matrices are far from "any old matrix", and care must be taken when using them to test numerical algorithms.
△ Less
Submitted 17 November, 2023; v1 submitted 28 February, 2023;
originally announced February 2023.
-
A Riemann--Hilbert approach to computing the inverse spectral map for measures supported on disjoint intervals
Authors:
Cade Ballew,
Thomas Trogdon
Abstract:
We develop a numerical method for computing with orthogonal polynomials that are orthogonal on multiple, disjoint intervals for which analytical formulae are currently unknown. Our approach exploits the Fokas--Its--Kitaev Riemann--Hilbert representation of the orthogonal polynomials to produce an $\mathrm{O}(N)$ method to compute the first $N$ recurrence coefficients. The method can also be used f…
▽ More
We develop a numerical method for computing with orthogonal polynomials that are orthogonal on multiple, disjoint intervals for which analytical formulae are currently unknown. Our approach exploits the Fokas--Its--Kitaev Riemann--Hilbert representation of the orthogonal polynomials to produce an $\mathrm{O}(N)$ method to compute the first $N$ recurrence coefficients. The method can also be used for pointwise evaluation of the polynomials and their Cauchy transforms throughout the complex plane. The method encodes the singularity behavior of weight functions using weighted Cauchy integrals of Chebyshev polynomials. This greatly improves the efficiency of the method, outperforming other available techniques. We demonstrate the fast convergence of our method and present applications to integrable systems and approximation theory.
△ Less
Submitted 16 January, 2024; v1 submitted 24 February, 2023;
originally announced February 2023.
-
An artificially-damped Fourier method for dispersive evolution equations
Authors:
Anne Liu,
Thomas Trogdon
Abstract:
Computing solutions to partial differential equations using the fast Fourier transform can lead to unwanted oscillatory behavior. Due to the periodic nature of the discrete Fourier transform, waves that leave the computational domain on one side reappear on the other and for dispersive equations these are typically high-velocity, high-frequency waves. However, the fast Fourier transform is a very…
▽ More
Computing solutions to partial differential equations using the fast Fourier transform can lead to unwanted oscillatory behavior. Due to the periodic nature of the discrete Fourier transform, waves that leave the computational domain on one side reappear on the other and for dispersive equations these are typically high-velocity, high-frequency waves. However, the fast Fourier transform is a very efficient numerical tool and it is important to find a way to damp these oscillations so that this transform can still be used. In this paper, we accurately model solutions to four nonlinear partial differential equations on an infinite domain by considering a finite interval and implementing two dam** methods outside of that interval: one that solves the heat equation and one that simulates rapid exponential decay. Heat equation-based dam** is best suited for small-amplitude, high-frequency oscillations while exponential decay is used to damp traveling waves and high-amplitude oscillations. We demonstrate significant improvements in the runtime of well-studied numerical methods when adding in the dam** method.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Computation of Large-Genus Solutions of the Korteweg-de Vries Equation
Authors:
Deniz Bilman,
Patrik Nabelek,
Thomas Trogdon
Abstract:
We consider the numerical computation of finite-genus solutions of the Korteweg-de Vries equation when the genus is large. Our method applies both to the initial-value problem when spectral data can be computed and to dressing scenarios when spectral data is specified arbitrarily. In order to compute large genus solutions, we employ a weighted Chebyshev basis to solve an associated singular integr…
▽ More
We consider the numerical computation of finite-genus solutions of the Korteweg-de Vries equation when the genus is large. Our method applies both to the initial-value problem when spectral data can be computed and to dressing scenarios when spectral data is specified arbitrarily. In order to compute large genus solutions, we employ a weighted Chebyshev basis to solve an associated singular integral equation. We also extend previous work to compute period matrices and the Abel map when the genus is large, maintaining numerical stability. We demonstrate our method on four different classes of solutions. Specifically, we demonstrate dispersive quantization for "box" initial data and demonstrate how a large genus limit can be taken to produce a new class of potentials.
△ Less
Submitted 30 April, 2022;
originally announced May 2022.
-
Randomized matrix-free quadrature for spectrum and spectral sum approximation
Authors:
Tyler Chen,
Thomas Trogdon,
Shashanka Ubaru
Abstract:
We study randomized matrix-free quadrature algorithms for spectrum and spectral sum approximation. The algorithms studied are characterized by the use of a Krylov subspace method to approximate independent and identically distributed samples of $\mathbf{v}^{\mathsf{H}} f(\mathbf{A}) \mathbf{v}$, where $\mathbf{v}$ is an isotropic random vector, $\mathbf{A}$ is a Hermitian matrix, and…
▽ More
We study randomized matrix-free quadrature algorithms for spectrum and spectral sum approximation. The algorithms studied are characterized by the use of a Krylov subspace method to approximate independent and identically distributed samples of $\mathbf{v}^{\mathsf{H}} f(\mathbf{A}) \mathbf{v}$, where $\mathbf{v}$ is an isotropic random vector, $\mathbf{A}$ is a Hermitian matrix, and $f(\mathbf{A})$ is a matrix function. This class of algorithms includes the kernel polynomial method and stochastic Lanczos quadrature, two widely used methods for approximating spectra and spectral sums. Our analysis, discussion, and numerical examples provide a unified framework for understanding randomized matrix-free quadrature algorithms and sheds light on the commonalities and tradeoffs between them. Moreover, this framework provides new insights into the practical implementation and use of these algorithms, particularly with regards to parameter selection in the kernel polynomial method.
△ Less
Submitted 2 September, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Growth factors of random butterfly matrices and the stability of avoiding pivoting
Authors:
John Peca-Medlin,
Thomas Trogdon
Abstract:
Random butterfly matrices were introduced by Parker in 1995 to remove the need for pivoting when using Gaussian elimination. The growing applications of butterfly matrices have often eclipsed the mathematical understanding of how or why butterfly matrices are able to accomplish these given tasks. To help begin to close this gap using theoretical and numerical approaches, we explore the impact on t…
▽ More
Random butterfly matrices were introduced by Parker in 1995 to remove the need for pivoting when using Gaussian elimination. The growing applications of butterfly matrices have often eclipsed the mathematical understanding of how or why butterfly matrices are able to accomplish these given tasks. To help begin to close this gap using theoretical and numerical approaches, we explore the impact on the growth factor of preconditioning a linear system by butterfly matrices. These results are compared to other common methods found in randomized numerical linear algebra. In these experiments, we show preconditioning using butterfly matrices has a more significant dampening impact on large growth factors than other common preconditioners and a smaller increase to minimal growth factor systems. Moreover, we are able to determine the full distribution of the growth factors for a subclass of random butterfly matrices. Previous results by Trefethen and Schreiber relating to the distribution of random growth factors were limited to empirical estimates of the first moment for Ginibre matrices.
△ Less
Submitted 27 January, 2023; v1 submitted 29 March, 2022;
originally announced March 2022.
-
A Riemann--Hilbert approach to the perturbation theory for orthogonal polynomials: Applications to numerical linear algebra and random matrix theory
Authors:
Xiucai Ding,
Thomas Trogdon
Abstract:
We establish a new perturbation theory for orthogonal polynomials using a Riemann--Hilbert approach and consider applications in numerical linear algebra and random matrix theory. This new approach shows that the orthogonal polynomials with respect to two measures can be effectively compared using the difference of their Stieltjes transforms on a suitably chosen contour. Moreover, when two measure…
▽ More
We establish a new perturbation theory for orthogonal polynomials using a Riemann--Hilbert approach and consider applications in numerical linear algebra and random matrix theory. This new approach shows that the orthogonal polynomials with respect to two measures can be effectively compared using the difference of their Stieltjes transforms on a suitably chosen contour. Moreover, when two measures are close and satisfy some regularity conditions, we use the theta functions of a hyperelliptic Riemann surface to derive explicit and accurate expansion formulae for the perturbed orthogonal polynomials.
In contrast to other approaches, a key strength of the methodology is that estimates can remain valid as the degree of the polynomial grows. The results are applied to analyze several numerical algorithms from linear algebra, including the Lanczos tridiagonalization procedure, the Cholesky factorization and the conjugate gradient algorithm. As a case study, we investigate these algorithms applied to a general spiked sample covariance matrix model by considering the eigenvector empirical spectral distribution and its limits. For the first time, we give precise estimates on the output of the algorithms, applied to this wide class of random matrices, as the number of iterations diverges. In this setting, beyond the first order expansion, we also derive a new mesoscopic central limit theorem for the associated orthogonal polynomials and other quantities relevant to numerical algorithms.
△ Less
Submitted 21 September, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
The conjugate gradient algorithm on a general class of spiked covariance matrices
Authors:
Xiucai Ding,
Thomas Trogdon
Abstract:
We consider the conjugate gradient algorithm applied to a general class of spiked sample covariance matrices. The main result of the paper is that the norms of the error and residual vectors at any finite step concentrate on deterministic values determined by orthogonal polynomials with respect to a deformed Marchenko--Pastur law. The first-order limits and fluctuations are shown to be universal.…
▽ More
We consider the conjugate gradient algorithm applied to a general class of spiked sample covariance matrices. The main result of the paper is that the norms of the error and residual vectors at any finite step concentrate on deterministic values determined by orthogonal polynomials with respect to a deformed Marchenko--Pastur law. The first-order limits and fluctuations are shown to be universal. Additionally, for the case where the bulk eigenvalues lie in a single interval we show a stronger universality result in that the asymptotic rate of convergence of the conjugate gradient algorithm only depends on the support of the bulk, provided the spikes are well-separated from the bulk. In particular, this shows that the classical condition number bound for the conjugate gradient algorithm is pessimistic for spiked matrices.
△ Less
Submitted 25 June, 2021;
originally announced June 2021.
-
The Numerical Unified Transform Method for the Nonlinear Schrödinger equation on the half-line
Authors:
Xin Yang,
Bernard Deconinck,
Thomas Trogdon
Abstract:
We implement the Numerical Unified Transform Method to solve the Nonlinear Schrödinger equation on the half-line. For so-called linearizable boundary conditions, the method solves the half-line problems with comparable complexity as the Numerical Inverse Scattering Transform solves whole-line problems. In particular, the method computes the solution at any $x$ and $t$ without spatial discretizatio…
▽ More
We implement the Numerical Unified Transform Method to solve the Nonlinear Schrödinger equation on the half-line. For so-called linearizable boundary conditions, the method solves the half-line problems with comparable complexity as the Numerical Inverse Scattering Transform solves whole-line problems. In particular, the method computes the solution at any $x$ and $t$ without spatial discretization or time step**. Contour deformations based on the method of nonlinear steepest descent are used so that the method's computational cost does not increase for large $x,t$ and the method is more accurate as $x,t$ increase. Our ideas also apply to some cases where the boundary conditions are not linearizable.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Analysis of stochastic Lanczos quadrature for spectrum approximation
Authors:
Tyler Chen,
Thomas Trogdon,
Shashanka Ubaru
Abstract:
The cumulative empirical spectral measure (CESM) $Φ[\mathbf{A}] : \mathbb{R} \to [0,1]$ of a $n\times n$ symmetric matrix $\mathbf{A}$ is defined as the fraction of eigenvalues of $\mathbf{A}$ less than a given threshold, i.e., $Φ[\mathbf{A}](x) := \sum_{i=1}^{n} \frac{1}{n} {\large\unicode{x1D7D9}}[ λ_i[\mathbf{A}]\leq x]$. Spectral sums $\operatorname{tr}(f[\mathbf{A}])$ can be computed as the R…
▽ More
The cumulative empirical spectral measure (CESM) $Φ[\mathbf{A}] : \mathbb{R} \to [0,1]$ of a $n\times n$ symmetric matrix $\mathbf{A}$ is defined as the fraction of eigenvalues of $\mathbf{A}$ less than a given threshold, i.e., $Φ[\mathbf{A}](x) := \sum_{i=1}^{n} \frac{1}{n} {\large\unicode{x1D7D9}}[ λ_i[\mathbf{A}]\leq x]$. Spectral sums $\operatorname{tr}(f[\mathbf{A}])$ can be computed as the Riemann--Stieltjes integral of $f$ against $Φ[\mathbf{A}]$, so the task of estimating CESM arises frequently in a number of applications, including machine learning. We present an error analysis for stochastic Lanczos quadrature (SLQ). We show that SLQ obtains an approximation to the CESM within a Wasserstein distance of $t \: | λ_{\text{max}}[\mathbf{A}] - λ_{\text{min}}[\mathbf{A}] |$ with probability at least $1-η$, by applying the Lanczos algorithm for $\lceil 12 t^{-1} + \frac{1}{2} \rceil$ iterations to $\lceil 4 ( n+2 )^{-1}t^{-2} \ln(2nη^{-1}) \rceil$ vectors sampled independently and uniformly from the unit sphere. We additionally provide (matrix-dependent) a posteriori error bounds for the Wasserstein and Kolmogorov--Smirnov distances between the output of this algorithm and the true CESM. The quality of our bounds is demonstrated using numerical experiments.
△ Less
Submitted 10 June, 2021; v1 submitted 13 May, 2021;
originally announced May 2021.
-
Scattering and inverse scattering for the AKNS system: A rational function approach
Authors:
Thomas Trogdon
Abstract:
We consider the use of rational basis functions to compute the scattering and inverse scattering transforms associated with the AKNS system. The proposed numerical forward scattering transform computes the solution of the AKNS system that is valid on the entire real axis and thereby computes a reflection coefficient at a point by solving a single linear system. The proposed numerical inverse scatt…
▽ More
We consider the use of rational basis functions to compute the scattering and inverse scattering transforms associated with the AKNS system. The proposed numerical forward scattering transform computes the solution of the AKNS system that is valid on the entire real axis and thereby computes a reflection coefficient at a point by solving a single linear system. The proposed numerical inverse scattering transform makes use of a novel improvement in the rational function approach to the oscillatory Cauchy operator, enabling the efficient solution of certain Riemann--Hilbert problems without contour deformations. The latter development enables access to high-precision computations and this is demonstrated on the inverse scattering transform for the one-dimensional Schrödinger operator with a $\mathrm{sech}^2$ potential.
△ Less
Submitted 30 June, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
On the open Toda chain with external forcing
Authors:
Percy Deift,
Luen-Chau Li,
Herbert Spohn,
Carlos Tomei,
Thomas Trogdon
Abstract:
We consider the open Toda chain with external forcing, and in the case when the forcing stretches the system, we derive the longtime behavior of solutions of the chain. Using an observation of Jürgen Moser, we then show that the system is completely integrable, in the sense that the $2N$-dimensional system has $N$ functionally independent Poisson commuting integrals, and also has a Lax-Pair formul…
▽ More
We consider the open Toda chain with external forcing, and in the case when the forcing stretches the system, we derive the longtime behavior of solutions of the chain. Using an observation of Jürgen Moser, we then show that the system is completely integrable, in the sense that the $2N$-dimensional system has $N$ functionally independent Poisson commuting integrals, and also has a Lax-Pair formulation. In addition, we construct action-angle variables for the flow. In the case when the forcing compresses the system, the analysis of the flow remains open.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Universality for the conjugate gradient and MINRES algorithms on sample covariance matrices
Authors:
Elliot Paquette,
Thomas Trogdon
Abstract:
We present a probabilistic analysis of two Krylov subspace methods for solving linear systems. We prove a central limit theorem for norms of the residual vectors that are produced by the conjugate gradient and MINRES algorithms when applied to a wide class of sample covariance matrices satisfying some standard moment conditions. The proof involves establishing a four moment theorem for the so-call…
▽ More
We present a probabilistic analysis of two Krylov subspace methods for solving linear systems. We prove a central limit theorem for norms of the residual vectors that are produced by the conjugate gradient and MINRES algorithms when applied to a wide class of sample covariance matrices satisfying some standard moment conditions. The proof involves establishing a four moment theorem for the so-called spectral measure, implying, in particular, universality for the matrix produced by the Lanczos iteration. The central limit theorem then implies an almost-deterministic iteration count for the iterative methods in question.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
The Numerical Unified Transform Method for Initial-boundary Value Problems on the Half-line
Authors:
Bernard Deconinck,
Thomas Trogdon,
Xin Yang
Abstract:
We implement the Unified Transform Method of Fokas as a numerical method to solve linear partial differential equations on the half-line. The method computes the solution at any x and t without spatial discretization or time step**. With the help of contour deformations and oscillatory integration techniques, the method's complexity does not increase for large x,t and the method is more accurate…
▽ More
We implement the Unified Transform Method of Fokas as a numerical method to solve linear partial differential equations on the half-line. The method computes the solution at any x and t without spatial discretization or time step**. With the help of contour deformations and oscillatory integration techniques, the method's complexity does not increase for large x,t and the method is more accurate as x,t increase. Our goal is to make no assumptions on the functional form of the initial or boundary functions while maintaining high accuracy in a large region of the (x,t) plane.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
A Probabilistic Analysis of the Neumann Series Iteration
Authors:
Yiting Zhang,
Thomas Trogdon
Abstract:
Given a random matrix A with eigenvalues between -1 and 1, we analyze the number of iterations needed to solve the linear equation (I-A)x=b with the Neumann series iteration. We give sufficient conditions for convergence of an upper bound of the iteration count in distribution. Specifically, our results show that when the scaled extreme eigenvalues of A converge in distribution, this scaled upper…
▽ More
Given a random matrix A with eigenvalues between -1 and 1, we analyze the number of iterations needed to solve the linear equation (I-A)x=b with the Neumann series iteration. We give sufficient conditions for convergence of an upper bound of the iteration count in distribution. Specifically, our results show that when the scaled extreme eigenvalues of A converge in distribution, this scaled upper bound on the number of iterations will converge to the reciprocal of the limiting distribution of the largest eigenvalue.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Linear Dispersive Shocks
Authors:
David Smith,
Thomas Trogdon,
Vishal Vasan
Abstract:
We present a linear dispersive partial differential equation which manifests a number of qualitative features of dispersive shocks, typically thought to occur only in nonlinear models. The model captures much of the short time phenomenon but deviates from the full nonlinear model in its long time behavior. Though we limit our present discussion to dispersive shocks occurring in the Korteweg-de Vri…
▽ More
We present a linear dispersive partial differential equation which manifests a number of qualitative features of dispersive shocks, typically thought to occur only in nonlinear models. The model captures much of the short time phenomenon but deviates from the full nonlinear model in its long time behavior. Though we limit our present discussion to dispersive shocks occurring in the Korteweg-de Vries equation, our work extends readily to other higher order dispersive models too.
△ Less
Submitted 23 August, 2019;
originally announced August 2019.
-
Stop** time signatures for some algorithms in cryptography
Authors:
Percy Deift,
Stephen D. Miller,
Thomas Trogdon
Abstract:
We consider the normalized distribution of the overall running times of some cryptographic algorithms, and what information they reveal about the algorithms. Recent work of Deift, Menon, Olver, Pfrang, and Trogdon has shown that certain numerical algorithms applied to large random matrices exhibit a characteristic distribution of running times, which depends only on the algorithm but are independe…
▽ More
We consider the normalized distribution of the overall running times of some cryptographic algorithms, and what information they reveal about the algorithms. Recent work of Deift, Menon, Olver, Pfrang, and Trogdon has shown that certain numerical algorithms applied to large random matrices exhibit a characteristic distribution of running times, which depends only on the algorithm but are independent of the choice of probability distributions for the matrices. Different algorithms often exhibit different running time distributions, and so the histograms for these running time distributions provide a time-signature for the algorithms, making it possible, in many cases, to distinguish one algorithm from another. In this paper we extend this analysis to cryptographic algorithms, and present examples of such algorithms with time-signatures that are indistinguishable, and others with time-signatures that are clearly distinct.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
The conjugate gradient algorithm on well-conditioned Wishart matrices is almost deterministic
Authors:
Percy Deift,
Thomas Trogdon
Abstract:
We prove that the number of iterations required to solve a random positive definite linear system with the conjugate gradient algorithm is almost deterministic for large matrices. We treat the case of Wishart matrices $W = XX^*$ where $X$ is $n \times m$ and $n/m \sim d$ for $0 < d < 1$. Precisely, we prove that for most choices of error tolerance, as the matrix increases in size, the probability…
▽ More
We prove that the number of iterations required to solve a random positive definite linear system with the conjugate gradient algorithm is almost deterministic for large matrices. We treat the case of Wishart matrices $W = XX^*$ where $X$ is $n \times m$ and $n/m \sim d$ for $0 < d < 1$. Precisely, we prove that for most choices of error tolerance, as the matrix increases in size, the probability that the iteration count deviates from an explicit deterministic value tends to zero. In addition, for a fixed iteration count, we show that the norm of the error vector and the norm of the residual converge exponentially fast in probability, converge in mean and converge almost surely.
△ Less
Submitted 2 October, 2019; v1 submitted 25 January, 2019;
originally announced January 2019.
-
On numerical inverse scattering for the Korteweg-de Vries equation with discontinuous step-like data
Authors:
Deniz Bilman,
Thomas Trogdon
Abstract:
We present a method to compute dispersive shock wave solutions of the Korteweg-de Vries equation that emerge from initial data with step-like boundary conditions at infinity. We derive two different Riemann-Hilbert problems associated with the inverse scattering transform for the classical Schrödinger operator with possibly discontinuous, step-like potentials and develop relevant theory to ensure…
▽ More
We present a method to compute dispersive shock wave solutions of the Korteweg-de Vries equation that emerge from initial data with step-like boundary conditions at infinity. We derive two different Riemann-Hilbert problems associated with the inverse scattering transform for the classical Schrödinger operator with possibly discontinuous, step-like potentials and develop relevant theory to ensure unique solvability of these problems. We then numerically implement the Deift-Zhou method of nonlinear steepest descent to compute the solution of the Cauchy problem for small times and in two asymptotic regions. Our method applies to continuous and discontinuous data.
△ Less
Submitted 28 September, 2018; v1 submitted 24 September, 2018;
originally announced September 2018.
-
Numerical inverse scattering for the sine-Gordon equation
Authors:
Bernard Deconinck,
Thomas Trogdon,
Xin Yang
Abstract:
We implement the numerical inverse scattering transform (NIST) for the sine-Gordon equation in laboratory coordinates on the real line using the method developed by Trogdon, Olver and Deconinck. The NIST allows one to compute the solution at any x and t without having spatial discretization or time-step**. The numerical implementation is fully spectrally accurate. With the help of the method of…
▽ More
We implement the numerical inverse scattering transform (NIST) for the sine-Gordon equation in laboratory coordinates on the real line using the method developed by Trogdon, Olver and Deconinck. The NIST allows one to compute the solution at any x and t without having spatial discretization or time-step**. The numerical implementation is fully spectrally accurate. With the help of the method of nonlinear steepest descent, the NIST is demonstrated to be uniformly accurate.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
On spectral and numerical properties of random butterfly matrices
Authors:
Thomas Trogdon
Abstract:
Spectral and numerical properties of classes of random orthogonal butterfly matrices, as introduced by Parker (1995), are discussed, including the uniformity of eigenvalue distributions. These matrices are important because the matrix-vector product with an $N$-dimensional vector can be performed in $O(N \log N)$ operations. And in the simplest situation, these random matrices coincide with Haar m…
▽ More
Spectral and numerical properties of classes of random orthogonal butterfly matrices, as introduced by Parker (1995), are discussed, including the uniformity of eigenvalue distributions. These matrices are important because the matrix-vector product with an $N$-dimensional vector can be performed in $O(N \log N)$ operations. And in the simplest situation, these random matrices coincide with Haar measure on a subgroup of the orthogonal group. We discuss other implications in the context of randomized linear algebra.
△ Less
Submitted 22 August, 2019; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Benchmarking Numerical Methods for Lattice Equations with the Toda Lattice
Authors:
Deniz Bilman,
Thomas Trogdon
Abstract:
We compare performances of well-known numerical time-step** methods that are widely used to compute solutions of the doubly-infinite Fermi-Pasta-Ulam-Tsingou (FPUT) lattice equations. The methods are benchmarked according to (1) their accuracy in capturing the soliton peaks and (2) in capturing highly-oscillatory parts of the solutions of the Toda lattice resulting from a variety of initial data…
▽ More
We compare performances of well-known numerical time-step** methods that are widely used to compute solutions of the doubly-infinite Fermi-Pasta-Ulam-Tsingou (FPUT) lattice equations. The methods are benchmarked according to (1) their accuracy in capturing the soliton peaks and (2) in capturing highly-oscillatory parts of the solutions of the Toda lattice resulting from a variety of initial data. The numerical inverse scattering transform method is used to compute a reference solution with high accuracy. We find that benchmarking a numerical method on pure-soliton initial data can lead one to overestimate the accuracy of the method.
△ Less
Submitted 27 September, 2017; v1 submitted 19 September, 2017;
originally announced September 2017.
-
Universality in numerical computation with random data. Case studies, analytic results and some speculations
Authors:
Percy Deift,
Thomas Trogdon
Abstract:
We discuss various universality aspects of numerical computations using standard algorithms. These aspects include empirical observations and rigorous results. We also make various speculations about computation in a broader sense.
We discuss various universality aspects of numerical computations using standard algorithms. These aspects include empirical observations and rigorous results. We also make various speculations about computation in a broader sense.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
Random matrices and the New York City subway system
Authors:
Aukosh Jagannath,
Thomas Trogdon
Abstract:
We analyze subway arrival times in the New York City subway system. We find regimes where the gaps between trains exhibit both (unitarily invariant) random matrix statistics and Poisson statistics. The departure from random matrix statistics is captured by the value of the Coulomb potential along the subway route. This departure becomes more pronounced as trains make more stops.
We analyze subway arrival times in the New York City subway system. We find regimes where the gaps between trains exhibit both (unitarily invariant) random matrix statistics and Poisson statistics. The departure from random matrix statistics is captured by the value of the Coulomb potential along the subway route. This departure becomes more pronounced as trains make more stops.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Universality for eigenvalue algorithms on sample covariance matrices
Authors:
Percy Deift,
Thomas Trogdon
Abstract:
We prove a universal limit theorem for the halting time, or iteration count, of the power/inverse power methods and the QR eigenvalue algorithm. Specifically, we analyze the required number of iterations to compute extreme eigenvalues of random, positive-definite sample covariance matrices to within a prescribed tolerance. The universality theorem provides a complexity estimate for the algorithms…
▽ More
We prove a universal limit theorem for the halting time, or iteration count, of the power/inverse power methods and the QR eigenvalue algorithm. Specifically, we analyze the required number of iterations to compute extreme eigenvalues of random, positive-definite sample covariance matrices to within a prescribed tolerance. The universality theorem provides a complexity estimate for the algorithms which, in this random setting, holds with high probability. The method of proof relies on recent results on the statistics of the eigenvalues and eigenvectors of random sample covariance matrices (i.e., delocalization, rigidity and edge universality).
△ Less
Submitted 7 January, 2017;
originally announced January 2017.
-
Smoothed Analysis for the Conjugate Gradient Algorithm
Authors:
Govind Menon,
Thomas Trogdon
Abstract:
The purpose of this paper is to establish bounds on the rate of convergence of the conjugate gradient algorithm when the underlying matrix is a random positive definite perturbation of a deterministic positive definite matrix. We estimate all finite moments of a natural halting time when the random perturbation is drawn from the Laguerre unitary ensemble in a critical scaling regime explored in De…
▽ More
The purpose of this paper is to establish bounds on the rate of convergence of the conjugate gradient algorithm when the underlying matrix is a random positive definite perturbation of a deterministic positive definite matrix. We estimate all finite moments of a natural halting time when the random perturbation is drawn from the Laguerre unitary ensemble in a critical scaling regime explored in Deift et al. (2016). These estimates are used to analyze the expected iteration count in the framework of smoothed analysis, introduced by Spielman and Teng (2001). The rigorous results are compared with numerical calculations in several cases of interest.
△ Less
Submitted 6 November, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Universality for the Toda algorithm to compute the largest eigenvalue of a random matrix
Authors:
Percy Deift,
Thomas Trogdon
Abstract:
We prove universality for the fluctuations of the halting time for the Toda algorithm to compute the largest eigenvalue of real symmetric and complex Hermitian matrices. The proof relies on recent results on the statistics of the eigenvalues and eigenvectors of random matrices (such as delocalization, rigidity and edge universality) in a crucial way.
We prove universality for the fluctuations of the halting time for the Toda algorithm to compute the largest eigenvalue of real symmetric and complex Hermitian matrices. The proof relies on recent results on the statistics of the eigenvalues and eigenvectors of random matrices (such as delocalization, rigidity and edge universality) in a crucial way.
△ Less
Submitted 2 February, 2017; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Universal halting times in optimization and machine learning
Authors:
Levent Sagun,
Thomas Trogdon,
Yann LeCun
Abstract:
The authors present empirical distributions for the halting time (measured by the number of iterations to reach a given accuracy) of optimization algorithms applied to two random systems: spin glasses and deep learning. Given an algorithm, which we take to be both the optimization routine and the form of the random landscape, the fluctuations of the halting time follow a distribution that, after c…
▽ More
The authors present empirical distributions for the halting time (measured by the number of iterations to reach a given accuracy) of optimization algorithms applied to two random systems: spin glasses and deep learning. Given an algorithm, which we take to be both the optimization routine and the form of the random landscape, the fluctuations of the halting time follow a distribution that, after centering and scaling, remains unchanged even when the distribution on the landscape is changed. We observe two qualitative classes: A Gumbel-like distribution that appears in Google searches, human decision times, the QR eigenvalue algorithm and spin glasses, and a Gaussian-like distribution that appears in conjugate gradient method, deep network with MNIST input data and deep network with random input data. This empirical evidence suggests presence of a class of distributions for which the halting time is independent of the underlying distribution under some conditions.
△ Less
Submitted 20 February, 2017; v1 submitted 19 November, 2015;
originally announced November 2015.
-
Boundary value problems for evolution partial differential equations with discontinuous data
Authors:
Gino Biondini,
Thomas Trogdon
Abstract:
We characterize the behavior of the solutions of linear evolution partial differential equations on the half line in the presence of discontinuous initial conditions or discontinuous boundary conditions, as well as the behavior of the solutions in the presence of corner singularities. The characterization focuses on an expansion in terms of computable special functions.
We characterize the behavior of the solutions of linear evolution partial differential equations on the half line in the presence of discontinuous initial conditions or discontinuous boundary conditions, as well as the behavior of the solutions in the presence of corner singularities. The characterization focuses on an expansion in terms of computable special functions.
△ Less
Submitted 25 July, 2017; v1 submitted 7 October, 2015;
originally announced October 2015.
-
Numerical Inverse Scattering for the Toda Lattice
Authors:
Deniz Bilman,
Thomas Trogdon
Abstract:
We present a method to compute the inverse scattering transform (IST) for the famed Toda lattice by solving the associated Riemann--Hilbert (RH) problem numerically. Deformations for the RH problem are incorporated so that the IST can be evaluated in $\mathcal O(1)$ operations for arbitrary points in the $(n,t)$-domain, including short- and long-time regimes. No time-step** is required to comput…
▽ More
We present a method to compute the inverse scattering transform (IST) for the famed Toda lattice by solving the associated Riemann--Hilbert (RH) problem numerically. Deformations for the RH problem are incorporated so that the IST can be evaluated in $\mathcal O(1)$ operations for arbitrary points in the $(n,t)$-domain, including short- and long-time regimes. No time-step** is required to compute the solution because $(n,t)$ appear as parameters in the associated RH problem. The solution of the Toda lattice is computed in long-time asymptotic regions where the asymptotics are not known rigorously.
△ Less
Submitted 27 September, 2016; v1 submitted 7 August, 2015;
originally announced August 2015.
-
On the condition number of the critically-scaled Laguerre Unitary Ensemble
Authors:
Percy Deift,
Govind Menon,
Thomas Trogdon
Abstract:
We consider the Laguerre Unitary Ensemble (aka, Wishart Ensemble) of sample covariance matrices $A = XX^*$, where $X$ is an $N \times n$ matrix with iid standard complex normal entries. Under the scaling $n = N + \lfloor \sqrt{ 4 c N} \rfloor$, $c > 0$ and $N \rightarrow \infty$, we show that the rescaled fluctuations of the smallest eigenvalue, largest eigenvalue and condition number of the matri…
▽ More
We consider the Laguerre Unitary Ensemble (aka, Wishart Ensemble) of sample covariance matrices $A = XX^*$, where $X$ is an $N \times n$ matrix with iid standard complex normal entries. Under the scaling $n = N + \lfloor \sqrt{ 4 c N} \rfloor$, $c > 0$ and $N \rightarrow \infty$, we show that the rescaled fluctuations of the smallest eigenvalue, largest eigenvalue and condition number of the matrices $A$ are all given by the Tracy--Widom distribution ($β= 2$). This scaling is motivated by the study of the solution of the equation $Ax=b$ using the conjugate gradient algorithm, in the case that $A$ and $b$ are random: For such a scaling the fluctuations of the halting time for the algorithm are empirically seen to be universal.
△ Less
Submitted 17 August, 2015; v1 submitted 2 July, 2015;
originally announced July 2015.
-
Gibbs phenomenon for dispersive PDEs on the line
Authors:
Gino Biondini,
Thomas Trogdon
Abstract:
We investigate the Cauchy problem for linear, constant-coefficient evolution PDEs on the real line with discontinuous initial conditions (ICs) in the small-time limit. The small-time behavior of the solution near discontinuities is expressed in terms of universal, computable special functions. We show that the leading-order behavior of the solution of dispersive PDEs near a discontinuity of the IC…
▽ More
We investigate the Cauchy problem for linear, constant-coefficient evolution PDEs on the real line with discontinuous initial conditions (ICs) in the small-time limit. The small-time behavior of the solution near discontinuities is expressed in terms of universal, computable special functions. We show that the leading-order behavior of the solution of dispersive PDEs near a discontinuity of the ICs is characterized by Gibbs-type oscillations and gives exactly the Wilbraham-Gibbs constant.
△ Less
Submitted 12 November, 2015; v1 submitted 22 November, 2014;
originally announced November 2014.
-
Fast computation of Gauss quadrature nodes and weights on the whole real line
Authors:
Alex Townsend,
Thomas Trogdon,
Sheehan Olver
Abstract:
A fast and accurate algorithm for the computation of Gauss-Hermite and generalized Gauss-Hermite quadrature nodes and weights is presented. The algorithm is based on Newton's method with carefully selected initial guesses for the nodes and a fast evaluation scheme for the associated orthogonal polynomial. In the Gauss-Hermite case the initial guesses and evaluation scheme rely on explicit asymptot…
▽ More
A fast and accurate algorithm for the computation of Gauss-Hermite and generalized Gauss-Hermite quadrature nodes and weights is presented. The algorithm is based on Newton's method with carefully selected initial guesses for the nodes and a fast evaluation scheme for the associated orthogonal polynomial. In the Gauss-Hermite case the initial guesses and evaluation scheme rely on explicit asymptotic formulas. For generalized Gauss-Hermite, the initial guesses are furnished by sampling a certain equilibrium measure and the associated polynomial evaluated via a Riemann-Hilbert reformulation. In both cases the $n$-point quadrature rule is computed in $\mathcal{O}(n)$ operations to an accuracy that is close to machine precision. For sufficiently large $n$, some of the quadrature weights have a value less than the smallest positive normalized floating-point number in double precision and we exploit this fact to achieve a complexity as low as $\mathcal{O}(\sqrt{n})$.
△ Less
Submitted 20 October, 2014;
originally announced October 2014.
-
Universality in Numerical Computations with Random Data. Case Studies
Authors:
Percy Deift,
Govind Menon,
Sheehan Olver,
Thomas Trogdon
Abstract:
The authors present evidence for universality in numerical computations with random data. Given a (possibly stochastic) numerical algorithm with random input data, the time (or number of iterations) to convergence (within a given tolerance) is a random variable, called the halting time. Two-component universality is observed for the fluctuations of the halting time, i.e., the histogram for the hal…
▽ More
The authors present evidence for universality in numerical computations with random data. Given a (possibly stochastic) numerical algorithm with random input data, the time (or number of iterations) to convergence (within a given tolerance) is a random variable, called the halting time. Two-component universality is observed for the fluctuations of the halting time, i.e., the histogram for the halting times, centered by the sample average and scaled by the sample variance, collapses to a universal curve, independent of the input data distribution, as the dimension increases. Thus, up to two components, the sample average and the sample variance, the statistics for the halting time are universally prescribed. The case studies include six standard numerical algorithms, as well as a model of neural computation and decision making. A link to relevant software is provided in for the reader who would like to do computations of his'r own.
△ Less
Submitted 16 July, 2014; v1 submitted 14 July, 2014;
originally announced July 2014.
-
Sampling unitary invariant ensembles
Authors:
Sheehan Olver,
Raj Rao Nadakuditi,
Thomas Trogdon
Abstract:
We develop an algorithm for sampling from the unitary invariant random matrix ensembles. The algorithm is based on the representation of their eigenvalues as a determinantal point process whose kernel is given in terms of orthogonal polynomials. Using this algorithm, statistics beyond those known through analysis are calculable through Monte Carlo simulation. Unexpected phenomena are observed in t…
▽ More
We develop an algorithm for sampling from the unitary invariant random matrix ensembles. The algorithm is based on the representation of their eigenvalues as a determinantal point process whose kernel is given in terms of orthogonal polynomials. Using this algorithm, statistics beyond those known through analysis are calculable through Monte Carlo simulation. Unexpected phenomena are observed in the simulations.
△ Less
Submitted 31 March, 2014;
originally announced April 2014.
-
Rational approximation, oscillatory Cauchy integrals and Fourier transforms
Authors:
Thomas Trogdon
Abstract:
We develop the convergence theory for a well-known method for the interpolation of functions on the real axis with rational functions. Precise new error estimates for the interpolant are de- rived using existing theory for trigonometric interpolants. Estimates on the Dirichlet kernel are used to derive new bounds on the associated interpolation projection operator. Error estimates are desired part…
▽ More
We develop the convergence theory for a well-known method for the interpolation of functions on the real axis with rational functions. Precise new error estimates for the interpolant are de- rived using existing theory for trigonometric interpolants. Estimates on the Dirichlet kernel are used to derive new bounds on the associated interpolation projection operator. Error estimates are desired partially due to a recent formula of the author for the Cauchy integral of a specific class of so-called oscillatory rational functions. Thus, error bounds for the approximation of the Fourier transform and Cauchy integral of oscillatory smooth functions are determined. Finally, the behavior of the differentiation operator is discussed. The analysis here can be seen as an extension of that of Weber (1980) and Weideman (1995) in a modified basis used by Olver (2009) that behaves well with respect to function multiplication and differentiation.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
An extension of the Derrida-Lebowitz-Speer-Spohn equation
Authors:
Charles Bordenave,
Pierre Germain,
Thomas Trogdon
Abstract:
Derrida, Lebowitz, Speer and Spohn have proposed a simplified model to describe the low temperature Glauber dynamics of an anchored Toom interface. We show how the derivation of the Derrida-Lebowitz-Speer-Spohn equation can be prolonged to obtain a new equation, generalizing the models obtained in the paper by these authors. We then investigate its properties from both an analytical and numerical…
▽ More
Derrida, Lebowitz, Speer and Spohn have proposed a simplified model to describe the low temperature Glauber dynamics of an anchored Toom interface. We show how the derivation of the Derrida-Lebowitz-Speer-Spohn equation can be prolonged to obtain a new equation, generalizing the models obtained in the paper by these authors. We then investigate its properties from both an analytical and numerical perspective. Specifically, a numerical method is presented to approximate solutions of the prolonged equation. Using this method, we investigate the relationship between the solutions of the prolonged equation and the Tracy--Widom GOE distribution.
△ Less
Submitted 19 April, 2015; v1 submitted 26 February, 2014;
originally announced February 2014.
-
A Riemann--Hilbert approach to Jacobi operators and Gaussian quadrature
Authors:
Thomas Trogdon,
Sheehan Olver
Abstract:
The computation of the entries of Jacobi operators associated with orthogonal polynomials has important applications in numerical analysis. From truncating the operator to form a Jacobi matrix, one can apply the Golub--Welsh algorithm to compute the Gaussian quadrature weights and nodes. Furthermore, the entries of the Jacobi operator are the coefficients in the three-term recurrence relationship…
▽ More
The computation of the entries of Jacobi operators associated with orthogonal polynomials has important applications in numerical analysis. From truncating the operator to form a Jacobi matrix, one can apply the Golub--Welsh algorithm to compute the Gaussian quadrature weights and nodes. Furthermore, the entries of the Jacobi operator are the coefficients in the three-term recurrence relationship for the polynomials. This provides an efficient method for evaluating the orthogonal polynomials. Here, we present an $\mathcal O(N)$ method to compute the first $N$ rows of Jacobi operators from the associated weight. The method exploits the Riemann--Hilbert representation of the polynomials by solving a deformed Riemann--Hilbert problem numerically. We further adapt this computational approach to certain entire weights that are beyond the reach of current asymptotic Riemann--Hilbert techniques.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.
-
On the application of GMRES to oscillatory singular integral equations
Authors:
Thomas Trogdon
Abstract:
We present a new method for the numerical solution of singular integral equations on the real axis. The method's value stems from an explicit formula for the Cauchy integral of a complex exponential multiplied by a rational function. Additionally, the inner product of such functions is computed explicitly. With these tools, the GMRES algorithm is applied to both non-oscillatory and oscillatory sin…
▽ More
We present a new method for the numerical solution of singular integral equations on the real axis. The method's value stems from an explicit formula for the Cauchy integral of a complex exponential multiplied by a rational function. Additionally, the inner product of such functions is computed explicitly. With these tools, the GMRES algorithm is applied to both non-oscillatory and oscillatory singular integral equations. Ideas from Fredholm theory and Riemann--Hilbert problems are used to motivate preconditioners for these singular integral equations. A dramatic acceleration in convergence is realized. This presents a strong link between the theory of singular integral equations and the numerical analysis of such equations. Furthermore, this method presents a first step towards a solver for the inverse scattering transform that does not require the deformation of a Riemann--Hilbert problem.
△ Less
Submitted 28 April, 2014; v1 submitted 7 July, 2013;
originally announced July 2013.
-
Dispersive and soliton perturbations of finite-genus solutions of the KdV equation: computational results
Authors:
Thomas Trogdon,
Bernard Deconinck
Abstract:
All solutions of the Korteweg -- de Vries equation that are bounded on the real line are physically relevant, depending on the application area of interest. Usually, both analytical and numerical approaches consider solution profiles that are either spatially localized or (quasi)periodic. In this paper, we discuss a class of solutions that is a nonlinear superposition of these two cases: their asy…
▽ More
All solutions of the Korteweg -- de Vries equation that are bounded on the real line are physically relevant, depending on the application area of interest. Usually, both analytical and numerical approaches consider solution profiles that are either spatially localized or (quasi)periodic. In this paper, we discuss a class of solutions that is a nonlinear superposition of these two cases: their asymptotic state for large $|x|$ is (quasi)periodic, but they may contain solitons, with or without dispersive tails. Such scenarios might occur in the case of localized perturbations of previously present sea swell, for instance. Such solutions have been discussed from an analytical point of view only recently. We numerically demonstrate different features of these solutions.
△ Less
Submitted 24 May, 2013;
originally announced May 2013.
-
A numerical dressing method for the nonlinear superposition of solutions of the KdV equation
Authors:
Thomas Trogdon,
Bernard Deconinck
Abstract:
In this paper we present the unification of two existing numerical methods for the construction of solutions of the Korteweg-de Vries (KdV) equation. The first method is used to solve the Cauchy initial-value problem on the line for rapidly decaying initial data. The second method is used to compute finite-genus solutions of the KdV equation. The combination of these numerical methods allows for t…
▽ More
In this paper we present the unification of two existing numerical methods for the construction of solutions of the Korteweg-de Vries (KdV) equation. The first method is used to solve the Cauchy initial-value problem on the line for rapidly decaying initial data. The second method is used to compute finite-genus solutions of the KdV equation. The combination of these numerical methods allows for the computation of exact solutions that are asymptotically (quasi-)periodic finite-gap solutions and are a nonlinear superposition of dispersive, soliton and (quasi-)periodic solutions in the finite (x,t)-plane. Such solutions are referred to as superposition solutions. We compute these solutions accurately for all values of x and t.
△ Less
Submitted 18 October, 2013; v1 submitted 24 May, 2013;
originally announced May 2013.
-
Numerical solution of Riemann--Hilbert problems: random matrix theory and orthogonal polynomials
Authors:
Sheehan Olver,
Thomas Trogdon
Abstract:
In recent developments, a general approach for solving Riemann--Hilbert problems numerically has been developed. We review this numerical framework, and apply it to the calculation of orthogonal polynomials on the real line. Combining this numerical algorithm with an approach to compute Fredholm determinants, we are able to calculate level densities and gap statistics for general finite-dimensiona…
▽ More
In recent developments, a general approach for solving Riemann--Hilbert problems numerically has been developed. We review this numerical framework, and apply it to the calculation of orthogonal polynomials on the real line. Combining this numerical algorithm with an approach to compute Fredholm determinants, we are able to calculate level densities and gap statistics for general finite-dimensional unitary ensembles. We also include a description of how to compute the Hastings--McLeod solution of the homogeneous Painlevé II equation.
△ Less
Submitted 8 October, 2012;
originally announced October 2012.
-
Nonlinear steepest descent and the numerical solution of Riemann-Hilbert problems
Authors:
Sheehan Olver,
Thomas Trogdon
Abstract:
The effective and efficient numerical solution of Riemann-Hilbert problems has been demonstrated in recent work. With the aid of ideas from the method of nonlinear steepest descent for Riemann-Hilbert problems, the resulting numerical methods have been shown numerically to retain accuracy as values of certain parameters become arbitrarily large. Remarkably, this numerical approach does not require…
▽ More
The effective and efficient numerical solution of Riemann-Hilbert problems has been demonstrated in recent work. With the aid of ideas from the method of nonlinear steepest descent for Riemann-Hilbert problems, the resulting numerical methods have been shown numerically to retain accuracy as values of certain parameters become arbitrarily large. Remarkably, this numerical approach does not require knowledge of local parametrices; rather, the deformed contour is scaled near stationary points at a specific rate. The primary aim of this paper is to prove that this observed asymptotic accuracy is indeed achieved. To do so, we first construct a general theoretical framework for the numerical solution of Riemann-Hilbert problems. Second, we demonstrate the precise link between nonlinear steepest descent and the success of numerics in asymptotic regimes. In particular, we prove sufficient conditions for numerical methods to retain accuracy. Finally, we compute solutions to the homogeneous Painlevé II equation and the modified Korteweg-de Vries equations to explicitly demonstrate the practical validity of the theory.
△ Less
Submitted 24 May, 2012;
originally announced May 2012.