-
Combinatorial Identities Using the Matrix Tree Theorem
Authors:
Nayana Shibu Deepthi,
Chanchal Kumar
Abstract:
The matrix tree theorem, initially formulated by Kirchhoff, is a fundamental result in algebraic graph theory that provides an elegant way to count spanning trees using the Laplacian determinant. In this paper, we explore some interesting applications of the matrix tree theorem. In particular, we present a combinatorial interpretation of a distribution of $(n-1)^{n-1}$, in the context of uprooted…
▽ More
The matrix tree theorem, initially formulated by Kirchhoff, is a fundamental result in algebraic graph theory that provides an elegant way to count spanning trees using the Laplacian determinant. In this paper, we explore some interesting applications of the matrix tree theorem. In particular, we present a combinatorial interpretation of a distribution of $(n-1)^{n-1}$, in the context of uprooted spanning trees of the complete graph $K_{n}$, which was previously obtained by Chauve--Dulucq--Guibert. Furthermore, we establish a combinatorial explanation for the distribution of $m^{n-1}n^{m-1}$, related to spanning trees of the complete bipartite graph $K_{m,n}$, which seems new.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
First- and Half-order Schemes for Regime Switching Stochastic Differential Equation with Non-differentiable Drift Coefficient
Authors:
Divyanshu Vashistha,
Chaman Kumar
Abstract:
An explicit first-order drift-randomized Milstein scheme for a regime switching stochastic differential equation is proposed and its bi-stability and rate of strong convergence are investigated for a non-differentiable drift coefficient.
Precisely, drift is Lipschitz continuous while diffusion along with its derivative is Lipschitz continuous.
Further, we explore the significance of evaluating…
▽ More
An explicit first-order drift-randomized Milstein scheme for a regime switching stochastic differential equation is proposed and its bi-stability and rate of strong convergence are investigated for a non-differentiable drift coefficient.
Precisely, drift is Lipschitz continuous while diffusion along with its derivative is Lipschitz continuous.
Further, we explore the significance of evaluating Brownian trajectories at every switching time of the underlying Markov chain in achieving the convergence rate $1.0$ of the proposed scheme.
In this context, possible variants of the scheme, namely modified randomized and reduced randomized schemes, are considered and their convergence rates are shown to be $1/2$.
Numerical experiments are performed to illustrate the convergence rates of these schemes along with their corresponding non-randomized versions.
Further, it is illustrated that the half-order non-randomized reduced and modified schemes outperforms the classical Euler scheme.
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
Milstein-type schemes for McKean-Vlasov SDEs driven by Brownian motion and Poisson random measure (with super-linear coefficients)
Authors:
Sani Biswas,
Chaman Kumar,
Christoph Reisinger,
Verena Schwarz
Abstract:
In this work, we present a general Milstein-type scheme for McKean-Vlasov stochastic differential equations (SDEs) driven by Brownian motion and Poisson random measure and the associated system of interacting particles where drift, diffusion and jump coefficients may grow super-linearly in the state variable and linearly in the measure component. The strong rate of $\mathcal{L}^2$-convergence of t…
▽ More
In this work, we present a general Milstein-type scheme for McKean-Vlasov stochastic differential equations (SDEs) driven by Brownian motion and Poisson random measure and the associated system of interacting particles where drift, diffusion and jump coefficients may grow super-linearly in the state variable and linearly in the measure component. The strong rate of $\mathcal{L}^2$-convergence of the proposed scheme is shown to be arbitrarily close to one under appropriate regularity assumptions on the coefficients. For the derivation of the Milstein scheme and to show its strong rate of convergence, we provide an Itô formula for the interacting particle system connected with the McKean-Vlasov SDE driven by Brownian motion and Poisson random measure. Moreover, we use the notion of Lions derivative to examine our results. The two-fold challenges arising due to the presence of the empirical measure and super-linearity of the jump coefficient are resolved by identifying and exploiting an appropriate coercivity-type condition.
△ Less
Submitted 7 January, 2025; v1 submitted 18 November, 2024;
originally announced November 2024.
-
On Itô-Taylor expansion for stochastic differential equations with Markovian switching and its application in $γ\in\{n/2:n \in\mathbb{N}\}$-order scheme
Authors:
Tejinder Kumar,
Chaman Kumar
Abstract:
The coefficients of the stochastic differential equations with Markovian switching (SDEwMS) additionally depend on a Markov chain and there is no notion of differentiating such functions with respect to the Markov chain. In particular, this implies that the Itô-Taylor expansion for SDEwMS is not a straightforward extension of the Itô-Taylor expansion for stochastic differential equations (SDEs). F…
▽ More
The coefficients of the stochastic differential equations with Markovian switching (SDEwMS) additionally depend on a Markov chain and there is no notion of differentiating such functions with respect to the Markov chain. In particular, this implies that the Itô-Taylor expansion for SDEwMS is not a straightforward extension of the Itô-Taylor expansion for stochastic differential equations (SDEs). Further, higher-order numerical schemes for SDEwMS are not available in the literature, perhaps because of the absence of the Itô-Taylor expansion. In this article, first, we overcome these challenges and derive the Itô-Taylor expansion for SDEwMS, under some suitable regularity assumptions on the coefficients, by developing new techniques. Secondly, we demonstrate an application of our first result on the Itô-Taylor expansion in the numerical approximations of SDEwMS. We derive an explicit scheme for SDEwMS using the Itô-Taylor expansion and show that the strong rate of convergence of our scheme is equal to $γ\in\{n/2:n\in\mathbb{N}\}$ under some suitable Lipschitz-type conditions on the coefficients and their derivatives. It is worth mentioning that designing and analysis of the Itô-Taylor expansion and the $γ\in\{n/2:n\in\mathbb{N}\}$-order scheme for SDEwMS become much more complex and involved due to the entangling of continuous dynamics and discrete events. Finally, our results coincide with the corresponding results on SDEs when the state of the Markov chain is a singleton set.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
An explicit Milstein-type scheme for interacting particle systems and McKean--Vlasov SDEs with common noise and non-differentiable drift coefficients
Authors:
Sani Biswas,
Chaman Kumar,
Neelima,
Gonçalo dos Reis,
Christoph Reisinger
Abstract:
We propose an explicit drift-randomised Milstein scheme for both McKean--Vlasov stochastic differential equations and associated high-dimensional interacting particle systems with common noise. By using a drift-randomisation step in space and measure, we establish the scheme's strong convergence rate of $1$ under reduced regularity assumptions on the drift coefficient: no classical (Euclidean) der…
▽ More
We propose an explicit drift-randomised Milstein scheme for both McKean--Vlasov stochastic differential equations and associated high-dimensional interacting particle systems with common noise. By using a drift-randomisation step in space and measure, we establish the scheme's strong convergence rate of $1$ under reduced regularity assumptions on the drift coefficient: no classical (Euclidean) derivatives in space or measure derivatives (e.g., Lions/Fréchet) are required. The main result is established by enriching the concepts of bistability and consistency of numerical schemes used previously for standard SDE. We introduce certain Spijker-type norms (and associated Banach spaces) to deal with the interaction of particles present in the stochastic systems being analysed. A discussion of the scheme's complexity is provided.
△ Less
Submitted 16 June, 2023; v1 submitted 22 August, 2022;
originally announced August 2022.
-
On the Vanishing Criterion for the Cohomology Groups of the Automorphism Group of a finite Abelian $p$-Group
Authors:
Chudamani Pranesachar Anil Kumar,
Soham Swadhin Pradhan
Abstract:
For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite abelian $p$-group $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathbb{Z}/p^{λ_i}\mathbb{Z})^{ρ_i}$, where $p$ is a prime, we consider two actions of its automorphism group $\mathcal{G}_{\underlineλ}$ on $\mathcal{A}_{\underlineλ}$. The first action is the natural a…
▽ More
For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite abelian $p$-group $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathbb{Z}/p^{λ_i}\mathbb{Z})^{ρ_i}$, where $p$ is a prime, we consider two actions of its automorphism group $\mathcal{G}_{\underlineλ}$ on $\mathcal{A}_{\underlineλ}$. The first action is the natural action $g\bullet a=\ ^ga$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_1=Id_{\mathcal{G}_{\underlineλ}}:\mathcal{G}_{\underlineλ}\longrightarrow \mathcal{G}_{\underlineλ}$ and the second action is the trivial action $g\bullet a=a$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_2:\mathcal{G}_{\underlineλ}\longrightarrow \{e\}\subset\mathcal{G}_{\underlineλ}$ the trivial map. For the natural action $Λ_1$, we show that the first and second cohomology groups $H_{Λ_1}^i(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ}),i=1,2$ vanish for any partition $\underlineλ$ for an odd prime $p$. For the trivial action $Λ_2$ we show that, for an odd prime $p$, the first cohomology group $H_{Λ_2}^1(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ and for an odd prime $p\neq 3$, the second cohomology group $H_{Λ_2}^2(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ vanish if and only if the difference between two successive parts of the partition $\underlineλ$ is at most one. This is done by using the $mod\ p$ cohomologies $H^i(\mathcal{G}_{\underlineλ},\mathbb{Z}/p\mathbb{Z}),i=1,2$.
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
On the Generic Point Arrangements in Euclidean Space and Stratification of the Totally Nonzero Grassmannian
Authors:
C P Anil Kumar
Abstract:
In this article, for positive integers $n\geq m\geq 1$, the parameter spaces for the isomorphism classes of the generic point arrangements of cardinality $n$, and the antipodal point arrangements of cardinality $2n$ in the Eulidean space $\mathbb{R}^m$ are described using the space of totally nonzero Grassmannian $Gr^{tnz}_{mn}(\mathbb{R})$. A stratification $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of…
▽ More
In this article, for positive integers $n\geq m\geq 1$, the parameter spaces for the isomorphism classes of the generic point arrangements of cardinality $n$, and the antipodal point arrangements of cardinality $2n$ in the Eulidean space $\mathbb{R}^m$ are described using the space of totally nonzero Grassmannian $Gr^{tnz}_{mn}(\mathbb{R})$. A stratification $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of the totally nonzero Grassmannian $Gr^{tnz}_{mn}(\mathbb{R})$ is mentioned and the parameter spaces are respectively expressed as quotients of the space $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of strata under suitable actions of the symmetric group $S_n$ and the semidirect product group $(\mathbb{R}^*)^n\rtimes S_n$. The cardinalities of the space $\mathcal{S}^{tnz}_{mn}(\mathbb{R})$ of strata and of the parameter spaces $S_n\backslash \mathcal{S}^{tnz}_{mn}(\mathbb{R}), ((\mathbb{R}^*)^n\rtimes S_n)\backslash \mathcal{S}^{tnz}_{mn}(\mathbb{R})$ are enumerated in dimension $m=2$. Interestingly enough, the enumerated value of the isomorphism classes of the generic point arrangements in the Euclidean plane is expressed in terms of the number theoretic Euler-totient function. The analogous enumeration questions are still open in higher dimensions for $m\geq 3$.
△ Less
Submitted 21 February, 2021;
originally announced February 2021.
-
A Primal-Dual Framework for Decentralized Stochastic Optimization
Authors:
Ketan Rajawat,
Chirag Kumar
Abstract:
We consider the decentralized convex optimization problem, where multiple agents must cooperatively minimize a cumulative objective function, with each local function expressible as an empirical average of data-dependent losses. State-of-the-art approaches for decentralized optimization rely on gradient tracking, where consensus is enforced via a doubly stochastic mixing matrix. Construction of su…
▽ More
We consider the decentralized convex optimization problem, where multiple agents must cooperatively minimize a cumulative objective function, with each local function expressible as an empirical average of data-dependent losses. State-of-the-art approaches for decentralized optimization rely on gradient tracking, where consensus is enforced via a doubly stochastic mixing matrix. Construction of such mixing matrices is not straightforward and requires coordination even prior to the start of the optimization algorithm. This paper puts forth a primal-dual framework for decentralized stochastic optimization that obviates the need for such doubly stochastic matrices. Instead, dual variables are maintained to track the disagreement between neighbors. The proposed framework is flexible and is used to develop decentralized variants of SAGA, L-SVRG, SVRG++, and SEGA algorithms. Using a unified proof, we establish that the oracle complexity of these decentralized variants is $O(1/ε)$, matching the complexity bounds obtained for the centralized variants. Additionally, we also present a decentralized primal-dual accelerated SVRG algorithm achieving $O(1/\sqrtε)$ oracle complexity, again matching the bound for the centralized accelerated SVRG. Numerical tests on the algorithms establish their superior performance as compared to the variance-reduced gradient tracking algorithms.
△ Less
Submitted 13 December, 2020; v1 submitted 8 December, 2020;
originally announced December 2020.
-
On Very Generic Discriminantal Arrangements
Authors:
C P Anil Kumar
Abstract:
In this article we prove two main results. Firstly, we show that any six-line arrangement, consisting of three pairs of mutually perpendicular lines, does not give rise to a "very generic or sufficiently general" discriminantal arrangement in the sense of C. A. Athanasiadis \cite{MR1720104}. We give two proofs of the first result. The second result is as follows. The codimension-one boundary faces…
▽ More
In this article we prove two main results. Firstly, we show that any six-line arrangement, consisting of three pairs of mutually perpendicular lines, does not give rise to a "very generic or sufficiently general" discriminantal arrangement in the sense of C. A. Athanasiadis \cite{MR1720104}. We give two proofs of the first result. The second result is as follows. The codimension-one boundary faces of (a region) a convex cone of a very generic discriminantal arrangement has not been characterized and is not known even though the intersection lattice of a very generic discriminantal arrangement is known. So secondly, we show that the number of simplex cells of the very generic hyperplane arrangement $\mathcal{H}^m_n=\{H_i:\underset{j=1}{\overset{m}{\sum}}a_{ij}x_j=c_i,1\leq i\leq n\}$ may not be not precisely equal to the number of codimension-one boundary hyperplanes of $\mathbb{R}^n$ of the convex cone $C$ containing $(c_1,c_2,\ldots,c_n)$ in the associated very generic discriminantal arrangement. That is, for $1\leq i_1<i_2<\ldots<i_m<i_{m+1}\leq n$, if $Δ^m H_{i_1}H_{i_2}\ldots H_{i_m}H_{i_{m+1}}$ is a simplex cell of the hyperplane arrangement $\mathcal{H}^m_n$ then it need not give rise to a codimension-one boundary hyperplane of the convex cone $C$ containing $(c_1,c_2,\ldots,c_n)$ in the associated very generic discriminantal arrangement. We finally mention an interesting open-ended remark before the appendix section.
In the appendix section we give a self contained exposition and describe combinatorially the intersection lattice of a (Zariski open and dense) class of "very generic or sufficiently general" discriminantal arrangements. As a consequence, we give a geometric description of the lattice elements as sets of concurrencies of the hyperplane arrangements which give the same "very generic or sufficiently general" discriminantal arrangement.
△ Less
Submitted 14 July, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Well-posedness and tamed Euler schemes for McKean-Vlasov equations driven by Lévy noise
Authors:
Neelima,
Sani Biswas,
Chaman Kumar,
Gonçalo dos Reis,
Christoph Reisinger
Abstract:
We prove the well-posedness of solutions to McKean-Vlasov stochastic differential equations driven by Lévy noise under mild assumptions where, in particular, the Lévy measure is not required to be finite. The drift, diffusion and jump coefficients are allowed to be random, can grow super-linearly in the state variable, and all may depend on the marginal law of the solution process. We provide a pr…
▽ More
We prove the well-posedness of solutions to McKean-Vlasov stochastic differential equations driven by Lévy noise under mild assumptions where, in particular, the Lévy measure is not required to be finite. The drift, diffusion and jump coefficients are allowed to be random, can grow super-linearly in the state variable, and all may depend on the marginal law of the solution process. We provide a propagation of chaos result under more relaxed conditions than those existing in the literature, and consistent with our well-posedness result.
We propose a tamed Euler scheme for the associated interacting particle system and prove that the rate of its strong convergence is arbitrarily close to $1/2$. As a by-product, we also obtain the corresponding results on well-posedness, propagation of chaos and strong convergence of the tamed Euler scheme for McKean-Vlasov stochastic delay differential equations (SDDE) and McKean-Vlasov stochastic differential equations with Markovian switching (SDEwMS), both driven by Lévy noise. Furthermore, our results on tamed Euler schemes are new even for ordinary SDEs driven by Lévy noise and with super-linearly growing coefficients.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
On the Surjectivity of Certain Maps IV: For Congruence Ideal Subgroups of Type $A_k$ and $C_k$
Authors:
C P Anil Kumar
Abstract:
For a positive integer $k$, we extend the surjectivity results from special linear groups (Type $A_k$) and symplectic linear groups (Type $C_k$) onto product of generalized projective spaces by associating the rows or columns, to certain congruence ideal subgroups of special linear groups and symplectic linear groups.
For a positive integer $k$, we extend the surjectivity results from special linear groups (Type $A_k$) and symplectic linear groups (Type $C_k$) onto product of generalized projective spaces by associating the rows or columns, to certain congruence ideal subgroups of special linear groups and symplectic linear groups.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Standard Monomials of 1-Skeleton Ideals of Graphs and Their Signless Laplace Matrices
Authors:
Chanchal Kumar,
Gargi Lather,
Amit Roy
Abstract:
Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and…
▽ More
Let $G$ be a (multi) graph on the vertex set $V=\{0,1,\ldots ,n\}$ with root $0$. The $G$-parking function ideal $\mathcal{M}_G$ is a monomial ideal in the polynomial ring $R=\mathbb{K}[x_1,\ldots ,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G}\right)=\det\left(\widetilde{L}_G\right)$, where $\widetilde{L}_G$ is the truncated Laplace matrix of $G$ and $\det\left(\widetilde L_G\right)$ is the determinant of $\widetilde L_G$. In other words, standard monomials of the Artinian quotient $\frac{R}{\mathcal{M}_G}$ correspond bijectively with the spanning trees of $G$. For $0\leq k\leq n-1$, the $k$-skeleton ideal $\mathcal{M}_G^{(k)}$ of $G$ is the monomial subideal $\mathcal{M}_G^{(k)}=\left\langle m_A:\emptyset\neq A\subseteq[n]\text{ and }|A|\leq k+1\right\rangle$ of the $G$-parking function ideal $\mathcal{M}_G=\left\langle m_A : \emptyset \neq A\subseteq[n]\right\rangle\subseteq R$. For a simple graph $G$, Dochtermann conjectured that $\dim_{\mathbb K}\left(\frac{R}{\mathcal{M}_G^{(1)}}\right)\geq\det\left(\widetilde{Q}_G\right)$, where $\widetilde Q_G$ is the truncated signless Laplace matrix of $G$. We show that Dochtermann conjecture holds for any (simple or multi) graph $G$ on $V$.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
Well-posedness and tamed schemes for McKean-Vlasov Equations with Common Noise
Authors:
Chaman Kumar,
Neelima,
Christoph Reisinger,
Wolfgang Stockinger
Abstract:
In this paper, we first establish well-posedness of McKean-Vlasov stochastic differential equations (McKean-Vlasov SDEs) with common noise, possibly with coefficients having super-linear growth in the state variable. Second, we present stable time-stepping schemes for this class of McKean-Vlasov SDEs. Specifically, we propose an explicit tamed Euler and tamed Milstein scheme for an interacting par…
▽ More
In this paper, we first establish well-posedness of McKean-Vlasov stochastic differential equations (McKean-Vlasov SDEs) with common noise, possibly with coefficients having super-linear growth in the state variable. Second, we present stable time-stepping schemes for this class of McKean-Vlasov SDEs. Specifically, we propose an explicit tamed Euler and tamed Milstein scheme for an interacting particle system associated with the McKean-Vlasov equation. We prove stability and strong convergence of order $1/2$ and $1$, respectively. To obtain our main results, we employ techniques from calculus on the Wasserstein space. The proof for the strong convergence of the tamed Milstein scheme only requires the coefficients to be once continuously differentiable in the state and measure component. To demonstrate our theoretical findings, we present several numerical examples, including mean-field versions of the stochastic $3/2$ volatility model and the stochastic double well dynamics with multiplicative noise.
△ Less
Submitted 31 May, 2020;
originally announced June 2020.
-
Skeleton Ideals of Certain Graphs, Standard Monomials and Spherical Parking Functions
Authors:
Chanchal Kumar,
Gargi Lather,
Sonica
Abstract:
Let $G$ be an (oriented) graph on the vertex set $V = \{ 0, 1,\ldots,n\}$ with root $0$. Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $ R = {\mathbb{K}}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$. A subideal $\mathcal{M}_G^{(k)}$ of $\mathcal{M}_G$ generated by subsets of $\widetilde{V}=V\setminus \{0\}$ of size at most $k+1$ is called a $k$-skeleton ide…
▽ More
Let $G$ be an (oriented) graph on the vertex set $V = \{ 0, 1,\ldots,n\}$ with root $0$. Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $ R = {\mathbb{K}}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$. A subideal $\mathcal{M}_G^{(k)}$ of $\mathcal{M}_G$ generated by subsets of $\widetilde{V}=V\setminus \{0\}$ of size at most $k+1$ is called a $k$-skeleton ideal of the graph $G$. Many interesting homological and combinatorial properties of $1$-skeleton ideal $\mathcal{M}_G^{(1)}$ are obtained by Dochtermann for certain classes of simple graph $G$. A finite sequence $\mathcal{P}=(p_1,\ldots,p_n) \in \mathbb{N}^n$ is called a spherical $G$-parking function if the monomial $\mathbf{x}^{\mathcal{P}} = \prod_{i=1}^{n} x_i^{p_i} \in \mathcal{M}_G \setminus \mathcal{M}_G^{(n-2)}$. Let ${\rm sPF}(G)$ be the set of all spherical $G$-parking functions. In this paper, a combinatorial description for all multigraded Betti numbers of the $k$-skeleton ideal $\mathcal{M}_{K_{n+1}}^{(k)}$ of the complete graph $K_{n+1}$ on $V$ are given. Also, using DFS burning algorithms of Perkinson-Yang-Yu (for simple graph) and Gaydarov-Hopkins (for multigraph), we give a combinatorial interpretation of spherical $G$-parking functions for the graph $G = K_{n+1}- \{e\}$ obtained from the complete graph $K_{n+1}$ on deleting an edge $e$. In particular, we showed that $|{\rm sPF}(K_{n+1}- \{e_0\} )|= (n-1)^{n-1}$ for an edge $e_0$ through the root $0$, but $|{\rm sPF}(K_{n+1} - \{e_1\})| = (n-1)^{n-3}(n-2)^2$ for an edge $e_1$ not through the root.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
On Explicit Milstein-type Scheme for Mckean-Vlasov Stochastic Differential Equations with Super-linear Drift Coefficient
Authors:
Chaman Kumar,
Neelima
Abstract:
We develop an explicit Milstein-type scheme for McKean-Vlasov stochastic differential equations using the notion of derivative with respect to measure introduced by Lions and discussed in \cite{cardaliaguet2013}. The drift coefficient is allowed to grow super-linearly in the space variable. Further, both drift and diffusion coefficients are assumed to be only once differentiable in variables corre…
▽ More
We develop an explicit Milstein-type scheme for McKean-Vlasov stochastic differential equations using the notion of derivative with respect to measure introduced by Lions and discussed in \cite{cardaliaguet2013}. The drift coefficient is allowed to grow super-linearly in the space variable. Further, both drift and diffusion coefficients are assumed to be only once differentiable in variables corresponding to space and measure. The rate of strong convergence is shown to be equal to $1.0$ without using Itô's formula for functions depending on measure. The challenges arising due to the dependence of coefficients on measure are tackled and our findings are consistent with the analogous results for stochastic differential equations.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
On the Enumeration of a Certain Type of Hyperplane Arrangements
Authors:
C P Anil Kumar
Abstract:
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we en…
▽ More
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we enumerate such isomorphism classes by computing the characteristic polynomial of the discriminantal arrangement. With a certain restriction, the enumerated value is shown to be independent of the discriminantal arrangement. Later we observe that the restriction we impose on the type of hyperplane arrangements is a mild one and that this conditional restriction is quite generic. Moreover the restriction is defined in terms of a normal system being concurrency free which is a generic condition. We also discuss two examples of normal systems which are not concurrency free in the last section and enumerate the number of isomorphism classes.
△ Less
Submitted 26 February, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Integer Sequences and Monomial Ideals
Authors:
Chanchal Kumar,
Amit Roy
Abstract:
Let $\mathfrak{S}_n$ be the set of all permutations of $[n]=\{1,\ldots,n\}$ and let $W$ be the subset consisting of permutations $σ\in \mathfrak{S}_n$ avoiding 132 and 312-patterns. The monomial ideal $I_W = \left\langle \mathbf{x}^σ = \prod_{i=1}^n x_i^{σ(i)} : σ\in W \right\rangle $ in the polynomial ring $R = k[x_1,\ldots,x_n]$ over a field $k$ is called a hypercubic ideal in the article (Certa…
▽ More
Let $\mathfrak{S}_n$ be the set of all permutations of $[n]=\{1,\ldots,n\}$ and let $W$ be the subset consisting of permutations $σ\in \mathfrak{S}_n$ avoiding 132 and 312-patterns. The monomial ideal $I_W = \left\langle \mathbf{x}^σ = \prod_{i=1}^n x_i^{σ(i)} : σ\in W \right\rangle $ in the polynomial ring $R = k[x_1,\ldots,x_n]$ over a field $k$ is called a hypercubic ideal in the article (Certain variants of multipermutohedron ideals, Proc. Indian Acad. Sci.(Math Sci. Vol. 126, No.4, (2016), 479-500). The Alexander dual $I_W^{[\mathbf{n}]}$ of $I_W$ with respect to $\mathbf{n}=(n,\ldots,n)$ has the minimal cellular resolution supported on the first barycentric subdivision $\mathbf{Bd}(Δ_{n-1})$ of an $n-1$-simplex $Δ_{n-1}$. We show that the number of standard monomials of the Artinian quotient $\frac{R}{I_W^{[\mathbf{n}]}}$ equals the number of rooted-labelled unimodal forests on the vertex set $[n]$. In other words,
\[ \dim_k\left(\frac{R}{I_W^{[\mathbf{n}]}}\right) =
\sum_{r=1}^n r!~s(n,r) = {\rm Per}\left([m_{ij}]_{n \times n} \right),\] where $s(n,r)$ is the (signless) Stirling number of the first kind and ${\rm Per}([m_{ij}]_{n \times n})$ is the permanent of the matrix $[m_{ij}]$ with $m_{ii}=i$ and $m_{ij}=1$ for $i \ne j$. For various subsets $S$ of $\mathfrak{S}_n$ consisting of permutations avoiding patterns, the corresponding integer sequences $\left\lbrace \dim_k\left(\frac{R}{I_S^{[\mathbf{n}]}}\right) \right\rbrace_{n=1}^{\infty}$ are identified.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
On a Conjecture of Kelly on $(1,3)$-representation of Sylvester Gallai Designs
Authors:
C P Anil Kumar,
Anoop Singh
Abstract:
We give an exact criterion of a conjecture of L.M.Kelly to hold true which is stated as follows. If there is a finite family $Σ$ of mutually skew lines in $\mathbb{R}^l,l\geq 4$ such that the three dimensional affine span (hull) of every two lines in $Σ$, contains at least one more line of $Σ$, then we have that $Σ$ is entirely contained in a three dimensional space if and only if the arrangement…
▽ More
We give an exact criterion of a conjecture of L.M.Kelly to hold true which is stated as follows. If there is a finite family $Σ$ of mutually skew lines in $\mathbb{R}^l,l\geq 4$ such that the three dimensional affine span (hull) of every two lines in $Σ$, contains at least one more line of $Σ$, then we have that $Σ$ is entirely contained in a three dimensional space if and only if the arrangement of affine hulls is central. Finally, this article leads to an analogous question for higher dimensional skew affine spaces, that is, for $(2,5)$-representations of sylvester-gallai designs in $\mathbb{R}^6$, which is answered in the last section.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
On the Positivity Conjecture for Finite Abelian p-Groups
Authors:
C P Anil Kumar
Abstract:
For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite $\mathcal{R}$-module $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathcal{R}/π^{λ_i}\mathcal{R})^{ρ_i}$, where $\mathcal{R}$ is a discrete valuation ring, with maximal ideal generated by a uniformizing element $π$, having finite residue field…
▽ More
For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite $\mathcal{R}$-module $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathcal{R}/π^{λ_i}\mathcal{R})^{ρ_i}$, where $\mathcal{R}$ is a discrete valuation ring, with maximal ideal generated by a uniformizing element $π$, having finite residue field ${\bf k}=\mathcal{R}/π\mathcal{R}\cong \mathbb{F}_q$, the number of orbits of pairs $n_{\underlineλ}(q)= \mid \mathcal{G}_{\underlineλ}\backslash \big(\mathcal{A}_{\underlineλ}\times \mathcal{A}_{\underlineλ}\big)\mid$ for the diagonal action of the automorphism group $\mathcal{G}_{\underlineλ}= Aut(\mathcal{A}_{\underlineλ})$, is a polynomial in $q$ with integer coefficients. Positivity conjecture states that these coefficients are in fact non-negative. In this article, we prove this conjecture.
△ Less
Submitted 6 July, 2021; v1 submitted 7 January, 2020;
originally announced January 2020.
-
A Combinatorial Identity for the p-Binomial Coefficient Based on Abelian Groups
Authors:
C P Anil Kumar
Abstract:
For non-negative integers $k\leq n$, we prove a combinatorial identity for the $p$-binomial coefficient $\binom{n}{k}_p$ based on abelian p-groups. A purely combinatorial proof of this identity is not known. While proving this identity, for $r\in \mathbb{N}\cup\{0\},s\in \mathbb{N}$ and $p$ a prime, we present a purely combinatorial formula for the number of subgroups of $\mathbb{Z}^s$ of finite i…
▽ More
For non-negative integers $k\leq n$, we prove a combinatorial identity for the $p$-binomial coefficient $\binom{n}{k}_p$ based on abelian p-groups. A purely combinatorial proof of this identity is not known. While proving this identity, for $r\in \mathbb{N}\cup\{0\},s\in \mathbb{N}$ and $p$ a prime, we present a purely combinatorial formula for the number of subgroups of $\mathbb{Z}^s$ of finite index $p^r$ with quotient isomorphic to the finite abelian $p$-group of type $\underlineλ$, which is a partition of $r$ into at most $s$ parts. This purely combinatorial formula is similar to that for the enumeration of subgroups of a certain type in a finite abelian $p$-group obtained by Lynne Marie Butler. As consequences, this combinatorial formula gives rise to many enumeration formulae that involve polynomials in $p$ with non-negative integer coefficients.
△ Less
Submitted 21 September, 2020; v1 submitted 23 December, 2019;
originally announced December 2019.
-
On a Projective Space Invariant of a Co-torsion Module of Rank Two over a Dedekind Domain
Authors:
C P Anil Kumar
Abstract:
For a Dedekind domain $\mathcal{O}$ and a rank two co-torsion module $M\subseteq \mathcal{O}^2$ with invariant factor ideals $\mathcal{L}\supseteq \mathcal{K}$ in $\mathcal{O}$, that is, $\frac{\mathcal{O}^2}{M}\cong \frac{\mathcal{O}}{\mathcal{L}}\oplus \frac{\mathcal{O}}{\mathcal{K}}$ we associate a new projective space invariant element in $\mathbb{PF}^1_{\mathcal{I}}$ where $\mathcal{I}$ is gi…
▽ More
For a Dedekind domain $\mathcal{O}$ and a rank two co-torsion module $M\subseteq \mathcal{O}^2$ with invariant factor ideals $\mathcal{L}\supseteq \mathcal{K}$ in $\mathcal{O}$, that is, $\frac{\mathcal{O}^2}{M}\cong \frac{\mathcal{O}}{\mathcal{L}}\oplus \frac{\mathcal{O}}{\mathcal{K}}$ we associate a new projective space invariant element in $\mathbb{PF}^1_{\mathcal{I}}$ where $\mathcal{I}$ is given by the ideal factorization $\mathcal{K} = \mathcal{L}\mathcal{I}$ in $\mathcal{O}$. This invariant element along with the invariant factor ideals determine the module $M$ completely as a subset of $\mathcal{O}^2$. As a consequence, projective spaces associated to ideals in $\mathcal{O}$ can be used to enumerate such modules. We compute the zeta function associated to such modules in terms of the zeta function of the one dimensional projective spaces for the ring $\mathcal{O}_K$ of integers in a number field $K/\mathbb{Q}$ and relate them to Dedekind zeta function. Using the projective spaces as parameter spaces, we re-interpret the Chinese remainder reduction isomorphism $\mathbb{PF}^1_{\mathcal{I}} \rightarrow \underset{i=1}{\overset{l}{\prod}} \mathbb{PF}^1_{\mathcal{I}_i}$ associated to a factorization of an ideal $\mathcal{I}=\underset{i=1}{\overset{l}{\prod}} \mathcal{I}_i$ into mutually co-maximal ideals $\mathcal{I}_i,1\leq i\leq l$ in terms of the intersection of associated modules arising from the projective space elements.
△ Less
Submitted 28 November, 2019;
originally announced December 2019.
-
On Explicit Tamed Milstein-type scheme for Stochastic Differential Equation with Markovian Switching
Authors:
Chaman Kumar,
Tejinder Kumar
Abstract:
We propose a new tamed Milstein-type scheme for stochastic differential equation with Markovian switching when drift coefficient is assumed to grow super-linearly. The strong rate of convergence is shown to be equal to $1.0$ under mild regularity (e.g. once differentiability) requirements on drift and diffusion coefficients. Novel techniques are developed to tackle two-fold difficulties arising du…
▽ More
We propose a new tamed Milstein-type scheme for stochastic differential equation with Markovian switching when drift coefficient is assumed to grow super-linearly. The strong rate of convergence is shown to be equal to $1.0$ under mild regularity (e.g. once differentiability) requirements on drift and diffusion coefficients. Novel techniques are developed to tackle two-fold difficulties arising due to jumps of the Markov chain and the reduction of regularity requirements on the coefficients.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
A Note on Explicit Milstein-Type Scheme for Stochastic Differential Equation with Markovian Switching
Authors:
Chaman Kumar,
Tejinder Kumar
Abstract:
An explicit Milstein-type scheme for stochastic differential equation with Markovian switching is derived and its strong convergence in $\mathcal{L}^2$-sense is established without using Itô-Taylor expansion formula. Rate of strong convergence is shown to be equal to $1.0$ under the assumptions that coefficients satisfy mild regularity conditions. More precisely, coefficients are assumed to be onl…
▽ More
An explicit Milstein-type scheme for stochastic differential equation with Markovian switching is derived and its strong convergence in $\mathcal{L}^2$-sense is established without using Itô-Taylor expansion formula. Rate of strong convergence is shown to be equal to $1.0$ under the assumptions that coefficients satisfy mild regularity conditions. More precisely, coefficients are assumed to be only once differentiable which are more relaxed conditions than those made in existing literature.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
On the Endomorphism Semigroups of Extra-special $p$-groups and Automorphism Orbits
Authors:
C P Anil Kumar,
Soham Swadhin Pradhan
Abstract:
For an odd prime $p$ and a positive integer $n$, it is well known that there are two types of extra-special $p$-groups of order $p^{2n+1}$, first one is the Heisenberg group which has exponent $p$ and the second one is of exponent $p^2$. In this article, a new way of representing the extra-special $p$-group of exponent $p^2$ is given. These representations facilitate an explicit way of finding for…
▽ More
For an odd prime $p$ and a positive integer $n$, it is well known that there are two types of extra-special $p$-groups of order $p^{2n+1}$, first one is the Heisenberg group which has exponent $p$ and the second one is of exponent $p^2$. In this article, a new way of representing the extra-special $p$-group of exponent $p^2$ is given. These representations facilitate an explicit way of finding formulae for any endomorphism and any automorphism of an extra-special $p$-group $G$ for both the types. Based on these formulae, the endomorphism semigroup $End(G)$ and the automorphism group $Aut(G)$ are described. The endomorphism semigroup image of any element in $G$ is found and the orbits under the action of the automorphism group $Aut(G)$ are determined. As a consequence it is deduced that, under the notion of degeneration of elements in $G$, the endomorphism semigroup $End(G)$ induces a partial order on the automorphism orbits when $G$ is the Heisenberg group and does not induce when $G$ is the extra-special $p$-group of exponent $p^2$. Finally we prove that the cardinality of isotropic subspaces of any fixed dimension in a non-degenerate symplectic space is a polynomial in $p$ with non-negative integer coefficients. Using this fact we compute the cardinality of $End(G)$.
△ Less
Submitted 3 October, 2019; v1 submitted 1 August, 2019;
originally announced August 2019.
-
On the Triangles in Certain Types of Line Arrangements
Authors:
C P Anil Kumar
Abstract:
In this article we combinatorially describe the triangles that are present in two types of line arrangements, those which have global cyclicity and those which are infinity type line arrangements. A combinatorial nomenclature has been described for both the types and some properties of the nomenclature have been proved. Later using the nomenclature we describe the triangles present in both types o…
▽ More
In this article we combinatorially describe the triangles that are present in two types of line arrangements, those which have global cyclicity and those which are infinity type line arrangements. A combinatorial nomenclature has been described for both the types and some properties of the nomenclature have been proved. Later using the nomenclature we describe the triangles present in both types of line arrangements in Theorems $A,B$. We also prove that the set of triangles uniquely determine, in a certain precise sense, the line arrangements with global cyclicity and not the infinity type line arrangements where counter examples have been provided. In Theorem $9.1$, given a nomenclature, we characterize when a particular line symbol in the nomenclature is a line at infinity for the arrangement determined by the nomenclature.
△ Less
Submitted 15 November, 2020; v1 submitted 8 June, 2019;
originally announced June 2019.
-
On the Reduciblity of a Certain Type of Rank 3 Uniform Oriented Matroid by a Point
Authors:
C P Anil Kumar
Abstract:
For a positive integer $n\geq 3$, the sides and diagonals of a convex $n$-gon divide the interior of the convex $n$-gon into finitely (polynomial in $n$) many regions bounded by them. In this article, we associate to every region a unique $n$-cycle in the symmetric group $S_n$ of a certain type (defined as $2$-standard consecutive cycle) by studying point arrangements in the plane. Then we find th…
▽ More
For a positive integer $n\geq 3$, the sides and diagonals of a convex $n$-gon divide the interior of the convex $n$-gon into finitely (polynomial in $n$) many regions bounded by them. In this article, we associate to every region a unique $n$-cycle in the symmetric group $S_n$ of a certain type (defined as $2$-standard consecutive cycle) by studying point arrangements in the plane. Then we find that there are more (exponential in $n$) number of such cycles leading to the conclusion that not every region labelled by a cycle appears in every convex $n$-gon. In fact most of them do not occur in any given single convex $n$-gon. Later in the main theorem of this article we characterize combinatorially those cycles (defined as definite cycles) whose corresponding regions occur in every convex $n$-gon and those cycles (defined as indefinite cycles) whose corresponding regions do not occur in every convex $n$-gon. As a consequence we characterize those one point extensions of a uniform rank $3$ convex oriented matroid for which the one point extension is reducible by the, one point, when it lies inside the convex hull.
△ Less
Submitted 12 April, 2021; v1 submitted 5 April, 2019;
originally announced April 2019.
-
On the Surjectivity of Certain Maps III: The Unital Set Condition
Authors:
C P Anil Kumar
Abstract:
In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove, in the first main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal…
▽ More
In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove, in the first main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal $\mathcal{I}=\underset{i=1}{\overset{k}{\prod}}\mathcal{I}_k$ with a given factorization into mutually co-maximal ideals $\mathcal{I}_j,1\leq j\leq k$ where $\mathcal{I}$ satisfies the USC, using the key concept of choice multiplier hypothesis (Definition $4.10$) which is satisfied. In the second context, for a positive $k$, we prove in the second main Theorem $Λ$, the surjectivity of the reduction map $SP_{2k}(\mathcal{R})\rightarrow SP_{2k}(\frac{\mathcal{R}}{\mathcal{I}})$ of strong approximation type for a ring $\mathcal{R}$ quotiented by an ideal $\mathcal{I}$ which satisfies the USC. In the third context, for a positive integer $k$, we prove in the thrid main Theorem $Ω$, the surjectivity of the map from special linear group of degree $(k+1)$ to the product of generalized projective spaces of $(k+1)$-mutually co-maximal ideals $\mathcal{I}_j,0\leq j\leq k$ associating the $(k+1)$-rows or $(k+1)$-columns, where the ideal $\mathcal{I}=\underset{j=0}{\overset{k}{\prod}}\mathcal{I}_j$ satisfies the USC. In the fourth main Theorem $Σ$, for a positive integer $k$, we prove the surjectivity of the map from the symplectic group of degree $2k$ to the product of generalized projective spaces of $(2k)$-mutually co-maximal ideals $\mathcal{I}_j,1\leq j\leq 2k$ associating the $(2k)$-rows or $(2k)$-columns where the ideal $\mathcal{I}=\underset{j=1}{\overset{2k}{\prod}}\mathcal{I}_j$ satisfies the USC. The answers to Questions [1.1,1.2,1.3] in a greater generality are not known.
△ Less
Submitted 28 June, 2020; v1 submitted 18 February, 2019;
originally announced February 2019.
-
On the Surjectivity of Certain Maps II: For Generalized Projective Spaces
Authors:
C. P. Anil Kumar
Abstract:
In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal with a given factorization into mutually co-maximal ideals each of which is contained in f…
▽ More
In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal with a given factorization into mutually co-maximal ideals each of which is contained in finitely many maximal ideals, using the key concept of choice multiplier hypothesis (Definition $4.11$) which is satisfied. In the second context of surjectivity of the map from $k$-dimensional special linear group to the product of generalized projective spaces of $k$-mutually co-maximal ideals associating the $k$-rows or $k$-columns, we prove remaining two main Theorems $[Ω,Σ]$ under certain conditions either on the ring or on the generalized projective spaces. Finally in the last section we pose open Questions $[9.1, 9.2]$ whose answers in a greater generality is not known.
△ Less
Submitted 24 June, 2020; v1 submitted 5 October, 2018;
originally announced October 2018.
-
On the Factorization of Two Adjacent Numbers in Multiplicatively Closed Sets Generated by Two Elements
Authors:
C. P. Anil Kumar
Abstract:
For two natural numbers $1<p_1<p_2$, with $α= \frac{\log(p_1)}{\log(p_2)}$ irrational, we describe, in main Theorem $Ω$ and in Note $1.5$, the factorization of two adjacent numbers in the multiplicatively closed subset $S = \{p_1^ip_2^j\mid i,j\in \mathbb{N}\cup\{0\}\}$ using primary and secondary convergents of $α$. This suggests general Question $1.2$ for more than two generators which is still…
▽ More
For two natural numbers $1<p_1<p_2$, with $α= \frac{\log(p_1)}{\log(p_2)}$ irrational, we describe, in main Theorem $Ω$ and in Note $1.5$, the factorization of two adjacent numbers in the multiplicatively closed subset $S = \{p_1^ip_2^j\mid i,j\in \mathbb{N}\cup\{0\}\}$ using primary and secondary convergents of $α$. This suggests general Question $1.2$ for more than two generators which is still open.
△ Less
Submitted 4 February, 2020; v1 submitted 2 June, 2018;
originally announced June 2018.
-
A New Efficient Explicit Scheme of Order $1.5$ for SDE with Super-linear Drift Coefficient
Authors:
Tejinder Kumar,
Chaman Kumar
Abstract:
We propose a new explicit numerical scheme for stochastic differential equation with super-linearly growing drift and linearly growing diffusion coefficients which are also twice continuously differentiable. The rate of strong convergence in $\mathcal{L}^p$-norm is shown to be equal to $1.5$. Moreover, the scheme is computationally more efficient that the corresponding scheme available in the lite…
▽ More
We propose a new explicit numerical scheme for stochastic differential equation with super-linearly growing drift and linearly growing diffusion coefficients which are also twice continuously differentiable. The rate of strong convergence in $\mathcal{L}^p$-norm is shown to be equal to $1.5$. Moreover, the scheme is computationally more efficient that the corresponding scheme available in the literature.
△ Less
Submitted 1 June, 2018; v1 submitted 21 May, 2018;
originally announced May 2018.
-
Antipodal Point Arrangements on Spheres and Classification of Normal Systems
Authors:
C. P. Anil Kumar
Abstract:
For any positive integer $k>1$, we classify the antipodal point arrangements on the sphere $S^k$ up to an isomorphism, by associating a finite complete set of cycle invariants.
For any positive integer $k>1$, we classify the antipodal point arrangements on the sphere $S^k$ up to an isomorphism, by associating a finite complete set of cycle invariants.
△ Less
Submitted 23 November, 2020; v1 submitted 26 January, 2018;
originally announced January 2018.
-
On the Coherent Labelling Conjecture of a Polyhedron in Three Dimensions
Authors:
C. P. Anil Kumar
Abstract:
In this article we consider an open conjecture about coherently labelling a polyhedron in three dimensions. We exhibit all the forty eight possible coherent labellings of a tetrahedron. We also exhibit that some simplicial polyhedra like bipyramids, Kleetopes, gyroelongated bipyramids are coherently labellable. Also we prove that pyramids over $n$-gons for $n\geq 4$, which are not simplicial polyh…
▽ More
In this article we consider an open conjecture about coherently labelling a polyhedron in three dimensions. We exhibit all the forty eight possible coherent labellings of a tetrahedron. We also exhibit that some simplicial polyhedra like bipyramids, Kleetopes, gyroelongated bipyramids are coherently labellable. Also we prove that pyramids over $n$-gons for $n\geq 4$, which are not simplicial polyhedra, are coherently labellable. We prove that among platonic solids, the cube and the dodecahedron are not coherently labellable, even though, the tetrahedron, the octahedron and the icosahedron are coherently labellable. Unlike the case of a tetrahedron, in general for a polyhedron, we show that a coherent labelling need not induce a coherent labelling at a vertex. We prove the main conjecture in the affirmative for a certain class of polyhedra which are constructible from tetrahedra through certain types of edge and face vanishing tetrahedron attachments. As a consequence we conclude that a cube cannot be obtained from only these type of tetrahedron attachments. We also give an obstruction criterion for a polyhedron to be not coherently labellable and consequentially show that any polyhedron obtained from a pyramid with its apex chopped off is not coherently labellable. Finally with the suggestion of the affirmative results we prove the main theorem that any simplicial polyhedron is coherently labellable.
△ Less
Submitted 8 February, 2020; v1 submitted 26 January, 2018;
originally announced January 2018.
-
On Infinity Type Hyperplane Arrangements and Convex Positive Bijections
Authors:
C. P. Anil Kumar
Abstract:
In this article we prove in main Theorem A that any infinity type real hyperplane arrangement $\mathcal{H}_n^m$ (Definition 2.11) with the associated normal system $\mathcal{N}$ (Definitions [2.2,2.4] can be represented isomorphically (Definition 2.6) by another infinity type hyperplane arrangement $\tilde{\mathcal{H}}_n^m$ with a given associated normal system $\tilde{\mathcal{N}}$ if and only if…
▽ More
In this article we prove in main Theorem A that any infinity type real hyperplane arrangement $\mathcal{H}_n^m$ (Definition 2.11) with the associated normal system $\mathcal{N}$ (Definitions [2.2,2.4] can be represented isomorphically (Definition 2.6) by another infinity type hyperplane arrangement $\tilde{\mathcal{H}}_n^m$ with a given associated normal system $\tilde{\mathcal{N}}$ if and only if the normal systems $\mathcal{N}$ and $\tilde{\mathcal{N}}$ are isomorphic, that is, there is a convex positive bijection (Definition 2.5) between a pair of associated sets of normal antipodal pairs of vectors of $\mathcal{N}$ and $\tilde{\mathcal{N}}$.
△ Less
Submitted 23 November, 2020; v1 submitted 19 November, 2017;
originally announced November 2017.
-
A Representation Theorem for Generic Line Arrangements with Global Cyclicity in the Plane
Authors:
C. P. Anil Kumar
Abstract:
In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes of the same cardinality.
In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes of the same cardinality.
△ Less
Submitted 25 November, 2020; v1 submitted 20 August, 2017;
originally announced August 2017.
-
Milstein-type Schemes of SDE Driven by Lévy Noise with Super-linear Diffusion Coefficients
Authors:
Chaman Kumar
Abstract:
We present a Milstein-type scheme for stochastic differential equations driven by Lévy noise with super-linear diffusion coefficients and establish its strong convergence.
We present a Milstein-type scheme for stochastic differential equations driven by Lévy noise with super-linear diffusion coefficients and establish its strong convergence.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
On Rational Sets in Euclidean Spaces and Spheres
Authors:
C P Anil Kumar
Abstract:
IFor a positive rational $l$, we define the concept of an $l$-elliptic and an $l$-hyperbolic rational set in a metric space. In this article we examine the existence of (i) dense and (ii) infinite $l$-hyperbolic and $l$-ellitpic rationals subsets of the real line and unit circle. For the case of a circle, we prove that the existence of such sets depends on the positivity of ranks of certain associ…
▽ More
IFor a positive rational $l$, we define the concept of an $l$-elliptic and an $l$-hyperbolic rational set in a metric space. In this article we examine the existence of (i) dense and (ii) infinite $l$-hyperbolic and $l$-ellitpic rationals subsets of the real line and unit circle. For the case of a circle, we prove that the existence of such sets depends on the positivity of ranks of certain associated elliptic curves. We also determine the closures of such sets which are maximal in case they are not dense. In higher dimensions, we show the existence of $l$-ellitpic and $l$-hyperbolic rational infinite sets in unit spheres and Euclidean spaces for certain values of $l$ which satisfy a weaker condition regarding the existence of elements of order more than two, than the positivity of the ranks of the same associated elliptic curves. We also determine their closures. A subset $T$ of the $k$-dimensional unit sphere $S^k$ has an antipodal pair if both $x,-x\in T$ for some $x\in S^k$. In this article, we prove that there does not exist a dense rational set $T\subset S^2$ which has an antipodal pair by assuming Bombieri-Lang Conjecture for surfaces of general type. We actually show that the existence of such a dense rational set in $S^k$ is equivalent to the existence of a dense $2$-hyperbolic rational set in $S^k$ which is further equivalent to the existence of a dense 1-elliptic rational set in the Euclidean space $\mathbb{R}^k$.
△ Less
Submitted 10 September, 2020; v1 submitted 7 December, 2016;
originally announced December 2016.
-
On Explicit Approximations for Lévy Driven SDEs with Super-linear Diffusion Coefficients
Authors:
Chaman Kumar,
Sotirios Sabanis
Abstract:
Motivated by the results of \cite{sabanis2015}, we propose explicit Euler-type schemes for SDEs with random coefficients driven by Lévy noise when the drift and diffusion coefficients can grow super-linearly. As an application of our results, one can construct explicit Euler-type schemes for SDEs with delays (SDDEs) which are driven by Lévy noise and have super-linear coefficients. Strong converge…
▽ More
Motivated by the results of \cite{sabanis2015}, we propose explicit Euler-type schemes for SDEs with random coefficients driven by Lévy noise when the drift and diffusion coefficients can grow super-linearly. As an application of our results, one can construct explicit Euler-type schemes for SDEs with delays (SDDEs) which are driven by Lévy noise and have super-linear coefficients. Strong convergence results are established and their rate of convergence is shown to be equal to that of the classical Euler scheme. It is proved that the optimal rate of convergence is achieved for $\mathcal{L}^2$-convergence which is consistent with the corresponding results available in the literature.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
On fixed gain recursive estimators with discontinuity in the parameters
Authors:
Huy N. Chau,
Chaman Kumar,
Miklós Rásonyi,
Sotirios Sabanis
Abstract:
In this paper we estimate the tracking error of a fixed gain stochastic approximation scheme. The underlying process is not assumed Markovian, a mixing condition is required instead. Furthermore, the updating function may be discontinuous in the parameter.
In this paper we estimate the tracking error of a fixed gain stochastic approximation scheme. The underlying process is not assumed Markovian, a mixing condition is required instead. Furthermore, the updating function may be discontinuous in the parameter.
△ Less
Submitted 16 October, 2018; v1 submitted 16 September, 2016;
originally announced September 2016.
-
On the Surjectivity of Certain Maps
Authors:
C. P. Anil Kumar
Abstract:
We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals are pairwise distinct maximal ideals. In Theorem $1.7$ we prove the surjectivity of the reduction map of the strong approximation type for a ring quotiented by…
▽ More
We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals are pairwise distinct maximal ideals. In Theorem $1.7$ we prove the surjectivity of the reduction map of the strong approximation type for a ring quotiented by an ideal which satisfies unital set condition. In Theorem $1.8$ we prove for Dedekind type domains which include Dedekind domains, for $k\geq 2$, the map from $k$-dimensional special linear group to the product of projective spaces of $k$ mutually co-maximal ideals associating the $k$-rows or $k$-columns is surjective. Finally this article leads to three interesting questions $[1.9, 1.10, 1.11]$ mentioned in the introduction section.
△ Less
Submitted 4 October, 2018; v1 submitted 12 August, 2016;
originally announced August 2016.
-
On the Geometry of the Multiplicatively Closed Sets generated by at most Two Elements with arbitrarily Large Gaps, a constructive method
Authors:
C. P. Anil Kumar
Abstract:
We prove in Theorem $2.2$ that the multiplicatively closed subset generated by at most two elements in the set of natural numbers $\mathbb{N}$ has arbitrarily large gaps by explicitly constructing large integer intervals with known prime factorization for the end points, which do not contain any element from the multiplicatively closed set apart from the end points, which belong to the multiplicat…
▽ More
We prove in Theorem $2.2$ that the multiplicatively closed subset generated by at most two elements in the set of natural numbers $\mathbb{N}$ has arbitrarily large gaps by explicitly constructing large integer intervals with known prime factorization for the end points, which do not contain any element from the multiplicatively closed set apart from the end points, which belong to the multiplicatively closed set. An Example $4.6$ is also illustrated.
We also give a criterion in Theorems $7.8,7.12$ by using a geometric correspondence between maximal singly generated multiplicatively closed sets and points of the space $\mathbb{PF}^{\infty}_{\mathbb{Q}\geq 0}$ (refer to Theorem $7.5$) as to when a finitely generated multiplicatively closed set gives rise to a doubly multiplicatively closed line (refer to Definition $7.4$). We answer a similar Question $5.1$ partially about gaps in a multiply-generated multiplicative closed set, when it is contained in a doubly multiplicative closed set using Theorem $7.8$ and Theorem $7.17$.
In the appendix Section $8$ we discuss another constructive proof (refer to Theorem $8.6$) for arbitrarily large gap intervals, where the prime factorization is not known for the right end-point unlike the constructive proof of the main result of the article in the case of multiplicatively closed set $\{p_1^ip_2^j\mid i,j\in \mathbb{N}\cup\{0\}\}$ with $\{p_1<p_2,Log_{p_1}(p_2)\}$ irrational for which the prime factorization is known for both the end-points of the gap interval via the stabilization sequence of the irrational $\frac {1}{Log_{p_1}(p_2)}$.
△ Less
Submitted 1 November, 2017; v1 submitted 12 August, 2016;
originally announced August 2016.
-
An Inequality
Authors:
C. P. Anil Kumar
Abstract:
In this paper we prove that the weighted linear combination of products of the k-subsets of an n-set of positive real numbers with weight being the harmonic mean of their reciprocal sets is less than or equal to uniformly weighted sum of products of the k-subsets with weight being the harmonic mean of the whole reciprocal set.
In this paper we prove that the weighted linear combination of products of the k-subsets of an n-set of positive real numbers with weight being the harmonic mean of their reciprocal sets is less than or equal to uniformly weighted sum of products of the k-subsets with weight being the harmonic mean of the whole reciprocal set.
△ Less
Submitted 15 March, 2016;
originally announced March 2016.
-
Permutation Representations of the Orbits of the Automorphism Group of a Finite Module over Discrete Valuation Ring
Authors:
C. P. Anil Kumar
Abstract:
Consider a discrete valuation ring $R$ whose residue field is finite of cardinality at least $3$. For a finite torsion module, we consider transitive subsets $O$ under the action of the automorphism group of the module. We prove that the associated permutation representation on the complex vector space $C[O]$ is multiplicity free. This is achieved by obtaining a complete description of the transit…
▽ More
Consider a discrete valuation ring $R$ whose residue field is finite of cardinality at least $3$. For a finite torsion module, we consider transitive subsets $O$ under the action of the automorphism group of the module. We prove that the associated permutation representation on the complex vector space $C[O]$ is multiplicity free. This is achieved by obtaining a complete description of the transitive subsets of $O\times O$ under the diagonal action of the automorphism group.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
Maximal Non-commuting Sets in Certain Unipotent Upper-triangular Linear Groups
Authors:
C. P. Anil Kumar,
S. K. Prajapati
Abstract:
We find the exact size of a maximal non-commuting set in unipotent uppertriangular linear group $UU_4(\mathbb{F}_q)$ in terms of a non-commuting geometric structure (Refer Definition [10]), where $\mathbb{F}_q$ is the finite field with $q$ elements. Then we get bounds on the size of such a set by explicitly finding certain non-commuting sets in the non-commuting structure.
We find the exact size of a maximal non-commuting set in unipotent uppertriangular linear group $UU_4(\mathbb{F}_q)$ in terms of a non-commuting geometric structure (Refer Definition [10]), where $\mathbb{F}_q$ is the finite field with $q$ elements. Then we get bounds on the size of such a set by explicitly finding certain non-commuting sets in the non-commuting structure.
△ Less
Submitted 26 October, 2016; v1 submitted 16 January, 2016;
originally announced January 2016.
-
On Milstein approximations with varying coefficients: the case of super-linear diffusion coefficients
Authors:
Chaman Kumar,
Sotirios Sabanis
Abstract:
A new class of explicit Milstein schemes, which approximate stochastic differential equations (SDEs) with superlinearly growing drift and diffusion coefficients, is proposed in this article. It is shown, under very mild conditions, that these explicit schemes converge in $\mathcal L^p$ to the solution of the corresponding SDEs with optimal rate.
A new class of explicit Milstein schemes, which approximate stochastic differential equations (SDEs) with superlinearly growing drift and diffusion coefficients, is proposed in this article. It is shown, under very mild conditions, that these explicit schemes converge in $\mathcal L^p$ to the solution of the corresponding SDEs with optimal rate.
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
Approximation of Quadrilaterals by Rational Quadrilaterals in the Plane
Authors:
C. P. Anil Kumar
Abstract:
Many questions about triangles and quadrilaterals with rational sides, diagonals and areas can be reduced to solving certain Diophantine equations. We look at a number of such questions including the question of approximating arbitrary triangles and quadrilaterals by those with rational sides,diagonals and areas. We transform these problems into questions on the existence of infinitely many ration…
▽ More
Many questions about triangles and quadrilaterals with rational sides, diagonals and areas can be reduced to solving certain Diophantine equations. We look at a number of such questions including the question of approximating arbitrary triangles and quadrilaterals by those with rational sides,diagonals and areas. We transform these problems into questions on the existence of infinitely many rational solutions on a two parameter family of quartic curves. This is further transformed to a two parameter family of elliptic curves to deduce our main result concerning density of points on a line which are at a rational distance from three collinear points (Theorem 4). We deduce from this a new proof of density of rational quadrilaterals in the space of all quadrilaterals (Theorem 39). The other main result (Theorem 3) of this article is on the density of rational triangles which is related to analyzing rational points on the unit circle. Interestingly, this enables us to deduce that parallelograms with rational sides and area are dense in the class of all parallelograms.
We also give a criterion for density of certain sets in topological spaces using local product structure and prove the density Theorem 6 in the appendix section. An application of this proves the density of rational points as stated in Theorem 31.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
On Tamed Milstein Schemes of SDEs Driven by Lévy Noise
Authors:
Chaman Kumar,
Sotirios Sabanis
Abstract:
We extend the taming techniques developed in \cite{konstantinos2014,sabanis2013} to construct explicit Milstein schemes that numerically approximate Lévy driven stochastic differential equations with super-linearly growing drift coefficients. The classical rate of convergence is recovered when the first derivative of the drift coefficient satisfies a polynomial Lipschitz condition.
We extend the taming techniques developed in \cite{konstantinos2014,sabanis2013} to construct explicit Milstein schemes that numerically approximate Lévy driven stochastic differential equations with super-linearly growing drift coefficients. The classical rate of convergence is recovered when the first derivative of the drift coefficient satisfies a polynomial Lipschitz condition.
△ Less
Submitted 23 December, 2015; v1 submitted 20 July, 2014;
originally announced July 2014.
-
On Tamed Euler Approximations of SDEs Driven by Lévy Noise with Applications to Delay Equations
Authors:
Konstantinos Dareiotis,
Chaman Kumar,
Sotirios Sabanis
Abstract:
We extend the taming techniques for explicit Euler approximations of stochastic differential equations (SDEs) driven by Lévy noise with super-linearly growing drift coefficients. Strong convergence results are presented for the case of locally Lipschitz coefficients. Moreover, rate of convergence results are obtained in agreement with classical literature when the local Lipschitz continuity assump…
▽ More
We extend the taming techniques for explicit Euler approximations of stochastic differential equations (SDEs) driven by Lévy noise with super-linearly growing drift coefficients. Strong convergence results are presented for the case of locally Lipschitz coefficients. Moreover, rate of convergence results are obtained in agreement with classical literature when the local Lipschitz continuity assumptions are replaced by global and, in addition, the drift coefficients satisfy polynomial Lipschitz continuity. Finally, we further extend these techniques to the case of delay equations.
△ Less
Submitted 22 January, 2015; v1 submitted 3 March, 2014;
originally announced March 2014.
-
Strong Convergence of Euler Approximations of Stochastic Differential Equations with Delay under Local Lipschitz Condition
Authors:
Chaman Kumar,
Sotirios Sabanis
Abstract:
The strong convergence of Euler approximations of stochastic delay differential equations is proved under general conditions. The assumptions on drift and diffusion coefficients have been relaxed to include polynomial growth and only continuity in the arguments corresponding to delays. Furthermore, the rate of convergence is obtained under one-sided and polynomial Lipschitz conditions. Finally, ou…
▽ More
The strong convergence of Euler approximations of stochastic delay differential equations is proved under general conditions. The assumptions on drift and diffusion coefficients have been relaxed to include polynomial growth and only continuity in the arguments corresponding to delays. Furthermore, the rate of convergence is obtained under one-sided and polynomial Lipschitz conditions. Finally, our findings are demonstrated with the help of numerical simulations.
△ Less
Submitted 5 March, 2013; v1 submitted 28 February, 2013;
originally announced March 2013.
-
Group Rings that are Additively Generated by Idempotents and Units
Authors:
Dinesh Khurana,
Chanchal Kumar
Abstract:
We study clean group rings and also the group rings whose every element is a sum of two units. We also prove that if R is an Abelian exchange ring and G is a locally finite group, then the group ring RG has stable range one.
We study clean group rings and also the group rings whose every element is a sum of two units. We also prove that if R is an Abelian exchange ring and G is a locally finite group, then the group ring RG has stable range one.
△ Less
Submitted 6 April, 2009;
originally announced April 2009.
-
On Fuglede's conjecture for three intervals
Authors:
Debashish Bose,
C. P. Anil Kumar,
R. Krishnan,
Shobha Madan
Abstract:
In this paper we prove the "Tiling implies Spectral" part of Fuglede's paper for the case of three intervals. Then we prove the "Spectral implies Tiling" part of the conjecture for the case of three equal intervals as also when the intervals have lengths 1/2, 1/4, 1/4. For the general case we change our approach to get information on the structure of the spectrum for the n-interval case. Finally…
▽ More
In this paper we prove the "Tiling implies Spectral" part of Fuglede's paper for the case of three intervals. Then we prove the "Spectral implies Tiling" part of the conjecture for the case of three equal intervals as also when the intervals have lengths 1/2, 1/4, 1/4. For the general case we change our approach to get information on the structure of the spectrum for the n-interval case. Finally, we use symbolic computations on Mathematica, and prove this part of the conjecture with an additional assumption on the spectrum.
△ Less
Submitted 23 February, 2010; v1 submitted 1 March, 2008;
originally announced March 2008.