-
Almost Sure Convergence and Non-asymptotic Concentration Bounds for Stochastic Mirror Descent Algorithm
Authors:
Anik Kumar Paul,
Arun D Mahindrakar,
Rachel K Kalaimani
Abstract:
This letter investigates the convergence and concentration properties of the Stochastic Mirror Descent (SMD) algorithm utilizing biased stochastic subgradients. We establish the almost sure convergence of the algorithm's iterates under the assumption of diminishing bias. Furthermore, we derive concentration bounds for the discrepancy between the iterates' function values and the optimal value, bas…
▽ More
This letter investigates the convergence and concentration properties of the Stochastic Mirror Descent (SMD) algorithm utilizing biased stochastic subgradients. We establish the almost sure convergence of the algorithm's iterates under the assumption of diminishing bias. Furthermore, we derive concentration bounds for the discrepancy between the iterates' function values and the optimal value, based on standard assumptions. Subsequently, leveraging the assumption of Sub-Gaussian noise in stochastic subgradients, we present refined concentration bounds for this discrepancy.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Convergence Analysis of Stochastic Saddle Point Mirror Descent Algorithm -- A Projected Dynamical View Point
Authors:
Anik Kumar Paul,
Arun D Mahindrakar,
Rachel K Kalaimani
Abstract:
Saddle point problems, ubiquitous in optimization, extend beyond game theory to diverse domains like power networks and reinforcement learning. This paper presents novel approaches to tackle saddle point problem, with a focus on continuous-time contexts. In this paper we propose a continuous time dynamics to tackle saddle point problem utilizing projected dynamical system in non-Euclidean domain.…
▽ More
Saddle point problems, ubiquitous in optimization, extend beyond game theory to diverse domains like power networks and reinforcement learning. This paper presents novel approaches to tackle saddle point problem, with a focus on continuous-time contexts. In this paper we propose a continuous time dynamics to tackle saddle point problem utilizing projected dynamical system in non-Euclidean domain. This involves computing the (sub/super) gradient of the min-max function within a Riemannian metric. Additionally, we establish viable Caratheodory solutions also prove the Lyapunov stability and asymptotic set stability of the proposed continuous time dynamical system. Next, we present the Stochastic Saddle Point Mirror Descent (SSPMD) algorithm and establish its equivalence with the proposed continuous-time dynamics. Leveraging stability analysis of the continuous-time dynamics, we demonstrate the almost sure convergence of the algorithm's iterates. Furthermore, we introduce the Zeroth-Order Saddle Point Mirror Descent (SZSPMD) algorithm, which approximates gradients using Nesterov's Gaussian Approximation, showcasing convergence to a neighborhood around saddle points. The analysis in this paper provides geometric insights into the mirror descent algorithm and demonstrates how these insights offer theoretical foundations for various practical applications of the mirror descent algorithm in diverse scenarios.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
A Mathematical Theory for Studying and Controlling the Disinformation System Dynamics
Authors:
Arindam Kumar Paul,
M. Haider Ali Biswas
Abstract:
This study explores the connection between disinformation, defined as deliberate spread of false information, and rate-induced tipping (R-tipping), a phenomenon where systems undergo sudden changes due to rapid shifts in ex-ternal forces. While traditionally, tipping points were associated with exceeding critical thresholds, R-tipping highlights the influence of the rate of change, even without cr…
▽ More
This study explores the connection between disinformation, defined as deliberate spread of false information, and rate-induced tipping (R-tipping), a phenomenon where systems undergo sudden changes due to rapid shifts in ex-ternal forces. While traditionally, tipping points were associated with exceeding critical thresholds, R-tipping highlights the influence of the rate of change, even without crossing specific levels. The study argues that disinformation campaigns, often organized and fast-paced, can trigger R-tipping events in public opinion and societal behavior. This can happen even if the disinformation itself doesn't reach a critical mass, making it challenging to predict and control. Here, by Transforming a population dynamics model into a network model, Investigating the interplay between the source of disinformation, the exposed population, and the medium of transmission under the influence of external sources, the study aims to provide valuable insights for predicting and controlling the spread of disinformation. This mathematical approach holds promise for developing effective countermeasures against this increasingly prevalent threat to public discourse and decision-making.
△ Less
Submitted 22 January, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
A mathematical model for understanding and controlling monkeypox transmission dynamics in the United States and its implications for future epidemic management
Authors:
Md. Azmir Ibne Islam,
M H M Mubassir,
Arindam Kumar Paul,
Sharmin Sultana Shanta
Abstract:
Background: Although the outbreak of human monkeypox (mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about the short-term dynamics of this disease. This limited information highlights the critical need to assess the underlying interventions. Method: To identify and re-examine the key pattern of the disease, a modified logistic growth model is presented…
▽ More
Background: Although the outbreak of human monkeypox (mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about the short-term dynamics of this disease. This limited information highlights the critical need to assess the underlying interventions. Method: To identify and re-examine the key pattern of the disease, a modified logistic growth model is presented and analysed in this paper. Our main focus is on the two non-pharmaceutical interventions: policies aimed at reducing human-to-human transmission and animal-to-human transmission. We incorporated these two strategies in the model as control parameters to understand their short-term significance on the epidemic, and to analyse their strengths in minimizing the infected cases. We used mpox data set of the United States from 10 May 2022 to 31 December 2022 in the model and estimated the baseline parameters. Results: The model reveals a complying acceptance to the US data set. Model simulations highlight that preventive measures could play important roles in controlling the deadly spread of the disease in the year of 2022. During the transmission period, better outcomes could have been possible to achieve in the US if both controls were brought to action simultaneously. Conclusion: Our study reflects that continuous application of the preventive strategies might be an effective tool to prevent the short-term outbreak of mpox or similar diseases. Moreover, such strategies could play supporting roles during pre- and post-vaccination periods.
△ Less
Submitted 23 November, 2024; v1 submitted 2 September, 2023;
originally announced September 2023.
-
Sequential parametrized topological complexity of sphere bundles
Authors:
Michael Farber,
Amit Kumar Paul
Abstract:
Autonomous motion of a system (robot) is controlled by a motion planning algorithm. A sequential parametrized motion planning algorithm \cite{FP22} works under variable external conditions and generates continuous motions of the system to attain the prescribed sequence of states at prescribed moments of time. Topological complexity of such algorithms characterises their structure and discontinuiti…
▽ More
Autonomous motion of a system (robot) is controlled by a motion planning algorithm. A sequential parametrized motion planning algorithm \cite{FP22} works under variable external conditions and generates continuous motions of the system to attain the prescribed sequence of states at prescribed moments of time. Topological complexity of such algorithms characterises their structure and discontinuities. Information about states of the system consistent with states of the external conditions is described by a fibration $p: E\to B$ where the base $B$ parametrises the external conditions and each fibre $p^{-1}(b)$ is the configuration space of the system constrained by external conditions $b\in B$; more detail on this approach is given below. Our main goal in this paper is to study the sequential topological complexity of sphere bundles $\dot ξ: \dot E\to B$; in other words we study {\it \lq\lq parametrized families of spheres\rq\rq} and sequential parametrized motion planning algorithms for such bundles. We use the Euler and Stiefel - Whitney characteristic classes to obtain lower bounds on the topological complexity. We illustrate our results by many explicit examples. Some related results for the special case $r=2$ were described earlier in \cite{FW23}.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Robust Analysis of Almost Sure Convergence of Zeroth-Order Mirror Descent Algorithm
Authors:
Anik Kumar Paul,
Arun D Mahindrakar,
Rachel K Kalaimani
Abstract:
This letter presents an almost sure convergence of the zeroth-order mirror descent algorithm. The algorithm admits non-smooth convex functions and a biased oracle which only provides noisy function value at any desired point. We approximate the subgradient of the objective function using Nesterov's Gaussian Approximation (NGA) with certain alternations suggested by some practical applications. We…
▽ More
This letter presents an almost sure convergence of the zeroth-order mirror descent algorithm. The algorithm admits non-smooth convex functions and a biased oracle which only provides noisy function value at any desired point. We approximate the subgradient of the objective function using Nesterov's Gaussian Approximation (NGA) with certain alternations suggested by some practical applications. We prove an almost sure convergence of the iterates' function value to the neighbourhood of optimal function value, which can not be made arbitrarily small, a manifestation of a biased oracle. This letter ends with a concentration inequality, which is a finite time analysis that predicts the likelihood that the function value of the iterates is in the neighbourhood of the optimal value at any finite iteration.
△ Less
Submitted 30 June, 2024; v1 submitted 17 March, 2023;
originally announced March 2023.
-
Sequential parametrized motion planning and its complexity, II
Authors:
Michael Farber,
Amit Kumar Paul
Abstract:
This is a continuation of our recent paper in which we developed the theory of sequential parametrized motion planning. A sequential parametrized motion planning algorithm produced a motion of the system which is required to visit a prescribed sequence of states, in a certain order, at specified moments of time. In the previous publication we analysed the sequential parametrized topological comple…
▽ More
This is a continuation of our recent paper in which we developed the theory of sequential parametrized motion planning. A sequential parametrized motion planning algorithm produced a motion of the system which is required to visit a prescribed sequence of states, in a certain order, at specified moments of time. In the previous publication we analysed the sequential parametrized topological complexity of the Fadell - Neuwirth fibration which in relevant to the problem of moving multiple robots avoiding collisions with other robots and with obstacles in the Euclidean space. Besides, in the preceeding paper we found the sequential parametrised topological complexity of the Fadell - Neuwirth bundle for the case of the Euclidean space $\Bbb R^d$ of odd dimension as well as the case $d=2$. In the present paper we give the complete answer for an arbitrary $d\ge 2$ even. Moreover, we present an explicit motion planning algorithm for controlling multiple robots in $\Bbb R^d$ having the minimal possible topological complexity; this algorithm is applicable to any number $n$ of robots and any number $m\ge 2$ of obstacles.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
Sequential Parametrized Motion Planning and its Complexity
Authors:
Michael Farber,
Amit Kumar Paul
Abstract:
In this paper we develop theory of sequential parametrized motion planning which generalises the approach of parametrized motion planning, which was introduced recently in [3]. A sequential parametrized motion planning algorithm produced a motion of the system which is required to visit a prescribed sequence of states, in certain order, at specified moments of time. The sequential parametrized alg…
▽ More
In this paper we develop theory of sequential parametrized motion planning which generalises the approach of parametrized motion planning, which was introduced recently in [3]. A sequential parametrized motion planning algorithm produced a motion of the system which is required to visit a prescribed sequence of states, in certain order, at specified moments of time. The sequential parametrized algorithms are universal as the external conditions are not fixed in advance but rather constitute part of the input of the algorithm. The second part of this article consists of a detailed analysis of the sequential parametrized topological complexity of the Fadell - Neuwirth fibration. In the language of robotics, sections of the Fadell - Neuwitrh fibration are algorithms for moving multiple robots avoiding collisions with other robots and with obstacles in Euclidean space. In the last section of the paper we introduce the new notion of TC-generating function of a fibration, examine examples and raise some general questions about its analytic properties.
△ Less
Submitted 17 September, 2022; v1 submitted 17 May, 2022;
originally announced May 2022.
-
Simplicial and combinatorial versions of higher symmetric topological complexity
Authors:
Amit Kumar Paul,
Debasis Sen
Abstract:
In this paper, we introduce higher symmetric simplicial complexity $SC_n^Σ(K)$ of a simplicial complex $K$ and higher symmetric combinatorial complexity $CC_n^Σ(P)$ of a finite poset $P$. These are simplicial and combinatorial approaches to symmetric motion planning of Basabe - González - Rudyak - Tamaki. We prove that the symmetric simplicial complexity $SC_n^Σ(K)$ is equal to symmetric topologic…
▽ More
In this paper, we introduce higher symmetric simplicial complexity $SC_n^Σ(K)$ of a simplicial complex $K$ and higher symmetric combinatorial complexity $CC_n^Σ(P)$ of a finite poset $P$. These are simplicial and combinatorial approaches to symmetric motion planning of Basabe - González - Rudyak - Tamaki. We prove that the symmetric simplicial complexity $SC_n^Σ(K)$ is equal to symmetric topological complexity $TC_n^Σ(|K|)$ of the geometric realization of $K$ and the symmetric combinatorial complexity $CC_n^Σ(P)$ is equal to symmetric topological complexity $TC_n^Σ(|\mathcal{K}(P)|)$ of the geometric realization of the order complex of $P$.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
An upper bound for higher topological complexity and higher strongly equivariant complexity
Authors:
Amit Kumar Paul,
Debasis Sen
Abstract:
We prove an upper bound of higher topological complexity $TC_n(X)$ using higher $\mathcal{D}$-topological complexity $TC_n^{\mathcal{D}}(X)$ of a space $X$. An intermediate invariant $\widetilde{TC}_n(X)$ is used in the proof. We interpret this invariant $\widetilde{TC}_n(X)$ as higher analogue of strongly equivariant topological complexity of the universal cover of $\widetilde{X}$ with the action…
▽ More
We prove an upper bound of higher topological complexity $TC_n(X)$ using higher $\mathcal{D}$-topological complexity $TC_n^{\mathcal{D}}(X)$ of a space $X$. An intermediate invariant $\widetilde{TC}_n(X)$ is used in the proof. We interpret this invariant $\widetilde{TC}_n(X)$ as higher analogue of strongly equivariant topological complexity of the universal cover of $\widetilde{X}$ with the action of the fundamental group of $X$.
△ Less
Submitted 12 December, 2019; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Higher analogs of simplicial and combinatorial complexity
Authors:
Amit Kumar Paul
Abstract:
We introduce higher simplicial complexity of a simplicial complex $K$ and higher combinatorial complexity of a finite space $P$ (i.e. $P$ is a finite poset). We relate higher simplicial complexity with higher topological complexity of $|K|$ and higher combinatorial complexity with higher simplicial complexity of the order complex of $P$.
We introduce higher simplicial complexity of a simplicial complex $K$ and higher combinatorial complexity of a finite space $P$ (i.e. $P$ is a finite poset). We relate higher simplicial complexity with higher topological complexity of $|K|$ and higher combinatorial complexity with higher simplicial complexity of the order complex of $P$.
△ Less
Submitted 4 May, 2019;
originally announced May 2019.
