-
A parametrix method for elliptic surface PDEs
Authors:
Tristan Goodwill,
Michael O'Neil
Abstract:
Elliptic problems along smooth surfaces embedded in three dimensions occur in thin-membrane mechanics, electromagnetics (harmonic vector fields), and computational geometry. In this work, we present a parametrix-based integral equation method applicable to several forms of variable coefficient surface elliptic problems. Via the use of an approximate Green's function, the surface PDEs are transform…
▽ More
Elliptic problems along smooth surfaces embedded in three dimensions occur in thin-membrane mechanics, electromagnetics (harmonic vector fields), and computational geometry. In this work, we present a parametrix-based integral equation method applicable to several forms of variable coefficient surface elliptic problems. Via the use of an approximate Green's function, the surface PDEs are transformed into well-conditioned integral equations. We demonstrate high-order numerical examples of this method applied to problems on general surfaces using a variant of the fast multipole method based on smooth interpolation properties of the kernel. Lastly, we discuss extensions of the method to surfaces with boundaries.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Fast adaptive high-order integral equation methods for electromagnetic scattering from smooth perfect electric conductors
Authors:
Felipe Vico,
Leslie Greengard,
Michael O'Neil,
Manas Rachh
Abstract:
Many integral equation-based methods are available for problems of time-harmonic electromagnetic scattering from perfect electric conductors. Moreover, there are numerous ways in which the geometry can be represented, numerous ways to represent the relevant surface current and/or charge densities, numerous quadrature methods that can be deployed, and numerous fast methods that can be used to accel…
▽ More
Many integral equation-based methods are available for problems of time-harmonic electromagnetic scattering from perfect electric conductors. Moreover, there are numerous ways in which the geometry can be represented, numerous ways to represent the relevant surface current and/or charge densities, numerous quadrature methods that can be deployed, and numerous fast methods that can be used to accelerate the solution of the large linear systems which arise from discretization. Among the many issues that arise in such scattering calculations are the avoidance of spurious resonances, the applicability of the chosen method to scatterers of non-trivial topology, the robustness of the method when applied to objects with multiscale features, the stability of the method under mesh refinement, the ease of implementation with high-order basis functions, and the behavior of the method as the frequency tends to zero. Since three-dimensional scattering is a challenging, large-scale problem, many of these issues have been historically difficult to investigate. It is only with the advent of fast algorithms and modern iterative methods that a careful study of these issues can be carried out effectively. In this paper, we use GMRES as our iterative solver and the fast multipole method as our acceleration scheme in order to investigate some of these questions. In particular, we compare the behavior of the following integral equation formulations with regard to the issues noted above: the standard electric, magnetic, and combined field integral equations with standard RWG basis functions, the non-resonant charge-current integral equation, the electric charge-current integral equation, the augmented regularized combined source integral equation and the decoupled potential integral equation DPIE. Various numerical results are provided to demonstrate the behavior of each of these schemes.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Eulerian simulations of electrostatic waves in plasmas with a single sign of charge
Authors:
S. Cristofaro,
O. Pezzi,
T. M. O'Neil,
P. Veltri,
F. Valentini
Abstract:
An Eulerian, numerical simulation is used to model the launching of plasma waves in a non-neutral plasma that is confined in a Penning-Malmberg trap. The waves are launched by applying an oscillating potential to an electrically isolated sector at one end of the conducting cylinder that bounds the confinement region and are received by another electrically isolated sector at the other end of the c…
▽ More
An Eulerian, numerical simulation is used to model the launching of plasma waves in a non-neutral plasma that is confined in a Penning-Malmberg trap. The waves are launched by applying an oscillating potential to an electrically isolated sector at one end of the conducting cylinder that bounds the confinement region and are received by another electrically isolated sector at the other end of the cylinder. The launching of both Trivelpiece-Gould waves and electron acoustic waves is investigated. Adopting a stratagem, the simulation captures essential features of the finite length plasma, while retaining the numerical advantages of a simulation employing periodic spatial boundary conditions. As a benchmark test of the simulation, the results for launched Trivelpiece-Gould waves of small amplitude are successfully compared to a linearized analytic solution for these fluctuations.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
FMM-LU: A fast direct solver for multiscale boundary integral equations in three dimensions
Authors:
Daria Sushnikova,
Leslie Greengard,
Michael O'Neil,
Manas Rachh
Abstract:
We present a fast direct solver for boundary integral equations on complex surfaces in three dimensions using an extension of the recently introduced recursive strong skeletonization scheme. For problems that are not highly oscillatory, our algorithm computes an ${LU}$-like hierarchical factorization of the dense system matrix, permitting application of the inverse in $\mathcal O(n)$ time, where…
▽ More
We present a fast direct solver for boundary integral equations on complex surfaces in three dimensions using an extension of the recently introduced recursive strong skeletonization scheme. For problems that are not highly oscillatory, our algorithm computes an ${LU}$-like hierarchical factorization of the dense system matrix, permitting application of the inverse in $\mathcal O(n)$ time, where $n$ is the number of unknowns on the surface. The factorization itself also scales linearly with the system size, albeit with a somewhat larger constant. The scheme is built on a level-restricted adaptive octree data structure, and therefore it is compatible with highly nonuniform discretizations. Furthermore, the scheme is coupled with high-order accurate locally-corrected Nyström quadrature methods to integrate the singular and weakly-singular Green's functions used in the integral representations. Our method has immediate applications to a variety of problems in computational physics. We concentrate here on studying its performance in acoustic scattering (governed by the Helmholtz equation) at low to moderate frequencies, and provide rigorous justification for compression of submatrices via proxy surfaces.
△ Less
Submitted 12 January, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
FMM-accelerated solvers for the Laplace-Beltrami problem on complex surfaces in three dimensions
Authors:
Dhwanit Agarwal,
Michael O'Neil,
Manas Rachh
Abstract:
The Laplace-Beltrami problem on closed surfaces embedded in three dimensions arises in many areas of physics, including molecular dynamics (surface diffusion), electromagnetics (harmonic vector fields), and fluid dynamics (vesicle deformation). Using classical potential theory, the Laplace-Beltrami operator can be pre-/post-conditioned with an integral operator whose kernel is translation invarian…
▽ More
The Laplace-Beltrami problem on closed surfaces embedded in three dimensions arises in many areas of physics, including molecular dynamics (surface diffusion), electromagnetics (harmonic vector fields), and fluid dynamics (vesicle deformation). Using classical potential theory, the Laplace-Beltrami operator can be pre-/post-conditioned with an integral operator whose kernel is translation invariant, resulting in well-conditioned Fredholm integral equations of the second-kind. These equations have the standard~$1/r$ kernel from potential theory, and therefore the equations can be solved rapidly and accurately using a combination of fast multipole methods (FMMs) and high-order quadrature corrections. In this work we detail such a scheme, presenting two alternative integral formulations of the Laplace-Beltrami problem, each of whose solution can be obtained via FMM acceleration. We then present several applications of the solvers, focusing on the computation of what are known as harmonic vector fields, relevant for many applications in electromagnetics. A battery of numerical results are presented for each application, detailing the performance of the solver in various geometries.
△ Less
Submitted 10 May, 2023; v1 submitted 21 November, 2021;
originally announced November 2021.
-
An interface formulation of the Laplace-Beltrami problem on piecewise smooth surfaces
Authors:
Tristan Goodwill,
Michael O'Neil
Abstract:
The Laplace-Beltrami problem on closed surfaces embedded in three dimensions arises in many areas of physics, including molecular dynamics (surface diffusion), electromagnetics (harmonic vector fields), and fluid dynamics (vesicle deformation). In particular, the Hodge decomposition of vector fields tangent to a surface can be computed by solving a sequence of Laplace-Beltrami problems. Such decom…
▽ More
The Laplace-Beltrami problem on closed surfaces embedded in three dimensions arises in many areas of physics, including molecular dynamics (surface diffusion), electromagnetics (harmonic vector fields), and fluid dynamics (vesicle deformation). In particular, the Hodge decomposition of vector fields tangent to a surface can be computed by solving a sequence of Laplace-Beltrami problems. Such decompositions are very important in magnetostatic calculations and in various plasma and fluid flow problems. In this work we develop $L^2$-invertibility theory for the Laplace-Beltrami operator on piecewise smooth surfaces, extending earlier weak formulations and integral equation approaches on smooth surfaces. Furthermore, we reformulate the weak form of the problem as an interface problem with continuity conditions across edges of adjacent piecewise smooth panels of the surface. We then provide high-order numerical examples along surfaces of revolution to support our analysis, and discuss numerical extensions to general surfaces embedded in three dimensions.
△ Less
Submitted 18 June, 2023; v1 submitted 19 August, 2021;
originally announced August 2021.
-
Efficient reduced-rank methods for Gaussian processes with eigenfunction expansions
Authors:
Philip Greengard,
Michael O'Neil
Abstract:
In this work we introduce a reduced-rank algorithm for Gaussian process regression. Our numerical scheme converts a Gaussian process on a user-specified interval to its Karhunen-Loève expansion, the $L^2$-optimal reduced-rank representation. Numerical evaluation of the Karhunen-Loève expansion is performed once during precomputation and involves computing a numerical eigendecomposition of an integ…
▽ More
In this work we introduce a reduced-rank algorithm for Gaussian process regression. Our numerical scheme converts a Gaussian process on a user-specified interval to its Karhunen-Loève expansion, the $L^2$-optimal reduced-rank representation. Numerical evaluation of the Karhunen-Loève expansion is performed once during precomputation and involves computing a numerical eigendecomposition of an integral operator whose kernel is the covariance function of the Gaussian process. The Karhunen-Loève expansion is independent of observed data and depends only on the covariance kernel and the size of the interval on which the Gaussian process is defined. The scheme of this paper does not require translation invariance of the covariance kernel. We also introduce a class of fast algorithms for Bayesian fitting of hyperparameters, and demonstrate the performance of our algorithms with numerical experiments in one and two dimensions. Extensions to higher dimensions are mathematically straightforward but suffer from the standard curses of high dimensions.
△ Less
Submitted 24 August, 2022; v1 submitted 12 August, 2021;
originally announced August 2021.
-
Fast multipole methods for evaluation of layer potentials with locally-corrected quadratures
Authors:
Leslie Greengard,
Michael O'Neil,
Manas Rachh,
Felipe Vico
Abstract:
While fast multipole methods (FMMs) are in widespread use for the rapid evaluation of potential fields governed by the Laplace, Helmholtz, Maxwell or Stokes equations, their coupling to high-order quadratures for evaluating layer potentials is still an area of active research. In three dimensions, a number of issues need to be addressed, including the specification of the surface as the union of h…
▽ More
While fast multipole methods (FMMs) are in widespread use for the rapid evaluation of potential fields governed by the Laplace, Helmholtz, Maxwell or Stokes equations, their coupling to high-order quadratures for evaluating layer potentials is still an area of active research. In three dimensions, a number of issues need to be addressed, including the specification of the surface as the union of high-order patches, the incorporation of accurate quadrature rules for integrating singular or weakly singular Green's functions on such patches, and their coupling to the oct-tree data structures on which the FMM separates near and far field interactions. Although the latter is straightforward for point distributions, the near field for a patch is determined by its physical dimensions, not the distribution of discretization points on the surface.
Here, we present a general framework for efficiently coupling locally corrected quadratures with FMMs, relying primarily on what are called generalized Gaussian quadratures rules, supplemented by adaptive integration. The approach, however, is quite general and easily applicable to other schemes, such as Quadrature by Expansion (QBX). We also introduce a number of accelerations to reduce the cost of quadrature generation itself, and present several numerical examples of acoustic scattering that demonstrate the accuracy, robustness, and computational efficiency of the scheme. On a single core of an Intel i5 2.3GHz processor, a Fortran implementation of the scheme can generate near field quadrature corrections for between 1000 and 10,000 points per second, depending on the order of accuracy and the desired precision. A Fortran implementation of the algorithm described in this work is available at https://gitlab.com/fastalgorithms/fmm3dbie.
△ Less
Submitted 23 April, 2021; v1 submitted 3 June, 2020;
originally announced June 2020.
-
A fast boundary integral method for high-order multiscale mesh generation
Authors:
Felipe Vico,
Leslie Greengard,
Michael O'Neil,
Manas Rachh
Abstract:
In this work we present an algorithm to construct an infinitely differentiable smooth surface from an input consisting of a (rectilinear) triangulation of a surface of arbitrary shape. The original surface can have non-trivial genus and multiscale features, and our algorithm has computational complexity which is linear in the number of input triangles. We use a smoothing kernel to define a functio…
▽ More
In this work we present an algorithm to construct an infinitely differentiable smooth surface from an input consisting of a (rectilinear) triangulation of a surface of arbitrary shape. The original surface can have non-trivial genus and multiscale features, and our algorithm has computational complexity which is linear in the number of input triangles. We use a smoothing kernel to define a function $Φ$ whose level set defines the surface of interest. Charts are subsequently generated as maps from the original user-specified triangles to $\mathbb R^3$. The degree of smoothness is controlled locally by the kernel to be commensurate with the fineness of the input triangulation. The expression for~$Φ$ can be transformed into a boundary integral, whose evaluation can be accelerated using a fast multipole method. We demonstrate the effectiveness and cost of the algorithm with polyhedral and quadratic skeleton surfaces obtained from CAD and meshing software.
△ Less
Submitted 29 September, 2019;
originally announced September 2019.
-
Efficient high-order singular quadrature schemes in magnetic fusion
Authors:
Dhairya Malhotra,
Antoine J. Cerfon,
Michael O'Neil,
Evan Toler
Abstract:
Several problems in magnetically confined fusion, such as the computation of exterior vacuum fields or the decomposition of the total magnetic field into separate contributions from the plasma and the external sources, are best formulated in terms of integral equation expressions. Based on Biot-Savart-like formulae, these integrals contain singular integrands. The regularization method commonly us…
▽ More
Several problems in magnetically confined fusion, such as the computation of exterior vacuum fields or the decomposition of the total magnetic field into separate contributions from the plasma and the external sources, are best formulated in terms of integral equation expressions. Based on Biot-Savart-like formulae, these integrals contain singular integrands. The regularization method commonly used to address the computation of various singular surface integrals along general toroidal surfaces is low-order accurate, and therefore requires a dense computational mesh in order to obtain sufficient accuracy. In this work, we present a fast, high-order quadrature scheme for the efficient computation of these integrals. Several numerical examples are provided demonstrating the computational efficiency and the high-order accurate convergence. A corresponding code for use in the community has been publicly released.
△ Less
Submitted 21 November, 2019; v1 submitted 16 September, 2019;
originally announced September 2019.
-
Taylor States in Stellarators: A Fast High-order Boundary Integral Solver
Authors:
Dhairya Malhotra,
Antoine Cerfon,
Lise-Marie Imbert-Gérard,
Michael O'Neil
Abstract:
We present a boundary integral equation solver for computing Taylor relaxed states in non-axisymmetric solid and shell-like toroidal geometries. The computation of Taylor states in these geometries is a key element for the calculation of stepped pressure stellarator equilibria. The integral representation of the magnetic field in this work is based on the generalized Debye source formulation, and…
▽ More
We present a boundary integral equation solver for computing Taylor relaxed states in non-axisymmetric solid and shell-like toroidal geometries. The computation of Taylor states in these geometries is a key element for the calculation of stepped pressure stellarator equilibria. The integral representation of the magnetic field in this work is based on the generalized Debye source formulation, and results in a well-conditioned second-kind boundary integral equation. The integral equation solver is based on a spectral discretization of the geometry and unknowns, and the computation of the associated weakly-singular integrals is performed with high-order quadrature based on a partition of unity. The resulting scheme for applying the integral operator is then coupled with an iterative solver and suitable preconditioners. Several numerical examples are provided to demonstrate the accuracy and efficiency of our method, and a direct comparison with the leading code in the field is reported.
△ Less
Submitted 20 February, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
An FFT-accelerated direct solver for electromagnetic scattering from penetrable axisymmetric objects
Authors:
Jun Lai,
Michael O'Neil
Abstract:
Fast, high-order accurate algorithms for electromagnetic scattering from axisymmetric objects are of great importance when modeling physical phenomena in optics, materials science (e.g. meta-materials), and many other fields of applied science. In this paper, we develop an FFT-accelerated separation of variables solver that can be used to efficiently invert integral equation formulations of Maxwel…
▽ More
Fast, high-order accurate algorithms for electromagnetic scattering from axisymmetric objects are of great importance when modeling physical phenomena in optics, materials science (e.g. meta-materials), and many other fields of applied science. In this paper, we develop an FFT-accelerated separation of variables solver that can be used to efficiently invert integral equation formulations of Maxwell's equations for scattering from axisymmetric penetrable (dielectric) bodies. Using a standard variant of Müller's integral representation of the fields, our numerical solver rapidly and directly inverts the resulting second-kind integral equation. In particular, the algorithm of this work (1) rapidly evaluates the modal Green's functions, and their derivatives, via kernel splitting and the use of novel recursion formulas, (2) discretizes the underlying integral equation using generalized Gaussian quadratures on adaptive meshes, and (3) is applicable to geometries containing edges. Several numerical examples are provided to demonstrate the efficiency and accuracy of the aforementioned algorithm in various geometries.
△ Less
Submitted 2 April, 2019; v1 submitted 16 October, 2018;
originally announced October 2018.
-
A high-order wideband direct solver for electromagnetic scattering from bodies of revolution
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
The generalized Debye source representation of time-harmonic electromagnetic fields yields well-conditioned second-kind integral equations for a variety of boundary value problems, including the problems of scattering from perfect electric conductors and dielectric bodies. Furthermore, these representations, and resulting integral equations, are fully stable in the static limit as $ω\to 0$ in mult…
▽ More
The generalized Debye source representation of time-harmonic electromagnetic fields yields well-conditioned second-kind integral equations for a variety of boundary value problems, including the problems of scattering from perfect electric conductors and dielectric bodies. Furthermore, these representations, and resulting integral equations, are fully stable in the static limit as $ω\to 0$ in multiply connected geometries. In this paper, we present the first high-order accurate solver based on this representation for bodies of revolution. The resulting solver uses a Nyström discretization of a one-dimensional generating curve and high-order integral equation methods for applying and inverting surface differentials. The accuracy and speed of the solvers are demonstrated in several numerical examples.
△ Less
Submitted 15 February, 2019; v1 submitted 31 July, 2017;
originally announced August 2017.
-
Second-kind integral equations for the Laplace-Beltrami problem on surfaces in three dimensions
Authors:
Michael O'Neil
Abstract:
The Laplace-Beltrami problem $Δ_Γψ= f$ has several applications in mathematical physics, differential geometry, machine learning, and topology. In this work, we present novel second-kind integral equations for its solution which obviate the need for constructing a suitable parametrix to approximate the in-surface Green's function. The resulting integral equations are well-conditioned and compatibl…
▽ More
The Laplace-Beltrami problem $Δ_Γψ= f$ has several applications in mathematical physics, differential geometry, machine learning, and topology. In this work, we present novel second-kind integral equations for its solution which obviate the need for constructing a suitable parametrix to approximate the in-surface Green's function. The resulting integral equations are well-conditioned and compatible with standard fast multipole methods and iterative linear algebraic solvers, as well as more modern fast direct solvers. Using layer-potential identities known as Calderón projectors, the Laplace-Beltrami operator can be pre-conditioned from the left and/or right to obtain second-kind integral equations. We demonstrate the accuracy and stability of the scheme in several numerical examples along surfaces described by curvilinear triangles.
△ Less
Submitted 21 January, 2018; v1 submitted 28 April, 2017;
originally announced May 2017.
-
An integral equation-based numerical solver for Taylor states in toroidal geometries
Authors:
Michael O'Neil,
Antoine J. Cerfon
Abstract:
We develop an algorithm for the numerical calculation of Taylor states in toroidal and toroidal shell geometries using an analytical framework developed for the solution to the time-harmonic Maxwell equations. Taylor states are a special case of what are known as Beltrami fields, or linear force-free fields. The scheme of this work relies on the generalized Debye source representation of Maxwell f…
▽ More
We develop an algorithm for the numerical calculation of Taylor states in toroidal and toroidal shell geometries using an analytical framework developed for the solution to the time-harmonic Maxwell equations. Taylor states are a special case of what are known as Beltrami fields, or linear force-free fields. The scheme of this work relies on the generalized Debye source representation of Maxwell fields and an integral representation of Beltrami fields which immediately yields a well-conditioned second-kind integral equation. This integral equation has a unique solution whenever the Beltrami parameter $λ$ is not a member of a discrete, countable set of resonances which physically correspond to spontaneous symmetry breaking. Several numerical examples relevant to magnetohydrodynamic equilibria calculations are provided. Lastly, our approach easily generalizes to arbitrary geometries, both bounded and unbounded, and of varying genus.
△ Less
Submitted 21 January, 2018; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Accurate and efficient numerical calculation of stable densities via optimized quadrature and asymptotics
Authors:
Sebastian Ament,
Michael O'Neil
Abstract:
Stable distributions are an important class of infinitely-divisible probability distributions, of which two special cases are the Cauchy distribution and the normal distribution. Aside from a few special cases, the density function for stable distributions has no known analytic form, and is expressible only through the variate's characteristic function or other integral forms. In this paper we pre…
▽ More
Stable distributions are an important class of infinitely-divisible probability distributions, of which two special cases are the Cauchy distribution and the normal distribution. Aside from a few special cases, the density function for stable distributions has no known analytic form, and is expressible only through the variate's characteristic function or other integral forms. In this paper we present numerical schemes for evaluating the density function for stable distributions, its gradient, and distribution function in various parameter regimes of interest, some of which had no pre-existing efficient method for their computation. The novel evaluation schemes consist of optimized generalized Gaussian quadrature rules for integral representations of the density function, complemented by various asymptotic expansions near various values of the shape and argument parameters. We report several numerical examples illustrating the efficiency of our methods. The resulting code has been made available online.
△ Less
Submitted 30 August, 2021; v1 submitted 14 July, 2016;
originally announced July 2016.
-
Robust integral formulations for electromagnetic scattering from three-dimensional cavities
Authors:
Jun Lai,
Leslie Greengard,
Michael O'Neil
Abstract:
Scattering from large, open cavity structures is of importance in a variety of electromagnetic applications. In this paper, we propose a new well conditioned integral equation for scattering from general open cavities embedded in an infinite, perfectly conducting half-space. The integral representation permits the stable evaluation of both the electric and magnetic field, even in the low-frequency…
▽ More
Scattering from large, open cavity structures is of importance in a variety of electromagnetic applications. In this paper, we propose a new well conditioned integral equation for scattering from general open cavities embedded in an infinite, perfectly conducting half-space. The integral representation permits the stable evaluation of both the electric and magnetic field, even in the low-frequency regime, using the continuity equation in a post-processing step. We establish existence and uniqueness results, and demonstrate the performance of the scheme in the cavity-of-revolution case. High-order accuracy is obtained using a Nystrom discretization with generalized Gaussian quadratures.
△ Less
Submitted 11 June, 2016;
originally announced June 2016.
-
Fast algorithms for Quadrature by Expansion I: Globally valid expansions
Authors:
Manas Rachh,
Andreas Klöckner,
Michael O'Neil
Abstract:
The use of integral equation methods for the efficient numerical solution of PDE boundary value problems requires two main tools: quadrature rules for the evaluation of layer potential integral operators with singular kernels, and fast algorithms for solving the resulting dense linear systems. Classically, these tools were developed separately. In this work, we present a unified numerical scheme b…
▽ More
The use of integral equation methods for the efficient numerical solution of PDE boundary value problems requires two main tools: quadrature rules for the evaluation of layer potential integral operators with singular kernels, and fast algorithms for solving the resulting dense linear systems. Classically, these tools were developed separately. In this work, we present a unified numerical scheme based on coupling Quadrature by Expansion, a recent quadrature method, to a customized Fast Multipole Method (FMM) for the Helmholtz equation in two dimensions. The method allows the evaluation of layer potentials in linear-time complexity, anywhere in space, with a uniform, user-chosen level of accuracy as a black-box computational method.
Providing this capability requires geometric and algorithmic considerations beyond the needs of standard FMMs as well as careful consideration of the accuracy of multipole translations. We illustrate the speed and accuracy of our method with various numerical examples.
Keywords: Layer Potentials; Singular Integrals; Quadrature; High-order accuracy; Integral equations; Helmholtz equation; Fast multipole method.
△ Less
Submitted 21 February, 2017; v1 submitted 17 February, 2016;
originally announced February 2016.
-
"We're on the Same Page": A Usability Study of Secure Email Using Pairs of Novice Users
Authors:
Scott Ruoti,
Jeff Andersen,
Scott Heidbrink,
Mark O'Neil,
Elham Vaziripour,
Justin Wu,
Daniel Zappala,
Kent Seamons
Abstract:
Secure email is increasingly being touted as usable by novice users, with a push for adoption based on recent concerns about government surveillance. To determine whether secure email is for grassroots adoption, we employ a laboratory user study that recruits pairs of novice to install and use several of the latest systems to exchange secure messages. We present quantitative and qualitative result…
▽ More
Secure email is increasingly being touted as usable by novice users, with a push for adoption based on recent concerns about government surveillance. To determine whether secure email is for grassroots adoption, we employ a laboratory user study that recruits pairs of novice to install and use several of the latest systems to exchange secure messages. We present quantitative and qualitative results from 25 pairs of novice users as they use Pwm, Tutanota, and Virtru. Participants report being more at ease with this type of study and better able to cope with mistakes since both participants are "on the same page". We find that users prefer integrated solutions over depot-based solutions, and that tutorials are important in hel** first-time users. Hiding the details of how a secure email system provides security can lead to a lack of trust in the system. Participants expressed a desire to use secure email, but few wanted to use it regularly and most were unsure of when they might use it.
△ Less
Submitted 11 January, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
User Attitudes Toward the Inspection of Encrypted Traffic
Authors:
Scott Ruoti,
Mark O'Neil,
Daniel Zappala,
Kent Seamons
Abstract:
This paper reports the results of a survey of 1,976 individuals regarding their opinions on TLS inspection, a controversial technique that can be used for both benevolent and malicious purposes. Responses indicate that participants hold nuanced opinions on security and privacy trade-offs, with most recognizing legitimate uses for the practice, but also concerned about threats from hackers or gover…
▽ More
This paper reports the results of a survey of 1,976 individuals regarding their opinions on TLS inspection, a controversial technique that can be used for both benevolent and malicious purposes. Responses indicate that participants hold nuanced opinions on security and privacy trade-offs, with most recognizing legitimate uses for the practice, but also concerned about threats from hackers or government surveillance. There is strong support for notification and consent when a system is intercepting their encrypted traffic, although this support varies depending on the situation. A significant concern about malicious uses of TLS inspection is identity theft, and many would react negatively and some would change their behavior if they discovered inspection occurring without their knowledge. We also find that there are a small but significant number of participants who are jaded by the current state of affairs and have no expectation of privacy.
△ Less
Submitted 10 June, 2016; v1 submitted 16 October, 2015;
originally announced October 2015.
-
A new hybrid integral representation for frequency domain scattering in layered media
Authors:
Jun Lai,
Leslie Greengard,
Michael O'Neil
Abstract:
A variety of problems in acoustic and electromagnetic scattering require the evaluation of impedance or layered media Green's functions. Given a point source located in an unbounded half-space or an infinitely extended layer, Sommerfeld and others showed that Fourier analysis combined with contour integration provides a systematic and broadly effective approach, leading to what is generally referr…
▽ More
A variety of problems in acoustic and electromagnetic scattering require the evaluation of impedance or layered media Green's functions. Given a point source located in an unbounded half-space or an infinitely extended layer, Sommerfeld and others showed that Fourier analysis combined with contour integration provides a systematic and broadly effective approach, leading to what is generally referred to as the Sommerfeld integral representation. When either the source or target is at some distance from an infinite boundary, the number of degrees of freedom needed to resolve the scattering response is very modest. When both are near an interface, however, the Sommerfeld integral involves a very large range of integration and its direct application becomes unwieldy. Historically, three schemes have been employed to overcome this difficulty: the method of images, contour deformation, and asymptotic methods of various kinds. None of these methods make use of classical layer potentials in physical space, despite their advantages in terms of adaptive resolution and high-order accuracy. The reason for this is simple: layer potentials are impractical in layered media or half-space geometries since they require the discretization of an infinite boundary. In this paper, we propose a hybrid method which combines layer potentials (physical-space) on a finite portion of the interface together with a Sommerfeld-type (Fourier) correction. We prove that our method is efficient and rapidly convergent for arbitrarily located sources and targets, and show that the scheme is particularly effective when solving scattering problems for objects which are close to the half-space boundary or even embedded across a layered media interface.
△ Less
Submitted 22 July, 2015; v1 submitted 13 July, 2015;
originally announced July 2015.
-
Smoothed corners and scattered waves
Authors:
Charles L. Epstein,
Michael O'Neil
Abstract:
We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a neighborhood of the geometric singularity, and preserves desirable features like convexity and symmetry. The smoothness of the final surface is an explicit parameter in t…
▽ More
We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a neighborhood of the geometric singularity, and preserves desirable features like convexity and symmetry. The smoothness of the final surface is an explicit parameter in the method, and the bandlimit of the smoothed surface is proportional to its smoothness. Several numerical examples are provided in the context of acoustic scattering. In particular, we compare scattered fields from smoothed geometries in two dimensions with those from polygonal domains. We observe that significant reductions in computational cost can be obtained if merely approximate solutions are desired in the near- or far-field. Provided that it is sub-wavelength, the error of the scattered field is proportional to the size of the geometry that is modified.
△ Less
Submitted 7 April, 2016; v1 submitted 28 June, 2015;
originally announced June 2015.
-
Exact axisymmetric Taylor states for shaped plasmas
Authors:
Antoine J. Cerfon,
Michael O'Neil
Abstract:
We present a general construction for exact analytic Taylor states in axisymmetric toroidal geometries. In this construction, the Taylor equilibria are fully determined by specifying the aspect ratio, elongation, and triangularity of the desired plasma geometry. For equilibria with a magnetic X-point, the location of the X-point must also be specified. The flexibility and simplicity of these solut…
▽ More
We present a general construction for exact analytic Taylor states in axisymmetric toroidal geometries. In this construction, the Taylor equilibria are fully determined by specifying the aspect ratio, elongation, and triangularity of the desired plasma geometry. For equilibria with a magnetic X-point, the location of the X-point must also be specified. The flexibility and simplicity of these solutions make them useful for verifying the accuracy of numerical solvers and for theoretical studies of Taylor states in laboratory experiments.
△ Less
Submitted 2 June, 2014;
originally announced June 2014.
-
Fast symmetric factorization of hierarchical matrices with applications
Authors:
Sivaram Ambikasaran,
Michael O'Neil,
Karan Raj Singh
Abstract:
We present a fast direct algorithm for computing symmetric factorizations, i.e. $A = WW^T$, of symmetric positive-definite hierarchical matrices with weak-admissibility conditions. The computational cost for the symmetric factorization scales as $\mathcal{O}(n \log^2 n)$ for hierarchically off-diagonal low-rank matrices. Once this factorization is obtained, the cost for inversion, application, and…
▽ More
We present a fast direct algorithm for computing symmetric factorizations, i.e. $A = WW^T$, of symmetric positive-definite hierarchical matrices with weak-admissibility conditions. The computational cost for the symmetric factorization scales as $\mathcal{O}(n \log^2 n)$ for hierarchically off-diagonal low-rank matrices. Once this factorization is obtained, the cost for inversion, application, and determinant computation scales as $\mathcal{O}(n \log n)$. In particular, this allows for the near optimal generation of correlated random variates in the case where $A$ is a covariance matrix. This symmetric factorization algorithm depends on two key ingredients. First, we present a novel symmetric factorization formula for low-rank updates to the identity of the form $I+UKU^T$. This factorization can be computed in $\mathcal{O}(n)$ time if the rank of the perturbation is sufficiently small. Second, combining this formula with a recursive divide-and-conquer strategy, near linear complexity symmetric factorizations for hierarchically structured matrices can be obtained. We present numerical results for matrices relevant to problems in probability \& statistics (Gaussian processes), interpolation (Radial basis functions), and Brownian dynamics calculations in fluid mechanics (the Rotne-Prager-Yamakawa tensor).
△ Less
Submitted 30 December, 2016; v1 submitted 1 May, 2014;
originally announced May 2014.
-
Fast Direct Methods for Gaussian Processes
Authors:
Sivaram Ambikasaran,
Daniel Foreman-Mackey,
Leslie Greengard,
David W. Hogg,
Michael O'Neil
Abstract:
A number of problems in probability and statistics can be addressed using the multivariate normal (Gaussian) distribution. In the one-dimensional case, computing the probability for a given mean and variance simply requires the evaluation of the corresponding Gaussian density. In the $n$-dimensional setting, however, it requires the inversion of an $n \times n$ covariance matrix, $C$, as well as t…
▽ More
A number of problems in probability and statistics can be addressed using the multivariate normal (Gaussian) distribution. In the one-dimensional case, computing the probability for a given mean and variance simply requires the evaluation of the corresponding Gaussian density. In the $n$-dimensional setting, however, it requires the inversion of an $n \times n$ covariance matrix, $C$, as well as the evaluation of its determinant, $\det(C)$. In many cases, such as regression using Gaussian processes, the covariance matrix is of the form $C = σ^2 I + K$, where $K$ is computed using a specified covariance kernel which depends on the data and additional parameters (hyperparameters). The matrix $C$ is typically dense, causing standard direct methods for inversion and determinant evaluation to require $\mathcal O(n^3)$ work. This cost is prohibitive for large-scale modeling. Here, we show that for the most commonly used covariance functions, the matrix $C$ can be hierarchically factored into a product of block low-rank updates of the identity matrix, yielding an $\mathcal O (n\log^2 n) $ algorithm for inversion. More importantly, we show that this factorization enables the evaluation of the determinant $\det(C)$, permitting the direct calculation of probabilities in high dimensions under fairly broad assumptions on the kernel defining $K$. Our fast algorithm brings many problems in marginalization and the adaptation of hyperparameters within practical reach using a single CPU core. The combination of nearly optimal scaling in terms of problem size with high-performance computing resources will permit the modeling of previously intractable problems. We illustrate the performance of the scheme on standard covariance kernels.
△ Less
Submitted 4 April, 2015; v1 submitted 24 March, 2014;
originally announced March 2014.
-
A generalized Debye source approach to electromagnetic scattering in layered media
Authors:
Michael O'Neil
Abstract:
The standard solution to time-harmonic electromagnetic scattering problems in homogeneous layered media relies on the use of the electric field dyadic Green's function. However, for small values of the governing angular frequency $ω$, evaluation of the electric field using this Green's function exhibits numerical instability. In this short note, we provide an alternative approach which is immune f…
▽ More
The standard solution to time-harmonic electromagnetic scattering problems in homogeneous layered media relies on the use of the electric field dyadic Green's function. However, for small values of the governing angular frequency $ω$, evaluation of the electric field using this Green's function exhibits numerical instability. In this short note, we provide an alternative approach which is immune from this low-frequency breakdown as $ω\to 0$. Our approach is based on the generalized Debye source representation of Maxwell fields. Using this formulation, the electric and magnetic fields gracefully decouple in the static limit, a behavior similar to that of the classical Lorenz-Debye-Mie representation of Maxwell fields in spherical geometries. We derive extensions of both the generalized Deybe source and Lorenz-Debye-Mie representations to planar geometries, as well as provide equations for the solution of scattering from a perfectly conducting half-space and in layered media using a Sommerfeld-like approach. These formulas are stable as $ω$ tends to zero, and offer alternatives to the electric field dyadic Green's function.
△ Less
Submitted 15 October, 2013;
originally announced October 2013.
-
Debye Sources, Beltrami Fields, and a Complex Structure on Maxwell Fields
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
The Debye source representation for solutions to the time harmonic Maxwell equations is extended to bounded domains with finitely many smooth boundary components. A strong uniqueness result is proved for this representation. Natural complex structures are identified on the vector spaces of time-harmonic Maxwell fields. It is shown that in terms of Debye source data, these complex structures are un…
▽ More
The Debye source representation for solutions to the time harmonic Maxwell equations is extended to bounded domains with finitely many smooth boundary components. A strong uniqueness result is proved for this representation. Natural complex structures are identified on the vector spaces of time-harmonic Maxwell fields. It is shown that in terms of Debye source data, these complex structures are uniformized, that is, represented by a fixed linear map on a fixed vector space, independent of the frequency. This complex structure relates time-harmonic Maxwell fields to constant-k Beltrami fields, i.e. solutions of the equation curl(E) = kE. A family of self-adjoint boundary conditions are defined for the Beltrami operator. This leads to a proof of the existence of zero-flux, constant-k, force-free Beltrami fields for any bounded region in R^3, as well as a constructive method to find them. The family of self-adjoint boundary value problems defines a new spectral invariant for bounded domains in R^3.
△ Less
Submitted 25 August, 2013;
originally announced August 2013.
-
Response to Comment on `Undamped electrostatic plasma waves' [Phys. Plasmas 19, 092103 (2012)]
Authors:
F. Valentini,
D. Perrone,
F. Califano,
F. Pegoraro,
P. Veltri,
P. J. Morrison,
T. M. O'Neil
Abstract:
Numerical and experimental evidence is given for the occurrence of the plateau states and concomitant corner modes proposed in \cite{valentini12}. It is argued that these states provide a better description of reality for small amplitude off-dispersion disturbances than the conventional Bernstein-Greene-Kruskal or cnoidal states such as those proposed in \cite{comment}
Numerical and experimental evidence is given for the occurrence of the plateau states and concomitant corner modes proposed in \cite{valentini12}. It is argued that these states provide a better description of reality for small amplitude off-dispersion disturbances than the conventional Bernstein-Greene-Kruskal or cnoidal states such as those proposed in \cite{comment}
△ Less
Submitted 6 February, 2013;
originally announced February 2013.
-
A fast, high-order solver for the Grad-Shafranov equation
Authors:
Andras Pataki,
Antoine J. Cerfon,
Jeffrey P. Freidberg,
Leslie Greengard,
Michael O'Neil
Abstract:
We present a new fast solver to calculate fixed-boundary plasma equilibria in toroidally axisymmetric geometries. By combining conformal map** with Fourier and integral equation methods on the unit disk, we show that high-order accuracy can be achieved for the solution of the equilibrium equation and its first and second derivatives. Smooth arbitrary plasma cross-sections as well as arbitrary pr…
▽ More
We present a new fast solver to calculate fixed-boundary plasma equilibria in toroidally axisymmetric geometries. By combining conformal map** with Fourier and integral equation methods on the unit disk, we show that high-order accuracy can be achieved for the solution of the equilibrium equation and its first and second derivatives. Smooth arbitrary plasma cross-sections as well as arbitrary pressure and poloidal current profiles are used as initial data for the solver. Equilibria with large Shafranov shifts can be computed without difficulty. Spectral convergence is demonstrated by comparing the numerical solution with a known exact analytic solution. A fusion-relevant example of an equilibrium with a pressure pedestal is also presented.
△ Less
Submitted 7 October, 2012;
originally announced October 2012.
-
Quadrature by Expansion: A New Method for the Evaluation of Layer Potentials
Authors:
Andreas Klöckner,
Alexander Barnett,
Leslie Greengard,
Michael O'Neil
Abstract:
Integral equation methods for the solution of partial differential equations, when coupled with suitable fast algorithms, yield geometrically flexible, asymptotically optimal and well-conditioned schemes in either interior or exterior domains. The practical application of these methods, however, requires the accurate evaluation of boundary integrals with singular, weakly singular or nearly singula…
▽ More
Integral equation methods for the solution of partial differential equations, when coupled with suitable fast algorithms, yield geometrically flexible, asymptotically optimal and well-conditioned schemes in either interior or exterior domains. The practical application of these methods, however, requires the accurate evaluation of boundary integrals with singular, weakly singular or nearly singular kernels. Historically, these issues have been handled either by low-order product integration rules (computed semi-analytically), by singularity subtraction/cancellation, by kernel regularization and asymptotic analysis, or by the construction of special purpose "generalized Gaussian quadrature" rules. In this paper, we present a systematic, high-order approach that works for any singularity (including hypersingular kernels), based only on the assumption that the field induced by the integral operator is locally smooth when restricted to either the interior or the exterior. Discontinuities in the field across the boundary are permitted. The scheme, denoted QBX (quadrature by expansion), is easy to implement and compatible with fast hierarchical algorithms such as the fast multipole method. We include accuracy tests for a variety of integral operators in two dimensions on smooth and corner domains.
△ Less
Submitted 17 March, 2013; v1 submitted 18 July, 2012;
originally announced July 2012.
-
Undamped electrostatic plasma waves
Authors:
F. Valentini,
D. Perrone,
F. Califano,
F. Pegoraro,
P. Veltri,
P. J. Morrison,
T. M. O'Neil
Abstract:
Electrostatic waves in a collision-free unmagnetized plasma of electrons with fixed ions are investigated for electron equilibrium velocity distribution functions that deviate slightly from Maxwellian. Of interest are undamped waves that are the small amplitude limit of nonlinear excitations, such as electron acoustic waves (EAWs). A deviation consisting of a small plateau, a region with zero velo…
▽ More
Electrostatic waves in a collision-free unmagnetized plasma of electrons with fixed ions are investigated for electron equilibrium velocity distribution functions that deviate slightly from Maxwellian. Of interest are undamped waves that are the small amplitude limit of nonlinear excitations, such as electron acoustic waves (EAWs). A deviation consisting of a small plateau, a region with zero velocity derivative over a width that is a very small fraction of the electron thermal speed, is shown to give rise to new undamped modes, which here are named {\it corner modes}. The presence of the plateau turns off Landau dam** and allows oscillations with phase speeds within the plateau. These undamped waves are obtained in a wide region of the $(k,ω_{_R})$ plane ($ω_{_R}$ being the real part of the wave frequency and $k$ the wavenumber), away from the well-known `thumb curve' for Langmuir waves and EAWs based on the Maxwellian. Results of nonlinear Vlasov-Poisson simulations that corroborate the existence of these modes are described. It is also shown that deviations caused by fattening the tail of the distribution shift roots off of the thumb curve toward lower $k$-values and chop** the tail shifts them toward higher $k$-values. In addition, a rule of thumb is obtained for assessing how the existence of a plateau shifts roots off of the thumb curve. Suggestions are made for interpreting experimental observations of electrostatic waves, such as recent ones in nonneutral plasmas.
△ Less
Submitted 15 June, 2012;
originally announced June 2012.
-
A consistency condition for the vector potential in multiply-connected domains
Authors:
Charles L. Epstein,
Zydrunas Gimbutas,
Leslie Greengard,
Andreas Klöckner,
Michael O'Neil
Abstract:
A classical problem in electromagnetics concerns the representation of the electric and magnetic fields in the low-frequency or static regime, where topology plays a fundamental role. For multiply connected conductors, at zero frequency the standard boundary conditions on the tangential components of the magnetic field do not uniquely determine the vector potential. We describe a (gauge-invariant)…
▽ More
A classical problem in electromagnetics concerns the representation of the electric and magnetic fields in the low-frequency or static regime, where topology plays a fundamental role. For multiply connected conductors, at zero frequency the standard boundary conditions on the tangential components of the magnetic field do not uniquely determine the vector potential. We describe a (gauge-invariant) consistency condition that overcomes this non-uniqueness and resolves a longstanding difficulty in inverting the magnetic field integral equation.
△ Less
Submitted 18 March, 2012;
originally announced March 2012.
-
Creating and studying ion acoustic waves in ultracold neutral plasmas
Authors:
T. C. Killian,
P. McQuillen,
T. M. O'Neil,
J. Castro
Abstract:
We excite ion acoustic waves in ultracold neutral plasmas by imprinting density modulations during plasma creation. Laser-induced fluorescence is used to observe the density and velocity perturbations created by the waves. The effect of expansion of the plasma on the evolution of the wave amplitude is described by treating the wave action as an adiabatic invariant. After accounting for this effect…
▽ More
We excite ion acoustic waves in ultracold neutral plasmas by imprinting density modulations during plasma creation. Laser-induced fluorescence is used to observe the density and velocity perturbations created by the waves. The effect of expansion of the plasma on the evolution of the wave amplitude is described by treating the wave action as an adiabatic invariant. After accounting for this effect, we determine that the waves are weakly damped, but the dam** is significantly faster than expected for Landau dam**.
△ Less
Submitted 3 January, 2012;
originally announced January 2012.
-
On the efficient representation of the half-space impedance Green's function for the Helmholtz equation
Authors:
Michael O'Neil,
Leslie Greengard,
Andras Pataki
Abstract:
A classical problem in acoustic (and electromagnetic) scattering concerns the evaluation of the Green's function for the Helmholtz equation subject to impedance boundary conditions on a half-space. The two principal approaches used for representing this Green's function are the Sommerfeld integral and the (closely related) method of complex images. The former is extremely efficient when the source…
▽ More
A classical problem in acoustic (and electromagnetic) scattering concerns the evaluation of the Green's function for the Helmholtz equation subject to impedance boundary conditions on a half-space. The two principal approaches used for representing this Green's function are the Sommerfeld integral and the (closely related) method of complex images. The former is extremely efficient when the source is at some distance from the half-space boundary, but involves an unwieldy range of integration as the source gets closer and closer. Complex image-based methods, on the other hand, can be quite efficient when the source is close to the boundary, but they do not easily permit the use of the superposition principle since the selection of complex image locations depends on both the source and the target. We have developed a new, hybrid representation which uses a finite number of real images (dependent only on the source location) coupled with a rapidly converging Sommerfeld-like integral. While our method applies in both two and three dimensions, we restrict the detailed analysis and numerical experiments here to the two-dimensional case.
△ Less
Submitted 27 November, 2012; v1 submitted 29 September, 2011;
originally announced September 2011.
-
Debye Sources and the Numerical Solution of the Time Harmonic Maxwell Equations, II
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
In this paper, we develop a new integral representation for the solution of the time harmonic Maxwell equations in media with piecewise constant dielectric permittivity and magnetic permeability in R^3. This representation leads to a coupled system of Fredholm integral equations of the second kind for four scalar densities supported on the material interface. Like the classical Muller equation, it…
▽ More
In this paper, we develop a new integral representation for the solution of the time harmonic Maxwell equations in media with piecewise constant dielectric permittivity and magnetic permeability in R^3. This representation leads to a coupled system of Fredholm integral equations of the second kind for four scalar densities supported on the material interface. Like the classical Muller equation, it has no spurious resonances. Unlike the classical approach, however, the representation does not suffer from low frequency breakdown. We illustrate the performance of the method with numerical examples.
△ Less
Submitted 16 May, 2011;
originally announced May 2011.