-
Towards Full-Fledged Argument Search: A Framework for Extracting and Clustering Arguments from Unstructured Text
Authors:
Michael Färber,
Anna Steyer
Abstract:
Argument search aims at identifying arguments in natural language texts. In the past, this task has been addressed by a combination of keyword search and argument identification on the sentence- or document-level. However, existing frameworks often address only specific components of argument search and do not address the following aspects: (1) argument-query matching: identifying arguments that f…
▽ More
Argument search aims at identifying arguments in natural language texts. In the past, this task has been addressed by a combination of keyword search and argument identification on the sentence- or document-level. However, existing frameworks often address only specific components of argument search and do not address the following aspects: (1) argument-query matching: identifying arguments that frame the topic slightly differently than the actual search query; (2) argument identification: identifying arguments that consist of multiple sentences; (3) argument clustering: selecting retrieved arguments by topical aspects. In this paper, we propose a framework for addressing these shortcomings. We suggest (1) to combine the keyword search with precomputed topic clusters for argument-query matching, (2) to apply a novel approach based on sentence-level sequence-labeling for argument identification, and (3) to present aggregated arguments to users based on topic-aware argument clustering. Our experiments on several real-world debate data sets demonstrate that density-based clustering algorithms, such as HDBSCAN, are particularly suitable for argument-query matching. With our sentence-level, BiLSTM-based sequence-labeling approach we achieve a macro F1 score of 0.71. Finally, evaluating our argument clustering method indicates that a fine-grained clustering of arguments by subtopics remains challenging but is worthwhile to be explored.
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
Convergence of the harmonic balance method for smooth Hilbert space valued differential-algebraic equations
Authors:
Andrew Steyer,
Robert J. Kuether
Abstract:
We analyze the convergence of the harmonic balance method for computing isolated periodic solutions of a large class of continuously differentiable Hilbert space valued differential-algebraic equations (DAEs). We establish asymptotic convergence estimates for (i) the approximate periodic solution in terms of the number of approximated harmonics and (ii) the inexact Newton method used to compute th…
▽ More
We analyze the convergence of the harmonic balance method for computing isolated periodic solutions of a large class of continuously differentiable Hilbert space valued differential-algebraic equations (DAEs). We establish asymptotic convergence estimates for (i) the approximate periodic solution in terms of the number of approximated harmonics and (ii) the inexact Newton method used to compute the approximate Fourier coefficients. The convergence estimates are deter-mined by the rate of convergence of the Fourier series of the exact solution and the structure of the DAE. Both the case that the period is known and unknown are analyzed, where in the latter case we require enforcing an appropriately defined phase condition. The theoretical results are illustrated with several numerical experiments from circuit modeling and structural dynamics.
△ Less
Submitted 24 November, 2021;
originally announced November 2021.
-
Frictional anisotropy of 3D-printed fault surfaces
Authors:
Tom Vincent-Dospital,
Alain Steyer,
François Renard,
Renaud Toussaint
Abstract:
The surface morphology of faults controls the spatial anisotropy of their frictional properties, and hence their mechanical stability. Such anisotropy is only rarely studied in seismology models of fault slip, although it might be paramount to understand the seismic rupture in particular areas, notably where slip occurs in a direction different from that of the main striations of the fault. To qua…
▽ More
The surface morphology of faults controls the spatial anisotropy of their frictional properties, and hence their mechanical stability. Such anisotropy is only rarely studied in seismology models of fault slip, although it might be paramount to understand the seismic rupture in particular areas, notably where slip occurs in a direction different from that of the main striations of the fault. To quantify how the anisotropy of fault surfaces affects the friction coefficient during sliding, we sheared synthetic fault planes made of plaster of Paris. These fault planes were produced by 3D-printing real striated fault surfaces whose 3D roughness was measured in the field at spatial scales from millimeters to meters. Here, we show how the 3D-printing technology can help for the study of frictional slip. Results show that fault anisotropy controls the coefficient of static friction, with the friction coefficient along the striations being three to four times smaller than the friction coefficient along the direction perpendicular to the striations. This is true both at the meter and the millimeter scales. The anisotropy in friction and the average coefficient of static friction are also shown to decrease with the normal stress applied to the faults, as a result of the increased surface wear under increased loading.
△ Less
Submitted 8 February, 2021; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Photonic-chip assisted correlative light and electron microscopy
Authors:
Jean-Claude Tinguely,
Anna Maria Steyer,
Cristina Ionica Øie,
Øystein Ivar Helle,
Firehun Tsige Dullo,
Randi Olsen,
Peter McCourt,
Yannick Schwab,
Balpreet Singh Ahluwalia
Abstract:
Correlative light-electron microscopy (CLEM) unifies the versatility of light microscopy (LM) with the high resolution of electron microscopy (EM), allowing one to zoom into the complex organization of cells. Most CLEM techniques use ultrathin sections, and thus lack the 3D-EM structural information, and focusing on a very restricted field of view. Here, we introduce photonic chip assisted CLEM, e…
▽ More
Correlative light-electron microscopy (CLEM) unifies the versatility of light microscopy (LM) with the high resolution of electron microscopy (EM), allowing one to zoom into the complex organization of cells. Most CLEM techniques use ultrathin sections, and thus lack the 3D-EM structural information, and focusing on a very restricted field of view. Here, we introduce photonic chip assisted CLEM, enabling multi-modal total internal reflection fluorescence (TIRF) microscopy over large field of view and high precision localization of the target area of interest within EM. The chip-based direct stochastic optical reconstruction microscopy (dSTORM), and 3D high precision correlation of biological processes by focused ion beam-scanning electron microscopy (FIB-SEM) is further demonstrated. The core layer of the photonic chips are used as a substrate to hold, to illuminate and the cladding layer is used to enable high-precision landmarking of the sample through specially designed grid-like numbering systems. The landmarks are fabricated on the cladding of the photonic chips as extruding pillars from the waveguide surface, thus remaining visible for FIB-SEM after resin embedding during sample processing. Using this approach we demonstrate its applicability for tracking the area of interest, imaging the 3D structural organization of nano-sized morphological features on liver sinusoidal endothelial cells such as fenestrations, and correlating specific endo-lysosomal compartments with its cargo protein upon endocytosis. We envisage that photonic chip equipped with landmarks can be used in the future to automatize the work-flow for both LM and EM for high-throughput CLEM, providing the resolution needed for insights into the complex intracellular communication and the relation between morphology and function in health and disease.
△ Less
Submitted 16 November, 2019;
originally announced November 2019.
-
An energy consistent discretization of the nonhydrostatic equations in primitive variables
Authors:
Mark A. Taylor,
Oksana Guba,
Andrew Steyer,
Paul Ullrich,
David Hall,
Christopher Eldred
Abstract:
We derive a formulation of the nonhydrostatic equations in spherical geometry with a Lorenz staggered vertical discretization. The combination conserves a discrete energy in exact time integration when coupled with a mimetic horizontal discretization. The formulation is a version of Dubos and Tort (2014) rewritten in terms of primitive variables. It is valid for terrain following mass or height co…
▽ More
We derive a formulation of the nonhydrostatic equations in spherical geometry with a Lorenz staggered vertical discretization. The combination conserves a discrete energy in exact time integration when coupled with a mimetic horizontal discretization. The formulation is a version of Dubos and Tort (2014) rewritten in terms of primitive variables. It is valid for terrain following mass or height coordinates and for both Eulerian or vertically Lagrangian discretizations. The discretization relies on an extension to Simmons and Burridge (1981) vertical differencing which we show obeys a discrete derivative product rule. This product rule allows us to simplify the treatment of the vertical transport terms. Energy conservation is obtained via a term-by-term balance in the kinetic, internal and potential energy budgets, ensuring an energy-consistent discretization with no spurious sources of energy. We demonstrate convergence with respect to time truncation error in a spectral element code with a HEVI IMEX timestep** algorithm
△ Less
Submitted 12 August, 2019;
originally announced August 2019.
-
Efficient IMEX Runge-Kutta methods for nonhydrostatic dynamics
Authors:
Andrew Steyer,
Christopher J. Vogl,
Mark Taylor,
Oksana Guba
Abstract:
We analyze the stability and accuracy (up to third order) of a new family of implicit-explicit Runge-Kutta (IMEX RK) methods. This analysis expedites development of methods with various balances in the number of explicit stages and implicit solves. We emphasize deriving methods with large stability regions for horizontally explicit vertically implicit (HEVI) partitionings of nonhydrostatic atmosph…
▽ More
We analyze the stability and accuracy (up to third order) of a new family of implicit-explicit Runge-Kutta (IMEX RK) methods. This analysis expedites development of methods with various balances in the number of explicit stages and implicit solves. We emphasize deriving methods with large stability regions for horizontally explicit vertically implicit (HEVI) partitionings of nonhydrostatic atmosphere models. The IMKG2 and IMKG3 families of IMEX RK methods are formulated within this framework. The HOMME-NH model with a HEVI partitioning is used for testing the accuracy and stability of various IMKG2-3 methods. The efficiency of several IMKG2-3 methods is demonstrated in HOMME-NH and compared to other IMEX RK methods in the literature.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
Evaluation of Implicit-Explicit Additive Runge-Kutta Integrators for the HOMME-NH Dynamical Core
Authors:
Christopher J. Vogl,
Andrew Steyer,
Daniel R. Reynolds,
Paul A. Ullrich,
Carol S. Woodward
Abstract:
The nonhydrostatic High Order Method Modeling Environment (HOMME-NH) atmospheric dynamical core supports acoustic waves that propagate significantly faster than the advective wind speed, thus greatly limiting the timestep size that can be used with standard explicit time-integration methods. Resolving acoustic waves is unnecessary for accurate climate and weather prediction. This numerical stiffne…
▽ More
The nonhydrostatic High Order Method Modeling Environment (HOMME-NH) atmospheric dynamical core supports acoustic waves that propagate significantly faster than the advective wind speed, thus greatly limiting the timestep size that can be used with standard explicit time-integration methods. Resolving acoustic waves is unnecessary for accurate climate and weather prediction. This numerical stiffness is addressed herein by considering implicit-explicit additive Runge-Kutta (ARK IMEX) methods that can treat the acoustic waves in a stable manner without requiring implicit treatment of non-stiff modes. Various ARK IMEX methods are evaluated for their efficiency in producing accurate solutions, ability to take large timestep sizes, and sensitivity to grid cell length ratio. Both the Gravity Wave test and Baroclinic Instability test from the 2012 Dynamical Core Model Intercomparison Project (DCMIP) are used to recommend 5 of the 27 ARK IMEX methods for use in HOMME-NH.
△ Less
Submitted 4 December, 2019; v1 submitted 22 April, 2019;
originally announced April 2019.
-
Test equations and linear stability of implicit-explicit general linear methods
Authors:
Andrew J. Steyer
Abstract:
Eigenvalue perturbation theory is applied to justify using complex-valued linear scalar test equations to characterize the stability of implicit-explicit general linear methods (IMEX GLMs) solving autonomous linear ordinary differential equations (ODEs) when the implicitly treated term is sufficiently stiff relative to the explicitly treated term. The stiff and non-stiff matrices are not assumed t…
▽ More
Eigenvalue perturbation theory is applied to justify using complex-valued linear scalar test equations to characterize the stability of implicit-explicit general linear methods (IMEX GLMs) solving autonomous linear ordinary differential equations (ODEs) when the implicitly treated term is sufficiently stiff relative to the explicitly treated term. The stiff and non-stiff matrices are not assumed to be simultaneously diagonalizable or triangularizable and neither matrix is assumed to be symmetric or negative definite. The stability of IMEX GLMs solving complex-valued scalar linear ODEs displaying parabolic and hyperbolic stiffness is analyzed and related to the higher dimensional theory. The utility of the theoretical results is highlighted with a stability analysis of a family of IMEX Runge-Kutta methods solving IVPs of a linear 2D shallow-water model and a linear 1D advection-diffusion model.
△ Less
Submitted 13 August, 2019; v1 submitted 19 June, 2018;
originally announced June 2018.
-
Underlying one-step methods and nonautonomous stability of general linear methods
Authors:
Andrew J. Steyer,
Erik S. Van Vleck
Abstract:
We generalize the theory of underlying one-step methods to strictly stable general linear methods (GLMs) solving nonautonomous ordinary differential equations (ODEs) that satisfy a global Lipschitz condition. We combine this theory with the Lyapunov and Sacker-Sell spectral stability theory for one-step methods developed in [34,35,36] to analyze the stability of a strictly stable GLM solving a non…
▽ More
We generalize the theory of underlying one-step methods to strictly stable general linear methods (GLMs) solving nonautonomous ordinary differential equations (ODEs) that satisfy a global Lipschitz condition. We combine this theory with the Lyapunov and Sacker-Sell spectral stability theory for one-step methods developed in [34,35,36] to analyze the stability of a strictly stable GLM solving a nonautonomous linear ODE. These results are applied to develop a stability diagnostic for the solution of nonautonomous linear ODEs by strictly stable GLMs.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
Projected Shadowing-based Data Assimilation
Authors:
Bart de Leeuw,
Svetlana Dubinkina,
Jason Frank,
Andrew Steyer,
Xuemin Tu,
Erik Van Vleck
Abstract:
In this article we develop algorithms for data assimilation based upon a computational time dependent stable/unstable splitting. Our particular method is based upon shadowing refinement and synchronization techniques and is motivated by work on Assimilation in the Unstable Subspace (AUS) and Pseudo-orbit Data Assimilation (PDA). The algorithm utilizes time dependent projections onto the non-stable…
▽ More
In this article we develop algorithms for data assimilation based upon a computational time dependent stable/unstable splitting. Our particular method is based upon shadowing refinement and synchronization techniques and is motivated by work on Assimilation in the Unstable Subspace (AUS) and Pseudo-orbit Data Assimilation (PDA). The algorithm utilizes time dependent projections onto the non-stable subspace determined by employing computational techniques for Lyapunov exponents/vectors. The method is extended to parameter estimation without changing the problem dynamics and we address techniques for adapting the method when (as is commonly the case) observations are not available in the full model state space. We use a combination of analysis and numerical experiments (with the Lorenz 63 and Lorenz 96 models) to illustrate the efficacy of the techniques and show that the results compare favorably with other variational techniques.
△ Less
Submitted 28 July, 2017;
originally announced July 2017.
-
Detecting transient rate-tip** using Steklov averages and Lyapunov vectors
Authors:
Alanna Hoyer-Leitzel,
Alice Nadeau,
Andrew Roberts,
Andrew Steyer
Abstract:
A wide variety of physical systems ranging from the firing of neurons to eutrophication of lakes to the presence of Arctic summer sea ice exhibit a phenomenon known as tip**. In mathematical models, tip** can be caused by bifurcations, noise, and the rate at which parameters are changing in time [2]. Because traditional methods in dynamical systems are usually concerned with the long-term beha…
▽ More
A wide variety of physical systems ranging from the firing of neurons to eutrophication of lakes to the presence of Arctic summer sea ice exhibit a phenomenon known as tip**. In mathematical models, tip** can be caused by bifurcations, noise, and the rate at which parameters are changing in time [2]. Because traditional methods in dynamical systems are usually concerned with the long-term behavior of the system, these methods are not always able to detect the transient dynamics characteristic of rate-tip**. In this paper, we consider one- and two-dimensional dynamical systems with nonautonomous parameters that exhibit rate-tip**, as defined as not tracking the evolution of stable equilibria (QSEs) in the corresponding autonomous systems. We find that nonautonomous stability spectra in the form of Steklov averages and their derivatives appear to be correlated with transient rate-tip** in systems with unique QSEs or with parameters that change at a constant rate. Furthermore, for systems in two dimensions and higher, comparison of the angle between leading Lyapunov vectors of different trajectories admits a possible criterion for detecting rate-tip**. Our heuristic results add to the body of work dedicated to studying and understanding the phenomenon of rate-tip**.
△ Less
Submitted 12 March, 2018; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Non-Autonomous Inertial Manifold Reduction
Authors:
Yu-Min Chung,
Andrew J. Steyer,
Erik S. Van Vleck
Abstract:
Techniques are developed for decoupling dissipative differential equations. The approach considered is based upon obtaining a sufficient gap in the time dependent linear portion of the equation that corresponds to the linear variational equation. This is done using an orthogonal change of variables that has proven useful in the computation of Lyapunov to decompose the differential equation in term…
▽ More
Techniques are developed for decoupling dissipative differential equations. The approach considered is based upon obtaining a sufficient gap in the time dependent linear portion of the equation that corresponds to the linear variational equation. This is done using an orthogonal change of variables that has proven useful in the computation of Lyapunov to decompose the differential equation in terms of slow and fast variables. Numerically this is accomplished in our implementation using smooth, time dependent Householder reflectors. The the nonlinear decoupling transformation or inertial manifold is obtained by solving a boundary value problem (BVP) which allows for a Newton iteration as opposed to the traditional Lyapunov-Perron approach via a fixed point iteration. Finally, the efficacy of the technique is shown using some challenging examples.
△ Less
Submitted 28 November, 2015;
originally announced November 2015.
-
Global Error Analysis and Inertial Manifold Reduction
Authors:
Yu-Min Chung,
Andrew Steyer,
Michael Tubbs,
Erik S. Van Vleck,
Mihir Vedantam
Abstract:
Four types of global error for initial value problems are considered in a common framework. They include classical forward error analysis and shadowing error analysis together with extensions of both to rescaling of time. To determine the amplification of the local error that bounds the global error we present a linear analysis similar in spirit to condition number estimation for linear systems of…
▽ More
Four types of global error for initial value problems are considered in a common framework. They include classical forward error analysis and shadowing error analysis together with extensions of both to rescaling of time. To determine the amplification of the local error that bounds the global error we present a linear analysis similar in spirit to condition number estimation for linear systems of equations. We combine these ideas with techniques for dimension reduction of differential equations via a boundary value formulation of numerical inertial manifold reduction. These global error concepts are exercised to illustrate their utility on the Lorenz equations and inertial manifold reductions of the Kuramoto-Sivashinsky equation.
△ Less
Submitted 28 November, 2015;
originally announced November 2015.
-
A Lyapunov and Sacker-Sell spectral stability theory for one-step methods
Authors:
Andrew J. Steyer,
Erik S. Van Vleck
Abstract:
Approximation theory for Lyapunov and Sacker-Sell spectra based upon QR techniques is used to analyze the stability of a one-step method solving a time-dependent, linear, ordinary differential equation (ODE) initial value problem in terms of the local error. Integral separation is used to characterize the conditioning of stability spectra calculations. In an approximate sense the stability of the…
▽ More
Approximation theory for Lyapunov and Sacker-Sell spectra based upon QR techniques is used to analyze the stability of a one-step method solving a time-dependent, linear, ordinary differential equation (ODE) initial value problem in terms of the local error. Integral separation is used to characterize the conditioning of stability spectra calculations. In an approximate sense the stability of the numerical solution by a one-step method of a time-dependent linear ODE using real-valued, scalar, time-dependent, linear test equations is justified. This analysis is used to approximate exponential growth/decay rates on finite and infinite time intervals and establish global error bounds for one-step methods approximating uniformly stable trajectories of nonautonomous and nonlinear ODEs. A time-dependent stiffness indicator and a one-step method that switches between explicit and implicit Runge-Kutta methods based upon time-dependent stiffness are developed based upon the theoretical results.
△ Less
Submitted 6 September, 2017; v1 submitted 28 November, 2015;
originally announced November 2015.