-
Non-Expanding Random walks on Homogeneous spaces and Diophantine approximation
Authors:
Gaurav Aggarwal,
Anish Ghosh
Abstract:
We study non-expanding random walks on the space of affine lattices and establish a new classification theorem for stationary measures. Further, we prove a theorem that relates the genericity with respect to these random walks to Birkhoff genericity. Finally, we apply these theorems to obtain several results in inhomogeneous Diophantine approximation, especially on fractals.
We study non-expanding random walks on the space of affine lattices and establish a new classification theorem for stationary measures. Further, we prove a theorem that relates the genericity with respect to these random walks to Birkhoff genericity. Finally, we apply these theorems to obtain several results in inhomogeneous Diophantine approximation, especially on fractals.
△ Less
Submitted 1 July, 2024; v1 submitted 22 June, 2024;
originally announced June 2024.
-
Partial semigroup partial dynamical systems and Partial Central Sets
Authors:
H. Goodarzi,
M. A. Tootkaboni,
Arpita Ghosh
Abstract:
H. Furstenberg defined Central sets in $\mathbb{N}$ by using the notions of topological dynamics, later Bergelson and Hindman characterized central sets in $\mathbb{N}$ and also in arbitrary semigroup in terms of algebra of Stone-Čech compactification of that set. We state the new notion of large sets in a partial semigroup setting and characterize the algebraic structure of the sets by using the…
▽ More
H. Furstenberg defined Central sets in $\mathbb{N}$ by using the notions of topological dynamics, later Bergelson and Hindman characterized central sets in $\mathbb{N}$ and also in arbitrary semigroup in terms of algebra of Stone-Čech compactification of that set. We state the new notion of large sets in a partial semigroup setting and characterize the algebraic structure of the sets by using the algebra of Stone-Čech compactification. By using these notions, we introduce the \emph{Partial Semigroup Partial Dynamical System(PSPDS)} and show that topological dynamical characterization of central sets in a partial semigroup is equivalent to the usual algebraic characterization.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
A Hanani-Tutte Theorem for Cycles
Authors:
Sutanoya Chakraborty,
Arijit Ghosh
Abstract:
Given a drawing $D$ of a graph $G$, we define the crossing number between any two cycles $C_{1}$ and $C_{2}$ in $D$ to be the number of crossings that involve at least one edge from each of $C_1$ and $C_2$ except the crossings between edges that are common to both cycles. We show that if the crossing number between every two cycles in $G$ is even in a drawing of $G$ on the plane, then there is a p…
▽ More
Given a drawing $D$ of a graph $G$, we define the crossing number between any two cycles $C_{1}$ and $C_{2}$ in $D$ to be the number of crossings that involve at least one edge from each of $C_1$ and $C_2$ except the crossings between edges that are common to both cycles. We show that if the crossing number between every two cycles in $G$ is even in a drawing of $G$ on the plane, then there is a planar drawing of $G$. This result can be extended to arbitrary surfaces. We also establish an equivalence between our result and a fundamental result due to Cairns-Nikolayevsky and Pelsmajer-Schaefer-Štefankovič, about drawing graphs on surfaces, and derive the Loebl-Masbaum theorem from it.
△ Less
Submitted 12 June, 2024; v1 submitted 29 May, 2024;
originally announced May 2024.
-
$SU(2)$-bundles over highly connected $8$-manifolds
Authors:
Samik Basu,
Aloke Kr. Ghosh,
Subhankar Sau
Abstract:
In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincaré duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.
In this paper, we analyze the possible homotopy types of the total space of a principal $SU(2)$-bundle over a $3$-connected $8$-dimensional Poincaré duality complex. Along the way, we also classify the $3$-connected $11$-dimensional complexes $E$ formed from a wedge of $S^4$ and $S^7$ by attaching a $11$-cell.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Statistically characterized subgroups related to some non-arithmetic sequence of integers
Authors:
Pratulananda Das,
Ayan Ghosh
Abstract:
Recently in [15], characterized subgroups are investigated for some special kind non-arithmetic sequences. In this note we study subsequent problems in case of "statistically characterized subgroups" introduced in [18]. The whole investigation again reiterates that these statistically characterized subgroups behave in a much different manner compared to classical characterized subgroups which reso…
▽ More
Recently in [15], characterized subgroups are investigated for some special kind non-arithmetic sequences. In this note we study subsequent problems in case of "statistically characterized subgroups" introduced in [18]. The whole investigation again reiterates that these statistically characterized subgroups behave in a much different manner compared to classical characterized subgroups which resolves an open question raised in [18]. After that we have provided the first ever example of a statistically characterized subgroup which is countable resolving many open problems from the literature.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
The interplay between additive and symmetric large sets and their combinatorial applications
Authors:
Arkabrata Ghosh,
Sayan Goswami,
Sourav Kanti Patra
Abstract:
The study of symmetric structures is a new trend in Ramsey theory. Recently in [7], Di Nasso initiated a systematic study of symmetrization of classical Ramsey theoretical results, and proved a symmetric version of several Ramsey theoretic results. In this paper Di Nasso asked if his method could be adapted to find new non-linear Diophantine equations that are partition regular [7,Final remarks (4…
▽ More
The study of symmetric structures is a new trend in Ramsey theory. Recently in [7], Di Nasso initiated a systematic study of symmetrization of classical Ramsey theoretical results, and proved a symmetric version of several Ramsey theoretic results. In this paper Di Nasso asked if his method could be adapted to find new non-linear Diophantine equations that are partition regular [7,Final remarks (4)]. By analyzing additive, multiplicative, and symmetric large sets, we construct new partition regular equations that give a first affirmative answer to this question. A special case of our result shows that if $P$ is a polynomial with no constant term then the equation $x+P(y-x)=z+w+zw$, where $y\neq x$ is partition regular. Also we prove several new monochromatic patterns involving additive, multiplicative, and symmetric structures. Throughout our work, we use tools from the Algebra of the Stone-Čech Compactifications of discrete semigroups.
△ Less
Submitted 17 April, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
-
A necessary condition for $2p$ to be congruent for a prime $p \equiv 5 \pmod 8$
Authors:
Arkabrata Ghosh
Abstract:
In this article, we consider primes $p \equiv 5 \pmod 8$ and are able to prove that $p \equiv 5 \pmod {16}$ if $2p$ is a congruent number.
In this article, we consider primes $p \equiv 5 \pmod 8$ and are able to prove that $p \equiv 5 \pmod {16}$ if $2p$ is a congruent number.
△ Less
Submitted 1 April, 2024; v1 submitted 29 February, 2024;
originally announced March 2024.
-
A consistent test of spherical symmetry for multivariate and high-dimensional data via data augmentation
Authors:
Bilol Banerjee,
Anil K. Ghosh
Abstract:
We develop a test for spherical symmetry of a multivariate distribution $P$ that works even when the dimension of the data $d$ is larger than the sample size $n$. We propose a non-negative measure $ζ(P)$ such that $ζ(P)=0$ if and only if $P$ is spherically symmetric. We construct a consistent estimator of $ζ(P)$ using the data augmentation method and investigate its large sample properties. The pr…
▽ More
We develop a test for spherical symmetry of a multivariate distribution $P$ that works even when the dimension of the data $d$ is larger than the sample size $n$. We propose a non-negative measure $ζ(P)$ such that $ζ(P)=0$ if and only if $P$ is spherically symmetric. We construct a consistent estimator of $ζ(P)$ using the data augmentation method and investigate its large sample properties. The proposed test based on this estimator is calibrated using a novel resampling algorithm. Our test controls the Type-I error, and it is consistent against general alternatives. We also study its behaviour for a sequence of alternatives $(1-δ_n) F+δ_n G$, where $ζ(G)=0$ but $ζ(F)>0$, and $δ_n \in [0,1]$. When $\lim\supδ_n<1$, for any $G$, the power of our test converges to unity as $n$ increases. However, if $\lim\supδ_n=1$, the asymptotic power of our test depends on $\lim n(1-δ_n)^2$. We establish this by proving the minimax rate optimality of our test over a suitable class of alternatives and showing that it is Pitman efficient when $\lim n(1-δ_n)^2>0$. Moreover, our test is provably consistent for high-dimensional data even when $d$ is larger than $n$. Our numerical results amply demonstrate the superiority of the proposed test over some state-of-the-art methods.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
On the family of elliptic curves $y^2=x^3-m^2x + (pqr)^2$
Authors:
Arkabrata Ghosh
Abstract:
In this article, we consider a family of elliptic curves defined by $E_{m}: y^2= x^3 -m^2 x + (pqr)^2 $ where $m $ is a positive integer and $p, q, ~\text{and}~ r$ are distinct odd primes and study the torsion as well the rank of $E_{m}(\mathbb{Q})$. More specifically, we proved that if $m \not \equiv 0 \pmod{3}, m \not \equiv 0 \pmod{4} ~\text{and}~ m \equiv 2 \pmod {2^{k}}$ where $k \geq 5$, the…
▽ More
In this article, we consider a family of elliptic curves defined by $E_{m}: y^2= x^3 -m^2 x + (pqr)^2 $ where $m $ is a positive integer and $p, q, ~\text{and}~ r$ are distinct odd primes and study the torsion as well the rank of $E_{m}(\mathbb{Q})$. More specifically, we proved that if $m \not \equiv 0 \pmod{3}, m \not \equiv 0 \pmod{4} ~\text{and}~ m \equiv 2 \pmod {2^{k}}$ where $k \geq 5$, then the torsion subgroup of $E_{m}(\mathbb{Q})$ is trivial and lower bound of the $\mathbb{Q}$ rank of this family of elliptic curves is $2$.
△ Less
Submitted 20 March, 2024; v1 submitted 2 March, 2024;
originally announced March 2024.
-
Solution of the Diophantine equation $x^2 + p^k=y^n$
Authors:
Arkabrata Ghosh
Abstract:
The main aim of this article is to find all solutions of the Diophantine equation $x^2 + p^k=y^n$ where $p \equiv 1 \pmod 4$, $\frac{p-1}{3}$ is a perfect square and the class number of $\mathbb{Z}[\sqrt{-p}]$ is $2$. In this article, I used a method involving prime factorization and class numbers which is different from using congruent number argument which is widely used in this type of problem.
The main aim of this article is to find all solutions of the Diophantine equation $x^2 + p^k=y^n$ where $p \equiv 1 \pmod 4$, $\frac{p-1}{3}$ is a perfect square and the class number of $\mathbb{Z}[\sqrt{-p}]$ is $2$. In this article, I used a method involving prime factorization and class numbers which is different from using congruent number argument which is widely used in this type of problem.
△ Less
Submitted 21 March, 2024; v1 submitted 29 February, 2024;
originally announced February 2024.
-
Countably Colorful Hyperplane Transversal
Authors:
Sutanoya Chakraborty,
Arijit Ghosh,
Soumi Nandi
Abstract:
Let $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ be an infinite sequence of families of compact connected sets in $\mathbb{R}^{d}$. An infinite sequence of compact connected sets $\left\{ B_{n} \right\}_{n\in \mathbb{N}}$ is called heterochromatic sequence from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ if there exists an infinite sequence…
▽ More
Let $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ be an infinite sequence of families of compact connected sets in $\mathbb{R}^{d}$. An infinite sequence of compact connected sets $\left\{ B_{n} \right\}_{n\in \mathbb{N}}$ is called heterochromatic sequence from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ if there exists an infinite sequence $\left\{ i_{n} \right\}_{n\in \mathbb{N}}$ of natural numbers satisfying the following two properties: (a) $\{i_{n}\}_{n\in \mathbb{N}}$ is a monotonically increasing sequence, and (b) for all $n \in \mathbb{N}$, we have $B_{n} \in \mathcal{F}_{i_n}$. We show that if every heterochromatic sequence from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ contains $d+1$ sets that can be pierced by a single hyperplane then there exists a finite collection $\mathcal{H}$ of hyperplanes from $\mathbb{R}^{d}$ that pierces all but finitely many families from $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$. As a direct consequence of our result, we get that if every countable subcollection from an infinite family $\mathcal{F}$ of compact connected sets in $\mathbb{R}^{d}$ contains $d+1$ sets that can be pierced by a single hyperplane then $\mathcal{F}$ can be pierced by finitely many hyperplanes. To establish the optimality of our result we show that, for all $d \in \mathbb{N}$, there exists an infinite sequence $\left\{ \mathcal{F}_{n}\right\}_{n \in \mathbb{N}}$ of families of compact connected sets satisfying the following two conditions: (1) for all $n \in \mathbb{N}$, $\mathcal{F}_{n}$ is not pierceable by finitely many hyperplanes, and (2) for any $m \in \mathbb{N}$ and every sequence $\left\{B_n\right\}_{n=m}^{\infty}$ of compact connected sets in $\mathbb{R}^d$, where $B_i\in\mathcal{F}_i$ for all $i \geq m$, there exists a hyperplane in $\mathbb{R}^d$ that pierces at least $d+1$ sets in the sequence.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Spherical maximal functions and Hardy spaces for Fourier integral operators
Authors:
Abhishek Ghosh,
Naijia Liu,
Jan Rozendaal,
Liang Song
Abstract:
We use the Hardy spaces for Fourier integral operators to obtain bounds for spherical maximal functions in $L^{p}(\mathbb{R}^{n})$, $n\geq2$, where the radii of the spheres are restricted to a compact subset of $(0,\infty)$. These bounds extend to general hypersurfaces with non-vanishing Gaussian curvature, to the complex spherical means, and to geodesic spheres on compact manifolds. We also obtai…
▽ More
We use the Hardy spaces for Fourier integral operators to obtain bounds for spherical maximal functions in $L^{p}(\mathbb{R}^{n})$, $n\geq2$, where the radii of the spheres are restricted to a compact subset of $(0,\infty)$. These bounds extend to general hypersurfaces with non-vanishing Gaussian curvature, to the complex spherical means, and to geodesic spheres on compact manifolds. We also obtain improved maximal function bounds and pointwise convergence statements for wave equations, both on $\mathbb{R}^{n}$ and on compact manifolds. The maximal function bounds are essentially sharp for all $p\in[1,2]\cup [\frac{2(n+1)}{n-1},\infty]$, for each such hypersurface, every complex spherical mean, and on every manifold.
△ Less
Submitted 29 March, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
GIT quotient of Schubert varieties modulo one dimensional torus
Authors:
Arkadev Ghosh,
S. S. Kannan
Abstract:
Let $G$ be a simple algebraic group of adjoint type of rank $n$ over $\mathbb{C}$. Let $T$ be a maximal torus of $G$, and $B$ be a Borel subgroup of $G$ containing $T$. Let $W=N_{G}(T)/T$ be the Weyl group of $G$. Let $S=\{α_{1},\ldots,α_{n}\}$ be the set of simple roots of $G$ relative to $(B,T)$. Let $λ_{s}$ be the one parameter subgroup of $T$ dual to $α_{s}$. In this paper, we give a criterion…
▽ More
Let $G$ be a simple algebraic group of adjoint type of rank $n$ over $\mathbb{C}$. Let $T$ be a maximal torus of $G$, and $B$ be a Borel subgroup of $G$ containing $T$. Let $W=N_{G}(T)/T$ be the Weyl group of $G$. Let $S=\{α_{1},\ldots,α_{n}\}$ be the set of simple roots of $G$ relative to $(B,T)$. Let $λ_{s}$ be the one parameter subgroup of $T$ dual to $α_{s}$. In this paper, we give a criterion for Schubert varieties admitting semistable points for the $λ_{s}$-linearized line bundles $\mathcal{L}(χ)$ associated to every dominant character $χ$ of $T$. If $ω_{r}$ is a minuscule fundamental weight and $mω_{r}\in X(T)$, then we prove that there is a unique minimal dimensional Schubert variety $X(w_{s,r})$ in $G/P_{S\setminus\{α_{r}\}}$ such that $X(w_{s,r})^{ss}_{λ_{s}}(\mathcal{L}(mω_{r}))\neq φ$. Further, we prove that if $G=PSL(n,\mathbb{C})$, and $n\nmid rs$, $m=\frac{n}{(rs,n)}$, and $p=\lfloor\frac{rs}{n}\rfloor$ then the GIT quotient of the minimal dimensional Schubert variety $X(w_{s,r})$ is isomorphic to the projective space $\mathbb{P}(M(s-p, r-p))$, where $M(s-p, r-p)$ is the $(s-p)\times (r-p)$-matrices with complex numbers as entries.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Joint equidistribution of approximates
Authors:
Gaurav Aggarwal,
Anish Ghosh
Abstract:
We consider the joint asymptotic distribution of \emph{best} and $\varepsilon$ Diophantine approximates of matrices in several aspects. Our main results describe the resulting limiting measures for almost every matrix. Multiplicative Diophantine approximation is treated for the first time in this context and a number of Diophantine corollaries are derived including a matrix Lévy-Khintchine type th…
▽ More
We consider the joint asymptotic distribution of \emph{best} and $\varepsilon$ Diophantine approximates of matrices in several aspects. Our main results describe the resulting limiting measures for almost every matrix. Multiplicative Diophantine approximation is treated for the first time in this context and a number of Diophantine corollaries are derived including a matrix Lévy-Khintchine type theorem. While we treat the general case of approximation of matrices, our results are already new for the case of simultaneous Diophantine approximation of vectors. Our approach is dynamical and is inspired by work of several authors, notably Shapira and Weiss. It is based on the construction of an appropriate Poincaré section for certain diagonal group actions on the space of unimodular lattices. The main new idea in our paper is a method which allows us to treat actions of higher rank groups.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
When ideals properly extend the class of Arbault sets
Authors:
Pratulananda Das,
Ayan Ghosh
Abstract:
In this article we continue the investigation of generalized version of Arbault sets, that was initiated in \cite{DGT} but look at the picture from the most general point of view where ideals come into play. While Arbault sets can be naturally associated with the Frechet ideal $Fin$, in \cite{DGT} it was observed that when $Fin$ is replaced by the natural density ideal $\mathcal{I}_d$ one can obta…
▽ More
In this article we continue the investigation of generalized version of Arbault sets, that was initiated in \cite{DGT} but look at the picture from the most general point of view where ideals come into play. While Arbault sets can be naturally associated with the Frechet ideal $Fin$, in \cite{DGT} it was observed that when $Fin$ is replaced by the natural density ideal $\mathcal{I}_d$ one can obtain a strictly larger class of trigonometric thin sets containing Arbault sets. From the set theoretic point of view a natural question arises as whether one can broaden the picture and specify a class of ideals (instead of a single ideal) each of which would have the similar effect. As a natural candidate, we focus on a special class of ideals, namely, non-$snt$ ideals ($snt$ stands for ``strongly non translation invariant") which properly contains the class of translation invariant ideals ($\varsupsetneq Fin$) and happens to contain ideals generated by simple density functions as also certain non-negative regular summability matrices (but not all) which can be seen from \cite{DG6}. We consider the resulting class of $\mathcal{I}$-Arbault sets and it is observed that for each such ideal, the class of $\mathcal{I}$-Arbault sets not only properly contains the class of classical Arbault sets \cite{Ar} but also a large subfamily of $\mathbf{N}$-sets (also called ``sets of absolute convergence") \cite{Ft} while being contained in the class of weak Dirichlet sets. %In particular it properly contains the family of $\mathbf{N}_0$-sets which have been extensively used in the literature (see \cite{Ar, Ka, Ko}). Though distinct from the class of $\mathbf{N}$-sets, this happens to be a new class strictly lying between the class of Arbault sets and the class of weak Dirichlet sets.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Dimension Independent Helly Theorem for Lines and Flats
Authors:
Sutanoya Chakraborty,
Arijit Ghosh,
Soumi Nandi
Abstract:
We give a generalization of dimension independent Helly Theorem of Adiprasito, Bárány, Mustafa, and Terpai (Discrete & Computational Geometry 2022) to higher dimensional transversal. We also prove some impossibility results that establish the tightness of our extension.
We give a generalization of dimension independent Helly Theorem of Adiprasito, Bárány, Mustafa, and Terpai (Discrete & Computational Geometry 2022) to higher dimensional transversal. We also prove some impossibility results that establish the tightness of our extension.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Stabbing boxes with finitely many axis-parallel lines and flats
Authors:
Sutanoya Chakraborty,
Arijit Ghosh,
Soumi Nandi
Abstract:
We give necessary and sufficient condition for an infinite collection of axis-parallel boxes in $\mathbb{R}^{d}$ to be pierceable by finitely many axis-parallel $k$-flats, where $0 \leq k < d$. We also consider colorful generalizations of the above result and establish their feasibility. The problem considered in this paper is an infinite variant of the Hadwiger-Debrunner $(p,q)$-problem.
We give necessary and sufficient condition for an infinite collection of axis-parallel boxes in $\mathbb{R}^{d}$ to be pierceable by finitely many axis-parallel $k$-flats, where $0 \leq k < d$. We also consider colorful generalizations of the above result and establish their feasibility. The problem considered in this paper is an infinite variant of the Hadwiger-Debrunner $(p,q)$-problem.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
On higher multiplicity hyperplane and polynomial covers for symmetry preserving subsets of the hypercube
Authors:
Arijit Ghosh,
Chandrima Kayal,
Soumi Nandi,
S. Venkitesh
Abstract:
Alon and Füredi (European J. Combin. 1993) gave a tight bound for the following hyperplane covering problem: find the minimum number of hyperplanes required to cover all points of the n-dimensional hypercube {0,1}^n except the origin. Their proof is among the early instances of the polynomial method, which considers a natural polynomial (a product of linear factors) associated to the hyperplane ar…
▽ More
Alon and Füredi (European J. Combin. 1993) gave a tight bound for the following hyperplane covering problem: find the minimum number of hyperplanes required to cover all points of the n-dimensional hypercube {0,1}^n except the origin. Their proof is among the early instances of the polynomial method, which considers a natural polynomial (a product of linear factors) associated to the hyperplane arrangement, and gives a lower bound on its degree, whilst being oblivious to the (product) structure of the polynomial. Thus, their proof gives a lower bound for a weaker polynomial covering problem, and it turns out that this bound is tight for the stronger hyperplane covering problem.
In a similar vein, solutions to some other hyperplane covering problems were obtained, via solutions of corresponding weaker polynomial covering problems, in some special cases in the works of the fourth author (Electron. J. Combin. 2022), and the first three authors (Discrete Math. 2023). In this work, we build on these and solve a hyperplane covering problem for general symmetric sets of the hypercube, where we consider hyperplane covers with higher multiplicities. We see that even in this generality, it is enough to solve the corresponding polynomial covering problem. Further, this seems to be the limit of this approach as far as covering symmetry preserving subsets of the hypercube is concerned. We gather evidence for this by considering the class of blockwise symmetric sets of the hypercube (which is a strictly larger class than symmetric sets), and note that the same proof technique seems to only solve the polynomial covering problem.
△ Less
Submitted 31 July, 2023;
originally announced July 2023.
-
Decay at infinity for solutions to some fractional parabolic equations
Authors:
Agnid Banerjee,
Abhishek Ghosh
Abstract:
For $s \in [1/2, 1)$, let $u$ solve $(\partial_t - Δ)^s u = Vu$ in $\mathbb R^{n} \times [-T, 0]$ for some $T>0$ where $||V||_{ C^2(\mathbb R^n \times [-T, 0])} < \infty$. We show that if for some $0< c< T$ and $ε>0$ $$\frac{1}{c} \int_{[-c,0]} u^2(x, t) dt \leq Ce^{-|x|^{2+ε}}\ \forall x \in \mathbb R^n,$$ then $u \equiv 0$ in $\mathbb R^{n} \times [-T, 0]$.
For $s \in [1/2, 1)$, let $u$ solve $(\partial_t - Δ)^s u = Vu$ in $\mathbb R^{n} \times [-T, 0]$ for some $T>0$ where $||V||_{ C^2(\mathbb R^n \times [-T, 0])} < \infty$. We show that if for some $0< c< T$ and $ε>0$ $$\frac{1}{c} \int_{[-c,0]} u^2(x, t) dt \leq Ce^{-|x|^{2+ε}}\ \forall x \in \mathbb R^n,$$ then $u \equiv 0$ in $\mathbb R^{n} \times [-T, 0]$.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Analysis of the rSVDdpd Algorithm: A Robust Singular Value Decomposition Method using Density Power Divergence
Authors:
Subhrajyoty Roy,
Abhik Ghosh,
Ayanendranath Basu
Abstract:
The traditional method of computing singular value decomposition (SVD) of a data matrix is based on a least squares principle, thus, is very sensitive to the presence of outliers. Hence the resulting inferences across different applications using the classical SVD are extremely degraded in the presence of data contamination (e.g., video surveillance background modelling tasks, etc.). A robust sing…
▽ More
The traditional method of computing singular value decomposition (SVD) of a data matrix is based on a least squares principle, thus, is very sensitive to the presence of outliers. Hence the resulting inferences across different applications using the classical SVD are extremely degraded in the presence of data contamination (e.g., video surveillance background modelling tasks, etc.). A robust singular value decomposition method using the minimum density power divergence estimator (rSVDdpd) has been found to provide a satisfactory solution to this problem and works well in applications. For example, it provides a neat solution to the background modelling problem of video surveillance data in the presence of camera tampering. In this paper, we investigate the theoretical properties of the rSVDdpd estimator such as convergence, equivariance and consistency under reasonable assumptions. Since the dimension of the parameters, i.e., the number of singular values and the dimension of singular vectors can grow linearly with the size of the data, the usual M-estimation theory has to be suitably modified with concentration bounds to establish the asymptotic properties. We believe that we have been able to accomplish this satisfactorily in the present work. We also demonstrate the efficiency of rSVDdpd through extensive simulations.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Rectangular shrinking targets for $\mathbb{Z}^m$ actions on tori: well and badly approximable systems
Authors:
Victor Beresnevich,
Shreyasi Datta,
Anish Ghosh,
Benjamin Ward
Abstract:
In this paper we investigate the shrinking target property for irrational rotations. This was first studied by Kurzweil (1951) and has received considerable interest of late. Using a new approach, we generalize results of Kim (2007) and Shapira (2013) by proving a weighted effective analogue of the shrinking target property. Furthermore, our results are established in the much wider $S$-arithmetic…
▽ More
In this paper we investigate the shrinking target property for irrational rotations. This was first studied by Kurzweil (1951) and has received considerable interest of late. Using a new approach, we generalize results of Kim (2007) and Shapira (2013) by proving a weighted effective analogue of the shrinking target property. Furthermore, our results are established in the much wider $S$-arithmetic setting.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Bad is null
Authors:
Victor Beresnevich,
Shreyasi Datta,
Anish Ghosh,
Benjamin Ward
Abstract:
In this paper we develop a general framework of badly approximable points in a metric space $X$ equipped with a $σ$-finite doubling Borel regular measure $μ$. We establish that under mild assumptions the $μ$-measure of the set of badly approximable points is always zero. The framework can be applied to a variety of settings in Diophantine approximation and dynamical systems, which we also consider…
▽ More
In this paper we develop a general framework of badly approximable points in a metric space $X$ equipped with a $σ$-finite doubling Borel regular measure $μ$. We establish that under mild assumptions the $μ$-measure of the set of badly approximable points is always zero. The framework can be applied to a variety of settings in Diophantine approximation and dynamical systems, which we also consider, including weighted and $S$-arithmetic Diophantine approximations, Diophantine approximation on manifolds and intrinsic approximations on fractals.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
On some operator-valued Fourier pseudo-multipliers associated to Grushin operators
Authors:
Sayan Bagchi,
Riju Basak,
Rahul Garg,
Abhishek Ghosh
Abstract:
This is a continuation of our work [BBGG23, BBGG22] where we have initiated the study of sparse domination and quantitative weighted estimates for Grushin pseudo-multipliers. In this article, we further extend this analysis to study analogous estimates for a family of operator-valued Fourier pseudo-multipliers associated to Grushin operators…
▽ More
This is a continuation of our work [BBGG23, BBGG22] where we have initiated the study of sparse domination and quantitative weighted estimates for Grushin pseudo-multipliers. In this article, we further extend this analysis to study analogous estimates for a family of operator-valued Fourier pseudo-multipliers associated to Grushin operators $G = - Δ_{x^{\prime}} - |x^{\prime}|^2 Δ_{x^{\prime \prime}}$ on $\mathbb{R}^{n_1+n_2}.$
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
General Solution of the Diophantine equation involving Mersenne Prime
Authors:
Arkabrata Ghosh
Abstract:
In this article, I study and solve the exponential Diophantine equation $M_p^{x} + (M_q + 1)^{y}= (lz)^2$ where $M_p$ and $M_q$ are Mersenne primes, $l$ is a prime number, and $x,y$, and $z$ are non-negative integers. Several illustrations are presented as well as cases where no solution of the given Diophantine equation is present.
In this article, I study and solve the exponential Diophantine equation $M_p^{x} + (M_q + 1)^{y}= (lz)^2$ where $M_p$ and $M_q$ are Mersenne primes, $l$ is a prime number, and $x,y$, and $z$ are non-negative integers. Several illustrations are presented as well as cases where no solution of the given Diophantine equation is present.
△ Less
Submitted 22 July, 2023; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Combinatorially rich sets in partial semigroups
Authors:
Arpita Ghosh
Abstract:
The notion of combinatorially rich set was first introduced by V. Bergelson and D. Glasscock. The goal of this paper is to study these subsets in the setting of adequate partial semigroups and describes its connection with the other concepts of large sets.
The notion of combinatorially rich set was first introduced by V. Bergelson and D. Glasscock. The goal of this paper is to study these subsets in the setting of adequate partial semigroups and describes its connection with the other concepts of large sets.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Two Central limit theorems in Diophantine approximation
Authors:
Gaurav Aggarwal,
Anish Ghosh
Abstract:
We prove central limit theorems for Diophantine approximations with congruence conditions and for inhomogeneous Diophantine approximations following the approach of Björklund and Gorodnik. The main tools are the cumulant method and dynamics on homogeneous spaces.
We prove central limit theorems for Diophantine approximations with congruence conditions and for inhomogeneous Diophantine approximations following the approach of Björklund and Gorodnik. The main tools are the cumulant method and dynamics on homogeneous spaces.
△ Less
Submitted 4 June, 2023;
originally announced June 2023.
-
Sharp asymptotic of solutions to some nonlocal parabolic equations
Authors:
Agnid Banerjee,
Abhishek Ghosh
Abstract:
We show that if $u$ solves the fractional parabolic equation $(\partial_t - Δ)^s u = Vu$ in $B_5 \times (-25, 0]$ ($0<s<1$) such that $u(\cdot, 0) \not\equiv 0$, then the maximal vanishing order of $u$ in space-time at $(0,0)$ is upper bounded by $C\left(1+\|V\|_{C^{1}_{(x,t)}}^{1/2s}\right)$. As $s \to 1$, it converges to the sharp maximal order of vanishing due to Donnelly-Fefferman and Bakri. T…
▽ More
We show that if $u$ solves the fractional parabolic equation $(\partial_t - Δ)^s u = Vu$ in $B_5 \times (-25, 0]$ ($0<s<1$) such that $u(\cdot, 0) \not\equiv 0$, then the maximal vanishing order of $u$ in space-time at $(0,0)$ is upper bounded by $C\left(1+\|V\|_{C^{1}_{(x,t)}}^{1/2s}\right)$. As $s \to 1$, it converges to the sharp maximal order of vanishing due to Donnelly-Fefferman and Bakri. This quantifies a space like strong unique continuation result recently proved in [3]. The proof is achieved by means of a new quantitative Carleman estimate that we derive for the corresponding extension problem combined with a quantitative monotonicity in time result and a compactness argument.
△ Less
Submitted 18 March, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Sphere fibrations over highly connected manifolds
Authors:
Samik Basu,
Aloke Kr. Ghosh
Abstract:
We construct sphere fibrations over $(n-1)$-connected $2n$-manifolds such that the total space is a connected sum of sphere products. More precisely, for $n$ even, we construct fibrations $S^{n-1} \to \#^{k-1}(S^n \times S^{2n-1}) \to M_k$, where $M_k$ is a $(n-1)$-connected $2n$-dimensional Poincaré duality complex which satisfies $H_n(M_k)\cong \mathbb{Z}^k$, in a localized category of spaces. T…
▽ More
We construct sphere fibrations over $(n-1)$-connected $2n$-manifolds such that the total space is a connected sum of sphere products. More precisely, for $n$ even, we construct fibrations $S^{n-1} \to \#^{k-1}(S^n \times S^{2n-1}) \to M_k$, where $M_k$ is a $(n-1)$-connected $2n$-dimensional Poincaré duality complex which satisfies $H_n(M_k)\cong \mathbb{Z}^k$, in a localized category of spaces. The construction of the fibration is proved for $k\geq 2$, where the prime $2$, and the primes which occur as torsion in $π_{2n-1}(S^n)$ are inverted. In specific cases, by either assuming $n$ is small, or assuming $k$ is large we can reduce the number of primes that need to be inverted. Integral results are obtained for $n=2$ or $4$, and if $k$ is bigger than the number of cyclic summands in the stable stem $π_{n-1}^s$, we obtain results after inverting $2$. Finally, we prove some applications for fibrations over $N\# M_k$, and for looped configuration spaces.
△ Less
Submitted 30 August, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Lie Symmetry Analysis and Some New Exact Solutions to the KP-BBM Equation
Authors:
Arindam Ghosh,
Sarit Maitra
Abstract:
This paper is aimed to study the KP-BBM equation, which was proposed by Abdul Majid Wazwaz in 2005. To check its integrability Painleve test has been performed. Lie Symmetry analysis has been done and point symmetry generators are obtained. The invariants of the Lie algebra are found and the one-dimensional optimal system for subalgebras of the obtained Lie algebra is constructed by using the Hu-L…
▽ More
This paper is aimed to study the KP-BBM equation, which was proposed by Abdul Majid Wazwaz in 2005. To check its integrability Painleve test has been performed. Lie Symmetry analysis has been done and point symmetry generators are obtained. The invariants of the Lie algebra are found and the one-dimensional optimal system for subalgebras of the obtained Lie algebra is constructed by using the Hu-Li-Chen algorithm. Three similarity reductions and corresponding exact solutions are derived. Also, Homogeneous balance method, Tanh method are used to find exact solutions. Solitary wave like solutions are obtained and plotted for some suitable values of the parameters involved. The effects of the nonlinear coefficient and dispersion coefficient on the obtained solitary waves are discussed.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
Asymptotic Breakdown Point Analysis for a General Class of Minimum Divergence Estimators
Authors:
Subhrajyoty Roy,
Abir Sarkar,
Abhik Ghosh,
Ayanendranath Basu
Abstract:
Robust inference based on the minimization of statistical divergences has proved to be a useful alternative to classical techniques based on maximum likelihood and related methods. Basu et al. (1998) introduced the density power divergence (DPD) family as a measure of discrepancy between two probability density functions and used this family for robust estimation of the parameter for independent a…
▽ More
Robust inference based on the minimization of statistical divergences has proved to be a useful alternative to classical techniques based on maximum likelihood and related methods. Basu et al. (1998) introduced the density power divergence (DPD) family as a measure of discrepancy between two probability density functions and used this family for robust estimation of the parameter for independent and identically distributed data. Ghosh et al. (2017) proposed a more general class of divergence measures, namely the S-divergence family and discussed its usefulness in robust parametric estimation through several asymptotic properties and some numerical illustrations. In this paper, we develop the results concerning the asymptotic breakdown point for the minimum S-divergence estimators (in particular the minimum DPD estimator) under general model setups. The primary result of this paper provides lower bounds to the asymptotic breakdown point of these estimators which are independent of the dimension of the data, in turn corroborating their usefulness in robust inference under high dimensional data.
△ Less
Submitted 14 May, 2023; v1 submitted 14 April, 2023;
originally announced April 2023.
-
Additivity of multiplicative (generalized) skew semi-derivations on rings
Authors:
Sk. Aziz,
Arindam Ghosh,
Om Prakash
Abstract:
In this paper, we introduce a new class of derivations that generalizes skew derivations and semi-derivations, and we call it ``skew semi-derivation". Further, we present a study of the conditions under which this type of multiplicative derivation becomes additive.
In this paper, we introduce a new class of derivations that generalizes skew derivations and semi-derivations, and we call it ``skew semi-derivation". Further, we present a study of the conditions under which this type of multiplicative derivation becomes additive.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
Subconvexity for $GL(1)$ twists of Rankin-Selberg $L$-functions
Authors:
Aritra Ghosh
Abstract:
Let $f$ and $g$ be two Hecke-Maass or holomorphic primitive cusp forms for $SL(2,\mathbb{Z})$ and $χ$ be a primitive Dirichlet character of modulus $p$, a prime. A subconvex bound for the central values of the Rankin-Selberg L-functions is $L(s, f \otimes g \otimes χ)$ is give by $$L(\frac{1}{2}, f \otimes g \otimes χ) \ll_{f,g,ε}p^{\frac{22}{23}+ε} ,$$ for any $ε> 0$, where the implied constant d…
▽ More
Let $f$ and $g$ be two Hecke-Maass or holomorphic primitive cusp forms for $SL(2,\mathbb{Z})$ and $χ$ be a primitive Dirichlet character of modulus $p$, a prime. A subconvex bound for the central values of the Rankin-Selberg L-functions is $L(s, f \otimes g \otimes χ)$ is give by $$L(\frac{1}{2}, f \otimes g \otimes χ) \ll_{f,g,ε}p^{\frac{22}{23}+ε} ,$$ for any $ε> 0$, where the implied constant depends only on the forms $f,g$ and $ε$.
△ Less
Submitted 5 May, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
The Prym variety of a dilated double cover of metric graphs
Authors:
Arkabrata Ghosh,
Dmitry Zakharov
Abstract:
We calculate the volume of the tropical Prym variety of a harmonic double cover of metric graphs having non-trivial dilation. We show that the tropical Prym variety behaves discontinuously under deformations of the double cover that change the number of connected components of the dilation subgraph.
We calculate the volume of the tropical Prym variety of a harmonic double cover of metric graphs having non-trivial dilation. We show that the tropical Prym variety behaves discontinuously under deformations of the double cover that change the number of connected components of the dilation subgraph.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Additivity of multiplicative (generalized) maps over rings
Authors:
Sk Aziz,
Arindam Ghosh,
Om Prakash
Abstract:
In this paper, we prove that a bijective map $\varphi$ over a ring $R$ with a non-trivial idempotent satisfying $\varphi(ab)=\varphi(a)\varphi(b),$ for all $a,b\in R$, is additive. Also, we prove that a map $D$ on $R$ satisfying $D(ab)=D(a)b+\varphi(a) D(b),$ for all $a,b\in R$ where $\varphi$ is the map just mentioned above, is additive. Moreover, we establish that if a map $g$ over $R$ satisfies…
▽ More
In this paper, we prove that a bijective map $\varphi$ over a ring $R$ with a non-trivial idempotent satisfying $\varphi(ab)=\varphi(a)\varphi(b),$ for all $a,b\in R$, is additive. Also, we prove that a map $D$ on $R$ satisfying $D(ab)=D(a)b+\varphi(a) D(b),$ for all $a,b\in R$ where $\varphi$ is the map just mentioned above, is additive. Moreover, we establish that if a map $g$ over $R$ satisfies $g(ab)=g(a)b+\varphi(a)D(b),$ for all $a,b\in R$ and above mentioned maps $\varphi$ and $D$, then $g$ is additive.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Sparse bounds for oscillating multipliers on stratified groups
Authors:
Abhishek Ghosh,
Michael Ruzhansky
Abstract:
In this article, we address sparse bounds for a class of spectral multipliers that include oscillating multipliers on stratified Lie groups. Our results can be applied to obtain weighted bounds for general Riesz means and for solutions of dispersive equations.
In this article, we address sparse bounds for a class of spectral multipliers that include oscillating multipliers on stratified Lie groups. Our results can be applied to obtain weighted bounds for general Riesz means and for solutions of dispersive equations.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Implicit regularization in Heavy-ball momentum accelerated stochastic gradient descent
Authors:
Avrajit Ghosh,
He Lyu,
Xitong Zhang,
Rongrong Wang
Abstract:
It is well known that the finite step-size ($h$) in Gradient Descent (GD) implicitly regularizes solutions to flatter minima. A natural question to ask is "Does the momentum parameter $β$ play a role in implicit regularization in Heavy-ball (H.B) momentum accelerated gradient descent (GD+M)?". To answer this question, first, we show that the discrete H.B momentum update (GD+M) follows a continuous…
▽ More
It is well known that the finite step-size ($h$) in Gradient Descent (GD) implicitly regularizes solutions to flatter minima. A natural question to ask is "Does the momentum parameter $β$ play a role in implicit regularization in Heavy-ball (H.B) momentum accelerated gradient descent (GD+M)?". To answer this question, first, we show that the discrete H.B momentum update (GD+M) follows a continuous trajectory induced by a modified loss, which consists of an original loss and an implicit regularizer. Then, we show that this implicit regularizer for (GD+M) is stronger than that of (GD) by factor of $(\frac{1+β}{1-β})$, thus explaining why (GD+M) shows better generalization performance and higher test accuracy than (GD). Furthermore, we extend our analysis to the stochastic version of gradient descent with momentum (SGD+M) and characterize the continuous trajectory of the update of (SGD+M) in a pointwise sense. We explore the implicit regularization in (SGD+M) and (GD+M) through a series of experiments validating our theory.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Generalized virial theorem for contact Hamiltonian systems
Authors:
Aritra Ghosh
Abstract:
We formulate and study a generalized virial theorem for contact Hamiltonian systems. Such systems describe mechanical systems in the presence of simple dissipative forces such as Rayleigh friction, or the vertical motion of a particle falling through a fluid (quadratic drag) under the action of constant gravity. We find a generalized virial theorem for contact Hamiltonian systems which is distinct…
▽ More
We formulate and study a generalized virial theorem for contact Hamiltonian systems. Such systems describe mechanical systems in the presence of simple dissipative forces such as Rayleigh friction, or the vertical motion of a particle falling through a fluid (quadratic drag) under the action of constant gravity. We find a generalized virial theorem for contact Hamiltonian systems which is distinct from that obtained earlier for the symplectic case. The `contact' generalized virial theorem is shown to reduce to the earlier result on symplectic manifolds as a special case. Various examples of dissipative mechanical systems are discussed. We also formulate a generalized virial theorem in the contact Lagrangian framework.
△ Less
Submitted 9 May, 2023; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Some generalized Jordan maps on triangular rings force additivity
Authors:
Sk Aziz,
Arindam Ghosh,
Om Prakash
Abstract:
In this paper, we show that a map $δ$ over a triangular ring $\mathcal{T}$ satisfying $δ(ab+ba)=δ(a)b+a τ(b)+δ(b)a+bτ(a)$, for all $a,b\in \mathcal{T}$ and for some maps $τ$ over $\mathcal{T}$ satisfying $τ(ab+ba)=τ(a)b+a τ(b)+τ(b)a+bτ(a)$, is additive. Also, it is shown that a map $T$ on $\mathcal{T}$ satisfying $T(ab)=T(a)b=aT(b)$, for all $a,b\in \mathcal{T}$, is additive. Further, we establish…
▽ More
In this paper, we show that a map $δ$ over a triangular ring $\mathcal{T}$ satisfying $δ(ab+ba)=δ(a)b+a τ(b)+δ(b)a+bτ(a)$, for all $a,b\in \mathcal{T}$ and for some maps $τ$ over $\mathcal{T}$ satisfying $τ(ab+ba)=τ(a)b+a τ(b)+τ(b)a+bτ(a)$, is additive. Also, it is shown that a map $T$ on $\mathcal{T}$ satisfying $T(ab)=T(a)b=aT(b)$, for all $a,b\in \mathcal{T}$, is additive. Further, we establish that if a map $D$ over $\mathcal{T}$ satisfies $(m+n)D(ab)=2mD(a)b+2naD(b)$, for all $a,b\in \mathcal{T}$ and integers $m,n\geq 1$, then $D$ is additive.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
A thin film model for meniscus evolution
Authors:
Amrita Ghosh,
Juan J. L. Velázquez
Abstract:
In this paper, we discuss a particular model arising from sinking of a rigid solid into a thin film of fluid, i.e. a fluid contained between two solid surfaces and part of the fluid surface is in contact with the air. The fluid is governed by Navier-Stokes equation, while the contact point, i.e. where the gas, liquid and solid meet, is assumed to be given by a constant, non-zero contact angle. We…
▽ More
In this paper, we discuss a particular model arising from sinking of a rigid solid into a thin film of fluid, i.e. a fluid contained between two solid surfaces and part of the fluid surface is in contact with the air. The fluid is governed by Navier-Stokes equation, while the contact point, i.e. where the gas, liquid and solid meet, is assumed to be given by a constant, non-zero contact angle. We consider a scaling limit of the fluid thickness (lubrication approximation) and the contact angle between the fluid-solid and the fluid-gas interfaces is close to $π$. This resulting model is a free boundary problem for the equation $h_t + (h^3h_{xxx})_x = 0$, for which we have $h>0$ at the contact point (different from the usual thin film equation with $h=0$ at the contact point). We show that this fourth order quasilinear (non-degenerate) parabolic equation, together with the so-called partial wetting condition at the contact point, is well-posed. Also the contact point in our thin film equation can actually move, contrary to the classical thin film equation for a droplet arising from no-slip condition. Furthermore, we show the global stability of steady state solutions in a periodic setting.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Heterochromatic Geometric Transversals of Convex sets
Authors:
Sutanoya Chakraborty,
Arijit Ghosh,
Soumi Nandi
Abstract:
An infinite sequence of sets $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ is said to be a heterochromatic sequence from an infinite sequence of families $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$, if there exists a strictly increasing sequence of natural numbers $\left\{ i_{n}\right\}_{n \in \mathbb{N}}$ such that for all $n \in \mathbb{N}$ we have $B_{n} \in \mathcal{F}_{i_{n}}$. In this pa…
▽ More
An infinite sequence of sets $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ is said to be a heterochromatic sequence from an infinite sequence of families $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$, if there exists a strictly increasing sequence of natural numbers $\left\{ i_{n}\right\}_{n \in \mathbb{N}}$ such that for all $n \in \mathbb{N}$ we have $B_{n} \in \mathcal{F}_{i_{n}}$. In this paper, we have proved that if for each $n\in\mathbb{N}$, $\mathcal{F}_n$ is a family of {\em nicely shaped} convex sets in $\mathbb{R}^d$ such that each heterochromatic sequence $\left\{B_{n}\right\}_{n\in\mathbb{N}}$ from $\left\{ \mathcal{F}_{n} \right\}_{n \in \mathbb{N}}$ contains at least $k+2$ sets that can be pierced by a single $k$-flat ($k$-dimensional affine space) then all but finitely many families in $\left\{\mathcal{F}_{n}\right\}_{n\in \mathbb{N}}$ can be pierced by finitely many $k$-flats. This result can be considered as a {\em countably colorful} generalization of the $(\aleph_0, k+2)$-theorem proved by Keller and Perles (Symposium on Computational Geometry 2022). We have also established the tightness of our result by proving a number of no-go theorems.
△ Less
Submitted 23 May, 2024; v1 submitted 28 December, 2022;
originally announced December 2022.
-
On High Dimensional Behaviour of Some Two-Sample Tests Based on Ball Divergence
Authors:
Bilol Banerjee,
Anil K. Ghosh
Abstract:
In this article, we propose some two-sample tests based on ball divergence and investigate their high dimensional behavior. First, we study their behavior for High Dimension, Low Sample Size (HDLSS) data, and under appropriate regularity conditions, we establish their consistency in the HDLSS regime, where the dimension of the data grows to infinity while the sample sizes from the two distribution…
▽ More
In this article, we propose some two-sample tests based on ball divergence and investigate their high dimensional behavior. First, we study their behavior for High Dimension, Low Sample Size (HDLSS) data, and under appropriate regularity conditions, we establish their consistency in the HDLSS regime, where the dimension of the data grows to infinity while the sample sizes from the two distributions remain fixed. Further, we show that these conditions can be relaxed when the sample sizes also increase with the dimension, and in such cases, consistency can be proved even for shrinking alternatives. We use a simple example involving two normal distributions to prove that even when there are no consistent tests in the HDLSS regime, the powers of the proposed tests can converge to unity if the sample sizes increase with the dimension at an appropriate rate. This rate is obtained by establishing the minimax rate optimality of our tests over a certain class of alternatives. Several simulated and benchmark data sets are analyzed to compare the performance of these proposed tests with the state-of-the-art methods that can be used for testing the equality of two high-dimensional probability distributions.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Report: Statistics of approximations to zeroes of $ζ$-function via truncated symmetrized Euler products
Authors:
Aditya Ghosh
Abstract:
We look at approximations $ ζ_X $ of the $ζ$-function introduced in Gonek's paper (arXiv:0704.3448). We look at how close the approximate zeroes are to the actual zeroes when (i) X is fixed (Section 1)(ii) X varies like $ t/2π$ (Section 3.1). We establish a heuristic for estimating these differences, involving values of $ F_X^\star(t) $ and its near-constant slopes near zeta-zero ordinates $ γ$. I…
▽ More
We look at approximations $ ζ_X $ of the $ζ$-function introduced in Gonek's paper (arXiv:0704.3448). We look at how close the approximate zeroes are to the actual zeroes when (i) X is fixed (Section 1)(ii) X varies like $ t/2π$ (Section 3.1). We establish a heuristic for estimating these differences, involving values of $ F_X^\star(t) $ and its near-constant slopes near zeta-zero ordinates $ γ$. In Section 3.2 we see the slope around the zeroes behaves logarithmically and we calculate a numerical formula for it. In Section 3.3 and 3.4 we scale the differences with the slopes and compare them with models involving 1 or 2 pairs of neighbouring zeta-zeroes. In Section 3.5, we also look at how often these models capture these scaled differences accurately. In Section 4, we look at our methods from a theoretical standpoint. In Section 5, we look at how close the approximate zeroes are to the actual zeroes when (i) X is fixed (ii) X varies like $ t/2π$. The errors seem to behave like powers of log which should be investigated further from a theoretical standpoint.
△ Less
Submitted 22 November, 2022; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Indexability is Not Enough for Whittle: Improved, Near-Optimal Algorithms for Restless Bandits
Authors:
Abheek Ghosh,
Dheeraj Nagaraj,
Manish Jain,
Milind Tambe
Abstract:
We study the problem of planning restless multi-armed bandits (RMABs) with multiple actions. This is a popular model for multi-agent systems with applications like multi-channel communication, monitoring and machine maintenance tasks, and healthcare. Whittle index policies, which are based on Lagrangian relaxations, are widely used in these settings due to their simplicity and near-optimality unde…
▽ More
We study the problem of planning restless multi-armed bandits (RMABs) with multiple actions. This is a popular model for multi-agent systems with applications like multi-channel communication, monitoring and machine maintenance tasks, and healthcare. Whittle index policies, which are based on Lagrangian relaxations, are widely used in these settings due to their simplicity and near-optimality under certain conditions. In this work, we first show that Whittle index policies can fail in simple and practically relevant RMAB settings, even when the RMABs are indexable. We discuss why the optimality guarantees fail and why asymptotic optimality may not translate well to practically relevant planning horizons.
We then propose an alternate planning algorithm based on the mean-field method, which can provably and efficiently obtain near-optimal policies with a large number of arms, without the stringent structural assumptions required by the Whittle index policies. This borrows ideas from existing research with some improvements: our approach is hyper-parameter free, and we provide an improved non-asymptotic analysis which has: (a) no requirement for exogenous hyper-parameters and tighter polynomial dependence on known problem parameters; (b) high probability bounds which show that the reward of the policy is reliable; and (c) matching sub-optimality lower bounds for this algorithm with respect to the number of arms, thus demonstrating the tightness of our bounds. Our extensive experimental analysis shows that the mean-field approach matches or outperforms other baselines.
△ Less
Submitted 28 February, 2023; v1 submitted 31 October, 2022;
originally announced November 2022.
-
Computational bifurcation analysis of hyperelastic thin shells
Authors:
Zhaowei Liu,
Andrew McBride,
Abhishek Ghosh,
Luca Heltai,
Weicheng Huang,
Tiantang Yu,
Paul Steinmann,
Prashant Saxena
Abstract:
The inflation of hyperelastic thin shells is an important and highly nonlinear problem that arises in multiple engineering applications involving severe kinematic and constitutive nonlinearities in addition to various instabilities. We present an isogeometric approach to compute the inflation of hyperelastic thin shells, following the Kirchhoff-Love hypothesis and associated large deformation. Bot…
▽ More
The inflation of hyperelastic thin shells is an important and highly nonlinear problem that arises in multiple engineering applications involving severe kinematic and constitutive nonlinearities in addition to various instabilities. We present an isogeometric approach to compute the inflation of hyperelastic thin shells, following the Kirchhoff-Love hypothesis and associated large deformation. Both the geometry and the deformation field are discretized using Catmull-Clark subdivision bases which provide the C1-continuous finite element framework required for the Kirchhoff-Love shell formulation. To follow the complex nonlinear response of hyperelastic thin shells, the inflation is simulated incrementally, and each incremental step is solved via the Newton-Raphson method enriched with arc-length control. Eigenvalue analysis of the linear system after each incremental step allows for inducing bifurcation to a lower energy mode in case stability of the equilibrium is lost. The proposed method is first validated using benchmarks, and then applied to engineering applications, where we demonstrate the ability to simulate large deformation and associated complex instabilities.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Good functions, measures, and the Kleinbock-Tomanov conjecture
Authors:
Victor Beresnevich,
Shreyasi Datta,
Anish Ghosh
Abstract:
In this paper we prove a conjecture of Kleinbock and Tomanov \cite[Conjecture~FP]{KT} on Diophantine properties of a large class of fractal measures on $\mathbb{Q}_p^n$. More generally, we establish the $p$-adic analogues of the influential results of Kleinbock, Lindenstrauss, and Weiss \cite{KLW} on Diophantine properties of friendly measures. We further prove the $p$-adic analogue of one of the…
▽ More
In this paper we prove a conjecture of Kleinbock and Tomanov \cite[Conjecture~FP]{KT} on Diophantine properties of a large class of fractal measures on $\mathbb{Q}_p^n$. More generally, we establish the $p$-adic analogues of the influential results of Kleinbock, Lindenstrauss, and Weiss \cite{KLW} on Diophantine properties of friendly measures. We further prove the $p$-adic analogue of one of the main results in \cite{Kleinbock-exponent} due to Kleinbock concerning Diophantine inheritance of affine subspaces, which answers a question of Kleinbock. One of the key ingredients in the proofs of \cite{KLW} is a result on $(C, α)$-good functions whose proof crucially uses the mean value theorem. Our main technical innovation is an alternative approach to establishing that certain functions are $(C, α)$-good in the $p$-adic setting. We believe this result will be of independent interest.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Sub-Weyl strength bounds for twisted $GL(2)$ short character sums
Authors:
Aritra Ghosh,
Kummari Mallesham
Abstract:
Let $$S(N) = \sum_{n \sim N}^{\text{smooth}} \, λ_{f}(n) \, χ(n),$$
where $λ_{f}(n)$'s are Fourier coefficients of Hecke-eigen form, and $χ$ is a primitive character of conductor $p^{r}$. In this article we prove a sub-Weyl strength bounds for $S(N)$. Indeed, we obtain
$$S(N) \ll \, N^{\frac{5}{9}} \ p^{\frac{13r}{45}},$$
provided that $ p^{13r/20} \leq N \leq p^{4r/5}$. Note that the above…
▽ More
Let $$S(N) = \sum_{n \sim N}^{\text{smooth}} \, λ_{f}(n) \, χ(n),$$
where $λ_{f}(n)$'s are Fourier coefficients of Hecke-eigen form, and $χ$ is a primitive character of conductor $p^{r}$. In this article we prove a sub-Weyl strength bounds for $S(N)$. Indeed, we obtain
$$S(N) \ll \, N^{\frac{5}{9}} \ p^{\frac{13r}{45}},$$
provided that $ p^{13r/20} \leq N \leq p^{4r/5}$. Note that the above bound for $S(N)$ is non-trivial if $N\geq \left(p^{r}\right)^{\frac{2}{3}-\frac{1}{60}}$.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Exact approximation order and well-distributed sets
Authors:
Prasuna Bandi,
Anish Ghosh,
Debanjan Nandi
Abstract:
We prove that for any proper metric space $X$ and a function $ψ:(0,\infty)\to(0,\infty)$ from a suitable class of approximation functions, the Hausdorff dimensions of the set $W_ψ(Q)$ of all points $ψ$-well-approximable by a well-distributed subset $Q\subset X$, and the set $E_ψ(Q)$ of points that are exactly $ψ$-approximable by $Q$, coincide. This answers in a general setting, a question of Beres…
▽ More
We prove that for any proper metric space $X$ and a function $ψ:(0,\infty)\to(0,\infty)$ from a suitable class of approximation functions, the Hausdorff dimensions of the set $W_ψ(Q)$ of all points $ψ$-well-approximable by a well-distributed subset $Q\subset X$, and the set $E_ψ(Q)$ of points that are exactly $ψ$-approximable by $Q$, coincide. This answers in a general setting, a question of Beresnevich-Dickinson-Velani in the case of approximation of reals by rationals, and answered by Bugeaud in that case using the continued-fraction expansion of reals. Our main result applies in particular to approximation by orbits of fixed points of a wide class of discrete groups of isometries acting on the boundary of hyperbolic metric spaces.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Colorful Helly Theorem for Piercing Boxes with Multiple Points
Authors:
Sourav Chakraborty,
Arijit Ghosh,
Soumi Nandi
Abstract:
Let $H_c=H_c(d,n)$ denote the smallest positive integer such that if we have a collection of families $\mathcal{F}_{1}, \dots, \mathcal{F}_{H_{c}}$ of axis-parallel boxes in $\mathbb{R}^{d}$ with the property that every colorful $H_{c}$-tuple from the above families can be pierced by $n$ points then there exits an $i\in \{ 1, \dots, H_{c}\}$, and for all $k\in \{ 1, \dots, H_{c}\} \setminus\{i\}$…
▽ More
Let $H_c=H_c(d,n)$ denote the smallest positive integer such that if we have a collection of families $\mathcal{F}_{1}, \dots, \mathcal{F}_{H_{c}}$ of axis-parallel boxes in $\mathbb{R}^{d}$ with the property that every colorful $H_{c}$-tuple from the above families can be pierced by $n$ points then there exits an $i\in \{ 1, \dots, H_{c}\}$, and for all $k\in \{ 1, \dots, H_{c}\} \setminus\{i\}$ there exists $F_k\in\mathcal{F}_k$ such that the following extended family $\mathcal{F}_i\cup\left\{F_k\;|\;k\in \{1, \dots, H_{c}\}\;\mbox{and} \;k\neq i\right\}$ can also be pierced by $n$ points. In this paper, we give a complete characterization of $H_{c}(d,n)$ for all values of $d$ and $n$. Our result is a colorful generalization of piercing axis-parallel boxes with multiple points by Danzer and Grünbaum (Combinatorica 1982).
△ Less
Submitted 5 June, 2023; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Almost covering all the layers of hypercube with multiplicities
Authors:
Arijit Ghosh,
Chandrima Kayal,
Soumi Nandi
Abstract:
Given a hypercube $\mathcal{Q}^{n} := \{0,1\}^{n}$ in $\mathbb{R}^{n}$ and $k \in \{0, \dots, n\}$, the $k$-th layer $\mathcal{Q}^{n}_{k}$ of $\mathcal{Q}^{n}$ denotes the set of all points in $\mathcal{Q}^{n}$ whose coordinates contain exactly $k$ many ones. For a fixed $t \in \mathbb{N}$ and $k \in \{0, \dots, n\}$, let $P \in \mathbb{R}\left[x_{1}, \dots, x_{n}\right]$ be a polynomial that has…
▽ More
Given a hypercube $\mathcal{Q}^{n} := \{0,1\}^{n}$ in $\mathbb{R}^{n}$ and $k \in \{0, \dots, n\}$, the $k$-th layer $\mathcal{Q}^{n}_{k}$ of $\mathcal{Q}^{n}$ denotes the set of all points in $\mathcal{Q}^{n}$ whose coordinates contain exactly $k$ many ones. For a fixed $t \in \mathbb{N}$ and $k \in \{0, \dots, n\}$, let $P \in \mathbb{R}\left[x_{1}, \dots, x_{n}\right]$ be a polynomial that has zeroes of multiplicity at least $t$ at all points of $\mathcal{Q}^{n} \setminus \mathcal{Q}^{n}_{k}$, and $P$ has zeros of multiplicity exactly $t-1$ at all points of $\mathcal{Q}^{n}_{k}$. In this short note, we show that $$deg(P) \geq \max\left\{ k, n-k\right\}+2t-2.$$Matching the above lower bound we give an explicit construction of a family of hyperplanes $H_{1}, \dots, H_{m}$ in $\mathbb{R}^{n}$, where $m = \max\left\{ k, n-k\right\}+2t-2$, such that every point of $\mathcal{Q}^{n}_{k}$ will be covered exactly $t-1$ times, and every other point of $\mathcal{Q}^{n}$ will be covered at least $t$ times. Note that putting $k = 0$ and $t=1$, we recover the much celebrated covering result of Alon and Füredi (European Journal of Combinatorics, 1993). Using the above family of hyperplanes we disprove a conjecture of Venkitesh (The Electronic Journal of Combinatorics, 2022) on exactly covering symmetric subsets of hypercube $\mathcal{Q}^{n}$ with hyperplanes. To prove the above results we have introduced a new measure of complexity of a subset of the hypercube called index complexity which we believe will be of independent interest.
We also study a new interesting variant of the restricted sumset problem motivated by the ideas behind the proof of the above result.
△ Less
Submitted 16 February, 2023; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Testing of Index-Invariant Properties in the Huge Object Model
Authors:
Sourav Chakraborty,
Eldar Fischer,
Arijit Ghosh,
Gopinath Mishra,
Sayantan Sen
Abstract:
The study of distribution testing has become ubiquitous in the area of property testing, both for its theoretical appeal, as well as for its applications in other fields of Computer Science. The original distribution testing model relies on samples drawn independently from the distribution to be tested. However, when testing distributions over the $n$-dimensional Hamming cube…
▽ More
The study of distribution testing has become ubiquitous in the area of property testing, both for its theoretical appeal, as well as for its applications in other fields of Computer Science. The original distribution testing model relies on samples drawn independently from the distribution to be tested. However, when testing distributions over the $n$-dimensional Hamming cube $\left\{0,1\right\}^{n}$ for a large $n$, even reading a few samples is infeasible. To address this, Goldreich and Ron [ITCS 2022] have defined a model called the huge object model, in which the samples may only be queried in a few places.
In this work, we initiate a study of a general class of properties in the huge object model, those that are invariant under a permutation of the indices of the vectors in $\left\{0,1\right\}^{n}$, while still not being necessarily fully symmetric as per the definition used in traditional distribution testing.
We prove that every index-invariant property satisfying a bounded VC-dimension restriction admits a property tester with a number of queries independent of n. To complement this result, we argue that satisfying only index-invariance or only a VC-dimension bound is insufficient to guarantee a tester whose query complexity is independent of n. Moreover, we prove that the dependency of sample and query complexities of our tester on the VC-dimension is tight. As a second part of this work, we address the question of the number of queries required for non-adaptive testing. We show that it can be at most quadratic in the number of queries required for an adaptive tester of index-invariant properties. This is in contrast with the tight exponential gap for general non-index-invariant properties. Finally, we provide an index-invariant property for which the quadratic gap between adaptive and non-adaptive query complexities for testing is almost tight.
△ Less
Submitted 15 November, 2022; v1 submitted 25 July, 2022;
originally announced July 2022.
