1,901 research outputs found
Computing Optimal Morse Matchings
Morse matchings capture the essential structural information of discrete
Morse functions. We show that computing optimal Morse matchings is NP-hard and
give an integer programming formulation for the problem. Then we present
polyhedral results for the corresponding polytope and report on computational
results
Multimapper: Data Density Sensitive Topological Visualization
Mapper is an algorithm that summarizes the topological information contained
in a dataset and provides an insightful visualization. It takes as input a
point cloud which is possibly high-dimensional, a filter function on it and an
open cover on the range of the function. It returns the nerve simplicial
complex of the pullback of the cover. Mapper can be considered a discrete
approximation of the topological construct called Reeb space, as analysed in
the -dimensional case by [Carriere et al.,2018]. Despite its success in
obtaining insights in various fields such as in [Kamruzzaman et al., 2016],
Mapper is an ad hoc technique requiring lots of parameter tuning. There is also
no measure to quantify goodness of the resulting visualization, which often
deviates from the Reeb space in practice. In this paper, we introduce a new
cover selection scheme for data that reduces the obscuration of topological
information at both the computation and visualisation steps. To achieve this,
we replace global scale selection of cover with a scale selection scheme
sensitive to local density of data points. We also propose a method to detect
some deviations in Mapper from Reeb space via computation of persistence
features on the Mapper graph.Comment: Accepted at ICDM
Bounding bubbles: the vertex representation of 3d Group Field Theory and the suppression of pseudo-manifolds
Based on recent work on simplicial diffeomorphisms in colored group field
theories, we develop a representation of the colored Boulatov model, in which
the GFT fields depend on variables associated to vertices of the associated
simplicial complex, as opposed to edges. On top of simplifying the action of
diffeomorphisms, the main advantage of this representation is that the GFT
Feynman graphs have a different stranded structure, which allows a direct
identification of subgraphs associated to bubbles, and their evaluation is
simplified drastically. As a first important application of this formulation,
we derive new scaling bounds for the regularized amplitudes, organized in terms
of the genera of the bubbles, and show how the pseudo-manifolds configurations
appearing in the perturbative expansion are suppressed as compared to
manifolds. Moreover, these bounds are proved to be optimal.Comment: 28 pages, 17 figures. Few typos fixed. Minor corrections in figure 6
and theorem
An hybrid system approach to nonlinear optimal control problems
We consider a nonlinear ordinary differential equation and want to control
its behavior so that it reaches a target by minimizing a cost function. Our
approach is to use hybrid systems to solve this problem: the complex dynamic is
replaced by piecewise affine approximations which allow an analytical
resolution. The sequence of affine models then forms a sequence of states of a
hybrid automaton. Given a sequence of states, we introduce an hybrid
approximation of the nonlinear controllable domain and propose a new algorithm
computing a controllable, piecewise convex approximation. The same way the
nonlinear optimal control problem is replaced by an hybrid piecewise affine
one. Stating a hybrid maximum principle suitable to our hybrid model, we deduce
the global structure of the hybrid optimal control steering the system to the
target
Computing simplicial representatives of homotopy group elements
A central problem of algebraic topology is to understand the homotopy groups
of a topological space . For the computational version of the
problem, it is well known that there is no algorithm to decide whether the
fundamental group of a given finite simplicial complex is
trivial. On the other hand, there are several algorithms that, given a finite
simplicial complex that is simply connected (i.e., with
trivial), compute the higher homotopy group for any given .
%The first such algorithm was given by Brown, and more recently, \v{C}adek et
al.
However, these algorithms come with a caveat: They compute the isomorphism
type of , as an \emph{abstract} finitely generated abelian
group given by generators and relations, but they work with very implicit
representations of the elements of . Converting elements of this
abstract group into explicit geometric maps from the -dimensional sphere
to has been one of the main unsolved problems in the emerging field
of computational homotopy theory.
Here we present an algorithm that, given a~simply connected space ,
computes and represents its elements as simplicial maps from a
suitable triangulation of the -sphere to . For fixed , the
algorithm runs in time exponential in , the number of simplices of
. Moreover, we prove that this is optimal: For every fixed , we
construct a family of simply connected spaces such that for any simplicial
map representing a generator of , the size of the triangulation of
on which the map is defined, is exponential in
- …