-
Spanners in Planar Domains via Steiner Spanners and non-Steiner Tree Covers
Authors:
Sujoy Bhore,
Balázs Keszegh,
Andrey Kupavskii,
Hung Le,
Alexandre Louvet,
Dömötör Pálvölgyi,
Csaba D. Tóth
Abstract:
We study spanners in planar domains, including polygonal domains, polyhedral terrain, and planar metrics. Previous work showed that for any constant $ε\in (0,1)$, one could construct a $(2+ε)$-spanner with $O(n\log(n))$ edges (SICOMP 2019), and there is a lower bound of $Ω(n^2)$ edges for any $(2-ε)$-spanner (SoCG 2015). The main open question is whether a linear number of edges suffices and the s…
▽ More
We study spanners in planar domains, including polygonal domains, polyhedral terrain, and planar metrics. Previous work showed that for any constant $ε\in (0,1)$, one could construct a $(2+ε)$-spanner with $O(n\log(n))$ edges (SICOMP 2019), and there is a lower bound of $Ω(n^2)$ edges for any $(2-ε)$-spanner (SoCG 2015). The main open question is whether a linear number of edges suffices and the stretch can be reduced to $2$. We resolve this problem by showing that for stretch $2$, one needs $Ω(n\log n)$ edges, and for stretch $2+ε$ for any fixed $ε\in (0,1)$, $O(n)$ edges are sufficient. Our lower bound is the first super-linear lower bound for stretch $2$.
En route to achieve our result, we introduce the problem of constructing non-Steiner tree covers for metrics, which is a natural variant of the well-known Steiner point removal problem for trees (SODA 2001). Given a tree and a set of terminals in the tree, our goal is to construct a collection of a small number of dominating trees such that for every two points, at least one tree in the collection preserves their distance within a small stretch factor. Here, we identify an unexpected threshold phenomenon around $2$ where a sharp transition from $n$ trees to $Θ(\log n)$ trees and then to $O(1)$ trees happens. Specifically, (i) for stretch $ 2-ε$, one needs $Ω(n)$ trees; (ii) for stretch $2$, $Θ(\log n)$ tree is necessary and sufficient; and (iii) for stretch $2+ε$, a constant number of trees suffice. Furthermore, our lower bound technique for the non-Steiner tree covers of stretch $2$ has further applications in proving lower bounds for two related constructions in tree metrics: reliable spanners and locality-sensitive orderings. Our lower bound for locality-sensitive orderings matches the best upper bound (STOC 2022).
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Rao-Blackwellising Bayesian Causal Inference
Authors:
Christian Toth,
Christian Knoll,
Franz Pernkopf,
Robert Peharz
Abstract:
Bayesian causal inference, i.e., inferring a posterior over causal models for the use in downstream causal reasoning tasks, poses a hard computational inference problem that is little explored in literature. In this work, we combine techniques from order-based MCMC structure learning with recent advances in gradient-based graph learning into an effective Bayesian causal inference framework. Specif…
▽ More
Bayesian causal inference, i.e., inferring a posterior over causal models for the use in downstream causal reasoning tasks, poses a hard computational inference problem that is little explored in literature. In this work, we combine techniques from order-based MCMC structure learning with recent advances in gradient-based graph learning into an effective Bayesian causal inference framework. Specifically, we decompose the problem of inferring the causal structure into (i) inferring a topological order over variables and (ii) inferring the parent sets for each variable. When limiting the number of parents per variable, we can exactly marginalise over the parent sets in polynomial time. We further use Gaussian processes to model the unknown causal mechanisms, which also allows their exact marginalisation. This introduces a Rao-Blackwellization scheme, where all components are eliminated from the model, except for the causal order, for which we learn a distribution via gradient-based optimisation. The combination of Rao-Blackwellization with our sequential inference procedure for causal orders yields state-of-the-art on linear and non-linear additive noise benchmarks with scale-free and Erdos-Renyi graph structures.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
The mixing of two-pion and vector-meson states using staggered fermions
Authors:
Fabian J. Frech,
Finn M. Stokes,
Kalman K. Szabo,
Balint C. Toth
Abstract:
In this study we employ staggered fermions to calculate the two-pion taste singlet states at rest. Leveraging the Clebsch-Gordan coefficients of the symmetry group associated with staggered fermions, we effectively compute the $ππ$ contributions to the resting $ρ$-meson correlator. To discern the distinct energy states involved, we adopt a generalized eigenvalue problem-solving approach. This work…
▽ More
In this study we employ staggered fermions to calculate the two-pion taste singlet states at rest. Leveraging the Clebsch-Gordan coefficients of the symmetry group associated with staggered fermions, we effectively compute the $ππ$ contributions to the resting $ρ$-meson correlator. To discern the distinct energy states involved, we adopt a generalized eigenvalue problem-solving approach. This work will provide insight into the important role played by the two-pion contribution to the anomalous magnetic moment of the muon.
In this paper we present our group theoretic considerations and preliminary results on the contribution of two-pion states to the rho meson correlation function.
△ Less
Submitted 31 December, 2023;
originally announced January 2024.
-
Plane Multigraphs with One-Bend and Circular-Arc Edges of a Fixed Angle
Authors:
Csaba D. Tóth
Abstract:
For an angle $α\in (0,π)$, we consider plane graphs and multigraphs in which the edges are either (i) one-bend polylines with an angle $α$ between the two edge segments, or (ii) circular arcs of central angle $2(π-α)$. We derive upper and lower bounds on the maximum density of such graphs in terms of $α$. As an application, we improve upon bounds for the number of edges in $αAC_1^=$ graphs (i.e.,…
▽ More
For an angle $α\in (0,π)$, we consider plane graphs and multigraphs in which the edges are either (i) one-bend polylines with an angle $α$ between the two edge segments, or (ii) circular arcs of central angle $2(π-α)$. We derive upper and lower bounds on the maximum density of such graphs in terms of $α$. As an application, we improve upon bounds for the number of edges in $αAC_1^=$ graphs (i.e., graphs that can be drawn in the plane with one-bend edges such that any two crossing edges meet at angle $α$). This is the first improvement on the size of $αAC_1^=$ graphs in over a decade.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Random Fourier Signature Features
Authors:
Csaba Toth,
Harald Oberhauser,
Zoltan Szabo
Abstract:
Tensor algebras give rise to one of the most powerful measures of similarity for sequences of arbitrary length called the signature kernel accompanied with attractive theoretical guarantees from stochastic analysis. Previous algorithms to compute the signature kernel scale quadratically in terms of the length and the number of the sequences. To mitigate this severe computational bottleneck, we dev…
▽ More
Tensor algebras give rise to one of the most powerful measures of similarity for sequences of arbitrary length called the signature kernel accompanied with attractive theoretical guarantees from stochastic analysis. Previous algorithms to compute the signature kernel scale quadratically in terms of the length and the number of the sequences. To mitigate this severe computational bottleneck, we develop a random Fourier feature-based acceleration of the signature kernel acting on the inherently non-Euclidean domain of sequences. We show uniform approximation guarantees for the proposed unbiased estimator of the signature kernel, while kee** its computation linear in the sequence length and number. In addition, combined with recent advances on tensor projections, we derive two even more scalable time series features with favourable concentration properties and computational complexity both in time and memory. Our empirical results show that the reduction in computational cost comes at a negligible price in terms of accuracy on moderate-sized datasets, and it enables one to scale to large datasets up to a million time series.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
Online Duet between Metric Embeddings and Minimum-Weight Perfect Matchings
Authors:
Sujoy Bhore,
Arnold Filtser,
Csaba D. Tóth
Abstract:
Low-distortional metric embeddings are a crucial component in the modern algorithmic toolkit. In an online metric embedding, points arrive sequentially and the goal is to embed them into a simple space irrevocably, while minimizing the distortion. Our first result is a deterministic online embedding of a general metric into Euclidean space with distortion…
▽ More
Low-distortional metric embeddings are a crucial component in the modern algorithmic toolkit. In an online metric embedding, points arrive sequentially and the goal is to embed them into a simple space irrevocably, while minimizing the distortion. Our first result is a deterministic online embedding of a general metric into Euclidean space with distortion $O(\log n)\cdot\min\{\sqrt{\logΦ},\sqrt{n}\}$ (or, $O(d)\cdot\min\{\sqrt{\logΦ},\sqrt{n}\}$ if the metric has doubling dimension $d$), solving a conjecture by Newman and Rabinovich (2020), and quadratically improving the dependence on the aspect ratio $Φ$ from Indyk et al.\ (2010). Our second result is a stochastic embedding of a metric space into trees with expected distortion $O(d\cdot \logΦ)$, generalizing previous results (Indyk et al.\ (2010), Bartal et al.\ (2020)).
Next, we study the \emph{online minimum-weight perfect matching} problem, where a sequence of $2n$ metric points arrive in pairs, and one has to maintain a perfect matching at all times. We allow recourse (as otherwise the order of arrival determines the matching). The goal is to return a perfect matching that approximates the \emph{minimum-weight} perfect matching at all times, while minimizing the recourse. Our third result is a randomized algorithm with competitive ratio $O(d\cdot \log Φ)$ and recourse $O(\log Φ)$ against an oblivious adversary, this result is obtained via our new stochastic online embedding. Our fourth result is a deterministic algorithm against an adaptive adversary, using $O(\log^2 n)$ recourse, that maintains a matching of weight at most $O(\log n)$ times the weight of the MST, i.e., a matching of lightness $O(\log n)$. We complement our upper bounds with a strategy for an oblivious adversary that, with recourse $r$, establishes a lower bound of $Ω(\frac{\log n}{r \log r})$ for both competitive ratio and lightness.
△ Less
Submitted 21 October, 2023;
originally announced October 2023.
-
On a probabilistic problem on finite semigroups
Authors:
Attila Nagy,
Csaba Tóth
Abstract:
In this paper we deal with the following problem: how does the structure of a finite semigroup $S$ depend on the probability that two elements selected at random from $S$, with replacement, define the same inner right translation of $S$. We solve a subcase of this problem. As the main result of the paper, we show how to construct not necessarily finite medial semigroups in which the index of the k…
▽ More
In this paper we deal with the following problem: how does the structure of a finite semigroup $S$ depend on the probability that two elements selected at random from $S$, with replacement, define the same inner right translation of $S$. We solve a subcase of this problem. As the main result of the paper, we show how to construct not necessarily finite medial semigroups in which the index of the kernel of the right regular representation equals two.
△ Less
Submitted 16 October, 2023;
originally announced October 2023.
-
Hadronic vacuum polarization: comparing lattice QCD and data-driven results in systematically improvable ways
Authors:
Michel Davier,
Zoltan Fodor,
Antoine Gerardin,
Laurent Lellouch,
Bogdan Malaescu,
Finn M. Stokes,
Kalman K. Szabo,
Balint C. Toth,
Lukas Varnhorst,
Zhiqing Zhang
Abstract:
The precision with which hadronic vacuum polarization (HVP) is obtained determines how accurately important observables, such as the muon anomalous magnetic moment, a_μ, or the low-energy running of the electromagnetic coupling, α, are predicted. The two most precise approaches for determining HVP are: dispersive relations combined with e+e- to hadrons cross-section data, and lattice QCD. However,…
▽ More
The precision with which hadronic vacuum polarization (HVP) is obtained determines how accurately important observables, such as the muon anomalous magnetic moment, a_μ, or the low-energy running of the electromagnetic coupling, α, are predicted. The two most precise approaches for determining HVP are: dispersive relations combined with e+e- to hadrons cross-section data, and lattice QCD. However, the results obtained in these two approaches display significant tensions, whose origins are not understood. Here we present a framework that sheds light on this issue and, if the two approaches can be reconciled, allows them to be combined. Via this framework, we test the hypothesis that the tensions can be explained by modifying the R-ratio in different intervals of center-of-mass energy sqrt(s). As ingredients, we consider observables that have been precisely determined in both approaches. These are the leading hadronic contributions to a_μ, to the so-called intermediate window observable and to the running of αbetween spacelike virtualities 1GeV^2 and 10GeV^2 (for which only a preliminary lattice result exists). Our tests take into account all uncertainties and correlations, as well as uncertainties on uncertainties in the lattice results. Among our findings, the most striking is that results obtained in the two approaches can be made to agree for all three observables by modifying the ρpeak in the experimental spectrum. In particular, we find that this requires a common ~5\% increase in the contributions of the peak to each of the three observables. This finding is robust against the presence or absence of one of the constraining observables. However, such an increase is much larger than the uncertainties on the measured R-ratio. We also discuss a variety of generalizations of the methods used here, as well as the limits in the information that can be extracted...
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
On RAC Drawings of Graphs with Two Bends per Edge
Authors:
Csaba D. Tóth
Abstract:
It is shown that every $n$-vertex graph that admits a 2-bend RAC drawing in the plane, where the edges are polylines with two bends per edge and any pair of edges can only cross at a right angle, has at most $20n-24$ edges for $n\geq 3$. This improves upon the previous upper bound of $74.2n$; this is the first improvement in more than 12 years. A crucial ingredient of the proof is an upper bound o…
▽ More
It is shown that every $n$-vertex graph that admits a 2-bend RAC drawing in the plane, where the edges are polylines with two bends per edge and any pair of edges can only cross at a right angle, has at most $20n-24$ edges for $n\geq 3$. This improves upon the previous upper bound of $74.2n$; this is the first improvement in more than 12 years. A crucial ingredient of the proof is an upper bound on the size of plane multigraphs with polyline edges in which the first and last segments are either parallel or orthogonal.
△ Less
Submitted 8 May, 2024; v1 submitted 4 August, 2023;
originally announced August 2023.
-
Fully Dynamic Maximum Independent Sets of Disks in Polylogarithmic Update Time
Authors:
Sujoy Bhore,
Martin Nöllenburg,
Csaba D. Tóth,
Jules Wulms
Abstract:
A fundamental question is whether one can maintain a maximum independent set in polylogarithmic update time for a dynamic collection of geometric objects in Euclidean space. Already, for a set of intervals, it is known that no dynamic algorithm can maintain an exact maximum independent set in sublinear update time. Therefore, the typical objective is to explore the trade-off between update time an…
▽ More
A fundamental question is whether one can maintain a maximum independent set in polylogarithmic update time for a dynamic collection of geometric objects in Euclidean space. Already, for a set of intervals, it is known that no dynamic algorithm can maintain an exact maximum independent set in sublinear update time. Therefore, the typical objective is to explore the trade-off between update time and solution size. Substantial efforts have been made in recent years to understand this question for various families of geometric objects, such as intervals, hypercubes, hyperrectangles, and fat objects.
We present the first fully dynamic approximation algorithm for disks of arbitrary radii in the plane that maintains a constant-factor approximate maximum independent set in polylogarithmic expected amortized update time. Moreover, for a fully dynamic set of $n$ disks of unit radius in the plane, we show that a $12$-approximate maximum independent set can be maintained with worst-case update time $O(\log n)$, and optimal output-sensitive reporting. This result generalizes to fat objects of comparable sizes in any fixed dimension $d$, where the approximation ratio depends on the dimension and the fatness parameter. Further, we note that, even for a dynamic set of disks of unit radius in the plane, it is impossible to maintain $O(1+\varepsilon)$-approximate maximum independent set in truly sublinear update time, under standard complexity assumptions.
△ Less
Submitted 6 December, 2023; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Reconfiguration of Polygonal Subdivisions via Recombination
Authors:
Hugo A. Akitaya,
Andrei Gonczi,
Diane L. Souvaine,
Csaba D. Tóth,
Thomas Weighill
Abstract:
Motivated by the problem of redistricting, we study area-preserving reconfigurations of connected subdivisions of a simple polygon. A connected subdivision of a polygon $\mathcal{R}$, called a district map, is a set of interior disjoint connected polygons called districts whose union equals $\mathcal{R}$. We consider the recombination as the reconfiguration move which takes a subdivision and produ…
▽ More
Motivated by the problem of redistricting, we study area-preserving reconfigurations of connected subdivisions of a simple polygon. A connected subdivision of a polygon $\mathcal{R}$, called a district map, is a set of interior disjoint connected polygons called districts whose union equals $\mathcal{R}$. We consider the recombination as the reconfiguration move which takes a subdivision and produces another by merging two adjacent districts, and by splitting them into two connected polygons of the same area as the original districts. The complexity of a map is the number of vertices in the boundaries of its districts. Given two maps with $k$ districts, with complexity $O(n)$, and a perfect matching between districts of the same area in the two maps, we show constructively that $(\log n)^{O(\log k)}$ recombination moves are sufficient to reconfigure one into the other. We also show that $Ω(\log n)$ recombination moves are sometimes necessary even when $k=3$, thus providing a tight bound when $k=O(1)$.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Observation Routes and External Watchman Routes
Authors:
Adrian Dumitrescu,
Csaba D. Tóth
Abstract:
We introduce the Observation Route Problem ($\textsf{ORP}$) defined as follows: Given a set of $n$ pairwise disjoint compact regions in the plane, find a shortest tour (route) such that an observer walking along this tour can see (observe) some point in each region from some point of the tour. The observer does \emph{not} need to see the entire boundary of an object. The tour is \emph{not} allowed…
▽ More
We introduce the Observation Route Problem ($\textsf{ORP}$) defined as follows: Given a set of $n$ pairwise disjoint compact regions in the plane, find a shortest tour (route) such that an observer walking along this tour can see (observe) some point in each region from some point of the tour. The observer does \emph{not} need to see the entire boundary of an object. The tour is \emph{not} allowed to intersect the interior of any region (i.e., the regions are obstacles and therefore out of bounds). The problem exhibits similarity to both the Traveling Salesman Problem with Neighborhoods ($\textsf{TSPN}$) and the External Watchman Route Problem ($\textsf{EWRP}$). We distinguish two variants: the range of visibility is either limited to a bounding rectangle, or unlimited. We obtain the following results:
(I) Given a family of $n$ disjoint convex bodies in the plane, computing a shortest observation route does not admit a $(c\log n)$-approximation unless $\textsf{P} = \textsf{NP}$ for an absolute constant $c>0$. (This holds for both limited and unlimited vision.)
(II) Given a family of disjoint convex bodies in the plane, computing a shortest external watchman route is $\textsf{NP}$-hard. (This holds for both limited and unlimited vision; and even for families of axis-aligned squares.)
(III) Given a family of $n$ disjoint fat convex polygons, an observation tour whose length is at most $O(\log{n})$ times the optimal can be computed in polynomial time. (This holds for limited vision.)
(IV) For every $n \geq 5$, there exists a convex polygon with $n$ sides and all angles obtuse such that its perimeter is \emph{not} a shortest external watchman route. This refutes a conjecture by Absar and Whitesides (2006).
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Acceptance tests of Hamamatsu R7081 photomultiplier tubes
Authors:
O. A. Akindele,
A. Bernstein,
S. Boyd,
J. Burns,
M. Calle,
J. Coleman,
R. Collins,
A. Ezeribe,
J. He,
G. Holt,
K. Jewkes,
R. Jones,
L. Kneale,
P. Lewis,
M. Malek,
C. Mauger,
A. Mitra,
F. Muheim,
M. Needham,
S. Paling,
L. Pickard,
S. Quillin,
J. Rex,
P. R. Scovell,
T. Shaw
, et al. (7 additional authors not shown)
Abstract:
Photomultiplier tubes (PMTs) are traditionally an integral part of large underground experiments as they measure the light emission from particle interactions within the enclosed detection media. The BUTTON experiment will utilise around 100 PMTs to measure the response of different media suitable for rare event searches. A subset of low-radioactivity 10-inch Hamamatsu R7081 PMTs were tested, char…
▽ More
Photomultiplier tubes (PMTs) are traditionally an integral part of large underground experiments as they measure the light emission from particle interactions within the enclosed detection media. The BUTTON experiment will utilise around 100 PMTs to measure the response of different media suitable for rare event searches. A subset of low-radioactivity 10-inch Hamamatsu R7081 PMTs were tested, characterised, and compared to manufacture certification. This manuscript describes the laboratory tests and analysis of gain, peak-to-valley ratio and dark rate of the PMTs to give an understanding of the charge response, signal-to-noise ratio and dark noise background as an acceptance test of the suitability of these PMTs for water-based detectors. Following the evaluation of these tests, the PMT performance agreed with the manufacturer specifications. These results are imperative for modeling the PMT response in detector simulations and providing confidence in the performance of the devices once installed in the detector underground.
△ Less
Submitted 27 July, 2023; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Maximal Distortion of Geodesic Diameters in Polygonal Domains
Authors:
Adrian Dumitrescu,
Csaba D. Tóth
Abstract:
For a polygon $P$ with holes in the plane, we denote by $\varrho(P)$ the ratio between the geodesic and the Euclidean diameters of $P$. It is shown that over all convex polygons with $h$~convex holes, the supremum of $\varrho(P)$ is between $Ω(h^{1/3})$ and $O(h^{1/2})$. The upper bound improves to $O(1+\min\{h^{3/4}Δ,h^{1/2}Δ^{1/2}\})$ if every hole has diameter at most $Δ\cdot {\rm diam}_2(P)$;…
▽ More
For a polygon $P$ with holes in the plane, we denote by $\varrho(P)$ the ratio between the geodesic and the Euclidean diameters of $P$. It is shown that over all convex polygons with $h$~convex holes, the supremum of $\varrho(P)$ is between $Ω(h^{1/3})$ and $O(h^{1/2})$. The upper bound improves to $O(1+\min\{h^{3/4}Δ,h^{1/2}Δ^{1/2}\})$ if every hole has diameter at most $Δ\cdot {\rm diam}_2(P)$; and to $O(1)$ if every hole is a \emph{fat} convex polygon. Furthermore, we show that the function $g(h)=\sup_P \varrho(P)$ over convex polygons with $h$ convex holes has the same growth rate as an analogous quantity over geometric triangulations with $h$ vertices when $h\rightarrow \infty$.
△ Less
Submitted 19 May, 2023; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Right regular triples of semigroups
Authors:
Csaba Tóth
Abstract:
Let ${\cal M}(S; Λ; P)$ denote a Rees $I\times Λ$ matrix semigroup without zero over a semigroup $S$, where $I$ is a singleton. If $θ_S$ denotes the kernel of the right regular representation of a semigroup $S$, then a triple $A, B, C$ of semigroups is said to be right regular, if there are map**s $A\stackrel{P}{\longleftarrow}B$ and $B\stackrel{P'}{\longrightarrow}C$ such that…
▽ More
Let ${\cal M}(S; Λ; P)$ denote a Rees $I\times Λ$ matrix semigroup without zero over a semigroup $S$, where $I$ is a singleton. If $θ_S$ denotes the kernel of the right regular representation of a semigroup $S$, then a triple $A, B, C$ of semigroups is said to be right regular, if there are map**s $A\stackrel{P}{\longleftarrow}B$ and $B\stackrel{P'}{\longrightarrow}C$ such that ${\cal M}(A; B; P)/θ_{{\cal M}(A; B; P)}\cong {\cal M}(C; B; P')$. In this paper we examine right regular triples of semigroups.
△ Less
Submitted 12 November, 2022;
originally announced November 2022.
-
Minimizing Visible Edges in Polyhedra
Authors:
Csaba D. Tóth,
Jorge Urrutia,
Giovanni Viglietta
Abstract:
We prove that, given a polyhedron $\mathcal P$ in $\mathbb{R}^3$, every point in $\mathbb R^3$ that does not see any vertex of $\mathcal P$ must see eight or more edges of $\mathcal P$, and this bound is tight. More generally, this remains true if $\mathcal P$ is any finite arrangement of internally disjoint polygons in $\mathbb{R}^3$. We also prove that every point in $\mathbb{R}^3$ can see six o…
▽ More
We prove that, given a polyhedron $\mathcal P$ in $\mathbb{R}^3$, every point in $\mathbb R^3$ that does not see any vertex of $\mathcal P$ must see eight or more edges of $\mathcal P$, and this bound is tight. More generally, this remains true if $\mathcal P$ is any finite arrangement of internally disjoint polygons in $\mathbb{R}^3$. We also prove that every point in $\mathbb{R}^3$ can see six or more edges of $\mathcal{P}$ (possibly only the endpoints of some these edges) and every point in the interior of $\mathcal{P}$ can see a positive portion of at least six edges of $\mathcal{P}$. These bounds are also tight.
△ Less
Submitted 28 August, 2023; v1 submitted 20 August, 2022;
originally announced August 2022.
-
Minimum Weight Euclidean $(1+\varepsilon)$-Spanners
Authors:
Csaba D. Tóth
Abstract:
Given a set $S$ of $n$ points in the plane and a parameter $\varepsilon>0$, a Euclidean $(1+\varepsilon)$-spanner is a geometric graph $G=(S,E)$ that contains, for all $p,q\in S$, a $pq$-path of weight at most $(1+\varepsilon)\|pq\|$. We show that the minimum weight of a Euclidean $(1+\varepsilon)$-spanner for $n$ points in the unit square $[0,1]^2$ is $O(\varepsilon^{-3/2}\,\sqrt{n})$, and this b…
▽ More
Given a set $S$ of $n$ points in the plane and a parameter $\varepsilon>0$, a Euclidean $(1+\varepsilon)$-spanner is a geometric graph $G=(S,E)$ that contains, for all $p,q\in S$, a $pq$-path of weight at most $(1+\varepsilon)\|pq\|$. We show that the minimum weight of a Euclidean $(1+\varepsilon)$-spanner for $n$ points in the unit square $[0,1]^2$ is $O(\varepsilon^{-3/2}\,\sqrt{n})$, and this bound is the best possible. The upper bound is based on a new spanner algorithm in the plane. It improves upon the baseline $O(\varepsilon^{-2}\sqrt{n})$, obtained by combining a tight bound for the weight of a Euclidean minimum spanning tree (MST) on $n$ points in $[0,1]^2$, and a tight bound for the lightness of Euclidean $(1+\varepsilon)$-spanners, which is the ratio of the spanner weight to the weight of the MST. Our result generalizes to Euclidean $d$-space for every constant dimension $d\in \mathbb{N}$: The minimum weight of a Euclidean $(1+\varepsilon)$-spanner for $n$ points in the unit cube $[0,1]^d$ is $O_d(\varepsilon^{(1-d^2)/d}n^{(d-1)/d})$, and this bound is the best possible.
For the $n\times n$ section of the integer lattice in the plane, we show that the minimum weight of a Euclidean $(1+\varepsilon)$-spanner is between $Ω(\varepsilon^{-3/4}\cdot n^2)$ and $O(\varepsilon^{-1}\log(\varepsilon^{-1})\cdot n^2)$. These bounds become $Ω(\varepsilon^{-3/4}\cdot \sqrt{n})$ and $O(\varepsilon^{-1}\log(\varepsilon^{-1})\cdot \sqrt{n})$ when scaled to a grid of $n$ points in the unit square. In particular, this shows that the integer grid is \emph{not} an extremal configuration for minimum weight Euclidean $(1+\varepsilon)$-spanners.
△ Less
Submitted 26 December, 2023; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Euclidean Steiner Spanners: Light and Sparse
Authors:
Sujoy Bhore,
Csaba D. Toth
Abstract:
Lightness and sparsity are two natural parameters for Euclidean $(1+\varepsilon)$-spanners. Classical results show that, when the dimension $d\in \mathbb{N}$ and $\varepsilon>0$ are constant, every set $S$ of $n$ points in $d$-space admits an $(1+\varepsilon)$-spanners with $O(n)$ edges and weight proportional to that of the Euclidean MST of $S$. In a recent breakthrough, Le and Solomon (2019) est…
▽ More
Lightness and sparsity are two natural parameters for Euclidean $(1+\varepsilon)$-spanners. Classical results show that, when the dimension $d\in \mathbb{N}$ and $\varepsilon>0$ are constant, every set $S$ of $n$ points in $d$-space admits an $(1+\varepsilon)$-spanners with $O(n)$ edges and weight proportional to that of the Euclidean MST of $S$. In a recent breakthrough, Le and Solomon (2019) established the precise dependencies on $\varepsilon>0$, for constant $d\in \mathbb{N}$, of the minimum lightness and sparsity of $(1+\varepsilon)$-spanners, and observed that Steiner points can substantially improve the lightness and sparsity of a $(1+\varepsilon)$-spanner. They gave upper bounds of $\tilde{O}(\varepsilon^{-(d+1)/2})$ for the minimum lightness in dimensions $d\geq 3$, and $\tilde{O}(\varepsilon^{-(d-1)/2})$ for the minimum sparsity in $d$-space for all $d\geq 1$.
In this work, we improve several bounds on the lightness and sparsity of Euclidean Steiner $(1+\varepsilon)$-spanners. We establish lower bounds of $Ω(\varepsilon^{-d/2})$ for the lightness and $Ω(\varepsilon^{-(d-1)/2})$ for the sparsity of such spanners in Euclidean $d$-space for all constant $d\geq 2$. Our lower bound constructions generalize previous constructions by Le and Solomon, but the analysis substantially simplifies previous work, using new geometric insight, focusing on the directions of edges. Next, we show that for every finite set of points in the plane and every $\varepsilon\in (0,1]$, there exists a Euclidean Steiner $(1+\varepsilon)$-spanner of lightness $O(\varepsilon^{-1})$; this matches the lower bound for $d=2$. We generalize the notion of shallow light trees, which may be of independent interest, and use directional spanners and a modified window partitioning scheme to achieve a tight weight analysis.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Active Bayesian Causal Inference
Authors:
Christian Toth,
Lars Lorch,
Christian Knoll,
Andreas Krause,
Franz Pernkopf,
Robert Peharz,
Julius von Kügelgen
Abstract:
Causal discovery and causal reasoning are classically treated as separate and consecutive tasks: one first infers the causal graph, and then uses it to estimate causal effects of interventions. However, such a two-stage approach is uneconomical, especially in terms of actively collected interventional data, since the causal query of interest may not require a fully-specified causal model. From a B…
▽ More
Causal discovery and causal reasoning are classically treated as separate and consecutive tasks: one first infers the causal graph, and then uses it to estimate causal effects of interventions. However, such a two-stage approach is uneconomical, especially in terms of actively collected interventional data, since the causal query of interest may not require a fully-specified causal model. From a Bayesian perspective, it is also unnatural, since a causal query (e.g., the causal graph or some causal effect) can be viewed as a latent quantity subject to posterior inference -- other unobserved quantities that are not of direct interest (e.g., the full causal model) ought to be marginalized out in this process and contribute to our epistemic uncertainty. In this work, we propose Active Bayesian Causal Inference (ABCI), a fully-Bayesian active learning framework for integrated causal discovery and reasoning, which jointly infers a posterior over causal models and queries of interest. In our approach to ABCI, we focus on the class of causally-sufficient, nonlinear additive noise models, which we model using Gaussian processes. We sequentially design experiments that are maximally informative about our target causal query, collect the corresponding interventional data, and update our beliefs to choose the next experiment. Through simulations, we demonstrate that our approach is more data-efficient than several baselines that only focus on learning the full causal graph. This allows us to accurately learn downstream causal queries from fewer samples while providing well-calibrated uncertainty estimates for the quantities of interest.
△ Less
Submitted 15 October, 2022; v1 submitted 4 June, 2022;
originally announced June 2022.
-
Capturing Graphs with Hypo-Elliptic Diffusions
Authors:
Csaba Toth,
Darrick Lee,
Celia Hacker,
Harald Oberhauser
Abstract:
Convolutional layers within graph neural networks operate by aggregating information about local neighbourhood structures; one common way to encode such substructures is through random walks. The distribution of these random walks evolves according to a diffusion equation defined using the graph Laplacian. We extend this approach by leveraging classic mathematical results about hypo-elliptic diffu…
▽ More
Convolutional layers within graph neural networks operate by aggregating information about local neighbourhood structures; one common way to encode such substructures is through random walks. The distribution of these random walks evolves according to a diffusion equation defined using the graph Laplacian. We extend this approach by leveraging classic mathematical results about hypo-elliptic diffusions. This results in a novel tensor-valued graph operator, which we call the hypo-elliptic graph Laplacian. We provide theoretical guarantees and efficient low-rank approximation algorithms. In particular, this gives a structured approach to capture long-range dependencies on graphs that is robust to pooling. Besides the attractive theoretical properties, our experiments show that this method competes with graph transformers on datasets requiring long-range reasoning but scales only linearly in the number of edges as opposed to quadratically in nodes.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Finding Points in Convex Position in Density-Restricted Sets
Authors:
Adrian Dumitrescu,
Csaba D. Tóth
Abstract:
For a finite set $A\subset \mathbb{R}^d$, let $Δ(A)$ denote the spread of $A$, which is the ratio of the maximum pairwise distance to the minimum pairwise distance. For a positive integer $n$, let $γ_d(n)$ denote the largest integer such that any set $A$ of $n$ points in general position in $\mathbb{R}^d$, satisfying $Δ(A) \leq αn^{1/d}$ for a fixed $α>0$, contains at least $γ_d(n)$ points in conv…
▽ More
For a finite set $A\subset \mathbb{R}^d$, let $Δ(A)$ denote the spread of $A$, which is the ratio of the maximum pairwise distance to the minimum pairwise distance. For a positive integer $n$, let $γ_d(n)$ denote the largest integer such that any set $A$ of $n$ points in general position in $\mathbb{R}^d$, satisfying $Δ(A) \leq αn^{1/d}$ for a fixed $α>0$, contains at least $γ_d(n)$ points in convex position. About $30$ years ago, Valtr proved that $γ_2(n)=Θ(n^{1/3})$. Since then no further results have been obtained in higher dimensions. Here we continue this line of research in three dimensions and prove that $γ_3(n) =Θ(n^{1/2})$. The lower bound implies the following approximation: Given any $n$-element point set $A\subset \mathbb{R}^3$ in general position, satisfying $Δ(A) \leq αn^{1/3}$ for a fixed $α$, a $Ω(n^{-1/6})$-factor approximation of the maximum-size convex subset of points can be computed by a randomized algorithm in $O(n \log{n})$ expected time.
△ Less
Submitted 18 December, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Online Spanners in Metric Spaces
Authors:
Sujoy Bhore,
Arnold Filtser,
Hadi Khodabandeh,
Csaba D. Tóth
Abstract:
Given a metric space $\mathcal{M}=(X,δ)$, a weighted graph $G$ over $X$ is a metric $t$-spanner of $\mathcal{M}$ if for every $u,v \in X$, $δ(u,v)\le d_G(u,v)\le t\cdot δ(u,v)$, where $d_G$ is the shortest path metric in $G$. In this paper, we construct spanners for finite sets in metric spaces in the online setting. Here, we are given a sequence of points $(s_1, \ldots, s_n)$, where the points ar…
▽ More
Given a metric space $\mathcal{M}=(X,δ)$, a weighted graph $G$ over $X$ is a metric $t$-spanner of $\mathcal{M}$ if for every $u,v \in X$, $δ(u,v)\le d_G(u,v)\le t\cdot δ(u,v)$, where $d_G$ is the shortest path metric in $G$. In this paper, we construct spanners for finite sets in metric spaces in the online setting. Here, we are given a sequence of points $(s_1, \ldots, s_n)$, where the points are presented one at a time (i.e., after $i$ steps, we saw $S_i = \{s_1, \ldots , s_i\}$). The algorithm is allowed to add edges to the spanner when a new point arrives, however, it is not allowed to remove any edge from the spanner. The goal is to maintain a $t$-spanner $G_i$ for $S_i$ for all $i$, while minimizing the number of edges, and their total weight.
We construct online $(1+\varepsilon)$-spanners in Euclidean $d$-space, $(2k-1)(1+\varepsilon)$-spanners for general metrics, and $(2+\varepsilon)$-spanners for ultrametrics. Most notably, in Euclidean plane, we construct a $(1+\varepsilon)$-spanner with competitive ratio $O(\varepsilon^{-3/2}\log\varepsilon^{-1}\log n)$, bypassing the classic lower bound $Ω(\varepsilon^{-2})$ for lightness, which compares the weight of the spanner, to that of the MST.
△ Less
Submitted 20 February, 2022;
originally announced February 2022.
-
QED and strong isospin corrections in the hadronic vacuum polarization contribution to the anomalous magnetic moment of the muon
Authors:
L. Parato,
Sz. Borsanyi,
Z. Fodor,
J. N. Guenther,
C. Hoelbling,
S. D. Katz,
L. Lellouch,
T. Lippert,
K. Miura,
K. K. Szabo,
F. Stokes,
B. C. Toth,
Cs. Torok,
L. Varnhorst
Abstract:
Recently, the Budapest-Marseille-Wuppertal collaboration achieved sub-percent precision in the evaluation of the lowest-order hadronic vacuum polarization contribution to the muon $g_μ-2$ (arXiv:hep-lat/2002.12347v3). At this level of precision, isospin-symmetric QCD is not sufficient. In this contribution we review how QED and strong-isospin-breaking effects have been included in our work. Isospi…
▽ More
Recently, the Budapest-Marseille-Wuppertal collaboration achieved sub-percent precision in the evaluation of the lowest-order hadronic vacuum polarization contribution to the muon $g_μ-2$ (arXiv:hep-lat/2002.12347v3). At this level of precision, isospin-symmetric QCD is not sufficient. In this contribution we review how QED and strong-isospin-breaking effects have been included in our work. Isospin breaking is implemented by expanding the relevant correlation functions to second order in the electric charge $e$ and to first order in $m_u-m_d$. The correction terms are then computed using isospin-symmetric configurations. The choice of this approach allows us to better distribute the available computing resources among the various contributions.
△ Less
Submitted 14 February, 2022; v1 submitted 11 February, 2022;
originally announced February 2022.
-
Observability Analysis and Keyframe-Based Filtering for Visual Inertial Odometry with Full Self-Calibration
Authors:
Jianzhu Huai,
Yukai Lin,
Yuan Zhuang,
Charles Toth,
Dong Chen
Abstract:
Camera-IMU (Inertial Measurement Unit) sensor fusion has been extensively studied in recent decades. Numerous observability analysis and fusion schemes for motion estimation with self-calibration have been presented. However, it has been uncertain whether both camera and IMU intrinsic parameters are observable under general motion. To answer this question, by using the Lie derivatives, we first pr…
▽ More
Camera-IMU (Inertial Measurement Unit) sensor fusion has been extensively studied in recent decades. Numerous observability analysis and fusion schemes for motion estimation with self-calibration have been presented. However, it has been uncertain whether both camera and IMU intrinsic parameters are observable under general motion. To answer this question, by using the Lie derivatives, we first prove that for a rolling shutter (RS) camera-IMU system, all intrinsic and extrinsic parameters, camera time offset, and readout time of the RS camera, are observable with an unknown landmark. To our knowledge, we are the first to present such a proof. Next, to validate this analysis and to solve the drift issue of a structureless filter during standstills, we develop a Keyframe-based Sliding Window Filter (KSWF) for odometry and self-calibration, which works with a monocular RS camera or stereo RS cameras. Though the keyframe concept is widely used in vision-based sensor fusion, to our knowledge, KSWF is the first of its kind to support self-calibration. Our simulation and real data tests have validated that it is possible to fully calibrate the camera-IMU system using observations of opportunistic landmarks under diverse motion. Real data tests confirmed previous allusions that kee** landmarks in the state vector can remedy the drift in standstill, and showed that the keyframe-based scheme is an alternative solution.
△ Less
Submitted 1 May, 2022; v1 submitted 13 January, 2022;
originally announced January 2022.
-
Hop-Spanners for Geometric Intersection Graphs
Authors:
Jonathan B. Conroy,
Csaba D. Tóth
Abstract:
A $t$-spanner of a graph $G=(V,E)$ is a subgraph $H=(V,E')$ that contains a $uv$-path of length at most $t$ for every $uv\in E$. It is known that every $n$-vertex graph admits a $(2k-1)$-spanner with $O(n^{1+1/k})$ edges for $k\geq 1$. This bound is the best possible for $1\leq k\leq 9$ and is conjectured to be optimal due to Erdős' girth conjecture.
We study $t$-spanners for $t\in \{2,3\}$ for…
▽ More
A $t$-spanner of a graph $G=(V,E)$ is a subgraph $H=(V,E')$ that contains a $uv$-path of length at most $t$ for every $uv\in E$. It is known that every $n$-vertex graph admits a $(2k-1)$-spanner with $O(n^{1+1/k})$ edges for $k\geq 1$. This bound is the best possible for $1\leq k\leq 9$ and is conjectured to be optimal due to Erdős' girth conjecture.
We study $t$-spanners for $t\in \{2,3\}$ for geometric intersection graphs in the plane. These spanners are also known as \emph{$t$-hop spanners} to emphasize the use of graph-theoretic distances (as opposed to Euclidean distances between the geometric objects or their centers). We obtain the following results: (1) Every $n$-vertex unit disk graph (UDG) admits a 2-hop spanner with $O(n)$ edges; improving upon the previous bound of $O(n\log n)$. (2) The intersection graph of $n$ axis-aligned fat rectangles admits a 2-hop spanner with $O(n\log n)$ edges, and this bound is tight up to a factor of $\log \log n$. (3) The intersection graph of $n$ fat convex bodies in the plane admits a 3-hop spanner with $O(n\log n)$ edges. (4) The intersection graph of $n$ axis-aligned rectangles admits a 3-hop spanner with $O(n\log^2 n)$ edges.
△ Less
Submitted 30 October, 2023; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Aspect Ratio Universal Rectangular Layouts
Authors:
Stefan Felsner,
Andrew Nathenson,
Csaba D. Tóth
Abstract:
A \emph{generic rectangular layout} (for short, \emph{layout}) is a subdivision of an axis-aligned rectangle into axis-aligned rectangles, no four of which have a point in common. Such layouts are used in data visualization and in cartography. The contacts between the rectangles represent semantic or geographic relations. A layout is weakly (strongly) \emph{aspect ratio universal} if any assignmen…
▽ More
A \emph{generic rectangular layout} (for short, \emph{layout}) is a subdivision of an axis-aligned rectangle into axis-aligned rectangles, no four of which have a point in common. Such layouts are used in data visualization and in cartography. The contacts between the rectangles represent semantic or geographic relations. A layout is weakly (strongly) \emph{aspect ratio universal} if any assignment of aspect ratios to rectangles can be realized by a weakly (strongly) equivalent layout. We give combinatorial characterizations for weakly and strongly aspect ratio universal layouts. Furthermore, we describe a quadratic-time algorithm that decides whether a given graph is the dual graph of a strongly aspect ratio universal layout, and finds such a layout if one exists.
△ Less
Submitted 16 May, 2024; v1 submitted 6 December, 2021;
originally announced December 2021.
-
Online Euclidean Spanners
Authors:
Sujoy Bhore,
Csaba D. Tóth
Abstract:
In this paper, we study the online Euclidean spanners problem for points in $\mathbb{R}^d$. Suppose we are given a sequence of $n$ points $(s_1,s_2,\ldots, s_n)$ in $\mathbb{R}^d$, where point $s_i$ is presented in step~$i$ for $i=1,\ldots, n$. The objective of an online algorithm is to maintain a geometric $t$-spanner on $S_i=\{s_1,\ldots, s_i\}$ for each step~$i$.
First, we establish a lower b…
▽ More
In this paper, we study the online Euclidean spanners problem for points in $\mathbb{R}^d$. Suppose we are given a sequence of $n$ points $(s_1,s_2,\ldots, s_n)$ in $\mathbb{R}^d$, where point $s_i$ is presented in step~$i$ for $i=1,\ldots, n$. The objective of an online algorithm is to maintain a geometric $t$-spanner on $S_i=\{s_1,\ldots, s_i\}$ for each step~$i$.
First, we establish a lower bound of $Ω(\varepsilon^{-1}\log n / \log \varepsilon^{-1})$ for the competitive ratio of any online $(1+\varepsilon)$-spanner algorithm, for a sequence of $n$ points in 1-dimension. We show that this bound is tight, and there is an online algorithm that can maintain a $(1+\varepsilon)$-spanner with competitive ratio $O(\varepsilon^{-1}\log n / \log \varepsilon^{-1})$. Next, we design online algorithms for sequences of points in $\mathbb{R}^d$, for any constant $d\ge 2$, under the $L_2$ norm. We show that previously known incremental algorithms achieve a competitive ratio $O(\varepsilon^{-(d+1)}\log n)$. However, if the algorithm is allowed to use additional points (Steiner points), then it is possible to substantially improve the competitive ratio in terms of $\varepsilon$. We describe an online Steiner $(1+\varepsilon)$-spanner algorithm with competitive ratio $O(\varepsilon^{(1-d)/2} \log n)$. As a counterpart, we show that the dependence on $n$ cannot be eliminated in dimensions $d \ge 2$. In particular, we prove that any online spanner algorithm for a sequence of $n$ points in $\mathbb{R}^d$ under the $L_2$ norm has competitive ratio $Ω(f(n))$, where $\lim_{n\rightarrow \infty}f(n)=\infty$. Finally, we provide improved lower bounds under the $L_1$ norm: $Ω(\varepsilon^{-2}/\log \varepsilon^{-1})$ in the plane and $Ω(\varepsilon^{-d})$ in $\mathbb{R}^d$ for $d\geq 3$.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Improved Sensitivity of the DRIFT-IId Directional Dark Matter Experiment using Machine Learning
Authors:
J. B. R. Battat,
C. Eldridge,
A. C. Ezeribe,
O. P. Gaunt,
J. -L. Gauvreau,
R. R. Marcelo Gregorio,
E. K. K. Habich,
K. E. Hall,
J. L. Harton,
I. Ingabire,
R. Lafler,
D. Loomba,
W. A. Lynch,
S. M. Paling,
A. Y. Pan,
A. Scarff,
F. G. Schuckman II,
D. P. Snowden-Ifft,
N. J. C. Spooner,
C. Toth,
A. A. Xu
Abstract:
We demonstrate a new type of analysis for the DRIFT-IId directional dark matter detector using a machine learning algorithm called a Random Forest Classifier. The analysis labels events as signal or background based on a series of selection parameters, rather than solely applying hard cuts. The analysis efficiency is shown to be comparable to our previous result at high energy but with increased e…
▽ More
We demonstrate a new type of analysis for the DRIFT-IId directional dark matter detector using a machine learning algorithm called a Random Forest Classifier. The analysis labels events as signal or background based on a series of selection parameters, rather than solely applying hard cuts. The analysis efficiency is shown to be comparable to our previous result at high energy but with increased efficiency at lower energies. This leads to a projected sensitivity enhancement of one order of magnitude below a WIMP mass of 15 GeV c$^{-2}$ and a projected sensitivity limit that reaches down to a WIMP mass of 9 GeV c$^{-2}$, which is a first for a directionally sensitive dark matter detector.
△ Less
Submitted 8 June, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Synwalk -- Community Detection via Random Walk Modelling
Authors:
Christian Toth,
Denis Helic,
Bernhard C. Geiger
Abstract:
Complex systems, abstractly represented as networks, are ubiquitous in everyday life. Analyzing and understanding these systems requires, among others, tools for community detection. As no single best community detection algorithm can exist, robustness across a wide variety of problem settings is desirable. In this work, we present Synwalk, a random walk-based community detection method. Synwalk b…
▽ More
Complex systems, abstractly represented as networks, are ubiquitous in everyday life. Analyzing and understanding these systems requires, among others, tools for community detection. As no single best community detection algorithm can exist, robustness across a wide variety of problem settings is desirable. In this work, we present Synwalk, a random walk-based community detection method. Synwalk builds upon a solid theoretical basis and detects communities by synthesizing the random walk induced by the given network from a class of candidate random walks. We thoroughly validate the effectiveness of our approach on synthetic and empirical networks, respectively, and compare Synwalk's performance with the performance of Infomap and Walktrap. Our results indicate that Synwalk performs robustly on networks with varying mixing parameters and degree distributions. We outperform Infomap on networks with high mixing parameter, and Infomap and Walktrap on networks with many small communities and low average degree. Our work has a potential to inspire further development of community detection via synthesis of random walks and we provide concrete ideas for future research.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
A Versatile Keyframe-Based Structureless Filter for Visual Inertial Odometry
Authors:
Jianzhu Huai,
Yukai Lin,
Charles Toth,
Yuan Zhuang,
Dong Chen
Abstract:
Motion estimation by fusing data from at least a camera and an Inertial Measurement Unit (IMU) enables many applications in robotics. However, among the multitude of Visual Inertial Odometry (VIO) methods, few efficiently estimate device motion with consistent covariance, and calibrate sensor parameters online for handling data from consumer sensors. This paper addresses the gap with a Keyframe-ba…
▽ More
Motion estimation by fusing data from at least a camera and an Inertial Measurement Unit (IMU) enables many applications in robotics. However, among the multitude of Visual Inertial Odometry (VIO) methods, few efficiently estimate device motion with consistent covariance, and calibrate sensor parameters online for handling data from consumer sensors. This paper addresses the gap with a Keyframe-based Structureless Filter (KSF). For efficiency, landmarks are not included in the filter's state vector. For robustness, KSF associates feature observations and manages state variables using the concept of keyframes. For flexibility, KSF supports anytime calibration of IMU systematic errors, as well as extrinsic, intrinsic, and temporal parameters of each camera. Estimator consistency and observability of sensor parameters were analyzed by simulation. Sensitivity to design options, e.g., feature matching method and camera count was studied with the EuRoC benchmark. Sensor parameter estimation was evaluated on raw TUM VI sequences and smartphone data. Moreover, pose estimation accuracy was evaluated on EuRoC and TUM VI sequences versus recent VIO methods. These tests confirm that KSF reliably calibrates sensor parameters when the data contain adequate motion, and consistently estimate motion with accuracy rivaling recent VIO methods. Our implementation runs at 42 Hz with stereo camera images on a consumer laptop.
△ Less
Submitted 2 January, 2021; v1 submitted 30 December, 2020;
originally announced December 2020.
-
Light Euclidean Steiner Spanners in the Plane
Authors:
Sujoy Bhore,
Csaba D. Tóth
Abstract:
Lightness is a fundamental parameter for Euclidean spanners; it is the ratio of the spanner weight to the weight of the minimum spanning tree of a finite set of points in $\mathbb{R}^d$. In a recent breakthrough, Le and Solomon (2019) established the precise dependencies on $\varepsilon>0$ and $d\in \mathbb{N}$ of the minimum lightness of $(1+\varepsilon)$-spanners, and observed that additional St…
▽ More
Lightness is a fundamental parameter for Euclidean spanners; it is the ratio of the spanner weight to the weight of the minimum spanning tree of a finite set of points in $\mathbb{R}^d$. In a recent breakthrough, Le and Solomon (2019) established the precise dependencies on $\varepsilon>0$ and $d\in \mathbb{N}$ of the minimum lightness of $(1+\varepsilon)$-spanners, and observed that additional Steiner points can substantially improve the lightness. Le and Solomon (2020) constructed Steiner $(1+\varepsilon)$-spanners of lightness $O(\varepsilon^{-1}\logΔ)$ in the plane, where $Δ\geq Ω(\sqrt{n})$ is the \emph{spread} of the point set, defined as the ratio between the maximum and minimum distance between a pair of points. They also constructed spanners of lightness $\tilde{O}(\varepsilon^{-(d+1)/2})$ in dimensions $d\geq 3$. Recently, Bhore and Tóth (2020) established a lower bound of $Ω(\varepsilon^{-d/2})$ for the lightness of Steiner $(1+\varepsilon)$-spanners in $\mathbb{R}^d$, for $d\ge 2$. The central open problem in this area is to close the gap between the lower and upper bounds in all dimensions $d\geq 2$.
In this work, we show that for every finite set of points in the plane and every $\varepsilon>0$, there exists a Euclidean Steiner $(1+\varepsilon)$-spanner of lightness $O(\varepsilon^{-1})$; this matches the lower bound for $d=2$. We generalize the notion of shallow light trees, which may be of independent interest, and use directional spanners and a modified window partitioning scheme to achieve a tight weight analysis.
△ Less
Submitted 28 March, 2021; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Reconfiguration of Connected Graph Partitions via Recombination
Authors:
Hugo A. Akitaya,
Matias Korman,
Oliver Korten,
Diane L. Souvaine,
Csaba D. Tóth
Abstract:
Motivated by applications in gerrymandering detection, we study a reconfiguration problem on connected partitions of a connected graph $G$. A partition of $V(G)$ is \emph{connected} if every part induces a connected subgraph. In many applications, it is desirable to obtain parts of roughly the same size, possibly with some slack $s$. A \emph{Balanced Connected $k$-Partition with slack $s$}, denote…
▽ More
Motivated by applications in gerrymandering detection, we study a reconfiguration problem on connected partitions of a connected graph $G$. A partition of $V(G)$ is \emph{connected} if every part induces a connected subgraph. In many applications, it is desirable to obtain parts of roughly the same size, possibly with some slack $s$. A \emph{Balanced Connected $k$-Partition with slack $s$}, denoted \emph{$(k,s)$-BCP}, is a partition of $V(G)$ into $k$ nonempty subsets, of sizes $n_1,\ldots , n_k$ with $|n_i-n/k|\leq s$, each of which induces a connected subgraph (when $s=0$, the $k$ parts are perfectly balanced, and we call it \emph{$k$-BCP} for short).
A \emph{recombination} is an operation that takes a $(k,s)$-BCP of a graph $G$ and produces another by merging two adjacent subgraphs and repartitioning them. Given two $k$-BCPs, $A$ and $B$, of $G$ and a slack $s\geq 0$, we wish to determine whether there exists a sequence of recombinations that transform $A$ into $B$ via $(k,s)$-BCPs. We obtain four results related to this problem: (1) When $s$ is unbounded, the transformation is always possible using at most $6(k-1)$ recombinations. (2) If $G$ is Hamiltonian, the transformation is possible using $O(kn)$ recombinations for any $s \ge n/k$, and (3) we provide negative instances for $s \leq n/(3k)$. (4) We show that the problem is PSPACE-complete when $k \in O(n^{\varepsilon})$ and $s \in O(n^{1-\varepsilon})$, for any constant $0 < \varepsilon \le 1$, even for restricted settings such as when $G$ is an edge-maximal planar graph or when $k=3$ and $G$ is planar.
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
On Euclidean Steiner $(1+ε)$-Spanners
Authors:
Sujoy Bhore,
Csaba D. Tóth
Abstract:
Lightness and sparsity are two natural parameters for Euclidean $(1+\varepsilon)$-spanners. Classical results show that, when the dimension $d\in \mathbb{N}$ and $\varepsilon>0$ are constant, every set $S$ of $n$ points in $d$-space admits an $(1+\varepsilon)$-spanners with $O(n)$ edges and weight proportional to that of the Euclidean MST of $S$. Tight bounds on the dependence on $\varepsilon>0$ f…
▽ More
Lightness and sparsity are two natural parameters for Euclidean $(1+\varepsilon)$-spanners. Classical results show that, when the dimension $d\in \mathbb{N}$ and $\varepsilon>0$ are constant, every set $S$ of $n$ points in $d$-space admits an $(1+\varepsilon)$-spanners with $O(n)$ edges and weight proportional to that of the Euclidean MST of $S$. Tight bounds on the dependence on $\varepsilon>0$ for constant $d\in \mathbb{N}$ have been established only recently. Le and Solomon (FOCS 2019) showed that Steiner points can substantially improve the lightness and sparsity of a $(1+\varepsilon)$-spanner. They gave upper bounds of $\tilde{O}(\varepsilon^{-(d+1)/2})$ for the minimum lightness in dimensions $d\geq 3$, and $\tilde{O}(\varepsilon^{-(d-1))/2})$ for the minimum sparsity in $d$-space for all $d\geq 1$. They obtained lower bounds only in the plane ($d=2$). Le and Solomon (ESA 2020) also constructed Steiner $(1+\varepsilon)$-spanners of lightness $O(\varepsilon^{-1}\logΔ)$ in the plane, where $Δ\in Ω(\sqrt{n})$ is the \emph{spread} of $S$, defined as the ratio between the maximum and minimum distance between a pair of points.
In this work, we improve several bounds on the lightness and sparsity of Euclidean Steiner $(1+\varepsilon)$-spanners. Using a new geometric analysis, we establish lower bounds of $Ω(\varepsilon^{-d/2})$ for the lightness and $Ω(\varepsilon^{-(d-1)/2})$ for the sparsity of such spanners in Euclidean $d$-space for all $d\geq 2$. We use the geometric insight from our lower bound analysis to construct Steiner $(1+\varepsilon)$-spanners of lightness $O(\varepsilon^{-1}\log n)$ for $n$ points in Euclidean plane.
△ Less
Submitted 13 March, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Simple Topological Drawings of $k$-Planar Graphs
Authors:
Michael Hoffmann,
Chih-Hung Liu,
Meghana M. Reddy,
Csaba D. Tóth
Abstract:
Every finite graph admits a \emph{simple (topological) drawing}, that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For instance, \emph{$k$-planar graphs} are those graphs that can be drawn so that every edge has at most $k$ crossings (i.e., they admit a \emph{$k$-plane drawing}). I…
▽ More
Every finite graph admits a \emph{simple (topological) drawing}, that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For instance, \emph{$k$-planar graphs} are those graphs that can be drawn so that every edge has at most $k$ crossings (i.e., they admit a \emph{$k$-plane drawing}). It is known that for $k\le 3$, every $k$-planar graph admits a $k$-plane simple drawing. But for $k\ge 4$, there exist $k$-planar graphs that do not admit a $k$-plane simple drawing. Answering a question by Schaefer, we show that there exists a function $f : \mathbb{N}\rightarrow\mathbb{N}$ such that every $k$-planar graph admits an $f(k)$-plane simple drawing, for all $k\in\mathbb{N}$. Note that the function $f$ depends on $k$ only and is independent of the size of the graph. Furthermore, we develop an algorithm to show that every $4$-planar graph admits an $8$-plane simple drawing.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Polygons with Prescribed Angles in 2D and 3D
Authors:
Alon Efrat,
Radoslav Fulek,
Stephen Kobourov,
Csaba D. Tóth
Abstract:
We consider the construction of a polygon $P$ with $n$ vertices whose turning angles at the vertices are given by a sequence $A=(α_0,\ldots, α_{n-1})$, $α_i\in (-π,π)$, for $i\in\{0,\ldots, n-1\}$. The problem of realizing $A$ by a polygon can be seen as that of constructing a straight-line drawing of a graph with prescribed angles at vertices, and hence, it is a special case of the well studied p…
▽ More
We consider the construction of a polygon $P$ with $n$ vertices whose turning angles at the vertices are given by a sequence $A=(α_0,\ldots, α_{n-1})$, $α_i\in (-π,π)$, for $i\in\{0,\ldots, n-1\}$. The problem of realizing $A$ by a polygon can be seen as that of constructing a straight-line drawing of a graph with prescribed angles at vertices, and hence, it is a special case of the well studied problem of constructing an \emph{angle graph}.
In 2D, we characterize sequences $A$ for which every generic polygon $P\subset \mathbb{R}^2$ realizing $A$ has at least $c$ crossings, for every $c\in \mathbb{N}$, and describe an efficient algorithm that constructs, for a given sequence $A$, a generic polygon $P\subset \mathbb{R}^2$ that realizes $A$ with the minimum number of crossings.
In 3D, we describe an efficient algorithm that tests whether a given sequence $A$ can be realized by a (not necessarily generic) polygon $P\subset \mathbb{R}^3$, and for every realizable sequence the algorithm finds a realization.
△ Less
Submitted 1 November, 2020; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Rainbow polygons for colored point sets in the plane
Authors:
David Flores-Peñaloza,
Mikio Kano,
Leonardo Martínez-Sandoval,
David Orden,
Javier Tejel,
Csaba D. Tóth,
Jorge Urrutia,
Birgit Vogtenhuber
Abstract:
Given a colored point set in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color, either in its interior or on its boundary. Let $\operatorname{rb-index}(S)$ denote the smallest size of a perfect rainbow polygon for a colored point set $S$, and let $\operatorname{rb-index}(k)$ be the maximum of $\operatorname{rb-index}(S)$ over all $k$-colored poi…
▽ More
Given a colored point set in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color, either in its interior or on its boundary. Let $\operatorname{rb-index}(S)$ denote the smallest size of a perfect rainbow polygon for a colored point set $S$, and let $\operatorname{rb-index}(k)$ be the maximum of $\operatorname{rb-index}(S)$ over all $k$-colored point sets in general position; that is, every $k$-colored point set $S$ has a perfect rainbow polygon with at most $\operatorname{rb-index}(k)$ vertices. In this paper, we determine the values of $\operatorname{rb-index}(k)$ up to $k=7$, which is the first case where $\operatorname{rb-index}(k)\neq k$, and we prove that for $k\ge 5$, \[ \frac{40\lfloor (k-1)/2 \rfloor -8}{19} %Birgit: \leq\operatorname{rb-index}(k)\leq 10 \bigg\lfloor\frac{k}{7}\bigg\rfloor + 11. \] Furthermore, for a $k$-colored set of $n$ points in the plane in general position, a perfect rainbow polygon with at most $10 \lfloor\frac{k}{7}\rfloor + 11$ vertices can be computed in $O(n\log n)$ time.
△ Less
Submitted 30 March, 2021; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Cutting Polygons into Small Pieces with Chords: Laser-Based Localization
Authors:
Esther M. Arkin,
Rathish Das,
Jie Gao,
Mayank Goswami,
Joseph S. B. Mitchell,
Valentin Polishchuk,
Csaba D. Toth
Abstract:
Motivated by indoor localization by tripwire lasers, we study the problem of cutting a polygon into small-size pieces, using the chords of the polygon. Several versions are considered, depending on the definition of the "size" of a piece. In particular, we consider the area, the diameter, and the radius of the largest inscribed circle as a measure of the size of a piece. We also consider different…
▽ More
Motivated by indoor localization by tripwire lasers, we study the problem of cutting a polygon into small-size pieces, using the chords of the polygon. Several versions are considered, depending on the definition of the "size" of a piece. In particular, we consider the area, the diameter, and the radius of the largest inscribed circle as a measure of the size of a piece. We also consider different objectives, either minimizing the maximum size of a piece for a given number of chords, or minimizing the number of chords that achieve a given size threshold for the pieces. We give hardness results for polygons with holes and approximation algorithms for multiple variants of the problem.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Universal Geometric Graphs
Authors:
Fabrizio Frati,
Michael Hoffmann,
Csaba D. Tóth
Abstract:
We introduce and study the problem of constructing geometric graphs that have few vertices and edges and that are universal for planar graphs or for some sub-class of planar graphs; a geometric graph is \emph{universal} for a class $\mathcal H$ of planar graphs if it contains an embedding, i.e., a crossing-free drawing, of every graph in $\mathcal H$.
Our main result is that there exists a geome…
▽ More
We introduce and study the problem of constructing geometric graphs that have few vertices and edges and that are universal for planar graphs or for some sub-class of planar graphs; a geometric graph is \emph{universal} for a class $\mathcal H$ of planar graphs if it contains an embedding, i.e., a crossing-free drawing, of every graph in $\mathcal H$.
Our main result is that there exists a geometric graph with $n$ vertices and $O(n \log n)$ edges that is universal for $n$-vertex forests; this extends to the geometric setting a well-known graph-theoretic result by Chung and Graham, which states that there exists an $n$-vertex graph with $O(n \log n)$ edges that contains every $n$-vertex forest as a subgraph. Our $O(n \log n)$ bound on the number of edges cannot be improved, even if more than $n$ vertices are allowed.
We also prove that, for every positive integer $h$, every $n$-vertex convex geometric graph that is universal for $n$-vertex outerplanar graphs has a near-quadratic number of edges, namely $Ω_h(n^{2-1/h})$; this almost matches the trivial $O(n^2)$ upper bound given by the $n$-vertex complete convex geometric graph.
Finally, we prove that there exists an $n$-vertex convex geometric graph with $n$ vertices and $O(n \log n)$ edges that is universal for $n$-vertex caterpillars.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Seq2Tens: An Efficient Representation of Sequences by Low-Rank Tensor Projections
Authors:
Csaba Toth,
Patric Bonnier,
Harald Oberhauser
Abstract:
Sequential data such as time series, video, or text can be challenging to analyse as the ordered structure gives rise to complex dependencies. At the heart of this is non-commutativity, in the sense that reordering the elements of a sequence can completely change its meaning. We use a classical mathematical object -- the tensor algebra -- to capture such dependencies. To address the innate computa…
▽ More
Sequential data such as time series, video, or text can be challenging to analyse as the ordered structure gives rise to complex dependencies. At the heart of this is non-commutativity, in the sense that reordering the elements of a sequence can completely change its meaning. We use a classical mathematical object -- the tensor algebra -- to capture such dependencies. To address the innate computational complexity of high degree tensors, we use compositions of low-rank tensor projections. This yields modular and scalable building blocks for neural networks that give state-of-the-art performance on standard benchmarks such as multivariate time series classification and generative models for video.
△ Less
Submitted 30 July, 2021; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Compatible Paths on Labelled Point Sets
Authors:
Elena Arseneva,
Yeganeh Bahoo,
Ahmad Biniaz,
Pilar Cano,
Farah Chanchary,
John Iacono,
Kshitij Jain,
Anna Lubiw,
Debajyoti Mondal,
Khadijeh Sheikhan,
Csaba D. Tóth
Abstract:
Let $P$ and $Q$ be finite point sets of the same cardinality in $\mathbb{R}^2$, each labelled from $1$ to $n$. Two noncrossing geometric graphs $G_P$ and $G_Q$ spanning $P$ and $Q$, respectively, are called compatible if for every face $f$ in $G_P$, there exists a corresponding face in $G_Q$ with the same clockwise ordering of the vertices on its boundary as in $f$. In particular, $G_P$ and $G_Q$…
▽ More
Let $P$ and $Q$ be finite point sets of the same cardinality in $\mathbb{R}^2$, each labelled from $1$ to $n$. Two noncrossing geometric graphs $G_P$ and $G_Q$ spanning $P$ and $Q$, respectively, are called compatible if for every face $f$ in $G_P$, there exists a corresponding face in $G_Q$ with the same clockwise ordering of the vertices on its boundary as in $f$. In particular, $G_P$ and $G_Q$ must be straight-line embeddings of the same connected $n$-vertex graph.
Deciding whether two labelled point sets admit compatible geometric paths is known to be NP-complete. We give polynomial-time algorithms to find compatible paths or report that none exist in three scenarios: $O(n)$ time for points in convex position; $O(n^2)$ time for two simple polygons, where the paths are restricted to remain inside the closed polygons; and $O(n^2 \log n)$ time for points in general position if the paths are restricted to be monotone.
△ Less
Submitted 16 April, 2020;
originally announced April 2020.
-
Leading hadronic contribution to the muon magnetic moment from lattice QCD
Authors:
Sz. Borsanyi,
Z. Fodor,
J. N. Guenther,
C. Hoelbling,
S. D. Katz,
L. Lellouch,
T. Lippert,
K. Miura,
L. Parato,
K. K. Szabo,
F. Stokes,
B. C. Toth,
Cs. Torok,
L. Varnhorst
Abstract:
We compute the leading order hadronic vacuum polarization (LO-HVP) contribution to the anomalous magnetic moment of the muon, $(g_μ-2)$, using lattice QCD. Calculations are performed with four flavors of 4-stout-improved staggered quarks, at physical quark masses and at six values of the lattice spacing down to 0.064~fm. All strong isospin breaking and electromagnetic effects are accounted for to…
▽ More
We compute the leading order hadronic vacuum polarization (LO-HVP) contribution to the anomalous magnetic moment of the muon, $(g_μ-2)$, using lattice QCD. Calculations are performed with four flavors of 4-stout-improved staggered quarks, at physical quark masses and at six values of the lattice spacing down to 0.064~fm. All strong isospin breaking and electromagnetic effects are accounted for to leading order. The infinite-volume limit is taken thanks to simulations performed in volumes of sizes up to 11~fm. Our result for the LO-HVP contribution to $(g_μ-2)$ has a total uncertainty of 0.8\%. Compared to the result of the dispersive approach for this contribution, ours significantly reduces the tension between the standard model prediction for $(g_μ-2)$ and its measurement.
△ Less
Submitted 22 April, 2021; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Sparse Hop Spanners for Unit Disk Graphs
Authors:
Adrian Dumitrescu,
Anirban Ghosh,
Csaba D. Tóth
Abstract:
A unit disk graph $G$ on a given set $P$ of points in the plane is a geometric graph where an edge exists between two points $p,q \in P$ if and only if $|pq| \leq 1$. A spanning subgraph $G'$ of $G$ is a $k$-hop spanner if and only if for every edge $pq\in G$, there is a path between $p,q$ in $G'$ with at most $k$ edges. We obtain the following results for unit disk graphs in the plane.
(I) Ever…
▽ More
A unit disk graph $G$ on a given set $P$ of points in the plane is a geometric graph where an edge exists between two points $p,q \in P$ if and only if $|pq| \leq 1$. A spanning subgraph $G'$ of $G$ is a $k$-hop spanner if and only if for every edge $pq\in G$, there is a path between $p,q$ in $G'$ with at most $k$ edges. We obtain the following results for unit disk graphs in the plane.
(I) Every $n$-vertex unit disk graph has a $5$-hop spanner with at most $5.5n$ edges. We analyze the family of spanners constructed by Biniaz (2020) and improve the upper bound on the number of edges from $9n$ to $5.5n$.
(II) Using a new construction, we show that every $n$-vertex unit disk graph has a $3$-hop spanner with at most $11n$ edges.
(III) Every $n$-vertex unit disk graph has a $2$-hop spanner with $O(n\log n)$ edges. This is the first nontrivial construction of $2$-hop spanners.
(IV) For every sufficiently large positive integer $n$, there exists a set $P$ of $n$ points on a circle, such that every plane hop spanner on $P$ has hop stretch factor at least $4$. Previously, no lower bound greater than $2$ was known.
(V) For every finite point set on a circle, there exists a plane (i.e., crossing-free) $4$-hop spanner. As such, this provides a tight bound for points on a circle.
(VI) The maximum degree of $k$-hop spanners cannot be bounded from above by a function of $k$ for any positive integer $k$.
△ Less
Submitted 4 February, 2021; v1 submitted 18 February, 2020;
originally announced February 2020.
-
Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)
Authors:
Daniel Archambault,
Csaba D. Tóth
Abstract:
This is the arXiv index for the electronic proceedings of GD 2019, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture Notes in Computer Science series.
This is the arXiv index for the electronic proceedings of GD 2019, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture Notes in Computer Science series.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Directionally Accelerated Detection of an Unknown Second Reactor with Antineutrinos for Mid-Field Nonproliferation Monitoring
Authors:
D. L. Danielson,
O. A. Akindele,
M. Askins,
M. Bergevin,
A. Bernstein,
J. Burns,
A. Carroll,
J. Coleman,
R. Collins,
C. Connor,
D. F. Cowen,
F. Dalnoki-Veress,
S. Dazeley,
M. V. Diwan,
J. Duron,
S. T. Dye,
J. Eisch,
A. Ezeribe,
V. Fischer,
R. Foster,
K. Frankiewicz,
C. Grant,
J. Gribble,
J. He,
C. Holligan
, et al. (45 additional authors not shown)
Abstract:
When monitoring a reactor site for nuclear nonproliferation purposes, the presence of an unknown or hidden nuclear reactor could be obscured by the activities of a known reactor of much greater power nearby. Thus when monitoring reactor activities by the observation of antineutrino emissions, one must discriminate known background reactor fluxes from possible unknown reactor signals under investig…
▽ More
When monitoring a reactor site for nuclear nonproliferation purposes, the presence of an unknown or hidden nuclear reactor could be obscured by the activities of a known reactor of much greater power nearby. Thus when monitoring reactor activities by the observation of antineutrino emissions, one must discriminate known background reactor fluxes from possible unknown reactor signals under investigation. To quantify this discrimination, we find the confidence to reject the (null) hypothesis of a single proximal reactor, by exploiting directional antineutrino signals in the presence of a second, unknown reactor. In particular, we simulate the inverse beta decay (IBD) response of a detector filled with a 1 kT fiducial mass of Gadolinium-doped liquid scintillator in mineral oil. We base the detector geometry on that of WATCHMAN, an upcoming antineutrino monitoring experiment soon to be deployed at the Boulby mine in the United Kingdom whose design and deployment will be detailed in a forthcoming white paper. From this simulation, we construct an analytical model of the IBD event distribution for the case of one $4\mathrm{\ GWt}\pm2\%$ reactor 25 km away from the detector site, and for an additional, unknown, 35 MWt reactor 3 to 5 km away. The effects of natural-background rejection cuts are approximated. Applying the model, we predict $3σ$ confidence to detect the presence of an unknown reactor within five weeks, at standoffs of 3 km or nearer. For more distant unknown reactors, the $3σ$ detection time increases significantly. However, the relative significance of directional sensitivity also increases, providing up to an eight week speedup to detect an unknown reactor at 5 km away. Therefore, directionally sensitive antineutrino monitoring can accelerate the mid-field detection of unknown reactors whose operation might otherwise be masked by more powerful reactors in the vicinity.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
Simple $k$-Planar Graphs are Simple $(k+1)$-Quasiplanar
Authors:
Patrizio Angelini,
Michael A. Bekos,
Franz J. Brandenburg,
Giordano Da Lozzo,
Giuseppe Di Battista,
Walter Didimo,
Michael Hoffmann,
Giuseppe Liotta,
Fabrizio Montecchiani,
Ignaz Rutter,
Csaba D. Tóth
Abstract:
A simple topological graph is $k$-quasiplanar ($k\geq 2$) if it contains no $k$ pairwise crossing edges, and $k$-planar if no edge is crossed more than $k$ times. In this paper, we explore the relationship between $k$-planarity and $k$-quasiplanarity to show that, for $k \geq 2$, every $k$-planar simple topological graph can be transformed into a $(k+1)$-quasiplanar simple topological graph.
A simple topological graph is $k$-quasiplanar ($k\geq 2$) if it contains no $k$ pairwise crossing edges, and $k$-planar if no edge is crossed more than $k$ times. In this paper, we explore the relationship between $k$-planarity and $k$-quasiplanarity to show that, for $k \geq 2$, every $k$-planar simple topological graph can be transformed into a $(k+1)$-quasiplanar simple topological graph.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
Atomic Embeddability, Clustered Planarity, and Thickenability
Authors:
Radoslav Fulek,
Csaba D. Tóth
Abstract:
We study the atomic embeddability testing problem, which is a common generalization of clustered planarity (c-planarity, for short) and thickenability testing, and present a polynomial-time algorithm for this problem, thereby giving the first polynomial-time algorithm for c-planarity.
C-planarity was introduced in 1995 by Feng, Cohen, and Eades as a variant of graph planarity, in which the verte…
▽ More
We study the atomic embeddability testing problem, which is a common generalization of clustered planarity (c-planarity, for short) and thickenability testing, and present a polynomial-time algorithm for this problem, thereby giving the first polynomial-time algorithm for c-planarity.
C-planarity was introduced in 1995 by Feng, Cohen, and Eades as a variant of graph planarity, in which the vertex set of the input graph is endowed with a hierarchical clustering and we seek an embedding (crossing free drawing) of the graph in the plane that respects the clustering in a certain natural sense. Until now, it has been an open problem whether c-planarity can be tested efficiently, despite relentless efforts. The thickenability problem for simplicial complexes emerged in the topology of manifolds in the 1960s. A 2-dimensional simplicial complex is thickenable if it embeds in some orientable 3-dimensional manifold. Recently, Carmesin announced that thickenability can be tested in polynomial time.
Our algorithm for atomic embeddability combines ideas from Carmesin's work with algorithmic tools previously developed for weak embeddability testing. We express our results purely in terms of graphs on surfaces, and rely on the machinery of topological graph theory.
Finally, we give a polynomial-time reduction from atomic embeddability to thickenability thereby showing that both problems are polynomially equivalent, and show that a slight generalization of atomic embeddability to the setting in which clusters are toroidal graphs is NP-complete.
△ Less
Submitted 9 December, 2019; v1 submitted 30 July, 2019;
originally announced July 2019.
-
On the Stretch Factor of Polygonal Chains
Authors:
Ke Chen,
Adrian Dumitrescu,
Wolfgang Mulzer,
Csaba D. Tóth
Abstract:
Let $P=(p_1, p_2, \dots, p_n)$ be a polygonal chain in $\mathbb{R}^d$. The stretch factor of $P$ is the ratio between the total length of $P$ and the distance of its endpoints, $\sum_{i = 1}^{n-1} |p_i p_{i+1}|/|p_1 p_n|$. For a parameter $c \geq 1$, we call $P$ a $c$-chain if $|p_ip_j|+|p_jp_k| \leq c|p_ip_k|$, for every triple $(i,j,k)$, $1 \leq i<j<k \leq n$. The stretch factor is a global prop…
▽ More
Let $P=(p_1, p_2, \dots, p_n)$ be a polygonal chain in $\mathbb{R}^d$. The stretch factor of $P$ is the ratio between the total length of $P$ and the distance of its endpoints, $\sum_{i = 1}^{n-1} |p_i p_{i+1}|/|p_1 p_n|$. For a parameter $c \geq 1$, we call $P$ a $c$-chain if $|p_ip_j|+|p_jp_k| \leq c|p_ip_k|$, for every triple $(i,j,k)$, $1 \leq i<j<k \leq n$. The stretch factor is a global property: it measures how close $P$ is to a straight line, and it involves all the vertices of $P$; being a $c$-chain, on the other hand, is a fingerprint-property: it only depends on subsets of $O(1)$ vertices of the chain.
We investigate how the $c$-chain property influences the stretch factor in the plane: (i) we show that for every $\varepsilon > 0$, there is a noncrossing $c$-chain that has stretch factor $Ω(n^{1/2-\varepsilon})$, for sufficiently large constant $c=c(\varepsilon)$; (ii) on the other hand, the stretch factor of a $c$-chain $P$ is $O\left(n^{1/2}\right)$, for every constant $c\geq 1$, regardless of whether $P$ is crossing or noncrossing; and (iii) we give a randomized algorithm that can determine, for a polygonal chain $P$ in $\mathbb{R}^2$ with $n$ vertices, the minimum $c\geq 1$ for which $P$ is a $c$-chain in $O\left(n^{2.5}\ \mathrm{polylog}\ n\right)$ expected time and $O(n\log n)$ space. These results generalize to $\mathbb{R}^d$. For every dimension $d\geq 2$ and every $\varepsilon>0$, we construct a noncrossing $c$-chain that has stretch factor $Ω\left(n^{(1-\varepsilon)(d-1)/d}\right)$; on the other hand, the stretch factor of any $c$-chain is $O\left((n-1)^{(d-1)/d}\right)$; for every $c>1$, we can test whether an $n$-vertex chain in $\mathbb{R}^d$ is a $c$-chain in $O\left(n^{3-1/d}\ \mathrm{polylog}\ n\right)$ expected time and $O(n\log n)$ space.
△ Less
Submitted 10 January, 2023; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Bayesian Learning from Sequential Data using Gaussian Processes with Signature Covariances
Authors:
Csaba Toth,
Harald Oberhauser
Abstract:
We develop a Bayesian approach to learning from sequential data by using Gaussian processes (GPs) with so-called signature kernels as covariance functions. This allows to make sequences of different length comparable and to rely on strong theoretical results from stochastic analysis. Signatures capture sequential structure with tensors that can scale unfavourably in sequence length and state space…
▽ More
We develop a Bayesian approach to learning from sequential data by using Gaussian processes (GPs) with so-called signature kernels as covariance functions. This allows to make sequences of different length comparable and to rely on strong theoretical results from stochastic analysis. Signatures capture sequential structure with tensors that can scale unfavourably in sequence length and state space dimension. To deal with this, we introduce a sparse variational approach with inducing tensors. We then combine the resulting GP with LSTMs and GRUs to build larger models that leverage the strengths of each of these approaches and benchmark the resulting GPs on multivariate time series (TS) classification datasets. Code available at https://github.com/tgcsaba/GPSig.
△ Less
Submitted 6 July, 2020; v1 submitted 19 June, 2019;
originally announced June 2019.
-
Rock Climber Distance: Frogs versus Dogs
Authors:
Hugo A. Akitaya,
Leonie Ryvkin,
Csaba D. Tóth
Abstract:
The classical measure of similarity between two polygonal chains in Euclidean space is the Fréchet distance, which corresponds to the coordinated motion of two mobile agents along the chains while minimizing their maximum distance. As computing the Fréchet distance takes near-quadratic time under the Strong Exponential Time Hypothesis (SETH), we explore two new distance measures, called rock climb…
▽ More
The classical measure of similarity between two polygonal chains in Euclidean space is the Fréchet distance, which corresponds to the coordinated motion of two mobile agents along the chains while minimizing their maximum distance. As computing the Fréchet distance takes near-quadratic time under the Strong Exponential Time Hypothesis (SETH), we explore two new distance measures, called rock climber distance and $k$-station distance, in which the agents move alternately in their coordinated motion that traverses the polygonal chains. We show that the new variants are equivalent to the Fréchet or the Hausdorff distance if the number of moves is unlimited. When the number of moves is limited to a given parameter $k$, we show that it is NP-hard to determine the distance between two curves. We also describe a 2-approximation algorithm to find the minimum $k$ for which the distance drops below a given threshold.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
Circumscribing Polygons and Polygonizations for Disjoint Line Segments
Authors:
Hugo A. Akitaya,
Matias Korman,
Oliver Korten,
Mikhail Rudoy,
Diane L. Souvaine,
Csaba D. Tóth
Abstract:
Given a planar straight-line graph $G=(V,E)$ in $\mathbb{R}^2$, a \emph{circumscribing polygon} of $G$ is a simple polygon $P$ whose vertex set is $V$, and every edge in $E$ is either an edge or an internal diagonal of $P$. A circumscribing polygon is a \emph{polygonization} for $G$ if every edge in $E$ is an edge of $P$.
We prove that every arrangement of $n$ disjoint line segments in the plane…
▽ More
Given a planar straight-line graph $G=(V,E)$ in $\mathbb{R}^2$, a \emph{circumscribing polygon} of $G$ is a simple polygon $P$ whose vertex set is $V$, and every edge in $E$ is either an edge or an internal diagonal of $P$. A circumscribing polygon is a \emph{polygonization} for $G$ if every edge in $E$ is an edge of $P$.
We prove that every arrangement of $n$ disjoint line segments in the plane has a subset of size $Ω(\sqrt{n})$ that admits a circumscribing polygon, which is the first improvement on this bound in 20 years. We explore relations between circumscribing polygons and other problems in combinatorial geometry, and generalizations to $\mathbb{R}^3$.
We show that it is NP-complete to decide whether a given graph $G$ admits a circumscribing polygon, even if $G$ is 2-regular. Settling a 30-year old conjecture by Rappaport, we also show that it is NP-complete to determine whether a geometric matching admits a polygonization.
△ Less
Submitted 29 June, 2021; v1 submitted 16 March, 2019;
originally announced March 2019.