Loading [MathJax]/jax/element/mml/optable/MathOperators.js
Research article Special Issues

A novel ensemble based recommendation approach using network based analysis for identification of effective drugs for Tuberculosis

  • Received: 15 October 2021 Accepted: 09 November 2021 Published: 22 November 2021
  • Tuberculosis (TB) is a fatal infectious disease which affected millions of people worldwide for many decades and now with mutating drug resistant strains, it poses bigger challenges in treatment of the patients. Computational techniques might play a crucial role in rapidly developing new or modified anti-tuberculosis drugs which can tackle these mutating strains of TB. This research work applied a computational approach to generate a unique recommendation list of possible TB drugs as an alternate to a popular drug, EMB, by first securing an initial list of drugs from a popular online database, PubChem, and thereafter applying an ensemble of ranking mechanisms. As a novelty, both the pharmacokinetic properties and some network based attributes of the chemical structure of the drugs are considered for generating separate recommendation lists. The work also provides customized modifications on a popular and traditional ensemble ranking technique to cater to the specific dataset and requirements. The final recommendation list provides established chemical structures along with their ranks, which could be used as alternatives to EMB. It is believed that the incorporation of both pharmacokinetic and network based properties in the ensemble ranking process added to the effectiveness and relevance of the final recommendation.

    Citation: Rishin Haldar, Swathi Jamjala Narayanan. A novel ensemble based recommendation approach using network based analysis for identification of effective drugs for Tuberculosis[J]. Mathematical Biosciences and Engineering, 2022, 19(1): 873-891. doi: 10.3934/mbe.2022040

    Related Papers:

    [1] J. O. Akanni, S. Ajao, S. F. Abimbade, Fatmawati . Dynamical analysis of COVID-19 and tuberculosis co-infection using mathematical modelling approach. Mathematical Modelling and Control, 2024, 4(2): 208-229. doi: 10.3934/mmc.2024018
    [2] Mlyashimbi Helikumi, Paride O. Lolika . Dynamics and analysis of COVID-19 disease transmission: The effect of vaccination and quarantine. Mathematical Modelling and Control, 2023, 3(3): 192-209. doi: 10.3934/mmc.2023017
    [3] S. Y. Tchoumi, Y. Kouakep-Tchaptchie, D. J. Fotsa-Mbogne, J. C. Kamgang, J. M. Tchuenche . Optimal control of a malaria model with long-lasting insecticide-treated nets. Mathematical Modelling and Control, 2021, 1(4): 188-207. doi: 10.3934/mmc.2021018
    [4] Ihtisham Ul Haq, Nigar Ali, Shabir Ahmad . A fractional mathematical model for COVID-19 outbreak transmission dynamics with the impact of isolation and social distancing. Mathematical Modelling and Control, 2022, 2(4): 228-242. doi: 10.3934/mmc.2022022
    [5] Ankur Jyoti Kashyap, Arnab Jyoti Bordoloi, Fanitsha Mohan, Anuradha Devi . Dynamical analysis of an anthrax disease model in animals with nonlinear transmission rate. Mathematical Modelling and Control, 2023, 3(4): 370-386. doi: 10.3934/mmc.2023030
    [6] Alexandru Hofman, Radu Precup . On some control problems for Kolmogorov type systems. Mathematical Modelling and Control, 2022, 2(3): 90-99. doi: 10.3934/mmc.2022011
    [7] Monica Veronica Crankson, Olusegun Olotu, Ayodeji Sunday Afolabi, Afeez Abidemi . Modeling the vaccination control of bacterial meningitis transmission dynamics: a case study. Mathematical Modelling and Control, 2023, 3(4): 416-434. doi: 10.3934/mmc.2023033
    [8] Paride O. Lolika, Mlyashimbi Helikumi . Global stability analysis of a COVID-19 epidemic model with incubation delay. Mathematical Modelling and Control, 2023, 3(1): 23-38. doi: 10.3934/mmc.2023003
    [9] Eminugroho Ratna Sari, Nikken Prima Puspita, R. N. Farah . Prevention of dengue virus transmission: insights from host-vector mathematical model. Mathematical Modelling and Control, 2025, 5(2): 131-146. doi: 10.3934/mmc.2025010
    [10] Elijah B. Baloba, Baba Seidu . A mathematical model of anthrax epidemic with behavioural change. Mathematical Modelling and Control, 2022, 2(4): 243-256. doi: 10.3934/mmc.2022023
  • Tuberculosis (TB) is a fatal infectious disease which affected millions of people worldwide for many decades and now with mutating drug resistant strains, it poses bigger challenges in treatment of the patients. Computational techniques might play a crucial role in rapidly developing new or modified anti-tuberculosis drugs which can tackle these mutating strains of TB. This research work applied a computational approach to generate a unique recommendation list of possible TB drugs as an alternate to a popular drug, EMB, by first securing an initial list of drugs from a popular online database, PubChem, and thereafter applying an ensemble of ranking mechanisms. As a novelty, both the pharmacokinetic properties and some network based attributes of the chemical structure of the drugs are considered for generating separate recommendation lists. The work also provides customized modifications on a popular and traditional ensemble ranking technique to cater to the specific dataset and requirements. The final recommendation list provides established chemical structures along with their ranks, which could be used as alternatives to EMB. It is believed that the incorporation of both pharmacokinetic and network based properties in the ensemble ranking process added to the effectiveness and relevance of the final recommendation.



    Collective behaviors often appear in many classical oscillatory systems [1,4,7,17,18,25,27,29]. Recently, such classical synchronization dynamics has been extended to a quantum regime, and it is called quantum synchronization in literature. It is worthwhile mentioning from [19,20] that quantum synchronization has attracted many researchers in the quantum optics community due to its powerful applications in quantum information and quantum computing [8,14,15,16,21,28,33,34]. Among possible candidates describing quantum synchronization, we are interested in analytical studies on quantum synchronization via Wigner's formalism [30] that was first introduced by Wigner in 1932 in order to find quantum corrections to classical statistical mechanics. For the mathematical properties of the Wigner transform, we refer the reader to [32].

    To set up the stage, we begin with the Schördinger-Lohe (SL) model [19]. Let ψj=ψj(t,x):R+×RdC be the wave function of the quantum system situated at the j-th node whose dynamics is governed by the Cauchy problem to the SL model:

    {itψj=12Δψj+Vjψj+iκ2NNk=1(ψkψj,ψkψj,ψjψj),t>0,xRd,ψj(0,x)=ψ0j(x),j[N]:={1,,N}, (1)

    where Vj=Vj(x):RdR is a time independent potential at the j-th node, κ denotes a (uniform) nonnegative coupling strength between nodes, and , is the standard inner product in L2(Rd).

    Note that the Planck constant is assumed to be unity for simplicity. Like the classical Schrödinger equation, system (1) satisfies L2-conservation of the wave function ψj. We refer the reader to a recent review article [9] for the emergent dynamics of the SL model (1).

    In this paper, we study the emergent dynamics of the Cauchy problem to the WL model with identical potentials:

    {twij+pxwij+Θ[V](wij)=κ2NNk=1{(wkj+wik)(R2d(wik+wkj)dxdp)wij},t>0,(x,p)R2d,wij(0,x,p)=w0ij(x,p),i,j[N], (2)

    subject to initial constraints:

    R2dw0iidxdp=1,|R2dw0ijdxdp1|<1,ij[N]. (3)

    First, we recall the following definition of the emergent dynamics as follows.

    Definition 1.1. [3] System (2) exhibits complete aggregation if relative states tend to zero asymptotically.

    limtwijwmL2(R2d)=0,i,j,,m[N].

    In the sequel, we provide several comments on the Cauchy problem (2)–(3). First, the WL model (2) was first introduced in [3], and a priori asymptotic analysis has been studied only for the two-particle system with N=2. Second, one notices that (2) is equipped with the identical potential V for all i,j. In fact, potentials for the corresponding SL model (1) would be non-identical in general. However, for the simplicity of mathematical representation, identical potentials are considered in both [3] and our analysis of this work. Third, initial data are restricted to a suitable class. For (3)1, it is usually assumed for the classical Wigner equation so that conservation laws hold under the assumption. Precisely, it corresponds to the mass conservation for a classical Schrödinger equation (see Remark 1). Hence, it would be reasonable to employ (3)1. On the other hand, the assumption (3)2 does not appear in the study of the classical Wigner equation consisting of a single equation, whereas (2) contains N2 equations. Later, we will see from Corollary 1 that (3)2 guarantees the uniform L2-boundedness. We refer the reader to [5,6,10,11,13,22,23,26,35] for the Wigner and Wigner-type equations.

    The main results of this paper are two-fold. First, we provide the complete aggregation dynamics of (2) in a priori setting. Under the assumptions (3) on initial data, we can find an invariant set whose center plays the role of an asymptotically stable fixed point (see Lemma 3.2). Then, we obtain the uniform-boundedness of the L2-norm of a solution to the WL model and show that the L2-norms of all relative states tend to zero (see Corollary 1). For details, we refer to Theorem 3.1 in Section 3.

    Second, we provide a global existence theory of (2) combining the classical methods (fixed point theorem and semigroup theory) and exponential aggregation estimates. We highlight that this paper extends the results in [3] where the existence theory was not considered even for N=2, whereas a priori aggregation estimates were established only for N=2. For this, we first define a suitable function space X which is a subset of L2(R2d). Then, we recast the WL model as a first-order matrix-valued PDE on X and apply the fixed point theorem to show that the WL model admits a global mild solution. Furthermore, if more regularity assumptions on initial data are imposed, then we show tha a global classical solution can be obtained from the semigroup approach (see Theorem 4.1).

    The rest of this paper is organized as follows. In Section 2, we introduce generalized Wigner functions and the WL distribution matrix, and study their elementary properties. We also review previous results for the WL model. In Section 3, we provide complete aggregation estimates for the WL model in a priori setting. In Section 4, we show the global existence of mild and classical solutions depending on the regularity of initial data. Finally, Section 5 is devoted to a brief summary of this paper and some remaining issues for a future work. In Appendix A, we summarize classical results on the semigroup theory to be used for the global solvability in Section 4.

    Gallery of Notation: Throughout the paper, as long as there is no confusion, we simply use R2d instead of Rdx×Rdp or R2dx,p. Let f=f(x,p) and g=g(x,p) be two functions in L2(R2d). Then, the standard L2-inner product and the L2-norm are defined by

    f,g:=R2df(x,p)¯g(x,p)dxdp,f:=f,f,

    where ¯g(x,p) is the complex conjugate of g(x,p)C. We set the Fourier transform and its inverse transform as follows:

    (Fϕ)(p):=Rdϕ(x)eixpdx,(F1ϕ)(x):=1(2π)dRdϕ(p)eixpdp.

    For a given real-valued function ψ with two set of variables x,yRd, we define the Fourier transform in y variable as follows:

    (Fypψ)(x,p):=Rdψ(x,y)eiypdy.

    In this section, we introduce the N×N Wigner-Lohe (WL) distribution matrix associated with the SL model (1), and its governing model "the Wigner-Lohe model", and review the emergent behaviors of the 2×2 Wigner-Lohe model in [3].

    In this subsection, we show how the WL distribution matrix can be constructed from the SL model. For this, we first recall the generalized Wigner distribution and the pseudo-differential operator.

    Definition 2.1. [3]

    1. For any two complex-valued wave functions ψ,ϕL2(Rd), the generalized Wigner distribution w[ψ,ϕ] is defined by

    w[ψ,ϕ](x,p):=1(2π)dRdψ(x+y2)¯ϕ(xy2)eipydy,(x,p)R2d, (4)

    where ¯ψ is the complex conjugate of ψ.

    2. For VL(Rd) and wL2(R2d), we define the pseudo-differential operator Θ[V] as

    Θ[V](w)(x,p):=i(2π)dRd[V(x+y2)V(xy2)](Fpyw)(x,y)eipydy=i(2π)dR2d[V(x+y2)V(xy2)]w(x,p)ei(pp)ydpdy.

    Remark 1. Below, we give several comments on the generalized Wigner distribution and the pseudo-differential operator.

    1. The generalized Wigner distribution is complex conjugate symmetric in the sense that

    w[ϕ,ψ](x,p)=1(2π)dRdϕ(x+y2)¯ψ(xy2)eipydy=1(2π)dRd¯ψ(x+y2)ϕ(xy2)eipydybyyy=¯1(2π)dRdψ(x+y2)¯ϕ(xy2)eipydy=¯w[ψ,ϕ](x,p). (5)

    2. For the case ψ=ϕ, two definitions (4) and (5) yield the standard Wigner function [12]:

    w[ψ,ψ](x,p)=1(2π)dRdψ(x+y2)¯ψ(xy2)eipydy.

    Since w[ψ,ψ] coincide with the standard Wigner function, we simply denote

    w[ψ,ψ]=:w[ψ].

    Moreover, one can easily verify that w[ψ] is real-valued.

    3. The p-integral of w[ψ]=w[ψ,ψ] is the modulus square of ψ:

    Rdw[ψ](x,p)dp=|ψ(x)|2.

    Moreover, the (x,p)-integral of w[ψ,ϕ] is the inner product of ψ and ϕ:

    R2dw[ψ,ϕ](x,p)dxdp=1(2π)dR3dϕ(x+y2)¯ψ(xy2)eipydydxdp=Rdϕ(x)¯ψ(x)dx=ϕ,ψ.

    4. Since V is real-valued, one also has

    ¯Θ[V](w)(x,p)=i(2π)dR2d[V(x+y2)V(xy2)]ˉw(x,p)ei(pp)ydpdy=i(2π)dR2d[V(xy2)V(x+y2)]ˉw(x,p)ei(pp)ydpdy=i(2π)dR2d[V(x+y2)V(xy2)]ˉw(x,p)ei(pp)ydpdybyyy=Θ[V](¯w)(x,p).

    In the following lemma, we provide several properties of Θ[V](w) in Definition 2.1.

    Lemma 2.2. For f,gL2(R2d), one has the following relations:

    (i)R2dΘ[V](f)gdxdp=R2dΘ[V](g)fdxdp.(ii)R2dΘ[V](f)dxdp=0.

    Proof. (ⅰ) We use the change of variables:

    (p,p,y)(p,p,y)

    to yield

    R2dΘ[V](f)gdxdp=i(2π)dR4d[V(x+y2)V(xy2)]f(x,p)g(x,p)ei(pp)ydpdydxdp=i(2π)dR4d[V(xy2)V(x+y2)]f(x,p)g(x,p)ei(pp)ydpdydxdp=R2dΘ[V](g)fdxdp.

    (ⅱ) By the definition of Definition 2.1 and Fubini's theorem, we have

    R2dΘ[V](f)dxdp=i(2π)dR4d[V(x+y2)V(xy2)]f(x,p)ei(pp)ydpdydxdp=i(2π)dR3d[V(x+y2)V(xy2)]eipy(Rdf(x,p)eipydp)dydxdp=i(2π)dR3d[V(x+y2)V(xy2)](Fpyf)(x,y)eipydydxdp=iRd[V(x)V(x)](Fp0f)(x,0)dx=0.

    Remark 2. If we set f=u and g=¯u in Lemma 2.2, and recall Remark 2.2(4), then one has

    R2dΘ[V](u)ˉudxdp=R2dΘ[V](ˉu)udxdp=R2d¯Θ[V](u)udxdp=¯R2dΘ[V](u)ˉudxdp.

    This yields

    Re[R2dΘ[V](u)¯udxdp]=0.

    This fact was used in [23] to show the conservation of L2-norm for the solution to the quantum Liouville equation, which can be considered as a special case of the WL model with κ=0.

    For a given ensemble of wave functions {ψj} which is a solution to the SL model (1), we set

    wij:=w[ψi,ψj],wi:=w[ψ]=w[ψi,ψi],i,j[N].

    Then, the evolution of the WL distributions {wij} is given by the following coupled system:

    twij+pxwij=i(2π)dR2d[Vi(x+y2)Vj(xy2)]wij(x,p)ei(pp)ydpdy+κ2NNk=1[(wkj+wik)(R2dwikdxdpR2dwiidxdp+R2dwkjdxdpR2dwjjdxdp)wij]. (6)

    For the detailed derivation of (6), we refer the reader to [3]. Next, we show that system (6) admits conservation laws.

    Lemma 2.3. Let {wij} be a solution to (6) which rapidly decays to zero at infinity. Then, one has

    (i)ddtR2dwii(t,x,p)dxdp=0,t>0,i[N].

    (ii)ddtR2dwij(t,x,p)dxdp=Rd(Vi(x)Vj(x))wij(t,x,0)dx,t>0,i,j[N].

    Proof. (ⅰ) It follows from (6) that

    twii+x(pwii)+Θ[Vi](wii)=κ2NNk=1[(wki+wik)(R2dwikdxdpR2dwiidxdp+R2dwkidxdpR2dwiidxdp)wii]. (7)

    Now, we integrate (7) over (x,p)R2d and then use the zero far field assumption on wij and the second estimate of Lemma 2.3 to see

    ddtR2dwii(t,x,p)dxdp=0.

    (ⅱ) For the second assertion, we follow a similar calculation in (ⅰ).

    Remark 3. (i) Consider the linear Wigner equation:

    tw+pxw+Θ[V](w)=0.

    Then by Lemma 2.3, one has

    ddtR2dw(t,x,p)dxdp=0. (8)

    However, it is worthwhile mentioning that since w(t,x,p) can take negative values, the L1-norm of w would not be conserved in general. In fact, the relation (8) corresponds to the L2-conservation of the Schrödinger equation. If we assume that

    w=w[ψ]

    for a solution ψ to the linear Schrödinger equation, then the following relation holds (see Remark 1 (3)):

    R2dw(t,x,p)dxdp=ψ(t)2L2,t>0.

    Thus, the results in Lemma 2.3 is consistent with the classical theory for the Wigner equation.

    (ii) It follows from Moyal's identity [31] that

    w(t)2=ψ(t)4.

    Hence, the linear Wigner equation enjoys L2-conservation (but not L1-conservation).

    (iii) We have shown in Lemma 2.3 that diagonal elements {wi} satisfy conservation laws. However the off-diagonal elements do not satisfy conservation laws. Hence, conservation laws hold for system (6) with identical potentials.

    From now on, we are concerned with the following special situation:

    Vi=VandR2dw0i(x,p)dxdp=1,i[N]. (9)

    In this case, the (x,p)-integrals of {wij} are constants along the dynamics (6) (see Lemma 2.3):

    R2dwi(t,x,p)dxdp=R2dw0i(x,p)dxdp=1,t0,i[N],R2dwij(t,x,p,)dxdp=R2dw0ij(x,p)dxdp,t0,i,j[N].

    Hence, the Cauchy problem for system (6) with (9) can be further simplified as follows:

    {twij+pxwij+Θ[V](wij)=κ2NNk=1[(wik+wkj)(R2d(wik+wkj)dxdp)wij],t>0,(x,p)R2d,wij(0,x,p)=w0ij(x,p),i,j[N].

    In this subsection, we briefly recall the result from [3] for a two-body system. Extension to the many-body system will be discussed in the following two sections separately. We set

    w+12:=Re[w12],z12(t):=R2dw12(t,x,p)dxdp,R12(t):=Re[z12(t)]. (10)

    Then, (w1,w2,w12) satisfies the Cauchy problem:

    {tw1+pxw1+Θ[V](w1)=κ2(w+12R12w1),t>0,tw2+pxw2+Θ[V](w2)=κ2(w+12R12w2),tw12+pxw12+Θ[V](w12)=κ4(w1+w22z12w12),(w1(0),w2(0),w12(0))=(w01,w02,w012), (11)

    subject to constraints:

    R2dw01dxdp=R2dw02dxdp=1,|R2dw012dxdp|1,R2dw012dxdp1. (12)

    Theorem 2.4. [3] Let (w1,w2,w12) be a solution to (11)(12). Then, we have

    |1z12(t)|

    where z_{12} is defined in (10).

    Proof. (ⅰ) The first estimate follows from the following ODE:

    \dot z_{12} = \frac{\kappa}{2}(1-z_{12}^2), \quad t > 0.

    This can be integrated explicitly:

    \begin{equation} z_{12}(t) = \frac{ (1+z_{12}^0)e^{\kappa t} - (1-z_{12}^0)}{(1+z_{12}^0)e^{\kappa t} + (1-z_{12}^0)}, \quad t > 0, \end{equation} (13)

    where z_{12}^0 = z_{12}(0) . If we assume that

    \begin{equation} z_{12}^0 \in \mathbb R, \quad z_{12}^0 < -1 \quad \text{or}\quad z_{12}^0 > 1, \end{equation} (14)

    then the denominator of the right-hand side of (13) can be zero, and hence z_{12}(t) can blow up in finite-time. Precisely, there exists 0<T_* <\infty such that

    \lim\limits_{t\to T_*-} z_{12}(t) = \infty, \quad T_* = \frac1 \kappa \ln \frac{ 1-z_{12}^0}{1+z_{12}^0}.

    In other words, for initial data satisfying (14), z_{12}(t) would not be bounded. Thus, \text{Re} z_{12}^0 should be not be small enough to prevent a finite-time blow-up, and such condition is realized as (12). Of course, condition (12) would not be optimal in the sense to guarantee the finite-time blow-up.

    (ⅱ) It is easy to see that w_1-w_2 satisfies

    \begin{equation} \partial_t(w_1-w_2)+p\cdot\nabla_x(w_1-w_2)+\Theta[V](w_1-w_2) = -\frac{\kappa R_{12}}{2}(w_1-w_2). \end{equation} (15)

    We multiply (15) by 2(w_1-w_2) and integrate the resulting relation to obtain

    \begin{equation*} \frac{ \mathrm{d}}{ \mathrm{d}t}\|w_1(t)-w_2(t)\|_{L^2}^2 = -\kappa R_{12}(t)\|w_1(t)-w_2(t)\|_{L^2}^2. \end{equation*}

    Then, Grönwall's inequality and the first estimate |1-z_{12}(t)|\lesssim e^{-\kappa t} yield the desired second estimate.

    Before we close this section, we introduce elementary estimates to be used in the following sections.

    Lemma 2.5. Let y:\; \mathbb R_+ \to \mathbb R_+ be a {\mathcal C}^1 -function satisfying a differential inequality:

    \begin{equation} y' \leq \alpha_1e^{-\beta_1 t}y + \alpha_2 e^{-\beta_2 t}, \quad t > 0. \end{equation} (16)

    Then, the following assertions hold.

    1. If \alpha_i and \beta_i satisfy

    \alpha_1 < 0, \quad \beta_1 = 0, \quad \alpha_2 > 0, \quad \beta_2 > 0,

    there exist uniform positive constants C_0 and D_0>0 such that

    y(t) \leq C_0e^{-D_0 t}, \quad t \geq 0.

    2. If \alpha_i and \beta_i satisfy

    \alpha_1 > 0, \quad \beta_1 > 0, \quad \alpha_2 = 0,

    there exists a uniform constant C_1 such that

    y(t) \leq C_1 y_0, \quad t \geq 0.

    Proof. (ⅰ) By the comparison principle of ODE and method of integrating factor, we have

    y(t) \leq \left( y_0 + \frac{\alpha_2}{\alpha_1 + \beta_2}\right) e^{\alpha_1 t} - \frac{\alpha_2}{\alpha_1 + \beta_2} e^{-\beta_2t}, \quad t \geq 0.

    Hence, there exist uniform positive constants C_0 and D_0>0 such that

    y(t) \leq C_0e^{-D_0 t}, \quad t \geq 0.

    (ⅱ) We multiply (16) with the integrating factor

    \begin{equation*} \label{B-6} \exp{ \left(-\int_0^t \alpha_1 e^{-\beta_1 s} ds\right) } = \exp{ \left( -\frac{\alpha_1}{\beta_1} (1-e^{-\beta_1 t}) \right) } \end{equation*}

    to find

    y(t) \leq y_0 e^{ \frac{\alpha_1}{\beta_1} (1-e^{-\beta_1t}) } \leq e^\frac{\alpha_1}{\beta_1}y_0 = : C_1y_0, \quad t \geq 0.

    In this section, we present complete aggregation estimates for (2)–(3) in a priori setting. Our first result can be stated as follows.

    Theorem 3.1. Let w_{ij} be a sufficiently smooth solution to (2)-(3). Then, the complete aggregation emerges asymptotically:

    \begin{equation} \lim\limits_{t\to\infty} \|w_{ik} - w_{jm}\| = 0, \quad i, j, k, m \in [N]. \end{equation} (17)

    Proof. Since the proof is rather lengthy, we introduce a strategy toward the proof. We first claim:

    \lim\limits_{t\to\infty} \|w_{ik} - w_{jk} \| = 0, \quad k\neq i, j \in [N].

    For this, the key idea is to derive Grönwall's type differential inequality for \sum_{k = 1}^N \|w_{ik}-w_{jk}\|^2 . To be more specific, we will show that there exist two positive constants C_1 and C_2 such that

    \begin{equation} \frac{ \mathrm{d}}{ \mathrm{d}t} \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 \leq - \kappa \Big ( 1- C_1 e^{- \kappa t} \Big ) \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 + C_2 e^{- \kappa t}, \quad t > 0. \end{equation} (18)

    Then, we apply Lemma 2.5 to derive the desired zero convergence for \|w_{ik} - w_{jk}\| . Finally, the triangle inequality gives the desired result:

    \|w_{ik} - w_{jm} \| \leq \|w_{ik} - w_{jk} \| + \|w_{jk} - w_{jm}\| = \|w_{ik} - w_{jk} \| + \|w_{kj} - w_{mj}\|.

    The derivation of (18) will be given in Section 3.2 after some preparatory estimates in Section 3.1.

    In this subsection, we study basic estimates for (2)–(3) that will be used in the derivation of (18). We set

    \begin{equation*} \label{C-2-2} z_{ij}(t) : = \int_{\mathbb{R}^{2d}}w_{ij}(t, x, p) \mathrm{d} x \mathrm{d} p, \quad i, j \in [N], \quad t > 0. \end{equation*}

    Then, it follows from Lemma 2.3 that

    \begin{equation} z_i : = z_{ii} = 1, \quad i \in [N]. \end{equation} (19)

    On the other hand, we integrate (2) with respect to (x, p)\in \mathbb R^{2d} to find the finite-dimensional dynamics for z_{ij} :

    \begin{equation} \frac{dz_{ij}}{dt} = \frac{ \kappa}{2N} \sum\limits_{k = 1}^N (z_{ik} + z_{kj}) (1-z_{ij}), \quad t > 0. \end{equation} (20)

    Due to (19), it is natural to consider the maximal diameter for the set \{ 1-z_{ij} \} :

    \mathcal{D}({\mathcal Z}(t)) : = \max\limits_{1\leq i, j\leq N} |1-z_{ij}(t)|, \quad t > 0, \quad \mathcal D(\mathcal Z^0): = \mathcal D(\mathcal Z(0)),

    which is expected to converge to zero under a suitable condition.

    Lemma 3.2. (Existence of a positively invariant set) Let \{w_{ij}\} be a solution to (2)-(3) satisfying the relation:

    \begin{equation} \mathcal D(\mathcal Z^0) < 1. \end{equation} (21)

    Then, one has

    \mathcal D(\mathcal Z(t)) < 1, \quad t > 0.

    Proof. It follows from (20) that

    \begin{equation} \frac{ \mathrm{d}}{ \mathrm{d}t} (1 - z_{ij}) = -\frac{ \kappa}{2N} \sum\limits_{k = 1}^N (z_{ik} + z_{kj}) (1-z_{ij}), \quad t > 0. \end{equation} (22)

    Then, (22) gives

    \begin{equation} |1-z_{ij}(t)| = |1-z_{ij}^0| \exp\left[ -\frac{ \kappa}{2N} \sum\limits_{k = 1}^N \int_0^t (R_{ik} + R_{kj}) \mathrm{d} s \right], \quad t > 0, \end{equation} (23)

    where R_{ij} : = \mathrm{Re}(z_{ij}) . Now, we define a set and its supremum:

    \mathcal T: = \{ T \in (0, \infty) : \mathcal D(\mathcal Z(t)) < 1, \quad t\in [0, T)\}, \quad T_* : = \sup \mathcal{T}.

    By the assumption on initial data, the set {\mathcal T} is not empty. We claim:

    T_* = \infty.

    Suppose to the contrary, i.e.,

    T_* < \infty.

    Then, one has

    \begin{equation} \lim\limits_{t\to T_*} \mathcal D(\mathcal Z(t)) = 1. \end{equation} (24)

    On the other hand, we observe

    \max\limits_{i \neq j} |1-z_{ij}(t)| < 1\quad \Longrightarrow\quad \min\limits_{i \neq j} R_{ij}(t) > 0, \quad t\in [0, T_*).

    For t>0 , let (i_t, j_t) be the extremal indices satisfying

    \mathcal D(\mathcal Z(t)) = 1-z_{i_t j_t}.

    Hence, (23) yields

    1 = \mathcal D(\mathcal Z(T_*)) = \mathcal D(\mathcal Z^0) \exp \left[ {-\frac{ \kappa}{2N} \sum\limits_{k = 1}^N \int_0^{T_*} (R_{i_tk} + R_{kj_t} ) \mathrm{d} s} \right ] < 1,

    which contradicts (24). Since R_{ik}(t) does not blow up in finite time, one has

    T_* = \infty,

    and the set \{\mathcal D(\mathcal Z(t))<1\} is positively invariant along the flow (20).

    Remark 4. Lemma 3.2 says that if initial data satisfy (21):

    \left|\int_{\mathbb{R}^{2d}}w^0_{ij} \mathrm{d} x \mathrm{d} p - 1\right| < 1, \quad i, j\in[N],

    then one has

    \left|\int_{\mathbb{R}^{2d}}w_{ij}(t, x, p) \mathrm{d} x \mathrm{d} p - 1\right| < 1, \quad i, j\in[N], \quad t > 0.

    Thus, the (x, p) -integral of w_{ij} is uniformly bounded in time.

    As a direct consequence of Lemma 3.2, we can also show the uniform L^2 - boundedness of w_{ij} . For this, we define

    \mathcal R(\mathcal W(t)) : = \max\limits_{1\leq i, j\leq N} \|w_{ij}(t) \|, \quad t > 0.

    Corollary 1. Let w_{ij} be a solution to (2)-(3) with initial data satisfying the relation (21). Then, the following assertions hold.

    1. The functional \mathcal{D}(\mathcal{Z}(t)) decays to zero at least exponentially. In particular, one has

    \begin{equation*} \mathcal D( \mathcal Z(t)) \leq \frac{\mathcal D(\mathcal Z^0) e^{- \kappa t}}{\mathcal D(\mathcal Z^0) e^{- \kappa t} + 1 - \mathcal D(\mathcal Z^0)} \leq \frac{\mathcal D(\mathcal Z^0) }{1 - \mathcal D(\mathcal Z^0)}e^{- \kappa t}, \quad t > 0. \end{equation*}

    2. The functional \mathcal R(\mathcal W(t)) is uniformly bounded in time. Precisely, there exists a uniform positive constant {\mathcal R}^\infty such that

    \sup\limits_{0\leq t < \infty} \mathcal R(\mathcal W(t)) \leq {\mathcal R}^\infty.

    Proof. (ⅰ) It follows from (20) that

    \begin{align*} \frac {\mathrm{d}} {\mathrm{d}t} (1-z_{ij}) = - \kappa(1-z_{ij}) + \frac{ \kappa}{2N} \sum\limits_{k = 1}^N ( 1-z_{ik} + 1-z_{kj})(1-z_{ij}). \end{align*}

    Then, we find a differential inequality for \mathcal D(\mathcal Z) :

    \frac {\mathrm{d}} {\mathrm{d}t} \mathcal D(\mathcal Z) \leq - \kappa \mathcal D(\mathcal Z) + \kappa \mathcal D(\mathcal Z)^2, \quad t > 0.

    Lastly, we use initial data (21) together with the above Riccati differential inequality to give the desired result.

    (ⅱ) We multiply \overline w_{ij} with (2) and take real parts for the resulting relation to obtain

    \begin{align} \begin{aligned} & \frac12 \partial_t |w_{ij}|^2 + \frac12 p\cdot \nabla_x |w_{ij}|^2 +\text{Re}\left[ \Theta[V](w_{ij})\overline w_{ij}\right] \\ & \quad\quad\quad\quad \quad = \frac{ \kappa}{2N} \sum\limits_{k = 1}^N \mbox{Re}\left[ \Big( w_{ik} + w_{kj} - (z_{ik} + z_{kj}) w_{ij}\Big)\overline w_{ij} \right]. \end{aligned} \end{align} (25)

    Now, we integrate (25) with respect to (x, p)\in \mathbb R^{2d} to find

    \begin{align} \begin{aligned} & \frac{ \mathrm{d}}{ \mathrm{d}t} \int_{ \mathbb R^{2d}} |w_{ij}|^2 \mathrm{d} x \mathrm{d} p \\ & \quad = -\int_{ \mathbb R^{2d}}p\cdot \nabla_x |w_{ij}|^2 dx dp - \int_{ \mathbb R^{2d}} \text{Re}\left[ \overline w_{ij} \Theta[V](w_{ij}) \right] \mathrm{d} x \mathrm{d} p \\ & \quad + \frac{ \kappa}{N} \sum\limits_{k = 1}^N \int_{ \mathbb R^{2d}} \text{Re}\left[\overline w_{ij}\Big( w_{ik} + w_{kj} - (z_{ik} + z_{kj}) w_{ij}\Big)\right] \mathrm{d} x \mathrm{d} p \\ & \quad = : \mathcal I_{11} + \mathcal I_{12} + \mathcal I_{13} . \end{aligned} \end{align} (26)

    Below, we present estimates for \mathcal I_{1k}, \; k = 1, 2, 3 , respectively.

    Case A.1 (Estimate of \mathcal I_{11} ): By integration by parts, we see

    \begin{align*} \mathcal I_{11} = - \int_{ \mathbb R^{2d}}p\cdot \nabla_x |w_{ij}|^2 \mathrm{d} x \mathrm{d} p = 0. \end{align*}

    Case A.2 (Estimate of \mathcal I_{12} ): It directly follows from Remark 2 that

    \mathcal I_{12} = 0.

    Case A.3 (Estimate of \mathcal I_{13} ): We use the Cauchy-Schwarz inequality and Corollary 1 to see

    \begin{align*} &\int_{ \mathbb R^{2d}} \Big( \overline w_{ij} w_{ik} +\overline w_{ij} w_{kj} - (z_{ik} + z_{kj} )|w_{ij}|^2 \Big) \mathrm{d} x \mathrm{d} p \\ & \quad = -2\|w_{ij}\|^2 + \int_{ \mathbb R^{2d}} ( \overline w_{ij} w_{ik} + \overline w_{ij} w_{kj}) \mathrm{d} x \mathrm{d} p + (1-z_{ik} + 1-z_{kj}) \|w_{ij}\|^2 \\ & \quad \leq -2\|w_{ij}\|^2 +2 \mathcal R(\mathcal W) ^2 + 2\mathcal D(\mathcal Z) \mathcal R(\mathcal W) ^2. \end{align*}

    In (26), we collect all the estimates in Case A.1–Case A.3 to derive

    \begin{align*} \frac {\mathrm{d}} {\mathrm{d}t} \|w_{ij}\|^2 \leq -2 \kappa \|w_{ij}\|^2 + 2 \kappa\mathcal R(\mathcal W) ^2 + 2 \kappa \mathcal D(\mathcal Z) \mathcal R(\mathcal W)^2, \quad t > 0. \end{align*}

    This yields

    \begin{equation} \frac {\mathrm{d}} {\mathrm{d}t} \mathcal R(\mathcal W)^2 \leq 2 \kappa \mathcal D(\mathcal Z) \mathcal R(\mathcal W)^2, \quad t > 0. \end{equation} (27)

    Since \mathcal D(\mathcal Z) tends to zero exponentially, Lemma 2.5 and differential inequality (27) yield the desired estimate.

    In this subsection, we are ready to provide the proof of Theorem 3.1. First, we claim:

    \begin{equation} \lim\limits_{t\to\infty} \|w_{ik} - w_{jk} \| = 0, \quad k \neq i, j. \end{equation} (28)

    Note that if one verifies (28), then (17) follows from the triangle inequality:

    \|w_{ik} - w_{jm} \| \leq \|w_{ik} - w_{jk} \| + \|w_{jk} - w_{jm}\| = \|w_{ik} - w_{jk} \| + \|w_{kj} - w_{mj}\|.

    We consider the difference between w_{ik} and w_{jk} to obtain

    \begin{align} \begin{aligned} &\partial_t (w_{ik}-w_{jk}) + p \cdot \nabla_x (w_{ik}-w_{jk}) + \Theta[V](w_{ik} -w_{jk}) \\ & \quad -\frac{ \kappa}{2N} \sum\limits_{\ell = 1}^N \Big[ (w_{i\ell}-w_{j\ell}) -(z_{i\ell}w_{ik} - z_{j\ell}w_{jk}) -z_{\ell k}(w_{ik}-w_{jk}) \Big ] = 0. \end{aligned} \end{align} (29)

    Similar to the proof of Corollary 1, we multiply \overline{ w_{ik}-w_{jk}} to (29), take real parts and integrate the resulting relation with respect to (x, p)\in \mathbb R^{2d} to obtain

    \begin{align} \begin{aligned} &\frac{ \mathrm{d}}{ \mathrm{d}t} \|w_{ik}-w_{jk}\|^2 \\ & \quad = : - \int_{ \mathbb R^{2d}} p\cdot \nabla_x|w_{ik}-w_{jk}|^2 \mathrm{d} x \mathrm{d} p \\ & \quad -\int_{ \mathbb R^{2d}} 2\text{Re}\Big[ (\overline w_{ik}-\overline w_{jk})\Theta[V](w_{ik}-w_{jk}) \Big] \mathrm{d} x \mathrm{d} p \\ & \quad + \frac{ \kappa}{N} \sum\limits_{\ell = 1}^N \int_{ \mathbb R^{2d}} \text{Re}( \mathcal J_{ijk\ell}) \; \mathrm{d} x \mathrm{d} p \\ & \quad = : \mathcal I_{21} + \mathcal I_{22} +\mathcal I_{23}. \end{aligned} \end{align} (30)

    Below, we present estimates of \mathcal I_{2k}, \; k = 1, 2, 3 , respectively.

    Case B.1 (Estimates of \mathcal I_{21} and \mathcal I_{22} ): It follows from the estimates of \mathcal I_{11} and \mathcal I_{12} in Corollary 1 that

    \mathcal I_{21} = \mathcal I_{22} = 0.

    Case B.2 (Estimate of \mathcal I_{23} ): Note that

    \begin{align*} \mathcal J_{ijk\ell} & = (\overline w_{ik} - \overline w_{jk})(w_{i\ell} -w_{j\ell}) - z_{i\ell}|w_{ik}-w_{jk}|^2 \\ & \quad \quad \quad \quad \quad \quad + (z_{i\ell}-z_{j\ell})w_{jk}(\overline w_{ik} - \overline w_{jk}) -z_{\ell k} |w_{ik}-w_{jk}|^2 \\ & = (\overline w_{ik} - \overline w_{jk})(w_{i\ell} -w_{j\ell}) -(z_{i\ell} + z_{\ell k})|w_{ik}-w_{jk}|^2\\&\qquad + (z_{i\ell}-z_{j\ell})w_{jk}(\overline w_{ik} - \overline w_{jk}). \end{align*}

    In (30), we combine all the estimates Case B.1–Case B.2 to find

    \begin{align} \begin{aligned} &\frac{ \mathrm{d}}{ \mathrm{d}t} \|w_{ik}-w_{jk}\|^2 \\ & \quad \leq \frac{ \kappa}{N}\sum\limits_{\ell = 1}^N \int_{ \mathbb R^{2d}} \Big( |w_{ik}-w_{jk}||w_{i\ell}-w_{j\ell}| -\text{Re}(z_{i\ell}+z_{\ell k})|w_{ik}-w_{jk}|^2 \\ & \quad + |z_{i\ell}-z_{j\ell} ||w_{jk}| |w_{ik}-w_{jk}|\Big) \mathrm{d} x \mathrm{d} p \\ & \quad \leq \frac{ \kappa}{N}\sum\limits_{\ell = 1}^N \Big( \|w_{ik}-w_{jk}\| \|w_{i\ell}-w_{j\ell}\| -\text{Re}(z_{i\ell} + z_{\ell k})\|w_{ik}-w_{jk}\|^2 \\ & \quad + |z_{i\ell}-z_{j\ell}| \|w_{jk}\| \|w_{ik}-w_{jk}\|\Big). \end{aligned} \end{align} (31)

    If we use Corollary 1 with \alpha: = \frac{\mathcal D(\mathcal Z^0)}{ 1- \mathcal D(\mathcal Z^0)} , then (31) becomes

    \begin{align} \begin{aligned} \frac{ \mathrm{d}}{ \mathrm{d}t} \|w_{ik}-w_{jk}\|^2 &\leq -2 \kappa ( 1- \alpha e^{- \kappa t})\|w_{ik}-w_{jk}\|^2 \\ & \quad +\frac{ \kappa}{N} \sum\limits_{\ell = 1}^N \|w_{ik}-w_{jk}\| \|w_{i\ell}-w_{j\ell}\| \\ & \quad + \frac{ \kappa\mathcal R^\infty}{N} \sum\limits_{\ell = 1}^N |z_{i\ell}- z_{j\ell} | \|w_{ik} - w_{jk}\|. \end{aligned} \end{align} (32)

    We sum up (32) with respect to k \in [N] to get

    \begin{align} \begin{aligned} & \frac{ \mathrm{d}}{ \mathrm{d}t} \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 \\ &\leq -2 \kappa ( 1- \alpha e^{- \kappa t})\sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 \\ & \quad +\frac{ \kappa}{N} \sum\limits_{k, \ell = 1}^N \|w_{ik}-w_{jk}\| \|w_{i\ell}-w_{j\ell}\|\\ & \quad + \frac{ \kappa\mathcal R^\infty}{N} \sum\limits_{\ell = 1}^N |z_{i\ell}- z_{j\ell} | \sum\limits_{k = 1}^N\|w_{ik} - w_{jk}\| \\ & = : -2 \kappa ( 1- \alpha e^{- \kappa t}) \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 +\mathcal I_{31} + \mathcal I_{32}. \end{aligned} \end{align} (33)

    Case C.1 (Estimate of \mathcal I_{31} ): we use the Cauchy-Schwarz inequality to see

    \begin{align} \begin{aligned} \mathcal I_{31} & = \frac{ \kappa}{N} \sum\limits_{k, \ell = 1}^N \|w_{ik}-w_{jk}\| \|w_{i\ell}-w_{j\ell}\| = \frac \kappa N \left(\sum\limits_{k = 1}^N \|w_{ik} - w_{jk}\|\right)^2\\ & \leq \kappa \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2. \end{aligned} \end{align} (34)

    Case C.2 (Estimate of \mathcal I_{32} ): we use Corollary 1 to find

    \begin{equation} \mathcal I_{32} = \frac{ \kappa\mathcal R^\infty}{N} \sum\limits_{\ell = 1}^N |z_{i\ell}-1+1- z_{j\ell} | \sum\limits_{k = 1}^N\|w_{ik} - w_{jk}\| \leq 4 N \kappa |{\mathcal R}^\infty|^2 \alpha e^{- \kappa t}. \end{equation} (35)

    In (33), we combine all the estimates (34) and (35) to derive

    \begin{align*} \frac{ \mathrm{d}}{ \mathrm{d}t} \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 \leq - \kappa ( 1- 2\alpha e^{- \kappa t}) \sum\limits_{k = 1}^N \|w_{ik}-w_{jk}\|^2 + 4 N \kappa |{\mathcal R}^\infty|^2 \alpha e^{- \kappa t}. \end{align*}

    Finally, we use Lemma 2.5 to establish (28). This completes the proof of Theorem 3.1.

    In this section, we show the global existence of a unique mild solution to the Cauchy problem for the WL model (2) following the fixed point approach in [23] where a linear Wigner equation is considered. For this, we define a subset {\mathcal X} , a norm and a transport operator:

    \begin{align} \begin{aligned} &\mathcal{X}: = \left\{f \in L^2( \mathbb R^{2d}) : \; \left| \int_{ \mathbb R^{2d}} f \mathrm{d} x \mathrm{d} p \right| < \infty \right\}, \\ & \; \; \|f\|_{\mathcal{X}} : = \|f\| + \left|\int f \mathrm{d} x \mathrm{d} p\right|, \; \; A: = -p \cdot \nabla_x. \end{aligned} \end{align} (36)

    Then, it is easy to check that ({\mathcal X}, \| \cdot \|_{\mathcal X}) is a Banach space. In addition, since the transport operator A for the linear Wigner equation maps L^2( \mathbb R^{2d}) to L^2( \mathbb R^{2d}) , it is also useful to define the domain of A denoted by D(A) :

    D(A) : = \left \{f \in \mathcal{X} :p \cdot \nabla_x f \in L^2( \mathbb R^{2d}) \right \} \subseteq {\mathcal X}.

    For the WL model as a perturbation of the linear Wigner equation, it is strongly believed that D(A) is crucial for our analysis (Lemma 4.2). Now, we are ready to provide our second result on the global existence of mild and classical solutions to (2).

    Theorem 4.1. For T \in (0, \infty) , the following assertions hold.

    1. If initial data and the potential satisfy

    w_{ij}^0 \in \mathcal X, \quad i, j\in [N], \quad {{and}} \quad V \in L^{\infty}(\mathbb{R}^d),

    then there exists a unique mild solution to the Cauchy problem (2)-(3):

    w_{ij} \in {C}([0, T];\mathcal X), \quad i, j\in [N].

    2. If we impose further regularity on initial data and the potential

    w_{ij}^0 \in D(A), \quad i, j\in [N], \quad {{and}} \quad V \in L^{\infty}(\mathbb{R}^d) \cap L^{2}(\mathbb{R}^d),

    then there exists a unique classical solution to the Cauchy problem (2)-(3):

    w_{ij} \in {C}([0, T];\mathcal{X}) \cap { C}^1([0, T];D(A)), \quad i, j \in [N].

    Proof. Since the proof is rather lengthy, we provide the proofs in Section 4.2 and Section 4.3.

    In this subsection, we follow the same strategy in [23] in which the linear Wigner equation has been treated by means of the semigroup approach. First, we begin with an elementary property of the transport operator A in (36) for the WL model.

    Lemma 4.2. Let w_{ij} be a classical solution to (2)-(3). Then, the transport operator A = -p\cdot \nabla_x satisfies

    Aw_{ij} \in L^2( \mathbb R^{2d}).

    In other words, the transport operator A for (2) maps L^2( \mathbb R^{2d}) to L^2( \mathbb R^{2d}) .

    Proof. Since a solution \{w_{ij}\} to (2)-(3) belongs to L^2( \mathbb R^{2d}) in Corollary 1, it suffices to show that

    \sup\limits_{0\leq t < \infty} \|p\cdot \nabla_x w_{ij}\| < \infty, \quad i, j\in [N].

    By straightforward calculations, we observe

    \begin{align} \begin{aligned} &\frac{1}{2}\frac{ \mathrm{d}}{ \mathrm{d}t}\|p \cdot \nabla_x w_{ij}\|^2 \\ & \quad = \text{Re} \langle p\cdot \nabla_x \partial_t w_{ij}, p\cdot \nabla_xw_{ij} \rangle \\ & \quad = \mathrm{Re}\langle p \cdot \nabla_x (- p \cdot \nabla_x w_{ij}), p \cdot \nabla_x w_{ij} \rangle - \langle p \cdot \nabla_x (\Theta w_{ij}), p \cdot \nabla_x w_{ij} \rangle\\ & \quad + \frac{ \kappa}{2N} \sum\limits_{k = 1}^N \text{Re} \langle p\cdot \nabla_x (w_{ik} + w_{kj} - (z_{ik} + z_{kj})w_{ij} ) , p\cdot \nabla_xw_{ij} \rangle \\ & \quad = : \mathcal{I}_{41} + \mathcal{I}_{42} + \mathcal{I}_{43}. \end{aligned} \end{align} (37)

    Below, we estimate \mathcal I_{4k}, \; k = 1, 2, 3 one by one.

    Case C.1 (Estimate of \mathcal I_{41} ): we use integration by parts to find

    \begin{align*} & -\langle p \cdot \nabla_x ( p \cdot \nabla_x w_{ij}), p \cdot \nabla_x w_{ij} \rangle = -\left \langle \sum\limits_{j = 1}^N p_j \partial_j (p \cdot \nabla_x w_{ij}), p \cdot \nabla_x w_{ij}\right \rangle\\ & \quad = \left \langle p \cdot \nabla_x w_{ij}, \sum\limits_{j = 1}^N p_j \partial_j (p \cdot \nabla_x w_{ij})\right \rangle = \overline{\langle p \cdot \nabla_x ( p \cdot \nabla_x w_{ij}), p \cdot \nabla_x w_{ij} \rangle}. \end{align*}

    Hence, we see that \mathcal I_{41} vanishes:

    \mathcal I_{41} = 0.

    Case C.2 (Estimate of \mathcal I_{42} ): since \Theta[V] and -A commute particularly for w_{ij} , we get

    \begin{align*} \langle p \cdot \nabla_x (\Theta w_{ij}), p \cdot \nabla_x w_{ij} \rangle = \langle \Theta[V]( p\cdot \nabla_xw_{ij}), p\cdot \nabla_x w_{ij}\rangle. \end{align*}

    By the skew-Hermitian property of \Theta[V] in Remark 1, one has

    \mathcal I_{42} = 0.

    Case C.3 (Estimate of \mathcal I_{43} ): for the summand in \mathcal I_{43}

    \begin{align*} \begin{aligned} & \langle p\cdot \nabla_x (w_{ik} + w_{kj} - (z_{ik} + z_{kj})w_{ij} ) , p\cdot \nabla_xw_{ij} \rangle \\ & \quad = \langle p\cdot \nabla_x(w_{ik} + w_{kj}), p\cdot\nabla_x w_{ij}\rangle -(z_{ik}+z_{kj})\|p\cdot \nabla_xw_{ij}\|^2 \\ & \quad = -2\|p\cdot \nabla_xw_{ij}\|^2 + (1-z_{ik} + 1-z_{kj}) \|p\cdot \nabla_xw_{ij}\|^2\\ & \quad + \langle p\cdot \nabla_x(w_{ik} + w_{kj}), p\cdot\nabla_x w_{ij}\rangle \\ & \quad \leq -2\|p\cdot \nabla_xw_{ij}\|^2 + |1-z_{ik} + 1-z_{kj}| \|p\cdot \nabla_xw_{ij}\|^2 \\ & \quad + \| p\cdot\nabla_x w_{ij} \| \big( \|p\cdot\nabla_x w_{ik}\| + \|p\cdot\nabla_x w_{kj}\|\big). \end{aligned} \end{align*}

    In (37), we collect all the estimates in Case C.1–Case C.3 to find

    \begin{align} \begin{aligned} \frac{1}{2}\frac{ \mathrm{d}}{ \mathrm{d}t}\|p \cdot \nabla_x w_{ij}\|^2 & \leq - \kappa \|p\cdot \nabla_xw_{ij}\|^2 + \kappa \mathcal D(\mathcal Z) \|p\cdot \nabla_xw_{ij}\|^2 \\ & \quad + \frac{ \kappa}{2N}\sum\limits_{k = 1}^N \| p\cdot\nabla_x w_{ij} \| \big( \|p\cdot\nabla_x w_{ik}\| + \|p\cdot\nabla_x w_{kj}\|\big). \end{aligned} \end{align} (38)

    We sum up (38) with respect to i, j\in [N] and use the Cauchy-Schwarz inequality for the last term to derive

    \frac{1}{2}\frac{ \mathrm{d}}{ \mathrm{d}t} \sum\limits_{i, j = 1}^N \|p \cdot \nabla_x w_{ij}\|^2 \leq \kappa \mathcal D(\mathcal Z) \sum\limits_{i, j = 1}^N \|p \cdot \nabla_x w_{ij}\|^2.

    It follows from Corollary 1 that \mathcal D(\mathcal Z) tends to zero exponentially fast and Lemma 2.5 gives the desired uniform boundedness.

    In this subsection, we show that the Cauchy problem for the WL model admits a unique mild solution.

    First, we rewrite (2) as a matrix form to apply the fixed point theorem. For W = (w_{ij})_{(i, j)} ,

    \begin{align} \begin{aligned} & \partial_t W + p\cdot \nabla_x W + \Theta[V](W) \\ & \quad = \frac{ \kappa}{2N} \left( E_{ij} W C_j + R_i W E_{ij} - W \int_{ \mathbb R^{2d}} ( E_{ij} W C_j + R_i W E_{ij}) \mathrm{d} x \mathrm{d} p \right), \end{aligned} \end{align} (39)

    where E_{ij} is an N\times N matrix whose entries are all zero except for (i, j) -component being 1, R_i is an N\times N matrix whose elements in i -th row are all one, and C_j is an N\times N matrix whose elements in j -th column are all one. Here, \Theta[V](W) is understood as an N\times N matrix whose (i, j) -th component is \Theta[V](w_{ij}) , and the integral in the right-hand side is defined in a similar way. For N^2 copies of the function space \mathcal X in (36), we define a set and its norm:

    \begin{cases} {\bf{X}} : = \left\{ F = (F_{ij}) \in ( L^2( \mathbb R^{2d}) )^{\otimes N^2}\; \; :\; \; \left| \int_{ \mathbb R^{2d}} F_{ij} \mathrm{d} x \mathrm{d} p \right| < \infty, \quad i, j \in [N] \right\}, \\ \|F\|_{{\bf{X}}} : = \|F\|_{L^2( \mathbb R^{2d})^{\otimes N^2}} + \left| \int_{ \mathbb R^{2d}} F \mathrm{d} x \mathrm{d} p \right|: = \max\limits_{i, j}\bigg(\|F_{ij}\| + \left| \int_{ \mathbb R^{2d}} F_{ij} \mathrm{d} x \mathrm{d} p \right|\bigg). \end{cases}

    Then, {\bf{X}} becomes a Banach space. For the time variable, we use the sup norm. Thus, we consider the Banach space

    C([0, T]; {\bf{X}})

    equipped with the norm

    { \vert\kern-0.25ex \vert\kern-0.25ex \vert {F} \vert\kern-0.25ex \vert\kern-0.25ex \vert}: = \sup\limits_{0 \leq t \leq T} \|F(t) \|_{{\bf{X}}}.

    Now, we are concerned with the global solvability of (39). Let T>0 (to be determined later) and consider a map \mathcal T:{\bf{X}} \to {\bf{X}} defined by the following prescription: for each G\in {\bf{X}} , the function W = \mathcal TG is a solution to the Cauchy problem:

    \begin{equation} \begin{cases} \partial_t W + p\cdot \nabla_x W + \Theta[V](W) \\ \quad = \frac{ \kappa}{2N} \left( E_{ij} W C_j + R_i W E_{ij} - W \int_{ \mathbb R^{2d}} ( E_{ij} G C_j + R_i G E_{ij}) \mathrm{d} x \mathrm{d} p \right), \\ W(0) = W^0. \end{cases} \end{equation} (40)

    We need to check well-definedness and strict contraction of \mathcal T .

    ● (Well-definedness of \mathcal T ): It suffices to show that for G \in {\bf{X}} , its image W = \mathcal TG also belongs to {\bf{X}} . As done in Corollary 1, we multiply \overline W with (40), take real parts and integrate the resulting relation with respect to (x, p)\in \mathbb R^{2d} to verify that W\in {\bf{X}} .

    ● (Strict contraction): for \overline G \in \mathcal X with \overline W = \mathcal T \overline G , our goal is to find a constant C \in (0, 1) such that

    { \vert\kern-0.25ex \vert\kern-0.25ex \vert {W- \overline W } \vert\kern-0.25ex \vert\kern-0.25ex \vert} \leq C { \vert\kern-0.25ex \vert\kern-0.25ex \vert {G -\overline G} \vert\kern-0.25ex \vert\kern-0.25ex \vert} .

    If we set \overline W = (\overline w_{ij}) and \overline G = (\overline g_{ij}) , then

    \begin{align*} &\partial_t w_{ij} + p \cdot \nabla_x w_{ij} + \Theta[V](\omega_{ij})\\& = \frac{ \kappa}{2N} \sum\limits_{k = 1}^N \left[ w_{ik} + w_{kj} - w_{ij} \left( \int_{ \mathbb R^{2d}} (g_{ik} + g_{kj}) \mathrm{d} x \mathrm{d} p \right)\right], \\ &\partial_t\overline w_{ij} + p \cdot \nabla_x \overline w_{ij} + \Theta[V](\overline \omega_{ij})\\& = \frac{ \kappa}{2N} \sum\limits_{k = 1}^N \left[ \overline w_{ik} + \overline w_{kj} - \overline w_{ij} \left( \int_{ \mathbb R^{2d}} (\overline g_{ik} + \overline g_{kj}) \mathrm{d} x \mathrm{d} p \right)\right]. \end{align*}

    For simplicity, we set

    q_{ij}(t) : = \int_{ \mathbb R^{2d}} g_{ij} \mathrm{d} x \mathrm{d} p, \quad \overline q_{ij} (t) : = \int_{ \mathbb R^{2d}} \overline g_{ij} \mathrm{d} x \mathrm{d} p.

    By straightforward calculation,

    \begin{equation} \frac12\frac {\mathrm{d}} {\mathrm{d}t} \max\limits_{1\leq i, j\leq N} \|w_{ij} - \overline w_{ij}\| \leq C \max\limits_{1\leq i, j\leq N} \|w_{ij} - \overline w_{ij}\| + \max\limits_{1\leq i, j\leq N} \|\omega_{ij}\| \max\limits_{1\leq i, j \leq N} \left| q_{ij} - \overline q_{ij} \right| . \end{equation} (41)

    In addition, we observe

    \begin{equation} \frac {\mathrm{d}} {\mathrm{d}t} \max\limits_{1\leq i, j\leq N} |z_{ij} - \overline z_{ij}| \leq C \max\limits_{1\leq i, j\leq N} |z_{ij} - \overline z_{ij}| + \tilde C \max\limits_{1\leq i, j\leq N} |q_{ij} - \overline q_{ij}|. \end{equation} (42)

    It follows from Corollary 1 that

    \max\limits_{1\leq i, j\leq N } \|w_{ij}(t) \| \leq \mathcal R^\infty, \quad t > 0.

    Then, (41) and (42) yield

    \begin{equation} \frac {\mathrm{d}} {\mathrm{d}t} \|W- \overline W\|_{{\bf{X}}} \leq C_1 \|W- \overline W\|_{{\bf{X}}} + e^{C_2t} \|G- \overline G\|_{{\bf{X}}}, \end{equation} (43)

    and integrate the relation (43) to find

    \begin{align*} \|W- \overline W\|_{\bf{X}} \leq \|W^0- \overline W^0\|_{\bf{X}} + C_1 \int_0^t \|W- \overline W\|_{\bf{X}} \mathrm{d} s + e^{C_2T} \int_0^t \|G- \overline G \|_{\bf{X}} \mathrm{d} s. \end{align*}

    Since W^0 - \overline W^0 = 0 , we obtain

    \begin{align*} { \vert\kern-0.25ex \vert\kern-0.25ex \vert {W- \overline W} \vert\kern-0.25ex \vert\kern-0.25ex \vert} & = \sup\limits_{0\leq t \leq T} \|W-\overline W\|_{\bf{X}} \leq Te^{(C_1+C_2)T} \sup\limits_{0\leq t \leq T} \|G- \overline G \|_{\bf{X}}\\ & = Te^{(C_1+C_2)T} { \vert\kern-0.25ex \vert\kern-0.25ex \vert {G- \overline G} \vert\kern-0.25ex \vert\kern-0.25ex \vert}. \end{align*}

    If Te^{(C_1+C_2)T} <1 , the map \mathcal T becomes a strict contraction on the closed subset of the (complete) metric space \mathcal X . Hence, \mathcal T has a unique fixed point in {\bf{X}} for each W^0 \in {\bf{X}} which gives a unique local solution. Then, it can be globally extended due to uniform L^2 estimate or classical way by induction. Precisely, we define W_n by the unique solution to the main equation on [0, T] with the initial data W_{n+1}(0) = W_n(T) . Then, we denote

    W(t) = W_n(t-nT), \quad t \in [nT, (n+1)T], \quad n\geq0.

    Hence, W becomes the unique global solution to the main equation with the initial data W^0 . This completes the proof.

    Next, we are concerned with a global classical solution. In order to apply Theorem A.2(2) in Appendix A for a classical solution to the Cauchy problem (2)–(3), we have to show the continuously differentiability of the coupling term containing \kappa .

    For W = (w_{ij})_{(i, j)} , we introduce an N\times N matrix F(W) whose (i, j) -th component is given as

    \begin{equation*} \label{E-12} (F(W))_{(i, j)}: = \frac{\kappa}{2N}\sum\limits_{k = 1}^N(z_{ik} + z_{kj})w_{ij} = \frac{ \kappa}{2N} \sum\limits_{k = 1}^N \left( \int_{ \mathbb R^{2d}} (w_{ik} + w_{kj}) \mathrm{d} x \mathrm{d} p \right)w_{ij}, \end{equation*}

    which is nonlinear with respect to the argument W . Since W \in {\bf{X}} , one can easily verify that F maps from [0, T] \times {\bf{X}} to {\bf{X}} for any T>0 . Below, we show that F is indeed Lipschitz.

    Lemma 4.3. For U, V \in{\bf{X}} , there exists a positive constant C>0 that may depend on time T such that

    \begin{align*} \|F(U) - F(V)\|_{\bf{X}} \leq C\|U -V \|_{{\bf{X}}}. \end{align*}

    Then, the functional derivative, denoted by \mathrm{D}F , is continuous. Consequently, F is Lipschitz from a bounded subset of {\bf{X}} to {\bf{X}} .

    Proof. For U, V \in {\bf{X}} , we define the Gâteaux derivative (or it is sometimes simply referred as the functional derivative) of F at U in the direction of V that is denoted by \mathrm{D}F(U)(V) :

    \mathrm{D}F(U)(V) : = \lim\limits_{\tau \to 0} \frac{ F(U + \tau V) - F(U) }{\tau} = \frac{ \mathrm{d}}{ \mathrm{d} \tau} F(U+ \tau V) \biggl|_{\tau = 0}.

    At each point U\in {\bf{X}} , the Gâteaux derivative maps from {\bf{X}} to {\bf{X}} . Then by the definition of the Gâteaux derivative, we calculate for U = (u_{ij}) and V = (v_{ij}) ,

    \begin{align*} (\mathrm{D}F(U)(V))_{(i, j)} = \frac{\kappa}{2N}\sum\limits_{k = 1}^N \left(u_{ij} \int_{ \mathbb R^{2d}}(v_{ik} + v_{kj}) \mathrm{d} x \mathrm{d} p + v_{ij}\int_{ \mathbb R^{2d}}(u_{ik} + u_{kj}) \mathrm{d} x \mathrm{d} p\right). \end{align*}

    Since U, V \in {\bf{X}} , one finds

    \|\mathrm{D}F(U)(V) \|_{\bf{X}}\leq 2 \kappa \|U\|_{{\bf{X}}} \cdot \|V\|_{{\bf{X}}}.

    Therefore, we verified that \mathrm{D}F(U) is a bounded linear operator on {\bf{X}} . Hence, \mathrm{D}F is continuous on {\bf{X}} . Finally, we recall the Gâteaux mean value theorem in Lemma A.3:

    \|F(U) - F(V)\|_{\bf{X}} \leq \|U- V \|_{\bf{X}} \cdot \sup\limits_{t \in [0, 1]}\|\mathrm{D}F(tU + (1-t)V)\|_{ \text{op}}.

    Here, \|\cdot\|_ \text{op} denotes the operator norm when we regard \mathrm{D}F(\cdot) as a linear operator which maps from {\bf{X}} to {\bf{X}} . Since we know that \mathrm{D}F is a bounded linear operator, we find the desired constant:

    \|F(U) - F(V)\|_{\bf{X}} \leq 2\kappa \sup\limits_{t \in [0, 1]}\|tU + (1-t)V\|_{\bf{X}} \cdot \|U - V \|_{\bf{X}}.

    This shows that F is Lipschitz since U and V belong to a bounded subset of {\bf{X}} .

    Now, we are ready to provide the second assertion of Theorem 4.1 by applying semigroup theory.

    Step A (the linear Wigner equation on \mathcal X ): As a first step, we begin with the linear equation in the space \mathcal X instead of L^2( \mathbb R^{2d}) :

    \begin{equation} \partial_t w_{ij} + p \cdot \nabla_x w_{ij} + \Theta[V](w_{ij}) = 0. \end{equation} (44)

    Since (44) on L^2( \mathbb R^{2d}) has been studied in [23], we slightly modify the proof of [23] to show the existence in \mathcal{X} . In order to use Theorem A.1, we show the term \Theta[V] is a a bounded perturbation of the transport operator A = -p \cdot \nabla_x in \mathcal{X} . However, when the \mathcal{X} -norm is considered, Lemma 2.2 gives

    \|\Theta[V]w\|_{\mathcal{X}} = \|\Theta[V]w\|.

    Since \Theta[V] is a bounded perturbation of A in L^2( \mathbb R^{2d}) (see [23,Lemma 1]), we then conclude that \Theta[V] is a linear bounded operator defined on \mathcal X . Hence, (44) admits a unique classical solution

    w_{ij} \in C([0, T];\mathcal{X}) \cap C^1([0, T];D(A)).

    For details, we refer the reader to [23,Theorem 1].

    Step B (the WL model on D(A) ): Next, we recall from Lemma 4.2 that F is continuously differentiable and then apply Theorem A.2(2) to guarantee that a mild solution obtained from the first assertion of Theorem 4.1 indeed becomes a classical solution to (2)–(3):

    w_{ij}\in C([0, T];\mathcal{X}) \cap C^1([0, T];D(A)), \quad i, j \in [N].

    This completes the proof.

    In this paper, we have studied the complete aggregation estimate and the global existence of the Wigner-Lohe(WL) model which describes quantum synchronization in the Wigner picture. By taking the Wigner transform on the Schrödinger-Lohe model with identical potentials, we formally derived the WL model which is an integro-differential equation. Compared to the linear Wigner equation, one of the main difficulty to deal with the WL model lies in the lack of conservation laws. However, fortunately, we can overcome the loss of several conserved quantities via collective dynamics. For the WL model, we first establish complete aggregation estimates that can be achieved with an exponential convergence rate in a priori setting. Next, we show that the WL model admits a unique global mild solution by the standard fixed point theorem and if we impose further regularity on initial data, a unique global classical solution can be obtained by using the semigroup theory. Of course, there are still lots of untouched issues. For instance, we focused on the identical WL model where external one-body potentials are assumed to be the same. Thus, the extension of collective dynamics and global solvability of the WL model with non-identical potentials are left for a future work.

    In this appendix, we briefly summarize several results in [24] on the semigroup theory to show the existence of evolution equations. The first theorem deals with the bounded perturbation of a linear equation.

    Theorem A.1. [24] Let X be a Banach space, and let A and B be operators on X such that

    (i) A is the infinitestimal generator of a C_0-semigroup T(t) on X satisfying

    \|T(t)\| \leq Me^{\omega t}.

    (ii) B is a bounded linear operator on X.

    Then, A + B is the infinitestimal generator of a C_0 -semigroup S(t) on X satisfying

    \|S(t)\| \leq Me^{(\omega + M\|B\|)t}.

    Consider the following abstract Cauchy problem:

    \begin{equation} \begin{cases} \frac{ \mathrm{d} u(t)}{ \mathrm{d}t} + Au(t) = f(t, u(t)), \quad t > t_0, \\ u(t_0) = u_0. \end{cases} \end{equation} (45)

    In next theorem, we recall the result on the mild and classical solutions of (45).

    Theorem A.2. [24] The following assertions hold.

    1. Let f:[t_0, T] \times X \rightarrow X be continuous in t on [t_0, T] and uniformly Lipschitz continuous (with a Lipschitz constant L ) on X . If -A is the infinitestimal generator of a C_0 semigroup T(t) for t \geq 0 on X , then for every u_0 \in X , the initial value problem (45) has a unique mild solution u \in C([t_0, T]; X) . Moreover, the mapping u_0 \mapsto u is Lipschitz continuous from X into C([t_0, T]; X) .

    2. Let -A be the infinitestimal generator of a C_0 semigroup T(t) for t\geq0 on X . If f:[t_0, T] \times X \rightarrow X is continuously differentiable from [t_0, T] \times X into X , then the mild solution of (45) with u_0 \in D(A) is a classical solution of the initial value problem.

    Finally, we recall Gâteaux's mean value theorem. We denote the directional derivative of f at x in direction v by \delta_v f(x) :

    Lemma A.3. [2,Proposition A.2] Let f:X \rightarrow Y be a function between Banach spaces X and Y . If f is Gâteaux differentiable, then for x, y \in X ,

    \|f(y) - f(x) \|_Y \leq \|x-y\|_X \sup\limits_{0 \leq \theta \leq 1} \|Df(\theta x + (1-\theta)y\|_{\mathcal{L}(X, Y)},

    where Df(x) is a bounded linear operator Df(x) : v \mapsto \delta_v f(x) . Here, \delta_vf(x) is the directional derivative of f at x in direction v :

    \delta_v f(x) : = \lim\limits_{t \rightarrow \infty} \frac{f(x+tv) - f(x)}{t}.


    [1] V. Eldholm, J. Monteserin, A. Rieux, B. Lopez, B. Sobkowiak, V. Ritacco, et al., Four decades of transmission of a multidrug-resistant Mycobacterium tuberculosis outbreak strain, Nat. Comm., 6 (2015), 1–9. doi: 10.1038/ncomms8119. doi: 10.1038/ncomms8119
    [2] J. D. Fonseca, G. M. Knight, T. D. McHugh, The complex evolution of antibiotic resistance in Mycobacterium tuberculosis, Int. J. Infect. Dis., 32 (2015), 94–100. doi: 10.1016/j.ijid.2015.01.014. doi: 10.1016/j.ijid.2015.01.014
    [3] B. Müller, S. Borrell, G. Rose, S. Gagneux, The heterogeneous evolution of multidrug-resistant Mycobacterium tuberculosis, Trends Genet., 29 (2013), 160–169. doi: 10.1016/j.tig.2012.11.005. doi: 10.1016/j.tig.2012.11.005
    [4] S. Ekins, J. S. Freundlich, I. Choi, M. Sarker, C. Talcott, Computational databases, pathway and cheminformatics tools for tuberculosis drug discovery, Trends Microb., 19 (2011), 65–74. doi: 10.1016/j.tim.2010.10.005. doi: 10.1016/j.tim.2010.10.005
    [5] A. Sandgren, M. Strong, P. Muthukrishnan, B. K. Weiner, G. M. Church, M. B. Murray, Tuberculosis drug resistance mutation database, PLoS Med., 6 (2009), e1000002. doi: 10.1371/journal.pmed.1000002. doi: 10.1371/journal.pmed.1000002
    [6] L. Chen, Z. Xiong, L. Sun, J. Yang, Q. Jin, VFDB 2012 update: Toward the genetic diversity and molecular evolution of bacterial virulence factors, Nucleic Acids Res., 40 (2012), 641–645. doi: 10.1093/nar/gkr989. doi: 10.1093/nar/gkr989
    [7] S. Kim, J. Chen, T. Cheng, A. Gindulyte, J. He, S. He, Q. Li et al., PubChem 2019 update: Improved access to chemical data, Nucleic Acids Res., 47 (2019), 1102–1109. doi: 10.1093/nar/gky1033. doi: 10.1093/nar/gky1033
    [8] R. C. Goldman, Target discovery for new antitubercular drugs using a large dataset of growth inhibitors from PubChem, Infect. Dis.-Drug Tar., 20 (2020), 352–366. doi: 10.2174/1871526519666181205163810. doi: 10.2174/1871526519666181205163810
    [9] C. A. Lipinski, F. Lombardo, B. W. Dominy, P. J. Feeney, Experimental and computational approaches to estimate solubility and permeability in drug discovery and development settings, Adv. Drug Deliv. Rev., 23 (1997), 3–25. doi: 10.1016/s0169-409x(96)00423-1. doi: 10.1016/s0169-409x(96)00423-1
    [10] S. Ekins, J. S. Freundlich, R. C. Reynolds, Fusing dual-event data sets for Mycobacterium tuberculosis machine learning models and their evaluation, J. Chem. Info. Model., 53 (2013), 3054–3063. doi: 10.1021/ci400480s. doi: 10.1021/ci400480s
    [11] S. Ekins, A. C. Casey, D. Roberts, T. Parish, B. A. Bunin, Bayesian models for screening and TB Mobile for target inference with Mycobacterium tuberculosis, Tuberculosis, 94 (2014), 162–169. doi: 10.1016/j.tube.2013.12.001. doi: 10.1016/j.tube.2013.12.001
    [12] S. Ekins, A. M. Clark, S. J. Swamidass, N. Litterman, A. J. Williams, Bigger data, collaborative tools and the future of predictive drug discovery, J. Computer-aided Mol. Des., 28 (2014), 997–1008. doi: 10.1007/s10822-014-9762-y. doi: 10.1007/s10822-014-9762-y
    [13] S. Ekins, A. M. Clark, A. L. Perryman, J. S. Freundlich, A. Korotcov, V. Tkachenko, Accessible machine learning approaches for toxicology, Comp. Tox. Risk Assess Chem., (2018), 1–29. doi: 10.1002/9781119282594.ch1. doi: 10.1002/9781119282594.ch1
    [14] K. Djaout, V. Singh, Y. Boum, V. Katawera, H. F. Becker, N. G. Bush, et al., Predictive modeling targets thymidylate synthase ThyX in Mycobacterium tuberculosis, Sci. Rep., 6 (2016), 1–11. doi: 10.1038/srep27792. doi: 10.1038/srep27792
    [15] S. Chetty, M. Ramesh, A. Singh-Pillay, M. E. S. Soliman, Recent advancements in the development of anti-tuberculosis drugs, Bioorg. Med. Chem. Let., 27 (2017), 370–386. doi: 10.1016/j.bmcl.2016.11.084. doi: 10.1016/j.bmcl.2016.11.084
    [16] D. Machado, M. Girardini, M. Viveiros, M. Pieroni, Challenging the drug-likeness dogma for new drug discovery in tuberculosis, Front. Microbio., 9 (2018), 1367. doi: 10.3389/fmicb.2018.01367. doi: 10.3389/fmicb.2018.01367
    [17] M. AlMatar, H. AlMandeal, I. Var, B. Kayar, F. Köksal, New drugs for the treatment ofMycobacterium tuberculosis infection, Biomed. Pharmaco., 91 (2017), 546–558. doi: 10.1016/j.biopha.2017.04.105. doi: 10.1016/j.biopha.2017.04.105
    [18] L. D. Ghiraldi-Lopes, P. A. Z. Campanerut-Sá, G. P. C. Evaristo, J. E. Meneguello, A. Fiorini, V. P. Baldin, et al., New insights on Ethambutol Targets in Mycobacterium tuberculosis, Infect. Dis.-Drug Tar., 19 (2019), 73–80. doi: 10.2174/1871526518666180124140840. doi: 10.2174/1871526518666180124140840
    [19] S. L. Kinnings, N. Liu, N. Buchmeier, P. J. Tonge, L. Xie, P. E. Bourne, Drug discovery using chemical systems biology: Repositioning the safe medicine Comtan to treat multi-drug and extensively drug resistant tuberculosis, PLoS Comp. Biol., 5 (2009), e1000423. doi; 10.1371/journal.pcbi.1000423.
    [20] J. T. Dudley, T. Deshpande, A. J. Butte, Exploiting drug–disease relationships for computational drug repositioning, Brief Bioinfo., 12 (2011), 303–311. doi; 10.1093/bib/bbr013.
    [21] A. Maitra, S. Bates, T. Kolvekar, P. V. Devarajan, J. D. Guzman, S. Bhakta, Repurposing—a ray of hope in tackling extensively drug resistance in tuberculosis, Int. J. Inf. Dis., 32 (2015), 50–55. doi: 10.1016/j.ijid.2014.12.031. doi: 10.1016/j.ijid.2014.12.031
    [22] Q. Vanhaelen, P. Mamoshina, A. M. Aliper, A. Artemov, K. Lezhnina, I. Ozerov, et al., Design of efficient computational workflows for in silico drug repurposing, Drug Disco. Tod., 22 (2017), 210–222. doi: 10.1016/j.drudis.2016.09.019. doi: 10.1016/j.drudis.2016.09.019
    [23] E. March-Vila, L. Pinzi, N. Sturm, A. Tinivella, O. Engkvist, H. Chen, et al., On the integration of in silico drug design methods for drug repurposing, Front. Pharma., 8 (2017), 298. doi: 10.3389/fphar.2017.00298. doi: 10.3389/fphar.2017.00298
    [24] K. Pavić, I. Perković, Š. Pospíšilová, M. Machado, D. Fontinha, M. Prudêncio, et al., Primaquine hybrids as promising antimycobacterial and antimalarial agents, Euro. J. Med. Chem., 143 (2018), 769–779. doi: 10.1016/j.ejmech.2017.11.083. doi: 10.1016/j.ejmech.2017.11.083
    [25] A. C. Pushkaran, V. Vinod, M. Vanuopadath, S. S. Nair, S. V. Nair, A. K. Vasudevan, et al., Combination of repurposed drug diosmin with amoxicillin-clavulanic acid causes synergistic inhibition of mycobacterial growth, Sci. Rep., 9 (2019), 1–14. doi: 10.1038/s41598-019-43201-x. doi: 10.1038/s41598-019-43201-x
    [26] J. V. Eichborn, M. S. Murgueitio, M. Dunkel, S. Koerner, P. E. Bourne, R. Preissner, PROMISCUOUS: A database for network-based drug-repositioning, Nucleic Acids Res., 39 (2010), 1060–1066. doi: 10.1093/nar/gkq1037. doi: 10.1093/nar/gkq1037
    [27] S. Hasan, B. K. Bonde, N. S. Buchan, M. D. Hall, Network analysis has diverse roles in drug discovery, Drug Disc. Tod., 17 (2012), 869–874. doi: 10.1016/j.drudis.2012.05.006. doi: 10.1016/j.drudis.2012.05.006
    [28] S. Daminelli, V. J. Haupt, M. Reimann, M. Schroeder, Drug repositioning through incomplete bi-cliques in an integrated drug–target–disease network, Integ. Biol., 4 (2012), 778–788. doi: 10.1039/c2ib00154c. doi: 10.1039/c2ib00154c
    [29] N. Chandra, J. Padiadpu, Network approaches to drug discovery, Expert Op. Drug Disc., 8 (2013), 7–20. doi: 10.1517/17460441.2013.741119. doi: 10.1517/17460441.2013.741119
    [30] B. K. Chung, T. Dick, D. Lee, In silico analyses for the discovery of tuberculosis drug targets, J. Antimicro. Chemo., 68 (2013), 2701–2709. doi: 10.1093/jac/dkt273. doi: 10.1093/jac/dkt273
    [31] Z. Wu, Y. Wang, L. Chen, Network-based drug repositioning, Mol. BioSys., 9 (2013), 1268–1281. doi: 10.1039/c3mb25382a. doi: 10.1039/c3mb25382a
    [32] P. Anand, N. Chandra, Characterizing the pocketome of Mycobacterium tuberculosis and application in rationalizing polypharmacological target selection, Sci. Rep., 4 (2014), 1–17. doi: 10.1038/srep06356. doi: 10.1038/srep06356
    [33] E. Guney, J. Menche, M. Vidal, A. Barábasi, Network-based in silico drug efficacy screening, Nat.Comm., 7 (2016), 1–13. doi: 10.1038/ncomms10331. doi: 10.1038/ncomms10331
    [34] P. Emerson, The original Borda count and partial voting, Soc. Choice Welf., 40 (2013), 353–358. doi: 10.1007/s00355-011-0603-9. doi: 10.1007/s00355-011-0603-9
    [35] J. Fraenkel, B. Grofman, The Borda Count and its real-world alternatives: Comparing scoring rules in Nauru and Slovenia, Australian J. Pol. Sc., 49 (2014), 186–205. doi: 10.1080/10361146.2014.900530. doi: 10.1080/10361146.2014.900530
    [36] M. H. Alsharif, Y. H. Alsharif, S. A. Chaudhry, M. A. Albreem, A. Jahid, E. Hwang, Artificial intelligence technology for diagnosing COVID-19 cases: A review of substantial issues, Eur. Rev. Med. Pharmacol. Sci., 24 (2020), 9226–9233. doi: 10.26355/eurrev_202009_22875. doi: 10.26355/eurrev_202009_22875
    [37] M. H. Alsharif, Y. H. Alsharif, M. A. Albreem, A. Jahid, A. A. A. Solyman, K. Yahya, et al., Application of machine intelligence technology in the detection of vaccines and medicines for SARS-CoV-2, Eur. Rev. Med. Pharmacol. Sci., 24 (2020), 11977–11981. doi: 10.26355/eurrev_202011_23860. doi: 10.26355/eurrev_202011_23860
    [38] M. H. Alsharif, Y. H. Alsharif, K. Yahya, O. A. Alomari, M. A. Albreem, A. Jahid, Deep learning applications to combat the dissemination of COVID-19 disease: A review, Eur. Rev. Med. Pharmacol. Sci., 24 (2020), 11455–11460. doi: 10.26355/eurrev_202011_23640. doi: 10.26355/eurrev_202011_23640
    [39] G. Elmas, A. Okumuş, R. Cemaloğlu, Z. Kılıç, S. P. Çelik, L. Açık, et al., Phosphorus-nitrogen compounds. part 38. Syntheses, characterizations, cytotoxic, antituberculosis and antimicrobial activities and DNA interactions of spirocyclotetraphosphazenes with bis-ferrocenyl pendant arms, J. Organomet. Chem., 853 (2017), 93–106. doi: 10.1016/j.jorganchem.2017.10.025. doi: 10.1016/j.jorganchem.2017.10.025
    [40] K. Tahlan, R. Wilson, D. B. Kastrinsky, K. Arora, V. Nair, E. Fischer, et al., SQ109 targets MmpL3, a membrane transporter of trehalose monomycolate involved in mycolic acid donation to the cell wall core of Mycobacterium tuberculosis, Antimicro. Agents Chemo., 56 (2012), 1797–1809. doi: 10.1128/AAC.05708-11. doi: 10.1128/AAC.05708-11
    [41] M. A. Musa, V. L. D. Badisa, L. M. Latinwo, Cytotoxic activity of N, N'-Bis (2-hydroxybenzyl) ethylenediamine derivatives in human cancer cell lines, Anticancer Res., 34 (2014), 1601–1607.
  • This article has been cited by:

    1. Muhammad Imran, Brett Allen McKinney, Azhar Iqbal Kashif Butt, Pasquale Palumbo, Saira Batool, Hassan Aftab, Optimal Control Strategies for Dengue and Malaria Co-Infection Disease Model, 2024, 13, 2227-7390, 43, 10.3390/math13010043
  • Reader Comments
  • © 2022 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

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2938) PDF downloads(69) Cited by(2)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog