-
On local preservation of orthogonality and its application to isometries
Authors:
Debmalya Sain,
Jayanta Manna,
Kallol Paul
Abstract:
We investigate the local preservation of Birkhoff-James orthogonality at a point by a linear operator on a finite-dimensional Banach space and illustrate its importance in understanding the action of the operator in terms of the geometry of the concerned spaces. In particular, it is shown that such a study is related to the preservation of k-smoothness and the extremal properties of the unit ball…
▽ More
We investigate the local preservation of Birkhoff-James orthogonality at a point by a linear operator on a finite-dimensional Banach space and illustrate its importance in understanding the action of the operator in terms of the geometry of the concerned spaces. In particular, it is shown that such a study is related to the preservation of k-smoothness and the extremal properties of the unit ball of a Banach space. As an application of the results obtained in this direction, we obtain a refinement of the well-known Blanco-Koldobsky-Turnsek characterization of isometries on some polyhedral Banach spaces, including $ \ell_{\infty}^n, \ell_1^n. $
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
On uniform Bishop-Phelps-Bollobás type approximations of linear operators and preservation of geometric properties
Authors:
Debmalya Sain,
Arpita Mal,
Kalidas Mandal,
Kallol Paul
Abstract:
We study uniform $ε-$BPB approximations of bounded linear operators between Banach spaces from a geometric perspective. We show that for sufficiently small positive values of $ε,$ many geometric properties like smoothness, norm attainment and extremality of operators are preserved under such approximations. We present examples of pairs of Banach spaces satisfying non-trivial norm preserving unifor…
▽ More
We study uniform $ε-$BPB approximations of bounded linear operators between Banach spaces from a geometric perspective. We show that for sufficiently small positive values of $ε,$ many geometric properties like smoothness, norm attainment and extremality of operators are preserved under such approximations. We present examples of pairs of Banach spaces satisfying non-trivial norm preserving uniform $ε-$BPB approximation property in the global sense. We also study these concepts in case of bounded linear operators between Hilbert spaces. Our approach in the present article leads to the improvement and generalization of some earlier results in this context.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
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.
-
Extreme contractions on finite-dimensional Banach spaces
Authors:
Debmalya Sain,
Shamim Sohel,
Kallol Paul
Abstract:
We study extreme contractions in the setting of finite-dimensional polyhedral Banach spaces. Motivated by the famous Krein-Milman Theorem, we prove that a \emph{rank one} norm one linear operator between such spaces can be expressed as a convex combination of \emph{rank one} extreme contractions, whenever the domain is two-dimensional. We establish that the same result holds true in the space of a…
▽ More
We study extreme contractions in the setting of finite-dimensional polyhedral Banach spaces. Motivated by the famous Krein-Milman Theorem, we prove that a \emph{rank one} norm one linear operator between such spaces can be expressed as a convex combination of \emph{rank one} extreme contractions, whenever the domain is two-dimensional. We establish that the same result holds true in the space of all linear operators from $\ell_{\infty}^n(\mathbb{C}) $ to $ \ell_1^n (\mathbb{C}). $ Furthermore, we present a geometric characterization of extreme contractions between finite-dimensional polyhedral Banach spaces.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
On T-orthogonality in Banach spaces
Authors:
Debmalya Sain,
Souvik Ghosh,
Kallol Paul
Abstract:
Let $\mathbb{X}$ be a Banach space and let $\mathbb{X}^*$ be the dual space of $\mathbb{X}.$ For $x,y \in \mathbb{X},$ $ x$ is said to be $T$-orthogonal to $y$ if $Tx(y) =0,$ where $T$ is a bounded linear operator from $\mathbb{X}$ to $\mathbb{X}^*.$
We study the notion of $T$-orthogonality in a Banach space and investigate its relation with the various geometric properties, like strict convexit…
▽ More
Let $\mathbb{X}$ be a Banach space and let $\mathbb{X}^*$ be the dual space of $\mathbb{X}.$ For $x,y \in \mathbb{X},$ $ x$ is said to be $T$-orthogonal to $y$ if $Tx(y) =0,$ where $T$ is a bounded linear operator from $\mathbb{X}$ to $\mathbb{X}^*.$
We study the notion of $T$-orthogonality in a Banach space and investigate its relation with the various geometric properties, like strict convexity, smoothness, reflexivity of the space. We explore the notions of left and right symmetric elements w.r.t. the notion of $T$-orthogonality. We characterize bounded linear operators on $\mathbb{X}$ preserving $T$-orthogonality. Finally we characterize Hilbert spaces among all Banach spaces using $T$-orthogonality. \end{abstract}
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Exploring Algorithmic Solutions for the Independent Roman Domination Problem in Graphs
Authors:
Kaustav Paul,
Ankit Sharma,
Arti Pandey
Abstract:
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (or IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for…
▽ More
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (or IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for $i\in \{0,1,2\}$. The total weight of $f$ is equal to $\sum_{v\in V} f(v)$, and is denoted as $w(f)$. The \emph{Independent Roman Domination Number} of $G$, denoted by $i_R(G)$, is defined as min$\{w(f)~\vert~f$ is an IRDF of $G\}$. For a given graph $G$, the problem of computing $i_R(G)$ is defined as the \emph{Minimum Independent Roman Domination problem}. The problem is already known to be NP-hard for bipartite graphs. In this paper, we further study the algorithmic complexity of the problem.
In this paper, we propose a polynomial-time algorithm to solve the Minimum Independent Roman Domination problem for distance-hereditary graphs, split graphs, and $P_4$-sparse graphs.
△ Less
Submitted 12 July, 2024; v1 submitted 4 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 note on the $A$-numerical range of semi-Hilbertian operators
Authors:
Anirban Sen,
Riddhick Birbonshi,
Kallol Paul
Abstract:
In this paper we explore the relation between the $A$-numerical range and the $A$-spectrum of $A$-bounded operators in the setting of semi-Hilbertian structure. We introduce a new definition of $A$-normal operator and prove that closure of the $A$-numerical range of an $A$-normal operator is the convex hull of the $A$-spectrum. We further prove Anderson's theorem for the sum of $A$-normal and $A$-…
▽ More
In this paper we explore the relation between the $A$-numerical range and the $A$-spectrum of $A$-bounded operators in the setting of semi-Hilbertian structure. We introduce a new definition of $A$-normal operator and prove that closure of the $A$-numerical range of an $A$-normal operator is the convex hull of the $A$-spectrum. We further prove Anderson's theorem for the sum of $A$-normal and $A$-compact operators which improves and generalizes the existing result on Anderson's theorem for $A$-compact operators. Finally we introduce strongly $A$-numerically closed class of operators and along with other results prove that the class of $A$-normal operators is strongly $A$-numerically closed.
△ Less
Submitted 7 February, 2024;
originally announced February 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.
-
Smooth weighted zero-sum constants
Authors:
Krishnendu Paul,
Shameek Paul
Abstract:
Let $A\subseteq\mathbb Z_n$ be a weight-set and $S=(x_1,x_2,\ldots, x_k)$ be a sequence in $\mathbb Z_n$. We say that $S$ is a smooth $A$-weighted zero-sum sequence if there exists $(a_1,\ldots,a_k)\in A^k$ such that we have $a_1x_1+\cdots+a_kx_k=0$ and $a_1+\cdots+a_k=0$. It is easy to see that if $S$ is a smooth $A$-weighted zero-sum sequence, then for every $y\in \mathbb Z_n$ the sequence…
▽ More
Let $A\subseteq\mathbb Z_n$ be a weight-set and $S=(x_1,x_2,\ldots, x_k)$ be a sequence in $\mathbb Z_n$. We say that $S$ is a smooth $A$-weighted zero-sum sequence if there exists $(a_1,\ldots,a_k)\in A^k$ such that we have $a_1x_1+\cdots+a_kx_k=0$ and $a_1+\cdots+a_k=0$. It is easy to see that if $S$ is a smooth $A$-weighted zero-sum sequence, then for every $y\in \mathbb Z_n$ the sequence $S+y=(x_1+y,\ldots,x_k+y)$ is also a smooth $A$-weighted zero-sum sequence. From the well known EGZ-theorem it follows that if $S$ has length at least $2n-1$, then $S$ has a smooth $A$-weighted zero-sum subsequence of length $n$. The constant $\bar E_A$ is defined to be the smallest positive integer $k$ such that any sequence of length $k$ in $\mathbb Z_n$ has a smooth $A$-weighted zero-sum subsequence of length $n$. A sequence in $\mathbb Z_n$ of length $\bar E_A-1$ which does not have any smooth $A$-weighted zero-sum subsequence of length $n$ is called an $\bar E$-extremal sequence for $A$. For every $n$ we consider the weight-sets $\{1\}$ and $\mathbb Z_n\setminus\{0\}$. When $n$ is an odd prime $p$ we consider the weight-set $Q_p$ of all non-zero quadratic residues. We also study the related constants $\bar C_A$ and $\bar D_A$.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
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:
Although the outbreak of human monkeypox (Mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about this epidemic-like disease. To identify and re-examine the underlying pattern of the disease through a modified logistic growth model, Mpox data set of the United States from 10 May 2022 to 31 December 2022 was used in this study. The main focus is on the two…
▽ More
Although the outbreak of human monkeypox (Mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about this epidemic-like disease. To identify and re-examine the underlying pattern of the disease through a modified logistic growth model, Mpox data set of the United States from 10 May 2022 to 31 December 2022 was used in this study. The main focus is on the two non-pharmaceutical interventions (policies for reducing human-to-human, and animal-to-human transmissions) which were applied to understand their significance on the epidemic. The interventions are used as control parameters in the model with a view to analyzing the strengths of such controls in minimizing the infected cases. The model reveals a complying acceptance to the United States data. The findings disclose that preventive measures could play important roles in controlling the deadly spread of the transmission 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. Our model reflects that to prevent the outbreak of Mpox and/or any similar diseases from a community in future, the continuous application of the preventive strategies displayed through the model might be an effective tool. Moreover, such strategies could play supporting roles during pre-and/or post-vaccination periods.
△ Less
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.
-
Refinements of generalized Euclidean operator radius inequalities of 2-tuple operators
Authors:
Suvendu Jana,
Pintu Bhunia,
Kallol Paul
Abstract:
We develop several upper and lower bounds for the $A$-Euclidean operator radius of $2$-tuple operators admitting $A$-adjoint, and show that they refine the earlier related bounds. As an application of the bounds developed here, we obtain sharper $A$-numerical radius bounds.
We develop several upper and lower bounds for the $A$-Euclidean operator radius of $2$-tuple operators admitting $A$-adjoint, and show that they refine the earlier related bounds. As an application of the bounds developed here, we obtain sharper $A$-numerical radius bounds.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Estimations of Euclidean operator radius
Authors:
Pintu Bhunia,
Suvendu Jana,
Kallol Paul
Abstract:
We develop several Euclidean operator radius bounds for the product of two $d$-tuple operators using positivity criteria of a $2\times 2$ block matrix whose entries are $d$-tuple operators. From these bounds, by using the polar decomposition of operators, we obtain Euclidean operator radius bounds for $d$-tuple operators. Among many other interesting bounds, it is shown that \begin{eqnarray*} w_e(…
▽ More
We develop several Euclidean operator radius bounds for the product of two $d$-tuple operators using positivity criteria of a $2\times 2$ block matrix whose entries are $d$-tuple operators. From these bounds, by using the polar decomposition of operators, we obtain Euclidean operator radius bounds for $d$-tuple operators. Among many other interesting bounds, it is shown that \begin{eqnarray*} w_e(\mathbf{A}) &\leq&\frac1{\sqrt2} \mathbf{A}\|^{1/2}\sqrt{\left\|\sum_{k=1}^{d} (|A_k|+|A_k^*|)\right\|}, \end{eqnarray*} where $w_e(\mathbf{A})$ and $\|\mathbf{A}\|$ are the Euclidean operator radius and the Euclidean operator norm, respectively, of a $d$-tuple operator $\mathbf{A}=(A_1,A_2, \ldots,A_d).$ Further, we develop an upper bound for the Euclidean operator radius of $n\times n$ operator matrix whose entries are $d$-tuple operators. In particular, it is proved that if $\begin{bmatrix} \mathbf{A_{ij}} \end{bmatrix}_{n\times n}$ is an $n\times n$ operator matrix then $$ w_e\left( \begin{bmatrix} \mathbf{A_{ij}} \end{bmatrix}_{n\times n}\right)\leq w \left(\begin{bmatrix} a_{ij} \end{bmatrix}_{n\times n}\right),$$ where each $\mathbf{A_{ij}}$ is a $d$-tuple operator, $1\leq i,j\leq n$, $a_{ij}=w_e(\mathbf{A_{ij}})\, \textit{ if i=j}$, $a_{ij}= \sqrt{w_e\left(|\mathbf{A_{ji}|}+|\mathbf{A_{ij}^*}|\right)w_e\left(|\mathbf{A_{ij}|}+|\mathbf{A_{ji}^*}|\right)}\,\textit{ if $i<j$}$, and $a_{ij}= 0\,\textit{ if $i>j$}.$ Other related applications are also discussed.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Euclidean operator radius and numerical radius inequalities
Authors:
Suvendu Jana,
Pintu Bhunia,
Kallol Paul
Abstract:
Let $T$ be a bounded linear operator on a complex Hilbert space $\mathscr{H}.$ We obtain various lower and upper bounds for the numerical radius of $T$ by developing the Euclidean operator radius bounds of a pair of operators, which are stronger than the existing ones. In particular, we develop an inequality that improves on the inequality…
▽ More
Let $T$ be a bounded linear operator on a complex Hilbert space $\mathscr{H}.$ We obtain various lower and upper bounds for the numerical radius of $T$ by developing the Euclidean operator radius bounds of a pair of operators, which are stronger than the existing ones. In particular, we develop an inequality that improves on the inequality $$ w(T) \geq \frac12 {\|T\|}+\frac14 {\left|\|Re(T)\|-\frac12 \|T\| \right|} + \frac14 { \left| \|Im(T)\|-\frac12 \|T\| \right|}.$$ Various equality conditions of the existing numerical radius inequalities are also provided. Further, we study the numerical radius inequalities of $2\times 2$ off-diagonal operator matrices. Applying the numerical radius bounds of operator matrices, we develop the upper bounds of $w(T)$ by using $t$-Aluthge transform. In particular, we improve the well known inequality
$$ w(T) \leq \frac12 {\|T\|}+ \frac12{ w(\widetilde{T})}, $$ where $\widetilde{T}=|T|^{1/2}U|T|^{1/2}$ is the Aluthge transform of $T$ and $T=U|T|$ is the polar decomposition of $T$.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Berezin number and Berezin norm inequalities for operator matrices
Authors:
Pintu Bhunia,
Anirban Sen,
Somdatta Barik,
Kallol Paul
Abstract:
We establish new upper bounds for Berezin number and Berezin norm of operator matrices, which are refinements of the existing bounds. Among other bounds, we prove that if $A=[A_{ij}]$ is an $n\times n$ operator matrix with $A_{ij}\in\mathbb{B}(\mathcal{H})$ for $i,j=1,2\dots n$, then
$\|A\|_{ber} \leq \left\|\left[\|A_{ij}\|_{ber}\right]\right\|$ and $\textbf{ber}(A) \leq w([a_{ij}]),$ where…
▽ More
We establish new upper bounds for Berezin number and Berezin norm of operator matrices, which are refinements of the existing bounds. Among other bounds, we prove that if $A=[A_{ij}]$ is an $n\times n$ operator matrix with $A_{ij}\in\mathbb{B}(\mathcal{H})$ for $i,j=1,2\dots n$, then
$\|A\|_{ber} \leq \left\|\left[\|A_{ij}\|_{ber}\right]\right\|$ and $\textbf{ber}(A) \leq w([a_{ij}]),$ where $a_{ii}=\textbf{ber}(A_{ii}),$ $a_{ij}=\big\||A_{ij}|+|A^*_{ji}|\big\|^{\frac{1}{2}}_{ber} \big\||A_{ji}|+|A^*_{ij}|\big\|^{\frac{1}{2}}_{ber}$ if $i<j$ and $a_{ij}=0$ if $i>j$. Further, we give some examples for the Berezin number and Berezin norm estimation of operator matrices on the Hardy-Hilbert space.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Euclidean operator radius inequalities of $d$-tuple operators and operator matrices
Authors:
Suvendu Jana,
Pintu Bhunia,
Kallol Paul
Abstract:
In this paper, we develop several Euclidean operator radius inequalities of $d$-tuple operators, as well as the sum and the product of $d$-tuple operators. Also, we obtain a power inequality for the Euclidean operator radius. Further, we develop Euclidean operator radius inequalities of $2\times 2$ operator matrices whose entries are $d$-tuple operators.
In this paper, we develop several Euclidean operator radius inequalities of $d$-tuple operators, as well as the sum and the product of $d$-tuple operators. Also, we obtain a power inequality for the Euclidean operator radius. Further, we develop Euclidean operator radius inequalities of $2\times 2$ operator matrices whose entries are $d$-tuple operators.
△ Less
Submitted 17 April, 2023;
originally announced April 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.
-
Complexity of total dominator coloring in graphs
Authors:
Michael A. Henning,
Kusum,
Arti Pandey,
Kaustav Paul
Abstract:
Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator col…
▽ More
Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator coloring of graph $G$ is a proper coloring of vertices of $G$, so that each vertex totally dominates some color class. The total dominator chromatic number $χ_{td}(G)$ of $G$ is the least number of colors required for a total dominator coloring of $G$. The Total Dominator Coloring problem is to find a total dominator coloring of $G$ using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the Total Dominator Coloring problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having $χ_{td}(T)=γ_t(T)+1$, which completes the characterization of trees achieving all possible values of $χ_{td}(T)$. Also, we show that for a cograph $G$, $χ_{td}(G)$ can be computed in linear-time. Moreover, we show that $2 \le χ_{td}(G) \le 4$ for a chain graph $G$ and give characterization of chain graphs for every possible value of $χ_{td}(G)$ in linear-time.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Numerical radius inequalities and estimation of zeros of polynomials
Authors:
Suvendu Jana,
Pintu Bhunia,
Kallol Paul
Abstract:
Let $A$ be a bounded linear operator defined on a complex Hilbert space and let $|A|=(A^*A)^{1/2}$ be the positive square root of $A$.
Among other refinements of the well known numerical radius inequality $w^2(A)\leq \frac12 \|A^*A+AA^*\|$,
we show that
\begin{eqnarray*}
w^2(A)&\leq&\frac{1}{4} w^2 \left(|A|+i|A^*|\right)+\frac{1}{8}\left\||A|^2+|A^*|^2\right \|+\frac{1}{4}w\left(|A||A^*|\…
▽ More
Let $A$ be a bounded linear operator defined on a complex Hilbert space and let $|A|=(A^*A)^{1/2}$ be the positive square root of $A$.
Among other refinements of the well known numerical radius inequality $w^2(A)\leq \frac12 \|A^*A+AA^*\|$,
we show that
\begin{eqnarray*}
w^2(A)&\leq&\frac{1}{4} w^2 \left(|A|+i|A^*|\right)+\frac{1}{8}\left\||A|^2+|A^*|^2\right \|+\frac{1}{4}w\left(|A||A^*|\right)
&\leq& \frac12 \|A^*A+AA^*\|.
\end{eqnarray*} Also, we develop inequalities involving numerical radius and spectral radius for the sum of the product operators, from which we derive the following inequalities $$ w^p(A) \leq \frac{1}{\sqrt{2} } w(|A|^p+i|A^*|^p )\leq \|A\|^p$$ for all $p\geq 1.$ Further, we derive new bounds for the zeros of complex polynomials.
△ Less
Submitted 8 January, 2023;
originally announced January 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.
-
On subspaces of $\ell_\infty$ and extreme contraction in $\mathbb{L}(\mathbb{X}, \ell_{\infty}^n)$
Authors:
Shamim Sohel,
Debmalya Sain,
Kallol Paul
Abstract:
We investigate different possiblities of subspaces of the space $\ell_{\infty}$ in terms of whether the subspaces are polyhedral or not. We further study finite-dimensional subspaces of $\ell_{\infty}$ which are of the form $\ell_\infty^n$ form some $ n \geq 2.$ As an application of the results we compute the number of extreme contractions for a class of the space of bounded linear operators. In p…
▽ More
We investigate different possiblities of subspaces of the space $\ell_{\infty}$ in terms of whether the subspaces are polyhedral or not. We further study finite-dimensional subspaces of $\ell_{\infty}$ which are of the form $\ell_\infty^n$ form some $ n \geq 2.$ As an application of the results we compute the number of extreme contractions for a class of the space of bounded linear operators. In particular we find the number of extreme contractions of $\mathbb{L}(\mathbb{X}, \ell_{\infty}^n),$ where $\mathbb{X}$ is a finite-dimensional polyhedral space.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Numerical radius inequalities of sectorial matrices
Authors:
Pintu Bhunia,
Kallol Paul,
Anirban Sen
Abstract:
We obtain several upper and lower bounds for the numerical radius of sectorial matrices. We also develop several numerical radius inequalities of the sum, product and commutator of sectorial matrices. The inequalities obtained here are sharper than the existing related inequalities for general matrices. Among many other results we prove that if $A$ is an $n\times n$ complex matrix with the numeric…
▽ More
We obtain several upper and lower bounds for the numerical radius of sectorial matrices. We also develop several numerical radius inequalities of the sum, product and commutator of sectorial matrices. The inequalities obtained here are sharper than the existing related inequalities for general matrices. Among many other results we prove that if $A$ is an $n\times n$ complex matrix with the numerical range $W(A)$ satisfying $W(A)\subseteq\{re^{\pm iθ}~:~θ_1\leqθ\leqθ_2\},$ where $r>0$ and $θ_1,θ_2\in \left[0,π/2\right],$ then \begin{eqnarray*}
&&(i)\,\, w(A) \geq \frac{cscγ}{2}\|A\|
+ \frac{cscγ}{2}\left| \|\Im(A)\|-\|\Re(A)\|\right|,\,\,\text{and}
&&(ii)\,\, w^2(A) \geq \frac{csc^2γ}{4}\|AA^*+A^*A\|
+ \frac{csc^2γ}{2}\left| \|\Im(A)\|^2-\|\Re(A)\|^2\right|, \end{eqnarray*} where $γ=\max\{θ_2,π/2-θ_1\}$. We also prove that if $A,B$ are sectorial matrices with sectorial index $γ\in [0,π/2)$ and they are double commuting, then $w(AB)\leq \left(1+\sin^2γ\right)w(A)w(B).$
△ Less
Submitted 21 August, 2022;
originally announced August 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.
-
Extremal sequences for the unit-weighted Gao constant of $\mathbb Z_n$
Authors:
Santanu Mondal,
Krishnendu Paul,
Shameek Paul
Abstract:
For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the…
▽ More
For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the Gao constant. Such a sequence which has $n-1$ zeroes is said to be of the standard type. When $A=U(n)$ (units in $\mathbb Z_n$) where $n$ is odd, we characterize all such sequences and show that they are of the standard type. When $n$ is even, we give examples of such sequences which are not of the standard type. We also characterize the $U(n)$-extremal sequences for the Gao constant, when $n=2^rp$, where $p$ is an odd prime.
△ Less
Submitted 15 April, 2022;
originally announced April 2022.
-
Euclidean operator radius inequalities of a pair of bounded linear operators and their applications
Authors:
Suvendu Jana,
Pintu Bhunia,
Kallol Paul
Abstract:
We obtain several sharp lower and upper bounds for the Euclidean operator radius of a pair of bounded linear operators defined on a complex Hilbert space. As applications of these bounds we deduce a chain of new bounds for the classical numerical radius of a bounded linear operator which improve on the existing ones. In particular, we prove that for a bounded linear operator $A,$
\[\frac{1}{4} \…
▽ More
We obtain several sharp lower and upper bounds for the Euclidean operator radius of a pair of bounded linear operators defined on a complex Hilbert space. As applications of these bounds we deduce a chain of new bounds for the classical numerical radius of a bounded linear operator which improve on the existing ones. In particular, we prove that for a bounded linear operator $A,$
\[\frac{1}{4} \|A^*A+AA^*\|+\fracμ{2}\max \{\|\Re(A)\|,\|\Im(A)\|\}
\leq w^2(A) \, \leq \, w^2( |\Re(A)| +i |\Im(A)|),\]
where $μ= \big| \|\Re(A)+\Im(A)\|-\|\Re(A)-\Im(A)\|\big|.$ This improve the existing upper and lower bounds of the numerical radius, namely,
\[ \frac14 \|A^*A+AA^*\|\leq w^2(A) \leq \frac12 \|A^*A+AA^*\|. \]
△ Less
Submitted 11 April, 2022;
originally announced April 2022.
-
Numerical radius inequalities for tensor product of operators
Authors:
Anirban Sen,
Pintu Bhunia,
Kallol Paul
Abstract:
The two well-known numerical radius inequalities for the tensor product $A \otimes B$ acting on $\mathbb{H} \otimes \mathbb{K}$, where $A$ and $B$ are bounded linear operators defined on complex Hilbert spaces $\mathbb{H} $ and $ \mathbb{K},$ respectively are, $ \frac{1}{2} \|A\|\|B\| \leq w(A \otimes B) \leq \|A\|\|B\| $ and $w(A)w(B) \leq w(A \otimes B) \leq \min \{ w(A) \|B\|, w(B) \|A\| \}. $…
▽ More
The two well-known numerical radius inequalities for the tensor product $A \otimes B$ acting on $\mathbb{H} \otimes \mathbb{K}$, where $A$ and $B$ are bounded linear operators defined on complex Hilbert spaces $\mathbb{H} $ and $ \mathbb{K},$ respectively are, $ \frac{1}{2} \|A\|\|B\| \leq w(A \otimes B) \leq \|A\|\|B\| $ and $w(A)w(B) \leq w(A \otimes B) \leq \min \{ w(A) \|B\|, w(B) \|A\| \}. $ In this article we develop new lower and upper bounds for the numerical radius $w(A \otimes B)$ of the tensor product $A \otimes B $ and study the equality conditions for those bounds.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
On unit-weighted zero-sum constants of $\mathbb Z_n$
Authors:
Santanu Mondal,
Krishnendu Paul,
Shameek Paul
Abstract:
Given $A\subseteq\mathbb Z_n$, the constant $C_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence having consecutive terms. The value of $C_{U(n)}(n)$ is known when $n$ is odd. We give a different argument to determine the value of $C_{U(n)}(n)$ for any $n$. A $C$-extremal sequence for $U(n)$ is a…
▽ More
Given $A\subseteq\mathbb Z_n$, the constant $C_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence having consecutive terms. The value of $C_{U(n)}(n)$ is known when $n$ is odd. We give a different argument to determine the value of $C_{U(n)}(n)$ for any $n$. A $C$-extremal sequence for $U(n)$ is a sequence in $\mathbb Z_n$ whose length is $C_{U(n)}(n)-1$ and which does not have any $U(n)$-weighted zero-sum subsequence having consecutive terms. We characterize the $C$-extremal sequences for $U(n)$ when $n$ is a power of 2. For any $n$, we determine the value of $C_A(n)$ where $A$ is the set of all odd (or all even) elements of $\mathbb Z_n$ and also when $A=\{1,2,\ldots,r\}$ where $r<n$.
△ Less
Submitted 5 April, 2023; v1 submitted 5 March, 2022;
originally announced March 2022.
-
Square-weighted zero-sum constants
Authors:
Krishnendu Paul,
Shameek Paul
Abstract:
Let $A\subseteq \mathbb Z_n$ be a subset. A sequence $S=(x_1,\ldots,x_k)$ in $\mathbb Z_n$ is said to be an $A$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ such that $a_1x_1+\cdots+a_kx_k=0$. By a square, we shall mean a non-zero square in $\mathbb Z_n$. We determine the smallest natural number $k$, such that every sequence in $\mathbb Z_n$ whose length is $k$, has a square-wei…
▽ More
Let $A\subseteq \mathbb Z_n$ be a subset. A sequence $S=(x_1,\ldots,x_k)$ in $\mathbb Z_n$ is said to be an $A$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in A$ such that $a_1x_1+\cdots+a_kx_k=0$. By a square, we shall mean a non-zero square in $\mathbb Z_n$. We determine the smallest natural number $k$, such that every sequence in $\mathbb Z_n$ whose length is $k$, has a square-weighted zero-sum subsequence. We also determine the smallest natural number $k$, such that every sequence in $\mathbb Z_n$ whose length is $k$, has a square-weighted zero-sum subsequence whose terms are consecutive terms of the given sequence.
△ Less
Submitted 6 April, 2024; v1 submitted 26 February, 2022;
originally announced February 2022.
-
Davis-Wielandt-Berezin radius inequalities of Reproducing kernel Hilbert space operators
Authors:
Anirban Sen,
Pintu Bhunia,
Kallol Paul
Abstract:
Several upper and lower bounds of the Davis-Wielandt-Berezin radius of bounded linear operators defined on a reproducing kernel Hilbert space are given. Further, an inequality involving the Berezin number and the Davis-Wielandt-Berezin radius for the sum of two bounded linear operators is obtained, namely, if $A $ and $B$ are reproducing kernel Hilbert space operators, then…
▽ More
Several upper and lower bounds of the Davis-Wielandt-Berezin radius of bounded linear operators defined on a reproducing kernel Hilbert space are given. Further, an inequality involving the Berezin number and the Davis-Wielandt-Berezin radius for the sum of two bounded linear operators is obtained, namely, if $A $ and $B$ are reproducing kernel Hilbert space operators, then $$η(A+B) \leq η(A)+η(B)+\textbf{ber}(A^*B+B^*A),$$ where $η(\cdot)$ and $\textbf{ber}(\cdot)$ are the Davis-Wielandt-Berezin radius and the Berezin number, respectively.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
Development of the Berezin number inequalities
Authors:
Pintu Bhunia,
Anirban Sen,
Kallol Paul
Abstract:
We present new bounds for the Berezin number inequalities which improve on the existing bounds. We also obtain bounds for the Berezin norm of operators as well as the sum of two operators.
We present new bounds for the Berezin number inequalities which improve on the existing bounds. We also obtain bounds for the Berezin norm of operators as well as the sum of two operators.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
Extremal sequences related to the Jacobi symbol
Authors:
Santanu Mondal,
Krishnendu Paul,
Shameek Paul
Abstract:
For a weight-set $A\subseteq \mathbb Z_n$, the $A$-weighted zero-sum constant $C_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence of consecutive terms. A sequence of length $C_A(n)-1$ in $\mathbb Z_n$ which does not have any $A$-weighted zero-sum subsequence of consecutive terms will be called a…
▽ More
For a weight-set $A\subseteq \mathbb Z_n$, the $A$-weighted zero-sum constant $C_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has an $A$-weighted zero-sum subsequence of consecutive terms. A sequence of length $C_A(n)-1$ in $\mathbb Z_n$ which does not have any $A$-weighted zero-sum subsequence of consecutive terms will be called a $C$-extremal sequence for $A$.
Let $\big(\frac{x}{n}\big)$ denote the Jacobi symbol of $x\in\mathbb Z_n$. We characterize the $C$-extremal sequences for the weight-set $S(n)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=1\,\big\}$ and for the weight-set $L(n;p)=\big\{\,x\in U(n):\big(\frac{x}{n}\big)=\big(\frac{x}{p}\big)\,\big\}$ where $p$ is a prime divisor of $n$. We can define $D$-extremal sequences for these weight-sets in a way analogous to the definition of $C$-extremal sequences. We also characterize these sequences.
△ Less
Submitted 12 December, 2022; v1 submitted 1 January, 2022;
originally announced January 2022.
-
Inequalities involving Berezin norm and Berezin number
Authors:
Pintu Bhunia,
Kallol Paul,
Anirban Sen
Abstract:
We obtain new inequalities involving Berezin norm and Berezin number of bounded linear operators defined on a reproducing kernel Hilbert space $\mathscr{H}.$ Among many inequalities obtained here, it is shown that if $A$ is a positive bounded linear operator on $\mathscr{H}$, then $\|A\|_{ber}=\textbf{ber}(A)$, where $\|A\|_{ber}$ and $\textbf{ber}(A)$ are the Berezin norm and Berezin number of…
▽ More
We obtain new inequalities involving Berezin norm and Berezin number of bounded linear operators defined on a reproducing kernel Hilbert space $\mathscr{H}.$ Among many inequalities obtained here, it is shown that if $A$ is a positive bounded linear operator on $\mathscr{H}$, then $\|A\|_{ber}=\textbf{ber}(A)$, where $\|A\|_{ber}$ and $\textbf{ber}(A)$ are the Berezin norm and Berezin number of $A$, respectively. In contrast to the numerical radius, this equality does not hold for selfadjoint operators, which highlights the necessity of studying Berezin number inequalities independently.
△ Less
Submitted 19 December, 2021;
originally announced December 2021.
-
Complexity of Paired Domination in AT-free and Planar Graphs
Authors:
Vikash Tripathi,
Ton Kloks,
Arti Pandey,
Kaustav Paul,
Hung-Lung Wang
Abstract:
For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired dominating set (PD-set), if $G[D]$, the subgraph induced by $D$ in $G$ has a perfect matching. The Min-PD problem requires to compute a PD-set of minimum cardinality. T…
▽ More
For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired dominating set (PD-set), if $G[D]$, the subgraph induced by $D$ in $G$ has a perfect matching. The Min-PD problem requires to compute a PD-set of minimum cardinality. The decision version of the Min-PD problem remains NP-complete even when $G$ belongs to restricted graph classes such as bipartite graphs, chordal graphs etc. On the positive side, the problem is efficiently solvable for many graph classes including intervals graphs, strongly chordal graphs, permutation graphs etc. In this paper, we study the complexity of the problem in AT-free graphs and planar graph. The class of AT-free graphs contains cocomparability graphs, permutation graphs, trapezoid graphs, and interval graphs as subclasses. We propose a polynomial-time algorithm to compute a minimum PD-set in AT-free graphs. In addition, we also present a linear-time $2$-approximation algorithm for the problem in AT-free graphs. Further, we prove that the decision version of the problem is NP-complete for planar graphs, which answers an open question asked by Lin et al. (in Theor. Comput. Sci., $591 (2015): 99-105$ and Algorithmica, $ 82 (2020) :2809-2840$).
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Zero-sum constants related to the Jacobi symbol
Authors:
Santanu Mondal,
Krishnendu Paul,
Shameek Paul
Abstract:
For $A\subseteq\mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$ whose $A$-weighted sum is zero. When $A$ is the set of all units in $\mathbb Z_n$, we determine the value of $E_A(n)$ and values of two related constants $C_A(n)$ and $D_A(n)$. We also characteri…
▽ More
For $A\subseteq\mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$ whose $A$-weighted sum is zero. When $A$ is the set of all units in $\mathbb Z_n$, we determine the value of $E_A(n)$ and values of two related constants $C_A(n)$ and $D_A(n)$. We also characterize all sequences of length $E_A(n)-1$ in $\mathbb Z_n$ which do not have any $A$-weighted zero-sum subsequence of length $n$ when $n$ is a power of 2.
△ Less
Submitted 20 February, 2023; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Extremal sequences for a weighted zero-sum constant
Authors:
Santanu Mondal,
Krishnendu Paul,
Shameek Paul
Abstract:
The constant $C_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of consecutive terms whose $A$-weighted sum is zero, where the weight set $A\subseteq \mathbb Z_n\setminus \{0\}$. If $C_A(n)=k$, then a sequence in $\mathbb Z_n$ of length $k-1$ which has no $A$-weighted zero-sum subsequence of consecutive terms is calle…
▽ More
The constant $C_A(n)$ is defined to be the smallest natural number $k$ such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of consecutive terms whose $A$-weighted sum is zero, where the weight set $A\subseteq \mathbb Z_n\setminus \{0\}$. If $C_A(n)=k$, then a sequence in $\mathbb Z_n$ of length $k-1$ which has no $A$-weighted zero-sum subsequence of consecutive terms is called an $A$-extremal sequence. We characterize these sequences for some particular weight sets.
△ Less
Submitted 22 October, 2022; v1 submitted 1 November, 2021;
originally announced November 2021.
-
On a different weighted zero-sum constant
Authors:
Santanu Mondal,
Krishnendu Paul,
Shameek Paul
Abstract:
For a finite abelian group $(G,+)$, the constant $C(G)$ is defined to be the smallest natural number $k$ such that any sequence in $G$ having length $k$ will have a subsequence of consecutive terms whose sum is zero. For a subset $A\subseteq\mathbb Z_n$, the constant $C_A(n)$ is the smallest natural number $k$ such that any sequence in $G$ having length $k$ has an $A$-weighted zero-sum subsequence…
▽ More
For a finite abelian group $(G,+)$, the constant $C(G)$ is defined to be the smallest natural number $k$ such that any sequence in $G$ having length $k$ will have a subsequence of consecutive terms whose sum is zero. For a subset $A\subseteq\mathbb Z_n$, the constant $C_A(n)$ is the smallest natural number $k$ such that any sequence in $G$ having length $k$ has an $A$-weighted zero-sum subsequence of consecutive terms. We determine the value of $C_A(n)$ for some particular weight-sets $A$.
△ Less
Submitted 5 February, 2023; v1 submitted 6 October, 2021;
originally announced October 2021.
-
Improvement of numerical radius inequalities
Authors:
Pintu Bhunia,
Kallol Paul
Abstract:
We develop upper and lower bounds for the numerical radius of $2\times 2$ off-diagonal operator matrices, which generalize and improve on the existing ones. We also show that if $A$ is a bounded linear operator on a complex Hilbert space and $|A|$ stands for the positive square root of $A$, i.e., $|A|=(A^*A)^{1/2}$, then for all $r\geq 1$,…
▽ More
We develop upper and lower bounds for the numerical radius of $2\times 2$ off-diagonal operator matrices, which generalize and improve on the existing ones. We also show that if $A$ is a bounded linear operator on a complex Hilbert space and $|A|$ stands for the positive square root of $A$, i.e., $|A|=(A^*A)^{1/2}$, then for all $r\geq 1$, $w^{2r}(A) \leq \frac{1}{4} \big \| |A|^{2r}+|A^*|^{2r} \big \| + \frac{1}{2} \min\left\{ \big \|\Re\big(|A|^r\, |A^*|^r \big) \big \|, w^r(A^2) \right\} $ where $w(A)$, $\|A\|$ and $\Re(A)$, respectively, stand for the numerical radius, the operator norm and the real part of $A$. This (for $r=1$) improves on existing well-known numerical radius inequalities.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Improved inequalities for the numerical radius via Cartesian decomposition
Authors:
Pintu Bhunia,
Suvendu Jana,
Mohammad Sal Moslehian,
Kallol Paul
Abstract:
We develop various lower bounds for the numerical radius $w(A)$ of a bounded linear operator $A$ defined on a complex Hilbert space, which improve the existing inequality $w^2(A)\geq \frac{1}{4}\|A^*A+AA^*\|$. In particular, for $r\geq 1$, we show that \begin{eqnarray*}\frac{1}{4}\|A^*A+AA^*\|
\leq\frac{1}{2} \left( \frac{1}{2}\|\Re(A)+\Im(A)\|^{2r}+\frac{1}{2}\|\Re(A)-\Im(A)\|^{2r}\right)^{\fra…
▽ More
We develop various lower bounds for the numerical radius $w(A)$ of a bounded linear operator $A$ defined on a complex Hilbert space, which improve the existing inequality $w^2(A)\geq \frac{1}{4}\|A^*A+AA^*\|$. In particular, for $r\geq 1$, we show that \begin{eqnarray*}\frac{1}{4}\|A^*A+AA^*\|
\leq\frac{1}{2} \left( \frac{1}{2}\|\Re(A)+\Im(A)\|^{2r}+\frac{1}{2}\|\Re(A)-\Im(A)\|^{2r}\right)^{\frac{1}{r}}
\leq w^{2}(A),\end{eqnarray*} where $\Re(A)$ and $\Im(A)$ are the real and imaginary parts of $A$, respectively. Furthermore, we obtain upper bounds for $w^2(A)$ refining the well-known upper bound $w^2(A)\leq \frac{1}{2} \left(w(A^2)+\|A\|^2\right)$. Separate complete characterizations for $w(A)=\frac{\|A\|}{2}$ and $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|}$ are also given.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Generalized $A$-numerical radius of operators and related inequalities
Authors:
Pintu Bhunia,
Kais Feki,
Kallol Paul
Abstract:
Let $A$ be a non-zero positive bounded linear operator on a complex Hilbert space $(\mathcal{H},\langle\cdot,\cdot\rangle)$. Let $ω_A(T)$ denote the $A$-numerical radius of an operator $T$ acting on the semi-Hilbert space $(\mathcal{H},\langle\cdot,\cdot\rangle_A)$, where $\langle x, y\rangle_{A} :=\langle Ax, y\rangle$ for all $x,y\in \mathcal{H}$. Let $N_A(\cdot)$ be a seminorm on the algebra of…
▽ More
Let $A$ be a non-zero positive bounded linear operator on a complex Hilbert space $(\mathcal{H},\langle\cdot,\cdot\rangle)$. Let $ω_A(T)$ denote the $A$-numerical radius of an operator $T$ acting on the semi-Hilbert space $(\mathcal{H},\langle\cdot,\cdot\rangle_A)$, where $\langle x, y\rangle_{A} :=\langle Ax, y\rangle$ for all $x,y\in \mathcal{H}$. Let $N_A(\cdot)$ be a seminorm on the algebra of all $A$-bounded operators acting on $\mathcal{H}$ and let $T$ be an operator which admits $A$-adjoint. Then, we define the generalized $A$-numerical radius as $$ω_{N_A}(T)=\displaystyle{\sup_{θ\in \mathbb{R}}}\; N_A\left(\frac{e^{iθ}T+e^{-iθ}T^{\sharp_A}}{2}\right),$$ where $T^{\sharp_A}$ denotes a distinguished $A$-adjoint of $T$. We develop several generalized $A$-numerical radius inequalities from which follows the existing numerical radius and $A$-numerical radius inequalities. We also obtain bounds for generalized $A$-numerical radius of sum and product of operators. Finally, we study $ω_{N_A}(\cdot)$ in the setting of two particular seminorms $N_A(\cdot)$.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
New semi-norm of semi-Hilbertian space operators and its application
Authors:
Pintu Bhunia,
Anirban Sen,
Kallol Paul
Abstract:
In this paper, we introduce a new semi-norm of operators on a semi-Hilbertian space, which generalizes the A-numerical radius and A-operator semi-norm. We study the basic properties of this semi-norm, including upper and lower bounds for it. As an application of this new semi-norm, we obtain upper bounds for the A-numerical radius of semi-Hilbertian space operators, which are sharper than the earl…
▽ More
In this paper, we introduce a new semi-norm of operators on a semi-Hilbertian space, which generalizes the A-numerical radius and A-operator semi-norm. We study the basic properties of this semi-norm, including upper and lower bounds for it. As an application of this new semi-norm, we obtain upper bounds for the A-numerical radius of semi-Hilbertian space operators, which are sharper than the earlier ones.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
$A$-numerical radius : New inequalities and characterization of equalities
Authors:
Pintu Bhunia,
Kallol Paul
Abstract:
We develope new lower bounds for the $A$-numerical radius of semi-Hilbertian space operators, and applying these bounds we obtain upper bounds for the $A$-numerical radius of the commutators of operators. The bounds obtained here improve on the existing ones. Further, we provide characterizations for the equality of the existing $A$-numerical radius inequalities of semi-Hilbertian space operators.
We develope new lower bounds for the $A$-numerical radius of semi-Hilbertian space operators, and applying these bounds we obtain upper bounds for the $A$-numerical radius of the commutators of operators. The bounds obtained here improve on the existing ones. Further, we provide characterizations for the equality of the existing $A$-numerical radius inequalities of semi-Hilbertian space operators.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Annular bounds for the zeros of a polynomial from companion matrix
Authors:
Pintu Bhunia,
Kallol Paul
Abstract:
Let $p(z)=z^n+a_{n-1}z^{n-1}+a_{n-2}z^{n-2}+\ldots+a_1z+a_0$ be a complex polynomial with $a_0\neq 0$ and $n\geq 3$. Several new upper bounds for the moduli of the zeros of $p$ are developed. In particular, if $α=\sqrt{\sum_{j=0}^{n-1}|a_j|^2}$ and $z$ is any zero of $p$, then we show that \begin{eqnarray*}
|z|^2 &\leq & \cos^2 \fracπ{n+1}+|a_{n-2}|+ \frac{1}{4} \left ( |a_{n-1}|+ { α} \right)^2…
▽ More
Let $p(z)=z^n+a_{n-1}z^{n-1}+a_{n-2}z^{n-2}+\ldots+a_1z+a_0$ be a complex polynomial with $a_0\neq 0$ and $n\geq 3$. Several new upper bounds for the moduli of the zeros of $p$ are developed. In particular, if $α=\sqrt{\sum_{j=0}^{n-1}|a_j|^2}$ and $z$ is any zero of $p$, then we show that \begin{eqnarray*}
|z|^2 &\leq & \cos^2 \fracπ{n+1}+|a_{n-2}|+ \frac{1}{4} \left ( |a_{n-1}|+ { α} \right)^2 + \frac{1}{2}\sqrt{α^2-|a_{n-1}|^2} + \frac{1}{2}α, \end{eqnarray*} which is sharper than the Abu-Omar and Kittaneh's bound \begin{eqnarray*}
|z|^2 &\leq & \cos^2 \fracπ{n+1}+ \frac{1}{4} \left ( |a_{n-1}|+ { α}\right)^2 + α \end{eqnarray*} if and only if $2|a_{n-2}|< \sqrt{\sum_{j=0}^{n-1}|a_j|^2}-\sqrt{\sum_{j=0}^{n-2}|a_j|^2}. $ The upper bounds obtained here enable us to describe smaller annuli in the complex plane containing all the zeros of $p$.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Refined inequalities for the numerical radius of Hilbert space operators
Authors:
Pintu Bhunia,
Suvendu Jana,
Kallol Paul
Abstract:
We present some new upper and lower bounds for the numerical radius of bounded linear operators on a complex Hilbert space and show that these are stronger than the existing ones. In particular, we prove that if $A$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$ and if $\Re(A)$, $\Im(A)$ are the real part, the imaginary part of $A$, respectively, then…
▽ More
We present some new upper and lower bounds for the numerical radius of bounded linear operators on a complex Hilbert space and show that these are stronger than the existing ones. In particular, we prove that if $A$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$ and if $\Re(A)$, $\Im(A)$ are the real part, the imaginary part of $A$, respectively, then $$ w(A)\geq\frac{\|A\|}{2} +\frac{1}{2\sqrt{2}} \Big | \|\Re(A)+\Im(A)\|-\|\Re(A)-\Im(A)\| \Big | $$ and $$ w^2(A)\geq\frac{1}{4}\|A^*A+AA^*\|+\frac{1}{4}\Big| \|\Re(A)+\Im(A)\|^2-\|\Re(A)-\Im(A)\|^2\Big|. $$ Here $w(.)$ and $\|.\|$ denote the numerical radius and the operator norm, respectively. Further, we obtain refinement of inequalities for the numerical radius of the product of two operators. Finally, as an application of the second inequality mentioned above, we obtain an improvement of upper bound for the numerical radius of the commutators of operators.
△ Less
Submitted 26 June, 2021;
originally announced June 2021.
-
Numerical radius inequalities of $2 \times 2$ operator matrices
Authors:
Pintu Bhunia,
Kallol Paul
Abstract:
Several upper and lower bounds for the numerical radius of $2 \times 2$ operator matrices are developed which refine and generalize the earlier related bounds. In particular, we show that if $B,C$ are bounded linear operators on a complex Hilbert space, then \begin{eqnarray*}
&& \frac{1}{2}\max \left \{ \|B\|, \|C\| \right \}+\frac{1}{4} \left | \|B+C^*\|-\|B-C^*\| \right |
&&\leq w \left(\lef…
▽ More
Several upper and lower bounds for the numerical radius of $2 \times 2$ operator matrices are developed which refine and generalize the earlier related bounds. In particular, we show that if $B,C$ are bounded linear operators on a complex Hilbert space, then \begin{eqnarray*}
&& \frac{1}{2}\max \left \{ \|B\|, \|C\| \right \}+\frac{1}{4} \left | \|B+C^*\|-\|B-C^*\| \right |
&&\leq w \left(\left[\begin{array}{cc}
0 & B
C& 0
\end{array}\right]\right)\\ &&\leq \frac{1}{2} \max \left\{\|B\|,\|C\|\right \}+\frac{1}{2}\max \left \{r^{\frac{1}{2}}(|B||C^*|),r^{\frac{1}{2}}(|B^*||C|)\right\}, \end{eqnarray*} where $w(.)$, $r(.)$ and $\|.\|$ are the numerical radius, spectral radius and operator norm of a bounded linear operator, respectively. We also obtain equality conditions for the numerical radius of the operator matrix $\left[\begin{array}{cc}
0 & B
C& 0 \end{array}\right]$. As application of results obtained, we show that if $B,C$ are self-adjoint operators then, $\max \Big \{\|B+C\|^2 , \|B-C\|^2 \Big\}\leq \left \|B^2+C^2 \right \|+2w(|B||C|). $
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
Development of inequality and characterization of equality conditions for the numerical radius
Authors:
Pintu Bhunia,
Kallol Paul
Abstract:
Let $A$ be a bounded linear operator on a complex Hilbert space and $\Re(A)$ ( $\Im(A)$ ) denote the real part (imaginary part) of A. Among other refinements of the lower bounds for the numerical radius of $A$, we prove that \begin{eqnarray*} w(A)&\geq &\frac{1}{2} \left \|A \right\| + \frac{ 1}{2} \mid \|\Re(A)\|-\|\Im(A)\|\mid,\,\,\mbox{and}\\ w^2(A)&\geq& \frac{1}{4} \left \|A^*A+AA^* \right\|…
▽ More
Let $A$ be a bounded linear operator on a complex Hilbert space and $\Re(A)$ ( $\Im(A)$ ) denote the real part (imaginary part) of A. Among other refinements of the lower bounds for the numerical radius of $A$, we prove that \begin{eqnarray*} w(A)&\geq &\frac{1}{2} \left \|A \right\| + \frac{ 1}{2} \mid \|\Re(A)\|-\|\Im(A)\|\mid,\,\,\mbox{and}\\ w^2(A)&\geq& \frac{1}{4} \left \|A^*A+AA^* \right\| + \frac{1}{2}\mid \|\Re(A)\|^2-\|\Im(A)\|^2 \mid, \end{eqnarray*} where $w(A)$ is the numerical radius of the operator $A$. We study the equality conditions for $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|}$ and prove that $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|} $ if and only if the numerical range of $A$ is a circular disk with center at the origin and radius $\frac{1}{2}\sqrt{\|A^*A+AA^*\|} $.
We also obtain upper bounds for the numerical radius of commutators of operators which improve on the existing ones.
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
On approximate orthogonality and symmetry of operators in semi-Hilbertian structure
Authors:
Jeet Sen,
Debmalya Sain,
Kallol Paul
Abstract:
The purpose of the article is to generalize the concept of approximate Birkhoff-James orthogonality, in the semi-Hilbertian structure. Given a positive operator $ A $ on a Hilbert space $ \mathbb{H}, $ we define $ (ε,A)- $approximate orthogonality and $ (ε,A)- $approximate orthogonality in the sense of Chmieli$\acute{n}$ski and establish a relation between them. We also characterize $ (ε,A)- $appr…
▽ More
The purpose of the article is to generalize the concept of approximate Birkhoff-James orthogonality, in the semi-Hilbertian structure. Given a positive operator $ A $ on a Hilbert space $ \mathbb{H}, $ we define $ (ε,A)- $approximate orthogonality and $ (ε,A)- $approximate orthogonality in the sense of Chmieli$\acute{n}$ski and establish a relation between them. We also characterize $ (ε,A)- $approximate orthogonality in the sense of Chmieli$\acute{n}$ski for $A$-bounded and $A$-bounded compact operators. We further generalize the concept of right symmetric and left symmetric operators on a Hilbert space. The utility of these notions are illustrated by extending some of the previous results obtained by various authors in the setting of Hilbert spaces.
△ Less
Submitted 17 April, 2021;
originally announced April 2021.
-
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.
-
Furtherance of Numerical radius inequalities of Hilbert space operators
Authors:
Pintu Bhunia,
Kallol Paul
Abstract:
If $A,B$ are bounded linear operators on a complex Hilbert space, then % $w(A) \leq \frac{1}{2}\left( \|A\|+\sqrt{r\left(|A||A^*|\right)}\right)$ and $w(AB \pm BA)\leq 2\sqrt{2}\|B\|\sqrt{ w^2(A)-\frac{c^2(\Re (A))+c^2(\Im (A))}{2} },$ \begin{eqnarray*} w(A) &\leq& \frac{1}{2}\left( \|A\|+\sqrt{r\left(|A||A^*|\right)}\right),\\ w(AB \pm BA)&\leq& 2\sqrt{2}\|B\|\sqrt{ w^2(A)-\frac{c^2(\Re (A))+c^2(…
▽ More
If $A,B$ are bounded linear operators on a complex Hilbert space, then % $w(A) \leq \frac{1}{2}\left( \|A\|+\sqrt{r\left(|A||A^*|\right)}\right)$ and $w(AB \pm BA)\leq 2\sqrt{2}\|B\|\sqrt{ w^2(A)-\frac{c^2(\Re (A))+c^2(\Im (A))}{2} },$ \begin{eqnarray*} w(A) &\leq& \frac{1}{2}\left( \|A\|+\sqrt{r\left(|A||A^*|\right)}\right),\\ w(AB \pm BA)&\leq& 2\sqrt{2}\|B\|\sqrt{ w^2(A)-\frac{c^2(\Re (A))+c^2(\Im (A))}{2} }, \end{eqnarray*} where $w(.),\|.\|,c(.)$ and $r(.)$ are the numerical radius, the operator norm, the Crawford number and the spectral radius respectively, and $\Re (A)$, $\Im (A)$ are the real part, the imaginary part of $A$ respectively. The inequalities obtained here generalize and improve on the existing well known inequalities.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Numerical radius inequalities for products and sums of semi-Hilbertian space operators
Authors:
Pintu Bhunia,
Kais Feki,
Kallol Paul
Abstract:
New inequalities for the $A$-numerical radius of the products and sums of operators acting on a semi-Hilbert space, i.e. a space generated by a positive semidefinite operator $A$, are established. In particular, it is proved for operators $T$ and $S,$ having $A$-adjoint, that $$ ω_A(TS) \leq \frac{1}{2}ω_A(ST)+\frac{1}{4}\Big(\|T\|_A\|S\|_A+\|TS\|_A\Big),$$ where $ω_A(T)$ and $\|T\|_A$ denote the…
▽ More
New inequalities for the $A$-numerical radius of the products and sums of operators acting on a semi-Hilbert space, i.e. a space generated by a positive semidefinite operator $A$, are established. In particular, it is proved for operators $T$ and $S,$ having $A$-adjoint, that $$ ω_A(TS) \leq \frac{1}{2}ω_A(ST)+\frac{1}{4}\Big(\|T\|_A\|S\|_A+\|TS\|_A\Big),$$ where $ω_A(T)$ and $\|T\|_A$ denote the $A$-numerical radius and the $A$-operator seminorm of an operator $T$.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.