-
$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 flip** 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 flip** 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:
It is a classical result that a function having baire property from a metric space into a separable metric space is continuous except on a set of first category. kuratowski asked whether the condition of separability could be removed. Several attempts to solve this problem were done in the past, the earliest one is by kunuji based on a theorem of luzin and novikov. Recently, grzegorek and labuda p…
▽ More
It is a classical result that a function having baire property from a metric space into a separable metric space is continuous except on a set of first category. kuratowski asked whether the condition of separability could be removed. Several attempts to solve this problem were done in the past, the earliest one is by kunuji based on a theorem of luzin and novikov. Recently, grzegorek and labuda proved the theorem of kunuji based on a generalization of an earlier result of kuratowski in second countable topological space. In this paper, we develop an unification of this generalization of kuratowski result and its measure theoretic analogue in category bases and utilize the same to give a generalized version of the theorem of kunuji. A variant of this unification is also obtained in Marczewski structures.
△ Less
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 flip** 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 flip** 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 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 small diameter properties
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
In this work, we study ball separation characterization of small diameter properties in Banach spaces. More precisely, we characterize Ball Dentable Property (BDP), Ball Huskable Property (BHP) and their w* versions in terms of ball separation in Banach spaces. We also obtain a necessary condition for the existence of Ball Small Comination of Slice Property (BSCSP) in terms of ball separation. Mot…
▽ More
In this work, we study ball separation characterization of small diameter properties in Banach spaces. More precisely, we characterize Ball Dentable Property (BDP), Ball Huskable Property (BHP) and their w* versions in terms of ball separation in Banach spaces. We also obtain a necessary condition for the existence of Ball Small Comination of Slice Property (BSCSP) in terms of ball separation. Motivating from definitions of A -denting point and A -poin of continuity in [CL], we introduce the notion of A -small combination of slice point, and obtain a necessary ball separation condition for the existence of A -small combination of slice point that provide us an improvement of the result [BB, Proposition 2.5]. We prove that if the linear span of A -small combination of slice points of B_X* is τ A -dense in X*, then every closed bounded convex subset in A is ball generated. We end up this note by introducing w* semi pc in B_X* and we prove that a Banach space X has property (II) if and only if every point in S_X* is w* semi pc of B_X*.
△ Less
Submitted 4 August, 2023; 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 trap** 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:
Develo** 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
Develo** 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 develo** 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 develo** 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.
-
Equivalence Between Four Models of Associahedra
Authors:
Somnath Basu,
Sandip Samanta
Abstract:
We present a combinatorial isomorphism between Stasheff associahedra and an inductive cone construction of those complexes given by Loday. We give an alternate description of certain polytopes, known as multiplihedra, which arise in the study of $A_\infty$ maps. We also prove a combinatorial isomorphism between Stasheff associahedra, collapsed multiplihedra and graph cubeahedra for path graphs.
We present a combinatorial isomorphism between Stasheff associahedra and an inductive cone construction of those complexes given by Loday. We give an alternate description of certain polytopes, known as multiplihedra, which arise in the study of $A_\infty$ maps. We also prove a combinatorial isomorphism between Stasheff associahedra, collapsed multiplihedra and graph cubeahedra for path graphs.
△ Less
Submitted 1 February, 2022; v1 submitted 13 January, 2022;
originally announced January 2022.
-
Negation-Free Definitions of Paraconsistency
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. In this article, we ask whether a negation operator is essential for describing paraconsistency. In other words, is it possible to describe a notion…
▽ 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. In this article, we ask whether a negation operator is essential for describing paraconsistency. In other words, is it possible to describe a notion of paraconsistency that is independent of connectives? We present two such notions of negation-free paraconsistency, one that is completely independent of connectives and another that uses a conjunction-like binary connective that we call 'fusion'. We also derive a notion of 'quasi-negation' from the former, and investigate its properties.
△ Less
Submitted 13 April, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Category bases that are equivalent to topologies
Authors:
Abhit Chandra Pramani,
Sanjib Basu,
Atashi Deb Ray
Abstract:
In view of the fact that many of the most familiar examples of category bases are equivalent to some topology, it is natural to ask whether category bases are always topological in nature. The answer is in the negative. In this paper, we show that under certain circumstances, a category base can be equivalent to a topology. So this work may be considered a continuation of similar type of works don…
▽ More
In view of the fact that many of the most familiar examples of category bases are equivalent to some topology, it is natural to ask whether category bases are always topological in nature. The answer is in the negative. In this paper, we show that under certain circumstances, a category base can be equivalent to a topology. So this work may be considered a continuation of similar type of works done earlier in this area.
△ Less
Submitted 29 October, 2021; v1 submitted 3 October, 2021;
originally announced October 2021.
-
Equivariant homology decompositions for cyclic group actions on definite 4-manifolds
Authors:
Samik Basu,
Pinka Dey,
Aparajita Karmakar
Abstract:
In this paper, we study the equivariant homotopy type of a connected sum of linear actions on complex projective planes defined by Hambleton and Tanase. These actions are constructed for cyclic groups of odd order. We construct cellular filtrations on the connected sum using spheres inside unitary representations. A judicious choice of filtration implies a splitting on equivariant homology for gen…
▽ More
In this paper, we study the equivariant homotopy type of a connected sum of linear actions on complex projective planes defined by Hambleton and Tanase. These actions are constructed for cyclic groups of odd order. We construct cellular filtrations on the connected sum using spheres inside unitary representations. A judicious choice of filtration implies a splitting on equivariant homology for general cyclic groups under a divisibility hypothesis, and in all cases for those of prime power order.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
Graphical models for nonstationary time series
Authors:
Sumanta Basu,
Suhasini Subba Rao
Abstract:
We propose NonStGM, a general nonparametric graphical modeling framework for studying dynamic associations among the components of a nonstationary multivariate time series. It builds on the framework of Gaussian Graphical Models (GGM) and stationary time series Gaussian Graphical model (StGM), and complements existing works on parametric graphical models based on change point vector autoregression…
▽ More
We propose NonStGM, a general nonparametric graphical modeling framework for studying dynamic associations among the components of a nonstationary multivariate time series. It builds on the framework of Gaussian Graphical Models (GGM) and stationary time series Gaussian Graphical model (StGM), and complements existing works on parametric graphical models based on change point vector autoregressions (VAR). Analogous to StGM, the proposed framework captures conditional noncorrelations (both intertemporal and contemporaneous) in the form of an undirected graph. In addition, to describe the more nuanced nonstationary relationships among the components of the time series, we introduce the new notion of conditional nonstationarity/stationarity and incorporate it within the graph architecture. This allows one to distinguish between direct and indirect nonstationary relationships among system components, and can be used to search for small subnetworks that serve as the "source" of nonstationarity in a large system. Together, the two concepts of conditional noncorrelation and nonstationarity/stationarity provide a parsimonious description of the dependence structure of the time series.
△ Less
Submitted 20 March, 2022; v1 submitted 17 September, 2021;
originally announced September 2021.
-
On completely non-Baire union in category bases
Authors:
Sanjib Basu,
Atasi Deb Ray,
Abhit Chandra Pramanik
Abstract:
In this paper, we intend to show that under not too restrictive conditions, results much stronger than the one obtained earlier by Hejduk could be established in category bases.
In this paper, we intend to show that under not too restrictive conditions, results much stronger than the one obtained earlier by Hejduk could be established in category bases.
△ Less
Submitted 12 September, 2021;
originally announced September 2021.
-
A few remarks on non-Baire sets in category bases
Authors:
Sanjib Basu,
Atasi Deb Ray,
Abhit Chandra Pramanik
Abstract:
In this paper, we first establish some equivalent formulations of non-Baire sets in category bases. We then introduce the notion of an uniform non-Baire family of sets and show that there is an uniform non-Baire family inducing a decomposition of the whole space. This phenomenon is then interpreted in the context of the famous Banah-Mazur game.
In this paper, we first establish some equivalent formulations of non-Baire sets in category bases. We then introduce the notion of an uniform non-Baire family of sets and show that there is an uniform non-Baire family inducing a decomposition of the whole space. This phenomenon is then interpreted in the context of the famous Banah-Mazur game.
△ Less
Submitted 12 September, 2021;
originally announced September 2021.
-
Small Diameter Properties In Ideals of Banach Spaces
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
A Banach space has the ball huskable property ($BHP$) if the closed unit ball has weakly open sets of arbitrarily small diameter. We can analogously define $w^*$-$BHP$ in the dual space. In this short note, we study these properties in the context of ideals in Banach spaces. The notion of an ideal, was introduced by Godefroy, Kalton and Saphar. We show that if a Banach space $X$ has $BHP,$ then an…
▽ More
A Banach space has the ball huskable property ($BHP$) if the closed unit ball has weakly open sets of arbitrarily small diameter. We can analogously define $w^*$-$BHP$ in the dual space. In this short note, we study these properties in the context of ideals in Banach spaces. The notion of an ideal, was introduced by Godefroy, Kalton and Saphar. We show that if a Banach space $X$ has $BHP,$ then any $M$-ideal of $X$ also has $BHP.$ We further show that if $Y$ is an $M$-ideal of $X,$ then $Y^*$ has $w^*$-$BHP$ implies $X^*$ has $w^{*}$-$BHP.$ We use this result to prove that for a compact Hausdorff space $K$ which has an isolated point, $X$ has $BHP$ whenever $C(K,X)$ has $BHP$ and $X^*$ has $w^{*}$-$BHP$ implies $C(K,X)^*$ has $w^{*}$-$BHP.$ We also prove that $w^*$-$BHP$ can be lifted from $Y^*$ to $X^*$ provided $Y$ is a strict ideal of $X$. Lastly, we show that if $Y$ is an almost isometric ideal of $X,$ then $BHP$ can be lifted from $Y$ to $X.$ We obtain similar results for ball dentable property ($BDP$) and ball small combination of slices Property ($BSCSP$) as well.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
BP-cohomology of projective Stiefel manifolds
Authors:
Samik Basu,
Debanil Dasgupta
Abstract:
In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP-operations to prove new results about equivariant maps between Stiefel manifolds.
In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP-operations to prove new results about equivariant maps between Stiefel manifolds.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Non-trivial extensions in equivariant cohomology with constant coefficients
Authors:
Samik Basu,
Surojit Ghosh
Abstract:
In this paper, we prove some computational results about equivariant cohomology over the cyclic group $C_{p^n}$ of prime power order. We show that there is an inductive formula when the dimension of the $C_p$-fixed points of the grading is large. Among other calculations, we also show the existence of non-trivial extensions when $n\geq 3$.
In this paper, we prove some computational results about equivariant cohomology over the cyclic group $C_{p^n}$ of prime power order. We show that there is an inductive formula when the dimension of the $C_p$-fixed points of the grading is large. Among other calculations, we also show the existence of non-trivial extensions when $n\geq 3$.
△ Less
Submitted 29 August, 2021;
originally announced August 2021.
-
Small Combination of Slices, Dentability and Stability Results Of Small Diameter Properties In Banach Spaces
Authors:
Sudeshna Basu,
Susmita Seal
Abstract:
In this work we study three different versions of small diameter properties of the unit ball in a Banach space and its dual. The related concepts for all closed bounded convex sets of a Banach space was initiated and developed in \cite{B3}, \cite{BR} ,\cite{EW}, \cite{GM} was extensively studied in the context of dentability, huskability, Radon Nikodym Property and Krein Milman Property in \cite{G…
▽ More
In this work we study three different versions of small diameter properties of the unit ball in a Banach space and its dual. The related concepts for all closed bounded convex sets of a Banach space was initiated and developed in \cite{B3}, \cite{BR} ,\cite{EW}, \cite{GM} was extensively studied in the context of dentability, huskability, Radon Nikodym Property and Krein Milman Property in \cite{GGMS}. We introduce the the Ball Huskable Property ($BHP$), namely, the unit ball has relatively weakly open subsets of arbitrarily small diameter. We compare this property to two related properties, $BSCSP$ namely, the unit ball has convex combination of slices of arbitrarily small diameter and $BDP$ namely, the closed unit ball has slices of arbitrarily small diameter. We show $BDP$ implies $BHP$ which in turn implies $BSCSP$ and none of the implications can be reversed. We prove similar results for the $w^*$-versions. We prove that all these properties are stable under $l_p$ sum for $1\leq p \leq \infty, c_0$ sum and Lebesgue Bochner spaces. Finally, we explore the stability of these with properties in the light of three space property. We show that $BHP$ is a three space property provided $X/Y$ is finite dimensional and same is true for $BSCSP$ when $X$ has $BSCSP$ and $X/Y$ is strongly regular (\cite{GGMS}).
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Lindenbaum-type Logical Structures
Authors:
Sayantan Roy,
Sankha S. Basu,
Mihir K. Chakraborty
Abstract:
In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-typ…
▽ More
In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tarski- and a Lindenbaum-type, show their separations, and end with characterization, adequacy, minimality, and representation theorems for one of the Tarski-Lindenbaum-type logical structures.
△ Less
Submitted 4 September, 2022; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Efficient computation of a semi-algebraic basis of the first homology group of a semi-algebraic set
Authors:
Saugata Basu,
Sarah Percival
Abstract:
Let $\mathrm{R}$ be a real closed field and $\mathrm{C}$ the algebraic closure of $\mathrm{R}$. We give an algorithm for computing a semi-algebraic basis for the first homology group, $\mathrm{H}_1(S,\mathbb{F})$, with coefficients in a field $\mathbb{F}$, of any given semi-algebraic set $S \subset \mathrm{R}^k$ defined by a closed formula. The complexity of the algorithm is bounded singly exponen…
▽ More
Let $\mathrm{R}$ be a real closed field and $\mathrm{C}$ the algebraic closure of $\mathrm{R}$. We give an algorithm for computing a semi-algebraic basis for the first homology group, $\mathrm{H}_1(S,\mathbb{F})$, with coefficients in a field $\mathbb{F}$, of any given semi-algebraic set $S \subset \mathrm{R}^k$ defined by a closed formula. The complexity of the algorithm is bounded singly exponentially. It is not known how to compute such a basis for the higher homology groups with singly exponential complexity.
As an intermediate step in our algorithm we construct a semi-algebraic subset $Γ$ of the given semi-algebraic set $S$, such that $\mathrm{H}_q(S,Γ) = 0$ for $q=0,1$. We relate this construction to a basic theorem in complex algebraic geometry stating that for any affine variety $X$ of dimension $n$, there exists Zariski closed subsets \[ Z^{(n-1)} \supset \cdots \supset Z^{(1)} \supset Z^{(0)} \] with $\dim_{\mathrm{C}} Z^{(i)} \leq i$, and $\mathrm{H}_q(X,Z^{(i)}) = 0$ for $0 \leq q \leq i$. We conjecture a quantitative version of this result in the semi-algebraic category, with $X$ and $Z^{(i)}$ replaced by closed semi-algebraic sets. We make initial progress on this conjecture by proving the existence of $Z^{(0)}$ and $Z^{(1)}$ with complexity bounded singly exponentially (previously, such an algorithm was known only for constructing $Z_0$).
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
A Torelli Type theorem for Nodal curves
Authors:
Suratno Basu,
Sourav Das
Abstract:
The moduli space of Gieseker vector bundles is a compactification of moduli of vector bundles on a nodal curve. This moduli space has only normal crossing singularity and it provides a flat degeneration. We prove a Torelli type theorem for a nodal curve using the moduli space of stable Gieseker vector bundles of fixed rank (strictly greater than $1$) and fixed degree such that rank and degree are…
▽ More
The moduli space of Gieseker vector bundles is a compactification of moduli of vector bundles on a nodal curve. This moduli space has only normal crossing singularity and it provides a flat degeneration. We prove a Torelli type theorem for a nodal curve using the moduli space of stable Gieseker vector bundles of fixed rank (strictly greater than $1$) and fixed degree such that rank and degree are co-prime.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
Harmonic Persistent Homology
Authors:
Saugata Basu,
Nathanael Cox
Abstract:
We introduce harmonic persistent homology spaces for filtrations of finite simplicial complexes. As a result we can associate concrete subspaces of cycles to each bar of the barcode of the filtration. We prove stability of the harmonic persistent homology subspaces under small perturbations of functions defining them. We relate the notion of "essential simplices" introduced in an earlier work to i…
▽ More
We introduce harmonic persistent homology spaces for filtrations of finite simplicial complexes. As a result we can associate concrete subspaces of cycles to each bar of the barcode of the filtration. We prove stability of the harmonic persistent homology subspaces under small perturbations of functions defining them. We relate the notion of "essential simplices" introduced in an earlier work to identify simplices which play a significant role in the birth of a bar, with that of harmonic persistent homology. We prove that the harmonic representatives of simple bars maximizes the "relative essential content" amongst all representatives of the bar, where the relative essential content is the weight a particular cycle puts on the set of essential simplices.
△ Less
Submitted 28 August, 2022; v1 submitted 31 May, 2021;
originally announced May 2021.