-
Tiered tree, Parking function and Postnikov-Shapiro algebra
Authors:
Biswadeep Bagchi,
Srinibas Swain
Abstract:
Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of parallelogram polyominoes and graphical parking functions. Moreover, we defined the space $\mathcal{S}_{G}$ for complete tiered graphs and described tiered graphs in te…
▽ More
Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of parallelogram polyominoes and graphical parking functions. Moreover, we defined the space $\mathcal{S}_{G}$ for complete tiered graphs and described tiered graphs in terms of Whitney's operations.
△ Less
Submitted 6 August, 2024;
originally announced August 2024.
-
Generating QES potentials supporting zero energy normalizable states for an extended class of truncated Calogero Sutherland model
Authors:
Satish Yadav,
Sudhanshu Shekhar,
Bijan Bagchi,
Bhabani Prasad Mandal
Abstract:
Motivated by recent interest in the search for generating potentials for which the underlying Schrödinger equation is solvable, we report in the recent work several situations when a zero-energy state becomes bound depending on certain restrictions on the coupling constants that define the potential. In this regard, we present evidence of the existence of regular zero-energy normalizable solutions…
▽ More
Motivated by recent interest in the search for generating potentials for which the underlying Schrödinger equation is solvable, we report in the recent work several situations when a zero-energy state becomes bound depending on certain restrictions on the coupling constants that define the potential. In this regard, we present evidence of the existence of regular zero-energy normalizable solutions for a system of quasi-exactly solvable (QES) potentials that correspond to the rationally extended many-body truncated Calogero-Sutherland (TCS) model. Our procedure is based upon the use of the standard potential group approach with an underlying $so(2, 1)$ structure that utilizes a point canonical transformation with three distinct types of potentials emerging having the same eigenvalues while their common properties are subjected to the evaluation of the relevant wave functions. These cases are treated individually by suitably restricting the coupling parameters.
△ Less
Submitted 7 October, 2024; v1 submitted 13 June, 2024;
originally announced June 2024.
-
On the structure of cellular pseudomanifolds
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
In this paper we study the structure of cellular pseudomanifolds (aka abstract polytopes). These are natural combinatorial generalisations of polytopal spheres (i.e., boundary complexes of convex polytopes). This class is closed under natural notions of duality and product. We show that they are also closed under an operation of direct product. Any cellular pseudomanifold and it's dual have homeom…
▽ More
In this paper we study the structure of cellular pseudomanifolds (aka abstract polytopes). These are natural combinatorial generalisations of polytopal spheres (i.e., boundary complexes of convex polytopes). This class is closed under natural notions of duality and product. We show that they are also closed under an operation of direct product. Any cellular pseudomanifold and it's dual have homeomorphic geometric carriers, while the geometric carrier of the product of two of them is homeomorphic to the product of the carriers of the factors. The excess of a cellular pseudomanifold is defined as the non-negative integer $n - d - 2$ where $d$ is the dimension and $n$ is the number of vertices. We completely classify the cellular pseudo manifolds of excess $< 2$, and make some progress towards classifying those of excess 2.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
Dembowski's Theorem on Finite Inversive Planes of Even Order
Authors:
Bhaskar Bagchi
Abstract:
A remarkable theorem due to Peter Dembowski states that if $I$ is an inversive plane of even order $q$ then $q$ must be a power of two and $I$ must be the incidence system of points versus plane ovals in an ovoid in the projective $3$-space over the field of order $q$. In this paper we present a short and self-contained proof of this result. Our proof depends on the classification due to Benson of…
▽ More
A remarkable theorem due to Peter Dembowski states that if $I$ is an inversive plane of even order $q$ then $q$ must be a power of two and $I$ must be the incidence system of points versus plane ovals in an ovoid in the projective $3$-space over the field of order $q$. In this paper we present a short and self-contained proof of this result. Our proof depends on the classification due to Benson of the symmetric and regular finite generalized quadrangles. Included here is a deduction of Benson's Theorem from the Dembowski-Wagner combinatorial characterization of finite projective geometries.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Parametric restrictions on quasi-symmetric designs
Authors:
Bhaskar Bagchi
Abstract:
In this paper, we attach several new invariants to connected strongly regular graphs (excepting conference graphs on non-square number of vertices) : one invariant called the discriminant, and a p-adic invariant corresponding to each prime number p. We prove parametric restrictions on quasi-symmetric 2-designs with a given connected block graph $G$ and a given defect (absolute difference of the tw…
▽ More
In this paper, we attach several new invariants to connected strongly regular graphs (excepting conference graphs on non-square number of vertices) : one invariant called the discriminant, and a p-adic invariant corresponding to each prime number p. We prove parametric restrictions on quasi-symmetric 2-designs with a given connected block graph $G$ and a given defect (absolute difference of the two intersection numbers) solely in terms of the defect and the parameters of $G$, including these new invariants. This is a natural analogue of Schutzenberger's Theorem and the Shrikhande-Chowla-Ryser theorem. This theorem is effective when these graph invariants can be explicitly computed. We do this for complete multipartite graphs, co-triangular graphs, symplectic non-orthogonality graphs (over the field of order $2$) and the Steiner graphs, yielding explicit restrictions on the parameters of quasi-symmetric 2-designs whose block graphs belong to any of these four classes.
△ Less
Submitted 14 June, 2021; v1 submitted 10 February, 2021;
originally announced February 2021.
-
Optimality of multi-way designs
Authors:
Sunanda Bagchi,
Bhaskar Bagchi
Abstract:
In this paper we study optimality aspects of a certain type of designs in a multi-way heterogeneity setting. These are ``duals" of plans orthogonal through the block factor (POTB). Here by the dual of a main effect plan (say $ρ$) we mean a design in a multi-way heterogeneity setting obtained from $ρ$ by interchanging the roles of the block factors and the treatment factors. Specifically, we take u…
▽ More
In this paper we study optimality aspects of a certain type of designs in a multi-way heterogeneity setting. These are ``duals" of plans orthogonal through the block factor (POTB). Here by the dual of a main effect plan (say $ρ$) we mean a design in a multi-way heterogeneity setting obtained from $ρ$ by interchanging the roles of the block factors and the treatment factors. Specifically, we take up two series of universally optimal POTBs for symmetrical experiments constructed in Morgan and Uddin (1996). We show that the duals of these plans, as multi-way designs, satisfy M-optimality.
Next, we construct another series of multiway designs and proved their M-optimality, thereby generalising the result of Bagchi and Shah (1989). It may be noted that M-optimality includes all commonly used optimality criteria like A-, D- and E-optimality.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Aspects of optimality of plans orthogonal through other factors
Authors:
Bhaskar Bagchi,
Sunanda Bagchi
Abstract:
The concept of orthogonality through the block factor (OTB), defined in Bagchi (2010), is extended here to orthogonality through a set (say S) of other factors. We discuss the impact of such an orthogonality on the precision of the estimates as well as on the inference procedure. Concentrating on the case when $S$ is of size two, we construct a series of plans in each of which every pair of other…
▽ More
The concept of orthogonality through the block factor (OTB), defined in Bagchi (2010), is extended here to orthogonality through a set (say S) of other factors. We discuss the impact of such an orthogonality on the precision of the estimates as well as on the inference procedure. Concentrating on the case when $S$ is of size two, we construct a series of plans in each of which every pair of other factors is orthogonal through a given pair of factors.
Next we concentrate on plans through the block factors (POTB). We construct POTBs for symmetrical experiments with two and three-level factors. The plans for two factors are E-optimal, while those for three-level factors are universally optimal.
Finally, we construct POTBs for $s^t(s+1)$ experiments, where $s \equiv 3 \pmod 4$ is a prime power. The plan is universally optimal.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
A product formula for homogeneous characteristic functions
Authors:
Bhaskar Bagchi,
Somnath Hazra,
Gadadhar Misra
Abstract:
A bounded linear operator $T$ on a Hilbert space is said to be homogeneous if $\varphi(T)$ is unitarily equivalent to $T$ for all $\varphi$ in the group Möb of bi-holomorphic automorphisms of the unit disc. A projective unitary representation $σ$ of Möb is said to be associated with an operator T if $\varphi(T)= σ(\varphi)^\star T σ(\varphi)$ for all $\varphi$ in Möb.
In this paper, we develop a…
▽ More
A bounded linear operator $T$ on a Hilbert space is said to be homogeneous if $\varphi(T)$ is unitarily equivalent to $T$ for all $\varphi$ in the group Möb of bi-holomorphic automorphisms of the unit disc. A projective unitary representation $σ$ of Möb is said to be associated with an operator T if $\varphi(T)= σ(\varphi)^\star T σ(\varphi)$ for all $\varphi$ in Möb.
In this paper, we develop a Möbius equivariant version of the Sz.-Nagy--Foias model theory for completely non-unitary (cnu) contractions. As an application, we prove that if T is a cnu contraction with associated (projective unitary) representation $σ$, then there is a unique projective unitary representation $\hatσ$, extending $σ$, associated with the minimal unitary dilation of $T$. The representation $\hatσ$ is given in terms of $σ$ by the formula $$ \hatσ = (π\otimes D_1^+) \oplus σ\oplus (π_\star \otimes D_1^-), $$ where $D_1^\pm$ are the two Discrete series representations (one holomorphic and the other anti-holomorphic) living on the Hardy space $H^2(\mathbb D)$, and $π, π_\star$ are representations of Möb living on the two defect spaces of $T$ defined explicitly in terms of $σ$.
Moreover, a cnu contraction $T$ has an associated representation if and only if its Sz.-Nagy--Foias characteristic function $θ_T$ has the product form $θ_T(z) = π_\star(\varphi_z)^* θ_T(0) π(\varphi_z),$ $z\in \mathbb D$, where $\varphi_z$ is the involution in Möb mapping $z$ to $0.$ We obtain a concrete realization of this product formula %the two representations $π_\star$ and $π$ for a large subclass of homogeneous cnu contractions from the Cowen-Douglas class.
△ Less
Submitted 30 July, 2019; v1 submitted 9 July, 2019;
originally announced July 2019.
-
A coding theoretic approach to the uniqueness conjecture for projective planes of prime order
Authors:
Bhaskar Bagchi
Abstract:
An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $π$ be any projective plane of order $p$. For any partial linear space ${\cal X}$, define the inclusion number $i({\cal X},π)$ to be the number of isomorphic copies of…
▽ More
An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $π$ be any projective plane of order $p$. For any partial linear space ${\cal X}$, define the inclusion number $i({\cal X},π)$ to be the number of isomorphic copies of ${\cal X}$ in $π$. In this paper we prove that if ${\cal X}$ has at most $\log_2 p$ lines, then $i({\cal X},π)$ can be written as an explicit rational linear combination (depending only on ${\cal X}$ and $p$) of the coefficients of the complete weight enumerator (c.w.e.) of the $p$-ary code of $π$. Thus, the c.w.e. of this code carries an enormous amount of structural information about $π$. In consequence, it is shown that if $p > 2^ 9=512$, and $π$ has the same c.w.e. as $PG(2,\mathbb{F}_p)$, then $π$ must be isomorphic to $PG(2,\mathbb{F}_p)$. Thus, the uniqueness conjecture can be approached via a thorough study of the possible c.w.e. of the codes of putative projective planes of prime order.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
The fourth smallest Hamming weight in the code of the projective plane over $\mathbb{Z}/p \mathbb{Z}$
Authors:
Bhaskar Bagchi
Abstract:
Let $p$ be a prime and let $C_p$ denote the $p$-ary code of the projective plane over ${\mathbb Z}/p\mathbb{Z}$. It is well known that the minimum weight of non-zero words in $C_p$ is $p+1$, and Chouinard proved that, for $p \geq 3$, the second and third minimum weights are $2p$ and $2p+1$. In 2007, Fack et. al. determined, for $p\geq 5$, all words of $C_p$ of these three weights. In this paper we…
▽ More
Let $p$ be a prime and let $C_p$ denote the $p$-ary code of the projective plane over ${\mathbb Z}/p\mathbb{Z}$. It is well known that the minimum weight of non-zero words in $C_p$ is $p+1$, and Chouinard proved that, for $p \geq 3$, the second and third minimum weights are $2p$ and $2p+1$. In 2007, Fack et. al. determined, for $p\geq 5$, all words of $C_p$ of these three weights. In this paper we recover all these results and also prove that, for $p \geq 5$, the fourth minimum weight of $C_p$ is $3p-3$. The problem of determining all words of weight $3p-3$ remains open.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
A characterization of tightly triangulated 3-manifolds
Authors:
Bhaskar Bagchi,
Basudeb Datta,
Jonathan Spreer
Abstract:
For a field $\mathbb{F}$, the notion of $\mathbb{F}$-tightness of simplicial complexes was introduced by Kühnel. Kühnel and Lutz conjectured that any $\mathbb{F}$-tight triangulation of a closed manifold is the most economic of all possible triangulations of the manifold. The boundary of a triangle is the only $\mathbb{F}$-tight triangulation of a closed 1-manifold. A triangulation of a closed 2-m…
▽ More
For a field $\mathbb{F}$, the notion of $\mathbb{F}$-tightness of simplicial complexes was introduced by Kühnel. Kühnel and Lutz conjectured that any $\mathbb{F}$-tight triangulation of a closed manifold is the most economic of all possible triangulations of the manifold. The boundary of a triangle is the only $\mathbb{F}$-tight triangulation of a closed 1-manifold. A triangulation of a closed 2-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable and neighbourly. In this paper we prove that a triangulation of a closed 3-manifold is $\mathbb{F}$-tight if and only if it is $\mathbb{F}$-orientable, neighbourly and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension $\leq 3$.
△ Less
Submitted 8 January, 2016; v1 submitted 1 January, 2016;
originally announced January 2016.
-
Efficient algorithms to decide tightness
Authors:
Bhaskar Bagchi,
Benjamin A. Burton,
Basudeb Datta,
Nitin Singh,
Jonathan Spreer
Abstract:
Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces.
In this article, we present a new polynom…
▽ More
Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces.
In this article, we present a new polynomial time procedure to decide tightness for triangulations of $3$-manifolds -- a problem which previously was thought to be hard. Furthermore, we describe an algorithm to decide general tightness in the case of $4$-dimensional combinatorial manifolds which is fixed parameter tractable in the treewidth of the $1$-skeletons of their vertex links, and we present an algorithm to decide $\mathbb{F}_2$-tightness for weak pseudomanifolds $M$ of arbitrary but fixed dimension which is fixed parameter tractable in the treewidth of the dual graph of $M$.
△ Less
Submitted 3 December, 2014;
originally announced December 2014.
-
Tight triangulations of closed 3-manifolds
Authors:
Bhaskar Bagchi,
Basudeb Datta,
Jonathan Spreer
Abstract:
It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is neighbourly and orientable. No such characterization of tightness was previously known for higher dimensional manifolds. In this paper, we prove that a triangulation o…
▽ More
It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is neighbourly and orientable. No such characterization of tightness was previously known for higher dimensional manifolds. In this paper, we prove that a triangulation of a closed 3-manifold is tight with respect to a field of odd characteristic if and only if it is neighbourly, orientable and stacked. In consequence, the Kühnel-Lutz conjecture is valid in dimension three for fields of odd characteristic.
Next let $\mathbb{F}$ be a field of characteristic two. It is known that, in this case, any neighbourly and stacked triangulation of a closed 3-manifold is $\mathbb{F}$-tight. For triangulated closed 3-manifolds with at most 71 vertices or with first Betti number at most 188, we show that the converse is true. But the possibility of an $\mathbb{F}$-tight non-stacked triangulation on a larger number of vertices remains open. We prove the following upper bound theorem on such triangulations. If an $\mathbb{F}$-tight triangulation of a closed 3-manifold has $n$ vertices and first Betti number $β_1$, then $(n-4)(617n- 3861) \leq 15444β_1$. Equality holds here if and only if all the vertex links of the triangulation are connected sums of boundary complexes of icosahedra.
△ Less
Submitted 5 January, 2016; v1 submitted 1 December, 2014;
originally announced December 2014.
-
A tightness criterion for homology manifolds with or without boundary
Authors:
Bhaskar Bagchi
Abstract:
A simplicial complex $X$ is said to be tight with respect to a field $\mathbb{F}$ if $X$ is connected and, for every induced subcomplex $Y$ of $X$, the linear map $H_\ast (Y; \mathbb{F}) \rightarrow H_\ast (X; \mathbb{F})$ (induced by the inclusion map) is injective. This notion was introduced by Kühnel in [10]. In this paper we prove the following two combinatorial criteria for tightness. (a) Any…
▽ More
A simplicial complex $X$ is said to be tight with respect to a field $\mathbb{F}$ if $X$ is connected and, for every induced subcomplex $Y$ of $X$, the linear map $H_\ast (Y; \mathbb{F}) \rightarrow H_\ast (X; \mathbb{F})$ (induced by the inclusion map) is injective. This notion was introduced by Kühnel in [10]. In this paper we prove the following two combinatorial criteria for tightness. (a) Any $(k+1)$-neighbourly $k$-stacked $\mathbb{F}$-homology manifold with boundary is $\mathbb{F}$-tight. Also, (b) any $\mathbb{F}$-orientable $(k+1)$-neighbourly $k$-stacked $\mathbb{F}$-homology manifold without boundary is $\mathbb{F}$-tight, at least if its dimension is not equal to $2k+1$.
The result (a) appears to be the first criterion to be found for tightness of (homology) manifolds with boundary. Since every $(k+1)$-neighbourly $k$-stacked manifold without boundary is, by definition, the boundary of a $(k+1)$-neighbourly $k$-stacked manifold with boundary - and since we now know several examples (including two infinite families) of triangulations from the former class - theorem (a) provides us with many examples of tight triangulated manifolds with boundary.
The second result (b) generalizes a similar result from [2] which was proved for a class of combinatorial manifolds without boundary. We believe that theorem (b) is valid for dimension $2k+1$ as well. Except for this lacuna, this result answers a recent question of Effenberger [8] affirmatively.
△ Less
Submitted 17 June, 2014;
originally announced June 2014.
-
The mu vector, Morse inequalities and a generalized lower bound theorem for locally tame combinatorial manifolds
Authors:
Bhaskar Bagchi
Abstract:
In a recent work [2] with Datta, we introduced the mu vector (with respect to a given field) of simplicial complexes and used it to study tightness and lower bounds. In this paper, we modify the definition of mu vectors. With the new definition, most results of [2] become correct without the hypothesis of 2-neighbourliness. In particular, the combinatorial Morse inequalities of [2] are now true of…
▽ More
In a recent work [2] with Datta, we introduced the mu vector (with respect to a given field) of simplicial complexes and used it to study tightness and lower bounds. In this paper, we modify the definition of mu vectors. With the new definition, most results of [2] become correct without the hypothesis of 2-neighbourliness. In particular, the combinatorial Morse inequalities of [2] are now true of all simplicial complexes.
As an application, we prove the following generalized lower bound theorem (GLBT) for connected locally tame combinatorial manifolds. If $M$ is such a manifold of dimension $d$, then for $1 \leq \ell \leq \frac{d-1}{2}$ and any field $\mathbb{F}, ~ g_{\ell+1} (M) \geq \binom{d+2}{\ell+1} \sum\limits_{i=1}^\ell (-1)^{\ell-i} β_i (M;\mathbb{F})$. Equality holds here if and only if $M$ is $\ell$-stacked.
We conjecture that, more generally, this theorem is true of all triangulated connected and closed homology manifolds. A conjecture on the sigma vectors of triangulated homology spheres is proposed, whose validity will imply this GLB Conjecture for homology manifolds. We also prove the GLBC for all connected and closed combinatorial 3-manifolds. Thus, any connected closed combinatorial manifold $M$ of dimension three satisfies $g_2 (M) \geq 10 β_1 (M;\mathbb{F})$, with equality iff $M$ is 1-stacked. This result settles a question of Novik and Swartz [6] in the affirmative.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
On $k$-stellated and $k$-stacked spheres
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
We introduce the class $Σ_k(d)$ of $k$-stellated (combinatorial) spheres of dimension $d$ ($0 \leq k \leq d + 1$) and compare and contrast it with the class ${\cal S}_k(d)$ ($0 \leq k \leq d$) of $k$-stacked homology $d$-spheres. We have $Σ_1(d) = {\cal S}_1(d)$, and $Σ_k(d) \subseteq {\cal S}_k(d)$ for $d \geq 2k - 1$. However, for each $k \geq 2$ there are $k$-stacked spheres which are not $k$-s…
▽ More
We introduce the class $Σ_k(d)$ of $k$-stellated (combinatorial) spheres of dimension $d$ ($0 \leq k \leq d + 1$) and compare and contrast it with the class ${\cal S}_k(d)$ ($0 \leq k \leq d$) of $k$-stacked homology $d$-spheres. We have $Σ_1(d) = {\cal S}_1(d)$, and $Σ_k(d) \subseteq {\cal S}_k(d)$ for $d \geq 2k - 1$. However, for each $k \geq 2$ there are $k$-stacked spheres which are not $k$-stellated. The existence of $k$-stellated spheres which are not $k$-stacked remains an open question.
We also consider the class ${\cal W}_k(d)$ (and ${\cal K}_k(d)$) of simplicial complexes all whose vertex-links belong to $Σ_k(d - 1)$ (respectively, ${\cal S}_k(d - 1)$). Thus, ${\cal W}_k(d) \subseteq {\cal K}_k(d)$ for $d \geq 2k$, while ${\cal W}_1(d) = {\cal K}_1(d)$. Let $\bar{\cal K}_k(d)$ denote the class of $d$-dimensional complexes all whose vertex-links are $k$-stacked balls. We show that for $d\geq 2k + 2$, there is a natural bijection $M \mapsto \bar{M}$ from ${\cal K}_k(d)$ onto $\bar{\cal K}_k(d + 1)$ which is the inverse to the boundary map $\partial \colon \bar{\cal K}_k(d + 1) \to {\cal K}_k(d)$.
△ Less
Submitted 16 May, 2013; v1 submitted 7 August, 2012;
originally announced August 2012.
-
On stellated spheres and a tightness criterion for combinatorial manifolds
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of ${\cal W}_k(d)$. We introduce the mu-vector of any simplicial complex and show that, in the case of 2-neighbourly simplicial complexes, the mu-vector dominates t…
▽ More
We introduce the $k$-stellated spheres and consider the class ${\cal W}_k(d)$ of triangulated $d$-manifolds all whose vertex links are $k$-stellated, and its subclass ${\cal W}^{\ast}_k(d)$ consisting of the $(k+1)$-neighbourly members of ${\cal W}_k(d)$. We introduce the mu-vector of any simplicial complex and show that, in the case of 2-neighbourly simplicial complexes, the mu-vector dominates the vector of its Betti numbers componentwise; the two vectors are equal precisely for tight simplicial complexes. We are able to estimate/compute certain alternating sums of the components of the mu-vector of any 2-neighbourly member of ${\cal W}_k(d)$ for $d\geq 2k$. As one consequence of this theory, we prove a lower bound theorem for such triangulated manifolds, as well as determine the integral homology type of members of ${\cal W}^{\ast}_k(d)$ for $d \geq 2k+2$. As another application, we prove that, when $d \neq 2k+1$, all members of ${\cal W}^{\ast}_k(d)$ are tight. We also characterize the tight members of ${\cal W}^{\ast}_k(2k + 1)$ in terms of their $k^{\rm th}$ Betti numbers. These results more or less answer a recent question of Effenberger, and also provide a uniform and conceptual tightness proof for all except two of the known tight triangulated manifolds.
We also prove a lower bound theorem for triangulated manifolds in which the members of ${\cal W}_1(d)$ provide the equality case. This generalises a result (the $d=4$ case) due to Walkup and Kuehnel. As a consequence, it is shown that every tight member of ${\cal W}_1(d)$ is strongly minimal, thus providing substantial evidence in favour of a conjecture of Kuehnel and Lutz asserting that tight triangulated manifolds should be strongly minimal.
△ Less
Submitted 16 May, 2013; v1 submitted 24 July, 2012;
originally announced July 2012.
-
On polytopal upper bound spheres
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked spheres. This is surprising since the $k$-stacked spheres minimize the face-vector (among all polytopal spheres with given $f_0,..., f_{k - 1}$) while the upper…
▽ More
Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked spheres. This is surprising since the $k$-stacked spheres minimize the face-vector (among all polytopal spheres with given $f_0,..., f_{k - 1}$) while the upper bound spheres maximize the face vector (among spheres with a given $f_0$).
It has been conjectured that for $d\neq 2k + 1$, all $(k + 1)$-neighborly members of the class ${\cal K}_k(d)$ are tight. The result of this paper shows that, for every $k$, the case $d = 2k +1$ is a true exception to this conjecture.
△ Less
Submitted 21 July, 2012;
originally announced July 2012.
-
Higher dimensional analogues of the map colouring problem
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
After a brief discussion of the history of the problem, we propose a generalization of the map colouring problem to higher dimensions.
After a brief discussion of the history of the problem, we propose a generalization of the map colouring problem to higher dimensions.
△ Less
Submitted 1 February, 2012;
originally announced February 2012.
-
On stellated spheres, shellable balls, lower bounds and a combinatorial criterion for tightness
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and canonically defined $k$-stacked ball. We consider the class ${\cal W}_k(d)$ of co…
▽ More
We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and canonically defined $k$-stacked ball. We consider the class ${\cal W}_k(d)$ of combinatorial $d$-manifolds with $k$-stellated links. For $d\geq 2k+2$, any member of ${\cal W}_k(d)$ bounds a unique and canonically defined "$k$-stacked" $(d+1)$-manifold.
We introduce the mu-vector of simplicial complexes, and show that the mu-vector of any 2-neighbourly simplicial complex dominates its vector of Betti numbers componentwise, and the two vectors are equal precisely when the complex is tight. When $d\geq 2k$, we are able to estimate/compute certain alternating sums of the mu-numbers of any 2-neighbourly member of ${\cal W}_k(d)$. This leads to a lower bound theorem for such triangulated manifolds. As an application, it is shown that any $(k+1)$-neighbourly member of ${\cal W}_k(d)$ is tight, subject only to an extra condition on the $k^{th}$ Betti number in case $d=2k+1$. This result more or less settles a recent conjecture of Effenberger, and it also provides a uniform and conceptual tightness proof for all the known tight triangulated manifolds, with only two exceptions. It is shown that any polytopal upper bound sphere of odd dimension $2k+1$ belongs to the class ${\cal W}_k(2k+1)$, thus generalizing a theorem due to Perles. This shows that the case $d=2k+1$ is indeed exceptional for the tightness theorem.
△ Less
Submitted 28 January, 2012; v1 submitted 4 February, 2011;
originally announced February 2011.
-
A triangulation of $\CC P^3$ as symmetric cube of $S^2$
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is homeomorphic to the complex projective space $\CC P^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^2 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of…
▽ More
The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is homeomorphic to the complex projective space $\CC P^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^2 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^2 \times S^2 \times S^2)_{124}$. Further, the $S_3$-action on $(S^2 \times S^2 \times S^2)_{124}$ is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times S^2)_{124}/S_3$ is a 30-vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In other words, we construct a simplicial realization $(S^2 \times S^2 \times S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC P^3_{30}$, resulting in an 18-vertex 2-neighbourly triangulation $\CC P^3_{18}$ of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ is trivial. It may be recalled that, by a result of Arnoux and Marin, any triangulation of $\CC P^3$ requires at least 17 vertices. So, $\CC P^3_{18}$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $\CC P^3$ was known so far.
△ Less
Submitted 15 December, 2010;
originally announced December 2010.
-
From the icosahedron to natural triangulations of $\CC P^2$ and $S^2 \times S^2$
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorp…
▽ More
We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.
△ Less
Submitted 3 August, 2010; v1 submitted 19 April, 2010;
originally announced April 2010.
-
On Walkup's class ${\cal K}(d)$ and a minimal triangulation of $(S^3 \times \rotatebox{90}{\ltimes} S^1)^{\#3}$
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
For $d \geq 2$, Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex-links are stacked $(d-1)$-spheres. Kalai showed that for $d \geq 4$, all connected members of ${\cal K}(d)$ are obtained from stacked $d$-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Eule…
▽ More
For $d \geq 2$, Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex-links are stacked $(d-1)$-spheres. Kalai showed that for $d \geq 4$, all connected members of ${\cal K}(d)$ are obtained from stacked $d$-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - {15/2} χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly members of ${\cal K}(4)$. Kühnel also asked if there is a triangulated 4-manifold with $f_0 = 15$, $χ= -4$ (attaining equality in his lower bound). In this paper, guided by Kalai's theorem, we show that indeed there is such a triangulation. It triangulates the connected sum of three copies of the twisted sphere product $S^3 \times {-2.8mm}_{-} S^1$. Because of Kühnel's inequality, the given triangulation of this manifold is a vertex-minimal triangulation. By a recent result of Effenberger, the triangulation constructed here is tight. Apart from the neighborly 2-manifolds and the infinite family of $(2d+ 3)$-vertex sphere products $S^{d-1} \times S^1$ (twisted for $d$ odd), only fourteen tight triangulated manifolds were known so far. The present construction yields a new member of this sporadic family. We also present a self-contained proof of Kalai's result.
△ Less
Submitted 26 February, 2011; v1 submitted 14 April, 2008;
originally announced April 2008.
-
Lower bound theorem for normal pseudomanifolds
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
In this paper we present a self-contained combinatorial proof of the lower bound theorem for normal pseudomanifolds, including a treatment of the cases of equality in this theorem. We also discuss McMullen and Walkup's generalised lower bound conjecture for triangulated spheres in the context of the lower bound theorem. Finally, we pose a new lower bound conjecture for non-simply connected triangu…
▽ More
In this paper we present a self-contained combinatorial proof of the lower bound theorem for normal pseudomanifolds, including a treatment of the cases of equality in this theorem. We also discuss McMullen and Walkup's generalised lower bound conjecture for triangulated spheres in the context of the lower bound theorem. Finally, we pose a new lower bound conjecture for non-simply connected triangulated manifolds.
△ Less
Submitted 28 January, 2012; v1 submitted 26 February, 2008;
originally announced February 2008.
-
Minimal triangulations of sphere bundles over the circle
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
For integers $d \geq 2$ and $ε= 0$ or 1, let $S^{1, d - 1}(ε)$ denote the sphere product $S^{1} \times S^{d - 1}$ if $ε= 0$ and the twisted $S^{d - 1}$ bundle over $S^{1}$ if $ε= 1$. The main results of this paper are: (a) if $d \equiv ε$ (mod 2) then $S^{1, d - 1}(ε)$ has a unique minimal triangulation using $2d + 3$ vertices, and (b) if $d \equiv 1 - ε$ (mod 2) then $S^{1, d - 1}(ε)$ has minim…
▽ More
For integers $d \geq 2$ and $ε= 0$ or 1, let $S^{1, d - 1}(ε)$ denote the sphere product $S^{1} \times S^{d - 1}$ if $ε= 0$ and the twisted $S^{d - 1}$ bundle over $S^{1}$ if $ε= 1$. The main results of this paper are: (a) if $d \equiv ε$ (mod 2) then $S^{1, d - 1}(ε)$ has a unique minimal triangulation using $2d + 3$ vertices, and (b) if $d \equiv 1 - ε$ (mod 2) then $S^{1, d - 1}(ε)$ has minimal triangulations (not unique) using $2d + 4$ vertices. The second result confirms a recent conjecture of Lutz. The first result provides the first known infinite family of closed manifolds (other than spheres) for which the minimal triangulation is unique. Actually, we show that while $S^{1, d - 1}(ε)$ has at most one $(2d + 3)$-vertex triangulation (one if $d \equiv ε$ (mod 2), zero otherwise), in sharp contrast, the number of non-isomorphic $(2d + 4)$-vertex triangulations of these $d$-manifolds grows exponentially with $d$ for either choice of $ε$. The result in (a), as well as the minimality part in (b), is a consequence of the following result: (c) for $d \geq 3$, there is a unique $(2d + 3)$-vertex simplicial complex which triangulates a non-simply connected closed manifold of dimension $d$. This amazing simplicial complex was first constructed by Kühnel in 1986. Generalizing a 1987 result of Brehm and Kühnel, we prove that (d) any triangulation of a non-simply connected closed $d$-manifold requires at least $2d + 3$ vertices. The result (c) completely describes the case of equality in (d). The proofs rest on the Lower Bound Theorem for normal pseudomanifolds and on a combinatorial version of Alexander duality.
△ Less
Submitted 2 October, 2007; v1 submitted 27 October, 2006;
originally announced October 2006.
-
Uniqueness of Walkup's 9-vertex 3-dimensional Klein bottle
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
Via a computer search, Altshuler and Steinberg found that there are 1296 +1 combinatorial 3-manifolds on nine vertices, of which only one is non-sphere. This exceptional 3-manifold $K^{3}_{9}$ triangulates the twisted $S^{2}$-bundle over $S^{1}$. It was first constructed by Walkup. In this paper, we present a computer-free proof of the uniqueness of this non-sphere combinatorial 3-manifold. As o…
▽ More
Via a computer search, Altshuler and Steinberg found that there are 1296 +1 combinatorial 3-manifolds on nine vertices, of which only one is non-sphere. This exceptional 3-manifold $K^{3}_{9}$ triangulates the twisted $S^{2}$-bundle over $S^{1}$. It was first constructed by Walkup. In this paper, we present a computer-free proof of the uniqueness of this non-sphere combinatorial 3-manifold. As opposed to the computer-generated proof, ours does not require wading through all the 9-vertex 3-spheres. As a preliminary result, we also show that any 9-vertex combinatorial 3-manifold is equivalent by proper bistellar moves to a 9-vertex neighbourly 3-manifold.
△ Less
Submitted 27 October, 2006;
originally announced October 2006.
-
On Nyman, Beurling and Baez-Duarte's Hilbert space reformulation of the Riemann hypothesis
Authors:
Bhaskar Bagchi
Abstract:
There has been a surge of interest of late in an old result of Nyman and Beurling giving a Hilbert space formulation of the Riemann hypothesis. Many authors have contributed to this circle of ideas, culminating in a beautiful refinement due to Baez-Duarte. The purpose of this little survey is to dis-entangle the resulting web of complications, and reveal the essential simplicity of the main resu…
▽ More
There has been a surge of interest of late in an old result of Nyman and Beurling giving a Hilbert space formulation of the Riemann hypothesis. Many authors have contributed to this circle of ideas, culminating in a beautiful refinement due to Baez-Duarte. The purpose of this little survey is to dis-entangle the resulting web of complications, and reveal the essential simplicity of the main results.
△ Less
Submitted 28 July, 2006;
originally announced July 2006.
-
Combinatorial triangulations of homology spheres
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
Let $M$ be an $n$-vertex combinatorial triangulation of a $\ZZ_2$-homology $d$-sphere. In this paper we prove that if $n \leq d + 8$ then $M$ must be a combinatorial sphere. Further, if $n = d + 9$ and $M$ is not a combinatorial sphere then $M$ can not admit any proper bistellar move. Existence of a 12-vertex triangulation of the lens space $L(3, 1)$ shows that the first result is sharp in dimensi…
▽ More
Let $M$ be an $n$-vertex combinatorial triangulation of a $\ZZ_2$-homology $d$-sphere. In this paper we prove that if $n \leq d + 8$ then $M$ must be a combinatorial sphere. Further, if $n = d + 9$ and $M$ is not a combinatorial sphere then $M$ can not admit any proper bistellar move. Existence of a 12-vertex triangulation of the lens space $L(3, 1)$ shows that the first result is sharp in dimension three.
In the course of the proof we also show that any $\ZZ_2$-acyclic simplicial complex on $\leq 7$ vertices is necessarily collapsible. This result is best possible since there exist 8-vertex triangulations of the Dunce Hat which are not collapsible.
△ Less
Submitted 26 May, 2012; v1 submitted 27 June, 2005;
originally announced June 2005.
-
Deformed shape invariance and exactly solvable Hamiltonians with position-dependent effective mass
Authors:
B. Bagchi,
A. Banerjee,
C. Quesne,
V. M. Tkachuk
Abstract:
Known shape-invariant potentials for the constant-mass Schrodinger equation are taken as effective potentials in a position-dependent effective mass (PDEM) one. The corresponding shape-invariance condition turns out to be deformed. Its solvability imposes the form of both the deformed superpotential and the PDEM. A lot of new exactly solvable potentials associated with a PDEM background are gene…
▽ More
Known shape-invariant potentials for the constant-mass Schrodinger equation are taken as effective potentials in a position-dependent effective mass (PDEM) one. The corresponding shape-invariance condition turns out to be deformed. Its solvability imposes the form of both the deformed superpotential and the PDEM. A lot of new exactly solvable potentials associated with a PDEM background are generated in this way. A novel and important condition restricting the existence of bound states whenever the PDEM vanishes at an end point of the interval is identified. In some cases, the bound-state spectrum results from a smooth deformation of that of the conventional shape-invariant potential used in the construction. In others, one observes a generation or suppression of bound states, depending on the mass-parameter values. The corresponding wavefunctions are given in terms of some deformed classical orthogonal polynomials.
△ Less
Submitted 3 February, 2005; v1 submitted 2 December, 2004;
originally announced December 2004.
-
Non-existence of 6-dimensional pseudomanifolds with complementarity
Authors:
Bhaskar Bagchi,
Basudeb Datta
Abstract:
In a previous paper the second author showed that if $M$ is a pseudomanifold with complementarity other than the 6-vertex real projective plane and the 9-vertex complex projective plane, then $M$ must have dimension $\geq 6$, and - in case of equality - $M$ must have exactly 12 vertices. In this paper we prove that such a 6-dimensional pseudomanifold does not exist. On the way to proving our mai…
▽ More
In a previous paper the second author showed that if $M$ is a pseudomanifold with complementarity other than the 6-vertex real projective plane and the 9-vertex complex projective plane, then $M$ must have dimension $\geq 6$, and - in case of equality - $M$ must have exactly 12 vertices. In this paper we prove that such a 6-dimensional pseudomanifold does not exist. On the way to proving our main result we also prove that all combinatorial triangulations of the 4-sphere with at most 10 vertices are combinatorial 4-spheres.
△ Less
Submitted 12 April, 2004;
originally announced April 2004.
