-
Idempotent & Nilpotent Operators and Matrices in Bicomplex Space
Authors:
Anjali Anjali,
Akhil Prakash,
Amita Amita,
Neeraj Kumar Tomar
Abstract:
This paper explores idempotent and nilpotent operators in bicomplex spaces, focusing on their properties and behavior. We define idempotent and nilpotent matrices in this framework and derive related results. Several theorems are presented to establish conditions for the existence and behavior of bicomplex idempotent and nilpotent operators and bicomplex idempotent matrices.
This paper explores idempotent and nilpotent operators in bicomplex spaces, focusing on their properties and behavior. We define idempotent and nilpotent matrices in this framework and derive related results. Several theorems are presented to establish conditions for the existence and behavior of bicomplex idempotent and nilpotent operators and bicomplex idempotent matrices.
△ Less
Submitted 31 August, 2025;
originally announced September 2025.
-
The q-commuting contractions and $*$-regular dilations
Authors:
Nitin Tomar
Abstract:
We introduce the notion of $*$-regular dilation for q-commuting tuples of contractions and generalize the results due to Gaspar-Suciu and Timotin on commuting contractions.
We introduce the notion of $*$-regular dilation for q-commuting tuples of contractions and generalize the results due to Gaspar-Suciu and Timotin on commuting contractions.
△ Less
Submitted 13 August, 2025;
originally announced August 2025.
-
Operators associated with the hexablock
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
The hexablock is a domain arising from a special case of the $μ$-synthesis problem. We study the commuting operator tuples having the hexablock as a spectral set. Such a tuple is called a hexablock-contraction or simply $\mathbb H$-contraction. We characterize the unitaries and isometries associated with $\mathbb H$-contractions. Two different types of dilation results for $\mathbb H$-contractions…
▽ More
The hexablock is a domain arising from a special case of the $μ$-synthesis problem. We study the commuting operator tuples having the hexablock as a spectral set. Such a tuple is called a hexablock-contraction or simply $\mathbb H$-contraction. We characterize the unitaries and isometries associated with $\mathbb H$-contractions. Two different types of dilation results for $\mathbb H$-contractions are obtained. We find connection of this theory with the operators associated with the symmetrized bidisc and tetrablock, two other domains related to the $μ$-synthesis problem.
△ Less
Submitted 19 July, 2025;
originally announced July 2025.
-
Some Separation Axioms in Topological Spaces
Authors:
Neeraj Kumar Tomar,
M. C. Sharma,
Amit Ujlayan,
Fahed Zulfeqarr
Abstract:
In this paper, we introduced the concepts of new separation axioms called $ SC^* $-separation axioms and $ H^* $-separation axioms by using $ SC^* $ and $ H^* $-open sets in topological spaces. The $ SC^* $-separation axioms include $ SC^* $-$ C_0 $, $ SC^* $-$ C_1 $, weakly $ SC^* $-$ C_0 $, and weakly $ SC^* $-$ C_1 $ spaces, while the $ H^* $-separation axioms include $ H^* $-…
▽ More
In this paper, we introduced the concepts of new separation axioms called $ SC^* $-separation axioms and $ H^* $-separation axioms by using $ SC^* $ and $ H^* $-open sets in topological spaces. The $ SC^* $-separation axioms include $ SC^* $-$ C_0 $, $ SC^* $-$ C_1 $, weakly $ SC^* $-$ C_0 $, and weakly $ SC^* $-$ C_1 $ spaces, while the $ H^* $-separation axioms include $ H^* $-$ T_{\frac{1}{2}} $, $ H^* $-$ T_b $, and $ H^* $-$ T_d $ spaces. Also, we obtained several properties of such spaces.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
H*-Normal Spaces and Some Related Functions
Authors:
Neeraj Kumar Tomar,
M. C. Sharma,
Amit Ujlayan
Abstract:
This paper introduces and explores functions defined on \( H^* \)-normal spaces through the framework of \( H^* \)-open sets. We extend the concept of \( H^* \)-normality and investigate its connections with \( g \)-normal and classical normal spaces. Additionally, we generalize \( H^* \)-closed and \( H^* \)-generalized closed functions, analyzing their fundamental properties. Several characteriz…
▽ More
This paper introduces and explores functions defined on \( H^* \)-normal spaces through the framework of \( H^* \)-open sets. We extend the concept of \( H^* \)-normality and investigate its connections with \( g \)-normal and classical normal spaces. Additionally, we generalize \( H^* \)-closed and \( H^* \)-generalized closed functions, analyzing their fundamental properties. Several characterizations of \( H^* \)-normal spaces are established, along with preservation theorems that highlight the structural significance of these functions.
△ Less
Submitted 9 July, 2025; v1 submitted 19 June, 2025;
originally announced June 2025.
-
Q*-normal spaces
Authors:
Hamant Kumar,
Neeraj Kumar Tomar
Abstract:
In this paper, using Q*-closed sets, we introduce a new version of normality called, Q*-normality which is a weak form of normality. Further utilizing Q*g-closed sets, we obtain some characterizations of Q*-normal and normal spaces and also obtain some preservation theorems for Q*-normal spaces.
In this paper, using Q*-closed sets, we introduce a new version of normality called, Q*-normality which is a weak form of normality. Further utilizing Q*g-closed sets, we obtain some characterizations of Q*-normal and normal spaces and also obtain some preservation theorems for Q*-normal spaces.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
The Hexablock: a domain associated with the $μ$-synthesis in $M_2(\mathbb C)$
Authors:
Indranil Biswas,
Sourav Pal,
Nitin Tomar
Abstract:
We study a new domain in $\mathbb C^4$, namely the hexablock $\mathbb{H}$ that arises in connection with a special case of the $μ$-synthesis problem in $M_2(\mathbb C)$. Previous attempts to study a few instances of the $μ$-synthesis problem led to domains such as symmetrized bidisc $\mathbb G_2$, tetrablock $\mathbb E$ and pentablock $\mathbb P$. Throughout, the relations of $\mathbb{H}$ with the…
▽ More
We study a new domain in $\mathbb C^4$, namely the hexablock $\mathbb{H}$ that arises in connection with a special case of the $μ$-synthesis problem in $M_2(\mathbb C)$. Previous attempts to study a few instances of the $μ$-synthesis problem led to domains such as symmetrized bidisc $\mathbb G_2$, tetrablock $\mathbb E$ and pentablock $\mathbb P$. Throughout, the relations of $\mathbb{H}$ with these three domains are explored. Several characterizations of the hexablock are established. We determine the distinguished boundary $b \mathbb{H}$ of $\mathbb{H}$ and obtain a subgroup of the automorphism group of $\mathbb{H}$. The \textit{rational $\overline{\mathbb{H}}$-inner functions}, i.e., the rational functions from the unit disc $\mathbb{D}$ to $\mathbb{H}$ that map the boundary of $\mathbb{D}$ to $b\mathbb{H}$ are characterized. We obtain a Schwarz lemma for $\mathbb{H}$. Finally, it is shown that $\mathbb{G}_2$, $\mathbb{E}$, and $\mathbb{P}$ are analytic retracts of $\mathbb{H}$. By an application of the theory of the hexablock, we find alternative proofs to a few existing results on geometry and function theory of the pentablock.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Almost SC*-normal spaces
Authors:
Neeraj Kumar Tomar,
Fahed Zulfeqarr,
Amit Ujlayan
Abstract:
This paper introduces and investigates a new class of almost normal spaces, referred to as almost SC*-normal spaces, which are defined using SC*-open sets. Building on the work of A. Chandrakala and K. Bala Deepa Arasi, we explore several properties of these spaces within the framework of topology. Moreover, we obtain some new characterizations and preservation theorems of almost SC*-normal spaces…
▽ More
This paper introduces and investigates a new class of almost normal spaces, referred to as almost SC*-normal spaces, which are defined using SC*-open sets. Building on the work of A. Chandrakala and K. Bala Deepa Arasi, we explore several properties of these spaces within the framework of topology. Moreover, we obtain some new characterizations and preservation theorems of almost SC*-normal spaces.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Softly $πg\hat{D}$-Normal Spaces
Authors:
Neeraj Kumar Tomar,
Fahed Zulfeqarr,
M. C. Sharma
Abstract:
The aim of this paper is to introduce a new class of softly normal called softly $πg\widehat{D}$ -normality by using $πg\widehat{D}$ -open sets and obtained several properties of such a space. We discuss many properties of this new space and we give some properties that connect this new spaces with some other topological spaces, also we present some examples and counter examples that show the rela…
▽ More
The aim of this paper is to introduce a new class of softly normal called softly $πg\widehat{D}$ -normality by using $πg\widehat{D}$ -open sets and obtained several properties of such a space. We discuss many properties of this new space and we give some properties that connect this new spaces with some other topological spaces, also we present some examples and counter examples that show the relationships between softly $πg\widehat{D}$ -normal spaces and some other topological spaces, also we introduced the concept of $πg\widehat{D}$ -normal, almost $πg\widehat{D}$ -normal, quasi $πg\widehat{D}$ -normal, mildly $πg\widehat{D}$ -normal. The main result of this paper is that softly $πg\widehat{D}$ -normality is a topological property and it is a hereditary property with respect to closed domain subspaces. Moreover, we obtain some new characterizations and preservation theorems of softly $πg\widehat{D}$ -normal spaces. We insure that existence of utility for new results of softly $πg\widehat{D}$ -normality using separation axioms in topological spaces which is separate on a known separation axioms in topological spaces.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
SC*-Regular spaces and some functions
Authors:
Neeraj Kumar Tomar,
Amit Ujlayan,
M. C. Sharma
Abstract:
This paper introduces a novel class of topological spaces, termed SC*-regular spaces, which are defined using SC*-open sets. We explore their fundamental properties and examine their connections with existing regularity concepts, such as regular, almost, softly, weakly, alpha, zeta, and generalized-regular spaces respectively. Furthermore, we examined and define, analyze generalized SC*-closed set…
▽ More
This paper introduces a novel class of topological spaces, termed SC*-regular spaces, which are defined using SC*-open sets. We explore their fundamental properties and examine their connections with existing regularity concepts, such as regular, almost, softly, weakly, alpha, zeta, and generalized-regular spaces respectively. Furthermore, we examined and define, analyze generalized SC*-closed sets and SC*-generalized closed functions, establishing key properties and preservation theorems. Several characterizations of SC*-regular spaces are also presented, providing new insights into generalized regularity in topology.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Dilation on an annulus and von Neumann's inequality on certain varieties in the biball
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
We give an alternative proof to Agler's famous result on success of rational dilation on an annulus by an application of a result due to Dritschel and McCullough. We show interplay between operators associated with an annulus, $C_{1,r}$ or quantum annulus and operator pairs living on a certain variety in $\mathbb C^2$ and its intersection with the biball. It is shown that the minimal spectral sets…
▽ More
We give an alternative proof to Agler's famous result on success of rational dilation on an annulus by an application of a result due to Dritschel and McCullough. We show interplay between operators associated with an annulus, $C_{1,r}$ or quantum annulus and operator pairs living on a certain variety in $\mathbb C^2$ and its intersection with the biball. It is shown that the minimal spectral sets and von Neumann's inequality for these classes $C_{1,r}$, quantum annulus can also be studied via appropriate operator pairs associated with the biball.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
SC*-Normal spaces and some functions
Authors:
Neeraj Kumar Tomar,
Fahed Zulfeqarr,
M. C. Sharma
Abstract:
In this paper, we introduce and explore a new class of topological spaces termed as SC*-normal spaces, defined via SC*-open sets. The concept of SC*-normality is analyzed in relation to classical notions such as normal spaces and g-normal spaces. We further define and examine generalized forms of SC*-closed functions, including SC*-generalized closed mappings, and investigate their fundamental pro…
▽ More
In this paper, we introduce and explore a new class of topological spaces termed as SC*-normal spaces, defined via SC*-open sets. The concept of SC*-normality is analyzed in relation to classical notions such as normal spaces and g-normal spaces. We further define and examine generalized forms of SC*-closed functions, including SC*-generalized closed mappings, and investigate their fundamental properties. Several characterizations of SC*-normal spaces are established, and various preservation theorems under different types of functions are also presented.
△ Less
Submitted 10 May, 2025;
originally announced May 2025.
-
On doubly commuting operators in $C_{1, r}$ class and quantum annulus
Authors:
Nitin Tomar
Abstract:
For $ 0 < r < 1 $, let $ \mathbb{A}_r = \{ z \in \mathbb{C} : r < |z| < 1 \} $ be the annulus with boundary $ \partial \overline{\mathbb{A}}_r = \mathbb{T} \cup r\mathbb{T} $, where $ \mathbb{T} $ is the unit circle in the complex plane $\mathbb C$. We study the class of operators \[ C_{1,r} = \{ T : T \text{ is invertible and } \|T\|, \|rT^{-1}\| \leq 1 \}, \] introduced by Bello and Yakubovich.…
▽ More
For $ 0 < r < 1 $, let $ \mathbb{A}_r = \{ z \in \mathbb{C} : r < |z| < 1 \} $ be the annulus with boundary $ \partial \overline{\mathbb{A}}_r = \mathbb{T} \cup r\mathbb{T} $, where $ \mathbb{T} $ is the unit circle in the complex plane $\mathbb C$. We study the class of operators \[ C_{1,r} = \{ T : T \text{ is invertible and } \|T\|, \|rT^{-1}\| \leq 1 \}, \] introduced by Bello and Yakubovich. Any operator $T$ for which the closed annulus $\overline{\mathbb{A}}_r$ is a spectral set is in $C_{1,r}$. The class $C_{1, r}$ is closely related to the \textit{quantum annulus} which is given by \[ QA_r = \{ T : T \text{ is invertible and } \|rT\|, \|rT^{-1}\| \leq 1 \}. \] McCullough and Pascoe proved that an operator in $ QA_r $ admits a dilation to an operator $ S $ satisfying $(r^{-2} + r^2)I - S^*S - S^{-1}S^{-*} = 0$. An analogous dilation result holds for operators in $ C_{1,r}$ class. We extend these dilation results to doubly commuting tuples of operators in quantum annulus as well as in $C_{1,r}$ class. We also provide characterizations and decomposition results for such tuples.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Classification and dilation for $q$-commuting $2 \times 2$ scalar matrices
Authors:
Sourav Pal,
Prajakta Sahasrabuddhe,
Nitin Tomar
Abstract:
A tuple $\underline{T}=(T_1, \dotsc, T_k)$ of operators on a Hilbert space $\mathcal H$ is said to be \textit{$q$-commuting with} $\|q\|=1$ or simply $q$-\textit{commuting} if there is a family of scalars $q=\{q_{ij} \in \mathbb C : |q_{ij}|=1, \ q_{ij}=q_{ji}^{-1}, \ 1 \leq i < j \leq k \}$ such that $T_i T_j =q_{ij}T_j T_i$ for $1 \leq i < j \leq k$. Moreover, if each $q_{ij}=-1$, then…
▽ More
A tuple $\underline{T}=(T_1, \dotsc, T_k)$ of operators on a Hilbert space $\mathcal H$ is said to be \textit{$q$-commuting with} $\|q\|=1$ or simply $q$-\textit{commuting} if there is a family of scalars $q=\{q_{ij} \in \mathbb C : |q_{ij}|=1, \ q_{ij}=q_{ji}^{-1}, \ 1 \leq i < j \leq k \}$ such that $T_i T_j =q_{ij}T_j T_i$ for $1 \leq i < j \leq k$. Moreover, if each $q_{ij}=-1$, then $\underline{T}$ is called an \textit{anti-commuting tuple}. A well-known result due to Holbrook \cite{Holbrook} states that a commuting $k$-tuple consisting of $2 \times 2$ scalar matrix contractions always dilates to a commuting $k$-tuple of unitaries for any $k\geq 1$. To find a generalization of this result for a $q$-commuting $k$-tuple of $2\times 2$ scalar matrix contractions, we first classify such tuples into three types upto similarity. Then we prove that a $q$-commuting tuple which is unitarily equivalent to any of these three types, admits a $\widetilde{q}$-unitary dilation, where $\widetilde q \subseteq q \cup \{1\}$. A special emphasis is given to the dilation of an anti-commuting tuple of $2 \times 2$ scalar matrix contractions.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Functional H_infity Filtering for Descriptor Systems with Monotone nonlinearities
Authors:
Rishabh Sharma,
Mahendra Kumar Gupta,
Nutan Kumar Tomar
Abstract:
This paper introduces a novel approach to design of functional H_\infty filters for a class of nonlinear descriptor systems subjected to disturbances. Departing from conventional assumptions regarding system regularity, we adopt a more inclusive approach by considering general descriptor systems that satisfy a rank condition on their coefficient matrices. Under this rank condition, we establish a…
▽ More
This paper introduces a novel approach to design of functional H_\infty filters for a class of nonlinear descriptor systems subjected to disturbances. Departing from conventional assumptions regarding system regularity, we adopt a more inclusive approach by considering general descriptor systems that satisfy a rank condition on their coefficient matrices. Under this rank condition, we establish a linear matrix inequality (LMI) as a sufficient criterion ensuring the stability of the error system and constraining the L 2 gain of the mapping from disturbances to errors to a predetermined level. The efficacy of the proposed approach is demonstrated through a practical example involving a simple constrained mechanical system.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Theory of $q$-commuting contractions-II: Regular dilation, Brehmer's positivity and von Neumann's inequality
Authors:
Sourav Pal,
Prajakta Sahasrabuddhe,
Nitin Tomar
Abstract:
It is well-known that a commuting family of contractions possesses a regular unitary dilation if and only if it satisfies Brehmer's positivity condition. We extend this theorem to any family $\mathcal T$ of $q$-commuting contractions with $\|q\|=1$ by showing the equivalence of the following three statements: $(i)$ $\mathcal T$ admits a regular $q$-unitary dilation; $(ii)$ $\mathcal T$ satisfies B…
▽ More
It is well-known that a commuting family of contractions possesses a regular unitary dilation if and only if it satisfies Brehmer's positivity condition. We extend this theorem to any family $\mathcal T$ of $q$-commuting contractions with $\|q\|=1$ by showing the equivalence of the following three statements: $(i)$ $\mathcal T$ admits a regular $q$-unitary dilation; $(ii)$ $\mathcal T$ satisfies Brehmer's positivity condition; $(iii)$ $\mathcal T$ admits a $Q$-unitary dilation for a family of $Q$-commuting unitaries. We achieve the first part of the result by an application of Stinespring's dilation theorem on a particular completely positive map acting on a quotient algebra of a group $C^*$-algebra, where the underlying group is a free group, and the second part is obtained by an application of Naimark's theorem. Next, we find several cases when $\mathcal{T}$ admits a regular $q$-unitary dilation and establish a von Neumann type inequality for such a $q$-commuting family.
△ Less
Submitted 29 September, 2025; v1 submitted 3 August, 2024;
originally announced August 2024.
-
Partial Causal Detectability of Linear Descriptor Systems and Existence of Functional ODE Estimators
Authors:
Juhi Jaiswal,
Thomas Berger,
Nutan K. Tomar
Abstract:
This paper studies the problem of state estimation for linear time-invariant descriptor systems in their most general form. The estimator is a system of ordinary differential equations (ODEs). We introduce the notion of partial causal detectability and characterize this concept by means of a simple rank criterion involving the system coefficient matrices. Also, several equivalent characterizations…
▽ More
This paper studies the problem of state estimation for linear time-invariant descriptor systems in their most general form. The estimator is a system of ordinary differential equations (ODEs). We introduce the notion of partial causal detectability and characterize this concept by means of a simple rank criterion involving the system coefficient matrices. Also, several equivalent characterizations for partial causal detectability are established. In addition, we prove that partial causal detectability is equivalent to the existence of functional ODE estimators. A numerical example is given to validate the theoretical results.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
A new characterization for the distinguished boundaries of a few domains related to $μ$-synthesis
Authors:
Nitin Tomar
Abstract:
In this note, we provide an alternative way of describing the distinguished boundariesof symmetrized bidisc, tetrablock and pentablock. We show that each of these distinguished boundaries can be characterized as the union of orbits of two elements under their automorphism groups.
In this note, we provide an alternative way of describing the distinguished boundariesof symmetrized bidisc, tetrablock and pentablock. We show that each of these distinguished boundaries can be characterized as the union of orbits of two elements under their automorphism groups.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
Remarks on positive definite functions on a group
Authors:
Swapan Jana,
Sourav Pal,
Nitin Tomar
Abstract:
We study the operator-valued positive definite functions on a group using positive block matrices. We give an alternative proof to Brehmer positivity for doubly commuting contractions. We classify all commuting unitary representations over a finite group. We show by examples that the power of a positive-definite function may not be positive definite and also the power of a unitary representation m…
▽ More
We study the operator-valued positive definite functions on a group using positive block matrices. We give an alternative proof to Brehmer positivity for doubly commuting contractions. We classify all commuting unitary representations over a finite group. We show by examples that the power of a positive-definite function may not be positive definite and also the power of a unitary representation may not be a unitary representation. We also characterize all unitary representations whose powers are also unitary representations.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Joint reducing subspaces and orthogonal decompositions of operators in an annulus
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
A commuting tuple of Hilbert space operators $(T_1, \dotsc, T_n)$ is said to be an \textit{$\mathbb{A}_r^n$-contraction} if the closure of the polyannulus
\[
\mathbb A_r^n=\left\{(z_1, \dotsc, z_n) \ : \ r<|z_i|<1, \ 1 \leq i \leq n \right\} \subseteq \mathbb{C}^n \qquad \quad (0<r<1)
\]
is a spectral set for $(T_1, \dotsc, T_n)$. We find characterizations for the $\mathbb A_r^n$-unitaries…
▽ More
A commuting tuple of Hilbert space operators $(T_1, \dotsc, T_n)$ is said to be an \textit{$\mathbb{A}_r^n$-contraction} if the closure of the polyannulus
\[
\mathbb A_r^n=\left\{(z_1, \dotsc, z_n) \ : \ r<|z_i|<1, \ 1 \leq i \leq n \right\} \subseteq \mathbb{C}^n \qquad \quad (0<r<1)
\]
is a spectral set for $(T_1, \dotsc, T_n)$. We find characterizations for the $\mathbb A_r^n$-unitaries and $\mathbb A_r^n$-isometries and decipher their structures. We find Wold type decompositions for any number of commuting and doubly commuting $\mathbb A_r$-isometries. Then we generalize these results to any family of commuting and doubly commuting $\mathbb A_r$-contractions.
△ Less
Submitted 12 January, 2025; v1 submitted 14 December, 2023;
originally announced December 2023.
-
The $2 \times 2$ block matrices associated with an annulus
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
A bounded Hilbert space operator $T$ for which the closure of the annulus
\[
\mathbb{A}_r=\{z \ : \ r<|z|<1\} \subseteq \mathbb{C}, \qquad (0<r<1)
\]
is a spectral set is called an $\mathbb A_r$-contraction. A celebrated theorem due to Douglas, Muhly and Pearcy gives a necessary and sufficient condition such that a $2 \times 2$ block matrix of operators…
▽ More
A bounded Hilbert space operator $T$ for which the closure of the annulus
\[
\mathbb{A}_r=\{z \ : \ r<|z|<1\} \subseteq \mathbb{C}, \qquad (0<r<1)
\]
is a spectral set is called an $\mathbb A_r$-contraction. A celebrated theorem due to Douglas, Muhly and Pearcy gives a necessary and sufficient condition such that a $2 \times 2$ block matrix of operators
$
\begin{bmatrix}
T_1 & X
0 & T_2
\end{bmatrix}
$
is a contraction. We seek an answer to the same question in the setting of annulus, i.e., under what conditions $\widetilde{T}_Y=\begin{bmatrix}
T_1 & Y
0 & T_2
\end{bmatrix}
$ becomes an $\mathbb A_r$-contraction. For a pair of $\mathbb A_r$-contractions $T_1,T_2$ and an operator $X$ that commutes with $T_1,T_2$, here we find a necessary and sufficient condition such that each of the block matrices
\[
T_X= \begin{bmatrix}
T & X
0 & T
\end{bmatrix} \,, \quad \widehat{T}_X=\begin{bmatrix}
T_1 & X(T_1-T_2)
0 & T_2
\end{bmatrix}
\]
becomes an $\mathbb A_r$-contraction. Thus, the general block matrix $\widetilde{T}_Y$ is an $\mathbb A_r$-contraction if $T_1-T_2$ (as in $\widehat{T}_X$) is invertible.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
Operators associated with the pentablock and their relations with biball and symmetrized bidisc
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
A commuting triple of Hilbert space operators $(A,S,P)$ is said to be a \textit{$\mathbb{P}$-contraction} if the closed pentablock $\overline{\mathbb P}$ is a spectral set for $(A,S,P)$, where
\[
\mathbb{P}:=\left\{(a_{21}, \mbox{tr}(A_0), \mbox{det}(A_0))\ : \ A_0=[a_{ij}]_{2 \times 2} \; \; \& \;\; \|A_0\| <1 \right\} \subseteq \mathbb{C}^3.
\]
A commuting triple of normal operators…
▽ More
A commuting triple of Hilbert space operators $(A,S,P)$ is said to be a \textit{$\mathbb{P}$-contraction} if the closed pentablock $\overline{\mathbb P}$ is a spectral set for $(A,S,P)$, where
\[
\mathbb{P}:=\left\{(a_{21}, \mbox{tr}(A_0), \mbox{det}(A_0))\ : \ A_0=[a_{ij}]_{2 \times 2} \; \; \& \;\; \|A_0\| <1 \right\} \subseteq \mathbb{C}^3.
\]
A commuting triple of normal operators $(A, S, P)$ acting on a Hilbert space is said to be a \textit{$\mathbb P$-unitary} if the Taylor-joint spectrum $σ_T(A, S, P)$ of $(A, S, P)$ is contained in the distinguished boundary $b\mathbb{P}$ of $\PC$. Also, $(A, S , P)$ is called a \textit{$\mathbb P$-isometry} if it is the restriction of a $\mathbb P$-unitary $(\hat A, \hat S, \hat P)$ to a joint invariant subspace of $\hat A, \hat S, \hat P$. We find several characterizations for the $\mathbb P$-unitaries and $\mathbb P$-isometries. We show that every $\mathbb P$-isometry admits a Wold type decomposition that splits it into a direct sum of a $\mathbb P$-unitary and a pure $\mathbb P$-isometry. Moving one step ahead we show that every $\mathbb P$-contraction $(A,S,P)$ possesses a canonical decomposition that orthogonally decomposes $(A,S,P)$ into a $\mathbb P$-unitary and a completely non-unitary $\mathbb P$-contraction. We find a necessary and sufficient condition such that a $\mathbb P$-contraction $(A, S, P)$ dilates to a $\mathbb P$-isometry $(X, T, V)$ with $V$ being the minimal isometric dilation of $P$. Then we show an explicit construction of such a conditional dilation. We show interplay between operator theory on the following three domains: the pentablock, the biball and the symmetrized bidisc.
△ Less
Submitted 11 May, 2025; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Dilation of normal operators associated with an annulus
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
For $0<r<1$, let us consider the following annulus: \[ \mathbb A_r= \{ z\in \mathbb C\, : \, r<|z|<1 \}. \]
A Hilbert space operator $T$ for which $\overline{\mathbb A}_r$ is a spectral set is called an $\mathbb A_r$-\textit{contraction}. Also, a normal operator $U$ whose spectrum lies on the boundary $\partial \mathbb A_r$ of $\mathbb A_r$ is called an $\mathbb A_r$-\textit{unitary}. We prove th…
▽ More
For $0<r<1$, let us consider the following annulus: \[ \mathbb A_r= \{ z\in \mathbb C\, : \, r<|z|<1 \}. \]
A Hilbert space operator $T$ for which $\overline{\mathbb A}_r$ is a spectral set is called an $\mathbb A_r$-\textit{contraction}. Also, a normal operator $U$ whose spectrum lies on the boundary $\partial \mathbb A_r$ of $\mathbb A_r$ is called an $\mathbb A_r$-\textit{unitary}. We prove that any $m$ number of commuting normal $\mathbb A_r$-contractions $N_1, \dots , N_m$ can be simultaneously dilated to commuting $\mathbb A_r$-unitaries $U_1, \dots , U_m$. To construct such a dilation, we solve a Dirichlet problem for the polyannulus $\mathbb A_r^m$. Also, we show that any finitely many doubly commuting subnormal $\mathbb A_r$-contractions simultaneously dilate to commuting $\mathbb A_r$-unitaries. Finally, we show that such a simultaneous $\mathbb A_r$-unitary dilation holds for any finite number of doubly commuting $2 \times 2$ scalar $\mathbb A_r$-contractions.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Existence Conditions for Functional ODE Observer Design of Descriptor Systems Revisited
Authors:
Juhi Jaiswal,
Thomas Berger,
Nutan Kumar Tomar
Abstract:
This paper is devoted to the problem of designing functional observers for linear time-invariant (LTI) descriptor systems. The observers are realized by using state-space systems governed by ordinary differential equations (ODEs). Available existence results for functional ODE observers in the literature are extended by introducing new and milder sufficient conditions. These conditions are purely…
▽ More
This paper is devoted to the problem of designing functional observers for linear time-invariant (LTI) descriptor systems. The observers are realized by using state-space systems governed by ordinary differential equations (ODEs). Available existence results for functional ODE observers in the literature are extended by introducing new and milder sufficient conditions. These conditions are purely algebraic and provided directly in terms of the system coefficient matrices. The proposed observer has an order less than or equal to the dimension of the functional vector to be estimated. The observer parameter matrices are obtained by using simple matrix theory, and the design algorithm is illustrated by numerical examples.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Partial detectability and generalized functional observer design for linear descriptor systems
Authors:
Juhi Jaiswal,
Thomas Berger,
Nutan Kumar Tomar
Abstract:
This paper studies linear time-invariant descriptor systems which are not necessarily regular. We introduce the notion of partial detectability and characterize this concept by means of a simple rank criterion involving the system coefficient matrices. Three particular cases of this characterization are discussed in detail. Furthermore, we show that partial detectability is necessary for the exist…
▽ More
This paper studies linear time-invariant descriptor systems which are not necessarily regular. We introduce the notion of partial detectability and characterize this concept by means of a simple rank criterion involving the system coefficient matrices. Three particular cases of this characterization are discussed in detail. Furthermore, we show that partial detectability is necessary for the existence of a generalized functional observer, but not sufficient. We identify a condition which together with partial detectability gives sufficiency.
△ Less
Submitted 24 January, 2023;
originally announced January 2023.
-
Theory of q-commuting contractions : joint reducing subspaces and orthogonal decompositions
Authors:
Sourav Pal,
Prajakta Sahasrabuddhe,
Nitin Tomar
Abstract:
In the literature, we have several results associated with canonical decomposition of commuting contractions. In this paper, we generalize a few of these results to $Q$-commuting contractions. Here we mainly deal with $Q$-commuting and doubly $Q$-commuting contractions when $Q$ is a family of unitary operators.
In the literature, we have several results associated with canonical decomposition of commuting contractions. In this paper, we generalize a few of these results to $Q$-commuting contractions. Here we mainly deal with $Q$-commuting and doubly $Q$-commuting contractions when $Q$ is a family of unitary operators.
△ Less
Submitted 29 July, 2024; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Characterizations and models for the $C_{1,r}$ class and quantum annulus
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
For fixed $0<r<1$, let $A_r=\{z \in \mathbb{C} : r<|z|<1\}$ be the annulus with boundary $\partial \overline{A}_r=\mathbb{T} \cup r\mathbb{T}$, where $\mathbb T$ is the unit circle in the complex plane $\mathbb C$. An operator having $\ov{A}_r$ as a spectral set is called an $A_r$-\textit{contraction}. Also, a normal operator with its spectrum lying in the boundary $\partial \overline{A}_r$ is cal…
▽ More
For fixed $0<r<1$, let $A_r=\{z \in \mathbb{C} : r<|z|<1\}$ be the annulus with boundary $\partial \overline{A}_r=\mathbb{T} \cup r\mathbb{T}$, where $\mathbb T$ is the unit circle in the complex plane $\mathbb C$. An operator having $\ov{A}_r$ as a spectral set is called an $A_r$-\textit{contraction}. Also, a normal operator with its spectrum lying in the boundary $\partial \overline{A}_r$ is called an \textit{$A_r$-unitary}. The \textit{$C_{1,r}$ class} was introduced by Bello and Yakubovich in the following way: \[ C_{1, r}=\{T: T \ \mbox{is invertible and} \ \|T\|, \|rT^{-1}\| \leq 1\}. \] McCullough and Pascoe defined the \textit{quantum annulus} $\mathbb Q \mathbb A_r$ by \[ \mathbb Q\mathbb A_r = \{T \,:\, T \text{ is invertible and } \, \|rT\|, \|rT^{-1}\| \leq 1 \}. \] If $\mathcal A_r$ denotes the set of all $A_r$-contractions, then $\mathcal A_r \subsetneq C_{1,r} \subsetneq \mathbb Q \mathbb A_r$. We first find a model for an operator in $C_{1,r}$ and also characterize the operators in $C_{1,r}$ in several different ways. We prove that the classes $C_{1,r}$ and $\mathbb Q\mathbb A_r$ are equivalent. Then, via this equivalence, we obtain analogous model and characterizations for an operator in $\mathbb Q \mathbb A_r$.
△ Less
Submitted 19 June, 2024; v1 submitted 1 September, 2022;
originally announced September 2022.
-
The toral contractions and $Γ$-distinguished $Γ$-contractions
Authors:
Sourav Pal,
Nitin Tomar
Abstract:
A pair of commuting Hilbert space contractions $(T_1,T_2)$ is said to be toral if there is a polynomial $p \in \mathbb C[z_1,z_2]$ such that its zero set $Z(p)$ defines a distinguished variety in the bidisc $\mathbb D^2$ and $p(T_1,T_2)=0$. A pair of commuting Hilbert space operators $(S,P)$ is said to be a $Γ$-contraction if the closed symmetrized bidisc \[ Γ=\{ (z_1+z_2,z_1z_2)\,:\, |z_1|, \, |z…
▽ More
A pair of commuting Hilbert space contractions $(T_1,T_2)$ is said to be toral if there is a polynomial $p \in \mathbb C[z_1,z_2]$ such that its zero set $Z(p)$ defines a distinguished variety in the bidisc $\mathbb D^2$ and $p(T_1,T_2)=0$. A pair of commuting Hilbert space operators $(S,P)$ is said to be a $Γ$-contraction if the closed symmetrized bidisc \[ Γ=\{ (z_1+z_2,z_1z_2)\,:\, |z_1|, \, |z_2| \leq 1 \} \] is a spectral set for $(S,P)$. A $Γ$-contraction $(S,P)$ is called $Γ$-distinguished if $q(S,P)=0$ for some polynomial $q\in \mathbb C[z_1,z_2]$ whose zero set $Z(q)$ gives rise to a distinguished variety in the symmetrized bidisc $\mathbb G_2$. We find necessary and sufficient conditions such that a toral pair of contractions dilates to a toral pair of isometries. In the same spirit, we characterize all $Γ$-distinguished $Γ$-contractions that admit dilation to $Γ$-distinguished $Γ$-isometries. The distinguished boundary of a distinguished variety in $\mathbb D^2$ and $\mathbb G_2$ is determined. Examples are provided at places to show the contrasts between the theory of toral contractions and $Γ$-distinguished $Γ$-contractions.
△ Less
Submitted 4 September, 2025; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Partial impulse observability of linear descriptor systems
Authors:
Juhi Jaiswal,
Thomas Berger,
Nutan Kumar Tomar
Abstract:
A research paper in this journal vol. 61, no. 3, pp. 427-434, 2012, by M. Darouach, provides a functional observer design for linear descriptor systems under the partial impulse observability condition. The observer design is correct, but there was a flaw in the algebraic criterion characterizing partial impulse observability. In the present paper, we derive a novel characterization of partial imp…
▽ More
A research paper in this journal vol. 61, no. 3, pp. 427-434, 2012, by M. Darouach, provides a functional observer design for linear descriptor systems under the partial impulse observability condition. The observer design is correct, but there was a flaw in the algebraic criterion characterizing partial impulse observability. In the present paper, we derive a novel characterization of partial impulse observability in terms of a simple rank condition involving the system coefficient matrices and an alternative characterization in terms of the Wong sequences.
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
