arXiv subjects

Abraham D. Smith

Publications and source records attributed to Abraham D. Smith.

7 recordsLinked to original sources

arXiv2023

Topological Parallax: A Geometric Specification for Deep Perception Models

For safety and robustness of AI systems, we introduce topological parallax as a theoretical and computational tool that compares a trained model to a reference dataset to determine whether they have similar multiscale geometric structure. Our proofs and examples show that this geometric similarity between dataset and model is essential to trustworthy interpolation and perturbation, and we conjecture that this new concept will add value to the current debate regarding the unclear relationship between overfitting and generalization in applications of deep-learning. In typical DNN applications, an explicit geometric description of the model is impossible, but parallax can estimate topological features (components, cycles, voids, etc.) in the model by examining the effect on the Rips complex of geodesic distortions using the reference dataset. Thus, parallax indicates whether the model shares similar multiscale geometric features with the dataset. Parallax presents theoretically via topological data analysis [TDA] as a bi-filtered persistence module, and the key properties of this module are stable under perturbation of the reference dataset.

cs.LG↗

arXiv2020

Persistent Obstruction Theory for a Model Category of Measures with Applications to Data Merging

Collections of measures on compact metric spaces form a model category ("data complexes"), whose morphisms are marginalization integrals. The fibrant objects in this category represent collections of measures in which there is a measure on a product space that marginalizes to any measures on pairs of its factors. The homotopy and homology for this category allow measurement of obstructions to finding measures on larger and larger product spaces. The obstruction theory is compatible with a fibrant filtration built from the Wasserstein distance on measures. Despite the abstract tools, this is motivated by a widespread problem in data science. Data complexes provide a mathematical foundation for semi-automated data-alignment tools that are common in commercial database software. Practically speaking, the theory shows that database JOIN operations are subject to genuine topological obstructions. Those obstructions can be detected by an obstruction cocycle and can be resolved by moving through a filtration. Thus, any collection of databases has a persistence level, which measures the difficulty of JOINing those databases. Because of its general formulation, this persistent obstruction theory also encompasses multi-modal data fusion problems, some forms of Bayesian inference, and probability couplings.

math.AT↗

arXiv2018

Involutive Tableaux, Characteristic Varieties, and Rank-one Varieties in the Geometric Study of PDEs

This expository monograph cuts a short path from the common, elementary background in geometry (linear algebra, vector bundles, and algebraic ideals) to the most advanced theorems about involutive exterior differential systems: (1) The incidence correspondence of the characteristic variety, (2) Guillemin normal form and Quillen's thesis, (3) The Integrability of Characteristics by Guillemin, Quillen, Sternberg, and Gabber, and (4) Yang's Hyperbolicity Criterion. To do so, the geometric theory of PDEs is reinterpreted as the study of smooth sub-bundles of the Grassmann bundle, whereby the rank-1 variety is emphasized. The primary computational tool is an enhanced formulation of Guillemin normal form that is equivalent to involutivity of tableaux.

math.DG↗

arXiv2015

Constructing Involutive Tableaux with Guillemin Normal Form

Involutivity is the algebraic property that guarantees solutions to an analytic and torsion-free exterior differential system or partial differential equation via the Cartan-Kähler theorem. Guillemin normal form establishes that the prolonged symbol of an involutive system admits a commutativity property on certain subspaces of the prolonged tableau. This article examines Guillemin normal form in detail, aiming at a more systematic approach to classifying involutive systems. The main result is an explicit quadratic condition for involutivity of the type suggested but not completed in Chapter IV, §5 of the book Exterior Differential Systems by Bryant, Chern, Gardner, Goldschmidt, and Griffiths. This condition enhances Guillemin normal form and characterizes involutive tableaux.

math.AP↗

arXiv2014

Degeneracy of the Characteristic Variety

The characteristic variety plays an important role in the analysis of the solution space of partial differential equations and exterior differential systems. This article studies the linear span of this variety, measuring its dimension via an integrable extension of the original system. In the PDE case with locally constant characteristic variety, this extension yields a recursive version of Guillemin normal form, inducing a sequence of foliations on integral manifolds.

math.AP↗

arXiv2010

Integrable GL(2) Geometry and Hydrodynamic Partial Differential Equations

This article is a local analysis of integrable GL(2)-structures of degree 4. A GL(2)-structure of degree n corresponds to a distribution of rational normal cones over a manifold M of dimension (n+1). Integrability corresponds to the existence of many submanifolds that are spanned by lines in the cones. These GL(2)-structures are important because they naturally arise from a certain family of second-order hyperbolic PDEs in three variables that are integrable via hydrodynamic reduction. Familiar examples include the wave equation, the first flow of the dKP equation, and the Boyer--Finley equation. The main results are a structure theorem for integrable GL(2)-structures, a classification for connected integrable GL(2)-structures, and an equivalence between local integrable GL(2)-structures and Hessian hydrodynamic hyperbolic PDEs in three variables. This yields natural geometric characterizations of the wave equation, the first flow of the dKP hierarchy, and several others. It also provides an intrinsic, coordinate-free infrastructure to describe a large class of hydrodynamic integrable systems in three variables.

math.DG↗

arXiv2010

A Geometry for Second-Order PDEs and their Integrability, Part I

For the purpose of understanding second-order scalar PDEs and their hydrodynamic integrability, we introduce G-structures that are induced on hypersurfaces of the space of symmetric matrices (interpreted as the fiber of second-order jet space) and are defined by non-degenerate scalar second-order-only (Hessian) PDEs in any number of variables. The fiber group is a conformal orthogonal group that acts on the space of independent variables, and it is a subgroup of the conformal orthogonal group for a semi-Riemannian metric that exists on the PDE. These G-structures are automatically compatible with the definition of hydrodynamic integrability, so they allow contact-invariant analysis of integrability via moving frames and the Cartan--Kaehler theorem. They directly generalize the GL(2)-structures that arise in the case of Hessian hyperbolic equations in three variables as well as several related geometries that appear in the literature on hydrodynamic integrability. Part I primarily discusses the motivation, the definition, and the solution to the equivalence problem, and Part II will discuss integrability in detail.

math.DG↗