-
The Bohr's Phenomenon involving multiple Schwarz functions
Authors:
Vasudevarao Allu,
Raju Biswas,
Rajib Mandal
Abstract:
The primary objective of this paper is to establish several sharp versions of Bohr inequalities for bounded analytic functions in the unit disk $\mathbb{D} := \{z\in\mathbb{C} : |z| < 1\}$ involving multiple Schwarz functions. Moreover, we obtain an improved version of the classical Rogosinski inequality for analytic functions in $\mathbb{D}$.
The primary objective of this paper is to establish several sharp versions of Bohr inequalities for bounded analytic functions in the unit disk $\mathbb{D} := \{z\in\mathbb{C} : |z| < 1\}$ involving multiple Schwarz functions. Moreover, we obtain an improved version of the classical Rogosinski inequality for analytic functions in $\mathbb{D}$.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
An estimation of the pre-Schwarzian norm for certain classes of analytic functions
Authors:
Vasudevarao Allu,
Raju Biswas,
Rajib Mandal
Abstract:
The primary objective of this paper is to establish the sharp estimates of the pre-Schwarzian norm for functions $f$ in the class $\mathcal{S}^*(\varphi)$ and $\mathcal{C}(\varphi)$ when $\varphi(z)=1/(1-z)^s$ with $0<s\leq 1$ and $\varphi(z)=(1+sz)^2$ with $0<s\leq 1/\sqrt{2}$, where $\mathcal{S}^*(\varphi)$ and $\mathcal{C}(\varphi)$ are the Ma-Minda type starlike and Ma-Minda type convex classe…
▽ More
The primary objective of this paper is to establish the sharp estimates of the pre-Schwarzian norm for functions $f$ in the class $\mathcal{S}^*(\varphi)$ and $\mathcal{C}(\varphi)$ when $\varphi(z)=1/(1-z)^s$ with $0<s\leq 1$ and $\varphi(z)=(1+sz)^2$ with $0<s\leq 1/\sqrt{2}$, where $\mathcal{S}^*(\varphi)$ and $\mathcal{C}(\varphi)$ are the Ma-Minda type starlike and Ma-Minda type convex classes associated with $\varphi$, respectively.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
Applications of Poisson cohomology to the inducibility problems and study of deformation maps
Authors:
Apurba Das,
Ramkrishna Mandal,
Anupam Sahoo
Abstract:
This paper provides some applications of the Poisson cohomology groups introduced by Flato, Gerstenhaber and Voronov. Given an abelian extension of a Poisson algebra by a representation, we first investigate the inducibility of a pair of Poisson algebra automorphisms and show that the corresponding obstruction lies in the second Poisson cohomology group. Consequently, we obtain the Wells exact seq…
▽ More
This paper provides some applications of the Poisson cohomology groups introduced by Flato, Gerstenhaber and Voronov. Given an abelian extension of a Poisson algebra by a representation, we first investigate the inducibility of a pair of Poisson algebra automorphisms and show that the corresponding obstruction lies in the second Poisson cohomology group. Consequently, we obtain the Wells exact sequence connecting various automorphism groups and the second Poisson cohomology group. Subsequently, we also consider the inducibility for a pair of Poisson algebra derivations, obtain the obstruction and construct the corresponding Wells-type exact sequence.
To get another application, we introduce the notion of a `deformation map' in a proto-twilled Poisson algebra. A deformation map unifies various well-known operators such as Poisson homomorphisms, Poisson derivations, crossed homomorphisms, Rota-Baxter operators of any weight, twisted Rota-Baxter operators, Reynolds operators and modified Rota-Baxter operators on Poisson algebras. We show that a deformation map $r$ induces a new Poisson algebra structure and a suitable representation of it. The corresponding Poisson cohomology is defined to be the cohomology of the deformation map $r$. Finally, we study the formal deformations of the operator $r$ in terms of the cohomology.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
The Landau-type theorems for functions with logharmonic Laplacian and bounded length distortions
Authors:
Sudip Kumar Guin,
Rajib Mandal
Abstract:
In this study, we establish certain Landau-type theorems for functions with logharmonic Laplacian of the form $F(z)=|z|^2L(z)+K(z)$, $|z|<1$, where $L$ is logharmonic and $K$ is harmonic, with $L$ and $K$ having bounded length distortion in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$. Furthermore, we examine the univalence of the mappings $D(F)$, where $D$ is a differential operator.
In this study, we establish certain Landau-type theorems for functions with logharmonic Laplacian of the form $F(z)=|z|^2L(z)+K(z)$, $|z|<1$, where $L$ is logharmonic and $K$ is harmonic, with $L$ and $K$ having bounded length distortion in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$. Furthermore, we examine the univalence of the mappings $D(F)$, where $D$ is a differential operator.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
On meromorphic solutions of certain Fermat-type difference and analogues equations concerning open problems
Authors:
Rajib Mandal,
Raju Biswas,
Sudip Kumar Guin
Abstract:
In this paper, we have found that some certain Fermat-type shift and difference equations have the meromorphic solutions generated by Riccati type functions. Also we have solved the open problems posed by Liu and Yang (A note on meromorphic solutions of Fermat types equations, An. Stiint. Univ. Al. I. Cuza Lasi Mat. (N. S.), 62(2)(1), 317-325 (2016)). We have fortified the claims by some examples.
In this paper, we have found that some certain Fermat-type shift and difference equations have the meromorphic solutions generated by Riccati type functions. Also we have solved the open problems posed by Liu and Yang (A note on meromorphic solutions of Fermat types equations, An. Stiint. Univ. Al. I. Cuza Lasi Mat. (N. S.), 62(2)(1), 317-325 (2016)). We have fortified the claims by some examples.
△ Less
Submitted 5 February, 2025;
originally announced February 2025.
-
Chip-Firing on Infinite $k$-ary Trees
Authors:
Dillan Agrawal,
Selena Ge,
Jate Greene,
Tanya Khovanova,
Dohun Kim,
Rajarshi Mandal,
Tanish Parida,
Anirudh Pulugurtha,
Gordon Redwine,
Soham Samanta,
Albert Xu
Abstract:
We use an infinite $k$-ary tree with a self-loop at the root as our underlying graph. We consider a chip-firing process starting with $N$ chips at the root. We describe the stable configurations. We calculate the number of fires for each vertex and the total number of fires. We study a sequence of the number of root fires for a given $k$ as a function of $N$ and study its properties. We do the sam…
▽ More
We use an infinite $k$-ary tree with a self-loop at the root as our underlying graph. We consider a chip-firing process starting with $N$ chips at the root. We describe the stable configurations. We calculate the number of fires for each vertex and the total number of fires. We study a sequence of the number of root fires for a given $k$ as a function of $N$ and study its properties. We do the same for the total number of fires.
△ Less
Submitted 11 January, 2025;
originally announced January 2025.
-
Geometric properties for a certain subclass of normalized harmonic mappings
Authors:
Rajib Mandal,
Raju Biswas
Abstract:
Let $\mathcal{H}$ be the class of harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$, where $h$ and $g$ are analytic in $\mathbb{D}$ with the normalization $h(0)=g(0)=h'(0)-1=0$. Let $\mathcal{P}_{\mathcal{H}}^0(α,M)$ denote the subclass of $\mathcal{H}$ in $\mathbb{D}$ satisfying…
▽ More
Let $\mathcal{H}$ be the class of harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$, where $h$ and $g$ are analytic in $\mathbb{D}$ with the normalization $h(0)=g(0)=h'(0)-1=0$. Let $\mathcal{P}_{\mathcal{H}}^0(α,M)$ denote the subclass of $\mathcal{H}$ in $\mathbb{D}$ satisfying $\text{Re}\left((1-α)h'(z)+αzh''(z)\right)>-M+\left|(1-α)g'(z)+αzg''(z)\right|$ with $g'(0)=0$, $M>0$ and $α\in(0,1]$. In this paper, we investigate some fundamental properties of functions belonging to the class $\mathcal{P}_{\mathcal{H}}^0(α,M)$, including coefficient bounds, growth estimates, convexity, starlikeness, convex combinations, and convolution.
△ Less
Submitted 6 January, 2025; v1 submitted 3 January, 2025;
originally announced January 2025.
-
Solutions of systems of certain Fermat-type PDDEs
Authors:
Raju Biswas,
Rajib Mandal
Abstract:
The objective of this paper is to investigate the existence and the forms of the pair of finite order entire and meromorphic solutions of some certain systems of Fermat-type partial differential-difference equations of several complex variables. These results represent some refinements and generalizations of the earlier findings, especially the results due to Xu {\it et al.} (J. Math. Anal. Appl.…
▽ More
The objective of this paper is to investigate the existence and the forms of the pair of finite order entire and meromorphic solutions of some certain systems of Fermat-type partial differential-difference equations of several complex variables. These results represent some refinements and generalizations of the earlier findings, especially the results due to Xu {\it et al.} (J. Math. Anal. Appl. 483(2) (2020)). We provide some examples to support the results.
△ Less
Submitted 2 January, 2025;
originally announced January 2025.
-
Entire functions of several complex variables satisfying certain Fermat-type PDDEs
Authors:
Hong Yan Xu,
Rajib Mandal,
Raju Biswas
Abstract:
In this paper, we solve certain Fermat-type partial differential-difference equations for finite order entire functions of several complex variables. These results are significant generalizations of some earlier findings, especially those of Haldar and Ahamed (Entire solutions of several quadratic binomial and trinomial partial differential-difference equations in $\mathbb{C}^2$, Anal. Math. Phys.…
▽ More
In this paper, we solve certain Fermat-type partial differential-difference equations for finite order entire functions of several complex variables. These results are significant generalizations of some earlier findings, especially those of Haldar and Ahamed (Entire solutions of several quadratic binomial and trinomial partial differential-difference equations in $\mathbb{C}^2$, Anal. Math. Phys., 12 (2022)). In addition, the results improve the previous results from the situation with two complex variables to the situation with several complex variables. To support our results, we have included several examples.
△ Less
Submitted 26 December, 2024;
originally announced December 2024.
-
Solutions for certain Fermat-type PDDEs concerning an open problem of Xu and Wang
Authors:
Hong Yan Xu,
Rajib Mandal,
Raju Biswas
Abstract:
The objective of this study is to ascertain the existence and forms of the finite order meromorphic and entire functions of several complex variables satisfying some certain Fermat-type partial differential-difference equations by considering the more general forms of the PDDEs in an open problem on $\mathbb{C}^2$ due to Xu and Wang (Notes on the existence of entire solutions for several partial d…
▽ More
The objective of this study is to ascertain the existence and forms of the finite order meromorphic and entire functions of several complex variables satisfying some certain Fermat-type partial differential-difference equations by considering the more general forms of the PDDEs in an open problem on $\mathbb{C}^2$ due to Xu and Wang (Notes on the existence of entire solutions for several partial differential-difference equations, Bull. Iran. Math. Soc., 47, 1477-1489 (2020)). We provide examples to illustrate the results.
△ Less
Submitted 26 December, 2024;
originally announced December 2024.
-
A geometric investigation of a certain subclass of univalent functions
Authors:
Raju Biswas,
Rajib Mandal
Abstract:
Let $\mathcal{H}$ be the space of all functions that are analytic in $\mathbb{D}$. Let $\mathcal{A}$ denote the family of all functions $f\in\mathcal{H}$ and normalized by the conditions $f(0)=0=f'(0)-1$. Obradović and Ponnusamy have introduced the class $\mathcal{M}(λ)$ such that the functions in $\mathcal{M}(λ)$ are univalent in $\mathbb{D}$ whenever $0<λ\leq 1$. In this paper, we address a radi…
▽ More
Let $\mathcal{H}$ be the space of all functions that are analytic in $\mathbb{D}$. Let $\mathcal{A}$ denote the family of all functions $f\in\mathcal{H}$ and normalized by the conditions $f(0)=0=f'(0)-1$. Obradović and Ponnusamy have introduced the class $\mathcal{M}(λ)$ such that the functions in $\mathcal{M}(λ)$ are univalent in $\mathbb{D}$ whenever $0<λ\leq 1$. In this paper, we address a radius property of the class $\mathcal{M}(λ)$ and a number of associated results pertaining to $\mathcal{M}$. The main objective of this paper is to examine the largest disks with sharp radius for which the functions $F$ defined by the relations $g(z)h(z)/z$, $z^2/g(z)$, and $z^2/\int_0^z (t/g(t))dt$ belong to the class $\mathcal{M}$, where $g$ and $h$ belong to some suitable subclasses of $\mathcal{S}$, the class of univalent functions from $\mathcal{A}$. In the final analysis, we obtain the sharp Bohr radius, Bohr-Rogosinski radius and improved Bohr radius for a certain subclass of starlike functions.
△ Less
Submitted 21 December, 2024; v1 submitted 6 November, 2024;
originally announced November 2024.
-
The Bohr's phenomenon for certain K-quasiconformal harmonic mappings
Authors:
Vasudevarao Allu,
Raju Biswas,
Rajib Mandal
Abstract:
The primary objective of this paper is to establish several sharp versions of improved Bohr inequalities, refined Bohr inequalities, and Bohr-Rogosinski inequalities for the class of $K$-quasiconformal sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\Bbb{D}:=\{z\in\mathbb{C}: |z|<1\}$, where $f$ and $g$ are analytic functions in $\mathbb{D}$.
The primary objective of this paper is to establish several sharp versions of improved Bohr inequalities, refined Bohr inequalities, and Bohr-Rogosinski inequalities for the class of $K$-quasiconformal sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\Bbb{D}:=\{z\in\mathbb{C}: |z|<1\}$, where $f$ and $g$ are analytic functions in $\mathbb{D}$.
△ Less
Submitted 26 November, 2024; v1 submitted 6 November, 2024;
originally announced November 2024.
-
The Bohr's Phenomenon for the class of K-quasiconformal harmonic mappings
Authors:
Raju Biswas,
Rajib Mandal
Abstract:
The primary objective of this paper is to establish several sharp versions of improved Bohr inequality, refined Bohr-type inequality, and refined Bohr-Rogosinski inequality for the class of $K$-quasiconformal sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D} := \{z\in\mathbb{C} : |z| < 1\}$. In order to achieve these objectives, we employ the non-negative quantity…
▽ More
The primary objective of this paper is to establish several sharp versions of improved Bohr inequality, refined Bohr-type inequality, and refined Bohr-Rogosinski inequality for the class of $K$-quasiconformal sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D} := \{z\in\mathbb{C} : |z| < 1\}$. In order to achieve these objectives, we employ the non-negative quantity $S_ρ(h)$ and the concept of replacing the initial coefficients of the majorant series by the absolute values of the analytic function and its derivative, as well as other various settings. Moreover, we obtain the sharp Bohr-Rogosinski radius for harmonic mappings in the unit disk by replacing the bounding condition on the analytic function $h$ with the half-plane condition.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Generalized Bohr inequalities for K-quasiconformal harmonic mappings and their applications
Authors:
Raju Biswas,
Rajib Mandal
Abstract:
The classical Bohr theorem and its subsequent generalizations have become active areas of research, with investigations conducted in numerous function spaces. Let $\{ψ_n(r)\}_{n=0}^\infty$ be a sequence of non-negative continuous functions defined on $[0,1)$ such that the series $\sum_{n=0}^\infty ψ_n(r)$ converges locally uniformly on the interval $[0, 1)$. The main objective of this paper is to…
▽ More
The classical Bohr theorem and its subsequent generalizations have become active areas of research, with investigations conducted in numerous function spaces. Let $\{ψ_n(r)\}_{n=0}^\infty$ be a sequence of non-negative continuous functions defined on $[0,1)$ such that the series $\sum_{n=0}^\infty ψ_n(r)$ converges locally uniformly on the interval $[0, 1)$. The main objective of this paper is to establish several sharp versions of generalized Bohr inequalities for the class of $K$-quasiconformal sense-preserving harmonic mappings on the unit disk $\D := \{z \in \mathbb{C} : |z| < 1\}$. To achieve these, we employ the sequence of functions $\{ψ_n(r)\}_{n=0}^\infty$ in the majorant series rather than the conventional dependence on the basis sequence $\{r^n\}_{n=0}^\infty$. As applications, we derive a number of previously published results as well as a number of sharply improved and refined Bohr inequalities for harmonic mappings in $\D$. Moreover, we obtain a convolution counterpart of the Bohr theorem for harmonic mapping within the context of the Gaussian hypergeometric function
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Operator valued analogues of multidimensional refined Bohr's inequalities
Authors:
Vasudevarao Allu,
Raju Biswas,
Rajib Mandal
Abstract:
Let $\mathcal{B}(\mathcal{H})$ denote the Banach algebra of all bounded linear operators acting on complex Hilbert spaces $\mathcal{H}$. In this paper, we first establish several sharply refined versions of Bohr's inequality analogues with operator valued functions in the class $\mathcal{B}(\mathbb{D}, \mathcal{B}(\mathcal{H}))$ of bounded analytic functions from the unit disk $\mathbb{D}$ to…
▽ More
Let $\mathcal{B}(\mathcal{H})$ denote the Banach algebra of all bounded linear operators acting on complex Hilbert spaces $\mathcal{H}$. In this paper, we first establish several sharply refined versions of Bohr's inequality analogues with operator valued functions in the class $\mathcal{B}(\mathbb{D}, \mathcal{B}(\mathcal{H}))$ of bounded analytic functions from the unit disk $\mathbb{D}$ to $\mathcal{B}(\mathcal{H})$ with $\sup_{|z|<1}\Vert f(z)\leq 1$ by utilizing a certain power of the function's norm. Additionally, we establish several multidimensional analogues of refined Bohr's inequalities by using operator valued functions in the complete circular domain $Ω\subset\mathbb{C}^n$. All of the results are sharp.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
Bohr type inequality for certain integral operators and Fourier transform on shifted disks
Authors:
Vasudevarao Allu,
Raju Biswas,
Rajib Mandal
Abstract:
In this paper, we derive the sharp Bohr type inequality for the Cesáro operator, Bernardi integral operator, and discrete Fourier transform acting on the class of bounded analytic functions defined on shifted disks \beas Ω_γ=\left\{z\in\mathbb{C}:\left|z+\fracγ{1-γ}\right|<\frac{1}{1-γ}\right\}\quad\text{for}\quadγ\in[0,1).\eeas
In this paper, we derive the sharp Bohr type inequality for the Cesáro operator, Bernardi integral operator, and discrete Fourier transform acting on the class of bounded analytic functions defined on shifted disks \beas Ω_γ=\left\{z\in\mathbb{C}:\left|z+\fracγ{1-γ}\right|<\frac{1}{1-γ}\right\}\quad\text{for}\quadγ\in[0,1).\eeas
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
Improved Bohr-type Inequalities for the Cesaro Operator
Authors:
Vasudevarao Allu,
Raju Biswas,
Rajib Mandal
Abstract:
In this paper, we derive the sharp improved versions of Bohr-type inequalities for the Cesáro operator acting on the class of bounded analytic functions defined on the unit disk $\D=\left\{z\in\C:\left|z\right|<1\right\}$. In order to achieve these results, we utilize the principle of substituting the initial coefficients of the majorant series with the absolute values of the Cesáro operator assoc…
▽ More
In this paper, we derive the sharp improved versions of Bohr-type inequalities for the Cesáro operator acting on the class of bounded analytic functions defined on the unit disk $\D=\left\{z\in\C:\left|z\right|<1\right\}$. In order to achieve these results, we utilize the principle of substituting the initial coefficients of the majorant series with the absolute values of the Cesáro operator associated with a bounded analytic function defined on $\D$ and its derivative, as well as for the Schwarz function.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
Deformation maps in proto-twilled Leibniz algebras
Authors:
Apurba Das,
Suman Majhi,
Ramkrishna Mandal
Abstract:
This paper aims to find a unified approach to studying the cohomology theories of various operators on Leibniz algebras. We first introduce deformation maps in a proto-twilled Leibniz algebra to do this. Such maps generalize various well-known operators (such as homomorphisms, derivations, crossed homomorphisms, Rota-Baxter operators, modified Rota-Baxter operators, twisted Rota-Baxter operators,…
▽ More
This paper aims to find a unified approach to studying the cohomology theories of various operators on Leibniz algebras. We first introduce deformation maps in a proto-twilled Leibniz algebra to do this. Such maps generalize various well-known operators (such as homomorphisms, derivations, crossed homomorphisms, Rota-Baxter operators, modified Rota-Baxter operators, twisted Rota-Baxter operators, Reynolds operators etc) defined on Leibniz algebras and embedding tensors on Lie algebras. We define the cohomology of a deformation map unifying the existing cohomologies of all the operators mentioned above. Then we construct a curved $L_\infty$-algebra whose Maurer-Cartan elements are precisely deformation maps in a given proto-twilled Leibniz algebra. In particular, we get the Maurer-Cartan characterizations of modified Rota-Baxter operators, twisted Rota-Baxter operators and Reynolds operators on a Leibniz algebra. Finally, given a proto-twilled Leibniz algebra and a deformation map $r$, we construct two governing $L_\infty$-algebras, the first one controls the deformations of the operator $r$ while the second one controls the simultaneous deformations of both the proto-twilled Leibniz algebra and the operator $r$.
△ Less
Submitted 7 October, 2024; v1 submitted 27 September, 2024;
originally announced September 2024.
-
Fibonacci Partial Sums Tricks
Authors:
Nikhil Byrapuram,
Adam Ge,
Selena Ge,
Tanya Khovanova,
Sylvia Zia Lee,
Rajarshi Mandal,
Gordon Redwine,
Soham Samanta,
Daniel Wu,
Danyang Xu,
Ray Zhao
Abstract:
The following magic trick is at the center of this paper. While the audience writes the first ten terms of a Fibonacci-like sequence (the sequence following the same recursion as the Fibonacci sequence), the magician calculates the sum of these ten terms very fast by multiplying the 7th term by 11. This trick is based on the divisibility properties of partial sums of Fibonacci-like sequences. We f…
▽ More
The following magic trick is at the center of this paper. While the audience writes the first ten terms of a Fibonacci-like sequence (the sequence following the same recursion as the Fibonacci sequence), the magician calculates the sum of these ten terms very fast by multiplying the 7th term by 11. This trick is based on the divisibility properties of partial sums of Fibonacci-like sequences. We find the maximum Fibonacci number that divides the sum of the Fibonacci numbers 1 through $n$. We discuss the generalization of the trick for other second-order recurrences. We show that a similar trick exists for Pell-like sequences and does not exist for Jacobhstal-like sequences.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Quasi-twilled associative algebras, deformation maps and their governing algebras
Authors:
Apurba Das,
Ramkrishna Mandal
Abstract:
A quasi-twilled associative algebra is an associative algebra $\mathbb{A}$ whose underlying vector space has a decomposition $\mathbb{A} = A \oplus B$ such that $B \subset \mathbb{A}$ is a subalgebra. In the first part of this paper, we give the Maurer-Cartan characterization and introduce the cohomology of a quasi-twilled associative algebra.
In a quasi-twilled associative algebra $\mathbb{A}$,…
▽ More
A quasi-twilled associative algebra is an associative algebra $\mathbb{A}$ whose underlying vector space has a decomposition $\mathbb{A} = A \oplus B$ such that $B \subset \mathbb{A}$ is a subalgebra. In the first part of this paper, we give the Maurer-Cartan characterization and introduce the cohomology of a quasi-twilled associative algebra.
In a quasi-twilled associative algebra $\mathbb{A}$, a linear map $D: A \rightarrow B$ is called a strong deformation map if $\mathrm{Gr}(D) \subset \mathbb{A}$ is a subalgebra. Such a map generalizes associative algebra homomorphisms, derivations, crossed homomorphisms and the associative analogue of modified {\sf r}-matrices. We introduce the cohomology of a strong deformation map $D$ unifying the cohomologies of all the operators mentioned above. We also define the governing algebra for the pair $(\mathbb{A}, D)$ to study simultaneous deformations of both $\mathbb{A}$ and $D$.
On the other hand, a linear map $r: B \rightarrow A$ is called a weak deformation map if $\mathrm{Gr} (r) \subset \mathbb{A}$ is a subalgebra. Such a map generalizes relative Rota-Baxter operators of any weight, twisted Rota-Baxter operators, Reynolds operators, left-averaging operators and right-averaging operators. Here we define the cohomology and governing algebra of a weak deformation map $r$ (that unify the cohomologies of all the operators mentioned above) and also for the pair $(\mathbb{A}, r)$ that govern simultaneous deformations.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
Fibonometry and Beyond
Authors:
Nikhil Byrapuram,
Adam Ge,
Selena Ge,
Tanya Khovanova,
Sylvia Zia Lee,
Rajarshi Mandal,
Gordon Redwine,
Soham Samanta,
Daniel Wu,
Danyang Xu,
Ray Zhao
Abstract:
In 2013, Conway and Ryba wrote a fascinating paper called Fibonometry. The paper, as one might guess, is about the connection between Fibonacci numbers and trigonometry. We were fascinated by this paper and looked at how we could generalize it. We discovered that we weren't the first. In this paper, we describe our journey and summarize the results.
In 2013, Conway and Ryba wrote a fascinating paper called Fibonometry. The paper, as one might guess, is about the connection between Fibonacci numbers and trigonometry. We were fascinated by this paper and looked at how we could generalize it. We discovered that we weren't the first. In this paper, we describe our journey and summarize the results.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
Maximum Number of Quads
Authors:
Nikhil Byrapuram,
Hwiseo,
Choi,
Adam Ge,
Selena Ge,
Tanya Khovanova,
Sylvia Zia Lee,
Evin Liang,
Rajarshi Mandal,
Aika Oki,
Daniel Wu,
Michael Yang
Abstract:
We study the maximum number of quads among $\ell$ cards from an EvenQuads deck of size $2^n$. This corresponds to enumerating quadruples of integers in the range $[0,\ell-1]$ such that their bitwise XOR is zero. In this paper, we conjecture a formula that calculates the maximum number of quads among $\ell$ cards.
We study the maximum number of quads among $\ell$ cards from an EvenQuads deck of size $2^n$. This corresponds to enumerating quadruples of integers in the range $[0,\ell-1]$ such that their bitwise XOR is zero. In this paper, we conjecture a formula that calculates the maximum number of quads among $\ell$ cards.
△ Less
Submitted 14 October, 2023;
originally announced October 2023.
-
EvenQuads Game and Error-Correcting Codes
Authors:
Nikhil Byrapuram,
Hwiseo,
Choi,
Adam Ge,
Selena Ge,
Tanya Khovanova,
Sylvia Zia Lee,
Evin Liang,
Rajarshi Mandal,
Aika Oki,
Daniel Wu,
Michael Yang
Abstract:
EvenQuads is a new card game that is a generalization of the SET game, where each card is characterized by three attributes, each taking four possible values. Four cards form a quad when, for each attribute, the values are the same, all different, or half and half. Given $\ell$ cards from the deck of EvenQuads, we can build an error-correcting linear binary code of length $\ell$ and Hamming distan…
▽ More
EvenQuads is a new card game that is a generalization of the SET game, where each card is characterized by three attributes, each taking four possible values. Four cards form a quad when, for each attribute, the values are the same, all different, or half and half. Given $\ell$ cards from the deck of EvenQuads, we can build an error-correcting linear binary code of length $\ell$ and Hamming distance 4. The quads correspond to codewords of weight 4. Error-correcting codes help us calculate the possible number of quads when given up to 8 cards. We also estimate the number of cards that do not contain quads for decks of different sizes. In addition, we discuss properties of error-correcting codes built on semimagic, magic, and strongly magic quad squares.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Quad Squares
Authors:
Nikhil Byrapuram,
Hwiseo,
Choi,
Adam Ge,
Selena Ge,
Tanya Khovanova,
Sylvia Zia Lee,
Evin Liang,
Rajarshi Mandal,
Aika Oki,
Daniel Wu,
Michael Yang
Abstract:
We study 4-by-4 squares formed by cards from the EvenQuads deck. EvenQuads is a card game with 64 cards where cards have 3 attributes with 4 values in each attribute. A quad is four cards with all attributes the same, all different, or half and half. We define Latin quad squares as squares where the cards in each row and column have different values for each attribute. We define semimagic quad squ…
▽ More
We study 4-by-4 squares formed by cards from the EvenQuads deck. EvenQuads is a card game with 64 cards where cards have 3 attributes with 4 values in each attribute. A quad is four cards with all attributes the same, all different, or half and half. We define Latin quad squares as squares where the cards in each row and column have different values for each attribute. We define semimagic quad squares as squares where each row and column form a quad. For magic quad squares, we add a requirement that the diagonals have to form a quad. We also define strongly magic quad squares. We analyze types of semimagic and strongly magic quad squares. We also calculate the number of semimagic, magic, and strongly magic quad squares for quad decks of any size. These squares can be described in terms of integers. Four integers form a quad when their bitwise XOR is zero.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Card Games Unveiled: Exploring the Underlying Linear Algebra
Authors:
Nikhil Byrapuram,
Hwiseo,
Choi,
Adam Ge,
Selena Ge,
Tanya Khovanova,
Sylvia Zia Lee,
Evin Liang,
Rajarshi Mandal,
Aika Oki,
Daniel Wu,
Michael Yang
Abstract:
We discuss four famous card games that can help learn linear algebra. The games are: SET, Socks, Spot it!, and EvenQuads. We describe the game in the language of vector, affine, and projective spaces. We also show how these games are connected to each other. A separate section is devoted to playing Socks with the EvenQuads deck and vice versa.
We discuss four famous card games that can help learn linear algebra. The games are: SET, Socks, Spot it!, and EvenQuads. We describe the game in the language of vector, affine, and projective spaces. We also show how these games are connected to each other. A separate section is devoted to playing Socks with the EvenQuads deck and vice versa.
△ Less
Submitted 1 September, 2023; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Averaging algebras of any nonzero weight
Authors:
Apurba Das,
Ramkrishna Mandal
Abstract:
In this paper, we first introduce the notion of a (relative) averaging operator of any nonzero weight $λ$. We show that such operators are intimately related to triassociative algebras introduced by Loday and Ronco. Next, we construct a differential graded Lie algebra and a $L_\infty$-algebra whose Maurer-Cartan elements are respectively relative averaging operators of weight $λ$ and relative aver…
▽ More
In this paper, we first introduce the notion of a (relative) averaging operator of any nonzero weight $λ$. We show that such operators are intimately related to triassociative algebras introduced by Loday and Ronco. Next, we construct a differential graded Lie algebra and a $L_\infty$-algebra whose Maurer-Cartan elements are respectively relative averaging operators of weight $λ$ and relative averaging algebras of weight $λ$. Subsequently, we define cohomology theories for relative averaging operators and relative averaging algebras of any nonzero weight. Our cohomology is useful to study infinitesimal deformations of relative averaging algebras. Finally, we introduce and study homotopy triassociative algebras and homotopy relative averaging operators of any nonzero weight $λ$.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
The Struggles of Chessland
Authors:
Irene Choi,
Shreyas Ekanathan,
Aidan Gao,
Tanya Khovanova,
Sylvia Zia Lee,
Rajarshi Mandal,
Vaibhav Rastogi,
Daniel Sheffield,
Michael Yang,
Angela Zhao,
Corey Zhao
Abstract:
This is a fairy tale taking place in Chessland, located in the Bermuda triangle. The chess pieces survey their land and trap enemy pieces. Behind the story, there is fascinating mathematics on how to optimize surveying and trapping. The tale is written by the students in the PRIMES STEP junior group, who were in grades 6 through 9. The paper has a conclusion, written by the group's mentor, Tanya K…
▽ More
This is a fairy tale taking place in Chessland, located in the Bermuda triangle. The chess pieces survey their land and trap enemy pieces. Behind the story, there is fascinating mathematics on how to optimize surveying and trapping. The tale is written by the students in the PRIMES STEP junior group, who were in grades 6 through 9. The paper has a conclusion, written by the group's mentor, Tanya Khovanova, explaining the students' results in terms of graph theory.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
Matching relative Rota-Baxter algebras, matching dendriform algebras and their cohomologies
Authors:
Ramkrishna Mandal,
Apurba Das
Abstract:
The notion of matching Rota-Baxter algebras was recently introduced by Gao, Guo and Zhang [{\em J. Algebra} 552 (2020) 134-170] motivated by the study of algebraic renormalization of regularity structures. The concept of matching Rota-Baxter algebras generalizes multiple integral operators with kernels. The same authors also introduced matching dendriform algebras as the underlying structure of ma…
▽ More
The notion of matching Rota-Baxter algebras was recently introduced by Gao, Guo and Zhang [{\em J. Algebra} 552 (2020) 134-170] motivated by the study of algebraic renormalization of regularity structures. The concept of matching Rota-Baxter algebras generalizes multiple integral operators with kernels. The same authors also introduced matching dendriform algebras as the underlying structure of matching Rota-Baxter algebras. In this paper, we introduce matching relative Rota-Baxter algebras that are also related to matching dendriform algebras. We define a matching associative Yang-Baxter equation whose solutions give rise to matching relative Rota-Baxter algebras. Next, we introduce the cohomology of a matching relative Rota-Baxter algebra as a byproduct of the classical Hochschild cohomology and a new cohomology induced by the matching operators. As an application, we show that our cohomology governs the formal deformation theory of the matching relative Rota-Baxter algebra. Finally, using multiplicative nonsymmetric operads, we define the cohomology of a matching dendriform algebra and show that there is a morphism from the cohomology of a matching relative Rota-Baxter algebra to the cohomology of the induced matching dendriform algebra. We end this paper by considering homotopy matching dendriform algebras.
△ Less
Submitted 26 November, 2022;
originally announced November 2022.
-
New Lower Bounds for the Number of Pseudoline Arrangements
Authors:
Adrian Dumitrescu,
Ritankar Mandal
Abstract:
Arrangements of lines and pseudolines are fundamental objects in discrete and computational geometry. They also appear in other areas of computer science, such as the study of sorting networks. Let $B_n$ be the number of nonisomorphic arrangements of $n$ pseudolines and let $b_n=\log_2{B_n}$. The problem of estimating $B_n$ was posed by Knuth in 1992. Knuth conjectured that…
▽ More
Arrangements of lines and pseudolines are fundamental objects in discrete and computational geometry. They also appear in other areas of computer science, such as the study of sorting networks. Let $B_n$ be the number of nonisomorphic arrangements of $n$ pseudolines and let $b_n=\log_2{B_n}$. The problem of estimating $B_n$ was posed by Knuth in 1992. Knuth conjectured that $b_n \leq {n \choose 2} + o(n^2)$ and also derived the first upper and lower bounds: $b_n \leq 0.7924 (n^2 +n)$ and $b_n \geq n^2/6 -O(n)$. The upper bound underwent several improvements, $b_n \leq 0.6988\, n^2$ (Felsner, 1997), and $b_n \leq 0.6571\, n^2$ (Felsner and Valtr, 2011), for large $n$. Here we show that $b_n \geq cn^2 -O(n \log{n})$ for some constant $c>0.2083$. In particular, $b_n \geq 0.2083\, n^2$ for large $n$. This improves the previous best lower bound, $b_n \geq 0.1887\, n^2$, due to Felsner and Valtr (2011). Our arguments are elementary and geometric in nature. Further, our constructions are likely to spur new developments and improved lower bounds for related problems, such as in topological graph drawings.
△ Less
Submitted 7 December, 2018; v1 submitted 10 September, 2018;
originally announced September 2018.
-
Monotone Paths in Geometric Triangulations
Authors:
Adrian Dumitrescu,
Ritankar Mandal,
Csaba D. Tóth
Abstract:
(I) We prove that the (maximum) number of monotone paths in a geometric triangulation of $n$ points in the plane is $O(1.7864^n)$. This improves an earlier upper bound of $O(1.8393^n)$; the current best lower bound is $Ω(1.7003^n)$.
(II) Given a planar geometric graph $G$ with $n$ vertices, we show that the number of monotone paths in $G$ can be computed in $O(n^2)$ time.
(I) We prove that the (maximum) number of monotone paths in a geometric triangulation of $n$ points in the plane is $O(1.7864^n)$. This improves an earlier upper bound of $O(1.8393^n)$; the current best lower bound is $Ω(1.7003^n)$.
(II) Given a planar geometric graph $G$ with $n$ vertices, we show that the number of monotone paths in $G$ can be computed in $O(n^2)$ time.
△ Less
Submitted 3 October, 2016; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Dynamical behaviour of an ecological system with Beddington-DeAngelis functional response
Authors:
Sahabuddin Sarwardi,
Md. Reduanur Mandal,
Nurul Huda Gazi
Abstract:
The objective of this paper is to study the dynamical behaviour systematically of an ecological system with Beddington-DeAngelis functional response which avoids the criticism occurred in the case of ratio-dependent functional response at the low population density of both the species. The essential mathematical features of the present model have been analyzed thoroughly in terms of the local and…
▽ More
The objective of this paper is to study the dynamical behaviour systematically of an ecological system with Beddington-DeAngelis functional response which avoids the criticism occurred in the case of ratio-dependent functional response at the low population density of both the species. The essential mathematical features of the present model have been analyzed thoroughly in terms of the local and the global stability and the bifurcations arising in some selected situations as well. The threshold values for some parameters indicating the feasibility and the stability conditions of some equilibria are also determined. We show that the dynamics outcome of the interaction among the species are much sensitive to the system parameters and initial population volume. The ranges of the significant parameters under which the system admits a Hopf bifurcation are investigated. The explicit formulae for determining the stability, direction and other properties of bifurcating periodic solutions are also derived with the use of both the normal form and the central manifold theory (cf. Carr \cite{Carr}). Numerical illustrations are performed finally in order to validate the applicability of the model under consideration.
△ Less
Submitted 20 January, 2015;
originally announced January 2015.
