Improving performance of decision threshold moving-based strategies by integrating density-based clustering technique

Mengke Lu; Shang Gao; Xibei Yang; Hualong Yu; Mengke Lu; Shang Gao; Xibei Yang; Hualong Yu

doi:10.3934/era.2023127

Electronic Research Archive

2023, Volume 31, Issue 5: 2501-2518. doi: 10.3934/era.2023127

Previous Article Next Article

Research article Special Issues

Improving performance of decision threshold moving-based strategies by integrating density-based clustering technique

School of Computer, Jiangsu University of Science and Technology, Zhenjiang, Jiangsu, China

Received: 31 December 2022 Revised: 19 February 2023 Accepted: 23 February 2023 Published: 06 March 2023

Class imbalance learning (CIL), which aims to addressing the performance degradation problem of traditional supervised learning algorithms in the scenarios of skewed data distribution, has become one of research hotspots in fields of machine learning, data mining, and artificial intelligence. As a postprocessing CIL technique, the decision threshold moving (DTM) has been verified to be an effective strategy to address class imbalance problem. However, no matter adopting random or optimal threshold designation ways, the classification hyperplane could be only moved parallelly, but fails to vary its orientation, thus its performance is restricted, especially on some complex and density variable data. To further improve the performance of the existing DTM strategies, we propose an improved algorithm called CDTM by dividing majority training instances into multiple different density regions, and further conducting DTM procedure on each region independently. Specifically, we adopt the well-known DBSCAN clustering algorithm to split training set as it could adapt density variation well. In context of support vector machine (SVM) and extreme learning machine (ELM), we respectively verified the effectiveness and superiority of the proposed CDTM algorithm. The experimental results on 40 benchmark class imbalance datasets indicate that the proposed CDTM algorithm is superior to several other state-of-the-art DTM algorithms in term of G-mean performance metric.

Keywords:

Citation: Mengke Lu, Shang Gao, Xibei Yang, Hualong Yu. Improving performance of decision threshold moving-based strategies by integrating density-based clustering technique[J]. Electronic Research Archive, 2023, 31(5): 2501-2518. doi: 10.3934/era.2023127

Related Papers:

[1]	Cameron J. Browne, Chang-Yuan Cheng . Age-structured viral dynamics in a host with multiple compartments. Mathematical Biosciences and Engineering, 2020, 17(1): 538-574. doi: 10.3934/mbe.2020029
[2]	Andrey V. Melnik, Andrei Korobeinikov . Lyapunov functions and global stability for SIR and SEIR models withage-dependent susceptibility. Mathematical Biosciences and Engineering, 2013, 10(2): 369-378. doi: 10.3934/mbe.2013.10.369
[3]	Cameron Browne . Immune response in virus model structured by cell infection-age. Mathematical Biosciences and Engineering, 2016, 13(5): 887-909. doi: 10.3934/mbe.2016022
[4]	Ran Zhang, Shengqiang Liu . Global dynamics of an age-structured within-host viral infection model with cell-to-cell transmission and general humoral immunity response. Mathematical Biosciences and Engineering, 2020, 17(2): 1450-1478. doi: 10.3934/mbe.2020075
[5]	Jinliang Wang, Xiu Dong . Analysis of an HIV infection model incorporating latency age and infection age. Mathematical Biosciences and Engineering, 2018, 15(3): 569-594. doi: 10.3934/mbe.2018026
[6]	Andrey V. Melnik, Andrei Korobeinikov . Global asymptotic properties of staged models with multiple progression pathways for infectious diseases. Mathematical Biosciences and Engineering, 2011, 8(4): 1019-1034. doi: 10.3934/mbe.2011.8.1019
[7]	Jianxin Yang, Zhipeng Qiu, Xue-Zhi Li . Global stability of an age-structured cholera model. Mathematical Biosciences and Engineering, 2014, 11(3): 641-665. doi: 10.3934/mbe.2014.11.641
[8]	Jinhu Xu . Dynamic analysis of a cytokine-enhanced viral infection model with infection age. Mathematical Biosciences and Engineering, 2023, 20(5): 8666-8684. doi: 10.3934/mbe.2023380
[9]	Xichao Duan, Sanling Yuan, Kaifa Wang . Dynamics of a diffusive age-structured HBV model with saturating incidence. Mathematical Biosciences and Engineering, 2016, 13(5): 935-968. doi: 10.3934/mbe.2016024
[10]	Abdennasser Chekroun, Mohammed Nor Frioui, Toshikazu Kuniya, Tarik Mohammed Touaoula . Global stability of an age-structured epidemic model with general Lyapunov functional. Mathematical Biosciences and Engineering, 2019, 16(3): 1525-1553. doi: 10.3934/mbe.2019073

Abstract

1. Introduction

In the early 1930s, in order to generalize the formula of quantum mechanics, Jordan et al. introduced an important commutative non-associative algebra ^[1], which was initially called " $r$ -order digital system". In 1947, Albert renamed this kind of algebra Jordan algebra and studied their structural theory ^[2]. Since then, Jordan algebras have attracted extensive attention. Particularly, Jacobson developed the representation theory of Jordan algebras ^[3,4]. Jordan superalgebras were first studied by Kac, who classified simple finite dimensional Jordan superalgebras over an algebraically closed field of characteristic zero ^[5]. Jordan superalgebras also have significant applications in quantum mechanics ^[6,7]. More results on Jordan superalgebras are available in ^[8,9].

Hom-type algebras were first introduced to study the $q$ -deformation of Witt and Virasoro algebras ^[10,11], which played an important role in physics, mainly in conformal field theory. Bihom-type algebras are generalizations of Hom-type algebras, which were presented by Graziani et al. from the categorical point and applied to study certain deformations of quantum groups ^[12]. Up to now, the (Bi)hom-structures of various algebras have been intensively investigated. The construction relationship between Hom-type algebras and the module structure on them can be found in the literature ^{[13,14,15,16,17]}. Naturally, the construction between Bihom-type algebras is studied in the literature ^[18,19], and the results of representation and deformation can be found in ^[20,21,22]. In this paper, we first generalize bimodules and representations of Bihom-Jordan algebras ^[23,24] to Bihom-Jordan superalgebras and then develop the theory of representations and $\mathcal{O}$ -operators on Bihom-Jordan superalgebras.

The outline of the paper is presented as follows: In Section 2, we review some basics about Bihom-superalgebras, Bihom-Jordan superalgebras; we study Bihom-super modules and give some easy constructions of Bihom-Jordan superalgebras. In Section 3, we mainly study super-bimodules on Bihom-Jordan superalgebras and obtain some new constructions under the view of module. In Section 4, we study the representation of Bihom-Jordan superalgebra and give the definitions of $\mathcal{O}$ -operator and Rota–Baxter operator. At the same time, we also give the definition of Bihom-pre-Jordan superalgebra. Finally, the relationship between $\mathcal{O}$ -operator and Bihom-pre-Jordan superalgebra is studied. Actually, on the basis of this section, we can also continue to study cohomology theory.

Throughout the paper, all algebraic systems are supposed to be over a field of characteristic $0$ . Let $A$ be a linear superspace over $K$ that is a $\mathbb{Z}_2$ -graded linear space with a direct sum $A = A_{\overline{0}}\oplus A_{\overline{1}}$ . The elements of $A_j, j = 0, 1$ , are said to be homogenous and of parity $j$ . The parity of a homogeneous element $x$ is denoted by $|x|$ . In the sequel, we will denote by $\mathcal{H}(A)$ the set of all homogeneous elements of $A$ . In this paper, we need to use the elements, all of which are not specified, are homogeneous.

2. Preliminaries

In this section, we recall some basic definitions about Bihom-Jordan superalgebras, provide some construction results. A Bihom-superalgebra is a quadruple $(J, \mu, \alpha, \beta)$ , where $\mu : J \otimes J \rightarrow J$ is an even bilinear map and $\alpha, \beta : J \rightarrow J$ are even linear maps such that $\alpha\circ\mu = \mu\circ\alpha$ and $\beta\circ\mu = \mu\circ\beta$ (multiplicativity).

Definition 2.1. ^[25] Let $(J, \mu, \alpha, \beta)$ be a Bihom-superalgebra.

The Bihom-associator of $J$ is an even trilinear map $as_{\alpha, \beta}: J^{\otimes 3} \longrightarrow J$ defined by

$\begin{equation} as_{\alpha, \beta} = \mu \circ(\mu \otimes \beta-\alpha \otimes \mu). \end{equation}$

(2.1)

For any $\varepsilon, \gamma, \delta\in \mathcal{H}(J)$ , $as_{\alpha, \beta}(\varepsilon, \gamma, \delta) = \mu(\mu(\varepsilon, \gamma), \beta(\delta))-\mu(\alpha(\varepsilon), \mu(\gamma, \delta))$ .

In particular, when $\alpha = \beta = {\rm Id}$ , Bihom-superalgebra is to degenerate to the superalgebra, so is Bihom-associator degenerates to the original associator. If $\alpha = \beta$ , Bihom-associator degenerates to the Hom-associator.

Definition 2.2. Let $(J, \mu, \alpha, \beta)$ be a Bihom-superalgebra. Then

● A Bihom-sub-superalgebra of $J$ is a $\mathbb{Z}_2$ -graded linear subspace $B\subseteq J$ , which satisfies $\mu(\varepsilon, \gamma)\in B, \; \alpha(\varepsilon)\in B$ and $\beta(\varepsilon)\in B$ , for all $\varepsilon, \gamma\in \mathcal{H}(J)$ . Furthermore, if $\mu(\varepsilon, \gamma), \mu(\gamma, \varepsilon)\in B$ , for all $(\varepsilon, \gamma)\in J\times B$ , then $B$ is called a two-sided Bihom-ideal of $J$ .

● $J$ is regular if $\alpha$ and $\beta$ are algebra automorphisms.

● $J$ is involutive if $\alpha$ and $\beta$ are two involutions, that is $\alpha^{2} = \beta^{2} = {\rm Id}$ .

Definition 2.3. Let $(J, \mu, \alpha, \beta)$ and $(J', \mu', \alpha'\beta')$ be two Bihom-superalgebras. If a homomorphism $f: J\rightarrow J'$ satisfies the following conditions:

$\begin{equation*} f\circ\mu = \mu'\circ(f\otimes f), \; f\circ\alpha = \alpha'\circ f\; and\; f\circ\beta = \beta'\circ f. \end{equation*}$

Then f is called Bihom-superalgebra morphism. And we call the set $\Gamma_f = \{\varepsilon+f(\varepsilon)|\varepsilon\in \mathcal{H}(J)\}\subset J\oplus J'$ the graph of $f$ .

Proposition 2.1. Let $(J, \mu_J, \alpha_J, \beta_J)$ and $(B, \mu_B, \alpha_B, \beta_B)$ be two Bihom-Jordan superalgebras. Then an even linear map $f:J\rightarrow B$ is a morphism if and only if its graph $\Gamma_f$ is a Bihom-subalgebra of $(J\oplus B, \mu = \mu_J+\mu_B, \alpha = \alpha_J+\alpha_B, \beta = \beta_J+\beta_B)$ .

Proof. Suppose that $f$ is a morphism of Bihom-Jordan superalgebras. Clearly, $\Gamma_f$ is a subspace of $J\oplus B$ , we only need to prove the $\Gamma_f$ is closed under the $\mu, \alpha, \beta$ . For all $\varepsilon, \gamma\in H(J)$ ,

$\begin{equation*} \mu(\varepsilon+f(\varepsilon), \gamma+f(\gamma)) = \mu_J(\varepsilon, \gamma)+\mu_B(f(\varepsilon), f(\gamma)) = \mu_J(\varepsilon, \gamma)+f\mu_J(\varepsilon, \gamma). \end{equation*}$

Moreover, by $f\alpha_J = \alpha_Bf$ and $f\beta_J = \beta_Bf$ ,

$\begin{align*} &\alpha(\varepsilon+f(\varepsilon)) = \alpha_J(\varepsilon)+\alpha_B(f(\varepsilon)) = \alpha_J(\varepsilon)+f\alpha_J(\varepsilon), \\ &\beta(\varepsilon+f(\varepsilon)) = \beta_J(\varepsilon)+\beta_B(f(\varepsilon)) = \beta_J(\varepsilon)+f\beta_J(\varepsilon). \end{align*}$

It follows that $\Gamma_f$ is a Bihom-subalgebra of $J\oplus B$ .

Conversely, $\Gamma_f$ is a Bihom-subalgebra of $J\oplus B$ , so

$\begin{equation*} \mu(\varepsilon+f(\varepsilon), \gamma+f(\gamma)) = \mu_J(\varepsilon, \gamma)+\mu_B(f(\varepsilon), f(\gamma))\in \Gamma_f, \end{equation*}$

which implies that $\mu_B(f(\varepsilon), f(\gamma)) = f\mu_J(\varepsilon, \gamma)$ . Similarly, we also obtain $\alpha_Bf = f\alpha_J$ and $\beta_Bf = f\beta_J$ from $\alpha(\Gamma_f)\subseteq\Gamma_f$ and $\beta(\Gamma_f)\subseteq\Gamma_f$ , respectively. Thus, $f$ is a morphism of Bihom-Jordan superalgebras.

Definition 2.4. ^[25] A Bihom-associative superalgebra is a quadruple $(J, \mu, \alpha, \beta)$ , where $\alpha, \beta: J \rightarrow J$ are even linear maps and $\mu: J \times J \rightarrow J$ is an even bilinear map such that $\alpha \beta = \beta \alpha, \alpha \mu = \mu \alpha^{\otimes 2}$ , $\beta \mu = \mu \beta^{\otimes 2}$ and satisfying Bihom-associator is zero:

$\begin{equation*} as_{\alpha, \beta}(\varepsilon, \gamma, \delta) = 0, \; for\; all\; \varepsilon, \gamma, \delta \in \mathcal{H}(J).\; \text{ (Bihom-associativity condition)} \end{equation*}$

Clearly, when $\alpha = \beta$ , we obtain a Hom-associative superalgebra.

Definition 2.5. ^[19] A BiHom superalgebra $(J, \mu, \alpha, \beta)$ is called a Bihom-Jordan superalgebra if for all $\varepsilon, \gamma, \delta, t\in\mathcal{H}(J):$

$\begin{equation*} \begin{array}{l} { { (i) }\ \alpha \beta = \beta \alpha, } \\ { { (ii) }\ \mu(\beta(\varepsilon), \alpha(\gamma)) = (-1)^{|\varepsilon||\gamma|}\mu(\beta(\gamma), \alpha(\varepsilon)), } {\; \; \; \; \; \text{(Bihom-super commutativity condition)}} \\ { { (iii) }\ \circlearrowleft_{\varepsilon, \gamma, t}(-1)^{|t|(|\varepsilon|+|\delta|)}\widetilde{as}_{\alpha, \beta}(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \alpha^2\beta(\delta), \alpha^3(t)) = 0.}\\ {\; \; \; \; \; \text {(Bihom-Jordan super-identity)}} \end{array} \end{equation*}$

In particular, it is reduced to a Jordan superalgebra when $\alpha = \beta = \rm Id$ .

Next, we give some common construction methods. Let $(J, \mu, \alpha, \beta)$ be a Bihom-superalgebra. Define its plus Bihom-superalgebra as the Bihom-superalgebra $J^{+} = (J, \ast, \alpha, \beta)$ , where

$\begin{equation*} \varepsilon\ast \gamma = \frac{1}{2}(\mu(\varepsilon, \gamma)+(-1)^{|\varepsilon||\gamma|}\mu(\alpha^{-1}\beta(\gamma), \alpha\beta^{-1}(\varepsilon))). \end{equation*}$

Note that product $\ast$ is Bihom-supercommutative. In fact, for all $\varepsilon, \gamma\in\mathcal{H}(J)$ ,

$\begin{align*} \beta(\varepsilon)\ast\alpha(\gamma)& = \frac{1}{2}(\beta(\varepsilon)\alpha(\gamma)+(-1)^{|\varepsilon||\gamma|}\beta(\gamma)\alpha(\varepsilon))\\ & = (-1)^{|\varepsilon||\gamma|}\frac{1}{2}(\beta(\gamma)\alpha(\varepsilon)+\beta(\varepsilon)\alpha(\gamma)) = (-1)^{|\varepsilon||\gamma|}\beta(\gamma)\ast\alpha(\varepsilon). \end{align*}$

Moreover, the plus Bihom-superalgebra $J^{+} = (J, \ast, \alpha, \beta)$ is a Bihom-Jordan superalgebra. Naturally, we define

$\begin{equation*} \varepsilon\diamond \gamma = \mu(\varepsilon, \gamma)+(-1)^{|\varepsilon||\gamma|}\mu(\alpha^{-1}\beta(\gamma), \alpha\beta^{-1}(\varepsilon)), \end{equation*}$

the $\diamond$ is also Bihom-supercommutative. Then $J^{\diamond} = (J, \diamond, \alpha, \beta)$ is also a Bihom-Jordan superlagebra.

Besides that, Bihom-Jordan superalgebra $(J, \mu_{\alpha, \beta} = \mu(\alpha\otimes\beta), \alpha, \beta)$ can be obtained from Jordan superalgebra $(J, \mu)$ . We also consider the quotient algebra obtained by modulo Bihom-ideal, given a Bihom-Jordan superalgebra $(J, \mu, \alpha, \beta)$ and $I$ is a Bihom-ideal. Define $\bar{\mu}, \bar{\alpha}, \bar{\beta}$ on $J/I$ as follows:

$\begin{equation*} \bar{\mu}(\bar{\varepsilon}, \bar{\gamma}) = \overline{\mu(\varepsilon, \gamma)}, \bar{\alpha}(\bar{\varepsilon}) = \overline{\alpha(\varepsilon)}, \bar{\beta}(\bar{\varepsilon}) = \overline{\beta(\varepsilon)}. \end{equation*}$

Then $(J/I, \bar{\mu}, \bar{\alpha}, \bar{\beta})$ is also a Bihom-Jordan superalgebra.

Example 2.1. Given a 3-dimensional Jordan superalgebra $(J = J_{\bar{0}}\oplus J_{\bar{1}}, \mu)$ in ^[5], the bases of $J_{\bar{0}}$ and $J_{\bar{1}}$ are $\{\varepsilon\}$ and $\{u, v\}$ , respectively. The nontrivial multiplication is defined as follows:

$\begin{equation*} \mu(\varepsilon, \varepsilon) = \varepsilon, \; \mu(\varepsilon, u) = \frac{1}{2}u, \; \mu(\varepsilon, v) = \frac{1}{2}v, \; \mu(u, v) = \varepsilon. \end{equation*}$

We consider two even endomorphisms $\alpha$ and $\beta$ , which satisfy $\alpha(\varepsilon) = \varepsilon, \; \alpha(u) = -u, \; \alpha(v) = -v$ , and $\beta(\varepsilon) = -\varepsilon, \; \beta(u) = -u, \; \beta(v) = v$ . Then we obtain a Bihom-Jordan superalgebra $(J, \mu' = \mu(\alpha\otimes\beta), \alpha, \beta)$ .

Example 2.2. In ^[5], let $(J = J_{\bar{0}}\oplus J_{\bar{1}}, \mu)$ be a Jordan superalgebra with the nontrivial multiplication as follows:

$\begin{equation*} \mu(\varepsilon, \varepsilon) = 2\varepsilon, \; \mu(\varepsilon, u) = u, \; \mu(\varepsilon, v) = v, \; \mu(u, v) = 1+kx, \end{equation*}$

$k\in K$ and $k\neq\frac{1}{2}$ , where $\{1, \varepsilon\}$ and $\{u, v\}$ are bases of $J_{\bar{0}}$ and $J_{\bar{1}}$ , respectively. We define two even endomorphisms $\alpha$ and $\beta$ satisfies $\alpha(1) = 1, \; \alpha(\varepsilon) = \varepsilon, \; \alpha(u) = -u, \; \alpha(v) = -v$ and $\beta(1) = 1, \; \beta(\varepsilon) = -\varepsilon, \; \beta(u) = u, \; \beta(v) = v$ . Then we obtain a Bihom-Jordan superalgebra $(J, \mu' = \mu(\alpha\otimes\beta), \alpha, \beta)$ .

Definition 2.6. Let $(J, \mu, \alpha, \beta)$ be a Bihom-superalgebra.

1) A Bihom-super-module $(V, \phi, \psi)$ is called an $J$ -super-bimodule if it is equipped with an even left structure $\rho_l$ and an even right structure map $\rho_r$ on $\mathbb{Z}_2$ -graded vector space $V$ , $\rho_l$ and $\rho_r$ are given by

● $\rho_l:(J\otimes V, \alpha\otimes\phi, \beta\otimes\psi)\rightarrow (V, \phi, \psi), \rho_l(a, v) = a\cdot v,$

● $\rho_r:(V\otimes J, \phi\otimes\alpha, \psi\otimes\beta)\rightarrow (V, \phi, \psi), \rho_r(v, a) = v\cdot a.$

2) An even linear map $f:(V, \phi, \psi, \rho_l, \rho_r)\rightarrow (V', \phi', \psi', \rho_l', \rho_r')$ is a morphism of the Bihom-super-modules such that the following commutative diagrams

3) Let $(V, \phi, \psi, \rho_l, \rho_r)$ be an $J$ -super-bimodule. Then the module Bihom-associator $as_{V_{\phi, \psi}}$ of $V$ is defined as:

$\begin{equation} as_{V_{\phi, \psi}}\circ{\rm{Id}}_{V\otimes J\otimes J} = \rho_r\circ(\rho_r\otimes \beta)-\rho_r\circ(\phi\otimes\mu), \end{equation}$

(2.2)

$\begin{equation} as_{V_{\phi, \psi}}\circ{\rm{Id}}_{J\otimes V\otimes J} = \rho_r\circ(\rho_l\otimes \beta)-\rho_l\circ(\alpha\otimes\rho_r), \end{equation}$

(2.3)

$\begin{equation} as_{V_{\phi, \psi}}\circ{\rm{Id}}_{J\otimes J\otimes V} = \rho_l\circ(\mu\otimes \psi)-\rho_l\circ(\alpha\otimes\rho_l). \end{equation}$

(2.4)

Definition 2.7. Let $(J, \mu, \alpha, \beta)$ be a Bihom-associative superalgebra and $(V, \phi, \psi)$ be a Bihom-super-module. Then

1) A left Bihom-associative $J$ -super-module structure consists of an even morphism $\rho_l: J\otimes V\rightarrow V$ satisfies $as_{V_{\phi, \psi}} = 0$ in (2.4).

2) A right Bihom-associative $J$ -super-module structure consists of an even morphism $\rho_r: V\otimes J\rightarrow V$ satisfies $as_{V_{\phi, \psi}} = 0$ in (2.2).

3) A Bihom-associative $J$ -super-bimodule structure consists of an even morphism $\rho_l: J\otimes V\rightarrow V$ and an even morphism $\rho_r: V\otimes J\rightarrow V$ such that $(V, \phi, \psi, \rho_l)$ is a left Bihom-associative $J$ -super-module, $(V, \phi, \psi, \rho_r)$ is a right Bihom-associative $J$ -super-module, and satisfies $as_{V_{\phi, \psi}} = 0$ in (2.3).

3. Super-bimodules

In this section, we introduce super-bimodules of Bihom-Jordan superalgebras and give some of their constructions. Finally, we define an abelian extension in order to give an application in the next section. For convenience, the sign will subsequently be omitted from the product operation of elements in $J$ .

Definition 3.1. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra. For all $\varepsilon, \gamma, \delta\in\mathcal{H}(J), \; v\in \mathcal{H}(V)$ ,

● A left Bihom-Jordan $J$ -super-module is a Bihom-super-module $(V, \phi, \psi)$ that is equipped with an even left structure map $\rho_l:J\otimes V\rightarrow V, \; \rho_l(a\otimes v) = a\cdot v$ such that $\psi$ is invertible and the following conditions hold $:$

$\begin{align} &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\gamma||\delta|}\beta^2\alpha^2(\delta)\cdot(\alpha\beta(\varepsilon)\alpha^2(\gamma)\cdot\phi^3(v))\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\varepsilon||\delta|}\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma)\cdot(\beta\alpha^2(\delta)\cdot\phi^3(v)), \end{align}$

(3.1)

$\begin{align} &\beta^2\alpha^2(\delta)\cdot(\beta\alpha^2(\gamma)\cdot(\alpha^2(\varepsilon)\cdot\psi^{-1}\phi^3(v)))\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|+|\gamma||\delta|}\beta^2\alpha^2(\varepsilon)\cdot(\beta\alpha^2(\gamma)\cdot(\alpha^2(\delta)\cdot\psi^{-1}\phi^3(v)))\\ &+(-1)^{|\varepsilon||\delta|+|\varepsilon||\gamma|}((\beta^2(\varepsilon)\beta\alpha(\delta))\beta\alpha^2(\gamma))\cdot\phi^3\psi(v)\\ = &(-1)^{|\gamma||\delta|}\beta^2\alpha(\gamma)\beta\alpha^2(\delta)\cdot(\beta\alpha^2(\varepsilon)\cdot\phi^3(v))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||\delta|}\beta^2\alpha(\gamma)\beta\alpha^2(\varepsilon)\cdot(\beta\alpha^2(\delta)\cdot\phi^3(v))\\ &+(-1)^{|\varepsilon||\delta|+|\varepsilon||\gamma|}\beta^2\alpha(\varepsilon)\beta\alpha^2(\delta)\cdot(\beta\alpha^2(\gamma)\cdot\phi^3(v)). \end{align}$

(3.2)

● A right Bihom-Jordan $J$ -super-module is a Bihom-super-module $(V, \phi, \psi)$ that is equipped with an even right structure map $\rho_r:V\otimes J\rightarrow V, \; \rho_r(v\otimes a) = v\cdot a$ such that the following conditions hold $:$

$\begin{align} &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\varepsilon||\delta|}(\phi\psi^2(v)\cdot\alpha\beta(\varepsilon)\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\gamma||\delta|}(\phi\psi^2(v)\cdot\beta\alpha^2(\delta))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma). \end{align}$

(3.3)

$\begin{align} &((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|+|\gamma||\delta|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\\ &+(-1)^{|\gamma||\delta|}\phi^2\psi^2(v)\cdot(\beta\alpha(\varepsilon)\alpha^2(\delta))\alpha^3(\gamma)\\ = &(\phi\psi^2(v)\cdot\beta\alpha^2(\varepsilon))\cdot\alpha^2\beta(\gamma)\alpha^3(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\delta))\cdot\alpha^2\beta(\gamma)\alpha^3(\varepsilon)\\ &+(-1)^{|\varepsilon||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\gamma))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\delta). \end{align}$

(3.4)

Theorem 3.1. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra, $(V, \phi, \psi)$ be a Bihom-super-module and $\rho_r:V\otimes J\rightarrow V, \rho_r(v\otimes a) = v\cdot a$ be an even linear map, which satisfies the following conditions: for all $\varepsilon, \gamma\in\mathcal{H}(J), v\in \mathcal{H}(V)$ ,

$\begin{equation} \phi\rho_r = \rho_r(\phi\otimes\alpha), \; \psi\rho_r = \rho_r(\psi\otimes \beta), \end{equation}$

(3.5)

$\begin{equation} \phi(v)\cdot\beta(\varepsilon)\alpha(\gamma) = (v\cdot\beta(\varepsilon))\cdot\beta\alpha(\gamma)+(-1)^{|\varepsilon||\gamma|}(v\cdot\beta(\gamma))\cdot\alpha\beta(\varepsilon). \end{equation}$

(3.6)

Then $(V, \phi, \psi, \rho_r)$ is a right Bihom-Jordan $J$ -super-module, called a right special Bihom-Jordan $J$ -super-module.

Proof. For any $\varepsilon, \gamma, \delta\in \mathcal{H}(J), \; v\in \mathcal{H}(V)$ ,

$\begin{align*} &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\delta))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma)\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|}\phi(\psi^2(v)\cdot\beta\alpha(\delta))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma)\; \; (by\; (3.5))\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\gamma)\\ &+\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; (3.6))\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha(\delta)\alpha^2(\varepsilon))\cdot\beta\alpha^2(\gamma)\\ &-\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|+|\delta||\varepsilon|}((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\gamma)\\ &+\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; (3.6))\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\varepsilon||\delta|}(\phi\psi^2(v)\cdot\beta\alpha(\varepsilon)\alpha^2(\gamma))\cdot\beta\alpha^2(\delta). \end{align*}$

So Eq (3.3) holds. On the other hand,

$\begin{align*} &(\phi\psi^2(v)\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^2(\gamma)\alpha^3(\delta)+(-1)^{|\varepsilon||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^2(\varepsilon)\alpha^3(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^2(\gamma)\alpha^3(\varepsilon)\\ = &\phi(\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma)\alpha^3(\delta)+(-1)^{|\varepsilon||\gamma|}\phi(\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\varepsilon)\alpha^3(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}\phi(\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma)\alpha^3(\varepsilon)\; \; (by\; (3.5))\\ = &((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)+(-1)^{|\gamma||\delta|}((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\gamma)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\gamma)\\ &+(-1)^{|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; (3.6))\\ = &((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\gamma||\delta|}((\phi\psi^2(v)\cdot\beta\alpha(\varepsilon)\alpha^2(\delta))\cdot\alpha^3\beta(\gamma)\\ &-(-1)^{|\gamma||\delta|+|\varepsilon||\delta|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\gamma)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\gamma)\\ &+(-1)^{|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; (3.6))\\ = &((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\gamma||\delta|}((\phi\psi^2(v)\cdot\beta\alpha(\varepsilon)\alpha^2(\delta))\cdot\alpha^3\beta(\gamma)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\\ &+(-1)^{|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\varepsilon)\\ = &((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\gamma||\delta|}\phi^2\psi^2(v)\cdot(\beta\alpha(\varepsilon)\alpha^2(\delta))\alpha^3(\delta)\\ &-(-1)^{|\varepsilon||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^2(\varepsilon)\alpha^3(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\\ &+(-1)^{|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}((\psi^2(v)\cdot\beta\alpha(\gamma))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; (3.6))\\ = &((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\gamma||\delta|}\phi^2\psi^2(v)\cdot(\beta\alpha(\varepsilon)\alpha^2(\delta))\alpha^3(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\varepsilon||\gamma|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; (3.6)). \end{align*}$

It follows Eq (3.4).

Similarly, we have the following result.

Theorem 3.2. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra, $(V, \phi, \psi)$ be a Bihom-super-module such that $\psi$ is invertible, and $\rho_l: J\otimes V\rightarrow V$ be an even linear map given by $\rho_l(a\otimes v) = a\cdot v$ such that the following conditions hold:

$\begin{equation} \phi\rho_l = \rho_l(\alpha\otimes \phi), \; \psi\rho_l = \rho_l(\beta\otimes\psi), \end{equation}$

(3.7)

$\begin{equation} \beta(\varepsilon)\alpha(\gamma)\cdot\psi(v) = \beta\alpha(\varepsilon)\cdot(\alpha(\gamma)\cdot v)+(-1)^{|\varepsilon||\gamma|}\beta\alpha(\gamma)\cdot(\alpha(\varepsilon)\cdot v). \end{equation}$

(3.8)

Then $(V, \phi, , \psi, \rho_l)$ is a left Bihom-Jordan $J$ -super-module called a left special super-module.

Proof. Similar to the proof of Theorem 3.1, the conclusion can be proved by repeatedly using Eqs (3.7) and (3.8).

Now, we give the definition super-bimodule of a BiHom-Jordan superalgebra.

Definition 3.2. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra. A Bihom-Jordan $J$ -super-bimodule is a Bihom-super-module $(V, \phi, \psi)$ with an even left structure map $\rho_l:J\otimes V\rightarrow V, \; \rho_l(a\otimes v) = a\cdot v$ and an even right structure map $\rho_r:V\otimes J\rightarrow V, \; \rho_r(v\otimes a) = v\cdot a$ satisfying three conditions:

$\begin{equation} \rho_l(\beta\otimes\phi) = \rho_r(\psi\otimes\alpha)\tau_1, \end{equation}$

(3.9)

$\begin{equation} \circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta|(|\varepsilon|+|v|)}as_{V_{\phi, \psi}}(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \phi^2\psi(v), \alpha^3(\delta)) = 0, \end{equation}$

(3.10)

$\begin{align} &(-1)^{|\gamma||\delta|}as_{V_{\phi, \psi}}(\psi^2(v)\cdot\alpha\beta(\varepsilon), \beta\alpha^2(\gamma), \alpha^3(\delta))\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}as_{V_{\phi, \psi}}(\psi^2(v)\cdot\alpha\beta(\delta), \beta\alpha^2(\gamma), \alpha^3(\varepsilon))\\ &+(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}as_{V_{\phi, \psi}}(\mu(\beta^2(\varepsilon), \alpha\beta(\delta)), \beta\alpha^2(\gamma), \phi^3(v)) = 0. \end{align}$

(3.11)

Remark 3.1. 1) If $\alpha = \beta = {\rm{Id}}_{J}$ and $\phi = \psi = {\rm{Id}}_V$ then $V$ is reduced to the so-called Jordan supermodule of the Jordan superalgebra $(J, \mu)$ .

2) Clearly, a Bihom-Jordan A-super-bimodule is a right Bihom-Jordan super-module. Furthermore, it is a left Bihom-Jordan super-module if $\psi$ is invertible.

Example 3.1. Here are some examples of Bihom-Jordan super-bimodules.

1) Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra. Then $(J, \alpha, \beta)$ is a Bihom-Jordan $J$ -super-bimodule where the structure maps are $\rho_l = \rho_r = \mu$ . More generally, if $B$ is a Bihom-ideal of $(J, \mu, \alpha, \beta)$ , then $(B, \alpha, \beta)$ is a Bihom-Jordan $J$ -super-bimodule where the structure maps are $\rho_l(a, \varepsilon) = \mu(a, \varepsilon) = \mu(\varepsilon, a) = \rho_r(\varepsilon, a)$ , for all $(a, \varepsilon) \in \mathcal{H}(J)\times \mathcal{H}(B)$ .

2) If $(J, \mu)$ is a Jordan superalgebra and $M$ is a Jordan $J$ -super-bimodule in the usual sense, then $(M, {\rm{Id}}_M, {\rm{Id}}_M)$ is a BiHom-Jordan $J$ -super-bimodule where $(J, \mu, {\rm{Id}}_J, {\rm{Id}}_J)$ is a Bihom-Jordan superalgebra.

Theorem 3.3. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra and $(V, \phi, \psi, \rho_l, \rho_r)$ be a Bihom-Jordan $J$ -super-bimodule. Define even linear maps $\tilde{\mu}, \tilde{\alpha}$ and $\tilde{\beta}$ on $J\oplus V$ ,

● $\tilde{\mu}:(J\oplus V)^{\otimes2}\rightarrow J\oplus V, \; \tilde{\mu}(\varepsilon+u, \gamma+v): = \mu(\varepsilon, \gamma)+\varepsilon\cdot v+u\cdot \gamma$ ,

● $\tilde{\alpha}, \tilde{\beta}:(J\oplus V)\rightarrow J\oplus V$ ,

$\tilde{\alpha}(\varepsilon+u): = \alpha(\varepsilon)+\phi(v)$ and $\tilde{\beta}(\varepsilon+u): = \beta(\varepsilon)+\psi(v)$ .

Then $(J\oplus V, \tilde{\mu}, \tilde{\alpha}, \tilde{\beta})$ is a Bihom-Jordan superalgebra.

Proof. We omitted the calculation process; it is straightforward to see Bihom-super commutativity condition and Bihom-Jordan super-identity by Definition 3.2.

The next result shows that a special left and right Bihom-Jordan super-module has a Bihom-Jordan super-bimodule structure under a specific condition.

Theorem 3.4. Let $(J, \mu, \alpha, \beta)$ be a regular Bihom-Jordan superalgebra, $(V, \phi, \psi)$ be both a left and a right special BiHom-Jordan J-module with the structure maps $\rho_1$ and $\rho_2$ respectively, such that $\phi$ is invertible, and the Bihom-associativity condition holds

$\begin{equation} \rho_2\circ(\rho_1\otimes\beta) = \rho_1\circ(\alpha\otimes\rho_2). \end{equation}$

(3.12)

Define two even bilinear maps $\rho_l:J\otimes V\rightarrow V$ and $\rho_r:V\otimes J\rightarrow V$ by

$\begin{equation} \rho_l = \rho_1+\rho_2(\psi\phi^{-1}\otimes\alpha\beta^{-1})\circ\tau_1\; and\; \rho_r = \rho_1(\beta\alpha^{-1}\otimes\phi\psi^{-1})\circ\tau_2+\rho_2. \end{equation}$

(3.13)

Then $(V, \phi, \psi, \rho_l, \rho_r)$ is a Bihom-Jordan $J$ -super-bimodule.

Proof. $\rho_l$ and $\rho_r$ are even structure maps from $\rho_1$ and $\rho_2$ . We need to check out (3.9)–(3.11). First, for any $(\varepsilon, v)\in \mathcal{H}(J)\times\mathcal{H}(V)$ ,

$\begin{align*} \rho_l(\beta(\varepsilon), \phi(v))& = \beta(\varepsilon)\cdot\phi(v)+(-1)^{|a||v|}\psi\phi^{-1}(\phi(v))\cdot\alpha\beta^{-1}(\beta(\varepsilon))\\ & = \beta(\varepsilon)\cdot\phi(v)+(-1)^{|a||v|}\psi(v)\cdot\alpha(\varepsilon), \end{align*}$

$\begin{align*} \rho_r(\psi\otimes\alpha)\tau_1(\varepsilon\otimes v)& = (-1)^{|a||v|}\rho_r(\psi(v), \alpha(\varepsilon))\\ & = (-1)^{|a||v|}\psi(v)\cdot\alpha(\varepsilon)+\beta\alpha^{-1}(\alpha(\varepsilon))\cdot\phi\psi^{-1}(\phi(v))\\ & = \beta(\varepsilon)\cdot\phi(v)+(-1)^{|a||v|}\psi(v)\cdot\alpha(\varepsilon). \end{align*}$

So $\rho_l(\beta\otimes\phi) = \rho_r(\psi\otimes\alpha)\tau_1$ . Next, for any $\varepsilon, \gamma, \delta\in \mathcal{H}(J), \; v\in \mathcal{H}(V)$

$\begin{align*} &as_{V_{\phi, \psi}}(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \phi^2\psi(v), \alpha^3(\delta))\\ = &\rho_r(\rho_l(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \phi^2\psi(v)), \beta\alpha^3(\delta))-\rho_l(\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma), \rho_r(\phi^2\psi(v), \alpha^3(\delta)))\\ = &\rho_r(\beta^2(\varepsilon)\alpha\beta(\gamma)\cdot\phi^2\psi(v), \beta\alpha^3(\delta))\\ &+(-1)^{|\varepsilon||v|+|\gamma||v|}\rho_r(\phi\psi^2(v)\cdot\alpha\beta(\varepsilon)\alpha^2(\gamma), \beta\alpha^3(\delta))\\ &-(-1)^{|v||\delta|}\rho_l(\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma), \beta\alpha^2(\delta)\cdot\phi^3(v))\\ &-\rho_l(\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma), \phi^2\psi(v)\cdot\alpha^3(\delta))\; \; (by\; (3.13))\\ = &(\beta^2(\varepsilon)\alpha\beta(\gamma)\cdot\phi^2\psi(v))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\delta||v|}\alpha^2\beta^2(\delta)\cdot(\alpha\beta(\varepsilon)\alpha^2(\gamma)\cdot\phi^3(v))\\ &+(-1)^{|\varepsilon||v|+|\gamma||v|}(\phi\psi^2(v)\cdot\alpha\beta(\varepsilon)\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||v|+|\gamma||v|+|\delta||v|+|\delta||\varepsilon|+|\delta||\gamma|}\alpha^2\beta^2(\delta)\cdot(\phi^2\psi(v)\cdot\alpha^2(\varepsilon)\alpha^3\beta^{-1}(\gamma))\\ &-(-1)^{|v||\delta|}\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma)\cdot(\beta\alpha^2(\delta)\cdot\phi^3(v))\\ &-(-1)^{|v||\delta|+|\delta||\varepsilon|+|\delta||\gamma|+|v||\varepsilon|+|v||\gamma|}(\beta^2\alpha(\delta)\cdot\psi\phi^2(v))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma)\\ &-\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma)\cdot(\phi^2\psi(v)\cdot\alpha^3(\delta))\\ &-(-1)^{|v||\varepsilon|+|v||\gamma|+|\delta||\varepsilon|+|\delta||\gamma|}(\phi\psi^2(v)\cdot\alpha^2\beta(\delta))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma)\; \; (by\; (3.13))\\ = &(-1)^{|\varepsilon||v|+|\gamma||v|}(\phi\psi^2(v)\cdot\alpha\beta(\varepsilon)\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &-(-1)^{|v||\varepsilon|+|v||\gamma|+|\delta||\varepsilon|+|\delta||\gamma|}(\phi\psi^2(v)\cdot\alpha^2\beta(\delta))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||\gamma|+|\delta||v|}\alpha^2\beta^2(\delta)\cdot(\alpha\beta(\varepsilon)\alpha^2(\gamma)\cdot\phi^3(v))\\ &-(-1)^{|v||\delta|}\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma)\cdot(\beta\alpha^2(\delta)\cdot\phi^3(v))\; \; (by\; (3.12)). \end{align*}$

$\begin{align*} &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta|(|\varepsilon|+|v|)}as_{V_{\phi, \psi}}(\beta^2(\varepsilon)\alpha\beta(\gamma), \phi^2\psi(v), \alpha^3(\delta))\\ = &(-1)^{|v|(|\varepsilon|+|\gamma|+|\delta|)}\{\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\varepsilon||\delta|}(\phi\psi^2(v)\cdot\alpha\beta(\varepsilon)\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &-\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|}(\phi\psi^2(v)\cdot\beta\alpha^2(\delta))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\gamma)\}\\ &+\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\gamma|}\alpha^2\beta^2(\delta)\cdot(\alpha\beta(\varepsilon)\alpha^2(\gamma)\cdot\phi^3(v))\\ &-\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta||\varepsilon|}\alpha\beta^2(\varepsilon)\alpha^2\beta(\gamma)\cdot(\beta\alpha^2(\delta)\cdot\phi^3(v))\\ = &(-1)^{|v|(|\varepsilon|+|\gamma|+|\delta|)}0+0 = 0. \end{align*}$

Finally, to prove (3.11), let us compute each of its three terms.

$\begin{align*} &(-1)^{|\gamma||\delta|}as_{V_{\phi, \psi}}(\rho_r(\psi^2(v), \beta\alpha(\varepsilon)), \beta\alpha^2(\gamma), \alpha^3(\delta))\\ = &(-1)^{|\gamma||\delta|}as_{V_{\phi, \psi}}(\psi^2(v)\cdot\beta\alpha(\varepsilon), \beta\alpha^2(\gamma), \alpha^3(\delta))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||v|}as_{V_{\phi, \psi}}(\beta^2(\varepsilon)\cdot\phi\psi(v), \beta\alpha^2(\gamma), \alpha^3(\delta))\; \; (by\; (3.13))\\ = &(-1)^{|\gamma||\delta|}\rho_r(\rho_r(\psi^2(v)\cdot\beta\alpha(\varepsilon), \beta\alpha^2(\gamma)), \alpha^3\beta(\delta))\\ &-(-1)^{|\gamma||\delta|}\rho_r(\phi\psi^2(v)\cdot\beta\alpha^2(\varepsilon), \beta\alpha^2(\gamma)\alpha^3(\delta))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||v|}\rho_r(\rho_r(\beta^2(\varepsilon)\cdot\phi\psi(v), \beta\alpha^2(\gamma)), \alpha^3\beta(\delta))\\ &-(-1)^{|\gamma||\delta|+|\varepsilon||v|}\rho_r(\alpha\beta^2(\varepsilon)\cdot\phi^2\psi(v), \beta\alpha^2(\gamma)\alpha^3(\delta))\\ = &(-1)^{|\gamma||\delta|}\rho_r((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma), \alpha^3\beta(\delta))\\ &+(-1)^{|\gamma||\delta|+|\gamma||v|+|\varepsilon||\gamma|}\rho_r(\beta^2\alpha(\gamma)\cdot(\phi\psi(v)\cdot\alpha^2(\varepsilon)), \alpha^3\beta(\delta)\\ &-(-1)^{|\gamma||\delta|}(\phi\psi^2(v)\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^2(\gamma)\alpha^3(\delta)\\ &-(-1)^{|\gamma||\delta|+|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\beta^2\alpha(\gamma)\beta\alpha^2(\delta)\cdot(\phi^2\psi(v)\cdot\alpha^3(\varepsilon))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||v|}\rho_r((\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta\alpha^2(\gamma), \alpha^3\beta(\delta))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||v|+|\gamma||\varepsilon|+|\gamma||v|}\rho_r(\beta^2\alpha(\gamma)\cdot(\alpha\beta(\varepsilon)\cdot\phi^2(v)), \alpha^3\beta(\delta))\\ &-(-1)^{|\gamma||\delta|+|\varepsilon||v|}(\alpha\beta^2(\varepsilon)\cdot\phi^2\psi(v))\cdot\beta\alpha^2(\gamma)\alpha^3(\delta)\\ &-(-1)^{|\gamma||\delta|+|\varepsilon||v|+|\gamma||\varepsilon|+|\gamma||v|+|\delta||\varepsilon|+|\delta||v|}\beta^2\alpha(\gamma)\beta\alpha^2(\delta)\cdot(\alpha^2\beta(\gamma)\cdot\phi^3(v))\; \; (by\; (3.13))\\ = &(-1)^{|\gamma||\delta|}((\psi^2(v)\cdot\beta\alpha(\varepsilon))\cdot\beta\alpha^2(\gamma))\cdot\alpha^3\beta(\delta)\\ &+(-1)^{|\delta||\varepsilon|+|\delta||v|}\alpha^2\beta^2(\delta)\cdot((\phi\psi(v)\cdot\alpha^2(\varepsilon))\cdot\alpha^3(\gamma))\\ &+(-1)^{|\gamma||\delta|+|\gamma||v|+|\varepsilon||\gamma|}(\beta^2\alpha(\gamma)\cdot(\phi\psi(v)\cdot\alpha^2(\varepsilon)))\cdot\alpha^3\beta(\delta)\\ &+(-1)^{|\gamma||v|+|\varepsilon||\gamma|+|\delta||v|+|\delta||\varepsilon|}\alpha^2\beta^2(\delta)\cdot(\beta\alpha^2(\gamma)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\varepsilon)))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||v|}((\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta\alpha^2(\gamma))\cdot\alpha^3\beta(\delta)\\ &+(-1)^{|\varepsilon||v|+|\delta||\varepsilon|+|\delta||v|}\alpha^2\beta^2(\delta)\cdot((\alpha\beta(\varepsilon)\cdot\phi^2(v))\alpha^3(\gamma))\\ &+(-1)^{|\gamma||\delta|+|\varepsilon||v|+|\gamma||\varepsilon|+|\gamma||v|}(\beta^2\alpha(\gamma)\cdot(\alpha\beta(\varepsilon)\cdot\phi^2(v)))\cdot\alpha^3\beta(\delta)\\ &+(-1)^{|\varepsilon||v|+|\gamma||\varepsilon|+|\gamma||v|+|\delta||\varepsilon|+|\delta||v|}\alpha^2\beta^2(\delta)\cdot(\alpha^2\beta(\gamma)\cdot(\alpha^2(\varepsilon)\cdot\phi^3\psi^{-1}(v)))\\ &-(-1)^{|\gamma||\delta|}(\phi\psi^2(v)\cdot\beta\alpha^2(\varepsilon))\cdot\beta\alpha^2(\gamma)\alpha^3(\delta)\\ &-\underbrace{(-1)^{|\gamma||\delta|+|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\beta^2\alpha(\gamma)\beta\alpha^2(\delta)\cdot(\phi^2\psi(v)\cdot\alpha^3(\varepsilon))}_B\\ &-\underbrace{(-1)^{|\gamma||\delta|+|\varepsilon||v|}(\alpha\beta^2(\varepsilon)\cdot\phi^2\psi(v))\cdot\beta\alpha^2(\gamma)\alpha^3(\delta)}_J\\ &-(-1)^{|\gamma||\delta|+|\varepsilon||v|+|\gamma||\varepsilon|+|\gamma||v|+|\delta||\varepsilon|+|\delta||v|}\beta^2\alpha(\gamma)\beta\alpha^2(\delta)\cdot(\alpha^2\beta(\gamma)\cdot\phi^3(v)).\\ &\; \; (by\; (3.13)\; and\; rearranging) \end{align*}$

Observe that

$\begin{align*} J = &(-1)^{|\gamma||\delta|+|\varepsilon||v|}\phi(\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta(\alpha^2(\gamma))\alpha(\alpha^2(\delta))\\ = &(-1)^{|\gamma||\delta|+|\varepsilon||v|}((\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||v|}((\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^3(\gamma)\; \; (by\; (3.6))\\ = &(-1)^{|\gamma||\delta|+|\varepsilon||v|}((\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|\varepsilon||v|}(\alpha\beta^2(\varepsilon)\cdot(\phi\psi(v)\cdot\alpha^2(\delta)))\cdot\beta\alpha^3(\gamma)\; \; (by\; (3.12))\\ = &\underbrace{(-1)^{|\gamma||\delta|+|\varepsilon||v|}((\beta^2(\varepsilon)\cdot\phi\psi(v))\cdot\beta\alpha^2(\gamma))\cdot\beta\alpha^3(\delta)}_{J_1}\\ &+\underbrace{(-1)^{|\varepsilon||v|}\alpha^2\beta^2(\varepsilon)\cdot((\phi\psi(v)\cdot\alpha^2(\delta))\cdot\alpha^3(\gamma))}_{J_2}.\; \; (by\; (3.12)) \end{align*}$

$\begin{align*} B = &(-1)^{|\gamma||\delta|+|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\beta(\alpha\beta(\gamma))\alpha(\alpha\beta(\delta))\cdot\psi(\phi^2(v)\cdot\alpha^3\beta^{-1}(\varepsilon))\\ = &(-1)^{|\gamma||\delta|+|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\alpha^2\beta^2(\gamma)\cdot(\alpha^2\beta(\delta)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\varepsilon)))\\ &+(-1)^{|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\alpha^2\beta^2(\delta)\cdot(\alpha^2\beta(\gamma)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\varepsilon)))\; \; (by\; (3.8))\\ = &(-1)^{|\gamma||\delta|+|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\alpha^2\beta^2(\gamma)\cdot((\alpha\beta(\delta)\phi^2(v))\cdot\alpha^3(\varepsilon))\\ &+(-1)^{|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\alpha^2\beta^2(\delta)\cdot(\alpha^2\beta(\gamma)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\varepsilon)))\; \; (by\; (3.12))\\ = &\underbrace{(-1)^{|\gamma||\delta|+|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}(\alpha\beta^2(\gamma)\cdot(\alpha\beta(\delta)\cdot\phi^2(v)))\cdot\alpha^3\beta(\varepsilon)}_{B_1}\\ &+\underbrace{(-1)^{|\gamma||v|+|\gamma||\varepsilon|+|\delta||v|+|\delta||\varepsilon|}\alpha^2\beta^2(\delta)\cdot(\alpha^2\beta(\gamma)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\varepsilon)))}_{B_2}.\; \; (by\; (3.12)) \end{align*}$

We substitute $J_1+J_2$ and $B_1+B_2$ for $J$ and $B$ to obtain

Similarly, we have

$\begin{align*} &(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}as_{V_{\phi, \psi}}(\rho_r(\psi^2(v)\cdot\beta\alpha(\delta)), \beta\alpha^2(\gamma), \alpha^3(\varepsilon))\\ = &(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}((\psi^2(v)\cdot\beta\alpha(\delta))\cdot\beta\alpha^2(\gamma))\cdot\alpha^3\beta(\varepsilon)\\ &+(-1)^{|\varepsilon||v|}\alpha^2\beta^2(\varepsilon)\cdot((\phi\psi(v)\cdot\alpha^2(\delta))\cdot\alpha^3(\gamma))\\ &+(-1)^{|\gamma||v|+|\delta||\gamma|+|\varepsilon||\gamma|+|\varepsilon||\delta|}(\beta^2\alpha(\gamma)\cdot(\phi\psi(v)\cdot\alpha^2(\delta)))\cdot\alpha^3\beta(\varepsilon)\\ &+(-1)^{|\delta||v|+|\varepsilon||v|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(\delta)\phi^2(v))\cdot\alpha^3(\gamma))\\ &+(-1)^{|\delta||v|+|\gamma||\delta|+|\gamma||v|+|\varepsilon||\delta|+|\varepsilon||\gamma|}(\beta^2\alpha(\gamma)\cdot(\alpha\beta(\delta)\cdot\phi^2(v)))\cdot\alpha^3\beta(\varepsilon)\\ &+(-1)^{|\delta||v|+|\gamma||\delta|+|\gamma||v|+|\varepsilon||v|}\alpha^2\beta^2(\varepsilon)\cdot(\alpha^2\beta(\gamma)\cdot(\alpha^2(\delta)\cdot\phi^3\psi^{-1}(v)))\\ &-(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}(\phi\psi^2(v)\cdot\beta\alpha^2(\delta))\cdot\beta\alpha^2(\gamma)\alpha^3(\varepsilon)\\ &-(-1)^{|\varepsilon||v|+|\delta||v|+|\varepsilon||\gamma|+|\varepsilon||\delta|}\alpha^2\beta^2(\delta)\cdot((\phi\psi(v)\cdot\alpha^2(\varepsilon))\cdot\alpha^3(\gamma))\\ &-(-1)^{|\gamma||v|+|\gamma||\delta|+|\varepsilon||v|+|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot(\alpha\beta(\varepsilon)\cdot\phi^2(v)))\cdot\alpha^3\beta(\delta)\\ &-(-1)^{|\varepsilon||v|+|\delta||v|+|\gamma||\delta|+|\gamma||v|+|\varepsilon||\gamma|}\beta^2\alpha(\gamma)\alpha^2\beta(\varepsilon)\cdot(\alpha^2\beta(\delta)\cdot\phi^3(v)). \end{align*}$

In addition,

$\begin{align*} &(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}as_{V_{\phi, \psi}}(\beta^2(\varepsilon)\beta\alpha(\delta), \beta\alpha^2(\gamma), \phi^3(v))\\ = &(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}\rho_l((\beta^2(\varepsilon)\beta\alpha(\delta))\beta\alpha^2(\gamma), \phi^3\psi(v))\\ &-(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}\rho_l(\beta^2\alpha(\varepsilon)\beta\alpha^2(\delta), \rho_l(\beta\alpha^2(\gamma), \phi^3(v))\\ = &(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}((\beta^2(\varepsilon)\beta\alpha(\delta))\beta\alpha^2(\gamma))\cdot\phi^3\psi(v)\\ &+\phi^2\psi^2(v)\cdot((\alpha\beta(\varepsilon)\alpha^2(\delta))\alpha^3(\gamma))\\ &-(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}\rho_l(\beta^2\alpha(\varepsilon)\beta\alpha^2(\delta), \beta\alpha^2(\gamma)\cdot\phi^3(v))\\ &-(-1)^{|v||\varepsilon|+|v||\delta|}\rho_l(\beta^2\alpha(\varepsilon)\beta\alpha^2(\delta), \psi\phi^2(v)\cdot\alpha^3(\gamma))\; \; (by\; (3.13))\\ = &(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}((\beta^2(\varepsilon)\beta\alpha(\delta))\beta\alpha^2(\gamma))\cdot\phi^3\psi(v)\\ &+\phi^2\psi^2(v)\cdot((\alpha\beta(\varepsilon)\alpha^2(\delta))\alpha^3(\gamma))\\ &-(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}(\beta^2\alpha(\varepsilon)\beta\alpha^2(\delta))\cdot(\beta\alpha^2(\gamma)\cdot\phi^3(v))\\ &-\underbrace{(-1)^{|v||\gamma|+|\gamma||\varepsilon|+|\gamma||\delta|}(\beta^2\alpha(\gamma)\phi^2\psi(v))\cdot\beta\alpha^2(\varepsilon)\alpha^3(\delta)}_{D}\\ &-\underbrace{(-1)^{|v||\varepsilon|+|v||\delta|}\beta^2\alpha(\varepsilon)\beta\alpha^2(\delta)\cdot(\psi\phi^2(v)\cdot\alpha^3(\gamma))}_{C}\\ &-(-1)^{|\gamma||\varepsilon|+|\gamma||\delta|}(\psi^2\phi(v)\cdot\alpha^2\beta(\gamma))\cdot\alpha^2\beta(\varepsilon)\alpha^3(\delta).\; \; (by\; (3.13)) \end{align*}$

The same way, we replace $C$ and $D$ as follows

$\begin{align*} C = &(-1)^{|v||\varepsilon|+|v||\delta|}\beta(\alpha\beta(\varepsilon))\alpha(\alpha\beta(\delta))\cdot\psi(\phi^2(v)\cdot\alpha^3\beta^{-1}(\gamma))\\ = &(-1)^{|v||\varepsilon|+|v||\delta|}\beta^2\alpha^2(\varepsilon)\cdot(\alpha^2\beta(\delta)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\gamma)))\\ &+(-1)^{|v||\varepsilon|+|v||\delta|+|\varepsilon||\delta|}\beta^2\alpha^2(\delta)\cdot(\alpha^2\beta(\varepsilon)\cdot(\phi^2(v)\cdot\alpha^3\beta^{-1}(\gamma)))\; \; (by\; 3.8)\\ = &\underbrace{(-1)^{|v||\varepsilon|+|v||\delta|}\beta^2\alpha^2(\varepsilon)\cdot((\alpha\beta(\delta)\cdot\phi^2(v))\cdot\alpha^3(\gamma))}_{C_1}\\ &+\underbrace{(-1)^{|v||\varepsilon|+|v||\delta|+|\varepsilon||\delta|}\beta^2\alpha^2(\delta)\cdot((\alpha\beta(\varepsilon)\cdot\phi^2(v))\cdot\alpha^3(\gamma))}_{C_2}, \; \; (by\; 3.12) \end{align*}$

$\begin{align*} D = &(-1)^{|v||\gamma|+|\gamma||\varepsilon|+|\gamma||\delta|}\phi(\beta^2(\gamma)\cdot\phi\psi(v))\cdot\beta(\alpha^2(\varepsilon))\alpha(\alpha^2(\delta))\\ = &(-1)^{|v||\gamma|+|\gamma||\varepsilon|+|\gamma||\delta|}((\beta^2(\gamma)\cdot\phi\psi(v))\cdot\alpha^2\beta(\varepsilon))\cdot\beta\alpha^3(\delta)\\ &+(-1)^{|v||\gamma|+|\gamma||\varepsilon|+|\gamma||\delta|+|\varepsilon||\delta|}((\beta^2(\gamma)\cdot\phi\psi(v))\cdot\alpha^2\beta(\delta))\cdot\beta\alpha^3(\varepsilon)\; \; (by\; 3.6)\\ = &\underbrace{(-1)^{|v||\gamma|+|\gamma||\varepsilon|+|\gamma||\delta|}(\alpha\beta^2(\gamma)\cdot(\phi\psi(v)\cdot\alpha^2(\varepsilon)))\cdot\beta\alpha^3(\delta)}_{D_1}\\ &+\underbrace{(-1)^{|v||\gamma|+|\gamma||\varepsilon|+|\gamma||\delta|+|\varepsilon||\delta|}(\alpha\beta^2(\gamma)\cdot(\phi\psi(v)\cdot\alpha^2(\delta)))\cdot\beta\alpha^3(\varepsilon)}_{D_2}.\; \; (by\; 3.12) \end{align*}$

Finally, we have

$\begin{align*} &(-1)^{|\gamma||\delta|}as_{V_{\phi, \psi}}(\psi^2(v)\cdot\alpha\beta(\varepsilon), \beta\alpha^2(\gamma), \alpha^3(\delta))\\ &+(-1)^{|\varepsilon||\gamma|+|\varepsilon||\delta|}as_{V_{\phi, \psi}}(\psi^2(v)\cdot\alpha\beta(\delta), \beta\alpha^2(\gamma), \alpha^3(\varepsilon))\\ &+(-1)^{|v||\varepsilon|+|v||\gamma|+|v||\delta|}as_{V_{\phi, \psi}}(\mu(\beta^2(\varepsilon), \alpha\beta(\delta)), \beta\alpha^2(\gamma), \phi^3(v))\\ = &(-1)^{|\gamma||\delta|}(3.2)+(-1)^{|v||\varepsilon|+|\gamma||\varepsilon|+|\gamma||v|+|\delta||\varepsilon|+|\delta||v|}(3.4) = 0. \end{align*}$

Hence, we prove that $(V, \phi, \psi, \rho_l, \rho_r)$ is a Bihom-Jordan $J$ -super-bimodule.

Lemma 3.1. Let $(J, \mu, \alpha, \beta)$ be a Bihom-associative superalgebra and $(V, \phi, \psi)$ be a Bihom-super-module.

1) If $(V, \phi, \psi)$ is a right Bihom-associative $J$ -super-module with the structure map $\rho_r$ , then $(V, \phi, \psi)$ is a right special Bihom-Jordan $J^{\diamond}$ -super-module with the same structure map $\rho_r$ .

2) If $(V, \phi, \psi)$ is a left Bihom-associative $J$ -super-module with the structure map $\rho_l$ such that $\psi$ is invertible, then $(V, \phi, \psi)$ is a left special Bihom-Jordan $J^{\diamond}$ -super-module with the same structure map $\rho_l$ .

Proof. It also suffices to prove Eqs (3.6) and (3.8).

1) If $(V, \phi, \psi)$ is a right Bihom-associative $J$ -super-module with the structure map $\rho_r$ then for all $(\varepsilon, \gamma, v)\in \mathcal{H}(J)\times \mathcal{H}(J)\times \mathcal{H}(V)$ . $\phi(v)\cdot(\beta(\varepsilon)\diamond\alpha(\gamma)) = \phi(v)\cdot(\beta(\varepsilon)\alpha(\gamma)+(-1)^{|\varepsilon||\gamma|}\beta(\gamma)\alpha(\varepsilon)) = (v\cdot\beta(\varepsilon))\cdot\alpha\beta(\gamma)+(-1)^{|\varepsilon||\gamma|}(v\cdot\beta(\gamma))\cdot\alpha\beta(\varepsilon)$ . Then $(V, \phi, \psi)$ is a right special Bihom-Jordan $J^{\diamond}$ -super-module by Theorem 3.1.

2) Similarly, it is easy to obtain by Theorem 3.2.

End of lemma proof.

By Lemma 3.1 and Theorem 3.4, we obtain the following conclusion.

Proposition 3.1. Let $(J, \mu, \alpha, \beta)$ be a Bihom-associative superalgebra and $(V, \phi, \psi, \rho_1, \rho_2)$ be a Bihom-associative $J$ -super-bimodule such that $\phi$ and $\psi$ are inversible. Then $(V, \phi, \psi, \rho_l, \rho_r)$ is a Bihom-Jordan $J^{\diamond}$ -super-bimodule where $\rho_l$ and $\rho_r$ are defined as in $\rm Eq$ (3.13).

That is, a Bihom-associative $J$ -super-bimodule gives rise to a Bihom-Jordan super-bimodule for $J^{\diamond}$ .

Proposition 3.2. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra and $V_{\phi, \psi} = (V, \phi, \psi, \rho_l, \rho_r)$ be a Bihom-Jordan $J$ -super-bimodule. Then for each $n\in \mathbb{N}$ such that $\phi^n = \psi^n = {\rm{Id}}_V$ , the maps

$\begin{equation} \rho_l^{(n)} = \rho_l\circ(\alpha^n\otimes\psi^n), \end{equation}$

(3.14)

and

$\begin{equation} \rho_r^{(n)} = \rho_r\circ(\phi^n\otimes\beta^n). \end{equation}$

(3.15)

as structure maps, $(V, \phi, \psi, \rho_l^{(n)}, \rho_r^{(n)})$ is given to be a Bihom-Jordan $J$ -super-bimodule. Denoted it by $V_{\phi, \psi}^{(n)}$ .

Proof. $\rho_l$ and $\rho_n$ are easy to prove special left and right super-modules, respectively, which are also left and right super-modules, and Eq (3.9) holds in $V_{\phi, \psi}^{(n)}$ . By direct calculation, we can convert $as_{V_{\phi, \psi}^{(n)}}$ in $V_{\phi, \psi}^{(n)}$ to $as_{V_{\phi, \psi}}$ in $V_{\phi, \psi}$ , that is

$as_{V_{\phi, \psi}^{(n)}}(\beta^2(\varepsilon)\alpha\beta(\gamma), \phi^2\psi(v), \alpha^3(\delta)) = as_{V_{\phi, \psi}}(\beta^2(\alpha^n(\varepsilon))\alpha\beta(\alpha^n(\gamma)), \phi^2\psi(v), \alpha^3(\beta^n(\delta)))$

, furthermore, we have

$\begin{align*} &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\delta|(|\varepsilon|+|v|)}as_{V_{\phi, \psi}^{(n)}}(\beta^2(\varepsilon)\alpha\beta(\gamma), \phi^2\psi(v), \alpha^3(\delta))\\ = &\circlearrowleft_{\alpha^n(\varepsilon), \alpha^n(\gamma), \beta^n(\delta)}(-1)^{|\delta|(|\varepsilon|+|v|)}as_{V_{\phi, \psi}}(\beta^2(\alpha^n(\varepsilon))\alpha\beta(\alpha^n(\gamma)), \phi^2\psi(v), \alpha^3(\beta^n(\delta)))\\ = &0. \end{align*}$

Then we obtain Eq (3.10) in $V_{\phi, \psi}^{(n)}$ . Similarly, Eq (3.11) also holds in $V_{\phi, \psi}^{(n)}$ , which implies that $V_{\phi, \psi}^{(n)}$ is a Bihom-Jordan $J$ -super-bimodule.

In the sequel, we present some results of Bihom-Jordan super-bimodules constructed by Jordan super-bimodules via endomorphisms.

Theorem 3.5. Let $(J, \mu)$ be a Jordan superalgebra, $(V, \rho_l, \rho_r)$ be a Jordan $J$ -super-bimodule, $\alpha, \beta$ be endomorphisms of $J$ , which satisfies $\alpha\beta = \beta\alpha$ and $\phi, \psi$ be even linear self-maps of $V$ such that $\phi\circ\rho_l = \rho_l\circ(\alpha\otimes\phi)$ , $\phi\circ\rho_r = \rho_r\circ(\phi\otimes\alpha)$ , $\psi\circ\rho_l = \rho_l\circ(\beta\otimes\psi)$ and $\psi\circ\rho_r = \rho_r\circ(\psi\otimes\beta)$ . Denote $J_{\alpha, \beta}$ for the Bihom-Jordan superalgebra $(J, \mu_{\alpha, \beta} = \mu(\alpha\otimes\beta), \alpha, \beta)$ and $V_{\phi, \psi}$ for the Bihom-super-module $(V, \phi, \psi)$ . Define two structure maps as follows:

$\begin{equation} \tilde{\rho_l} = \rho_l(\alpha\otimes\psi)\; and\; \tilde{\rho_r} = \rho_r(\phi\otimes\beta). \end{equation}$

(3.16)

Then $V_{\phi, \psi} = (V, \phi, \psi, \tilde{\rho_l}, \tilde{\rho_r})$ is a Bihom-Jordan $J_{\alpha, \beta}$ -super-bimodule.

Proof. By direct calculation, it is easy to get $as_{V_{\phi, \psi}}(\mu_{\alpha, \beta}(\beta^2(\varepsilon), \alpha\beta(\gamma)), \phi^2\psi(v), \alpha^3(\delta)) = as_{V}(\alpha^3\beta^2(\varepsilon)\alpha^3\beta^2(\gamma), \phi^3\psi^2(v), \alpha^3\beta^2(\delta))$ , So it is clear Eqs (3.10) and (3.11) hold in $V_{\phi, \psi}$ . Thus, $(V, \phi, \psi, \tilde{\rho_l}, \tilde{\rho_r})$ is a Bihom-Jordan $J_{\alpha, \beta}$ -super-bimodule.

From Proposition 3.2 and Theorem 3.5, we have the following

Corollary 3.1. Let $(J, \mu)$ be a Jordan superalgebra, $(V, \rho_l, \rho_r)$ be a Jordan $J$ -super-bimodule, $\alpha, \beta$ be endomorphisms of $J$ , which satify $\alpha\beta = \beta\alpha$ and $\phi, \psi$ be even linear self-maps of $V$ such that $\phi\circ\rho_l = \rho_l\circ(\alpha\otimes\phi)$ , $\phi\circ\rho_r = \rho_r\circ(\phi\otimes\alpha)$ , $\psi\circ\rho_l = \rho_l\circ(\beta\otimes\psi)$ and $\psi\circ\rho_r = \rho_r\circ(\psi\otimes\beta)$ . Denote $J_{\alpha, \beta}$ for the Bihom-Jordan superalgebra $(J, \mu_{\alpha, \beta} = \mu(\alpha\otimes\beta), \alpha, \beta)$ and $V_{\phi, \psi}$ for the Bihom-super-module $(V, \phi, \psi)$ . Define two structure maps as follows:

$\begin{equation} \tilde{\rho_l}^{(n)} = \rho_l(\alpha^{n+1}\otimes\psi)\; and\; \tilde{\rho_r}^{(n)} = \rho_r(\phi\otimes\beta^{n+1}). \end{equation}$

(3.17)

Then $V_{\phi, \psi} = (V, \phi, \psi, \tilde{\rho_l}^{(n)}, \tilde{\rho_r}^{(n)})$ is a Bihom-Jordan $J_{\alpha, \beta}$ -super-bimodule for each $n\in \mathbb{N}$ .

Definition 3.3. An abelian extension of Bihom-Jordan superalgebra is a short exact sequence of Bihom-Jordan superalgebra:

$\begin{equation*} 0 \longrightarrow (V, \phi, \psi) \stackrel{i}{\longrightarrow}(J, \mu_J, \alpha_J, \beta_J) \stackrel{\pi}{\longrightarrow} (B, \mu_B, \alpha_B, \beta_B) \longrightarrow 0. \end{equation*}$

where $(V, \phi, \psi)$ is a trivial Bihom-Jordan superalgebra, $i$ and $\pi$ are even morphisms of Bihom-superalgebras. If there exists an even morphism $s:(B, \mu_B, \alpha_B, \beta_B)\rightarrow (J, \mu_J, \alpha_J, \beta_J)$ satisfies $\pi\circ s = {\rm{Id}}_B$ . Then the abelian extension is said to be split and $s$ is called a section of $\pi$ .

4. Representation and $\mathcal{O}$ -operator

In this section, we study the representation and $\mathcal{O}$ -operator. Meanwhile, we characterize Bihom-pre-Jordan superalgebras by using $\mathcal{O}$ -operator.

Definition 4.1. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra, $V$ be a $\mathbb{Z}_2$ -graded vector spaces, $\rho:J\rightarrow {\rm{End}}(V)$ , $\phi, \psi\in {\rm{Aug}}(V)$ . Then $(V, \rho, \phi, \psi)$ is a representation of $(J, \mu, \alpha, \beta)$ , if the following conditions hold:

$\begin{equation} \phi\psi = \psi\phi, \end{equation}$

(4.1)

$\begin{align} &\rho(\mu(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \alpha^2\beta(\delta)))\phi^3\psi\\ &+(-1)^{|\delta||\gamma|}\rho(\alpha^2\beta^2(\varepsilon))\phi\psi^{-1}\rho(\alpha\beta^2(\delta))\phi\psi^{-1}\rho(\beta^2(\gamma))\phi\psi\\ &+(-1)^{|\gamma||\varepsilon|+|\delta||\varepsilon|}\rho(\alpha^2\beta^2(\gamma))\phi\psi^{-1}\rho(\alpha\beta^2(\delta))\phi\psi^{-1}\rho(\beta^2(\varepsilon))\phi\psi\\ &-\rho(\mu(\alpha\beta^2(\varepsilon), \alpha^2\beta(\gamma)))\rho(\alpha^2\beta(\delta))\phi^3\\ &-(-1)^{|\varepsilon||\delta|+|\delta||\gamma|}\rho(\mu(\alpha\beta^2(\delta), \alpha^2\beta(\varepsilon)))\phi^2\psi^{-1}\rho(\beta^2(\gamma))\phi\psi\\ &-(-1)^{|\varepsilon||\delta|+|\delta||\gamma|+|\varepsilon||\gamma|}\rho(\mu(\alpha\beta^2(\delta), \alpha^2\beta(\gamma)))\phi^2\psi^{-1}\rho(\beta^2(\varepsilon))\phi\psi\\ = &0. \end{align}$

(4.2)

$\begin{align} &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\varepsilon||\delta|}\rho(\alpha^2\beta^2(\varepsilon))\phi\psi^{-1}\rho(\mu(\beta^2(\gamma), \alpha\beta(\delta)))\phi^2\psi\\ = &\circlearrowleft_{\varepsilon, \gamma, \delta}(-1)^{|\varepsilon||\delta|}\rho(\mu(\alpha\beta^2(\varepsilon), \alpha^2\beta(\gamma)))\rho(\alpha^2\beta(\delta))\phi^3. \end{align}$

(4.3)

Example 4.1. Let $(J, \mu, \alpha, \beta)$ be a regular Bihom-Jordan superalgebra. Define ${\rm{ad}}:J\rightarrow {\rm{End}}(J)$ , for any $\varepsilon, \gamma\in \mathcal{H}(J)$ , ${\rm{ad}}(\varepsilon)\gamma = \mu(\varepsilon, \gamma)$ . Then $(J, {\rm{ad}}, \alpha, \beta)$ is a representation of $(J, \mu, \alpha, \beta)$ , which is called adjoint representation.

Proposition 4.1. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra. $(V, \rho, \phi, \psi)$ be a representation, define an even bilinear map $\mu$ and two even linear maps $\alpha$ and $\beta$ on $J\oplus V$ as follows: for any $\varepsilon, \gamma\in\mathcal{H}(J), \; a, b\in\mathcal{H}(V)$ ,

$\begin{equation*} \mu'(\varepsilon+a, \gamma+b) = \mu(\varepsilon, \gamma)+\rho(\varepsilon)b+\rho(\alpha^{-1}\beta(\gamma))\phi\psi^{-1}(a), \end{equation*}$

$\begin{equation*} (\alpha+\phi)(\varepsilon+a) = \alpha(\varepsilon)+\phi(a), \; (\beta+\psi)(\varepsilon+a) = \beta(a)+\psi(a). \end{equation*}$

Then $(J\oplus V, \mu', \alpha+\phi, \beta+\psi)$ is a Bihom-Jordan superalgebra, denoted by $J\ltimes V$ and called semidirect product.

Proof. It can be verified directly by Definition 4.1.

We also consider the split null extension on $J\ltimes V$ in Proposition 4.1.

Remark 4.1. Write elements $a+v$ of $J\oplus V$ as $(a, v)$ . There is an injective homomorphism and a surjective homomorphism of Bihom-modules, respectively, as follows:

● $i: V\rightarrow J\oplus V$ , $i(v) = (0, v)$ ,

● $\pi: J\oplus V\rightarrow$ , $\pi(a, v) = a$ .

Moreover, $i(V)$ is a Bihom-ideal of $J\oplus V$ such that $J\oplus V/{i(V)}\cong J$ . On the other hand, there is an even morphisms $\sigma: J\rightarrow J\oplus V$ given by $\sigma(a) = (a, 0)$ , which is clearly a section of $\pi$ . Therefore, we obtain the abelian split exact sequence:

Definition 4.2. A BiHom superalgebra $(J, \cdot, \alpha, \beta)$ is called a Bihom-pre-Jordan superalgebra if for all $\varepsilon, \gamma, \delta, t\in\mathcal{H}(J):$

1) $\alpha\beta = \beta\alpha$ , both $\alpha$ and $\beta$ are reversible,

$\begin{align} &((\beta^2(\varepsilon)\cdot\alpha\beta(\gamma))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(w)+(-1)^{|\varepsilon||\gamma|}((\beta^2(\gamma)\cdot\alpha\beta(\varepsilon))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(w)\\ &+(-1)^{|\delta|(|\varepsilon|+|\gamma|)}(\alpha\beta^2(\delta)\cdot(\alpha\beta(\varepsilon)\alpha^2(\gamma)))\cdot\alpha^3\beta(w)\\ &+(-1)^{|\delta|(|\varepsilon|+|\gamma|)+|\varepsilon||\gamma|}(\alpha\beta^2(\delta)\cdot(\alpha\beta(\gamma)\alpha^2(\varepsilon)))\cdot\alpha^3\beta(w)\\ &+(-1)^{|\delta||\gamma|}\alpha^2\beta^2(\varepsilon)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(\gamma)\cdot\alpha^3\beta^{-1}(w)))\\ &+(-1)^{|\delta||\varepsilon|+|\gamma||\varepsilon|}\alpha^2\beta^2(\gamma)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(\varepsilon)\cdot\alpha^3\beta^{-1}(w)))\\ &-(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(w))-(-1)^{|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(w))\\ &-(-1)^{|\varepsilon||\delta|+|\delta||\gamma|}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(w))\\ &-(-1)^{|\delta||\gamma|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(w))\\ &-(-1)^{|\gamma||\delta|+|\delta||\varepsilon|+|\gamma||\varepsilon|}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(w))\\ &-(-1)^{|\delta||\varepsilon|+|\gamma||\varepsilon|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(w))\\ = &0, \end{align}$

(4.4)

$\begin{align} &(-1)^{|w||\gamma|}\alpha^2\beta^2(w)\cdot((\alpha\beta(\varepsilon)\cdot\alpha^2(\gamma))\cdot\alpha^3(\delta))\\ &+(-1)^{|\varepsilon||\gamma|+|w||\gamma|}\alpha^2\beta^2(w)\cdot((\alpha\beta(\gamma)\cdot\alpha^2(\varepsilon))\cdot\alpha^3(\delta))\\ &+(-1)^{|\varepsilon||w|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(\gamma)\cdot\alpha^2(w))\cdot\alpha^3(\delta))\\ &+(-1)^{|\varepsilon||w|+|\gamma||w|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(w)\cdot\alpha^2(\gamma))\cdot\alpha^3(\delta))\\ &+(-1)^{|\gamma||\varepsilon|}\alpha^2\beta^2(\gamma)\cdot((\alpha\beta(w)\cdot\alpha^2(\varepsilon))\cdot\alpha^3(\delta))\\ &+(-1)^{|\gamma||\varepsilon|+|w||\varepsilon|}\alpha^2\beta^2(\gamma)\cdot((\alpha\beta(\varepsilon)\cdot\alpha^2(w))\cdot\alpha^3(\delta))\\ &-(-1)^{|w||\varepsilon|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\delta))\\ &-(-1)^{|\varepsilon||\gamma|+|w||\varepsilon|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\delta))\\ &-(-1)^{|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(\delta))\\ &-(-1)^{|\gamma||w|+|\varepsilon||\gamma|}(\alpha\beta^2(w)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(\delta))\\ &-(-1)^{|\gamma||w|}(\alpha\beta^2(w)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(\delta))\\ &-(-1)^{|w||\varepsilon|+|\gamma||w|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(\delta)). \end{align}$

(4.5)

Actually, condition 3 is equivalent to

$\begin{align*} &\circlearrowleft_{\varepsilon, \gamma, w}\{(-1)^{|\varepsilon||w|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(\gamma)\cdot\alpha^2(w))\cdot\alpha^3(\delta))\\ &+(-1)^{|\varepsilon||w|+|\gamma||w|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(w)\cdot\alpha^2(\gamma))\cdot\alpha^3(\delta))\}\\ = &\circlearrowleft_{\varepsilon, \gamma, w}\{(-1)^{|\varepsilon||w|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(w)\cdot(\delta))\\ &+(-1)^{|\varepsilon||w|+|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(w)\cdot(\delta))\}. \end{align*}$

Theorem 4.1. Let $(J, \cdot, \alpha, \beta)$ be a Bihom-pre-Jordan superalgebra, define an even bilinear operator $\mu$ : for all $\varepsilon, \gamma \in \mathcal{H}(J)$

$\begin{equation} \mu(\varepsilon, \gamma) = \varepsilon\cdot \gamma+(-1)^{|\varepsilon||\gamma|}\alpha^{-1}\beta(\gamma)\cdot\alpha\beta^{-1}(\varepsilon), \end{equation}$

(4.6)

then $(J, \bullet, \alpha, \beta)$ is a Bihom-Jordan superalgebra.

Proof. By Eq (4.6), we get

$\begin{align*} \mu(\beta(\varepsilon), \alpha(\gamma)) = &\beta(\varepsilon)\cdot \alpha(\gamma)+(-1)^{|\varepsilon||\gamma|}\beta(\gamma)\cdot\alpha(\varepsilon)\\ = &(-1)^{|\varepsilon||\gamma|}\mu(\beta(\gamma), \alpha(\varepsilon)). \end{align*}$

That is to say the Bihom-super commutativity condition holds. Next, by direct calculation,

$\begin{align*} &(-1)^{|w|(|\varepsilon|+|\delta|)}\widetilde{as}_{\alpha, \beta}(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \alpha^2\beta(\delta), \alpha^3(w))\\ = &\underline{(-1)^{|w|(|\varepsilon|+|\delta|)}((\beta^2(\varepsilon)\cdot\alpha\beta(\gamma))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(w)}_{①}\\ &\underbrace{+(-1)^{|w||\gamma|}\alpha^2\beta^2(w)\cdot((\alpha\beta(\varepsilon)\cdot\alpha^2(\gamma))\cdot\alpha^3(\delta))}_{1'}\\ &\underline{+(-1)^{|w|(|\varepsilon|+|\delta|)+|\delta|(|\varepsilon|+|\gamma|)}(\alpha\beta^2(\delta)\cdot(\alpha\beta(\varepsilon)\cdot\alpha^2(\gamma)))\cdot\alpha^3\beta(w)}_{②}\\ &+(-1)^{|w||\gamma|+|\delta|(|\varepsilon|+|\gamma|)}\alpha^2\beta^2(w)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(\varepsilon)\cdot\alpha^3\beta^{-1}(\gamma)))\\ &\underline{-(-1)^{|w|(|\varepsilon|+|\delta|)}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(w))}_{③}\\ &-(-1)^{|w|(|\delta|+|\gamma|)+|\delta|(|\varepsilon|+|\gamma|)}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(\gamma))\\ &\underbrace{-(-1)^{|w||\varepsilon|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\delta))}_{2'}\\ &-(-1)^{|w||\gamma|+|\delta|(|\varepsilon|+|\gamma|)}(\alpha\beta^2(w)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(\gamma))\\ &\underline{+(-1)^{|w|(|\varepsilon|+|\delta|)+|\varepsilon||\gamma|}((\beta^2(\gamma)\cdot\alpha\beta(\varepsilon))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(w)}_{④}\\ &\underbrace{+(-1)^{|w||\gamma|+|\varepsilon||\gamma|}\alpha^2\beta^2(w)\cdot((\alpha\beta(\gamma)\cdot\alpha^2(\varepsilon))\cdot\alpha^3(\delta))}_{3'}\\ &\underline{+(-1)^{|w|(|\varepsilon|+|\delta|)+|\delta|(|\varepsilon|+|\gamma|)+|\varepsilon||\gamma|}(\alpha\beta^2(\delta)\cdot(\alpha\beta(\gamma)\cdot\alpha^2(\varepsilon)))\cdot\alpha^3\beta(w)}_{⑤}\\ &+(-1)^{|w||\gamma|+|\delta|(|\varepsilon|+|\gamma|)+|\varepsilon||\gamma|}\alpha^2\beta^2(w)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(\gamma)\cdot\alpha^3\beta^{-1}(\varepsilon)))\\ &\underline{-(-1)^{|w|(|\varepsilon|+|\delta|)+|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(w))}_{⑥}\\ &-(-1)^{|w|(|\delta|+|\gamma|)+|\delta|(|\varepsilon|+|\gamma|)+|\varepsilon||\gamma|}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(\varepsilon))\\ &\underbrace{-(-1)^{|w||\varepsilon|+|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\delta))}_{4'}\\ &-(-1)^{|w||\gamma|+|\delta|(|\varepsilon|+|\gamma|)+|\varepsilon||\gamma|}(\alpha\beta^2(w)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(\varepsilon)), \end{align*}$

$\begin{align*} &(-1)^{|\varepsilon|(|\gamma|+|\delta|)}\widetilde{as}_{\alpha, \beta}(\mu(\beta^2(\gamma), \alpha\beta(w)), \alpha^2\beta(\delta), \alpha^3(\varepsilon))\\ = &(-1)^{|\varepsilon|(|\gamma|+|\delta|)}((\beta^2(\gamma)\cdot\alpha\beta(w))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(\varepsilon)\\ &\underbrace{+(-1)^{|\varepsilon||w|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(\gamma)\cdot\alpha^2(w))\cdot\alpha^3(\delta))}_{5'}\\ &+(-1)^{|\varepsilon|(|\gamma|+|\delta|)+|\delta|(|w|+|\gamma|)}(\alpha\beta^2(\delta)\cdot(\alpha\beta(\gamma)\cdot\alpha^2(w)))\cdot\alpha^3\beta(\varepsilon)\\ &\underline{+(-1)^{|\varepsilon||w|+|\delta|(|\gamma|+|w|)}\alpha^2\beta^2(\varepsilon)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(\gamma)\cdot\alpha^3\beta^{-1}(w)))}_{⑦}\\ &-(-1)^{|\varepsilon|(|\gamma|+|\delta|)}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(\varepsilon))\\ &\underline{-(-1)^{|\varepsilon|(|\delta|+|w|)+|\delta|(|\gamma|+|w|)}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(w))}_{⑧}\\ &\underbrace{-(-1)^{|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(\delta))}_{6'}\\ &\underline{-(-1)^{|\varepsilon||w|+|\delta|(|\gamma|+|w|)}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(w))}_{⑨}\\ &+(-1)^{|\varepsilon|(|\gamma|+|\delta|)+|\gamma||w|}((\beta^2(w)\cdot\alpha\beta(\gamma))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(\varepsilon)\\ &\underbrace{+(-1)^{|\varepsilon||w|+|\gamma||w|}\alpha^2\beta^2(\varepsilon)\cdot((\alpha\beta(w)\cdot\alpha^2(\gamma))\cdot\alpha^3(\delta))}_{7'}\\ &+(-1)^{|\varepsilon|(|\gamma|+|\delta|)+|\delta|(|\gamma|+|w|)+|\gamma||w|}(\alpha\beta^2(\delta)\cdot(\alpha\beta(w)\cdot\alpha^2(\gamma)))\cdot\alpha^3\beta(\varepsilon)\\ &+(-1)^{|w||\gamma|+|\delta|(|\gamma|+|w|)+|\varepsilon||w|}\alpha^2\beta^2(\varepsilon)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(w)\cdot\alpha^3\beta^{-1}(\gamma)))\\ &-(-1)^{|\varepsilon|(|\gamma|+|\delta|)+|\gamma||w|}(\alpha\beta^2(w)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(\varepsilon))\\ &-(-1)^{|\varepsilon|(|\delta|+|w|)+|\delta|(|\gamma|+|w|)+|\gamma||w|}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\gamma))\\ &\underbrace{-(-1)^{|w||\gamma|+|\varepsilon||\gamma|}(\alpha\beta^2(w)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(\delta))}_{8'}\\ &-(-1)^{|w||\gamma|+|\delta|(|\gamma|+|w|)+|\varepsilon||w|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\gamma)), \end{align*}$

$\begin{align*} &(-1)^{|\gamma|(|w|+|\delta|)}\widetilde{as}_{\alpha, \beta}(\mu(\beta^2(w), \alpha\beta(\varepsilon)), \alpha^2\beta(\delta), \alpha^3(\gamma))\\ = &(-1)^{|\gamma|(|w|+|\delta|)}((\beta^2(w)\cdot\alpha\beta(\varepsilon))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(\gamma)\\ &\underbrace{+(-1)^{|\gamma||\varepsilon|}\alpha^2\beta^2(\gamma)\cdot((\alpha\beta(w)\cdot\alpha^2(\varepsilon))\cdot\alpha^3(\delta))}_{9'}\\ &+(-1)^{|\gamma|(|w|+|\delta|)+|\delta|(|w|+|\varepsilon|)}(\alpha\beta^2(\delta)\cdot(\alpha\beta(w)\cdot\alpha^2(\varepsilon)))\cdot\alpha^3\beta(\gamma)\\ &+(-1)^{|\gamma||\varepsilon|+|\delta|(|w|+|\varepsilon|)}\alpha^2\beta^2(\gamma)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(w)\cdot\alpha^3\beta^{-1}(\varepsilon)))\\ &-(-1)^{|\gamma|(|w|+|\delta|)}(\alpha\beta^2(w)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(\gamma))\\ &-(-1)^{|\gamma|(|\delta|+|\varepsilon|)+|\delta|(|w|+|\varepsilon|)}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\varepsilon))\\ &\underbrace{-(-1)^{|\gamma||w|}(\alpha\beta^2(w)\cdot\alpha^2\beta(\varepsilon))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(\delta))}_{10'}\\ &-(-1)^{|\gamma||\varepsilon|+|\delta|(|w|+|\varepsilon|)}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(w)\cdot\alpha^3(\varepsilon))\\ &+(-1)^{|\gamma|(|w|+|\delta|)+|w||\varepsilon|}((\beta^2(\varepsilon)\cdot\alpha\beta(w))\cdot\alpha^2\beta(\delta))\cdot\alpha^3\beta(\gamma)\\ &\underbrace{+(-1)^{|w||\varepsilon|+|\varepsilon||\gamma|}\alpha^2\beta^2(\gamma)\cdot((\alpha\beta(\varepsilon)\cdot\alpha^2(w))\cdot\alpha^3(\delta))}_{11'}\\ &+(-1)^{|\gamma|(|w|+|\delta|)+|\delta|(|w|+|\varepsilon|)+|w||\varepsilon|}(\alpha\beta^2(\delta)\cdot(\alpha\beta(\varepsilon)\cdot\alpha^2(w)))\cdot\alpha^3\beta(\gamma)\\ &\underline{+(-1)^{|w||\varepsilon|+|\delta|(|w|+|\varepsilon|)+|\varepsilon||\gamma|}\alpha^2\beta^2(\gamma)\cdot(\alpha^2\beta(\delta)\cdot(\alpha^2(\varepsilon)\cdot\alpha^3\beta^{-1}(w)))}_{⑩}\\ &-(-1)^{|\gamma|(|w|+|\delta|)+|w||\varepsilon|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\delta)\cdot\alpha^3(\gamma))\\ &\underline{-(-1)^{|\gamma|(|\delta|+|\varepsilon|)+|\delta|(|w|+|\varepsilon|)+|w||\varepsilon|}(\alpha\beta^2(\delta)\cdot\alpha^2\beta(\gamma))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(w))}_{⑪}\\ &\underbrace{-(-1)^{|w||\varepsilon|+|\gamma||w|}(\alpha\beta^2(\varepsilon)\cdot\alpha^2\beta(w))\cdot(\alpha^2\beta(\gamma)\cdot\alpha^3(\delta))}_{12'}\\ &\underline{-(-1)^{|w||\varepsilon|+|\delta|(|w|+|\varepsilon|)+|\varepsilon||\gamma|}(\alpha\beta^2(\gamma)\cdot\alpha^2\beta(\delta))\cdot(\alpha^2\beta(\varepsilon)\cdot\alpha^3(w))}_{⑫}, \end{align*}$

By Eq (4.4), we have $①+\cdots+⑫ = 0,$ and by Eq (4.5), $1'+\cdots+12' = 0$ , Analogously, the conclusion that the sum is zero can be obtained by recombining the remaining unmarked formulas, which implies

$\circlearrowleft_{\varepsilon, \gamma, w}(-1)^{|w|(|\varepsilon|+|\delta|)}\widetilde{as}_{\alpha, \beta}(\mu(\beta^2(\varepsilon), \alpha\beta(\gamma)), \alpha^2\beta(\delta), \alpha^3(w)) = 0.$

This completes the proof.

Definition 4.3. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra, and $(V, \rho, \phi, \psi)$ be its representation. If even the linear map $T: J\rightarrow V$ satisfies the following conditions: for all $a, b \in\mathcal{H}(V)$ ,

$\begin{equation*} \mu(T(a), T(b)) = T(\rho(T(a))b+(-1)^{|a||b|}\rho(T(\phi^{-1}\psi(b)))\phi\psi^{-1}(a)), \end{equation*}$

$\begin{equation*} T\circ\phi = \alpha\circ T, \; T\circ\psi = \beta\circ T, \end{equation*}$

then $T$ is called $\mathcal{O}$ -operator with respect to representation.

Definition 4.4. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra and $\alpha, \beta$ be reversible, $R\in {\rm{gl}}(J)$ , $R$ is called Rota–Baxter operator on $J$ , if for all $\varepsilon, \gamma\in \mathcal{H}(J)$ , the following conditions hold:

$\begin{equation*} \mu(R(\varepsilon), R(\gamma)) = R(\mu(R(\varepsilon), \gamma)+(-1)^{|\varepsilon||\gamma|}\mu(R(\alpha^{-1}\beta(\gamma)), \alpha\beta^{-1}(\varepsilon))), \end{equation*}$

$\begin{equation*} R\circ\alpha = \alpha\circ R, \; R\circ\beta = \beta\circ R. \end{equation*}$

Theorem 4.2. Let $(J, \mu, \alpha, \beta)$ be a Bihom-Jordan superalgebra, $(V, \rho, \phi, \psi)$ be its representation, and $T$ be an $\mathcal{O}$ -operator with respect to representation. Define bilinear operation $\cdot$ on $V$ :

$\begin{equation*} a\cdot b = \rho(T(a))b, \; \forall a, b\in\mathcal{H}(V). \end{equation*}$

Then $(V, \cdot, \phi, \psi)$ is a Bihom-pre-Jordan superalgebra.

Proof. Actually, it can be calculated directly from Definition 4.1.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

This research is supported by NNSF of China (Nos. 12271085 and 12071405). The authors would like to thank the reviewers for valuable suggestions to improve the paper.

Conflict of interest

The authors declare there are no conflicts of interest.

References

[1]	Y. C. Wang, C. H. Cheng, A multiple combined method for rebalancing medical data with class imbalances, Comput. Biol. Med., 134 (2021), 104527. https://doi.org/10.1016/j.compbiomed.2021.104527 doi: 10.1016/j.compbiomed.2021.104527
[2]	M. Zareapoor, P. Shamsolmoali, J. Yang, Oversampling adversarial network for class-imbalanced fault diagnosis, Mech. Syst. Signal Process., 149 (2021), 107175. https://doi.org/10.1016/j.ymssp.2020.107175 doi: 10.1016/j.ymssp.2020.107175
[3]	S. Fan, X. Zhang, Z. Song, Imbalanced sample selection with deep reinforcement learning for fault diagnosis, IEEE Trans. Ind. Inf., 18 (2021), 2518–2527. https://doi.org/10.1109/TⅡ.2021.3100284 doi: 10.1109/TⅡ.2021.3100284
[4]	N. Gupta, V. Jindal, P. Bedi, LIO-IDS: Handling class imbalance using LSTM and improved one-vs-one technique in intrusion detection system, Comput. Networks, 192 (2021), 108076. https://doi.org/10.1016/j.comnet.2021.108076 doi: 10.1016/j.comnet.2021.108076
[5]	Z. Li, M. Huang, G. Liu, C. Jiang, A hybrid method with dynamic weighted entropy for handling the problem of class imbalance with overlap in credit card fraud detection, Expert Syst. Appl., 175 (2021), 114750. https://doi.org/10.1016/j.eswa.2021.114750 doi: 10.1016/j.eswa.2021.114750
[6]	A. G. C. de Sá, A. C. M. Pereira, G. L. Pappa, A customized classification algorithm for credit card fraud detection, Eng. Appl. Artif. Intell., 72 (2018), 21–29. https://doi.org/10.1016/j.engappai.2018.03.011 doi: 10.1016/j.engappai.2018.03.011
[7]	B. Guo, C. Zhang, J. Liu, X. Ma, Improving text classification with weighted word embeddings via a multi-channel TextCNN model, Neurocomputing, 363 (2019), 366–374. https://doi.org/10.1016/j.neucom.2019.07.052 doi: 10.1016/j.neucom.2019.07.052
[8]	Y. Li, H. Guo, Q. Zhang, M. Gu, J. Yang, Imbalanced text sentiment classification using universal and domain-specific knowledge, Knowl. Based Syst., 160 (2018), 1–15. https://doi.org/10.1016/j.knosys.2018.06.019 doi: 10.1016/j.knosys.2018.06.019
[9]	L. Dou, F. Yang, L. Xu, Q. Zou, A comprehensive review of the imbalance classification of protein post-translational modifications, Briefings Bioinf., 22 (2021), bbab089. https://doi.org/10.1093/bib/bbab089 doi: 10.1093/bib/bbab089
[10]	M. Neyestani, F. Sarmadian, A. Jafari, A. Keshavarzi, A. Sharififar, Digital mapping of soil classes using spatial extrapolation with imbalanced data, Geoderma Reg., 26 (2021), e00422. https://doi.org/10.1016/j.geodrs.2021.e00422 doi: 10.1016/j.geodrs.2021.e00422
[11]	S. Ketu, P. K. Mishra, Scalable kernel-based SVM classification algorithm on imbalance air quality data for proficient healthcare, Complex Intell. Syst., 7 (2021), 2597–2615. https://doi.org/10.1007/s40747-021-00435-5 doi: 10.1007/s40747-021-00435-5
[12]	Y. S. Li, H. Chi, X. Y. Shao, M. L. Qi, B. G. Xu, A novel random forest approach for imbalance problem in crime linkage, Knowl. Based Syst., 195 (2020), 105738. https://doi.org/10.1016/j.knosys.2020.105738 doi: 10.1016/j.knosys.2020.105738
[13]	P. Soltanzadeh, M. Hashemzadeh, RCSMOTE: Range-Controlled synthetic minority over-sampling technique for handling the class imbalance problem, Inf. Sci, 542 (2021), 92–111. https://doi.org/10.1016/j.ins.2020.07.014 doi: 10.1016/j.ins.2020.07.014
[14]	S. Susan, A. Kumar, The balancing trick: optimized sampling of imbalanced datasets—a brief survey of the recent State of the Art, Eng. Rep., 3 (2021), e12298. https://doi.org/10.1002/eng2.12298 doi: 10.1002/eng2.12298
[15]	H. Guan, Y. Zhang, M. Xian, H. D. Cheng, X. Tang, SMOTE-WENN: Solving class imbalance and small sample problems by oversampling and distance scaling, Appl. Intell., 51 (2021), 1394–1409. https://doi.org/10.1007/s10489-020-01852-8 doi: 10.1007/s10489-020-01852-8
[16]	H. Yu, C. Sun, X. Yang, S. Zheng, H. Zou, Fuzzy support vector machine with relative density information for classifying imbalanced data, IEEE Trans. Fuzzy Syst., 27 (2019), 2353–2367. https://doi.org/10.1109/TFUZZ.2019.2898371 doi: 10.1109/TFUZZ.2019.2898371
[17]	H. Zhang, L. Jiang, C. Li, CS-ResNet: Cost-sensitive residual convolutional neural network for PCB cosmetic defect detection, Expert Syst. Appl., 185 (2021), 115673. https://doi.org/10.1016/j.eswa.2021.115673 doi: 10.1016/j.eswa.2021.115673
[18]	W. Pei, B. Xue, L. Shang, M. Zhang, Genetic programming for development of cost-sensitive classifiers for binary high-dimensional unbalanced classification, Appl. Soft Comput., 101 (2021), 106989. https://doi.org/10.1016/j.asoc.2020.106989 doi: 10.1016/j.asoc.2020.106989
[19]	Z. H. Zhou, X. Y. Liu, Training cost-sensitive neural networks with methods addressing the class imbalance problem, IEEE Trans. Knowl. Data Eng., 18 (2006), 63–77. https://doi.org/10.1109/TKDE.2006.17 doi: 10.1109/TKDE.2006.17
[20]	W. J. Lin, J. J. Chen, Class-imbalanced classifiers for high-dimensional data, Briefings Bioinf., 14 (2012), 13–26. https://doi.org/10.1093/bib/bbs006 doi: 10.1093/bib/bbs006
[21]	H. Yu, C. Mu, C. Sun, W. Yang, X. Yang, X. Zuo, Support vector machine-based optimized decision threshold adjustment strategy for classifying imbalanced data, Knowl. Based Syst., 76 (2015), 67–78. https://doi.org/10.1016/j.knosys.2014.12.007 doi: 10.1016/j.knosys.2014.12.007
[22]	H. Yu, C. Sun, X. Yang, W. Yang, J. Shen, Y. Qi, ODOC-ELM: Optimal decision outputs compensation-based extreme learning machine for classifying imbalanced data, Knowl. Based Syst., 92 (2016), 55–70. https://doi.org/10.1016/j.knosys.2015.10.012 doi: 10.1016/j.knosys.2015.10.012
[23]	K. Yang, Z. Yu, C. L. P. Chen, W. Cao, J. You, H. S. Wong, Incremental weighted ensemble broad learning system for imbalanced data, IEEE Trans. Knowl. Data Eng., 34 (2021), 5809–5824. https://doi.org/10.1109/TKDE.2021.3061428 doi: 10.1109/TKDE.2021.3061428
[24]	Z. Qi, Z. Zhang, A hybrid cost-sensitive ensemble for heart disease prediction, BMC Med. Inf. Decis. Making, 21 (2021), 1–18. https://doi.org/10.21203/rs.2.22946/v1 doi: 10.21203/rs.2.22946/v1
[25]	H. Du, Y. Zhang, K. Gang, L. Zhang, Y. C. Chen, Online ensemble learning algorithm for imbalanced data stream, Appl. Soft Comput., 107 (2021), 107378. https://doi.org/10.1016/j.asoc.2021.107378 doi: 10.1016/j.asoc.2021.107378
[26]	T. Hayashi, H. Fujita, One-class ensemble classifier for data imbalance problems, Appl. Intell., 52 (2022), 17073–17089. https://doi.org/10.1007/s10489-021-02671-1 doi: 10.1007/s10489-021-02671-1
[27]	E. Schubert, J. Sander, M. Ester, H. P. Kriegel, X. Xu, DBSCAN revisited, revisited: why and how you should (still) use DBSCAN, ACM Trans. Database Syst., 42 (2017), 1–21. https://doi.org/10.1145/3068335 doi: 10.1145/3068335
[28]	T. N. Tran, K. Drab, M. Daszykowski, Revised DBSCAN algorithm to cluster data with dense adjacent clusters, Chemom. Intell. Lab. Syst., 120 (2013), 92–96. https://doi.org/10.1016/j.chemolab.2012.11.006 doi: 10.1016/j.chemolab.2012.11.006
[29]	D. Birant, A. Kut, ST-DBSCAN: An algorithm for clustering spatial–temporal data, Data Knowl. Eng., 60 (2007), 208–221. https://doi.org/10.1016/j.datak.2006.01.013 doi: 10.1016/j.datak.2006.01.013
[30]	M. Ontivero-Ortega, A. Lage-Castellanos, G. Valente, R. Goebel, M. Valdes-Sosa, Fast Gaussian Naïve Bayes for searchlight classification analysis, Neuroimage, 163 (2017), 471–479. https://doi.org/10.1016/j.neuroimage.2017.09.001 doi: 10.1016/j.neuroimage.2017.09.001
[31]	R. D. Raizada, Y. S. Lee, Smoothness without smoothing: why Gaussian Naive Bayes is not naive for multi-subject searchlight studies, PloS One, 8 (2013), e69566. https://doi.org/10.1371/journal.pone.0069566 doi: 10.1371/journal.pone.0069566
[32]	W. S. Noble, What is a support vector machine? Nat. Biotechnol. , 24 (2006), 1565–1567. https://doi.org/10.1038/nbt1206-1565 doi: 10.1038/nbt1206-1565
[33]	C. C. Chang, C. J. Lin, LIBSVM: A library for support vector machines, ACM Trans. Intell. Syst. Technol., 2 (2011), 1–27. https://doi.org/10.1145/1961189.1961199 doi: 10.1145/1961189.1961199
[34]	G. B. Huang, Q. Y. Zhu, C. K. Siew, Extreme learning machine: theory and applications, Neurocomputing, 70 (2006), 489–501. https://doi.org/10.1016/j.neucom.2005.12.126 doi: 10.1016/j.neucom.2005.12.126
[35]	G. B. Huang, H. Zhou, X. Ding, R. Zhang, Extreme learning machine for regression and multiclass classification, IEEE Trans. Syst. Man Cybern. Part B Cybern., 42 (2011), 513–529. https://doi.org/10.1109/tsmcb.2011.2168604 doi: 10.1109/tsmcb.2011.2168604
[36]	H. Yu, J. Ni, S. Xu, B. Qin, H. Jv, Estimating harmfulness of class imbalance by scatter matrix based class separability measure, Intell. Data Anal., 18 (2014), 203–216. https://doi.org/10.3233/IDA-140637 doi: 10.3233/IDA-140637
[37]	P. E. Gill, W. Murray, M. H. Wright, Practical Optimization, Academic Press, London, 1981. https://doi.org/10.2307/3616583
[38]	H. Guo, H. Liu, C. Wu, W. Zhi, Y. Xiao, W. She, Logistic discrimination based on G-mean and F-measure for imbalanced problem, J. Intell. Fuzzy Syst., 31 (2016), 1155–1166. https://doi.org/10.3233/ifs-162150 doi: 10.3233/ifs-162150
[39]	I. Triguero, S. González, J. M. Moyano, S. G. López, J. A. Fernández, J. L. Martín, KEEL 3.0: an open source software for multi-stage analysis in data mining, Int. J. Comput. Intell. Syst., 10 (2017), 1238–1249. https://doi.org/10.2991/ijcis.10.1.82 doi: 10.2991/ijcis.10.1.82
[40]	J. Demšar, Statistical comparisons of classifiers over multiple data sets, J. Mach. Learn. Res., 7 (2006), 1–30. Available from: https://www.jmlr.org/papers/volume7/demsar06a/demsar06a.pdf.

This article has been cited by:

1.	Eric Avila-Vales, Ángel G. C. Pérez, Global properties of an age-structured virus model with saturated antibody-immune response, multi-target cells, and general incidence rate, 2021, 27, 1405-213X, 10.1007/s40590-021-00315-5
2.	Yu Yang, Lan Zou, Yasuhiro Takeuchi, Global analysis of a multi-group viral infection model with age structure, 2020, 0003-6811, 1, 10.1080/00036811.2020.1721471
3.	Huaqiao Zhang, Hong Chen, Cuicui Jiang, Kaifa Wang, Effect of explicit dynamics of free virus and intracellular delay, 2017, 104, 09600779, 827, 10.1016/j.chaos.2017.09.038
4.	Shaoli Wang, Tengfei Wang, Yuming Chen, Bifurcations and Bistability of an Age-Structured Viral Infection Model with a Nonmonotonic Immune Response, 2022, 32, 0218-1274, 10.1142/S0218127422501516
5.	Peng Wu, Hongyong Zhao, Mathematical analysis of multi-target cells and multi-strain age-structured model with two HIV infection routes, 2021, 14, 1793-5245, 10.1142/S1793524521500571
6.	Junmei Liu, Yonggang Ma, Global stability of a HIV-1 CCR5 gene therapy with suicide gene, 2024, 12, 2164-2583, 10.1080/21642583.2023.2291407
7.	A. Yu. Shcheglov, S. V. Netessov, An Inverse Problem for an Age-Structured Population Dynamics Model with Migration Flows, 2024, 17, 1995-4239, 93, 10.1134/S1995423924010099
8.	S. V. Netesov, A. Yu. Shcheglov, Inverse Problem for a Nonlinear Model of Population Dynamics with the Age Structure of Individuals and Overpopulation, 2024, 48, 0278-6419, 20, 10.3103/S0278641924010072

Reader Comments

Your name:*

Email:*
© 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Electronic Research Archive

1 1.7

Metrics

Article views(1779) PDF downloads(71) Cited by(2)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Figures and Tables

Figures(4) / Tables(8)

Electronic Research Archive

Improving performance of decision threshold moving-based strategies by integrating density-based clustering technique

Related Papers:

Abstract

1. Introduction

2. Preliminaries

3. Super-bimodules

4. Representation and $\mathcal{O}$ -operator

Use of AI tools declaration

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Catalog

Electronic Research Archive

Improving performance of decision threshold moving-based strategies by integrating density-based clustering technique

Related Papers:

Abstract

1. Introduction

2. Preliminaries

3. Super-bimodules

4. Representation and O \mathcal{O} -operator

Use of AI tools declaration

Acknowledgments

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

4. Representation and $\mathcal{O}$ -operator