Subhajit

Subhajit Pramanick

Visiting Scientist

R. C. Bose Centre for Cryptology

and Security, ISI Kolkata

West Bengal, India

suvo.iitg17@gmail.com

+91-9735603055



Skills

Python

50%

LaTex

60%

C Programming

65%

HTML and CSS

60%

My Current Location


About me

I obtained my B.Sc in Mathematics from the Scottish Church College, Kolkata, under the University of Calcutta in 2015. Later, I joined the Indian Institute of Technology (IIT) Guwahati and finished my M.Sc in Mathematics and Computing in 2017. I have completed my PhD in 2024 from the Department of Mathematics, Indian Institute of Technology (IIT) Guwahati, under the supervision of Prof. Partha Sarathi Mandal. I am currently a visiting scientist at the Indian Statistical Institute, Kolkata and working with Dr. Anisur Rahaman Molla.

Research Interest: Distributed algorithms for Swarm Robots, Mobile Agents, Fault-tolerance, Robot based Graph Algorithms.

You can find my Curriculum Vitae here.


Education

Ph.D. in Computer Science

Department of Mathematics, IIT Guwahati

2018 - 2024


M.Sc. in Mathematics and Computing

Department of Mathematics, IIT Guwahati

2015 - 2017

  • M.Sc. Project Title: On Del-Robust and Ins-Robust Words
  • Supervisor: Prof. Kalpesh Kapoor


Publications

Journals (Published)
Fault-tolerant mutual visibility without any axis agreement in presence of mobility failure. Subhajit Pramanick, Saswata Jana, and Partha Sarathi Mandal.
Theoretical Computer Science (Elsevier), Vol 1025, 2025.

We aim to solve the mutual visibility problem using $N$ autonomous, indistinguishable, homogeneous, oblivious and opaque point robots in the presence of mobility failure. The faulty robot cannot move when it becomes faulty, but the light remains working. Initially, from any arbitrary configuration, the problem of mutual visibility using robots aims to reach a configuration where any two robots can see each other. The challenge is to reach to such a configuration in the presence of faulty robots along with obstructed visibility under which two robots see each other only if the line segment joining them does not have any robots. Every robot operates in the conventional Look-Compute-Move cycles. Robots neither have any agreement in their coordinate system nor have the knowledge of $N$. The problem is not solvable for a specific symmetric initial configuration of the robots. We propose an algorithm that tolerates $f~ (\leq N)$ number of faulty robots and uses a constant number of colors in the FSYNC setting. To be specific, the algorithm requires $21$ colors and runs in $O(N^2)$ synchronous rounds. We present another algorithm much simpler than the prior one but can tolerate a single faulty robot. This algorithm needs only $2$ colors in the SSYNC and $5$ colors in the ASYNC setting.

Mutual Visibility of Luminous Robots Despite Angular Inaccuracy Subhajit Pramanick, Saswata Jana, Adri Bhattacharya, and Partha Sarathi Mandal.
Theoretical Computer Science (Elsevier), Vol 1011, 2024.

We initiate the study of the Mutual Visibility problem using $N$ opaque luminous point robots that have inaccurate movements. Each robot operates in Look-Compute-Move cycles and has a persistent light attached to it to have a weak form of communication between robots using a constant number of colors. The inaccuracy for a robot $r$ is an angular deviation from its target point $T$ to a point $T'$ such that the angle $\angle TrT' <90^\circ$. The problem becomes unsolvable if this angle is $\geq 90^\circ$. From any initial configuration of the robots on the Euclidean plane, the problem aims to arrange the robots in a configuration such that any two robots are visible to each other. We assume that the robots agree on one coordinate axis. We present two collision-free algorithms, a $2$ color algorithm (which is optimal in the number of colors used) for semi-synchronous setting and a $3$ color algorithm for asynchronous setting, both of which run in $\mathcal{O}(N)$ epochs. We also study the problem in the presence of mobile faulty robots. A robot can exhibit both mobility failure and angular inaccuracies in its movement. We present a fault-tolerant algorithm that aims to bring the robots in a configuration where no three non-faulty robots are collinear, and no faulty robot lies between two non-faulty robots. This algorithm uses 10 colors and takes $\mathcal{O}(N)$ epochs under asynchronous settings.

Distributed Algorithms for Filling MIS Vertices of an Arbitrary Graph by Myopic Luminous Robots Subhajit Pramanick, Sai Vamshi Samala, Debasish Pattanayak, and Partha Sarathi Mandal. Theoretical Computer Science (Elsevier), Vol. 978, 2023.

We present the problem of finding a maximal independent set (MIS) (named as MIS Filling problem) of an arbitrary connected graph having $n$ vertices with luminous myopic mobile robots. The robots enter the graph one after another from a particular vertex called the Door and move along the edges of the graph without collision to occupy vertices such that the set of occupied vertices form a maximal independent set. In this paper, we explore two versions of the MIS filling problem, where two separate algorithms are proposed. First version of the problem considers a Single Door where our IND algorithm forms an MIS of size $m$ in $O(m^2)$ epochs under an asynchronous scheduler, where an epoch is the smallest time interval in which each participating robot gets activated at least once and performs a Look-Compute-Move cycle. The robots have three hops of visibility range, $\Delta + 8$ number of colors, and $O(\log \Delta)$ bits of persistent storage, where $\Delta$ is the maximum degree of the graph. The second version of the problem has Multiple Doors for which we present our MULTIND algorithm that forms an MIS in $O(m^2)$ epochs under a semi-synchronous scheduler using robots with five hops of visibility range, $\Delta + k + 7$ number of colors, and $O(\log (\Delta + k))$ bits of persistent storage, where $k$ is the number of Doors. We also achieve a lower bound of $\Omega(n)$ for MIS filling problem with Single Door, where $n$ is the number of vertices of the graph.

Journals (Communicated)
Uniform Partitioning of a Bounded Region using Opaque ASYNC Luminous Mobile Robots Subhajit Pramanick, Saswata Jana, Adri Bhattacharya, and Partha Sarathi Mandal.
Submitted to Theoretical Computer Science (Elsevier), 2024.

In this paper, we study uniform partitioning of a given bounded region $\Re$ with $N$ asynchronous autonomous opaque mobile robots operating under the LCM cycles in a distributed setup. The robots are oblivious except for a persistent light that determines colors from a fixed color set. The robots do not have any agreement on the coordinate axes or orientation. The Uniform Partitioning problem requires the robots to partition the region into sub-regions of equal area, each of which contains exactly one robot. Due to application-oriented motivation, we consider the region to be well-known geometric shapes such as rectangle, square and circle. We propose three algorithms corresponding to three different regions: rectangle, square, and circle. The algorithms for rectangular and square regions run in $O(N)$ epochs. The algorithms for the rectangular, square and circular regions require 2 (which is optimal), 5 and 8 colors, respectively.


Conferences
MIS Filling and Mutual Visibility with Luminous Robot Swarm Subhajit Pramanick and Partha Sarathi Mandal. (Extended Abstract)
26th International Conference on Distributed Computing and Networking (ICDCN 2025), (ACM), Hyderabad, India, January 4-7, 2025.

We explore the power of luminous mobile robots on both discrete and continuous domains. For the discrete domain, we solve a problem named MIS (maximal independent set) Filling on a given connected graph. In the continuous domain, we solve the Mutual Visibility problem on the usual Euclidean plane. These problems are well motivated by real-world applications such as information dissemination in a network, pattern formation and many more. We first discuss the MIS filling problem and then move to the Mutual Visibility problem.

Distributed Uniform Partitioning of a Region using Opaque ASYNC Luminous Mobile Robots Subhajit Pramanick, Saswata Jana, Adri Bhattacharya, and Partha Sarathi Mandal.
25th International Conference on Distributed Computing and Networking (ICDCN 2024), (ACM), Chennai, India, January 4-7, 2024.

We are given $N$ autonomous mobile robots inside a bounded region. The robots are opaque which means that three collinear robots are unable to see each other as one of the robots acts as an obstruction for the other two. They operate in classical Look-Compute-Move (LCM) activation cycles. Moreover, the robots are oblivious except for a persistent light (which is why they are called Luminous robots) that can determine a color from a fixed color set. Obliviousness does not allow the robots to remember any information from past activation cycles. The Uniform Partitioning problem requires the robots to partition the whole region into sub-regions of equal area, each of which contains exactly one robot. Due to application-oriented motivation, we, in this paper consider the region to be well-known geometric shapes such as rectangle, square and circle. We investigate the problem in asynchronous setting where there is no notion of common time and any robot gets activated at any time with a fair assumption that every robot needs to get activated infinitely often. To the best of our knowledge, this is the first attempt to study the Uniform Partitioning problem using oblivious opaque robots working under asynchronous settings. We propose three algorithms considering three different regions: rectangle, square and circle. Robots partition the region in a distributed way and reach their respective positions in the partitions. The algorithms proposed for rectangular and square regions run in $O(N)$ epochs whereas the algorithm for circular regions runs in $O(N^2)$ epochs, where an epoch is the smallest unit of time in which all robots are activated at least once and execute their LCM cycles.

Mutual Visibility with ASYNC Luminous Robots Having Inaccurate Movements Subhajit Pramanick, Saswata Jana, Adri Bhattacharya, and Partha Sarathi Mandal.
International Symposium on Algorithmics of Wireless Networks (ALGOWIN, formerly ALGOSENSORS), LNCS, volume 14061, September 4-8, 2023, Amsterdam, the Netherlands.

We initiate the study of the Mutual Visibility problem using $N$ opaque luminous point robots that have inaccurate movements. Each robot operates in Look-Compute-Move cycles and has a persistent light attached to it to have a weak form of communication between robots using a constant number of colors. The inaccuracy for a robot $r$ is an angular deviation from its target point $T$ to a point $T'$ such that the angle $\angle TrT' <90^\circ$. The problem becomes unsolvable if this angle is $\geq 90^\circ$. From any initial configuration of the robots on the Euclidean plane, the problem aims to arrange the robots in a configuration such that any two robots are visible to each other. We assume that the robots agree on one coordinate axis. We present two collision-free algorithms, a $2$ color algorithm (which is optimal in the number of colors used) for semi-synchronous setting and a $3$ color algorithm for asynchronous setting, both of which run in $\mathcal{O}(N)$ epochs. We also study the problem in the presence of mobile faulty robots. A robot can exhibit both mobility failure and angular inaccuracies in its movement. We present a fault-tolerant algorithm that aims to bring the robots in a configuration where no three non-faulty robots are collinear, and no faulty robot lies between two non-faulty robots. This algorithm uses $10$ colors and takes $\mathcal{O}(N)$ epochs under asynchronous settings.

Fault-tolerant Mutual Visibility for ASYNC Mobile Robots with Local Coordinate Subhajit Pramanick and Partha Sarathi Mandal.
IEEE-GCON 2023, (IEEE Xplore), IIT Guwahati, India, June 23-25, 2023.

We aim to solve the mutual visibility problem using $n$ autonomous, indistinguishable, homogeneous, oblivious and opaque point robots where the number of robots that can be faulty is at most one. The fault may occur anytime. The faulty robot cannot move from the time it becomes faulty. Initially from any arbitrary configuration, the problem of mutual visibility using robots aims to reach a configuration where any two robots can see each other. The challenge is to reach to such a configuration in presence of obstructed visibility where two robots see each other only if the line segment joining them does not have any robots. Every robot operates in the conventional Look-Compute-Move cycles. Robots have no agreement in their coordinate system. We, in this paper, propose a distributed asynchronous algorithm for mutual visibility in presence of at most one faulty robot where robots has no agreement on any global coordinate axes.

Filling MIS Vertices of a Graph by Myopic Luminous Robots Subhajit Pramanick, Sai Vamshi Samala, Debasish Pattanayak, and Partha Sarathi Mandal.
19th International Conference on Distributed Computing and Internet Technology (ICDCIT 2023), LNCS, volume 13776 (Springer-Verlag), Bhubaneswar, India, January 18-20, 2023. (Best Paper Award).

We present the problem of finding a maximal independent set (MIS) (named as MIS Filling problem) of an arbitrary connected graph with luminous myopic mobile robots. The robots enter the graph one after another from a particular vertex called the Door and move along the edges of the graph without collision to occupy vertices such that the set of occupied vertices forms a maximal independent set. This paper explores two versions of the MIS filling problem. For the MIS Filling with Single Door case, our IND algorithm forms an MIS of size $m$ in $O(m^2)$ epochs under an asynchronous scheduler, where an epoch is the smallest time interval in which each participating robot gets activated and executes the algorithm at least once. The robots have three hops of visibility range, $\Delta + 8$ number of colors, and $O(\log \Delta)$ bits of persistent storage, where $\Delta$ is the maximum degree of the graph. For the MIS Filling with Multiple Doors case, our MULTIND algorithm forms an MIS in $O(m^2)$ epochs under a semi-synchronous scheduler using robots with five hops of visibility range, $\Delta + k + 7$ number of colors, and $O(\log (\Delta + k))$ bits of persistent storage, where $k$ is the number of doors.

Asynchronous Line Formation in Presence of Faulty Robots Subhajit Pramanick, Gurram Joseph Spourgeon, Kritika Raj, and Partha Sarathi Mandal.
9th International Conference on Networking, Systems and Security (NSysS 2022). ACM, Cox's Bazar, Bangladesh, December 20-22, 2022.

In this paper, we study the line formation problem using $n$ oblivious point mobile robots located on distinct positions on the Euclidean plane. We assume that the robots agree on one coordinate axis. Robots operate in Look-Compute-Move (LCM) cycles and any two robots can see each other only if there is no robot present on the line segment joining them. Our aim is to solve the line formation problem even if some robots become faulty before achieving the goal. The robots cannot move anymore once they become faulty. We present a fault-tolerant distributed algorithm for line formation under $y$-axis agreement which runs in $O(n)$ epochs in semi-synchronous setting. The same algorithm runs in $D/y_{min}$ epochs in asynchronous setting, where $D$ is the vertical distance between the farthest robots along the $y$-axis and $y_{min}$ is the minimum non-zero vertical distance traveled by a robot in each LCM cycle.


Teaching

  • Linear Algebra (B.Sc. Hons. Data Science and Artificial Intelligence) Feb-April 2024, IIT Guwahati.
  • C Programming (B.Sc. Hons. Data Science and Artificial Intelligence) Nov-Jan 2023, IIT Guwahati.
  • C Programming (M.Sc Mathematics and Computing) Jul-Nov 2022, IIT Guwahati.
  • C Programming (M.Sc Mathematics and Computing) Jul-Nov 2021, IIT Guwahati.
  • Data Structure and Algorithm Lab (M.Sc Mathematics and Computing) Jan-May 2021, IIT Guwahati.


Awards/Fellowships

  • Institute Fellowship, 2018-2024, IIT Guwahati.
  • GATE 2018 in Mathematics.
  • CSIR-UGC NET (JRF), June 2017 in Mathematics.
  • Joint Admission Test for Masters (JAM), 2015.
  • INSPIRE Scholarship, 2011-2015, DST, Govt. of India.