Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Dmitriy Morozov is active.

Publication


Featured researches published by Dmitriy Morozov.


symposium on computational geometry | 2006

Vines and vineyards by updating persistence in linear time

David Cohen-Steiner; Herbert Edelsbrunner; Dmitriy Morozov

Persistent homology is the mathematical core of recent work on shape, including reconstruction, recognition, and matching. Its pertinent information is encapsulated by a pairing of the critical values of a function, visualized by points forming a diagram in the plane. The original algorithm in [10] computes the pairs from an ordering of the simplices in a triangulation and takes worst-case time cubic in the number of simplices. The main result of this paper is an algorithm that maintains the pairing in worst-case linear time per transposition in the ordering. A side-effect of the algorithms analysis is an elementary proof of the stability of persistence diagrams [7] in the special case of piecewise-linear functions. We use the algorithm to compute 1-parameter families of diagrams which we apply to the study of protein folding trajectories.


symposium on computational geometry | 2009

Zigzag persistent homology and real-valued functions

Gunnar Carlsson; Vin de Silva; Dmitriy Morozov

We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a topological space. The result is a local, symmetric interval descriptor of the function. Our structural results establish a connection between the zigzag pairs in this sequence and extended persistence, and in the process resolve an open question associated with the latter. Our algorithmic results not only provide a way to compute zigzag persistence for any sequence of homology groups, but combined with our structural results give a novel algorithm for computing extended persistence. This algorithm is easily parallelizable and uses (asymptotically) less memory.


symposium on computational geometry | 2011

Zigzag persistent homology in matrix multiplication time

Nikola Milosavljevic; Dmitriy Morozov; Primoz Skraba

We present a new algorithm for computing zigzag persistent homology, an algebraic structure which encodes changes to homology groups of a simplicial complex over a sequence of simplex additions and deletions. Provided that there is an algorithm that multiplies two n×n matrices in M(n) time, our algorithm runs in O(M(n) + n2 log2 n) time for a sequence of n additions and deletions. In particular, the running time is O(n2.376), by result of Coppersmith and Winograd. The fastest previously known algorithm for this problem takes O(n3) time in the worst case.


Inverse Problems | 2011

Dualities in persistent (co)homology

Vin de Silva; Dmitriy Morozov; Mikael Vejdemo-Johansson

We consider sequences of absolute and relative homology and cohomology groups that arise naturally for a filtered cell complex. We establish algebraic relationships between their persistence modules, and show that they contain equivalent information. We explain how one can use the existing algorithm for persistent homology to process any of the four modules, and relate it to a recently introduced persistent cohomology algorithm. We present experimental evidence for the practical efficiency of the latter algorithm.


symposium on computational geometry | 2006

Persistence-sensitive simplification functions on 2-manifolds

Herbert Edelsbrunner; Dmitriy Morozov; Valerio Pascucci

We continue the study of topological persistence [5] by investigating the problem of simplifying a function <i>f</i> in a way that removes topological noise as determined by its persistence diagram [2]. To state our results, we call a function <i>g</i> an ε-<i>simplification</i> of another function <i>f</i> if ¦¦<i>f−g</i>¦¦<sub>∞</sub>≤ε, and the persistence diagrams of <i>g</i> are the same as those of <i>f</i> except all points within <i>L</i><sub>1</sub>-distance at most ε from the diagonal have been removed. We prove that for functions <i>f</i> on a 2-manifold such ε-simplification exists, and we give an algorithm to construct them in the piecewise linear case.


foundations of computer science | 2007

Inferring Local Homology from Sampled Stratified Spaces

Paul Bendich; David Cohen-Steiner; Herbert Edelsbrunner; John Harer; Dmitriy Morozov

We study the reconstruction of a stratified space from a possibly noisy point sample. Specifically, we use the vineyard of the distance function restricted to a 1-parameter family of neighborhoods of a point to assess the local homology of the stratified space at that point. We prove the correctness of this assessment under the assumption of a sufficiently dense sample. We also give an algorithm that constructs the vineyard and makes the local assessment in time at most cubic in the size of the Delaunay triangulation of the point sample.


acm sigplan symposium on principles and practice of parallel programming | 2013

Distributed merge trees

Dmitriy Morozov; Gunther H. Weber

Improved simulations and sensors are producing datasets whose increasing complexity exhausts our ability to visualize and comprehend them directly. To cope with this problem, we can detect and extract significant features in the data and use them as the basis for subsequent analysis. Topological methods are valuable in this context because they provide robust and general feature definitions. As the growth of serial computational power has stalled, data analysis is becoming increasingly dependent on massively parallel machines. To satisfy the computational demand created by complex datasets, algorithms need to effectively utilize these computer architectures. The main strength of topological methods, their emphasis on global information, turns into an obstacle during parallelization. We present two approaches to alleviate this problem. We develop a distributed representation of the merge tree that avoids computing the global tree on a single processor and lets us parallelize subsequent queries. To account for the increasing number of cores per processor, we develop a new data structure that lets us take advantage of multiple shared-memory cores to parallelize the work on a single node. Finally, we present experiments that illustrate the strengths of our approach as well as help identify future challenges.


Foundations of Computational Mathematics | 2011

Quantifying Transversality by Measuring the Robustness of Intersections

Herbert Edelsbrunner; Dmitriy Morozov; Amit Patel

By definition, transverse intersections are stable under infinitesimal perturbations. Using persistent homology, we extend this notion to a measure. Given a space of perturbations, we assign to each homology class of the intersection its robustness, the magnitude of a perturbation in this space necessary to kill it, and then we prove that the robustness is stable. Among the applications of this result is a stable notion of robustness for fixed points of continuous mappings and a statement of stability for contours of smooth mappings.


symposium on computational geometry | 2011

Metric graph reconstruction from noisy data

Mridul Aanjaneya; Frédéric Chazal; Daniel Chen; Marc Glisse; Leonidas J. Guibas; Dmitriy Morozov

Many real-world data sets can be viewed of as noisy samples of special types of metric spaces called metric graphs [16]. Building on the notions of correspondence and Gromov-Hausdorff distance in metric geometry, we describe a model for such data sets as an approximation of an underlying metric graph. We present a novel algorithm that takes as an input such a data set, and outputs the underlying metric graph with guarantees. We also implement the algorithm, and evaluate its performance on a variety of real world data sets.


Archive | 2011

The Stability of the Apparent Contour of an Orientable 2-Manifold

Herbert Edelsbrunner; Dmitriy Morozov; Amit Patel

The (apparent) contour of a smooth mapping from a 2-manifold to the plane, f :𝕄→ℝ2, is the set of critical values, that is, the image of the points at which the gradients of the two component functions are linearly dependent. Assuming 𝕄 is compact and orientable and measuring difference with the erosion distance, we prove that the contour is stable.

Collaboration


Dive into the Dmitriy Morozov's collaboration.

Top Co-Authors

Avatar

Herbert Edelsbrunner

Institute of Science and Technology Austria

View shared research outputs
Top Co-Authors

Avatar

Gunther H. Weber

Lawrence Berkeley National Laboratory

View shared research outputs
Top Co-Authors

Avatar

Amit Patel

Institute of Science and Technology Austria

View shared research outputs
Top Co-Authors

Avatar

Bernd Hamann

University of California

View shared research outputs
Top Co-Authors

Avatar

Kenes Beketayev

Lawrence Berkeley National Laboratory

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Tom Peterka

Argonne National Laboratory

View shared research outputs
Top Co-Authors

Avatar

Zarija Lukić

Lawrence Berkeley National Laboratory

View shared research outputs
Top Co-Authors

Avatar

Ariful Azad

Lawrence Berkeley National Laboratory

View shared research outputs
Top Co-Authors

Avatar

Aydin Buluç

Lawrence Berkeley National Laboratory

View shared research outputs
Researchain Logo
Decentralizing Knowledge