-
Improved Lower Bound on the Number of Pseudoline Arrangements
Authors:
Justin Dallant
Abstract:
We show that for large enough $n$, the number of non-isomorphic pseudoline arrangements of order $n$ is greater than $2^{c\cdot n^2}$ for some constant $c > 0.2604$, improving the previous best bound of $c>0.2083$ by Dumitrescu and Mandal (2020). Arrangements of pseudolines (and in particular arrangements of lines) are important objects appearing in many forms in discrete and computational geometr…
▽ More
We show that for large enough $n$, the number of non-isomorphic pseudoline arrangements of order $n$ is greater than $2^{c\cdot n^2}$ for some constant $c > 0.2604$, improving the previous best bound of $c>0.2083$ by Dumitrescu and Mandal (2020). Arrangements of pseudolines (and in particular arrangements of lines) are important objects appearing in many forms in discrete and computational geometry. They have strong ties for example with oriented matroids, sorting networks and point configurations. Let $B_n$ be the number of non-isomorphic pseudoline arrangements of order $n$ and let $b_n := \log_2(B_n)$. The problem of estimating $b_n$ dates back to Knuth, who conjectured that $b_n \leq 0.5n^2 + o(n^2)$ and derived the first bounds $n^2/6-O(n) \leq b_n \leq 0.7924(n^2+n)$. Both the upper and the lower bound have been improved a couple of times since. For the upper bound, it was first improved to $b_n < 0.6988n^2$ (Felsner, 1997), then $b_n < 0.6571 n^2$ by Felsner and Valtr (2011), for large enough $n$. In the same paper, Felsner and Valtr improved the constant in the lower bound to $c> 0.1887$, which was subsequently improved by Dumitrescu and Mandal to $c>0.2083$. Our new bound is based on a construction which starts with one of the constructions of Dumitrescu and Mandal and breaks it into constant sized pieces. We then use software to compute the contribution of each piece to the overall number of pseudoline arrangements. This method adds a lot of flexibility to the construction and thus offers many avenues for future tweaks and improvements which could lead to further tightening of the lower bound.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
An Improved Lower Bound on the Number of Pseudoline Arrangements
Authors:
Fernando Cortés Kühnast,
Justin Dallant,
Stefan Felsner,
Manfred Scheucher
Abstract:
Arrangements of pseudolines are classic objects in discrete and computational geometry. They have been studied with increasing intensity since their introduction almost 100 years ago. The study of the number $B_n$ of non-isomorphic simple arrangements of $n$ pseudolines goes back to Goodman and Pollack, Knuth, and others. It is known that $B_n$ is in the order of $2^{Θ(n^2)}$ and finding asymptoti…
▽ More
Arrangements of pseudolines are classic objects in discrete and computational geometry. They have been studied with increasing intensity since their introduction almost 100 years ago. The study of the number $B_n$ of non-isomorphic simple arrangements of $n$ pseudolines goes back to Goodman and Pollack, Knuth, and others. It is known that $B_n$ is in the order of $2^{Θ(n^2)}$ and finding asymptotic bounds on $b_n = \frac{\log_2(B_n)}{n^2}$ remains a challenging task. In 2011, Felsner and Valtr showed that $0.1887 \leq b_n \le 0.6571$ for sufficiently large $n$. The upper bound remains untouched but in 2020 Dumitrescu and Mandal improved the lower bound constant to $0.2083$. Their approach utilizes the known values of $B_n$ for up to $n=12$.
We tackle the lower bound by utilizing dynamic programming and the Lindström-Gessel-Viennot lemma. Our new bound is $b_n \geq 0.2721$ for sufficiently large $n$. The result is based on a delicate interplay of theoretical ideas and computer assistance.
△ Less
Submitted 21 March, 2024; v1 submitted 20 February, 2024;
originally announced February 2024.
-
An Optimal Randomized Algorithm for Finding the Saddlepoint
Authors:
Justin Dallant,
Frederik Haagensen,
Riko Jacob,
László Kozma,
Sebastian Wild
Abstract:
A \emph{saddlepoint} of an $n \times n$ matrix is an entry that is the maximum of its row and the minimum of its column. Saddlepoints give the \emph{value} of a two-player zero-sum game, corresponding to its pure-strategy Nash equilibria; efficiently finding a saddlepoint is thus a natural and fundamental algorithmic task.
For finding a \emph{strict saddlepoint} (an entry that is the strict maxi…
▽ More
A \emph{saddlepoint} of an $n \times n$ matrix is an entry that is the maximum of its row and the minimum of its column. Saddlepoints give the \emph{value} of a two-player zero-sum game, corresponding to its pure-strategy Nash equilibria; efficiently finding a saddlepoint is thus a natural and fundamental algorithmic task.
For finding a \emph{strict saddlepoint} (an entry that is the strict maximum of its row and the strict minimum of its column) we recently gave an $O({n\log^*{n}})$-time algorithm, improving the $O({n\log{n}})$ bounds from 1991 of Bienstock, Chung, Fredman, Schäffer, Shor, Suri and of Byrne and Vaserstein.
In this paper we present an optimal $O({n})$-time algorithm for finding a strict saddlepoint based on random sampling. Our algorithm, like earlier approaches, accesses matrix entries only via unit-cost binary comparisons. For finding a (non-strict) saddlepoint, we extend an existing lower bound to randomized algorithms, showing that the trivial $O(n^2)$ runtime cannot be improved even with the use of randomness.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
A General Technique for Searching in Implicit Sets via Function Inversion
Authors:
Boris Aronov,
Jean Cardinal,
Justin Dallant,
John Iacono
Abstract:
Given a function $f$ from the set $[N]$ to a $d$-dimensional integer grid, we consider data structures that allow efficient orthogonal range searching queries in the image of $f$, without explicitly storing it.
We show that, if $f$ is of the form $[N]\to [2^{w}]^d$ for some $w=\mathrm{polylog} (N)$ and is computable in constant time, then, for any $0<α<1$, we can obtain a data structure using…
▽ More
Given a function $f$ from the set $[N]$ to a $d$-dimensional integer grid, we consider data structures that allow efficient orthogonal range searching queries in the image of $f$, without explicitly storing it.
We show that, if $f$ is of the form $[N]\to [2^{w}]^d$ for some $w=\mathrm{polylog} (N)$ and is computable in constant time, then, for any $0<α<1$, we can obtain a data structure using $\tilde {O}(N^{1-α/ 3})$ words of space such that, for a given $d$-dimensional axis-aligned box $B$, we can search for some $x\in [N]$ such that $f(x) \in B$ in time $\tilde{O}(N^α)$.
This result is obtained simply by combining integer range searching with the Fiat-Naor function inversion scheme, which was already used in data-structure problems previously.
We further obtain
- data structures for range counting and reporting, predecessor, selection, ranking queries, and combinations thereof, on the set $f([N])$,
- data structures for preimage size and preimage selection queries for a given value of $f$, and
- data structures for selection and ranking queries on geometric quantities computed from tuples of points in $d$-space.
These results unify and generalize previously known results on 3SUM-indexing and string searching, and are widely applicable as a black box to a variety of problems.
In particular, we give a data structure for a generalized version of gapped string indexing, and show how to preprocess a set of points on an integer grid in order to efficiently compute (in sublinear time), for points contained in a given axis-aligned box, their Theil-Sen estimator, the $k$th largest area triangle, or the induced hyperplane that is the $k$th furthest from the origin.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Finding the saddlepoint faster than sorting
Authors:
Justin Dallant,
Frederik Haagensen,
Riko Jacob,
László Kozma,
Sebastian Wild
Abstract:
A saddlepoint of an $n \times n$ matrix $A$ is an entry of $A$ that is a maximum in its row and a minimum in its column. Knuth (1968) gave several different algorithms for finding a saddlepoint. The worst-case running time of these algorithms is $Θ(n^2)$, and Llewellyn, Tovey, and Trick (1988) showed that this cannot be improved, as in the worst case all entries of A may need to be queried.
A st…
▽ More
A saddlepoint of an $n \times n$ matrix $A$ is an entry of $A$ that is a maximum in its row and a minimum in its column. Knuth (1968) gave several different algorithms for finding a saddlepoint. The worst-case running time of these algorithms is $Θ(n^2)$, and Llewellyn, Tovey, and Trick (1988) showed that this cannot be improved, as in the worst case all entries of A may need to be queried.
A strict saddlepoint of $A$ is an entry that is the strict maximum in its row and the strict minimum in its column. The strict saddlepoint (if it exists) is unique, and Bienstock, Chung, Fredman, Schäffer, Shor, and Suri (1991) showed that it can be found in time $O(n \log{n})$, where a dominant runtime contribution is sorting the diagonal of the matrix. This upper bound has not been improved since 1991. In this paper we show that the strict saddlepoint can be found in $O(n \log^{*}{n})$ time, where $\log^{*}$ denotes the very slowly growing iterated logarithm function, coming close to the lower bound of $Ω(n)$. In fact, we can also compute, within the same runtime, the value of a non-strict saddlepoint, assuming one exists. Our algorithm is based on a simple recursive approach, a feasibility test inspired by searching in sorted matrices, and a relaxed notion of saddlepoint.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
PACOME: Optimal multi-epoch combination of direct imaging observations for joint exoplanet detection and orbit estimation
Authors:
Jules Dallant,
Maud Langlois,
Olivier Flasseur,
Éric Thiébaut
Abstract:
Exoplanet detections and characterizations via direct imaging require high contrast and high angular resolution. These requirements typically require (i) cutting-edge instrumental facilities, (ii) optimized differential imaging to introduce a diversity in the signals of the sought-for objects, and (iii) dedicated processing algorithms to further eliminate the residual stellar leakages.
Substanti…
▽ More
Exoplanet detections and characterizations via direct imaging require high contrast and high angular resolution. These requirements typically require (i) cutting-edge instrumental facilities, (ii) optimized differential imaging to introduce a diversity in the signals of the sought-for objects, and (iii) dedicated processing algorithms to further eliminate the residual stellar leakages.
Substantial efforts have been undertaken on the design of more efficient post-processing algorithms but their performance remains upper-bounded at shorter angular separations due to the the lack of diversity induced by the processing of each epoch of observations individually. We propose a new algorithm that is able to combine several observations of the same star by accounting for the Keplerian orbital motion across epochs of the sought-for sources in order to constructively co-add their weak signals.
The proposed algorithm, PACOME, integrates an exploration of the plausible orbits within a statistical detection and estimation formalism. It is extended to a multi-epoch combination of the maximum likelihood framework of PACO, which is a mono-epoch post-processing algorithm. We derive a reliable multi-epoch detection criterion, interpretable both in terms of probability of detection and of false alarm.
We tested the proposed algorithm on several datasets obtained from the VLT/SPHERE instrument with IRDIS and IFS. By resorting to injections of synthetic exoplanets, we show that PACOME is able to detect sources remaining undetectable in mono-epoch frameworks. The gain in detection sensitivity scales as high as the square root of the number of epochs. We also applied PACOME on a set of observations from the HR 8799 star hosting four known exoplanets, which are detected with very high signal-to-noise ratios. In addition, its implementation is efficient, fast, and fully automatized.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Preparing an unsupervised massive analysis of SPHERE high contrast data with the PACO algorithm
Authors:
A. Chomez,
A. -M. Lagrange,
P. Delorme,
M. Langlois,
G. Chauvin,
O. Flasseur,
J. Dallant,
F. Philipot,
S. Bergeon,
D. Albert,
N. Meunier,
P. Rubini
Abstract:
We aim at searching for exoplanets on the whole ESO/VLT-SPHERE archive with improved and unsupervised data analysis algorithm that could allow to detect massive giant planets at 5 au. To prepare, test and optimize our approach, we gathered a sample of twenty four solar-type stars observed with SPHERE using angular and spectral differential imaging modes. We use PACO, a new generation algorithm rec…
▽ More
We aim at searching for exoplanets on the whole ESO/VLT-SPHERE archive with improved and unsupervised data analysis algorithm that could allow to detect massive giant planets at 5 au. To prepare, test and optimize our approach, we gathered a sample of twenty four solar-type stars observed with SPHERE using angular and spectral differential imaging modes. We use PACO, a new generation algorithm recently developed, that has been shown to outperform classical methods. We also improve the SPHERE pre-reduction pipeline, and optimize the outputs of PACO to enhance the detection performance. We develop custom built spectral prior libraries to optimize the detection capability of the ASDI mode for both IRDIS and IFS. Compared to previous works conducted with more classical algorithms than PACO, the contrast limits we derived are more reliable and significantly better, especially at short angular separations where a gain by a factor ten is obtained between 0.2 and 0.5 arcsec. Under good observing conditions, planets down to 5 MJup, orbiting at 5 au could be detected around stars within 60 parsec. We identified two exoplanet candidates that require follow-up to test for common proper motion. In this work, we demonstrated on a small sample the benefits of PACO in terms of achievable contrast and of control of the confidence levels. Besides, we have developed custom tools to take full benefits of this algorithm and to quantity the total error budget on the estimated astrometry and photometry. This work paves the way towards an end-to-end, homogeneous, and unsupervised massive re-reduction of archival direct imaging surveys in the quest of new exoJupiters.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Spinning up a Daze: TESS Uncovers a Hot Jupiter orbiting the Rapid-Rotator TOI-778
Authors:
Jake Clark,
Brett Addison,
Jack Okumura,
Sydney Vach,
Alexis Heitzmann,
Joseph Rodriguez,
Duncan Wright,
Mathieu Clerte,
Carolyn Brown,
Tara Fetherolf,
Robert Wittenmyer,
Peter Plavchan,
Stephen Kane,
Jonathan Horner,
John Kielkopf,
Avi Shporer,
C. Tinney,
Liu Hui-Gen,
Sarah Ballard,
Brendan Bowler,
Matthew Mengel,
George Zhou,
Annette Lee,
Avelyn David,
Jessica Heim
, et al. (46 additional authors not shown)
Abstract:
NASA's Transiting Exoplanet Survey Satellite (TESS) mission, has been uncovering a growing number of exoplanets orbiting nearby, bright stars. Most exoplanets that have been discovered by TESS orbit narrow-line, slow-rotating stars, facilitating the confirmation and mass determination of these worlds. We present the discovery of a hot Jupiter orbiting a rapidly rotating ($v\sin{(i)}= 35.1\pm1.0$km…
▽ More
NASA's Transiting Exoplanet Survey Satellite (TESS) mission, has been uncovering a growing number of exoplanets orbiting nearby, bright stars. Most exoplanets that have been discovered by TESS orbit narrow-line, slow-rotating stars, facilitating the confirmation and mass determination of these worlds. We present the discovery of a hot Jupiter orbiting a rapidly rotating ($v\sin{(i)}= 35.1\pm1.0$km/s) early F3V-dwarf, HD115447 (TOI-778). The transit signal taken from Sectors 10 and 37 of TESS's initial detection of the exoplanet is combined with follow-up ground-based photometry and velocity measurements taken from Minerva-Australis, TRES, CORALIE and CHIRON to confirm and characterise TOI-778b. A joint analysis of the light curves and the radial velocity measurements yield a mass, radius, and orbital period for TOI-778b of $2.76^{+0.24}_{-0.23}$Mjup, $1.370\pm0.043$Rjup and $\sim4.63$ days, respectively. The planet orbits a bright ($V = 9.1$mag) F3-dwarf with $M=1.40\pm0.05$Msun, $R=1.70\pm0.05$Rsun, and $\log g=4.05\pm0.17$. We observed a spectroscopic transit of TOI-778b, which allowed us to derive a sky-projected spin-orbit angle of $18^{\circ}\pm11^{\circ}$, consistent with an aligned planetary system. This discovery demonstrates the capability of smaller aperture telescopes such as Minerva-Australis to detect the radial velocity signals produced by planets orbiting broad-line, rapidly rotating stars.
△ Less
Submitted 30 April, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Deciphering the radio star formation correlation on kpc scales II. The integrated infrared-radio continuum and star formation - radio continuum correlations
Authors:
B. Vollmer,
M. Soida,
J. Dallant
Abstract:
Given the multiple energy loss mechanisms of cosmic ray electrons in galaxies, the tightness of the infrared - radio continuum correlation is surprising. We extended the analytical model of galactic disks of Vollmer et al. (2017) by including a simplified prescription for the synchrotron emissivity. The galactic gas disks of local spiral galaxies, low-z starburst galaxies, high-z main sequence sta…
▽ More
Given the multiple energy loss mechanisms of cosmic ray electrons in galaxies, the tightness of the infrared - radio continuum correlation is surprising. We extended the analytical model of galactic disks of Vollmer et al. (2017) by including a simplified prescription for the synchrotron emissivity. The galactic gas disks of local spiral galaxies, low-z starburst galaxies, high-z main sequence starforming, and high-z starburst galaxies are treated as turbulent clumpy accretion disks. The magnetic field strength is determined by the equipartition between the turbulent kinetic and the magnetic energy densities. Our fiducial model, which neither includes galactic winds nor CR electron secondaries, reproduces the observed radio continuum SEDs of most (~70%) of the galaxies. Except for the local spiral galaxies, fast galactic winds can potentially make the conflicting models agree with observations. The observed IR - radio correlations are reproduced by the model within 2 sigma of the joint uncertainty of model and data for all datasets. The model agrees with the observed SFR - radio correlations within ~4 sigma. Energy equipartition between the CR particles and the magnetic field only approximately holds in our models of main sequence starforming galaxies. If a CR electron calorimeter is assumed, the slope of the IR - radio correlation flattens significantly. Inverse Compton (IC) losses are not dominant in the starburst galaxies because in these galaxies not only the gas density but also the turbulent velocity dispersion is higher than in normally starforming galaxies. Equipartition between the turbulent kinetic and magnetic field energy densities then leads to very high magnetic field strengths and very short synchrotron timescales. The exponents of our model SFR - radio correlations at 150 MHz and 1.4 GHz are very close to one.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
How Fast Can We Play Tetris Greedily With Rectangular Pieces?
Authors:
Justin Dallant,
John Iacono
Abstract:
Consider a variant of Tetris played on a board of width $w$ and infinite height, where the pieces are axis-aligned rectangles of arbitrary integer dimensions, the pieces can only be moved before letting them drop, and a row does not disappear once it is full. Suppose we want to follow a greedy strategy: let each rectangle fall where it will end up the lowest given the current state of the board. T…
▽ More
Consider a variant of Tetris played on a board of width $w$ and infinite height, where the pieces are axis-aligned rectangles of arbitrary integer dimensions, the pieces can only be moved before letting them drop, and a row does not disappear once it is full. Suppose we want to follow a greedy strategy: let each rectangle fall where it will end up the lowest given the current state of the board. To do so, we want a data structure which can always suggest a greedy move. In other words, we want a data structure which maintains a set of $O(n)$ rectangles, supports queries which return where to drop the rectangle, and updates which insert a rectangle dropped at a certain position and return the height of the highest point in the updated set of rectangles. We show via a reduction to the Multiphase problem [Pătraşcu, 2010] that on a board of width $w=Θ(n)$, if the OMv conjecture [Henzinger et al., 2015] is true, then both operations cannot be supported in time $O(n^{1/2-ε})$ simultaneously. The reduction also implies polynomial bounds from the 3-SUM conjecture and the APSP conjecture. On the other hand, we show that there is a data structure supporting both operations in $O(n^{1/2}\log^{3/2}n)$ time on boards of width $n^{O(1)}$, matching the lower bound up to a $n^{o(1)}$ factor.
△ Less
Submitted 11 April, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Conditional Lower Bounds for Dynamic Geometric Measure Problems
Authors:
Justin Dallant,
John Iacono
Abstract:
We give new polynomial lower bounds for a number of dynamic measure problems in computational geometry. These lower bounds hold in the Word-RAM model, conditioned on the hardness of either 3SUM, APSP, or the Online Matrix-Vector Multiplication problem [Henzinger et al., STOC 2015]. In particular we get lower bounds in the incremental and fully-dynamic settings for counting maximal or extremal poin…
▽ More
We give new polynomial lower bounds for a number of dynamic measure problems in computational geometry. These lower bounds hold in the Word-RAM model, conditioned on the hardness of either 3SUM, APSP, or the Online Matrix-Vector Multiplication problem [Henzinger et al., STOC 2015]. In particular we get lower bounds in the incremental and fully-dynamic settings for counting maximal or extremal points in R^3, different variants of Klee's Measure Problem, problems related to finding the largest empty disk in a set of points, and querying the size of the i'th convex layer in a planar set of points. We also answer a question of Chan et al. [SODA 2022] by giving a conditional lower bound for dynamic approximate square set cover. While many conditional lower bounds for dynamic data structures have been proven since the seminal work of Patrascu [STOC 2010], few of them relate to computational geometry problems. This is the first paper focusing on this topic. Most problems we consider can be solved in O(n log n) time in the static case and their dynamic versions have only been approached from the perspective of improving known upper bounds. One exception to this is Klee's measure problem in R^2, for which Chan [CGTA 2010] gave an unconditional $Ω(\sqrt{n})$ lower bound on the worst-case update time. By a similar approach, we show that such a lower bound also holds for an important special case of Klee's measure problem in R^3 known as the Hypervolume Indicator problem, even for amortized runtime in the incremental setting.
△ Less
Submitted 3 July, 2022; v1 submitted 19 December, 2021;
originally announced December 2021.
-
Approximability of (Simultaneous) Class Cover for Boxes
Authors:
Jean Cardinal,
Justin Dallant,
John Iacono
Abstract:
Bereg et al. (2012) introduced the Boxes Class Cover problem, which has its roots in classification and clustering applications: Given a set of n points in the plane, each colored red or blue, find the smallest cardinality set of axis-aligned boxes whose union covers the red points without covering any blue point. In this paper we give an alternative proof of APX-hardness for this problem, which a…
▽ More
Bereg et al. (2012) introduced the Boxes Class Cover problem, which has its roots in classification and clustering applications: Given a set of n points in the plane, each colored red or blue, find the smallest cardinality set of axis-aligned boxes whose union covers the red points without covering any blue point. In this paper we give an alternative proof of APX-hardness for this problem, which also yields an explicit lower bound on its approximability. Our proof also directly applies when restricted to sets of points in general position and to the case where so-called half-strips are considered instead of boxes, which is a new result.
We also introduce a symmetric variant of this problem, which we call Simultaneous Boxes Class Cover and can be stated as follows: Given a set S of n points in the plane, each colored red or blue, find the smallest cardinality set of axis-aligned boxes which together cover S such that all boxes cover only points of the same color and no box covering a red point intersects a box covering a blue point. We show that this problem is also APX-hard and give a polynomial-time constant-factor approximation algorithm.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
An Instance-optimal Algorithm for Bichromatic Rectangular Visibility
Authors:
Jean Cardinal,
Justin Dallant,
John Iacono
Abstract:
Afshani, Barbay and Chan (2017) introduced the notion of instance-optimal algorithm in the order-oblivious setting. An algorithm A is instance-optimal in the order-oblivious setting for a certain class of algorithms A* if the following hold:
- A takes as input a sequence of objects from some domain;
- for any instance $σ$ and any algorithm A' in A*, the runtime of A on $σ$ is at most a constan…
▽ More
Afshani, Barbay and Chan (2017) introduced the notion of instance-optimal algorithm in the order-oblivious setting. An algorithm A is instance-optimal in the order-oblivious setting for a certain class of algorithms A* if the following hold:
- A takes as input a sequence of objects from some domain;
- for any instance $σ$ and any algorithm A' in A*, the runtime of A on $σ$ is at most a constant factor removed from the runtime of A' on the worst possible permutation of $σ$. If we identify permutations of a sequence as representing the same instance, this essentially states that A is optimal on every possible input (and not only in the worst case).
We design instance-optimal algorithms for the problem of reporting, given a bichromatic set of points in the plane S, all pairs consisting of points of different color which span an empty axis-aligned rectangle (or reporting all points which appear in such a pair). This problem has applications for training-set reduction in nearest-neighbour classifiers. It is also related to the problem consisting of finding the decision boundaries of a euclidean nearest-neighbour classifier, for which Bremner et al. (2005) gave an optimal output-sensitive algorithm.
By showing the existence of an instance-optimal algorithm in the order-oblivious setting for this problem we push the methods of Afshani et al. closer to their limits by adapting and extending them to a setting which exhibits highly non-local features. Previous problems for which instance-optimal algorithms were proven to exist were based solely on local relationships between points in a set.
△ Less
Submitted 27 July, 2023; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Efficiently stabbing convex polygons and variants of the Hadwiger-Debrunner $(p, q)$-theorem
Authors:
Justin Dallant,
Patrick Schnider
Abstract:
Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a…
▽ More
Hadwiger and Debrunner showed that for families of convex sets in $\mathbb{R}^d$ with the property that among any $p$ of them some $q$ have a common point, the whole family can be stabbed with $p-q+1$ points if $p \geq q \geq d+1$ and $(d-1)p < d(q-1)$. This generalizes a classical result by Helly. We show how such a stabbing set can be computed for a family of convex polygons in the plane with a total of $n$ vertices in $O((p-q+1)n^{4/3}\log^{8} n(\log\log n)^{1/3} + np^2)$ expected time. For polyhedra in $\mathbb{R}^3$, we get an algorithm running in $O((p-q+1)n^{5/2}\log^{10} n(\log\log n)^{1/6} + np^3)$ expected time. We also investigate other conditions on convex polygons for which our algorithm can find a fixed number of points stabbing them. Finally, we show that analogous results of the Hadwiger and Debrunner $(p,q)$-theorem hold in other settings, such as convex sets in $\mathbb{R}^d\times\mathbb{Z}^k$ or abstract convex geometries.
△ Less
Submitted 16 February, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.