The present invention relates to an estimation device (estimation apparatus), an estimation method, and a program.
Regarding data composed of a plurality of elements, examining interactions between the elements is a problem that exists in common in various fields such as statistics, machine learning, physics, molecular dynamics, and the like. In physics, molecular dynamics, and the like, a method of describing information on collective vibration of a plurality of elements and interaction therebetween by a model called a phase model has been proposed (Non Patent Literature 1). In addition, a method of estimating a phase model from given data using a Fourier series or Hilbert transform has been proposed (Non Patent Literature 2). In the phase model, after data is converted into phase information by a function called a phase function, a relationship between phases is described by a function called a phase coupling function.
Here, in a case where there is one element, the phase model describes only the vibration of one element, but in this case, a method of estimating the phase model using a Koopman operator has been proposed (Non Patent Literature 3). The Koopman operator is a linear operator that describes time evolution of time-series data, and a method of estimating, from given time-series data, the Koopman operator to which the data conforms by using a Reproducing Kernel Hilbert Space (RKHS) or a generalization thereof, vvRKHS (Vector-Valued RKHS, Non Patent Literature 4) has been proposed (Non Patent Literature 5). Therefore, by using these methods, the phase model can be estimated from given data in a case where the number of elements is one.
It is difficult to estimate the entire phase function in the method of estimating the phase model using the Fourier series or the Hilbert transform, but it is possible to estimate the entire phase function in the method of estimating the phase model using the Koopman operator. However, the method of estimating the phase model using the Koopman operator requires only one element.
An embodiment of the present invention has been made in view of the above points, and an object of the present invention is to estimate a phase model for a plurality of elements using a Koopman operator.
In order to achieve the above object, an estimation device (estimation apparatus) according to an embodiment includes an operator estimation unit configured to estimate a Koopman operator from time-series data composed of a plurality of elements by using the time-series data as an input, and a phase model estimation unit configured to estimate a phase model representing collective vibration of the plurality of elements and an interaction between the elements using the Koopman operator.
A phase model for a plurality of elements can be estimated using the Koopman operator.
An embodiment of the present invention will be described below. In the present embodiment, an estimation device 10 (estimation apparatus) capable of estimating a phase model for a plurality of elements using a Koopman operator will be described.
First, a theoretical configuration when the estimation device 10 according to the present embodiment estimates a phase model for a plurality of elements using the Koopman operator will be described.
Consider analyzing time-series data generated as follows.
The above formula is defined. Note that d is a predetermined natural number. Hereinafter, in the text of the specification, X (the calligraphic character X) shown in the above Math. 1 is written as “Xset”. In addition, in a case where there is no confusion with other symbols, blackboard bold characters (outline characters) are written as normal characters in the text of the specification (for example, the d-dimensional real space of the above Math. 1 is written as Rd.).
N elements described by a network (a network model of a coupled mechanical system) shown in the following Formula (1) denoted by X1, . . . , XN∈Xset.
However, the initial value is Xi(0)=xi,0(i=1, . . . , N). Fi represents the individual dynamics of an element Xi, and Gi,k represents the influence of an element Xx on the element Xi.
Here, X= [X1, . . . , XN]. It is assumed that data is generated at a constant time interval Δt, that is, time-series data of xi,1=Xi(Δt·1) is generated by the model represented by the above formula (1). Such time-series data is observable data and is also referred to as observation data. Note that 1 is a lower case L.
It is assumed that there is a common frequency ω that dominates the N elements and that each element weakly interacts with other elements. That is, it is assumed that the model represented by the above formula (1) is reduced to a phase model represented by the following formula (2).
Here, θ1∈[0, 2π) represents a phase variable for Xi, and Γi represents an interaction between elements that affect the element Xi. A function for transforming Xi into θi∈[0, 2π) is also referred to as a phase function, and Γi is also referred to as a phase coupling function. In the present embodiment, estimating the phase function, the frequency ω, and the interaction Γi only from observation data (that is, in a state where Fi and Gi,k are not known) is considered.
A Hilbert space composed of a function v from XsetN to CN (N-dimensional complex number space), where the i-th component of v(x)∈CN depends only on the i-th component of x∈XsetN is set to H. For example, vvRKHS generated from the following matrix value kernel function Φ:XsetN×XsetN→CN×N can be set as H.
[Φ(x1,x2)]i,j=k((x1,i,i),(x2,j,j))
Here, k represents a complex-valued positive-definite kernel on the following formula,
x1,i,i represents the i-th component of x1∈XsetN, and x2,j represents the j-th component of x2εXsetN. Refer to, for example, Non Patent Literature 4 for details of the configuration of vvRKHS.
For v∈H, the Koopman operator K on H is defined as a linear operator such that Kv(X(t))=v(X(t+Δt)) is satisfied. For a certain natural number 1 (1 is a lower case L), t0=Δt·l. At this time, an optimization problem represented by the following formula (3) is conceived.
where Bi,x is a linear operator on H defined by Bi,ku=ukei, uk is a k-th component of a vector value function u, and ei is an N-dimensional vector in which only the i-th element is 1 and the other elements are 0. Note that the optimization problem represented by Formula (3) can be solved by, for example, a gradient method or the like.
According to certain ω∈[0,2π],
it is assumed that the above formula is represented, and
it is assumed that N eigenvalues of the Koopman operator K which are close to the above formula are present for each j. Hereinafter, these eigenvalues are represented as λj,i (i=1, . . . , N). Note that M is a predetermined natural number of 2 or more.
It is assumed that there is an eigenvector for the eigenvalue λj,i, and this is represented as vj,i. At this time, assuming that vj,1 (X (t0)), . . . Vj,N(X(t0)) is linearly independent for each j=2, . . . , M,
there exists cj,i∈C that satisfies the above formula. However, 1 on the right side of the above formula 8 represents an N-dimensional vector in which all components are 1.
At this time, for j=2, . . . , M, an optimization problem Pj represented by the following formula (4) is recursively considered.
where λ, ai,k1, and u1 are the solutions to the optimization problem represented by the above formula (3), ai,kl is the solution to a minimization problem Pl with respect to l<j, and for l<j,
the above formula is defined. Note that l is a lower case L. Furthermore,
represents a product for each component.
When the optimization problem Pj represented by the above formula (4) is recursively solved until j=M, the following is obtained. Note that the optimization problem represented by the above formula (4) is a linear problem, and thus can be analytically solved.
where ui,j is the i-th element of uj.
Let θi,j(t)=arg(ui,j(Xi(t))), ri,j(t)=|ui,j(Xi(t))|. According to the definition of uj and Formula (4),
the above formula is defined. Therefore, the following is established.
Further, since vi,j is the eigenvector for the eigenvalue of the Koopman operator K represented by the following formula,
according to the definition of uj,
the above formula is defined. Accordingly,
the above formula is defined, and thus when θi,j(t) is approximated by jθi,1(t), the following formula (5) is established.
Therefore, in the above formula (5),
when the above formulae are defined, the above formula (2) is obtained. Note that θi,1(t)=arg(ui,1(Xi(t))) is a phase function.
If the Koopman operator K can be estimated from observation data, a phase model to which the observation data conforms can be estimated by the method described in “2. Estimation of Phase Model using Koopman Operator”. For example, the method described in Non Patent Literature 5 may be used as a method of estimating the Koopman operator K from the observation data.
Next, a hardware configuration of the estimation device 10 according to the present embodiment will be described with reference to
The input device 101 is, for example, a keyboard, a mouse, a touch panel, a physical button of various types, or the like. The display device 102 is, for example, a display, a display panel, or the like. Note that the estimation device 10 may not include, for example, at least one of the input device 101 and the display device 102.
The external I/F 103 is an interface with an external device such as a recording medium 103a. The estimation device 10 can perform reading/writing from/to the recording medium 103a via the external I/F 103. Note that examples of the recording medium 103a include, for example, a compact disc (CD), a digital versatile disk (DVD), a secure digital (SD) memory card, and a Universal Serial Bus (USB) memory card.
The communication I/F 104 is an interface for connecting the estimation device 10 to a communication network. The processor 105 is, for example, one of various arithmetic devices such as a central processing unit (CPU) and a graphics processing unit (GPU). The memory device 106 is one of various storage devices such as a hard disk drive (HDD), a solid state drive (SSD), a flash memory, a random access memory (RAM), and a read only memory (ROM).
Since the estimation device 10 according to the present embodiment has the hardware configuration illustrated in
Next, a functional configuration of the estimation device 10 according to the present embodiment will be described with reference to
The Koopman operator estimation unit 201 estimates the Koopman operator K from observation data. Here, the Koopman operator estimation unit 201 includes a data acquisition unit 211 and an operator estimation unit 212. The data acquisition unit 211 acquires observation data from the storage unit 203. The operator estimation unit 212 estimates the Koopman operator K from the observation data acquired by the data acquisition unit 211 using, for example, the method described in Non Patent Literature 5.
The phase model estimation unit 202 estimates a phase model to which the observation data conforms by the method described in “2. Estimation of Phase Model using Koopman Operator” using the Koopman operator K estimated by the Koopman operator estimation unit 201.
The storage unit 203 stores observation data. Note that the storage unit 203 may store the phase model (phase function, frequency ω, and interaction Γi) estimated by the phase model estimation unit 202.
Next, phase model estimation processing according to the present embodiment will be described with reference to
The data acquisition unit 211 of the Koopman operator estimation unit 201 acquires observation data from the storage unit 203 (step S101).
The operator estimation unit 212 of the Koopman operator estimation unit 201 estimates the Koopman operator K from the observation data acquired in step S101 described above (step S102). Note that, as described above, the operator estimation unit 212 may estimate the Koopman operator K from the observation data using, for example, the method described in Non Patent Literature 5.
The phase model estimation unit 202 solves the optimization problem represented by the above formula (3) using the Koopman operator K estimated in the above step S102 (step S103). Note that the phase model estimation unit 202 can solve the optimization problem represented by the above formula (3) using, for example, a gradient method or the like.
The phase model estimation unit 202 sets j←2 (step S104).
The phase model estimation unit 202 determines whether or not j<M+1 is satisfied (step S105). Note that M is a predetermined natural number of 2 or more.
If it is determined in step S105 described above that j<M+1 is satisfied, the phase model estimation unit 202 solves the optimization problem represented by the above formula (4) using the Koopman operator K estimated in step S102 described above (step S106). Note that, since the optimization problem represented by the above formula (4) is a linear problem, the phase model estimation unit 202 can analytically solve the optimization problem represented by the formula (4).
The phase model estimation unit 202 sets j←j+1 (step S107), and returns to step S105 described above. As a result, for j=2, . . . , M, the optimization problem represented by the above formula (4) is recursively solved.
If it is not determined in step S105 described above that j<M+1 is satisfied, the phase model estimation unit 202 estimates the phase model by the above formula (5) using the solutions of the optimization problem represented by the above formula (3) and the solutions of the optimization problem represented by the above formula (4) (step S108). As a result, the phase model to which the observation data acquired in step S101 conforms is estimated.
Hereinafter, evaluation of the phase model estimated by the estimation device 10 according to the present embodiment will be described.
10 pieces of time-series data (observation data) x0i, . . . , x2000i (i=1, . . . , 10) were generated by changing an initial value from a FitzHugh-Nagumo (FHN) model on Xset=R2, the Koopman operator K was estimated, and then, a phase function ηi(ηi(x)=arg(ui,1(x)), ×∈R2) representing a transformation from Xi(t) to θi(t) and the interaction Γi(ψl, . . . , ψN) in the above formula (5) were calculated by the method described in “2. Estimation of Phase Model using Koopman Operator”.
The FHN model is obtained by setting Fl(Xi)=F(Xi)=[yi(yi−c)(1−yi)−zi, μ−l(yi−dzi)], Gi,j(Xi, Xj)=G(Xi, Xj)=[0.01(zi−zj), 0], c=−0.1, d=0.5, and μ=100 for Xi(t)=[yi(t), zi(t)]∈R2 in the network represented by the above formula (1).
At this time, a scatter diagram in which the eigenvalues of the Koopman operator K estimated by the Koopman operator estimation unit 201 are plotted on a complex plane is shown in
As illustrated in
In this example, since N=2, and Fi=F2 and G1,2=G2,l in the above formula (1), η1=η2 should be satisfied. Therefore, only η1 is calculated by the phase model estimation unit 202. The results are illustrated in
In addition,
10 pieces of time-series data (observation data) x0i, . . . , X2000i (i=1, . . . , 10) were generated by changing an initial value from an SL model on Xset=R2, the Koopman operator K was estimated, and then the optimization problem represented by the above formula (3) was solved and ai,k representing the strength of interaction was estimated.
The SL model is obtained by setting Fl(Xi)=F(Xi)=[yi−azi−(yi2+zi2) (byi+zi), zi−(yi2+zi2) (byi+zi)], G(Xi, Xj)=[0.01(zj−zi), 0], G1,2(Xi, Xj)=G2,1(Xi, Xj)=G (Xi, Xj), a=2, and b=1 for Xi(t)=[yi(t), zi(t)]∈R2 in the network represented by the above formula (1).
At this time, a scatter diagram in which the eigenvalues of the Koopman operator K estimated by the Koopman operator estimation unit 201 are plotted on a complex plane is shown in
As illustrated in
In this example, since the purpose is only to obtain the size of ai,k, λ=λ1, and u=u10 are fixed in the above formula (3), and the optimization problem represented by the formula (3) is solved as a linear problem.
As described above, the estimation device 10 according to the present embodiment can accurately estimate a phase model for a plurality of elements using the Koopman operator. Therefore, it is possible to perform analysis such as extracting an interaction between a plurality of elements with respect to data including the elements using the phase model estimated by the estimation device 10 according to the present embodiment. Note that the estimation device 10 according to the present embodiment may perform the above analysis using, for example, the estimated phase model, or may control a system (alternatively, equipment or the like constituting the system) represented by a network model of a coupled dynamic system using the analysis result.
The present invention is not limited to the above-mentioned specifically disclosed embodiment, and various modifications and changes, combinations with known technology, and the like can be made without departing from the scope of the claims.
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/JP2021/032888 | 9/7/2021 | WO |