Source author record

Abraham D. Smith

Abraham D. Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
5topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2020arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.