-
Free Circle Actions on the Product of Three Spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
The orbit spaces of free S^0-actions on the mod 2 cohomology product of three spheres, S^n x S^m x S^l, 1 <= n <= m <= l have been determined in [6]. In this paper, we extend these findings to free S^1-actions on the rational cohomology product of three spheres. This extension also builds upon the work of Dotzel et al. [7], who studied free circle actions on the rational cohomology product of two…
▽ More
The orbit spaces of free S^0-actions on the mod 2 cohomology product of three spheres, S^n x S^m x S^l, 1 <= n <= m <= l have been determined in [6]. In this paper, we extend these findings to free S^1-actions on the rational cohomology product of three spheres. This extension also builds upon the work of Dotzel et al. [7], who studied free circle actions on the rational cohomology product of two spheres. Additionally, we establish Borsuk-Ulam type theorems.
△ Less
Submitted 20 June, 2025; v1 submitted 28 May, 2025;
originally announced May 2025.
-
Kernel Dynamic Mode Decomposition For Sparse Reconstruction of Closable Koopman Operators
Authors:
Nishant Panda,
Himanshu Singh,
J. Nathan Kutz
Abstract:
Spatial temporal reconstruction of dynamical system is indeed a crucial problem with diverse applications ranging from climate modeling to numerous chaotic and physical processes. These reconstructions are based on the harmonious relationship between the Koopman operators and the choice of dictionary, determined implicitly by a kernel function. This leads to the approximation of the Koopman operat…
▽ More
Spatial temporal reconstruction of dynamical system is indeed a crucial problem with diverse applications ranging from climate modeling to numerous chaotic and physical processes. These reconstructions are based on the harmonious relationship between the Koopman operators and the choice of dictionary, determined implicitly by a kernel function. This leads to the approximation of the Koopman operators in a reproducing kernel Hilbert space (RKHS) associated with that kernel function. Data-driven analysis of Koopman operators demands that Koopman operators be closable over the underlying RKHS, which still remains an unsettled, unexplored, and critical operator-theoretic challenge. We aim to address this challenge by investigating the embedding of the Laplacian kernel in the measure-theoretic sense, giving rise to a rich enough RKHS to settle the closability of the Koopman operators. We leverage Kernel Extended Dynamic Mode Decomposition with the Laplacian kernel to reconstruct the dominant spatial temporal modes of various diverse dynamical systems. After empirical demonstration, we concrete such results by providing the theoretical justification leveraging the closability of the Koopman operators on the RKHS generated by the Laplacian kernel on the avenues of Koopman mode decomposition and the Koopman spectral measure. Such results were explored from both grounds of operator theory and data-driven science, thus making the Laplacian kernel a robust choice for spatial-temporal reconstruction.
△ Less
Submitted 10 May, 2025;
originally announced May 2025.
-
On semicommutativity of rings relative to hypercenter
Authors:
Nazeer Ansari,
Kh. Herachandra singh
Abstract:
Armendariz and semicommutative rings are generalizations of reduced rings. In \cite{IN}, I.N. Herstein introduced the notion of a hypercenter of a ring to generalize the center subclass. For a ring $R$, an element $a \in R$ is called hypercentral if $ax^{n}=x^{n}a$ for all $x \in R$ and for some $n=n(x,a) \in \mathbb{N}$. Motivated by this definition, we introduce $\mathscr{H}$-Semicommutative rin…
▽ More
Armendariz and semicommutative rings are generalizations of reduced rings. In \cite{IN}, I.N. Herstein introduced the notion of a hypercenter of a ring to generalize the center subclass. For a ring $R$, an element $a \in R$ is called hypercentral if $ax^{n}=x^{n}a$ for all $x \in R$ and for some $n=n(x,a) \in \mathbb{N}$. Motivated by this definition, we introduce $\mathscr{H}$-Semicommutative rings as a generalization of semicommutative rings and investigate their relations with other classes of rings. We have proven that the class of $\mathscr{H}$-Semicommutative rings lies strictly between Zero-Insertive rings (ZI) and Abelian rings. Additionally, we have demonstrated that if $R$ is $\mathscr{H}$-semicommutative, then for any $n \in \mathbb{N}$, the matrix subring $S_{n}^{'}(R)$ is also $\mathscr{H}$-semicommutative. Among other significant results, we have established that if $R$ is $\mathscr{H}$-semicommutative and left $SF$, then $R$ is strongly regular. We have also shown that $\mathscr{H}$-semicommutative rings are 2-primal, providing sufficient conditions for a ring $R$ to be nil-singular. Additionally, we have proven that if every simple singular module over $R$ is wnil-injective and $R$ is $\mathscr{H}$-semicommutative, then $R$ is reduced. Furthermore, we have studied the relationship of $\mathscr{H}$-semicommutative rings with the classes of Baer, Quasi-Baer, p.p. rings, and p.q. rings in this article, and we have provided some more relevant results.
△ Less
Submitted 6 January, 2025;
originally announced January 2025.
-
Hopping Forcing Number in Random $d$-regular Graphs
Authors:
Pawel Pralat,
Harjas Singh
Abstract:
Hopping forcing is a single player combinatorial game in which the player is presented a graph on $n$ vertices, some of which are initially blue with the remaining vertices being white. In each round $t$, a blue vertex $v$ with all neighbours blue may hop and colour a white vertex blue in the second neighbourhood, provided that $v$ has not performed a hop in the previous $t-1$ rounds. The objectiv…
▽ More
Hopping forcing is a single player combinatorial game in which the player is presented a graph on $n$ vertices, some of which are initially blue with the remaining vertices being white. In each round $t$, a blue vertex $v$ with all neighbours blue may hop and colour a white vertex blue in the second neighbourhood, provided that $v$ has not performed a hop in the previous $t-1$ rounds. The objective of the game is to eventually colour every vertex blue by repeatedly applying the hopping forcing rule. Subsequently, for a given graph $G$, the hopping forcing number is the minimum number of initial blue vertices that are required to achieve the objective.
In this paper, we study the hopping forcing number for random $d$-regular graphs. Specifically, we aim to derive asymptotic upper and lower bounds for the hopping forcing number for various values of $d \geq 2$.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
Symmetric Encryption Scheme Based on Quasigroup Using Chained Mode of Operation
Authors:
Satish Kumar,
Harshdeep Singh,
Indivar Gupta,
Ashok Ji Gupta
Abstract:
In this paper, we propose a novel construction for a symmetric encryption scheme, referred as SEBQ which is based on the structure of quasigroup. We utilize concepts of chaining like mode of operation and present a block cipher with in-built properties. We prove that SEBQ shows resistance against chosen plaintext attack (CPA) and by applying unbalanced Feistel transformation [19], it achieves secu…
▽ More
In this paper, we propose a novel construction for a symmetric encryption scheme, referred as SEBQ which is based on the structure of quasigroup. We utilize concepts of chaining like mode of operation and present a block cipher with in-built properties. We prove that SEBQ shows resistance against chosen plaintext attack (CPA) and by applying unbalanced Feistel transformation [19], it achieves security against chosen ciphertext attacks (CCA). Subsequently, we conduct an assessment of the randomness of the proposed scheme by running the NIST test suite and we analyze the impact of the initial vector, secret key and plaintext on ciphertext through an avalanche effect analysis. We also compare the results with existing schemes based on quasigroups [11,46]. Moreover, we analyze the computational complexity in terms of number of operations needed for encryption and decryption process.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Inverse Particle Filter
Authors:
Himali Singh,
Arpan Chattopadhyay,
Kumar Vijay Mishra
Abstract:
In cognitive systems, recent emphasis has been placed on studying the cognitive processes of the subject whose behavior was the primary focus of the system's cognitive response. This approach, known as inverse cognition, arises in counter-adversarial applications and has motivated the development of inverse Bayesian filters. In this context, a cognitive adversary, such as a radar, uses a forward B…
▽ More
In cognitive systems, recent emphasis has been placed on studying the cognitive processes of the subject whose behavior was the primary focus of the system's cognitive response. This approach, known as inverse cognition, arises in counter-adversarial applications and has motivated the development of inverse Bayesian filters. In this context, a cognitive adversary, such as a radar, uses a forward Bayesian filter to track its target of interest. An inverse filter is then employed to infer the adversary's estimate of the target's or defender's state. Previous studies have addressed this inverse filtering problem by introducing methods like the inverse Kalman filter (KF), inverse extended KF, and inverse unscented KF. However, these filters typically assume additive Gaussian noise models and/or rely on local approximations of non-linear dynamics at the state estimates, limiting their practical application. In contrast, this paper adopts a global filtering approach and presents the development of an inverse particle filter (I-PF). The particle filter framework employs Monte Carlo (MC) methods to approximate arbitrary posterior distributions. Moreover, under mild system-level conditions, the proposed I-PF demonstrates convergence to the optimal inverse filter. Additionally, we propose the differentiable I-PF to address scenarios where system information is unknown to the defender. Using the recursive Cramer-Rao lower bound and non-credibility index (NCI), our numerical experiments for different systems demonstrate the estimation performance and time complexity of the proposed filter.
△ Less
Submitted 29 March, 2025; v1 submitted 23 July, 2024;
originally announced July 2024.
-
Decomposition of Difficulties in Complex Optimization Problems Using a Bilevel Approach
Authors:
Ankur Sinha,
Dhaval Pujara,
Hemant Kumar Singh
Abstract:
Practical optimization problems may contain different kinds of difficulties that are often not tractable if one relies on a particular optimization method. Different optimization approaches offer different strengths that are good at tackling one or more difficulty in an optimization problem. For instance, evolutionary algorithms have a niche in handling complexities like discontinuity, non-differe…
▽ More
Practical optimization problems may contain different kinds of difficulties that are often not tractable if one relies on a particular optimization method. Different optimization approaches offer different strengths that are good at tackling one or more difficulty in an optimization problem. For instance, evolutionary algorithms have a niche in handling complexities like discontinuity, non-differentiability, discreteness and non-convexity. However, evolutionary algorithms may get computationally expensive for mathematically well behaved problems with large number of variables for which classical mathematical programming approaches are better suited. In this paper, we demonstrate a decomposition strategy that allows us to synergistically apply two complementary approaches at the same time on a complex optimization problem. Evolutionary algorithms are useful in this context as their flexibility makes pairing with other solution approaches easy. The decomposition idea is a special case of bilevel optimization that separates the difficulties into two levels and assigns different approaches at each level that is better equipped at handling them. We demonstrate the benefits of the proposed decomposition idea on a wide range of test problems.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Conforming/Non-Conforming Mixed Finite Element Methods for Optimal Control of Velocity-Vorticity-Pressure Formulation for the Oseen Problem with Variable Viscosity
Authors:
Harpal Singh,
Arbaz Khan
Abstract:
This work examines the distributed optimal control of generalized Oseen equations with non-constant viscosity. We propose and analyze a new conforming augmented mixed finite element method and a Discontinuous Galerkin (DG) method for the velocity-vorticity-pressure formulation. The continuous formulation, which incorporates least-squares terms from both the constitutive equation and the incompress…
▽ More
This work examines the distributed optimal control of generalized Oseen equations with non-constant viscosity. We propose and analyze a new conforming augmented mixed finite element method and a Discontinuous Galerkin (DG) method for the velocity-vorticity-pressure formulation. The continuous formulation, which incorporates least-squares terms from both the constitutive equation and the incompressibility condition, is well-posed under certain assumptions on the viscosity parameter. The CG method is divergence-conforming and suits any Stokes inf-sup stable velocity-pressure finite element pair, while a generic discrete space approximates vorticity. The DG scheme employs a stabilization technique, and a piecewise constant discretization estimates the control variable. We establish optimal a priori and residual-based a posteriori error estimates for the proposed schemes. Finally, we provide numerical experiments to showcase the method's performance and effectiveness.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Center and radius of a subset of metric space
Authors:
Akhilesh Badra,
Hemant Kumar Singh
Abstract:
In this paper, we introduce a notion of the center and radius of a subset A of metric space X. In the Euclidean spaces, this notion can be seen as the extension of the center and radius of open/closed balls. The center and radius of a finite product of subsets of metric spaces, and a finite union of subsets of a metric space are also determined. For any subset A of metric space X, there is a natur…
▽ More
In this paper, we introduce a notion of the center and radius of a subset A of metric space X. In the Euclidean spaces, this notion can be seen as the extension of the center and radius of open/closed balls. The center and radius of a finite product of subsets of metric spaces, and a finite union of subsets of a metric space are also determined. For any subset A of metric space X, there is a natural question to identify the open balls of X with the largest radius that are entirely contained in A. To answer this question, we introduce a notion of quasi-center and quasi-radius of a subset A of metric space X. We prove that the center of the largest open balls contained in A belongs to the quasi-center of A, and its radius is equal to the quasi-radius of A. In particular, for the Euclidean spaces, we see that the center of largest open balls contained in A belongs to the center of A, and its radius is equal to the radius of A.
△ Less
Submitted 21 August, 2024; v1 submitted 22 June, 2024;
originally announced June 2024.
-
Rough geometric integration
Authors:
Ajay Chandra,
Harprit Singh
Abstract:
We introduce a notion of distributional $k$-forms on $d$-dimensional manifolds which can be integrated against suitably regular $k$-submanifolds. Our approach combines ideas from Whitney's geometric integration [Whi57] with those of sewing approaches to rough integration [Gub04, FdLP06].
We introduce a notion of distributional $k$-forms on $d$-dimensional manifolds which can be integrated against suitably regular $k$-submanifolds. Our approach combines ideas from Whitney's geometric integration [Whi57] with those of sewing approaches to rough integration [Gub04, FdLP06].
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Divergence conforming DG method for the optimal control of the Oseen equation with variable viscosity
Authors:
Harpal Singh,
Arbaz Khan
Abstract:
This study introduces the divergence-conforming discontinuous Galerkin finite element method (DGFEM) for numerically approximating optimal control problems with distributed constraints, specifically those governed by stationary generalized Oseen equations. We provide optimal a priori error estimates in energy norms for such problems using the divergence-conforming DGFEM approach. Moreover, we thor…
▽ More
This study introduces the divergence-conforming discontinuous Galerkin finite element method (DGFEM) for numerically approximating optimal control problems with distributed constraints, specifically those governed by stationary generalized Oseen equations. We provide optimal a priori error estimates in energy norms for such problems using the divergence-conforming DGFEM approach. Moreover, we thoroughly analyze $L^2$ error estimates for scenarios dominated by diffusion and convection. Additionally, we establish the new reliable and efficient a posteriori error estimators for the optimal control of the Oseen equation with variable viscosity. Theoretical findings are validated through numerical experiments conducted in both two and three dimensions.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Computational Study on the Impact of Gasoline-Ethanol Blending on Autoignition and Soot/NOx Emissions under Gasoline Compression Ignition Conditions
Authors:
Krishna C. Kalvakala,
Harsimran Singh,
Pinaki Pal,
Jorge P. Gonzalez,
Christopher P. Kolodziej,
Suresh K. Aggarwal
Abstract:
Computational fluid dynamics (CFD) simulations of a single-cylinder gasoline compression ignition engine are performed to investigate the impact of gasoline-ethanol blending on autoignition, nitrogen oxide (NOx), and soot emissions under low-load conditions. A four-component toluene primary reference fuel (TPRF) + ethanol (ETPRF) surrogate (with 10% ethanol by volume; E10) is employed to represent…
▽ More
Computational fluid dynamics (CFD) simulations of a single-cylinder gasoline compression ignition engine are performed to investigate the impact of gasoline-ethanol blending on autoignition, nitrogen oxide (NOx), and soot emissions under low-load conditions. A four-component toluene primary reference fuel (TPRF) + ethanol (ETPRF) surrogate (with 10% ethanol by volume; E10) is employed to represent the test gasoline (RD5-87). A 3D engine CFD model employing finite-rate chemistry with a skeletal kinetic mechanism, adaptive mesh refinement (AMR), and hybrid method of moments (HMOM) is adopted to capture in-cylinder combustion and soot/NOx emissions. The engine CFD model is validated against experimental data for three gasoline-ethanol blends: E10, E30 and E100, with varying ethanol content by volume. Model validation is carried out for multiple start-of-injection (SOI) timings (-21, -27, -36, and -45 crank angle degrees after top-dead-center (aTDC)) with respect to in-cylinder pressure, heat release rate, combustion phasing, NOx and soot emissions. For late injection timings (-21 and -27oaTDC), E30 yields higher soot than E10; while the trend reverses for early injection cases (-36 and -45oaTDC). E100 yields the lowest amount of soot among all fuels irrespective of SOI timing. Further, E10 shows a non-monotonic trend in soot emissions with SOI timing: SOI-36>SOI-45>SOI-21>SOI-27, while soot emissions from E30 exhibit monotonic decrease with advancing SOI timing. NOx emissions from various fuels follow a trend of E10>E30>E100. NOx emissions increase as SOI timing is advanced for all fuels, with an anomaly for E10 and E100 where NOx decreases when SOI is advanced beyond -36oaTDC. Detailed analysis of the numerical results is performed to investigate the emission trends and elucidate the impact of chemical composition and physical properties on autoignition and emissions characteristics.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Data-driven discovery with Limited Data Acquisition for fluid flow across cylinder
Authors:
Himanshu Singh
Abstract:
One of the central challenge for extracting governing principles of dynamical system via Dynamic Mode Decomposition (DMD) is about the limit data availability or formally called as Limited Data Acquisition in the present paper. In the interest of discovering the governing principles for a dynamical system with limited data acquisition, we provide a variant of Kernelized Extended DMD (KeDMD) based…
▽ More
One of the central challenge for extracting governing principles of dynamical system via Dynamic Mode Decomposition (DMD) is about the limit data availability or formally called as Limited Data Acquisition in the present paper. In the interest of discovering the governing principles for a dynamical system with limited data acquisition, we provide a variant of Kernelized Extended DMD (KeDMD) based on the Koopman operator which employ the notion of Gaussian random matrix to recover the dominant Koopman modes for the standard fluid flow across cylinder experiment. It turns out that the traditional kernel function, Gaussian Radial Basis Function Kernel, unfortunately, is not able to generate the desired Koopman modes in the scenario of executing KeDMD with limited data acquisition. However, the Laplacian Kernel Function successfully generates the desired Koopman modes when limited data is provided in terms of data-set snapshot for the aforementioned experiment and this manuscripts serves the purpose of reporting these exciting experimental insights. This paper also explores the functionality of the Koopman operator when it interacts with the reproducing kernel Hilbert space (RKHS) that arises from the normalized probability Lebesgue measure $dμ_{σ,1,\mathbb{C}^n}(z)=(2πσ^2)^{-n}\exp\left(-\frac{\|z\|_2}σ\right)dV(z)$ when it is embedded in $L^2-$sense for the holomorphic functions over $\mathbb{C}^n$, in the aim of determining the Koopman modes for fluid flow across cylinder experiment. We explore the operator-theoretic characterizations of the Koopman operator on the RKHS generated by the normalized Laplacian measure $dμ_{σ,1,\mathbb{C}^n}(z)$ in the $L^2-$sense. In doing so, we provide the compactification & closable characterization of Koopman operator over the RKHS generated by the normalized Laplacian measure in the $L^2-$sense.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
An appointment with Reproducing Kernel Hilbert Space generated by Generalized Gaussian RBF as $L^2-$measure
Authors:
Himanshu Singh
Abstract:
Gaussian Radial Basis Function (RBF) Kernels are the most-often-employed kernels in artificial intelligence and machine learning routines for providing optimally-best results in contrast to their respective counter-parts. However, a little is known about the application of the Generalized Gaussian Radial Basis Function on various machine learning algorithms namely, kernel regression, support vecto…
▽ More
Gaussian Radial Basis Function (RBF) Kernels are the most-often-employed kernels in artificial intelligence and machine learning routines for providing optimally-best results in contrast to their respective counter-parts. However, a little is known about the application of the Generalized Gaussian Radial Basis Function on various machine learning algorithms namely, kernel regression, support vector machine (SVM) and pattern-recognition via neural networks. The results that are yielded by Generalized Gaussian RBF in the kernel sense outperforms in stark contrast to Gaussian RBF Kernel, Sigmoid Function and ReLU Function. This manuscript demonstrates the application of the Generalized Gaussian RBF in the kernel sense on the aforementioned machine learning routines along with the comparisons against the aforementioned functions as well.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Periodic space-time homogenisation of the $φ^4_2$ equation
Authors:
Martin Hairer,
Harprit Singh
Abstract:
We consider the homogenisation problem for the $φ^4_2$ equation on the torus $\mathbb{T}^2$, namely the behaviour as $\varepsilon \to 0$ of the solutions to the equation suggestively written as $$ \partial_t u_\varepsilon - \nabla\cdot {A}(x/\varepsilon,t/\varepsilon^2) \nabla u_\varepsilon = -u^3_\varepsilon +ξ$$ where $ξ$ denotes space-time white noise and $A: \mathbb{T}^2\times \mathbb{R}$ is u…
▽ More
We consider the homogenisation problem for the $φ^4_2$ equation on the torus $\mathbb{T}^2$, namely the behaviour as $\varepsilon \to 0$ of the solutions to the equation suggestively written as $$ \partial_t u_\varepsilon - \nabla\cdot {A}(x/\varepsilon,t/\varepsilon^2) \nabla u_\varepsilon = -u^3_\varepsilon +ξ$$ where $ξ$ denotes space-time white noise and $A: \mathbb{T}^2\times \mathbb{R}$ is uniformly elliptic, periodic and Hölder continuous. When the noise is regularised at scale $δ\ll 1$ we show that any joint limit $\varepsilon,δ\to 0$ recovers the classical dynamical $φ^4_2$ model. In certain regimes or if the regularisation is chosen in a specific way adapted to the problem, we show that the counterterms can be chosen as explicit local functions of $A$.
△ Less
Submitted 1 December, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Canonical solutions to non-translation invariant singular SPDEs
Authors:
Harprit Singh
Abstract:
We exhibit a canonical, finite dimensional solution family to certain singular SPDEs of the form \begin{equation} \left(\partial_t- \sum_{i,j=1}^d a_{i,j}(x,t) \partial_i \partial_j - \sum_{i=1}^d b_i(x,t) \partial_i - c(x,t)\right) u = F(u, \partial u, ξ) \ , \end{equation} where $a_{i,j}, b_i, c: \mathbb{T}^d\times \mathbb{R} \to \mathbb{R}$ and $A=\{a_{i,j}\}_{i,j=1}^d$ is uniformly elliptic. M…
▽ More
We exhibit a canonical, finite dimensional solution family to certain singular SPDEs of the form \begin{equation} \left(\partial_t- \sum_{i,j=1}^d a_{i,j}(x,t) \partial_i \partial_j - \sum_{i=1}^d b_i(x,t) \partial_i - c(x,t)\right) u = F(u, \partial u, ξ) \ , \end{equation} where $a_{i,j}, b_i, c: \mathbb{T}^d\times \mathbb{R} \to \mathbb{R}$ and $A=\{a_{i,j}\}_{i,j=1}^d$ is uniformly elliptic. More specifically, we solve the non-translation invariant g-PAM, $φ^4_2$, $φ^4_3$ and KPZ-equation and show that the diverging renormalisation-functions are local functions of $A$. We also establish a continuity result for the solution map with respect to the differential operator for these equations.
△ Less
Submitted 15 March, 2025; v1 submitted 2 October, 2023;
originally announced October 2023.
-
Fixed Point Sets of Involutions on the Product of Three Spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let G = Z2 act on a finitistic space X having mod 2 cohomology of the product of three spheres S^n x S^m x S^l. In this paper, we have determined the fixed point sets of involutions on X. This generalizes J. C. Su [12] results for involutions on the product of two sphere S^n x S^m.
Let G = Z2 act on a finitistic space X having mod 2 cohomology of the product of three spheres S^n x S^m x S^l. In this paper, we have determined the fixed point sets of involutions on X. This generalizes J. C. Su [12] results for involutions on the product of two sphere S^n x S^m.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Regularity Structures on Manifolds and Vector Bundles
Authors:
Martin Hairer,
Harprit Singh
Abstract:
We develop a generalisation of the original theory of regularity structures, [Hai14], which is able to treat SPDEs on manifolds with values in vector bundles. Assume $M$ is a Riemannian manifold and $E\to M$ and $F^i\to M$ are vector bundles (with a metric and connection), this theory allows to solve subcritical equations of the form…
▽ More
We develop a generalisation of the original theory of regularity structures, [Hai14], which is able to treat SPDEs on manifolds with values in vector bundles. Assume $M$ is a Riemannian manifold and $E\to M$ and $F^i\to M$ are vector bundles (with a metric and connection), this theory allows to solve subcritical equations of the form $$ \partial_t u + \mathcal{L}u = \sum_{i=0}^m G_i(u, \nabla u,\ldots, \nabla^n u)ξ_i\ , $$ where $u$ is a (generalised) section of $E$, $\mathcal{L}$ is a uniformly elliptic operator on $E$ of order strictly greater than $n$, the $ξ_i$ are $F^i$-valued random distributions (e.g. $F^i$-valued white noises), and the $G_i:E\times TM^*\otimes E \times\ldots\times (TM^*)^{\otimes n} \otimes E \to L(F^i ,E)$ are local functions.
We apply our framework to three example equations which illustrate that when $\mathcal{L}$ is a Laplacian it is possible in most cases to renormalise such equations by adding spatially homogeneous counterterms and we discuss in which cases more sophisticated renormalisation procedures (involving the curvature of the underlying manifold) are required.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Some new weak $(H_p-L_p)$ type inequality for weighted maximal operators of Walsh-Fourier series
Authors:
David Baramidze,
Lars-Erik Persson,
Harpal Singh,
George Tephnadze
Abstract:
In this paper we introduce some new weighted maximal operators of the partial sums of the Walsh-Fourier series. We prove that for some "optimal" weights these new operators indeed are bounded from the martingale Hardy space $H_{p}$ to the Lebesgue space $\text{weak}-L_{p},$ for $0<p<1.$ Moreover, we also prove sharpness of this result.
In this paper we introduce some new weighted maximal operators of the partial sums of the Walsh-Fourier series. We prove that for some "optimal" weights these new operators indeed are bounded from the martingale Hardy space $H_{p}$ to the Lebesgue space $\text{weak}-L_{p},$ for $0<p<1.$ Moreover, we also prove sharpness of this result.
△ Less
Submitted 26 June, 2023;
originally announced August 2023.
-
A Numerically Robust and Stable Time-Space Pseudospectral Approach for Generalized Burgers-Fisher Equation
Authors:
Harvindra Singh,
Lokendra Balyan,
A. K. Mittal,
Parul Saini
Abstract:
In this article, we present the time-space Chebyshev pseudospectral method (TS-CPsM) to approximate a solution to the generalised Burgers-Fisher (gBF) equation. The Chebyshev-Gauss-Lobatto (CGL) points serve as the foundation for the recommended method, which makes use of collocations in both the time and space directions. Further, using a mapping, the non-homogeneous initial-boundary value proble…
▽ More
In this article, we present the time-space Chebyshev pseudospectral method (TS-CPsM) to approximate a solution to the generalised Burgers-Fisher (gBF) equation. The Chebyshev-Gauss-Lobatto (CGL) points serve as the foundation for the recommended method, which makes use of collocations in both the time and space directions. Further, using a mapping, the non-homogeneous initial-boundary value problem is transformed into a homogeneous problem, and a system of algebraic equations is obtained. The numerical approach known as Newton-Raphson is implemented in order to get the desired results for the system. The proposed method's stability analysis has been performed. Different researchers' considerations on test problems have been explored to illustrate the robustness and practicality of the approach presented. The approximate solutions we found using the proposed method are highly accurate and significantly better than the existing results.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Finitistic Spaces with the Orbit Space FP^n x S^m
Authors:
Anju Kumari,
Hemant Kumar Singh
Abstract:
Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and sphere FP^n x S^m, where F = R, C or H, respectively. For a free involution on X, a lower bound of covering dimension of the coincidence set of a continuous map f…
▽ More
Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and sphere FP^n x S^m, where F = R, C or H, respectively. For a free involution on X, a lower bound of covering dimension of the coincidence set of a continuous map f: X -> R^k is also determined.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Finitistic Spaces with Orbit Space a Product of Projective Spaces
Authors:
Anju Kumari,
Hemant Kumar Singh
Abstract:
Let G = Z2 act freely on a nitistic space X. If the mod 2 cohomology of X is isomorphic to the real projective space RP^{2n+1} (resp. complex projective space
CP^{2n+1}) then the mod 2 cohomology of orbit spaces of these free actions are RP1 x CPn (resp. RP2 x HPn) [7]. In this paper, we have discussed converse of these results. We have showed that if the mod 2 cohomology of the orbit space X/G…
▽ More
Let G = Z2 act freely on a nitistic space X. If the mod 2 cohomology of X is isomorphic to the real projective space RP^{2n+1} (resp. complex projective space
CP^{2n+1}) then the mod 2 cohomology of orbit spaces of these free actions are RP1 x CPn (resp. RP2 x HPn) [7]. In this paper, we have discussed converse of these results. We have showed that if the mod 2 cohomology of the orbit space X/G is RP1 x CPn (resp. RP2 x HPn) then the mod 2 cohomology of X is RP^{2n+1} or S1 x CPn (resp. CP^{2n+1} or
S2 x HPn). A partial converse of free involutions on the product of projective spaces RPn x RP2m+1 (resp. CPn x CP2m+1) are also discussed.
△ Less
Submitted 2 February, 2024; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Involutions on the product of Quaternionic Projective space and Sphere
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let G = Z2 act on a finite CW-complex X having mod 2 cohomology isomorphic to the product of quaternionic projective space and sphere HPn x Sm, n, m > or = 1. This paper is concerned with the connected fixed point sets and the orbit spaces of free involutions on X.
Let G = Z2 act on a finite CW-complex X having mod 2 cohomology isomorphic to the product of quaternionic projective space and sphere HPn x Sm, n, m > or = 1. This paper is concerned with the connected fixed point sets and the orbit spaces of free involutions on X.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Inverse Unscented Kalman Filter
Authors:
Himali Singh,
Kumar Vijay Mishra,
Arpan Chattopadhyay
Abstract:
Rapid advances in designing cognitive and counter-adversarial systems have motivated the development of inverse Bayesian filters. In this setting, a cognitive 'adversary' tracks its target of interest via a stochastic framework such as a Kalman filter (KF). The target or 'defender' then employs another inverse stochastic filter to infer the forward filter estimates of the defender computed by the…
▽ More
Rapid advances in designing cognitive and counter-adversarial systems have motivated the development of inverse Bayesian filters. In this setting, a cognitive 'adversary' tracks its target of interest via a stochastic framework such as a Kalman filter (KF). The target or 'defender' then employs another inverse stochastic filter to infer the forward filter estimates of the defender computed by the adversary. For linear systems, the inverse Kalman filter (I-KF) has been recently shown to be effective in these counter-adversarial applications. In the paper, contrary to prior works, we focus on non-linear system dynamics and formulate the inverse unscented KF (I-UKF) to estimate the defender's state based on the unscented transform, or equivalently, statistical linearization technique. We then generalize this framework to unknown systems by proposing reproducing kernel Hilbert space-based UKF (RKHS-UKF) to learn the system dynamics and estimate the state based on its observations. Our theoretical analyses to guarantee the stochastic stability of I-UKF and RKHS-UKF in the mean-squared sense show that, provided the forward filters are stable, the inverse filters are also stable under mild system-level conditions. We show that, despite being a suboptimal filter, our proposed I-UKF is a conservative estimator, i.e., I-UKF's estimated error covariance upper-bounds its true value. Our numerical experiments for several different applications demonstrate the estimation performance of the proposed filters using recursive Cramér-Rao lower bound and non-credibility index (NCI).
△ Less
Submitted 1 May, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Fixed point sets and orbit spaces of wedge of three spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let $X$ be a finite CW-complex having mod $p$ cohomology isomorphic to a wedge of three spheres $\mathbb{S}^n\vee \mathbb{S}^m \vee \mathbb{S}^l,~ 1\leq n \leq m \leq l$. The aim of this paper is to determine the fixed point sets of actions of the cyclic group of prime order on $X.$ We also classify the orbit spaces of free actions of $G=\mathbb{Z}_p, p$ a prime or $G=\mathbb{S}^d,~d=1,3,$ on $X$…
▽ More
Let $X$ be a finite CW-complex having mod $p$ cohomology isomorphic to a wedge of three spheres $\mathbb{S}^n\vee \mathbb{S}^m \vee \mathbb{S}^l,~ 1\leq n \leq m \leq l$. The aim of this paper is to determine the fixed point sets of actions of the cyclic group of prime order on $X.$ We also classify the orbit spaces of free actions of $G=\mathbb{Z}_p, p$ a prime or $G=\mathbb{S}^d,~d=1,3,$ on $X$ and derive the Borsuk-Ulam type results.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Involution on the product of projective space and sphere
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let $G=\mathbb{Z}_2$ act on a finite CW-complex $X$ having mod 2 cohomology isomorphic to the product of projective space and sphere $\mathbb{F}P^n\times \mathbb{S}^m,$ where $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}.$ In this paper, we have determined the connected fixed point sets and the orbit spaces of free involutions on $X.$ As an application, we derive the Borsuk-Ulam type results.
Let $G=\mathbb{Z}_2$ act on a finite CW-complex $X$ having mod 2 cohomology isomorphic to the product of projective space and sphere $\mathbb{F}P^n\times \mathbb{S}^m,$ where $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}.$ In this paper, we have determined the connected fixed point sets and the orbit spaces of free involutions on $X.$ As an application, we derive the Borsuk-Ulam type results.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Orbit spaces of free involutions on the product of three spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
In this paper, we have determined the orbit spaces of free involutions on a finitistic space having mod 2 cohomology of the product of three spheres $\mathbb{S}^n\times \mathbb{S}^m \times \mathbb{S}^l, 1 \leq n \leq m \leq l$. This paper generalizes the results proved by Dotzel et al. [6] for free involutions on the product of two sphere $\mathbb{S}^n \times \mathbb{S}^m,1\leq n\leq m.$
In this paper, we have determined the orbit spaces of free involutions on a finitistic space having mod 2 cohomology of the product of three spheres $\mathbb{S}^n\times \mathbb{S}^m \times \mathbb{S}^l, 1 \leq n \leq m \leq l$. This paper generalizes the results proved by Dotzel et al. [6] for free involutions on the product of two sphere $\mathbb{S}^n \times \mathbb{S}^m,1\leq n\leq m.$
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Inverse Cubature and Quadrature Kalman filters
Authors:
Himali Singh,
Kumar Vijay Mishra,
Arpan Chattopadhyay
Abstract:
Recent research in inverse cognition with cognitive radar has led to the development of inverse stochastic filters that are employed by the target to infer the information the cognitive radar may have learned. Prior works addressed this inverse cognition problem by proposing inverse Kalman filter (I-KF) and inverse extended KF (I-EKF), respectively, for linear and non-linear Gaussian state-space m…
▽ More
Recent research in inverse cognition with cognitive radar has led to the development of inverse stochastic filters that are employed by the target to infer the information the cognitive radar may have learned. Prior works addressed this inverse cognition problem by proposing inverse Kalman filter (I-KF) and inverse extended KF (I-EKF), respectively, for linear and non-linear Gaussian state-space models. However, in practice, many counter-adversarial settings involve highly non-linear system models, wherein EKF's linearization often fails. In this paper, we consider the efficient numerical integration techniques to address such non-linearities and, to this end, develop inverse cubature KF (I-CKF), inverse quadrature KF (I-QKF), and inverse cubature-quadrature KF (I-CQKF). For the unknown system model case, we develop reproducing kernel Hilbert space (RKHS)-based CKF. We derive the stochastic stability conditions for the proposed filters in the exponential-mean-squared-boundedness sense and prove the filters' consistency. Numerical experiments demonstrate the estimation accuracy of our I-CKF, I-QKF, and I-CQKF with the recursive Cramér-Rao lower bound as a benchmark.
△ Less
Submitted 19 April, 2024; v1 submitted 17 March, 2023;
originally announced March 2023.
-
Power of $k$ Choices in the Semi-Random Graph Process
Authors:
Paweł Prałat,
Harjas Singh
Abstract:
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to s…
▽ More
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
In this paper, we introduce a natural generalization of this game in which $k$ random vertices $u_1, \ldots, u_k$ are presented to the player in each round. She needs to select one of the presented vertices and connect to any vertex she wants. We focus on the following three monotone properties: minimum degree at least $\ell$, the existence of a perfect matching, and the existence of a Hamiltonian cycle.
△ Less
Submitted 10 July, 2023; v1 submitted 26 February, 2023;
originally announced February 2023.
-
Singular SPDEs on Homogeneous Lie Groups
Authors:
Avi Mayorcas,
Harprit Singh
Abstract:
The aim of this article is to extend the scope of the theory of regularity structures in order to deal with a large class of singular SPDEs of the form $$\partial_t u = \mathfrak{L} u+ F(u, ξ)\ ,$$ where the differential operator $\mathfrak{L}$ fails to be elliptic. This is achieved by interpreting the base space $\mathbb{R}^{d}$ as a non-trivial homogeneous Lie group $\mathbb{G}$ such that the di…
▽ More
The aim of this article is to extend the scope of the theory of regularity structures in order to deal with a large class of singular SPDEs of the form $$\partial_t u = \mathfrak{L} u+ F(u, ξ)\ ,$$ where the differential operator $\mathfrak{L}$ fails to be elliptic. This is achieved by interpreting the base space $\mathbb{R}^{d}$ as a non-trivial homogeneous Lie group $\mathbb{G}$ such that the differential operator $\partial_t -\mathfrak{L}$ becomes a translation invariant hypoelliptic operator on $\mathbb{G}$. Prime examples are the kinetic Fokker-Planck operator $\partial_t -Δ_v - v\cdot \nabla_x$ and heat-type operators associated to sub-Laplacians. As an application of the developed framework, we solve a class of parabolic Anderson type equations $$\partial_t u = \sum_{i} X^2_i u + u (ξ-c)$$ on the compact quotient of an arbitrary Carnot group.
△ Less
Submitted 6 January, 2025; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Counter-Adversarial Learning with Inverse Unscented Kalman Filter
Authors:
Himali Singh,
Kumar Vijay Mishra,
Arpan Chattopadhyay
Abstract:
In counter-adversarial systems, to infer the strategy of an intelligent adversarial agent, the defender agent needs to cognitively sense the information that the adversary has gathered about the latter. Prior works on the problem employ linear Gaussian state-space models and solve this inverse cognition problem by designing inverse stochastic filters. However, in practice, counter-adversarial syst…
▽ More
In counter-adversarial systems, to infer the strategy of an intelligent adversarial agent, the defender agent needs to cognitively sense the information that the adversary has gathered about the latter. Prior works on the problem employ linear Gaussian state-space models and solve this inverse cognition problem by designing inverse stochastic filters. However, in practice, counter-adversarial systems are generally highly nonlinear. In this paper, we address this scenario by formulating inverse cognition as a nonlinear Gaussian state-space model, wherein the adversary employs an unscented Kalman filter (UKF) to estimate the defender's state with reduced linearization errors. To estimate the adversary's estimate of the defender, we propose and develop an inverse UKF (IUKF) system. We then derive theoretical guarantees for the stochastic stability of IUKF in the mean-squared boundedness sense. Numerical experiments for multiple practical applications show that the estimation error of IUKF converges and closely follows the recursive Cramér-Rao lower bound.
△ Less
Submitted 24 March, 2023; v1 submitted 1 October, 2022;
originally announced October 2022.
-
Strong convergence of parabolic rate $1$ of discretisations of stochastic Allen-Cahn-type equations
Authors:
Máté Gerencsér,
Harprit Singh
Abstract:
Consider the approximation of stochastic Allen-Cahn-type equations (i.e. $1+1$-dimensional space-time white noise-driven stochastic PDEs with polynomial nonlinearities $F$ such that $F(\pm \infty)=\mp \infty$) by a fully discrete space-time explicit finite difference scheme. The consensus in literature, supported by rigorous lower bounds, is that strong convergence rate $1/2$ with respect to the p…
▽ More
Consider the approximation of stochastic Allen-Cahn-type equations (i.e. $1+1$-dimensional space-time white noise-driven stochastic PDEs with polynomial nonlinearities $F$ such that $F(\pm \infty)=\mp \infty$) by a fully discrete space-time explicit finite difference scheme. The consensus in literature, supported by rigorous lower bounds, is that strong convergence rate $1/2$ with respect to the parabolic grid meshsize is expected to be optimal. We show that one can reach almost sure convergence rate $1$ (and no better) when measuring the error in appropriate negative Besov norms, by temporarily `pretending' that the SPDE is singular.
△ Less
Submitted 27 January, 2023; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Inverse Extended Kalman Filter -- Part II: Highly Non-Linear and Uncertain Systems
Authors:
Himali Singh,
Arpan Chattopadhyay,
Kumar Vijay Mishra
Abstract:
Counter-adversarial system design problems have lately motivated the development of inverse Bayesian filters. For example, inverse Kalman filter (I-KF) has been recently formulated to estimate the adversary's Kalman-filter-tracked estimates and hence, predict the adversary's future steps. The purpose of this paper and the companion paper (Part I) is to address the inverse filtering problem in non-…
▽ More
Counter-adversarial system design problems have lately motivated the development of inverse Bayesian filters. For example, inverse Kalman filter (I-KF) has been recently formulated to estimate the adversary's Kalman-filter-tracked estimates and hence, predict the adversary's future steps. The purpose of this paper and the companion paper (Part I) is to address the inverse filtering problem in non-linear systems by proposing an inverse extended Kalman filter (I-EKF). The companion paper proposed the theory of I-EKF (with and without unknown inputs) and I-KF (with unknown inputs). In this paper, we develop this theory for highly non-linear models, which employ second-order, Gaussian sum, and dithered forward EKFs. In particular, we derive theoretical stability guarantees for the inverse second-order EKF using the bounded non-linearity approach. To address the limitation of the standard I-EKFs that the system model and forward filter are perfectly known to the defender, we propose reproducing kernel Hilbert space-based EKF to learn the unknown system dynamics based on its observations, which can be employed as an inverse filter to infer the adversary's estimate. Numerical experiments demonstrate the state estimation performance of the proposed filters using recursive Cramér-Rao lower bound as a benchmark.
△ Less
Submitted 10 August, 2023; v1 submitted 13 August, 2022;
originally announced August 2022.
-
MDS multi-twisted Reed-Solomon codes with small dimensional hull
Authors:
Harshdeep Singh,
Kapish Chand Meena
Abstract:
In this paper, we find a necessary and sufficient condition for multi-twisted Reed-Solomon codes to be MDS. In particular, we introduce a new class of MDS double-twisted Reed-Solomon codes $\mathcal{C}_{\bm α, \bm t, \bm h, \bm η}$ with twists $\bm t = (1, 2)$ and hooks $\bm h = (0, 1)$ over the finite field $\mathbb{F}_q$, providing a non-trivial example over $\mathbb{F}_{16}$ and enumeration ove…
▽ More
In this paper, we find a necessary and sufficient condition for multi-twisted Reed-Solomon codes to be MDS. In particular, we introduce a new class of MDS double-twisted Reed-Solomon codes $\mathcal{C}_{\bm α, \bm t, \bm h, \bm η}$ with twists $\bm t = (1, 2)$ and hooks $\bm h = (0, 1)$ over the finite field $\mathbb{F}_q$, providing a non-trivial example over $\mathbb{F}_{16}$ and enumeration over the finite fields of size up to 17. Moreover, we obtain necessary conditions for the existence of multi-twisted Reed-Solomon codes with small dimensional hull. Consequently, we derive conditions for the existence of MDS multi-twisted Reed-Solomon codes with small dimensional hull.
△ Less
Submitted 13 December, 2023; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Some new results for subsequences of Nörlund logarithmic means of Walsh-Fourier series
Authors:
D. Baramidze,
L. -E. Persson,
H. Singh,
G. Tephnadze
Abstract:
We prove that there exists a martingale $f\in H_p $ such that the subsequence $\{L_{2^n}f \}$ of Nörlund logarithmic means with respect to the Walsh system are not bounded in the Lebesgue space $weak-L_p $ for $0<p<1 $. Moreover, we prove that for any $f\in L_p(G),$ $p\geq 1, $ $L_{2^n}f$ converge to $f$ at any Lebesgue point $x$. Some new related inequalities are derived.
We prove that there exists a martingale $f\in H_p $ such that the subsequence $\{L_{2^n}f \}$ of Nörlund logarithmic means with respect to the Walsh system are not bounded in the Lebesgue space $weak-L_p $ for $0<p<1 $. Moreover, we prove that for any $f\in L_p(G),$ $p\geq 1, $ $L_{2^n}f$ converge to $f$ at any Lebesgue point $x$. Some new related inequalities are derived.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
Inverse Extended Kalman Filter -- Part I: Fundamentals
Authors:
Himali Singh,
Arpan Chattopadhyay,
Kumar Vijay Mishra
Abstract:
Recent advances in counter-adversarial systems have garnered significant research attention to inverse filtering from a Bayesian perspective. For example, interest in estimating the adversary's Kalman filter tracked estimate with the purpose of predicting the adversary's future steps has led to recent formulations of inverse Kalman filter (I-KF). In this context of inverse filtering, we address th…
▽ More
Recent advances in counter-adversarial systems have garnered significant research attention to inverse filtering from a Bayesian perspective. For example, interest in estimating the adversary's Kalman filter tracked estimate with the purpose of predicting the adversary's future steps has led to recent formulations of inverse Kalman filter (I-KF). In this context of inverse filtering, we address the key challenges of non-linear process dynamics and unknown input to the forward filter by proposing an inverse extended Kalman filter (I-EKF). The purpose of this paper and the companion paper (Part II) is to develop the theory of I-EKF in detail. In this paper, we assume perfect system model information and derive I-EKF with and without an unknown input when both forward and inverse state-space models are non-linear. In the process, I-KF-with-unknown-input is also obtained. We then provide theoretical stability guarantees using both bounded non-linearity and unknown matrix approaches and prove the I-EKF's consistency. Numerical experiments validate our methods for various proposed inverse filters using the recursive Cramér-Rao lower bound as a benchmark. In the companion paper (Part II), we further generalize these formulations to highly non-linear models and propose reproducing kernel Hilbert space-based EKF to handle incomplete system model information.
△ Less
Submitted 14 August, 2023; v1 submitted 5 January, 2022;
originally announced January 2022.
-
Numerical range of Weighted Composition Operator on $ML^2(\mathbb{C};q)$
Authors:
Himanshu Singh
Abstract:
We study the numerical range of the Weighted Composition Operator over the Mittag-Leffler space of entire functions.
We study the numerical range of the Weighted Composition Operator over the Mittag-Leffler space of entire functions.
△ Less
Submitted 20 October, 2021; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Weighted Composition Operator and the Mittag-Leffler space
Authors:
Himanshu Singh
Abstract:
We present important characterizations of the Weighted Composition Operator over the Mittag Leffler space of entire functions. These characterizations include the Hilbert-Schmidt and Unitary char-acterizations of the Weighted Composition Operator over the Mittag-Leffler space. We also see the result for the spectrum of Weighted com-position operator over the Mittag-Leffler space
We present important characterizations of the Weighted Composition Operator over the Mittag Leffler space of entire functions. These characterizations include the Hilbert-Schmidt and Unitary char-acterizations of the Weighted Composition Operator over the Mittag-Leffler space. We also see the result for the spectrum of Weighted com-position operator over the Mittag-Leffler space
△ Less
Submitted 20 October, 2021; v1 submitted 6 June, 2021;
originally announced June 2021.
-
The Mittag Leffler space & its Littlewood-Paley Identity
Authors:
Himanshu Singh
Abstract:
We present the Littlewood-Paley Identity for the Mittag-Leffler space ML2(C; α) of entire functions. We also briefly demonstrate the connection between the Littlewood-Paley Identity and the compactness of the weighted composition operator on ML2(C; α).
We present the Littlewood-Paley Identity for the Mittag-Leffler space ML2(C; α) of entire functions. We also briefly demonstrate the connection between the Littlewood-Paley Identity and the compactness of the weighted composition operator on ML2(C; α).
△ Less
Submitted 20 October, 2021; v1 submitted 30 May, 2021;
originally announced May 2021.
-
Polylogarithmic Hardy space & its Nevanlinna counting function
Authors:
Himanshu Singh
Abstract:
We present the upper bound of the essential norm of the composition operator over the Polylogarithmic Hardy space PL2(D;s).The results involve the Nevanlinna counting function for PL2(D;s). We first prove the Littlewood-Paley Identity for PL2(D;s) which leads to the Nevanlinna counting function for PL2(D;s). With all these results, not only we get the upper bound of the essential norm of the compo…
▽ More
We present the upper bound of the essential norm of the composition operator over the Polylogarithmic Hardy space PL2(D;s).The results involve the Nevanlinna counting function for PL2(D;s). We first prove the Littlewood-Paley Identity for PL2(D;s) which leads to the Nevanlinna counting function for PL2(D;s). With all these results, not only we get the upper bound of the essential norm of the composition operator over PL2(D;s) but also we get an upper bound in terms of the angular derivative and essential norm of composition operator over the Hardy space H2.
△ Less
Submitted 20 October, 2021; v1 submitted 24 May, 2021;
originally announced May 2021.
-
The trifecta of Hilbert spaces on Unit Disc
Authors:
Himanshu Singh
Abstract:
The Hilbert spaces are common. But the direct connection between them is rare. The aim of this paper is to establish a direct relation among the three Hilbert spaces Hardy, Bergman and Dirichlet without defining any of the Hilbert space in weighted sense. In order to accomplish this goal, this paper develops the Littlewood-Paley type Identities for Bergman and Dirichlet space. After defining these…
▽ More
The Hilbert spaces are common. But the direct connection between them is rare. The aim of this paper is to establish a direct relation among the three Hilbert spaces Hardy, Bergman and Dirichlet without defining any of the Hilbert space in weighted sense. In order to accomplish this goal, this paper develops the Littlewood-Paley type Identities for Bergman and Dirichlet space. After defining these identities, the vision of connecting all the three Hilbert spaces via a direct connection is achieved.
△ Less
Submitted 20 October, 2021; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Cohomology Classification of Spaces with Free S3 Actions
Authors:
Anju Kumari,
Hemant Kumar Singh
Abstract:
This paper gives the cohomology classification of finitistic spaces X equipped with free actions of the group G = S3 and the orbit space X/G is the integral or mod 2 cohomology quaternion projective space HPn. We have proved that X is the integral or mod 2 cohomology (4n+3)-sphere or the product of 3-sphere and quaternion projective space HPn.
Similar results for G = S1 actions are also discusse…
▽ More
This paper gives the cohomology classification of finitistic spaces X equipped with free actions of the group G = S3 and the orbit space X/G is the integral or mod 2 cohomology quaternion projective space HPn. We have proved that X is the integral or mod 2 cohomology (4n+3)-sphere or the product of 3-sphere and quaternion projective space HPn.
Similar results for G = S1 actions are also discussed.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Fixed point Free Actions of Spheres and Equivariant maps
Authors:
Anju Kumari,
Hemant Kumar Singh
Abstract:
This paper generalizes the concept of index and co-index and some related results for free actions of G = S0 on a paracompact Hausdorff space which were introduced by Conner and Floyd. We define the index and co-index of a finitistic free G-space X, where G = Sd , d = 1 or 3 and prove that the index of X is not more than the mod 2 cohomology index of X. We observe that the index and co-index of a…
▽ More
This paper generalizes the concept of index and co-index and some related results for free actions of G = S0 on a paracompact Hausdorff space which were introduced by Conner and Floyd. We define the index and co-index of a finitistic free G-space X, where G = Sd , d = 1 or 3 and prove that the index of X is not more than the mod 2 cohomology index of X. We observe that the index and co-index of a (2n + 1)-sphere (resp. (4n+3)-sphere) for the action of componentwise multiplication of G = S1 (resp. S3) is n.
We also determine the orbit spaces of free actions of G = S3 on a finitistic space X with the mod 2 cohomology and the rational cohomology product of spheres. The orbit spaces of circle actions on the mod 2 cohomology X is also discussed. Using these calculation, we obtain an upper bound of the index of X and the Borsuk-Ulam type results.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
An elementary proof of the reconstruction theorem
Authors:
Harprit Singh,
Josef Teichmann
Abstract:
The reconstruction theorem, a cornerstone of Martin Hairer's theory of regularity structures, appears in this article as the unique extension of the explicitly given reconstruction operator on the set of smooth models due its inherent Lipschitz properties. This new proof is a direct consequence of constructions of mollification procedures on spaces of models and modelled distributions: more precis…
▽ More
The reconstruction theorem, a cornerstone of Martin Hairer's theory of regularity structures, appears in this article as the unique extension of the explicitly given reconstruction operator on the set of smooth models due its inherent Lipschitz properties. This new proof is a direct consequence of constructions of mollification procedures on spaces of models and modelled distributions: more precisely, for an abstract model $Z$ of a given regularity structure, a mollified model is constructed, and additionally, any modelled distribution $f$ can be approximated by elements of a universal subspace of modelled distribution spaces. These considerations yield in particular a non-standard approximation results for rough path theory. All results are formulated in a generic $(p,q)$ Besov setting.
△ Less
Submitted 7 December, 2018;
originally announced December 2018.
-
Multi-twisted codes over finite fields and their dual codes
Authors:
Anuradha Sharma,
Varsha Chauhan,
Harshdeep Singh
Abstract:
Let $\mathbb{F}_{q}$ denote the finite field of order $q,$ let $m_1,m_2,\cdots,m_{\ell}$ be positive integers satisfying $\gcd(m_i,q)=1$ for $1 \leq i \leq \ell,$ and let $n=m_1+m_2+\cdots+m_{\ell}.$ Let $Λ=(λ_1,λ_2,\cdots,λ_{\ell})$ be fixed, where $λ_1,λ_2,\cdots,λ_{\ell}$ are non-zero elements of $\mathbb{F}_{q}.$ In this paper, we study the algebraic structure of $Λ$-multi-twisted codes of len…
▽ More
Let $\mathbb{F}_{q}$ denote the finite field of order $q,$ let $m_1,m_2,\cdots,m_{\ell}$ be positive integers satisfying $\gcd(m_i,q)=1$ for $1 \leq i \leq \ell,$ and let $n=m_1+m_2+\cdots+m_{\ell}.$ Let $Λ=(λ_1,λ_2,\cdots,λ_{\ell})$ be fixed, where $λ_1,λ_2,\cdots,λ_{\ell}$ are non-zero elements of $\mathbb{F}_{q}.$ In this paper, we study the algebraic structure of $Λ$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ and their dual codes with respect to the standard inner product on $\mathbb{F}_{q}^n.$ We provide necessary and sufficient conditions for the existence of a self-dual $Λ$-multi-twisted code of length $n$ over $\mathbb{F}_{q},$ and obtain enumeration formulae for all self-dual and self-orthogonal $Λ$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}.$ We also derive some sufficient conditions under which a $Λ$-multi-twisted code is LCD. We determine the parity-check polynomial of all $Λ$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ and obtain a BCH type bound on their minimum Hamming distances. We also determine generating sets of dual codes of some $Λ$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ from the generating sets of the codes. Besides this, we provide a trace description for all $Λ$-multi-twisted codes of length $n$ over $\mathbb{F}_{q}$ by viewing these codes as direct sums of certain concatenated codes, which leads to a method to construct these codes. We also obtain a lower bound on their minimum Hamming distances using their multilevel concatenated structure.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
-
Free Action of Finite Groups on Spaces of Cohomology Type (0, b)
Authors:
Somorjit K Singh,
Hemant Kumar Singh,
Tej Bahadur Singh
Abstract:
Let G be a finite group acting freely on a finitistic space X having cohomology type (0, b) (for example, S^n x S^{2n} is a space of type (0, 1) and the one-point union S^n V S^{2n} V S^{3n} is a space of type (0, 0)). It is known that a finite group G which contains Zp + Zp + Zp, p a prime, can not act freely on S^n x S^{2n}. In this paper, we show that if a finite group G acts freely on a space…
▽ More
Let G be a finite group acting freely on a finitistic space X having cohomology type (0, b) (for example, S^n x S^{2n} is a space of type (0, 1) and the one-point union S^n V S^{2n} V S^{3n} is a space of type (0, 0)). It is known that a finite group G which contains Zp + Zp + Zp, p a prime, can not act freely on S^n x S^{2n}. In this paper, we show that if a finite group G acts freely on a space of type (0, 1), where n is odd, then G can not contain Zp + Zp, p an odd prime. For spaces of cohomology type (0, 0), we show that every p-subgroup of G is either cyclic or a generalized quaternion group. Moreover, for n even, it is shown that Z2 is the only group which can act freely on X.
△ Less
Submitted 13 May, 2017;
originally announced May 2017.
-
Numerical method based on Galerkin approximation for the fractional advection-dispersion equation
Authors:
Harendra Singh,
Manas Ranjan Sahoo,
Om Prakash Singh
Abstract:
We use a concept of weak asymptotic solution for homogeneous as well as non-homogeneous fractional advection dispersion type equations. Using Legendre scaling functions as basis, a numerical method based on Galerkin approximation is proposed. This leads to a system of fractional ordinary differential equations whose solutions in turn give approximate solution for the advection-dispersion equations…
▽ More
We use a concept of weak asymptotic solution for homogeneous as well as non-homogeneous fractional advection dispersion type equations. Using Legendre scaling functions as basis, a numerical method based on Galerkin approximation is proposed. This leads to a system of fractional ordinary differential equations whose solutions in turn give approximate solution for the advection-dispersion equations of fractional order. Under certain assumptions on the approximate solutions, it is shown that this sequence of approximate solutions forms a weak asymptotic solution. Numerical examples are given to show the effectiveness of the proposed method.
△ Less
Submitted 30 April, 2015;
originally announced April 2015.
-
Free actions of connected Lie groups of rank one on certain spaces
Authors:
Hemant Kumar Singh,
Jaspreet Kaur,
Tej Bahadur Singh
Abstract:
Let $G$ be a connected Lie group of rank one. In this paper the existence of free actions of group $G$ on spheres, real projective spaces and lens spaces has been studied. Most of the results have been obtained for finitistic spaces with cohomology ring isomorphic to the cohomology ring of these spaces. The cohomology algebra of the orbit space has been determined in the case of free $G$-action. T…
▽ More
Let $G$ be a connected Lie group of rank one. In this paper the existence of free actions of group $G$ on spheres, real projective spaces and lens spaces has been studied. Most of the results have been obtained for finitistic spaces with cohomology ring isomorphic to the cohomology ring of these spaces. The cohomology algebra of the orbit space has been determined in the case of free $G$-action. The non-existence of $G$-equivariant maps from spheres to cohomology spheres has also been established.
△ Less
Submitted 27 November, 2013;
originally announced November 2013.
-
Cohomology algebra of the orbit space of some free actions on spaces of cohomology type (a, b)
Authors:
Hemant Kumar Singh,
Tej Bahadur Singh
Abstract:
Let X be a finitistic space with non-trivial cohomology groups H^in(X;Z)=Z with generators v_i, where i = 0, 1, 2, 3. We say that X has cohomology type (a, b) if v_1^2 = av_2 and v_1v_2 = bv_3 . In this note, we determine the mod 2 cohomology ring of the orbit space X/G of a free action of G = Z_2 on X, where both a and b are even. In this case, we observed that there is no equivariant map S^m -…
▽ More
Let X be a finitistic space with non-trivial cohomology groups H^in(X;Z)=Z with generators v_i, where i = 0, 1, 2, 3. We say that X has cohomology type (a, b) if v_1^2 = av_2 and v_1v_2 = bv_3 . In this note, we determine the mod 2 cohomology ring of the orbit space X/G of a free action of G = Z_2 on X, where both a and b are even. In this case, we observed that there is no equivariant map S^m --> X for m > 3n, where S^m has the antipodal action. Moreover, it is shown that G can not act freely on space X which is of cohomology type (a, b) where a is odd and b is even. We also obtain the mod 2 cohomology ring of the orbit space X/G of free action of G = S^1 on the space X of type (0, b).
△ Less
Submitted 11 August, 2008;
originally announced August 2008.
-
Cohomology algebra of the orbit space of free circle group actions on lens spaces
Authors:
Hemant Kumar Singh,
Tej Bahadur Singh
Abstract:
Suppose that G=S^1 acts freely on a finitistic space X whose mod p cohomology ring isomorphic to that of a lens space L^{2m-1}(p;q_1,...,q_m). In this paper, we determine the mod p cohomology ring of the orbit space X/G. If the characteristic class α\belongs H^2(X/G;Z_p) of the S^1-bundle S--> X--> X/G is nonzero, then mod p ndex of the action is deined to be the largest integer n such that α^n…
▽ More
Suppose that G=S^1 acts freely on a finitistic space X whose mod p cohomology ring isomorphic to that of a lens space L^{2m-1}(p;q_1,...,q_m). In this paper, we determine the mod p cohomology ring of the orbit space X/G. If the characteristic class α\belongs H^2(X/G;Z_p) of the S^1-bundle S--> X--> X/G is nonzero, then mod p ndex of the action is deined to be the largest integer n such that α^n is nonzero. We also show that the mod p index of a free action of S^1 on a lens space L^(2m-1)(p;q_1,...,q_m) is p-1, provided that αis nonzero.
△ Less
Submitted 11 June, 2008;
originally announced June 2008.
