-
On stable Cartan subgroups of Lie groups
Authors:
Parteek Kumar,
Arunava Mandal,
Shashank Vikram Singh
Abstract:
Let $G$ be a connected real Lie group with associated Lie algebra $\mathfrak g$, and let ${\rm Aut}(G)$ be the group of (Lie) automorphisms of $G$. It is noted here that, given a super-solvable subgroup $Γ\subset {\rm Aut}(G)$ of semisimple automorphisms, there exists a $Γ$-stable Cartan subgroup, by using a result of Borel and Mostow. We characterize the $Γ$-stable Cartan subgroups (with induced…
▽ More
Let $G$ be a connected real Lie group with associated Lie algebra $\mathfrak g$, and let ${\rm Aut}(G)$ be the group of (Lie) automorphisms of $G$. It is noted here that, given a super-solvable subgroup $Γ\subset {\rm Aut}(G)$ of semisimple automorphisms, there exists a $Γ$-stable Cartan subgroup, by using a result of Borel and Mostow. We characterize the $Γ$-stable Cartan subgroups (with induced action) in the quotient group modulo a $Γ$-stable closed normal subgroup as the images of the $Γ$-stable Cartan subgroups in the ambient group. It is well known that a semisimple automorphism of $\mathfrak g$ always fixes a Cartan subalgebra of $\mathfrak g$. Conversely, if we take a representative from each non-conjugate class of Cartan subalgebras in a real Lie algebra, we show that there exists a non-identity automorphism that fixes these representatives. We explicitly identify such automorphisms in the case of classical simple Lie algebras. As a consequence, we deduce an analogous result for semisimple Lie groups. Moreover, given a $Γ$-stable Cartan subgroup $H$ of $G$, and a $Γ$-stable closed connected normal subgroup $M$ of $G$, we prove that there exists a $Γ$-stable Cartan subgroup $H_M$ of $M$ such that $H\cap M\subset H_M$.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Algebraic and Spectral properties of slant Toeplitz and slant little Hankel Operators on weighted Bergman Space
Authors:
Oinam Nilbir Singh,
M. P. Singh,
Thokchom Sonamani Singh
Abstract:
This paper studies the \(k^{th}-\)order slant Toeplitz and slant little Hankel operators on the weighted Bergman space \(\mathcal{A}_α^2(\mathbb{D})\). These operators are constructed using a slant shift operator \(W_k\) composed with classical Toeplitz and Hankel operators, respectively. We derive their matrix representations and establish criteria for boundedness, compactness, and normality. Com…
▽ More
This paper studies the \(k^{th}-\)order slant Toeplitz and slant little Hankel operators on the weighted Bergman space \(\mathcal{A}_α^2(\mathbb{D})\). These operators are constructed using a slant shift operator \(W_k\) composed with classical Toeplitz and Hankel operators, respectively. We derive their matrix representations and establish criteria for boundedness, compactness, and normality. Commutativity conditions are obtained, showing that two such operators commute if and only if their symbols are linearly dependent. Normality is characterized as slant Toeplitz operators are normal only for constant symbols, while slant little Hankel operators are normal if the symbol is analytic. Compactness is shown to occur precisely when the symbol vanishes. Spectral properties, including essential spectra and eigenvalue distributions, are analyzed. Numerical simulations corroborate the theoretical findings and highlight key structural and computational differences between the two operator classes.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
H-Toeplitz operators on Fock space
Authors:
Thokchom Sonamani Singh,
M. Premjit Singh,
Oinam Nilbir Singh,
Khumballambam Priyobarta Singh
Abstract:
This paper explores H-Toeplitz operators on the Fock space, unifying aspects of Toeplitz and Hankel operators while introducing novel structural properties. We derive explicit matrix representations for these operators with respect to the orthonormal basis of monomials, analyze their commutativity, and establish compactness criteria. Key results include the characterization of commuting H-Toeplitz…
▽ More
This paper explores H-Toeplitz operators on the Fock space, unifying aspects of Toeplitz and Hankel operators while introducing novel structural properties. We derive explicit matrix representations for these operators with respect to the orthonormal basis of monomials, analyze their commutativity, and establish compactness criteria. Key results include the characterization of commuting H-Toeplitz operators with harmonic symbols and the proof that non-zero H-Toeplitz operators cannot be Hilbert-Schmidt. Additionally, we introduce directed H-Toeplitz graphs to visualize adjacency relations encoded by these operators, demonstrating their structural patterns through indegree and outdegree sequences. Our findings bridge theoretical operator theory with graphical representations, offering insights into the interplay between analytic function spaces and operator algebras.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Penalty-Based Feedback Control and Finite Element Analysis for the Stabilization of Nonlinear Reaction-Diffusion Equations
Authors:
Sudeep Kundu,
Shishu pal Singh
Abstract:
In this work, first we employ the penalization technique to analyze the Dirichlet boundary feedback control problem pertaining to reaction-diffusion equation. We establish the stabilization result of the equivalent Robin problem in the \(H^{2}\)-norm with respect to the penalty parameter. Furthermore, we prove that the solution of the penalized control problem converges to the corresponding soluti…
▽ More
In this work, first we employ the penalization technique to analyze the Dirichlet boundary feedback control problem pertaining to reaction-diffusion equation. We establish the stabilization result of the equivalent Robin problem in the \(H^{2}\)-norm with respect to the penalty parameter. Furthermore, we prove that the solution of the penalized control problem converges to the corresponding solution of the Dirichlet boundary feedback control problem as the penalty parameter \(ε\) approaches zero. A \(C^{0}\)-conforming finite element method is applied to this problem for the spatial variable while keeping the time variable continuous. We discuss the stabilization of the semi-discrete scheme for the penalized control problem and present an error analysis of its solution. Finally, we validate our theoretical findings through numerical experiments.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
The weak normalization of an affine semigroup
Authors:
Kyle Maddox,
Srishti Singh
Abstract:
In this article, we define and explore the weak normalization of an affine semigroup. In particular, for a fixed prime integer, we provide a geometric description of the weak normalization of an affine semigroup with respect to that prime, which corresponds to the weak normalization of the affine semigroup ring over a field of that prime characteristic, similar to the description of the seminormal…
▽ More
In this article, we define and explore the weak normalization of an affine semigroup. In particular, for a fixed prime integer, we provide a geometric description of the weak normalization of an affine semigroup with respect to that prime, which corresponds to the weak normalization of the affine semigroup ring over a field of that prime characteristic, similar to the description of the seminormalization of an affine semigroup given by Reid-Roberts. We then use this description to understand the singularities of an affine semigroup ring defined over a field of prime characteristic and provide several examples. In particular, we demonstrate that all affine semigroup rings defined over fields of prime characteristic have a uniform upper bound on the Frobenius test exponent of all ideals, which provides a large and important class of examples with a positive answer to a question of Katzman-Sharp on uniformity of Frobenius test exponents. Finally, we provide an algorithm and implementation to compute the weak normalization of an affine semigroup, as well as the Frobenius test exponent and Frobenius closures of ideals in the affine semigroup ring.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
A generalization of Ramanujan's sum over finite rings
Authors:
Priya,
Sanjay Kumar Singh
Abstract:
Let $R$ be a finite ring with unity. In general, the eigenvalues of the unitary Cayley graph $\text{Cay}(R, R^{\times})$ are not known when $R$ is a non-commutative. In this paper, we present an explicit formula for the eigenvalues of $\text{Cay}(R, R^{\times})$ for any finite ring $R$. However, our focus is on a more general case of the unitary Cayley graph. It is well known that the classical Ra…
▽ More
Let $R$ be a finite ring with unity. In general, the eigenvalues of the unitary Cayley graph $\text{Cay}(R, R^{\times})$ are not known when $R$ is a non-commutative. In this paper, we present an explicit formula for the eigenvalues of $\text{Cay}(R, R^{\times})$ for any finite ring $R$. However, our focus is on a more general case of the unitary Cayley graph. It is well known that the classical Ramanujan's sum represents the eigenvalues of $\text{Cay}(\mathbb{Z}_n, \mathbb{Z}_n^{\times})$. Consequently, the eigenvalues of $\text{Cay}(R, R^{\times})$ can be view as a generalization of classical Ramanujan's sum in the context of finite rings. Interestingly, the formula we derive for the eigenvalues of $\text{Cay}(R, R^{\times})$ extends the known formula of classical Ramanujan's sum to the context of finite rings.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
A generalization of Ramanujan's sum over finite groups
Authors:
Monu Kadyan,
Priya,
Sanjay Kumar Singh
Abstract:
Let $G$ be a finite group, and let $x \in G$. Define $[x^G] := \{ y \in G : \langle x^G \rangle = \langle y^G \rangle \}$, where $\langle x^G \rangle$ denotes the normal subgroup of $G$ generated by the conjugacy class of $x$. In this paper, we determine an explicit formula for the eigenvalues of the normal Cayley graph $\text{Cay}(G, [x^G])$. These eigenvalues can be viewed as a generalization of…
▽ More
Let $G$ be a finite group, and let $x \in G$. Define $[x^G] := \{ y \in G : \langle x^G \rangle = \langle y^G \rangle \}$, where $\langle x^G \rangle$ denotes the normal subgroup of $G$ generated by the conjugacy class of $x$. In this paper, we determine an explicit formula for the eigenvalues of the normal Cayley graph $\text{Cay}(G, [x^G])$. These eigenvalues can be viewed as a generalization of classical Ramanujan's sum in the setting of finite groups. Surprisingly, the formula we derive for the eigenvalues of $\text{Cay}(G, [x^G])$ extends the known formula of classical Ramanujan's sum to the context of finite groups. This generalization not only enrich the theory of Ramanujan's sum but also provide new tools in spectral graph theory, representation theory, and algebraic number theory.
△ Less
Submitted 15 May, 2025; v1 submitted 29 April, 2025;
originally announced April 2025.
-
Spectral stability of periodic traveling waves in Caudrey-Dodd-Gibbon-Sawada-Kotera Equation
Authors:
Sudhir Singh,
Ashish Kumar Pandey,
Nitesh Sharma
Abstract:
We study the spectral stability of the one-dimensional small-amplitude periodic traveling wave solutions of the (1+1)-dimensional Caudrey-Dodd-Gibbon-Sawada-Kotera equation. We show that these waves are spectrally stable with respect to co-periodic as well as square integrable perturbations.
We study the spectral stability of the one-dimensional small-amplitude periodic traveling wave solutions of the (1+1)-dimensional Caudrey-Dodd-Gibbon-Sawada-Kotera equation. We show that these waves are spectrally stable with respect to co-periodic as well as square integrable perturbations.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
The Betti Numbers of Kunz-Waldi Semigroups
Authors:
Mario González-Sánchez,
Srishti Singh,
Hema Srinivasan
Abstract:
Given two coprime numbers $p<q$, KW semigroups contain $p,q$ and are contained in $\langle p,q,r \rangle$ where $2r= p,q, p+q$ whichever is even. These semigroups were first introduced by Kunz and Waldi. Kunz and Waldi proved that all $KW$ semigroups of embedding dimension $n\geq 4$ have Cohen-Macaulay type $n-1$ and first Betti number ${n \choose 2}$. In this paper, we characterize KW semigroups…
▽ More
Given two coprime numbers $p<q$, KW semigroups contain $p,q$ and are contained in $\langle p,q,r \rangle$ where $2r= p,q, p+q$ whichever is even. These semigroups were first introduced by Kunz and Waldi. Kunz and Waldi proved that all $KW$ semigroups of embedding dimension $n\geq 4$ have Cohen-Macaulay type $n-1$ and first Betti number ${n \choose 2}$. In this paper, we characterize KW semigroups whose defining ideal is generated by the $2\times 2$ minors of a $2\times n$ matrix. In addition, we identify all KW semigroups that lie on the interior of the same face of the Kunz cone $\mathcal C_p$ as a KW semigroup with determinantal defining ideal. Thus, we provide an explicit formula for the Betti numbers of all those KW semigroups.
△ Less
Submitted 26 March, 2025; v1 submitted 20 March, 2025;
originally announced March 2025.
-
Phototactic Bioconvection in a Rotating Isotropic Porous Medium: Linear Stability Analysis
Authors:
Sandeep Kumar,
Suneet Singh
Abstract:
This study investigates the linear stability of phototactic bioconvection in a rotating porous medium under collimated light, incorporating the effects of critical intensity, Darcy number, and Taylor number. Using a mathematical model and the MATLAB Bvp4c solver, the critical Rayleigh number and wavenumber for instability onset are identified. The results reveal that higher Darcy numbers enhance i…
▽ More
This study investigates the linear stability of phototactic bioconvection in a rotating porous medium under collimated light, incorporating the effects of critical intensity, Darcy number, and Taylor number. Using a mathematical model and the MATLAB Bvp4c solver, the critical Rayleigh number and wavenumber for instability onset are identified. The results reveal that higher Darcy numbers enhance instability, increasing the wavelength of bioconvection patterns, while rotation exerts a stabilizing effect by limiting vertical motion and confining fluid dynamics to the horizontal plane. Additionally, an increase in critical intensity amplifies instability. Furthermore, the study explores the transition between oscillatory and stationary solutions, highlighting the role of rotational dynamics in altering instability modes. These findings provide novel insights into the interplay of phototaxis, rotation, and porous media, advancing the understanding of bioconvective systems with potential applications in environmental engineering, biophysics, and geophysical fluid dynamics.
△ Less
Submitted 13 February, 2025;
originally announced February 2025.
-
Shifted convolution sum with weighted average : $GL(3) \times GL(3)$ setup
Authors:
Mohd Harun,
Saurabh Kumar Singh
Abstract:
This article will prove non-trivial estimates for the average and weighted average version of general $GL(3) \times GL(3)$ shifted convolution sums by using the circle method.
This article will prove non-trivial estimates for the average and weighted average version of general $GL(3) \times GL(3)$ shifted convolution sums by using the circle method.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Efficient cell-centered nodal integral method for multi-dimensional Burgers equations
Authors:
Nadeem Ahmed,
Ram Prakash Bharti,
Suneet Singh
Abstract:
An efficient coarse-mesh nodal integral method (NIM), based on cell-centered variables and termed the cell-centered NIM (CCNIM), is developed and applied to solve multi-dimensional, time-dependent, nonlinear Burgers equations, extending the applicability of CCNIM to nonlinear problems. To overcome the existing limitation of CCNIM to linear problems, the convective velocity in the nonlinear convect…
▽ More
An efficient coarse-mesh nodal integral method (NIM), based on cell-centered variables and termed the cell-centered NIM (CCNIM), is developed and applied to solve multi-dimensional, time-dependent, nonlinear Burgers equations, extending the applicability of CCNIM to nonlinear problems. To overcome the existing limitation of CCNIM to linear problems, the convective velocity in the nonlinear convection term is approximated using two different approaches, both demonstrating accuracy comparable to or better than traditional NIM for nonlinear Burgers problems. Unlike traditional NIM, which utilizes surface-averaged variables as discrete unknowns, this innovative approach formulates the final expression of the numerical scheme using discrete unknowns represented by cell-centered (or node-averaged) variables. Using these cell centroids, the proposed CCNIM approach presents several advantages compared to traditional NIM. These include a simplified implementation process in terms of local coordinate systems, enhanced flexibility regarding the higher order of accuracy in time, straightforward formulation for higher-degree temporal derivatives, and offering a viable option for coupling with other physics. The multi-dimensional time-dependent Burgers problems (propagating shock, propagation, and diffusion of an initial sinusoidal wave, shock-like formation) with known analytical solutions are solved in order to validate the developed scheme. Furthermore, a detailed comparison between the proposed CCNIM approach and other traditional NIM schemes is conducted to demonstrate its effectiveness. The proposed approach has shown quadratic convergence in both space and time, i.e., O[$(Δx)^2, (Δt)^2$], for the considered test problems. The simplicity and robustness of the approach provide a strong foundation for its seamless extension to more complex fluid flow problems.
△ Less
Submitted 13 April, 2025; v1 submitted 26 December, 2024;
originally announced December 2024.
-
On the almost palindromic width of certain free constructions of groups
Authors:
Krishnendu Gongopadhyay,
Shrinit Singh
Abstract:
We study $m$-almost palindromic width of the fundamental group of a graph of groups. Specifically, we prove that $m$-almost palindromic width of the HNN extension and amalgamated free product is infinite, except for the case when the amalgamated subgroup has index two in each factor. This result generalizes the work \cite{MS} and \cite{GK}.
We study $m$-almost palindromic width of the fundamental group of a graph of groups. Specifically, we prove that $m$-almost palindromic width of the HNN extension and amalgamated free product is infinite, except for the case when the amalgamated subgroup has index two in each factor. This result generalizes the work \cite{MS} and \cite{GK}.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
Eckstein-Ferris-Pennanen-Robinson duality revisited: paramonotonicity, total Fenchel-Rockallar duality, and the Chambolle-Pock operator
Authors:
Heinz H. Bauschke,
Walaa M. Moursi,
Shambhavi Singh
Abstract:
Finding zeros of the sum of two maximally monotoneoperators involving a continuous linear operator is a central problem in optimization and monotone operator theory. We revisit the duality framework proposed by Eckstein, Ferris, Pennanen, and Robinson from a quarter of a century ago. Paramonotonicity is identified as a broad condition ensuring that saddle points coincide with the closed convex rec…
▽ More
Finding zeros of the sum of two maximally monotoneoperators involving a continuous linear operator is a central problem in optimization and monotone operator theory. We revisit the duality framework proposed by Eckstein, Ferris, Pennanen, and Robinson from a quarter of a century ago. Paramonotonicity is identified as a broad condition ensuring that saddle points coincide with the closed convex rectangle formed by the primal and dual solutions. Additionally, we characterize total duality in the subdifferential setting and derive projection formulas for sets that arise in the analysis of the Chambolle-Pock algorithm within the recent framework developed by Bredies, Chenchene, Lorenz, and Naldi.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
On quasi-convex smooth optimization problems by a comparison oracle
Authors:
A. V. Gasnikov,
M. S. Alkousa,
A. V. Lobanov,
Y. V. Dorn,
F. S. Stonyakin,
I. A. Kuruzov,
S. R. Singh
Abstract:
Frequently, when dealing with many machine learning models, optimization problems appear to be challenging due to a limited understanding of the constructions and characterizations of the objective functions in these problems. Therefore, major complications arise when dealing with first-order algorithms, in which gradient computations are challenging or even impossible in various scenarios. For th…
▽ More
Frequently, when dealing with many machine learning models, optimization problems appear to be challenging due to a limited understanding of the constructions and characterizations of the objective functions in these problems. Therefore, major complications arise when dealing with first-order algorithms, in which gradient computations are challenging or even impossible in various scenarios. For this reason, we resort to derivative-free methods (zeroth-order methods). This paper is devoted to an approach to minimizing quasi-convex functions using a recently proposed comparison oracle only. This oracle compares function values at two points and tells which is larger, thus by the proposed approach, the comparisons are all we need to solve the optimization problem under consideration. The proposed algorithm to solve the considered problem is based on the technique of comparison-based gradient direction estimation and the comparison-based approximation normalized gradient descent. The normalized gradient descent algorithm is an adaptation of gradient descent, which updates according to the direction of the gradients, rather than the gradients themselves. We proved the convergence rate of the proposed algorithm when the objective function is smooth and strictly quasi-convex in $\mathbb{R}^n$, this algorithm needs $\mathcal{O}\left( \left(n D^2/\varepsilon^2 \right) \log\left(n D / \varepsilon\right)\right)$ comparison queries to find an $\varepsilon$-approximate of the optimal solution, where $D$ is an upper bound of the distance between all generated iteration points and an optimal solution.
△ Less
Submitted 23 November, 2024;
originally announced November 2024.
-
On the $z$-classes of Palindromic automorphisms of Free Groups
Authors:
Krishnendu Gongopadhyay,
Lokenath Kundu,
Shashank Vikram Singh
Abstract:
The palindromic automorphism group is a subgroup of the automorphism group $Aut(F_3).$ We establish a necessary and sufficient condition for a matrix in $GL_n(\mathbb{Z})$ representing a palindromic automorphism of $F_n.$ We prove that the number of the $z$-classes in $ΠA(F_n)$ is infinite. We further classify the conjugacy classes of the reducible palindromic automorphisms.
The palindromic automorphism group is a subgroup of the automorphism group $Aut(F_3).$ We establish a necessary and sufficient condition for a matrix in $GL_n(\mathbb{Z})$ representing a palindromic automorphism of $F_n.$ We prove that the number of the $z$-classes in $ΠA(F_n)$ is infinite. We further classify the conjugacy classes of the reducible palindromic automorphisms.
△ Less
Submitted 23 November, 2024;
originally announced November 2024.
-
Finite element method for the numerical simulation of modified Poisson-Nernst-Planck/Navier-Stokes model
Authors:
Ankur,
Ram Jiwari,
Satyvir Singh
Abstract:
The Nernst-Planck model has long served as a foundational framework for understanding the behavior of electrolyte systems. However, inherent deficiencies in this model have spurred the exploration of alternative approaches. In this context, this study presents simulation in multidimensional contexts for a new, fully-coupled, non-linear, thermodynamically consistent electrolyte model introduced by…
▽ More
The Nernst-Planck model has long served as a foundational framework for understanding the behavior of electrolyte systems. However, inherent deficiencies in this model have spurred the exploration of alternative approaches. In this context, this study presents simulation in multidimensional contexts for a new, fully-coupled, non-linear, thermodynamically consistent electrolyte model introduced by Dreyer et al. We present a robust mathematical formulation and employ a conforming finite element approximation to comprehensively explore both compressible and incompressible variants of the electrolyte mixture. Our investigation extends across diverse spatial dimensions, facilitating an in-depth analysis of parametric dependencies governing space-charge layer formation at boundaries under external voltage influence. Furthermore, meticulous consideration is given to finite ion size effects, which play a critical role in electrolyte flow dynamics. Insights from annular battery designs are also incorporated, which introduce unique dynamics to ion transport phenomena. Through rigorous simulations, we validate the accuracy and reliability of our numerical scheme, thereby laying the groundwork for an enhanced understanding and optimization of electrolyte system behaviors across various applications, notably in semiconductor devices and electrochemistry.
△ Less
Submitted 16 September, 2024; v1 submitted 13 September, 2024;
originally announced September 2024.
-
Numerical and Lyapunov-Based Investigation of the Effect of Stenosis on Blood Transport Stability Using a Control-Theoretic PDE Model of Cardiovascular Flow
Authors:
Shantanu Singh,
Nikolaos Bekiaris-Liberis
Abstract:
We perform various numerical tests to study the effect of (boundary) stenosis on blood flow stability, employing a detailed and accurate, second-order finite-volume scheme for numerically implementing a partial differential equation (PDE) model, using clinically realistic values for the artery's parameters and the blood inflow. The model consists of a baseline $2\times 2$ hetero-directional, nonli…
▽ More
We perform various numerical tests to study the effect of (boundary) stenosis on blood flow stability, employing a detailed and accurate, second-order finite-volume scheme for numerically implementing a partial differential equation (PDE) model, using clinically realistic values for the artery's parameters and the blood inflow. The model consists of a baseline $2\times 2$ hetero-directional, nonlinear hyperbolic PDE system, in which, the stenosis' effect is described by a pressure drop at the outlet of an arterial segment considered. We then study the stability properties (observed in our numerical tests) of a reference trajectory, corresponding to a given time-varying inflow (e.g., a periodic trajectory with period equal to the time interval between two consecutive heartbeats) and stenosis severity, deriving the respective linearized system and constructing a Lyapunov functional. Due to the fact that the linearized system is time varying, with time-varying parameters depending on the reference trajectories themselves (that, in turn, depend in an implicit manner on the stenosis degree), which cannot be derived analytically, we verify the Lyapunov-based stability conditions obtained, numerically. Both the numerical tests and the Lyapunov-based stability analysis show that a reference trajectory is asymptotically stable with a decay rate that decreases as the stenosis severity deteriorates.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
A note on words having same image on finite groups
Authors:
Shrinit Singh
Abstract:
The question of whether two words in a free group that induce the same measure on every finite group as word maps are automorphic remains open. In this work, we study words whose images as word maps on every finite group are identical. We establish that two words in $F_2$, where one of the words is $x^n$ or $[x,y]^n$ for $n \in \Z$, having same image on every finite group, are endomorphic to each…
▽ More
The question of whether two words in a free group that induce the same measure on every finite group as word maps are automorphic remains open. In this work, we study words whose images as word maps on every finite group are identical. We establish that two words in $F_2$, where one of the words is $x^n$ or $[x,y]^n$ for $n \in \Z$, having same image on every finite group, are endomorphic to each other. Furthermore, we demonstrate that if the word map corresponding to a word $w_1 \in F_n$ has the same image as a test word $w_2 \in F_n$ on every finite group, then this is sufficient to ensure that $w_1$ and $w_2$ induce the same measure on every finite group.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Infinitely divisible modified Bessel distributions
Authors:
Árpád Baricz,
Dhivya Prabhu K,
Sanjeev Singh,
Antony Vijesh V
Abstract:
In this paper we focus on continuous univariate probability distributions, like McKay distributions, $K$-distribution, generalized inverse Gaussian distribution and generalised McKay distributions, with support $[0,\infty),$ which are related to modified Bessel functions of the first and second kinds and in most cases we show that they belong to the class infinitely divisible distributions, self-d…
▽ More
In this paper we focus on continuous univariate probability distributions, like McKay distributions, $K$-distribution, generalized inverse Gaussian distribution and generalised McKay distributions, with support $[0,\infty),$ which are related to modified Bessel functions of the first and second kinds and in most cases we show that they belong to the class infinitely divisible distributions, self-decomposable distributions, generalized gamma convolutions and hyperbolically completely monotone densities. Some of the results are known, however the proofs are new and we use special functions technique. Integral representations of quotients of Tricomi hypergeometric functions as well as of quotients of Gaussian hypergeometric functions, or modified Bessel functions of the second kind play an important role in our study. In addition, by using a different approach we rediscover a Stieltjes transform representation due to Hermann Hankel for the product of modified Bessel functions of the first and second kinds and we also deduce a series of new Stieltjes transform representations for products, quotients and their reciprocals concerning modified Bessel functions of the first and second kinds. By using these results we obtain new infinitely divisible modified Bessel distributions with Laplace transforms related to modified Bessel functions of the first and second kind. Moreover, we show that the new Stieltjes transform representations have some interesting applications and we list some open problems which may be of interest for further research. In addition, we present a new proof via the Pick function characterization theorem for the infinite divisibility of the ratio of two gamma random variables and we present some new Stieltjes transform representations of quotients of Tricomi hypergeometric functions.
△ Less
Submitted 1 August, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Spectral properties of Cayley graphs over finite commutative rings
Authors:
Priya,
Sanjay Kumar Singh
Abstract:
Let $R$ be a finite commutative ring with unity and $x$ be a non-zero element of $R$. In this paper, we calculate the spectrum and energy of the Cayley graph ${\rm Cay}(R,xR^{*})$, and also compute the energy of their compliment graph. Further, we give necessary and sufficient condition for Cayley graph ${\rm Cay}(R,xR^{*})$ to be Ramanujan.
Let $R$ be a finite commutative ring with unity and $x$ be a non-zero element of $R$. In this paper, we calculate the spectrum and energy of the Cayley graph ${\rm Cay}(R,xR^{*})$, and also compute the energy of their compliment graph. Further, we give necessary and sufficient condition for Cayley graph ${\rm Cay}(R,xR^{*})$ to be Ramanujan.
△ Less
Submitted 26 April, 2025; v1 submitted 23 June, 2024;
originally announced June 2024.
-
On Isolated Gaps of Numerical Semigroups of embedding dimension two
Authors:
Shubh N. Singh,
Ranjan K. Ram
Abstract:
We explicitly describe all the isolated gaps of any numerical semigroup of embedding dimension two, and we give an exact formula for the number of isolated gaps of these numerical semigroups.
We explicitly describe all the isolated gaps of any numerical semigroup of embedding dimension two, and we give an exact formula for the number of isolated gaps of these numerical semigroups.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
A Class of Numerical Semigroups Defined by Kunz and Waldi
Authors:
Srishti Singh,
Hema Srinivasan
Abstract:
In this paper, we explore a class of numerical semigroups initiated by Kunz and Waldi containing two coprime numbers $p < q$, which we call KW semigroups. We characterize KW numerical semigroups by their principal matrices. We present a necessary and sufficient criterion for a matrix to be the principal matrix of a KW semigroup. An explicit description of the minimal resolutions of numerical semig…
▽ More
In this paper, we explore a class of numerical semigroups initiated by Kunz and Waldi containing two coprime numbers $p < q$, which we call KW semigroups. We characterize KW numerical semigroups by their principal matrices. We present a necessary and sufficient criterion for a matrix to be the principal matrix of a KW semigroup. An explicit description of the minimal resolutions of numerical semigroups in the same class with small embedding dimensions 3 and 4 is given. We give a generalization of this notion to three dimensions using lattice paths under a plane and present some preliminary results and questions.
△ Less
Submitted 3 May, 2024; v1 submitted 1 May, 2024;
originally announced May 2024.
-
On the Continued Fraction Expansion of Almost All Real Numbers
Authors:
Alex Jin,
Shreyas Singh,
Zhuo Zhang,
AJ Hildebrand
Abstract:
By a classical result of Gauss and Kuzmin, the continued fraction expansion of a ``random'' real number contains each digit $a\in\mathbb{N}$ with asymptotic frequency $\log_2(1+1/(a(a+2)))$.
We generalize this result in two directions: First, for certain sets $A\subset\mathbb{N}$, we establish simple explicit formulas for the frequency with which the continued fraction expansion of a random real…
▽ More
By a classical result of Gauss and Kuzmin, the continued fraction expansion of a ``random'' real number contains each digit $a\in\mathbb{N}$ with asymptotic frequency $\log_2(1+1/(a(a+2)))$.
We generalize this result in two directions: First, for certain sets $A\subset\mathbb{N}$, we establish simple explicit formulas for the frequency with which the continued fraction expansion of a random real number contains a digit from the set $A$. For example, we show that digits of the form $p-1$, where $p$ is prime, appear with frequency $\log_2(π^2/6)$.
Second, we obtain a simple formula for the frequency with which a string of $k$ consecutive digits $a$ appears in the continued fraction expansion of a random real number. In particular, when $a=1$, this frequency is given by $|\log_2(1+(-1)^k/F_{k+2})|$, where $F_n$ is the $n$th Fibonacci number.
Finally, we compare the frequencies predicted by these results with actual frequencies found among the first 300 million continued fraction digits of $π$, and we provide strong statistical evidence that the continued fraction expansion of $π$ behaves like that of a random real number.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
A nonlocal approach to graded surface modeling in topology optimization
Authors:
Sukhminder Singh,
Lukas Pflug,
Fabian Wein,
Michael Stingl
Abstract:
Additively manufactured structures often exhibit a correlation between their mechanical properties, such as stiffness, strength, and porosity, and their wall thickness. This correlation stems from the interplay between the manufacturing process and the properties of the filler material. In this study, we investigate the thickness-dependent effect on structural stiffness and propose a nonlocal inte…
▽ More
Additively manufactured structures often exhibit a correlation between their mechanical properties, such as stiffness, strength, and porosity, and their wall thickness. This correlation stems from the interplay between the manufacturing process and the properties of the filler material. In this study, we investigate the thickness-dependent effect on structural stiffness and propose a nonlocal integral model that introduces surface grading of Young's modulus to capture this phenomenon. We incorporate this model into topology optimization for designing structures with optimized compliance subject to a volume constraint. Notably, elastically degraded surfaces penalize excessively thin features, effectively eliminating them from the optimized design. We showcase the efficacy of our proposed framework by optimizing the design of a two-dimensional cantilever beam and a bridge.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Computational modelling of complex multiphase behavior of environmentally-friendly materials for sustainable technological solutions
Authors:
Akshayveer Akshayveer,
Federico C Buroni,
Roderick Melnik,
Luis Rodriguez-Tembleque,
Andres Saez,
Sundeep Singh
Abstract:
This study presents a computational framework to investigate and predict the complicated multiphase properties of eco-friendly lead-free piezoelectric materials, which are crucial for sustainable technological progress. Although their electromechanical properties vary by phase, lead-free piezoelectric materials show a considerable thermo-electromechanical response. Lead-free materials such as Bi…
▽ More
This study presents a computational framework to investigate and predict the complicated multiphase properties of eco-friendly lead-free piezoelectric materials, which are crucial for sustainable technological progress. Although their electromechanical properties vary by phase, lead-free piezoelectric materials show a considerable thermo-electromechanical response. Lead-free materials such as Bi$_{0.5}$Na$_{0,5}$TiO$_{3}$ (BNT) and other BNT-type piezoelectric materials transition to rhombohedral (R3c), orthorhombic (Pnma), tetragonal (P4bm), and cubic (Cc) phases with temperature variation. These phases are determined by the symmetry and alignment of the ferroelectric domains. Multiple phases can occur simultaneously under specific thermal, electrical, and mechanical conditions, leading in complex multiphase behaviour. These materials' performance must be assessed by studying such behaviour. This study uses Landau-Ginzburg-Devonshire theory to simulate material micro-domain phase transitions. The computational model for BNT-type piezoelectric material covers temperature-induced ferroelectric domain switching and phase transitions. Therefore, the developed computational approach will assist us in better understanding the influence of these materials' complex multiphase behaviour on creating sustainable solutions with green technologies.
△ Less
Submitted 16 April, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Data driven approach to study the transition from dispersive to dissipative systems through dimensionality reduction techniques
Authors:
Mairembam Kelvin Singh,
A. Surjalal Sharma,
N. Nimai Singh,
Moirangthem Shubhakanta Singh
Abstract:
Complexity is often exhibited in dynamical systems, where certain parameters evolve with time in a strange and chaotic nature. These systems lack predictability and are common in the physical world. Dissipative systems are one of such systems where the volume of the phase space contracts with time. On the other hand, we employ dimensionality reduction techniques to study complicated and complex da…
▽ More
Complexity is often exhibited in dynamical systems, where certain parameters evolve with time in a strange and chaotic nature. These systems lack predictability and are common in the physical world. Dissipative systems are one of such systems where the volume of the phase space contracts with time. On the other hand, we employ dimensionality reduction techniques to study complicated and complex data, which are tough to analyse. The Principal Component Analysis (PCA) is a dimensionality reduction technique used as a means to study complex data. Through PCA, we studied the reduced dimensional features of the numerical data generated by a nonlinear partial differential equation called the Korteweg de Vries (KdV) equation, which is a nonlinear dispersive system, where solitary waves travel along a specific direction with finite amplitude. Dissipative nature, specific to that of the Lorenz system, were observed in the dimensionally reduced data, which implies a transition from a dispersive system to a dissipative system.
△ Less
Submitted 7 February, 2024;
originally announced March 2024.
-
$C$-Width of Graph of Groups
Authors:
Shrinit Singh
Abstract:
In this paper, we study the $C$-width of HNN extension of a group via its proper isomorphic subgroups and amalgamated free product of two groups via their proper isomorphic subgroups with respect to conjugation invariant generating set. We will also establish that infinite one relator group has infinite $C$-width.
In this paper, we study the $C$-width of HNN extension of a group via its proper isomorphic subgroups and amalgamated free product of two groups via their proper isomorphic subgroups with respect to conjugation invariant generating set. We will also establish that infinite one relator group has infinite $C$-width.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Zero-error communication under discrete-time Markovian dynamics
Authors:
Satvik Singh,
Mizanur Rahaman,
Nilanjana Datta
Abstract:
Consider an open quantum system with (discrete-time) Markovian dynamics. Our task is to store information in the system in such a way that it can be retrieved perfectly, even after the system is left to evolve for an arbitrarily long time. We show that this is impossible for classical (resp. quantum) information precisely when the dynamics is mixing (resp. asymptotically entanglement breaking). Fu…
▽ More
Consider an open quantum system with (discrete-time) Markovian dynamics. Our task is to store information in the system in such a way that it can be retrieved perfectly, even after the system is left to evolve for an arbitrarily long time. We show that this is impossible for classical (resp. quantum) information precisely when the dynamics is mixing (resp. asymptotically entanglement breaking). Furthermore, we provide tight universal upper bounds on the minimum time after which any such dynamics `scrambles' the encoded information beyond the point of perfect retrieval. On the other hand, for dynamics that are not of this kind, we show that information must be encoded inside the peripheral space associated with the dynamics in order for it to be perfectly recoverable at any time in the future. This allows us to derive explicit formulas for the maximum amount of information that can be protected from noise in terms of the structure of the peripheral space of the dynamics.
△ Less
Submitted 2 July, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Direct and Inverse Problems in Baumslag-Solitar Group $BS(1,3)$
Authors:
Sandeep Singh,
Ramandeep Kaur
Abstract:
For integers $m$ and $n$, the Baumslag-Solitar groups, denoted as $BS(m,n)$, are groups generated by two elements with a single defining relation: $BS(m,n) = \langle a, b | a^mb=ba^n\rangle$. The sum of dilates, denoted as $r \cdot A + s \cdot B$ for integers $r$ and $s$, is defined as $\{ra + sb; a\in A, b\in B\}$. In 2014, Freiman et al. \cite{freiman} derived direct and inverse results for sums…
▽ More
For integers $m$ and $n$, the Baumslag-Solitar groups, denoted as $BS(m,n)$, are groups generated by two elements with a single defining relation: $BS(m,n) = \langle a, b | a^mb=ba^n\rangle$. The sum of dilates, denoted as $r \cdot A + s \cdot B$ for integers $r$ and $s$, is defined as $\{ra + sb; a\in A, b\in B\}$. In 2014, Freiman et al. \cite{freiman} derived direct and inverse results for sums of dilates and applied these findings to address specific direct and inverse problems within Baumslag-Solitar groups, assuming suitable small doubling properties. In 2015, Freiman et al. \cite{freiman15} tackled the general problem of small doubling types in a monoid, a subset of the Baumslag-Solitar group $BS(1,2)$. This paper extends these investigations to solve the analogous problem for the Baumslag-Solitar group $BS(1,3)$.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties
Authors:
Mattia Ornaghi,
Saurabh Singh,
Amnon Yekutieli
Abstract:
In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twist…
▽ More
In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twisted inverse pseudofunctor $f^{!}$. This is the first article of a bigger project, whose final goal is establishing Grothendieck Duality, including global duality for proper maps, for Deligne-Mumford stacks.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
Boundary control of generalized Korteweg-de Vries-Burgers-Huxley equation: Well-Posedness, Stabilization and Numerical Studies
Authors:
Manil T. Mohan,
Shri Lal Raghudev Ram Singh
Abstract:
A boundary control problem for the following generalized Korteweg-de Vries-Burgers-Huxley equation: $$u_t=νu_{xx}-μu_{xxx}-αu^δu_x+βu(1-u^δ)(u^δ-γ), \ x\in[0,1], \ t>0,$$ where $ν,μ,α,β>0,$ $δ\in[1,\infty)$, $γ\in(0,1)$ subject to Neumann boundary conditions is considered in this work. We first establish the well-posedness of the Neumann boundary value problem by an application of monotonicity arg…
▽ More
A boundary control problem for the following generalized Korteweg-de Vries-Burgers-Huxley equation: $$u_t=νu_{xx}-μu_{xxx}-αu^δu_x+βu(1-u^δ)(u^δ-γ), \ x\in[0,1], \ t>0,$$ where $ν,μ,α,β>0,$ $δ\in[1,\infty)$, $γ\in(0,1)$ subject to Neumann boundary conditions is considered in this work. We first establish the well-posedness of the Neumann boundary value problem by an application of monotonicity arguments, the Hartman-Stampacchia theorem, the Minty-Browder theorem, and the Crandall-Liggett theorem. The additional difficulties caused by the third order linear term is successfully handled by proving a proper version of the Minty-Browder theorem. By using suitable feedback boundary controls, we demonstrate $\mathrm{L}^2$- and $\mathrm{H}^1$-stability properties of the closed-loop system for sufficiently large $ν>0$. The analytical conclusions from this work are supported and validated by numerical investigations.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
A Hidden Convexity of Nonlinear Elasticity
Authors:
Siddharth Singh,
Janusz Ginster,
Amit Acharya
Abstract:
A technique for developing convex dual variational principles for the governing PDE of nonlinear elastostatics and elastodynamics is presented. This allows the definition of notions of a variational dual solution and a dual solution corresponding to the PDEs of nonlinear elasticity, even when the latter arise as formal Euler-Lagrange equations corresponding to non-quasiconvex elastic energy functi…
▽ More
A technique for developing convex dual variational principles for the governing PDE of nonlinear elastostatics and elastodynamics is presented. This allows the definition of notions of a variational dual solution and a dual solution corresponding to the PDEs of nonlinear elasticity, even when the latter arise as formal Euler-Lagrange equations corresponding to non-quasiconvex elastic energy functionals whose energy minimizers do not exist. This is demonstrated rigorously in the case of elastostatics for the Saint-Venant Kirchhoff material (in all dimensions), where the existence of variational dual solutions is also proven. The existence of a variational dual solution for the incompressible neo-Hookean material in 2-d is also shown. Stressed and unstressed elastostatic and elastodynamic solutions in 1 space dimension corresponding to a non-convex, double-well energy are computed using the dual methodology. In particular, we show the stability of a dual elastodynamic equilibrium solution for which there are regions of non-vanishing length with negative elastic stiffness, i.e.~non-hyperbolic regions, for which the corresponding primal problem is ill-posed and demonstrates an explosive `Hadamard instability;' this appears to have implications for the modeling of physically observed softening behavior in macroscopic mechanical response.
△ Less
Submitted 12 July, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Mixing time of the conditional backward sampling particle filter
Authors:
Joona Karjalainen,
Anthony Lee,
Sumeetpal S. Singh,
Matti Vihola
Abstract:
The conditional backward sampling particle filter (CBPF) is a powerful Markov chain Monte Carlo sampler for general state space hidden Markov model (HMM) smoothing. It was proposed as an improvement over the conditional particle filter (CPF), which is known to have an $O(T^2)$ computational time complexity under a general `strong' mixing assumption, where $T$ is the time horizon. While there is em…
▽ More
The conditional backward sampling particle filter (CBPF) is a powerful Markov chain Monte Carlo sampler for general state space hidden Markov model (HMM) smoothing. It was proposed as an improvement over the conditional particle filter (CPF), which is known to have an $O(T^2)$ computational time complexity under a general `strong' mixing assumption, where $T$ is the time horizon. While there is empirical evidence of the superiority of the CBPF over the CPF in practice, this has never been theoretically quantified. We show that the CBPF has $O(T \log T)$ time complexity under strong mixing. In particular, the CBPF's mixing time is upper bounded by $O(\log T)$, for any sufficiently large number of particles $N$ that depends only on the mixing assumptions and not $T$. We also show that an $O(\log T)$ mixing time is optimal. To prove our main result, we introduce a novel coupling of two CBPFs, which employs a maximal coupling of two particle systems at each time instant. As the coupling is implementable, it thus has practical applications. We use it to construct unbiased, finite variance, estimates of functionals which have arbitrary dependence on the latent state's path, with a total expected cost of $O(T \log T)$. As the specific application to real-data analysis, we construct unbiased estimates of the HMM's score function, leading to stochastic gradient maximum likelihood estimation of a financial time-series model. Finally, we also investigate other couplings and show that some of these alternatives can have improved empirical behaviour.
△ Less
Submitted 30 May, 2025; v1 submitted 29 December, 2023;
originally announced December 2023.
-
Convexity properties of sections of 1-symmetric bodies and Rademacher sums
Authors:
Joseph Kalarickal,
David Rotunno,
Salil Singh,
Tomasz Tkocz
Abstract:
We establish a monotonicity-type property of volume of central hyperplane sections of the 1-symmetric convex bodies, with applications to chessboard cutting. We parallel this for projections with a new convexity-type property for Rademacher sums.
We establish a monotonicity-type property of volume of central hyperplane sections of the 1-symmetric convex bodies, with applications to chessboard cutting. We parallel this for projections with a new convexity-type property for Rademacher sums.
△ Less
Submitted 16 June, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
$γ$-Chiral is same as Chiral
Authors:
Shrinit Singh
Abstract:
A word $w$ in a free group is called {\em chiral} if there exists a group $G$ such that image of word map corresponding to word $w$ is not closed with respect to inverse. Similarly a group $G$ is said to be {\em chiral} if there exists a word $w$ in free group such that $w$ exhibits chirality on the group $G$. Gordeev et al. \cite{gordeev2018geometry} extended the concept of chirality to introduce…
▽ More
A word $w$ in a free group is called {\em chiral} if there exists a group $G$ such that image of word map corresponding to word $w$ is not closed with respect to inverse. Similarly a group $G$ is said to be {\em chiral} if there exists a word $w$ in free group such that $w$ exhibits chirality on the group $G$. Gordeev et al. \cite{gordeev2018geometry} extended the concept of chirality to introduce $γ$-chirality in both cases. We show that the notion of $γ$-chirality is equivalent to chirality.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
On Certain Gluing of semigroup rings and indispensable resolution of semigroup rings
Authors:
Sanjay Kumar Singh,
Pranjal Srivastava
Abstract:
In this paper, our aim is twofold: First, by using the technique of gluing semigroups, we give infinitely many families of a projective closure with the Cohen-Macaulay (Gorenstein) property. Also, we give an effective technique for constructing large families of one dimensional Gorenstein local rings associated to monomial curves, which supports Rossi question, saying that every Gorenstein local r…
▽ More
In this paper, our aim is twofold: First, by using the technique of gluing semigroups, we give infinitely many families of a projective closure with the Cohen-Macaulay (Gorenstein) property. Also, we give an effective technique for constructing large families of one dimensional Gorenstein local rings associated to monomial curves, which supports Rossi question, saying that every Gorenstein local ring has a non-decreasing Hilbert function. In the second part, we study strong indispensable minimal free resolutions of semigroup rings, focusing on the operation of the join of affine semigroups, which provide class of examples supporting Charalambous and Thoma question on the class of lattice ideal which has a strong indispensable free resolution.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
Analysis and Numerical Study of Boundary control of generalized Burgers-Huxley equation
Authors:
Shri Lal Raghudev Ram Singh,
Manil T. Mohan
Abstract:
In this work, a boundary control problem for the following generalized Burgers-Huxley (GBH) equation: $$u_t=νu_{xx}-αu^δu_x+βu(1-u^δ)(u^δ-γ), $$ where $ν,α,β>0,$ $1\leqδ<\infty$, $γ\in(0,1)$ subject to Neumann boundary conditions is analyzed. Using the Minty-Browder theorem, standard elliptic partial differential equations theory, the maximum principle and the Crandall-Liggett theorem, we first ad…
▽ More
In this work, a boundary control problem for the following generalized Burgers-Huxley (GBH) equation: $$u_t=νu_{xx}-αu^δu_x+βu(1-u^δ)(u^δ-γ), $$ where $ν,α,β>0,$ $1\leqδ<\infty$, $γ\in(0,1)$ subject to Neumann boundary conditions is analyzed. Using the Minty-Browder theorem, standard elliptic partial differential equations theory, the maximum principle and the Crandall-Liggett theorem, we first address the global existence of a unique strong solution to GBH equation. Then, for the boundary control problem, we prove that the controlled GBH equation (that is, the closed loop system) is exponentially stable in the $\mathrm{H}^1$-norm (hence pointwise) when the viscosity $ν$ is known (non-adaptive control). Moreover, we show that a damped version of GBH equation is globally asymptotically stable (in the $\mathrm{L}^2$-norm), when $ν$ is unknown (adaptive control). Using the Chebychev collocation method with the backward Euler method as a temporal scheme, numerical findings are reported for both the non-adaptive and adaptive situations, supporting and confirming the analytical results of both the controlled and uncontrolled systems.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Semigroups of transformations whose characters belong to a given semigroup
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that preserve $\mathcal{P}$. For every subsemigroup $\mathbb{S}(I)$ of $T(I)$, let $T_{\mathbb{S}(I)}(X,\mathcal{P})$ be the semigroup of all transformations…
▽ More
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that preserve $\mathcal{P}$. For every subsemigroup $\mathbb{S}(I)$ of $T(I)$, let $T_{\mathbb{S}(I)}(X,\mathcal{P})$ be the semigroup of all transformations $f\in T(X, \mathcal{P})$ such that $χ^{(f)}\in \mathbb{S}(I)$, where $χ^{(f)}\in T(I)$ defined by $iχ^{(f)}=j$ whenever $X_if\subseteq X_j$. We describe regular and idempotent elements in $T_{\mathbb{S}(I)}(X,\mathcal{P})$, and determine when $T_{\mathbb{S}(I)}(X,\mathcal{P})$ is a regular semigroup [inverse semigroup]. With the assumption that $\mathbb{S}(I)$ contains the identity, we characterize Green's relations on $T_{\mathbb{S}(I)}(X,\mathcal{P})$, describe unit-regular elements in $T_{\mathbb{S}(I)}(X,\mathcal{P})$, and determine when $T_{\mathbb{S}(I)}(X,\mathcal{P})$ is a unit-regular semigroup. We apply these general results to obtain more concrete results for $T(X,\mathcal{P})$.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Sum of the $GL(3)$ Fourier coefficients over quadratics and mixed powers
Authors:
Himanshi Chanana,
Saurabh Kumar Singh
Abstract:
Let $Λ(1,n)$ be the $(1,n)$-th Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form and $d_3(n)$ denotes the triple divisor function. This paper establishes non-trivial bounds for the averages of these arithmetic functions over polynomials in three variables having mixed powers and over quadratic forms.
Let $Λ(1,n)$ be the $(1,n)$-th Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form and $d_3(n)$ denotes the triple divisor function. This paper establishes non-trivial bounds for the averages of these arithmetic functions over polynomials in three variables having mixed powers and over quadratic forms.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Distribution-free risk assessment of regression-based machine learning algorithms
Authors:
Sukrita Singh,
Neeraj Sarna,
Yuanyuan Li,
Yang Li,
Agni Orfanoudaki,
Michael Berger
Abstract:
Machine learning algorithms have grown in sophistication over the years and are increasingly deployed for real-life applications. However, when using machine learning techniques in practical settings, particularly in high-risk applications such as medicine and engineering, obtaining the failure probability of the predictive model is critical. We refer to this problem as the risk-assessment task. W…
▽ More
Machine learning algorithms have grown in sophistication over the years and are increasingly deployed for real-life applications. However, when using machine learning techniques in practical settings, particularly in high-risk applications such as medicine and engineering, obtaining the failure probability of the predictive model is critical. We refer to this problem as the risk-assessment task. We focus on regression algorithms and the risk-assessment task of computing the probability of the true label lying inside an interval defined around the model's prediction. We solve the risk-assessment problem using the conformal prediction approach, which provides prediction intervals that are guaranteed to contain the true label with a given probability. Using this coverage property, we prove that our approximated failure probability is conservative in the sense that it is not lower than the true failure probability of the ML algorithm. We conduct extensive experiments to empirically study the accuracy of the proposed method for problems with and without covariate shift. Our analysis focuses on different modeling regimes, dataset sizes, and conformal prediction methodologies.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
On the Forgetting of Particle Filters
Authors:
Joona Karjalainen,
Anthony Lee,
Sumeetpal S. Singh,
Matti Vihola
Abstract:
We study the forgetting properties of the particle filter when its state - the collection of particles - is regarded as a Markov chain. Under a strong mixing assumption on the particle filter's underlying Feynman-Kac model, we find that the particle filter is exponentially mixing, and forgets its initial state in $O(\log N )$ 'time', where $N$ is the number of particles and time refers to the numb…
▽ More
We study the forgetting properties of the particle filter when its state - the collection of particles - is regarded as a Markov chain. Under a strong mixing assumption on the particle filter's underlying Feynman-Kac model, we find that the particle filter is exponentially mixing, and forgets its initial state in $O(\log N )$ 'time', where $N$ is the number of particles and time refers to the number of particle filter algorithm steps, each comprising a selection (or resampling) and mutation (or prediction) operation. We present an example which shows that this rate is optimal. In contrast to our result, available results to-date are extremely conservative, suggesting $O(α^N)$ time steps are needed, for some $α>1$, for the particle filter to forget its initialisation. We also study the conditional particle filter (CPF) and extend our forgetting result to this context. We establish a similar conclusion, namely, CPF is exponentially mixing and forgets its initial state in $O(\log N )$ time. To support this analysis, we establish new time-uniform $L^p$ error estimates for CPF, which can be of independent interest. We also establish new propagation of chaos type results using our proof techniques, discuss implications to couplings of particle filters and an application to processing out-of-sequence measurements.
△ Less
Submitted 5 February, 2025; v1 submitted 15 September, 2023;
originally announced September 2023.
-
Generating Preferential Attachment Graphs via a Pólya Urn with Expanding Colors
Authors:
Somya Singh,
Fady Alajaji,
Bahman Gharesifard
Abstract:
We introduce a novel preferential attachment model using the draw variables of a modified Pólya urn with an expanding number of colors, notably capable of modeling influential opinions (in terms of vertices of high degree) as the graph evolves. Similar to the Barabási-Albert model, the generated graph grows in size by one vertex at each time instance; in contrast however, each vertex of the graph…
▽ More
We introduce a novel preferential attachment model using the draw variables of a modified Pólya urn with an expanding number of colors, notably capable of modeling influential opinions (in terms of vertices of high degree) as the graph evolves. Similar to the Barabási-Albert model, the generated graph grows in size by one vertex at each time instance; in contrast however, each vertex of the graph is uniquely characterized by a color, which is represented by a ball color in the Pólya urn. More specifically at each time step, we draw a ball from the urn and return it to the urn along with a number (potentially time-varying and non-integer) of reinforcing balls of the same color; we also add another ball of a new color to the urn. We then construct an edge between the new vertex (corresponding to the new color) and the existing vertex whose color ball is drawn. Using color-coded vertices in conjunction with the time-varying reinforcing parameter allows for vertices added (born) later in the process to potentially attain a high degree in a way that is not captured in the Barabási-Albert model. We study the degree count of the vertices by analyzing the draw vectors of the underlying stochastic process. In particular, we establish the probability distribution of the random variable counting the number of draws of a given color which determines the degree of the vertex corresponding to that color in the graph. We further provide simulation results presenting a comparison between our model and the Barabási-Albert network.
△ Less
Submitted 17 January, 2024; v1 submitted 20 August, 2023;
originally announced August 2023.
-
On the Bredies-Chenchene-Lorenz-Naldi algorithm
Authors:
Heinz H. Bauschke,
Walaa M. Moursi,
Shambhavi Singh,
Xianfu Wang
Abstract:
Monotone inclusion problems occur in many areas of optimization and variational analysis. Splitting methods, which utilize resolvents or proximal mappings of the underlying operators, are often applied to solve these problems. In 2022, Bredies, Chenchene, Lorenz, and Naldi introduced a new elegant algorithmic framework that encompasses various well known algorithms including Douglas-Rachford and C…
▽ More
Monotone inclusion problems occur in many areas of optimization and variational analysis. Splitting methods, which utilize resolvents or proximal mappings of the underlying operators, are often applied to solve these problems. In 2022, Bredies, Chenchene, Lorenz, and Naldi introduced a new elegant algorithmic framework that encompasses various well known algorithms including Douglas-Rachford and Chambolle-Pock. They obtained powerful weak and strong convergence results, where the latter type relies on additional strong monotonicity assumptions. In this paper, we complement the analysis by Bredies et al. by relating the projections of the fixed point sets of the underlying operators that generate the (reduced and original) preconditioned proximal point sequences. We also obtain strong convergence results in the case of linear relations. Various examples are provided to illustrate the applicability of our results.
△ Less
Submitted 23 April, 2025; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Wilf Inequality is preserved under Gluing of Semigroups
Authors:
Srishti Singh,
Hema Srinivasan
Abstract:
Wilf Conjecture on numerical semigroups is an inequality connecting the Frobenius number, embedding dimension and the genus of the semigroup. The conjecture is still open in general. We prove that the Wilf inequality is preserved under gluing of numerical semigroups. If the numerical semigroups minimally generated by $A = \{ a_1, \ldots, a_p\}$ and $B = \{ b_1, \ldots, b_q\}$ satisfy the Wilf ineq…
▽ More
Wilf Conjecture on numerical semigroups is an inequality connecting the Frobenius number, embedding dimension and the genus of the semigroup. The conjecture is still open in general. We prove that the Wilf inequality is preserved under gluing of numerical semigroups. If the numerical semigroups minimally generated by $A = \{ a_1, \ldots, a_p\}$ and $B = \{ b_1, \ldots, b_q\}$ satisfy the Wilf inequality, then so does their gluing which is minimally generated by $C =k_1A\sqcup k_2B$. We discuss the extended Wilf's Conjecture in higher dimensions and prove an analogous result.
△ Less
Submitted 1 July, 2025; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Hybrid subconvexity bound for $GL(3)\times GL(2)$ $L$-functions: t and level aspect
Authors:
Mohd Harun,
Sumit Kumar,
Saurabh Kumar Singh
Abstract:
\begin{abstract}
In this article, we will get non-trivial estimates for the central values of degree six Rankin-Selberg $L$-functions $L(1/2+it, π\times f)$ associated with a ${GL(3)}$ form $π$ and a ${GL(2)} $ form $f$ using the delta symbol approach in the hybrid settings i.e. in the level of ${GL(2)}$ form and $t$-aspect.
\end{abstract}
\begin{abstract}
In this article, we will get non-trivial estimates for the central values of degree six Rankin-Selberg $L$-functions $L(1/2+it, π\times f)$ associated with a ${GL(3)}$ form $π$ and a ${GL(2)} $ form $f$ using the delta symbol approach in the hybrid settings i.e. in the level of ${GL(2)}$ form and $t$-aspect.
\end{abstract}
△ Less
Submitted 10 June, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Lattices in $\R^n\rtimes\SL_2(\R)$
Authors:
M. M. Radhika,
Sandip Singh
Abstract:
We determine the existence of cocompact lattices in groups of the form $\V\rtimes\SL_2(\R)$, where $\V$ is a finite dimensional real representation of $\SL_2(\R)$. It turns out that the answer depends on the parity of $\dim(\V)$ when the representation is irreducible.
We determine the existence of cocompact lattices in groups of the form $\V\rtimes\SL_2(\R)$, where $\V$ is a finite dimensional real representation of $\SL_2(\R)$. It turns out that the answer depends on the parity of $\dim(\V)$ when the representation is irreducible.
△ Less
Submitted 22 July, 2024; v1 submitted 20 April, 2023;
originally announced April 2023.
-
Moments of derivatives of modular $L$-functions
Authors:
Sumit Kumar,
Kummari Mallesham,
Prahlad Sharma,
Saurabh Kumar Singh
Abstract:
Let $f$ be an Hecke eigenform for the group $Γ_{0}(q)$ and $χ_{d}$ be a primitive quadratic character of conductor $|d|$. In this article, we prove an asymptotic for the second moment of the derivative of $L(s, f \otimes χ_{8d})$ at the central point $1/2$, which was previously known under GRH by Petrow \cite{petrow}.
Let $f$ be an Hecke eigenform for the group $Γ_{0}(q)$ and $χ_{d}$ be a primitive quadratic character of conductor $|d|$. In this article, we prove an asymptotic for the second moment of the derivative of $L(s, f \otimes χ_{8d})$ at the central point $1/2$, which was previously known under GRH by Petrow \cite{petrow}.
△ Less
Submitted 24 October, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Sum of the triple divisor function and Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass forms over quadratics
Authors:
Himanshi Chanana,
Saurabh Kumar Singh
Abstract:
Let $\mathcal{A}(n)$ be the $(1,n)-th$ Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form i.e. $Λ(1,n)$ or the triple divisor function $d_3(n)$, which is the number of solutions of the equation $r_1r_2r_3 = n$ with $r_1, r_2, r_3 \in \mathbb{Z}^+.$ We establish estimates for \begin{equation*}
\sum_{1 \leq n_1,n_2\leq X} \mathcal{A}(Q(n_1,n_2)) \end{equation*} where…
▽ More
Let $\mathcal{A}(n)$ be the $(1,n)-th$ Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form i.e. $Λ(1,n)$ or the triple divisor function $d_3(n)$, which is the number of solutions of the equation $r_1r_2r_3 = n$ with $r_1, r_2, r_3 \in \mathbb{Z}^+.$ We establish estimates for \begin{equation*}
\sum_{1 \leq n_1,n_2\leq X} \mathcal{A}(Q(n_1,n_2)) \end{equation*} where $Q(x,y) \in \mathbb{Z}[x,y]$ is a symmetric positive definite quadratic form.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
On optimization of heterogeneous materials for enhanced resistance to bulk fracture
Authors:
Sukhminder Singh,
Lukas Pflug,
Julia Mergheim,
Michael Stingl
Abstract:
We propose a novel approach to optimize the design of heterogeneous materials, with the goal of enhancing their effective fracture toughness under mode-I loading. The method employs a Gaussian processes-based Bayesian optimization framework to determine the optimal shapes and locations of stiff elliptical inclusions within a periodic microstructure in two dimensions. To model crack propagation, th…
▽ More
We propose a novel approach to optimize the design of heterogeneous materials, with the goal of enhancing their effective fracture toughness under mode-I loading. The method employs a Gaussian processes-based Bayesian optimization framework to determine the optimal shapes and locations of stiff elliptical inclusions within a periodic microstructure in two dimensions. To model crack propagation, the phase-field fracture method with an efficient interior-point monolithic solver and adaptive mesh refinement, is used. To account for the high sensitivity of fracture properties to initial crack location with respect to heterogeneities, we consider multiple cases of initial crack and optimize the material for the worst-case scenario. We also impose a minimum clearance constraint between the inclusions to ensure design feasibility. Numerical experiments demonstrate that the method significantly improves the fracture toughness of the material compared to the homogeneous case.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
