English
Related papers

Related papers: Polynomial-time Algorithms for Computing Distances…

200 papers

Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative…

Computer Science and Game Theory · Computer Science 2015-07-01 Krishnendu Chatterjee , Luca de Alfaro , Rupak Majumdar , Vishwanath Raman

We have presented some practical consequences on the molecular-dynamics simulations arising from the numerical algorithm published recently in paper Int. J. Mod. Phys. C 16, 413 (2005). The algorithm is not a finite-difference method and…

Exactly Solvable and Integrable Systems · Physics 2015-06-26 B. Brzostowski , M. R. Dudek , B. Grabiec , T. Nadzieja

In this paper, we define a distance for the HSL colour system. Next, the proposed distance is used for a fuzzy colour clustering algorithm construction. The presented algorithm is related to the well-known fuzzy c-means algorithm. Finally,…

Computer Vision and Pattern Recognition · Computer Science 2015-05-22 Vasile Patrascu

This paper deals with uncertain dynamical systems in which predictions about the future state of a system are assessed by so called pseudomeasures. Two special cases are stochastic dynamical systems, where the pseudomeasure is the…

chao-dyn · Physics 2016-08-31 Andreas Hamm

Computation of the interleaving distance between persistence modules is a central task in topological data analysis. For $1$-parameter persistence modules, thanks to the isometry theorem, this can be done by computing the bottleneck…

Computational Geometry · Computer Science 2019-10-07 Tamal K. Dey , Cheng Xin

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a…

Logic in Computer Science · Computer Science 2017-01-11 Vineet Gupta , Radha Jagadeesan , Prakash Panangaden

Behavioural distances provide a robust alternative to notions of equivalence such as bisimilarity in the context of probabilistic transition systems. They can be defined as least fixed points, whose universal property allows us to exhibit…

Logic in Computer Science · Computer Science 2025-10-14 Ruben Turkenburg , Harsh Beohar , Franck van Breugel , Clemens Kupke , Jurriaan Rot

In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems, behavioural distances provide a more fine-grained comparison of states than two-valued notions of behavioural equivalence or behaviour inclusion. Like…

Logic in Computer Science · Computer Science 2023-06-22 Paul Wild , Lutz Schröder

Many combinatorial optimization problems can be formulated as the search for a subgraph that satisfies certain properties and minimizes the total weight. We assume here that the vertices correspond to points in a metric space and can take…

Data Structures and Algorithms · Computer Science 2024-12-25 Marin Bougeret , Jérémy Omer , Michael Poss

We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a lifting of probabilistic bisimulation to polynomial…

Logic in Computer Science · Computer Science 2021-04-28 Giorgio Bacci , Giovanni Bacci , Kim G. Larsen , Mirco Tribastone , Max Tschaikowski , Andrea Vandin

In this paper we propose two behavioral distances that support approximate reasoning on Stochastic Markov Models (SMMs), that are continuous-time stochastic transition systems where the residence time on each state is described by a generic…

Formal Languages and Automata Theory · Computer Science 2014-03-26 Giorgio Bacci , Giovanni Bacci , Kim G. Larsen , Radu Mardare

Biological and artificial neural systems form high-dimensional neural representations that underpin their computational capabilities. Methods for quantifying geometric similarity in neural representations have become a popular tool for…

Neurons and Cognition · Quantitative Biology 2024-12-20 Amin Nejatbakhsh , Victor Geadah , Alex H. Williams , David Lipshutz

The measure of distance between two fuzzy sets is a fundamental tool within fuzzy set theory, however, distance measures currently within the literature use a crisp value to represent the distance between fuzzy sets. A real valued distance…

Artificial Intelligence · Computer Science 2014-09-04 Josie C. McCullochy , Chris J. Hinde , Christian Wagner , Uwe Aickelin

The computational cost of exact methods for quantum simulation using classical computers grows exponentially with system size. As a consequence, these techniques can only be applied to small systems. By contrast, we demonstrate that quantum…

Quantum Physics · Physics 2008-12-17 Ivan Kassal , Stephen P. Jordan , Peter J. Love , Masoud Mohseni , Alán Aspuru-Guzik

We consider the problem of tracking $n$ targets in the plane using $2n$ cameras. We can use two cameras to estimate the location of a target. We are then interested in forming $n$ camera pairs where each camera belongs to exactly one pair,…

Computational Geometry · Computer Science 2009-07-07 Matt Gibson , Gaurav Kanade , Erik Krohn , Kasturi Varadarajan

The matching distance is a pseudometric on multi-parameter persistence modules, defined in terms of the weighted bottleneck distance on the restriction of the modules to affine lines. It is known that this distance is stable in a reasonable…

Algebraic Topology · Mathematics 2019-05-29 Michael Kerber , Michael Lesnick , Steve Oudot

Reasoning about distance is indispensable for establishing or avoiding contact in manipulation tasks. To this end, we present an online approach for learning implicit representations of signed distance using piecewise polynomial basis…

Robotics · Computer Science 2024-05-09 Ante Marić , Yiming Li , Sylvain Calinon

The Gromov-Hausdorff distance provides a metric on the set of isometry classes of compact metric spaces. Unfortunately, computing this metric directly is believed to be computationally intractable. Motivated by applications in shape…

Geometric Topology · Mathematics 2016-10-20 Soledad Villar , Afonso S. Bandeira , Andrew J. Blumberg , Rachel Ward

Data-dependent metrics are powerful tools for learning the underlying structure of high-dimensional data. This article develops and analyzes a data-dependent metric known as diffusion state distance (DSD), which compares points using a…

Machine Learning · Statistics 2020-03-10 Lenore Cowen , Kapil Devkota , Xiaozhe Hu , James M. Murphy , Kaiyi Wu

We introduce a classical algorithm to approximate the free energy of local, translation-invariant, one-dimensional quantum systems in the thermodynamic limit of infinite chain size. While the ground state problem (i.e., the free energy at…

Quantum Physics · Physics 2024-07-04 Hamza Fawzi , Omar Fawzi , Samuel O. Scalet