-
The concept of nullity in general spaces and contexts
Authors:
Suddhasattwa Das
Abstract:
The notion of nullity is present in all discourses of mathematics. The two most familiar notions of nullity are "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as null or non-empty. The rationale behind this choice depends on the context, such as Topology or Measure theory. One also expects that the morphisms or transformations within th…
▽ More
The notion of nullity is present in all discourses of mathematics. The two most familiar notions of nullity are "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as null or non-empty. The rationale behind this choice depends on the context, such as Topology or Measure theory. One also expects that the morphisms or transformations within the contexts preserve the nullity structures. Extending this idea, a generalized notion of nullity is presented as a functor between categories. A constructive procedure is presented for extending the notion of nullity to categories with richer structure. Thus nullity in a category, such as that of general vector spaces, can be provided a recursive definition. Thus nullity is an arbitrary construct, which can be extended to broader contexts using well defined rules. These rules are succinctly expressed by right and left Kan extensions.
△ Less
Submitted 7 July, 2025; v1 submitted 30 June, 2025;
originally announced July 2025.
-
On the distribution of shapes of pure quartic number fields
Authors:
Sudipa Das,
Sushant Kala,
Arunabha Mukhopadhyay,
Anwesh Ray
Abstract:
The shape of a number field is a subtle arithmetic invariant arising from the geometry of numbers. It is defined as the equivalence class of the lattice of integers with respect to linear operations that are composites of rotations, reflections, and positive scalar dilations. For a number field of degree $n$, the shape is a point in the space of shapes $\mathscr{S}_{n-1}$, which is the double quot…
▽ More
The shape of a number field is a subtle arithmetic invariant arising from the geometry of numbers. It is defined as the equivalence class of the lattice of integers with respect to linear operations that are composites of rotations, reflections, and positive scalar dilations. For a number field of degree $n$, the shape is a point in the space of shapes $\mathscr{S}_{n-1}$, which is the double quotient $GL_{n-1}(\mathbb{Z}) \backslash GL_{n-1}(\mathbb{R}) / GO_{n-1}(\mathbb{R})$. In this paper, we investigate the distribution of shapes in the family of pure quartic fields $K_m = \mathbb{Q}(\sqrt[4]{m})$. We prove that the shape of $K_m$ lies on one of ten explicitly described torus orbits in $\mathscr{S}_3$, determined by the sign and residue class of $m \bmod 32$. It is shown that the shape on a given torus orbit is completely determined by two parameters, one of which varies continuously, while the other takes values in a discrete set. As a result, the distribution of shapes in this family is governed by a product of a continuous and a discrete measure. Our results shed new light on a question posed by Manjul Bhargava and Piper H concerning the distribution of shapes in families of non-generic number fields of fixed degree. Notably, the limiting distribution in our case does not arise as the restriction of the natural measure on $\mathscr{S}_3$ induced by Haar measure on $GL_3(\mathbb{R})$.
△ Less
Submitted 30 June, 2025;
originally announced June 2025.
-
New zero-free regions for Dedekind zeta-functions at small and large ordinates
Authors:
Sourabhashis Das,
Swati Gaba,
Ethan Simpson Lee,
Aditi Savalia,
Peng-Jie Wong
Abstract:
Given a number field $L\neq \mathbb{Q}$, we obtain new and explicit zero-free regions for Dedekind zeta-functions of $L$, which refine the previous works of Ahn--Kwon, Kadiri, and Lee. In particular, for low-lying zeros, we extend Kadiri's result to all number fields while improving the main constant.
Given a number field $L\neq \mathbb{Q}$, we obtain new and explicit zero-free regions for Dedekind zeta-functions of $L$, which refine the previous works of Ahn--Kwon, Kadiri, and Lee. In particular, for low-lying zeros, we extend Kadiri's result to all number fields while improving the main constant.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
The half-space KPZ line ensemble and its scaling limit
Authors:
Sayan Das,
Christian Serio
Abstract:
For each $α\in \mathbb{R}$, $t \geq 1$, we show that there exists a unique $\mathbb{N}$-indexed line ensemble of random continuous curves $\mathbb{R}_{\le 0} \to \mathbb{R}$ with the following properties:
(1) The top curve is distributed as the time-$t$ Cole--Hopf solution to the half-space KPZ equation with narrow wedge initial condition and Neumann boundary condition with parameter $α$.
(2)…
▽ More
For each $α\in \mathbb{R}$, $t \geq 1$, we show that there exists a unique $\mathbb{N}$-indexed line ensemble of random continuous curves $\mathbb{R}_{\le 0} \to \mathbb{R}$ with the following properties:
(1) The top curve is distributed as the time-$t$ Cole--Hopf solution to the half-space KPZ equation with narrow wedge initial condition and Neumann boundary condition with parameter $α$.
(2) The line ensemble satisfies a one-sided resampling invariance property, involving softly non-intersecting Brownian motions with an attractive potential between pairs at the boundary.
We call this object the half-space KPZ line ensemble. For $α=μt^{-1/3}$ with $μ\in \mathbb{R}$ fixed (critical regime) and for $α>0$ fixed (supercritical regime), we show that the half-space KPZ line ensemble is tight under 1:2:3 KPZ scaling as $t\to\infty$. Moreover, all subsequential limits approximate a parabola and enjoy a one-sided Brownian Gibbs property, described by non-intersecting Brownian motions with pairwise interaction at the boundary. In the critical case this agrees with the half-space Airy line ensemble recently constructed by Dimitrov and Yang. In the supercritical case, we demonstrate a novel structure involving pairwise pinned Brownian motions, one of the main technical contributions of this paper.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Note on real and imaginary parts of harmonic quasiregular mappings
Authors:
Suman Das,
Antti Rasila
Abstract:
If $f=u+iv$ is analytic in the unit disk $\mathbb{D}$, it is known that the integral means $M_p(r,u)$ and $M_p(r,v)$ have the same order of growth. This is false if $f$ is a (complex-valued) harmonic function. However, we prove that the same principle holds if we assume, in addition, that $f$ is $K$-quasiregular in $\mathbb{D}$. The case $0<p<1$ is particularly interesting, and is an extension of…
▽ More
If $f=u+iv$ is analytic in the unit disk $\mathbb{D}$, it is known that the integral means $M_p(r,u)$ and $M_p(r,v)$ have the same order of growth. This is false if $f$ is a (complex-valued) harmonic function. However, we prove that the same principle holds if we assume, in addition, that $f$ is $K$-quasiregular in $\mathbb{D}$. The case $0<p<1$ is particularly interesting, and is an extension of the recent Riesz type theorems for harmonic quasiregular mappings by several authors. Further, we proceed to show that the real and imaginary parts of a harmonic quasiregular mapping have the same degree of smoothness on the boundary.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
A subset generalization of the Erdős-Kac theorem over number fields with applications
Authors:
Sourabhashis Das,
Wentang Kuo,
Yu-Ru Liu
Abstract:
Let $ω(n)$ denote the number of distinct prime factors of a natural number $n$. In 1940, Erdős and Kac established that $ω(n)$ obeys the Gaussian distribution over natural numbers. In 2004, the third author generalized their theorem to all abelian monoids. In this work, we extend the work of the third author to any subset of the set of ideals of a number field satisfying some additional conditions…
▽ More
Let $ω(n)$ denote the number of distinct prime factors of a natural number $n$. In 1940, Erdős and Kac established that $ω(n)$ obeys the Gaussian distribution over natural numbers. In 2004, the third author generalized their theorem to all abelian monoids. In this work, we extend the work of the third author to any subset of the set of ideals of a number field satisfying some additional conditions. Finally, we apply this theorem to prove the Erdős-Kac theorem over $h$-free and over $h$-full ideals of the number field.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Generalizations of Erdős-Kac theorem with applications
Authors:
Sourabhashis Das,
Wentang Kuo,
Yu-Ru Liu
Abstract:
Let $ω(n)$ denote the number of distinct prime factors of a natural number $n$. In 1940, Erdős and Kac established that $ω(n)$ obeys the Gaussian distribution over natural numbers, and in 2004, the third author generalized their theorem to all abelian monoids. In this paper, we extend her theorem to any subsets of an abelian monoid satisfying some additional conditions, and apply this result to th…
▽ More
Let $ω(n)$ denote the number of distinct prime factors of a natural number $n$. In 1940, Erdős and Kac established that $ω(n)$ obeys the Gaussian distribution over natural numbers, and in 2004, the third author generalized their theorem to all abelian monoids. In this paper, we extend her theorem to any subsets of an abelian monoid satisfying some additional conditions, and apply this result to the subsets of $h$-free and $h$-full elements. We study generalizations of several arithmetic functions, such as the prime counting omega functions and the divisor function in a unified framework. Finally, we apply our results to number fields, global function fields, and geometrically irreducible projective varieties, demonstrating the broad relevance of our approach.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
On the distribution of the number of distinct generators of h-free and h-full elements in an abelian monoid
Authors:
Sourabhashis Das,
Wentang Kuo,
Yu-Ru Liu
Abstract:
This work introduces the first in-depth study of h-free and h-full elements in abelian monoids, providing a unified approach for understanding their role in various mathematical structures. Let m be an element of an abelian monoid, with ω(m) denoting the number of distinct prime elements generating m. We study the moments of ω(m) over subsets of h-free and h-full elements, establishing the normal…
▽ More
This work introduces the first in-depth study of h-free and h-full elements in abelian monoids, providing a unified approach for understanding their role in various mathematical structures. Let m be an element of an abelian monoid, with ω(m) denoting the number of distinct prime elements generating m. We study the moments of ω(m) over subsets of h-free and h-full elements, establishing the normal order of ω(m) within these subsets. Our findings are then applied to number fields, global function fields, and geometrically irreducible projective varieties, demonstrating the broad relevance of this approach.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
Image denoising as a conditional expectation
Authors:
Sajal Chakroborty,
Suddhasattwa Das
Abstract:
All techniques for denoising involve a notion of a true (noise-free) image, and a hypothesis space. The hypothesis space may reconstruct the image directly as a grayscale valued function, or indirectly by its Fourier or wavelet spectrum. Most common techniques estimate the true image as a projection to some subspace. We propose an interpretation of a noisy image as a collection of samples drawn fr…
▽ More
All techniques for denoising involve a notion of a true (noise-free) image, and a hypothesis space. The hypothesis space may reconstruct the image directly as a grayscale valued function, or indirectly by its Fourier or wavelet spectrum. Most common techniques estimate the true image as a projection to some subspace. We propose an interpretation of a noisy image as a collection of samples drawn from a certain probability space. Within this interpretation, projection based approaches are not guaranteed to be unbiased and convergent. We present a data-driven denoising method in which the true image is recovered as a conditional expectation. Although the probability space is unknown apriori, integrals on this space can be estimated by kernel integral operators. The true image is reformulated as the least squares solution to a linear equation in a reproducing kernel Hilbert space (RKHS), and involving various kernel integral operators as linear transforms. Assuming the true image to be a continuous function on a compact planar domain, the technique is shown to be convergent as the number of pixels goes to infinity. We also show that for a picture with finite number of pixels, the convergence result can be used to choose the various parameters for an optimum denoising result.
△ Less
Submitted 24 May, 2025;
originally announced May 2025.
-
On best constrained and best simultaneous approximation in Banach spaces
Authors:
Syamantak Das,
Tanmoy Paul
Abstract:
It is folklore that the sum of two $M$-ideals (semi $M$-ideals) is also an $M$-ideal (a semi $M$-ideal). Numerous authors have attempted to investigate such properties of subspaces. This article explores two important facets of approximation theory within Banach spaces and how these properties remain intact when considering the sum of two subsets. Recall the notion of $(GC)$ introduced by Veselý t…
▽ More
It is folklore that the sum of two $M$-ideals (semi $M$-ideals) is also an $M$-ideal (a semi $M$-ideal). Numerous authors have attempted to investigate such properties of subspaces. This article explores two important facets of approximation theory within Banach spaces and how these properties remain intact when considering the sum of two subsets. Recall the notion of $(GC)$ introduced by Veselý that encloses two aforementioned properties. When the sum of two subspaces is closed, we discuss various properties of the sum if one of the subspaces has these properties. Counterexamples are produced that establish nonaffirmativeness for the properties $(GC)$ and the central subspace. We answer a problem raised by the author in [{\em Best constrained approximation in Banach spaces}, Numer. Funct. Anal. Optim. {\bf 36}(2) (2015), 248--255]. We extend our observations related to the best simultaneous approximations to the properties $(P_1)$ and $\mr{F}$-SACP.
△ Less
Submitted 16 May, 2025;
originally announced May 2025.
-
Pullbacks of Saito-Kurokawa lifts of square-free levels, their non-vanishing and the $L^2$-mass
Authors:
Pramath Anamby,
Soumya Das
Abstract:
We obtain the full spectral decomposition of the pullback of a Saito-Kurokawa (SK) newform $F$ of odd, square-free level; and show that the projections onto the elements $\mathbf g \otimes \mathbf g$ of an arithmetically orthogonalized old-basis are either zero or whose squares are given by the certain $\mathrm{GL}(3)\times \mathrm{GL}(2)$ central $L$-values…
▽ More
We obtain the full spectral decomposition of the pullback of a Saito-Kurokawa (SK) newform $F$ of odd, square-free level; and show that the projections onto the elements $\mathbf g \otimes \mathbf g$ of an arithmetically orthogonalized old-basis are either zero or whose squares are given by the certain $\mathrm{GL}(3)\times \mathrm{GL}(2)$ central $L$-values $L(f\otimes \mathrm{sym}^2 g, \frac{1}{2})$, where $F$ is the lift of the $\mathrm{GL}(2)$ newform $f$ and $g$ is the newform underlying $\mathbf g$. Based on this, we work out a conjectural formula for the $L^2$-mass of the pullback of $F$ via the CFKRS heuristics, which becomes a weighted average (over $g$) of the central $L$-values. We show that on average over $f$, the main term predicted by the above heuristics matches with the actual main term. We also provide several results and sufficient conditions that ensure the non-vanishing of the pullbacks.
△ Less
Submitted 14 May, 2025; v1 submitted 13 May, 2025;
originally announced May 2025.
-
Learning Dynamical Systems with the Spectral Exterior Calculus
Authors:
Suddhasattwa Das,
Dimitrios Giannakis,
Yanbing Gu,
Joanna Slawinska
Abstract:
We present a data-driven framework for learning dynamical systems on compact Riemannian manifolds based on the spectral exterior calculus (SEC). This approach represents vector fields as linear combinations of frame elements constructed using the eigenfunctions of the Laplacian on smooth functions, along with their gradients. Such reconstructed vector fields generate dynamical flows that consisten…
▽ More
We present a data-driven framework for learning dynamical systems on compact Riemannian manifolds based on the spectral exterior calculus (SEC). This approach represents vector fields as linear combinations of frame elements constructed using the eigenfunctions of the Laplacian on smooth functions, along with their gradients. Such reconstructed vector fields generate dynamical flows that consistently approximate the true system, while being compatible with the nonlinear geometry of the manifold. The data-driven implementation of this framework utilizes embedded data points and tangent vectors as training data, along with a graph-theoretic approximation of the Laplacian. In this paper, we prove the convergence of the SEC-based reconstruction in the limit of large data. Moreover, we illustrate the approach numerically with applications to dynamical systems on the unit circle and the 2-torus. In these examples, the reconstructed vector fields compare well with the true vector fields, in terms of both pointwise estimates and generation of orbits.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
Hardy spaces of harmonic quasiconformal mappings and Baernstein's theorem
Authors:
Suman Das,
Jie Huang,
Antti Rasila
Abstract:
Suppose $\mathcal{S}_H^0(K)$, $K\ge 1$, is the class of normalized $K$-quasiconformal harmonic mappings in the unit disk. We obtain Baernstein type extremal results for the analytic and co-analytic parts of harmonic functions in the major geometric subclasses (e.g. convex, starlike, close-to-convex, convex in one direction) of $\mathcal{S}_H^0(K)$. We then use these results to obtain integral mean…
▽ More
Suppose $\mathcal{S}_H^0(K)$, $K\ge 1$, is the class of normalized $K$-quasiconformal harmonic mappings in the unit disk. We obtain Baernstein type extremal results for the analytic and co-analytic parts of harmonic functions in the major geometric subclasses (e.g. convex, starlike, close-to-convex, convex in one direction) of $\mathcal{S}_H^0(K)$. We then use these results to obtain integral mean estimates for the respective classes. Furthermore, we find the range of $p>0$ such that these geometric classes of quasiconformal mappings are contained in the harmonic Hardy space $h^p$, thereby refining some earlier results of Nowak. Our findings extend the recent developments on harmonic quasiconformal mappings by Li and Ponnusamy.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Certain Observations on Ideals Associated With Weighted Density Using Modulus Functions
Authors:
Pratulananda Das,
Subhankar Das
Abstract:
In this article our main object of investigation is the simple modular density ideals $\mathcal{Z}_g(f)$ introduced in [Bose et al., Indag. math., 2018] where $g$ is a weight function, more precisely, $g\in G$, $G=\{g:ω\to [0,\infty):\frac{k}{g(k)}\not\to 0 \text{ and }\:\: g(k)\to \infty \text{ as }\:\:k\to \infty \}$ and $f$ is an unbounded modulus function. We mainly investigate certain propert…
▽ More
In this article our main object of investigation is the simple modular density ideals $\mathcal{Z}_g(f)$ introduced in [Bose et al., Indag. math., 2018] where $g$ is a weight function, more precisely, $g\in G$, $G=\{g:ω\to [0,\infty):\frac{k}{g(k)}\not\to 0 \text{ and }\:\: g(k)\to \infty \text{ as }\:\:k\to \infty \}$ and $f$ is an unbounded modulus function. We mainly investigate certain properties of these ideals in line of [Kwela et al, J. math. Anal. Appl., 2019]. For an unbounded modulus function $f$ it is shown that there are $1$ or $\ck$ many functions $g\in G$ generating the same ideal $\mathcal{Z}_g(f)$. We then obtain certain interactive results involving the sequence of submeasures $\{φ_k\}_{k\in ω}$ generating the ideal $\mathcal{Z}_g(f)$ and the functions $g,f$. Finally, we present some observations on $\mathcal{Z}_g(f)$ ideals related to the notion of increasing-invariance.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Boundary Control and Calderón type Inverse Problems in Non-local heat equation
Authors:
Saumyajit Das
Abstract:
We examine various density results related to the solutions of the non-local heat equation at a specific time slice, focusing on two distinct models: one with homogeneous Dirichlet boundary condition and the other with singular boundary data. In both the cases, we assume the non-local exponent $a\in(\frac{1}{2},1)$. We explore both the qualitative and quantitative aspects of the approximations. Ad…
▽ More
We examine various density results related to the solutions of the non-local heat equation at a specific time slice, focusing on two distinct models: one with homogeneous Dirichlet boundary condition and the other with singular boundary data. In both the cases, we assume the non-local exponent $a\in(\frac{1}{2},1)$. We explore both the qualitative and quantitative aspects of the approximations. Additionally, we address Calderón-type inverse problems for these parabolic models, where we recover the potentials by analyzing the solutions either on the boundary or at a particular time slice. In both the density results and the Calderón type inverse problems, the Pohozaev identity plays a crucial role. Finally, in the last section, we apply the Pohozaev identity to a specific elliptic eigenvalue problem and demonstrate that the eigenfunctions, when divided by an appropriate power of the distance function, can not vanish on any non-empty open subset of the boundary. This particular eigenvalue problem does not need any restriction on the non-local exponent.
△ Less
Submitted 11 May, 2025; v1 submitted 29 April, 2025;
originally announced April 2025.
-
Lipschitz continuity and composition operators in pluriharmonic Bloch spaces
Authors:
Jie Huang,
Suman Das,
Antti Rasila
Abstract:
We study the Lipschitz continuity of pluriharmonic Bloch mappings in the unit ball $\mathbb{B}^n$ with respect to the Bergman metric. We apply this to obtain a sufficient condition such that the composition operator on the pluriharmonic Bloch space is bounded below. As a partial converse, we also give a necessary condition for the boundedness (from below) of the composition operator on the Bloch s…
▽ More
We study the Lipschitz continuity of pluriharmonic Bloch mappings in the unit ball $\mathbb{B}^n$ with respect to the Bergman metric. We apply this to obtain a sufficient condition such that the composition operator on the pluriharmonic Bloch space is bounded below. As a partial converse, we also give a necessary condition for the boundedness (from below) of the composition operator on the Bloch space of holomorphic mappings in $\mathbb{B}^n$.
△ Less
Submitted 10 April, 2025;
originally announced April 2025.
-
Distinct Distances Between a Line and Strip
Authors:
Sanjana Das,
Adam Sheffer
Abstract:
We introduce a new type of distinct distances result: a lower bound on the number of distances between points on a line and points on a two-dimensional strip. This can be seen as a generalization of the well-studied problems of distances between points on two lines or curves. Unlike these existing problems, this new variant only makes sense if the points satisfy an additional spacing condition.…
▽ More
We introduce a new type of distinct distances result: a lower bound on the number of distances between points on a line and points on a two-dimensional strip. This can be seen as a generalization of the well-studied problems of distances between points on two lines or curves. Unlike these existing problems, this new variant only makes sense if the points satisfy an additional spacing condition.
Our work can also be seen as an exploration of the proximity technique that was recently introduced by Solymosi and Zahl. This technique lies at the heart of our analysis.
△ Less
Submitted 6 April, 2025;
originally announced April 2025.
-
Zero Products of Toeplitz operators on the Hardy and Bergman spaces over an annulus
Authors:
Susmita Das,
E. K. Narayanan
Abstract:
We study the zero product problem of Toeplitz operators on the Hardy space and Bergman space over an annulus. Assuming a condition on the Fourier expansion of the symbols, we show that there are no zero divisors in the class of Toeplitz operators on the Hardy space of the annulus. Using the reduction theorem due to Abrahamse, we characterize compact Hankel operators on the Hardy space of the annul…
▽ More
We study the zero product problem of Toeplitz operators on the Hardy space and Bergman space over an annulus. Assuming a condition on the Fourier expansion of the symbols, we show that there are no zero divisors in the class of Toeplitz operators on the Hardy space of the annulus. Using the reduction theorem due to Abrahamse, we characterize compact Hankel operators on the Hardy space of the annulus, which also leads to a zero product result. Similar results are proved for the Bergman space over the annulus.
△ Less
Submitted 23 April, 2025; v1 submitted 5 April, 2025;
originally announced April 2025.
-
A spanning tree model for Khovanov homology, Rasmussen's s-invariant and exotic discs in the $4$-ball
Authors:
Aninda Banerjee,
Apratim Chakraborty,
Swarup Kumar Das
Abstract:
The checkerboard coloring of knot diagrams offers a graph-theoretical approach to address topological questions. Champanerkar and Kofman defined a complex generated by the spanning trees of a graph obtained from the checkerboard coloring whose homology is the reduced Khovanov homology. Notably, the differential in their chain complex was not explicitly defined. We explicitly define the combinatori…
▽ More
The checkerboard coloring of knot diagrams offers a graph-theoretical approach to address topological questions. Champanerkar and Kofman defined a complex generated by the spanning trees of a graph obtained from the checkerboard coloring whose homology is the reduced Khovanov homology. Notably, the differential in their chain complex was not explicitly defined. We explicitly define the combinatorial form of the differential within the spanning tree complex. We additionally provide a description of Rasmussen's $s$-invariant within the context of the spanning tree complex. Applying our techniques, we identify a new infinite family of knots where each of them bounds a set of exotic discs within the 4-ball.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
A spanning tree model for chromatic homology
Authors:
Aninda Banerjee,
Apratim Chakraborty,
Swarup Kumar Das,
Pravakar Paul
Abstract:
After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees o…
▽ More
After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees of the graph that is chain homotopy equivalent to the chromatic complex. We employ the spanning tree model over $\mathcal{A}_m:= \frac{\mathbb{Z}[x]}{<x^m>}$ algebra to answer two open questions. First, we establish the conjecture posed by Sazdanovic and Scofield regarding the homological span of chromatic homology over $\\mathcal{A}_m$ algebra, demonstrating that for any graph $G$ with $v$ vertices and $b$ blocks, the homological span is $v - b$. Additionally, we prove a conjecture of Helme-Guizon, Przytycki, and Rong concerning the existence of torsion of order dividing $m$ in chromatic homology over $\mathcal{A}_m$ algebra.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
The Lagrangian Method for Solving Constrained Markov Games
Authors:
Soham Das,
Santiago Paternain,
Luiz F. O. Chamon,
Ceyhun Eksin
Abstract:
We propose the concept of a Lagrangian game to solve constrained Markov games. Such games model scenarios where agents face cost constraints in addition to their individual rewards, that depend on both agent joint actions and the evolving environment state over time. Constrained Markov games form the formal mechanism behind safe multiagent reinforcement learning, providing a structured model for d…
▽ More
We propose the concept of a Lagrangian game to solve constrained Markov games. Such games model scenarios where agents face cost constraints in addition to their individual rewards, that depend on both agent joint actions and the evolving environment state over time. Constrained Markov games form the formal mechanism behind safe multiagent reinforcement learning, providing a structured model for dynamic multiagent interactions in a multitude of settings, such as autonomous teams operating under local energy and time constraints, for example. We develop a primal-dual approach in which agents solve a Lagrangian game associated with the current Lagrange multiplier, simulate cost and reward trajectories over a fixed horizon, and update the multiplier using accrued experience. This update rule generates a new Lagrangian game, initiating the next iteration. Our key result consists in showing that the sequence of solutions to these Lagrangian games yields a nonstationary Nash solution for the original constrained Markov game.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Invariant subspaces and the $C_{00}$-property of Brownian Shifts
Authors:
Nilanjan Das,
Soma Das,
Jaydeb Sarkar
Abstract:
We consider the restriction of Brownian shifts to their invariant subspaces and classify when they are unitarily equivalent. Additionally, we prove an asymptotic property stating that normalized Brownian shifts belong to the classical $C_{00}$-class.
We consider the restriction of Brownian shifts to their invariant subspaces and classify when they are unitarily equivalent. Additionally, we prove an asymptotic property stating that normalized Brownian shifts belong to the classical $C_{00}$-class.
△ Less
Submitted 16 June, 2025; v1 submitted 28 February, 2025;
originally announced February 2025.
-
Generalizations of the M&M Game
Authors:
Snehesh Das,
Evan Li,
Steven J. Miller,
Andrew Mou,
Geremias Polanco,
Wang Xiaochen,
April Yang,
Chris Yao
Abstract:
The M&M Game was created to help young kids explore probability by modeling a response to the question: \emph{If two people are born on the same day, will they die on the same day?} Each player starts with a fixed number of M&M's and a fair coin; a turn consists of players simultaneously tossing their coin and eating an M&M only if the toss is a head, with a person ``dying'' when they have eaten t…
▽ More
The M&M Game was created to help young kids explore probability by modeling a response to the question: \emph{If two people are born on the same day, will they die on the same day?} Each player starts with a fixed number of M&M's and a fair coin; a turn consists of players simultaneously tossing their coin and eating an M&M only if the toss is a head, with a person ``dying'' when they have eaten their stash. The probability of a tie can naturally be written as an infinite sum of binomial products, and can be reformulated into a finite calculation using memoryless processes, recursion theory, or graph-theoretic techniques, highlighting its value as an educational game. We analyze several extensions, such as tossing multiple coins with varying probabilities and evolving probability distributions for coin flips. We derive formulas for the expected length of the game and the probability of a tie by modeling the number of rounds as a sum of geometric waiting times.
△ Less
Submitted 11 February, 2025;
originally announced February 2025.
-
On representations of the crystallization of the quantized function algebra C(SUq(n + 1))
Authors:
Saikat Das,
Ayan Dey
Abstract:
The crystal limit C(K0) of the $q$-family of C*-algebras C(Kq) was introduced by Giri & Pal for all K=SU(n+1), n\geq 2. This article aims to prove that the crystal limits C(K0) have the property that the representations of C(Kq) give rise to the representations of the crystallized algebra C(K0) by sending generators of C(K0) to the limit of (scaled) generators of C(Kq)$ and every representation of…
▽ More
The crystal limit C(K0) of the $q$-family of C*-algebras C(Kq) was introduced by Giri & Pal for all K=SU(n+1), n\geq 2. This article aims to prove that the crystal limits C(K0) have the property that the representations of C(Kq) give rise to the representations of the crystallized algebra C(K0) by sending generators of C(K0) to the limit of (scaled) generators of C(Kq)$ and every representation of C(K0) occurs in this way. This work addresses a question raised by Giri & Pal in \cite{GirPal-2024}. As a consequence, one can realize C(K0) as the C*-algebra generated by the limit operators of faithful representations of C(Kq).
△ Less
Submitted 22 April, 2025; v1 submitted 25 January, 2025;
originally announced February 2025.
-
Exponents in the local properties problem for difference sets have a gap at 2
Authors:
Sanjana Das
Abstract:
We study the local properties problem for difference sets: If we have a large set of real numbers and know that every small subset has many distinct differences, to what extent must the entire set have many distinct differences? More precisely, we define $g(n, k, \ell)$ to be the minimum number of differences in an $n$-element set with the `local property' that every $k$-element subset has at leas…
▽ More
We study the local properties problem for difference sets: If we have a large set of real numbers and know that every small subset has many distinct differences, to what extent must the entire set have many distinct differences? More precisely, we define $g(n, k, \ell)$ to be the minimum number of differences in an $n$-element set with the `local property' that every $k$-element subset has at least $\ell$ differences; we study the asymptotic behavior of $g(n, k, \ell)$ as $k$ and $\ell$ are fixed and $n \to \infty$.
The quadratic threshold is the smallest $\ell$ (as a function of $k$) for which $g(n, k, \ell) = Ω(n^2)$; its value is known when $k$ is even. In this paper, we show that for $k$ even, when $\ell$ is one below the quadratic threshold, we have $g(n, k, \ell) = O(n^c)$ for an absolute constant $c < 2$ -- i.e., at the quadratic threshold, the `exponent of $n$ in $g(n, k, \ell)$' jumps by a constant independent of $k$.
△ Less
Submitted 19 January, 2025;
originally announced January 2025.
-
Zagreb indices of subgroup generating bipartite graph
Authors:
Shrabani Das,
Ahmad Erfanian,
Rajat Kanti Nath
Abstract:
Let $G$ be a group and $L(G)$ be the set of all subgroups of $G$. The subgroup generating bipartite graph $\mathcal{B}(G)$ defined on $G$ is a bipartite graph whose vertex set is partitioned into two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. In this paper, we deduce expressions for first and second Zagre…
▽ More
Let $G$ be a group and $L(G)$ be the set of all subgroups of $G$. The subgroup generating bipartite graph $\mathcal{B}(G)$ defined on $G$ is a bipartite graph whose vertex set is partitioned into two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. In this paper, we deduce expressions for first and second Zagreb indices of $\mathcal{B}(G)$ and obtain a condition such that $\mathcal{B}(G)$ satisfy Hansen-Vuki{č}evi{ć} conjecture [Hansen, P. and Vuki{č}evi{ć}, D. Comparing the Zagreb indices, {\em Croatica Chemica Acta}, \textbf{80}(2), 165-168, 2007]. It is shown that $\mathcal{B}(G)$ satisfies Hansen-Vuki{č}evi{ć} conjecture if $G$ is a cyclic group of order $2p, 2p^2, 4p$, $4p^2$ and $p^n$; dihedral group of order $2p$ and $2p^2$; and dicyclic group of order $4p$ and $4p^2$ for any prime $p$. While computing Zagreb indices of $\mathcal{B}(G)$ we have computed $°_{\mathcal{B}(G)}(H)$ for all $H \in L(G)$ for the above mentioned groups. Using these information we also compute Randic Connectivity index, Atom-Bond Connectivity index, Geometric-Arithmetic index, Harmonic index and Sum-Connectivity index of $\mathcal{B}(G)$.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
A study on $\mr{F}$-simultaneous approximative $τ$-compactness property in Banach spaces
Authors:
Syamantak Das,
Tanmoy Paul
Abstract:
Veselý (1997) studied Banach spaces that admit $f$-centers for finite subsets of the space. In this work, we introduce the concept of $\mr{F}$-simultaneous approximative $τ$-compactness property ($τ$-$\mr{F}$-SACP in short) for triplets $(X, V,\mf{F})$, where $X$ is a Banach space, $V$ is a $τ$-closed subset of $X$, $\mf{F}$ is a subfamily of closed and bounded subsets of $X$, $\mr{F}$ is a collec…
▽ More
Veselý (1997) studied Banach spaces that admit $f$-centers for finite subsets of the space. In this work, we introduce the concept of $\mr{F}$-simultaneous approximative $τ$-compactness property ($τ$-$\mr{F}$-SACP in short) for triplets $(X, V,\mf{F})$, where $X$ is a Banach space, $V$ is a $τ$-closed subset of $X$, $\mf{F}$ is a subfamily of closed and bounded subsets of $X$, $\mr{F}$ is a collection of functions, and $τ$ is the norm or weak topology on $X$. We characterize reflexive spaces with the Kadec-Klee property using triplets with $τ$-$\mr{F}$-SACP. We investigate the relationship between $τ$-$\mr{F}$-SACP and the continuity properties of the restricted $f$-center map. The study further examines $τ$-$\mr{F}$-SACP in the context of $CLUR$ spaces and explores various characterizations of $τ$-$\mr{F}$-SACP, including connections to reflexivity, Fréchet smoothness, and the Kadec-Klee property.
△ Less
Submitted 6 January, 2025;
originally announced January 2025.
-
Zygmund's theorem for harmonic quasiregular mappings
Authors:
Suman Das,
Jie Huang,
Antti Rasila
Abstract:
Given an analytic function $f=u+iv$ in the unit disk $\mathbb{D}$, Zygmund's theorem gives the minimal growth restriction on $u$ which ensures that $v$ is in the Hardy space $h^1$. This need not be true if $f$ is a complex-valued harmonic function. However, we prove that Zygmund's theorem holds if $f$ is a harmonic $K$-quasiregular mapping in $\ID$. Our work makes further progress on the recent Ri…
▽ More
Given an analytic function $f=u+iv$ in the unit disk $\mathbb{D}$, Zygmund's theorem gives the minimal growth restriction on $u$ which ensures that $v$ is in the Hardy space $h^1$. This need not be true if $f$ is a complex-valued harmonic function. However, we prove that Zygmund's theorem holds if $f$ is a harmonic $K$-quasiregular mapping in $\ID$. Our work makes further progress on the recent Riesz-type theorem of Liu and Zhu (Adv. Math., 2023), and the Kolmogorov-type theorem of Kalaj (J. Math. Anal. Appl., 2025), for harmonic quasiregular mappings. We also obtain a partial converse, thus showing that the proposed growth condition is the best possible. Furthermore, as an application of the classical conjugate function theorems, we establish a harmonic analogue of a well-known result of Hardy and Littlewood.
△ Less
Submitted 2 January, 2025;
originally announced January 2025.
-
Dynamics, data and reconstruction
Authors:
Suddhasattwa Das,
Tomoharu Suda
Abstract:
Data-driven learning is prevalent in many fields of science, mathematics and engineering. The goal of data-driven learning of dynamical systems is to interpret timeseries as a continuous observation of an underlying dynamical system. This task is not well-posed for a variety of reasons. A dynamical system may have multiple sub-systems co-existing within it. The nature of the dataset depends on the…
▽ More
Data-driven learning is prevalent in many fields of science, mathematics and engineering. The goal of data-driven learning of dynamical systems is to interpret timeseries as a continuous observation of an underlying dynamical system. This task is not well-posed for a variety of reasons. A dynamical system may have multiple sub-systems co-existing within it. The nature of the dataset depends on the portion of the phase space being viewed, and may thus be confined to a sub-system. Secondly these sub-systems may be topologically inter-weaved, so may be inseparable computationally. Thirdly, two timeseries sampled separately from different dynamical systems may be close or even indistinguishable. Thus a timeseries may not have a unique source. We show how these ambiguities are circumvented if one considers dynamical systems and measurement maps collectively. This is made possible in a category theoretical framework, in which reconstruction is unique up to equivalences. Dynamical systems, observed dynamical systems, and timeseries data - each of these three collections have an extensive network of relations within them, which gives them the mathematical structure of a category. We show that the transformations preserve these relations, and thus have the mathematical property of being functors. Secondly we show that under mild conditions of consistency, reconstruction algorithms are themselves functors from the category of timeseries-data into the category of dynamical systems. Finally we present the task of inverting the data into dynamics, using the language of Kan extensions.
△ Less
Submitted 9 February, 2025; v1 submitted 27 December, 2024;
originally announced December 2024.
-
Ordering results between two finite arithmetic mixture models with multiple-outlier location-scale distributed components
Authors:
Raju Bhakta,
Nuria Torrado,
Sangita Das,
Suchandan Kayal
Abstract:
In this article, we introduce finite mixture models (FMMs) renowned for capturing population heterogeneity. Our focus lies in establishing stochastic comparisons between two arithmetic (finite) mixture models, employing the vector majorization concept in the context of various univariate orders of magnitude, transform, and variability. These comparisons are conducted within the framework of multip…
▽ More
In this article, we introduce finite mixture models (FMMs) renowned for capturing population heterogeneity. Our focus lies in establishing stochastic comparisons between two arithmetic (finite) mixture models, employing the vector majorization concept in the context of various univariate orders of magnitude, transform, and variability. These comparisons are conducted within the framework of multiple-outlier location-scale models. Specifically, we derive sufficient conditions for comparing two finite arithmetic mixture models with components distributed in a multiple-outlier location-scale model.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
Categorification of modules and construction of schemes
Authors:
Abhishek Banerjee,
Subhajit Das,
Surjeet Kour
Abstract:
We use categorification of module structures to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of module categories over monoidal categories. We obtain schemes over a datum $(\mathcal C,\mathcal M)$, where $(\mathcal C,\otimes,1)$ is a symmetric…
▽ More
We use categorification of module structures to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of module categories over monoidal categories. We obtain schemes over a datum $(\mathcal C,\mathcal M)$, where $(\mathcal C,\otimes,1)$ is a symmetric monoidal category and $\mathcal M$ is a module category over $\mathcal C$. One of our main tools is using the datum $(\mathcal C,\mathcal M)$ to give a Grothendieck topology on the category of affine schemes over $(\mathcal C,\otimes,1)$ that we call the ``spectral $\mathcal M$-topology.'' This consists of ``fpqc $\mathcal M$-coverings'' with certain special properties. We also give a counterpart for a construction of Connes and Consani by presenting a notion of scheme over a composite datum consisting of a $\mathcal C$-module category $\mathcal M$ and the category of commutative monoids with an absorbing element.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Sign pattern matrices associated with cycle graphs that require algebraic positivity
Authors:
Sunil Das
Abstract:
A real matrix is said to be positive if its every entry is positive, and a real square matrix A is algebraically positive if there exists a real polynomial f such that f(A) is a positive matrix. A sign pattern matrix A is said to require a property if all matrices having sign pattern as A have that property. In this paper, we characterize all sign pattern matrices associated with cycle graphs that…
▽ More
A real matrix is said to be positive if its every entry is positive, and a real square matrix A is algebraically positive if there exists a real polynomial f such that f(A) is a positive matrix. A sign pattern matrix A is said to require a property if all matrices having sign pattern as A have that property. In this paper, we characterize all sign pattern matrices associated with cycle graphs that require algebraic positivity.
△ Less
Submitted 19 June, 2025; v1 submitted 9 December, 2024;
originally announced December 2024.
-
On a bipartite graph defined on groups
Authors:
Shrabani Das,
Ahmad Erfanian,
Rajat Kanti Nath
Abstract:
Let $G$ be a group and $L(G)$ be the set of all subgroups of $G$. We introduce a bipartite graph $\mathcal{B}(G)$ on $G$ whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. We establish connections between $\mathcal{B}(G)$ and the generating graph of $G$. We also discuss about…
▽ More
Let $G$ be a group and $L(G)$ be the set of all subgroups of $G$. We introduce a bipartite graph $\mathcal{B}(G)$ on $G$ whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. We establish connections between $\mathcal{B}(G)$ and the generating graph of $G$. We also discuss about various graph parameters such as independence number, domination number, girth, diameter, matching number, clique number, irredundance number, domatic number and minimum size of a vertex cover of $\mathcal{B}(G)$. We obtain relations between $\mathcal{B}(G)$ and certain probabilities associated to finite groups. We also obtain expressions for various topological indices of $\mathcal{B}(G)$. Finally, we realize the structures of $\mathcal{B}(G)$ for the dihedral groups of order $2p$ and $2p^2$ and dicyclic groups of order $4p$ and $4p^2$ (where $p$ is any prime) including certain other small order groups.
△ Less
Submitted 6 December, 2024;
originally announced December 2024.
-
Frequent elements in union-closed set families
Authors:
Shagnik Das,
Saintan Wu
Abstract:
The Union-Closed Sets Conjecture asks whether every union-closed set family $\mathcal{F}$ has an element contained in $\frac12 |\mathcal{F}|$ of its sets. In 2022, Nagel posed a generalisation of this problem, suggesting that the $k$th most popular element in a union-closed set family must be contained in at least $\frac{1}{2^{k-1} + 1} |\mathcal{F}|$ sets.
We combine the entropic method of Gilm…
▽ More
The Union-Closed Sets Conjecture asks whether every union-closed set family $\mathcal{F}$ has an element contained in $\frac12 |\mathcal{F}|$ of its sets. In 2022, Nagel posed a generalisation of this problem, suggesting that the $k$th most popular element in a union-closed set family must be contained in at least $\frac{1}{2^{k-1} + 1} |\mathcal{F}|$ sets.
We combine the entropic method of Gilmer with the combinatorial arguments of Knill to show that this is indeed the case for all $k \ge 3$, and when $k = 2$ and either $|\mathcal{F}| \le 44$ or $|\mathcal{F}| \ge 114$, and characterise the families that achieve equality.
Furthermore, we show that when $|\mathcal{F}| \to \infty$, the $k$th most frequent element will appear in at least $\left( \frac{3 - \sqrt{5}}{2} - o(1) \right) |\mathcal{F}|$ sets, reflecting the recent progress made for the Union-Closed Set Conjecture.
△ Less
Submitted 14 December, 2024; v1 submitted 4 December, 2024;
originally announced December 2024.
-
Regularity results for a class of mixed local and nonlocal singular problems involving distance function
Authors:
Kaushik Bal,
Stuti Das
Abstract:
We investigate the following mixed local and nonlocal quasilinear equation with singularity given by \begin{eqnarray*} \begin{split} -Δ_pu+(-Δ)_q^s u&=\frac{f(x)}{u^δ}\text { in } Ω, \\u&>0 \text{ in } Ω,\\u&=0 \text { in }\mathbb{R}^n \backslash Ω; \end{split} \end{eqnarray*} where, \begin{equation*} (-Δ)_q^s u(x):= c_{n,s}\operatorname{P.V.}\int_{\mathbb{R}^n}\frac{|u(x)-u(y)|^{q-2}(u(x)-u(y))}{…
▽ More
We investigate the following mixed local and nonlocal quasilinear equation with singularity given by \begin{eqnarray*} \begin{split} -Δ_pu+(-Δ)_q^s u&=\frac{f(x)}{u^δ}\text { in } Ω, \\u&>0 \text{ in } Ω,\\u&=0 \text { in }\mathbb{R}^n \backslash Ω; \end{split} \end{eqnarray*} where, \begin{equation*} (-Δ)_q^s u(x):= c_{n,s}\operatorname{P.V.}\int_{\mathbb{R}^n}\frac{|u(x)-u(y)|^{q-2}(u(x)-u(y))}{|x-y|^{n+sq}} d y, \end{equation*} with $Ω$ being a bounded domain in $\mathbb{R}^{n}$ with $C^2$ boundary, $1<q\leq p<\infty$, $s\in(0,1)$, $δ>0$ and $f\in L^\infty_{\mathrm{loc}}(Ω)$ is a non-negative function which behaves like $\mathbf{dist(x,\partial Ω)^{-β}}$, $β\geq 0$ near $\partial Ω$. We start by proving several Hölder and gradient Hölder regularity results for a more general class of quasilinear operators when $δ=0$. Using the regularity results we deduce existence, uniqueness and Hölder regularity of a weak solution of the singular problem in $W_{\mathrm{loc}}^{1,p}(Ω)$ and its behavior near $\partial Ω$ albeit with different exponents depending on $β+δ$. Boundedness and Hölder regularity result to the singular equation with critical exponent were also discussed.
△ Less
Submitted 21 January, 2025; v1 submitted 21 November, 2024;
originally announced November 2024.
-
Multipacking in Euclidean Plane
Authors:
Arun Kumar Das,
Sandip Das,
Sk Samim Islam,
Ritam M Mitra,
Bodhayan Roy
Abstract:
We initiate the study of multipacking problems for geometric point sets with respect to their Euclidean distances. We consider a set of $n$ points $P$ and define $N_s[v]$ as the subset of $P$ that includes the $s$ nearest points of $v \in P$ and the point $v$ itself. We assume that the \emph{$s$-th neighbor} of each point is unique, for every $s \in \{0, 1, 2, \dots , n-1\}$. For a natural number…
▽ More
We initiate the study of multipacking problems for geometric point sets with respect to their Euclidean distances. We consider a set of $n$ points $P$ and define $N_s[v]$ as the subset of $P$ that includes the $s$ nearest points of $v \in P$ and the point $v$ itself. We assume that the \emph{$s$-th neighbor} of each point is unique, for every $s \in \{0, 1, 2, \dots , n-1\}$. For a natural number $r \leq n$, an $r$-multipacking is a set $ M \subseteq P $ such that for each point $ v \in P $ and for every integer $ 1\leq s \leq r $, $|N_s[v]\cap M|\leq (s+1)/2$. The $r$-multipacking number of $ P $ is the maximum cardinality of an $r$-multipacking of $ P $ and is denoted by $ \MP_{r}(P) $. For $r=n-1$, an $r$-multipacking is called a multipacking and $r$-multipacking number is called as multipacking number. We study the problem of computing a maximum $r$-multipacking for point sets in $\mathbb{R}^2$. We show that a maximum $1$-multipacking can be computed in polynomial time but computing a maximum $2$-multipacking is NP complete. Further, we provide approximation and parameterized solutions to the $2$-multipacking problem.
△ Less
Submitted 19 November, 2024;
originally announced November 2024.
-
Convergence to equilibrium for a degenerate triangular reaction-diffusion system
Authors:
Saumyajit Das,
Harsha Hutridurga
Abstract:
In this article we study a reaction diffusion system with $m$ unknown concentration. The non-linearity in our study comes from an underlying reversible chemical reaction and triangular in nature. Our objective is to understand the large time behaviour of solution where there are degeneracies. In particular we treat those cases when one of the diffusion coefficient is zero and others are strictly p…
▽ More
In this article we study a reaction diffusion system with $m$ unknown concentration. The non-linearity in our study comes from an underlying reversible chemical reaction and triangular in nature. Our objective is to understand the large time behaviour of solution where there are degeneracies. In particular we treat those cases when one of the diffusion coefficient is zero and others are strictly positive. We prove convergence to equilibrium type of results under some condition on stoichiometric coefficients in dimension $1$,$2$ and $3$ in correspondence with the existence of classical solution. For dimension greater than 3 we prove similar result under certain closeness condition on the non-zero diffusion coefficients and with the same condition imposed on stoichiometric coefficients. All the constant occurs in the decay estimates are explicit.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
On limiting distributions of arithmetic functions
Authors:
Sourabhashis Das
Abstract:
For a natural number n, let M(n) denote the maximum exponent of any prime power dividing n, and let m(n) denote the minimum exponent of any prime power dividing n. We study the second moments of these arithmetic functions and establish their limiting distributions. We introduce a new discrete probabilistic distribution dependent on a function f taking values in [0,1], study its first two moments,…
▽ More
For a natural number n, let M(n) denote the maximum exponent of any prime power dividing n, and let m(n) denote the minimum exponent of any prime power dividing n. We study the second moments of these arithmetic functions and establish their limiting distributions. We introduce a new discrete probabilistic distribution dependent on a function f taking values in [0,1], study its first two moments, and provide examples of several arithmetic functions satisfying such distribution as their limiting behavior.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
On a probabilistic global optimizer derived from the Walker slice sampling
Authors:
Aditya Gupta,
Souvik Das,
Debasish Chatterjee
Abstract:
This article presents a zeroth order probabilistic global optimization algorithm -- SwiftNav -- for (not necessarily convex) functions over a compact domain. A discretization procedure is deployed on the compact domain, starting with a small step-size $h > 0$ and subsequently adaptively refining it in the course of a simulated annealing routine utilizing the Walker slice and the Gibbs sampler, in…
▽ More
This article presents a zeroth order probabilistic global optimization algorithm -- SwiftNav -- for (not necessarily convex) functions over a compact domain. A discretization procedure is deployed on the compact domain, starting with a small step-size $h > 0$ and subsequently adaptively refining it in the course of a simulated annealing routine utilizing the Walker slice and the Gibbs sampler, in order to identify a set of global optimizers up to good precision. SwiftNav is parallelizable, which helps with scalability as the dimension of decision variables increases. Several numerical experiments are included here to demonstrate the effectiveness and accuracy of SwiftNav in high-dimensional benchmark optimization problems.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
Commuting Conjugacy Class Graphs of Finite Groups and the Hansen-Vukičević Conjecture
Authors:
Shrabani Das,
Rajat Kanti Nath,
Yilun Shang
Abstract:
In this work, we compute the first and second Zagreb indices for the commuting conjugacy class graphs associated with finite groups. We identify multiple classes of finite groups whose commuting conjugacy class graphs are shown to satisfy the Hansen-Vuki{č}evi{ć} conjecture. Specifically, we prove that the conjecture holds for the commuting conjugacy class graphs of dihedral groups ($D_{2m}$), dic…
▽ More
In this work, we compute the first and second Zagreb indices for the commuting conjugacy class graphs associated with finite groups. We identify multiple classes of finite groups whose commuting conjugacy class graphs are shown to satisfy the Hansen-Vuki{č}evi{ć} conjecture. Specifically, we prove that the conjecture holds for the commuting conjugacy class graphs of dihedral groups ($D_{2m}$), dicyclic groups, semidihedral groups, and various other two-generator groups. Moreover, we examine the case where the quotient $G/Z(G)$ is isomorphic to $D_{2m}$, $\mathbb{Z}_p \times \mathbb{Z}_p$, a Frobenius group of order $pq$ or $p^2q$, or any group of order $p^3$, for primes $p$ and $q$. In each of these cases, we demonstrate that the corresponding commuting conjugacy class graph satisfies the Hansen-Vuki{č}evi{ć} conjecture.
△ Less
Submitted 1 June, 2025; v1 submitted 5 November, 2024;
originally announced November 2024.
-
Expanding polynomials for sets with additive structure
Authors:
Sanjana Das,
Cosmin Pohoata,
Adam Sheffer
Abstract:
The expansion of bivariate polynomials is well-understood for sets with a linear-sized product set. In contrast, not much is known for sets with small sumset. In this work, we provide expansion bounds for polynomials of the form $f(x, y) = g(x + p(y)) + h(y)$ for sets with small sumset. In particular, we prove that when $|A|$, $|B|$, $|A + A|$, and $|B + B|$ are not too far apart, for every…
▽ More
The expansion of bivariate polynomials is well-understood for sets with a linear-sized product set. In contrast, not much is known for sets with small sumset. In this work, we provide expansion bounds for polynomials of the form $f(x, y) = g(x + p(y)) + h(y)$ for sets with small sumset. In particular, we prove that when $|A|$, $|B|$, $|A + A|$, and $|B + B|$ are not too far apart, for every $\varepsilon > 0$ we have \[|f(A, B)| = Ω\left(\frac{|A|^{256/121 - \varepsilon}|B|^{74/121 - \varepsilon}}{|A + A|^{108/121}|B + B|^{24/121}}\right).\] We show that the above bound and its variants have a variety of applications in additive combinatorics and distinct distances problems.
Our proof technique relies on the recent proximity approach of Solymosi and Zahl. In particular, we show how to incorporate the size of a sumset into this approach.
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Asymptotic colengths for families of ideals: an analytic approach
Authors:
Sudipta Das,
Cheng Meng
Abstract:
This article focuses on the existence of asymptotic colengths for families of $\fm_{R}$-primary ideals in a Noetherian local ring $(R,\fm)$. In any characteristic, we generalize graded families to weakly graded families of ideals, and in prime characteristic, we explore various families such as weakly $p$-families and weakly inverse $p$-families. The main contribution of this paper is providing a…
▽ More
This article focuses on the existence of asymptotic colengths for families of $\fm_{R}$-primary ideals in a Noetherian local ring $(R,\fm)$. In any characteristic, we generalize graded families to weakly graded families of ideals, and in prime characteristic, we explore various families such as weakly $p$-families and weakly inverse $p$-families. The main contribution of this paper is providing a unified analytic method to prove the existence of limits. Additionally, we establish Brunn-Minkowski type inequalities, positivity results, and volume = multiplicity formulas for these families of ideals.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Odd-Ramsey numbers of complete bipartite graphs
Authors:
Simona Boyadzhiyska,
Shagnik Das,
Thomas Lesgourgues,
Kalina Petrova
Abstract:
In his study of graph codes, Alon introduced the concept of the odd-Ramsey number of a family of graphs $\mathcal{H}$ in $K_n$, defined as the minimum number of colours needed to colour the edges of $K_n$ so that every copy of a graph $H\in \mathcal{H}$ intersects some colour class in an odd number of edges. In this paper, we focus on complete bipartite graphs. First, we completely resolve the pro…
▽ More
In his study of graph codes, Alon introduced the concept of the odd-Ramsey number of a family of graphs $\mathcal{H}$ in $K_n$, defined as the minimum number of colours needed to colour the edges of $K_n$ so that every copy of a graph $H\in \mathcal{H}$ intersects some colour class in an odd number of edges. In this paper, we focus on complete bipartite graphs. First, we completely resolve the problem when $\mathcal{H}$ is the family of all spanning complete bipartite graphs on $n$ vertices. We then focus on its subfamilies, that is, $\{K_{t,n-t}\colon t\in T\}$ for a fixed set of integers $T\subseteq [\lfloor n/2 \rfloor]$. We prove that the odd-Ramsey problem is equivalent to determining the maximum dimension of a linear binary code avoiding codewords of given weights, and leverage known results from coding theory to deduce asymptotically tight bounds in our setting. We conclude with bounds for the odd-Ramsey numbers of fixed (that is, non-spanning) complete bipartite subgraphs.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Limits of Learning Dynamical Systems
Authors:
Tyrus Berry,
Suddhasattwa Das
Abstract:
A dynamical system is a transformation of a phase space, and the transformation law is the primary means of defining as well as identifying the dynamical system. It is the object of focus of many learning techniques. Yet there are many secondary aspects of dynamical systems - invariant sets, the Koopman operator, and Markov approximations, which provide alternative objectives for learning techniqu…
▽ More
A dynamical system is a transformation of a phase space, and the transformation law is the primary means of defining as well as identifying the dynamical system. It is the object of focus of many learning techniques. Yet there are many secondary aspects of dynamical systems - invariant sets, the Koopman operator, and Markov approximations, which provide alternative objectives for learning techniques. Crucially, while many learning methods are focused on the transformation law, we find that forecast performance can depend on how well these other aspects of the dynamics are approximated. These different facets of a dynamical system correspond to objects in completely different spaces - namely interpolation spaces, compact Hausdorff sets, unitary operators and Markov operators respectively. Thus learning techniques targeting any of these four facets perform different kinds of approximations. We examine whether an approximation of any one of these aspects of the dynamics could lead to an approximation of another facet. Many connections and obstructions are brought to light in this analysis. Special focus is put on methods of learning of the primary feature - the dynamics law itself. The main question considered is the connection of learning this law with reconstructing the Koopman operator and the invariant set. The answers are tied to the ergodic and topological properties of the dynamics, and reveal how these properties determine the limits of forecasting techniques.
△ Less
Submitted 20 September, 2024;
originally announced September 2024.
-
On the number of prime factors with a given multiplicity over h-free and h-full numbers
Authors:
Sourabhashis Das,
Wentang Kuo,
Yu-Ru Liu
Abstract:
Let $k$ and $n$ be natural numbers. Let $ω_k(n)$ denote the number of distinct prime factors of $n$ with multiplicity $k$ as studied by Elma and the third author. We obtain asymptotic estimates for the first and the second moments of $ω_k(n)$ when restricted to the set of $h$-free and $h$-full numbers. We prove that $ω_1(n)$ has normal order $\log \log n$ over $h$-free numbers, $ω_h(n)$ has normal…
▽ More
Let $k$ and $n$ be natural numbers. Let $ω_k(n)$ denote the number of distinct prime factors of $n$ with multiplicity $k$ as studied by Elma and the third author. We obtain asymptotic estimates for the first and the second moments of $ω_k(n)$ when restricted to the set of $h$-free and $h$-full numbers. We prove that $ω_1(n)$ has normal order $\log \log n$ over $h$-free numbers, $ω_h(n)$ has normal order $\log \log n$ over $h$-full numbers, and both of them satisfy the Erdős-Kac Theorem. Finally, we prove that the functions $ω_k(n)$ with $1 < k < h$ do not have normal order over $h$-free numbers and $ω_k(n)$ with $k > h$ do not have normal order over $h$-full numbers.
△ Less
Submitted 17 September, 2024;
originally announced September 2024.
-
Distribution of $ω(n)$ over $h$-free and $h$-full numbers
Authors:
Sourabhashis Das,
Wentang Kuo,
Yu-Ru Liu
Abstract:
Let $ω(n)$ denote the number of distinct prime factors of a natural number $n$. In 1917, Hardy and Ramanujan proved that $ω(n)$ has normal order $\log \log n$ over naturals. In this work, we establish the first and the second moments of $ω(n)$ over $h$-free and $h$-full numbers using a new counting argument and prove that $ω(n)$ has normal order $\log \log n$ over these subsets.
Let $ω(n)$ denote the number of distinct prime factors of a natural number $n$. In 1917, Hardy and Ramanujan proved that $ω(n)$ has normal order $\log \log n$ over naturals. In this work, we establish the first and the second moments of $ω(n)$ over $h$-free and $h$-full numbers using a new counting argument and prove that $ω(n)$ has normal order $\log \log n$ over these subsets.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Numerical characterizations for integral dependence of graded ideals
Authors:
Suprajo Das,
Sudeshna Roy,
Vijaylaxmi Trivedi
Abstract:
Let $R=\oplus_{m\geq 0}R_m$ be a standard graded equidimensional ring over a field $R_0$, and $I\subseteq J$ be two non-nilpotent graded ideals in $R$. Then we give a set of numerical characterizations of the integral dependence of $I$ and $J$ in terms of certain multiplicities. A novelty of this approach is that it does not involve localization and only requires checking computable and well-studi…
▽ More
Let $R=\oplus_{m\geq 0}R_m$ be a standard graded equidimensional ring over a field $R_0$, and $I\subseteq J$ be two non-nilpotent graded ideals in $R$. Then we give a set of numerical characterizations of the integral dependence of $I$ and $J$ in terms of certain multiplicities. A novelty of this approach is that it does not involve localization and only requires checking computable and well-studied invariants.
In particular, we show the following: let $S=R[y]$, $\mathsf{I} = IS$ and $\mathsf{J} = JS$ and $\bf d$ be the maximum of the generating degrees of both $I$ and $J$. Let $c>{\bf d}$ be any given integer. Then $$\overline{I} = \overline{J}\iff e\big(S[\mathsf{I}t]_{Δ_{(c,1)}}\big) = e\big(S[\mathsf{J}t]_{Δ_{(c,1)}}\big),$$ where $e\big(S[\mathsf{I}t]_{Δ_{(c,1)}}\big)$ denotes the Hilbert-Samuel multiplicity of the standard graded domain $S[\mathsf{I}t]_{Δ_{(c,1)}} = \oplus_{n\geq 0}(\mathsf{I}^n)_{cn}t^n$. Further, if $I$ is of finite colength in $R$ then $e\big(S[\mathsf{I}t]_{Δ_{(c,1)}}\big) = c^de(R) - e(I,R)$.
If $R$ is also a domain, then other numerical criteria are the following: \begin{align*} \overline{I} = \overline{J} & \iff \varepsilon(I)=\varepsilon(J)\;\;\mbox{and}\;\; e_i(R[It]) = e_i(R[Jt])\;\;\mbox{for all}\;\; 0\leq i <\dim(R/I), \end{align*} where $\varepsilon(I)$ denotes the epsilon multiplicity of $I$, and $e_i(R[It])$'s are the mixed multiplicities of the Rees algebra $R[It]$. The relation between $e_i(S[\mathsf{I}t])$ and the polar multiplicities of $\mathsf{I}_{\geq {\bf d}}$ provides another criterion in terms of polar multiplicities of $\mathsf{I}_{\geq {\bf d}}$.
The first two characterizations generalize Rees's classical result for ideals of finite colengths. Apart from several well-established results, the proofs of these results use the theory of density functions, which was developed in arXiv:2311.17679.
△ Less
Submitted 9 May, 2025; v1 submitted 14 September, 2024;
originally announced September 2024.
-
On the number of irreducible factors with a given multiplicity in function fields
Authors:
Sourabhashis Das,
Ertan Elma,
Wentang Kuo,
Yu-Ru Liu
Abstract:
Let $k \geq 1$ be a natural number and $f \in \mathbb{F}_q[t]$ be a monic polynomial. Let $ω_k(f)$ denote the number of distinct monic irreducible factors of $f$ with multiplicity $k$. We obtain asymptotic estimates for the first and the second moments of $ω_k(f)$ with $k \geq 1$. Moreover, we prove that the function $ω_1(f)$ has normal order $\log (\text{deg}(f))$ and also satisfies the Erdős-Kac…
▽ More
Let $k \geq 1$ be a natural number and $f \in \mathbb{F}_q[t]$ be a monic polynomial. Let $ω_k(f)$ denote the number of distinct monic irreducible factors of $f$ with multiplicity $k$. We obtain asymptotic estimates for the first and the second moments of $ω_k(f)$ with $k \geq 1$. Moreover, we prove that the function $ω_1(f)$ has normal order $\log (\text{deg}(f))$ and also satisfies the Erdős-Kac Theorem. Finally, we prove that the functions $ω_k(f)$ with $k \geq 2$ do not have normal order.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Discrete-time dynamics, step-skew products, and pipe-flows
Authors:
Suddhasattwa Das
Abstract:
A discrete-time deterministic dynamical system is governed at every step by a predetermined law. However the dynamics can lead to many complexities in the phase space and in the domain of observables that makes it comparable to a stochastic process. This behavior is characterized by properties such as mixing and ergodicity. This article presents two different approximation schemes for such a dynam…
▽ More
A discrete-time deterministic dynamical system is governed at every step by a predetermined law. However the dynamics can lead to many complexities in the phase space and in the domain of observables that makes it comparable to a stochastic process. This behavior is characterized by properties such as mixing and ergodicity. This article presents two different approximation schemes for such a dynamical system. Each scheme approximates the ergodicity of the deterministic dynamics using different principles. The first is a step-skew product system, in which a finite state Markov process drives a dynamics on Euclidean space. The second is a continuous-time skew-product system, in which a deterministic, mixing flow intermittently drives a deterministic flow through a topological space created by gluing cylinders. This system is called a perturbed pipe-flow. We show how these three representations are interchangeable. It is proved that the distribution induced on the space of paths by these three types of dynamics can be made arbitrarily close to each other. This indicates that it is impossible to decide whether a general timeseries is generated by a deterministic or stochastic process, and is of continuous or discrete time.
△ Less
Submitted 24 February, 2025; v1 submitted 3 September, 2024;
originally announced September 2024.
-
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 2 October, 2024; v1 submitted 27 August, 2024;
originally announced August 2024.
