arXiv subjects

Ashish Saxena

Publications and source records attributed to Ashish Saxena.

At least 19 recordsLinked to original sources

arXiv2026

Cops and Lethal Robber on Rings: A Distributed Perspective

The Cops and Robber game is extensively studied in the sequential setting where the main goal is to capture the robber. Capturing the robber means at least one cop, and the robber will be at the same vertex together at some time. There are several variants, including variants where the goal of the cops is to surround the robber. Surrounding the robber means there is at least one cop in each of the neighboring vertices of the robber's position. In this paper, we introduce it in the distributed setting while empowering the robber by saying it can even kill cops. Specifically, in our model, the robber moves in odd rounds and has unbounded speed, cops move in even rounds, and if one or more cops move into a vertex where the robber is currently residing, all these cops get killed. We call this {\it lethal robber}. This also connects our work to the Intruder Capture and Black Hole Search problems by introducing an entity which is dynamic as well as lethal, a setting that, to the best of our knowledge, has not been studied. In this work, we introduce the lethal robber, define the {\it cops and lethal robber} problem in the distributed setting and study it on a static ring of size $n$. We prove $n$ cops are not enough, even if all start from the same vertex, and provide an algorithm starting from an arbitrary initial configuration that requires $n+\lfloor\log n \rfloor+4$ cops in the worst case.

cs.DC↗

arXiv2026

Semi-Synchronous Exploration in Dynamic Graphs

We study the fundamental problem of graph exploration in dynamic graphs using mobile agents. We consider $1$-interval connected dynamic graphs, where the topology may change arbitrarily from round to round as long as the graph remains connected, and edges are assigned with the dynamic port labeling at each round. The execution follows a semi-synchronous scheduler, under which an adversary may deactivate an arbitrary subset of agents in each round. For a graph with $n$ nodes and $k$ agents, we show that exploration is impossible if the adversary can deactivate at least $ \left\lceil \frac{k}{n-2} \right\rceil - 1$ agents per round, even when agents are equipped with unbounded memory, have global communication and full visibility. This yields an upper bound, implying that exploration is solvable only when the adversary deactivates at most $\left\lceil \frac{k}{n-2} \right\rceil - 2$ agents per round. We further establish that achieving exploration at this threshold requires agents to have both $1$-hop visibility and $1$-hop communication. Finally, we present the exploration algorithm using $k$ agents when the adversary deactivates at most $ \left\lceil \frac{k}{n-2} \right\rceil - 2$ agents, assuming agents are equipped with $1$-hop visibility and global communication, and matches the adversarial deactivation bound implied by the impossibility results.

cs.DC↗

arXiv2026

Black Hole Search: Dynamics, Distribution, and Emergence

A black hole is a malicious node in a graph that destroys resources entering into it without leaving any trace. The problem of Black Hole Search (BHS) using mobile agents requires that at least one agent survives and terminates after locating the black hole. Recently, this problem has been studied on 1-bounded 1-interval connected dynamic graphs \cite{BHS_gen}, where there is a footprint graph, and at most one edge can disappear from the footprint in a round, provided that the graph remains connected. In this setting, the authors in \cite{BHS_gen} proposed an algorithm that solves the BHS problem when all agents start from a single node (rooted initial configuration). They also proved that at least $2\delta_{BH} + 1$ agents are necessary to solve the problem when agents are initially placed arbitrarily across the nodes of the graph (scattered initial configuration), where $\delta_{BH}$ denotes the degree of the black hole. In this work, we present an algorithm that solves the BHS problem using $2\delta_{BH} + 17$ initially scattered agents. Our result matches asymptotically with the rooted algorithm of \cite{BHS_gen} under the same model assumptions. Further, we study the Eventual Black Hole Search (\textsc{Ebhs}) problem, in which the black hole may appear at any node and at any time during the execution of the algorithm, destroying all agents located on that node at the time of its appearance. However, the black hole cannot emerge at the home base in round~0, where the home base is the node at which all agents are initially co-located. Once the black hole appears, it remains active at that node for the rest of the execution. This problem has been studied on static rings~\cite{Bonnet25}; here we extend it to arbitrary static graphs and provide a solution using four agents. Moreover, it does not require any knowledge of global parameters or additional model assumptions.

cs.DC↗

arXiv2026

Exploration on Highly Dynamic Graphs

We study the exploration problem by mobile agents in two prominent models of dynamic graphs: $1$-Interval Connectivity and Connectivity Time. The $1$-Interval Connectivity model was introduced by Kuhn et al.~[STOC 2010], and the Connectivity Time model was proposed by Michail et al.~[JPDC 2014]. Recently, Saxena et al.~[TCS 2025] investigated the exploration problem under both models. In this work, we first strengthen the existing impossibility results for the $1$-Interval Connectivity model. We then show that, in Connectivity Time dynamic graphs, exploration is impossible with $\frac{(n-1)(n-2)}{2}$ mobile agents, even when the agents have full knowledge of all system parameters, global communication, full visibility, and infinite memory. This significantly improves the previously known bound of $n$. Moreover, we prove that to solve exploration with $\frac{(n-1)(n-2)}{2}+1$ agents, $1$-hop visibility is necessary. Finally, we present an exploration algorithm that uses $\frac{(n-1)(n-2)}{2}+1$ agents, assuming global communication, $1$-hop visibility, and $O(\log n)$ memory per agent.

cs.DC↗

arXiv2025

When Agents are Powerful: Black Hole Search with Verification in Time-Varying Graphs

A black hole is a harmful node in a graph that destroys any agent entering it, making its identification a critical task. In the \emph{Black Hole Search with Verification (BHSV)} problem, a team of agents operates on a graph $G$ with the objective that at least one agent survives and correctly identifies an edge incident to the black hole; if no black hole exists, then all agents must terminate. Prior work has studied BHS in arbitrary dynamic graphs under the restrictive \emph{face-to-face} communication model, where agents can exchange information only when co-located. This constraint significantly increases the number of agents required to solve the problem. In this work, we strengthen the capabilities of agents by equipping them with (i) \emph{1-hop visibility}, (ii) \emph{global communication}, and (iii) both \emph{1-hop visibility} and \emph{global communication}. We show that these enhancements lead to more efficient solutions for the BHSV problem in dynamic graphs.

cs.DC↗

arXiv2025

Path Connected Dynamic Graphs with a Study of Dispersion and Exploration

In dynamic graphs, edges may be added or deleted in each synchronous round. Various connectivity models exist based on constraints on these changes. One well-known model is the $T$-Interval Connectivity model, where the graph remains connected in every round, and the parameter $T$ reflects the duration of structural stability. Another model is Connectivity Time, where the union of edges across any $T$ consecutive rounds forms a connected graph. This is a weaker model, as the graph may be disconnected in individual rounds. In this work, we introduce a new connectivity model called $T$-Path Connectivity. Unlike $T$-Interval Connectivity, the graph may not be connected in each round, but for every pair of nodes $u,v$, there must exist a path connecting them in at least one round within any $T$ consecutive rounds. This model is strictly weaker than $T$-Interval Connectivity but stronger than the Connectivity Time model. We study the dispersion problem in the $T$-Path Connectivity model. While dispersion has been explored in the 1-Interval Connectivity model, we show that the existing algorithm with termination does not work in our model. We then identify the minimal necessary assumptions required to solve dispersion in the $T$-Path Connectivity model and provide an algorithm that solves it optimally under those conditions. Moreover, we prove that dispersion is unsolvable in the Connectivity Time model, even under several strong assumptions. We further initiate the study of the exploration problem under all three connectivity models. We present multiple impossibility results and, in most cases, establish tight bounds on the number of agents and time required. Our results demonstrate that, in both dispersion and exploration, the Connectivity Time model is strictly the weakest among the three.

cs.DC↗

arXiv2024

On Monitoring Edge-Geodetic Sets of Dynamic Graph

The concept of a monitoring edge-geodetic set (MEG-set) in a graph $G$, denoted $MEG(G)$, refers to a subset of vertices $MEG(G)\subseteq V(G)$ such that every edge $e$ in $G$ is monitored by some pair of vertices $ u, v \in MEG(G)$, where $e$ lies on all shortest paths between $u$ and $v$. The minimum number of vertices required to form such a set is called the monitoring edge-geodetic number, denoted $meg(G)$. The primary motivation for studying $MEG$-sets in previous works arises from scenarios in which certain edges are removed from $G$. In these cases, the vertices of the $MEG$-set are responsible for detecting these deletions. Such detection is crucial for identifying which edges have been removed from $G$ and need to be repaired. In real life, repairing these edges may be costly, or sometimes it is impossible to repair edges. In this case, the original $MEG$-set may no longer be effective in monitoring the modified graph. This highlights the importance of reassessing and adapting the $MEG$-set after edge deletions. This work investigates the monitoring edge-geodetic properties of graphs, focusing on how the removal of $k$ edges affects the structure of a graph and influences its monitoring capabilities. Specifically, we explore how the monitoring edge-geodetic number $meg(G)$ changes when $k$ edges are removed. The study aims to compare the monitoring properties of the original graph with those of the modified graph and to understand the impact of edge deletions.

math.CO↗

arXiv2024

Balanced Dispersion on Time-Varying Dynamic Graphs

We aim to connect two problems, namely, dispersion and load balancing. Both problems have already been studied over static as well as dynamic graphs. Though dispersion and load balancing share some common features, the tools used in solving load balancing differ significantly from those used in solving dispersion. One of the reasons is that the load balancing problem is introduced and studied heavily over graphs where nodes are the processors and work under the message passing model, whereas dispersion is a task for mobile agents to achieve on graphs. To bring the (load) balancing aspect in the dispersion problem, we say, mobile agents move to balance themselves as equally as possible across the nodes of the graph, instead of stationary nodes sharing loads in the load balancing problem. We call it the \emph{$k$-balanced dispersion} problem and study it on dynamic graphs. This is equivalent to the load balancing problem considering movable loads in form of the agents. Earlier, on static graphs, the \emph{$k$-dispersion} problem [TAMC 2019] aimed for the same by putting an upper bound on the number of agents on each node in the final configuration; however, the absence of a lower bound on the number of agents in their problem definition hampers the load-balancing aspect, as some nodes may end up with no agents in the final configuration. We take care of this part in our \emph{$k$-balanced dispersion} problem definition and thus produce a stronger connection between the two domains.

cs.DC↗

arXiv2024

Black Hole Search in Dynamic Graphs

A black hole is considered to be a dangerous node present in a graph that disposes of any resources that enter that node. Therefore, it is essential to find such a node in the graph. Let a group of agents be present on a graph $G$. The Black Hole Search (BHS) problem aims for at least one agent to survive and terminate after {finding} the black hole. This problem is already studied for specific dynamic graph classes such as rings, cactuses, and tori {where finding the black hole means at least one agent needs to survive and terminate after knowing at least one edge associated with the black hole. In this work, we investigate the problem of BHS for general graphs.} In the dynamic graph, adversary may remove edges at each round keeping the graph connected. We consider two cases: (a) at any round at most one edge can be removed (b) at any round at most $f$ edges can be removed. For both scenarios, we study the problem when the agents start from a rooted initial configuration. We consider each agent has $O(\log n)$ memory and each node has $O(\log n)$ storage. For case (a), we present an algorithm with $9$ agents that solves the problem of BHS in $O(|E|^2)$ time where $|E|$ is the number of edges and $\delta_v$ is the degree of the node $v$ in $G$. We show it is impossible to solve for $2\delta_{BH}$ many agents starting from an arbitrary configuration where $\delta_{BH}$ is the degree of the black hole in $G$. We also provide another improved algorithm that uses $6$ agents from a rooted initial configuration to solve the problem of BHS. For case (b), we provide an algorithm using $6f$ agents to solve the problem of BHS, albeit taking exponential time. We also provide an impossibility result for $2f+1$ agents starting from a rooted initial configuration. This result holds even if unlimited storage is available on each node and the agents have infinite memory.

cs.DC↗

arXiv2020

tfp.mcmc: Modern Markov Chain Monte Carlo Tools Built for Modern Hardware

Markov chain Monte Carlo (MCMC) is widely regarded as one of the most important algorithms of the 20th century. Its guarantees of asymptotic convergence, stability, and estimator-variance bounds using only unnormalized probability functions make it indispensable to probabilistic programming. In this paper, we introduce the TensorFlow Probability MCMC toolkit, and discuss some of the considerations that motivated its design.

stat.CO↗

arXiv2008

Black Rings in Taub-NUT and D0-D6 interactions

We analyze the dynamics of neutral black rings in Taub-NUT spaces and their relation to systems of D0 and D6 branes in the supergravity approximation. We employ several recent techniques, both perturbative and exact, to construct solutions in which thermal excitations of the D0-branes can be turned on or off, and the D6-brane can have $B$-fluxes turned on or off in its worldvolume. By explicit calculation of the interaction energy between the D0 and D6 branes, we can study equilibrium configurations and their stability. We find that although D0 and D6 branes (in the absence of $B$ fields, and at zero temperature) repeal each other at non-zero separation, as they get together they go over continuosly to an unstable bound state of an extremal singular Kaluza-Klein black hole. We also find that, for $B$-fields larger than a critical value, or sufficiently large thermal excitation, the D0 and D6 branes form stable bound states. The bound states with thermally excited D0 branes are black rings in Taub-NUT, and we provide an analysis of their phase diagram.

hep-th↗

arXiv2007

Non-supersymmetric microstates of the D1-D5-KK system

We construct a discrete family of smooth non-supersymmetric three charge geometries carrying D1 brane, D5 brane and Kaluza-Klein monopole charges in Type IIB supergravity compactified on a six-torus, which can be interpreted as the geometric description of some special states of the brane system. These solutions are asymptotically flat in four dimensions, and generalise previous supersymmetric solutions. The solutions have a qualitatively similar structure to previous non-supersymmetric smooth solutions carrying D1 and D5 brane charges in five dimensions, and indeed can be viewed as the five-dimensional system placed at the core of a Kaluza-Klein monopole. The geometries are smooth, free of horizons and do not have closed timelike curves. One notable difference from the five-dimensional case is that the four-dimensional geometry has no ergoregion.

hep-th↗

arXiv2007

A class of BPS time-dependent 3-charge microstates from spectral flow

We construct an infinite family of asymptotically flat 3-charge solutions carrying D1, D5 and momentum charges. Generically the solutions also carry two angular momenta. The geometries describe the spectral flow of all the ground states of the D1-D5 CFT. The family is parametrized by four functions describing the embedding of a closed curve in R^4 and an integer n labelling the spectral flow on the left sector. After giving the general prescription for spectral flowing any of the ground states, we give an explicit example of the construction. We identify the asymptotic charges of the resulting solution and show the matching with the corresponding CFT result.

hep-th↗

arXiv2007

Reduction without reduction: Adding KK-monopoles to five dimensional stationary axisymmetric solutions

We present a general method to add KK-monopole charge to any asymptotically flat stationary axisymmetric solution of five dimensional General Relativity. The technique exploits the underlying SL(3,R) invariance of the system by identifying a particular element of the symmetry group which changes the asymptotic boundary condition and adds KK-monopole charge. Furthermore, we develop a set of technical tools which allow us to apply the SL(3,R) transformations to solutions produced by the Inverse Scattering method. As an example of our methods, we construct the exact solution describing a static black ring carrying KK-monopole charge.

hep-th↗

arXiv2007

Stationary axisymmetric solutions of five dimensional gravity

We consider stationary axisymmetric solutions of general relativity that asymptote to five dimensional Minkowski space. It is known that this system has a hidden SL(3,R) symmetry. We identify an SO(2,1) subgroup of this symmetry group that preserves the asymptotic boundary conditions. We show that the action of this subgroup on a static solution generates a one-parameter family of stationary solutions carrying angular momentum. We conjecture that by repeated applications of this procedure one can generate all stationary axisymmetric solutions starting from static ones. As an example, we derive the Myers-Perry black hole starting from the Schwarzschild solution in five dimensions.

hep-th↗

arXiv2005

Smooth geometries with four charges in four dimensions

A class of axially symmetric, rotating four-dimensional geometries carrying D1, D5, KK monopole and momentum charges is constructed. The geometries are found to be free of horizons and singulaties, and are candidates to be the gravity duals of microstates of the (0,4) CFT. These geometries are constructed by performing singularity analysis on a suitably chosen class of solutions of six-dimensional minimal supergravity written over a Gibbons-Hawking base metric. The properties of the solutions raise some interesting questions regarding the CFT.

hep-th↗

arXiv2004

3-charge geometries and their CFT duals

We consider two families of D1-D5-P states and find their gravity duals. In each case the geometries are found to `cap off' smoothly near r=0; thus there are no horizons or closed timelike curves. These constructions support the general conjecture that the interior of black holes is nontrivial all the way up to the horizon.

hep-th↗

arXiv2004

Dual geometries for a set of 3-charge microstates

We construct a set of extremal D1-D5-P solutions, by taking appropriate limits in a known family of nonextremal 3-charge solutions. The extremal geometries turn out to be completely smooth, with no horizon and no singularity. The solutions have the right charges to be the duals of a family of CFT microstates which are obtained by spectral flow from the NS vacuum.

hep-th↗