Assignments to sheaves of pseudometric spaces

An assignment to a sheaf is the choice of a local section from each open set in the sheaf's base space, without regard to how these local sections are related to one another. This article explains that the consistency radius --- which quantifies the agreement between overlapping local sections in the assignment --- is a continuous map. When thresholded, the consistency radius produces the consistency filtration, which is a filtration of open covers. This article shows that the consistency filtration is a functor that transforms the structure of the sheaf and assignment into a nested set of covers in a structure-preserving way. Furthermore, this article shows that consistency filtration is robust to perturbations, establishing its validity for arbitrarily thresholded, noisy data.

[1]  R. Ghrist.  Barcodes: The persistent topology of data , 2007 .

[2]  Wlodek Zadrozny,et al.  A Sheaf Model of Contradictions and Disagreements. Preliminary Report and Discussion , 2018, ArXiv.

[3]  Michael Robinson.  Analyzing wireless communication network vulnerability with homological invariants , 2014, 2014 IEEE Global Conference on Signal and Information Processing (GlobalSIP).

[4]  Michael Robinson,et al.  Imaging geometric graphs using internal measurements , 2016 .

[5]  Vadim Shapiro,et al.  Combinatorial models for heterogeneous system composition and analysis , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[6]  Jörg Schürmann,et al.  Topology of Singular Spaces and Constructible Sheaves , 2004 .

[7]  Miradain Atontsa Nguemo,et al.  Sheaf cohomology on network codings: maxflow-mincut theorem , 2017 .

[8]  Seyed M.-H. Mansourbeigi.  Sheaf Theory as a Mathematical Foundation for Distributed Applications Involving Heterogeneous Data Sets , 2018, 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA).

[9]  Gunnar E. Carlsson,et al.  Topological estimation using witness complexes , 2004, PBG.

[10]  Grant Malcolm,et al.  Sheaves, Objects, and Distributed Systems , 2006, MFCSIT.

[11]  Michael Robinson,et al.  Asynchronous Logic Circuits and Sheaf Obstructions , 2010, GETCO.

[12]  Michael Robinson,et al.  Sheaf and Duality Methods for Analyzing Multi-Model Systems , 2016, 1604.04647.

[13]  J. Curry.  Sheaves, Cosheaves and Applications , 2013, 1303.3255.

[14]  Afra Zomorodian,et al.  Computing Persistent Homology , 2005, Discret. Comput. Geom..

[15]  S. M. Mansourbeigi.  Sheaf Theory Approach to Distributed Applications: Analysing Heterogeneous Data in Air Traffic Monitoring , 2017 .

[16]  Herbert Edelsbrunner,et al.  Topological persistence and simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[17]  Joseph A. Goguen,et al.  Sheaf semantics for concurrent interacting objects , 1992, Mathematical Structures in Computer Science.

[18]  Michael Robinson,et al.  Topological Signal Processing , 2014 .

[19]  Ulrich Bauer,et al.  Induced Matchings of Barcodes and the Algebraic Stability of Persistence , 2013, SoCG.

[20]  Kohei Kishida,et al.  Contextuality, Cohomology and Paradox , 2015, CSL.

[21]  Robert Ghrist,et al.  Discrete Morse Theory for Computing Cellular Sheaf Cohomology , 2013, Foundations of Computational Mathematics.

[22]  Sanjeevi Krishnan,et al.  A topological max-flow-min-cut theorem , 2013, 2013 IEEE Global Conference on Signal and Information Processing.

[23]  Brenda Praggastis.  Maximal Sections of Sheaves of Data over an Abstract Simplicial Complex , 2016, ArXiv.

[24]  Samson Abramsky,et al.  The sheaf-theoretic structure of non-locality and contextuality , 2011, 1102.0264.

[25]  Konstantin Mischaikow,et al.  A comparison framework for interleaved persistence modules , 2018, Journal of Applied and Computational Topology.

[26]  Michael Robinson,et al.  Sheaves are the canonical data structure for sensor integration , 2017, Inf. Fusion.