-
ItDPDM: Information-Theoretic Discrete Poisson Diffusion Model
Authors:
Sagnik Bhattacharya,
Abhiram Gorle,
Ahsan Bilal,
Connor Ding,
Amit Kumar Singh Yadav,
Tsachy Weissman
Abstract:
Generative modeling of non-negative, discrete data, such as symbolic music, remains challenging due to two persistent limitations in existing methods. Firstly, many approaches rely on modeling continuous embeddings, which is suboptimal for inherently discrete data distributions. Secondly, most models optimize variational bounds rather than exact data likelihood, resulting in inaccurate likelihood…
▽ More
Generative modeling of non-negative, discrete data, such as symbolic music, remains challenging due to two persistent limitations in existing methods. Firstly, many approaches rely on modeling continuous embeddings, which is suboptimal for inherently discrete data distributions. Secondly, most models optimize variational bounds rather than exact data likelihood, resulting in inaccurate likelihood estimates and degraded sampling quality. While recent diffusion-based models have addressed these issues separately, we tackle them jointly. In this work, we introduce the Information-Theoretic Discrete Poisson Diffusion Model (ItDPDM), inspired by photon arrival process, which combines exact likelihood estimation with fully discrete-state modeling. Central to our approach is an information-theoretic Poisson Reconstruction Loss (PRL) that has a provable exact relationship with the true data likelihood. ItDPDM achieves improved likelihood and sampling performance over prior discrete and continuous diffusion models on a variety of synthetic discrete datasets. Furthermore, on real-world datasets such as symbolic music and images, ItDPDM attains superior likelihood estimates and competitive generation quality-demonstrating a proof of concept for distribution-robust discrete generative modeling.
△ Less
Submitted 27 May, 2025; v1 submitted 8 May, 2025;
originally announced May 2025.
-
Bounding reduction number and the Hilbert coefficients of filtration
Authors:
Kumari Saloni,
Anoot Kumar Yadav
Abstract:
Let $(A,\m)$ be a Cohen-Macaulay local ring of dimension $d\geq 3$, $I$ an $\m$-primary ideal and $\mathcal{I}=\{I_n\}_{n\geq 0}$ an $I$-admissible filtration. We establish bounds for the third Hilbert coefficient: (i) $e_3(\mathcal{I})\leq e_2(\mathcal{I})(e_2(\mathcal{I})-1)$ and (ii) $e_3(I)\leq e_2(I)(e_2(I)-e_1(I)+e_0(I)-\ell(A/I))$ if $I$ is an integrally closed ideal. Further, assume the re…
▽ More
Let $(A,\m)$ be a Cohen-Macaulay local ring of dimension $d\geq 3$, $I$ an $\m$-primary ideal and $\mathcal{I}=\{I_n\}_{n\geq 0}$ an $I$-admissible filtration. We establish bounds for the third Hilbert coefficient: (i) $e_3(\mathcal{I})\leq e_2(\mathcal{I})(e_2(\mathcal{I})-1)$ and (ii) $e_3(I)\leq e_2(I)(e_2(I)-e_1(I)+e_0(I)-\ell(A/I))$ if $I$ is an integrally closed ideal. Further, assume the respective boundary cases along with the vanishing of $e_i(\mathcal{I})$ for $4\leq i\leq d$. Then we show that the associated graded ring of the Ratliff-Rush filtration of $\mathcal{I}$ is almost Cohen-Macaulay, Rossi's bound for the reduction number $r_J(I)$ of $I$ holds true and the reduction number of Ratliff-Rush filtration of $\mathcal{I}$ is bounded above by $r_J(\I).$ In addition, if $\wt{I^{r_J(I)}}=I^{r_J(I)}$, then we prove that $\reg G_I(A)=r_J(I)$ and a bound on the stability index of Ratliff-Rush filtration is obtained. We also do a parallel discussion on the \textquotedblleft good behaviour of the Ratliff-Rush filtration with respect to superficial sequence''.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
Information Spectrum Converse for Minimum Entropy Couplings and Functional Representations
Authors:
Yanina Y. Shkel,
Anuj Kumar Yadav
Abstract:
Given two jointly distributed random variables $(X,Y)$, a functional representation of $X$ is a random variable $Z$ independent of $Y$, and a deterministic function $g(\cdot, \cdot)$ such that $X=g(Y,Z)$. The problem of finding a minimum entropy functional representation is known to be equivalent to the problem of finding a minimum entropy coupling where, given a collection of probability distribu…
▽ More
Given two jointly distributed random variables $(X,Y)$, a functional representation of $X$ is a random variable $Z$ independent of $Y$, and a deterministic function $g(\cdot, \cdot)$ such that $X=g(Y,Z)$. The problem of finding a minimum entropy functional representation is known to be equivalent to the problem of finding a minimum entropy coupling where, given a collection of probability distributions $P_1, \dots, P_m$, the goal is to find a coupling $X_1, \dots, X_m$ ($X_i \sim P_i)$ with the smallest entropy $H_α(X_1, \dots, X_m)$. This paper presents a new information spectrum converse, and applies it to obtain direct lower bounds on minimum entropy in both problems. The new results improve on all known lower bounds, including previous lower bounds based on the concept of majorization. In particular, the presented proofs leverage both - the information spectrum and the majorization - perspectives on minimum entropy couplings and functional representations.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Ratliff-Rush filtration, Hilbert coefficients and the reduction number of integrally closed ideals
Authors:
Kumari Saloni,
Anoot Kumar Yadav
Abstract:
Let $(R,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d\geq 3$ and $I$ an integrally closed $\mathfrak{m}$-primary ideal. We establish bounds for the third Hilbert coefficient $e_3(I)$ in terms of the lower Hilbert coefficients $e_i(I),~0\leq i\leq 2$ and the reduction number of $I$. When $d=3$, the boundary cases of these bounds characterize certain properties of the Ratliff-Rush fi…
▽ More
Let $(R,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d\geq 3$ and $I$ an integrally closed $\mathfrak{m}$-primary ideal. We establish bounds for the third Hilbert coefficient $e_3(I)$ in terms of the lower Hilbert coefficients $e_i(I),~0\leq i\leq 2$ and the reduction number of $I$. When $d=3$, the boundary cases of these bounds characterize certain properties of the Ratliff-Rush filtration of $I$. These properties, though weaker than depth $G(I)\geq 1$, guarantees that Rossi's bound for reduction number $r_J(I)$ holds in dimension three. In that context, we prove that if $depth G(I)\geq d-3$, then $r_J(I)\leq e_1(I)-e_0(I)+\ell(R/I)+1+e_2(I)(e_2(I)-e_1(I)+e_0(I)-\ell(R/I))-e_3(I).$ We also discuss the signature of the fourth Hilbert coefficient $e_4(I).$
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
On the distality and expansivity of certain maps on spheres
Authors:
Manoj Choudhuri,
Gianluca Faraco,
Alok Kumar Yadav
Abstract:
Any affine map on the (n+1)-dimensional Euclidean space gives rise to a natural map on the n-dimensional sphere whose dynamical aspects are not so well-studied in the literature. We explore the dynamical aspects of these maps by investigating about their distality and expansivity.
Any affine map on the (n+1)-dimensional Euclidean space gives rise to a natural map on the n-dimensional sphere whose dynamical aspects are not so well-studied in the literature. We explore the dynamical aspects of these maps by investigating about their distality and expansivity.
△ Less
Submitted 9 September, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Relatively normal-slant helices in Minkowski $3$-space
Authors:
Akhilesh Yadav,
Ajay Kumar Yadav
Abstract:
In this paper, we study relatively normal-slant helices lying on timelike as well as spacelike surfaces in Minkowski $3$-space $ \mathbb{E}_1^3$. The axes of spacelike and timelike relatively normal-slant helices are obtained via their Darboux frames. We also establish characterization theorems for spacelike and timelike relatively normal-slant helices in Minkowski $3$-space $\mathbb{E}_1^3$. Fina…
▽ More
In this paper, we study relatively normal-slant helices lying on timelike as well as spacelike surfaces in Minkowski $3$-space $ \mathbb{E}_1^3$. The axes of spacelike and timelike relatively normal-slant helices are obtained via their Darboux frames. We also establish characterization theorems for spacelike and timelike relatively normal-slant helices in Minkowski $3$-space $\mathbb{E}_1^3$. Finally, the relationship between relatively normal-slant helices and slant helices is found on timelike as well as spacelike surfaces.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Distal Actions of Automorphisms of Lie Groups $G$ on $\rm Sub_{G}$
Authors:
Riddhi Shah,
Alok Kumar Yadav
Abstract:
For a locally compact metrizable group $G$, we study the action of $\rm Aut(G)$ on $\rm Sub_G$, the set of closed subgroups of $G$ endowed with the Chabauty topology. Given an automorphism $T$ of $G$, we relate the distality of the $T$-action on $\rm Sub_G$ with that of the $T$-action on $G$ under a certain condition. If $G$ is a connected Lie group, we characterise the distality of the $T$-action…
▽ More
For a locally compact metrizable group $G$, we study the action of $\rm Aut(G)$ on $\rm Sub_G$, the set of closed subgroups of $G$ endowed with the Chabauty topology. Given an automorphism $T$ of $G$, we relate the distality of the $T$-action on $\rm Sub_G$ with that of the $T$-action on $G$ under a certain condition. If $G$ is a connected Lie group, we characterise the distality of the $T$-action on $\rm Sub_G$ in terms of compactness of the closed group generated by $T$ in $\rm Aut(G)$ under certain conditions on the center of $G$ or on $T$ as follows: $G$ has no compact central subgroup of positive dimension or $T$ is unipotent or $T$ is contained in the connected component of the identity in $\rm Aut(G)$. Moreover, we also show that a connected Lie group $G$ acts distally on $\rm Sub_G$ if and only if $G$ is either compact or it is isomorphic to a direct product of a compact group and a vector group. All the results on the Lie groups mentioned above hold for the action on $\rm Sub^a_G$, a subset of $\rm Sub_G$ consisting of closed abelian subgroups of $G$.
△ Less
Submitted 30 December, 2021; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Distality of Certain Actions on $p$-adic Spheres
Authors:
Riddhi Shah,
Alok Kumar Yadav
Abstract:
Consider the action of $GL(n,\mathbb{Q_p})$ on the $p$-adic unit sphere $\mathcal{S}_n$ arising from the linear action on $\mathbb{Q}_p^n\setminus\{0\}$. We show that for the action of a semigroup $\mathfrak{S}$ of $GL(n,\mathbb{Q}_p)$ on $\mathcal{S}_n$, the following are equivalent: (1) $\mathfrak{S}$ acts distally on $\mathcal{S}_n$. (2) the closure of the image of $\mathfrak{S}$ in…
▽ More
Consider the action of $GL(n,\mathbb{Q_p})$ on the $p$-adic unit sphere $\mathcal{S}_n$ arising from the linear action on $\mathbb{Q}_p^n\setminus\{0\}$. We show that for the action of a semigroup $\mathfrak{S}$ of $GL(n,\mathbb{Q}_p)$ on $\mathcal{S}_n$, the following are equivalent: (1) $\mathfrak{S}$ acts distally on $\mathcal{S}_n$. (2) the closure of the image of $\mathfrak{S}$ in $PGL(n,\mathbb{Q}_p)$ is a compact group. On $\mathcal{S}_n$, we consider the `affine' maps $\overline{T}_a$ corresponding to $T$ in $GL(n,\mathbb{Q}_p)$ and a nonzero $a$ in $\mathbb{Q}_p^n$ satisfying $\|T^{-1}(a)\|_p<1$. We show that there exists a compact open subgroup $V$, which depends on $T$, such that $\overline{T}_a$ is distal for every nonzero $a\in V$ if and only if $T$ acts distally on $\mathcal{S}_n$. The dynamics of `affine' maps on $p$-adic unit spheres is quite different from that on the real unit spheres.
△ Less
Submitted 25 July, 2019; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Dynamics of Certain Distal Actions on Spheres
Authors:
Riddhi Shah,
Alok Kumar Yadav
Abstract:
Consider the action of $SL(n+1,\mathbb{R})$ on $\mathbb{S}^n$ arising as the quotient of the linear action on $\mathbb{R}^{n+1}\setminus\{0\}$. We show that for a semigroup $\mathfrak{S}$ of $SL(n+1,\mathbb{R})$, the following are equivalent: $(1)$ $\mathfrak{S}$ acts distally on the unit sphere $\mathbb{S}^n$. $(2)$ the closure of $\mathfrak{S}$ is a compact group. We also show that if…
▽ More
Consider the action of $SL(n+1,\mathbb{R})$ on $\mathbb{S}^n$ arising as the quotient of the linear action on $\mathbb{R}^{n+1}\setminus\{0\}$. We show that for a semigroup $\mathfrak{S}$ of $SL(n+1,\mathbb{R})$, the following are equivalent: $(1)$ $\mathfrak{S}$ acts distally on the unit sphere $\mathbb{S}^n$. $(2)$ the closure of $\mathfrak{S}$ is a compact group. We also show that if $\mathfrak{S}$ is closed, the above conditions are equivalent to the condition that every cyclic subsemigroup of $\mathfrak{S}$ acts distally on $\mathbb{S}^n$. On the unit circle $\mathbb{S}^1$, we consider the `affine' actions corresponding to maps in $GL(2,\mathbb{R})$ and discuss the conditions for the existence of fixed points and periodic points, which in turn imply that these maps are not distal.
△ Less
Submitted 28 May, 2018; v1 submitted 28 June, 2016;
originally announced June 2016.
