arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Tim Ophelders

48 papers · 2015–2026

2015: 12016: 22017: 72018: 42019: 22020: 52021: 32022: 42023: 42024: 32025: 82026: 5
2015peak 8 in 20252026

Frequent co-authors

Papers

showing 1–25 of 48 RSS

SETH Says: Weak Fréchet Distance is Faster, but only if it is Continuous and in One Dimension

Kevin Buchin, Tim Ophelders, Bettina Speckmann

cs.CG · · cited 51× · arXiv ↗ · more like this ·

We show by reduction from the Orthogonal Vectors problem that algorithms with strongly subquadratic running time cannot approximate the Fréchet distance between curves better than a factor $3$ unless SETH fails. We show that similar reductions cannot achieve a lower bound with a factor better than $3$. Our lower bound holds for the continuous, the discrete, and the weak discrete Fréchet distance even for curves in one dimension. Interestingly, the continuous weak Fréchet distance behaves differently. Our lower bound still holds for curves in two dimensions and higher. However, for curves in one dimension, we provide an exact algorithm to compute the weak Fréchet distance in linear time.

Visual analytics of delays and interaction in movement data

Maximilian Konzack, Thomas John McKetterick, Tim Ophelders +6 more

Computer Vision and Pattern Recognition · International Journal of Geographical Information Systems · · cited 28× · DOI ↗ · more like this ·

The analysis of interaction between movement trajectories is of interest for various domains when movement of multiple objects is concerned. Interaction often includes a delayed response, making it difficult to detect interaction with current methods that compare movement at specific time intervals. We propose analyses and visualizations, on a local and global scale, of delayed movement responses, where an action is followed by a reaction over time, on trajectories recorded simultaneously. We developed a novel approach to compute the global delay in subquadratic time using a fast Fourier transform (FFT). Central to our local analysis of delays is the computation of a matching between the trajectories in a so-called delay space. It encodes the similarities between all pairs of points of the trajectories. In the visualization, the edges of the matching are bundled into patches, such that…

Computing the Fréchet Distance Between Uncertain Curves in One Dimension

Kevin Buchin, Maarten Löffler, Tim Ophelders +3 more

cs.CG · · cited 8× · arXiv ↗ · more like this ·

We consider the problem of computing the Fréchet distance between two curves for which the exact locations of the vertices are unknown. Each vertex may be placed in a given uncertainty region for that vertex, and the objective is to place vertices so as to minimise the Fréchet distance. This problem was recently shown to be NP-hard in 2D, and it is unclear how to compute an optimal vertex placement at all. We present the first general algorithmic framework for this problem. We prove that it results in a polynomial-time algorithm for curves in 1D with intervals as uncertainty regions. In contrast, we show that the problem is NP-hard in 1D in the case that vertices are placed to maximise the Fréchet distance. We also study the weak Fréchet distance between uncertain curves. While finding the optimal placement of vertices seems more difficult than the regular Fréchet distance -- and indeed…

Computing Representative Networks for Braided Rivers

Maarten G. Kleinhans, Marc van Kreveld, Tim Ophelders +3 more

Computational Theory and Mathematics · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · · cited 7× · DOI ↗ · more like this ·

Drainage networks on terrains have been studied extensively from an algorithmic perspective. However, in drainage networks water flow cannot bifurcate and hence they do not model braided rivers (multiple channels which split and join, separated by sediment bars). We initiate the algorithmic study of braided rivers by employing the descending quasi Morse-Smale complex on the river bed (a polyhedral terrain), and extending it with a certain ordering of bars from the one river bank to the other. This allows us to compute a graph that models a representative channel network, consisting of lowest paths. To ensure that channels in this network are sufficiently different we define a sand function that represents the volume of sediment separating them. We show that in general the problem of computing a maximum network of non-crossing channels which are delta-different from each other (as…

Measuring hidden phenotype: Quantifying the shape of barley seeds using the Euler Characteristic Transform

Erik J. Amézquita, Michelle Quigley, Tim Ophelders +4 more

Computational Theory and Mathematics · bioRxiv (Cold Spring Harbor Laboratory) · · cited 5× · DOI ↗ · more like this ·

Abstract Shape plays a fundamental role in biology. Traditional phenotypic analysis methods measure some features but fail to measure the information embedded in shape comprehensively. To extract, compare, and analyze this information embedded in a robust and concise way, we turn to Topological Data Analysis (TDA), specifically the Euler Characteristic Transform. TDA measures shape comprehensively using mathematical representations based on algebraic topology features. To study its use, we compute both traditional and topological shape descriptors to quantify the morphology of 3121 barley seeds scanned with X-ray Computed Tomography (CT) technology at 127 micron resolution. The Euler Characteristic Transform measures shape by analyzing topological features of an object at thresholds across a number of directional axes. A Kruskal-Wallis analysis of the information encoded by the…

A family of metrics from the truncated smoothing of Reeb graphs

Erin Wolf Chambers, Elizabeth Munch, Tim Ophelders

cs.CG · · cited 5× · arXiv ↗ · more like this ·

In this paper, we introduce an extension of smoothing on Reeb graphs, which we call truncated smoothing; this in turn allows us to define a new family of metrics which generalize the interleaving distance for Reeb graphs. Intuitively, we "chop off" parts near local minima and maxima during the course of smoothing, where the amount cut is controlled by a parameter $τ$. After formalizing truncation as a functor, we show that when applied after the smoothing functor, this prevents extensive expansion of the range of the function, and yields particularly nice properties (such as maintaining connectivity) when combined with smoothing for $0 \leq τ\leq 2\varepsilon$, where $\varepsilon$ is the smoothing parameter. Then, for the restriction of $τ\in [0,\varepsilon]$, we have additional structure which we can take advantage of to construct a categorical flow for any choice of slope $m \in…

Computing the fréchet distance between real-valued surfaces

Kevin Buchin, Tim Ophelders, Bettina Speckmann

Computational Theory and Mathematics · TU/e Research Portal · · cited 5× · DOI ↗ · more like this ·

<p>The Fréchet distance is a well-studied measure for the similarity of shapes. While efficient algorithms for computing the Fréchet distance between curves exist, there are only few results on the Fréchet distance between surfaces. Recent work has shown that the Fréchet distance is computable between piecewise linear functions f and g : M → Rk with M a triangulated surface of genus zero. We focus on the case k = 1 and M being a topological sphere or disk with constant boundary. Intuitively, we measure the distance between terrains based solely on the height function. Our main result is that in this case computing the Fréchet distance between f and g is in NP. We additionally show that already for k = 1, computing a factor 2 - ϵ approximation of the Fréchet distance is NP-hard, showing that this problem is in fact NP-complete. We also define an intermediate distance, between…

Route-preserving Road Network Generalization

Mees van de Kerkhof, Irina Kostitsyna, Marc van Kreveld +2 more

Computer Vision and Pattern Recognition · Data Archiving and Networked Services (DANS) · · cited 3× · DOI ↗ · more like this ·

We investigate a data-driven approach for road network generalization, where the input is a road network and a collection of routes or trajectories on these roads. The aim is to select a subset of the road network in which many routes of the collection are fully preserved. We formulate the problem and present several heuristic versions of it, as the general problem is NP-hard. We show the outcome of the versions on a data set for comparison purposes.

Data structures for Fréchet queries in trajectory data

Mark de Berg, Ali D. Mehrabi, Tim Ophelders

Signal Processing · TU/e Research Portal · · cited 3× · OpenAlex ↗ · more like this ·

Let π be a trajectory in the plane, represented as a polyline with n edges. We show how to preprocess π into a data structure such that for any horizontal query segment σ in the plane and a subtrajectory between two vertices of π, one can quickly determine the Fréchet distance between σ and that subtrajectory. We provide data structures for these queries that need O(n2 log2 n) preprocessing time, O(n2 log2 n) space, and O(log2 n) query time. If we are interested only in the Fréchet distance between the complete trajectory π and a horizontal query segment σ, we can answer these queries in O(log2 n) time using only O(n2) space. Compilation copyright © 2017 Michiel Smid Copyright of individual papers retained by authors.All right reserved.

The Complexity of Snake

Marzio De Biasi, Tim Ophelders

Artificial Intelligence · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · · cited 3× · DOI ↗ · more like this ·

Snake and Nibbler are two well-known video games in which a snake slithers through a maze and grows as it collects food. During this process, the snake must avoid any collision with its tail. Various goals can be associated with these video games, such as avoiding the tail as long as possible, or collecting a certain amount of food, or reaching some target location. Unfortunately, like many other motion-planning problems, even very restricted variants are computationally intractable. In particular, we prove the NP--hardness of collecting all food on solid grid graphs; as well as its PSPACE-completeness on general grid graphs. Moreover, given an initial and a target configuration of the snake, moving from one configuration to the other is PSPACE-complete, even on grid graphs without food, or with an initially short snake. Our results make use of the nondeterministic constraint logic…

Efficient Fréchet distance queries for segments

Maike Buchin, Ivor van der Hoog, Tim Ophelders +3 more

cs.CG · · cited 2× · arXiv ↗ · more like this ·

We study the problem of constructing a data structure that can store a two-dimensional polygonal curve $P$, such that for any query segment $\overline{ab}$ one can efficiently compute the Fréchet distance between $P$ and $\overline{ab}$. First we present a data structure of size $O(n \log n)$ that can compute the Fréchet distance between $P$ and a horizontal query segment $\overline{ab}$ in $O(\log n)$ time, where $n$ is the number of vertices of $P$. In comparison to prior work, this significantly reduces the required space. We extend the type of queries allowed, as we allow a query to be a horizontal segment $\overline{ab}$ together with two points $s, t \in P$ (not necessarily vertices), and ask for the Fréchet distance between $\overline{ab}$ and the curve of $P$ in between $s$ and $t$. Using $O(n\log^2n)$ storage, such queries take $O(\log^3 n)$ time, simplifying and significantly…

Between Shapes, Using the Hausdorff Distance

Marc van Kreveld, Tillmann Miltzow, Tim Ophelders +2 more

cs.CG · · cited 2× · arXiv ↗ · more like this ·

Given two shapes $A$ and $B$ in the plane with Hausdorff distance $1$, is there a shape $S$ with Hausdorff distance $1/2$ to and from $A$ and $B$? The answer is always yes, and depending on convexity of $A$ and/or $B$, $S$ may be convex, connected, or disconnected. We show that our result can be generalised to give an interpolated shape between $A$ and $B$ for any interpolation variable $α$ between $0$ and $1$, and prove that the resulting morph has a bounded rate of change with respect to $α$. Finally, we explore a generalization of the concept of a Hausdorff middle to more than two input sets. We show how to approximate or compute this middle shape, and that the properties relating to the connectedness of the Hausdorff middle extend from the case with two input sets. We also give bounds on the Hausdorff distance between the middle set and the input.

Continuous similarity measures for curves and surfaces

Tim Ophelders

Computer Vision and Pattern Recognition · TU/e Research Portal · · cited 2× · OpenAlex ↗ · more like this ·

picture would naturally correspond to adjacent pixels of the other picture.As they take into account the essential connectivity of the compared shapes, adjacency restrictions play an important role in the comparison of shapes with a structure of connectivity.Adjacency restrictions are taken into account for all shapes compared in this thesis.Such adjacency restrictions lead to fewer candidate correspondences.However, perhaps counter-intuitively, this does generally not simplify the task of finding the best correspondence, as techniques for finding an unrestricted optimum may no longer apply.This is because a correspondence that is optimal in the absence of context may not adhere to the restrictions imposed by a given context. On Measuring SimilarityBefore describing the technical contributions in this thesis in detail, we first discuss what it means to compare two shapes, starting with…

Relating Interleaving and Fréchet Distances via Ordered Merge Trees

Thijs Beurskens, Tim Ophelders, Bettina Speckmann +1 more

cs.CG · · cited 1× · arXiv ↗ · more like this ·

Merge trees are a common topological descriptor for data with a hierarchical component, such as terrains and scalar fields. The interleaving distance, in turn, is a common distance for comparing merge trees. However, the interleaving distance for merge trees is solely based on the hierarchical structure, and disregards any other geometrical or topological properties that might be present in the underlying data. Furthermore, the interleaving distance is NP-hard to compute. In this paper, we introduce a form of ordered merge trees that can capture intrinsic order present in the data. We further define a natural variant of the interleaving distance, the monotone interleaving distance, which is an order-preserving distance for ordered merge trees. Analogously to the regular interleaving distance for merge trees, we show that the monotone variant has three equivalent definitions in terms of…

Morphing Planar Graph Drawings Through 3D

Kevin Buchin, Will Evans, Fabrizio Frati +4 more

cs.CG · · cited 1× · arXiv ↗ · more like this ·

In this paper, we investigate crossing-free 3D morphs between planar straight-line drawings. We show that, for any two (not necessarily topologically equivalent) planar straight-line drawings of an $n$-vertex planar graph, there exists a piecewise-linear crossing-free 3D morph with $O(n^2)$ steps that transforms one drawing into the other. We also give some evidence why it is difficult to obtain a linear lower bound (which exists in 2D) for the number of steps of a crossing-free 3D morph.

Kinetic volume-based persistence for 1D terrains

Tim Ophelders, Willem Sonke, Bettina Speckmann +1 more

Signal Processing · Data Archiving and Networked Services (DANS) · · cited 1× · OpenAlex ↗ · more like this ·

Persistence is the method of choice to simplify terrains by removing insignificant features while retaining topologically important ones. Motivated by applications in geomorphology, we study volume-persistence, a variant of persistence which is based on the volume underneath the terrain (instead of the usual vertex heights). Specifically, we want to kinetically maintain a volume-simplified time-varying terrain. In this paper we describe a kinetic data structure (KDS) that maintains the pruned split tree of an area-persistent 1D terrain under linear vertex motion. The main ingredient of this KDS is an algorithm that detects those combinatorial events when a pruned part of the terrain attains a certain threshold volume.

Monotone contractions of the boundary of the disc

Erin Wolf Chambers, Gregory R. Chambers, Arnaud de Mesmay +2 more

Applied Mathematics · TU/e Research Portal · · cited 1× · OpenAlex ↗ · more like this ·

In this paper, we study contractions of the boundary of a Riemannian 2-disc where the maximal length of the intermediate curves is minimized. We prove that with an arbitrarily small overhead in the lengths of the intermediate curves, there exists such an optimal contraction that is monotone, i.e., where the intermediate curves are simple closed curves which are pairwise disjoint. This proves a conjecture of Chambers and Rotman.

Constructing monotone homotopies and sweepouts

Erin Wolf Chambers, Gregory R. Chambers, Arnaud de Mesmay +2 more

math.DG · · cited 1× · arXiv ↗ · more like this ·

This article investigates when homotopies can be converted to monotone homotopies without increasing the lengths of curves. A monotone homotopy is one which consists of curves which are simple or constant, and in which curves are pairwise disjoint. We show that, if the boundary of a Riemannian disc can be contracted through curves of length less than $L$, then it can also be contracted monotonously through curves of length less than $L$. This proves a conjecture of Chambers and Rotman. Additionally, any sweepout of a Riemannian $2$-sphere through curves of length less than $L$ can be replaced with a monotone sweepout through curves of length less than $L$. Applications of these results are also discussed.

The geodesic fréchet distance between two curves bouding a simple polygon

Thijs van der Horst, Marc J. van Kreveld, Tim Ophelders +3 more

Computer Graphics and Computer-Aided Design · Utrecht University Repository (Utrecht University) · · cited 0× · OpenAlex ↗ · more like this ·

The Fréchet distance is a popular similarity measure that is well understood for polygonal curves in Rd: near-quadratic time algorithms exist, and conditional lower bounds suggest that these results cannot be improved significantly, even in one dimension and when approximating with a factor less than 3. We consider the special case where the curves bound a simple polygon and distances are measured via geodesics inside this simple polygon. Here the conditional lower bounds do not apply; Efrat, Guibas, Har-Peled, Mitchell, and Murali (2002) were able to give a near-linear time 2-approximation algorithm. In this paper, we significantly improve upon their result: we present a (1 + ε)approximation algorithm, that for fixed ε > 0, runs in O(1ε (n + m log n) log nm log 1ε ) time for a simple polygon bounded by two curves with n and m vertices, respectively. To do so, we compute the…

A Strongly-Subquadratic (3+ε)-Approximation for the Fréchet Distance for Paths in Metric Spaces

Thijs van der Horst, Tim Ophelders

Computational Theory and Mathematics · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · · cited 0× · DOI ↗ · more like this ·

The Fréchet distance is a well-studied distance measure for paths in a metric space. It is mostly studied for paths in d-dimensional Euclidean space. Here, computing the Fréchet distance between two polylines takes time roughly quadratic in the number of vertices. Assuming the strong exponential time hypothesis (SETH), it cannot be approximated to within a factor less than 3 in strongly-subquadratic time. Recently, it was shown that for any ε > 0, there exists a randomized algorithm that can compute a (7+ε)-approximation in strongly-subquadratic expected time [Cheng, Huang, and Zhang; STOC'25]. For polylines with n and m vertices in a Euclidean space of constant dimension, where n ≥ m, their algorithm takes O(nm^{0.99} log(n/ε)) time in expectation. We present a deterministic approximation algorithm that significantly improves upon the approximation factor and running time.…

Locally Correct Interleavings between Merge Trees

Thijs Beurskens, Tim Ophelders, Bettina Speckmann +1 more

cs.CG · · cited 0× · arXiv ↗ · more like this ·

Temporal sequences of terrains arise in various application areas. To analyze them efficiently, one generally needs a suitable abstraction of the data as well as a method to compare and match them over time. In this paper we consider merge trees as a topological descriptor for terrains and the interleaving distance as a method to match and compare them. An interleaving between two merge trees consists of two maps, one in each direction. These maps must satisfy ancestor relations and hence introduce a ''shift'' between points and their image. An optimal interleaving minimizes the maximum shift; the interleaving distance is the value of this shift. However, to study the evolution of merge trees over time, we need not only a number but also a meaningful matching between the two trees. The two maps of an optimal interleaving induce a matching, but due to the bottleneck nature of the…

P.STAR: Parameter-free Structure Analysis via Reordering for Lossless Visualization of Layers in Language Models

Mennatallah El-Assady, Antske Fokkens, Pantea Haghighatkhah +4 more

Computer Vision and Pattern Recognition · VU Research Portal · · cited 0× · DOI ↗ · more like this ·

We introduce P.STAR: a new parameter-free method that can be used to inspect the embedding space of a set of instance representations (e.g. words in context) across layers of a contextualized language model at one glance and without loss of information. We use a matrix reordering approach that relies on signature distances; instances are represented in terms of their distances to all other instances in the set. The reordered matrix of signature representations provides a visual depiction of how structures emerge across layers of a contextualized model. We validate our approach by comparing how words in context are grouped to their PoS and Sense labels in two annotated datasets. In line with previous research, we observe that lower-layer representations emphasize PoS-information while higher layers group instances on the basis of senses. We also show that our reordering approach can…

Counting Triangulations of Fixed Cardinal Degrees

Erin Chambers, Tim Ophelders, Anna Schenfisch +1 more

cs.CC · · cited 0× · arXiv ↗ · more like this ·

A fixed set of vertices in the plane may have multiple planar straight-line triangulations in which the degree of each vertex is the same. As such, the degree information does not completely determine the triangulation. We show that even if we know, for each vertex, the number of neighbors in each of the four cardinal directions, the triangulation is not completely determined. In fact, we show that counting such triangulations is #P-hard via a reduction from #3-regular bipartite planar vertex cover.

Computing the Fréchet Distance When Just One Curve is $c$-Packed: A Simple Almost-Tight Algorithm

Jacobus Conradi, Ivor van der Hoog, Thijs van der Horst +1 more

cs.CG · · cited 0× · arXiv ↗ · more like this ·

We study approximating the continuous Fréchet distance of two curves with complexity $n$ and $m$, under the assumption that only one of the two curves is $c$-packed. Driemel, Har{-}Peled and Wenk DCG'12 studied Fréchet distance approximations under the assumption that both curves are $c$-packed. In $\mathbb{R}^d$, they prove a $(1+\varepsilon)$-approximation in $\tilde{O}(d \, c\,\frac{n+m}{\varepsilon})$ time. Bringmann and Künnemann IJCGA'17 improved this to $\tilde{O}(c\,\frac{n + m }{\sqrt{\varepsilon}})$ time, which they showed is near-tight under SETH. Recently, Gudmundsson, Mai, and Wong ISAAC'24 studied our setting where only one of the curves is $c$-packed. They provide an involved $\tilde{O}( d \cdot (c+\varepsilon^{-1})(cn\varepsilon^{-2} + c^2m\varepsilon^{-7} + \varepsilon^{-2d-1}))$-time algorithm when the $c$-packed curve has $n$ vertices and the arbitrary curve has $m$…

A near-linear time exact algorithm for the $L_1$-geodesic Fréchet distance between two curves on the boundary of a simple polygon

Thijs van der Horst, Marc van Kreveld, Tim Ophelders +1 more

cs.CG · · cited 0× · arXiv ↗ · more like this ·

Let $P$ be a polygon with $k$ vertices. Let $R$ and $B$ be two simple, interior disjoint curves on the boundary of $P$, with $n$ and $m$ vertices. We show how to compute the Fréchet distance between $R$ and $B$ using the geodesic $L_1$-distance in $P$ in $\mathcal{O}(k \log nm + (n+m) (\log^2 nm \log k + \log^4 nm))$ time.