Showing 51–100 of 117 results for author: Löffler, M

Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency

Authors: Peyman Afshani, Mark De Berg, Kevin Buchin, Jie Gao, Maarten Loffler, Amir Nayyeri, Benjamin Raichel, Rik Sarkar, Haotian Wang, Hao-Tsung Yang

Abstract: We consider the problem of finding patrol schedules for $k$ robots to visit a given set of $n$ sites in a metric space. Each robot has the same maximum speed and the goal is to minimize the weighted maximum latency of any site, where the latency of a site is defined as the maximum time duration between consecutive visits of that site. The problem is NP-hard, as it has the traveling salesman proble… ▽ More We consider the problem of finding patrol schedules for $k$ robots to visit a given set of $n$ sites in a metric space. Each robot has the same maximum speed and the goal is to minimize the weighted maximum latency of any site, where the latency of a site is defined as the maximum time duration between consecutive visits of that site. The problem is NP-hard, as it has the traveling salesman problem as a special case (when $k=1$ and all sites have the same weight). We present a polynomial-time algorithm with an approximation factor of $O(k^2 \log \frac{w_{\max}}{w_{\min}})$ to the optimal solution, where $w_{\max}$ and $w_{\min}$ are the maximum and minimum weight of the sites respectively. Further, we consider the special case where the sites are in 1D. When all sites have the same weight, we present a polynomial-time algorithm to solve the problem exactly. If the sites may have different weights, we present a $12$-approximate solution, which runs in polynomial time when the number of robots, $k$, is a constant. △ Less

Submitted 13 July, 2020; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: Proceedings of the 14th International Workshop on the Algorithmic Foundations of Robotics (WAFR 20)

Fréchet Distance for Uncertain Curves

Authors: Kevin Buchin, Chenglin Fan, Maarten Löffler, Aleksandr Popov, Benjamin Raichel, Marcel Roeloffzen

Abstract: In this paper we study a wide range of variants for computing the (discrete and continuous) Fréchet distance between uncertain curves. We define an uncertain curve as a sequence of uncertainty regions, where each region is a disk, a line segment, or a set of points. A realisation of a curve is a polyline connecting one point from each region. Given an uncertain curve and a second (certain or uncer… ▽ More In this paper we study a wide range of variants for computing the (discrete and continuous) Fréchet distance between uncertain curves. We define an uncertain curve as a sequence of uncertainty regions, where each region is a disk, a line segment, or a set of points. A realisation of a curve is a polyline connecting one point from each region. Given an uncertain curve and a second (certain or uncertain) curve, we seek to compute the lower and upper bound Fréchet distance, which are the minimum and maximum Fréchet distance for any realisations of the curves. We prove that both the upper and lower bound problems are NP-hard for the continuous Fréchet distance in several uncertainty models, and that the upper bound problem remains hard for the discrete Fréchet distance. In contrast, the lower bound (discrete and continuous) Fréchet distance can be computed in polynomial time. Furthermore, we show that computing the expected discrete Fréchet distance is #P-hard when the uncertainty regions are modelled as point sets or line segments. The construction also extends to show #P-hardness for computing the continuous Fréchet distance when regions are modelled as point sets. On the positive side, we argue that in any constant dimension there is a FPTAS for the lower bound problem when $Δ/ δ$ is polynomially bounded, where $δ$ is the Fréchet distance and $Δ$ bounds the diameter of the regions. We then argue there is a near-linear-time 3-approximation for the decision problem when the regions are convex and roughly $δ$-separated. Finally, we also study the setting with Sakoe--Chiba time bands, where we restrict the alignment between the two curves, and give polynomial-time algorithms for upper bound and expected discrete and continuous Fréchet distance for uncertainty regions modelled as point sets. △ Less

Submitted 24 April, 2020; originally announced April 2020.

Comments: 48 pages, 11 figures. This is the full version of the paper to be published in ICALP 2020

Journal ref: ACM Transactions on Algorithms 19.3 (2023), article no. 29

VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images

Authors: Anjany Sekuboyina, Malek E. Husseini, Amirhossein Bayat, Maximilian Löffler, Hans Liebl, Hongwei Li, Giles Tetteh, Jan Kukačka, Christian Payer, Darko Štern, Martin Urschler, Maodong Chen, Dalong Cheng, Nikolas Lessmann, Yu** Hu, Tianfu Wang, Dong Yang, Daguang Xu, Felix Ambellan, Tamaz Amiranashvili, Moritz Ehlke, Hans Lamecker, Sebastian Lehnert, Marilia Lirio, Nicolás Pérez de Olaguer , et al. (44 additional authors not shown)

Abstract: Vertebral labelling and segmentation are two fundamental tasks in an automated spine processing pipeline. Reliable and accurate processing of spine images is expected to benefit clinical decision-support systems for diagnosis, surgery planning, and population-based analysis on spine and bone health. However, designing automated algorithms for spine processing is challenging predominantly due to co… ▽ More Vertebral labelling and segmentation are two fundamental tasks in an automated spine processing pipeline. Reliable and accurate processing of spine images is expected to benefit clinical decision-support systems for diagnosis, surgery planning, and population-based analysis on spine and bone health. However, designing automated algorithms for spine processing is challenging predominantly due to considerable variations in anatomy and acquisition protocols and due to a severe shortage of publicly available data. Addressing these limitations, the Large Scale Vertebrae Segmentation Challenge (VerSe) was organised in conjunction with the International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) in 2019 and 2020, with a call for algorithms towards labelling and segmentation of vertebrae. Two datasets containing a total of 374 multi-detector CT scans from 355 patients were prepared and 4505 vertebrae have individually been annotated at voxel-level by a human-machine hybrid algorithm (https://osf.io/nqjyw/, https://osf.io/t98fz/). A total of 25 algorithms were benchmarked on these datasets. In this work, we present the the results of this evaluation and further investigate the performance-variation at vertebra-level, scan-level, and at different fields-of-view. We also evaluate the generalisability of the approaches to an implicit domain shift in data by evaluating the top performing algorithms of one challenge iteration on data from the other iteration. The principal takeaway from VerSe: the performance of an algorithm in labelling and segmenting a spine scan hinges on its ability to correctly identify vertebrae in cases of rare anatomical variations. The content and code concerning VerSe can be accessed at: https://github.com/anjany/verse. △ Less

Submitted 5 April, 2022; v1 submitted 24 January, 2020; originally announced January 2020.

Comments: Challenge report for the VerSe 2019 and 2020. Published in Medical Image Analysis (DOI: https://doi.org/10.1016/j.media.2021.102166)

Journal ref: Medical Image Analysis, Volume 73, October 2021, 102166

Nucleon axial structure from lattice QCD

Authors: Gunnar S. Bali, Lorenzo Barca, Sara Collins, Michael Gruber, Marius Löffler, Andreas Schäfer, Wolfgang Söldner, Philipp Wein, Simon Weishäupl, Thomas Wurm

Abstract: We present a new analysis method that allows one to understand and model excited state contributions in observables that are dominated by a pion pole. We apply this method to extract axial and (induced) pseudoscalar nucleon isovector form factors, which satisfy the constraints due to the partial conservation of the axial current up to expected discretization effects. Effective field theory predict… ▽ More We present a new analysis method that allows one to understand and model excited state contributions in observables that are dominated by a pion pole. We apply this method to extract axial and (induced) pseudoscalar nucleon isovector form factors, which satisfy the constraints due to the partial conservation of the axial current up to expected discretization effects. Effective field theory predicts that the leading contribution to the (induced) pseudoscalar form factor originates from an exchange of a virtual pion, and thus exhibits pion pole dominance. Using our new method, we can recover this behavior directly from lattice data. The numerical analysis is based on a large set of ensembles generated by the CLS effort, including physical pion masses, large volumes (with up to $96^3 \times 192$ sites and $L m_π= 6.4$), and lattice spacings down to $0.039 \, \text{fm}$, which allows us to take all the relevant limits. We find that some observables are much more sensitive to the choice of parametrization of the form factors than others. On the one hand, the $z$-expansion leads to significantly smaller values for the axial dipole mass than the dipole ansatz ($M_A^{\text{$z$-exp}}=1.02(10) \, \text{GeV}$ versus $M_A^{\text{dipole}} = 1.31(8) \, \text{GeV}$). On the other hand, we find that the result for the induced pseudoscalar coupling at the muon capture point is almost independent of the choice of parametrization ($g_P^{\star \ \text{$z$-exp}} = 8.68(45)$ and $g_P^{\star \ \text{dipole}} = 8.30(24)$), and is in good agreement with both, chiral perturbation theory predictions and experimental measurement via ordinary muon capture. We also determine the axial coupling constant $g_A$. △ Less

Submitted 29 May, 2020; v1 submitted 29 November, 2019; originally announced November 2019.

Journal ref: JHEP05 (2020) 126

Association of bone mineral density with reoperation rate following instrumented lumbar spinal fusion

Authors: Maximilian T. Löffler, Niklas Loreck, Johannes Kaesmacher, Felix Zibold, Ehab Shiban, Anna Rienmüller, Martin Vazan, Bernhard Meyer, Yu-Mi Ryang, Jan S. Kirschke

Abstract: Low bone mineral density (BMD) is believed to influence the outcome of instrumented spinal surgery and can lead to reoperation. Purpose of this observational and case-control study was to investigate the association of BMD with the risk of reoperation following instrumented lumbar spinal fusion (LSF). For the observational study, 81 patients were included who received LSF with and without augmenta… ▽ More Low bone mineral density (BMD) is believed to influence the outcome of instrumented spinal surgery and can lead to reoperation. Purpose of this observational and case-control study was to investigate the association of BMD with the risk of reoperation following instrumented lumbar spinal fusion (LSF). For the observational study, 81 patients were included who received LSF with and without augmentation. For the case-control study, 18 patients who had reoperation following LSF were matched to 26 patients who did not have reoperation (matched by sex, age +/- 5 years, fused levels and PMMA-augmentation). Opportunistic BMD screening was performed in perioperative CT scans using asynchronous calibration. Mean BMD was compared between patients with and without reoperation in augmented and non-augmented surgeries. In the observational study, prevalence of osteoporosis (BMD < 80 mg/cc) was 29% in non-augmented and 85% in augmented LSF. Seven of 48 patients with non-augmented (15%) and 4 of 33 patients with augmented LSF (12%) had reoperation. In non-augmented LSF, patients with reoperation had significantly lower BMD than patients without reoperation (P = 0.005). The best cut-off to predict reoperation after non-augmented LSF was BMD < 83.7 mg/cc. In the case-control study, patients with reoperation presented numerically lower BMD of 78.8 +/- 33.1 mg/cc than patients without reoperation with BMD of 89.4 +/- 39.7 mg/cc (P = 0.357). Despite much lower BMD surgeries with PMMA-augmentation showed no higher reoperation rate compared to non-augmented surgeries. Patients with reoperation following LSF showed slightly lower BMD compared to matched patients without reoperation, but the difference was not statistically significant. Opportunistic BMD screening can be performed in preoperative CT, thus informing about osteoporotic bone, a potential risk factor of surgery failure. △ Less

Submitted 7 November, 2019; originally announced November 2019.

Comments: 16 pages, 2 figures, 4 tables

Optimality of Spectral Clustering in the Gaussian Mixture Model

Authors: Matthias Löffler, Anderson Y. Zhang, Harrison H. Zhou

Abstract: Spectral clustering is one of the most popular algorithms to group high dimensional data. It is easy to implement and computationally efficient. Despite its popularity and successful applications, its theoretical properties have not been fully understood. In this paper, we show that spectral clustering is minimax optimal in the Gaussian Mixture Model with isotropic covariance matrix, when the numb… ▽ More Spectral clustering is one of the most popular algorithms to group high dimensional data. It is easy to implement and computationally efficient. Despite its popularity and successful applications, its theoretical properties have not been fully understood. In this paper, we show that spectral clustering is minimax optimal in the Gaussian Mixture Model with isotropic covariance matrix, when the number of clusters is fixed and the signal-to-noise ratio is large enough. Spectral gap conditions are widely assumed in the literature to analyze spectral clustering. On the contrary, these conditions are not needed to establish optimality of spectral clustering in this paper. △ Less

Submitted 5 August, 2020; v1 submitted 1 November, 2019; originally announced November 2019.

MSC Class: 62H30

Folding Polyominoes with Holes into a Cube

Authors: Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova, Christiane Schmidt

Abstract: When can a polyomino piece of paper be folded into a unit cube? Prior work studied tree-like polyominoes, but polyominoes with holes remain an intriguing open problem. We present sufficient conditions for a polyomino with one or several holes to fold into a cube, and conditions under which cube folding is impossible. In particular, we show that all but five special \emph{simple} holes guarantee fo… ▽ More When can a polyomino piece of paper be folded into a unit cube? Prior work studied tree-like polyominoes, but polyominoes with holes remain an intriguing open problem. We present sufficient conditions for a polyomino with one or several holes to fold into a cube, and conditions under which cube folding is impossible. In particular, we show that all but five special \emph{simple} holes guarantee foldability. △ Less

Submitted 2 July, 2020; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 24 pages, 21 figures

ACM Class: F.2.2

Probabilistic Point Cloud Reconstructions for Vertebral Shape Analysis

Authors: Anjany Sekuboyina, Markus Rempfler, Alexander Valentinitsch, Maximilian Loeffler, Jan S. Kirschke, Bjoern H. Menze

Abstract: We propose an auto-encoding network architecture for point clouds (PC) capable of extracting shape signatures without supervision. Building on this, we (i) design a loss function capable of modelling data variance on PCs which are unstructured, and (ii) regularise the latent space as in a variational auto-encoder, both of which increase the auto-encoders' descriptive capacity while making them pro… ▽ More We propose an auto-encoding network architecture for point clouds (PC) capable of extracting shape signatures without supervision. Building on this, we (i) design a loss function capable of modelling data variance on PCs which are unstructured, and (ii) regularise the latent space as in a variational auto-encoder, both of which increase the auto-encoders' descriptive capacity while making them probabilistic. Evaluating the reconstruction quality of our architectures, we employ them for detecting vertebral fractures without any supervision. By learning to efficiently reconstruct only healthy vertebrae, fractures are detected as anomalous reconstructions. Evaluating on a dataset containing $\sim$1500 vertebrae, we achieve area-under-ROC curve of $>$75%, without using intensity-based features. △ Less

Submitted 2 August, 2019; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: Accepted at Medical Image Computing and Computer-Assisted Intervention (MICCAI), 2019; JSK and BHM are joint supervising authors

Most vital segment barriers

Authors: Irina Kostitsyna, Maarten Löffler, Valentin Polishchuk, Frank Staals

Abstract: We study continuous analogues of "vitality" for discrete network flows/paths, and consider problems related to placing segment barriers that have highest impact on a flow/path in a polygonal domain. This extends the graph-theoretic notion of "most vital arcs" for flows/paths to geometric environments. We give hardness results and efficient algorithms for various versions of the problem, (almost) c… ▽ More We study continuous analogues of "vitality" for discrete network flows/paths, and consider problems related to placing segment barriers that have highest impact on a flow/path in a polygonal domain. This extends the graph-theoretic notion of "most vital arcs" for flows/paths to geometric environments. We give hardness results and efficient algorithms for various versions of the problem, (almost) completely separating hard and polynomially-solvable cases. △ Less

Submitted 3 May, 2019; originally announced May 2019.

Preprocessing Ambiguous Imprecise Points

Authors: Ivor van der Hoog, Irina Kostitsyna, Maarten Löffler, Bettina Speckmann

Abstract: Let ${R} = \{R_1, R_2, ..., R_n\}$ be a set of regions and let $ X = \{x_1, x_2, ..., x_n\}$ be an (unknown) point set with $x_i \in R_i$. Region $R_i$ represents the uncertainty region of $x_i$. We consider the following question: how fast can we establish order if we are allowed to preprocess the regions in $R$? The preprocessing model of uncertainty uses two consecutive phases: a preprocessing… ▽ More Let ${R} = \{R_1, R_2, ..., R_n\}$ be a set of regions and let $ X = \{x_1, x_2, ..., x_n\}$ be an (unknown) point set with $x_i \in R_i$. Region $R_i$ represents the uncertainty region of $x_i$. We consider the following question: how fast can we establish order if we are allowed to preprocess the regions in $R$? The preprocessing model of uncertainty uses two consecutive phases: a preprocessing phase which has access only to ${R}$ followed by a reconstruction phase during which a desired structure on $X$ is computed. Recent results in this model parametrize the reconstruction time by the ply of ${R}$, which is the maximum overlap between the regions in ${R}$. We introduce the ambiguity $A({R})$ as a more fine-grained measure of the degree of overlap in ${R}$. We show how to preprocess a set of $d$-dimensional disks in $O(n \log n)$ time such that we can sort $X$ (if $d=1$) and reconstruct a quadtree on $X$ (if $d\geq 1$ but constant) in $O(A({R}))$ time. If $A({R})$ is sub-linear, then reporting the result dominates the running time of the reconstruction phase. However, we can still return a suitable data structure representing the result in $O(A({R}))$ time. In one dimension, ${R}$ is a set of intervals and the ambiguity is linked to interval entropy, which in turn relates to the well-studied problem of sorting under partial information. The number of comparisons necessary to find the linear order underlying a poset $P$ is lower-bounded by the graph entropy of $P$. We show that if $P$ is an interval order, then the ambiguity provides a constant-factor approximation of the graph entropy. This gives a lower bound of $Ω(A({R}))$ in all dimensions for the reconstruction phase (sorting or any proximity structure), independent of any preprocessing; hence our result is tight. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Monolayer black phosphorus by sequential wet-chemical surface oxidation

Authors: Stefan Wild, Vicent Lloret, Victor Vega-Mayoral, Daniele Vella, Edurne Nuin, Martin Siebert, Maria Koleśnik-Gray, Mario Löffler, Karl J. J. Mayrhofer, Christoph Gadermaier, Vojislav Krstić, Frank Hauke, Gonzalo Abellán, Andreas Hirsch

Abstract: We report a straightforward chemical methodology for controlling the thickness of black phosphorus flakes down to the monolayer limit by layer-by-layer oxidation and thinning, using water as solubilizing agent. Moreover, the oxidation process can be stopped at will by two different passivation procedures, namely the non-covalent functionalization with perylene diimide chromophores, which prevents… ▽ More We report a straightforward chemical methodology for controlling the thickness of black phosphorus flakes down to the monolayer limit by layer-by-layer oxidation and thinning, using water as solubilizing agent. Moreover, the oxidation process can be stopped at will by two different passivation procedures, namely the non-covalent functionalization with perylene diimide chromophores, which prevents the photooxidation, or by using a protective ionic liquid layer. The obtained flakes preserve their electronic properties as demonstrated by fabricating a BP field-effect transistor (FET). This work paves the way for the preparation of BP devices with controlled thickness △ Less

Submitted 10 March, 2019; originally announced March 2019.

Journal ref: RSC Adv. 2019, 9, 3570-3576

Stress-induced hyperalgesia instead of analgesia in patients with chronic musculoskeletal pain

Authors: Martin Löffler, Pia Schneider, Sigrid Schuh-Hofer, Sandra Kam**, Katrin Usai, Rolf-Detlef Treede, Frauke Nees, Herta Flor

Abstract: Many individuals with chronic musculoskeletal pain (CMP) show impairments in their pain-modulatory capacity. Although stress plays an important role in chronic pain, it is not known if stress-induced analgesia (SIA) is affected in patients with CMP. We investigated SIA in 22 patients with CMP and 18 pain-free participants. Pain thresholds, pain tolerance and suprathreshold pain ratings were examin… ▽ More Many individuals with chronic musculoskeletal pain (CMP) show impairments in their pain-modulatory capacity. Although stress plays an important role in chronic pain, it is not known if stress-induced analgesia (SIA) is affected in patients with CMP. We investigated SIA in 22 patients with CMP and 18 pain-free participants. Pain thresholds, pain tolerance and suprathreshold pain ratings were examined before and after a cognitive stressor that typically induces pain reduction (SIA). Whereas the controls displayed a significant increase in pain threshold in response to the stressor, the patients with CMP showed no analgesia. In addition, increased pain intensity ratings after the stressor indicated hyperalgesia (SIH) in the patients with CMP compared to controls. An exploratory analysis showed no significant association of SIA or SIH with spatial pain extent. We did not observe significant changes in pain tolerance or pain unpleasantness ratings after the stressor in patients with CMP or controls. Our data suggest that altered stress-induced pain modulation is an important mechanism involved in CMP. Future studies need to clarify the psychobiological mechanisms of these stress-induced alterations in pain processing and determine the role of contributing factors such as early childhood trauma, catastrophizing, comorbidity with mental disorders and genetic predisposition. △ Less

Submitted 2 December, 2022; v1 submitted 20 February, 2019; originally announced February 2019.

Geometric Multicut

Authors: Mikkel Abrahamsen, Panos Giannopoulos, Maarten Löffler, Günter Rote

Abstract: We study the following separation problem: Given a collection of colored objects in the plane, compute a shortest "fence" $F$, i.e., a union of curves of minimum total length, that separates every two objects of different colors. Two objects are separated if $F$ contains a simple closed curve that has one object in the interior and the other in the exterior. We refer to the problem as GEOMETRIC… ▽ More We study the following separation problem: Given a collection of colored objects in the plane, compute a shortest "fence" $F$, i.e., a union of curves of minimum total length, that separates every two objects of different colors. Two objects are separated if $F$ contains a simple closed curve that has one object in the interior and the other in the exterior. We refer to the problem as GEOMETRIC $k$-CUT, where $k$ is the number of different colors, as it can be seen as a geometric analogue to the well-studied multicut problem on graphs. We first give an $O(n^4\log^3 n)$-time algorithm that computes an optimal fence for the case where the input consists of polygons of two colors and $n$ corners in total. We then show that the problem is NP-hard for the case of three colors. Finally, we give a $(2-4/3k)$-approximation algorithm. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: 24 pages, 15 figures

ACM Class: F.2.2

Journal ref: Discrete & Computational Geometry 64 (2020), 575-607

Global Curve Simplification

Authors: Mees van de Kerkhof, Irina Kostitsyna, Maarten Löffler, Majid Mirzanezhad, Carola Wenk

Abstract: Due to its many applications, \emph{curve simplification} is a long-studied problem in computational geometry and adjacent disciplines, such as graphics, geographical information science, etc. Given a polygonal curve $P$ with $n$ vertices, the goal is to find another polygonal curve $P'$ with a smaller number of vertices such that $P'$ is sufficiently similar to $P$. Quality guarantees of a simpli… ▽ More Due to its many applications, \emph{curve simplification} is a long-studied problem in computational geometry and adjacent disciplines, such as graphics, geographical information science, etc. Given a polygonal curve $P$ with $n$ vertices, the goal is to find another polygonal curve $P'$ with a smaller number of vertices such that $P'$ is sufficiently similar to $P$. Quality guarantees of a simplification are usually given in a \emph{local} sense, bounding the distance between a shortcut and its corresponding section of the curve. In this work, we aim to provide a systematic overview of curve simplification problems under \emph{global} distance measures that bound the distance between $P$ and $P'$. We consider six different curve distance measures: three variants of the \emph{Hausdorff} distance and three variants of the \emph{Fréchet} distance. And we study different restrictions on the choice of vertices for $P'$. We provide polynomial-time algorithms for some variants of the global curve simplification problem and show NP-hardness for other variants. Through this systematic study we observe, for the first time, some surprising patterns, and suggest directions for future research in this important area. △ Less

Submitted 22 January, 2020; v1 submitted 26 September, 2018; originally announced September 2018.

Comments: 33 pages, 16 figures

ACM Class: F.2.2

Convex partial transversals of planar regions

Authors: Vahideh Keikha, Mees van de Kerkhof, Marc van Kreveld, Irina Kostitsyna, Maarten Löffler, Frank Staals, Jérôme Urhausen, Jordi L. Vermeulen, Lionov Wiratma

Abstract: We consider the problem of testing, for a given set of planar regions $\cal R$ and an integer $k$, whether there exists a convex shape whose boundary intersects at least $k$ regions of $\cal R$. We provide a polynomial time algorithm for the case where the regions are disjoint line segments with a constant number of orientations. On the other hand, we show that the problem is NP-hard when the regi… ▽ More We consider the problem of testing, for a given set of planar regions $\cal R$ and an integer $k$, whether there exists a convex shape whose boundary intersects at least $k$ regions of $\cal R$. We provide a polynomial time algorithm for the case where the regions are disjoint line segments with a constant number of orientations. On the other hand, we show that the problem is NP-hard when the regions are intersecting axis-aligned rectangles or 3-oriented line segments. For several natural intermediate classes of shapes (arbitrary disjoint segments, intersecting 2-oriented segments) the problem remains open. △ Less

Submitted 26 September, 2018; originally announced September 2018.

How to Fit a Tree in a Box

Authors: Hugo A. Akitaya, Maarten Löffler, Irene Parada

Abstract: We study compact straight-line embeddings of trees. We show that perfect binary trees can be embedded optimally: a tree with $n$ nodes can be drawn on a $\sqrt n$ by $\sqrt n$ grid. We also show that testing whether a given binary tree has an upward embedding with a given combinatorial embedding in a given grid is NP-hard. We study compact straight-line embeddings of trees. We show that perfect binary trees can be embedded optimally: a tree with $n$ nodes can be drawn on a $\sqrt n$ by $\sqrt n$ grid. We also show that testing whether a given binary tree has an upward embedding with a given combinatorial embedding in a given grid is NP-hard. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: Appears in the Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)

Spectral thresholding for the estimation of Markov chain transition operators

Authors: Matthias Löffler, Antoine Picard

Abstract: We consider nonparametric estimation of the transition operator $P$ of a Markov chain and its transition density $p$ where the singular values of $P$ are assumed to decay exponentially fast. This is for instance the case for periodised, reversible multi-dimensional diffusion processes observed in low frequency. We investigate the performance of a spectral hard thresholded Galerkin-type estimator… ▽ More We consider nonparametric estimation of the transition operator $P$ of a Markov chain and its transition density $p$ where the singular values of $P$ are assumed to decay exponentially fast. This is for instance the case for periodised, reversible multi-dimensional diffusion processes observed in low frequency. We investigate the performance of a spectral hard thresholded Galerkin-type estimator for $P$ and ${p}$, discarding most of the estimated singular triplets. The construction is based on smooth basis functions such as wavelets or B-splines. We show its statistical optimality by establishing matching minimax upper and lower bounds in $L^2$-loss. Particularly, the effect of the dimensionality $d$ of the state space on the nonparametric rate improves from $2d$ to $d$ compared to the case without singular value decay. △ Less

Submitted 25 October, 2021; v1 submitted 24 August, 2018; originally announced August 2018.

Comments: 30 pages, 1 figure, accepted at Electronic Journal of Statistics

Wald Statistics in high-dimensional PCA

Authors: Matthias Löffler

Abstract: In this note we consider PCA for Gaussian observations $X_1,\dots, X_n$ with covariance $Σ=\sum_i λ_i P_i$ in the 'effective rank' setting with model complexity governed by $\mathbf{r}(Σ):=\text{tr}(Σ)/\| Σ\|$. We prove a Berry-Essen type bound for a Wald Statistic of the spectral projector $\hat P_r$. This can be used to construct non-asymptotic confidence ellipsoids and tests for spectral projec… ▽ More In this note we consider PCA for Gaussian observations $X_1,\dots, X_n$ with covariance $Σ=\sum_i λ_i P_i$ in the 'effective rank' setting with model complexity governed by $\mathbf{r}(Σ):=\text{tr}(Σ)/\| Σ\|$. We prove a Berry-Essen type bound for a Wald Statistic of the spectral projector $\hat P_r$. This can be used to construct non-asymptotic confidence ellipsoids and tests for spectral projectors $P_r$. Using higher order pertubation theory we are able to show that our Theorem remains valid even when $\mathbf{r}(Σ) \gg \sqrt{n}$. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 11 pages

Approximating $(k,\ell)$-center clustering for curves

Authors: Kevin Buchin, Anne Driemel, Joachim Gudmundsson, Michael Horton, Irina Kostitsyna, Maarten Löffler, Martijn Struijs

Abstract: The Euclidean $k$-center problem is a classical problem that has been extensively studied in computer science. Given a set $\mathcal{G}$ of $n$ points in Euclidean space, the problem is to determine a set $\mathcal{C}$ of $k$ centers (not necessarily part of $\mathcal{G}$) such that the maximum distance between a point in $\mathcal{G}$ and its nearest neighbor in $\mathcal{C}$ is minimized. In thi… ▽ More The Euclidean $k$-center problem is a classical problem that has been extensively studied in computer science. Given a set $\mathcal{G}$ of $n$ points in Euclidean space, the problem is to determine a set $\mathcal{C}$ of $k$ centers (not necessarily part of $\mathcal{G}$) such that the maximum distance between a point in $\mathcal{G}$ and its nearest neighbor in $\mathcal{C}$ is minimized. In this paper we study the corresponding $(k,\ell)$-center problem for polygonal curves under the Fréchet distance, that is, given a set $\mathcal{G}$ of $n$ polygonal curves in $\mathbb{R}^d$, each of complexity $m$, determine a set $\mathcal{C}$ of $k$ polygonal curves in $\mathbb{R}^d$, each of complexity $\ell$, such that the maximum Fréchet distance of a curve in $\mathcal{G}$ to its closest curve in $\mathcal{C}$ is minimized. In this paper, we substantially extend and improve the known approximation bounds for curves in dimension $2$ and higher. We show that, if $\ell$ is part of the input, then there is no polynomial-time approximation scheme unless $\mathsf{P}=\mathsf{NP}$. Our constructions yield different bounds for one and two-dimensional curves and the discrete and continuous Fréchet distance. In the case of the discrete Fréchet distance on two-dimensional curves, we show hardness of approximation within a factor close to $2.598$. This result also holds when $k=1$, and the $\mathsf{NP}$-hardness extends to the case that $\ell=\infty$, i.e., for the problem of computing the minimum-enclosing ball under the Fréchet distance. Finally, we observe that a careful adaptation of Gonzalez' algorithm in combination with a curve simplification yields a $3$-approximation in any dimension, provided that an optimal simplification can be computed exactly. We conclude that our approximation bounds are close to being tight. △ Less

Submitted 20 July, 2018; v1 submitted 3 May, 2018; originally announced May 2018.

Comments: 24 pages; results on minimum-enclosing ball added, additional author added, general revision

ACM Class: F.2.2

On Optimal Polyline Simplification using the Hausdorff and Fréchet Distance

Authors: Marc van Kreveld, Maarten Löffler, Lionov Wiratma

Abstract: We revisit the classical polygonal line simplification problem and study it using the Hausdorff distance and Fréchet distance. Interestingly, no previous authors studied line simplification under these measures in its pure form, namely: for a given $\varepsilon$ > 0, choose a minimum size subsequence of the vertices of the input such that the Hausdorff or Fréchet distance between the input and out… ▽ More We revisit the classical polygonal line simplification problem and study it using the Hausdorff distance and Fréchet distance. Interestingly, no previous authors studied line simplification under these measures in its pure form, namely: for a given $\varepsilon$ > 0, choose a minimum size subsequence of the vertices of the input such that the Hausdorff or Fréchet distance between the input and output polylines is at most $\varepsilon$. We analyze how the well-known Douglas-Peucker and Imai-Iri simplification algorithms perform compared to the optimum possible, also in the situation where the algorithms are given a considerably larger error threshold than $\varepsilon$. Furthermore, we show that computing an optimal simplification using the undirected Hausdorff distance is NP-hard. The same holds when using the directed Hausdorff distance from the input to the output polyline, whereas the reverse can be computed in polynomial time. Finally, to compute the optimal simplification from a polygonal line consisting of $n$ vertices under the Fréchet distance, we give an $O(kn^5)$ time algorithm that requires $O(kn^2)$ space, where $k$ is the output complexity of the simplification. △ Less

Submitted 27 March, 2018; v1 submitted 9 March, 2018; originally announced March 2018.

Comments: Full version of the SoCG2018 paper

Efficient energy propagation through self-assembled gold nanoparticle chain waveguides

Authors: Fatih N. Gür, Cillian P. T. McPolin, Søren Raza, Martin Mayer, Diane J. Roth, Anja Maria Steiner, Markus Löffler, Andreas Fery, Mark L. Brongersma, Anatoly V. Zayats, Tobias A. F. König, Thorsten L. Schmidt

Abstract: The strong interaction of light with metallic nanoparticles enables field confinement well below the diffraction limit. Plasmonic waveguides consisting of metal nanoparticle chains could be used for the propagation of energy or information on the nanoscale, but high losses have thus far impeded practical applications. Here we demonstrate that efficient waveguiding is possible through gold nanopart… ▽ More The strong interaction of light with metallic nanoparticles enables field confinement well below the diffraction limit. Plasmonic waveguides consisting of metal nanoparticle chains could be used for the propagation of energy or information on the nanoscale, but high losses have thus far impeded practical applications. Here we demonstrate that efficient waveguiding is possible through gold nanoparticle chains despite the high dissipative losses of gold. A DNA origami directed self-assembly of monocrystalline, spherical nanoparticles allows the interparticle spacing to be decreased to 2 nm or below, which gives rise to lower-energy plasmon resonance modes. Our simulations imply that these lower energy modes allow efficient waveguiding but collapse if interparticle gap sizes are increased. Individual waveguides are characterized with nanometer-resolution by electron energy loss spectroscopy, and directed propagation of energy towards a fluorescent nanodiamond and nanoscale energy conversion is shown by cathodoluminescence imaging spectroscopy on a single-device level. With this approach, micrometer-long propagation lengths might be achieved, enabling applications in information technology, sensing and quantum optics. △ Less

Submitted 10 July, 2018; v1 submitted 25 December, 2017; originally announced December 2017.

Largest and Smallest Area Triangles on Imprecise Points

Authors: Vahideh Keikha, Maarten Löffler, Ali Mohades

Abstract: Assume we are given a set of parallel line segments in the plane, and we wish to place a point on each line segment such that the resulting point set maximizes or minimizes the area of the largest or smallest triangle in the set. We analyze the complexity of the four resulting computational problems, and we show that three of them admit polynomial-time algorithms, while the fourth is NP-hard. Spec… ▽ More Assume we are given a set of parallel line segments in the plane, and we wish to place a point on each line segment such that the resulting point set maximizes or minimizes the area of the largest or smallest triangle in the set. We analyze the complexity of the four resulting computational problems, and we show that three of them admit polynomial-time algorithms, while the fourth is NP-hard. Specifically, we show that maximizing the largest triangle can be done in $O(n^2)$ time (or in $O(n \log n)$ time for unit segments); minimizing the largest triangle can be done in $O(n^2 \log n)$ time; maximizing the smallest triangle is NP-hard; but minimizing the smallest triangle can be done in $O(n^2)$ time. We also discuss to what extent our results can be generalized to polygons with $k>3$ sides. △ Less

Submitted 9 June, 2018; v1 submitted 24 December, 2017; originally announced December 2017.

Dynamic smooth compressed quadtrees (Fullversion)

Authors: Ivor Hoog v. d., Elena Khramtcova, Maarten Löffler

Abstract: We introduce dynamic smooth (a.k.a. balanced) compressed quadtrees with worst-case constant time updates in constant dimensions. We distinguish two versions of the problem. First, we show that quadtrees as a space-division data structure can be made smooth and dynamic subject to split and merge operations on the quadtree cells. Second, we show that quadtrees used to store a set of points in… ▽ More We introduce dynamic smooth (a.k.a. balanced) compressed quadtrees with worst-case constant time updates in constant dimensions. We distinguish two versions of the problem. First, we show that quadtrees as a space-division data structure can be made smooth and dynamic subject to split and merge operations on the quadtree cells. Second, we show that quadtrees used to store a set of points in $\mathbb{R}^d$ can be made smooth and dynamic subject to insertions and deletions of points. The second version uses the first but must additionally deal with compression and alignment of quadtree components. In both cases our updates take $2^{\mathcal{O}(d\log d )}$ time, except for the point location part in the second version which has a lower bound of $Θ(\log n)$---but if a pointer (finger) to the correct quadtree cell is given, the rest of the updates take worst-case constant time. Our result implies that several classic and recent results (ranging from ray tracing to planar point location) in computational geometry which use quadtrees can deal with arbitrary point sets on a real RAM pointer machine. △ Less

Submitted 22 February, 2018; v1 submitted 15 December, 2017; originally announced December 2017.

Comments: Full version of the accepted SOCG submission

Baryonic and mesonic 3-point functions with open spin indices

Authors: Gunnar S. Bali, Sara Collins, Benjamin Glässle, Simon Heybrock, Piotr Korcyl, Marius Löffler, Rudolf Rödl, Andreas Schäfer

Abstract: We have implemented a new way of computing three-point correlation functions. It is based on a factorization of the entire correlation function into two parts which are evaluated with open spin- (and to some extent flavor-) indices. This allows us to estimate the two contributions simultaneously for many different initial and final states and momenta, with little computational overhead. We explain… ▽ More We have implemented a new way of computing three-point correlation functions. It is based on a factorization of the entire correlation function into two parts which are evaluated with open spin- (and to some extent flavor-) indices. This allows us to estimate the two contributions simultaneously for many different initial and final states and momenta, with little computational overhead. We explain this factorization as well as its efficient implementation in a new library which has been written to provide the necessary functionality on modern parallel architectures and on CPUs, including Intel's Xeon Phi series. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 7 pages, 5 figures, Proceedings of Lattice 2017

Implications for planetary system formation from interstellar object 1I/2017 U1 (`Oumuamua)

Authors: David E. Trilling, Tyler Robinson, Alissa Roegge, Colin Orion Chandler, Nathan Smith, Mark Loeffler, Chad Trujillo, Samuel Navarro-Meza, Lori M. Glaspie

Abstract: The recently discovered minor body 1I/2017 U1 (`Oumuamua) is the first known object in our Solar System that is not bound by the Sun's gravity. Its hyperbolic orbit (eccentricity greater than unity) strongly suggests that it originated outside our Solar System; its red color is consistent with substantial space weathering experienced over a long interstellar journey. We carry out an simple calcula… ▽ More The recently discovered minor body 1I/2017 U1 (`Oumuamua) is the first known object in our Solar System that is not bound by the Sun's gravity. Its hyperbolic orbit (eccentricity greater than unity) strongly suggests that it originated outside our Solar System; its red color is consistent with substantial space weathering experienced over a long interstellar journey. We carry out an simple calculation of the probability of detecting such an object. We find that the observed detection rate of 1I-like objects can be satisfied if the average mass of ejected material from nearby stars during the process of planetary formation is ~20 Earth masses, similar to the expected value for our Solar System. The current detection rate of such interstellar interlopers is estimated to be 0.2/year, and the expected number of detections over the past few years is almost exactly one. When the Large Synoptic Survey Telescope begins its wide, fast, deep all-sky survey the detection rate will increase to 1/year. Those expected detections will provide further constraints on nearby planetary system formation through a better estimate of the number and properties of interstellar objects. △ Less

Submitted 8 November, 2017; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: In press at ApJL; this version includes updates from the review process

Lombardi Drawings of Knots and Links

Authors: Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz, Birgit Vogtenhuber

Abstract: Knot and link diagrams are projections of one or more 3-dimensional simple closed curves into $R^2$, such that no more than two points project to the same point in $R^2$. These diagrams are drawings of 4-regular plane multigraphs. Knots are typically smooth curves in $R^3$, so their projections should be smooth curves in $R^2$ with good continuity and large crossing angles: exactly the properties… ▽ More Knot and link diagrams are projections of one or more 3-dimensional simple closed curves into $R^2$, such that no more than two points project to the same point in $R^2$. These diagrams are drawings of 4-regular plane multigraphs. Knots are typically smooth curves in $R^3$, so their projections should be smooth curves in $R^2$ with good continuity and large crossing angles: exactly the properties of Lombardi graph drawings (defined by circular-arc edges and perfect angular resolution). We show that several knots do not allow plane Lombardi drawings. On the other hand, we identify a large class of 4-regular plane multigraphs that do have Lombardi drawings. We then study two relaxations of Lombardi drawings and show that every knot admits a plane 2-Lombardi drawing (where edges are composed of two circular arcs). Further, every knot is near-Lombardi, that is, it can be drawn as Lombardi drawing when relaxing the angular resolution requirement by an arbitrary small angular offset $\varepsilon$, while maintaining a $180^\circ$ angle between opposite edges. △ Less

Submitted 11 March, 2019; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017)

Efficient Estimation of Linear Functionals of Principal Components

Authors: Vladimir Koltchinskii, Matthias Löffler, Richard Nickl

Abstract: We study principal component analysis (PCA) for mean zero i.i.d. Gaussian observations $X_1,\dots, X_n$ in a separable Hilbert space $\mathbb{H}$ with unknown covariance operator $Σ.$ The complexity of the problem is characterized by its effective rank ${\bf r}(Σ):= \frac{{\rm tr}(Σ)}{\|Σ\|},$ where ${\rm tr}(Σ)$ denotes the trace of $Σ$ and $\|Σ\|$ denotes its operator norm. We develop a method o… ▽ More We study principal component analysis (PCA) for mean zero i.i.d. Gaussian observations $X_1,\dots, X_n$ in a separable Hilbert space $\mathbb{H}$ with unknown covariance operator $Σ.$ The complexity of the problem is characterized by its effective rank ${\bf r}(Σ):= \frac{{\rm tr}(Σ)}{\|Σ\|},$ where ${\rm tr}(Σ)$ denotes the trace of $Σ$ and $\|Σ\|$ denotes its operator norm. We develop a method of bias reduction in the problem of estimation of linear functionals of eigenvectors of $Σ.$ Under the assumption that ${\bf r}(Σ)=o(n),$ we establish the asymptotic normality and asymptotic properties of the risk of the resulting estimators and prove matching minimax lower bounds, showing their semi-parametric optimality. △ Less

Submitted 17 January, 2019; v1 submitted 25 August, 2017; originally announced August 2017.

Comments: 48 pages, to appear in Annals of Statistics

Maximum-Area Quadrilateral in a Convex Polygon, Revisited

Authors: Vahideh Keikha, Maarten Löffler, Ali Mohades, Jérôme Urhausen, Ivor van der Hoog

Abstract: In this note we show by example that the algorithm presented in 1979 by Dobkin and Snyder for finding the largest-area k-gon that is inscribed in a convex polygon fails to find the optimal solution for k=4. This question, posed by Keikha et al. where they showed that the Dobkin Snyder algorithm fails for k=3. In this note we show by example that the algorithm presented in 1979 by Dobkin and Snyder for finding the largest-area k-gon that is inscribed in a convex polygon fails to find the optimal solution for k=4. This question, posed by Keikha et al. where they showed that the Dobkin Snyder algorithm fails for k=3. △ Less

Submitted 24 December, 2017; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: 6 pages. arXiv admin note: substantial text overlap with arXiv:1705.11035

Packing Plane Spanning Trees and Paths in Complete Geometric Graphs

Authors: Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann, Emo Welzl

Abstract: We consider the following question: How many edge-disjoint plane spanning trees are contained in a complete geometric graph $GK_n$ on any set $S$ of $n$ points in general position in the plane? We show that this number is in $Ω(\sqrt{n})$. Further, we consider variants of this problem by bounding the diameter and the degree of the trees (in particular considering spanning paths). We consider the following question: How many edge-disjoint plane spanning trees are contained in a complete geometric graph $GK_n$ on any set $S$ of $n$ points in general position in the plane? We show that this number is in $Ω(\sqrt{n})$. Further, we consider variants of this problem by bounding the diameter and the degree of the trees (in particular considering spanning paths). △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: This work was presented at the 26th Canadian Conference on Computational Geometry (CCCG 2014), Halifax, Nova Scotia, Canada, 2014. The journal version appeared in Information Processing Letters, 124 (2017), 35--41

Maximum-Area Triangle in a Convex Polygon, Revisited

Authors: Vahideh Keikha, Maarten Löffler, Ali Mohades, Jérôme Urhausen, Ivor van der Hoog

Abstract: We revisit the following problem: Given a convex polygon $P$, find the largest-area inscribed triangle. We show by example that the linear-time algorithm presented in 1979 by Dobkin and Snyder for solving this problem fails. We then proceed to show that with a small adaptation, their approach does lead to a quadratic-time algorithm. We also present a more involved $O(n\log n)$ time divide-and-conq… ▽ More We revisit the following problem: Given a convex polygon $P$, find the largest-area inscribed triangle. We show by example that the linear-time algorithm presented in 1979 by Dobkin and Snyder for solving this problem fails. We then proceed to show that with a small adaptation, their approach does lead to a quadratic-time algorithm. We also present a more involved $O(n\log n)$ time divide-and-conquer algorithm. Also we show by example that the algorithm presented in 1979 by Dobkin and Snyder for finding the largest-area $k$-gon that is inscribed in a convex polygon fails to find the optimal solution for $k=4$. Finally, we discuss the implications of our discoveries on the literature. △ Less

Submitted 18 December, 2017; v1 submitted 31 May, 2017; originally announced May 2017.

Constructing confidence sets for the matrix completion problem

Authors: Alexandra Carpentier, Olga Klopp, Matthias Löffler

Abstract: In the present note we consider the problem of constructing honest and adaptive confidence sets for the matrix completion problem. For the Bernoulli model with known variance of the noise we provide a realizable method for constructing confidence sets that adapt to the unknown rank of the true matrix. In the present note we consider the problem of constructing honest and adaptive confidence sets for the matrix completion problem. For the Bernoulli model with known variance of the noise we provide a realizable method for constructing confidence sets that adapt to the unknown rank of the true matrix. △ Less

Submitted 10 April, 2017; originally announced April 2017.

Space-Efficient Hidden Surface Removal

Authors: Frank Kammer, Maarten Löffler, Rodrigo I. Silveira

Abstract: We propose a space-efficient algorithm for hidden surface removal that combines one of the fastest previous algorithms for that problem with techniques based on bit manipulation. Such techniques had been successfully used in other settings, for example to reduce working space for several graph algorithms. However, bit manipulation is not usually employed in geometric algorithms because the standar… ▽ More We propose a space-efficient algorithm for hidden surface removal that combines one of the fastest previous algorithms for that problem with techniques based on bit manipulation. Such techniques had been successfully used in other settings, for example to reduce working space for several graph algorithms. However, bit manipulation is not usually employed in geometric algorithms because the standard model of computation (the real RAM) does not support it. For this reason, we first revisit our model of computation to have a reasonable theoretical framework. Under this framework we show how the use of a bit representation for the union of triangles, in combination with rank-select data structures, allows us to implicitly compute the union of $n$ triangles with roughly $O(1)$ bits per union boundary vertex. This results in an algorithm that uses at most as much space as the previous one, and depending on the input, can give a reduction of up to a factor $Θ(\log n)$, while maintaining the running time. △ Less

Submitted 9 January, 2017; v1 submitted 21 November, 2016; originally announced November 2016.

ACM Class: F.2.2

Multi-Colored Spanning Graphs

Authors: Hugo A. Akitaya, Maarten Löffler, Csaba D. Tóth

Abstract: We study a problem proposed by Hurtado et al. (2016) motivated by sparse set visualization. Given $n$ points in the plane, each labeled with one or more primary colors, a \emph{colored spanning graph} (CSG) is a graph such that for each primary color, the vertices of that color induce a connected subgraph. The \textsc{Min-CSG} problem asks for the minimum sum of edge lengths in a colored spanning… ▽ More We study a problem proposed by Hurtado et al. (2016) motivated by sparse set visualization. Given $n$ points in the plane, each labeled with one or more primary colors, a \emph{colored spanning graph} (CSG) is a graph such that for each primary color, the vertices of that color induce a connected subgraph. The \textsc{Min-CSG} problem asks for the minimum sum of edge lengths in a colored spanning graph. We show that the problem is NP-hard for $k$ primary colors when $k\ge 3$ and provide a $(2-\frac{1}{3+2\varrho})$-approximation algorithm for $k=3$ that runs in polynomial time, where $\varrho$ is the Steiner ratio. Further, we give a $O(n)$ time algorithm in the special case that the input points are collinear and $k$ is constant. △ Less

Submitted 25 August, 2016; originally announced August 2016.

Comments: Appears in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016)

Adaptive confidence sets for matrix completion

Authors: Alexandra Carpentier, Olga Klopp, Matthias Löffler, Richard Nickl

Abstract: In the present paper we study the problem of existence of honest and adaptive confidence sets for matrix completion. We consider two statistical models: the trace regression model and the Bernoulli model. In the trace regression model, we show that honest confidence sets that adapt to the unknown rank of the matrix exist even when the error variance is unknown. Contrary to this, we prove that in t… ▽ More In the present paper we study the problem of existence of honest and adaptive confidence sets for matrix completion. We consider two statistical models: the trace regression model and the Bernoulli model. In the trace regression model, we show that honest confidence sets that adapt to the unknown rank of the matrix exist even when the error variance is unknown. Contrary to this, we prove that in the Bernoulli model, honest and adaptive confidence sets exist only when the error variance is known a priori. In the course of our proofs we obtain bounds for the minimax rates of certain composite hypothesis testing problems arising in low rank inference. △ Less

Submitted 6 February, 2017; v1 submitted 17 August, 2016; originally announced August 2016.

Critical Placements of a Square or Circle amidst Trajectories for Junction Detection

Authors: Ingo van Duijn, Irina Kostitsyna, Marc van Kreveld, Maarten Löffler

Abstract: Motivated by automated junction recognition in tracking data, we study a problem of placing a square or disc of fixed size in an arrangement of lines or line segments in the plane. We let distances among the intersection points of the lines and line segments with the square or circle define a clustering, and study the complexity of \emph{critical} placements for this clustering. Here critical mean… ▽ More Motivated by automated junction recognition in tracking data, we study a problem of placing a square or disc of fixed size in an arrangement of lines or line segments in the plane. We let distances among the intersection points of the lines and line segments with the square or circle define a clustering, and study the complexity of \emph{critical} placements for this clustering. Here critical means that arbitrarily small movements of the placement change the clustering. A parameter $\varepsilon$ defines the granularity of the clustering. Without any assumptions on $\varepsilon$, the critical placements have a trivial $O(n^4)$ upper bound. When the square or circle has unit size and $0 < \varepsilon < 1$ is given, we show a refined $O(n^2/\varepsilon^2)$ bound, which is tight in the worst case. We use our combinatorial bounds to design efficient algorithms to compute junctions. As a proof of concept for our algorithms we have a prototype implementation that showcases their application in a basic visualization of a set of $n$ trajectories and their $k$ most important junctions. △ Less

Submitted 18 July, 2016; originally announced July 2016.

Single-Player and Two-Player Buttons & Scissors Games

Authors: Kyle Burke, Erik D. Demaine, Harrison Gregg, Robert A. Hearn, Adam Hesterberg, Michael Hoffmann, Hiro Ito, Irina Kostitsyna, Jody Leonard, Maarten Löffler, Aaron Santiago, Christiane Schmidt, Ryuhei Uehara, Yushi Uno, Aaron Williams

Abstract: We study the computational complexity of the Buttons \& Scissors game and obtain sharp thresholds with respect to several parameters. Specifically we show that the game is NP-complete for $C = 2$ colors but polytime solvable for $C = 1$. Similarly the game is NP-complete if every color is used by at most $F = 4$ buttons but polytime solvable for $F \leq 3$. We also consider restrictions on the boa… ▽ More We study the computational complexity of the Buttons \& Scissors game and obtain sharp thresholds with respect to several parameters. Specifically we show that the game is NP-complete for $C = 2$ colors but polytime solvable for $C = 1$. Similarly the game is NP-complete if every color is used by at most $F = 4$ buttons but polytime solvable for $F \leq 3$. We also consider restrictions on the board size, cut directions, and cut sizes. Finally, we introduce several natural two-player versions of the game and show that they are PSPACE-complete. △ Less

Submitted 6 July, 2016; originally announced July 2016.

Comments: 21 pages, 15 figures. Presented at JCDCG2 2015, Kyoto University, Kyoto, Japan, September 14 - 16, 2015

MSC Class: 91A46 ACM Class: F.1.3

On the complexity of minimum-link path problems

Authors: Irina Kostitsyna, Maarten Löffler, Valentin Polishchuk, Frank Staals

Abstract: We revisit the minimum-link path problem: Given a polyhedral domain and two points in it, connect the points by a polygonal path with minimum number of edges. We consider settings where the vertices and/or the edges of the path are restricted to lie on the boundary of the domain, or can be in its interior. Our results include bit complexity bounds, a novel general hardness construction, and a poly… ▽ More We revisit the minimum-link path problem: Given a polyhedral domain and two points in it, connect the points by a polygonal path with minimum number of edges. We consider settings where the vertices and/or the edges of the path are restricted to lie on the boundary of the domain, or can be in its interior. Our results include bit complexity bounds, a novel general hardness construction, and a polynomial-time approximation scheme. We fully characterize the situation in 2D, and provide first results in dimensions 3 and higher for several variants of the problem. Concretely, our results resolve several open problems. We prove that computing the minimum-link diffuse reflection path, motivated by ray tracing in computer graphics, is NP-hard, even for two-dimensional polygonal domains with holes. This has remained an open problem [1] despite a large body of work on the topic. We also resolve the open problem from [2] mentioned in the handbook [3] (see Chapter 27.5, Open problem 3) and The Open Problems Project [4] (see Problem 22): "What is the complexity of the minimum-link path problem in 3-space?" Our results imply that the problem is NP-hard even on terrains (and hence, due to discreteness of the answer, there is no FPTAS unless P=NP), but admits a PTAS. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Comments: An abridged version of this paper appeared in the proceedings of the 32nd International Symposium on Computational Geometry in 2016

Grou** Time-varying Data for Interactive Exploration

Authors: Arthur van Goethem, Marc van Kreveld, Maarten Löffler, Bettina Speckmann, Frank Staals

Abstract: We present algorithms and data structures that support the interactive analysis of the grou** structure of one-, two-, or higher-dimensional time-varying data while varying all defining parameters. Grou** structures characterise important patterns in the temporal evaluation of sets of time-varying data. We follow Buchin et al. [JoCG 2015] who define groups using three parameters: group-size, g… ▽ More We present algorithms and data structures that support the interactive analysis of the grou** structure of one-, two-, or higher-dimensional time-varying data while varying all defining parameters. Grou** structures characterise important patterns in the temporal evaluation of sets of time-varying data. We follow Buchin et al. [JoCG 2015] who define groups using three parameters: group-size, group-duration, and inter-entity distance. We give upper and lower bounds on the number of maximal groups over all parameter values, and show how to compute them efficiently. Furthermore, we describe data structures that can report changes in the set of maximal groups in an output-sensitive manner. Our results hold in $\mathbb{R}^d$ for fixed $d$. △ Less

Submitted 20 March, 2016; originally announced March 2016.

Comments: Full version of our SoCG 2016 paper

Colored Spanning Graphs for Set Visualization

Authors: Ferran Hurtado, Matias Korman, Marc van Kreveld, Maarten Löffler, Vera Sacristán, Akiyoshi Shioura, Rodrigo I. Silveira, Bettina Speckmann, Takeshi Tokuyama

Abstract: We study an algorithmic problem that is motivated by ink minimization for sparse set visualizations. Our input is a set of points in the plane which are either blue, red, or purple. Blue points belong exclusively to the blue set, red points belong exclusively to the red set, and purple points belong to both sets. A \emph{red-blue-purple spanning graph} (RBP spanning graph) is a set of edges connec… ▽ More We study an algorithmic problem that is motivated by ink minimization for sparse set visualizations. Our input is a set of points in the plane which are either blue, red, or purple. Blue points belong exclusively to the blue set, red points belong exclusively to the red set, and purple points belong to both sets. A \emph{red-blue-purple spanning graph} (RBP spanning graph) is a set of edges connecting the points such that the subgraph induced by the red and purple points is connected, and the subgraph induced by the blue and purple points is connected. We study the geometric properties of minimum RBP spanning graphs and the algorithmic problems associated with computing them. Specifically, we show that the general problem can be solved in polynomial time using matroid techniques. In addition, we discuss more efficient algorithms for the case in which points are located on a line or a circle, and also describe a fast $(\frac 12ρ+1)$-approximation algorithm, where $ρ$ is the Steiner ratio. △ Less

Submitted 25 May, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

Mixed Map Labeling

Authors: Maarten Löffler, Martin Nöllenburg, Frank Staals

Abstract: Point feature map labeling is a geometric problem, in which a set of input points must be labeled with a set of disjoint rectangles (the bounding boxes of the label texts). Typically, labeling models either use internal labels, which must touch their feature point, or external (boundary) labels, which are placed on one of the four sides of the input points' bounding box and which are connected to… ▽ More Point feature map labeling is a geometric problem, in which a set of input points must be labeled with a set of disjoint rectangles (the bounding boxes of the label texts). Typically, labeling models either use internal labels, which must touch their feature point, or external (boundary) labels, which are placed on one of the four sides of the input points' bounding box and which are connected to their feature points by crossing-free leader lines. In this paper we study polynomial-time algorithms for maximizing the number of internal labels in a mixed labeling model that combines internal and external labels. The model requires that all leaders are parallel to a given orientation $θ\in [0,2π)$, whose value influences the geometric properties and hence the running times of our algorithms. △ Less

Submitted 27 January, 2015; originally announced January 2015.

Comments: Full version for the paper accepted at CIAC 2015

Central Trajectories

Authors: Marc van Kreveld, Maarten Loffler, Frank Staals

Abstract: An important task in trajectory analysis is clustering. The results of a clustering are often summarized by a single representative trajectory and an associated size of each cluster. We study the problem of computing a suitable representative of a set of similar trajectories. To this end we define a central trajectory $\mathcal{C}$, which consists of pieces of the input trajectories, switches from… ▽ More An important task in trajectory analysis is clustering. The results of a clustering are often summarized by a single representative trajectory and an associated size of each cluster. We study the problem of computing a suitable representative of a set of similar trajectories. To this end we define a central trajectory $\mathcal{C}$, which consists of pieces of the input trajectories, switches from one entity to another only if they are within a small distance of each other, and such that at any time $t$, the point $\mathcal{C}(t)$ is as central as possible. We measure centrality in terms of the radius of the smallest disk centered at $\mathcal{C}(t)$ enclosing all entities at time $t$, and discuss how the techniques can be adapted to other measures of centrality. We first study the problem in $\mathbb{R}^1$, where we show that an optimal central trajectory $\mathcal{C}$ representing $n$ trajectories, each consisting of $τ$ edges, has complexity $Θ(τn^2)$ and can be computed in $O(τn^2 \log n)$ time. We then consider trajectories in $\mathbb{R}^d$ with $d\geq 2$, and show that the complexity of $\mathcal{C}$ is at most $O(τn^{5/2})$ and can be computed in $O(τn^3)$ time. △ Less

Submitted 8 January, 2015; originally announced January 2015.

Comments: Full version

Counting Carambolas

Authors: Adrian Dumitrescu, Maarten Löffler, André Schulz, Csaba D. Tóth

Abstract: We give upper and lower bounds on the maximum and minimum number of geometric configurations of various kinds present (as subgraphs) in a triangulation of $n$ points in the plane. Configurations of interest include \emph{convex polygons}, \emph{star-shaped polygons} and \emph{monotone paths}. We also consider related problems for \emph{directed} planar straight-line graphs. We give upper and lower bounds on the maximum and minimum number of geometric configurations of various kinds present (as subgraphs) in a triangulation of $n$ points in the plane. Configurations of interest include \emph{convex polygons}, \emph{star-shaped polygons} and \emph{monotone paths}. We also consider related problems for \emph{directed} planar straight-line graphs. △ Less

Submitted 20 September, 2015; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: update reflects journal version, to appear in Graphs and Combinatorics; 18 pages, 13 figures

Region-based approximation of probability distributions (for visibility between imprecise points among obstacles)

Authors: Kevin Buchin, Irina Kostitsyna, Maarten Löffler, Rodrigo I. Silveira

Abstract: Let $p$ and $q$ be two imprecise points, given as probability density functions on $\mathbb R^2$, and let $\cal R$ be a set of $n$ line segments (obstacles) in $\mathbb R^2$. We study the problem of approximating the probability that $p$ and $q$ can see each other; that is, that the segment connecting $p$ and $q$ does not cross any segment of $\cal R$. To solve this problem, we approximate each de… ▽ More Let $p$ and $q$ be two imprecise points, given as probability density functions on $\mathbb R^2$, and let $\cal R$ be a set of $n$ line segments (obstacles) in $\mathbb R^2$. We study the problem of approximating the probability that $p$ and $q$ can see each other; that is, that the segment connecting $p$ and $q$ does not cross any segment of $\cal R$. To solve this problem, we approximate each density function by a weighted set of polygons; a novel approach to dealing with probability density functions in computational geometry. △ Less

Submitted 2 December, 2014; v1 submitted 23 February, 2014; originally announced February 2014.

The Flip Diameter of Rectangulations and Convex Subdivisions

Authors: Eyal Ackerman, Michelle M. Allen, Gill Barequet, Maarten Löffler, Joshua Mermelstein, Diane L. Souvaine, Csaba D. Tóth

Abstract: We study the configuration space of rectangulations and convex subdivisions of $n$ points in the plane. It is shown that a sequence of $O(n\log n)$ elementary flip and rotate operations can transform any rectangulation to any other rectangulation on the same set of $n$ points. This bound is the best possible for some point sets, while $Θ(n)$ operations are sufficient and necessary for others. Some… ▽ More We study the configuration space of rectangulations and convex subdivisions of $n$ points in the plane. It is shown that a sequence of $O(n\log n)$ elementary flip and rotate operations can transform any rectangulation to any other rectangulation on the same set of $n$ points. This bound is the best possible for some point sets, while $Θ(n)$ operations are sufficient and necessary for others. Some of our bounds generalize to convex subdivisions of $n$ points in the plane. △ Less

Submitted 10 March, 2016; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: 17 pages, 12 figures, an extended abstract has been presented at LATIN 2014

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Combinatorics (March 17, 2016) dmtcs:646

Terrain visibility with multiple viewpoints

Authors: Ferran Hurtado, Maarten Löffler, Inês Matos, Vera Sacristán, Maria Saumell, Rodrigo I. Silveira, Frank Staals

Abstract: We study the problem of visibility in polyhedral terrains in the presence of multiple viewpoints. We consider a triangulated terrain with $m>1$ viewpoints (or guards) located on the terrain surface. A point on the terrain is considered \emph{visible} if it has an unobstructed line of sight to at least one viewpoint. We study several natural and fundamental visibility structures: (1) the visibility… ▽ More We study the problem of visibility in polyhedral terrains in the presence of multiple viewpoints. We consider a triangulated terrain with $m>1$ viewpoints (or guards) located on the terrain surface. A point on the terrain is considered \emph{visible} if it has an unobstructed line of sight to at least one viewpoint. We study several natural and fundamental visibility structures: (1) the visibility map, which is a partition of the terrain into visible and invisible regions; (2) the \emph{colored} visibility map, which is a partition of the terrain into regions whose points have exactly the same visible viewpoints; and (3) the Voronoi visibility map, which is a partition of the terrain into regions whose points have the same closest visible viewpoint. We study the complexity of each structure for both 1.5D and 2.5D terrains, and provide efficient algorithms to construct them. Our algorithm for the visibility map in 2.5D terrains improves on the only existing algorithm in this setting. To the best of our knowledge, the other structures have not been studied before. △ Less

Submitted 1 December, 2014; v1 submitted 17 September, 2013; originally announced September 2013.

Comments: Manuscript accompanying shorter version in ISAAC 2013; some algorithms and bounds have improved with respect to the ISAAC version. The journal version will appear in IJCGA (without Section 4)

Strict Confluent Drawing

Authors: David Eppstein, Danny Holten, Maarten Löffler, Martin Nöllenburg, Bettina Speckmann, Kevin Verbeek

Abstract: We define strict confluent drawing, a form of confluent drawing in which the existence of an edge is indicated by the presence of a smooth path through a system of arcs and junctions (without crossings), and in which such a path, if it exists, must be unique. We prove that it is NP-complete to determine whether a given graph has a strict confluent drawing but polynomial to determine whether it has… ▽ More We define strict confluent drawing, a form of confluent drawing in which the existence of an edge is indicated by the presence of a smooth path through a system of arcs and junctions (without crossings), and in which such a path, if it exists, must be unique. We prove that it is NP-complete to determine whether a given graph has a strict confluent drawing but polynomial to determine whether it has an outerplanar strict confluent drawing with a fixed vertex ordering (a drawing within a disk, with the vertices placed in a given order on the boundary). △ Less

Submitted 30 August, 2013; originally announced August 2013.

Comments: 20 pages, 14 figures, Extended version of a paper to appear at Graph Drawing 2013

Journal ref: J. Computation Geometry 7 (1): 22-46, 2016

Unions of Onions: Preprocessing Imprecise Points for Fast Onion Decomposition

Authors: Maarten Löffler, Wolfgang Mulzer

Abstract: Let $\mathcal{D}$ be a set of $n$ pairwise disjoint unit disks in the plane. We describe how to build a data structure for $\mathcal{D}$ so that for any point set $P$ containing exactly one point from each disk, we can quickly find the onion decomposition (convex layers) of $P$. Our data structure can be built in $O(n \log n)$ time and has linear size. Given $P$, we can find its onion decomposit… ▽ More Let $\mathcal{D}$ be a set of $n$ pairwise disjoint unit disks in the plane. We describe how to build a data structure for $\mathcal{D}$ so that for any point set $P$ containing exactly one point from each disk, we can quickly find the onion decomposition (convex layers) of $P$. Our data structure can be built in $O(n \log n)$ time and has linear size. Given $P$, we can find its onion decomposition in $O(n \log k)$ time, where $k$ is the number of layers. We also provide a matching lower bound. Our solution is based on a recursive space decomposition, combined with a fast algorithm to compute the union of two disjoint onion △ Less

Submitted 15 January, 2014; v1 submitted 21 February, 2013; originally announced February 2013.

Comments: 10 pages, 5 figures; a preliminary version appeared at WADS 2013

Journal ref: Journal of Computational Geometry, 5(1), 2014, 1-13

On the Complexity of Barrier Resilience for Fat Regions

Authors: Matias Korman, Maarten Löffler, Rodrigo I. Silveira, Darren Strash

Abstract: In the \emph {barrier resilience} problem (introduced by Kumar {\em et al.}, Wireless Networks 2007), we are given a collection of regions of the plane, acting as obstacles, and we would like to remove the minimum number of regions so that two fixed points can be connected without crossing any region. In this paper, we show that the problem is NP-hard when the collection only contains fat regions… ▽ More In the \emph {barrier resilience} problem (introduced by Kumar {\em et al.}, Wireless Networks 2007), we are given a collection of regions of the plane, acting as obstacles, and we would like to remove the minimum number of regions so that two fixed points can be connected without crossing any region. In this paper, we show that the problem is NP-hard when the collection only contains fat regions with bounded ply $Δ$ (even when they are axis-aligned rectangles of aspect ratio $1 : (1 + \varepsilon)$). We also show that the problem is fixed-parameter tractable (FPT) for unit disks and for similarly-sized $β$-fat regions with bounded ply $Δ$ and $O(1)$ pairwise boundary intersections. Furthermore, we can use our FPT algorithm to construct an $(1+\varepsilon)$-approximation algorithm that runs in $O(2^{f(Δ, \varepsilon,β)}n^5)$ time, where $f\in O(\frac{Δ^4β^8}{\varepsilon^4}\log(βΔ/\varepsilon))$. △ Less

Submitted 6 June, 2017; v1 submitted 19 February, 2013; originally announced February 2013.

How Many Potatoes are in a Mesh?

Authors: Marc van Kreveld, Maarten Löffler, János Pach

Abstract: We consider the combinatorial question of how many convex polygons can be made by using the edges taken from a fixed triangulation of n vertices. For general triangulations, there can be exponentially many: we show a construction that has Omega(1.5028^n) convex polygons, and prove an O(1.62^n) upper bound in the worst case. If the triangulation is fat (every triangle has its angles lower-bounded b… ▽ More We consider the combinatorial question of how many convex polygons can be made by using the edges taken from a fixed triangulation of n vertices. For general triangulations, there can be exponentially many: we show a construction that has Omega(1.5028^n) convex polygons, and prove an O(1.62^n) upper bound in the worst case. If the triangulation is fat (every triangle has its angles lower-bounded by a constant delta>0), then there can be only polynomially many. We also consider the problem of counting convex outerplanar polygons (i.e., they contain no vertices of the triangulation in their interiors) in the same triangulations. In this setting, we get the same exponential bounds in general triangulations, and lower polynomial bounds in fat triangulations. If the triangulation is furthermore compact (the ratio between the longest and shortest distance between any two vertices is bounded), the bounds drop further to Theta (n^2) for general convex outerplanar polygons, and Theta (n) for fat convex outerplanar polygons. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Triangulating the Square and Squaring the Triangle: Quadtrees and Delaunay Triangulations are Equivalent

Authors: Maarten Löffler, Wolfgang Mulzer

Abstract: We show that Delaunay triangulations and compressed quadtrees are equivalent structures. More precisely, we give two algorithms: the first computes a compressed quadtree for a planar point set, given the Delaunay triangulation; the second finds the Delaunay triangulation, given a compressed quadtree. Both algorithms run in deterministic linear time on a pointer machine. Our work builds on and exte… ▽ More We show that Delaunay triangulations and compressed quadtrees are equivalent structures. More precisely, we give two algorithms: the first computes a compressed quadtree for a planar point set, given the Delaunay triangulation; the second finds the Delaunay triangulation, given a compressed quadtree. Both algorithms run in deterministic linear time on a pointer machine. Our work builds on and extends previous results by Krznaric and Levcopolous and Buchin and Mulzer. Our main tool for the second algorithm is the well-separated pair decomposition(WSPD), a structure that has been used previously to find Euclidean minimum spanning trees in higher dimensions (Eppstein). We show that knowing the WSPD (and a quadtree) suffices to compute a planar Euclidean minimum spanning tree (EMST) in linear time. With the EMST at hand, we can find the Delaunay triangulation in linear time. As a corollary, we obtain deterministic versions of many previous algorithms related to Delaunay triangulations, such as splitting planar Delaunay triangulations, preprocessing imprecise points for faster Delaunay computation, and transdichotomous Delaunay triangulations. △ Less

Submitted 21 May, 2012; originally announced May 2012.

Comments: 37 pages, 13 figures, full version of a paper that appeared in SODA 2011

Journal ref: SIAM Journal on Computing (SICOMP), 41(4), 2012, pp. 941-974