Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.01281

Two-Dimensional Search for a Moving Target on Rectangular and Cylindrical Grids

Alexey Lebedev·Vladimir Lebedev·Christian Deppe
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study how precisely a moving target can be localized on finite rectangular grids and their cylindrical counterparts. Each query asks whether the target lies in a chosen subset of vertices and receives a noiseless answer. Queries may depend on previous answers. Between successive queries, the target may stay in place or move along one horizontal or vertical edge. Accuracy is measured by the number of positions still possible immediately after the final answer, with no subsequent movement. A strategy achieves accuracy $s$ if it always terminates with at most $s$ possible positions, whatever admissible trajectory the target follows. Thus $s=1$ means exact localization. We denote by $s^*(M,N)$ the smallest value of $s$ achievable by a finite adaptive strategy on a finite grid. Our main result shows that every finite rectangular grid admits a strategy that localizes the target to at most eight positions, regardless of the grid dimensions: $s^*(M,N)\leq8$. The construction uses nine local query patterns and their vertical reflections. Its termination follows from the progress these patterns force toward the finite grid boundaries. We also prove the dimension-dependent bound $s^*(M,N)\leq\min\{M+1,N+1\}$. For finite cylindrical grids $P_M\square C_N$, where the columns are periodic but the first and last rows remain boundaries, we introduce the corresponding accuracy parameter and state the proposed dimension-independent bound $s^*_{\mathrm{cyl}}(M,N)\leq9$.

Explore related subjects

cs.DM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexey Lebedev, Vladimir Lebedev, Christian Deppe. 2026-10-31. Two-Dimensional Search for a Moving Target on Rectangular and Cylindrical Grids. https://arxiv.org/abs/2611.01281

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Graph Similarity Meets Optimal Transport

A natural way to compare two graphs is to align their vertex sets by a bijection and to measure the difference of the aligned adjacency matrices in a matrix norm. Depending on the norm, this yields, for example, the edit distance, the cut distance, the spectral distance, and the local edit distance. To make these distances applicable to graphs of different order, one can consider blowups of the graphs or, equivalently, relax bijections to fractional alignments, that is, optimal transport plans between the uniform distributions on the vertex sets, in the spirit of Gromov-Wasserstein distances. We investigate how much the optimal transport versions can differ from their bijective counterparts, that is, we quantify their integrality gaps. For the edit distance, we improve the best known upper bound on the integrality gap from 3 to 2 and the lower bound from 6/5 to 4/3. For the cut distance, we approach Lovász's conjecture that $δ_\square \le 2δ_\square^{OT}$ from both sides. We improve the previously best known upper bound $δ_\square \le 32 \cdot (δ_\square^{OT})^{1/67}$ (Borgs, Chayes, Lovász, Sós and Vesztergombi, Adv. Math. 2008) to $δ_\square \le C_\varepsilon \cdot (δ_\square^{OT})^{1-\varepsilon}$ for every $\varepsilon > 0$, and we construct graphs $G,H$ with $δ_\square(G,H) = 2δ_\square^{OT}(G,H)$, establishing a factor-2 lower bound that matches Lovász's conjecture. For the local edit and spectral distances, we obtain upper bounds of order $\sqrt{t\ln(1/t)}$ and $\sqrt{t}$, respectively, where $t$ is the corresponding optimal transport distance, and we show that, unlike for the edit and cut distances, no linear upper bounds are possible. Finally, we show that computing the optimal transport distances is NP-hard, and we give hardness of approximation results for the cut, spectral, and local edit distances.

cs.DM↗
arXiv2026

Searching the Plane in the Segment Visibility Model

We study deterministic search by $n \geq 2$ unit-speed robots starting at the origin of the Euclidean plane. We introduce the concept of \emph{segment visibility} whereby a stationary target $x$ at distance $d=\|x\|>0$ is discovered at the first instant $t$ when $x$ belongs to the segment joining a pair of robots at time $t$. Discovery time is compared with the omniscient optimum $d$. We distinguish two knowledge models according to whether the robots know $d$ in advance. For $n=2$ robots, in the \emph{known-$d$} model, we give a symmetric four-phase algorithm and prove that its competitive ratio is optimal: $1+\sqrt3+π/6$; the matching lower bound follows from the known-distance two-robot shoreline-search theorem through an explicit reduction to segment detection. For $n=2$ robots, in the \emph{unknown-$d$} model, a three-circle construction and a quantitative initial-path estimate yield the stronger lower bound $\sqrt3+π/6+\sqrt{17}/4 \approx3.286425990$, giving an explicit positive cost for not knowing the radius; we also analyze a feasible antipodal-diameter logarithmic-spiral algorithm with optimized ratio $8.928516954\ldots$, thus proving that the competitive ratio when $d$ is unknown is at least $ \sqrt3+π/6+\sqrt{17}/4 $ and at most $8.928516954\ldots.$ For $n \geq 3$ robots, the competitive ratio of finding the target is exactly $\sec (π/n)$ regardless of whether or not $d$ is known to the robots.

cs.DM↗
arXiv2026

An Almost-tight Size Lower Bound for Bounded Treewidth Homomorphism-Distinguishability

One way to compare two graphs $G_1, G_2$ is to check whether there is some graph $H$ in a graph class $\mathcal{H}$, such that the number of homomorphisms from $H$ to $G_1$ is not equal to that from $H$ to $G_2$. This is the field of homomorphism distinguishability which has gained a lot of traction in recent years. In this paper, we study the case where $\mathcal{H}$ is the class of graphs of treewidth $k$. This has connections to important concepts in logic, machine learning, combinatorial optimization and proof complexity. In particular, Dvořák showed that $G_1$ and $G_2$ can be distinguished by a homomorphism count from a graph of treewidth $k$ iff $G_1$ and $G_2$ are distinguishable by the $k$-dimensional Weisfeiler-Leman algorithm. While the relation between the iteration number of this algorithm and the depth of the tree-decomposition of a distinguishing graph is understood, our understanding of the \emph{size} of $H$ is limited. We show a $2^{Ω(n^{k/2})}$ lower bound on the size of a graph of treewidth $k$ required to distinguish two graphs of order $n$. This bound is proved via a new combinatorial game along with a construction which uses a recent compression technique for CFI graphs. It is almost tight to the known $2^{O(n^{k+1})}$ upper bound and is an exponential improvement on the previous best known lower bound.

cs.DM↗