-
Characterization of Generalized Alpha-Beta Divergence and Associated Entropy Measures
Authors:
Subhrajyoty Roy,
Supratik Basu,
Abhik Ghosh,
Ayanendranath Basu
Abstract:
Minimum divergence estimators provide a natural choice of estimators in a statistical inference problem. Different properties of various families of these divergence measures such as Hellinger distance, power divergence, density power divergence, logarithmic density power divergence, etc. have been established in literature. In this work, we propose a new class of divergence measures called "gener…
▽ More
Minimum divergence estimators provide a natural choice of estimators in a statistical inference problem. Different properties of various families of these divergence measures such as Hellinger distance, power divergence, density power divergence, logarithmic density power divergence, etc. have been established in literature. In this work, we propose a new class of divergence measures called "generalized alpha-beta divergence", which is a superfamily of these popular divergence families. We provide the necessary and sufficient conditions for the validity of the proposed generalized divergence measure, which allows us to construct novel families of divergence and associated entropy measures. We also show various characterizing properties like duality, inversion, semi-continuity, etc., from which, many existing results follow as special cases. We also discuss about the entropy measure derived from this general family of divergence and its properties.
△ Less
Submitted 6 July, 2025;
originally announced July 2025.
-
Paracomplete Probabilities
Authors:
Sankha S. Basu,
Esha Jain
Abstract:
This paper presents an advance in the direction of working with probabilities in a paracomplete setting using Logics of Formal Undeterminedness (LFUs). The undeterminedness is interpreted here as missing evidence. A theorem of total paracomplete probability and a paracomplete Bayes' rule have been proved using this setup. We end with a definition of a paracomplete probability space illustrating a…
▽ More
This paper presents an advance in the direction of working with probabilities in a paracomplete setting using Logics of Formal Undeterminedness (LFUs). The undeterminedness is interpreted here as missing evidence. A theorem of total paracomplete probability and a paracomplete Bayes' rule have been proved using this setup. We end with a definition of a paracomplete probability space illustrating a way to define probabilities on sets in the presence of undeterminedness.
△ Less
Submitted 6 July, 2025;
originally announced July 2025.
-
Abstract Model Structures and Compactness Theorems
Authors:
Sayantan Roy,
Sankha S. Basu,
Mihir K. Chakraborty
Abstract:
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this paper, using the notion of \emph{abstract model structures}, we show that one can develop a…
▽ More
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this paper, using the notion of \emph{abstract model structures}, we show that one can develop a generalized notion of compactness that is independent of these. Several characterization theorems for a particular class of compact abstract model structures are also proved.
△ Less
Submitted 3 July, 2025;
originally announced July 2025.
-
On the convergence of critical points on real algebraic sets and applications to optimization
Authors:
Saugata Basu,
Ali Mohammad-Nezhad
Abstract:
Let $F \in \R[X_1,\ldots,X_n]$ and the zero set $V=\zero(\mathcal{P},\R^n)$, where $\mathcal{P}:=\{P_1,\ldots,P_s\} \subset \R[X_1,\ldots,X_n]$ is a finite set of polynomials. We investigate existence of critical points of $F$ on an infinitesimal perturbation $V_ξ = \zero(\{P_1-ξ_1.\ldots,P_s-ξ_s\},\R^n)$. Our motivation is to understand the limiting behavior of central paths in polynomial optimiz…
▽ More
Let $F \in \R[X_1,\ldots,X_n]$ and the zero set $V=\zero(\mathcal{P},\R^n)$, where $\mathcal{P}:=\{P_1,\ldots,P_s\} \subset \R[X_1,\ldots,X_n]$ is a finite set of polynomials. We investigate existence of critical points of $F$ on an infinitesimal perturbation $V_ξ = \zero(\{P_1-ξ_1.\ldots,P_s-ξ_s\},\R^n)$. Our motivation is to understand the limiting behavior of central paths in polynomial optimization, which is an important problem in the theory of interior point methods for polynomial optimization. We establish different sets of conditions that ensure existence, finiteness, boundedness, and non-degeneracy of critical points of $F$ on $V_ξ$, respectively. These lead to new conditions for the existence, convergence, and smoothness of central paths of polynomial optimization and its extension to non-linear optimization problems involving definable sets and functions in an o-minimal structure. In particular, for nonlinear programs defined by real globally analytic functions, our extension provides a stronger form of the convergence result obtained by Drummond and Peterzil.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Maximal Inequalities for Independent Random Vectors
Authors:
Supratik Basu,
Arun K Kuchibhotla
Abstract:
Maximal inequalities refer to bounds on expected values of the supremum of averages of random variables over a collection. They play a crucial role in the study of non-parametric and high-dimensional estimators, and especially in the study of empirical risk minimizers. Although the expected supremum over an infinite collection appears more often in these applications, the expected supremum over a…
▽ More
Maximal inequalities refer to bounds on expected values of the supremum of averages of random variables over a collection. They play a crucial role in the study of non-parametric and high-dimensional estimators, and especially in the study of empirical risk minimizers. Although the expected supremum over an infinite collection appears more often in these applications, the expected supremum over a finite collection is a basic building block. This follows from the generic chaining argument. For the case of finite maximum, most existing bounds stem from the Bonferroni inequality (or the union bound). The optimality of such bounds is not obvious, especially in the context of heavy-tailed random vectors.
In this article, we consider the problem of finding sharp upper and lower bounds for the expected $L_{\infty}$ norm of the mean of finite-dimensional random vectors under marginal variance bounds and an integrable envelope condition.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Enumerating Smooth Structures on $\mathbb{C}P^3\times\mathbb{S}^k$
Authors:
Samik Basu,
Ramesh Kasilingam,
Ankur Sarkar
Abstract:
In this paper, we compute the concordance inertia group of the product $M \times \mathbb{S}^k$, where $M$ is a simply connected, closed, smooth 6-manifold, for $1 \leq k \leq 10$, using known low-dimensional computations of the stable homotopy groups of spheres. Specifically, for $M = \mathbb{C}P^3$, we determine the inertia group of $\mathbb{C}P^3 \times \mathbb{S}^k$ for…
▽ More
In this paper, we compute the concordance inertia group of the product $M \times \mathbb{S}^k$, where $M$ is a simply connected, closed, smooth 6-manifold, for $1 \leq k \leq 10$, using known low-dimensional computations of the stable homotopy groups of spheres. Specifically, for $M = \mathbb{C}P^3$, we determine the inertia group of $\mathbb{C}P^3 \times \mathbb{S}^k$ for $2 \leq k \leq 7, k \neq 6$, and establish a diffeomorphism classification of all smooth manifolds homeomorphic to $\mathbb{C}P^3 \times \mathbb{S}^k$ for $1 \leq k \leq 7$.
△ Less
Submitted 2 April, 2025; v1 submitted 20 March, 2025;
originally announced March 2025.
-
Two Generalizations of Property (II) and their characterization
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
The concept of Property (II) was introduced and characterized by Chen and Lin \cite{CL}. In this work, given a compatiable collection of bounded sets $\mathcal{A}$, we provide a complete characterization of two generalizations of Property (II) : (i) every closed convex set $A\in \mathcal{A}$ is an intersection of closed convex hulls of finitely many balls and (ii) for every closed convex set…
▽ More
The concept of Property (II) was introduced and characterized by Chen and Lin \cite{CL}. In this work, given a compatiable collection of bounded sets $\mathcal{A}$, we provide a complete characterization of two generalizations of Property (II) : (i) every closed convex set $A\in \mathcal{A}$ is an intersection of closed convex hulls of finitely many balls and (ii) for every closed convex set $A\in \mathcal{A}$ and $β\geqslant 0$, $\overline{A+βB_X}$ is an intersection of closed convex hulls of finitely many balls.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Application of Random Matrix Theory in High-Dimensional Statistics
Authors:
Swapnaneel Bhattacharyya,
Srijan Chattopadhyay,
Sevantee Basu
Abstract:
This review article provides an overview of random matrix theory (RMT) with a focus on its growing impact on the formulation and inference of statistical models and methodologies. Emphasizing applications within high-dimensional statistics, we explore key theoretical results from RMT and their role in addressing challenges associated with high-dimensional data. The discussion highlights how advanc…
▽ More
This review article provides an overview of random matrix theory (RMT) with a focus on its growing impact on the formulation and inference of statistical models and methodologies. Emphasizing applications within high-dimensional statistics, we explore key theoretical results from RMT and their role in addressing challenges associated with high-dimensional data. The discussion highlights how advances in RMT have significantly influenced the development of statistical methods, particularly in areas such as covariance matrix inference, principal component analysis (PCA), signal processing, and changepoint detection, demonstrating the close interplay between theory and practice in modern high-dimensional statistical inference.
△ Less
Submitted 7 December, 2024;
originally announced December 2024.
-
Bounds on the realizations of zero-nonzero patterns and sign conditions of polynomials restricted to varieties and applications
Authors:
Saugata Basu,
Laxmi Parida
Abstract:
We prove upper bounds which are independent of the dimension of the ambient space, on the number of realizable zero-nonzero patterns as well as sign conditions (when the field of coefficients is ordered) of a finite set of polynomials $\mathcal{P}$ restricted to some algebraic subset $V$ of an affine or projective space. Our bounds depend on the number and the degrees of the polynomials in…
▽ More
We prove upper bounds which are independent of the dimension of the ambient space, on the number of realizable zero-nonzero patterns as well as sign conditions (when the field of coefficients is ordered) of a finite set of polynomials $\mathcal{P}$ restricted to some algebraic subset $V$ of an affine or projective space. Our bounds depend on the number and the degrees of the polynomials in $\mathcal{P}$, as well as the degree of $V$ and the dimension of $V$, but are independent of the dimension of the space in which $V$ is embedded. This last feature of our bounds is useful in situations where the ambient dimension is much larger than $\mathrm{dim} V$. We give several applications of our results. We generalize existing results on bounding the speeds of algebraically defined classes of graphs, bounding the $\varepsilon$-entropy of real varieties, as well as lower bounds in terms of the number of connected components for testing membership in semi-algebraic sets using algebraic computation trees. Motivated by quantum complexity theory we introduce a notion of relative rank (additive as well as multiplicative) in finite dimensional vector spaces and algebras relative to a fixed algebraic subset in the vector space or algebra -- which generalizes the classical definition of ranks of tensors. We prove a very general lower bound on the maximum relative rank of finite subsets relative to algebraic subsets of bounded degree and dimension which is independent of the dimension of the vector space or algebra.
△ Less
Submitted 3 April, 2025; v1 submitted 18 November, 2024;
originally announced November 2024.
-
Cohomological VC-density: Bounds and Applications
Authors:
Saugata Basu,
Deepam Patel
Abstract:
The concept of Vapnik-Chervonenkis (VC) density is pivotal across various mathematical fields, including discrete geometry, probability theory and model theory. In this paper, we introduce a topological generalization of VC-density. Let $Y$ be a topological space and $\mathcal{X}$ a family of closed subspaces of $Y$. For each $p \geq 0$, we define a number, $\mathrm{vcd}^{p}_{\mathcal{X}}$, which…
▽ More
The concept of Vapnik-Chervonenkis (VC) density is pivotal across various mathematical fields, including discrete geometry, probability theory and model theory. In this paper, we introduce a topological generalization of VC-density. Let $Y$ be a topological space and $\mathcal{X}$ a family of closed subspaces of $Y$. For each $p \geq 0$, we define a number, $\mathrm{vcd}^{p}_{\mathcal{X}}$, which we refer to as the degree $p$ VC-density of the family $\mathcal{X}$. The classical notion of VC-density within this topological framework can be recovered by setting $p=0$.
Our definition of degree $p$ VC-density extends to higher orders as well. For $p \geq 0$, $q \geq 1$, we define the degree $p$, order $q$ VC density $\mathrm{vcd}^{p,q}_{\mathcal{X}}$ of $\mathcal{X}$, which recovers Shelah's notion of higher order VC-density for $q$-dependent families when $p=0$. Our definition introduces a completely new notion when $p > 0$.
We examine the properties of $\mathrm{vcd}_{\mathcal{X}}^p$ (as well as $\mathrm{vcd}^{p,q}_{\mathcal{X}}$) when the families $\mathcal{X}$ are definable in structures with some underlying topology (for instance, the Euclidean topology for o-minimal structures over $\mathbb{R}$, the analytic topology over $\mathbb{C}$, or the étale site for schemes over arbitrary algebraically closed fields). Our main result establishes that in any model of these theories
\[ \mathrm{vcd}_{\mathcal{X}}^p \leq (p+1) \dim X, \] and more generally for any $q \geq 1$ \[ \mathrm{vcd}^{p,q}_{\mathcal{X}} \leq (p+q) \dim X. \] We give examples to show that our bounds are optimal. We also present combinatorial applications of our higher-degree VC-density bounds, deriving higher degree topological analogs of well-known results such as the existence of $\varepsilon$-nets and the fractional Helly theorem.
△ Less
Submitted 3 June, 2025; v1 submitted 14 November, 2024;
originally announced November 2024.
-
On non-Baire rare sets in category bases
Authors:
Sanjib Basu,
Abhit Chandra Pramanik
Abstract:
In this paper, we deal with non-Baire rare sets in category bases which forms $\aleph_0$-independent family, where a rare set is a common generalization of both Luzin and Sierpinski set.
In this paper, we deal with non-Baire rare sets in category bases which forms $\aleph_0$-independent family, where a rare set is a common generalization of both Luzin and Sierpinski set.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Relational Companions of Logics
Authors:
Sankha S. Basu,
Sayantan Roy
Abstract:
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient condition for the restricted rules companion of a…
▽ More
The variable inclusion companions of logics have lately been thoroughly studied by multiple authors. There are broadly two types of these companions: the left and the right variable inclusion companions. Another type of companions of logics induced by Hilbert-style presentations (Hilbert-style logics) were introduced in a recent paper. A sufficient condition for the restricted rules companion of a Hilbert-style logic to coincide with its left variable inclusion companion was proved there, while a necessary condition remained elusive. The present article has two parts. In the first part, we give a necessary and sufficient condition for the left variable inclusion and the restricted rules companions of a Hilbert-style logic to coincide. In the rest of the paper, we recognize that the variable inclusion restrictions used to define variable inclusion companions of a logic $\langle\mathcal{L},\vdash\rangle$ are relations from $\mathcal{P}(\mathcal{L})$ to $\mathcal{L}$. This leads to a more general idea of a relational companion of a logical structure, a framework that we borrow from the field of universal logic. We end by showing that even Hilbert-style logics and the restricted rules companions of these can be brought under the umbrella of the general notions of logical structures and their relational companions that are discussed here.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Suszko's Thesis and Many-valued Logical Structures
Authors:
Sayantan Roy,
Sankha S. Basu,
Mihir K. Chakraborty
Abstract:
In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis ($\mathbf{ST}$) and show that the truth or falsity of $\mathbf{ST}$ depends, at least, on the precise notion of semantics. We propose two different notions of semantics and three different notions of entailment. The first one helps us formulate a precise…
▽ More
In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis ($\mathbf{ST}$) and show that the truth or falsity of $\mathbf{ST}$ depends, at least, on the precise notion of semantics. We propose two different notions of semantics and three different notions of entailment. The first one helps us formulate a precise definition of inferentially many-valued logical structures. The second and the third help us to generalise Suszko Reduction and provide adequate bivalent semantics for monotonic and a couple of nonmonotonic logical structures. All these lead us to a closer examination of the played by language/metalanguage hierarchy vis-á-vis $\mathbf{ST}$. We conclude that many-valued logical structures can be obtained if the bivalence of all the higher-order metalogics of the logic under consideration is discarded, building formal bridges between the theory of graded consequence and the theory of many-valued logical structures, culminating in generalisations of Suszko's Thesis.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
Complexity and speed of semi-algebraic multi-persistence
Authors:
Arindam Banerjee,
Saugata Basu
Abstract:
Let $\mathrm{R}$ be a real closed field, $S \subset \mathrm{R}^n$ a closed and bounded semi-algebraic set and $\mathbf{f} = (f_1,\ldots,f_p):S \rightarrow \mathrm{R}^p$ a continuous semi-algebraic map. We study the poset module structure in homology induced by the simultaneous filtrations of $S$ by the sub-level sets of the functions $f_i$ from an algorithmic and quantitative point of view. For fi…
▽ More
Let $\mathrm{R}$ be a real closed field, $S \subset \mathrm{R}^n$ a closed and bounded semi-algebraic set and $\mathbf{f} = (f_1,\ldots,f_p):S \rightarrow \mathrm{R}^p$ a continuous semi-algebraic map. We study the poset module structure in homology induced by the simultaneous filtrations of $S$ by the sub-level sets of the functions $f_i$ from an algorithmic and quantitative point of view. For fixed dimensional homology we prove a singly exponential upper bound on the complexity of these modules which are encoded as certain semi-algebraically constructible functions on $\mathrm{R}^p \times \mathrm{R}^p$. We also deduce for semi-algebraic filtrations of bounded complexity, upper bounds on the number of equivalence classes of finite poset modules that such a filtration induces -- establishing a tight analogy with a well-known graph theoretical result on the "speed'' of algebraically defined graphs.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Zero-Set Intersection Graph On C+(X)
Authors:
Soumi Basu,
Bedanta Bose
Abstract:
For any Tychonoff space X we have introduced the zero-set in-tersection graph on Γ(C+(X)) and studied the graph properties in connection with the algebraic properties of the semiring C+(X). We have shown that for any two realcompact spaces X and Y the graph isomorphism between Γ(C+(X)) and Γ(C+(Y )), the semiring isomorphism between C+(X) and C+(Y ), the topological homeomorphism between X and Y,…
▽ More
For any Tychonoff space X we have introduced the zero-set in-tersection graph on Γ(C+(X)) and studied the graph properties in connection with the algebraic properties of the semiring C+(X). We have shown that for any two realcompact spaces X and Y the graph isomorphism between Γ(C+(X)) and Γ(C+(Y )), the semiring isomorphism between C+(X) and C+(Y ), the topological homeomorphism between X and Y, the ring isomorphism between C(X) and C(Y ) and the graph isomorphism between Γ(C(X)) and Γ(C(Y )) are equivalent.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
$SU(2)$-bundles over highly connected $8$-manifolds
Authors:
Samik Basu,
Aloke Kr. Ghosh,
Subhankar Sau
Abstract:
In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincaré duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.
In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincaré duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
The complex K ring of the flip Stiefel manifolds
Authors:
Samik Basu,
Shilpa Gondhali,
Fathima Safikaa
Abstract:
The flip Stiefel manifolds (FV_{m,2s}) are defined as the quotient of the real Stiefel manifolds (V_{m,2s}) induced by the simultaneous pairwise flipping of the co-ordinates by the cyclic group of order 2. We calculate the complex (K)-ring of the flip Stiefel manifolds, $K^\ast(FV_{m,2s})$, for $s$ even. Standard techniques involve the representation theory of $Spin(m),$ and the Hodgkin spectral s…
▽ More
The flip Stiefel manifolds (FV_{m,2s}) are defined as the quotient of the real Stiefel manifolds (V_{m,2s}) induced by the simultaneous pairwise flipping of the co-ordinates by the cyclic group of order 2. We calculate the complex (K)-ring of the flip Stiefel manifolds, $K^\ast(FV_{m,2s})$, for $s$ even. Standard techniques involve the representation theory of $Spin(m),$ and the Hodgkin spectral sequence. However, the non-trivial element inducing the action doesn't readily yield the desired homomorphisms. Hence, by performing additional analysis, we settle the question for the case of (s \equiv 0 \pmod 2.)
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Equivariant cohomology for cyclic groups
Authors:
Samik Basu,
Pinka Dey
Abstract:
In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $λ^d$ for divisors $d$ of $n$, where $λ$ is…
▽ More
In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $λ^d$ for divisors $d$ of $n$, where $λ$ is the inclusion of $C_n$ in $S^1$ as the roots of unity. We make explicit computations for the geometric fixed points for Burnside ring coefficients, and in the positive cone for constant coefficients. The positive cone is also computed for the Burnside ring in the case of prime power order, and in the case of square free order. Finally, we also make computations at non-negative gradings for the constant coefficients.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Smooth Structures on $M^n\times\mathbb{S}^k$
Authors:
Samik Basu,
Ramesh Kasilingam,
Ankur Sarkar
Abstract:
This paper explores various differentiable structures on the product manifold $M \times \mathbb{S}^k$, where $M$ is either a 4-dimensional closed oriented manifold or a simply connected 5-dimensional closed manifold. We identify the possible stable homotopy types of $M$ and use it to calculate the concordance inertia group and the concordance structure set of $M\times\mathbb{S}^k$ for…
▽ More
This paper explores various differentiable structures on the product manifold $M \times \mathbb{S}^k$, where $M$ is either a 4-dimensional closed oriented manifold or a simply connected 5-dimensional closed manifold. We identify the possible stable homotopy types of $M$ and use it to calculate the concordance inertia group and the concordance structure set of $M\times\mathbb{S}^k$ for $1\leq k\leq 10.$ These calculations enable us to further classify all manifolds that are homeomorphic to $\mathbb{C}P^2\times\mathbb{S}^k$, up to diffeomorphism, for each $4\leq k\leq 6$.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
On the James brace product: Generalization, relation to $H$-splitting of loop space fibrations & the $J$-homomorphism
Authors:
Somnath Basu,
Aritra Bhowmick,
Sandip Samanta
Abstract:
Given a fibration $F \hookrightarrow E \rightarrow B$ with a homotopy section $s : B \rightarrow E$, James introduced a binary product $\left\{ , \right\}_s : π_i B \times π_j F \rightarrow π_{i+j-1} F$, called the brace product. In this article, we generalize this to general homotopy groups. We show that the vanishing of this generalized brace product is the precise obstruction to the $H$-splitti…
▽ More
Given a fibration $F \hookrightarrow E \rightarrow B$ with a homotopy section $s : B \rightarrow E$, James introduced a binary product $\left\{ , \right\}_s : π_i B \times π_j F \rightarrow π_{i+j-1} F$, called the brace product. In this article, we generalize this to general homotopy groups. We show that the vanishing of this generalized brace product is the precise obstruction to the $H$-splitting of the loop space fibration, i.e., $ΩE \simeq ΩB \times ΩF$ as $H$-spaces. Using rational homotopy theory, we show that for rational spaces, the vanishing of the generalized brace product coincides with the vanishing of the classical James brace product, enabling us to perform relevant computations. In addition, the notion of $J$-homomorphism is generalized and connected to the generalized brace product. Among applications, we characterize the homotopy types of certain fibrations including sphere bundles over spheres.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Equivariance in Approximation by Compact Sets
Authors:
Saugata Basu,
Alison Rosenblum
Abstract:
We adapt a construction of Gabrielov and Vorobjov for use in the symmetric case. Gabrielov and Vorobjov had developed a means by which one may replace an arbitrary set $S$ definable in some o-minimal expansion of $\mathbb{R}$ with a compact set $T$. $T$ is constructed in such a way that for a given $m>0$ we have epimorphisms from the first $m$ homotopy and homology groups of $T$ to those of $S$. I…
▽ More
We adapt a construction of Gabrielov and Vorobjov for use in the symmetric case. Gabrielov and Vorobjov had developed a means by which one may replace an arbitrary set $S$ definable in some o-minimal expansion of $\mathbb{R}$ with a compact set $T$. $T$ is constructed in such a way that for a given $m>0$ we have epimorphisms from the first $m$ homotopy and homology groups of $T$ to those of $S$. If $S$ is defined by a boolean combination of statements $h(x)=0$ and $h(x)>0$ for various $h$ in some finite collection of definable continuous functions, one may choose $T$ so that these maps are isomorphisms for $0\leq k\leq m-1$. In this case, $T$ is also defined by functions closely related to those defining $S$.
In this paper we study sets $S$ symmetric under the action of some finite reflection group $G$. One may see that in the original construction, if $S$ is defined by functions symmetric relative to the action of $G$, then $T$ will be as well. We show that there is an equivariant map $T\rightarrow S$ inducing the aforementioned epimorphisms and isomorphisms of homotopy and homology groups. We use this result to strengthen theorems of Basu and Riener concerning the multiplicities of Specht modules in the isotypic decomposition of the cohomology spaces of sets defined by polynomials symmetric relative to $\mathfrak{S}_n$.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
A Kuratowski theorem revisited
Authors:
Sanjib Basu,
Abhit Chandra Pramanik
Abstract:
If $f : X\mapsto Y$ is a function having Baire property from a metric space $X$ into a separable metric space $Y$ , then $f$ is continuous except on a set of first category. Kuratowski asked whether the condition of separability could be removed. Several attempts were done in the past to solve this problem. In fact, the first impressive attempt was initiated by Kunugi. This paper is aimed towards…
▽ More
If $f : X\mapsto Y$ is a function having Baire property from a metric space $X$ into a separable metric space $Y$ , then $f$ is continuous except on a set of first category. Kuratowski asked whether the condition of separability could be removed. Several attempts were done in the past to solve this problem. In fact, the first impressive attempt was initiated by Kunugi. This paper is aimed towards solving the problem of Kuratowski in category bases which generalizes the result of Kunugi.
△ Less
Submitted 16 August, 2024; v1 submitted 29 September, 2023;
originally announced September 2023.
-
A Study of topology of the Flip Stiefel Manifolds
Authors:
Samik Basu,
Safikaa Fathima,
Shilpa Gondhali
Abstract:
A well known quotient of the real Stiefel manifold is the projective Stiefel manifold. We introduce a new family of quotients of the real Stiefel manifold by cyclic group of order 2 whose action is induced by simultaneous pairwise flipping of the coordinates. We obtain a description for their tangent bundles, compute their mod 2 cohomology and compute Stiefel Whitney classes of these manifolds. We…
▽ More
A well known quotient of the real Stiefel manifold is the projective Stiefel manifold. We introduce a new family of quotients of the real Stiefel manifold by cyclic group of order 2 whose action is induced by simultaneous pairwise flipping of the coordinates. We obtain a description for their tangent bundles, compute their mod 2 cohomology and compute Stiefel Whitney classes of these manifolds. We use these to give applications to their stable span, parallelizability and equivariant maps, and the associated results in topological combinatorics.
△ Less
Submitted 24 April, 2024; v1 submitted 24 August, 2023;
originally announced August 2023.
-
Sparse reconstruction of ordinary differential equations with inference
Authors:
Sara Venkatraman,
Sumanta Basu,
Martin T. Wells
Abstract:
Sparse regression has emerged as a popular technique for learning dynamical systems from temporal data, beginning with the SINDy (Sparse Identification of Nonlinear Dynamics) framework proposed by arXiv:1509.03580. Quantifying the uncertainty inherent in differential equations learned from data remains an open problem, thus we propose leveraging recent advances in statistical inference for sparse…
▽ More
Sparse regression has emerged as a popular technique for learning dynamical systems from temporal data, beginning with the SINDy (Sparse Identification of Nonlinear Dynamics) framework proposed by arXiv:1509.03580. Quantifying the uncertainty inherent in differential equations learned from data remains an open problem, thus we propose leveraging recent advances in statistical inference for sparse regression to address this issue. Focusing on systems of ordinary differential equations (ODEs), SINDy assumes that each equation is a parsimonious linear combination of a few candidate functions, such as polynomials, and uses methods such as sequentially-thresholded least squares or the Lasso to identify a small subset of these functions that govern the system's dynamics. We instead employ bias-corrected versions of the Lasso and ridge regression estimators, as well as an empirical Bayes variable selection technique known as SEMMS, to estimate each ODE as a linear combination of terms that are statistically significant. We demonstrate through simulations that this approach allows us to recover the functional terms that correctly describe the dynamics more often than existing methods that do not account for uncertainty.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Sum of two rare sets in a category base can be absolutely non-baire
Authors:
Sanjib Basu,
abhit Chandra Pramanik
Abstract:
In this paper, we give generalized version in category bases of a result of Kharazishvili dealing with absolute nonmeasurability of the Minkowski sum of certain universal measure zero sets which were based on an earlier result of Erdos, Kunen and Mauldin in the real line.
In this paper, we give generalized version in category bases of a result of Kharazishvili dealing with absolute nonmeasurability of the Minkowski sum of certain universal measure zero sets which were based on an earlier result of Erdos, Kunen and Mauldin in the real line.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Generalized explosion principles
Authors:
Sankha S. Basu,
Sayantan Roy
Abstract:
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent and primary. In this article, we start by asking whether a negation operator is essential for describing explosion and paraconsistency. In other words…
▽ More
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent and primary. In this article, we start by asking whether a negation operator is essential for describing explosion and paraconsistency. In other words, is it possible to describe a principle of explosion and hence a notion of paraconsistency that is independent of connectives? A negation-free paraconsistency resulting from the failure of a generalized principle of explosion is presented first. We also derive a notion of quasi-negation from this and investigate its properties. Next, more general principles of explosion are considered. These are also negation-free; moreover, these principles gradually move away from the idea that an explosion requires a statement and its opposite. Thus, these principles can capture the explosion observed in logics where a statement and its negation explode only in the presence of additional information, such as in the logics of formal inconsistency.
△ Less
Submitted 8 August, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
The algebra of higher homotopy operations
Authors:
Samik Basu,
David Blanc,
Debasis Sen
Abstract:
We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure.
We explain how the simplicial higher-order unstable homotopy operations defined in [BBS2] may be composed and inserted one in another, thus forming a coherent if complicated algebraic structure.
△ Less
Submitted 22 July, 2023;
originally announced July 2023.
-
Two aspects of small diameter properties
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
In this short note, we study two different geometrical aspects of Banach spaces with small diameter properties, namely the Ball Dentable Property (BDP), Ball Huskable Property (BHP) and Ball Small Combination of slice Property (BSCSP). We show that BDP, BHP and BSCSP are separably determined properties. We also explore the stability of these properties over Kothe Bochner spaces.
In this short note, we study two different geometrical aspects of Banach spaces with small diameter properties, namely the Ball Dentable Property (BDP), Ball Huskable Property (BHP) and Ball Small Combination of slice Property (BSCSP). We show that BDP, BHP and BSCSP are separably determined properties. We also explore the stability of these properties over Kothe Bochner spaces.
△ Less
Submitted 17 July, 2023; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Nonrough norms in Lipschitz free spaces
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
In this paper we characterise nonrough norms of Lipschitz free spaces F(M) in terms of a new geometric property of the underlying metric space M.
In this paper we characterise nonrough norms of Lipschitz free spaces F(M) in terms of a new geometric property of the underlying metric space M.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Nonrough norms in spaces with small diameter
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
In this work, we study the non rough norms in Banach spaces with small diameter properties, namely the Ball Dentable Property (BDP), the Ball Huskable Property (BHP) and the Ball Small Combination of Slice Property (BSCSP). We introduce two more notions of non rough norms, namely the weakly average non rough norms and average non rough norms in Banach spaces. We prove the duality between these thr…
▽ More
In this work, we study the non rough norms in Banach spaces with small diameter properties, namely the Ball Dentable Property (BDP), the Ball Huskable Property (BHP) and the Ball Small Combination of Slice Property (BSCSP). We introduce two more notions of non rough norms, namely the weakly average non rough norms and average non rough norms in Banach spaces. We prove the duality between these three versions of non rough norms and the small diameter properties in Banach spaces. We also prove that each of the three non rough norms is a three space property under certain assumptions.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Ball separation characterization of dentability and related properties in Banach spaces
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
In this article, we first analyze the dual connection between ball separation property and the three properties in Banach spaces : Ball Dentable Property (BDP), Ball Huskable Property (BHP) and Ball Small Comination of Slice Property (BSCSP). We also introduce some related concepts in point version, namely the notion of semi w^*-Point of Continuity and semi w^* -Small Combination of Slice point in…
▽ More
In this article, we first analyze the dual connection between ball separation property and the three properties in Banach spaces : Ball Dentable Property (BDP), Ball Huskable Property (BHP) and Ball Small Comination of Slice Property (BSCSP). We also introduce some related concepts in point version, namely the notion of semi w^*-Point of Continuity and semi w^* -Small Combination of Slice point in B_{X^*} and establish their ball separation characterization. The characterization of semi w^*-PC plays a key role in establishing a new formulation of Property (II). We show that every point in S_{X^*} is semi w^*-PC of B_{X^*} if and only if X has property (II). At the end of this article, we introduce the notion of A-Small Combination of Slice point in B_{X^*} and obtain a necessary ball separation condition for its existence. This allows us to prove a more general version of the result given in [BB, Proposition 2.5].
△ Less
Submitted 9 September, 2024; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Equivariant Cohomology of Projective Spaces
Authors:
Samik Basu,
Pinka Dey,
Aparajita Karmakar
Abstract:
We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(kρ)$, of lines inside copies of the regular representation, yields a splitting of $H\underline{\mathbb{Z}}\bigwedge P(kρ)_+$ as a wedge of suspensions of $H\underline{\mathbb{Z}}$. This is ca…
▽ More
We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(kρ)$, of lines inside copies of the regular representation, yields a splitting of $H\underline{\mathbb{Z}}\bigwedge P(kρ)_+$ as a wedge of suspensions of $H\underline{\mathbb{Z}}$. This is carried out both in the complex case, and also in the quaternionic case, and further, for the $C_2$ action on $\mathbb{C} P^n$ by complex conjugation. We also observe that these decompositions imply a degeneration of the slice tower in these cases. Finally, we describe the cohomology of the projective spaces when $|G|=p^m$ of prime power order, with explicit formulas for $\underline{\mathbb{Z}_p}$-coefficients. Letting $k=\infty$, this also describes the equivariant homology and cohomology of the classifying spaces of $S^1$ and $S^3$.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Sphere fibrations over highly connected manifolds
Authors:
Samik Basu,
Aloke Kr. Ghosh
Abstract:
We construct sphere fibrations over $(n-1)$-connected $2n$-manifolds such that the total space is a connected sum of sphere products. More precisely, for $n$ even, we construct fibrations $S^{n-1} \to \#^{k-1}(S^n \times S^{2n-1}) \to M_k$, where $M_k$ is a $(n-1)$-connected $2n$-dimensional Poincaré duality complex which satisfies $H_n(M_k)\cong \mathbb{Z}^k$, in a localized category of spaces. T…
▽ More
We construct sphere fibrations over $(n-1)$-connected $2n$-manifolds such that the total space is a connected sum of sphere products. More precisely, for $n$ even, we construct fibrations $S^{n-1} \to \#^{k-1}(S^n \times S^{2n-1}) \to M_k$, where $M_k$ is a $(n-1)$-connected $2n$-dimensional Poincaré duality complex which satisfies $H_n(M_k)\cong \mathbb{Z}^k$, in a localized category of spaces. The construction of the fibration is proved for $k\geq 2$, where the prime $2$, and the primes which occur as torsion in $π_{2n-1}(S^n)$ are inverted. In specific cases, by either assuming $n$ is small, or assuming $k$ is large we can reduce the number of primes that need to be inverted. Integral results are obtained for $n=2$ or $4$, and if $k$ is bigger than the number of cyclic summands in the stable stem $π_{n-1}^s$, we obtain results after inverting $2$. Finally, we prove some applications for fibrations over $N\# M_k$, and for looped configuration spaces.
△ Less
Submitted 30 August, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
On topological sigma-ideals
Authors:
Sanjib Basu,
Debasish Sen
Abstract:
The concept of $\mathcal S$-topological $σ$-ideal in measurable space $(X, \mathcal S)$ was introduced by Hejduk and using a theorem of Wagner on convergence of measurable functions characterized $\mathcal S$-topological $σ$-ideals. In this paper, we give a general construction of $\mathcal S$-topological $σ$-ideals from structures induced by $σ$-algebras and weakly upper semicontinuous $ω$-small…
▽ More
The concept of $\mathcal S$-topological $σ$-ideal in measurable space $(X, \mathcal S)$ was introduced by Hejduk and using a theorem of Wagner on convergence of measurable functions characterized $\mathcal S$-topological $σ$-ideals. In this paper, we give a general construction of $\mathcal S$-topological $σ$-ideals from structures induced by $σ$-algebras and weakly upper semicontinuous $ω$-small systems. We also show that instead of weak upper semicontinuity, if we use upper semicontinuity, we get $\mathcal S$-uniformizable $σ$-ideals. This generalizes the approach of Wagner and Wilczynski metrizing Boolean Lattice of measurable functions
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Smooth structures on PL-manifolds of dimensions between 8 and 10
Authors:
Samik Basu,
Ramesh Kasilingam,
Priyanka Magar-Sawant
Abstract:
In this paper, we identify the concordance classes of smooth structures on $PL$-manifolds of dimension between $8$ and $10$ in terms of the cohomology and Steenrod operations. This leads to the computation of the homotopy inertia groups. Finally we discuss the special cases of Lens spaces and real projective spaces.
In this paper, we identify the concordance classes of smooth structures on $PL$-manifolds of dimension between $8$ and $10$ in terms of the cohomology and Steenrod operations. This leads to the computation of the homotopy inertia groups. Finally we discuss the special cases of Lens spaces and real projective spaces.
△ Less
Submitted 4 February, 2024; v1 submitted 4 February, 2023;
originally announced February 2023.
-
On the complexity of analyticity in semi-definite optimization
Authors:
Saugata Basu,
Ali Mohammad-Nezhad
Abstract:
It is well-known that the central path of semi-definite optimization, unlike linear optimization, has no analytic extension to $μ= 0$ in the absence of the strict complementarity condition. In this paper, we show the existence of a positive integer $ρ$ by which the reparametrization $μ\mapsto μ^ρ$ recovers the analyticity of the central path at $μ= 0$. We investigate the complexity of computing…
▽ More
It is well-known that the central path of semi-definite optimization, unlike linear optimization, has no analytic extension to $μ= 0$ in the absence of the strict complementarity condition. In this paper, we show the existence of a positive integer $ρ$ by which the reparametrization $μ\mapsto μ^ρ$ recovers the analyticity of the central path at $μ= 0$. We investigate the complexity of computing $ρ$ using algorithmic real algebraic geometry and the theory of complex algebraic curves. We prove that the optimal $ρ$ is bounded by $2^{O(m^2+n^2m+n^4)}$, where $n$ is the matrix size and $m$ is the number of affine constraints. Our approach leads to a symbolic algorithm, based on the Newton-Puiseux algorithm, which computes a feasible $ρ$ using $2^{O(m+n^2)}$ arithmetic operations.
△ Less
Submitted 7 February, 2023; v1 submitted 15 January, 2023;
originally announced January 2023.
-
Bayesian Arc Length Survival Analysis Model (BALSAM): Theory and Application to an HIV/AIDS Clinical Trial
Authors:
Yan Gao,
Rodney A. Sparapani,
Sanjib Basu
Abstract:
Stochastic volatility often implies increasing risks that are difficult to capture given the dynamic nature of real-world applications. We propose using arc length, a mathematical concept, to quantify cumulative variations (the total variability over time) to more fully characterize stochastic volatility. The hazard rate, as defined by the Cox proportional hazards model in survival analysis, is as…
▽ More
Stochastic volatility often implies increasing risks that are difficult to capture given the dynamic nature of real-world applications. We propose using arc length, a mathematical concept, to quantify cumulative variations (the total variability over time) to more fully characterize stochastic volatility. The hazard rate, as defined by the Cox proportional hazards model in survival analysis, is assumed to be impacted by the instantaneous value of a longitudinal variable. However, when cumulative variations pose a significant impact on the hazard, this assumption is questionable. Our proposed Bayesian Arc Length Survival Analysis Model (BALSAM) infuses arc length into a united statistical framework by synthesizing three parallel components (joint models, distributed lag models, and arc length). We illustrate the use of BALSAM in simulation studies and also apply it to an HIV/AIDS clinical trial to assess the impact of cumulative variations of CD4 count (a critical longitudinal biomarker) on mortality while accounting for measurement errors and relevant variables.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Improved effective Łojasiewicz inequality and applications
Authors:
Saugata Basu,
Ali Mohammad-Nezhad
Abstract:
Let $\mathrm{R}$ be a real closed field. Given a closed and bounded semi-algebraic set $A \subset \mathrm{R}^n$ and semi-algebraic continuous functions $f,g:A \rightarrow \mathrm{R}$, such that $f^{-1}(0) \subset g^{-1}(0)$, there exist $N$ and $c \in \mathrm{R}$, such that the inequality (Łojasiewicz inequality) $|g(x)|^N \le c \cdot |f(x)|$ holds for all $x \in A$. In this paper we consider the…
▽ More
Let $\mathrm{R}$ be a real closed field. Given a closed and bounded semi-algebraic set $A \subset \mathrm{R}^n$ and semi-algebraic continuous functions $f,g:A \rightarrow \mathrm{R}$, such that $f^{-1}(0) \subset g^{-1}(0)$, there exist $N$ and $c \in \mathrm{R}$, such that the inequality (Łojasiewicz inequality) $|g(x)|^N \le c \cdot |f(x)|$ holds for all $x \in A$. In this paper we consider the case when $A$ is defined by a quantifier-free formula with atoms of the form $P = 0, P >0, P \in \mathcal{P}$ for some finite subset of polynomials $\mathcal{P} \subset \mathrm{R}[X_1,\ldots,X_n]_{\leq d}$, and the graphs of $f,g$ are also defined by quantifier-free formulas with atoms of the form $Q = 0, Q >0, Q \in \mathcal{Q}$, for some finite set $\mathcal{Q} \subset \mathrm{R}[X_1,\ldots,X_n,Y]_{\leq d}$. We prove that the Łojasiewicz exponent $N$ in this case is bounded by $(8 d)^{2(n+7)}$. Our bound depends on $d$ and $n$, but is independent of the combinatorial parameters, namely the cardinalities of $\mathcal{P}$ and $\mathcal{Q}$. As a consequence we improve the current best error bounds for polynomial systems under some conditions. Finally, as an abstraction of the notion of independence of the Łojasiewicz exponent from the combinatorial parameters occurring in the descriptions of the given pair of functions, we prove a version of Łojasiewicz inequality in polynomially bounded o-minimal structures. We prove the existence of a common Łojasiewicz exponent for certain combinatorially defined infinite (but not necessarily definable) families of pairs of functions.
△ Less
Submitted 1 December, 2022; v1 submitted 18 November, 2022;
originally announced November 2022.
-
On a model-based analysis of vortex formations and decay in flows through bio-inspired T-shaped cavities
Authors:
Sneham Das,
Saikat Basu
Abstract:
Fluidic transport in inverted T-shaped cavities with the flow entering through the top and exiting from the two bottom outlets experiences an interesting phenomenon that causes particles having density lower than that of the fluid medium to get trapped at the junction, in a horizontal formation. However, this only occurs across a small range of Reynolds numbers and that too in the laminar regime.…
▽ More
Fluidic transport in inverted T-shaped cavities with the flow entering through the top and exiting from the two bottom outlets experiences an interesting phenomenon that causes particles having density lower than that of the fluid medium to get trapped at the junction, in a horizontal formation. However, this only occurs across a small range of Reynolds numbers and that too in the laminar regime. The unexpected phenomenon is conjectured to be modulated by formation of vortex tubes in the flow. Interestingly enough, such T-shaped (or, more generically, Y-shaped) cavities are also seen quite widely in anatomic pathways, e.g., in animal upper airways. It can be hypothesized that this trapping phenomenon can emerge in such geometries as well. Our current model simulates the occurrence with water as the ambient fluid medium passing through an idealized T-shaped space and measures the length of the vortices in each of the arms of the junction. In our study, we have conducted the investigation using a Reynolds number of 400 that lies in the laminar regime and have estimated the vortex tube lengths using the concept of nodal maximum velocities that the streamwise flow would attain on vortex dissipation. Vorticity and helicity contour variations as one goes further away from the junction have also been reported.
△ Less
Submitted 13 November, 2022;
originally announced November 2022.
-
Non-rough norms and dentability in spaces of operators
Authors:
Susmita Seal,
Sudeshna Basu,
Julio Becerra Guerrero,
Juan Miguel Villegas Yeguas
Abstract:
In this work, we study non-rough norms in L(X,Y), the space of bounded linear operators between Banach spaces X and Y. We prove that L(X,Y) has non-rough norm if and only if X* and Y have non-rough norm. We show that the injective tensor product of X and Y has non-rough norm if and only if both X and Y have non-rough norm. We also give an example to show that non-rough norms are not stable under p…
▽ More
In this work, we study non-rough norms in L(X,Y), the space of bounded linear operators between Banach spaces X and Y. We prove that L(X,Y) has non-rough norm if and only if X* and Y have non-rough norm. We show that the injective tensor product of X and Y has non-rough norm if and only if both X and Y have non-rough norm. We also give an example to show that non-rough norms are not stable under projective tensor product. We also study a related concept namely the small diameter properties in the context of L(X,Y)*. These results leads to a discussion on stability of the small diameter properties for projective and injective tensor product spaces.
△ Less
Submitted 18 October, 2022; v1 submitted 11 October, 2022;
originally announced October 2022.
-
A note on sets avoiding rational distances in category bases
Authors:
Sanjib Basu,
Abhit Chandra Pramanik
Abstract:
Michalski gave a short and elegant proof of a theorem of A. Kumar which states that for each set A in R, there exists a subset B of A which is full in A and such that no distance between points in B is a rational number. He also proved a similar theorem for sets in the Euclidean plane. In this paper, we generalize these results in some special types of category bases.
Michalski gave a short and elegant proof of a theorem of A. Kumar which states that for each set A in R, there exists a subset B of A which is full in A and such that no distance between points in B is a rational number. He also proved a similar theorem for sets in the Euclidean plane. In this paper, we generalize these results in some special types of category bases.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
$p$-local decompositions of projective Stiefel manifolds
Authors:
Samik Basu,
Debanil Dasgupta,
Shilpa Gondhali,
Swagata Sarkar
Abstract:
The main objective of this paper is to analyze the $p$-local homotopy type of the complex projective Stiefel manifolds, and other analogous quotients of Stiefel manifolds. We take the cue from a result of Yamaguchi about the $p$-regularity of the complex Stiefel manifolds which lays down some hypotheses under which the Stiefel manifold is $p$-locally a product of odd dimensional spheres. We show t…
▽ More
The main objective of this paper is to analyze the $p$-local homotopy type of the complex projective Stiefel manifolds, and other analogous quotients of Stiefel manifolds. We take the cue from a result of Yamaguchi about the $p$-regularity of the complex Stiefel manifolds which lays down some hypotheses under which the Stiefel manifold is $p$-locally a product of odd dimensional spheres. We show that in many cases, the projective Stiefel manifolds are $p$-locally a product of a complex projective space and some odd dimensional spheres. As an application, we prove that in these cases, the $p$-regularity result of Yamaguchi is also $S^1$-equivariant.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Sequents, barcodes, and homology
Authors:
Saugata Basu,
Negin Karisani,
Laxmi Parida
Abstract:
We consider the problem of generating hypothesis from data based on ideas from logic. We introduce a notion of barcodes, which we call sequent barcodes, that mirrors the barcodes in persistent homology theory in topological data analysis. We prove a theoretical result on the stability of these barcodes in analogy with similar results in persistent homology theory. Additionally we show that our new…
▽ More
We consider the problem of generating hypothesis from data based on ideas from logic. We introduce a notion of barcodes, which we call sequent barcodes, that mirrors the barcodes in persistent homology theory in topological data analysis. We prove a theoretical result on the stability of these barcodes in analogy with similar results in persistent homology theory. Additionally we show that our new notion of barcodes can be interpreted in terms of a persistent homology of a particular filtration of topological spaces induced by the data. Finally, we discuss a concrete application of the sequent barcodes in a discovery problem arising from the area of cancer genomics.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
The index of equidimensional flag manifolds
Authors:
Samik Basu,
Bikramjit Kundu
Abstract:
In this paper, we consider the flag manifold of $p$ orthogonal subspaces of equal dimension which carries an action of the cyclic group of order $p$. We provide a complete calculation of the associated Fadell-Husseini index. This may be thought of as an odd primary version of the computations of Baralić et al [Forum Math., 30 (2018), pp. 1539--1572] for the Grassmann manifold…
▽ More
In this paper, we consider the flag manifold of $p$ orthogonal subspaces of equal dimension which carries an action of the cyclic group of order $p$. We provide a complete calculation of the associated Fadell-Husseini index. This may be thought of as an odd primary version of the computations of Baralić et al [Forum Math., 30 (2018), pp. 1539--1572] for the Grassmann manifold $G_n(\mathbb{R}^{2n})$. These results have geometric consequences for $p$-fold orthogonal shadows of a convex body.
△ Less
Submitted 28 July, 2022; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Computing the homology functor on semi-algebraic maps and diagrams
Authors:
Saugata Basu,
Negin Karisani
Abstract:
Developing an algorithm for computing the Betti numbers of semi-algebraic sets with singly exponential complexity has been a holy grail in algorithmic semi-algebraic geometry and only partial results are known. In this paper we consider the more general problem of computing the image under the homology functor of a semi-algebraic map $f:X \rightarrow Y$ between closed and bounded semi-algebraic se…
▽ More
Developing an algorithm for computing the Betti numbers of semi-algebraic sets with singly exponential complexity has been a holy grail in algorithmic semi-algebraic geometry and only partial results are known. In this paper we consider the more general problem of computing the image under the homology functor of a semi-algebraic map $f:X \rightarrow Y$ between closed and bounded semi-algebraic sets. For every fixed $\ell \geq 0$ we give an algorithm with singly exponential complexity that computes bases of the homology groups $\mathrm{H}_i(X), \mathrm{H}_i(Y)$ (with rational coefficients) and a matrix with respect to these bases of the induced linear maps $\mathrm{H}_i(f):\mathrm{H}_i(X) \rightarrow \mathrm{H}_i(Y), 0 \leq i \leq \ell$. We generalize this algorithm to more general (zigzag) diagrams of maps between closed and bounded semi-algebraic sets and give a singly exponential algorithm for computing the homology functors on such diagrams. This allows us to give an algorithm with singly exponential complexity for computing barcodes of semi-algebraic zigzag persistent homology in small dimensions.
△ Less
Submitted 21 July, 2022;
originally announced July 2022.
-
Generalization of two theorems of Steinhaus in category bases
Authors:
Sanjib Basu,
Abhit Chandra Pramanik
Abstract:
Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for which our second theorem fails.
Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for which our second theorem fails.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Graph Polynomial for Colored Embedded Graphs: A Topological Approach
Authors:
Somnath Basu,
Dhruv Bhasin,
Siddhartha Lal,
Siddhartha Patra
Abstract:
We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in physics. We also analyze a variant of these polynomials for colored embedded graphs. This is used to describe the change in the polynomial under basic graph the…
▽ More
We study finite graphs embedded in oriented surfaces by associating a polynomial to it. The tools used in developing a theory of such graph polynomials are algebraic topological while the polynomial itself is inspired from ideas arising in physics. We also analyze a variant of these polynomials for colored embedded graphs. This is used to describe the change in the polynomial under basic graph theoretic operations. We conclude with several applications of this polynomial including detection of certain classes of graphs and the connection of this polynomial with topological entanglement entropy.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Topology of real multi-affine hypersurfaces and a homological stability property
Authors:
Saugata Basu,
Daniel Perrucci
Abstract:
Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of…
▽ More
Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is sharp and is independent of $n$ (as opposed to the classical bound of $d(2d -1)^{n-1}$ on the Betti numbers of hypersurfaces defined by arbitrary polynomials of degree $d$ in $\mathrm{R}^n$ due to Petrovski{\uı} and Ole{\uı}nik, Thom and Milnor). Moreover, we show there exists $c > 1$, such that given a sequence $(B_n)_{n >0}$ where $B_n$ is a closed ball in $\mathrm{R}^n$ of positive radious, there exist hypersurfaces $(V_n)_{n_>0}$ defined by symmetric multi-affine polynomials of degree $4$, such that $\sum_{i \leq 5} b_i(V_n \cap B_n) > c^n$, where $b_i(\cdot)$ denotes the $i$-th Betti number with rational coeffcients. Finally, as an application of the main result of the paper we verify a representational stability conjecture due to Basu and Riener on the cohomology modules of symmetric real algebraic sets for a new and much larger class of symmetric real algebraic sets than known before.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Persistent homology of semi-algebraic sets
Authors:
Saugata Basu,
Negin Karisani
Abstract:
We give an algorithm with singly exponential complexity for computing the barcodes up to dimension $\ell$ (for any fixed $\ell \geq 0$) of the filtration of a given semi-algebraic set by the sub-level sets of a given polynomial. Our algorithm is the first algorithm for this problem with singly exponential complexity, and generalizes the corresponding results for computing the Betti numbers up to d…
▽ More
We give an algorithm with singly exponential complexity for computing the barcodes up to dimension $\ell$ (for any fixed $\ell \geq 0$) of the filtration of a given semi-algebraic set by the sub-level sets of a given polynomial. Our algorithm is the first algorithm for this problem with singly exponential complexity, and generalizes the corresponding results for computing the Betti numbers up to dimension $\ell$ of semi-algebraic sets with no filtration present.
△ Less
Submitted 4 May, 2022; v1 submitted 19 February, 2022;
originally announced February 2022.
-
Existence of Ulrich Bundle on general Surfaces
Authors:
Suratno Basu,
Sarbeswar Pal
Abstract:
Let $X$ be a smooth projective algebraic surface of Picard rank one with very ample canonical bundle $K_X$. We further assume that $q -1 \le χ(\mathcal{O}_X$.
In this article, we will study the existence of the Ulrich bundle and its stability property of it with respect to $K_X$.
Let $X$ be a smooth projective algebraic surface of Picard rank one with very ample canonical bundle $K_X$. We further assume that $q -1 \le χ(\mathcal{O}_X$.
In this article, we will study the existence of the Ulrich bundle and its stability property of it with respect to $K_X$.
△ Less
Submitted 2 May, 2022; v1 submitted 30 January, 2022;
originally announced January 2022.
