-
Data-driven distributionally robust MPC for systems with multiplicative noise: A semi-infinite semi-definite programming approach
Authors:
Souvik Das,
Siddhartha Ganguly,
Ashwin Aravind,
Debasish Chatterjee
Abstract:
This article introduces a novel distributionally robust model predictive control (DRMPC) algorithm for a specific class of controlled dynamical systems where the disturbance multiplies the state and control variables. These classes of systems arise in mathematical finance, where the paradigm of distributionally robust optimization (DRO) fits perfectly, and this serves as the primary motivation for…
▽ More
This article introduces a novel distributionally robust model predictive control (DRMPC) algorithm for a specific class of controlled dynamical systems where the disturbance multiplies the state and control variables. These classes of systems arise in mathematical finance, where the paradigm of distributionally robust optimization (DRO) fits perfectly, and this serves as the primary motivation for this work. We recast the optimal control problem (OCP) as a semi-definite program with an infinite number of constraints, making the ensuing optimization problem a \emph{semi-infinite semi-definite program} (SI-SDP). To numerically solve the SI-SDP, we advance an approach for solving convex semi-infinite programs (SIPs) to SI-SDPs and, subsequently, solve the DRMPC problem. A numerical example is provided to show the effectiveness of the algorithm.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
I-convergence of sequences in metric-like spaces
Authors:
Prasanta Malik,
Saikat Das
Abstract:
In this paper we introduce and study the notion of I-convergence of sequences in a metric-like space, where I is an ideal of subsets of the set N of all natural numbers. Further introducing the notion of I*-convergence of sequences in a metric-like space we study its relationship with I-convergence.
In this paper we introduce and study the notion of I-convergence of sequences in a metric-like space, where I is an ideal of subsets of the set N of all natural numbers. Further introducing the notion of I*-convergence of sequences in a metric-like space we study its relationship with I-convergence.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Properties and applications of the Bicomplex Miller-Ross function
Authors:
Snehasis Bera,
Sourav Das,
Abhijit Banerjee
Abstract:
In this work, Miller Ross function with bicomplex arguments has been introduced. Various properties of this function including recurrence relations, integral representations and differential relations are established. Furthermore, the bicomplex holomorphicity and Taylor series representation of this function are discussed, along with the derivation of a differential equation. Finally, as applicati…
▽ More
In this work, Miller Ross function with bicomplex arguments has been introduced. Various properties of this function including recurrence relations, integral representations and differential relations are established. Furthermore, the bicomplex holomorphicity and Taylor series representation of this function are discussed, along with the derivation of a differential equation. Finally, as applications some relations of fractional order derivatives and solutions for the bicomplex extension of the generalized fractional kinetic equation involving the bicomplex Miller Ross function are derived.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
On the Cop Number of String Graphs
Authors:
Sandip Das,
Harmender Gahlawat
Abstract:
Cops and Robber is a well-studied two-player pursuit-evasion game played on a graph, where a group of cops tries to capture the robber. The \emph{cop number} of a graph is the minimum number of cops required to capture the robber. Gavenčiak et al.~[Eur. J. of Comb. 72, 45--69 (2018)] studied the game on intersection graphs and established that the cop number for the class of string graphs is at mo…
▽ More
Cops and Robber is a well-studied two-player pursuit-evasion game played on a graph, where a group of cops tries to capture the robber. The \emph{cop number} of a graph is the minimum number of cops required to capture the robber. Gavenčiak et al.~[Eur. J. of Comb. 72, 45--69 (2018)] studied the game on intersection graphs and established that the cop number for the class of string graphs is at most 15, and asked as an open question to improve this bound for string graphs and subclasses of string graphs. We address this question and establish that the cop number of a string graph is at most 13. To this end, we develop a novel \textit{guarding} technique. We further establish that this technique can be useful for other Cops and Robber games on graphs admitting a representation. In particular, we show that four cops have a winning strategy for a variant of Cops and Robber, named Fully Active Cops and Robber, on planar graphs, addressing an open question of Gromovikov et al.~[Austr. J. Comb. 76(2), 248--265 (2020)]. In passing, we also improve the known bounds on the cop number of boxicity 2 graphs.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Gabriel's problem for harmonic Hardy spaces
Authors:
Suman Das
Abstract:
We obtain inequalities of the form $$\int_C |f(z)|^p |dz| \leq A(p) \int_{\mathbb{T}} |f(z)|^p |dz|, \quad (p>1)$$ where $f$ is harmonic in the unit disk $\mathbb{D}$, $\mathbb{T}$ is the unit circle, and $C$ is any convex curve in $\mathbb{D}$. Such inequalities were originally studied for analytic functions by R. M. Gabriel [Proc. London Math. Soc. 28(2), 1928]. We show that these results, unlik…
▽ More
We obtain inequalities of the form $$\int_C |f(z)|^p |dz| \leq A(p) \int_{\mathbb{T}} |f(z)|^p |dz|, \quad (p>1)$$ where $f$ is harmonic in the unit disk $\mathbb{D}$, $\mathbb{T}$ is the unit circle, and $C$ is any convex curve in $\mathbb{D}$. Such inequalities were originally studied for analytic functions by R. M. Gabriel [Proc. London Math. Soc. 28(2), 1928]. We show that these results, unlike in the case of analytic functions, cannot be true in general for $0< p \le 1$. Therefore, we produce an inequality of a slightly different type, which deals with the case $0<p<1$. An example is given to show that this result is "best possible", in the sense that an extension to $p=1$ fails. Then we consider the special case when $C$ is a circle, and prove a refined result which surprisingly holds for $p=1$ as well. We conclude with a maximal theorem which has potential applications.
△ Less
Submitted 16 August, 2024; v1 submitted 13 August, 2024;
originally announced August 2024.
-
Invariant subspaces of perturbed backward shift
Authors:
Soma Das,
Jaydeb Sarkar
Abstract:
We represent closed subspaces of the Hardy space that are invariant under finite-rank perturbations of the backward shift. We apply this to classify almost invariant subspaces of the backward shift and represent a more refined version of nearly invariant subspaces. Kernels of certain perturbed Toeplitz operators are examples of the newly introduced nearly invariant subspaces.
We represent closed subspaces of the Hardy space that are invariant under finite-rank perturbations of the backward shift. We apply this to classify almost invariant subspaces of the backward shift and represent a more refined version of nearly invariant subspaces. Kernels of certain perturbed Toeplitz operators are examples of the newly introduced nearly invariant subspaces.
△ Less
Submitted 8 August, 2024; v1 submitted 24 July, 2024;
originally announced July 2024.
-
Reconstructing dynamical systems as zero-noise limits
Authors:
Suddhasattwa Das
Abstract:
A dynamical system may be defined by a simple transition law - such as a map or a vector field. The objective of most learning techniques is to reconstruct this dynamic transition law. This is a major shortcoming, as most dynamic properties of interest are asymptotic properties such as an attractor or invariant measure. One of the major theoretical challenges for numerical methods is that approxim…
▽ More
A dynamical system may be defined by a simple transition law - such as a map or a vector field. The objective of most learning techniques is to reconstruct this dynamic transition law. This is a major shortcoming, as most dynamic properties of interest are asymptotic properties such as an attractor or invariant measure. One of the major theoretical challenges for numerical methods is that approximating the dynamical law may not be sufficient to approximate these asymptotic properties. This article presents a method of representing a discrete-time deterministic dynamical system as the zero-noise limit of a Markov process. The Markov process approximation is completely data-driven. Besides proving a low-noise approximation of the dynamics the process also approximates the invariant set, via the support of its stationary measures. Thus invariant sets of arbitrary dynamical systems, even with complicated non-smooth topology, can be approximated by this technique. Under further assumptions, we show that the technique performs a convergent statistical approximation as well as approximations of true orbits.
△ Less
Submitted 27 August, 2024; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Fourier coefficients and cuspidality of modular forms: a new approach
Authors:
Soumya Das
Abstract:
We provide a simple and new induction based treatment of the problem of distinguishing cusp forms from the growth of the Fourier coefficients of modular forms. Our approach also gives the best possible ranges of the weights for this problem, and has wide adaptability.
We provide a simple and new induction based treatment of the problem of distinguishing cusp forms from the growth of the Fourier coefficients of modular forms. Our approach also gives the best possible ranges of the weights for this problem, and has wide adaptability.
△ Less
Submitted 21 July, 2024;
originally announced July 2024.
-
Sum of the exponential and a polynomial: Singular values and Baker wandering domains
Authors:
Sukanta Das,
Tarakanta Nayak
Abstract:
This article studies the singular values of entire functions of the form $E^k (z)+P(z)$ where $E^k$ denotes the $k-$times composition of $e^z$ with itself and $P$ is any non-constant polynomial. It is proved that the full preimage of each neighborhood of $\infty$ is an infinitely connected domain without having any unbounded boundary component. Following the literature, the point at $\infty$ is ca…
▽ More
This article studies the singular values of entire functions of the form $E^k (z)+P(z)$ where $E^k$ denotes the $k-$times composition of $e^z$ with itself and $P$ is any non-constant polynomial. It is proved that the full preimage of each neighborhood of $\infty$ is an infinitely connected domain without having any unbounded boundary component. Following the literature, the point at $\infty$ is called a Baker omitted value for the function in such a situation. More importantly, there are infinitely many critical values and no finite asymptotic value and in fact, the set of all critical values is found to be unbounded for these functions. We also investigate the iteration of three examples of entire functions with Baker omitted value and prove that these do not have any Baker wandering domain. There is a conjecture stating that the number of completely invariant domains of a transcendental entire function is at most one. How some of these maps are right candidates to work upon in view of this conjecture is demonstrated.
△ Less
Submitted 20 July, 2024;
originally announced July 2024.
-
Super commuting graphs of finite groups and their Zagreb indices
Authors:
Shrabani Das,
Rajat Kanti Nath
Abstract:
Let $B$ be an equivalence relation defined on a finite group $G$. The $B$ super commuting graph on $G$ is a graph whose vertex set is $G$ and two distinct vertices $g$ and $h$ are adjacent if either $[g] = [h]$ or there exist $g' \in [g]$ and $h' \in [h]$ such that $g'$ commutes with $h'$, where $[g]$ is the $B$-equivalence class of $g \in G$. Considering $B$ as the equality, conjugacy and same or…
▽ More
Let $B$ be an equivalence relation defined on a finite group $G$. The $B$ super commuting graph on $G$ is a graph whose vertex set is $G$ and two distinct vertices $g$ and $h$ are adjacent if either $[g] = [h]$ or there exist $g' \in [g]$ and $h' \in [h]$ such that $g'$ commutes with $h'$, where $[g]$ is the $B$-equivalence class of $g \in G$. Considering $B$ as the equality, conjugacy and same order relations on $G$, in this article, we discuss the graph structures of equality/conjugacy/order super commuting graphs of certain well-known families of non-abelian groups viz. dihedral groups, dicyclic groups, semidihedral groups, quasidihedral groups, the groups $U_{6n}, V_{8n}, M_{2mn}$ etc. Further, we compute the Zagreb indices of these graphs and show that they satisfy Hansen-Vuki{č}evi{ć} conjecture.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Lower tail large deviations of the stochastic six vertex model
Authors:
Sayan Das,
Yuchen Liao,
Matteo Mucciconi
Abstract:
In this paper, we study lower tail probabilities of the height function $\mathfrak{h}(M,N)$ of the stochastic six-vertex model. We introduce a novel combinatorial approach to demonstrate that the tail probabilities $\mathbb{P}(\mathfrak{h}(M,N) \ge r)$ are log-concave in a certain weak sense. We prove further that for each $α>0$ the lower tail of $-\mathfrak{h}(\lfloor αN \rfloor, N)$ satisfies a…
▽ More
In this paper, we study lower tail probabilities of the height function $\mathfrak{h}(M,N)$ of the stochastic six-vertex model. We introduce a novel combinatorial approach to demonstrate that the tail probabilities $\mathbb{P}(\mathfrak{h}(M,N) \ge r)$ are log-concave in a certain weak sense. We prove further that for each $α>0$ the lower tail of $-\mathfrak{h}(\lfloor αN \rfloor, N)$ satisfies a Large Deviation Principle (LDP) with speed $N^2$ and a rate function $Φ_α^{(-)}$, which is given by the infimal deconvolution between a certain energy integral and a parabola.
Our analysis begins with a distributional identity from BO17 [arXiv:1608.01564], which relates the lower tail of the height function, after a random shift, with a multiplicative functional of the Schur measure. Tools from potential theory allow us to extract the LDP for the shifted height function. We then use our weak log-concavity result, along with a deconvolution scheme from our earlier paper [arXiv:2307.01179], to convert the LDP for the shifted height function to the LDP for the stochastic six-vertex model height function.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Statistical convergence in metric-like spaces
Authors:
Prasanta Malik,
Saikat Das
Abstract:
In this paper we introduce the notions of statistical convergence and statistical Cauchyness of sequences in a metric-like space. We study some basic properties of these notions
In this paper we introduce the notions of statistical convergence and statistical Cauchyness of sequences in a metric-like space. We study some basic properties of these notions
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Model Identifiability for Bivariate Failure Time Data with Competing Risks: Parametric Cause-specific Hazards and Non-parametric Frailty
Authors:
Biswadeep Ghosh,
Anup Dewanji,
Sudipta Das
Abstract:
One of the commonly used approaches to capture dependence in multivariate survival data is through the frailty variables. The identifiability issues should be carefully investigated while modeling multivariate survival with or without competing risks. The use of non-parametric frailty distribution(s) is sometimes preferred for its robustness and flexibility properties. In this paper, we consider m…
▽ More
One of the commonly used approaches to capture dependence in multivariate survival data is through the frailty variables. The identifiability issues should be carefully investigated while modeling multivariate survival with or without competing risks. The use of non-parametric frailty distribution(s) is sometimes preferred for its robustness and flexibility properties. In this paper, we consider modeling of bivariate survival data with competing risks through four different kinds of non-parametric frailty and parametric baseline cause-specific hazard functions to investigate the corresponding model identifiability. We make the common assumption of the frailty mean being equal to unity.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
$L^\infty$-sizes of the spaces Siegel cusp forms of degree $n$ via Poincaré series
Authors:
Soumya Das
Abstract:
We prove the conjectures on the ($L^{\infty}$)-sizes of the spaces of Siegel cusp forms of degree $n$, weight $k$, for any congruence subgroup in the weight aspect as well as for all principal congruence subgroups in the level aspect, in particular. This size is measured by the size of the Bergman kernel of the space. More precisely we show that the aforementioned size is…
▽ More
We prove the conjectures on the ($L^{\infty}$)-sizes of the spaces of Siegel cusp forms of degree $n$, weight $k$, for any congruence subgroup in the weight aspect as well as for all principal congruence subgroups in the level aspect, in particular. This size is measured by the size of the Bergman kernel of the space. More precisely we show that the aforementioned size is $\asymp_{n} k^{3n(n+1)/4}$. Our method uses the Fourier expansion of the Bergman kernel, and has wide applicability. We illustrate this by a simple algorithm. We also include some of the applications of our method, including individual sup-norms of small weights and non-vanishing of Poincaré series.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Existence of solution of a triangular degenerate reaction-diffusion system
Authors:
Saumyajit Das
Abstract:
In this article we study a chemical reaction-diffusion system with $m$ unknown concentration. The non-linearity in our study comes from a particular chemical reaction where one unit of a particular species generated from other $m-1$ species and disintegrates to generate all those $m-1$ species in the same manner, i.e., triangular in nature. Our objective is to find whether global in time solution…
▽ More
In this article we study a chemical reaction-diffusion system with $m$ unknown concentration. The non-linearity in our study comes from a particular chemical reaction where one unit of a particular species generated from other $m-1$ species and disintegrates to generate all those $m-1$ species in the same manner, i.e., triangular in nature. Our objective is to find whether global in time solution exists for this system where one or more species stops diffusing. In particular weak global in time solution exists for all the degenerate cases in any dimension. We are further able to show classical global in time solution exists for all the degenerate cases in any dimension except one and this particular case too attain classical global in time solution up to dimension $2$. We also analyze global in time existence result for the case of quadratic non-linear rate functions and also analyze a three dimensional case.
△ Less
Submitted 1 July, 2024; v1 submitted 27 June, 2024;
originally announced June 2024.
-
Convergence to equilibrium for a degenerate three species reaction-diffusion system
Authors:
Saumyajit Das,
Harsha Hutridurga
Abstract:
In this work, we study a reaction-diffusion system for three species. The nonlinearity in the system comes from an underlying chemical reaction. Our main objective is to understand the long time behaviour of solutions to this reaction-diffusion system when there are degeneracies. More precisely, we treat cases when one of the diffusion coefficients vanishes while the other two diffusion coefficien…
▽ More
In this work, we study a reaction-diffusion system for three species. The nonlinearity in the system comes from an underlying chemical reaction. Our main objective is to understand the long time behaviour of solutions to this reaction-diffusion system when there are degeneracies. More precisely, we treat cases when one of the diffusion coefficients vanishes while the other two diffusion coefficients stay positive. We prove convergence to equilibrium type results. In all our results, the constants appearing in the decay estimates are explicit.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Construction of the Moduli Space of Vector Bundles on an Orbifold Curve
Authors:
Soumyadip Das,
Souradeep Majumder
Abstract:
Let $k$ be an algebraically closed field of any characteristic, and let $(X,P)$ be an orbifold curve over $k$. We construct the moduli space $\mathrm{M}_{(X,P)}^{\mathrm{ss}}(n, Δ)$ of $P$-semistable bundles on $(X,P)$ of rank $n$ and determinant $Δ$. In the characteristic zero case, this result is well known and follows from GIT techniques. Our construction follows a different approach inspired b…
▽ More
Let $k$ be an algebraically closed field of any characteristic, and let $(X,P)$ be an orbifold curve over $k$. We construct the moduli space $\mathrm{M}_{(X,P)}^{\mathrm{ss}}(n, Δ)$ of $P$-semistable bundles on $(X,P)$ of rank $n$ and determinant $Δ$. In the characteristic zero case, this result is well known and follows from GIT techniques. Our construction follows a different approach inspired by a GIT-free construction of Faltings. We show that when the moduli space is non-empty, it is a finite disjoint union of irreducible projective varieties.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Central limit theorems for lattice point counting on tessellated domains
Authors:
Sourav Das
Abstract:
Following the approach of Bj$\ddot{\text{o}}$rklund and Gorodnik, we have considered the discrepancy function for lattice point counting on domains that can be nicely tessellated by the action of a diagonal semigroup. We have shown that suitably normalized discrepancy functions for lattice point counting on certain tessellated domains satisfy a non-degenerate central limit theorem. Furthermore, we…
▽ More
Following the approach of Bj$\ddot{\text{o}}$rklund and Gorodnik, we have considered the discrepancy function for lattice point counting on domains that can be nicely tessellated by the action of a diagonal semigroup. We have shown that suitably normalized discrepancy functions for lattice point counting on certain tessellated domains satisfy a non-degenerate central limit theorem. Furthermore, we have also addressed the same problem for affine and congruence lattice point counting, proving analogous non-degenerate central limit theorems for them. The main ingredients of the proofs are the method of cumulants and quantitative multiple mixing estimates.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Solving marginals of the LDP for the directed landscape
Authors:
Sayan Das,
Li-Cheng Tsai
Abstract:
We prove the upper-tail Large Deviation Principle (LDP) for the parabolic Airy process and characterize the limit shape of the directed landscape under the upper-tail conditioning. The LDP result answers Conjecture 10.1 in Das, Dauvergne, and Virág (2024). The starting point of our proof is the metric-level LDP for the directed landscape from Das, Dauvergne, and Virág (2024) that reduces our work…
▽ More
We prove the upper-tail Large Deviation Principle (LDP) for the parabolic Airy process and characterize the limit shape of the directed landscape under the upper-tail conditioning. The LDP result answers Conjecture 10.1 in Das, Dauvergne, and Virág (2024). The starting point of our proof is the metric-level LDP for the directed landscape from Das, Dauvergne, and Virág (2024) that reduces our work to solving a variational problem. Our proof is PDE-based and uses geometric arguments, connecting the variational problem to the weak solutions of Burgers' equation. Further, our method may generalize to the setting of the upper-tail LDP for the KPZ fixed point under the multi-wedge initial data, and we prove a decomposition result in this direction.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Upper tail large deviations of the directed landscape
Authors:
Sayan Das,
Duncan Dauvergne,
Bálint Virág
Abstract:
Starting from one-point tail bounds, we establish an upper tail large deviation principle for the directed landscape at the metric level. Metrics of finite rate are in one-to-one correspondence with measures supported on a set of countably many paths, and the rate function is given by a certain Kruzhkov entropy of these measures. As an application of our main result, we prove a large deviation pri…
▽ More
Starting from one-point tail bounds, we establish an upper tail large deviation principle for the directed landscape at the metric level. Metrics of finite rate are in one-to-one correspondence with measures supported on a set of countably many paths, and the rate function is given by a certain Kruzhkov entropy of these measures. As an application of our main result, we prove a large deviation principle for the directed geodesic.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Evaluating Quantumness, Efficiency and Cost of Quantum Random Number Generators via Photon Statistics
Authors:
Goutam Paul,
Nirupam Basak,
Soumya Das
Abstract:
Despite the availability of commercial QRNG devices, distinguishing between PRNG and QRNG outputs computationally remains challenging. This paper presents two significant contributions from the perspectives of QRNG manufacturers and users. For manufacturers, the conventional method of assessing the quantumness of single-photon-based QRNGs through mean and variance comparisons of photon counts is s…
▽ More
Despite the availability of commercial QRNG devices, distinguishing between PRNG and QRNG outputs computationally remains challenging. This paper presents two significant contributions from the perspectives of QRNG manufacturers and users. For manufacturers, the conventional method of assessing the quantumness of single-photon-based QRNGs through mean and variance comparisons of photon counts is statistically unreliable due to finite sample sizes. Given the sub-Poissonian statistics of single photons, confirming the underlying distribution is crucial for validating a QRNG's quantumness. We propose a more efficient two-fold statistical approach to ensure the quantumness of optical sources with the desired confidence level. Additionally, we demonstrate that the output of QRNGs from exponential and uniform distributions exhibit similarity under device noise, deriving corresponding photon statistics and conditions for $ε$-randomness.
From the user's perspective, the fundamental parameters of a QRNG are quantumness (security), efficiency (randomness and random number generation rate), and cost. Our analysis reveals that these parameters depend on three factors, expected photon count per unit time, external reference cycle duration, and detection efficiency. A lower expected photon count enhances security but increases cost and decreases the generation rate. A shorter external reference cycle boosts security but must exceed a minimum threshold to minimize timing errors, with minor impacts on cost and rate. Lower detection efficiency enhances security and lowers cost but reduces the generation rate. Finally, to validate our results, we perform statistical tests like NIST, Dieharder, AIS-31, ENT etc. over the data simulated with different values of the above parameters. Our findings can empower manufacturers to customize QRNGs to meet user needs effectively.
△ Less
Submitted 3 August, 2024; v1 submitted 22 May, 2024;
originally announced May 2024.
-
Results on Dynamics of Bungee set of Composite Entire Functions in the Eremenko-Lyubich Class
Authors:
Dinesh Kumar,
Soumyajeet Das
Abstract:
In this paper, we have discussed the dynamics of composite entire functions in terms of relationship between bungee set, repelling periodic points (to be denoted by $RP$) and rationally indifferent fixed point set. We have established relation between the dynamics of composite function and the functions taken for composition. We showed that the union of their Bungee sets contains Bungee set of the…
▽ More
In this paper, we have discussed the dynamics of composite entire functions in terms of relationship between bungee set, repelling periodic points (to be denoted by $RP$) and rationally indifferent fixed point set. We have established relation between the dynamics of composite function and the functions taken for composition. We showed that the union of their Bungee sets contains Bungee set of the composite function. We also showed that $RP$ set of composite functions contains the $ RP$ set of functions used for the composition. We have mostly dealt with the permutable functions of class $\mathcal{B}$. These results hold true when we have a composite function in which one function is a periodic translation of another.
△ Less
Submitted 27 June, 2024; v1 submitted 18 May, 2024;
originally announced May 2024.
-
Classification of $π_1$-injective proper maps between non-compact surfaces
Authors:
Sumanta Das
Abstract:
We show that almost all $π_1$-injective proper maps between two non-compact surfaces, where surfaces are possibly of infinite type, can be properly homotoped to finite-sheeted covering maps.
We show that almost all $π_1$-injective proper maps between two non-compact surfaces, where surfaces are possibly of infinite type, can be properly homotoped to finite-sheeted covering maps.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Invariant subspaces of compressions of the Hardy shift on some parametric spaces
Authors:
Susmita Das
Abstract:
We study the class of operators $S_{α,β}$ obtained by compressing the Hardy shift on the parametric spaces $H^2_{α, β}$ corresponding to the pair $\{α,β\}$ satisfying $|α|^2+|β|^2=1$. We show, for nonzero $α,β$, each $S_{α,β}$ is indeed a shift $M_z$ on some analytic reproducing kernel Hilbert space and present a complete classification of their invariant subspaces. While all such invariant subspa…
▽ More
We study the class of operators $S_{α,β}$ obtained by compressing the Hardy shift on the parametric spaces $H^2_{α, β}$ corresponding to the pair $\{α,β\}$ satisfying $|α|^2+|β|^2=1$. We show, for nonzero $α,β$, each $S_{α,β}$ is indeed a shift $M_z$ on some analytic reproducing kernel Hilbert space and present a complete classification of their invariant subspaces. While all such invariant subspaces $\clm$ are cyclic, we show, unlike other classical shifts, they may not be generated by their corresponding wandering subspaces $(\clm\ominus S_{α,β}\clm)$. We provide a necessary and sufficient condition along this line and show, for a certain class of $α, β$, there exist $S_{α,β}$-invariant subspaces $\clm$ such that $\clm\neq [\clm\ominus S_{α,β}\clm]_{S_{α,β}}$.
△ Less
Submitted 27 May, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Model Identifiability for Bivariate Failure Time Data with Competing Risk: Non-parametric Cause-specific Hazards and Gamma Frailty
Authors:
Biswadeep Ghosh,
Anup Dewanji,
Sudipta Das
Abstract:
In survival analysis, frailty variables are often used to model the association in multivariate survival data. Identifiability is an important issue while working with such multivariate survival data with or without competing risks. In this work, we consider bivariate survival data with competing risks and investigate identifiability results with non-parametric baseline cause-specific hazards and…
▽ More
In survival analysis, frailty variables are often used to model the association in multivariate survival data. Identifiability is an important issue while working with such multivariate survival data with or without competing risks. In this work, we consider bivariate survival data with competing risks and investigate identifiability results with non-parametric baseline cause-specific hazards and different types of Gamma frailty. Prior to that, we prove that, when both baseline cause-specific hazards and frailty distributions are non-parametric, the model is not identifiable. We also construct a non-identifiable model when baseline cause-specific hazards are non-parametric but frailty distribution may be parametric. Thereafter, we consider four different Gamma frailty distributions, and the corresponding models are shown to be identifiable under fairly general assumptions.
△ Less
Submitted 28 June, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
The quantum cohomology of moduli space of $\PGL_2$-bundles on curves
Authors:
Sagnik Das,
Yunfeng Jiang,
Hsian-Hua Tseng
Abstract:
We calculate the quantum cohomology of the moduli space of stable $\PGL_2$-bundles over a smooth curve of genus $g\ge 2$.
We calculate the quantum cohomology of the moduli space of stable $\PGL_2$-bundles over a smooth curve of genus $g\ge 2$.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Multiplicity of solutions for mixed local-nonlocal elliptic equations with singular nonlinearity
Authors:
Kaushik Bal,
Stuti Das
Abstract:
We will prove multiplicity results for the mixed local-nonlocal elliptic equation of the form \begin{eqnarray} \begin{split} -Δ_pu+(-Δ)_p^s u&=\fracλ{u^γ}+u^r \text { in } Ω, \\u&>0 \text{ in } Ω,\\u&=0 \text { in }\mathbb{R}^n \backslash Ω; \end{split} \end{eqnarray} where \begin{equation*} (-Δ)_p^s u(x)= c_{n,s}\operatorname{P.V.}\int_{\mathbb{R}^n}\frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{n+sp…
▽ More
We will prove multiplicity results for the mixed local-nonlocal elliptic equation of the form \begin{eqnarray} \begin{split} -Δ_pu+(-Δ)_p^s u&=\fracλ{u^γ}+u^r \text { in } Ω, \\u&>0 \text{ in } Ω,\\u&=0 \text { in }\mathbb{R}^n \backslash Ω; \end{split} \end{eqnarray} where \begin{equation*} (-Δ)_p^s u(x)= c_{n,s}\operatorname{P.V.}\int_{\mathbb{R}^n}\frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{n+sp}} d y, \end{equation*} and $-Δ_p$ is the usual $p$-Laplace operator. Under the assumptions that $Ω$ is a bounded domain in $\mathbb{R}^{n}$ with regular enough boundary, $p>1$, $n> p$, $s\in(0,1)$, $λ>0$ and $r\in(p-1,p^*-1)$ where $p^*$ is the critical Sobolev exponent, we will show there exist at least two weak solutions to our problem for $0<γ<1$ and some certain values of $λ$. Further, for every $γ>0$, assuming strict convexity of $Ω$, for $p=2$ and $s\in(0,1/2)$, we will show the existence of at least two positive weak solutions to the problem, for small values of $λ$, extending the result of \cite{garaingeometric}. Here $c_{n,s}$ is a suitable normalization constant, and $\operatorname{P.V.}$ stands for Cauchy Principal Value.
△ Less
Submitted 10 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Subordination Involving Gauss Hypergeometric Function
Authors:
Anish Kumar,
Sourav Das
Abstract:
The primary objective of this work is to obtain some sufficient conditions so that normalized Gauss hypergeometric function satisfies exponential starlikeness and convexity in the unit disk. Moreover, conditions on parameter of this function has been derived for being Janowski convexity and starlikeness. Furthermore, some sufficient conditions are also obtained so that Gauss hypergeometric functio…
▽ More
The primary objective of this work is to obtain some sufficient conditions so that normalized Gauss hypergeometric function satisfies exponential starlikeness and convexity in the unit disk. Moreover, conditions on parameter of this function has been derived for being Janowski convexity and starlikeness. Furthermore, some sufficient conditions are also obtained so that Gauss hypergeometric function posses lemniscate starlikeness and convexity. Results established in this work are presumably new and their significance is illustrated by several consequences, graphical representations and examples.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Hilbert spaces over $C^*$-tensor categories, Fredholm modules and cyclic cohomology
Authors:
Abhishek Banerjee,
Subhajit Das,
Surjeet Kour
Abstract:
We construct Fredholm modules over an algebra taking values in generalized Hilbert spaces over a rigid $C^*$-tensor category. Using methods of Connes, we obtain Chern characters taking values in cyclic cohomology. These Chern characters are well behaved with respect to the periodicity operator, and depend only on the homotopy class of the Fredholm module.
We construct Fredholm modules over an algebra taking values in generalized Hilbert spaces over a rigid $C^*$-tensor category. Using methods of Connes, we obtain Chern characters taking values in cyclic cohomology. These Chern characters are well behaved with respect to the periodicity operator, and depend only on the homotopy class of the Fredholm module.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Drift estimation in stochastic flows using kernel integral operators
Authors:
Suddhasattwa Das
Abstract:
A stochastic differential equation (SDE) describes a motion in which a particle is governed simultaneously by the direction provided by a vector field / drift, and the scattering effects of white noise. The resulting motion can only be described as a random process instead of a solution curve. Due to the non-deterministic nature of this motion, the task of determining the drift from data is quite…
▽ More
A stochastic differential equation (SDE) describes a motion in which a particle is governed simultaneously by the direction provided by a vector field / drift, and the scattering effects of white noise. The resulting motion can only be described as a random process instead of a solution curve. Due to the non-deterministic nature of this motion, the task of determining the drift from data is quite challenging, since the data does not directly represent the directional information of the flow. This paper describes an interpretation of vector field as a conditional expectation, which makes its estimation feasible via kernel-integral methods. It presents a numerical procedure based on kernel integral operators, that computes this expectation. In addition, some techniques are presented which can overcome the challenge of dimensionality if the SDE's carry some structure enabling sparsity.
△ Less
Submitted 4 June, 2024; v1 submitted 16 April, 2024;
originally announced April 2024.
-
Paired and Toeplitz + Hankel operators
Authors:
Nilanjan Das,
Soma Das,
Jaydeb Sarkar
Abstract:
We present complete classifications of paired operators on the Hilbert space $L^2(\mathbb{T})$ and Toeplitz + Hankel operators on vector-valued Hardy spaces. We introduce the notion of inner-paired operators defined on the Hardy space that use the classical model spaces. We fully classify inner-paired operators.
We present complete classifications of paired operators on the Hilbert space $L^2(\mathbb{T})$ and Toeplitz + Hankel operators on vector-valued Hardy spaces. We introduce the notion of inner-paired operators defined on the Hardy space that use the classical model spaces. We fully classify inner-paired operators.
△ Less
Submitted 17 April, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Homology and homotopy for arbitrary categories
Authors:
Suddhasattwa Das
Abstract:
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was discovered with the development of Homology theory. Some of the deepest results in topology are about the connections between Homotopy and Homology. These results ar…
▽ More
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was discovered with the development of Homology theory. Some of the deepest results in topology are about the connections between Homotopy and Homology. These results are proved using intricate constructions. This paper re-proves these connections via an axiomatic approach that provides a common ground for homotopy and homology in arbitrary categories. One of the main contributions is a re-interpretation of convexity as an extrinsic rather than intrinsic property. All the axioms and results are applicable for the familiar context of topological spaces. This creates a complete framework for an algebraic characterization of various categories such as Dynamical systems, Open games, and Fractals, which also preserves a notion of Homotopy.
△ Less
Submitted 10 May, 2024; v1 submitted 4 April, 2024;
originally announced April 2024.
-
New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect
Authors:
Pramath Anamby,
Soumya Das
Abstract:
In the first half of the paper, we lay down a classical approach to the study of Saito-Kurokawa (SK) lifts of (Hecke congruence) square-free level, including the allied new-oldform theory. Our treatment of this relies on a novel idea of computing ranks of certain matrices whose entries are $L^2$-norms of eigenforms. For computing the $L^2$ norms we work with the Hecke algebra of $\mathrm{GSp}(2)$.…
▽ More
In the first half of the paper, we lay down a classical approach to the study of Saito-Kurokawa (SK) lifts of (Hecke congruence) square-free level, including the allied new-oldform theory. Our treatment of this relies on a novel idea of computing ranks of certain matrices whose entries are $L^2$-norms of eigenforms. For computing the $L^2$ norms we work with the Hecke algebra of $\mathrm{GSp}(2)$.
In the second half, we formulate precise conjectures on the $L^\infty$ size of the space of SK lifts of square-free level, measured by the supremum of its Bergman kernel, and prove bounds towards them using the results from the first half. Here we rely on counting points on lattices, and on the geometric side of the Bergman kernels of spaces of Jacobi forms underlying the SK lifts. Along the way, we prove a non-trivial bound for the sup-norm of a Jacobi newform of square-free level and also discuss about their size on average.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
A generalized notion of convergence of sequences of subspaces in an inner product space via ideals
Authors:
Prasanta Malik,
Saikat Das
Abstract:
In this paper we introduce the notion of I-convergence of sequences of k-dimensional subspaces of an inner product space, where I is an ideal of subsets of N, the set of all natural numbers and k in N. We also study some basic properties of this notion.
In this paper we introduce the notion of I-convergence of sequences of k-dimensional subspaces of an inner product space, where I is an ideal of subsets of N, the set of all natural numbers and k in N. We also study some basic properties of this notion.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Certain observations on selection principles related to bornological covers using ideals
Authors:
D. Chandra,
P. Das,
S. Das
Abstract:
We study selection principles related to bornological covers using the notion of ideals. We consider ideals $\mathcal I$ and $\mathcal J$ on $ω$ and standard ideal orderings $KB, K$. Relations between cardinality of a base of a bornology with certain selection principles related to bornological covers are established using cardinal invariants such as modified pseudointersection number, the unbound…
▽ More
We study selection principles related to bornological covers using the notion of ideals. We consider ideals $\mathcal I$ and $\mathcal J$ on $ω$ and standard ideal orderings $KB, K$. Relations between cardinality of a base of a bornology with certain selection principles related to bornological covers are established using cardinal invariants such as modified pseudointersection number, the unbounding number and slaloms numbers. When $\mathcal I \leq_\square \mathcal J$ for ideals $\mathcal I, \mathcal J$ and $\square\in \{1\text{-}1,KB,K\}$, implications among various selection principles related to bornological covers are established. Under the assumption that ideal $\mathcal I$ has a pseudounion we show equivalences among certain selection principles related to bornological covers. Finally, the $\mathcal I\text{-}\mathfrak B^s$-Hurewicz property of $X$ is investigated. We prove that $\mathcal I\text{-}\mathfrak B^s$-Hurewicz property of $X$ coincides with the $\mathfrak B^s$-Hurewicz property of $X$ if $\mathcal I$ has a pseudounion. Implications or equivalences among selection principles, games and $\mathcal I\text{-}\mathfrak B^s$-Hurewicz property which are obtained from our investigations are described in diagrams.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Convergence to stationary measures for the half-space log-gamma polymer
Authors:
Sayan Das,
Christian Serio
Abstract:
We consider the point-to-point half-space log-gamma polymer model in the unbound phase. We prove that the free energy increment process on the anti-diagonal path converges to the top marginal of a two-layer Markov chain with an explicit description, which can be interpreted as two random walks conditioned softly never to intersect. This limiting law is a stationary measure for the polymer on the a…
▽ More
We consider the point-to-point half-space log-gamma polymer model in the unbound phase. We prove that the free energy increment process on the anti-diagonal path converges to the top marginal of a two-layer Markov chain with an explicit description, which can be interpreted as two random walks conditioned softly never to intersect. This limiting law is a stationary measure for the polymer on the anti-diagonal path.
The starting point of our analysis is an embedding of the free energy into the half-space log-gamma line ensemble recently constructed by Barraquand, Corwin, and Das. Given the Gibbsian line ensemble structure, the main contribution of our work lies in developing a route to access and prove convergence to stationary measures via line ensemble techniques. Our argument relies on a description of the limiting behavior of two softly non-intersecting random walk bridges around their starting point, a result established in this paper that may be of independent interest.
△ Less
Submitted 6 March, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Bounded fractional intersecting families are linear in size
Authors:
Niranjan Balachandran,
Shagnik Das,
Brahadeesh Sankarnarayanan
Abstract:
Using the sunflower method, we show that if $θ\in (0,1) \cap \mathbb{Q}$ and $\mathcal{F}$ is a $O(n^{1/3})$-bounded $θ$-intersecting family over $[n]$, then $\lvert \mathcal{F} \rvert = O(n)$, and that if $\mathcal{F}$ is $o(n^{1/3})$-bounded, then $\lvert \mathcal{F} \rvert \leq (\frac{3}{2} + o(1))n$. This partially solves a conjecture raised in (Balachandran et al., Electron J. Combin. 26 (201…
▽ More
Using the sunflower method, we show that if $θ\in (0,1) \cap \mathbb{Q}$ and $\mathcal{F}$ is a $O(n^{1/3})$-bounded $θ$-intersecting family over $[n]$, then $\lvert \mathcal{F} \rvert = O(n)$, and that if $\mathcal{F}$ is $o(n^{1/3})$-bounded, then $\lvert \mathcal{F} \rvert \leq (\frac{3}{2} + o(1))n$. This partially solves a conjecture raised in (Balachandran et al., Electron J. Combin. 26 (2019), #P2.40) that any $θ$-intersecting family over $[n]$ has size at most linear in $n$, in the regime where we have no very large sets.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Rational powers, invariant ideals, and the summation formula
Authors:
Sankhaneel Bisui,
Sudipta Das,
Tài Huy Hà,
Jonathan Montaño
Abstract:
We study the Rees valuations and rational powers of several classes of invariant ideals, providing explicit descriptions in terms of certain polyhedra. This allows us to show that a version of Mustaţă-Takagi's summation formula for rational powers holds for these ideals. Moreover, for arbitrary ideals over the complex numbers, we prove a weaker version of this formula that holds for high enough ra…
▽ More
We study the Rees valuations and rational powers of several classes of invariant ideals, providing explicit descriptions in terms of certain polyhedra. This allows us to show that a version of Mustaţă-Takagi's summation formula for rational powers holds for these ideals. Moreover, for arbitrary ideals over the complex numbers, we prove a weaker version of this formula that holds for high enough rational numbers. Our methods lead to a definition of rational powers of ideal sheaves in normal complex varieties inspired by work of Lejeune-Jalabert-Teissier and Lazarsfeld.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Computing epsilon multiplicities in graded algebras
Authors:
Suprajo Das,
Saipriya Dubey,
Sudeshna Roy,
Jugal K. Verma
Abstract:
This article investigates the computational aspects of the $\varepsilon$-multiplicity. Primarily, we show that the $\varepsilon$-multiplicity of a homogeneous ideal $I$ in a two-dimensional standard graded domain of finite type over an algebraically closed field of arbitrary characteristic, is always a rational number. In this situation, we produce a formula for the $\varepsilon$-multiplicity of…
▽ More
This article investigates the computational aspects of the $\varepsilon$-multiplicity. Primarily, we show that the $\varepsilon$-multiplicity of a homogeneous ideal $I$ in a two-dimensional standard graded domain of finite type over an algebraically closed field of arbitrary characteristic, is always a rational number. In this situation, we produce a formula for the $\varepsilon$-multiplicity of $I$ in terms of certain mixed multiplicities associated to $I$. In any dimension, under the assumptions that the saturated Rees algebra of $I$ is finitely generated, we give a different expression of the $\varepsilon$-multiplicity in terms of mixed multiplicities by using the Veronese degree. This enabled us to make various explicit computations of $\varepsilon$-multiplicities. We further write a Macaulay2 algorithm to compute $\varepsilon$-multiplicity (under the Noetherian hypotheses) even when the base ring is not necessarily standard graded.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
On a mixed local-nonlocal evolution equation with singular nonlinearity
Authors:
Kaushik Bal,
Stuti Das
Abstract:
We will prove several existence and regularity results for the mixed local-nonlocal parabolic equation of the form \begin{eqnarray} \begin{split} u_t-Δu+(-Δ)^s u&=\frac{f(x,t)}{u^{γ(x,t)}} \text { in } Ω_T:=Ω\times(0, T), \\ u&=0 \text { in }(\mathbb{R}^n \backslash Ω) \times(0, T), \\ u(x, 0)&=u_0(x) \text { in } Ω; \end{split} \end{eqnarray} where \begin{equation*} (-Δ)^s u= c_{n,s}\operatorname…
▽ More
We will prove several existence and regularity results for the mixed local-nonlocal parabolic equation of the form \begin{eqnarray} \begin{split} u_t-Δu+(-Δ)^s u&=\frac{f(x,t)}{u^{γ(x,t)}} \text { in } Ω_T:=Ω\times(0, T), \\ u&=0 \text { in }(\mathbb{R}^n \backslash Ω) \times(0, T), \\ u(x, 0)&=u_0(x) \text { in } Ω; \end{split} \end{eqnarray} where \begin{equation*} (-Δ)^s u= c_{n,s}\operatorname{P.V.}\int_{\mathbb{R}^n}\frac{u(x,t)-u(y,t)}{|x-y|^{n+2s}} d y. \end{equation*} Under the assumptions that $γ$ is a positive continuous function on $\overlineΩ_T$ and $Ω$ is a bounded domain %of class $\mathcal{C}^{1,1}$ with Lipschitz boundary in $\mathbb{R}^{n}$, $n> 2$, $s\in(0,1)$, $0<T<+\infty$, $f\geq 0$, $u_0\geq 0$, $f$ and $u_0$ belongs to suitable Lebesgue spaces. Here $c_{n,s}$ is a suitable normalization constant, and $\operatorname{P.V.}$ stands for Cauchy Principal Value.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Functors induced by comma categories
Authors:
Suddhasattwa Das
Abstract:
The purpose of category theory is to provide a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into…
▽ More
The purpose of category theory is to provide a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into the category of categories. We extend this observation to a more general situation of two categories $\mathcal{A}$ and $\mathcal{B}$ mapping into a third category $\mathcal{C}$, via functors $F,G$. Such arrangements abound in mathematics \cite{Lawvere1963semantics}, and are studied via the comma category $\left[ F; G\right]$. Objects in this category are morphisms between objects of $\mathcal{A}$ and $\mathcal{B}$, via the functors $F,G$. We show that these objects also have a natural interpretation as functors between slice categories of $\mathcal{A}$ and $\mathcal{B}$. Thus even though $\mathcal{A}$ and $\mathcal{B}$ may have completely disparate structures, some functors between their slices can be interpreted as morphisms in $\mathcal{C}$.
△ Less
Submitted 20 March, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Characterization of commuting graphs of finite groups having small genus
Authors:
Shrabani Das,
Deiborlang Nongsiang,
Rajat Kanti Nath
Abstract:
In this paper we first show that among all double-toroidal and triple-toroidal finite graphs only $K_8 \sqcup 9K_1$, $K_8 \sqcup 5K_2$, $K_8 \sqcup 3K_4$, $K_8 \sqcup 9K_3$, $K_8\sqcup 9(K_1 \vee 3K_2)$, $3K_6$ and $3K_6 \sqcup 4K_4 \sqcup 6K_2$ can be realized as commuting graphs of finite groups. As consequences of our results we also show that for any finite non-abelian group $G$ if the commuti…
▽ More
In this paper we first show that among all double-toroidal and triple-toroidal finite graphs only $K_8 \sqcup 9K_1$, $K_8 \sqcup 5K_2$, $K_8 \sqcup 3K_4$, $K_8 \sqcup 9K_3$, $K_8\sqcup 9(K_1 \vee 3K_2)$, $3K_6$ and $3K_6 \sqcup 4K_4 \sqcup 6K_2$ can be realized as commuting graphs of finite groups. As consequences of our results we also show that for any finite non-abelian group $G$ if the commuting graph of $G$ (denoted by $Γ_c(G)$) is double-toroidal or triple-toroidal then $Γ_c(G)$ and its complement satisfy Hansen-Vuki{č}evi{ć} Conjecture and E-LE conjecture. In the process we find a non-complete graph, namely the non-commuting graph of the group $(\mathbb{Z}_3 \times \mathbb{Z}_3) \rtimes Q_8$, that is hyperenergetic. This gives a new counter example to a conjecture of Gutman regarding hyperenergetic graphs.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
Authors:
Sandip Das,
Florent Foucaud,
Sk Samim Islam,
Joydeep Mukherjee
Abstract:
For a graph $ G = (V, E) $ with a vertex set $ V $ and an edge set $ E $, a function
$ f : V \rightarrow \{0, 1, 2, . . . , diam(G)\} $ is called a \emph{broadcast} on $ G $. For each
vertex $ u \in V $, if there exists a vertex $ v $ in $ G $ (possibly, $ u = v $) such that $ f (v) > 0 $ and
$ d(u, v) \leq f (v) $, then $ f $ is called a dominating broadcast on $ G $. The cost of the domina…
▽ More
For a graph $ G = (V, E) $ with a vertex set $ V $ and an edge set $ E $, a function
$ f : V \rightarrow \{0, 1, 2, . . . , diam(G)\} $ is called a \emph{broadcast} on $ G $. For each
vertex $ u \in V $, if there exists a vertex $ v $ in $ G $ (possibly, $ u = v $) such that $ f (v) > 0 $ and
$ d(u, v) \leq f (v) $, then $ f $ is called a dominating broadcast on $ G $. The cost of the dominating broadcast $f$ is the quantity $ \sum_{v\in V}f(v) $. The minimum cost of a dominating broadcast is the broadcast domination number of $G$, denoted by $ γ_{b}(G) $.
A multipacking is a set $ S \subseteq V $ in a
graph $ G = (V, E) $ such that for every vertex $ v \in V $ and for every integer $ r \geq 1 $, the
ball of radius $ r $ around $ v $ contains at most $ r $ vertices of $ S $, that is, there are at most
$ r $ vertices in $ S $ at a distance at most $ r $ from $ v $ in $ G $. The
multipacking number of $ G $ is the maximum cardinality of a multipacking of $ G $ and
is denoted by $ mp(G) $.
We show that, for any connected chordal graph $G$, $γ_{b}(G)\leq \big\lceil{\frac{3}{2} mp(G)\big\rceil}$. We also show that $γ_b(G)-mp(G)$ can be arbitrarily large for connected chordal graphs by constructing an infinite family of connected chordal graphs such that the ratio $γ_b(G)/mp(G)=10/9$, with $mp(G)$ arbitrarily large. Moreover, we show that $γ_{b}(G)\leq \big\lfloor{\frac{3}{2} mp(G)+2δ\big\rfloor} $ holds for all $δ$-hyperbolic graphs. In addition, we provide a polynomial-time algorithm to construct a multipacking of a $δ$-hyperbolic graph $G$ of size at least $ \big\lceil{\frac{2mp(G)-4δ}{3} \big\rceil} $.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Diophantine approximation with prime denominator in quadratic number fields under GRH
Authors:
Stephan Baier,
Sourav Das,
Esrafil Ali Molla
Abstract:
Matomäki proved that if $α\in \mathbb{R}$ is irrational, then there are infinitely many primes $p$ such that $|α-a/p|\le p^{-4/3+\varepsilon}$ for a suitable integer a. In this paper, we extend this result to all quadratic number fields under the condition that the Grand Riemann Hypothesis holds for their Hecke $L$-functions.
Matomäki proved that if $α\in \mathbb{R}$ is irrational, then there are infinitely many primes $p$ such that $|α-a/p|\le p^{-4/3+\varepsilon}$ for a suitable integer a. In this paper, we extend this result to all quadratic number fields under the condition that the Grand Riemann Hypothesis holds for their Hecke $L$-functions.
△ Less
Submitted 31 July, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
Diophantine transference principle over function fields
Authors:
Sourav Das,
Arijit Ganguly
Abstract:
We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani to the function field set-up, we extend many results from homogeneous Diophantine approximation to the realm of inhomogeneous Diophantine approximation over function fields. This also yields the inhomogeneous Baker-Sprindzuk conjecture over function fields as a consequence. Furt…
▽ More
We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani to the function field set-up, we extend many results from homogeneous Diophantine approximation to the realm of inhomogeneous Diophantine approximation over function fields. This also yields the inhomogeneous Baker-Sprindzuk conjecture over function fields as a consequence. Furthermore, we prove the upper bounds for the general non-extremal scenario.
△ Less
Submitted 27 January, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Density functions for epsilon multiplicity and families of ideals
Authors:
Suprajo Das,
Sudeshna Roy,
Vijaylaxmi Trivedi
Abstract:
A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data. It has turned out to be a useful tool, which was introduced by the third author, to study the characteristic $p$ invariant, namely Hilbert-Kunz multiplicity of…
▽ More
A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data. It has turned out to be a useful tool, which was introduced by the third author, to study the characteristic $p$ invariant, namely Hilbert-Kunz multiplicity of a graded ${\bf m}$-primary ideal.
Here we construct density functions $f_{A,\{I_n\}}$ for a Noetherian filtration $\{I_n\}_{n\in\mathbb{N}}$ of graded ideals and $f_{A,\{\widetilde{I^n}\}}$ for a filtration given by the saturation of powers of a graded ideal $I$ in a standard graded domain $A$. As a consequence, we get a density function $f_{\varepsilon(I)}$ for the epsilon multiplicity $\varepsilon(I)$ of a graded ideal $I$ in $A$. We further show that the function $f_{A,\{I_n\}}$ is continuous everywhere except possibly at one point, and $f_{A,\{\widetilde{I^n}\}}$ is a continuous function everywhere and is continuously differentiable except possibly at one point. As a corollary the epsilon density function $f_{\varepsilon(I)}$ is a compactly supported continuous function on $\mathbb{R}$ except at one point, such that $\int_{\mathbb{R}_{\geq 0}} f_{\varepsilon(I)} = \varepsilon(I)$.
All the three functions $f_{A,\{I^n\}}$, $f_{A,\{\widetilde{I^n}\}}$ and $f_{\varepsilon(I)}$ remain invariant under passage to the integral closure of $I$.
As a corollary of this theory, we express the mixed multiplicities $e_i(A[It])$ of the Rees algebra of a graded ideal $I$ in terms of the intersection numbers of two Cartier divisors on $X=\mathbf{Proj} \left(\oplus_{n\geq 0}\mathcal{I}^n\right)$, where $\mathcal{I}$ is the ideal sheaf associated to $I$ on $\mathrm{Proj}~A$.
△ Less
Submitted 5 May, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
A study on various generalizations of Generalized centers $\bm{(GC)}$ in Banach spaces
Authors:
Syamantak Das,
Tanmoy Paul
Abstract:
In [{\em Generalized centers of finite sets in Banach spaces}, Acta Math. Univ. Comenian. (N.S.) {\bf 66}(1) (1997), 83--115], Veselý developed the idea of generalized centers for finite sets in Banach spaces. In this work, we explore the concept of {\it restricted $\mr{F}$-center property} for a triplet $(X,Y,\mc{F}(X))$, where $Y$ is a subspace of a Banach space $X$ and $\mc{F}(X)$ is the family…
▽ More
In [{\em Generalized centers of finite sets in Banach spaces}, Acta Math. Univ. Comenian. (N.S.) {\bf 66}(1) (1997), 83--115], Veselý developed the idea of generalized centers for finite sets in Banach spaces. In this work, we explore the concept of {\it restricted $\mr{F}$-center property} for a triplet $(X,Y,\mc{F}(X))$, where $Y$ is a subspace of a Banach space $X$ and $\mc{F}(X)$ is the family of finite subsets of $X$. In addition, we generalize the analysis to include all closed, bounded subsets of $X$. Similar to how Lindenstrauss characterized $n.2.I.P.$, we characterize $n.X.I.P.$. So, it is possible to figure out that $Y$ has $n.X.I.P.$ in $X$ for all natural numbers $n$ if and only if $\tr{rad}_Y(F)=\tr{rad}_X(F)$ for all finite subsets $F$ of $Y$. It then turns out that, for all continuous, monotone functions $f$, the $f$-radii viz. $\tr{rad}_Y^f(F),\tr{rad}_X^f(F)$ are same whenever the generalized radii viz. $\tr{rad}_Y(F), \tr{rad}_X(F)$ are also same, for all finite subsets $F$ of $Y$. We establish a variety of characterizations of central subspaces of Banach spaces. With reference to an appropriate subfamily of closed and bounded subsets, it appears that a number of function spaces and subspaces exhibit the restricted weighted Chebyshev center property.
△ Less
Submitted 6 May, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
KPZ equation limit of random walks in random environments
Authors:
Sayan Das,
Hindy Drillick,
Shalin Parekh
Abstract:
We show that under a certain moderate deviation scaling, the multiplicative-noise stochastic heat equation (SHE) arises as the fluctuations of the quenched density of a 1D random walk whose transition probabilities are iid [0,1]-valued random variables. In contrast to the case of directed polymers in the intermediate disorder regime, the variance of our weights is fixed rather than vanishing under…
▽ More
We show that under a certain moderate deviation scaling, the multiplicative-noise stochastic heat equation (SHE) arises as the fluctuations of the quenched density of a 1D random walk whose transition probabilities are iid [0,1]-valued random variables. In contrast to the case of directed polymers in the intermediate disorder regime, the variance of our weights is fixed rather than vanishing under the diffusive rescaling of space-time. Consequently, taking a naive limit of the chaos expansion fails for this model, and a nontrivial noise coefficient is observed in the limit. Rather than using chaos techniques, our proof instead uses the fact that in this regime the quenched density solves a discrete SPDE which resembles the SHE. As a byproduct of our techniques, it is shown that independent noise is generated in the limit.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
A theoretical expansion of the Sprout game
Authors:
Soura Sena Das,
Zin Mar Myint,
Soumen Nandi,
Sagnik Sen,
Éric Sopena
Abstract:
Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while keeping the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$,…
▽ More
Sprout is a two-player pen and paper game which starts with $n$ vertices, and the players take turns to join two pre-existing dots by a subdivided edge while keeping the graph sub-cubic planar at all times. The first player not being able to move loses. A major conjecture claims that Player 1 has a winning strategy if and only if $n \equiv 3,4,5$ ($\bmod~6$). The conjecture is verified until $44$, and a few isolated values of $n$, usually with the help of a computer. However, to the best of our understanding, not too much progress could be made towards finding a theoretical proof of the conjecture till now.
In this article, we try to take a bottom-up approach and start building a theory around the problem. We start by expanding a related game called Brussels Sprout (where dots are replaced by crosses) introduced by Conway, possibly to help the understanding of Sprout. In particular, we introduce and study a generalized version of Brussels Sprout where crosses are replaced by a dot having an arbitrary number of ``partial edges'' (say, general cross) coming out, and planar graphs are replaced by any (pre-decided) hereditary class of graphs. We study the game for forests, graphs on surfaces, and sparse planar graphs. We also do a nimber characterization of the game when the hereditary class is taken to be triangle-free planar graphs, and we have started the game with two arbitrary generalized crosses. Moreover, while studying this particular case, we naturally stumble upon a circular version of the same game and solve a difficult nimber characterization using the method of structural induction. The above mentioned proof may potentially be one approach to solving the Sprout conjecture.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Smooth Koopman eigenfunctions
Authors:
Suddhasattwa Das
Abstract:
Any dynamical system, whether it is generated by a differential equation or a transformation rule on a manifold, induces a dynamics on functional-spaces. The choice of functional-space may vary, but the induced dynamics is always linear, and codified by the Koopman operator. The eigenfunctions of the Koopman operator are of extreme importance in the study of the dynamics. They provide a clear dist…
▽ More
Any dynamical system, whether it is generated by a differential equation or a transformation rule on a manifold, induces a dynamics on functional-spaces. The choice of functional-space may vary, but the induced dynamics is always linear, and codified by the Koopman operator. The eigenfunctions of the Koopman operator are of extreme importance in the study of the dynamics. They provide a clear distinction between the mixing and non-mixing components of the dynamics, and also reveal embedded toral rotations. The usual choice of functional-space is $L^2$, a class of square integrable functions. A fundamental problem with eigenfunctions in $L^2$ is that they are often extremely discontinuous, particularly if the system is chaotic. There are some prototypical systems called skew-product dynamics in which $L^2$ Koopman eigenfunctions are also smooth. The article shows that under general assumptions on an ergodic system, these prototypical examples are the only possibility. Moreover, the smooth eigenfunctions can be used to create a change of variables which explicitly characterizes of the weakly mixing component.
△ Less
Submitted 26 June, 2024; v1 submitted 1 November, 2023;
originally announced November 2023.
