Technological advancements have fundamentally transformed healthcare systems and significantly altered the interactions between medical professionals and information interfaces. This study provides a comprehensive review of the role of human–computer interaction (HCI) in healthcare, emphasizing the importance of user-centered design and the integration of emerging technologies. The paper reviews the evolution of healthcare interfaces, exploring key assumptions in foundational HCI principles and theoretical frameworks that guide the design processes. The analysis delves into the application of HCI principles, particularly user-centered approaches, to enhance feedback mechanisms, ensure consistency, and improve visibility within medical settings, all of which contribute to creating practical, usable, and memorable interfaces. The review provides an overview of successful and unsuccessful cases, demonstrating what determines efficacy in healthcare interface design. The discussion extends to cover the role of interactive interfaces in streamlining clinical workflows, facilitating communication and collaboration, and supporting informed decision-making among healthcare providers. This paper focuses on historical views and milestones of interface design, emphasizing the significance of interactive interfaces. The discussion extends to cover the role of interactive interfaces in streamlining clinical workflows, facilitating communication and collaboration, and supporting informed decision-making among healthcare providers. Further, the review concludes with an examination of future trends in HCI for healthcare, particularly focusing on the rapid integration of emerging technologies and their implications for the ongoing evolution of interface design in this critical field.
Citation: Meher Langote, Saniya Saratkar, Praveen Kumar, Prateek Verma, Chetan Puri, Swapnil Gundewar, Palash Gourshettiwar. Human–computer interaction in healthcare: Comprehensive review[J]. AIMS Bioengineering, 2024, 11(3): 343-390. doi: 10.3934/bioeng.2024018
[1] | Shanshan Liu, Abdenacer Makhlouf, Lina Song . The full cohomology, abelian extensions and formal deformations of Hom-pre-Lie algebras. Electronic Research Archive, 2022, 30(8): 2748-2773. doi: 10.3934/era.2022141 |
[2] | Dan Mao, Keli Zheng . Derivations of finite-dimensional modular Lie superalgebras ¯K(n,m). Electronic Research Archive, 2023, 31(7): 4266-4277. doi: 10.3934/era.2023217 |
[3] | Yusi Fan, Chenrui Yao, Liangyun Chen . Structure of sympathetic Lie superalgebras. Electronic Research Archive, 2021, 29(5): 2945-2957. doi: 10.3934/era.2021020 |
[4] | Ying Hou, Liangyun Chen, Keli Zheng . Super-bimodules and O-operators of Bihom-Jordan superalgebras. Electronic Research Archive, 2024, 32(10): 5717-5737. doi: 10.3934/era.2024264 |
[5] | Wen Teng, Xiansheng Dai . Nonabelian embedding tensors on 3-Lie algebras and 3-Leibniz-Lie algebras. Electronic Research Archive, 2025, 33(3): 1367-1383. doi: 10.3934/era.2025063 |
[6] | Ying Hou, Liangyun Chen . Constructions of three kinds of Bihom-superalgebras. Electronic Research Archive, 2021, 29(6): 3741-3760. doi: 10.3934/era.2021059 |
[7] | Xueru Wu, Yao Ma, Liangyun Chen . Abelian extensions of Lie triple systems with derivations. Electronic Research Archive, 2022, 30(3): 1087-1103. doi: 10.3934/era.2022058 |
[8] | Shengxiang Wang, Xiaohui Zhang, Shuangjian Guo . The Hom-Long dimodule category and nonlinear equations. Electronic Research Archive, 2022, 30(1): 362-381. doi: 10.3934/era.2022019 |
[9] |
Bing Sun, Liangyun Chen, Yan Cao .
On the universal |
[10] | Hongliang Chang, Yin Chen, Runxuan Zhang . A generalization on derivations of Lie algebras. Electronic Research Archive, 2021, 29(3): 2457-2473. doi: 10.3934/era.2020124 |
Technological advancements have fundamentally transformed healthcare systems and significantly altered the interactions between medical professionals and information interfaces. This study provides a comprehensive review of the role of human–computer interaction (HCI) in healthcare, emphasizing the importance of user-centered design and the integration of emerging technologies. The paper reviews the evolution of healthcare interfaces, exploring key assumptions in foundational HCI principles and theoretical frameworks that guide the design processes. The analysis delves into the application of HCI principles, particularly user-centered approaches, to enhance feedback mechanisms, ensure consistency, and improve visibility within medical settings, all of which contribute to creating practical, usable, and memorable interfaces. The review provides an overview of successful and unsuccessful cases, demonstrating what determines efficacy in healthcare interface design. The discussion extends to cover the role of interactive interfaces in streamlining clinical workflows, facilitating communication and collaboration, and supporting informed decision-making among healthcare providers. This paper focuses on historical views and milestones of interface design, emphasizing the significance of interactive interfaces. The discussion extends to cover the role of interactive interfaces in streamlining clinical workflows, facilitating communication and collaboration, and supporting informed decision-making among healthcare providers. Further, the review concludes with an examination of future trends in HCI for healthcare, particularly focusing on the rapid integration of emerging technologies and their implications for the ongoing evolution of interface design in this critical field.
Ternary Lie algebras appeared first in Nambu's generalization of Hamiltonian mechanics [1] which use a generalization of Poisson algebras with a ternary bracket. The structure of n-Lie algebra was studied by Filippov [2]. The theory of cohomology for first-class n-Lie superalgebras can be found in [3]. In [4], the structure and cohomology of 3-Lie algebras induced by Lie algebras have been investigated. The reference [5] constructed super 3-Lie algebras by super Lie algebras. In [6], generalizations of n-ary algebras of Lie type and associative type by twisting the identities using linear maps have been introduced. These generalizations include n-ary Hom-algebra structures generalizing the n-ary algebras of Lie type including n-ary Nambu algebras, n-ary Nambu-Lie algebras and n-ary Lie algebras, and n-ary algebras of associative type including n-ary totally associative and n-ary partially associative algebras. In [7], a method was demonstrated of how to construct ternary multiplications from the binary multiplication of a Hom-Lie algebra, a linear twisting map, and a trace function satisfying certain compatibility conditions; and it was shown that this method can be used to construct ternary Hom-Nambu-Lie algebras from Hom-Lie algebras. This construction was generalized to n-Lie algebras and n-Hom-Nambu-Lie algebras in [8]. The reference [9] constructed (n+1)-Hom-Lie algebras by n-Hom-Lie algebras. A method of constructing induced ternary Lie brackets were proposed in [10]. This method in a more general form can be described as follows: Given a Lie algebra g and a generalized trace τ:g→C on it, one can define the induced ternary Lie bracket by the formula
[x,y,z]=τ(x)[y,z]+τ(y)[z,x]+τ(z)[x,y], | (1.1) |
where x,y∈g and [⋅,⋅,⋅] is a Lie bracket of g. The structure of induced n-Lie algebras with n-Lie brackets constructed by means of a generalized trace, their cohomologies and Hom-generalizations were studied in the papers [4,8,9]. An extension of the method of constructing induced 3-Lie-algebras to 3-Lie-superalgebras by means of a generalized supertrace and possible application of this method in BRST-formalism of quantum field theory was proposed in the papers [11,12]. Later the method of constructing 3-Lie-superalgebras by means of supertrace proposed in [11,12] was extended to ternary Hom-Lie superalgebras by By me and my advisor in [13].
The reference [14] constructed 3-Lie superalgebras induced by means of derivation and involution, and it also constructed induced representation of induced 3-Lie superalgebras by means of supertrace. The paper generalizes the reference [14] to the case of 3-Hom-Lie superalgebras.
In Section 2, we construct induced 3-Hom-Lie superalgebras, whose ternary graded Hom-Lie brackets have the structure similar to (1.1). First of all, we propose two identities, which give sufficient and necessary conditions for graded skew-symmetric Hom-ternary bracket to satisfy the graded Filippov-Jacobi identity, in other words, to determine a 3-Hom-Lie superalgebra. Next we construct binary graded Hom-Lie brackets and then ternary graded Hom-Lie brackets on a commutative Hom-superalgebra with involution, where the structure of a ternary graded Hom-Lie bracket is similar to (1.1) and it is constructed by means of even degree derivation and involution. In Section 3, we construct induced representation of induced 3-Hom-Lie superalgebras by means of supertrace and prove that this is a representation of induced 3-Hom-Lie superalgebra.
Definition 2.1. [15] A Hom-superalgebra is a triple (g,μ,α) in which g=gˉ0⊕gˉ1 is a Z2-graded vector space, μ:g×g→g is an even linear map, α:g→g is an even linear map such that α∘μ=μ∘α⊗2.
Definition 2.2. [16] A 3-Hom-Lie superalgebra is a triple (g,[⋅,⋅,⋅],α1,α2) consisting of a Z2-graded vector space g=gˉ0⊕gˉ1, an even trilinear map (bracket) [⋅,⋅,⋅]:g×g×g→g and an algebra endomorphism αi:g→g(i=1,2) is an even linear map. If it satisfies the following conditions:
|[x1,x2,x3]|=|x1|+|x2|+|x3|;[x1,x2,x3]=−(−1)|x1||x2|[x2,x1,x3],[x1,x2,x3]=−(−1)|x2||x3|[x1,x3,x2];[α1(x),α2(y),[z,u,v]]=[[x,y,z],α1(u),α2(v)]+(−1)|z|(|x|+|y|)[α1(z),[x,y,u],α2(v)]+(−1)(|z|+|u|)(|x|+|y|)[α1(z),α2(u),[x,y,v]]. |
where |x| is the Z2-degree of the homogeneous element x in g.
Suppose that (g,[⋅,⋅,⋅],α1,α2) is a 3-Hom-Lie superalgebra, if α1=α2=α, it is satisfied
α[x1,x2,x3]=[α(x1),α(x2),α(x3)],∀x1,x2,x3∈g. |
Then (g,[⋅,⋅,⋅]ρ,α1,α2) is called as multiplicative.
In this section we consider a commutative Hom-superalgebra (g,μ,α) in which g=gˉ0⊕gˉ1 endowed with an involution x∈g↦x⋆∈g and an even degree derivation δ:g→g. By involution we mean an even degree linear mapping (even degree means that it preserves grading of any homogeneous element), which satisfies (x⋆)⋆=x,x∈g. By derivation of degree m, where m is an integer either ˉ0 or ˉ1, we mean linear mapping δ:g→g, which satisfies the graded Leibniz rule δ(uv)=δ(u)α(v)+(−1)mˆuˆvα(u)δ(v), where ˆx,ˆy are gradings of homogeneous elements x,y, respectively. Using an involution and derivation we construct three graded Hom-Lie brackets on Hom-superalgebra g. Furthermore, by considering a generalized supertrace we apply methods described in [5] and yield induced 3-Lie Hom-superalgebras whose bracket is defined using involution, derivation and both of them, together with generalized supertrace.
First of all, we start by proposing equivalent form to the graded Filippov-Jacobi identity. To simplify the equations, we will use the notation ^xy=ˆx+ˆy.
Proposition 2.3. Assume g=gˉ0⊕gˉ1 is a super vector space and let
[⋅,⋅,⋅]:g×g×g→g | (2.1) |
be a skew-symmetric multilinear map, such that ^[x,y,z]=^xyz.α1:g→g and α2:g→g are algebra endomorphisms. Then (g,[⋅,⋅,⋅],α1,α2) is a 3-Lie Hom-superalgebra if and only if the equalities
[[x,y,z],α1(u),α2(v)]=(−1)ˆu^xyz+ˆx^yz[[u,y,z],α1(x),α2(v)]+(−1)ˆu^yz+ˆyˆz[[x,u,z],α1(y),α2(v)]+(−1)ˆuˆz[[x,y,u],α1(z),α2(v)] | (2.2) |
and
[[x,y,z],α1(u),α2(v)]+(−1)^xy^zuv+ˆz^uv[[u,v,z],α1(x),α2(y)]−(−1)ˆyˆu+ˆyˆz+ˆzˆu[[x,u,z],α1(y),α2(v)]−(−1)ˆv^yzu+ˆx^yzu+ˆxˆv[[v,y,z],α1(u),α2(x)]−(−1)^yv^zu+ˆvˆy[[x,v,z],α1(u),α2(y)]−(−1)^xu^yz+ˆxˆu[[u,y,z],α1(x),α2(v)]=0 | (2.3) |
hold for bracket [⋅,⋅,⋅]:g×g×g→g.
Proof. Let g=gˉ0⊕gˉ1 be a super vector space and assume that (g,[⋅,⋅,⋅],α1,α2) is a 3-Lie Hom-superalgebra. If this is the case, then the Filippov-Jacobi identity must hold:
[α1(x),α2(y),[z,u,v]]=[[x,y,z],α1(u),α2(v)]+(−1)^xyˆz[α1(z),[x,y,u],α2(v)]+(−1)^xy^zu[α1(z),α2(u),[x,y,v]]. | (2.4) |
To show that identity (2.2) holds for bracket (2.1), apply Filippov-Jacobi identity (2.4) recursively to itself on the right-most bracket. This yields us the following result:
[α1(x),α2(y),[z,u,v]]=[[x,y,z],α1(u),α2(v)]+(−1)^xyˆz[α1(z),[x,y,u],α2(v)]+(−1)^xy^zu([[z,u,x],α1(y),α2(v)]+(−1)^zuˆx[α1(x),[z,u,y],α2(v)]+(−1)^zu^xy[α1(x),α2(y),[z,u,v]])=[[x,y,z],α1(u),α2(v)]+(−1)^xyˆz[α1(z),[x,y,u],α2(v)]+(−1)^xy^zu[[z,u,x],α1(y),α2(v)]+(−1)^xy^zu+^zuˆx[α1(x),[z,u,y],α2(v)]+(−1)^xy^zu+^zu^xy[α1(x),α2(y),[z,u,v]], |
which gives
[[x,y,z],α1(u),α2(v)]=−(−1)^xyˆz[α1(z),[x,y,u],α2(v)]−(−1)^xy^zu[[z,u,x],α1(y),α2(v)]−(−1)^zuˆy[α1(x),[z,u,y],α2(v)]. | (2.5) |
We need to show that the right hand sides of (2.2) and (2.5) coincide. It is indeed the case:
−(−1)^zuˆy[α1(x),[z,u,y],α2(v)]=−(−1)3(−1)^zuˆy+ˆx^zuy+ˆuˆz+ˆzˆy[[u,y,z],α1(x),α2(v)]=(−1)ˆu^xyz+ˆx^yz[[u,y,z],α1(x),α2(v)],−(−1)^xy^zu[[z,u,x],α1(y),α2(v)]=−(−1)3(−1)^xy^zu+ˆzˆu+ˆzˆx+ˆxˆu[[x,u,z],α1(y),α2(v)]=(−1)ˆu^yz+ˆyˆz[[x,u,z],α1(y),α2(v)],−(−1)^xyˆz[α1(z),[x,y,u],α2(v)]=−(−1)(−1)^xyˆz+ˆz^xyu[[x,y,u],α1(z),α2(v)]=(−1)ˆuˆz[[x,y,u],α1(z),α2(v)]. |
From those equalities we can deduce that if (g,[⋅,⋅,⋅],α1,α2) is indeed a 3-Lie Hom-superalgebra, then identity (2.2) holds for bracket [⋅,⋅,⋅].
In order to prove the identity (2.3), we can apply Filippov-Jacobi identity recursively to itself once again, but this time to both the right-most and middle brackets on the right hand side of identity (2.4).
[α1(x),α2(y),[z,u,v]]=[[x,y,z],α1(u),α2(v)]−(−1)^xyˆz+ˆv^xyu[α1(z),α2(v),[x,y,u]]+(−1)^xy^zu[α1(z),α2(u),[x,y,v]]=[[x,y,z],α1(u),α2(v)]−(−1)^xyˆz+ˆv^xyu([[z,v,x],α1(y),α2(u)]+(−1)^zvˆx[α1(x),[z,v,y],α2(u)]+(−1)^zv^xy[α1(x),α2(y),[z,v,u]])+(−1)^xy^zu([[z,u,x],α1(y),α2(v)]+(−1)^zuˆx[α1(x),[z,u,y],α2(v)]+(−1)^zu^xy[α1(x),α2(y),[z,u,v]])=[[x,y,z],α1(u),α2(v)]−(−1)^xyˆz+ˆv^xyu([[z,v,x],α1(y),α2(u)]−(−1)^xyˆz+ˆv^xyu+^zvˆx[α1(x),[z,v,y],α2(u)]−(−1)^xyˆz+ˆv^xyu+^zv^xy[α1(x),α2(y),[z,v,u]]+(−1)^xy^zu[[z,u,x],α1(y),α2(v)]+(−1)^xy^zu+^zuˆx[α1(x),[z,u,y],α2(v)]+(−1)^xy^zu+^zu^xy[α1(x),α2(y),[z,u,v]]. |
Reordering the summands in the last equation results in
[[x,y,z],α1(u),α2(v)]−(−1)^xyˆz+ˆv^xyu+^zv^xy[α1(x),α2(y),[z,v,u]]+(−1)^xy^zu[[z,u,x],α1(y),α2(v)]−(−1)^xyˆz+ˆv^xyu+^zvˆx[α1(x),[z,v,y],α2(u)]−(−1)^xyˆz+ˆv^xyu[[z,v,x],α1(y),α2(u)]+(−1)^xy^zu+^zuˆx[α1(x),[z,u,y],α2(v)]=0, |
which is exactly (2.3) once the elements are ordered accordingly within the brackets:
−(−1)^xyˆz+ˆv^xyu+^zv^xy[α1(x),α2(y),[z,v,u]]=+(−1)^xy^zuv+ˆz^uv[[u,v,z],α1(x),α2(y)]+(−1)^xy^zu[[z,u,x],α1(y),α2(v)]=−(−1)ˆyˆu+ˆyˆz+ˆzˆu[[x,u,z],α1(y),α2(v)]−(−1)^xyˆz+ˆv^xyu+^zvˆx[α1(x),[z,v,y],α2(u)]=−(−1)ˆv^yzu+ˆx^yzu+ˆxˆv[[v,y,z],α1(u),α2(x)]−(−1)^xyˆz+ˆv^xyu[[z,v,x],α1(y),α2(u)]=−(−1)^yv^zu+ˆvˆy[[x,v,z],α1(u),α2(y)]+(−1)^xy^zu+^zuˆx[α1(x),[z,u,y],α2(v)]=−(−1)^xu^yz+ˆxˆu[[u,y,z],α1(x),α2(v)]. |
This completes the proof of necessity. Sufficiency can be shown analogously.
Let g=gˉ0⊕gˉ1 be a Hom-superalgebra. We say that superalgebra g is commutative Hom-superalgebra if for any two homogeneous elements u,v∈g it holds that uv=(−1)ˆuˆv. Let m∈Z2. linear mapping δ:g→g is said to be a degree m derivation of a superalgebra g if ^δ(u)=ˆu+m, for all u∈g, and it satisfies the graded leibniz rule
δ(uv)=δ(u)α(v)+(−1)mˆuˆvα(u)δ(v). |
In case m=0, we call it even degree derivation, and otherwise, for m=1, we call it odd degree derivation. We denote the degree of δ as ˆδ. Consequently, if δ is an even degree derivation of Hom-superalgebra g, then ^δ(u)=ˆu. Or, in other words, derivation δ does not change the degree of homogeneous element u∈g. Furthermore, in case of even δ the Leibniz rule for any u,v∈g simplifies to
δ(uv)=δ(u)α(v)+α(u)δ(v). |
Mapping (⋅)⋆:g→g,u↦u⋆ is said to be an involution of a Hom-superalgebra g if it satisfies the following conditions:
(1) involution is an even degree mapping of a Hom-superalgebra g,g⋆i⊂gi,i∈Z2,^u⋆=ˆu;
(2) it is linear, (λu+μv)⋆=λu⋆+μv⋆;
(3)(⋅)⋆:g→g is its own inverse, (u⋆)⋆=u;
(4)(uv)⋆=(−1)ˆuˆvv⋆u⋆;
(5)(α(u))⋆=α(u⋆).
In the case of commutative Hom-superalgebra the condition (4) takes on the form (uv)⋆=u⋆v⋆.
Making use of involution and even degree derivation we can construct graded Hom-Lie brackets on a Hom-superalgebra g. To achieve that, let us define
[u,v]⋆=u⋆α(v)−(−1)ˆuˆvv⋆α(u); | (2.6) |
[u,v]δ=α(u)δ(v)−(−1)ˆuˆvα(v)δ(u); | (2.7) |
[u,v]⋆,δ=(α(u)−α(u⋆))δ(v)−(−1)ˆuˆv(α(v)−α(v⋆))δ(u). | (2.8) |
Proposition 2.4. Brackets (2.6) and (2.7) are graded Hom-Lie brackets. If involution (⋅)⋆:g→g and an even degree derivation δ:g→g satisfy the condition
(δ(u))⋆=−δ(u⋆), |
then bracket (2.8) is also a graded Hom-Lie bracket.
Proof. Proving the proposition is similar for all three brackets (2.6)–(2.8). Let us only observe (2.8), which is the most involved. To assure linearity, pick coefficients λ,μ∈K and homogeneous elements u,v,w∈g such that ˆv=ˆw. Note that ˆω=^λv+μw=ˆv=ˆw as both v and w are homogeneous, and calculate
[u,λv+μw]⋆,δ=(α(u)−α(u⋆))δ(λv+μw)−(−1)ˆuˆw(α(λv+μw)−α(λv+μw)⋆)δ(u)=λ(α(u)−α(u⋆))δ(v)+μ(α(u)−α(u⋆))δ(w)−(−1)ˆuˆw(λ(α(v)−α(v⋆))+μ(α(w)−α(w⋆)))δ(u)=λ(α(u)−α(u⋆))δ(v)+μ(α(u)−α(u⋆))δ(w)−(−1)ˆuˆwλ(α(v)−α(v⋆))δ(u)−(−1)ˆuˆwμ(α(w)−α(w⋆))δ(u)=λ{(α(u)−α(u⋆))δ(v)−(−1)ˆuˆw(α(v)−α(v⋆))δ(u)}+μ{(α(u)−α(u⋆))δ(w)−(−1)ˆuˆw(α(w)−α(w⋆))δ(u)}=λ[u,v]⋆,δ+μ[u,w]⋆,δ. |
Antisymmetry is a result of direct computation
[u,v]⋆,δ=(α(u)−α(u⋆))δ(v)−(−1)ˆuˆv(α(v)−α(v)⋆)δ(u)=−(−1)ˆuˆv{(α(v)−α(v⋆))δ(u)−(−1)ˆuˆv(α(u)−α(u)⋆)δ(v)}=−(−1)ˆuˆv[v,u]⋆,δ. |
In order to complete the proof, we still need to show that bracket defined by (2.8) satisfies the Hom-Jacobi identity. To achieve that, first observe that due to the commutativity of g we can write bracket [⋅,⋅]⋆,δ as
[u,v]⋆,δ=α(u)δ(v)−α(u⋆)δ(v)−δ(u)α(v)+δ(u)α(v⋆). |
Furthermore, if δ is even and (δ(u))⋆=−δ(u⋆), then we can write
[α(u),α(v)δ(w)]⋆,δ=α2(u)δ(α(v))αδ(w)+α2(u)α2(v)δ2(w)−α2(u⋆)δ(α(v))αδ(w)−α2(u⋆)α2(v)δ2(w)−δα(u)α2(v)αδ(w)−δα(u)α2(v⋆)αδ(w⋆). |
[α(u),δ(v)α(w)]⋆,δ=α2(u)δ2(v)α2(w)+α2(u)αδ(v)δα(w)−α2(u⋆)δ2(v)α2(w)−α2(u⋆)αδ(v)δα(w)−δα(u)αδ(v)α2(w)−δα(u)αδ(v⋆)α2(w⋆). |
Using the results above we can now calculate [α(u),[v,w]⋆,δ]⋆,δ:
[α(u),[v,w]⋆,δ]⋆,δ=[α(u),α(v)δ(w)]⋆,δ−[α(u),α(v⋆)δ(w)]⋆,δ−[α(u),δ(v)α(w)]⋆,δ+[α(u),δ(v)α(w⋆)]⋆,δ=α2(u)δ(α(v))αδ(w)+α2(u)α2(v)δ2(w)−α2(u⋆)δ(α(v))αδ(w)−α2(u⋆)α2(v)δ2(w)−δα(u)α2(v)αδ(w)−δα(u)α2(v⋆)αδ(w⋆)−α2(u)δ(α(v⋆))αδ(w)−α2(u)α2(v⋆)δ2(w)+α2(u⋆)δ(α(v⋆))αδ(w)+α2(u⋆)α2(v⋆)δ2(w)+δα(u)α2(v⋆)αδ(w)+δα(u)α2(v)αδ(w⋆)−α2(u)δ2(v)α2(w)−α2(u)αδ(v)δα(w)+α2(u⋆)δ2(v)α2(w)+α2(u⋆)αδ(v)δα(w)+δα(u)αδ(v)α2(w)+δα(u)αδ(v⋆)α2(w⋆)+α2(u)δ2(v)α2(w⋆)+α2(u)αδ(v)δα(w⋆)−α2(u⋆)δ2(v)α2(w⋆)−α2(u⋆)αδ(v)δα(w⋆)−δα(u)αδ(v)α2(w⋆)−δα(u)αδ(v⋆)α2(w). | (2.9) |
As a next step we can apply (2.9) also to [α(v),[w,u]⋆,δ]⋆,δ and [α(w),[u,v]⋆,δ]⋆,δ, yielding all elements on the left hand side of Jacobi identity.
[α(u),[v,w]⋆,δ]⋆,δ+(−1)ˆu^vw[α(v),[w,u]⋆,δ]⋆,δ+(−1)ˆw^uv[α(w),[u,v]⋆,δ]⋆,δ= |
+α2(u)δ(α(v))αδ(w)+α2(u)α2(v)δ2(w)−α2(u⋆)δ(α(v))αδ(w)−α2(u⋆)α2(v)δ2(w)−δα(u)α2(v)αδ(w)−δα(u)α2(v⋆)αδ(w⋆)−α2(u)δ(α(v⋆))αδ(w)−α2(u)α2(v⋆)δ2(w)+α2(u⋆)δ(α(v⋆))αδ(w)+α2(u⋆)α2(v⋆)δ2(w)+δα(u)α2(v⋆)αδ(w)+δα(u)α2(v)αδ(w⋆)−α2(u)δ2(v)α2(w)−α2(u)αδ(v)δα(w)+α2(u⋆)δ2(v)α2(w)+α2(u⋆)αδ(v)δα(w)+δα(u)αδ(v)α2(w)+δα(u)αδ(v⋆)α2(w⋆)+α2(u)δ2(v)α2(w⋆)+α2(u)αδ(v)δα(w⋆)−α2(u⋆)δ2(v)α2(w⋆)−α2(u⋆)αδ(v)δα(w⋆)−δα(u)αδ(v)α2(w⋆)−δα(u)αδ(v⋆)α2(w)}[α(u),[v,w]⋆,δ]⋆,δ |
+αδ(u)α2(v)δ(α(w))+δ2(u)α2(v)α2(w)−αδ(u)α2(v⋆)δ(α(w))−δ2(u)α2(v⋆)α2(w)−αδ(u)δα(v)α2(w)−αδ(u⋆)δα(v)α2(w⋆)−αδ(u)α2(v)δ(α(w⋆))−δ2(u)α2(v)α2(w⋆)+αδ(u)α2(v⋆)δ(α(w⋆))+δ2(u)α2(v⋆)α2(w⋆)+αδ(u)δα(v)α2(w⋆)+αδ(u⋆)δα(v)α2(w)−α2(u)α2(v)δ2(w)−δα(u)α2(v)αδ(w)+α2(u)α2(v⋆)δ2(w)+δα(u)α2(v⋆)αδ(w)+α2(u)δα(v)αδ(w)+α2(u⋆)δα(v)αδ(w⋆)+α2(u⋆)α2(v)δ2(w)+δα(u⋆)α2(v)αδ(w)−α2(u⋆)α2(v⋆)δ2(w)−δα(u⋆)α2(v⋆)αδ(w)−α2(u⋆)δα(v)αδ(w)−α2(u)δα(v)αδ(w⋆)}(−1)ˆu^vw[α(v),[w,u]⋆,δ]⋆,δ |
+δ(α(u))αδ(v)α2(w)+α2(u)δ2(v)α2(w)−δα(u)αδ(v)α2(w⋆)−α2(u)δ2(v)α2(w⋆)−α2(u)αδ(v)δα(w)−α2(u⋆)αδ(v⋆)δα(w)−δ(α(u⋆))αδ(v)α2(w)−α2(u⋆)δ2(v)α2(w)+δ(α(u⋆))αδ(v)α2(w⋆)+α2(u⋆)δ2(v)α2(w⋆)+α2(u⋆)αδ(v)δα(w)+α2(u)αδ(v⋆)δα(w)−δ2(u)α2(v)α2(w)−αδ(u)δα(v)α2(w)+δ2(u)α2(v)α2(w⋆)+αδ(u)δα(v)α2(w⋆)+αδ(u)α2(v)δα(w)+αδ(u⋆)α2(v⋆)δα(w)+δ2(u)α2(v⋆)α2(w)+αδ(u)δα(v⋆)α2(w)−δ2(u)α2(v⋆)α2(w⋆)−αδ(u)δα(v⋆)α2(w⋆)−αδ(u)α2(v⋆)δα(w)−αδ(u⋆)α2(v)δα(w)}(−1)ˆw^uv[α(w),[u,v]⋆,δ]⋆,δ |
= 0.
This means that Hom-Jacobi identity indeed holds, and [⋅,⋅]⋆,δ is a graded Hom-Lie bracket.
What the proposition tells us is that graded Hom-Lie brackets (2.6), (2.7) naturally define Hom-Lie superalgebra structures (g,[u,v]δ,α) and (g,[u,v]⋆,β) on commutative Hom-superalgebra g. In case we further assume that the derivation δ is even, and together with involution it satisfies the condition (δ(u))⋆=−δ(u⋆), then graded Hom-Lie bracket (2.8) defines another Hom-Lie superalgebra structure (g,[u,v]⋆,δ,γ) on g. Next let us consider the generalized supertraces on those Hom-Lie superalgebras:
ξ:(g,[u,v]⋆)→K, | (2.10) |
η:(g,[u,v]δ)→K, | (2.11) |
χ:(g,[u,v]⋆,δ)→K. | (2.12) |
With the help of those generalized supertraces we can induce ternary Hom-Lie superalgebras out of the binary Lie superalgebras, by following the construction described in [13].
Theorem 2.5. Let (g,μ,α) in which g=gˉ0⊕gˉ1 be a commutative Hom-superalgebra, and let (⋅)⋆:g→g and δ:g→g be involution and derivation of g, respectively. If (2.10) and (2.11) are supertraces, then graded ternary brackets [⋅,⋅,⋅]⋆:g⊕3→g and [⋅,⋅,⋅]δ:g⊕3→g, defined by
[u,v,w]⋆=ξ(u)[v,w]⋆+(−1)ˆu^vwξ(v)[w,u]⋆+(−1)ˆw^uvξ(w)[u,v]⋆, | (2.13) |
[u,v,w]δ=η(u)[v,w]δ+(−1)ˆu^vwη(v)[w,u]δ+(−1)ˆw^uvη(w)[u,v]δ | (2.14) |
are graded ternary Hom-Lie brackets. If δ is even, (δ(u))⋆=−δ(u⋆) and (2.12) is a supertrace, then graded Hom-ternary bracket [⋅,⋅,⋅]⋆:g⊕3→g, defined as
[u,v,w]⋆,δ=χ(u)[v,w]⋆,δ+(−1)ˆu^vwχ(v)[w,u]⋆,δ+(−1)ˆw^uvχ(w)[u,v]⋆,δ | (2.15) |
is ternary Hom-Lie bracket.
Consequences of the theorem are that each and every one of (g,[⋅,⋅,⋅]δ,α),(g,[⋅,⋅,⋅]⋆,β) and (g,[⋅,⋅,⋅]⋆,δ,γ) are all ternary Hom-Lie superalgebras. Of course granted that for the latter the derivation and involution satisfy the required condition.
In this section we consider 3-Hom-Lie superalgebras. It was shown [7] that the method of constructing an induced 3-Hom-Lie algebras with the help of a generalized trace can be extended to the case of Hom-Lie superalgebras by means of a concept of a generalized supertrace. Let (g,[⋅,⋅],α) in which g=gˉ0⊕gˉ1 be a Hom-Lie superalgebra. Then by generalized supertrace we mean a linear function Sτ:g→C such that it vanishes on graded Hom-Lie brachet of g, i.e., Sτ([x,y])=0, and it also vanishes when restricted to gˉ1, i.e., Sτ|gˉ1≡0.
Let (η,[⋅,⋅,⋅],α) in which η=ηˉ0⊕ηˉ1 be a 3-Hom-Lie superalgebra, (V,[⋅,⋅],α) in which V=Vˉ0⊕Vˉ1 be a super vector space and End(V) be the super vector space of endomorphisms of V. The graded commutator of two endomorphisms A,B∈End(V) of a super vector space V, defined by formula [A,B]=AB−(−1)ˆAˆBBA, where A,B are homogeneous endomorphisms and ˆA,ˆB are their gradings, determines the structure of the Lie superalgebra on End(V) and we denote this Hom-Lie superalgebra by sgl(V). There is a canonical structure of a super vector space on the tensor product η⊗η, which is defined as follows:
η⊗η=(η⊗η)ˉ0⊕(η⊗η)ˉ1, |
where (η⊗η)ˉ0=(ηˉ0⊗ηˉ0)⊕(ηˉ1⊗ηˉ1) and (η⊗η)ˉ1=(ηˉ0⊗ηˉ1)⊕(ηˉ1⊗ηˉ0). In [5], the supertrace of an endomorphism a:V→V be defined by
str(a)={Tr(a|V0)−Tr(a|V1),if a is even;0,if a is odd. |
Definition 3.1. A representation of a multiplicative 3-Hom-Lie superalgebra (g,[⋅,⋅,⋅],α) on a vector space V=Vˉ0⊕Vˉ1 with respect to a linear autmorphism β(β∈GL(V)) is a even linear map ρ:g×g→sgl(V) such that for all x,y,z,u,v∈g. We have
(1)ρ(x,y)=−(−1)ˆxˆyρ(y,x);
(2)ρ(α(x),α(y))∘β=β∘ρ(x,y);
(3)ρ(α(x),α(y))∘ρ(u,v)−(−1)^xy^uvρ(α(u),α(v))∘ρ(x,y)=ρ([x,y,u],α(v))∘β+(−1)ˆu^xyρ(α(u),[x,y,v])∘β;
(4)ρ([x,y,z],α(u))∘β=ρ(α(x),α(y))∘ρ(z,u)+(−1)ˆx^yzρ(α(y),α(z))∘ρ(x,u)+(−1)ˆz^xyρ(α(z),α(x))∘ρ(y,u). We will this representation of 3-Hom-Lie superalgebra g in a super vector space V by (g,ρ,V,β).
An evident example of a representation of 3-Hom-Lie superalgebra (g,[⋅,⋅,⋅],α) is an adjoint representation. Fix two elements x,y of a 3-Hom-Lie superalgebra g and for any u∈g, define ad(x,y)u=[x,y,u]. Thus ad:g⊗g→End(g), and (g,ad,g,α) is a representation of multiplicative 3-Hom-Lie superalgebra (g,[⋅,⋅,⋅],α) on g with respect to α. In fact, conditions (1) and (2) of Definition 3.1 immediately follow from the properties of graded ternary Lie bracket. In order to prove condition (3) of Definition 3.1, we calculate the graded commutator of two linear operators ad(x,y) and ad(u,v) by means of graded Filippov-Jacobi identity. Then we have
(ad(α(x),α(y))ad(u,v)−(−1)^xy^uvad(α(u),α(v))ad(x,y))z=[α(x),α(y)),[u,v,z]]−(−1)^xy^uv[α(u),α(v),[x,y,z]]=[[x,y,u],α(v),α(z)]+(−1)ˆu^xy[α(u),[x,y,v],α(z)]+(−1)^uv^xy[α(u),α(v),[x,y,z]]−(−1)^xy^uv[α(u),α(v),[x,y,z]]=[[x,y,u],α(v),α(z)]+(−1)ˆu^xy[α(u),[x,y,v],α(z)]=ad([x,y,u],α(v))α(z)+(−1)ˆu^xyad(α(u),[x,y,v])α(z). |
The last property of Definition 3.1 can be checked as follows:
ad([x,y,z],α(u))α(v)=[[x,y,z],α(u),α(v)]=(−1)^uv^xyz[α(u),α(v),[x,y,z]]. | (3.1) |
Now making use of graded Filippov-Jacobi identity, we obtain
[α(u),α(v),[x,y,z]]=[[u,v,x],α(y),α(z)]+(−1)ˆx^uv[α(x),[u,v,y],α(z)]+(−1)^uv^xy[α(x),α(y),[u,v,z]]. |
Now we should substitute this expression into the right hand side of formula (3.1), but first we will calculate the sign of each term in resulting expression. In the term [α(x),α(y),[u,v,z]], we will do the following permutation of the arguments [α(x),α(y),[z,u,v]], which will entail multiplicaion by (−1)ˆz^uv. Therefore, the coefficient of this term will be (−1) in power
^uv^xyz+^uv^xy+ˆz^uv=^uv^xyz+^uv^xyz=0. |
Analogously, we permute the arguments of the double bracket [[u,v,x],α(y),α(z)] as follows [α(y),α(z),[x,u,v]] and this entails the appearance of the factor (−1) in power ^yz^uvx+ˆx^uv. All together it gives the following sign
^uv^xyz+^yz^uvx+ˆx^uv=^uv^yz+^yz^uvx=^yzˆx. |
Similarly, we permute the arguments of the double bracket [α(x),[u,v,y],α(z)] to cast it into the form [α(z),α(x),[y,u,v]], then calculate the sign, which turns out be ˆz^xy. Hence, we get
ad([x,y,z],α(u))∘α=ad(α(x),α(y))ad(z,u)+(−1)ˆx^yzad(α(y),α(z))ad(x,u)+(−1)ˆz^xyad(α(z),α(x))ad(y,u). |
Now we assume that η=ηˉ0⊕ηˉ1 is a 3-Hom-Lie superalgebra, V=Vˉ0⊕Vˉ1 is a super vector space and ρ:η⊗η→End(V) is a graded skew-symmetric mapping. Consider the direct sum η⊕V. We equip it with a structure of super vector space if we associate grade ˉ0 to elements x+v(elements of even grade), where x∈ηˉ0,v∈Vˉ0, and grade ˉ1 to elements x+v(elements of odd grade), where x∈ηˉ1,v∈Vˉ1. Then η⊕V=(η⊕V)ˉ0⊕(η⊕V)ˉ1, where (η⊕V)ˉ0=ηˉ0⊕Vˉ0 and (η⊕V)ˉ1=ηˉ1⊕Vˉ1. In analogy with representations of 3-Lie algebra [8], we define the ternary bracket on the super vector space η⊕V as follows:
[x1+v1,x2+v2,x3+v3]=[x1,x2,x3]+ρ(x1,x2)v3+(−1)^x1^x2x3ρ(x2,x3)v1+(−1)^x3^x1x2ρ(x3,x1)v2. | (3.2) |
It is easy to show that this ternary bracket is a graded ternary bracket. Indeed, if we assume that all arguments of this ternary bracket are homogenous elements η⊕V, then the grading of xi+vi is equal to the grading of xi(or vi). Thus it is sufficient to show that the grading of ternary bracket (3.2) is ^x1+^x2+^x3. But this is true, because the grading of the first term [x1,x2,x3] is ^x1+^x2+^x3 and the grading of the each term of the form ρ(xi,xj)vk, where i,j,k is a cyclic permutation of 1,2,3, is the same integer, because
^xi+^xj+^vk=^xi+^xj+^xk=^x1+^x2+^x3. |
The fact that this ternary bracket has the correct graded symmetries is checked on the permutation of the first two arguments x1+v1,x2+v2. Making use of the graded symmetry properties of a graded ternary Hom-Lie bracket in η and the property (2) of Definition 3.1, we get
[x2+v2,x1+v1,x3+v3]=[x2,x1,x3]+ρ(x2,x1)v3+(−1)^x2^x1x3ρ(x1,x3)v2+(−1)^x3^x1x2ρ(x3,x2)v1=−(−1)^x1^x2[x1,x2,x3]−(−1)^x1^x2ρ(x1,x2)v3−(−1)^x1^x3ρ(x2,x3)v1−(−1)^x1^x2+^x3^x1x2ρ(x3,x1)v2=−(−1)^x1^x2[x1+v1,x2+v2,x3+v3]. |
We will need the following theorem or the induced representation, which will be discussed later in this paper.
Theorem 3.2. Let η=ηˉ0⊕ηˉ1 be a 3-Hom-Lie superalgebra, V=Vˉ0⊕Vˉ1 be a super vector space, ρ:η×η→gl(V) be a graded skew-symmetric bilinear mapping. Then (η,ρ,V) is a representation of 3-Hom-Lie superalgebras η in a super vector space V if and only if the direct sum of super vector space η⊕V equipped with the graded ternary bracket (3.2) is a 3-Hom-Lie superalgebra, or, in the words, the graded ternary bracket (3.2) satisfies the graded Filippov-Jacobi identity.
Proof. First of all, we prove that if (η,ρ,V) is a representation of a 3-Hom-Lie superalgebra η, then the graded ternary bracket (3.2) defines the structure of 3-Hom-Lie superalgebra on the direct sum of super vector spaces η⊕V. Since we have already proved that the ternary bracket (3.2) is a graded ternary bracket, the only thing we need to prove is that this bracket satisfies the graded Filippov-Jacobi identity. To this end, we introduce the following notations:
Y=y+v,Z=z+w,Xi=xi+ui, |
where i=1,2,3,y,z,xi∈η and v,w,ui∈V. We assume that all elements Y,Z,Xi are homogeneous with respect to super vector space structure of η⊕V. Evidently the grading of Y is equal to ˆy, grading of Z is ˆz and the grading of Xi is ^xi. Now our aim is to prove the graded Filippov-Jacobi identity for graded ternary bracket (3.2), that is, we need to show that the following expression
[α(Y),α(Z),[X1,X2,X3]]−[[Y,Z,X1],α(X2),α(X3)]]−(−1)^x1^yz[α(X1),[Y,Z,X2],α(X3)]−(−1)^x1x2^yz[α(X1),α(X2),[Y,Z,X3]] | (3.3) |
is equal to zero. If we expand each double ternary bracket in this expression by means of (3.2), then the η-component of resulting expression is
[α(y),α(z),[x1,x2,x3]]−[[y,z,x1],α(x2),α(x3)]]−(−1)^x1^yz[α(x1),[y,z,x2],α(x3)]−(−1)^x1x2^yz[α(x1),α(x2),[y,z,x3]] | (3.4) |
and this is zero by virtue of the graded Filippov-Jacobi identity in a 3-Lie superalgebra η. The V-component of the resulting expression can be written in the form
Ψ1(u1)+Ψ2(u2)+Ψ3(u3)+Ψv(v)+Ψw(w), | (3.5) |
where Ψ1,Ψ2,Ψ3,Ψv,Ψw∈gl(V) and
Ψ1=(−1)^x1^x2x3([ρ(y,z),ρ(x2,x3)]−ρ([y,z,x2],x3)−(−1)^x2^yzρ(x2,[y,z,x3])),Ψ2=(−1)^x3^x1x2([ρ(y,z),ρ(x3,x1)]−ρ([y,z,x3],x1)−(−1)^x3^yzρ(x3,[y,z,x1])),Ψ3=[ρ(y,z),ρ(x1,x2)]−ρ([y,z,x1],x2)−(−1)^x1^yzρ(x1,[y,z,x2]),Ψv=(−1)α(ρ([x1,x2,x3],z)−ρ(x1,x2)ρ(x3,z)−(−1)^x1^x2x3ρ(x2,x3)ρ(x1,z)−(−1)^x3^x1x2ρ(x3,x1)ρ(x2,z)),Ψw=(−1)β(ρ([x1,x2,x3],y)−ρ(x1,x2)ρ(x3,y)−(−1)^x1^x2x3ρ(x2,x3)ρ(x1,y)−(−1)^x3^x1x2ρ(x3,x1)ρ(x2,y)), |
where α=^yz^[x1,x2,x3]+ˆyˆz+1,β=^yz^[x1,x2,x3]. Expressions Ψ1,Ψ2,Ψ3 vanish by virtue of condition (3) of Definition 3.1 and expressions Ψv,Ψw by virtue of condition (4). Hence, the V-component of expression (3.3) also vanishes and this means that the graded ternary bracket (3.2) is a graded ternary Lie bracket, i.e. it satisfies the graded Filippov-Jacobi identity.
Now we prove that if the graded ternary bracket (3.2) satisfies the graded Filippov-Jacobi identity, then (g,ρ,V,α) is a representation of 3-Hom-Lie superalgebra η. By other words, we assume that the expression (3.3) vanishes. Vanishing of the η-component of this expression gives us nothing, because it reduces to the graded Filippov-Jacobi identity in η, which already holds according to our assumption that η is a 3-Hom-Lie superalgebra. From the equality to zero of the V-component, it immediately follows that the expression (3.5), where u1,u2,u3,v,w are arbitrary vectors of V, is equal to zero. Taking u2=u3=v=w=0, we get Ψ1(u1)=0 for any u1, which means that Ψ1=0. Hence, condition (3) of Definition 3.1 is satisfied. Analogously we can prove that condition (4) is also satisfied and (g,ρ,V,α) is a representation of 3-Hom-Lie superalgebra.
Recall that if a Hom-Lie algebra is equipped with a generalized trace, then one can construct the induced ternary Hom-Lie algebra (Section 3). This method of constructing the induced ternary Lie algebras can be extended by means of a generalized supertrace to Hom-Lie superalgebras, as was shown in [13]. Let g=gˉ0⊕gˉ1 be a Hom-Lie superalgebra and Sτ be a generalized supertrace of this Hom-Lie superalgebra. It can be proved then [12] that the graded ternary bracket
[x,y,z]=Sτ(x)[y,z]+(−1)ˆx^yzSτ(y)[z,x]+(−1)ˆz^xySτ(z)[x,y],x,y,z∈g. | (3.6) |
determines the 3-Lie superalgebra on the super vector space of a Lie superalgebra g. We will call this 3-Lie superalgebra constructed by means of a generalized supertrace induced 3-Lie superalgebra. Particularly, if we have a representation π:g→sgl(V) of a Lie superalgebra g, then we construct the induced 3-Lie superalgebra (3.6) by simply using the supertrace of matrices in sgl(V), i.e., we define the ternary bracket as follows:
[x,y,z]=str(π(x))[y,z]+(−1)ˆx^yzstr(π(y))[z,x]+(−1)ˆz^xystr(π(z))[x,y],x,y,z∈g. | (3.7) |
We will denote the induced 3-Lie superalgebra with graded ternary bracket (3.7) by tgπ. We can also extend the method of constructing induced representations of induced 3-Hom-Lie algebras to induced 3-Hom-Lie superalgebras.
Lemma 3.3. Let (g,[⋅,⋅],α) be a Hom-Lie superalgebra, π:g→sgl(V) be a representation of this Hom-Lie superalgebra. If we equip the super vector space g⊕V with the graded skew-symmetric bracket
[[x+v,y+w]]=[x,y]+π(x).w−(−1)ˆxˆyπ(y).v, | (3.8) |
where x,y∈g,v,w∈V and [x,y] is a Hom-Lie bracket in g, then the direct sum of two super vector spaces g⊕V becomes a Hom-Lie superalgebra, i.e. the graded skew-symmetric bracket (3.8) satisfies the graded Jacobi-identity.
Proof. The proof of this lemma is simply to verify the graded Jacobi-identity for the bracket (3.8). In order to simplify notations, we will denote μ1=^x1^x2x3,μ2=^x2^x1x3,μ3=^x3^x1x2 and v=^x1^x2+^x2^x3+^x1^x3. Then the first term of the graded Jacobi-identity can be expanded as follows:
[[[[x1+v1,x2+v2]],α(x3)+α(v3)]]=[[x1,x2],α(v3)]+π([x1,x2])α(v3)−(−1)μ3π(α(x3))α(x1).v2+(−1)vπ(α(x3))α(x2).v1. |
The second term of the identity gives
(−1)μ1[[[[x2+v2,x3+v3]],α(x1)+α(v1)]]=(−1)μ1[[x2,x3],α(x1)]+(−1)μ1π([x2,x3])α(v1)−π(α(x1))π(x2).v3+(−1)^x2^x3π(α(x1))π(x3).v2. |
The third one yields the expression
(−1)μ3[[[[x3+v3,x1+v1]],α(x2)+α(v2)]]=(−1)μ3[[x3,x1],α(x2)]+(−1)μ3π([x3,x1])α(v2)−(−1)μ1π(α(x2))π(x3).v1+(−1)^x1^x2π(α(x2))π(x1).v3. |
If we now take the sum of the left hand sides of these relations, we get the left hand side of the graded Jacobi identity for bracket (3.8). The sum of the right-hand sides of these relations gives zero. Indeed, terms underlined by a solid line add up to zero, because the graded Jacobi identity holds in the Hom-Lie superalgebra g. The terms underlined with dashed lines or not underlined at all also add up to zero due to the fact that the terms in each group simply cancel each other.
We will prove the following theorem by means of Theorem 3.2 and Lemma 3.3.
Theorem 3.4. Let (g,[⋅,⋅],α) be a Hom-Lie superalgebra and π:g→sgl(V) be a representation of g. If
Tr(π(α(v)))=Tr(π(v)) |
for arbitrary v∈g, then mapping ρ:g×g→sgl(V), defined by the formula
ρ(x,y)=str(π(x))π(y)−(−1)ˆxˆystr(π(y))π(x), | (3.9) |
where x,y∈g, is a representation of induced 3-Hom-Lie superalgebra tgπ.
Proof. According to Theorem 3.2, if we show that the graded ternary bracket (3.2), where the first term at the right hand side of (3.2) is the graded ternary bracket (3.7) and ρ is (3.9), determines 3-Hom-Lie superalgebra on the direct sum g⊕V, then we prove that (3.9) is a representation of induced 3-Hom-Lie superalgebra tgπ. Substituting (3.7) and (3.9) into (3.2), we find
[x1+v1,x2+v2,x3+v3]=strπ(x1)[[x2+v2,x3+v3]]+(−1)^x1^x2x3strπ(x2)[[x3+v3,x1+v1]]+(−1)^x3^x2x1strπ(x3)[[x1+v1,x2+v2]], | (3.10) |
According to Lemma 3.3, the bracket [[x, y]] determines the structure of Hom-Lie superalgebra on g⊕V. Thus, the graded ternary bracket (3.10) has the form of a graded ternary bracket for an induced 3-Hom-Lie superalgebra constructed with the help of a graded Hom-Lie bracket and the super trace. Hence, the graded ternary bracket (3.10) determines the induced 3-Hom-Lie superalgebra on g⊕V and therefore, (3.9) is a representation of 3-Hom-Lie superalgebra.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
The authors give special thanks to referees for many helpful suggestions. This work was supported by NNSF of China (No. 11771069) and the Special Project of Basic Business for Heilongjiang Provincial Education Department (No. 135509137).
The authors declare there is no conflicts of interest.
[1] | Sawesi S, Rashrash M, Phalakornkule K, et al. (2016) The impact of information technology on patient engagement and health behavior change: A systematic review of the literature. JMIR Med Inf 4: e4514. https://doi.org/10.2196/medinform.4514 |
[2] |
Søgaard Neilsen A, Wilson RL (2019) Combining e-mental health intervention development with human computer interaction (HCI) design to enhance technology-facilitated recovery for people with depression and/or anxiety conditions: An integrative literature review. Int J Ment Health Nu 28: 22-39. https://doi.org/10.1111/inm.12527 ![]() |
[3] | Mishra R, Satpathy R, Pati B (2023) Human computer interaction applications in healthcare: An integrative review. EAI Endorsed T Pervas Health Technol 9. https://doi.org/10.4108/eetpht.9.4186 |
[4] |
Melles M, Albayrak A, Goossens R (2021) Innovating health care: Key characteristics of human-centered design. Int J Qual Health C 33: 37-44. https://doi.org/10.1093/intqhc/mzaa127 ![]() |
[5] | He X, Hong Y, Zheng X, et al. (2023) What are the users' needs? Design of a user-centered explainable artificial intelligence diagnostic system. Int J Hum–Comput Int 39: 1519-1542. https://doi.org/10.1080/10447318.2022.2095093 |
[6] |
Cornelio P, Haggard P, Hornbaek K, et al. (2022) The sense of agency in emerging technologies for human–computer integration: A review. Front Neurosci 16: 949138. https://doi.org/10.3389/fnins.2022.949138 ![]() |
[7] | Sadeghi Milani A, Cecil-Xavier A, Gupta A, et al. (2024) A systematic review of human–computer interaction (HCI) research in medical and other engineering fields. Int J Hum–Comput Int 40: 515-536. https://doi.org/10.1080/10447318.2022.2116530 |
[8] |
Reimer YJ, Douglas SA (2003) Teaching HCI design with the studio approach. Comput Sci Educ 13: 191-205. https://doi.org/10.1076/csed.13.3.191.14945 ![]() |
[9] |
Siek KA (2018) Expanding human computer interaction methods to understand user needs in the design process of personal health systems. Yearb Med Inf 27: 74-78. https://doi.org/10.1055/s-0038-1667073 ![]() |
[10] | Jimison HB, Pavel M, Parker A, et al. (2023) Correction to: The role of human computer interaction in consumer health applications: Current state, challenges and the future. Cognitive Informatics for Biomedicine. Health Informatics. Berlin: Springer 259-278. https://doi.org/10.1007/978-3-319-17272-9_15 |
[11] |
Saliba V, Legido-Quigley H, Hallik R, et al. (2012) Telemedicine across borders: A systematic review of factors that hinder or support implementation. Int J Med Inform 81: 793-809. https://doi.org/10.1016/j.ijmedinf.2012.08.003 ![]() |
[12] |
Almathami HKY, Win KT, Vlahu-Gjorgievska E (2020) Barriers and facilitators that influence telemedicine-based, real-time, online consultation at patients' homes: Systematic literature review. J Med Internet Res 22: e16407. https://doi.org/10.2196/16407 ![]() |
[13] | Wang D, Yang Q, Abdul A, et al. (2019) Designing theory-driven user-centric explainable AI. Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems : 1-15. https://doi.org/10.1145/3290605.3300831 |
[14] |
Dearden A, Finlay J (2006) Pattern languages in HCI: A critical review. Hum–Comput Interact 21: 49-102. https://doi.org/10.1207/s15327051hci2101_3 ![]() |
[15] |
Mackay WE, Fayard AL (1997) HCI, natural science and design: A framework for triangulation across disciplines. Proceedings of the 2nd Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques : 223-234. https://doi.org/10.1145/263552.263612 ![]() |
[16] |
Gulliksen J, Göransson B, Boivie I, et al. (2003) Key principles for user-centred systems design. Behav Inform Technol 22: 397-409. https://doi.org/10.1080/01449290310001624329 ![]() |
[17] |
Pacini Naumovich ER, Mateos Diaz CM, Garcia Garino CG (2015) Balancing throughput and response time in online scientific Clouds via Ant Colony Optimization (SP2013/2013/00006). Adv Eng Softw 84: 31-47. https://doi.org/10.1016/j.advengsoft.2015.01.005 ![]() |
[18] | Frangoudes F, Hadjiaros M, Schiza EC, et al. (2021) An overview of the use of chatbots in medical and healthcare education. International Conference on Human-Computer Interaction : 170-184. https://doi.org/10.1007/978-3-030-77943-6_11 |
[19] |
Pavlovic VI, Sharma R, Huang TS (1997) Visual interpretation of hand gestures for human-computer interaction: A review. IEEE T Pattern Anal 19: 677-695. https://doi.org/10.1109/34.598226 ![]() |
[20] |
Spruit M, Lytras M (2018) Applied data science in patient-centric healthcare: Adaptive analytic systems for empowering physicians and patients. Telemat Inform 35: 643-653. https://doi.org/10.1016/j.tele.2018.04.002 ![]() |
[21] | Hegner SM, Beldad AD, Brunswick GJ (2019) In automatic we trust: Investigating the impact of trust, control, personality characteristics, and extrinsic and intrinsic motivations on the acceptance of autonomous vehicles. Int J Hum–Comput Int 35: 1769-1780. https://doi.org/10.1080/10447318.2019.1572353 |
[22] |
Ekstrand MD, Das A, Burke R, et al. (2022) Fairness in information access systems. Found Trends Inf Ret 16: 1-177. https://doi.org/10.1561/1500000079 ![]() |
[23] |
Finstad K (2010) The usability metric for user experience. Interact Comput 22: 323-327. https://doi.org/10.1016/j.intcom.2010.04.004 ![]() |
[24] |
Ke JXC, George RB, Wozney L, et al. (2021) Application mobile périopératoire destinée aux mères avec un accouchement par césarienne: Une étude de cohorte prospective sur l'intérêt des patientes. Can J Anesth 68: 505-513. https://doi.org/10.1007/s12630-020-01907-x ![]() |
[25] |
Robbins DA, Curro FA, Fox CH (2013) Defining patient-centricity: Opportunities, challenges, and implications for clinical care and research. Ther Innov Regul Sci 47: 349-355. https://doi.org/10.1177/2168479013484159 ![]() |
[26] | Visell Y (2009) Tactile sensory substitution: Models for enaction in HCI. Int Comput 21: 38-53. https://doi.org/10.1016/j.intcom.2008.08.004 |
[27] | Bukht TFN, Rahman H, Shaheen M, et al. (2024) A review of video-based human activity recognition: Theory, methods and applications. Multimed Tools Appl : 1-47. https://doi.org/10.1007/s11042-024-19711-w |
[28] |
Holden RJ, Abebe E, Hill JR, et al. (2022) Human factors engineering and human-computer interaction: Supporting user performance and experience. Clinic Inf Stu Guide : 119-132. https://doi.org/10.1007/978-3-030-93765-2_9 ![]() |
[29] |
Dino MJS, Davidson PM, Dion KW, et al. (2022) Nursing and human-computer interaction in healthcare robots for older people: An integrative review. Int J Nurs Stu Adv 4: 100072. https://doi.org/10.1016/j.ijnsa.2022.100072 ![]() |
[30] |
Luo Y, Li M, Tang J, et al. (2021) Design of a virtual reality interactive training system for public health emergency preparedness for major emerging infectious diseases: Theory and framework. JMIR Serious Games 9: e29956. https://doi.org/10.2196/29956 ![]() |
[31] | Ahmed A, Xi R, Hou M, et al. (2023) Harnessing big data analytics for healthcare: A comprehensive review of frameworks, implications, applications, and impacts. IEEE Access . https://doi.org/10.1109/ACCESS.2023.3323574 |
[32] | Pierce J, Sengers P, Hirsch T, et al. (2015) Expanding and refining design and criticality in HCI. Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems : 2083-2092. https://doi.org/10.1145/2702123.2702438 |
[33] |
Bachmann D, Weichert F, Rinkenauer G (2018) Review of three-dimensional human-computer interaction with focus on the leap motion controller. Sensors 18: 2194. https://doi.org/10.3390/s18072194 ![]() |
[34] |
Šumak B, Brdnik S, Pušnik M (2021) Sensors and artificial intelligence methods and algorithms for human–computer intelligent interaction: A systematic mapping study. Sensors 22: 20. https://doi.org/10.3390/s22010020 ![]() |
[35] |
Shah SA, Fioranelli F (2019) RF sensing technologies for assisted daily living in healthcare: A comprehensive review. IEEE Aero El Sys Mag 34: 26-44. https://doi.org/10.1109/MAES.2019.2933971 ![]() |
[36] |
Omaghomi TT, Elufioye OA, Akomolafe O, et al. (2024) Health apps and patient engagement: A review of effectiveness and user experience. World J Adv Res Rev 21: 432-440. https://doi.org/10.30574/wjarr.2024.21.2.0476 ![]() |
[37] |
Oulasvirta A, Hornbæk K (2016) HCI research as problem-solving. Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems : 4956-4967. https://doi.org/10.1145/2858036.2858283 ![]() |
[38] |
Hekler EB, Klasnja P, Froehlich JE, et al. (2013) Mind the theoretical gap: Interpreting, using, and developing behavioral theory in HCI research. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems : 3307-3316. https://doi.org/10.1145/2470654.2466452 ![]() |
[39] | Su T, Ding Z, Cui L, et al. (2024) System development and evaluation of human–computer interaction approach for assessing functional impairment for people with mild cognitive impairment: A pilot study. Int J Hum–Comput Int 40: 1906-1920. https://doi.org/10.1080/10447318.2023.2228529 |
[40] |
Sin J, Munteanu C (2020) An empirically grounded sociotechnical perspective on designing virtual agents for older adults. Hum–Comput Int 35: 481-510. https://doi.org/10.1080/07370024.2020.1731690 ![]() |
[41] | Mentler T, Berndt H, Herczeg M (2016) Optical head-mounted displays for medical professionals: Cognition-supporting human-computer interaction design. Proceedings of the European Conference on Cognitive Ergonomics : 1-8. https://doi.org/10.1145/2970930.2970957 |
[42] |
Girju R, Girju M (2022) Design considerations for an NLP-driven empathy and emotion interface for clinician training via telemedicine. Proceedings of the Second Workshop on Bridging Human--Computer Interaction and Natural Language Processing : 21-27. https://doi.org/10.18653/v1/2022.hcinlp-1.3 ![]() |
[43] |
Dix A (2017) Human–computer interaction, foundations and new paradigms. J Visual Lang Comput 42: 122-134. https://doi.org/10.1016/j.jvlc.2016.04.001 ![]() |
[44] |
Prasad S, Smith A, Joshi A, et al. (2005) Report on the first all-India human-computer interaction conference. Interact 12: 67-69. https://doi.org/10.1145/1082369.1082417 ![]() |
[45] |
Balcombe L, De Leo D (2022) Human-computer interaction in digital mental health. Informatics 9: 14. https://doi.org/10.3390/informatics9010014 ![]() |
[46] |
Chen S, Epps J, Ruiz N, et al. (2011) Eye activity as a measure of human mental effort in HCI. Proceedings of the 16th international conference on Intelligent user interfaces : 315-318. https://doi.org/10.1145/1943403.1943454 ![]() |
[47] |
Webster J, Trevino LK, Ryan L (1993) The dimensionality and correlates of flow in human-computer interactions. Comput Hum Behav 9: 411-426. https://doi.org/10.1016/0747-5632(93)90032-N ![]() |
[48] |
Ghani JA, Deshpande SP (1994) Task characteristics and the experience of optimal flow in human—computer interaction. J Psychol 128: 381-391. https://doi.org/10.1080/00223980.1994.9712742 ![]() |
[49] |
Middleton B, Bloomrosen M, Dente MA, et al. (2013) Enhancing patient safety and quality of care by improving the usability of electronic health record systems: Recommendations from AMIA. J Am Med Inform Asso 20: e2-e8. https://doi.org/10.1136/amiajnl-2012-001458 ![]() |
[50] |
Zheng K, Ratwani RM, Adler-Milstein J (2020) Studying workflow and workarounds in electronic health record–supported work to improve health system performance. Ann Intern Med 172: S116-S122. https://doi.org/10.7326/M19-0871 ![]() |
[51] |
Zhang J, Johnson TR, Patel VL, et al. (2003) Using usability heuristics to evaluate patient safety of medical devices. J Biomed Inform 36: 23-30. https://doi.org/10.1016/S1532-0464(03)00060-1 ![]() |
[52] |
Bolgova KV, Kovalchuk SV, Balakhontceva MA, et al. (2020) Human computer interaction during clinical decision support with electronic health records improvement. Int J E-Health Med C 11: 93-106. https://doi.org/10.4018/978-1-7998-9023-2.ch062 ![]() |
[53] | Mansur SH, Moran K (2023) Toward automated tools to support ethical GUI design. 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings : 294-298. https://doi.org/10.1109/ICSE-Companion58688.2023.00079 |
[54] |
Aronson AR, Lang FM (2010) An overview of MetaMap: Historical perspective and recent advances. J Am Med Inform Asso 17: 229-236. https://doi.org/10.1136/jamia.2009.002733 ![]() |
[55] |
Rossi S, Hallett M, Rossini PM, et al. (2009) Safety, ethical considerations, and application guidelines for the use of transcranial magnetic stimulation in clinical practice and research. Clin Neurophysiol 120: 2008-2039. https://doi.org/10.1016/j.clinph.2009.08.016 ![]() |
[56] |
Doebelin N, Kleeberg R (2015) Profex: A graphical user interface for the rietveld refinement program BGMN. J Appl Crystallogr 48: 1573-1580. https://doi.org/10.1107/S1600576715014685 ![]() |
[57] |
Kokalj A (2003) Computer graphics and graphical user interfaces as tools in simulations of matter at the atomic scale. Comput Mater Sci 28: 155-168. https://doi.org/10.1016/S0927-0256(03)00104-6 ![]() |
[58] |
Xierali IM, Hsiao CJ, Puffer JC, et al. (2013) The rise of electronic health record adoption among family physicians. Annal Fam Med 11: 14-19. https://doi.org/10.1370/afm.1461 ![]() |
[59] |
Park A, Wilson M, Robson K, et al. (2023) Interoperability: Our exciting and terrifying Web3 future. Bus Horizons 66: 529-541. https://doi.org/10.1016/j.bushor.2022.10.005 ![]() |
[60] |
Keshta I, Odeh A (2021) Security and privacy of electronic health records: Concerns and challenges. Egypt Inform J 22: 177-183. https://doi.org/10.1016/j.eij.2020.07.003 ![]() |
[61] |
Nazar M, Alam MM, Yafi E, et al. (2021) A systematic review of human–computer interaction and explainable artificial intelligence in healthcare with artificial intelligence techniques. IEEE Access 9: 153316-153348. https://doi.org/10.1109/ACCESS.2021.3127881 ![]() |
[62] | Ledo D, Houben S, Vermeulen J, et al. (2018) Evaluation strategies for HCI toolkit research. Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems : 1-17. https://doi.org/10.1145/3173574.3173610 |
[63] | Barricelli BR, Fogli D (2024) Digital twins in human-computer interaction: A systematic review. Int J Hum–Comput Int 40: 79-97. https://doi.org/10.1080/10447318.2022.2118189 |
[64] |
Blandford A (2019) HCI for health and wellbeing: Challenges and opportunities. Int J Hum-Comput St 131: 41-51. https://doi.org/10.1016/j.ijhcs.2019.06.007 ![]() |
[65] |
Hornbæk K (2006) Current practice in measuring usability: Challenges to usability studies and research. Int J Hum-Comput St 64: 79-102. https://doi.org/10.1016/j.ijhcs.2005.06.002 ![]() |
[66] | Lewis JR (1995) IBM computer usability satisfaction questionnaires: Psychometric evaluation and instructions for use. Int J Hum–Comput Int 7: 57-78. https://doi.org/10.1080/10447319509526110 |
[67] |
Jaspers MW (2009) A comparison of usability methods for testing interactive health technologies: Methodological aspects and empirical evidence. Int J Med Inform 78: 340-353. https://doi.org/10.1016/j.ijmedinf.2008.10.002 ![]() |
[68] | Sadeghi Milani A, Cecil-Xavier A, Gupta A, et al. (2024) A systematic review of human–computer interaction (HCI) research in medical and other engineering fields. Int J Hum–Comput Int 40: 515-536. https://doi.org/10.1080/10447318.2022.2116530 |
[69] | Chandra S, Sharma G, Malhotra S, et al. (2015) Eye tracking based human computer interaction: Applications and their uses. 2015 International Conference on Man and Machine Interfacing : 1-5. https://doi.org/10.1109/MAMI.2015.7456615 |
[70] |
Newell AF, Gregor P (1997) Human computer interfaces for people with disabilities. Handbook of Human-Computer Interaction. Holland: North-Holland 813-824. https://doi.org/10.1016/B978-044481862-1.50101-1 ![]() |
[71] |
Aggarwal JK, Ryoo MS (2011) Human activity analysis: A review. Acm Comput Surv 43: 1-43. https://doi.org/10.1145/1922649.1922653 ![]() |
[72] | Maes P (1995) Agents that reduce work and information overload. Readings in Human–Computer Interaction. Manhattan: Morgan Kaufmann 811-821. https://doi.org/10.1016/B978-0-08-051574-8.50084-4 |
[73] | Judd T, Ehinger K, Durand F, et al. (2009) Learning to predict where humans look. 2009 IEEE 12th International Conference on Computer Vision : 2106-2113. https://doi.org/10.1109/ICCV.2009.5459462 |
[74] |
Dalsgaard P, Dindler C (2014) Between theory and practice: Bridging concepts in HCI research. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems : 1635-1644. https://doi.org/10.1145/2556288.2557342 ![]() |
[75] | Stephanidis C, Salvendy G, Antona M, et al. (2019) Seven HCI grand challenges. Int J Hum–Comput Int 35: 1229-1269. https://doi.org/10.1080/10447318.2019.1619259 |
[76] |
Fukizi KY (2023) Collaborative decision-making assistant for healthcare professionals: A human-centered AI prototype powered by azure open AI. Proceedings of the 6th ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies : 118-119. https://doi.org/10.1145/3588001.3609370 ![]() |
[77] |
Ala A, Simic V, Pamucar D, et al. (2024) Enhancing patient information performance in internet of things-based smart healthcare system: Hybrid artificial intelligence and optimization approaches. Eng Appl Artif Intel 131: 107889. https://doi.org/10.1016/j.engappai.2024.107889 ![]() |
[78] |
Han E, DeVeaux C, Miller MR, et al. (2024) Alone together, together alone: The effects of social context on nonverbal behavior in virtual reality. Presence-Virtual Aug 33: 425-451. https://doi.org/10.1162/pres_a_00432 ![]() |
[79] |
Greenberg S, Boring S, Vermeulen J, et al. (2014) Dark patterns in proxemic interactions: A critical perspective. Proceedings of the 2014 conference on Designing interactive systems : 523-532. https://doi.org/10.1145/2598510.2598541 ![]() |
[80] | Epstein DA, O'Kane AA, Miller AD (2023) Symposium: Workgroup on interactive systems in healthcare (WISH). Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems : 1-4. https://doi.org/10.1145/3544549.3573804 |
[81] | Yarmand M, Chen C, Cheng K, et al. (2024) “I'd be watching him contour till 10 o'clock at night”: Understanding tensions between teaching methods and learning needs in healthcare apprenticeship. Proceedings of the CHI Conference on Human Factors in Computing Systems : 1-19. https://doi.org/10.1145/3613904.3642453 |