Searcharxiv⌕ Search

arXiv subjects

Kossi Roland Etse

Publications and source records attributed to Kossi Roland Etse.

3 recordsLinked to original sources

How Long Can the Escaping Ant Be Confined?

Langton's ant is a simple two-dimensional cellular automaton whose long-term behavior exhibits remarkable complexity. While it is known that the ant eventually escapes any finite connected region of the grid, the quantitative aspects of this escape remain poorly understood. In this paper, we study the escaping time of Langton's ant, defined as the maximum number of steps the ant can perform within a finite connected domain before leaving it. We establish general upper bounds on the escaping time as a function of the domain size, and derive improved bounds for rectangular domains. In particular, we obtain a factorial upper bound for square domains via an inductive decomposition argument. We also obtain linear upper bounds for rectangular domains of height two and three via a column-by-column analysis. More generally, for rectangular domains with a fixed height, we establish a polynomial upper bound in the number of columns. These results are complemented by exact values computed through an optimized simulation algorithm that exploits the geometric symmetries of the grid and employs a backtracking branching strategy to avoid exhaustive search over all color configurations. We also provide lower-bound constructions, proving that the linear upper bounds for rectangular domains of heights two and three are asymptotically optimal.

cs.FL↗

Linear Extensions of Rotor-Routing in Directed Graphs: Reachability Problems

We develop a unified framework for rotor-routing that extends the classical model to a broad class of multigraphs equipped with Generalized Rotor Mechanisms (GRM). This perspective places rotor-routing on the same footing as abelian sandpiles by interpreting both as conservative instances of Vector Addition Systems (VAS). Within this framework, routing becomes a linear transformation governed by arc mechanisms, while legality is enforced through non-negativity constraints. We introduce four routing models -- free routing, standard rotor-routing, cyclic GRM routing, and fully general GRM routing -- and study their reachability problems in both the linear and legal settings. Our results generalize previous characterizations for standard rotor-routing and extend them to the GRM setting. In particular, we show that legal reachability in GRM multigraphs is NP-complete, whereas the cyclic GRM routing model, which includes the classical rotor-router, admits a polynomial-time algorithm.

cs.DM↗

Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs

Rotor walks are cellular automata that determine deterministic traversals of particles in a directed multigraph using simple local rules, yet they can generate complex behaviors. Furthermore, these trajectories exhibit statistical properties similar to random walks. In this study, we investigate a generalized version of the reachability problem known as ARRIVAL in Path Multigraphs, which involves predicting the number of particles that will reach designated target vertices. We show that this problem is in NP and co-NP in the general case. However, we exhibit algebraic invariants for Path Multigraphs that allow us to solve the problem efficiently, even for an exponential configuration of particles. These invariants are based on harmonic functions and are connected to the decomposition of integers in rational bases.

cs.DM↗