Showing 1–37 of 37 results for author: Dutta, P

Pace in Concert with Phase: Rate-induced Phase-tipping in Birhythmic Oscillators

Authors: Ravi Kumar K, Hassan Alkhayuon, Sebastian Wieczorek, Partha Sharathi Dutta

Abstract: We study rate-induced phase-tipping (RP-tipping) between two stable limit cycles of a birhythmic oscillator. We say that such an oscillator RP-tips when a time variation of an input parameter preserves the bistability of the limit cycles but induces transitions from one stable limit cycle to the other, causing abrupt changes in the amplitude and frequency of the oscillations. Crucially, these tran… ▽ More We study rate-induced phase-tipping (RP-tipping) between two stable limit cycles of a birhythmic oscillator. We say that such an oscillator RP-tips when a time variation of an input parameter preserves the bistability of the limit cycles but induces transitions from one stable limit cycle to the other, causing abrupt changes in the amplitude and frequency of the oscillations. Crucially, these transitions occur when: the rate of change of the input is in a certain interval bounded by critical rate(s), and the system is in certain phases of the cycle. We focus on two illustrative examples: the birhythmic van der Pol oscillator and the birhythmic Decroly-Goldbeter glycolysis model, each subjected to monotone and non-monotone shifts in their input parameters. We explain RP-tipping in terms of properties of the autonomous frozen system, including the phase of a cycle and partial basin instability along the parameter path traced by the changing input. We show that RP-tipping can occur as an irreversible one-way transition or as a series of transitions between the stable limit cycles. Finally, we present RP-tipping diagrams showing combinations of the rate and magnitude of parameter shifts and the phase of the oscillation that give rise to this genuine non-autonomous instability. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 40 pages, 19 figures, comments are welcome

Algebraic metacomplexity and representation theory

Authors: Maxim van den Berg, Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Vladimir Lysikov

Abstract: In the algebraic metacomplexity framework we prove that the decomposition of metapolynomials into their isotypic components can be implemented efficiently, namely with only a quasipolynomial blowup in the circuit size. We use this to resolve an open question posed by Grochow, Kumar, Saks & Saraf (2017). Our result means that many existing algebraic complexity lower bound proofs can be efficiently… ▽ More In the algebraic metacomplexity framework we prove that the decomposition of metapolynomials into their isotypic components can be implemented efficiently, namely with only a quasipolynomial blowup in the circuit size. We use this to resolve an open question posed by Grochow, Kumar, Saks & Saraf (2017). Our result means that many existing algebraic complexity lower bound proofs can be efficiently converted into isotypic lower bound proofs via highest weight metapolynomials, a notion studied in geometric complexity theory. In the context of algebraic natural proofs, it means that without loss of generality algebraic natural proofs can be assumed to be isotypic. Our proof is built on the Poincaré-Birkhoff-Witt theorem for Lie algebras and on Gelfand-Tsetlin theory, for which we give the necessary comprehensive background. △ Less

Submitted 7 February, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: 31 pages. Added Corollary 1.2 adressing an open question from [GKSS]; Introduction is rewritten; some minor fixes

MSC Class: 68Q15; 20C35; 16S30 ACM Class: F.1.3

Analysis of a Class of Two-delay Fractional Differential Equation

Authors: Sachin Bhalekar, Pragati Dutta

Abstract: The differential equations involving two discrete delays are helpful in modeling two different processes in one model. We provide the stability and bifurcation analysis in the fractional order delay differential equation $D^αx(t)=a x(t)+b x(t-τ)-b x(t-2τ)$ in the $ab$-plane. Various regions of stability include stable (S), unstable (U), single stable region (SSR), and stability switch (SS). In the… ▽ More The differential equations involving two discrete delays are helpful in modeling two different processes in one model. We provide the stability and bifurcation analysis in the fractional order delay differential equation $D^αx(t)=a x(t)+b x(t-τ)-b x(t-2τ)$ in the $ab$-plane. Various regions of stability include stable (S), unstable (U), single stable region (SSR), and stability switch (SS). In the stable region, the system is stable for all the delay values. The region SSR has a critical value of delay that bifurcates the stable and unstable behavior. Switching of stable and unstable behaviors is observed in the SS region. △ Less

Submitted 24 September, 2024; originally announced September 2024.

Comments: 25 pages, 27 figures

MSC Class: 34K20; 26A33

Shifted second moment of the Riemann zeta function and a Fourier type kernel

Authors: Parikshit Dutta, Debashis Ghoshal, Krishnan Rajkumar

Abstract: We compute the second moment of the Riemann zeta function for shifted arguments over a domain that extends the ones in the literature. We use the Riemann-Siegel formula for the error term in the approximate functional equation and take the products of all the terms into account. We also show that, as a function of imaginary shifts on the critical line, the the second moment behaves like a Fourier-… ▽ More We compute the second moment of the Riemann zeta function for shifted arguments over a domain that extends the ones in the literature. We use the Riemann-Siegel formula for the error term in the approximate functional equation and take the products of all the terms into account. We also show that, as a function of imaginary shifts on the critical line, the the second moment behaves like a Fourier-Cauchy type kernel on a class of functions. This is reminiscent of orthogonal functions. △ Less

Submitted 8 August, 2024; originally announced August 2024.

Comments: 17 pages

Non-uniform dependence on periodic initial data for the two-component Fornberg-Whitham system in Besov spaces

Authors: Prerona Dutta, Barbara Lee Keyfitz

Abstract: This paper establishes non-uniform continuity of the data-to-solution map in the periodic case, for the two-component Fornberg-Whitham system in Besov spaces $B^s_{p,r}(\mathbb{T}) \times B^{s-1}_{p,r}(\mathbb{T})$ for $s> \max\{2+\frac{1}{p}, \frac{5}{2}\}$. In particular, when $p=2$ and $r=2$, this proves the non-uniform dependence on initial data for the system in Sobolev spaces… ▽ More This paper establishes non-uniform continuity of the data-to-solution map in the periodic case, for the two-component Fornberg-Whitham system in Besov spaces $B^s_{p,r}(\mathbb{T}) \times B^{s-1}_{p,r}(\mathbb{T})$ for $s> \max\{2+\frac{1}{p}, \frac{5}{2}\}$. In particular, when $p=2$ and $r=2$, this proves the non-uniform dependence on initial data for the system in Sobolev spaces $H^s(\mathbb{T})\times H^{s-1}(\mathbb{T})$ for $s> \frac{5}{2}$. △ Less

Submitted 4 July, 2024; originally announced July 2024.

MSC Class: 35Q35; 35B30

Chow Groups: A Structure Theorem, RIEMANN-ROCH without denominators and ARTIN approximation

Authors: S. P. Dutta

Abstract: The focus of this note is on the Chow group problem over ramified regular local rings $(R, m)$. Our goal is threefold: i) to introduce a characterization of a ramified regular local ring essentially of finite type over a dvr, ii) to address the question whether $(i-1)!$ $\mathbb{A}^i(U)=0$ for specific open subsets $U$ of Spec$R$ and iii) to establish a constructive relation between Chow groups of… ▽ More The focus of this note is on the Chow group problem over ramified regular local rings $(R, m)$. Our goal is threefold: i) to introduce a characterization of a ramified regular local ring essentially of finite type over a dvr, ii) to address the question whether $(i-1)!$ $\mathbb{A}^i(U)=0$ for specific open subsets $U$ of Spec$R$ and iii) to establish a constructive relation between Chow groups of the henselization $(R^h, m^h)$ and Chow groups of the completion $(\hat{R}, \hat{m})$ of $(R, m)$. △ Less

Submitted 14 June, 2024; originally announced June 2024.

MSC Class: Primary: 13D22; 14C40; Secondary: 13H05

Fixed-parameter debordering of Waring rank

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Abstract: Border complexity measures are defined via limits (or topological closures), so that any function which can approximated arbitrarily closely by low complexity functions itself has low border complexity. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of limits. Debordering is at the heart of underst… ▽ More Border complexity measures are defined via limits (or topological closures), so that any function which can approximated arbitrarily closely by low complexity functions itself has low border complexity. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of limits. Debordering is at the heart of understanding the difference between Valiant's determinant vs permanent conjecture, and Mulmuley and Sohoni's variation which uses border determinantal complexity. The debordering of matrix multiplication tensors by Bini played a pivotal role in the development of efficient matrix multiplication algorithms. Consequently, debordering finds applications in both establishing computational complexity lower bounds and facilitating algorithm design. Currently, very few debordering results are known. In this work, we study the question of debordering the border Waring rank of polynomials. Waring and border Waring rank are very well studied measures in the context of invariant theory, algebraic geometry, and matrix multiplication algorithms. For the first time, we obtain a Waring rank upper bound that is exponential in the border Waring rank and only linear in the degree. All previous known results were exponential in the degree. For polynomials with constant border Waring rank, our results imply an upper bound on the Waring rank linear in degree, which previously was only known for polynomials with border Waring rank at most 5. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: 22 pages; accepted at STACS 2024; this is an edited part of the preprint arXiv:2211.07055

MSC Class: 68Q99 ACM Class: F.1.3

Journal ref: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), pp. 30:1-30:15

Homogeneous Algebraic Complexity Theory and Algebraic Formulas

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Abstract: We study algebraic complexity classes and their complete polynomials under \emph{homogeneous linear} projections, not just under the usual affine linear projections that were originally introduced by Valiant in 1979. These reductions are weaker yet more natural from a geometric complexity theory (GCT) standpoint, because the corresponding orbit closure formulations do not require the padding of po… ▽ More We study algebraic complexity classes and their complete polynomials under \emph{homogeneous linear} projections, not just under the usual affine linear projections that were originally introduced by Valiant in 1979. These reductions are weaker yet more natural from a geometric complexity theory (GCT) standpoint, because the corresponding orbit closure formulations do not require the padding of polynomials. We give the \emph{first} complete polynomials for VF, the class of sequences of polynomials that admit small algebraic formulas, under homogeneous linear projections: The sum of the entries of the non-commutative elementary symmetric polynomial in 3 by 3 matrices of homogeneous linear forms. Even simpler variants of the elementary symmetric polynomial are hard for the topological closure of a large subclass of VF: the sum of the entries of the non-commutative elementary symmetric polynomial in 2 by 2 matrices of homogeneous linear forms, and homogeneous variants of the continuant polynomial (Bringmann, Ikenmeyer, Zuiddam, JACM '18). This requires a careful study of circuits with arity-3 product gates. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: This is edited part of preprint arXiv:2211.07055

MSC Class: 68Qxx ACM Class: F.1.3

Journal ref: 15th Innovations in Theoretical Computer Science Conference (ITCS 2024), pp. 43:1-43:23

Rate-Induced Transitions in Networked Complex Adaptive Systems: Exploring Dynamics and Management Implications Across Ecological, Social, and Socioecological Systems

Authors: Vítor V. Vasconcelos, Flávia M. D. Marquitti, Theresa Ong, Lisa C. McManus, Marcus Aguiar, Amanda B. Campos, Partha S. Dutta, Kristen Jovanelly, Victoria Junquera, Jude Kong, Elisabeth H. Krueger, Simon A. Levin, Wenying Liao, Mingzhen Lu, Dhruv Mittal, Mercedes Pascual, Flávio L. Pinheiro, Juan Rocha, Fernando P. Santos, Peter Sloot, Chenyang, Su, Benton Taylor, Eden Tekwa, Sjoerd Terpstra , et al. (5 additional authors not shown)

Abstract: Complex adaptive systems (CASs), from ecosystems to economies, are open systems and inherently dependent on external conditions. While a system can transition from one state to another based on the magnitude of change in external conditions, the rate of change -- irrespective of magnitude -- may also lead to system state changes due to a phenomenon known as a rate-induced transition (RIT). This st… ▽ More Complex adaptive systems (CASs), from ecosystems to economies, are open systems and inherently dependent on external conditions. While a system can transition from one state to another based on the magnitude of change in external conditions, the rate of change -- irrespective of magnitude -- may also lead to system state changes due to a phenomenon known as a rate-induced transition (RIT). This study presents a novel framework that captures RITs in CASs through a local model and a network extension where each node contributes to the structural adaptability of others. Our findings reveal how RITs occur at a critical environmental change rate, with lower-degree nodes tipping first due to fewer connections and reduced adaptive capacity. High-degree nodes tip later as their adaptability sources (lower-degree nodes) collapse. This pattern persists across various network structures. Our study calls for an extended perspective when managing CASs, emphasizing the need to focus not only on thresholds of external conditions but also the rate at which those conditions change, particularly in the context of the collapse of surrounding systems that contribute to the focal system's resilience. Our analytical method opens a path to designing management policies that mitigate RIT impacts and enhance resilience in ecological, social, and socioecological systems. These policies could include controlling environmental change rates, fostering system adaptability, implementing adaptive management strategies, and building capacity and knowledge exchange. Our study contributes to the understanding of RIT dynamics and informs effective management strategies for complex adaptive systems in the face of rapid environmental change. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 25 pages, 4 figures, 1 box, supplementary information

MSC Class: 37G; 37N; 91B; 91C; 91D; 91E; 92D; 92D25; 92D40; 92F; 93A; 93A14; 93A16 ACM Class: I.6.3; I.6.m; J.3; J.4; J.m; K.4.2

Well-posedness of the two-component Fornberg-Whitham system in Besov spaces

Authors: Prerona Dutta

Abstract: The present paper establishes well-posedness for the two-component Fornberg-Whitham system in Besov spaces. First the existence and uniqueness of its solution is proved, then it is shown that the corresponding data-to-solution map is continuous, provided the initial data belong to Besov spaces. The present paper establishes well-posedness for the two-component Fornberg-Whitham system in Besov spaces. First the existence and uniqueness of its solution is proved, then it is shown that the corresponding data-to-solution map is continuous, provided the initial data belong to Besov spaces. △ Less

Submitted 5 October, 2023; v1 submitted 19 August, 2023; originally announced August 2023.

MSC Class: 35Q35; 35B30

Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits

Authors: Pranjal Dutta, Prateek Dwivedi, Nitin Saxena

Abstract: Polynomial Identity Testing (PIT) is a fundamental computational problem. The famous depth-$4$ reduction result by Agrawal and Vinay (FOCS 2008) has made PIT for depth-$4$ circuits an enticing pursuit. A restricted depth-4 circuit computing a $n$-variate degree-$d$ polynomial of the form $\sum_{i = 1}^{k} \prod_{j} g_{ij}$, where $°g_{ij} \leq δ$ is called $Σ^{[k]}ΠΣΠ^{[δ]}$ circuit. On further re… ▽ More Polynomial Identity Testing (PIT) is a fundamental computational problem. The famous depth-$4$ reduction result by Agrawal and Vinay (FOCS 2008) has made PIT for depth-$4$ circuits an enticing pursuit. A restricted depth-4 circuit computing a $n$-variate degree-$d$ polynomial of the form $\sum_{i = 1}^{k} \prod_{j} g_{ij}$, where $°g_{ij} \leq δ$ is called $Σ^{[k]}ΠΣΠ^{[δ]}$ circuit. On further restricting $g_{ij}$ to be sum of univariates we obtain $Σ^{[k]}ΠΣ\wedge$ circuits. The largely open, special-cases of $Σ^{[k]}ΠΣΠ^{[δ]}$ for constant $k$ and $δ$, and $Σ^{[k]}ΠΣ\wedge$ have been a source of many great ideas in the last two decades. For eg. depth-$3$ ideas of Dvir and Shpilka (STOC 2005), Kayal and Saxena (CCC 2006), and Saxena and Seshadhri (FOCS 2010 and STOC 2011). Further, depth-$4$ ideas of Beecken, Mittmann and Saxena (ICALP 2011), Saha, Saxena and Saptharishi (Comput.Compl. 2013), Forbes (FOCS 2015), and Kumar and Saraf (CCC 2016). Additionally, geometric Sylvester-Gallai ideas of Kayal and Saraf (FOCS 2009), Shpilka (STOC 2019), and Peleg and Shpilka (CCC 2020, STOC 2021). Very recently, a subexponential-time blackbox PIT algorithm for constant-depth circuits was obtained via lower bound breakthrough of Limaye, Srinivasan, Tavenas (FOCS 2021). We solve two of the basic underlying open problems in this work. We give the first polynomial-time PIT for $Σ^{[k]}ΠΣ\wedge$. We also give the first quasipolynomial time blackbox PIT for both $Σ^{[k]}ΠΣ\wedge$ and $Σ^{[k]}ΠΣΠ^{[δ]}$. A key technical ingredient in all the three algorithms is how the logarithmic derivative, and its power-series, modify the top $Π$-gate to $\wedge$. △ Less

Submitted 22 April, 2023; originally announced April 2023.

Comments: A preliminary version appeared in 36th Computational Complexity Conference (CCC), 2021

ACM Class: F.2.1

Geometric complexity theory for product-plus-power

Authors: Pranjal Dutta, Fulvio Gesmundo, Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov

Abstract: According to Kumar's recent surprising result (ToCT'20), a small border Waring rank implies that the polynomial can be approximated as a sum of a constant and a small product of linear polynomials. We prove the converse of Kumar's result and establish a tight connection between border Waring rank and the model of computation in Kumar's result. In this way, we obtain a new formulation of border War… ▽ More According to Kumar's recent surprising result (ToCT'20), a small border Waring rank implies that the polynomial can be approximated as a sum of a constant and a small product of linear polynomials. We prove the converse of Kumar's result and establish a tight connection between border Waring rank and the model of computation in Kumar's result. In this way, we obtain a new formulation of border Waring rank, up to a factor of the degree. We connect this new formulation to the orbit closure problem of the product-plus-power polynomial. We study this orbit closure from two directions: 1. We deborder this orbit closure and some related orbit closures, i.e., prove all points in the orbit closure have small non-border algebraic branching programs. 2. We fully implement the geometric complexity theory approach against the power sum by generalizing the ideas of Ikenmeyer-Kandasamy (STOC'20) to this new orbit closure. In this way, we obtain new multiplicity obstructions that are constructed from just the symmetries of the polynomials. △ Less

Submitted 28 May, 2025; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: This version (v3) has been accepted for publication at the "special issue on the topics of MEGA 2024" of the Journal of Symbolic Computation. Parts of v1/v2 have been published independently as "Fixed-parameter debordering of Waring rank" (DOI: 10.4230/LIPIcs.STACS.2024.30) and "Homogeneous Algebraic Complexity Theory and Algebraic Formulas" (DOI: 10.4230/LIPIcs.ITCS.2024.43)

MSC Class: 68W30; 14-XX; 05E10 ACM Class: F.1.3

Extending Lagrangian transformations to nonconvex scalar conservation laws

Authors: Prerona Dutta

Abstract: The present paper studies a method of finding Lagrangian transformations, in the form of particle paths, for all scalar conservation laws having a smooth flux. These are found using the notion of weak diffeomorphisms. More precisely, from any given scalar conservation law, we derive a Temple system having one linearly degenerate and one genuinely nonlinear family. We modify the system to make it s… ▽ More The present paper studies a method of finding Lagrangian transformations, in the form of particle paths, for all scalar conservation laws having a smooth flux. These are found using the notion of weak diffeomorphisms. More precisely, from any given scalar conservation law, we derive a Temple system having one linearly degenerate and one genuinely nonlinear family. We modify the system to make it strictly hyperbolic and prove an existence result for it. Finally we establish that entropy admissible weak solutions to this system are equivalent to those of the scalar equation. This method also determines the associated weak diffeomorphism. △ Less

Submitted 24 October, 2022; originally announced October 2022.

MSC Class: 35L65 (Primary) 35L40; 35L45 (Secondary)

Journal ref: https://ejde.math.txstate.edu/Volumes/2022/78/dutta.pdf

Local Cohomology of Module of Differentials of Integral Extensions II

Authors: S. P. Dutta

Abstract: In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of $Ω_{B/R}$ in equicharacteristic $0$, ii) to establish a connection between each of $Ω_{B/R}$ and $Ω_{B/V}$ and pull-back of $Ω_{A/V}$ via a short exact sequence together w… ▽ More In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of $Ω_{B/R}$ in equicharacteristic $0$, ii) to establish a connection between each of $Ω_{B/R}$ and $Ω_{B/V}$ and pull-back of $Ω_{A/V}$ via a short exact sequence together with new observations on corresponding local cohomologies in mixed characteristic where $V$ is the coefficient ring of $R$ and $A$ is its absolute integral closure, iii) to demonstrate that $Ω_{B/R}$ can be mapped onto a cohomologically Cohen-Macaulay module and iv) to study torsion-free property for $Ω_{C/V}$ and $Ω_{C/k}$ along with their respective completions where $C$ is an integral domain and a module finite extension of $R$. In this connection an extension of Suzuki's theorem on normality of complete intersections to the formal set-up in all characteristics is accomplished. △ Less

Submitted 6 June, 2022; originally announced June 2022.

Local Cohomology of Module of Differentials of integral extensions

Authors: S. P. Dutta

Abstract: The main focus of this paper is on determining the highest non-vanishing local cohomology modules of Ω_(B/R), Ω_(B/V)(Ω_(B/k)) where R is either a complete regular local ring or a complete local normal domain with coefficient ring V (field k) and B is its integral closure in an algebraic extension of Q(R). Similar problem is also studied over a normal domain R containing a field k of characteristi… ▽ More The main focus of this paper is on determining the highest non-vanishing local cohomology modules of Ω_(B/R), Ω_(B/V)(Ω_(B/k)) where R is either a complete regular local ring or a complete local normal domain with coefficient ring V (field k) and B is its integral closure in an algebraic extension of Q(R). Similar problem is also studied over a normal domain R containing a field k of characteristic 0. In this connection new observations on the direct summand property for integral extensions are also presented. △ Less

Submitted 21 March, 2021; originally announced March 2021.

MSC Class: 13

A $p$-arton Model for Modular Cusp Forms

Authors: Parikshit Dutta, Debashis Ghoshal

Abstract: We propose to associate to a modular form (an infinite number of) complex valued functions on the $p$-adic numbers $\mathbb{Q}_p$ for each prime $p$. We elaborate on the correspondence and study its consequence in terms of the Mellin transforms and the $L$-functions related to the forms. Further we discuss the case of products of Dirichlet $L$-functions and their Mellin duals, which are convolutio… ▽ More We propose to associate to a modular form (an infinite number of) complex valued functions on the $p$-adic numbers $\mathbb{Q}_p$ for each prime $p$. We elaborate on the correspondence and study its consequence in terms of the Mellin transforms and the $L$-functions related to the forms. Further we discuss the case of products of Dirichlet $L$-functions and their Mellin duals, which are convolution products of $\vartheta$-series. The latter are intriguingly similar to non-holomorphic Maass forms of weight zero as suggested by their Fourier coefficients. △ Less

Submitted 16 April, 2021; v1 submitted 26 February, 2021; originally announced March 2021.

Comments: 1+23 pages, 1 appendix, v2: typos corrected, references added

MSC Class: 11M99; 11Z05; 11F11; 11F37

Metric entropy for Hamilton-Jacobi equation with uniformly directionally convex Hamiltonian

Authors: Stefano Bianchini, Prerona Dutta, Khai T. Nguyen

Abstract: The present paper first aims to study the BV-type regularity for viscosity solutions of the Hamilton-Jacobi equation \[ u_t(t,x)+H\big(D_{x} u(t,x)\big)~=~0\qquad\forall (t,x)\in ]0,\infty[\times\mathbb{R}^d \] with a coercive and uniformly directionally convex Hamiltonian $H\in\mathcal{C}^{1}(\mathbb{R}^d)$. More precisely, we establish a BV bound on the slope of backward characteristics… ▽ More The present paper first aims to study the BV-type regularity for viscosity solutions of the Hamilton-Jacobi equation \[ u_t(t,x)+H\big(D_{x} u(t,x)\big)~=~0\qquad\forall (t,x)\in ]0,\infty[\times\mathbb{R}^d \] with a coercive and uniformly directionally convex Hamiltonian $H\in\mathcal{C}^{1}(\mathbb{R}^d)$. More precisely, we establish a BV bound on the slope of backward characteristics $DH(u(t,\cdot))$ starting at a positive time $t>0$. Relying on the BV bound, we quantify the metric entropy in ${\bf W}^{1,1}_{\mathrm{loc}}(\mathbb{R}^d)$ for the map $S_t$ that associates to every given initial data $u_0\in{\bf Lip}\big(\mathbb{R}^d\big)$, the corresponding solution $S_tu_0$. Finally, a counter example is constructed to show that both $D_xu(t,\cdot)$ and $DH(D_xu(t,\cdot))$ fail to be in $BV_{\mathrm{loc}}$ for a general strictly convex and coercive $H\in\mathcal{C}^2(\mathbb{R}^d)$. △ Less

Submitted 1 February, 2022; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: 30 pages

Pseudodifferential Operators on $\mathbf{Q}_p$ and $L$-Series

Authors: Parikshit Dutta, Debashis Ghoshal

Abstract: We define a family of pseudodifferential operators on the Hilbert space $L^2(\mathbf{Q}_p)$ of complex valued square-integrable functions on the $p$-adic number field $\mathbf{Q}_p$. The Riemann zeta-function and the related Dirichlet $L$-functions can be expressed as a trace of these operators on a subspace of $L^2(\mathbf{Q}_p)$. We also extend this to the $L$-functions associated with modular (… ▽ More We define a family of pseudodifferential operators on the Hilbert space $L^2(\mathbf{Q}_p)$ of complex valued square-integrable functions on the $p$-adic number field $\mathbf{Q}_p$. The Riemann zeta-function and the related Dirichlet $L$-functions can be expressed as a trace of these operators on a subspace of $L^2(\mathbf{Q}_p)$. We also extend this to the $L$-functions associated with modular (cusp) forms. Wavelets on $L^2(\mathbf{Q}_p)$ are common sets of eigenfunctions of these operators. △ Less

Submitted 28 February, 2020; originally announced March 2020.

Comments: 1+13 pages, 1 figure

MSC Class: 11M06; 47G30; 65T60

Metric entropy for functions of bounded total generalized variation

Authors: Rossana Capuani, Prerona Dutta, Khai T. Nguyen

Abstract: We establish a sharp estimate for a minimal number of binary digits (bits) needed to represent all bounded total generalized variation functions taking values in a general totally bounded metric space $(E,ρ)$ up to an accuracy of $\varepsilon>0$ with respect to the ${\bf L}^1$-distance. Such an estimate is explicitly computed in terms of doubling and packing dimensions of $(E,ρ)$. The obtained res… ▽ More We establish a sharp estimate for a minimal number of binary digits (bits) needed to represent all bounded total generalized variation functions taking values in a general totally bounded metric space $(E,ρ)$ up to an accuracy of $\varepsilon>0$ with respect to the ${\bf L}^1$-distance. Such an estimate is explicitly computed in terms of doubling and packing dimensions of $(E,ρ)$. The obtained result is applied to provide an upper bound on the metric entropy for a set of entropy admissible weak solutions to scalar conservation laws in one-dimensional space with weakly genuinely nonlinear fluxes. △ Less

Submitted 18 November, 2020; v1 submitted 30 November, 2019; originally announced December 2019.

Comments: 26

On r-noncommuting graph of finite rings

Authors: Rajat Kanti Nath, Monalisha Sharma, Parama Dutta, Yilun Shang

Abstract: Let $R$ be a finite ring and $r\in R$. The $r$-noncommuting graph of $R$, denoted by $Γ_R^r$, is a simple undirected graph whose vertex set is $R$ and two vertices $x$ and $y$ are adjacent if and only if $[x,y] \neq r$ and $-r$. In this paper, we study several properties of $Γ_R^r$. We show that $Γ_R^r$ is not a regular graph, a lollipop graph and complete bipartite graph. Further, we consider an… ▽ More Let $R$ be a finite ring and $r\in R$. The $r$-noncommuting graph of $R$, denoted by $Γ_R^r$, is a simple undirected graph whose vertex set is $R$ and two vertices $x$ and $y$ are adjacent if and only if $[x,y] \neq r$ and $-r$. In this paper, we study several properties of $Γ_R^r$. We show that $Γ_R^r$ is not a regular graph, a lollipop graph and complete bipartite graph. Further, we consider an induced subgraph of $Γ_R^r$ (induced by the non-central elements of $R$) and obtained some characterizations of $R$. △ Less

Submitted 19 August, 2021; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: 17 pages

On Deficient Perfect Numbers with Four Distinct Prime Factors

Authors: Parama Dutta, Manjil P. Saikia

Abstract: For a positive integer $n$, if $σ(n)$ denotes the sum of the positive divisors of $n$, then $n$ is called a deficient perfect number if $σ(n)=2n-d$ for some positive divisor $d$ of $n$. In this paper, we prove some results about odd deficient perfect numbers with four distinct prime factors. For a positive integer $n$, if $σ(n)$ denotes the sum of the positive divisors of $n$, then $n$ is called a deficient perfect number if $σ(n)=2n-d$ for some positive divisor $d$ of $n$. In this paper, we prove some results about odd deficient perfect numbers with four distinct prime factors. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 11 pages, preprint version (journal version may differ). To appear in Asian-European Journal of Mathematics

MSC Class: Primary 11A25; Secondary 11A41; 11B99

Covering numbers for bounded variation functions

Authors: Prerona Dutta, Khai T. Nguyen

Abstract: In this paper, we provide upper and lower estimates for the minimal number of functions needed to represent a bounded variation function with an accuracy of epsilon with respect to ${\bf L}^1$-distance. In this paper, we provide upper and lower estimates for the minimal number of functions needed to represent a bounded variation function with an accuracy of epsilon with respect to ${\bf L}^1$-distance. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Comments: 14 pages

A note on faithful coupling of Markov chains

Authors: Debojyoti Dey, Pranjal Dutta, Somenath Biswas

Abstract: One often needs to turn a coupling $(X_i, Y_i)_{i\geq 0}$ of a Markov chain into a sticky coupling where once $X_T = Y_T$ at some $T$, then from then on, at each subsequent time step $T'\geq T$, we shall have $X_{T'} = Y_{T'}$. However, not all of what are considered couplings in literature, even Markovian couplings, can be turned into sticky couplings, as proved by Rosenthal through a counter exa… ▽ More One often needs to turn a coupling $(X_i, Y_i)_{i\geq 0}$ of a Markov chain into a sticky coupling where once $X_T = Y_T$ at some $T$, then from then on, at each subsequent time step $T'\geq T$, we shall have $X_{T'} = Y_{T'}$. However, not all of what are considered couplings in literature, even Markovian couplings, can be turned into sticky couplings, as proved by Rosenthal through a counter example. Rosenthal then proposed a strengthening of the Markovian coupling notion, termed as faithful coupling, from which a sticky coupling can indeed be obtained. We identify the reason why a sticky coupling could not be obtained in the counter example of Rosenthal, which motivates us to define a type of coupling which can obviously be turned into a sticky coupling. We show then that the new type of coupling that we define, and the faithful coupling as defined by Rosenthal, are actually identical. Our note may be seen as a demonstration of the naturalness of the notion of faithful coupling. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Comments: 9 pages

MSC Class: 60J10 ACM Class: G.3

On relative commuting probability of finite rings

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: In this paper we study the probability that the commutator of a randomly chosen pair of elements, one from a subring of a finite ring and other from the ring itself equals to a given element of the ring. In this paper we study the probability that the commutator of a randomly chosen pair of elements, one from a subring of a finite ring and other from the ring itself equals to a given element of the ring. △ Less

Submitted 17 August, 2017; originally announced August 2017.

On generalized commuting probability of finite rings

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: Let $R$ be a finite ring and $r \in R$. The aim of this paper is to study the probability that the commutator of a randomly chosen pair of elements of $R$ equals $r$. Let $R$ be a finite ring and $r \in R$. The aim of this paper is to study the probability that the commutator of a randomly chosen pair of elements of $R$ equals $r$. △ Less

Submitted 17 July, 2017; originally announced July 2017.

MSC Class: 16U70; 16U80

On relative autocommutativity degree of a subgroup of a finite group

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: In this paper, we consider the probability that a randomly chosen automorphism of a finite group fixes a randomly chosen element of a subgroup of that group. We obtain several new results as well as generalizations and improvements of some existing results on this probability. In this paper, we consider the probability that a randomly chosen automorphism of a finite group fixes a randomly chosen element of a subgroup of that group. We obtain several new results as well as generalizations and improvements of some existing results on this probability. △ Less

Submitted 18 June, 2017; originally announced June 2017.

On Laplacian energy of non-commuting graphs of finite groups

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: In this paper, we compute Laplacian energy of the non-commuting graphs of some classes of finite non-abelian groups. In this paper, we compute Laplacian energy of the non-commuting graphs of some classes of finite non-abelian groups. △ Less

Submitted 27 May, 2017; originally announced May 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1705.01275; text overlap with arXiv:1705.00137

Laplacian Spectrum of non-commuting graphs of finite groups

Authors: Parama Dutta, Jutirekha Dutta, Rajat Kanti Nath

Abstract: In this paper, we compute the Laplacian spectrum of non-commuting graphs of some classes of finite non-abelian groups. Our computations reveal that the non-commuting graphs of all the groups considered in this paper are L-integral. We also obtain some conditions on a group $G$ so that its non-commuting graph is L-integral. In this paper, we compute the Laplacian spectrum of non-commuting graphs of some classes of finite non-abelian groups. Our computations reveal that the non-commuting graphs of all the groups considered in this paper are L-integral. We also obtain some conditions on a group $G$ so that its non-commuting graph is L-integral. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1604.07133

Various energies of some super integral groups

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: In this paper, we obtain energy, Laplacian energy and signless Laplacian energy of the commuting graphs of some families of finite non-abelian groups. In this paper, we obtain energy, Laplacian energy and signless Laplacian energy of the commuting graphs of some families of finite non-abelian groups. △ Less

Submitted 29 April, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1608.02760

MSC Class: 20D99; 05C50; 15A18; 05C25

Autocommuting probability of a finite group relative to its subgroups

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: Let $H \subseteq K$ be two subgroups of a finite group $G$ and Aut$(K)$ the automorphism group of $K$. The autocommuting probability of $G$ relative to its subgroups $H$ and $K$, denoted by ${\rm Pr}(H, {\rm Aut}(K))$, is the probability that the autocommutator of a randomly chosen pair of elements, one from $H$ and the other from Aut$(K)$, is equal to the identity element of $G$. In this paper, w… ▽ More Let $H \subseteq K$ be two subgroups of a finite group $G$ and Aut$(K)$ the automorphism group of $K$. The autocommuting probability of $G$ relative to its subgroups $H$ and $K$, denoted by ${\rm Pr}(H, {\rm Aut}(K))$, is the probability that the autocommutator of a randomly chosen pair of elements, one from $H$ and the other from Aut$(K)$, is equal to the identity element of $G$. In this paper, we study ${\rm Pr}(H, {\rm Aut}(K))$ through a generalization. △ Less

Submitted 10 February, 2017; originally announced February 2017.

Comments: 13 pages. arXiv admin note: substantial text overlap with arXiv:1702.00561

MSC Class: 20D60; 20P05; 20F28

Autocommuting probability of a finite group

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: Let $G$ be a finite group and $\Aut(G)$ the automorphism group of $G$. The autocommuting probability of $G$, denoted by $\Pr(G, \Aut(G))$, is the probability that a randomly chosen automorphism of $G$ fixes a randomly chosen element of $G$. In this paper, we study $\Pr(G, \Aut(G))$ through a generalization. We obtain a computing formula, several bounds and characterizations of $G$ through… ▽ More Let $G$ be a finite group and $\Aut(G)$ the automorphism group of $G$. The autocommuting probability of $G$, denoted by $\Pr(G, \Aut(G))$, is the probability that a randomly chosen automorphism of $G$ fixes a randomly chosen element of $G$. In this paper, we study $\Pr(G, \Aut(G))$ through a generalization. We obtain a computing formula, several bounds and characterizations of $G$ through $\Pr(G, \Aut(G))$. We conclude the paper by showing that the generalized autocommuting probability of $G$ remains unchanged under autoisoclinism. △ Less

Submitted 2 February, 2017; originally announced February 2017.

Comments: 10 pages

MSC Class: 20D60; 20P05; 20F28

Descent of Flatness and the Direct Summand Conjecture

Authors: S. P. Dutta

Abstract: In the central theorem of this article we prove the following: if $R$ is a complete regular local ring and $B$ is the integral closure of $R$ in the algebraic closure of the fraction field of $R$, then $\Hom_R(B, R) \neq 0$. Our proof of this theorem does not involve almost mathematics and it works for all characteristics. As consequences we derive the validity of a) descent of flatness for integr… ▽ More In the central theorem of this article we prove the following: if $R$ is a complete regular local ring and $B$ is the integral closure of $R$ in the algebraic closure of the fraction field of $R$, then $\Hom_R(B, R) \neq 0$. Our proof of this theorem does not involve almost mathematics and it works for all characteristics. As consequences we derive the validity of a) descent of flatness for integral extensions of Noetherian rings and b) direct summand conjecture due to M. Hochster. △ Less

Submitted 17 November, 2016; v1 submitted 13 November, 2016; originally announced November 2016.

Comments: This paper has been withdrawn by the author due to a gap in the proof of the main theorem

On commuting probability of finite rings II

Authors: Parama Dutta, Rajat Kanti Nath

Abstract: The aim of this paper is to study the probability that the commutator of an arbitrarily chosen pair of elements, each from two different subrings of a finite non-commutative ring equals a given element of that ring. We obtain several results on this probability including a computing formula, some bounds and characterizations. The aim of this paper is to study the probability that the commutator of an arbitrarily chosen pair of elements, each from two different subrings of a finite non-commutative ring equals a given element of that ring. We obtain several results on this probability including a computing formula, some bounds and characterizations. △ Less

Submitted 7 November, 2016; originally announced November 2016.

The Monomial Conjecture and order ideals II

Authors: S. P. Dutta

Abstract: Let $I$ be an ideal of height $d$ in a regular local ring $(R,m,k=R/m)$ of dimension $n$ and let $Ω$ denote the canonical module of $R/I$. In this paper we first prove the equivalence of the following: the non-vanishing of the edge homomorphism $η_d: \ext{R}{n-d}{k,Ω} \rightarrow \ext{R}{n}{k,R}$, the validity of the order ideal conjecture for regular local rings, and the validity of the monomial… ▽ More Let $I$ be an ideal of height $d$ in a regular local ring $(R,m,k=R/m)$ of dimension $n$ and let $Ω$ denote the canonical module of $R/I$. In this paper we first prove the equivalence of the following: the non-vanishing of the edge homomorphism $η_d: \ext{R}{n-d}{k,Ω} \rightarrow \ext{R}{n}{k,R}$, the validity of the order ideal conjecture for regular local rings, and the validity of the monomial conjecture for all local rings. Next we prove several special cases of the order ideal conjecture/monomial conjecture. △ Less

Submitted 5 April, 2016; v1 submitted 21 June, 2015; originally announced June 2015.

Comments: 16 pages

MSC Class: Primary: 13D02; 13D22; Secondary: 13C15; 13D25; 13H05

On Modules of Finite Projective Dimension

Authors: Sankar P. Dutta

Abstract: We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular we derive that in any local ring R of mixed ch… ▽ More We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the embeddability problem and prove important reductions and special cases of the order ideal conjecture. In particular we derive that in any local ring R of mixed characteristic p > 0, where p is a non-zero-divisor, if I is an ideal of finite projective dimension over R and p is in I or p is a non-zero-divisor on R/I, then every minimal generator of I is a non-zero-divisor. Hence if P is a prime ideal of finite projective dimension in a local ring R, then every minimal generator of P is a non-zero-divisor in R. △ Less

Submitted 30 June, 2014; originally announced July 2014.

MSC Class: Primary 13D02; 13D22; Secondary 13C15; 13D25; 13H05

On a Consequence of the Order Ideal Conjecture

Authors: Sankar P. Dutta

Abstract: Given a minimal set of generators $\bold{x}$ of an ideal $I$ of height d in a regular local ring ($R, m, k$) we prove several cases for which the map $K_d(\bold{x}; R) \otimes k \to \Tor_d^R (R/I, k)$ is the 0-map. As a consequence of the order ideal conjecture we derive several cases for which $K_{d+i}(\bold{x}; R) \otimes k \to \Tor_{d+i}^R (R/I, k)$ are 0-maps for $i \ge 0$. Given a minimal set of generators $\bold{x}$ of an ideal $I$ of height d in a regular local ring ($R, m, k$) we prove several cases for which the map $K_d(\bold{x}; R) \otimes k \to \Tor_d^R (R/I, k)$ is the 0-map. As a consequence of the order ideal conjecture we derive several cases for which $K_{d+i}(\bold{x}; R) \otimes k \to \Tor_{d+i}^R (R/I, k)$ are 0-maps for $i \ge 0$. △ Less

Submitted 7 May, 2013; originally announced May 2013.

The Monomial Conjecture and Order Ideals

Authors: S. P. Dutta

Abstract: In this article first we prove that a special case of the order ideal conjecture, originating from the work of Evans and Griffith in equicharacteristic, implies the monomial conjecture due to M. Hochster. We derive a necessary and sufficient condition for the validity of this special case in terms certain syzygis of canonical modules of normal domains possessing free summands. We also prove some s… ▽ More In this article first we prove that a special case of the order ideal conjecture, originating from the work of Evans and Griffith in equicharacteristic, implies the monomial conjecture due to M. Hochster. We derive a necessary and sufficient condition for the validity of this special case in terms certain syzygis of canonical modules of normal domains possessing free summands. We also prove some special cases of this observation. △ Less

Submitted 3 May, 2013; originally announced May 2013.

Journal ref: Journal of Algebra 22 (2013), 85 - 103