Automatic linearity detectionReportar como inadecuado

Automatic linearity detection - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Reference: Asgeir Birkisson and Tobin A. Driscoll, (2013). Automatic linearity detection. SICS.Citable link to this page:


Automatic linearity detection

Abstract: Given a function, or more generally an operator, the question Is it linear? seems simple to answer. In many applications of scientific computing it might be worth determining the answer to this question in an automated way; some functionality, such as operator exponentiation, is only defined for linear operators, and in other problems, time saving is available if it is known that the problem being solved is linear. Linearity detection is closely connected to sparsity detection of Hessians, so for large-scale applications, memory savings can be made if linearity information is known. However, implementing such an automated detection is not as straightforward as one might expect. This paper describes how automatic linearity detection can be implemented in combination with automatic differentiation, both for standard scientific computing software, and within the Chebfun software system. The key ingredients for the method are the observation that linear operators have constant derivatives, and the propagation of two logical vectors, $\ell$ and $c$, as computations are carried out. The values of $\ell$ and $c$ are determined by whether output variables have constant derivatives and constant values with respect to each input variable. The propagation of their values through an evaluation trace of an operator yields the desired information about the linearity of that operator.

Bibliographic Details

Issue Date: 2013-02Identifiers

Urn: uuid:fb4e5808-293c-4d15-b15a-5f00bca54543 Item Description

Type: Technical Report;


Autor: Asgeir Birkisson - - - Tobin A. Driscoll - - - - Bibliographic Details Issue Date: 2013-02 - Identifiers Urn: uuid:fb4e5808-293c-



Documentos relacionados