-
Semi-Explicit Neural DAEs: Learning Long-Horizon Dynamical Systems with Algebraic Constraints
Authors:
Avik Pal,
Alan Edelman,
Christopher Rackauckas
Abstract:
Despite the promise of scientific machine learning (SciML) in combining data-driven techniques with mechanistic modeling, existing approaches for incorporating hard constraints in neural differential equations (NDEs) face significant limitations. Scalability issues and poor numerical properties prevent these neural models from being used for modeling physical systems with complicated conservation…
▽ More
Despite the promise of scientific machine learning (SciML) in combining data-driven techniques with mechanistic modeling, existing approaches for incorporating hard constraints in neural differential equations (NDEs) face significant limitations. Scalability issues and poor numerical properties prevent these neural models from being used for modeling physical systems with complicated conservation laws. We propose Manifold-Projected Neural ODEs (PNODEs), a method that explicitly enforces algebraic constraints by projecting each ODE step onto the constraint manifold. This framework arises naturally from semi-explicit differential-algebraic equations (DAEs), and includes both a robust iterative variant and a fast approximation requiring a single Jacobian factorization. We further demonstrate that prior works on relaxation methods are special cases of our approach. PNODEs consistently outperform baselines across six benchmark problems achieving a mean constraint violation error below $10^{-10}$. Additionally, PNODEs consistently achieve lower runtime compared to other methods for a given level of error tolerance. These results show that constraint projection offers a simple strategy for learning physically consistent long-horizon dynamics.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Special cycles in compact locally Hermitian symmetric spaces of type III associated with the Lie group $SO_0(2,m)$
Authors:
Ankita Pal,
Pampa Paul
Abstract:
Let $G = SO_0(2,m),$ the connected component of the Lie group $SO(2,m);\ K = SO(2) \times SO(m),$ a maximal compact subgroup of $G;$ and $θ$ be the associated Cartan involution of $G.$ Let $X = G/K,\ \frak{g}_0$ be the Lie algebra of $G$ and $\frak{g} = \frak{g}_0^\mathbb{C}.$ In this article, we have considered the special cycles associated with all possible involutions of $G$ commuting with…
▽ More
Let $G = SO_0(2,m),$ the connected component of the Lie group $SO(2,m);\ K = SO(2) \times SO(m),$ a maximal compact subgroup of $G;$ and $θ$ be the associated Cartan involution of $G.$ Let $X = G/K,\ \frak{g}_0$ be the Lie algebra of $G$ and $\frak{g} = \frak{g}_0^\mathbb{C}.$ In this article, we have considered the special cycles associated with all possible involutions of $G$ commuting with $θ.$ We have determined the special cycles which give non-zero cohomology classes in $H^*(Γ\backslash X; \mathbb{C})$ for some $θ$-stable torsion-free arithmetic uniform lattice $Γ$ in $G,$ by a result of Millson and Raghunathan. For each cohomologically induced representation $A_\frak{q}$ with trivial infinitesimal character, we have determined the special cycles for which the non-zero cohomology class has no $A_\frak{q}$-component, via Matsushima's isomorphism.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
A $p$-Converse theorem for Real Quadratic Fields
Authors:
Muskan Bansal,
Somnath Jha,
Aprameyo Pal,
Guhan Venkat
Abstract:
Let $E$ be an elliptic curve defined over a real quadratic field $F$. Let $p > 5$ be a rational prime that is inert in $F$ and assume that $E$ has split multiplicative reduction at the prime $\mathfrak{p}$ of $F$ dividing $p$. Let $\underline{III}(E/F)$ denote the Tate-Shafarevich group of $E$ over $F$ and $ L(E/F,s) $ be the Hasse-Weil complex $L$-function of $E$ over $F$. Under some technical as…
▽ More
Let $E$ be an elliptic curve defined over a real quadratic field $F$. Let $p > 5$ be a rational prime that is inert in $F$ and assume that $E$ has split multiplicative reduction at the prime $\mathfrak{p}$ of $F$ dividing $p$. Let $\underline{III}(E/F)$ denote the Tate-Shafarevich group of $E$ over $F$ and $ L(E/F,s) $ be the Hasse-Weil complex $L$-function of $E$ over $F$. Under some technical assumptions, we show that when $rank_{\mathbb{Z}} \hspace{0.01mm} \hspace{1mm} E(F) = 1$ and $\#\Big(\underline{III}(E/F)_ {p^\infty}\Big) < \infty$, then $ord_{s=1} \ L(E/F,s) = 1$. Further, we give an applictaion to a $p$-converse theorem over $\mathbb{Q}$.
△ Less
Submitted 16 May, 2025; v1 submitted 30 April, 2025;
originally announced April 2025.
-
Target search optimization by threshold resetting
Authors:
Arup Biswas,
Satya N Majumdar,
Arnab Pal
Abstract:
We introduce a new class of first passage time optimization driven by threshold resetting, inspired by many natural processes where crossing a critical limit triggers failure, degradation or transition. In here, search agents are collectively reset when a threshold is reached, creating event-driven, system-coupled simultaneous resets that induce long-range interactions. We develop a unified framew…
▽ More
We introduce a new class of first passage time optimization driven by threshold resetting, inspired by many natural processes where crossing a critical limit triggers failure, degradation or transition. In here, search agents are collectively reset when a threshold is reached, creating event-driven, system-coupled simultaneous resets that induce long-range interactions. We develop a unified framework to compute search times for these correlated stochastic processes, with ballistic searchers as a key example uncovering diverse optimization behaviors. A cost function, akin to breakdown penalties, reveals that optimal resetting can forestall larger losses. This formalism generalizes to broader stochastic systems with multiple degrees of freedom.
△ Less
Submitted 18 April, 2025;
originally announced April 2025.
-
(Algebraic) $ p $-adic Artin formalism of twisted triple product Galois representations over real quadratic fields
Authors:
Bhargab Das,
Aprameyo Pal
Abstract:
In this article, we investigate factorization problems for twisted triple product Galois representations over real quadratic fields, arising from families of Hilbert cusp forms. Specifically, we address the factorization in two distinct settings determined by the order of vanishing of associated $L$-unctions at their central critical values-namely, the rank (1,1) and rank (0,2) cases. Our results…
▽ More
In this article, we investigate factorization problems for twisted triple product Galois representations over real quadratic fields, arising from families of Hilbert cusp forms. Specifically, we address the factorization in two distinct settings determined by the order of vanishing of associated $L$-unctions at their central critical values-namely, the rank (1,1) and rank (0,2) cases. Our results generalize the algebraic factorization framework developed by Büyükboduk et al. in higher rank scenario to the setting of real quadratic fields. Notably, our work yields the first known factorization result in the higher rank (0,2) case, marking a significant advancement in the study of triple product motives over totally real fields.
△ Less
Submitted 10 July, 2025; v1 submitted 10 March, 2025;
originally announced March 2025.
-
Universal criterion for selective outcomes under stochastic resetting
Authors:
Suvam Pal,
Leonardo Dagdug,
Dibakar Ghosh,
Denis Boyer,
Arnab Pal
Abstract:
Resetting plays a pivotal role in optimizing the completion time of complex first passage processes with single or multiple outcomes/exit possibilities. While it is well established that the coefficient of variation -- a statistical dispersion defined as a ratio of the fluctuations over the mean of the first passage time -- must be larger than unity for resetting to be beneficial for any outcome a…
▽ More
Resetting plays a pivotal role in optimizing the completion time of complex first passage processes with single or multiple outcomes/exit possibilities. While it is well established that the coefficient of variation -- a statistical dispersion defined as a ratio of the fluctuations over the mean of the first passage time -- must be larger than unity for resetting to be beneficial for any outcome averaged over all the possibilities, the same can not be said while conditioned on a particular outcome. The purpose of this letter is to derive a universal condition which reveals that two statistical metric -- the mean and coefficient of variation of the conditional times -- come together to determine when resetting can expedite the completion of a selective outcome, and furthermore can govern the biasing between preferential and non-preferential outcomes. The universality of this result is demonstrated for a one dimensional diffusion process subjected to resetting with two absorbing boundaries.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Quasi-Boolean groups
Authors:
Ambrus Pál,
Gereon Quick
Abstract:
We give several equivalent characterisations of the maximal pro-2 quotients of real projective groups. In particular, for pro-2 real projective groups we provide a presentation in terms of generators and relations, and a purely cohomological characterisation. As a consequence we explicitly reconstruct such groups from their mod 2 cohomology rings.
We give several equivalent characterisations of the maximal pro-2 quotients of real projective groups. In particular, for pro-2 real projective groups we provide a presentation in terms of generators and relations, and a purely cohomological characterisation. As a consequence we explicitly reconstruct such groups from their mod 2 cohomology rings.
△ Less
Submitted 3 March, 2025; v1 submitted 11 February, 2025;
originally announced February 2025.
-
On the Artin formalism for triple product $p$-adic $L$-functions: Chow--Heegner points vs. Heegner points
Authors:
Kâzım Büyükboduk,
Daniele Casazza,
Aprameyo Pal,
Carlos de Vera-Piquero
Abstract:
Our main objective in this paper (which is expository for the most part) is to study the necessary steps to prove a factorization formula for a certain triple product $p$-adic $L$-function guided by the Artin formalism. The key ingredients are: a) the explicit reciprocity laws governing the relationship of diagonal cycles and generalized Heegner cycles to $p$-adic $L$-functions; b) a careful compa…
▽ More
Our main objective in this paper (which is expository for the most part) is to study the necessary steps to prove a factorization formula for a certain triple product $p$-adic $L$-function guided by the Artin formalism. The key ingredients are: a) the explicit reciprocity laws governing the relationship of diagonal cycles and generalized Heegner cycles to $p$-adic $L$-functions; b) a careful comparison of Chow--Heegner points and twisted Heegner points in Hida families, via formulae of Gross--Zagier type.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Localizing Single and Multiple Oscillatory Sources: A Frequency Divider Approach
Authors:
Rajasekhar Anguluri,
Anamitra Pal
Abstract:
Localizing sources of troublesome oscillations, particularly forced oscillations (FOs), in power systems has received considerable attention over the last few years. This is driven in part by the massive deployment of phasor measurement units (PMUs) that capture these oscillations when they occur; and in part by the increasing incidents of FOs due to malfunctioning components, wind power fluctuati…
▽ More
Localizing sources of troublesome oscillations, particularly forced oscillations (FOs), in power systems has received considerable attention over the last few years. This is driven in part by the massive deployment of phasor measurement units (PMUs) that capture these oscillations when they occur; and in part by the increasing incidents of FOs due to malfunctioning components, wind power fluctuations, and/or cyclic loads. Capitalizing on the frequency divider formula of [1], we develop methods to localize single and multiple oscillatory sources using bus frequency measurements. The method to localize a single oscillation source does not require knowledge of network parameters. However, the method for localizing FOs caused by multiple sources requires this knowledge. We explain the reasoning behind this knowledge difference as well as demonstrate the success of our methods for source localization in multiple test systems.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
Differentiable Programming for Differential Equations: A Review
Authors:
Facundo Sapienza,
Jordi Bolibar,
Frank Schäfer,
Brian Groenke,
Avik Pal,
Victor Boussange,
Patrick Heimbach,
Giles Hooker,
Fernando Pérez,
Per-Olof Persson,
Christopher Rackauckas
Abstract:
The differentiable programming paradigm is a cornerstone of modern scientific computing. It refers to numerical methods for computing the gradient of a numerical model's output. Many scientific models are based on differential equations, where differentiable programming plays a crucial role in calculating model sensitivities, inverting model parameters, and training hybrid models that combine diff…
▽ More
The differentiable programming paradigm is a cornerstone of modern scientific computing. It refers to numerical methods for computing the gradient of a numerical model's output. Many scientific models are based on differential equations, where differentiable programming plays a crucial role in calculating model sensitivities, inverting model parameters, and training hybrid models that combine differential equations with data-driven approaches. Furthermore, recognizing the strong synergies between inverse methods and machine learning offers the opportunity to establish a coherent framework applicable to both fields. Differentiating functions based on the numerical solution of differential equations is non-trivial. Numerous methods based on a wide variety of paradigms have been proposed in the literature, each with pros and cons specific to the type of problem investigated. Here, we provide a comprehensive review of existing techniques to compute derivatives of numerical solutions of differential equations. We first discuss the importance of gradients of solutions of differential equations in a variety of scientific domains. Second, we lay out the mathematical foundations of the various approaches and compare them with each other. Third, we cover the computational considerations and explore the solutions available in modern scientific software. Last but not least, we provide best-practices and recommendations for practitioners. We hope that this work accelerates the fusion of scientific models and data, and fosters a modern approach to scientific modelling.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
On embedding of linear hypersurfaces
Authors:
Parnashree Ghosh,
Neena Gupta,
Ananya Pal
Abstract:
Linear hypersurfaces over a field $k$ have been playing a central role in the study of some of the challenging problems on affine spaces. Breakthroughs on such problems have occurred by examining two difficult questions on linear polynomials of the form $H:=α(X_1,\dots,X_m)Y - F(X_1,\dots, X_m,Z,T)\in D:=k[X_1,\ldots,X_m, Y,Z,T]$:
(i) Whether $H$ defines a closed embedding of $\mathbb{A}^{m+2}$…
▽ More
Linear hypersurfaces over a field $k$ have been playing a central role in the study of some of the challenging problems on affine spaces. Breakthroughs on such problems have occurred by examining two difficult questions on linear polynomials of the form $H:=α(X_1,\dots,X_m)Y - F(X_1,\dots, X_m,Z,T)\in D:=k[X_1,\ldots,X_m, Y,Z,T]$:
(i) Whether $H$ defines a closed embedding of $\mathbb{A}^{m+2}$ into $\mathbb{A}^{m+3}$, i.e., whether the affine variety $\mathbb{V}\subseteq \mathbb{A}^{m+3}_k$ defined by $H$ is isomorphic to $\mathbb{A}^{m+2}_k$.
(ii) If $H$ defines a closed embedding $\mathbb{A}^{m+2}\hookrightarrow \mathbb{A}^{m+3}$ then whether $H$ is a coordinate in $D$.
Question (i) connects to the Characterization Problem of identifying affine spaces among affine varieties; Question (ii) is a special case of the formidable Embedding Problem for affine spaces. In their earlier work the first two authors had addressed these questions when $α$ is a monomial of the form $α(X_1,\ldots,X_m) = X_1^{r_1}\dots X_m^{r_m}$; $r_i>1, 1 \leqslant i \leqslant m$ and $F$ is of a certain type. In this paper, using $K$-theory and $\mathbb{G}_a$-actions, we address these questions for a wider family of linear varieties. In particular, we obtain certain families of higher dimensional hyperplanes $H$ satisfying the Abhyankar Sathaye conjecture on the Embedding problem. For instance, we show that when the characteristic of $k$ is zero, $F \in k[Z,T]$ and $H$ defines a hyperplane, then $H$ is a coordinate in $D$ along with $X_1, X_2, \dots, X_m$. Our results in arbitrary characteristic yield counterexamples to the Zariski Cancellation Problem in positive characteristic.
△ Less
Submitted 30 July, 2024; v1 submitted 12 May, 2024;
originally announced May 2024.
-
A new family of counterexamples to the Zariski Cancellation Problem in positive characteristic
Authors:
Parnashree Ghosh,
Ananya Pal
Abstract:
In this paper, over a field of positive characteristic we exhibit an infinite family of counter examples to the Zariski Cancellation Problem in higher dimensions ($\geqslant 3$) which are pairwise non-isomorphic and also non-isomorphic to the existing family of counter examples, demonstrated by Gupta in \cite{adv}.
In this paper, over a field of positive characteristic we exhibit an infinite family of counter examples to the Zariski Cancellation Problem in higher dimensions ($\geqslant 3$) which are pairwise non-isomorphic and also non-isomorphic to the existing family of counter examples, demonstrated by Gupta in \cite{adv}.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Queues with resetting: a perspective
Authors:
Reshmi Roy,
Arup Biswas,
Arnab Pal
Abstract:
Performance modeling is a key issue in queuing theory and operation research. It is well-known that the length of a queue that awaits service or the time spent by a job in a queue depends not only on the service rate, but also crucially on the fluctuations in service time. The larger the fluctuations, the longer the delay becomes and hence, this is a major hindrance for the queue to operate effici…
▽ More
Performance modeling is a key issue in queuing theory and operation research. It is well-known that the length of a queue that awaits service or the time spent by a job in a queue depends not only on the service rate, but also crucially on the fluctuations in service time. The larger the fluctuations, the longer the delay becomes and hence, this is a major hindrance for the queue to operate efficiently. Various strategies have been adapted to prevent this drawback. In this perspective, we investigate the effects of one such novel strategy namely resetting or restart, an emerging concept in statistical physics and stochastic complex process, that was recently introduced to mitigate fluctuations-induced delays in queues. In particular, we show that a service resetting mechanism accompanied with an overhead time can remarkably shorten the average queue lengths and waiting times. We examine various resetting strategies and further shed light on the intricate role of the overhead times to the queuing performance. Our analysis opens up future avenues in operation research where resetting-based strategies can be universally promising.
△ Less
Submitted 13 April, 2024;
originally announced April 2024.
-
On the family of affine threefolds $a(x)y=F(x,z,t)$
Authors:
Parnashree Ghosh,
Neena Gupta,
Ananya Pal
Abstract:
In recent decades, linear affine threefolds have enabled researchers to solve some of the challenging problems on affine spaces. Koras-Russell threefolds, especially the Russell Cubic over $\mathbb{C}$ and Asanuma threefolds over a field of positive characteristic, are striking examples of such linear threefolds.In this paper, we apply tools from $K$-theory and theory of $\mathbb{G}_a$-actions to…
▽ More
In recent decades, linear affine threefolds have enabled researchers to solve some of the challenging problems on affine spaces. Koras-Russell threefolds, especially the Russell Cubic over $\mathbb{C}$ and Asanuma threefolds over a field of positive characteristic, are striking examples of such linear threefolds.In this paper, we apply tools from $K$-theory and theory of $\mathbb{G}_a$-actions to linear threefolds of the form $G:=a(X)Y-F(X,Z,T)\in k[X,Y,Z,T]$, over an arbitrary field $k$. We give some equivalent conditions for $G$ to be a hyperplane (i.e., $k[X,Y,Z,T]/(G)=k^{[3]}$) in the following cases: (i) $k$ is a field of characteristic zero (ii) $k$ is an arbitrary field and $a(X)$ has only multiple roots. We also establish the Abhyankar-Sathaye Conjecture affirmatively in these cases.
△ Less
Submitted 3 August, 2024; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Further Investigations on Weighted Value Sharing and Uniqueness of Meromorphic Functions
Authors:
Sudip Saha,
Amit Kumar Pal,
Soumon Roy
Abstract:
In this short manuscript, we will put some light on the different outcomes when two non-constant meromorphic functions share a value with prescribed weight two.
In this short manuscript, we will put some light on the different outcomes when two non-constant meromorphic functions share a value with prescribed weight two.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
NonlinearSolve.jl: High-Performance and Robust Solvers for Systems of Nonlinear Equations in Julia
Authors:
Avik Pal,
Flemming Holtorf,
Axel Larsson,
Torkel Loman,
Utkarsh,
Frank Schäefer,
Qingyu Qu,
Alan Edelman,
Chris Rackauckas
Abstract:
Efficiently solving nonlinear equations underpins numerous scientific and engineering disciplines, yet scaling these solutions for challenging system models remains a challenge. This paper presents NonlinearSolve.jl -- a suite of high-performance open-source nonlinear equation solvers implemented natively in the Julia programming language. NonlinearSolve.jl distinguishes itself by offering a unifi…
▽ More
Efficiently solving nonlinear equations underpins numerous scientific and engineering disciplines, yet scaling these solutions for challenging system models remains a challenge. This paper presents NonlinearSolve.jl -- a suite of high-performance open-source nonlinear equation solvers implemented natively in the Julia programming language. NonlinearSolve.jl distinguishes itself by offering a unified API that accommodates a diverse range of solver specifications alongside features such as automatic algorithm selection based on runtime analysis, support for GPU-accelerated computation through static array kernels, and the utilization of sparse automatic differentiation and Jacobian-free Krylov methods for large-scale problem-solving. Through rigorous comparison with established tools such as PETSc SNES, Sundials KINSOL, and MINPACK, NonlinearSolve.jl demonstrates robustness and efficiency, achieving significant advancements in solving nonlinear equations while being implemented in a high-level programming language. The capabilities of NonlinearSolve.jl unlock new potentials in modeling and simulation across various domains, making it a valuable addition to the computational toolkit of researchers and practitioners alike.
△ Less
Submitted 25 April, 2025; v1 submitted 24 March, 2024;
originally announced March 2024.
-
Irreducible representations of the crystallization of the quantized function algebras $C(SU_{q}(n+1))$
Authors:
Manabendra Giri,
Arup Kumar Pal
Abstract:
Crystallization of the $C^*$-algebras $C(SU_{q}(n+1))$ was introduced by Giri \& Pal as a $C^*$-algebra $C(SU_{0}(n+1))$ given by a finite set of generators and relations. Here we study representations of the $C^*$-algebra $C(SU_{0}(n+1))$ and prove a factorization theorem for its irreducible representations. This leads to a complete classification of all irreducible representations of this $C^*$-…
▽ More
Crystallization of the $C^*$-algebras $C(SU_{q}(n+1))$ was introduced by Giri \& Pal as a $C^*$-algebra $C(SU_{0}(n+1))$ given by a finite set of generators and relations. Here we study representations of the $C^*$-algebra $C(SU_{0}(n+1))$ and prove a factorization theorem for its irreducible representations. This leads to a complete classification of all irreducible representations of this $C^*$-algebra. As an important consequence, we prove that all the irreducible representations of $C(SU_{0}(n+1))$ arise exactly as $q\to 0+$ limits of irreducible representations of $C(SU_{q}(n+1))$. We also present a few other important corollaries of the classification theorem.
△ Less
Submitted 18 October, 2024; v1 submitted 14 February, 2024;
originally announced February 2024.
-
Maps between Boundaries of Relatively Hyperbolic Groups
Authors:
Abhijit Pal,
Rana Sardar
Abstract:
F. Paulin proved that if the Gromov boundaries of two hyperbolic groups are quasi-Möbius equivalence, then those two hyperbolic groups are quasi-isometric to each other. This article aims to extend Paulin's results to relatively hyperbolic groups by introducing the notion of `relative quasi-Möbius maps' between Bowditch boundaries of relatively hyperbolic groups. A coarsely cusp-preserving quasi-i…
▽ More
F. Paulin proved that if the Gromov boundaries of two hyperbolic groups are quasi-Möbius equivalence, then those two hyperbolic groups are quasi-isometric to each other. This article aims to extend Paulin's results to relatively hyperbolic groups by introducing the notion of `relative quasi-Möbius maps' between Bowditch boundaries of relatively hyperbolic groups. A coarsely cusp-preserving quasi-isometry between two relatively hyperbolic groups induces a homeomorphism between their Bowditch boundaries. We will show that the induced homeomorphism is relative quasi-Möbius and linearly distorts the exit points of bi-infinite geodesics to combinatorial horoballs. Conversely, we will show that if a homeomorphism between Bowditch boundaries of two relatively hyperbolic groups, preserving parabolic endpoints, is either relative quasi-Möbius or distorts the exit points of bi-infinite geodesics to combinatorial horoballs linearly, then that homeomorphism induces a coarsely cusp-preserving quasi-isometry between the relatively hyperbolic groups.
△ Less
Submitted 22 September, 2024; v1 submitted 26 January, 2024;
originally announced January 2024.
-
On rigidity of Pham-Brieskorn surfaces
Authors:
Neena Gupta,
Ananya Pal
Abstract:
It is well known that, over an algebraically closed field $k$ of characteristic zero, for any three integers $a,b,c\geq 2$, any Pham-Brieskorn surface $B_{(a,b,c)}:= k[X,Y,Z]/(X^a + Y^b + Z^c)$ is rigid when at most one of $a,b,c$ is 2 and stably rigid when $\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\leq 1$. In this paper we consider Pham-Brieskorn domains over an arbitrary field $k$ of characteristi…
▽ More
It is well known that, over an algebraically closed field $k$ of characteristic zero, for any three integers $a,b,c\geq 2$, any Pham-Brieskorn surface $B_{(a,b,c)}:= k[X,Y,Z]/(X^a + Y^b + Z^c)$ is rigid when at most one of $a,b,c$ is 2 and stably rigid when $\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\leq 1$. In this paper we consider Pham-Brieskorn domains over an arbitrary field $k$ of characteristic $p\geq 0$ and give sufficient conditions on $(a,b,c)$ for which any Pham-Brieskorn domain $B_{(a,b,c)}$ is rigid. This gives an alternative approach to showing that there does not exist any non-trivial exponential map on $k[X,Y,Z,T]/(X^mY+T^{p^rq} + Z^{p^e})= k[x,y,z,t]$, for $m,q>1$, $p\nmid mq$ and $e>r\geq 1$, fixing $y$, a crucial result used in the paper "On the cancellation problem for the affine space $\mathbb{A}^3$ in characteristic $p$" by first author, to show that the Zariski Cancellation Problem (ZCP) does not hold for the affine $3$-space.
We also provide a sufficient condition for $B_{(a,b,c)}$ to be stably rigid. Along the way we prove that for integers $a,b,c\geq 2$ with $gcd(a,b,c) = 1$ and for $F(Y)\in k[Y]$, the ring $k[X,Y,Z]/(X^aY^b + Z^c+ F(Y))$ is a rigid domain.
△ Less
Submitted 27 July, 2024; v1 submitted 3 October, 2023;
originally announced October 2023.
-
Irreducible unitary representations with non-zero relative Lie algebra cohomology of the Lie group $SO_0(2,m)$
Authors:
Ankita Pal,
Pampa Paul
Abstract:
By a theorem of D. Wigner, an irreducible unitary representation with non-zero $(\frak{g},K)$-cohomology has trivial infinitesimal character, and hence up to unitary equivalence, these are finite in number. We have determined the number of equivalence classes of these representations and the Poincaré polynomial of cohomologies of these representations for the Lie group $SO_0(2,m)$ for any positive…
▽ More
By a theorem of D. Wigner, an irreducible unitary representation with non-zero $(\frak{g},K)$-cohomology has trivial infinitesimal character, and hence up to unitary equivalence, these are finite in number. We have determined the number of equivalence classes of these representations and the Poincaré polynomial of cohomologies of these representations for the Lie group $SO_0(2,m)$ for any positive integer $m.$ We have also determined, among these, which are discrete series representations and holomorphic discrete series representations.
△ Less
Submitted 22 September, 2023;
originally announced September 2023.
-
Symmetry Lie Algebras of Varieties with Applications to Algebraic Statistics
Authors:
Aida Maraj,
Arpan Pal
Abstract:
The motivation for this paper is to detect when an irreducible projective variety V is not toric. We do this by analyzing a Lie group and a Lie algebra associated to V. If the dimension of V is strictly less than the dimension of the above mentioned objects, then V is not a toric variety. We provide an algorithm to compute the Lie algebra of an irreducible variety and use it to provide examples of…
▽ More
The motivation for this paper is to detect when an irreducible projective variety V is not toric. We do this by analyzing a Lie group and a Lie algebra associated to V. If the dimension of V is strictly less than the dimension of the above mentioned objects, then V is not a toric variety. We provide an algorithm to compute the Lie algebra of an irreducible variety and use it to provide examples of non-toric statistical models in algebraic statistics.
△ Less
Submitted 30 June, 2025; v1 submitted 19 September, 2023;
originally announced September 2023.
-
Power structures on the Grothendieck--Witt ring and the motivic Euler characteristic
Authors:
Jesse Pajwani,
Ambrus Pál
Abstract:
For $k$ a field, we construct a power structure on the Grothendieck--Witt ring of $k$ which has the potential to be compatible with symmetric powers of varieties and the motivic Euler characteristic. We then show this power structure is compatible with the power structure when we restrict to varieties of dimension $0$.
For $k$ a field, we construct a power structure on the Grothendieck--Witt ring of $k$ which has the potential to be compatible with symmetric powers of varieties and the motivic Euler characteristic. We then show this power structure is compatible with the power structure when we restrict to varieties of dimension $0$.
△ Less
Submitted 21 February, 2025; v1 submitted 6 September, 2023;
originally announced September 2023.
-
First-passage functionals for Ornstein Uhlenbeck process with stochastic resetting
Authors:
Ashutosh Dubey,
Arnab Pal
Abstract:
We study the statistical properties of first-passage Brownian functionals (FPBFs) of an Ornstein-Uhlenbeck (OU) process in the presence of stochastic resetting. We consider a one dimensional set-up where the diffusing particle sets off from $x_0$ and resets to $x_R$ at a certain rate $r$. The particle diffuses in a harmonic potential (with strength $k$) which is centered around the origin. The cen…
▽ More
We study the statistical properties of first-passage Brownian functionals (FPBFs) of an Ornstein-Uhlenbeck (OU) process in the presence of stochastic resetting. We consider a one dimensional set-up where the diffusing particle sets off from $x_0$ and resets to $x_R$ at a certain rate $r$. The particle diffuses in a harmonic potential (with strength $k$) which is centered around the origin. The center also serves as an absorbing boundary for the particle and we denote the first passage time of the particle to the center as $t_f$. In this set-up, we investigate the following functionals: (i) local time $T_{loc} = \int _0^{t_f}d τ~ δ(x-x_R)$ i.e., the time a particle spends around $x_R$ until the first passage, (ii) occupation or residence time $T_{res} = \int _0^{t_f} d τ~θ(x-x_R)$ i.e., the time a particle typically spends above $x_R$ until the first passage and (iii) the first passage time $t_f$ to the origin. We employ the Feynman-Kac formalism for renewal process to derive the analytical expression for the first moment of all the three FPBFs mentioned above. In particular, we find that resetting can either prolong or shorten the mean residence and first passage time depending on the system parameters. The transition between these two behaviors or phases can be characterized precisely in terms of optimal resetting rates, which interestingly undergo a continuous transition as we vary the trap stiffness $k$. We characterize this transition and identify the critical -parameter \& -coefficient for both the cases. We also showcase other interesting interplay between the resetting rate and potential strength on the statistics of these observables. Our analytical results are in excellent agreement with the numerical simulations.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Conformal integrals in all dimensions as GKZ hypergeometric functions and Clifford groups
Authors:
Aritra Pal,
Koushik Ray
Abstract:
Euclidean conformal integrals for an arbitrary number of points in any dimension are evaluated. Conformal transformations in the Euclidean space can be formulated as the Moebius group in terms of Clifford algebras. This is used to interpret conformal integrals as functions on the configuration space of points on the Euclidean space, solving linear differential equations, which, in turn, is related…
▽ More
Euclidean conformal integrals for an arbitrary number of points in any dimension are evaluated. Conformal transformations in the Euclidean space can be formulated as the Moebius group in terms of Clifford algebras. This is used to interpret conformal integrals as functions on the configuration space of points on the Euclidean space, solving linear differential equations, which, in turn, is related to toric GKZ systems. Explicit series solutions for the conformal integrals are obtained using toric methods as GKZ hypergeometric functions. The solutions are made symmetric under the action of permutation of the points, as expected of quantities on the configuration space of unordered points, using the monodromy-invariant unique Hermitian form. Consistency of the solutions among different number of points is shown.
△ Less
Submitted 27 April, 2025; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Locally Regularized Neural Differential Equations: Some Black Boxes Were Meant to Remain Closed!
Authors:
Avik Pal,
Alan Edelman,
Chris Rackauckas
Abstract:
Implicit layer deep learning techniques, like Neural Differential Equations, have become an important modeling framework due to their ability to adapt to new problems automatically. Training a neural differential equation is effectively a search over a space of plausible dynamical systems. However, controlling the computational cost for these models is difficult since it relies on the number of st…
▽ More
Implicit layer deep learning techniques, like Neural Differential Equations, have become an important modeling framework due to their ability to adapt to new problems automatically. Training a neural differential equation is effectively a search over a space of plausible dynamical systems. However, controlling the computational cost for these models is difficult since it relies on the number of steps the adaptive solver takes. Most prior works have used higher-order methods to reduce prediction timings while greatly increasing training time or reducing both training and prediction timings by relying on specific training algorithms, which are harder to use as a drop-in replacement due to strict requirements on automatic differentiation. In this manuscript, we use internal cost heuristics of adaptive differential equation solvers at stochastic time points to guide the training toward learning a dynamical system that is easier to integrate. We "close the black-box" and allow the use of our method with any adjoint technique for gradient calculations of the differential equation solution. We perform experimental studies to compare our method to global regularization to show that we attain similar performance numbers without compromising the flexibility of implementation on ordinary differential equations (ODEs) and stochastic differential equations (SDEs). We develop two sampling strategies to trade off between performance and training time. Our method reduces the number of function evaluations to 0.556-0.733x and accelerates predictions by 1.3-2x.
△ Less
Submitted 2 June, 2023; v1 submitted 3 March, 2023;
originally announced March 2023.
-
Euler-type integrals for the generalized hypergeometric matrix function
Authors:
Ankit Pal,
Kiran Kumari
Abstract:
In this paper, we investigate the Euler-type integral representations for the generalized hypergeometric matrix function and develop some transformations in terms of hypergeometric matrix functions. Furthermore, unit and half arguments have been provided for several particular cases.
In this paper, we investigate the Euler-type integral representations for the generalized hypergeometric matrix function and develop some transformations in terms of hypergeometric matrix functions. Furthermore, unit and half arguments have been provided for several particular cases.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Uniqueness of meromorphic functions that share Two Sets
Authors:
Amit Kumar Pal,
Bikash Chakraborty,
Sudip Saha
Abstract:
In this note, we introduce a new kind of pair of finite range sets in $\mathbb{C}$ for meromorphic functions corresponding to their uniqueness, i.e., how two meromorphic functions are uniquely determined by their two finite shared sets.
In this note, we introduce a new kind of pair of finite range sets in $\mathbb{C}$ for meromorphic functions corresponding to their uniqueness, i.e., how two meromorphic functions are uniquely determined by their two finite shared sets.
△ Less
Submitted 18 November, 2023; v1 submitted 3 October, 2022;
originally announced November 2022.
-
An arithmetic Yau-Zaslow formula
Authors:
Jesse Pajwani,
Ambrus Pál
Abstract:
We prove an arithmetic refinement of the Yau-Zaslow formula by replacing the classical Euler characteristic in Beauville's argument by a "motivic Euler characteristic", related to the work of Levine. Our result implies similar formulas for other related invariants, including a generalisation of a formula of Kharlamov and Rasdeaconu on counting real rational curves on real K3 surfaces, and Saito's…
▽ More
We prove an arithmetic refinement of the Yau-Zaslow formula by replacing the classical Euler characteristic in Beauville's argument by a "motivic Euler characteristic", related to the work of Levine. Our result implies similar formulas for other related invariants, including a generalisation of a formula of Kharlamov and Rasdeaconu on counting real rational curves on real K3 surfaces, and Saito's determinant of cohomology.
△ Less
Submitted 21 February, 2025; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Universal framework for record ages under restart
Authors:
Aanjaneya Kumar,
Arnab Pal
Abstract:
We propose a universal framework to compute record age statistics of a stochastic time-series that undergoes random restarts. The proposed framework makes minimal assumptions on the underlying process and is furthermore suited to treat generic restart protocols going beyond the Markovian setting. After benchmarking the framework for classical random walks on the $1$D lattice, we derive a universal…
▽ More
We propose a universal framework to compute record age statistics of a stochastic time-series that undergoes random restarts. The proposed framework makes minimal assumptions on the underlying process and is furthermore suited to treat generic restart protocols going beyond the Markovian setting. After benchmarking the framework for classical random walks on the $1$D lattice, we derive a universal criterion underpinning the impact of restart on the age of the $n$th record for generic time-series with nearest-neighbor transitions. Crucially, the criterion contains a penalty of order $n$, that puts strong constraints on restart expediting the creation of records, as compared to the simple first-passage completion. The applicability of our approach is further demonstrated on an aggregation-shattering process where we compute the typical growth rates of aggregate sizes. This unified framework paves the way to explore record statistics of time-series under restart in a wide range of complex systems.
△ Less
Submitted 26 April, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1
Authors:
Ambrus Pál
Abstract:
We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the étale homotopy type. This paper is part one of a sequence of papers on this topic.
We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the étale homotopy type. This paper is part one of a sequence of papers on this topic.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Real projective groups are formal
Authors:
Ambrus Pál,
Gereon Quick
Abstract:
We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.
We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.
△ Less
Submitted 27 March, 2025; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Concise tensors of minimal border rank
Authors:
Joachim Jelisiejew,
J. M. Landsberg,
Arpan Pal
Abstract:
We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczyńska-Buczyński and results of Jelisiejew-Šivic on the v…
▽ More
We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczyńska-Buczyński and results of Jelisiejew-Šivic on the variety of commuting matrices. We introduce a new algebraic invariant of a concise tensor, its 111-algebra, and exploit it to give a strengthening of Friedland's normal form for $1$-degenerate tensors satisfying Strassen's equations. We use the 111-algebra to characterize wild minimal border rank tensors and classify them in $C^5\otimes C^5\otimes C^5$.
△ Less
Submitted 27 August, 2024; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Quantized function algebras at $q=0$: type $A_{n}$ case
Authors:
Manabendra Giri,
Arup Kumar Pal
Abstract:
We define the notion of quantized function algebras at $q=0$ or crystallization of the $q$ deformations of the type $A_{n}$ compact Lie groups at the $C^*$-algebra level. The $C^{*}$-algebra $A_{n}(0)$ is defined as a universal $C^*$-algebra given by a finite set of generators and relations. We obtain these relations by looking at the irreducible representations of the quantized function algebras…
▽ More
We define the notion of quantized function algebras at $q=0$ or crystallization of the $q$ deformations of the type $A_{n}$ compact Lie groups at the $C^*$-algebra level. The $C^{*}$-algebra $A_{n}(0)$ is defined as a universal $C^*$-algebra given by a finite set of generators and relations. We obtain these relations by looking at the irreducible representations of the quantized function algebras for $q>0$ and taking limit as $q\to 0+$ after rescaling the generating elements appropriately. We then prove that in the $n=2$ case the irreducible representations $A_{2}(0)$ are precisely the $q\to 0+$ limits of the irreducible representations of the $C^*$-algebras $A_{2}(q)$.
△ Less
Submitted 16 September, 2024; v1 submitted 28 March, 2022;
originally announced March 2022.
-
An approximate equivalence for the GNS representation of the Haar state of $SU_{q}(2)$
Authors:
Partha Sarathi Chakraborty,
Arup Kumar Pal
Abstract:
We use the crystallised $C^*$-algebra $C(SU_{q}(2))$ at $q=0$ to obtain a unitary that gives an approximate equivalence involving the GNS representation on the $L^{2}$ space of the Haar state of the quantum $SU(2)$ group and the direct integral of all the infinite dimensional irreducible representations of the $C^{*}$-algebra $C(SU_{q}(2))$ for nonzero values of the parameter $q$. This approximate…
▽ More
We use the crystallised $C^*$-algebra $C(SU_{q}(2))$ at $q=0$ to obtain a unitary that gives an approximate equivalence involving the GNS representation on the $L^{2}$ space of the Haar state of the quantum $SU(2)$ group and the direct integral of all the infinite dimensional irreducible representations of the $C^{*}$-algebra $C(SU_{q}(2))$ for nonzero values of the parameter $q$. This approximate equivalence gives a $KK$ class via the Cuntz picture in terms of quasihomomorphisms as well as a Fredholm representation of the dual quantum group $\widehat{SU_q(2)}$ with coefficients in a $C^*$-algebra in the sense of Mishchenko.
△ Less
Submitted 10 July, 2024; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Sufficient conditions for a problem of Polya
Authors:
Abhishek Bharadwaj,
Veekesh Kumar,
Aprameyo Pal,
R. Thangadurai
Abstract:
Let $α$ be a non-zero algebraic number. Let $K$ be the Galois closure of $\mathbb{Q}(α)$ with Galois group $G$ and $\bar{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$. In this article, among the other results, we prove the following. If $f\in \bar{\mathbb{Q}}[G]$ is a non-zero element of the group ring $\bar{\mathbb{Q}}[G]$ and $α$ is a given algebraic number such that $f(α^n)$ is a non-ze…
▽ More
Let $α$ be a non-zero algebraic number. Let $K$ be the Galois closure of $\mathbb{Q}(α)$ with Galois group $G$ and $\bar{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$. In this article, among the other results, we prove the following. If $f\in \bar{\mathbb{Q}}[G]$ is a non-zero element of the group ring $\bar{\mathbb{Q}}[G]$ and $α$ is a given algebraic number such that $f(α^n)$ is a non-zero algebraic integer for infinitely many natural numbers $n$, then $α$ is an algebraic integer. This result generalizes the result of Polya [11], Corvaja and Zannier [2] and Philippon and Rath [9]. We also prove the analogue of this result for rational functions with algebraic coefficients. Inspired by a result of B. de Smit [4], we prove a finite version of the Polya type result for a binary recurrence sequences of non-zero algebraic numbers. In order to prove these results, we apply the techniques of Corvaja and Zannier along with the results of Kulkarni et al., [6] which are applications of the Schmidt subspace theorem.
△ Less
Submitted 24 February, 2024; v1 submitted 9 February, 2022;
originally announced February 2022.
-
Continuous Deep Equilibrium Models: Training Neural ODEs faster by integrating them to Infinity
Authors:
Avik Pal,
Alan Edelman,
Christopher Rackauckas
Abstract:
Implicit models separate the definition of a layer from the description of its solution process. While implicit layers allow features such as depth to adapt to new scenarios and inputs automatically, this adaptivity makes its computational expense challenging to predict. In this manuscript, we increase the "implicitness" of the DEQ by redefining the method in terms of an infinite time neural ODE,…
▽ More
Implicit models separate the definition of a layer from the description of its solution process. While implicit layers allow features such as depth to adapt to new scenarios and inputs automatically, this adaptivity makes its computational expense challenging to predict. In this manuscript, we increase the "implicitness" of the DEQ by redefining the method in terms of an infinite time neural ODE, which paradoxically decreases the training cost over a standard neural ODE by 2-4x. Additionally, we address the question: is there a way to simultaneously achieve the robustness of implicit layers while allowing the reduced computational expense of an explicit layer? To solve this, we develop Skip and Skip Reg. DEQ, an implicit-explicit (IMEX) layer that simultaneously trains an explicit prediction followed by an implicit correction. We show that training this explicit predictor is free and even decreases the training time by 1.11-3.19x. Together, this manuscript shows how bridging the dichotomy of implicit and explicit deep learning can combine the advantages of both techniques.
△ Less
Submitted 3 March, 2023; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Towards a categorification of scattering amplitudes
Authors:
Severin Barmeier,
Prafulla Oak,
Aritra Pal,
Koushik Ray,
Hipolito Treffinger
Abstract:
Categorification of scattering amplitudes for planar Feynman diagrams in scalar field theories with a polynomial potential is reported. Amplitudes for cubic theories are directly written down in terms of projectives of hearts of intermediate $t$-structures restricted to the cluster category of quiver representations, without recourse to geometry. It is shown that for theories with $φ^{m+2}$ potent…
▽ More
Categorification of scattering amplitudes for planar Feynman diagrams in scalar field theories with a polynomial potential is reported. Amplitudes for cubic theories are directly written down in terms of projectives of hearts of intermediate $t$-structures restricted to the cluster category of quiver representations, without recourse to geometry. It is shown that for theories with $φ^{m+2}$ potentials those corresponding to $m$-cluster categories are to be used. The case of generic polynomial potentials is treated and our results suggest the existence of a generalization of higher cluster categories which we call pseudo-periodic categories. An algorithm to obtain the projectives of hearts of intermediate $t$-structures for these types is presented.
△ Less
Submitted 30 December, 2021; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Moments of Gaussian hypergeometric functions over finite fields
Authors:
Ankan Pal,
Bidisha Roy,
Mohammad Sadek
Abstract:
We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate for the value $_6F_5(1)$. In addition, we evaluate certain second moments of traces of the family of Clausen elliptic curves in terms of the value $_3F_2(-1)$. T…
▽ More
We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate for the value $_6F_5(1)$. In addition, we evaluate certain second moments of traces of the family of Clausen elliptic curves in terms of the value $_3F_2(-1)$. These formulas also allow us to express the product of certain $_2F_1$ and $_{n+1}F_n$ functions in terms of finite field Appell series which generalizes current formulas for products of $_2F_1$ functions. We finally give closed form expressions for sums of Gaussian hypergeometric functions defined using different multiplicative characters.
△ Less
Submitted 7 February, 2022; v1 submitted 16 November, 2021;
originally announced November 2021.
-
Mitigating long queues and waiting times with service resetting
Authors:
Ofek Lauber Bonomo,
Arnab Pal,
Shlomi Reuveni
Abstract:
What determines the average length of a queue which stretches in front of a service station? The answer to this question clearly depends on the average rate at which jobs arrive at the queue and on the average rate of service. Somewhat less obvious is the fact that stochastic fluctuations in service and arrival times are also important, and that these are a major source of backlogs and delays. Str…
▽ More
What determines the average length of a queue which stretches in front of a service station? The answer to this question clearly depends on the average rate at which jobs arrive at the queue and on the average rate of service. Somewhat less obvious is the fact that stochastic fluctuations in service and arrival times are also important, and that these are a major source of backlogs and delays. Strategies that could mitigate fluctuations induced delays are in high demand as queue structures appear in various natural and man-made systems. Here we demonstrate that a simple service resetting mechanism can reverse the deleterious effects of large fluctuations in service times, thus turning a marked drawback into a favourable advantage. This happens when stochastic fluctuations are intrinsic to the server, and we show that the added feature of service resetting can then dramatically cut down average queue lengths and waiting times. While the analysis presented herein is based on the M/G/1 queueing model where service is general but arrivals are assumed to be Markovian, Kingman's formula asserts that the benefits of service resetting will carry over to queues with general arrivals. We thus expect results coming from this work to find widespread application to queueing systems ranging from telecommunications, via computing, and all the way to molecular queues that emerge in enzymatic and metabolic cycles of living organisms.
△ Less
Submitted 3 November, 2021;
originally announced November 2021.
-
Conformal Integrals in four dimensions
Authors:
Aritra Pal,
Koushik Ray
Abstract:
We obtain analytic expressions of four-dimensional Euclidean $N$-point conformal integrals for arbitrary $N$ by solving a Lauricella-like system of differential equations derived earlier. We demonstrate their relation to the GKZ A-hypergeometric systems. The conformal integrals are solutions to these expressed in terms of leg factors and infinite series in the conformal invariant cross ratios.
We obtain analytic expressions of four-dimensional Euclidean $N$-point conformal integrals for arbitrary $N$ by solving a Lauricella-like system of differential equations derived earlier. We demonstrate their relation to the GKZ A-hypergeometric systems. The conformal integrals are solutions to these expressed in terms of leg factors and infinite series in the conformal invariant cross ratios.
△ Less
Submitted 26 August, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Necessary conditions for existence of $Γ_n$-contractions and examples of $Γ_3$-contractions
Authors:
Shubhankar Mandal,
Avijit Pal
Abstract:
The fundamental result of B. Sz. Nazy states that every contraction has a coisometric extension and a unitary dilation. The isometric dilation of a contraction on a Hilbert space motivated whether this theory can be extended sensibly to families of operators. It is natural to ask whether this idea can be generalized, where the contraction $T$ is substituted by a commuting $n$-tuples of operators…
▽ More
The fundamental result of B. Sz. Nazy states that every contraction has a coisometric extension and a unitary dilation. The isometric dilation of a contraction on a Hilbert space motivated whether this theory can be extended sensibly to families of operators. It is natural to ask whether this idea can be generalized, where the contraction $T$ is substituted by a commuting $n$-tuples of operators $(S_1,\cdots, S_n)$ acting on some Hilbert space having $Γ_n$ as a spectral set. We derive the necessary conditions for the existence of a $Γ_n$-isometric dilation for $Γ_n$-contractions. Also we discuss an example of a $Γ_3$-contraction $(S_1, S_2, S_3)$ acting on some Hilbert space $\mathcal H,$ which has a $Γ_3$-isometric dilation, but it fails to satisfy the following condition: $$E_1^*E_1-E_1E_1^*= E_2^*E_2-E_2E_2^*,$$ where $E_1$ and $E_2$ are the fundamental operators of $(S_1, S_2, S_3),$ $(S_1,S_2)$ is a pair of commuting contractions and $S_3$ is a partial isometry. Thus, the set of sufficient conditions for the existence of a $Γ_3$-isometric dilation breaks down, in general, to be necessary, even when the $Γ_3$-contraction $(S_1, S_2, S_3)$ has the special structure as described above.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
The inspection paradox in stochastic resetting
Authors:
Arnab Pal,
Sarah Kostinski,
Shlomi Reuveni
Abstract:
The remaining travel time of a plane shortens with every minute that passes from its departure, and a flame diminishes a candle with every second it burns. Such everyday occurrences bias us to think that processes which have already begun will end before those which have just started. Yet, the inspection paradox teaches us that the converse can also happen when randomness is at play. The paradox c…
▽ More
The remaining travel time of a plane shortens with every minute that passes from its departure, and a flame diminishes a candle with every second it burns. Such everyday occurrences bias us to think that processes which have already begun will end before those which have just started. Yet, the inspection paradox teaches us that the converse can also happen when randomness is at play. The paradox comes from probability theory, where it is often illustrated by measuring how long passengers wait upon arriving at a bus stop at a random time. Interestingly, such passengers may on average wait longer than the mean time between bus arrivals -- a counter-intuitive result, since one expects to wait less when coming some time after the previous bus departed. In this \textit{viewpoint}, we review the inspection paradox and its origins. The insight gained is then used to explain why, in some situations, stochastic resetting expedites the completion of random processes. Importantly, this is done with elementary mathematical tools which help develop a probabilistic intuition for stochastic resetting and how it works. This viewpoint can thus be used as an accessible introduction to the subject.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
The Pólya and Sisyphus lattice random walks with resetting -- a first passage under restart approach
Authors:
Ofek Lauber Bonomo,
Arnab Pal
Abstract:
We revisit the simple lattice random walk (Pólya walk) and the Sisyphus random walk in $\mathbb{Z}$, in the presence of random restarts. We use a relatively direct approach namely First passage under restart for discrete space and time which was recently developed by us in PRE 103, 052129 (2021) and rederive the first passage properties of these walks under the memoryless geometric restart mechani…
▽ More
We revisit the simple lattice random walk (Pólya walk) and the Sisyphus random walk in $\mathbb{Z}$, in the presence of random restarts. We use a relatively direct approach namely First passage under restart for discrete space and time which was recently developed by us in PRE 103, 052129 (2021) and rederive the first passage properties of these walks under the memoryless geometric restart mechanism. Subsequently, we show how our method could be generalized to arbitrary first passage process subject to more complex restart mechanisms such as sharp, Poisson and Zeta distribution where the latter is heavy tailed. We emphasize that the method is very useful to treat such problems both analytically and numerically.
△ Less
Submitted 3 November, 2021; v1 submitted 26 June, 2021;
originally announced June 2021.
-
Opening the Blackbox: Accelerating Neural Differential Equations by Regularizing Internal Solver Heuristics
Authors:
Avik Pal,
Yingbo Ma,
Viral Shah,
Christopher Rackauckas
Abstract:
Democratization of machine learning requires architectures that automatically adapt to new problems. Neural Differential Equations (NDEs) have emerged as a popular modeling framework by removing the need for ML practitioners to choose the number of layers in a recurrent model. While we can control the computational cost by choosing the number of layers in standard architectures, in NDEs the number…
▽ More
Democratization of machine learning requires architectures that automatically adapt to new problems. Neural Differential Equations (NDEs) have emerged as a popular modeling framework by removing the need for ML practitioners to choose the number of layers in a recurrent model. While we can control the computational cost by choosing the number of layers in standard architectures, in NDEs the number of neural network evaluations for a forward pass can depend on the number of steps of the adaptive ODE solver. But, can we force the NDE to learn the version with the least steps while not increasing the training cost? Current strategies to overcome slow prediction require high order automatic differentiation, leading to significantly higher training time. We describe a novel regularization method that uses the internal cost heuristics of adaptive differential equation solvers combined with discrete adjoint sensitivities to guide the training process towards learning NDEs that are easier to solve. This approach opens up the blackbox numerical analysis behind the differential equation solver's algorithm and directly uses its local error estimates and stiffness heuristics as cheap and accurate cost estimates. We incorporate our method without any change in the underlying NDE framework and show that our method extends beyond Ordinary Differential Equations to accommodate Neural Stochastic Differential Equations. We demonstrate how our approach can halve the prediction time and, unlike other methods which can increase the training time by an order of magnitude, we demonstrate similar reduction in training times. Together this showcases how the knowledge embedded within state-of-the-art equation solvers can be used to enhance machine learning.
△ Less
Submitted 4 February, 2022; v1 submitted 9 May, 2021;
originally announced May 2021.
-
First passage under restart for discrete space and time: application to one dimensional confined lattice random walks
Authors:
Ofek Lauber Bonomo,
Arnab Pal
Abstract:
First passage under restart has recently emerged as a conceptual framework to study various stochastic processes under restart mechanism. Emanating from the canonical diffusion problem by Evans and Majumdar, restart has been shown to outperform the completion of many first passage processes which otherwise would take longer time to finish. However, most of the studies so far assumed continuous tim…
▽ More
First passage under restart has recently emerged as a conceptual framework to study various stochastic processes under restart mechanism. Emanating from the canonical diffusion problem by Evans and Majumdar, restart has been shown to outperform the completion of many first passage processes which otherwise would take longer time to finish. However, most of the studies so far assumed continuous time underlying first passage time processes and moreover considered continuous time resetting restricting out restart processes broken up into synchronized time steps. To bridge this gap, in this paper, we study discrete space and time first passage processes under discrete time resetting in a general set-up. We sketch out the steps to compute the moments and the probability density function which is often intractable in the continuous time restarted process. A criterion that dictates when restart remains beneficial is then derived. We apply our results to a symmetric and a biased random walker (RW) in one dimensional lattice confined within two absorbing boundaries. Numerical simulations are found to be in excellent agreement with the theoretical results. Our method can be useful to understand the effect of restart on the spatiotemporal dynamics of confined lattice random walks in arbitrary dimensions.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Contracting Boundary of a Cusped Space
Authors:
Abhijit Pal,
Rahul Pandey
Abstract:
Let $G$ be a finitely generated group. Cashen and Mackay proved that if the contracting boundary of $G$ with the topology of fellow travelling quasi-geodesics is compact then $G$ is a hyperbolic group. Let $\mathcal{H}$ be a finite collection of finitely generated infinite index subgroups of $G$. Let $G^h$ be the cusped space obtained by attaching combinatorial horoballs to each left cosets of ele…
▽ More
Let $G$ be a finitely generated group. Cashen and Mackay proved that if the contracting boundary of $G$ with the topology of fellow travelling quasi-geodesics is compact then $G$ is a hyperbolic group. Let $\mathcal{H}$ be a finite collection of finitely generated infinite index subgroups of $G$. Let $G^h$ be the cusped space obtained by attaching combinatorial horoballs to each left cosets of elements of $\mathcal {H}$. In this article, we prove that if the combinatorial horoballs are contracting and $G^h$ has compact contracting boundary then $G$ is hyperbolic relative to $\mathcal{H}$.
△ Less
Submitted 3 February, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
High Order Elements in Finite Fields Arising from Recursive Towers
Authors:
Valerio Dose,
Pietro Mercuri,
Ankan Pal,
Claudio Stirpe
Abstract:
We provide a recipe to construct towers of fields producing high order elements in $\mathrm{GF}(q,2^n)$, for odd $q$, and in $\mathrm{GF}(2,2 \cdot 3^n)$, for $n \ge 1$. These towers are obtained recursively by $x_{n}^2 + x_{n} = v(x_{n - 1})$, for odd $q$, or $x_{n}^3 + x_{n} = v(x_{n - 1})$, for $q=2$, where $v(x)$ is a polynomial of small degree over the prime field $\mathrm{GF}(q,1)$ and…
▽ More
We provide a recipe to construct towers of fields producing high order elements in $\mathrm{GF}(q,2^n)$, for odd $q$, and in $\mathrm{GF}(2,2 \cdot 3^n)$, for $n \ge 1$. These towers are obtained recursively by $x_{n}^2 + x_{n} = v(x_{n - 1})$, for odd $q$, or $x_{n}^3 + x_{n} = v(x_{n - 1})$, for $q=2$, where $v(x)$ is a polynomial of small degree over the prime field $\mathrm{GF}(q,1)$ and $x_n$ belongs to the finite field extension $\mathrm{GF}(q,2^n)$, for $q$ odd, or to $\mathrm{GF}(2,2\cdot 3^n)$. Several examples are carried out and analysed numerically. The lower bounds of the orders of the groups generated by $x_n$, or by the discriminant $δ_n$ of the polynomial, are similar to the ones obtained in [BCG+09], but we get better numerical results in some cases.
△ Less
Submitted 11 March, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Isometric Embeddability of $S_q^m$ into $S_p^n$
Authors:
Arup Chattopadhyay,
Guixiang Hong,
Avijit Pal,
Chandan Pradhan,
Samya Kumar Ray
Abstract:
In this paper, we study existence of isometric embedding of $S_q^m$ into $S_p^n,$ where $1\leq p\neq q\leq \infty$ and $n\geq m\geq 2.$ We show that for all $n\geq m\geq 2$ if there exists a linear isometry from $S_q^m$ into $S_p^n$, where $(q,p)\in(1,\infty]\times(1,\infty) \cup(1,\infty)\setminus\{3\}\times\{1,\infty\}$ and $p\neq q,$ then we must have $q=2.$ This mostly generalizes a classical…
▽ More
In this paper, we study existence of isometric embedding of $S_q^m$ into $S_p^n,$ where $1\leq p\neq q\leq \infty$ and $n\geq m\geq 2.$ We show that for all $n\geq m\geq 2$ if there exists a linear isometry from $S_q^m$ into $S_p^n$, where $(q,p)\in(1,\infty]\times(1,\infty) \cup(1,\infty)\setminus\{3\}\times\{1,\infty\}$ and $p\neq q,$ then we must have $q=2.$ This mostly generalizes a classical result of Lyubich and Vaserstein. We also show that whenever $S_q$ embeds isometrically into $S_p$ for $(q,p)\in \left(1,\infty\right)\times\left[2,\infty \right)\cup[4,\infty)\times\{1\} \cup\{\infty\}\times\left( 1,\infty\right)\cup[2,\infty)\times\{\infty\}$ with $p\neq q,$ we must have $q=2.$ Thus, our work complements work of Junge, Parcet, Xu and others on isometric and almost isometric embedding theory on non-commutative $L_p$-spaces. Our methods rely on several new ingredients related to perturbation theory of linear operators, namely Kato-Rellich theorem, theory of multiple operator integrals and Birkhoff-James orthogonality, followed by thorough and careful case by case analysis. The question whether for $m\geq 2$ and $1<q<2,$ $S_q^m$ embeds isometrically into $S_\infty^n$, was left open in \textit{Bull. London Math. Soc.} 52 (2020) 437-447.
△ Less
Submitted 28 September, 2021; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Fast DTW and Fuzzy Clustering for Scenario Generation in Power System Planning Problems
Authors:
Malhar Padhee,
Anamitra Pal
Abstract:
Power system planning problems become computationally intractable if one accounts for all uncertain operating scenarios. Consequently, one selects a subset of scenarios that are representative of likely/extreme operating conditions, e.g. heavy summer, heavy winter, light summer, and so on. However, such an approach may not be able to accurately capture the dependencies that exist between renewable…
▽ More
Power system planning problems become computationally intractable if one accounts for all uncertain operating scenarios. Consequently, one selects a subset of scenarios that are representative of likely/extreme operating conditions, e.g. heavy summer, heavy winter, light summer, and so on. However, such an approach may not be able to accurately capture the dependencies that exist between renewable generation (RG) and system load in RG-rich power systems. This paper proposes the use of fast dynamic time warping (FDTW) and fuzzy c-means++ (FCM++) clustering to account for key statistical properties of load and RG for scenario generation for power system planning problems. Case studies using a U.S. power network, and comparison with existing scenario generation techniques demonstrate the benefits of the proposed approach.
△ Less
Submitted 26 May, 2021; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Conformal Correlation functions in four dimensions from Quaternionic Lauricella system
Authors:
Aritra Pal,
Koushik Ray
Abstract:
Correlation functions in Euclidean conformal field theories in four dimensions are expressed as representations of the conformal group $SL(2,\H)$, $\H$ being the field of quaternions, on the configuration space of points. The representations are obtained in terms of Lauricella system for quaternions. It generalizes the two-dimensional case, wherein the $N$-point correlation function is expressed i…
▽ More
Correlation functions in Euclidean conformal field theories in four dimensions are expressed as representations of the conformal group $SL(2,\H)$, $\H$ being the field of quaternions, on the configuration space of points. The representations are obtained in terms of Lauricella system for quaternions. It generalizes the two-dimensional case, wherein the $N$-point correlation function is expressed in terms of solutions of Lauricella system on the configuration space of $N$ points on the complex plane, furnishing representation of the conformal group $SL(2,\C)$.
△ Less
Submitted 19 May, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
