BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael Robinson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This report presents a connection between the physical acoustics of an object and the topology of the space of echoes resulting from a circular synthetic aperture sonar (CSAS) collection of that object. A simple theoretical model is developed that yields a precise, yet qualitative, description of the space of echoes. This theoretical model is validated in simulation and with experimental data from a laboratory sonar system.
This article explains an optimization-based approach for counting and localizing stars within a small cluster, based on photon counts in a focal plane array. The array need not be arranged in any particular way, and relatively small numbers of photons are required in order to ensure convergence. The stars can be located close to one another, as the location and brightness errors were found to be low when the separation was larger than $0.2$ Rayleigh radii. To ensure generality of our approach, it was constructed as a special case of a general theory built upon topological signal processing using the mathematics of sheaves.
The Dowker complex is an abstract simplicial complex that is constructed from a binary relation in a straightforward way. Although there are two ways to perform this construction -- vertices for the complex are either the rows or the columns of the matrix representing the relation -- the two constructions are homotopy equivalent. This article shows that the construction of a Dowker complex from a relation is a non-faithful covariant functor. Furthermore, we show that this functor can be made faithful by enriching the construction into a cosheaf on the Dowker complex. The cosheaf can be summarized by an integer weight function on the Dowker complex that is a complete isomorphism invariant for the relation. The cosheaf representation of a relation actually embodies both Dowker complexes, and we construct a duality functor that exchanges the two complexes. Finally, we explore a different cosheaf that detects the failure of the Dowker complex itself to be a faithful functor.
We introduce topological differential testing (TDT), an approach to extracting the consensus behavior of a set of programs on a corpus of inputs. TDT uses the topological notion of a simplicial complex (and implicitly draws on richer topological notions such as sheaves and persistence) to determine inputs that cause inconsistent behavior and in turn reveal \emph{de facto} input specifications. We gently introduce TDT with a toy example before detailing its application to understanding the PDF file format from the behavior of various parsers. Finally, we discuss theoretical details and other possible applications.
We give an idiosyncratic overview of applications of topology to cyber research, spanning the analysis of variables/assignments and control flow in computer programs, a brief sketch of topological data analysis in one dimension, and the use of sheaves to analyze wireless networks. The text is from a chapter in the forthcoming book Mathematics in Cyber Research, to be published by Taylor and Francis.
Consider the case of many sensors, each returning very different types of data (e.g., a camera returning images, a thermometer returning probability distributions, a newspaper returning articles, a traffic counter returning numbers). Additionally we have a set of questions, or variables, that we wish to use these sensors to inform (e.g., temperature, location, crowd size, topic). Rather than using one sensor to inform each variable we wish to integrate these sources of data to get more robust and complete information. The problem, of course, is how to inform a variable, e.g., crowd size, using a number, a newspaper article, and an image. How do we integrate these very different types of information? Michael Robinson proposes that sheaf theory is the canonical answer. Moreover, one of the axioms in Robinson's paper which makes sheaf theory work for data integration is that all data sources have the structure of a vector space. Therefore, the motivating question for everything in this report is "How do we interpret arbitrary sensor output as a vector space with the intent to integrate?"
This article presents a two-stage topological algorithm for recovering an estimate of a quasiperiodic function from a set of noisy measurements. The first stage of the algorithm is a topological phase estimator, which detects the quasiperiodic structure of the function without placing additional restrictions on the function. By respecting this phase estimate, the algorithm avoids creating distortion even when it uses a large number of samples for the estimate of the function.
This article explains how to construct a sheaf model for passing traffic through a wireless network with a single channel carrier sense multiple access/collision detection (CSMA/CD) media access model.
This article explains how to construct a protocol-independent model for passing traffic through a wireless network with a single channel carrier sense multiple access/collision detection (CSMA/CD) media access model.
There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model consists of spaces and maps between them -- the most readily apparent feature of a multi-model system is its topology. We propose that this topology should be modeled first, and then the spaces and maps of the individual models be specified in accordance with the topology. Axiomatically, this construction leads to sheaves. Sheaf theory provides a toolbox for constructing predictive models described by systems of equations. Sheaves are mathematical objects that manage the combination of bits of local information into a consistent whole. The power of this approach is that complex models can be assembled from smaller, easier-to-construct models. The models discussed in this chapter span the study of continuous dynamical systems, partial differential equations, probabilistic graphical models, and discrete approximations of these models.
A sensor integration framework should be sufficiently general to accurately represent all information sources, and also be able to summarize information in a faithful way that emphasizes important, actionable information. Few approaches adequately address these two discordant requirements. The purpose of this expository paper is to explain why sheaves are the canonical data structure for sensor integration and how the mathematics of sheaves satisfies our two requirements. We outline some of the powerful inferential tools that are not available to other representational frameworks.
Chirped sinosoids and interferometric phase plots are functions that are not periodic, but are the composition of a smooth function and a periodic function. These functions functions factor into a pair of maps: from their domain to a circle, and from a circle to their codomain. One can easily imagine replacing the circle with other phase spaces to obtain a general quasiperiodic function. This paper shows that under appropriate restrictions, each quasiperiodic function has a unique universal factorization. Quasiperiodic functions can therefore be classified based on their phase space and the phase function mapping into it.
Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis. The reliance on geometry and analysis means that the results are geometrically rigid. There is a subtle interplay between the topology of the domain of the functions being sampled, and the class of functions themselves. Bandlimited functions are somewhat limiting; often one wishes to sample from other classes of functions. The correct topological tool for modeling all of these situations is the sheaf; a tool which allows local structure and consistency to derive global inferences. This chapter develops a general sampling theory for sheaves using the language of exact sequences, recovering the Shannon-Nyquist theorem as a special case. It presents sheaf-theoretic approach by solving several different sampling problems involving non-bandlimited functions. The solution to these problems show that the topology of the domain has a varying level of importance depending on the class of functions and the specific sampling question being studied.
This article explains how sheaves and homology theory can be applied to simplicial complex models of wireless communication networks to study their vulnerability to jamming. It develops two classes of invariants (one local and one global) for studying which nodes and links present more of a liability to the network's performance when under attack.
We develop a unified sampling theory based on sheaves and show that the Shannon-Nyquist theorem is a cohomological consequence of an exact sequence of sheaves. Our theory indicates that there are additional cohomological obstructions for higher-dimensional sampling problems. Using these obstructions, we also present conditions for perfect reconstruction of piecewise linear functions on graphs, a collection of non-bandlimited functions on topologically nontrivial domains.
Many complicated network problems can be easily understood on small networks. Difficulties arise when small networks are combined into larger ones. Fortunately, the mathematical theory of sheaves was constructed to address just this kind of situation; it extends locally-defined structures to globally valid inferences by way of consistency relations. This paper exhibits examples in network monitoring and filter hardware where sheaves have useful descriptive power.
This article surveys the Euler calculus - an integral calculus based on Euler characteristic - and its applications to data, sensing, networks, and imaging.
We describe a theoretically-motivated algorithm for extrapolation of antenna radiation patterns from a small number of measurements. This algorithm exploits constraints on the antenna's underlying design to avoid ambiguities, but is sufficiently general to address many different antenna types. A theoretical basis for the robustness of this algorithm is developed, and its performance is verified in simulation using a number of popular antenna designs.
We present a novel angular fingerprinting algorithm for detecting changes in the direction of rotation of a target with a monostatic, stationary sonar platform. Unlike other approaches, we assume that the target's centroid is stationary, and exploit doppler multipath signals to resolve the otherwise unavoidable ambiguities that arise. Since the algorithm is based on an underlying differential topological theory, it is highly robust to distortions in the collected data. We demonstrate performance of this algorithm experimentally, by exhibiting a pulsed doppler sonar collection system that runs on a smartphone. The performance of this system is sufficiently good to both detect changes in target rotation direction using angular fingerprints, and also to form high-resolution inverse synthetic aperature images of the target.
In this thesis we develop the cohomology of diagrams of algebras and then apply this to the cases of the $λ$-rings and the $Ψ$-rings. A diagram of algebras is a functor from a small category to some category of algebras. For an appropriate category of algebras we get a diagram of groups, a diagram of Lie algebras, a diagram of commutative rings, etc. We define the cohomology of diagrams of algebras using comonads. The cohomology of diagrams of algebras classifies extensions in the category of functors. Our main result is that there is a spectral sequence connecting the cohomology of the diagram of algebras to the cohomology of the members of the diagram. $Ψ$-rings can be thought of as functors from the category with one object associated to the multiplicative monoid of the natural numbers to the category of commutative rings. So we can apply the theory we developed for the diagrams of algebras to the case of $Ψ$-rings. Our main result tells us that there is a spectral sequence connecting the cohomology of the $Ψ$-ring to the André-Quillen cohomology of the underlying commutative ring. The main example of a $λ$-ring or a $Ψ$-ring is the $K$-theory of a topological space. We look at the example of the $K$-theory of spheres and use its cohomology to give a proof of the classical result of Adams. We show that there are natural transformations connecting the cohomology of the $K$-theory of spheres to the homotopy groups of spheres. There is a very close connection between the cohomology of the $K$-theory of the $4n$-dimensional spheres and the homotopy groups of the $(4n-1)$-dimensional spheres.
This article exhibits a particular encoding of logic circuits into a sheaf formalism. The central result of this article is that there exists strictly more information available to a circuit designer in this setting than exists in static truth tables, but less than exists in event-level simulation. This information is related to the timing behavior of the logic circuits, and thereby provides a ``bridge'' between static logic analysis and detailed simulation.
We consider a topological integral transform of Bessel (concentric isospectral sets) type and Fourier (hyperplane isospectral sets) type, using the Euler characteristic as a measure. These transforms convert constructible $\zed$-valued functions to continuous $\real$-valued functions over a vector space. Core contributions include: the definition of the topological Bessel transform; a relationship in terms of the logarithmic blowup of the topological Fourier transform; and a novel Morse index formula for the transforms. We then apply the theory to problems of target reconstruction from enumerative sensor data, including localization and shape discrimination. This last application utilizes an extension of spatially variant apodization (SVA) to mitigate sidelobe phenomena.
This article examines the inverse problem for a lossy quantum graph that is internally excited and sensed. In particular, we supply an algorithmic methodology for deducing the topology and geometric structure of the underlying metric graph. Our algorithms rely on narrowband and visibility measurements, and are therefore of considerable value to urban remote sensing applications. In contrast to the traditional methods in quantum graphs, we employ ideas related to algebraic and differential topology directly to our problem. This neatly exposes and separates the impact of the graph topology and geometry.
We introduce the Andre-Quillen cohomology of lambda-rings and Psi-rings, this is different to the lambda-ring cohomology defined by Yau in 2005. We show that there is a natural transformation connecting the cohomology of the K-theory of spheres to the homotopy groups of spheres.