-
Lower Bounds for Multicolor Star-Critical Ramsey Numbers
Authors:
Mark Budden,
Yash Shamsundar Khobragade,
Siddhartha Sarkar
Abstract:
The star-critical Ramsey number is a refinement of the concept of a Ramsey number. In this paper, we give equivalent criteria for which the star-critical Ramsey number vanishes. Next, we provide a new general lower bound for multicolor star-critical Ramsey numbers whenever it does not vanish. As an application, we evaluate $r_*(P_k, P_3, P_3)$, where $P_n$ is a path of order $n$. In the process of…
▽ More
The star-critical Ramsey number is a refinement of the concept of a Ramsey number. In this paper, we give equivalent criteria for which the star-critical Ramsey number vanishes. Next, we provide a new general lower bound for multicolor star-critical Ramsey numbers whenever it does not vanish. As an application, we evaluate $r_*(P_k, P_3, P_3)$, where $P_n$ is a path of order $n$. In the process of proving these results, we also show that $r_*(C_5, P_3)=3$, where $C_5$ is a cycle of order $5$.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
de Branges matrices and associated de Branges spaces of vector valued entire functions
Authors:
Subhankar Mahapatra,
Santanu Sarkar
Abstract:
This paper extends the concept of de Branges matrices to any finite $m\times m$ order where $m=2n$. We shall discuss these matrices along with the theory of de Branges spaces of $\mathbb{C}^n$-valued entire functions and their associated functions. A parametrization of these matrices is obtained using the Smirnov maximum principle for matrix valued functions. Additionally, a factorization of matri…
▽ More
This paper extends the concept of de Branges matrices to any finite $m\times m$ order where $m=2n$. We shall discuss these matrices along with the theory of de Branges spaces of $\mathbb{C}^n$-valued entire functions and their associated functions. A parametrization of these matrices is obtained using the Smirnov maximum principle for matrix valued functions. Additionally, a factorization of matrix valued meromorphic functions is discussed.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Two problems on submodules of $H^2(\mathbb{D}^n)$
Authors:
Ramlal Debnath,
Srijan Sarkar
Abstract:
Given any shift-invariant closed subspace $\mathcal{S}$ (aka submodule) of the Hardy space over the unit polydisc $H^2(\mathbb{D}^n)$ (where $n \geq 2$), let $R_{z_j}:=M_{z_j}|_{\mathcal{S}}$, and $E_{z_j}:=P_{\mathcal{S}}\circ ev_{z_j}$, for each $j \in \{1,\ldots,n\}$. Here, $ev_{z_j}$ is the operator evaluating at $0$ in the $z_j$-th variable. In this article, we prove that given any subset…
▽ More
Given any shift-invariant closed subspace $\mathcal{S}$ (aka submodule) of the Hardy space over the unit polydisc $H^2(\mathbb{D}^n)$ (where $n \geq 2$), let $R_{z_j}:=M_{z_j}|_{\mathcal{S}}$, and $E_{z_j}:=P_{\mathcal{S}}\circ ev_{z_j}$, for each $j \in \{1,\ldots,n\}$. Here, $ev_{z_j}$ is the operator evaluating at $0$ in the $z_j$-th variable. In this article, we prove that given any subset $Λ\subseteq \{1,\ldots,n\}$, there exists a collection of one-variable inner functions $\{φ_λ(z_λ)\}_{λ\in Λ}$ on $\mathbb{D}^n$, such that \[ \mathcal{S} = \sum_{λ\in Λ} φ_λ(z_λ)H^2(\mathbb{D}^n), \] if and only if the conditions $ (I_{\mathcal{S}}-E_{z_k}E_{z_k}^*)(I_{\mathcal{S}}-R_{z_k}R_{z_k}^*)=0$ for all $k \in \{1,\dots,n\} \setminus Λ$, and $(I_{\mathcal{S}}-E_{z_{i}}E_{z_{i}}^*)(I_{\mathcal{S}}-R_{z_{i}}R_{z_{i}}^*)(I_{\mathcal{S}}-E_{z_{j}}E_{z_{j}}^*)(I_{\mathcal{S}}-R_{z_{j}}R_{z_{j}}^*)=0$ for all distinct $i,j \in Λ$ are satisfied. Following this, we study R.G. Douglas's question on the commutativity of orthogonal projections onto the corresponding quotient modules.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Analytic Kramer sampling and quasi Lagrange-type interpolation in vector valued RKHS
Authors:
Subhankar Mahapatra,
Santanu Sarkar
Abstract:
This paper discusses an abstract Kramer sampling theorem for functions within a reproducing kernel Hilbert space (RKHS) of vector valued holomorphic functions. Additionally, we extend the concept of quasi Lagrange-type interpolation for functions within a RKHS of vector valued entire functions. The dependence of having quasi Lagrange-type interpolation on an invariance condition under the generali…
▽ More
This paper discusses an abstract Kramer sampling theorem for functions within a reproducing kernel Hilbert space (RKHS) of vector valued holomorphic functions. Additionally, we extend the concept of quasi Lagrange-type interpolation for functions within a RKHS of vector valued entire functions. The dependence of having quasi Lagrange-type interpolation on an invariance condition under the generalized backward shift operator has also been discussed. Furthermore, the paper establishes the connection between quasi Lagrange-type interpolation, operator of multiplication by the independent variable, and de Branges spaces of vector valued entire functions.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
EMC$^2$: Efficient MCMC Negative Sampling for Contrastive Learning with Global Convergence
Authors:
Chung-Yiu Yau,
Hoi-To Wai,
Parameswaran Raman,
Soumajyoti Sarkar,
Mingyi Hong
Abstract:
A key challenge in contrastive learning is to generate negative samples from a large sample set to contrast with positive samples, for learning better encoding of the data. These negative samples often follow a softmax distribution which are dynamically updated during the training process. However, sampling from this distribution is non-trivial due to the high computational costs in computing the…
▽ More
A key challenge in contrastive learning is to generate negative samples from a large sample set to contrast with positive samples, for learning better encoding of the data. These negative samples often follow a softmax distribution which are dynamically updated during the training process. However, sampling from this distribution is non-trivial due to the high computational costs in computing the partition function. In this paper, we propose an Efficient Markov Chain Monte Carlo negative sampling method for Contrastive learning (EMC$^2$). We follow the global contrastive learning loss as introduced in SogCLR, and propose EMC$^2$ which utilizes an adaptive Metropolis-Hastings subroutine to generate hardness-aware negative samples in an online fashion during the optimization. We prove that EMC$^2$ finds an $\mathcal{O}(1/\sqrt{T})$-stationary point of the global contrastive loss in $T$ iterations. Compared to prior works, EMC$^2$ is the first algorithm that exhibits global convergence (to stationarity) regardless of the choice of batch size while exhibiting low computation and memory cost. Numerical experiments validate that EMC$^2$ is effective with small batch training and achieves comparable or better performance than baseline algorithms. We report the results for pre-training image encoders on STL-10 and Imagenet-100.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
DIMAT: Decentralized Iterative Merging-And-Training for Deep Learning Models
Authors:
Nastaran Saadati,
Minh Pham,
Nasla Saleem,
Joshua R. Waite,
Aditya Balu,
Zhanhong Jiang,
Chinmay Hegde,
Soumik Sarkar
Abstract:
Recent advances in decentralized deep learning algorithms have demonstrated cutting-edge performance on various tasks with large pre-trained models. However, a pivotal prerequisite for achieving this level of competitiveness is the significant communication and computation overheads when updating these models, which prohibits the applications of them to real-world scenarios. To address this issue,…
▽ More
Recent advances in decentralized deep learning algorithms have demonstrated cutting-edge performance on various tasks with large pre-trained models. However, a pivotal prerequisite for achieving this level of competitiveness is the significant communication and computation overheads when updating these models, which prohibits the applications of them to real-world scenarios. To address this issue, drawing inspiration from advanced model merging techniques without requiring additional training, we introduce the Decentralized Iterative Merging-And-Training (DIMAT) paradigm--a novel decentralized deep learning framework. Within DIMAT, each agent is trained on their local data and periodically merged with their neighboring agents using advanced model merging techniques like activation matching until convergence is achieved. DIMAT provably converges with the best available rate for nonconvex functions with various first-order methods, while yielding tighter error bounds compared to the popular existing approaches. We conduct a comprehensive empirical analysis to validate DIMAT's superiority over baselines across diverse computer vision tasks sourced from multiple datasets. Empirical results validate our theoretical claims by showing that DIMAT attains faster and higher initial gain in accuracy with independent and identically distributed (IID) and non-IID data, incurring lower communication overhead. This DIMAT paradigm presents a new opportunity for the future decentralized learning, enhancing its adaptability to real-world with sparse and light-weight communication and computation.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
On the matching complexes of categorical product of path graphs
Authors:
Raju Kumar Gupta,
Sourav Sarkar,
Sagar S. Sawant,
Samir Shukla
Abstract:
The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and…
▽ More
The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and $P_m$. For $m = 1$, $P_n \times P_m$ is a discrete graph and therefore its matching complex is the void complex. For $m = 2$, $\mathsf{M}(P_n \times P_m)$ has been proved to be homotopy equivalent to a wedge of spheres by Kozlov. We show that for $n \geq 2$ and $3 \leq m \leq 5$, the matching complex of $P_n \times P_m$ is homotopy equivalent to a wedge of spheres. For $m =3$, we give a closed form formula for the number and dimension of spheres appearing in the wedge. Further, for $m \in \{4, 5\}$, we give minimum and maximum dimension of spheres appearing in the wedge in the homotopy type of $\mathsf{M}(P_n \times P_m)$.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Unitary parts of Toeplitz operators with operator-valued symbols
Authors:
E. K. Narayanan,
Srijan Sarkar
Abstract:
Motivated by the canonical decomposition of contractions on Hilbert spaces, we investigate when contractive Toeplitz operators on vector-valued Hardy spaces on the unit disc admit a non-zero reducing subspace on which its restriction is unitary. We show that for a Hilbert space $\mathcal{E}$ and operator-valued symbol $Φ\in L_{\mathcal{B}(\mathcal{E})}^{\infty}(\mathbb{T})$, the Toeplitz operator…
▽ More
Motivated by the canonical decomposition of contractions on Hilbert spaces, we investigate when contractive Toeplitz operators on vector-valued Hardy spaces on the unit disc admit a non-zero reducing subspace on which its restriction is unitary. We show that for a Hilbert space $\mathcal{E}$ and operator-valued symbol $Φ\in L_{\mathcal{B}(\mathcal{E})}^{\infty}(\mathbb{T})$, the Toeplitz operator $T_Φ$ on $H_{\mathcal{E}}^2(\mathbb{D})$ has such a unitary subspace if and only if there exists a Hilbert space $\mathcal{F}$, an inner function $Θ(z) \in H_{\mathcal{B}(\mathcal{F}, \mathcal{E})}^{\infty}(\mathbb{D})$, and a unitary $U:\mathcal{F} \rightarrow \mathcal{F}$ such that \[ Φ(e^{it}) Θ(e^{it}) = Θ(e^{it}) U \quad \text{and} \quad Φ(e^{it})^* Θ(e^{it}) = Θ(e^{it}) U^* \quad (\text{ a.e. on }\mathbb{T}). \] This result can be seen as a generalization of the corresponding result for Toeplitz operators on $H^2(\mathbb{D})$ by Goor in [13]. We provide finer characterizations for analytic Toeplitz operators by finding the correspondence between the unitary parts of $T_Φ$ on $H_{\mathcal{E}}^2(\mathbb{D})$ and $Φ(0)$ on $\mathcal{E}$.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
LS-category and topological complexity of real torus manifolds and Dold manifolds of real torus type
Authors:
Koushik Brahma,
Navnath Daundkar,
Soumen Sarkar
Abstract:
The real torus manifolds are a generalization of small covers and generalized real Bott manifolds. We compute the LS-category of these manifolds under some constraints and obtain sharp bounds on their topological complexities. We obtain a simplified description of their cohomology ring and discuss a relation on the cup-product of its generators. We obtain the sharp bounds on their zero-divisors-cu…
▽ More
The real torus manifolds are a generalization of small covers and generalized real Bott manifolds. We compute the LS-category of these manifolds under some constraints and obtain sharp bounds on their topological complexities. We obtain a simplified description of their cohomology ring and discuss a relation on the cup-product of its generators. We obtain the sharp bounds on their zero-divisors-cup-lengths. We improve the dimensional upper bound on their topological complexity. We also show that under certain hypotheses, the topological complexity of real torus manifolds of dimension $n$ is either $2n$ or $2n+1$. We compute the $\mathbb{Z}_2$-equivariant LS-category of any small cover when the $\mathbb{Z}_2$-fixed points are path connected. We then compute the LS-category of Dold manifolds of real torus type and obtain sharp bounds on their topological complexity. In the end, we obtain sharp bounds on the symmetric topological complexity of a class of these manifolds.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Spectra in Khovanov and knot Floer theories
Authors:
Marco Marengon,
Sucharit Sarkar,
Andras Stipsicz
Abstract:
These notes provide an introduction to the stable homotopy types in Khovanov theory (due to Lipshitz-Sarkar) and in knot Floer theory (due to Manolescu-Sarkar). They were written following a lecture series given by Sucharit Sarkar at the Renyi Institute during a special semester on "Singularities and low-dimensional topology", organised by the Erdos Center.
These notes provide an introduction to the stable homotopy types in Khovanov theory (due to Lipshitz-Sarkar) and in knot Floer theory (due to Manolescu-Sarkar). They were written following a lecture series given by Sucharit Sarkar at the Renyi Institute during a special semester on "Singularities and low-dimensional topology", organised by the Erdos Center.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
A note on a Conjecture of Gao and Zhuang for groups of order $27$
Authors:
Naveen K. Godara,
Siddhartha Sarkar
Abstract:
The small Davenport constant ${\mathsf{d}}(G)$ of a finite group $G$ is defined to be the maximal length of a sequence over $G$ which has no non-trivial product-one subsequence. In this paper, we prove that ${\mathsf{d}}(G) = 6$ for the non-abelian group of order $27$ and exponent $3$ and thereby establish a conjecture by Gao and Zhuang for this group.
The small Davenport constant ${\mathsf{d}}(G)$ of a finite group $G$ is defined to be the maximal length of a sequence over $G$ which has no non-trivial product-one subsequence. In this paper, we prove that ${\mathsf{d}}(G) = 6$ for the non-abelian group of order $27$ and exponent $3$ and thereby establish a conjecture by Gao and Zhuang for this group.
△ Less
Submitted 2 April, 2024; v1 submitted 4 November, 2023;
originally announced November 2023.
-
Isomorphism of Multiprojective Bundles and Projective Towers
Authors:
Ashima Bansal,
Supravat Sarkar,
Shivam Vats
Abstract:
We study when two projective bundles over two arbitrary smooth projective varieties of different dimensions can be isomorphic. We show that two multi-projective bundles (fibre product of projective bundles) over different projective spaces cannot be isomorphic, except in the trivial case. We also give necessary and sufficient conditions for the top varieties of two height 3 towers of projective bu…
▽ More
We study when two projective bundles over two arbitrary smooth projective varieties of different dimensions can be isomorphic. We show that two multi-projective bundles (fibre product of projective bundles) over different projective spaces cannot be isomorphic, except in the trivial case. We also give necessary and sufficient conditions for the top varieties of two height 3 towers of projective bundles being isomorphic, under certain assumptions.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
New Asymptotic Limit Theory and Inference for Monotone Regression
Authors:
Soham Mallick,
Siddhaarth Sarkar,
Arun Kumar Kuchibhotla
Abstract:
Nonparametric regression problems with qualitative constraints such as monotonicity or convexity are ubiquitous in applications. For example, in predicting the yield of a factory in terms of the number of labor hours, the monotonicity of the conditional mean function is a natural constraint. One can estimate a monotone conditional mean function using nonparametric least squares estimation, which i…
▽ More
Nonparametric regression problems with qualitative constraints such as monotonicity or convexity are ubiquitous in applications. For example, in predicting the yield of a factory in terms of the number of labor hours, the monotonicity of the conditional mean function is a natural constraint. One can estimate a monotone conditional mean function using nonparametric least squares estimation, which involves no tuning parameters. Several interesting properties of the isotonic LSE are known including its rate of convergence, adaptivity properties, and pointwise asymptotic distribution. However, we believe that the full richness of the asymptotic limit theory has not been explored in the literature which we do in this paper. Moreover, the inference problem is not fully settled. In this paper, we present some new results for monotone regression including an extension of existing results to triangular arrays, and provide asymptotically valid confidence intervals that are uniformly valid over a large class of distributions.
△ Less
Submitted 17 November, 2023; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Invariant circles and phase portraits of cubic vector fields on the sphere
Authors:
Joji Benny,
Supriyo Jana,
Soumen Sarkar
Abstract:
In this paper, we characterize and study dynamical properties of cubic vector fields on the sphere $\mathbb{S}^2 = \{(x, y, z) \in \mathbb{R}^3 ~|~ x^2+y^2+z^2 = 1\}$. We start by classifying all degree three polynomial vector fields on $\mathbb{S}^2$ and determine which of them form Kolmogorov systems. Then, we show that there exist completely integrable cubic vector fields on $\mathbb{S}^2$ and…
▽ More
In this paper, we characterize and study dynamical properties of cubic vector fields on the sphere $\mathbb{S}^2 = \{(x, y, z) \in \mathbb{R}^3 ~|~ x^2+y^2+z^2 = 1\}$. We start by classifying all degree three polynomial vector fields on $\mathbb{S}^2$ and determine which of them form Kolmogorov systems. Then, we show that there exist completely integrable cubic vector fields on $\mathbb{S}^2$ and also study the maximum number of various types of invariant circles for homogeneous cubic vector fields on $\mathbb{S}^2$. We find a tight bound in each case. Further, we also discuss phase portraits of certain cubic Kolmogorov vector fields on $\mathbb{S}^2$.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
Representing the inverse map as a composition of quadratics in a finite field of characteristic $2$
Authors:
Florian Luca,
Santanu Sarkar,
Pantelimon Stanica
Abstract:
In 1953, Carlitz~\cite{Car53} showed that all permutation polynomials over $\F_q$, where $q>2$ is a power of a prime, are generated by the special permutation polynomials $x^{q-2}$ (the inversion) and $ ax+b$ (affine functions, where $0\neq a, b\in \F_q$). Recently, Nikova, Nikov and Rijmen~\cite{NNR19} proposed an algorithm (NNR) to find a decomposition of the inverse function in quadratics, and…
▽ More
In 1953, Carlitz~\cite{Car53} showed that all permutation polynomials over $\F_q$, where $q>2$ is a power of a prime, are generated by the special permutation polynomials $x^{q-2}$ (the inversion) and $ ax+b$ (affine functions, where $0\neq a, b\in \F_q$). Recently, Nikova, Nikov and Rijmen~\cite{NNR19} proposed an algorithm (NNR) to find a decomposition of the inverse function in quadratics, and computationally covered all dimensions $n\leq 16$. Petrides~\cite{P23} found a class of integers for which it is easy to decompose the inverse into quadratics, and improved the NNR algorithm, thereby extending the computation up to $n\leq 32$. Here, we extend Petrides' result, as well as we propose a number theoretical approach, which allows us to cover easily all (surely, odd) exponents up to~$250$, at least.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Quadratic, Homogeneous and Kolmogorov vector fields on $S^1\times S^2$ and $S^2 \times S^1$
Authors:
Supriyo Jana,
Soumen Sarkar
Abstract:
In this paper, we consider the following two algebraic hypersurfaces $$S^1\times S^2=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2-a^2)^2 + x_3^2 + x_4^2 -1=0;~ a>1\}$$ and $$S^2\times S^1=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2+x_3^2-b^2)^2+x_4^2-1=0;~ b>1\}$$ embedded in $\mathbb{R}^4$. We study polynomial vector fields in $\mathbb{R}^4$ separately, having $S^1\times S^2$ and…
▽ More
In this paper, we consider the following two algebraic hypersurfaces $$S^1\times S^2=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2-a^2)^2 + x_3^2 + x_4^2 -1=0;~ a>1\}$$ and $$S^2\times S^1=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2+x_3^2-b^2)^2+x_4^2-1=0;~ b>1\}$$ embedded in $\mathbb{R}^4$. We study polynomial vector fields in $\mathbb{R}^4$ separately, having $S^1\times S^2$ and $S^2\times S^1$ invariant by their flows. We characterize all linear, quadratic, cubic Kolmogorov and homogeneous vector fields on $S^1\times S^2$ and $S^2\times S^1$. We construct some first integrals of these vector fields and find which of the vector fields are Hamiltonian. We give upper bounds for the number of the invariant meridian and parallel hyperplanes of these vector fields. In addition, we have shown that the upper bounds are sharp in many cases.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Various Topological Complexities of Small Covers and Real Bott Manifolds
Authors:
Koushik Brahma,
Bikramaditya Naskar,
Soumen Sarkar,
Subhankar Sau
Abstract:
In this paper, we compute the LS-category and equivariant LS-category of a small cover and its real moment angle manifold. We calculate a tight lower bound for the topological complexity of many small covers over a product of simplices. Then we compute symmetric topological complexity of several small covers over a product of simplices. We calculate the LS one-category of real Bott manifolds and i…
▽ More
In this paper, we compute the LS-category and equivariant LS-category of a small cover and its real moment angle manifold. We calculate a tight lower bound for the topological complexity of many small covers over a product of simplices. Then we compute symmetric topological complexity of several small covers over a product of simplices. We calculate the LS one-category of real Bott manifolds and infinitely many small covers.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Some aspects of vector valued de Branges spaces of entire functions
Authors:
Subhankar Mahapatra,
Santanu Sarkar
Abstract:
This paper deals with certain aspects of the vector valued de Branges spaces of entire functions that are based on pairs of Fredholm operator valued functions. Some factorization and isometric embedding results are extended from the scalar valued theory of de Branges spaces. In particular, global factorization of Fredholm operator valued entire functions and analytic equivalence of reproducing ker…
▽ More
This paper deals with certain aspects of the vector valued de Branges spaces of entire functions that are based on pairs of Fredholm operator valued functions. Some factorization and isometric embedding results are extended from the scalar valued theory of de Branges spaces. In particular, global factorization of Fredholm operator valued entire functions and analytic equivalence of reproducing kernels of de Branges spaces are discussed. Additionally, the operator valued entire functions associated with these de Branges spaces are studied, and a connection with the operator nodes is established.
△ Less
Submitted 3 May, 2024; v1 submitted 4 May, 2023;
originally announced May 2023.
-
On Controlling the False Discovery Rate in Multiple Testing of the Means of Correlated Normals Against Two-Sided Alternatives
Authors:
Sanat K. Sarkar
Abstract:
This paper revisits the following open question in simultaneous testing of multivariate normal means against two-sided alternatives: Can the method of Benjamini and Hochberg (BH, 1995) control the false discovery rate (FDR) without imposing any dependence structure on the correlations? The answer to this question is generally believed to be yes, and is conjectured so in the literature since result…
▽ More
This paper revisits the following open question in simultaneous testing of multivariate normal means against two-sided alternatives: Can the method of Benjamini and Hochberg (BH, 1995) control the false discovery rate (FDR) without imposing any dependence structure on the correlations? The answer to this question is generally believed to be yes, and is conjectured so in the literature since results of numerical studies investigating the question and reported in numerous papers strongly support it. No theoretical justification of this answer has yet been put forward in the literature, as far as we know. In this paper, we offer a partial proof of this conjecture. More specifically, we consider the following two settings - (i) the covariance matrix is known and (ii) the covariance matrix is an unknown scalar multiple of a known matrix - and prove that in each of these settings a BH-type stepup method based on some weighted versions of the original z- or t-test statistics controls the FDR.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Integral equivariant $K$-theory and cobordism ring of simplicial GKM orbifold complexes
Authors:
Koushik Brahma,
Soumen Sarkar
Abstract:
In this paper, we define `simplicial GKM orbifold complexes' and study some of their topological properties. We introduce the concept of filtration of regular graphs and `simplicial graph complexes', which have close relations with simplicial GKM orbifold complexes. We discuss the necessary conditions to confirm an invariant $q$-CW complex structure on a simplicial GKM orbifold complex. We introdu…
▽ More
In this paper, we define `simplicial GKM orbifold complexes' and study some of their topological properties. We introduce the concept of filtration of regular graphs and `simplicial graph complexes', which have close relations with simplicial GKM orbifold complexes. We discuss the necessary conditions to confirm an invariant $q$-CW complex structure on a simplicial GKM orbifold complex. We introduce `buildable' and `divisive' simplicial GKM orbifold complexes. We show that a buildable simplicial GKM orbifold complex is equivariantly formal, and a divisive simplicial GKM orbifold complex is integrally equivariantly formal. We give a combinatorial description of the integral equivariant cohomology ring of certain simplicial GKM orbifold complexes. We prove the Thom isomorphism theorem for orbifold $G$-vector bundles for equivariant cohomology and equivariant $K$-theory with rational coefficients. We extend the main result of Harada-Henriques-Holm (2005) to the category of $G$-spaces equipped with `singular invariant stratification'. We compute the integral equivariant cohomology ring, equivariant $K$-theory ring and equivariant cobordism ring of divisive simplicial GKM orbifold complexes. We describe a basis of the integral generalized equivariant cohomology of a divisive simplicial GKM orbifold complex.
△ Less
Submitted 20 May, 2023; v1 submitted 19 February, 2023;
originally announced February 2023.
-
Scalable Bayesian optimization with high-dimensional outputs using randomized prior networks
Authors:
Mohamed Aziz Bhouri,
Michael Joly,
Robert Yu,
Soumalya Sarkar,
Paris Perdikaris
Abstract:
Several fundamental problems in science and engineering consist of global optimization tasks involving unknown high-dimensional (black-box) functions that map a set of controllable variables to the outcomes of an expensive experiment. Bayesian Optimization (BO) techniques are known to be effective in tackling global optimization problems using a relatively small number objective function evaluatio…
▽ More
Several fundamental problems in science and engineering consist of global optimization tasks involving unknown high-dimensional (black-box) functions that map a set of controllable variables to the outcomes of an expensive experiment. Bayesian Optimization (BO) techniques are known to be effective in tackling global optimization problems using a relatively small number objective function evaluations, but their performance suffers when dealing with high-dimensional outputs. To overcome the major challenge of dimensionality, here we propose a deep learning framework for BO and sequential decision making based on bootstrapped ensembles of neural architectures with randomized priors. Using appropriate architecture choices, we show that the proposed framework can approximate functional relationships between design variables and quantities of interest, even in cases where the latter take values in high-dimensional vector spaces or even infinite-dimensional function spaces. In the context of BO, we augmented the proposed probabilistic surrogates with re-parameterized Monte Carlo approximations of multiple-point (parallel) acquisition functions, as well as methodological extensions for accommodating black-box constraints and multi-fidelity information sources. We test the proposed framework against state-of-the-art methods for BO and demonstrate superior performance across several challenging tasks with high-dimensional outputs, including a constrained multi-fidelity optimization task involving shape optimization of rotor blades in turbo-machinery.
△ Less
Submitted 14 September, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Vector valued de Branges spaces of entire functions based on pairs of Fredholm operator valued functions and functional model
Authors:
Subhankar Mahapatra,
Santanu Sarkar
Abstract:
In this paper, we have considered vector valued reproducing kernel Hilbert spaces (RKHS) $\mathcal{H}$ of entire functions associated with operator valued kernel functions. de Branges operators $\mathfrak{E}=(E_- , E_+)$ analogous to de Branges matrices have been constructed with the help of pairs of Fredholm operator valued entire functions on $\mathfrak{X}$, where $\mathfrak{X}$ is a complex sep…
▽ More
In this paper, we have considered vector valued reproducing kernel Hilbert spaces (RKHS) $\mathcal{H}$ of entire functions associated with operator valued kernel functions. de Branges operators $\mathfrak{E}=(E_- , E_+)$ analogous to de Branges matrices have been constructed with the help of pairs of Fredholm operator valued entire functions on $\mathfrak{X}$, where $\mathfrak{X}$ is a complex seperable Hilbert space. A few explicit examples of these de Branges operators are also discussed. The newly defined RKHS $\mathcal{B}(\mathfrak{E})$ based on the de Branges operator $\mathfrak{E}=(E_-,E_+)$ has been characterized under some special restrictions. The complete parametrizations and canonical descriptions of all selfadjoint extensions of the closed, symmetric multiplication operator by the independent variable have been given in terms of unitary operators between ranges of reproducing kernels. A sampling formula for the de Branges spaces $\mathcal{B}(\mathfrak{E})$ has been discussed. A particular class of entire operators with infinite deficiency indices has been dealt with and shown that they can be considered as the multiplication operator for a specific class of these de Branges spaces. Finally, a brief discussion on the connection between the characteristic function of a completely nonunitary contraction operator and the de Branges spaces $\mathcal{B}(\mathfrak{E})$ has been given.
△ Less
Submitted 6 December, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
A structure theorem for homology 4-manifolds with $g_2\leq 5$
Authors:
Biplab Basak,
Sourav Sarkar
Abstract:
Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived fr…
▽ More
Numerous structural findings of homology manifolds have been derived in various ways in relation to $g_2$-values. The homology $4$-manifolds with $g_2\leq 5$ are characterized combinatorially in this article. It is well-known that all homology $4$-manifolds for $g_2\leq 2$ are polytopal spheres. We demonstrate that homology $4$-manifolds with $g_2\leq 5$ are triangulated spheres and are derived from triangulated 4-spheres with $g_2\leq 2$ by a series of connected sum, bistellar 1- and 2-moves, edge contraction, edge expansion, and edge flip** operations. We establish that the above inequality is optimally attainable, i.e., it cannot be extended to $g_2 = 6$.
△ Less
Submitted 18 April, 2024; v1 submitted 5 February, 2023;
originally announced February 2023.
-
LS-category and topological complexity of several families of fibre bundles
Authors:
Navnath Daundkar,
Soumen Sarkar
Abstract:
In this paper, we study upper bounds for the topological complexity of the total spaces of some classes of fibre bundles. We calculate a tight upper bound for the topological complexity of an $n$-dimensional Klein bottle. We also compute the exact value of the topological complexity of $3$-dimensional Klein bottle. We describe the cohomology rings of several classes of generalized projective produ…
▽ More
In this paper, we study upper bounds for the topological complexity of the total spaces of some classes of fibre bundles. We calculate a tight upper bound for the topological complexity of an $n$-dimensional Klein bottle. We also compute the exact value of the topological complexity of $3$-dimensional Klein bottle. We describe the cohomology rings of several classes of generalized projective product spaces with $\mathbb{Z}_2$-coefficients. Then we study the LS-category and topological complexity of infinite families of generalized projective product spaces. We reckon the exact value of these invariants in many specific cases. We calculate the equivariant LS-category and equivariant topological complexity of several product spaces equipped with $\mathbb{Z}_2$-action.
△ Less
Submitted 24 April, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
A characterization of MG Dual frames using infimum cosine angle
Authors:
Sudipta Sarkar,
Niraj K. Shukla
Abstract:
This article discusses the construction of dual frames and their uniqueness for the multiplication generated frames on $L^2(X; \mathcal H)$, where $X$ is a $σ$-finite measure. A necessary and sufficient condition of such duals associated to infimum cosine angle is obtained. The result is illustrated for the translation-generated systems on a locally compact group (not necessarily abelian ) by acti…
▽ More
This article discusses the construction of dual frames and their uniqueness for the multiplication generated frames on $L^2(X; \mathcal H)$, where $X$ is a $σ$-finite measure. A necessary and sufficient condition of such duals associated to infimum cosine angle is obtained. The result is illustrated for the translation-generated systems on a locally compact group (not necessarily abelian ) by action of its abelian subgroup.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
A Computationally Efficient Vectorized Implementation of Localizing Gradient Damage Method in MATLAB
Authors:
Subrato Sarkar
Abstract:
In this work, a recently developed fracture modeling method called localizing gradient damage method (LGDM) is implemented in MATLAB. MATLAB is well-known in the computational research community for its simple and easy-to-learn coding interface. As a result, MATLAB is generally preferred for the initial development (prototy**) of computational models by researchers. However, MATLAB-developed cod…
▽ More
In this work, a recently developed fracture modeling method called localizing gradient damage method (LGDM) is implemented in MATLAB. MATLAB is well-known in the computational research community for its simple and easy-to-learn coding interface. As a result, MATLAB is generally preferred for the initial development (prototy**) of computational models by researchers. However, MATLAB-developed codes are seldom used for large-scale simulations (after initial development is complete) due to their computational inefficiency. Hence, a computationally efficient implementation of LGDM using MATLAB vectorization is presented in this work. The choice of LGDM (as the fracture modeling method) is based on its thermodynamically consistent formulation built upon the micromorphic framework. Moreover, the non-linear coupled field formulation of LGDM makes it suitable for testing the computational efficiency of vectorized MATLAB implementation in a non-linear finite element setting. It is shown in this work that the vectorized MATLAB implementation can save significant computational resources and time as compared to non-vectorized implementations (that are parallelized with MATLAB parfor). The vectorized MATLAB implementation is tested by solving numerical problems in 1D, 2D and 3D on a consumer-grade PC, demonstrating the capability of vectorized implementation to run simulations efficiently on systems with limited resources. The sample source codes are provided as supplementary materials that would be helpful to researchers working on similar coupled field models.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Reproducing formulas associated to translation generated systems on Nilpotent Lie Groups
Authors:
Sudipta Sarkar,
Niraj K. Shukla
Abstract:
Let $G$ be a connected, simply connected, nilpotent Lie group whose irreducible unitary representations are square-integrable modulo the center. We obtain characterization results for reproducing formulas associated with the left translation generated systems in $ L^2(G)$. Unlike the previous study of discrete frames on the nilpotent Lie groups, the current research occurs within the set up of con…
▽ More
Let $G$ be a connected, simply connected, nilpotent Lie group whose irreducible unitary representations are square-integrable modulo the center. We obtain characterization results for reproducing formulas associated with the left translation generated systems in $ L^2(G)$. Unlike the previous study of discrete frames on the nilpotent Lie groups, the current research occurs within the set up of continuous frames, which means the resulting reproducing formulas are given in terms of integral representations instead of discrete sums. As a consequence of our results for the Heisenberg group, a reproducing formula associated with the orthonormal Gabor systems of $L^2(\mathbb R^d)$ is obtained.
△ Less
Submitted 8 January, 2023;
originally announced January 2023.
-
Correlations in the continuous multispecies TASEP on a ring
Authors:
Surjadipta De Sarkar,
Nimisha Pahuja
Abstract:
In this paper, we prove a conjecture by Aas and Linusson on the two-point correlations of adjacent particles in a continuous multispecies TASEP on a ring (AIHPD, 2018). We use the theory of multiline queues as devised by Ferrari and Martin (AOP, 2008) to interpret the conjectures in terms of placements of numbers in triangular arrays. Further, we use projections to calculate correlations in the co…
▽ More
In this paper, we prove a conjecture by Aas and Linusson on the two-point correlations of adjacent particles in a continuous multispecies TASEP on a ring (AIHPD, 2018). We use the theory of multiline queues as devised by Ferrari and Martin (AOP, 2008) to interpret the conjectures in terms of placements of numbers in triangular arrays. Further, we use projections to calculate correlations in the continuous multispecies TASEP using a distribution on these placements.
△ Less
Submitted 25 April, 2023; v1 submitted 11 December, 2022;
originally announced December 2022.
-
An Application of the supremum cosine angle between multiplication invariant spaces in $L^2(X; \mc H)$
Authors:
Sudipta Sarkar,
Sahil Kalra,
Niraj K. Shukla
Abstract:
In this article, we describe the supremum cosine angle between two multiplication invariant (MI) spaces and its connection with the closedness of the sum of those spaces. The results obtained for MI spaces are preserved by the corresponding fiber spaces almost everywhere. Employing the Zak transform, we obtain the results for translation invariant spaces on locally compact groups by action of its…
▽ More
In this article, we describe the supremum cosine angle between two multiplication invariant (MI) spaces and its connection with the closedness of the sum of those spaces. The results obtained for MI spaces are preserved by the corresponding fiber spaces almost everywhere. Employing the Zak transform, we obtain the results for translation invariant spaces on locally compact groups by action of its closed abelian subgroup. Additionally, we provide the application of our results to sampling theory.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
On Perverse sheaves of a Coxeter hyperplane arrangement of type $\mathcal{A}_n$
Authors:
Umesh V Dubey,
Subham Sarkar
Abstract:
Kapranov and schechtman gave quiver description of perverse sheaves on real hyperplane arrangements. We used this description to relate the perverse sheaves on Coxeter hyperplane arrangements of type $\mathcal A_n$ for different values of $n$. As a consequence we prove that the simple perverse sheaves whose stalk on open cells are zero are induced from the perverse sheaves on lower dimension arran…
▽ More
Kapranov and schechtman gave quiver description of perverse sheaves on real hyperplane arrangements. We used this description to relate the perverse sheaves on Coxeter hyperplane arrangements of type $\mathcal A_n$ for different values of $n$. As a consequence we prove that the simple perverse sheaves whose stalk on open cells are zero are induced from the perverse sheaves on lower dimension arrangements.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Neural PDE Solvers for Irregular Domains
Authors:
Biswajit Khara,
Ethan Herron,
Zhanhong Jiang,
Aditya Balu,
Chih-Hsuan Yang,
Kumar Saurabh,
Anushrut Jignasu,
Soumik Sarkar,
Chinmay Hegde,
Adarsh Krishnamurthy,
Baskar Ganapathysubramanian
Abstract:
Neural network-based approaches for solving partial differential equations (PDEs) have recently received special attention. However, the large majority of neural PDE solvers only apply to rectilinear domains, and do not systematically address the imposition of Dirichlet/Neumann boundary conditions over irregular domain boundaries. In this paper, we present a framework to neurally solve partial dif…
▽ More
Neural network-based approaches for solving partial differential equations (PDEs) have recently received special attention. However, the large majority of neural PDE solvers only apply to rectilinear domains, and do not systematically address the imposition of Dirichlet/Neumann boundary conditions over irregular domain boundaries. In this paper, we present a framework to neurally solve partial differential equations over domains with irregularly shaped (non-rectilinear) geometric boundaries. Our network takes in the shape of the domain as an input (represented using an unstructured point cloud, or any other parametric representation such as Non-Uniform Rational B-Splines) and is able to generalize to novel (unseen) irregular domains; the key technical ingredient to realizing this model is a novel approach for identifying the interior and exterior of the computational grid in a differentiable manner. We also perform a careful error analysis which reveals theoretical insights into several sources of error incurred in the model-building process. Finally, we showcase a wide variety of applications, along with favorable comparisons with ground truth solutions.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
The fundamental group and extensions of motives of Jacobians of curves
Authors:
Subham Sarkar,
Ramesh Sreekantan
Abstract:
In this paper we construct extensions of mixed Hodge structures coming from the mixed Hodge structure on the graded quotients of the group ring of the fundamental group of a smooth, projective, pointed curve. These extensions correspond to the regulators of certain motivic cycles in the Jacobian of the curve which were constructed by Beilinson and Bloch. This leads to a new iterated integral expre…
▽ More
In this paper we construct extensions of mixed Hodge structures coming from the mixed Hodge structure on the graded quotients of the group ring of the fundamental group of a smooth, projective, pointed curve. These extensions correspond to the regulators of certain motivic cycles in the Jacobian of the curve which were constructed by Beilinson and Bloch. This leads to a new iterated integral expression for the regulator. This is a generalisation of a theorem of Colombo where she constructed the extension corresponding to Collino's cycles in the Jacobian of a hyperelliptic curve.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
A note on the column-row property
Authors:
Samya Kumar Ray,
Srijan Sarkar
Abstract:
In this article, we study the following question asked by Michael Hartz in a recent paper \cite{Hartz}: \textit{which operator spaces satisfy the column-row property?} We provide a complete classification of the column-row property for non-commutative $L_{p}$-spaces over semifinite von Neumann algebras. We study other relevant properties of operator spaces that are related to the column-row proper…
▽ More
In this article, we study the following question asked by Michael Hartz in a recent paper \cite{Hartz}: \textit{which operator spaces satisfy the column-row property?} We provide a complete classification of the column-row property for non-commutative $L_{p}$-spaces over semifinite von Neumann algebras. We study other relevant properties of operator spaces that are related to the column-row property and discuss their existence and non-existence for various natural examples of operator spaces.
△ Less
Submitted 17 April, 2023; v1 submitted 13 October, 2022;
originally announced October 2022.
-
Characterizations of Extra-invariant spaces under the left translations on a Lie group
Authors:
Sudipta Sarkar,
Niraj K. Shukla
Abstract:
In the context of a connected, simply connected, nilpotent Lie group, whose representations are square-integrable modulo the center, we find characterization results of extra-invariant spaces under the left translations associated with the range functions. Consequently, the theory is valid for the Heisenberg group $\mathbb H^d$, a 2-step nilpotent Lie group.
In the context of a connected, simply connected, nilpotent Lie group, whose representations are square-integrable modulo the center, we find characterization results of extra-invariant spaces under the left translations associated with the range functions. Consequently, the theory is valid for the Heisenberg group $\mathbb H^d$, a 2-step nilpotent Lie group.
△ Less
Submitted 1 September, 2022;
originally announced September 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.
-
A Base Change Version of Rasmussen-Tamagawa Conjecture
Authors:
Plawan Das,
Subham Sarkar
Abstract:
We prove a certain uniform version of the Shafarevich Conjecture. As a corollary, we prove the Rasmussen-Tamagawa Conjecture for a particular class of abelian varieties $A$ defined over a number $K$ of dimension $g$ having everywhere potential good reduction, in particular, for any finite place $v$ of $K$ the localization $A_v:=A\times_{\mathrm{Spec}(K)}\mathrm{Spec}(K_v)$ has either good reductio…
▽ More
We prove a certain uniform version of the Shafarevich Conjecture. As a corollary, we prove the Rasmussen-Tamagawa Conjecture for a particular class of abelian varieties $A$ defined over a number $K$ of dimension $g$ having everywhere potential good reduction, in particular, for any finite place $v$ of $K$ the localization $A_v:=A\times_{\mathrm{Spec}(K)}\mathrm{Spec}(K_v)$ has either good reduction or {\it totally bad reduction} (connected component $\tilde{\mathcal{A}}_v^0$ of the special fibre $\tilde{\mathcal{A}}_v$ of the Néron model $\mathcal{A}_v$ at $v$ is an affine group scheme over the residue field $k_v$ at $v$) and has good reduction over a quadratic extension of $K_v$.
△ Less
Submitted 7 September, 2023; v1 submitted 8 August, 2022;
originally announced August 2022.
-
A generalization of Tóth identity in $\mathbb{F}_q[T]$ involving a Dirichlet Character
Authors:
Esrafil Ali Molla,
Subha Sarkar
Abstract:
Let $\mathbb{A}=\mathbb{F}_q[T]$ be the polynomial ring over the finite field $\mathbb{F}_q$. In this article, we prove a generalization of Tóth identity on $\mathbb{A}$ involving arithmetical functions, multiplicative and additive characters.
Let $\mathbb{A}=\mathbb{F}_q[T]$ be the polynomial ring over the finite field $\mathbb{F}_q$. In this article, we prove a generalization of Tóth identity on $\mathbb{A}$ involving arithmetical functions, multiplicative and additive characters.
△ Less
Submitted 18 January, 2023; v1 submitted 7 June, 2022;
originally announced June 2022.
-
A characterization of homology $d$-manifolds with $g_2\leq 3$
Authors:
Biplab Basak,
Sourav Sarkar
Abstract:
The $g$-vector of a simplicial complex contains a lot of informations about the combinatorial and topological structure of that complex. So far several classification results on the structure of normal pseudomanifolds and homology manifolds have been given with respect to the value $g_2$. It is known that for $g_2=0$, all the normal pseudomanifolds of dimension at least three are stacked spheres.…
▽ More
The $g$-vector of a simplicial complex contains a lot of informations about the combinatorial and topological structure of that complex. So far several classification results on the structure of normal pseudomanifolds and homology manifolds have been given with respect to the value $g_2$. It is known that for $g_2=0$, all the normal pseudomanifolds of dimension at least three are stacked spheres. In case of $g_2=1$ and $2$, all the prime homology manifolds are the polytopal spheres and are obtained by some sort of retriangulations or join operation from the previous one. In this article we have given a combinatorial characterization of the homology $d$-manifolds with $g_2=3$, $d\geq 3$ which are obtained by the operations like join, some retriangulations and connected sum. Further, we have given a structural result on some prime normal $d$-pseudomanifolds with $g_2=3$. Our results together with [9] classifies (combinatorially) all the normal $3$-pseudomanifolds with $g_2=3$.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Mixing Properties of Stable Random Fields Indexed by Amenable and Hyperbolic Groups
Authors:
Mahan Mj,
Parthanil Roy,
Sourav Sarkar
Abstract:
We show that any stationary symmteric $α$-stable ($SαS$) random field indexed by a countable amenable group $G$ is weakly mixing if and only if it is generated by a null action, extending works of Samorodnitsky and Wang-Roy-Stoev for abelian groups to all amenable groups. This enables us to improve significantly the domain of a recently discovered connection to von Neumann algebras. We also establ…
▽ More
We show that any stationary symmteric $α$-stable ($SαS$) random field indexed by a countable amenable group $G$ is weakly mixing if and only if it is generated by a null action, extending works of Samorodnitsky and Wang-Roy-Stoev for abelian groups to all amenable groups. This enables us to improve significantly the domain of a recently discovered connection to von Neumann algebras. We also establish ergodicity of stationary $SαS$ fields associated with boundary and double boundary actions of a hyperbolic group $G$, where the boundary is equipped with either the Patterson-Sullivan or the hitting measure of a random walk, and the double boundary is equipped with the Bowen-Margulis-Sullivan measure.
△ Less
Submitted 1 July, 2022; v1 submitted 31 May, 2022;
originally announced May 2022.
-
Invariant Hyperplane Sections of Vector Fields on the Product of Spheres
Authors:
Joji Benny,
Soumen Sarkar
Abstract:
Let $S_{p,q}$ be the hypersurface in $\mathbb{R}^{p+q+1}$ defined by the following: $$ S_{p,q} := \left\lbrace (x_1,\ldots,x_{p+1},x_{p+2},\ldots,x_{p+q+1}) \in \mathbb{R}^{p+q+1} \big| \left( \sum_{i=1}^{p+1} x_i^2 - a^2 \right)^2 + \sum_{j=p+2}^{p+q+1} x_j^2 = 1 \right\rbrace,$$ where $a > 1$. We show that $S_{p,q}$ is homeomorphic to the product $S^p \times S^q$. We classify all degree one and…
▽ More
Let $S_{p,q}$ be the hypersurface in $\mathbb{R}^{p+q+1}$ defined by the following: $$ S_{p,q} := \left\lbrace (x_1,\ldots,x_{p+1},x_{p+2},\ldots,x_{p+q+1}) \in \mathbb{R}^{p+q+1} \big| \left( \sum_{i=1}^{p+1} x_i^2 - a^2 \right)^2 + \sum_{j=p+2}^{p+q+1} x_j^2 = 1 \right\rbrace,$$ where $a > 1$. We show that $S_{p,q}$ is homeomorphic to the product $S^p \times S^q$. We classify all degree one and two polynomial vector fields on $S_{p,q}$. We consider the polynomial vector field $\mathcal{X} = (R_1,...,R_{p+1},R_{p+2},...,R_{p+q+1})$ in $\mathbb{R}^{p+q+1}$ which keeps $S_{p,q}$ invariant. Then we study the number of certain invariant algebraic subsets of $S_{p,q}$ for the vector field $\mathcal{X}$ if either $p>1$ or $q>1$.
△ Less
Submitted 4 January, 2024; v1 submitted 18 May, 2022;
originally announced May 2022.
-
On Exact Feature Screening in Ultrahigh-dimensional Binary Classification
Authors:
Sarbojit Roy,
Soham Sarkar,
Subhajit Dutta,
Anil K. Ghosh
Abstract:
We propose a new model-free feature screening method based on energy distances for ultrahigh-dimensional binary classification problems. With a high probability, the proposed method retains only relevant features after discarding all the noise variables. The proposed screening method is also extended to identify pairs of variables that are marginally undetectable but have differences in their join…
▽ More
We propose a new model-free feature screening method based on energy distances for ultrahigh-dimensional binary classification problems. With a high probability, the proposed method retains only relevant features after discarding all the noise variables. The proposed screening method is also extended to identify pairs of variables that are marginally undetectable but have differences in their joint distributions. Finally, we build a classifier that maintains coherence between the proposed feature selection criteria and discrimination method and also establish its risk consistency. An extensive numerical study with simulated and real benchmark data sets shows clear and convincing advantages of our proposed method over the state-of-the-art methods.
△ Less
Submitted 18 May, 2023; v1 submitted 8 May, 2022;
originally announced May 2022.
-
Average order in wreath products
Authors:
Supravat Sarkar
Abstract:
We obtain an exact formula for the average order of elements of a wreath product of two finite groups. Then focussing our attention on $p$-groups for primes $p$, we give an estimate for the average order of a wreath product $A\wr B$ in terms of maximum order of elements of $A$ and average order of $B$ and an exact formula for the distribution of orders of elements of $A\wr B.$ Finally, we show how…
▽ More
We obtain an exact formula for the average order of elements of a wreath product of two finite groups. Then focussing our attention on $p$-groups for primes $p$, we give an estimate for the average order of a wreath product $A\wr B$ in terms of maximum order of elements of $A$ and average order of $B$ and an exact formula for the distribution of orders of elements of $A\wr B.$ Finally, we show how wreath products can be used to find several rational numbers which are limits of average orders of a sequence of $p$-groups with cardinalities going to infinity.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
A Combinatorial Proof of a generalization of a Theorem of Frobenius
Authors:
Supravat Sarkar
Abstract:
In this article, we shall generalize a theorem due to Frobenius in group theory, which asserts that if $p$ is a prime and $p^{r}$ divides the order of a finite group, then the number of subgroups of order $p^{r}$ is $\equiv$ 1(mod $p$). Interestingly, our proof is purely combinatorial and does not use much group theory.
In this article, we shall generalize a theorem due to Frobenius in group theory, which asserts that if $p$ is a prime and $p^{r}$ divides the order of a finite group, then the number of subgroups of order $p^{r}$ is $\equiv$ 1(mod $p$). Interestingly, our proof is purely combinatorial and does not use much group theory.
△ Less
Submitted 28 March, 2022;
originally announced March 2022.
-
Khovanov homology of strongly invertible knots and their quotients
Authors:
Robert Lipshitz,
Sucharit Sarkar
Abstract:
We construct a spectral sequence relating the Khovanov homology of a strongly invertible knot to the annular Khovanov homologies of the two natural quotient knots. Using this spectral sequence, we re-prove that Khovanov homology distinguishes certain slice disks. We also give an analogous spectral sequence for the Heegaard Floer homology of the branched double cover.
We construct a spectral sequence relating the Khovanov homology of a strongly invertible knot to the annular Khovanov homologies of the two natural quotient knots. Using this spectral sequence, we re-prove that Khovanov homology distinguishes certain slice disks. We also give an analogous spectral sequence for the Heegaard Floer homology of the branched double cover.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Resolution of singularities of toric orbifolds and equivariant cobordism of contact toric manifolds
Authors:
Koushik Brahma,
Soumen Sarkar,
Subhankar Sau
Abstract:
Toric orbifolds are a generalization of simplicial projective toric varieties. In this paper, we show that there is a resolution of singularities of a toric orbifold. In a different category, the class of quasi-contact toric manifolds contains the class of good contact toric manifolds. We prove that a quasi-contact toric manifold is equivariantly a boundary. Moreover, we conclude that good contact…
▽ More
Toric orbifolds are a generalization of simplicial projective toric varieties. In this paper, we show that there is a resolution of singularities of a toric orbifold. In a different category, the class of quasi-contact toric manifolds contains the class of good contact toric manifolds. We prove that a quasi-contact toric manifold is equivariantly a boundary. Moreover, we conclude that good contact toric manifolds and generalized lens spaces are equivariantly boundaries.
△ Less
Submitted 22 August, 2022; v1 submitted 17 March, 2022;
originally announced March 2022.
-
On the Schur Multiplier of finite $p$-groups of maximal class
Authors:
Renu Joshi,
Siddhartha Sarkar
Abstract:
In this article, we prove that the Schur Multiplier of a finite $p$-group of maximal class of order $p^n ~(4 \leq n \leq p+1)$ is elementary abelian. The case $n = p+1$ settles a question raised by Primož Moravec in an earlier article.
In this article, we prove that the Schur Multiplier of a finite $p$-group of maximal class of order $p^n ~(4 \leq n \leq p+1)$ is elementary abelian. The case $n = p+1$ settles a question raised by Primož Moravec in an earlier article.
△ Less
Submitted 9 March, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
The Lambda Number of the Power Graph of Finite Simple Groups
Authors:
Siddhartha Sarkar
Abstract:
For a finite group $G$, the power graph $Γ_G$ is a graph whose set of vertices is equal to $G$ and two distinct elements of $G$ are adjacent if and only if one of them is a positive integer power of the other. An $L(2,1)$-labelling of $Γ_G$ is an integer-valued function defined on $G$ so that the distance between the images of two adjacent vertices (resp. vertices with distance two) are at least t…
▽ More
For a finite group $G$, the power graph $Γ_G$ is a graph whose set of vertices is equal to $G$ and two distinct elements of $G$ are adjacent if and only if one of them is a positive integer power of the other. An $L(2,1)$-labelling of $Γ_G$ is an integer-valued function defined on $G$ so that the distance between the images of two adjacent vertices (resp. vertices with distance two) are at least two (resp. at least one). The lambda number $λ(G)$ is defined to be the least difference between the largest and the smallest integer values assigned to the vertices of $Γ_G$ for all possible $L(2,1)$-labellings of $Γ_G$. It is known that $λ(G) \geq |G|$. In this paper, we prove that if $G$ is a finite simple group, then $λ(G) = |G|$ except when $G$ is cyclic of prime order. This settles a partial classification of finite groups $G$ that achieve the lower bound on of lambda number.
△ Less
Submitted 20 February, 2022;
originally announced February 2022.
-
Murasugi sum and extremal knot Floer homology
Authors:
Zhechi Cheng,
Matthew Hedden,
Sucharit Sarkar
Abstract:
The aim of this paper is to study the behavior of knot Floer homology under Murasugi sum. We establish a graded version of Ni's isomorphism between the extremal knot Floer homology of Murasugi sum of two links and the tensor product of the extremal knot Floer homology groups of the two summands. We further prove that $τ=g$ for each summand if and only if $τ=g$ holds for the Murasugi sum (with $τ$…
▽ More
The aim of this paper is to study the behavior of knot Floer homology under Murasugi sum. We establish a graded version of Ni's isomorphism between the extremal knot Floer homology of Murasugi sum of two links and the tensor product of the extremal knot Floer homology groups of the two summands. We further prove that $τ=g$ for each summand if and only if $τ=g$ holds for the Murasugi sum (with $τ$ and $g$ defined appropriately for multi-component links). Some applications are presented.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
A characterization of $g_2$-minimal normal 3-pseudomanifolds with at most four singularities
Authors:
Biplab Basak,
Raju Kumar Gupta,
Sourav Sarkar
Abstract:
Let $Δ$ be a $g_2$-minimal normal 3-pseudomanifold. A vertex in $Δ$ whose link is not a sphere is called a singular vertex. When $Δ$ contains at most two singular vertices, its combinatorial characterization is known [9]. In this article, we present a combinatorial characterization of such a $Δ$ when it has three singular vertices, including one $\mathbb{RP}^2$-singularity, or four singular vertic…
▽ More
Let $Δ$ be a $g_2$-minimal normal 3-pseudomanifold. A vertex in $Δ$ whose link is not a sphere is called a singular vertex. When $Δ$ contains at most two singular vertices, its combinatorial characterization is known [9]. In this article, we present a combinatorial characterization of such a $Δ$ when it has three singular vertices, including one $\mathbb{RP}^2$-singularity, or four singular vertices, including two $\mathbb{RP}^2$-singularities. In both cases, we prove that $Δ$ is obtained from a one-vertex suspension of a surface, and some boundary complexes of $4$-simplices by applying the combinatorial operations of types connected sums, vertex foldings, and edge foldings.
△ Less
Submitted 18 April, 2024; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Generalization of some weighted zero-sum theorems and related Extremal sequence
Authors:
Subha Sarkar
Abstract:
Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positi…
▽ More
Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has an $A$-weighted zero-sum subsequence of length $|G|$. In this article, we determine the exact value of $D_A(\mathbb{Z}_n)$, for some particular values of $n$, where $A$ is the set of all cubes in $\mathbb{Z}_n^*$. We also determine the structure of the related extremal sequence in this case.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.