Showing 1–50 of 184 results for author: Pal, S

On multidimensional Bohr radii for Banach spaces

Authors: Vasudevarao Allu, Subhadip Pal

Abstract: In this paper, we study a more general version of multidimensional Bohr radii for the holomorphic functions defined on unit ball of $\ell^n_q\,\,(1\leq q\leq \infty)$ spaces with values in arbitrary complex Banach spaces. More precisely, we study the multidimensional Bohr radii for bounded linear operators between complex Banach spaces, primarily motivated by the work of A. Defant, M. Maestre, and… ▽ More In this paper, we study a more general version of multidimensional Bohr radii for the holomorphic functions defined on unit ball of $\ell^n_q\,\,(1\leq q\leq \infty)$ spaces with values in arbitrary complex Banach spaces. More precisely, we study the multidimensional Bohr radii for bounded linear operators between complex Banach spaces, primarily motivated by the work of A. Defant, M. Maestre, and U. Schwarting [Adv. Math. 231 (2012), pp. 2837--2857]. We obtain the exact asymptotic estimates of multidimensional Bohr radius for both finite and infinite dimensional Banach spaces. As an application, we find the lower bound of arithmetic Bohr radius. △ Less

Submitted 3 July, 2024; v1 submitted 28 June, 2024; originally announced June 2024.

Comments: 19 pp; Some typos has been corrected

MSC Class: 32A05; 32A10; 46B07; 46B09; 46G20

Limiting partition function for the Mallows model: a conjecture and partial evidence

Authors: Soumik Pal

Abstract: Let $S_n$ denote the set of permutations of $n$ labels. We consider a class of Gibbs probability models on $S_n$ that is a subfamily of the so-called Mallows model of random permutations. The Gibbs energy is given by a class of right invariant divergences on $S_n$ that includes common choices such as the Spearman foot rule and the Spearman rank correlation. Mukherjee in 2016 computed the limit of… ▽ More Let $S_n$ denote the set of permutations of $n$ labels. We consider a class of Gibbs probability models on $S_n$ that is a subfamily of the so-called Mallows model of random permutations. The Gibbs energy is given by a class of right invariant divergences on $S_n$ that includes common choices such as the Spearman foot rule and the Spearman rank correlation. Mukherjee in 2016 computed the limit of the (scaled) log partition function (i.e. normalizing factor) of such models as $n\rightarrow \infty$. Our objective is to compute the exact limit, as $n\rightarrow \infty$, without the log. We conjecture that this limit is given by the Fredholm determinant of an integral operator related to the so-called Schrödinger bridge probability distributions from optimal transport theory. We provide partial evidence for this conjecture, although the argument lacks a final error bound that is needed for it to become a complete proof. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 11 pages

MSC Class: 60B15; 60C99

Iterated Schrödinger bridge approximation to Wasserstein Gradient Flows

Authors: Medha Agarwal, Zaid Harchaoui, Garrett Mulcahy, Soumik Pal

Abstract: We introduce a novel discretization scheme for Wasserstein gradient flows that involves successively computing Schrödinger bridges with the same marginals. This is different from both the forward/geodesic approximation and the backward/Jordan-Kinderlehrer-Otto (JKO) approximations. The proposed scheme has two advantages: one, it avoids the use of the score function, and, two, it is amenable to par… ▽ More We introduce a novel discretization scheme for Wasserstein gradient flows that involves successively computing Schrödinger bridges with the same marginals. This is different from both the forward/geodesic approximation and the backward/Jordan-Kinderlehrer-Otto (JKO) approximations. The proposed scheme has two advantages: one, it avoids the use of the score function, and, two, it is amenable to particle-based approximations using the Sinkhorn algorithm. Our proof hinges upon showing that relative entropy between the Schrödinger bridge with the same marginals at temperature $ε$ and the joint distribution of a stationary Langevin diffusion at times zero and $ε$ is of the order $o(ε^2)$ with an explicit dependence given by Fisher information. Owing to this inequality, we can show, using a triangular approximation argument, that the interpolated iterated application of the Schrödinger bridge approximation converge to the Wasserstein gradient flow, for a class of gradient flows, including the heat flow. The results also provide a probabilistic and rigorous framework for the convergence of the self-attention mechanisms in transformer networks to the solutions of heat flows, first observed in the inspiring work SABP22 in machine learning research. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: 36 pages, 1 figure

MSC Class: 49N99; 49Q22; 60J60

Nonlocal cooperative behaviour, psychological effects, and collective decision-making: an exemplification with predator-prey models

Authors: Sangeeta Saha, Swadesh Pal, Roderick Melnik

Abstract: In bio-social models, cooperative behaviour has evolved as an adaptive strategy, playing multi-functional roles. One of such roles in populations is to increase the success of survival and reproduction of individuals and their families or social groups. Moreover, collective decision-making in cooperative behaviour is an aspect that is used to study the dynamic behaviour of individuals within a soc… ▽ More In bio-social models, cooperative behaviour has evolved as an adaptive strategy, playing multi-functional roles. One of such roles in populations is to increase the success of survival and reproduction of individuals and their families or social groups. Moreover, collective decision-making in cooperative behaviour is an aspect that is used to study the dynamic behaviour of individuals within a social group. In this paper, we have focused on population dynamics by considering a predator-prey model as our main exemplification, where the generalist predator has adopted a cooperative hunting strategy while consuming their prey. In particular, we have analyzed the dynamic nature of the system when a nonlocal term is introduced in the cooperation. First, the Turing instability condition has been studied for the local model around the coexisting steady-state, followed by the Turing and non-Turing patterns in the presence of the nonlocal interaction term. This work is also concerned with the existence of travelling wave solutions for predator-prey interaction with the nonlocal cooperative hunting strategy. Such solutions are reported for local as well as for nonlocal models. We have characterized the invading speed of the predator with the help of the minimal wave speed of travelling wave solutions connecting the predator-free state to the co-existence state. The travelling waves are found to be non-monotonic in this system. The formation of wave trains has been demonstrated for an extended range of nonlocal interactions. Finally, the importance of psychological effects in sha** the dynamics of nonlocal collective behaviour is demonstrated with several representative examples. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: 39 pages, 34 figures

Variational Approach for Efficient KL Divergence Estimation in Dirichlet Mixture Models

Authors: Samyajoy Pal, Christian Heumann

Abstract: This study tackles the efficient estimation of Kullback-Leibler (KL) Divergence in Dirichlet Mixture Models (DMM), crucial for clustering compositional data. Despite the significance of DMMs, obtaining an analytically tractable solution for KL Divergence has proven elusive. Past approaches relied on computationally demanding Monte Carlo methods, motivating our introduction of a novel variational a… ▽ More This study tackles the efficient estimation of Kullback-Leibler (KL) Divergence in Dirichlet Mixture Models (DMM), crucial for clustering compositional data. Despite the significance of DMMs, obtaining an analytically tractable solution for KL Divergence has proven elusive. Past approaches relied on computationally demanding Monte Carlo methods, motivating our introduction of a novel variational approach. Our method offers a closed-form solution, significantly enhancing computational efficiency for swift model comparisons and robust estimation evaluations. Validation using real and simulated data showcases its superior efficiency and accuracy over traditional Monte Carlo-based methods, opening new avenues for rapid exploration of diverse DMM models and advancing statistical analyses of compositional data. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Switching Classes: Characterization and Computation

Authors: Dhanyamol Antony, Yixin Cao, Sagartanu Pal, R. B. Sandeep

Abstract: In a graph, the switching operation reverses adjacencies between a subset of vertices and the others. For a hereditary graph class $\mathcal{G}$, we are concerned with the maximum subclass and the minimum superclass of $\mathcal{G}$ that are closed under switching. We characterize the maximum subclass for many important classes $\mathcal{G}$, and prove that it is finite when $\mathcal{G}$ is minor… ▽ More In a graph, the switching operation reverses adjacencies between a subset of vertices and the others. For a hereditary graph class $\mathcal{G}$, we are concerned with the maximum subclass and the minimum superclass of $\mathcal{G}$ that are closed under switching. We characterize the maximum subclass for many important classes $\mathcal{G}$, and prove that it is finite when $\mathcal{G}$ is minor-closed and omits at least one graph. For several graph classes, we develop polynomial-time algorithms to recognize the minimum superclass. We also show that the recognition of the superclass is NP-complete for $H$-free graphs when $H$ is a sufficiently long path or cycle, and it cannot be solved in subexponential time assuming the Exponential Time Hypothesis. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 36 pages

Polynomial extension of stronger central set theorem near zero

Authors: Sujan Pal, Anik Pramanick

Abstract: Furstenberg introduced the notion of Central sets in 1981. Later in 1990 V. Bergelson and N. Hindman proved a different but an equivalent version of the central set theorem. In 2008 D. De, N. Hindman and D. Strauss proved a stronger version of central sets theorem. Hindman and Leader first introduced the concept of near zero. Recently S. Goswami, L. Baglini and S. Patra did a polynomial extension… ▽ More Furstenberg introduced the notion of Central sets in 1981. Later in 1990 V. Bergelson and N. Hindman proved a different but an equivalent version of the central set theorem. In 2008 D. De, N. Hindman and D. Strauss proved a stronger version of central sets theorem. Hindman and Leader first introduced the concept of near zero. Recently S. Goswami, L. Baglini and S. Patra did a polynomial extension of Stronger Central sets theorem in 2023. In this article, we proved the Polynomial stronger Central Sets Theorem near zero. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Julia sets of rational maps with rotational symmetries

Authors: Tarakanta Nayak, Soumen Pal

Abstract: By a symmetry of the Julia set of a polynomial, also referred as polynomial Julia set, we mean an Euclidean isometry preserving the Julia set. Each such symmetry is in fact a rotation about the centroid of the polynomial. In this article, a survey of the symmetries of polynomial Julia sets is made. Then the Euclidean isometries preserving the Julia set of rational maps are considered. A rotation p… ▽ More By a symmetry of the Julia set of a polynomial, also referred as polynomial Julia set, we mean an Euclidean isometry preserving the Julia set. Each such symmetry is in fact a rotation about the centroid of the polynomial. In this article, a survey of the symmetries of polynomial Julia sets is made. Then the Euclidean isometries preserving the Julia set of rational maps are considered. A rotation preserving the Julia set of a rational map is called a rotational symmetry of its Julia set. A sufficient condition is provided for a rational map to have rotational symmetries whenever the rational map has an exceptional point. Two classes of rational maps are provided whose Julia sets have rotational symmetries of finite orders. Using this, it is proved that $ z\mapsto μz$ where $μ^{m+n}=1$ is a rotational symmetry of the McMullen map $ z^m+\fracλ{z^n}$ for all $m,n$ with $m\geq 2$ and $λ\in \mathbb{C}\setminus \{0\}$. Assuming that a normalized polynomial has a simple root at the origin, it is shown that the groups of the rotational symmetries of the polynmial coincide with that of its Newton's method and Chebyshev's method. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: 29 pages, 13 figures

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.

Comments: 27 pages

Nonlocal Models in Biology and Life Sciences: Sources, Developments, and Applications

Authors: Swadesh Pal, Roderick Melnik

Abstract: Nonlocality is important in realistic mathematical models of physical and biological systems at small-length scales. It characterizes the properties of two individuals located in different locations. This review illustrates different nonlocal mathematical models applied to biology and life sciences. The major focus has been given to sources, developments, and applications of such models. Among oth… ▽ More Nonlocality is important in realistic mathematical models of physical and biological systems at small-length scales. It characterizes the properties of two individuals located in different locations. This review illustrates different nonlocal mathematical models applied to biology and life sciences. The major focus has been given to sources, developments, and applications of such models. Among other things, a systematic discussion has been provided for the conditions of pattern formations in biological systems of population dynamics. Special attention has also been given to nonlocal interactions on networks, network coupling and integration, including models for brain dynamics that provide us with an important tool to better understand neurodegenerative diseases. In addition, we have discussed nonlocal modelling approaches for cancer stem cells and tumor cells that are widely applied in the cell migration processes, growth, and avascular tumors in any organ. Furthermore, the discussed nonlocal continuum models can go sufficiently smaller scales applied to nanotechnology to build biosensors to sense biomaterial and its concentration. Piezoelectric and other smart materials are among them, and these devices are becoming increasingly important in the digital and physical world that is intrinsically interconnected with biological systems. Additionally, we have reviewed a nonlocal theory of peridynamics, which deals with continuous and discrete media and applies to model the relationship between fracture and healing in cortical bone, tissue growth and shrinkage, and other areas increasingly important in biomedical and bioengineering applications. Finally, we provided a comprehensive summary of emerging trends and highlighted future directions in this rapidly expanding field. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: 71 pages

Essential CR set near zero

Authors: Sujan Pal

Abstract: Hindman and Leader were the first to introduce the concept of central sets near zero for dense semigroups of $\left(\left(0,\infty\right),+\right)$ and demonstrated an important combinatorial theorem regarding these sets. Using the algebraic structure of the Stone-Čech compactification, Bayatmanesh and Tootkabani generalised and extended this combinatorial theorem to the central theorem near zero.… ▽ More Hindman and Leader were the first to introduce the concept of central sets near zero for dense semigroups of $\left(\left(0,\infty\right),+\right)$ and demonstrated an important combinatorial theorem regarding these sets. Using the algebraic structure of the Stone-Čech compactification, Bayatmanesh and Tootkabani generalised and extended this combinatorial theorem to the central theorem near zero. We introduce the CR-sets near zero and the essential CR-sets near zero in this article. Then dynamically and combinatorially characterize essential CR-sets near zero. Thereafter, we explore the cartesian product of these sets. △ Less

Submitted 12 January, 2024; originally announced January 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 6 April, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 36 pages

Abundance of progression in large set for non commutative semigroup

Authors: Sujan Pal

Abstract: The notion of abundance of certain type of configuration in certain large sets was first proved by Furstenberg and Glazner in 1998. After that many author investigate abundance of different types of configurations in different types of large sets. Hindman, Hosseini, Strauss and Tootkaboni recently introduced another notion of large sets called $CR$ sets. Then Debnath and De proved abundance of ari… ▽ More The notion of abundance of certain type of configuration in certain large sets was first proved by Furstenberg and Glazner in 1998. After that many author investigate abundance of different types of configurations in different types of large sets. Hindman, Hosseini, Strauss and Tootkaboni recently introduced another notion of large sets called $CR$ sets. Then Debnath and De proved abundance of arithmetic progression in $CR$ sets for commutative semigroups. In the present article we investigate abundance of progressions in for non-commutative semigroups. △ Less

Submitted 8 January, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Bounds on spectral gaps of Hyperbolic spin surfaces

Authors: Elliott Gesteau, Sridip Pal, David Simmons-Duffin, Yixin Xu

Abstract: We describe a method for constraining Laplacian and Dirac spectra of two dimensional compact orientable hyperbolic spin manifolds and orbifolds. The key ingredient is an infinite family of identities satisfied by the spectra. These spectral identities follow from the consistency between 1) the spectral decomposition of functions on the spin bundle into irreducible representations of… ▽ More We describe a method for constraining Laplacian and Dirac spectra of two dimensional compact orientable hyperbolic spin manifolds and orbifolds. The key ingredient is an infinite family of identities satisfied by the spectra. These spectral identities follow from the consistency between 1) the spectral decomposition of functions on the spin bundle into irreducible representations of $\mathrm{SL}(2,\mathbb{R})$ and 2) associativity of pointwise multiplication of functions. Applying semidefinite programming methods to our identities produces rigorous upper bounds on the Laplacian spectral gap as well as on the Dirac spectral gap conditioned on the former. In several examples, our bounds are nearly sharp; a numerical algorithm based on the Selberg trace formula shows that the $[0;3,3,5]$ orbifold, a particular surface with signature $[1;3]$, and the Bolza surface nearly saturate the bounds at genus $0$, $1$ and $2$ respectively. Under additional assumptions on the number of harmonic spinors carried by the spin-surface, we obtain more restrictive bounds on the Laplacian spectral gap. In particular, these bounds apply to hyperelliptic surfaces. We also determine the set of Laplacian spectral gaps attained by all compact orientable two-dimensional hyperbolic spin orbifolds. We show that this set is upper bounded by $12.13798$; this bound is nearly saturated by the $[0;3,3,5]$ orbifold, whose first non-zero Laplacian eigenvalue is $λ^{(0)}_1\approx 12.13623$. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 60 Pages, 3 Tables, 11 Figures

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.

Comments: This is a short paper, submitted to journal

MSC Class: 47A08; 47A25

The Role of Soil Surface in a Sustainable Semiarid Ecosystem

Authors: Swadesh Pal, Malay Banerjee, Roderick Melnik

Abstract: Patterns in a semiarid ecosystem are important because they directly and indirectly affect ecological processes, biodiversity, and ecosystem resilience. Understanding the causes and effects of these patterns is critical for long-term land surface management and conservation efforts in semiarid regions, which are especially sensitive to climate change and human-caused disturbances. It is known that… ▽ More Patterns in a semiarid ecosystem are important because they directly and indirectly affect ecological processes, biodiversity, and ecosystem resilience. Understanding the causes and effects of these patterns is critical for long-term land surface management and conservation efforts in semiarid regions, which are especially sensitive to climate change and human-caused disturbances. It is known that there is a regular connection between the vegetation and the living species in a habitat since some animals evolved to live in a semiarid ecosystem and rely on plants for food. In this work, we have constructed a coupled mathematical model to connect the water resource, vegetation and living organisms and have investigated how the soil surface affects the resulting patterns for the long term. This study contributes to a better understanding of ecological patterns and processes in semiarid environments by shedding light on the complex interaction mechanisms that depend on the structure of semiarid ecosystems. The findings provide further critical insight into the influence of efforts for improving ecosystem resilience and adjusting to the challenges posed by climate change and human activities. △ Less

Submitted 4 December, 2023; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: 21 pages, 6 figures, 1 table

MSC Class: 35K55; 37N25; 92D40

A Study on Filter Version of Strongly Central Sets

Authors: Dibyendu De, Sujan Pal, Jyotirmoy Poddar

Abstract: Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-Čech compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of \b{eta}S, the Stone-Čech compactification of a semigroup (S, .). Hindm… ▽ More Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-Čech compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of \b{eta}S, the Stone-Čech compactification of a semigroup (S, .). Hindman and leader introduced the notion of Central set near zero algebraically. Later dynamical and combinatorial characterization have also been established. For any given filter F in S a set A is said to be a F- central set if it is a member of a minimal idempotent of a closed subsemigroup of \b{eta}S, generated by the filter F. In a recent article Bergelson, Hindman and Strauss introduced strongly central and very strongly central sets in [BHS]. They also dynamically characterized the sets in the same paper. In the present article we will characterize the strongly F- central sets dynamically and combinatorially. Here we introduce the filter version of strongly central sets and very strongly central sets. We also provide dynamical and combinatorial characterization of such sets. △ Less

Submitted 3 October, 2023; originally announced October 2023.

The analysis of the impact of fear in the presence of additional food and prey refuge with nonlocal predator-prey models

Authors: Sangeeta Saha, Swadesh Pal, Roderick Melnik

Abstract: In a predator-prey interaction, many factors are present that affect the growth of the species, either positively or negatively. Fear of predation is such a factor that causes psychological stress in a prey species, so their overall growth starts to decline. In this work, a predator-prey model is proposed where the prey species faces a reduction in their growth out of fear, and the predator is als… ▽ More In a predator-prey interaction, many factors are present that affect the growth of the species, either positively or negatively. Fear of predation is such a factor that causes psychological stress in a prey species, so their overall growth starts to decline. In this work, a predator-prey model is proposed where the prey species faces a reduction in their growth out of fear, and the predator is also provided with an alternative food source that helps the prey to hide in a safer place. The dynamics produce a wide range of interesting results, including the significance of the presence of a certain amount of fear or even prey refuge for population coexistence. The analysis is extended later to the nonlocal model to analyze how the non-equilibrium phenomena influence the dynamical behaviour. It is observed through numerical simulations that the scope of pattern formation reduces with the increase of fear level in the spatio-temporal model, whereas the incorporation of nonlocal interaction further increases the chance of species colonization. △ Less

Submitted 14 June, 2024; v1 submitted 2 October, 2023; originally announced October 2023.

Comments: 26 pages, 28 figures

Bohr's power series theorem in the Minkowski space

Authors: Vasudevarao Allu, Himadri Halder, Subhadip Pal

Abstract: The main aim of this paper is to study the $n$-dimensional Bohr radius for holomophic functions defined on Reinhardt domain in $\mathbb{C}^n$ with positive real part. The present investigation is motivated by the work of Lev Aizenberg [Proc. Amer. Math. Soc. 128 (2000), 2611--2619]. A part of our investigation in the present paper includes a connection between the classical Bohr radius and the ari… ▽ More The main aim of this paper is to study the $n$-dimensional Bohr radius for holomophic functions defined on Reinhardt domain in $\mathbb{C}^n$ with positive real part. The present investigation is motivated by the work of Lev Aizenberg [Proc. Amer. Math. Soc. 128 (2000), 2611--2619]. A part of our investigation in the present paper includes a connection between the classical Bohr radius and the arithmetic Bohr radius of unit ball in the Minkowski space $\ell^n_{q}\, , 1\leq q\leq \infty$. Further, we determine the exact value of Bohr radius in terms of arithmetric Bohr radius. △ Less

Submitted 12 October, 2023; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: 11 Pages

MSC Class: 32A05; 32A10; 32A17; 30B10

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. \] We find several characterizations for the… ▽ 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. \] 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. We also 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. A commuting tuple of Hilbert space operators $(T_1, \dots , T_n)$ having the closed unit ball $\overline{\mathbb B}_n$ as a spectral set is called a $\mathbb B_n$-\textit{contraction} and a commuting pair $(S,P)$ having the closed symmetrized bidisc $\overline{\mathbb G_2} \,(=Γ)$ as a spectral set is called a $Γ$-\textit{contraction}. We characterize isometries and unitaries associated with $\mathbb B_n$. Then we present an analogous canonical decomposition for a $\mathbb B_n$-contraction. We show interplay between operator theory on the three domains $\mathbb P, \mathbb B_2$ and $\mathbb G_2$. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 40 pages. This article will be revised soon

Schwarzian Norm Estimate for Functions in Generalized Robertson Class

Authors: Sanjit Pal

Abstract: Let $\mathcal{A}$ be the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalized conditions $f(0)=0$, $f'(0)=1$. For $-π/2<α<π/2$ and $0\le β<1$, let $\mathcal{S}_α(β)$ be the subclass of $\mathcal{A}$ consisting of functions $f$ that satisfy the relation… ▽ More Let $\mathcal{A}$ be the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalized conditions $f(0)=0$, $f'(0)=1$. For $-π/2<α<π/2$ and $0\le β<1$, let $\mathcal{S}_α(β)$ be the subclass of $\mathcal{A}$ consisting of functions $f$ that satisfy the relation $${\rm Re\,} \left\{e^{iα}\left(1+\frac{zf''(z)}{f'(z)}\right)\right\}>β\cosα\quad\text{for}~z\in\mathbb{D}.$$ In the present study, we will compute the sharp estimate of the pre-Schwarzian and Schwarzian norms for functions in $\mathcal{S}_α(β)$. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2307.08976

MSC Class: 30C45: 30C55

Projected Langevin dynamics and a gradient flow for entropic optimal transport

Authors: Giovanni Conforti, Daniel Lacker, Soumik Pal

Abstract: The classical (overdamped) Langevin dynamics provide a natural algorithm for sampling from its invariant measure, which uniquely minimizes an energy functional over the space of probability measures, and which concentrates around the minimizer(s) of the associated potential when the noise parameter is small. We introduce analogous diffusion dynamics that sample from an entropy-regularized optimal… ▽ More The classical (overdamped) Langevin dynamics provide a natural algorithm for sampling from its invariant measure, which uniquely minimizes an energy functional over the space of probability measures, and which concentrates around the minimizer(s) of the associated potential when the noise parameter is small. We introduce analogous diffusion dynamics that sample from an entropy-regularized optimal transport, which uniquely minimizes the same energy functional but constrained to the set $Π(μ,ν)$ of couplings of two given marginal probability measures $μ$ and $ν$ on $\mathbb{R}^d$, and which concentrates around the optimal transport coupling(s) for small regularization parameter. More specifically, our process satisfies two key properties: First, the law of the solution at each time stays in $Π(μ,ν)$ if it is initialized there. Second, the long-time limit is the unique solution of an entropic optimal transport problem. In addition, we show by means of a new log-Sobolev-type inequality that the convergence holds exponentially fast, for sufficiently large regularization parameter and for a class of marginals which strictly includes all strongly log-concave measures. By studying the induced Wasserstein geometry of the submanifold $Π(μ,ν)$, we argue that the SDE can be viewed as a Wasserstein gradient flow on this space of couplings, at least when $d=1$, and we identify a conjectural gradient flow for $d \ge 2$. The main technical difficulties stems from the appearance of conditional expectation terms which serve to constrain the dynamics to $Π(μ,ν)$. △ Less

Submitted 15 September, 2023; originally announced September 2023.

MSC Class: 49Q22; 60H30

On dynamics of the Chebyshev's method for quartic polynomials

Authors: Tarakanta Nayak, Soumen Pal

Abstract: Let $p$ be a normalized (monic and centered) quartic polynomial with non-trivial symmetry groups. It is already known that if $p$ is unicritical, with only two distinct roots with the same multiplicity or having a root at the origin then the Julia set of its Chebyshev's method $C_p$ is connected and symmetry groups of $p$ and $C_p$ coincide~[Nayak, T., and Pal, S., Symmetry and dynamics of Chebysh… ▽ More Let $p$ be a normalized (monic and centered) quartic polynomial with non-trivial symmetry groups. It is already known that if $p$ is unicritical, with only two distinct roots with the same multiplicity or having a root at the origin then the Julia set of its Chebyshev's method $C_p$ is connected and symmetry groups of $p$ and $C_p$ coincide~[Nayak, T., and Pal, S., Symmetry and dynamics of Chebyshev's method, \cite{Sym-and-dyn}]. Every other quartic polynomial is shown to be of the form $p_a (z)=(z^2 -1)(z^2-a)$ where $a \in \mathbb{C}\setminus \{-1,0,1\}$. Some dynamical aspects of the Chebyshev's method $C_a$ of $p_a$ are investigated in this article for all real $a$. It is proved that all the extraneous fixed points of $C _a$ are repelling which gives that there is no invariant Siegel disk for $C_a$. It is also shown that there is no Herman ring in the Fatou set of $C_a$. For positive $a$, it is proved that at least two immediate basins of $C_a$ corresponding to the roots of $p_a$ are unbounded and simply connected. For negative $a$, it is however proved that all the four immediate basins of $C_a$ corresponding to the roots of $p_a$ are unbounded and those corresponding to $\pm i\sqrt{|a|}$ are simply connected. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 26 pages, 8 figures

MSC Class: 37F10; 65H05

Spectral Bounds on Hyperbolic 3-Manifolds: Associativity and the Trace Formula

Authors: James Bonifacio, Dalimil Mazac, Sridip Pal

Abstract: We constrain the low-energy spectra of Laplace operators on closed hyperbolic manifolds and orbifolds in three dimensions, including the standard Laplace-Beltrami operator on functions and the Laplacian on powers of the cotangent bundle. Our approach employs linear programming techniques to derive rigorous bounds by leveraging two types of spectral identities. The first type, inspired by the confo… ▽ More We constrain the low-energy spectra of Laplace operators on closed hyperbolic manifolds and orbifolds in three dimensions, including the standard Laplace-Beltrami operator on functions and the Laplacian on powers of the cotangent bundle. Our approach employs linear programming techniques to derive rigorous bounds by leveraging two types of spectral identities. The first type, inspired by the conformal bootstrap, arises from the consistency of the spectral decomposition of the product of Laplace eigensections, and involves the Laplacian spectra as well as integrals of triple products of eigensections. We formulate these conditions in the language of representation theory of $\mathrm{PSL}_2(\mathbb{C})$ and use them to prove upper bounds on the first and second Laplacian eigenvalues. The second type of spectral identities follows from the Selberg trace formula. We use them to find upper bounds on the spectral gap of the Laplace-Beltrami operator on hyperbolic 3-orbifolds, as well as on the systole length of hyperbolic 3-manifolds, as a function of the volume. Further, we prove that the spectral gap $λ_1$ of the Laplace-Beltrami operator on all closed hyperbolic 3-manifolds satisfies $λ_1 < 47.32$. Along the way, we use the trace formula to estimate the low-energy spectra of a large set of example orbifolds and compare them with our general bounds, finding that the bounds are nearly sharp in several cases. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: v1: 61 pages + appendices and references

Quasi-finite modules over extended affine Lie algebras

Authors: Souvik Pal

Abstract: In this paper, we consider irreducible quasi-finite (or equivalently weakly integrable) modules, with non-trivial action of the core, over the extended affine Lie algebras (EALAs) whose centerless cores are multiloop algebras. The centerless cores of all but one family of EALAs having nullity greater than 1 are known to admit such multiloop realizations. For any such (untwisted) EALA, we show that… ▽ More In this paper, we consider irreducible quasi-finite (or equivalently weakly integrable) modules, with non-trivial action of the core, over the extended affine Lie algebras (EALAs) whose centerless cores are multiloop algebras. The centerless cores of all but one family of EALAs having nullity greater than 1 are known to admit such multiloop realizations. For any such (untwisted) EALA, we show that the irreducible quasi-finite modules are either integrable with the center of the underlying core acting trivially, or restricted generalized highest weight (GHW) modules. We further prove that in the nullity 2 case, these irreducible restricted GHW modules turn out to be highest weight type modules, thereby classifying the irreducible quasi-finite modules over all such EALAs. In particular, we obtain the classification of irreducible quasi-finite modules over toroidal Lie algebras, minimal EALAs and toroidal EALAs of nullity 2. Along the way, we completely classify the irreducible weakly integrable modules over affine Kac-Moody algebras (studied by Rao-Futorny [Trans. Amer. Math. Soc. 2009] for non-zero level modules). Our results generalize the well-known work of Chari [Invent. Math. 1986] and Chari-Pressley [Math. Ann. 1986] concerning the classification of irreducible integrable modules over (nullity 1) affine Kac--Moody algebras. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: 32 pages

MSC Class: Primary: 17B10; 17B67; Secondary: 17B65; 17B70

Path convergence of Markov chains on large graphs

Authors: Siva Athreya, Soumik Pal, Raghav Somani, Raghavendra Tripathi

Abstract: We consider two classes of natural stochastic processes on finite unlabeled graphs. These are Euclidean stochastic optimization algorithms on the adjacency matrix of weighted graphs and a modified version of the Metropolis MCMC algorithm on stochastic block models over unweighted graphs. In both cases we show that, as the size of the graph goes to infinity, the random trajectories of the stochasti… ▽ More We consider two classes of natural stochastic processes on finite unlabeled graphs. These are Euclidean stochastic optimization algorithms on the adjacency matrix of weighted graphs and a modified version of the Metropolis MCMC algorithm on stochastic block models over unweighted graphs. In both cases we show that, as the size of the graph goes to infinity, the random trajectories of the stochastic processes converge to deterministic curves on the space of measure-valued graphons. Measure-valued graphons, introduced by Lovász and Szegedy in \cite{lovasz2010decorated}, are a refinement of the concept of graphons that can distinguish between two infinite exchangeable arrays that give rise to the same graphon limit. We introduce new metrics on this space which provide us with a natural notion of convergence for our limit theorems. This notion is equivalent to the convergence of infinite-exchangeable arrays. Under suitable assumptions and a specified time-scaling, the Metropolis chain admits a diffusion limit as the number of vertices go to infinity. We then demonstrate that, in an appropriately formulated zero-noise limit, the stochastic process of adjacency matrices of this diffusion converges to a deterministic gradient flow curve on the space of graphons introduced in\cite{Oh2023}. A novel feature of this approach is that it provides a precise exponential convergence rate for the Metropolis chain in a certain limiting regime. The connection between a natural Metropolis chain commonly used in exponential random graph models and gradient flows on graphons, to the best of our knowledge, is new in the literature as well. △ Less

Submitted 15 October, 2023; v1 submitted 17 August, 2023; originally announced August 2023.

Comments: Improved presentation, added Non-asymptotic rate of convergence in main results. 45 pages+references, 1 figure, 1 table

MSC Class: 05C80; 60K35; 65C05

Multidimensional Bohr radii for vector-valued holomorphic functions

Authors: Vasudevarao Allu, Himadri Halder, Subhadip Pal

Abstract: The main aim of this paper is to answer certain open questions related to the exact values of multidimensional Bohr radii by using the concept of arithmetic Bohr radius for vector-valued holomorphic functions defined in complete Reinhardt domains in $\mathbb{C}^n$. More precisely, we study the asymptotic estimates of the arithmetic Bohr radius for holomorphic functions in the unit ball of… ▽ More The main aim of this paper is to answer certain open questions related to the exact values of multidimensional Bohr radii by using the concept of arithmetic Bohr radius for vector-valued holomorphic functions defined in complete Reinhardt domains in $\mathbb{C}^n$. More precisely, we study the asymptotic estimates of the arithmetic Bohr radius for holomorphic functions in the unit ball of $\ell^n_q$ $(1\leq q\leq \infty)$ spaces with values in arbitrary complex Banach spaces. Many of our results generalize the results obtained by Defant, Maestre, and Prengel [Q. J. Math. 59, (2008), pp. 189--205]. △ Less

Submitted 2 September, 2023; v1 submitted 15 August, 2023; originally announced August 2023.

Comments: We have revised some of proof of our results

MSC Class: 32A05; 32A10; 46B45; 46G20

Wasserstein Mirror Gradient Flow as the limit of the Sinkhorn Algorithm

Authors: Nabarun Deb, Young-Heon Kim, Soumik Pal, Geoffrey Schiebinger

Abstract: We prove that the sequence of marginals obtained from the iterations of the Sinkhorn algorithm or the iterative proportional fitting procedure (IPFP) on joint densities, converges to an absolutely continuous curve on the $2$-Wasserstein space, as the regularization parameter $\varepsilon$ goes to zero and the number of iterations is scaled as $1/\varepsilon$ (and other technical assumptions). This… ▽ More We prove that the sequence of marginals obtained from the iterations of the Sinkhorn algorithm or the iterative proportional fitting procedure (IPFP) on joint densities, converges to an absolutely continuous curve on the $2$-Wasserstein space, as the regularization parameter $\varepsilon$ goes to zero and the number of iterations is scaled as $1/\varepsilon$ (and other technical assumptions). This limit, which we call the Sinkhorn flow, is an example of a Wasserstein mirror gradient flow, a concept we introduce here inspired by the well-known Euclidean mirror gradient flows. In the case of Sinkhorn, the gradient is that of the relative entropy functional with respect to one of the marginals and the mirror is half of the squared Wasserstein distance functional from the other marginal. Interestingly, the norm of the velocity field of this flow can be interpreted as the metric derivative with respect to the linearized optimal transport (LOT) distance. An equivalent description of this flow is provided by the parabolic Monge-Ampère PDE whose connection to the Sinkhorn algorithm was noticed by Berman (2020). We derive conditions for exponential convergence for this limiting flow. We also construct a Mckean-Vlasov diffusion whose marginal distributions follow the Sinkhorn flow. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 49 pages, 2 figures

MSC Class: 49N99; 49Q22; 60J60

Structural sensitivity of chaotic dynamics in Hastings-Powell's model

Authors: Indrajyoti Gaine, Swadesh Pal, Poulami Chatterjee, Malay Banerjee

Abstract: The classical Hastings-Powell model is well known to exhibit chaotic dynamics in a three-species food chain. Chaotic dynamics appear through period-doubling bifurcation of stable coexistence limit cycle around an unstable interior equilibrium point. A specific choice of parameter value leads to a situation where the chaotic attractor disappears through a collision with an unstable limit cycle. As… ▽ More The classical Hastings-Powell model is well known to exhibit chaotic dynamics in a three-species food chain. Chaotic dynamics appear through period-doubling bifurcation of stable coexistence limit cycle around an unstable interior equilibrium point. A specific choice of parameter value leads to a situation where the chaotic attractor disappears through a collision with an unstable limit cycle. As a result, the top predator goes to extinction. Here we explore the structural sensitivity of this phenomenon by replacing the Holling type II functional responses with Ivlev functional responses. Here we prove the existence of two Hopf-bifurcation thresholds and numerically detect the existence of an unstable limit cycle. The model with Ivlev functional responses does not indicate any possibility of extinction of the top predator. Further, the choice of functional responses depicts a significantly different picture of the coexistence of the three species involved with the model. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Schwarzian Norm Estimate for Functions in Robertson Class

Authors: Md Firoz Ali, Sanjit Pal

Abstract: Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. For $-π/2<α<π/2$, let $\mathcal{S}_α$ be the subclass of $\mathcal{A}$ consisting of functions $f$ that satisfy the relation ${\rm Re\,} \{e^{iα}(1+zf''(z)/f'(z))\}>0$ for $z\in\mathbb{D}$. In the present article, we determine the sharp estimate of… ▽ More Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. For $-π/2<α<π/2$, let $\mathcal{S}_α$ be the subclass of $\mathcal{A}$ consisting of functions $f$ that satisfy the relation ${\rm Re\,} \{e^{iα}(1+zf''(z)/f'(z))\}>0$ for $z\in\mathbb{D}$. In the present article, we determine the sharp estimate of the pre-Schwarzian and Schwarzian norms for functions in the class $\mathcal{S}_α$. △ Less

Submitted 18 July, 2023; originally announced July 2023.

MSC Class: 30C45; 30C55

Dilation and Birkhoff-James orthogonality

Authors: Sourav Pal, Saikat Roy

Abstract: We study the interaction between unitary $ρ$-dilations of a pair of Hilbert space operators and Birkhoff-James orthogonality. We prove that for two orthogonal operators $T,A$ if $\|T\|=ρ$, then $U_T \perp_B U_A$ for any unitary $ρ$-dilations $U_T$ of $T$ and $U_A$ of $A$ acting on a common space. We characterize $\varepsilon$-approximate Birkhoff-James orthogonality for complex Hilbert space opera… ▽ More We study the interaction between unitary $ρ$-dilations of a pair of Hilbert space operators and Birkhoff-James orthogonality. We prove that for two orthogonal operators $T,A$ if $\|T\|=ρ$, then $U_T \perp_B U_A$ for any unitary $ρ$-dilations $U_T$ of $T$ and $U_A$ of $A$ acting on a common space. We characterize $\varepsilon$-approximate Birkhoff-James orthogonality for complex Hilbert space operators. Then find a sharp bound on $\varepsilon$ such that $T \perp_B A$ implies that $U_T \perp_B^{\varepsilon} U_A$ for any unitary $ρ$-dilations $U_T, U_A$ of $T$ and $A$ respectively. The Schäffer unitary dilations of a pair of contractions $T,A$ are not orthogonal in general. We construct Schäffer-type unitary dilations for contractions which are pairwise orthogonal. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Comments: 31 pages, Submitted to journal

The Aldous diffusion: a stationary evolution of the Brownian CRT

Authors: Noah Forman, Soumik Pal, Douglas Rizzolo, Matthias Winkel

Abstract: Motivated by a down-up Markov chain on cladograms, David Aldous conjectured in 1999 that there exists a "diffusion on continuum trees" whose mass partitions at any finite number of branch points evolve as Wright-Fisher diffusions with some negative mutation rates, until some branch point disappears. Building on previous work on interval-partition-valued processes, we construct this conjectured pro… ▽ More Motivated by a down-up Markov chain on cladograms, David Aldous conjectured in 1999 that there exists a "diffusion on continuum trees" whose mass partitions at any finite number of branch points evolve as Wright-Fisher diffusions with some negative mutation rates, until some branch point disappears. Building on previous work on interval-partition-valued processes, we construct this conjectured process via a consistent system of stationary evolutions of binary trees with k labeled leaves and edges decorated with interval partitions. The interval partitions are scaled Poisson-Dirichlet interval partitions whose interval lengths record subtree masses. They also possess a diversity property that captures certain distances in the continuum tree. Continuously evolving diversities give access to continuously evolving continuum tree distances. The pathwise construction allows us to study this "Aldous diffusion" in the Gromov-Hausdorff-Prokhorov space of rooted, weighted R-trees. We establish the simple Markov property and path-continuity. The Aldous diffusion is stationary with the distribution of the Brownian continuum random tree. While the Brownian CRT is a.s. binary, we show that there is a dense null set of exceptional times when the Aldous diffusion has a ternary branch point, including stop** times at which the strong Markov property fails. Our construction relates to the two-parameter Chinese restaurant process, branching processes, and stable Lévy processes, among other connections. Wright-Fisher diffusions and the aforementioned processes of Poisson-Dirichlet interval partitions arise as interesting projections of the Aldous diffusion. Finally, one can embed Aldous's stationary down-up Markov chain on cladograms in the Aldous diffusion and hence address a related conjecture by David Aldous by establishing a scaling limit theorem. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 193+vi pages, 26 figures

MSC Class: 60J80; 60J25 (Primary) 60J60; 60G18; 60C05 (Secondary)

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.

Comments: 22 Pages

A combinatorial study on product of filter large sets

Authors: Sujan Pal, Jyotirmoy Poddar

Abstract: Sets satisfying Central sets theorem and other Ramsey theoretic large sets were studied extensively in literature. Hindman and Strauss proved that product of some of these large sets is again large. In this paper we show that if we take two combinatorially large sets along idempotent filters, then their product is also a filter large set. The techniques used here to prove our results are completel… ▽ More Sets satisfying Central sets theorem and other Ramsey theoretic large sets were studied extensively in literature. Hindman and Strauss proved that product of some of these large sets is again large. In this paper we show that if we take two combinatorially large sets along idempotent filters, then their product is also a filter large set. The techniques used here to prove our results are completely elementary in nature. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:2202.01070 by other authors

Fano manifolds of Picard number one whose co-tangent bundle is algebraically completely integrable system and its endomorphisms

Authors: Sarbeswar Pal

Abstract: Let $X$ be a projective Fano manifold of Picard number one, different from the projective space. There is a folklore conjecture that any non-constant endomorphism of $X$ is an isomorphism. In the first half of this article, we will prove the folklore conjecture when the co-tangent bundle of $X$ is algebraically completely integrable system and the tangent bundle of $X$ is not nef. In the second ha… ▽ More Let $X$ be a projective Fano manifold of Picard number one, different from the projective space. There is a folklore conjecture that any non-constant endomorphism of $X$ is an isomorphism. In the first half of this article, we will prove the folklore conjecture when the co-tangent bundle of $X$ is algebraically completely integrable system and the tangent bundle of $X$ is not nef. In the second half of the article, we will give examples of a collection of projective Fano manifolds of Picard rank one (different from the moduli space of vector bundles on algebraic curves) whose co-tangent bundles are algebraically completely integrable system. As applications of our main theorem and examples, in fact give alternative proofs of three major results appeared in three different articles. △ Less

Submitted 7 August, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: Revised version, some errors in earlier version has been corrected

Composition-Differentiation Operator on Weighted Bergman Spaces

Authors: Vasudevarao Allu, Himadri Halder, Subhadip Pal

Abstract: In this paper, we study the complex symmetry of weighted composition-differentiation operator $D_{n, ψ, φ}$ on weighted Bergman spaces $\mathcal{A}^2_α$ with respect to the conjugation $C_{μ, η}$ for $μ, η\in \{z\in \mathbb{C}:|z|=1\}$. We obtain explicit conditions for which the operator $D_{n, ψ, φ}$ is Hermitian and normal. We also characterize the complex symmetric weighted composition-differe… ▽ More In this paper, we study the complex symmetry of weighted composition-differentiation operator $D_{n, ψ, φ}$ on weighted Bergman spaces $\mathcal{A}^2_α$ with respect to the conjugation $C_{μ, η}$ for $μ, η\in \{z\in \mathbb{C}:|z|=1\}$. We obtain explicit conditions for which the operator $D_{n, ψ, φ}$ is Hermitian and normal. We also characterize the complex symmetric weighted composition-differentiation operator for derivative Hardy spaces. △ Less

Submitted 20 January, 2023; originally announced January 2023.

Comments: 14 pages

MSC Class: 47B38; 47B33; 30H20; 47A05; 47B15

Second moment of degree three $L$-functions

Authors: Sampurna Pal

Abstract: Let $F$ be a Hecke-Maass cusp form for $SL(3,\mathbb{Z})$. We obtain a non-trivial upper bound of the second moment of $L(F,s)$ in $t$-aspect: $$ \int_{T}^{2T}|L(F,1/2+it)|^2 dt\ll_{F,ε} T^{3/2-3/88+ε}.$$ Let $F$ be a Hecke-Maass cusp form for $SL(3,\mathbb{Z})$. We obtain a non-trivial upper bound of the second moment of $L(F,s)$ in $t$-aspect: $$ \int_{T}^{2T}|L(F,1/2+it)|^2 dt\ll_{F,ε} T^{3/2-3/88+ε}.$$ △ Less

Submitted 12 March, 2023; v1 submitted 30 December, 2022; originally announced December 2022.

Comments: Second Draft

MSC Class: 11F66; 11M99

The Schwarzian norm estimates for Janowski convex functions

Authors: Md Firoz Ali, Sanjit Pal

Abstract: For $-1\leq B<A\leq 1$, let $\mathcal{C}(A,B)$ denote the class of normalized Janowski convex functions defined in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ that satisfy the subordination relation $1+zf''(z)/f'(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class $\mathcal{C}(A,B)$. The Dieudonné's lemma which… ▽ More For $-1\leq B<A\leq 1$, let $\mathcal{C}(A,B)$ denote the class of normalized Janowski convex functions defined in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ that satisfy the subordination relation $1+zf''(z)/f'(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class $\mathcal{C}(A,B)$. The Dieudonné's lemma which gives the exact region of variability for derivatives at a point of bounded functions, plays the key role in this study, and we also use this lemma to construct the extremal functions for the sharpness by a new method. △ Less

Submitted 13 December, 2022; originally announced December 2022.

MSC Class: 30C45; 30C55

Journal ref: Proceedings of the Edinburgh Mathematical Society 67 (2024) 299-315

Schwarzian norm estimates for some classes of analytic functions

Authors: Md Firoz Ali, Sanjit Pal

Abstract: Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. In the present article, we obtain the sharp estimates of the Schwarzian norm for functions in the classes $\mathcal{G}(β)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]<1+β/2\}$, where $β>0$ and… ▽ More Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. In the present article, we obtain the sharp estimates of the Schwarzian norm for functions in the classes $\mathcal{G}(β)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]<1+β/2\}$, where $β>0$ and $\mathcal{F}(α)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]>α\}$, where $-1/2\le α\le 0$. We also establish two-point distortion theorem for functions in the classes $\mathcal{G}(β)$ and $\mathcal{F}(α)$. △ Less

Submitted 13 December, 2022; originally announced December 2022.

MSC Class: 30C45; 30C55

Theory of q-commuting contractions : decompositions, dilations and Brehmer's positivity

Authors: Sourav Pal, Prajakta Sahasrabuddhe, Nitin Tomar

Abstract: In the literature, we have several results associated with canonical decomposition of commuting contractions, dilations and Brehmer's positivity. 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|=1$ or when $q$ is a unitary operator. In the literature, we have several results associated with canonical decomposition of commuting contractions, dilations and Brehmer's positivity. 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|=1$ or when $q$ is a unitary operator. △ Less

Submitted 12 December, 2023; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: 79 pages

Lifting $Q$-commuting and $Q$-intertwining operators

Authors: Sourav Pal, Prajakta Sahasrabuddhe

Abstract: There are several proofs of the classical commutant lifting and intertwining lifting theorems in the literature. In this article, we present analogous proofs to a few $Q$-commuting lifting and $Q$-intertwining lifting theorems. We provide several proofs and show explicit constructions of Ando-type dilations for a pair of $Q$-commuting contractions $(T_1,T_2)$ when $Q$ is a bounded operator. We est… ▽ More There are several proofs of the classical commutant lifting and intertwining lifting theorems in the literature. In this article, we present analogous proofs to a few $Q$-commuting lifting and $Q$-intertwining lifting theorems. We provide several proofs and show explicit constructions of Ando-type dilations for a pair of $Q$-commuting contractions $(T_1,T_2)$ when $Q$ is a bounded operator. We establish a few connections of these results with graph theory. △ Less

Submitted 23 October, 2022; originally announced October 2022.

Comments: Contains 52 pages. This is just a first draft and will be revised soon. This is a part of the PhD thesis of the second named author submitted to IIT Bombay on May, 2022

Sample-Efficient Personalization: Modeling User Parameters as Low Rank Plus Sparse Components

Authors: Soumyabrata Pal, Prateek Varshney, Prateek Jain, Abhradeep Guha Thakurta, Gagan Madan, Gaurav Aggarwal, Pradeep Shenoy, Gaurav Srivastava

Abstract: Personalization of machine learning (ML) predictions for individual users/domains/enterprises is critical for practical recommendation systems. Standard personalization approaches involve learning a user/domain specific embedding that is fed into a fixed global model which can be limiting. On the other hand, personalizing/fine-tuning model itself for each user/domain -- a.k.a meta-learning -- has… ▽ More Personalization of machine learning (ML) predictions for individual users/domains/enterprises is critical for practical recommendation systems. Standard personalization approaches involve learning a user/domain specific embedding that is fed into a fixed global model which can be limiting. On the other hand, personalizing/fine-tuning model itself for each user/domain -- a.k.a meta-learning -- has high storage/infrastructure cost. Moreover, rigorous theoretical studies of scalable personalization approaches have been very limited. To address the above issues, we propose a novel meta-learning style approach that models network weights as a sum of low-rank and sparse components. This captures common information from multiple individuals/users together in the low-rank part while sparse part captures user-specific idiosyncrasies. We then study the framework in the linear setting, where the problem reduces to that of estimating the sum of a rank-$r$ and a $k$-column sparse matrix using a small number of linear measurements. We propose a computationally efficient alternating minimization method with iterative hard thresholding -- AMHT-LRS -- to learn the low-rank and sparse part. Theoretically, for the realizable Gaussian data setting, we show that AMHT-LRS solves the problem efficiently with nearly optimal sample complexity. Finally, a significant challenge in personalization is ensuring privacy of each user's sensitive data. We alleviate this problem by proposing a differentially private variant of our method that also is equipped with strong generalization guarantees. △ Less

Submitted 5 September, 2023; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: 104 pages, 7 figures, 2 Tables

Stochastic optimization on matrices and a graphon McKean-Vlasov limit

Authors: Zaid Harchaoui, Sewoong Oh, Soumik Pal, Raghav Somani, Raghavendra Tripathi

Abstract: We consider stochastic gradient descents on the space of large symmetric matrices of suitable functions that are invariant under permuting the rows and columns using the same permutation. We establish deterministic limits of these random curves as the dimensions of the matrices go to infinity while the entries remain bounded. Under a ``small noise'' assumption the limit is shown to be the gradient… ▽ More We consider stochastic gradient descents on the space of large symmetric matrices of suitable functions that are invariant under permuting the rows and columns using the same permutation. We establish deterministic limits of these random curves as the dimensions of the matrices go to infinity while the entries remain bounded. Under a ``small noise'' assumption the limit is shown to be the gradient flow of functions on graphons whose existence was established in~\cite{oh2021gradient}. We also consider limits of stochastic gradient descents with added properly scaled reflected Brownian noise. The limiting curve of graphons is characterized by a family of stochastic differential equations with reflections and can be thought of as an extension of the classical McKean-Vlasov limit for interacting diffusions to the graphon setting. The proofs introduce a family of infinite-dimensional exchangeable arrays of reflected diffusions and a novel notion of propagation of chaos for large matrices of diffusions converging to such arrays in a suitable sense. △ Less

Submitted 27 May, 2024; v1 submitted 2 October, 2022; originally announced October 2022.

Comments: 37 pages+ references, introduction modified and new examples added. Improved presentation

MSC Class: 05C60; 05C63; 05C80; 68R10; 60K35; 60G09

Optimal personalized therapies in colon-cancer induced immune response using a Fokker-Planck framework

Authors: Souvik Roy, Suvra Pal

Abstract: In this paper, a new stochastic framework to determine optimal combination therapies in colon cancer-induced immune response is presented. The dynamics of colon cancer is described through an Itö stochastic process, whose probability density function evolution is governed by the Fokker-Planck equation. An open-loop control optimization problem is proposed to determine the optimal combination thera… ▽ More In this paper, a new stochastic framework to determine optimal combination therapies in colon cancer-induced immune response is presented. The dynamics of colon cancer is described through an Itö stochastic process, whose probability density function evolution is governed by the Fokker-Planck equation. An open-loop control optimization problem is proposed to determine the optimal combination therapies. Numerical results with combination therapies comprising of the chemotherapy drug \ind{Doxorubicin} and immunotherapy drug IL-2 validate the proposed framework. △ Less

Submitted 8 September, 2022; originally announced September 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.

Comments: 14 pages, Thoroughly revised, Title changed, New results added

Symmetry and dynamics of Chebyshev's method

Authors: Tarakanta Nayak, Soumen Pal

Abstract: The set of all holomorphic Euclidean isometries preserving the Julia set of a rational map $R$ is denoted by $ΣR$. It is shown in this article that if a root-finding method $F$ satisfies the Scaling theorem, i.e., for a polynomial $p$, $F_p$ is affine conjugate to $F_{λp \circ T}$ for every nonzero complex number $λ$ and every affine map $T$, then for a centered polynomial $p$ of order at least tw… ▽ More The set of all holomorphic Euclidean isometries preserving the Julia set of a rational map $R$ is denoted by $ΣR$. It is shown in this article that if a root-finding method $F$ satisfies the Scaling theorem, i.e., for a polynomial $p$, $F_p$ is affine conjugate to $F_{λp \circ T}$ for every nonzero complex number $λ$ and every affine map $T$, then for a centered polynomial $p$ of order at least two (which is not a monomial), $Σp\subseteq ΣF_p$. As the Chebyshev's method satisfies the Scaling theorem, we have $Σp \subseteq Σ{C_p}$, where $p$ is a centered polynomial. The rest part of this article is devoted to explore the situations where the equality holds and in the process, the dynamics of $C_p$ is found. We show that the Julia set $\mathcal{J}(C_p)$ of $ C_p$ can never be a line. If a centered polynomial $p$ is (a) unicritical, (b) having exactly two roots with the same multiplicity, (c) cubic and $Σp$ is non-trivial or (d) quartic, $0$ is a root of $p$ and $Σp $ is non-trivial then it is proved that $Σp = ΣC_p$. It is found in all these cases that the Fatou set $\mathcal{F}(C_p)$ is the union of all the attracting basins of $C_p$ corresponding to the roots of $p$ and $\mathcal{J}(C_p)$ is connected. It is observed that $\mathcal{J}(C_p)$ is locally connected in all these cases. △ Less

Submitted 12 August, 2023; v1 submitted 24 August, 2022; originally announced August 2022.

Comments: 28 pages, 11 figures

MSC Class: 37F10; 65H05

Pattern alternations induced by nonlocal interactions

Authors: Swadesh Pal, Roderick Melnik, Malay Banerjee

Abstract: Pattern formation is a visual understanding of the dynamics of complex systems. Patterns arise in many ways, such as the segmentation of animals, bacterial colonies during growth, vegetation, chemical reactions, etc. In most cases, the long-range diffusion occurs, and the usual reaction-diffusion (RD) model can not capture such phenomena. The nonlocal RD model, on the other hand, can fill the gap.… ▽ More Pattern formation is a visual understanding of the dynamics of complex systems. Patterns arise in many ways, such as the segmentation of animals, bacterial colonies during growth, vegetation, chemical reactions, etc. In most cases, the long-range diffusion occurs, and the usual reaction-diffusion (RD) model can not capture such phenomena. The nonlocal RD model, on the other hand, can fill the gap. Analytical derivation of the amplitude equations (AE) for an RD system is a valuable tool to predict the pattern selections, in particular, the stationary Turing patterns when they occur. In this paper, we analyze the conditions for the Turing bifurcation for the nonlocal model and also derive the AE for the nonlocal RD model near the Turing bifurcation threshold to describe the reason behind the pattern selections. This derivation of the AE is not only limited to the nonlocal prey-predator model, as shown in our representative example but also can be applied to other nonlocal models near the Turing bifurcation threshold. The analytical prediction agrees with numerical simulation near the Turing bifurcation threshold. Moreover, the analytical and numerical results fit each other well even more remote from the Turing bifurcation threshold for the small values of the nonlocal parameter but not for the higher values. △ Less

Submitted 6 August, 2022; originally announced August 2022.

Comments: 21 pages, 7 figures

A Study Of Some Generalized Central Sets Theorem Along Phulara's Way

Authors: Sujan Pal, Jyotirmoy Poddar

Abstract: The Central Sets Theorem near zero was originally proved by Hindman and Leader. Later a version of Central Sets Theorem was proved by De, Hindman and Strauss known to be the stronger Central Sets Theorem. Subsequently many other versions of Central Sets Theorem came, among which Dev Phulara proved the theorem for a sequence of central sets instead of taking one set. In this paper, we provide vario… ▽ More The Central Sets Theorem near zero was originally proved by Hindman and Leader. Later a version of Central Sets Theorem was proved by De, Hindman and Strauss known to be the stronger Central Sets Theorem. Subsequently many other versions of Central Sets Theorem came, among which Dev Phulara proved the theorem for a sequence of central sets instead of taking one set. In this paper, we provide various general versions of the theorem along Dev Phulara's way with some Ramsey theoretic applications. △ Less

Submitted 17 August, 2023; v1 submitted 4 July, 2022; originally announced July 2022.

Comments: arXiv admin note: text overlap with arXiv:2107.13951, arXiv:2202.01070 by other authors

Minimal unitary dilations for commuting contractions

Authors: Sourav Pal, Prajakta Sahasrabuddhe

Abstract: For commuting contractions $T_1,\dots ,T_n$ acting on a Hilbert space $\mathcal H$ with $T=\prod_{i=1}^n T_i$, we show that $(T_1, \dots, T_n)$ dilates to commuting isometries $(V_1, \dots , V_n)$ on the minimal isometric dilation space of $T$ with $V=\prod_{i=1}^n V_i$ being the minimal isometric dilation of $T$ if and only if $(T_1^*, \dots , T_n^*)$ dilates to commuting isometries… ▽ More For commuting contractions $T_1,\dots ,T_n$ acting on a Hilbert space $\mathcal H$ with $T=\prod_{i=1}^n T_i$, we show that $(T_1, \dots, T_n)$ dilates to commuting isometries $(V_1, \dots , V_n)$ on the minimal isometric dilation space of $T$ with $V=\prod_{i=1}^n V_i$ being the minimal isometric dilation of $T$ if and only if $(T_1^*, \dots , T_n^*)$ dilates to commuting isometries $(Y_1, \dots , Y_n)$ on the minimal isometric dilation space of $T^*$ with $Y=\prod_{i=1}^n Y_i$ being the minimal isometric dilation of $T^*$. Then, we prove an analogue of this result for unitary dilations of $(T_1, \dots , T_n)$ and its adjoint. We find a necessary and sufficient condition such that $(T_1, \dots , T_n)$ possesses a unitary dilation $(W_1, \dots , W_n)$ on the minimal unitary dilation space of $T$ with $W=\prod_{i=1}^n W_i$ being the minimal unitary dilation of $T$. We show an explicit construction of such a unitary dilation on both Sch$\ddot{a}$ffer and Sz. Nagy-Foias minimal unitary dilation spaces of $T$. Also, we show that a relatively weaker hypothesis is necessary and sufficient for the existence of such a unitary dilation when $T$ is a $C._0$ contraction, i.e. when ${T^*}^n \rightarrow 0$ strongly as $n \rightarrow \infty $. We construct a different unitary dilation for $(T_1, \dots , T_n)$ when $T$ is a $C._0$ contraction. △ Less

Submitted 18 January, 2024; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: Revised, 32 pages. arXiv admin note: text overlap with arXiv:2204.11391

Distinguished varieties in the polydisc and dilation of commuting contractions

Authors: Sourav Pal

Abstract: A distinguished variety in the polydisc $\mathbb D^n$ is an affine complex algebraic variety that intersects $\mathbb D^n$ and exits the domain through the $n$-torus $\mathbb T^n$ without intersecting any other part of the topological boundary of $\mathbb D^n$. We find two different characterizations for a distinguished variety in the polydisc $\mathbb D^n$ in terms of the Taylor joint spectrum of… ▽ More A distinguished variety in the polydisc $\mathbb D^n$ is an affine complex algebraic variety that intersects $\mathbb D^n$ and exits the domain through the $n$-torus $\mathbb T^n$ without intersecting any other part of the topological boundary of $\mathbb D^n$. We find two different characterizations for a distinguished variety in the polydisc $\mathbb D^n$ in terms of the Taylor joint spectrum of certain linear matrix-pencils and thus generalize the seminal work due to Agler and M\raise.45ex\hbox{c}Carthy [Acta Math., 2005] on distinguished varieties in $\mathbb D^2$. We show that a distinguished variety in $\mathbb D^n$ is a part of an affine algebraic curve which is a set-theoretic complete intersection. We also show that if $(T_1, \dots , T_n)$ is commuting tuple of Hilbert space contractions such that the defect space of $T=\prod_{i=1}^n T_i$ is finite dimensional, then $(T_1, \dots , T_n)$ admits a commuting unitary dilation $(U_1, \dots , U_n)$ with $U=\prod_{i=1}^n U_i$ being the minimal unitary dilation of $T$ if and only if some certain matrices associated with $(T_1, \dots , T_n)$ define a distinguished variety in $\mathbb D^n$. △ Less

Submitted 14 April, 2023; v1 submitted 1 May, 2022; originally announced May 2022.

Comments: Modified. new results added. 20 Pages