Showing 1–50 of 78 results for author: Smid, M

Plasma screening in mid-charged ions observed by K-shell line emission

Authors: M. Šmıd, O. Humphries, C. Baehtz, E. Brambrink, T. Burian, M. S. Cho, T. E. Cowan, L. Gaus, V. Hájková, L. Juha, Z. Konopkova, H. P. Le, M. Makita, X. Pan, T. Preston, A. Schropp, H. A. Scott, R. Štefanıková, J. Vorberger, W. Wang, U. Zastrau, K. Falk

Abstract: Dense plasma environment affects the electronic structure of ions via variations of the microscopic electrical fields, also known as plasma screening. This effect can be either estimated by simplified analytical models, or by computationally expensive and to date unverified numerical calculations. We have experimentally quantified plasma screening from the energy shifts of the bound-bound transiti… ▽ More Dense plasma environment affects the electronic structure of ions via variations of the microscopic electrical fields, also known as plasma screening. This effect can be either estimated by simplified analytical models, or by computationally expensive and to date unverified numerical calculations. We have experimentally quantified plasma screening from the energy shifts of the bound-bound transitions in matter driven by the x-ray free electron laser (XFEL). This was enabled by identification of detailed electronic configurations of the observed Kα, K\b{eta} and Kγ lines. This work paves the way for improving plasma screening models including connected effects like ionization potential depression and continuum lowering, which will advance the understanding of atomic physics in Warm Dense Matter regime. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Euclidean Maximum Matchings in the Plane---Local to Global

Authors: Ahmad Biniaz, Anil Maheshwari, Michiel Smid

Abstract: Let $M$ be a perfect matching on a set of points in the plane where every edge is a line segment between two points. We say that $M$ is globally maximum if it is a maximum-length matching on all points. We say that $M$ is $k$-local maximum if for any subset $M'=\{a_1b_1,\dots,a_kb_k\}$ of $k$ edges of $M$ it holds that $M'$ is a maximum-length matching on points $\{a_1,b_1,\dots,a_k,b_k\}$. We sho… ▽ More Let $M$ be a perfect matching on a set of points in the plane where every edge is a line segment between two points. We say that $M$ is globally maximum if it is a maximum-length matching on all points. We say that $M$ is $k$-local maximum if for any subset $M'=\{a_1b_1,\dots,a_kb_k\}$ of $k$ edges of $M$ it holds that $M'$ is a maximum-length matching on points $\{a_1,b_1,\dots,a_k,b_k\}$. We show that local maximum matchings are good approximations of global ones. Let $μ_k$ be the infimum ratio of the length of any $k$-local maximum matching to the length of any global maximum matching, over all finite point sets in the Euclidean plane. It is known that $μ_k\geqslant \frac{k-1}{k}$ for any $k\geqslant 2$. We show the following improved bounds for $k\in\{2,3\}$: $\sqrt{3/7}\leqslantμ_2< 0.93 $ and $\sqrt{3}/2\leqslantμ_3< 0.98$. We also show that every pairwise crossing matching is unique and it is globally maximum. Towards our proof of the lower bound for $μ_2$ we show the following result which is of independent interest: If we increase the radii of pairwise intersecting disks by factor $2/\sqrt{3}$, then the resulting disks have a common intersection. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Metric and Geometric Spanners that are Resilient to Degree-Bounded Edge Faults

Authors: Ahmad Biniaz, Jean-Lou De Carufel, Anil Maheshwari, Michiel Smid

Abstract: Let $H$ be an edge-weighted graph, and let $G$ be a subgraph of $H$. We say that $G$ is an $f$-fault-tolerant $t$-spanner for $H$, if the following is true for any subset $F$ of at most $f$ edges of $G$: For any two vertices $p$ and $q$, the shortest-path distance between $p$ and $q$ in the graph $G \setminus F$ is at most $t$ times the shortest-path distance between $p$ and $q$ in the graph… ▽ More Let $H$ be an edge-weighted graph, and let $G$ be a subgraph of $H$. We say that $G$ is an $f$-fault-tolerant $t$-spanner for $H$, if the following is true for any subset $F$ of at most $f$ edges of $G$: For any two vertices $p$ and $q$, the shortest-path distance between $p$ and $q$ in the graph $G \setminus F$ is at most $t$ times the shortest-path distance between $p$ and $q$ in the graph $H \setminus F$. Recently, Bodwin, Haeupler, and Parter generalized this notion to the case when $F$ can be any set of edges in $G$, as long as the maximum degree of $F$ is at most $f$. They gave constructions for general graphs $H$. We first consider the case when $H$ is a complete graph whose vertex set is an arbitrary metric space. We show that if this metric space contains a $t$-spanner with $m$ edges, then it also contains a graph $G$ with $O(fm)$ edges, that is resilient to edge faults of maximum degree $f$ and has stretch factor $O(ft)$. Next, we consider the case when $H$ is a complete graph whose vertex set is a metric space that admits a well-separated pair decomposition. We show that, if the metric space has such a decomposition of size $m$, then it contains a graph with at most $(2f+1)^2 m$ edges, that is resilient to edge faults of maximum degree $f$ and has stretch factor at most $1+\varepsilon$, for any given $\varepsilon > 0$. For example, if the vertex set is a set of $n$ points in $\mathbb{R}^d$ ($d$ being a constant) or a set of $n$ points in a metric space of bounded doubling dimension, then the spanner has $O(f^2 n)$ edges. Finally, for the case when $H$ is a complete graph on $n$ points in $\mathbb{R}^d$, we show how natural variants of the Yao- and $Θ$-graphs lead to graphs with $O(fn)$ edges, that are resilient to edge faults of maximum degree $f$ and have stretch factor at most $1+\varepsilon$, for any given $\varepsilon > 0$. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 27 pages

Letter of Intent: Towards a Vacuum Birefringence Experiment at the Helmholtz International Beamline for Extreme Fields

Authors: N. Ahmadiniaz, C. Bähtz, A. Benediktovitch, C. Bömer, L. Bocklage, T. E. Cowan, J. Edwards, S. Evans, S. Franchino Viñas, H. Gies, S. Göde, J. Görs, J. Grenzer, U. Hernandez Acosta, T. Heinzl, P. Hilz, W. Hippler, L. G. Huang, O. Humphries, F. Karbstein, P. Khademi, B. King, T. Kluge, C. Kohlfürst, D. Krebs , et al. (27 additional authors not shown)

Abstract: Quantum field theory predicts a nonlinear response of the vacuum to strong electromagnetic fields of macroscopic extent. This fundamental tenet has remained experimentally challenging and is yet to be tested in the laboratory. A particularly distinct signature of the resulting optical activity of the quantum vacuum is vacuum birefringence. This offers an excellent opportunity for a precision test… ▽ More Quantum field theory predicts a nonlinear response of the vacuum to strong electromagnetic fields of macroscopic extent. This fundamental tenet has remained experimentally challenging and is yet to be tested in the laboratory. A particularly distinct signature of the resulting optical activity of the quantum vacuum is vacuum birefringence. This offers an excellent opportunity for a precision test of nonlinear quantum electrodynamics in an uncharted parameter regime. Recently, the operation of the high-intensity laser ReLaX provided by the Helmholtz International Beamline for Extreme Fields (HIBEF) has been inaugurated at the High Energy Density (HED) scientific instrument of the European XFEL. We make the case that this worldwide unique combination of an x-ray free-electron laser and an ultra-intense near-infrared laser together with recent advances in high-precision x-ray polarimetry, refinements of prospective discovery scenarios, and progress in their accurate theoretical modelling have set the stage for performing an actual discovery experiment of quantum vacuum nonlinearity. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 34 pages, 21 figures

On Separating Path and Tree Systems in Graphs

Authors: Ahmad Biniaz, Prosenjit Bose, Jean-Lou De Carufel, Anil Maheshwari, Babak Miraftab, Saeed Odak, Michiel Smid, Shakhar Smorodinsky, Yelena Yuditsky

Abstract: We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the ele… ▽ More We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the elements of the separating system are paths (trees) in the graph $G$. In this paper, we focus on the size of the smallest vertex-separating path (tree) system for different types of graphs, including trees, grids, and maximal outerplanar graphs. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 23 page, 3 figures

Extended X-ray absorption spectroscopy using an ultrashort pulse laboratory-scale laser-plasma accelerator

Authors: B. Kettle, C. Colgan, E. Los, E. Gerstmayr, M. J. V. Streeter, F. Albert, S. Astbury, R. A. Baggott, N. Cavanagh, K. Falk, T. I. Hyde, O. Lundh, P. P. Rajeev, D. Riley, S. J. Rose, G. Sarri, C. Spindloe, K. Svendsen, D. R. Symes, M. Smid, A. G. R. Thomas, C. Thornton, R. Watt, S. P. D. Mangles

Abstract: Laser-driven compact particle accelerators can provide ultrashort pulses of broadband X-rays, well suited for undertaking X-ray absorption spectroscopy measurements on a femtosecond timescale. Here the Extended X-ray Absorption Fine Structure (EXAFS) features of the K-edge of a copper sample have been observed over a 250 eV window in a single shot using a laser wakefield accelerator, providing inf… ▽ More Laser-driven compact particle accelerators can provide ultrashort pulses of broadband X-rays, well suited for undertaking X-ray absorption spectroscopy measurements on a femtosecond timescale. Here the Extended X-ray Absorption Fine Structure (EXAFS) features of the K-edge of a copper sample have been observed over a 250 eV window in a single shot using a laser wakefield accelerator, providing information on both the electronic and ionic structure simultaneously. This unique capability will allow the investigation of ultrafast processes, and in particular, probing high-energy-density matter and physics far-from-equilibrium where the sample refresh rate is slow and shot number is limited. For example, states that replicate the tremendous pressures and temperatures of planetary bodies or the conditions inside nuclear fusion reactions. Using high-power lasers to pump these samples also has the advantage of being inherently synchronised to the laser-driven X-ray probe. A perspective on the additional strengths of a laboratory-based ultrafast X-ray absorption source is presented. △ Less

Submitted 1 July, 2024; v1 submitted 17 May, 2023; originally announced May 2023.

Visualizing Plasmons and Ultrafast Kinetic Instabilities in Laser-Driven Solids using X-ray Scattering

Authors: Paweł Ordyna, Carsten Bähtz, Erik Brambrink, Michael Bussmann, Alejandro Laso Garcia, Marco Garten, Lennart Gaus, Jörg Grenzer, Christian Gutt, Hauke Höppner, Lingen Huang, Oliver Humphries, Brian Edward Marré, Josefine Metzkes-Ng, Motoaki Nakatsutsumi, Özgül Öztürk, Xiayun Pan, Franziska Paschke-Brühl, Alexander Pelka, Irene Prencipe, Lisa Randolph, Hans-Peter Schlenvoigt, Michal Šmíd, Radka Stefanikova, Erik Thiessenhusen , et al. (5 additional authors not shown)

Abstract: Ultra-intense lasers that ionize and accelerate electrons in solids to near the speed of light can lead to kinetic instabilities that alter the laser absorption and subsequent electron transport, isochoric heating, and ion acceleration. These instabilities can be difficult to characterize, but a novel approach using X-ray scattering at keV energies allows for their visualization with femtosecond t… ▽ More Ultra-intense lasers that ionize and accelerate electrons in solids to near the speed of light can lead to kinetic instabilities that alter the laser absorption and subsequent electron transport, isochoric heating, and ion acceleration. These instabilities can be difficult to characterize, but a novel approach using X-ray scattering at keV energies allows for their visualization with femtosecond temporal resolution on the few nanometer mesoscale. Our experiments on laser-driven flat silicon membranes show the development of structure with a dominant scale of $~60\unit{nm}$ in the plane of the laser axis and laser polarization, and $~95\unit{nm}$ in the vertical direction with a growth rate faster than $0.1/\mathrm{fs}$. Combining the XFEL experiments with simulations provides a complete picture of the structural evolution of ultra-fast laser-induced instability development, indicating the excitation of surface plasmons and the growth of a new type of filamentation instability. These findings provide new insight into the ultra-fast instability processes in solids under extreme conditions at the nanometer level with important implications for inertial confinement fusion and laboratory astrophysics. △ Less

Submitted 22 January, 2024; v1 submitted 21 April, 2023; originally announced April 2023.

Online Learning and Control for Data-Augmented Quadrotor Model

Authors: Matej Smid, **drich Dunik

Abstract: The ability to adapt to changing conditions is a key feature of a successful autonomous system. In this work, we use the Recursive Gaussian Processes (RGP) for identification of the quadrotor air drag model online, without the need of training data. The identified drag model then augments a physics-based model of the quadrotor dynamics, which allows more accurate quadrotor state prediction with in… ▽ More The ability to adapt to changing conditions is a key feature of a successful autonomous system. In this work, we use the Recursive Gaussian Processes (RGP) for identification of the quadrotor air drag model online, without the need of training data. The identified drag model then augments a physics-based model of the quadrotor dynamics, which allows more accurate quadrotor state prediction with increased ability to adapt to changing conditions. This data-augmented physics-based model is utilized for precise quadrotor trajectory tracking using the suitably modified Model Predictive Control (MPC) algorithm. The proposed modelling and control approach is evaluated using the Gazebo simulator and it is shown that the proposed approach tracks a desired trajectory with a higher accuracy compared to the MPC with the non-augmented (purely physics-based) model. △ Less

Submitted 2 April, 2023; originally announced April 2023.

Comments: 8 pages, 6 figures

Detection schemes for quantum vacuum diffraction and birefringence

Authors: N. Ahmadiniaz, T. E. Cowan, J. Grenzer, S. Franchino-Viñas, A. Laso Garcia, M. Šmíd, T. Toncian, M. A. Trejo, R. Schützhold

Abstract: Motivated by recent experimental initiatives, such as at the Helmholtz International Beamline for Extreme Fields (HIBEF) at the European X-ray Free Electron Laser (XFEL), we calculate the birefringent scattering of x-rays at the combined field of two optical (or near-optical) lasers and compare various scenarios. In order to facilitate an experimental detection of quantum vacuum diffraction and bi… ▽ More Motivated by recent experimental initiatives, such as at the Helmholtz International Beamline for Extreme Fields (HIBEF) at the European X-ray Free Electron Laser (XFEL), we calculate the birefringent scattering of x-rays at the combined field of two optical (or near-optical) lasers and compare various scenarios. In order to facilitate an experimental detection of quantum vacuum diffraction and birefringence, special emphasis is placed on scenarios where the difference between the initial and final x-ray photons is maximized. Apart from their polarization, these signal and background photons may differ in propagation direction (corresponding to scattering angles in the mrad regime) and possibly energy. △ Less

Submitted 20 March, 2023; v1 submitted 28 August, 2022; originally announced August 2022.

Comments: 7 pages, 1 figure

Contractivity of Bellman Operator in Risk Averse Dynamic Programming with Infinite Horizon

Authors: Martin Šmíd, Miloš Kopa

Abstract: The paper deals with a risk averse dynamic programming problem with infinite horizon. First, the required assumptions are formulated to have the problem well defined. Then the Bellman equation is derived, which may be also seen as a standalone reinforcement learning problem. The fact that the Bellman operator is contraction is proved, guaranteeing convergence of various solution algorithms used fo… ▽ More The paper deals with a risk averse dynamic programming problem with infinite horizon. First, the required assumptions are formulated to have the problem well defined. Then the Bellman equation is derived, which may be also seen as a standalone reinforcement learning problem. The fact that the Bellman operator is contraction is proved, guaranteeing convergence of various solution algorithms used for dynamic programming as well as reinforcement learning problems, which we demonstrate on the value iteration algorithm. △ Less

Submitted 3 August, 2022; originally announced August 2022.

Approximating bottleneck spanning trees on partitioned tuples of points

Authors: Ahmad Biniaz, Anil Maheshwari, Michiel Smid

Abstract: We present approximation algorithms for the following NP-hard optimization problems related to bottleneck spanning trees in metric spaces. 1. The disjoint bottleneck spanning tree problem: Given $n$ pairs of points in a metric space, find two disjoint trees each containing exactly one point from each pair and minimize the largest edge length (over all edges of both trees). It is known that appro… ▽ More We present approximation algorithms for the following NP-hard optimization problems related to bottleneck spanning trees in metric spaces. 1. The disjoint bottleneck spanning tree problem: Given $n$ pairs of points in a metric space, find two disjoint trees each containing exactly one point from each pair and minimize the largest edge length (over all edges of both trees). It is known that approximating this problem by a factor better than 2 is NP-hard. We present a 4-approximation algorithm for this problem. This improves upon the previous best known approximation ratio of $9$. Our algorithm extends to a $(3k-2)$-approximation for a more general case where points are partitioned into $k$-tuples and we seek $k$ disjoint trees. 2. The generalized bottleneck spanning tree problem: Given $n$ points in some metric space that are partitioned into clusters of size at most 2, find a tree that contains exactly one point from each cluster and minimizes the largest edge length. We show that it is NP-hard to approximate this problem by a factor better than 2, and present a 3-approximation algorithm. 3. The partitioned bottleneck spanning tree problem: Given $kn$ points in some metric space, find $k$ trees each containing exactly $n$ points and minimize the largest edge length (over all edges of the $k$ trees). We show that it is NP-hard to approximate this problem by a factor better than 2 for any $k\ge 2$. We present an $α$-approximation algorithm for this problem where $α=2$ for $k=2,3$ and $α=3$ for $k\ge 4$. Towards obtaining these approximation ratios we present tight upper bounds on the edge lengths of $k$ equal-size disjoint trees that can be obtained from the nodes of a given tree. This result is of independent interest. Our hardness proofs imply that it is NP-hard to approximate the non-metric version of the above problems within any constant factor. △ Less

Submitted 10 November, 2021; originally announced November 2021.

Shortest Beer Path Queries in Outerplanar Graphs

Authors: Joyce Bacic, Saeed Mehrabi, Michiel Smid

Abstract: A \emph{beer graph} is an undirected graph $G$, in which each edge has a positive weight and some vertices have a beer store. A \emph{beer path} between two vertices $u$ and $v$ in $G$ is any path in $G$ between $u$ and $v$ that visits at least one beer store. We show that any outerplanar beer graph $G$ with $n$ vertices can be preprocessed in $O(n)$ time into a data structure of size $O(n)$, su… ▽ More A \emph{beer graph} is an undirected graph $G$, in which each edge has a positive weight and some vertices have a beer store. A \emph{beer path} between two vertices $u$ and $v$ in $G$ is any path in $G$ between $u$ and $v$ that visits at least one beer store. We show that any outerplanar beer graph $G$ with $n$ vertices can be preprocessed in $O(n)$ time into a data structure of size $O(n)$, such that for any two query vertices $u$ and $v$, (i) the weight of the shortest beer path between $u$ and $v$ can be reported in $O(α(n))$ time (where $α(n)$ is the inverse Ackermann function), and (ii) the shortest beer path between $u$ and $v$ can be reported in $O(L)$ time, where $L$ is the number of vertices on this path. Both results are optimal, even when $G$ is a beer tree (i.e., a beer graph whose underlying graph is a tree). △ Less

Submitted 29 October, 2021; originally announced October 2021.

Comments: ISAAC 2021

Exact and Approximation Algorithms for Many-To-Many Point Matching in the Plane

Authors: Sayan Bandyapadhyay, Anil Maheshwari, Michiel Smid

Abstract: Given two sets $S$ and $T$ of points in the plane, of total size $n$, a {many-to-many} matching between $S$ and $T$ is a set of pairs $(p,q)$ such that $p\in S$, $q\in T$ and for each $r\in S\cup T$, $r$ appears in at least one such pair. The {cost of a pair} $(p,q)$ is the (Euclidean) distance between $p$ and $q$. In the {minimum-cost many-to-many matching} problem, the goal is to compute a many-… ▽ More Given two sets $S$ and $T$ of points in the plane, of total size $n$, a {many-to-many} matching between $S$ and $T$ is a set of pairs $(p,q)$ such that $p\in S$, $q\in T$ and for each $r\in S\cup T$, $r$ appears in at least one such pair. The {cost of a pair} $(p,q)$ is the (Euclidean) distance between $p$ and $q$. In the {minimum-cost many-to-many matching} problem, the goal is to compute a many-to-many matching such that the sum of the costs of the pairs is minimized. This problem is a restricted version of minimum-weight edge cover in a bipartite graph, and hence can be solved in $O(n^3)$ time. In a more restricted setting where all the points are on a line, the problem can be solved in $O(n\log n)$ time [Colannino, Damian, Hurtado, Langerman, Meijer, Ramaswami, Souvaine, Toussaint; Graphs Comb., 2007]. However, no progress has been made in the general planar case in improving the cubic time bound. In this paper, we obtain an $O(n^2\cdot poly(\log n))$ time exact algorithm and an $O( n^{3/2}\cdot poly(\log n))$ time $(1+ε)$-approximation in the planar case. Our results affirmatively address an open problem posed in [Colannino et al., Graphs Comb., 2007]. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: Accepted at ISAAC 2021

Observation and modelling of Stimulated Raman Scattering driven by an optically smoothed laser beam in experimental conditions relevant for Shock Ignition

Authors: G. Cristoforetti, S. Huller, P. Koester, L. Antonelli, S. Atzeni, F. Baffigi, D. Batani, C. Baird, N. Booth, M. Galimberti, K. Glize, A. Heron, M. Khan, P. Loiseau, D. Mancelli, M. Notley, P. Oliveira, O. Renner, M. Smid, A. Schiavi, G. Tran, N. C. Woolsey, L. A. Gizzi

Abstract: We report results and modelling of an experiment performed at the TAW Vulcan laser facility, aimed at investigating laser-plasma interaction in conditions which are of interest for the Shock Ignition scheme to Inertial Confinement Fusion, i.e. laser intensity higher than 10^16 W/cm2 im**ing on a hot (T > 1 keV), inhomogeneous and long scalelength preformed plasma. Measurements show a significant… ▽ More We report results and modelling of an experiment performed at the TAW Vulcan laser facility, aimed at investigating laser-plasma interaction in conditions which are of interest for the Shock Ignition scheme to Inertial Confinement Fusion, i.e. laser intensity higher than 10^16 W/cm2 im**ing on a hot (T > 1 keV), inhomogeneous and long scalelength preformed plasma. Measurements show a significant SRS backscattering (4 - 20% of laser energy) driven at low plasma densities and no signatures of TPD/SRS driven at the quarter critical density region. Results are satisfactorily reproduced by an analytical model accounting for the convective SRS growth in independent laser speckles, in conditions where the reflectivity is dominated by the contribution from the most intense speckles, where SRS gets saturated. Analytical and kinetic simulations well reproduce the onset of SRS at low plasma densities in a regime strongly affected by non linear Landau dam** and by filamentation of the most intense laser speckles. The absence of TPD/SRS at higher densities is explained by pump depletion and plasma smoothing driven by filamentation. The prevalence of laser coupling in the low density profile justifies the low temperature measured for hot electrons (7 - 12 keV), well reproduced by numerical simulations. △ Less

Submitted 30 August, 2021; originally announced August 2021.

Two-Pulse Direct Laser Acceleration in a Laser-Driven Plasma Accelerator

Authors: B. Bowers, M. LaBerge, A. Koehler, J. Couperus Cabadağ, Y. -Y. Chang, P. Ufer, M. Šmíd, A. Irman, T. Wang, A. Bernstein, G. Shvets, U. Schramm, M. Downer

Abstract: We present methods and preliminary observations of two pulse Direct Laser Acceleration in a Laser-Driven Plasma Accelerator. This acceleration mechanism uses a second co-propagating laser pulse to overlap and further accelerate electrons in a wakefield bubble, increasing energy at the cost of emittance when compared to traditional laser wakefield acceleration (LWFA). To this end, we introduce a me… ▽ More We present methods and preliminary observations of two pulse Direct Laser Acceleration in a Laser-Driven Plasma Accelerator. This acceleration mechanism uses a second co-propagating laser pulse to overlap and further accelerate electrons in a wakefield bubble, increasing energy at the cost of emittance when compared to traditional laser wakefield acceleration (LWFA). To this end, we introduce a method of femtosecond scale control of time delay between two co-propagating pulses. We show energy enhancement when the separation between the two pulses approaches the bubble radius. △ Less

Submitted 30 June, 2021; originally announced July 2021.

Comments: Proceedings of the Advanced Accelerator Concepts Seminar Series 2020

Semiparametric Sensitivity Analysis: Unmeasured Confounding In Observational Studies

Authors: Daniel O. Scharfstein, Razieh Nabi, Edward H. Kennedy, Ming-Yueh Huang, Matteo Bonvini, Marcela Smid

Abstract: Establishing cause-effect relationships from observational data often relies on untestable assumptions. It is crucial to know whether, and to what extent, the conclusions drawn from non-experimental studies are robust to potential unmeasured confounding. In this paper, we focus on the average causal effect (ACE) as our target of inference. We generalize the sensitivity analysis approach developed… ▽ More Establishing cause-effect relationships from observational data often relies on untestable assumptions. It is crucial to know whether, and to what extent, the conclusions drawn from non-experimental studies are robust to potential unmeasured confounding. In this paper, we focus on the average causal effect (ACE) as our target of inference. We generalize the sensitivity analysis approach developed by Robins et al. (2000), Franks et al. (2020) and Zhou and Yao (2023. We use semiparametric theory to derive the non-parametric efficient influence function of the ACE, for fixed sensitivity parameters. We use this influence function to construct a one-step bias-corrected estimator of the ACE. Our estimator depends on semiparametric models for the distribution of the observed data; importantly, these models do not impose any restrictions on the values of sensitivity analysis parameters. We establish sufficient conditions ensuring that our estimator has root-n asymptotics. We use our methodology to evaluate the causal effect of smoking during pregnancy on birth weight. We also evaluate the performance of estimation procedure in a simulation study. △ Less

Submitted 3 November, 2023; v1 submitted 16 April, 2021; originally announced April 2021.

Probing ultrafast laser plasma processes inside solids with resonant small-angle X-ray scattering

Authors: Lennart Gaus, Lothar Bischoff, Michael Bussmann, Eric Cunningham, Chandra B. Curry, Eric Galtier, Maxence Gauthier, Alejandro Laso García, Marco Garten, Siegfried Glenzer, Jörg Grenzer, Christian Gutt, Nicholas J. Hartley, Lingen Huang, Uwe Hübner, Dominik Kraus, Hae Ja Lee, Emma E. McBride, Josefine Metzkes-Ng, Bob Nagler, Motoaki Nakatsutsumi, Jan Nikl, Masato Ota, Alexander Pelka, Irene Prencipe , et al. (11 additional authors not shown)

Abstract: Extreme states of matter exist throughout the universe e.g. inside planetary cores, stars or astrophysical jets. Such conditions are generated in the laboratory in the interaction of powerful lasers with solids, and their evolution can be probed with femtosecond precision using ultra-short X-ray pulses to study laboratory astrophysics, laser-fusion research or compact particle acceleration. X-ray… ▽ More Extreme states of matter exist throughout the universe e.g. inside planetary cores, stars or astrophysical jets. Such conditions are generated in the laboratory in the interaction of powerful lasers with solids, and their evolution can be probed with femtosecond precision using ultra-short X-ray pulses to study laboratory astrophysics, laser-fusion research or compact particle acceleration. X-ray scattering (SAXS) patterns and their asymmetries occurring at X-ray energies of atomic bound-bound transitions contain information on the volumetric nanoscopic distribution of density, ionization and temperature. Buried heavy ion structures in high intensity laser irradiated solids expand on the nanometer scale following heat diffusion, and are heated to more than 2 million Kelvin. These experiments demonstrate resonant SAXS with the aim to better characterize dynamic processes in extreme laboratory plasmas. △ Less

Submitted 14 December, 2020; originally announced December 2020.

An Instance-Based Algorithm for Deciding the Bias of a Coin

Authors: Luís Fernando Schultz Xavier da Silveira, Michiel Smid

Abstract: Let $q \in (0,1)$ and $δ\in (0,1)$ be real numbers, and let $C$ be a coin that comes up heads with an unknown probability $p$, such that $p \neq q$. We present an algorithm that, on input $C$, $q$, and $δ$, decides, with probability at least $1-δ$, whether $p<q$ or $p>q$. The expected number of coin flips made by this algorithm is… ▽ More Let $q \in (0,1)$ and $δ\in (0,1)$ be real numbers, and let $C$ be a coin that comes up heads with an unknown probability $p$, such that $p \neq q$. We present an algorithm that, on input $C$, $q$, and $δ$, decides, with probability at least $1-δ$, whether $p<q$ or $p>q$. The expected number of coin flips made by this algorithm is $O \left( \frac{\log\log(1/\varepsilon) + \log(1/δ)}{\varepsilon^2} \right)$, where $\varepsilon = |p-q|$. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Characterisation of Laser Wakefield Acceleration Efficiency with Octave Spanning Near-IR Spectrum Measurements

Authors: M. J. V. Streeter, Y. Ma, B. Kettle, S. J. D. Dann, E. Gerstmayr, F. Albert, N. Bourgeois, S. Cipiccia, J. M. Cole, I. Gallardo González, A. E. Hussein, D. A. Jaroszynski, K. Falk, K. Krushelnick, N. Lemos, N. C. Lopes, C. Lumsdon, O. Lundh, S. P. D. Mangles, Z. Najmudin, P. P. Rajeev, R. Sandberg, M. Shahzad, M. Smid, R. Spesyvtsev , et al. (3 additional authors not shown)

Abstract: We report on experimental measurements of energy transfer efficiencies in a GeV-class laser wakefield accelerator. Both the transfer of energy from the laser to the plasma wakefield, and from the plasma to the accelerated electron beam were diagnosed by simultaneous measurement of the deceleration of laser photons and the acceleration of electrons as a function of plasma length. The extraction eff… ▽ More We report on experimental measurements of energy transfer efficiencies in a GeV-class laser wakefield accelerator. Both the transfer of energy from the laser to the plasma wakefield, and from the plasma to the accelerated electron beam were diagnosed by simultaneous measurement of the deceleration of laser photons and the acceleration of electrons as a function of plasma length. The extraction efficiency, which we define as the ratio of the energy gained by the electron beam to the energy lost by the self-guided laser mode, was maximised at $19\pm3$\% by tuning of the plasma density and length. The additional information provided by the octave-spanning laser spectrum measurement allows for independent optimisation of the plasma efficiency terms, which is required for the key goal of improving the overall efficiency of laser wakefield accelerators. △ Less

Submitted 20 December, 2022; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: 7 pages, 5 figures plus supplementary materials

Journal ref: Phys. Rev. Accel. Beams 25, 101302 2022

Closest-Pair Queries and Minimum-Weight Queries are Equivalent for Squares

Authors: Abrar Kazi, Michiel Smid

Abstract: Let $S$ be a set of $n$ weighted points in the plane and let $R$ be a query range in the plane. In the range closest pair problem, we want to report the closest pair in the set $R \cap S$. In the range minimum weight problem, we want to report the minimum weight of any point in the set $R \cap S$. We show that these two query problems are equivalent for query ranges that are squares, for data stru… ▽ More Let $S$ be a set of $n$ weighted points in the plane and let $R$ be a query range in the plane. In the range closest pair problem, we want to report the closest pair in the set $R \cap S$. In the range minimum weight problem, we want to report the minimum weight of any point in the set $R \cap S$. We show that these two query problems are equivalent for query ranges that are squares, for data structures having $Ω(\log n)$ query times. As a result, we obtain new data structures for range closest pair queries with squares. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Tight Bounds on the Clique Chromatic Number

Authors: Gwenaël Joret, Piotr Micek, Bruce Reed, Michiel Smid

Abstract: The clique chromatic number of a graph is the minimum number of colours needed to colour its vertices so that no inclusion-wise maximal clique which is not an isolated vertex is monochromatic. We show that every graph of maximum degree $Δ$ has clique chromatic number $O\left(\fracΔ{\log~Δ}\right)$. We obtain as a corollary that every $n$-vertex graph has clique chromatic number… ▽ More The clique chromatic number of a graph is the minimum number of colours needed to colour its vertices so that no inclusion-wise maximal clique which is not an isolated vertex is monochromatic. We show that every graph of maximum degree $Δ$ has clique chromatic number $O\left(\fracΔ{\log~Δ}\right)$. We obtain as a corollary that every $n$-vertex graph has clique chromatic number $O\left(\sqrt{\frac{n}{\log ~n}}\right)$. Both these results are tight. △ Less

Submitted 25 August, 2021; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: v2: revised following referees' comments

Journal ref: Electronic Journal of Combinatorics, 28/3:P3.51, 2021

Laboratory evidence for asymmetric accretion structure upon slanted matter impact in young stars

Authors: K. Burdonov, G. Revet, R. Bonito, C. Argiroffi, J. Beard, S. Bolanos, M. Cerchez, S. N. Chen, A. Ciardi, G. Espinosa, E. Fillipov, S. Pikuz, R. Rodriguez, M. Smid, M. Starodubtsev, O. Willi, S. Orlando, J. Fuchs

Abstract: Investigating in the laboratory the process of matter accretion onto forming stars through scaled experiments is important in order to better understand star and planetary systems formation and evolution. Such experiments can indeed complement observations by providing access to the processes with spatial and temporal resolution. A first step has been made in [G. Revet et al., Science Advances 3,… ▽ More Investigating in the laboratory the process of matter accretion onto forming stars through scaled experiments is important in order to better understand star and planetary systems formation and evolution. Such experiments can indeed complement observations by providing access to the processes with spatial and temporal resolution. A first step has been made in [G. Revet et al., Science Advances 3, e1700982 (2017), arXiv:1708.02528]. in allowing such investigations. It revealed the existence of a two components stream: a hot shell surrounding a cooler inner stream. The shell was formed by matter laterally ejected upon impact and refocused by the local magnetic field. That laboratory investigation was limited tonormal incidence impacts. However, in young stellar objects, complex structure of magnetic fields causes variability of the incidentangles of the accretion columns. This led us to undertake an investigation, using laboratory plasmas, of the consequence of having a slanted accretion impacting a young star. Here we use high power laser interactions and strong magnetic field generation in the laboratory, complemented by numerical simulations, to study the asymmetry induced upon accretion structures when columns of matter impact the surface of young stars with an oblique angle. Compared to the scenario where matter accretes normal to the star surface, we observe strongly asymmetric plasma structure, strong lateral ejecta of matter, poor confinement of the accreted material and reduced heating compared to the normal incidence case. Thus, slanted accretion is a configuration that seems to be capable of inducing perturbations of the chromosphere and hence possibly influence the level of activity of the corona. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Journal ref: A&A 642, A38 (2020)

A Simple Randomized $O(n \log n)$--Time Closest-Pair Algorithm in Doubling Metrics

Authors: Anil Maheshwari, Wolfgang Mulzer, Michiel Smid

Abstract: Consider a metric space $(P,dist)$ with $N$ points whose doubling dimension is a constant. We present a simple, randomized, and recursive algorithm that computes, in $O(N \log N)$ expected time, the closest-pair distance in $P$. To generate recursive calls, we use previous results of Har-Peled and Mendel, and Abam and Har-Peled for computing a sparse annulus that separates the points in a balanced… ▽ More Consider a metric space $(P,dist)$ with $N$ points whose doubling dimension is a constant. We present a simple, randomized, and recursive algorithm that computes, in $O(N \log N)$ expected time, the closest-pair distance in $P$. To generate recursive calls, we use previous results of Har-Peled and Mendel, and Abam and Har-Peled for computing a sparse annulus that separates the points in a balanced way. △ Less

Submitted 13 April, 2020; originally announced April 2020.

Journal ref: Journal of Computational Geometry (JoCG), 11(1), 2020, pp. 507-524

Single-shot multi-keV X-ray absorption spectroscopy using an ultrashort laser wakefield accelerator source

Authors: B. Kettle, E. Gerstmayr, M. J. V. Streeter, F. Albert, R. A. Baggott, N. Bourgeois, J. M. Cole, S. Dann, K. Falk, I. Gallardo González, A. E. Hussein, N. Lemos, N. C. Lopes, O. Lundh, Y. Ma, S. J. Rose, C. Spindloe, D. R. Symes, M. Šmíd, A. G. R. Thomas, R. Watt, S. P. D. Mangles

Abstract: Single-shot absorption measurements have been performed using the multi-keV X-rays generated by a laser wakefield accelerator. A 200 TW laser was used to drive a laser wakefield accelerator in a mode which produced broadband electron beams with a maximum energy above 1 GeV and a broad divergence of $\approx15$ miliradians FWHM. Betatron oscillations of these electrons generated… ▽ More Single-shot absorption measurements have been performed using the multi-keV X-rays generated by a laser wakefield accelerator. A 200 TW laser was used to drive a laser wakefield accelerator in a mode which produced broadband electron beams with a maximum energy above 1 GeV and a broad divergence of $\approx15$ miliradians FWHM. Betatron oscillations of these electrons generated $1.2\pm0.2\times10^6$ photons/eV in the 5 keV region, with a signal-to-noise ratio of approximately 300:1. This was sufficient to allow high-resolution XANES measurements at the K-edge of a titanium sample in a single shot. We demonstrate that this source is capable of single-shot, simultaneous measurements of both the electron and ion distributions in matter heated to eV temperatures by comparison with DFT simulations. The unique combination of a high-flux, large bandwidth, few femtosecond duration X-ray pulse synchronised to a high-power laser will enable key advances in the study of ultra-fast energetic processes such as electron-ion equilibration. △ Less

Submitted 5 December, 2019; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 6 pages and 4 figures in main text, 3 pages and 4 figures in supplementary material

Journal ref: Phys. Rev. Lett. 123, 254801 (2019)

Orthogonal Range Reporting and Rectangle Stabbing for Fat Rectangles

Authors: Timothy M. Chan, Yakov Nekrich, Michiel Smid

Abstract: In this paper we study two geometric data structure problems in the special case when input objects or queries are fat rectangles. We show that in this case a significant improvement compared to the general case can be achieved. We describe data structures that answer two- and three-dimensional orthogonal range reporting queries in the case when the query range is a \emph{fat} rectangle. Our two… ▽ More In this paper we study two geometric data structure problems in the special case when input objects or queries are fat rectangles. We show that in this case a significant improvement compared to the general case can be achieved. We describe data structures that answer two- and three-dimensional orthogonal range reporting queries in the case when the query range is a \emph{fat} rectangle. Our two-dimensional data structure uses $O(n)$ words and supports queries in $O(\log\log U +k)$ time, where $n$ is the number of points in the data structure, $U$ is the size of the universe and $k$ is the number of points in the query range. Our three-dimensional data structure needs $O(n\log^{\varepsilon}U)$ words of space and answers queries in $O(\log \log U + k)$ time. We also consider the rectangle stabbing problem on a set of three-dimensional fat rectangles. Our data structure uses $O(n)$ space and answers stabbing queries in $O(\log U\log\log U +k)$ time. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: extended version of a WADS'19 paper

Flip Distance to some Plane Configurations

Authors: Ahmad Biniaz, Anil Maheshwari, Michiel Smid

Abstract: We study an old geometric optimization problem in the plane. Given a perfect matching $M$ on a set of $n$ points in the plane, we can transform it to a non-crossing perfect matching by a finite sequence of flip operations. The flip operation removes two crossing edges from $M$ and adds two non-crossing edges. Let $f(M)$ and $F(M)$ denote the minimum and maximum lengths of a flip sequence on $M$, r… ▽ More We study an old geometric optimization problem in the plane. Given a perfect matching $M$ on a set of $n$ points in the plane, we can transform it to a non-crossing perfect matching by a finite sequence of flip operations. The flip operation removes two crossing edges from $M$ and adds two non-crossing edges. Let $f(M)$ and $F(M)$ denote the minimum and maximum lengths of a flip sequence on $M$, respectively. It has been proved by Bonnet and Miltzow (2016) that $f(M)=O(n^2)$ and by van Leeuwen and Schoone (1980) that $F(M)=O(n^3)$. We prove that $f(M)=O(nΔ)$ where $Δ$ is the spread of the point set, which is defined as the ratio between the longest and the shortest pairwise distances. This improves the previous bound if the point set has sublinear spread. For a matching $M$ on $n$ points in convex position we prove that $f(M)=n/2-1$ and $F(M)={{n/2} \choose 2}$; these bounds are tight. Any bound on $F(\cdot)$ carries over to the bichromatic setting, while this is not necessarily true for $f(\cdot)$. Let $M'$ be a bichromatic matching. The best known upper bound for $f(M')$ is the same as for $F(M')$, which is essentially $O(n^3)$. We prove that $f(M')\le n-2$ for points in convex position, and $f(M')= O(n^2)$ for semi-collinear points. The flip operation can also be defined on spanning trees. For a spanning tree $T$ on a convex point set we show that $f(T)=O(n\log n)$. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Comments: 15 pages, a preliminary version appeared in SWAT 2018

Computing Maximum Independent Set on Outerstring Graphs and Their Relatives

Authors: Prosenjit Bose, Paz Carmi, J. Mark Keil, Anil Maheshwari, Saeed Mehrabi, Debajyoti Mondal, Michiel Smid

Abstract: A graph $G$ with $n$ vertices is called an outerstring graph if it has an intersection representation of a set of $n$ curves inside a disk such that one endpoint of every curve is attached to the boundary of the disk. Given an outerstring graph representation, the Maximum Independent Set (MIS) problem of the underlying graph can be computed in $O(s^3)$ time, where $s$ is the number of segments in… ▽ More A graph $G$ with $n$ vertices is called an outerstring graph if it has an intersection representation of a set of $n$ curves inside a disk such that one endpoint of every curve is attached to the boundary of the disk. Given an outerstring graph representation, the Maximum Independent Set (MIS) problem of the underlying graph can be computed in $O(s^3)$ time, where $s$ is the number of segments in the representation (Keil et al., Comput. Geom., 60:19--25, 2017). If the strings are of constant size (e.g., line segments, L-shapes, etc.), then the algorithm takes $O(n^3)$ time. In this paper, we examine the fine-grained complexity of the MIS problem on some well-known outerstring representations. We show that solving the MIS problem on grounded segment and grounded square-L representations is at least as hard as solving MIS on circle graph representations. Note that no $O(n^{2-δ})$-time algorithm, $δ>0$, is known for the MIS problem on circle graphs. For the grounded string representations where the strings are $y$-monotone simple polygonal paths of constant length with segments at integral coordinates, we solve MIS in $O(n^2)$ time and show this to be the best possible under the strong exponential time hypothesis (SETH). For the intersection graph of $n$ L-shapes in the plane, we give a $(4\cdot \log OPT)$-approximation algorithm for MIS (where $OPT$ denotes the size of an optimal solution), improving the previously best-known $(4\cdot \log n)$-approximation algorithm of Biedl and Derka (WADS 2017). △ Less

Submitted 1 August, 2021; v1 submitted 17 March, 2019; originally announced March 2019.

Comments: A preliminary version of this paper appeared in the 16th International Symposium on Algorithms and Data Structures (WADS 2019)

MSC Class: 68Q25; 65D18 ACM Class: I.3.5

Rolling Shutter Camera Synchronization with Sub-millisecond Accuracy

Authors: Matej Smid, Jiri Matas

Abstract: A simple method for synchronization of video streams with a precision better than one millisecond is proposed. The method is applicable to any number of rolling shutter cameras and when a few photographic flashes or other abrupt lighting changes are present in the video. The approach exploits the rolling shutter sensor property that every sensor row starts its exposure with a small delay after the… ▽ More A simple method for synchronization of video streams with a precision better than one millisecond is proposed. The method is applicable to any number of rolling shutter cameras and when a few photographic flashes or other abrupt lighting changes are present in the video. The approach exploits the rolling shutter sensor property that every sensor row starts its exposure with a small delay after the onset of the previous row. The cameras may have different frame rates and resolutions, and need not have overlap** fields of view. The method was validated on five minutes of four streams from an ice hockey match. The found transformation maps events visible in all cameras to a reference time with a standard deviation of the temporal error in the range of 0.3 to 0.5 milliseconds. The quality of the synchronization is demonstrated on temporally and spatially overlap** images of a fast moving puck observed in two cameras. △ Less

Submitted 28 February, 2019; originally announced February 2019.

Comments: 8 pages, 10 figures, published at VISAPP 2017

Semi-analytical approaches to study hot electrons in the shock ignition regime

Authors: M. Afshari, L. Antonelli, F. Barbato, G. Folpini, K. Jakubowska, E. Krousky, O. Renner, M. Smid, D. Batani

Abstract: Hot electrons role in shock generation and energy deposition to hot dense core is crucial for the shock ignition scheme implying the need for their characterization at laser intensities of interest for shock ignition. In this paper we analyze the experimental results obtained at the PALS laboratory and provide an estimation of hot electrons temperature and conversion efficiency using a semi analyt… ▽ More Hot electrons role in shock generation and energy deposition to hot dense core is crucial for the shock ignition scheme implying the need for their characterization at laser intensities of interest for shock ignition. In this paper we analyze the experimental results obtained at the PALS laboratory and provide an estimation of hot electrons temperature and conversion efficiency using a semi analytical approach, including Harrach-Kidder's model. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: Has been accepted in Physics of Plasma journal

On the Minimum Consistent Subset Problem

Authors: Ahmad Biniaz, Sergio Cabello, Paz Carmi, Jean-Lou De Carufel, Anil Maheshwari, Saeed Mehrabi, Michiel Smid

Abstract: Let $P$ be a set of $n$ colored points in the plane. Introduced by Hart (1968), a consistent subset of $P$, is a set $S\subseteq P$ such that for every point $p$ in $P\setminus S$, the closest point of $p$ in $S$ has the same color as $p$. The consistent subset problem is to find a consistent subset of $P$ with minimum cardinality. This problem is known to be NP-complete even for two-colored point… ▽ More Let $P$ be a set of $n$ colored points in the plane. Introduced by Hart (1968), a consistent subset of $P$, is a set $S\subseteq P$ such that for every point $p$ in $P\setminus S$, the closest point of $p$ in $S$ has the same color as $p$. The consistent subset problem is to find a consistent subset of $P$ with minimum cardinality. This problem is known to be NP-complete even for two-colored point sets. Since the initial presentation of this problem, aside from the hardness results, there has not been a significant progress from the algorithmic point of view. In this paper we present the following algorithmic results: 1. The first subexponential-time algorithm for the consistent subset problem. 2. An $O(n\log n)$-time algorithm that finds a consistent subset of size two in two-colored point sets (if such a subset exists). Towards our proof of this running time we present a deterministic $O(n \log n)$-time algorithm for computing a variant of the compact Voronoi diagram; this improves the previously claimed expected running time. 3. An $O(n\log^2 n)$-time algorithm that finds a minimum consistent subset in two-colored point sets where one color class contains exactly one point; this improves the previous best known $O(n^2)$ running time which is due to Wilfong (SoCG 1991). 4. An $O(n)$-time algorithm for the consistent subset problem on collinear points; this improves the previous best known $O(n^2)$ running time. 5. A non-trivial $O(n^6)$-time dynamic programming algorithm for the consistent subset problem on points arranged on two parallel lines. To obtain these results, we combine tools from planar separators, additively-weighted Voronoi diagrams with respect to convex distance functions, point location in farthest-point Voronoi diagrams, range trees, paraboloid lifting, minimum covering of a circle with arcs, and several geometric transformations. △ Less

Submitted 26 November, 2018; v1 submitted 22 October, 2018; originally announced October 2018.

Comments: 24 pages

Plane and Planarity Thresholds for Random Geometric Graphs

Authors: Ahmad Biniaz, Evangelos Kranakis, Anil Maheshwari, Michiel Smid

Abstract: A random geometric graph, $G(n,r)$, is formed by choosing $n$ points independently and uniformly at random in a unit square; two points are connected by a straight-line edge if they are at Euclidean distance at most $r$. For a given constant $k$, we show that $n^{\frac{-k}{2k-2}}$ is a distance threshold function for $G(n,r)$ to have a connected subgraph on $k$ points. Based on this, we show that… ▽ More A random geometric graph, $G(n,r)$, is formed by choosing $n$ points independently and uniformly at random in a unit square; two points are connected by a straight-line edge if they are at Euclidean distance at most $r$. For a given constant $k$, we show that $n^{\frac{-k}{2k-2}}$ is a distance threshold function for $G(n,r)$ to have a connected subgraph on $k$ points. Based on this, we show that $n^{-2/3}$ is a distance threshold for $G(n,r)$ to be plane, and $n^{-5/8}$ is a distance threshold to be planar. We also investigate distance thresholds for $G(n,r)$ to have a non-crossing edge, a clique of a given size, and an independent set of a given size. △ Less

Submitted 27 September, 2018; originally announced September 2018.

Comments: 17 pages, preliminary version appeared in ALGOSENSORS 2015

Closest-Pair Queries in Fat Rectangles

Authors: Sang Won Bae, Michiel Smid

Abstract: In the range closest pair problem, we want to construct a data structure storing a set $S$ of $n$ points in the plane, such that for any axes-parallel query rectangle $R$, the closest pair in the set $R \cap S$ can be reported. The currently best result for this problem is by Xue et al.~(SoCG 2018). Their data structure has size $O(n \log^2 n)$ and query time $O(\log^2 n)$. We show that a data str… ▽ More In the range closest pair problem, we want to construct a data structure storing a set $S$ of $n$ points in the plane, such that for any axes-parallel query rectangle $R$, the closest pair in the set $R \cap S$ can be reported. The currently best result for this problem is by Xue et al.~(SoCG 2018). Their data structure has size $O(n \log^2 n)$ and query time $O(\log^2 n)$. We show that a data structure of size $O(n \log n)$ can be constructed in $O(n \log n)$ time, such that queries can be answered in $O(\log n + f \log f)$ time, where $f$ is the aspect ratio of $R$. Thus, for fat query rectangles, the query time is $O(\log n)$. This result is obtained by reducing the range closest pair problem to standard range searching problems on the points of $S$. △ Less

Submitted 5 April, 2019; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 13 pages, revised version

On the Spanning and Routing Ratio of Directed Theta-Four

Authors: Prosenjit Bose, Jean-Lou De Carufel, Darryl Hill, Michiel Smid

Abstract: We present a routing algorithm for the directed $Θ_4$-graph, here denoted as the $\overrightarrow{Θ_4}}$-graph, that computes a path between any two vertices $s$ and $t$ having length at most $17$ times the Euclidean distance between $s$ and $t$. To compute this path, at each step, the algorithm only uses knowledge of the location of the current vertex, its (at most four) outgoing edges, the desti… ▽ More We present a routing algorithm for the directed $Θ_4$-graph, here denoted as the $\overrightarrow{Θ_4}}$-graph, that computes a path between any two vertices $s$ and $t$ having length at most $17$ times the Euclidean distance between $s$ and $t$. To compute this path, at each step, the algorithm only uses knowledge of the location of the current vertex, its (at most four) outgoing edges, the destination vertex, and one additional bit of information in order to determine the next edge to follow. This provides the first known online, local, competitive routing algorithm with constant routing ratio for the $Θ_4$-graph, as well as improving the best known upper bound on the spanning ratio of these graphs from $237$ to $17$. We also show that without this additional bit of information, the routing ratio increases to $\sqrt{290} \approx 17.03$. △ Less

Submitted 12 July, 2021; v1 submitted 3 August, 2018; originally announced August 2018.

Comments: 12 pages, 7 figures

MSC Class: 68-XX

Faster Algorithms for some Optimization Problems on Collinear Points

Authors: Ahmad Biniaz, Prosenjit Bose, Paz Carmi, Anil Maheshwari, J. Ian Munro, Michiel Smid

Abstract: We propose faster algorithms for the following three optimization problems on $n$ collinear points, i.e., points in dimension one. The first two problems are known to be NP-hard in higher dimensions. 1- Maximizing total area of disjoint disks: In this problem the goal is to maximize the total area of nonoverlap** disks centered at the points. Acharyya, De, and Nandy (2017) presented an… ▽ More We propose faster algorithms for the following three optimization problems on $n$ collinear points, i.e., points in dimension one. The first two problems are known to be NP-hard in higher dimensions. 1- Maximizing total area of disjoint disks: In this problem the goal is to maximize the total area of nonoverlap** disks centered at the points. Acharyya, De, and Nandy (2017) presented an $O(n^2)$-time algorithm for this problem. We present an optimal $Θ(n)$-time algorithm. 2- Minimizing sum of the radii of client-server coverage: The $n$ points are partitioned into two sets, namely clients and servers. The goal is to minimize the sum of the radii of disks centered at servers such that every client is in some disk, i.e., in the coverage range of some server. Lev-Tov and Peleg (2005) presented an $O(n^3)$-time algorithm for this problem. We present an $O(n^2)$-time algorithm, thereby improving the running time by a factor of $Θ(n)$. 3- Minimizing total area of point-interval coverage: The $n$ input points belong to an interval $I$. The goal is to find a set of $n$ disks of minimum total area, covering $I$, such that every disk contains at least one input point. We present an algorithm that solves this problem in $O(n^2)$ time. △ Less

Submitted 26 July, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: To appear in SoCG 2018. Full version (15 pages)

Compatible 4-Holes in Point Sets

Authors: Ahmad Biniaz, Anil Maheshwari, Michiel Smid

Abstract: Counting interior-disjoint empty convex polygons in a point set is a typical Erdős-Szekeres-type problem. We study this problem for 4-gons. Let $P$ be a set of $n$ points in the plane and in general position. A subset $Q$ of $P$, with four points, is called a $4$-hole in $P$ if $Q$ is in convex position and its convex hull does not contain any point of $P$ in its interior. Two 4-holes in $P$ are c… ▽ More Counting interior-disjoint empty convex polygons in a point set is a typical Erdős-Szekeres-type problem. We study this problem for 4-gons. Let $P$ be a set of $n$ points in the plane and in general position. A subset $Q$ of $P$, with four points, is called a $4$-hole in $P$ if $Q$ is in convex position and its convex hull does not contain any point of $P$ in its interior. Two 4-holes in $P$ are compatible if their interiors are disjoint. We show that $P$ contains at least $\lfloor 5n/11\rfloor {-} 1$ pairwise compatible 4-holes. This improves the lower bound of $2\lfloor(n-2)/5\rfloor$ which is implied by a result of Sakai and Urrutia (2007). △ Less

Submitted 26 July, 2018; v1 submitted 25 June, 2017; originally announced June 2017.

Comments: 17 pages

Optimal Art Gallery Localization is NP-hard

Authors: Prosenjit Bose, Jean-Lou De Carufel, Alina Shaikhet, Michiel Smid

Abstract: Art Gallery Localization (AGL) is the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for a point to locate itself in the interior. For any point $p \in P$: for each tower $t \in T \cap V(p)$ (where $V(p)$ denotes the visibility polygon of $p$) the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ c… ▽ More Art Gallery Localization (AGL) is the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for a point to locate itself in the interior. For any point $p \in P$: for each tower $t \in T \cap V(p)$ (where $V(p)$ denotes the visibility polygon of $p$) the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ can determine its coordinates. We study the computational complexity of AGL problem. We show that the problem of determining the minimum number of broadcast towers that can localize a point anywhere in a simple polygon $P$ is NP-hard. We show a reduction from Boolean Three Satisfiability problem to our problem and give a proof that the reduction takes polynomial time. △ Less

Submitted 29 November, 2018; v1 submitted 24 June, 2017; originally announced June 2017.

Comments: 12 pages; 13 figures; submitted to the Journal of Computational Geometry: Theory and Applications

Art Gallery Localization

Authors: Prosenjit Bose, Jean-Lou De Carufel, Alina Shaikhet, Michiel Smid

Abstract: We study the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for any point to locate itself in the interior of $P$. Let $V(p)$ denote the visibility polygon of a point $p$, as the set of all points $q \in P$ that are visible to $p$. For any point $p \in P$: for each tower $t \in T \cap V(p)$ the point $p$ receives the coordinates of $t$ and the Euclidean distance… ▽ More We study the problem of placing a set $T$ of broadcast towers in a simple polygon $P$ in order for any point to locate itself in the interior of $P$. Let $V(p)$ denote the visibility polygon of a point $p$, as the set of all points $q \in P$ that are visible to $p$. For any point $p \in P$: for each tower $t \in T \cap V(p)$ the point $p$ receives the coordinates of $t$ and the Euclidean distance between $t$ and $p$. From this information $p$ can determine its coordinates. We show a tower-positioning algorithm that computes such a set $T$ of size at most $\lfloor 2n/3\rfloor$, where $n$ is the size of $P$. This improves the previous upper bound of $\lfloor 8n/9\rfloor$ towers. We also show that $\lfloor 2n/3\rfloor$ towers are sometimes necessary. △ Less

Submitted 29 November, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 21 pages, 34 figures, submitted to the Journal of Computational Geometry: Theory and Applications

Highly efficient angularly resolving x-ray spectrometer optimized for absorption measurements with collimated sources

Authors: Michal Šmíd, Isabel Gallardo-Gonzáles, Henrik Ekerfelt, Jonas Björklund Svensson, Martin Hansson, Jonathan C. Wood, Anders Persson, Stuart P. D. Mangles, Olle Lundh, Kateřina Falk

Abstract: Highly collimated betatron radiation from a laser wakefield accelerator is a promising tool for spectroscopic measurements. Therefore there is a requirement to create spectrometers suited to the unique properties of such a source. We demonstrate a spectrometer which achieves an energy resolution of < 5 eV at 9 keV and is angularly resolving the x-ray emission allowing the reference and spectrum to… ▽ More Highly collimated betatron radiation from a laser wakefield accelerator is a promising tool for spectroscopic measurements. Therefore there is a requirement to create spectrometers suited to the unique properties of such a source. We demonstrate a spectrometer which achieves an energy resolution of < 5 eV at 9 keV and is angularly resolving the x-ray emission allowing the reference and spectrum to be recorded at the same time. The single photon analysis is used to significantly reduce the background noise. Theoretical performance of various configurations of the spectrometer is calculated by a ray-tracing algorithm. The properties and performance of the spectrometer including the angular and spectral resolution are demonstrated experimentally on absorption above the K-edge of a Cu foil backlit by laser-produced betatron radiation x-ray beam. △ Less

Submitted 20 June, 2017; originally announced June 2017.

Journal ref: Review of Scientific Instruments 88, 063102 (2017)

On the Two-View Geometry of Unsynchronized Cameras

Authors: Cenek Albl, Zuzana Kukelova, Andrew Fitzgibbon, Jan Heller, Matej Smid, Tomas Pajdla

Abstract: We present new methods for simultaneously estimating camera geometry and time shift from video sequences from multiple unsynchronized cameras. Algorithms for simultaneous computation of a fundamental matrix or a homography with unknown time shift between images are developed. Our methods use minimal correspondence sets (eight for fundamental matrix and four and a half for homography) and therefore… ▽ More We present new methods for simultaneously estimating camera geometry and time shift from video sequences from multiple unsynchronized cameras. Algorithms for simultaneous computation of a fundamental matrix or a homography with unknown time shift between images are developed. Our methods use minimal correspondence sets (eight for fundamental matrix and four and a half for homography) and therefore are suitable for robust estimation using RANSAC. Furthermore, we present an iterative algorithm that extends the applicability on sequences which are significantly unsynchronized, finding the correct time shift up to several seconds. We evaluated the methods on synthetic and wide range of real world datasets and the results show a broad applicability to the problem of camera synchronization. △ Less

Submitted 22 April, 2017; originally announced April 2017.

Comments: 12 pages, 9 figures, Computer Vision and Pattern Recognition (CVPR) 2017

Minimizing the Continuous Diameter when Augmenting a Geometric Tree with a Shortcut

Authors: Jean-Lou De Carufel, Carsten Grimm, Anil Maheshwari, Stefan Schirra, Michiel Smid

Abstract: We augment a tree $T$ with a shortcut $pq$ to minimize the largest distance between any two points along the resulting augmented tree $T+pq$. We study this problem in a continuous and geometric setting where $T$ is a geometric tree in the Euclidean plane, where a shortcut is a line segment connecting any two points along the edges of $T$, and we consider all points on $T+pq$ (i.e., vertices and po… ▽ More We augment a tree $T$ with a shortcut $pq$ to minimize the largest distance between any two points along the resulting augmented tree $T+pq$. We study this problem in a continuous and geometric setting where $T$ is a geometric tree in the Euclidean plane, where a shortcut is a line segment connecting any two points along the edges of $T$, and we consider all points on $T+pq$ (i.e., vertices and points along edges) when determining the largest distance along $T+pq$. We refer to the largest distance between any two points along edges as the continuous diameter to distinguish it from the discrete diameter, i.e., the largest distance between any two vertices. We establish that a single shortcut is sufficient to reduce the continuous diameter of a geometric tree $T$ if and only if the intersection of all diametral paths of $T$ is neither a line segment nor a single point. We determine an optimal shortcut for a geometric tree with $n$ straight-line edges in $O(n \log n)$ time. Apart from the running time, our results extend to geometric trees whose edges are rectifiable curves. The algorithm for trees generalizes our algorithm for paths. △ Less

Submitted 20 October, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: A preliminary version of this work was presented at the 15th International Symposium on Algorithms and Data Structures (WADS~2017), July 31 to August 2, 2017, St. John's, NL, Canada

MSC Class: 68U05; 05C85 ACM Class: F.2.2; G.2.2; I.3.5

Spanning Trees in Multipartite Geometric Graphs

Authors: Ahmad Biniaz, Prosenjit Bose, David Eppstein, Anil Maheshwari, Pat Morin, Michiel Smid

Abstract: Let $R$ and $B$ be two disjoint sets of points in the plane where the points of $R$ are colored red and the points of $B$ are colored blue, and let $n=|R\cup B|$. A bichromatic spanning tree is a spanning tree in the complete bipartite geometric graph with bipartition $(R,B)$. The minimum (respectively maximum) bichromatic spanning tree problem is the problem of computing a bichromatic spanning tr… ▽ More Let $R$ and $B$ be two disjoint sets of points in the plane where the points of $R$ are colored red and the points of $B$ are colored blue, and let $n=|R\cup B|$. A bichromatic spanning tree is a spanning tree in the complete bipartite geometric graph with bipartition $(R,B)$. The minimum (respectively maximum) bichromatic spanning tree problem is the problem of computing a bichromatic spanning tree of minimum (respectively maximum) total edge length. 1. We present a simple algorithm that solves the minimum bichromatic spanning tree problem in $O(n\log^3 n)$ time. This algorithm can easily be extended to solve the maximum bichromatic spanning tree problem within the same time bound. It also can easily be generalized to multicolored point sets. 2. We present $Θ(n\log n)$-time algorithms that solve the minimum and the maximum bichromatic spanning tree problems. 3. We extend the bichromatic spanning tree algorithms and solve the multicolored version of these problems in $O(n\log n\log k)$ time, where $k$ is the number of different colors (or the size of the multipartition in a complete multipartite geometric graph). △ Less

Submitted 5 November, 2016; originally announced November 2016.

Comments: 13 pages

Fast Algorithms for Diameter-Optimally Augmenting Paths and Trees

Authors: Ulrike Große, Joachim Gudmundsson, Christian Knauer, Michiel Smid, Fabian Stehn

Abstract: We consider the problem of augmenting an n-vertex graph embedded in a metric space, by inserting one additional edge in order to minimize the diameter of the resulting graph. We present exact algorithms for the cases when (i) the input graph is a path, running in O(n \log^3 n) time, and (ii) the input graph is a tree, running in O(n^2 \log n) time. We also present an algorithm that computes a (1+\… ▽ More We consider the problem of augmenting an n-vertex graph embedded in a metric space, by inserting one additional edge in order to minimize the diameter of the resulting graph. We present exact algorithms for the cases when (i) the input graph is a path, running in O(n \log^3 n) time, and (ii) the input graph is a tree, running in O(n^2 \log n) time. We also present an algorithm that computes a (1+\eps)-approximation in O(n + 1/\eps^3) time, for paths in R^d, where d is a constant. △ Less

Submitted 19 July, 2016; originally announced July 2016.

MSC Class: 68U05 ACM Class: I.3.5

Essential Constraints of Edge-Constrained Proximity Graphs

Authors: Prosenjit Bose, Jean-Lou De Carufel, Alina Shaikhet, Michiel Smid

Abstract: Given a plane forest $F = (V, E)$ of $|V| = n$ points, we find the minimum set $S \subseteq E$ of edges such that the edge-constrained minimum spanning tree over the set $V$ of vertices and the set $S$ of constraints contains $F$. We present an $O(n \log n )$-time algorithm that solves this problem. We generalize this to other proximity graphs in the constraint setting, such as the relative neighb… ▽ More Given a plane forest $F = (V, E)$ of $|V| = n$ points, we find the minimum set $S \subseteq E$ of edges such that the edge-constrained minimum spanning tree over the set $V$ of vertices and the set $S$ of constraints contains $F$. We present an $O(n \log n )$-time algorithm that solves this problem. We generalize this to other proximity graphs in the constraint setting, such as the relative neighbourhood graph, Gabriel graph, $β$-skeleton and Delaunay triangulation. We present an algorithm that identifies the minimum set $S\subseteq E$ of edges of a given plane graph $I=(V,E)$ such that $I \subseteq CG_β(V, S)$ for $1 \leq β\leq 2$, where $CG_β(V, S)$ is the constraint $β$-skeleton over the set $V$ of vertices and the set $S$ of constraints. The running time of our algorithm is $O(n)$, provided that the constrained Delaunay triangulation of $I$ is given. △ Less

Submitted 1 October, 2016; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: 24 pages, 22 figures. A preliminary version of this paper appeared in the Proceedings of 27th International Workshop, IWOCA 2016, Helsinki, Finland. It was published by Springer in the Lecture Notes in Computer Science (LNCS) series

Towards Plane Spanners of Degree 3

Authors: Ahmad Biniaz, Prosenjit Bose, Jean-Lou De Carufel, Cyril Gavoille, Anil Maheshwari, Michiel Smid

Abstract: Let $S$ be a finite set of points in the plane that are in convex position. We present an algorithm that constructs a plane $\frac{3+4π}{3}$-spanner of $S$ whose vertex degree is at most 3. Let $Λ$ be the vertex set of a finite non-uniform rectangular lattice in the plane. We present an algorithm that constructs a plane $3\sqrt{2}$-spanner for $Λ$ whose vertex degree is at most 3. For points that… ▽ More Let $S$ be a finite set of points in the plane that are in convex position. We present an algorithm that constructs a plane $\frac{3+4π}{3}$-spanner of $S$ whose vertex degree is at most 3. Let $Λ$ be the vertex set of a finite non-uniform rectangular lattice in the plane. We present an algorithm that constructs a plane $3\sqrt{2}$-spanner for $Λ$ whose vertex degree is at most 3. For points that are in the plane and in general position, we show how to compute plane degree-3 spanners with a linear number of Steiner points. △ Less

Submitted 20 February, 2017; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: 18 pages; the algorithm and the proofs for non-uniform lattice have been simplified

Plane Bichromatic Trees of Low Degree

Authors: Ahmad Biniaz, Prosenjit Bose, Anil Maheshwari, Michiel Smid

Abstract: Let $R$ and $B$ be two disjoint sets of points in the plane such that $|B|\leqslant |R|$, and no three points of $R\cup B$ are collinear. We show that the geometric complete bipartite graph $K(R,B)$ contains a non-crossing spanning tree whose maximum degree is at most $\max\left\{3, \left\lceil \frac{|R|-1}{|B|}\right\rceil + 1\right\}$; this is the best possible upper bound on the maximum degree.… ▽ More Let $R$ and $B$ be two disjoint sets of points in the plane such that $|B|\leqslant |R|$, and no three points of $R\cup B$ are collinear. We show that the geometric complete bipartite graph $K(R,B)$ contains a non-crossing spanning tree whose maximum degree is at most $\max\left\{3, \left\lceil \frac{|R|-1}{|B|}\right\rceil + 1\right\}$; this is the best possible upper bound on the maximum degree. This solves an open problem posed by Abellanas et al. at the Graph Drawing Symposium, 1996. △ Less

Submitted 8 December, 2015; originally announced December 2015.

Minimizing the Continuous Diameter when Augmenting Paths and Cycles with Shortcuts

Authors: Jean-Lou De Carufel, Carsten Grimm, Anil Maheshwari, Michiel Smid

Abstract: We seek to augment a geometric network in the Euclidean plane with shortcuts to minimize its continuous diameter, i.e., the largest network distance between any two points on the augmented network. Unlike in the discrete setting where a shortcut connects two vertices and the diameter is measured between vertices, we take all points along the edges of the network into account when placing a shortcu… ▽ More We seek to augment a geometric network in the Euclidean plane with shortcuts to minimize its continuous diameter, i.e., the largest network distance between any two points on the augmented network. Unlike in the discrete setting where a shortcut connects two vertices and the diameter is measured between vertices, we take all points along the edges of the network into account when placing a shortcut and when measuring distances in the augmented network. We study this network augmentation problem for paths and cycles. For paths, we determine an optimal shortcut in linear time. For cycles, we show that a single shortcut never decreases the continuous diameter and that two shortcuts always suffice to reduce the continuous diameter. Furthermore, we characterize optimal pairs of shortcuts for convex and non-convex cycles. Finally, we develop a linear time algorithm that produces an optimal pair of shortcuts for convex cycles. Apart from the algorithms, our results extend to rectifiable curves. Our work reveals some of the underlying challenges that must be overcome when addressing the discrete version of this network augmentation problem, where we minimize the discrete diameter of a network with shortcuts that connect only vertices. △ Less

Submitted 7 December, 2015; originally announced December 2015.

ACM Class: F.2.2; G.2.2; I.3.5

On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere

Authors: Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, Michiel Smid

Abstract: Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot π)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is betwe… ▽ More Let $P$ be a convex polyhedron in $\mathbb{R}^3$. The skeleton of $P$ is the graph whose vertices and edges are the vertices and edges of $P$, respectively. We prove that, if these vertices are on the unit-sphere, the skeleton is a $(0.999 \cdot π)$-spanner. If the vertices are very close to this sphere, then the skeleton is not necessarily a spanner. For the case when the boundary of $P$ is between two concentric spheres of radii $1$ and $R>1$, and the angles in all faces are at least $θ$, we prove that the skeleton is a $t$-spanner, where $t$ depends only on $R$ and $θ$. One of the ingredients in the proof is a tight upper bound on the geometric dilation of a convex cycle that is contained in an annulus. △ Less

Submitted 2 September, 2016; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: Improved results in Section 4.1. Incorporated referees' comments

Improved Spanning Ratio for Low Degree Plane Spanners

Authors: Prosenjit Bose, Darryl Hill, Michiel Smid

Abstract: We describe an algorithm that builds a plane spanner with a maximum degree of 8 and a spanning ratio of approximately 4.414 with respect to the complete graph. This is the best currently known spanning ratio for a plane spanner with a maximum degree of less than 14. We describe an algorithm that builds a plane spanner with a maximum degree of 8 and a spanning ratio of approximately 4.414 with respect to the complete graph. This is the best currently known spanning ratio for a plane spanner with a maximum degree of less than 14. △ Less

Submitted 2 July, 2015; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 39 pages, appendix has been integrated into the main paper

Probing Convex Polygons with a Wedge

Authors: Prosenjit Bose, Jean-Lou De Carufel, Alina Shaikhet, Michiel Smid

Abstract: Minimizing the number of probes is one of the main challenges in reconstructing geometric objects with probing devices. In this paper, we investigate the problem of using an $ω$-wedge probing tool to determine the exact shape and orientation of a convex polygon. An $ω$-wedge consists of two rays emanating from a point called the apex of the wedge and the two rays forming an angle $ω$. To probe wit… ▽ More Minimizing the number of probes is one of the main challenges in reconstructing geometric objects with probing devices. In this paper, we investigate the problem of using an $ω$-wedge probing tool to determine the exact shape and orientation of a convex polygon. An $ω$-wedge consists of two rays emanating from a point called the apex of the wedge and the two rays forming an angle $ω$. To probe with an $ω$-wedge, we set the direction that the apex of the probe has to follow, the line $\overrightarrow L$, and the initial orientation of the two rays. A valid $ω$-probe of a convex polygon $O$ contains $O$ within the $ω$-wedge and its outcome consists of the coordinates of the apex, the orientation of both rays and the coordinates of the closest (to the apex) points of contact between $O$ and each of the rays. We present algorithms minimizing the number of probes and prove their optimality. In particular, we show how to reconstruct a convex $n$-gon (with all internal angles of size larger than $ω$) using $2n-2$ $ω$-probes; if $ω= π/2$, the reconstruction uses $2n-3$ $ω$-probes. We show that both results are optimal. Let $N_B$ be the number of vertices of $O$ whose internal angle is at most $ω$, (we show that $0 \leq N_B \leq 3$). We determine the shape and orientation of a general convex $n$-gon with $N_B=1$ (respectively $N_B=2$, $N_B=3$) using $2n-1$ (respectively $2n+3$, $2n+5$) $ω$-probes. We prove optimality for the first case. Assuming the algorithm knows the value of $N_B$ in advance, the reconstruction of $O$ with $N_B=2$ or $N_B=3$ can be achieved with $2n+2$ probes,- which is optimal. △ Less

Submitted 13 June, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: 31 pages, 27 figures

Journal ref: Computational Geometry: Theory and Applications (2017), pp. 34-59

Estimation of Zero Intelligence Models by L1 Data

Authors: Martin Šmíd

Abstract: A unit volume zero intelligence (ZI) model is defined and the distribution of its L1 process is recursively described. Further, a generalized ZI (GZI) model allowing non-unit market orders, shifts of quotes and general in-spread events is proposed and a formula for the conditional distribution of its quotes is given, together with a formula for price impact. For both the models, MLE estimators are… ▽ More A unit volume zero intelligence (ZI) model is defined and the distribution of its L1 process is recursively described. Further, a generalized ZI (GZI) model allowing non-unit market orders, shifts of quotes and general in-spread events is proposed and a formula for the conditional distribution of its quotes is given, together with a formula for price impact. For both the models, MLE estimators are formulated and shown to be consistent and asymptotically normal. Consequently, the estimators are applied to data of six US stocks from nine electronic markets. It is found that more complex variants of the models, despite being significant, do not give considerably better predictions than their simple versions with constant intensities. △ Less

Submitted 25 April, 2016; v1 submitted 22 April, 2015; originally announced April 2015.

Journal ref: Quantitative Finance vol.16, 9 (2016), p. 1423-1444