XY Model Computing Device and Combination Optimization Problem Computing Device
20230102145 · 2023-03-30
Inventors
- Kensuke Inaba (Musashino-shi, Tokyo, JP)
- Hiroki Takesue (Musashino-shi, Tokyo, JP)
- Toshimori Honjo (Musashino-shi, Tokyo, JP)
- Takahiro Inagaki (Musashino-shi, Tokyo, JP)
- Yasuhiro Yamada (Musashino-shi, Tokyo, JP)
- Takuya Ikuta (Musashino-shi, Tokyo, JP)
Cpc classification
G06F17/16
PHYSICS
G06N5/01
PHYSICS
G06N3/049
PHYSICS
G06F17/18
PHYSICS
G06F30/27
PHYSICS
International classification
G06F17/18
PHYSICS
Abstract
An XY model calculation apparatus of the present disclosure includes a resonator unit that amplifies a plurality of optical pulses, a measurement unit that measures phases and amplitudes of the plurality of optical pulses to obtain a measurement result, and a feedback configuration that calculates and feeds back an interaction related to a certain optical pulse of the plurality of optical pulses by using a coupling coefficient of an Ising model in response to the measurement result. The feedback configuration is configured to perform a feedback input of a correlation to be determined by a coupling coefficient of two optical pulses of the plurality of optical pulses and is configured so that only one component of pulsed light is to be measured.
Claims
1. An XY model calculation apparatus, comprising: a resonator unit configured to amplify a plurality of optical pulses; a measurement unit configured to measure phases and amplitudes of the plurality of optical pulses to obtain a measurement result; and a feedback configuration configured to calculate and feed back an interaction related to a certain optical pulse of the plurality of optical pulses by using a coupling coefficient of an Ising model in response to the measurement result and, wherein the feedback configuration is configured to perform a feedback input of a correlation to be determined by a coupling coefficient of two optical pulses of the plurality of optical pulses, and configured so that only one component of pulsed light is to be measured.
2. The XY model calculation apparatus according to claim 1, wherein the component of the pulsed light is an in-phase component.
3. The XY model calculation apparatus according to claim 1, wherein by satisfying, in a Hamiltonian equation (1) of an XY model,
J.sub.ij Math. 5 of Equation (6),
θ.sub.i Math. 2 is a phase of an i-th spin, where i is a natural number,
θ.sub.j Math. 3 is a phase of a j-th spin, where j is a natural number, and
K.sub.ij Math. 4 is a real symmetric matrix, and
θ.sub.i Math. 7 is a phase of an i-th spin, where i is a natural number i,
θ.sub.j Math. 8 is a phase of a j-th spin, where j is a natural number, and
K.sub.ij Math. 9 is a Hermitian matrix, and by satisfying, in a Hamiltonian equation (2) of a complex (numerical system) XY model,
Math. 10
H.sub.cxy=Σ.sub.ijK.sub.ij exp[i(θ.sub.i−θ.sub.j)] (2) a coupling matrix of Equation (11),
θ.sub.i Math. 11 is a phase of an i-th spin, where i is a natural number i,
θ.sub.j Math. 12 is a phase of an j-th spin, where j is a natural number, and
K.sub.ij Math. 13 is a Hermitian matrix, a real number θ is given as an argument in a plane having amplitudes of the two optical pulses as axes, and the argument changes continuously to rotate from 0 to 2π.
4. The XY model calculation apparatus according to claim 1, wherein a feedback signal
α.sub.i Math. 21 to be used for the feedback input is determined so that a relationship
α.sub.i Math. 17 where i and j are natural numbers, v.sub.j is an amplitude of an optical pulse v at a j-th site of one of the two optical pulses, w.sub.j is an amplitude of an optical pulse w at a j-th site of the other of the two optical pulses, a matrix Kij of complex numbers is a coupling coefficient,
K.sub.ij Math. 15 is a real part of Kij, and
ℑK.sub.ij Math. 16 is an imaginary part of Kij.
5. A combination optimization problem calculation apparatus using the XY model calculation apparatus according to claim 1.
6. A combination optimization problem calculation apparatus using the XY model calculation apparatus according to claim 2.
7. A combination optimization problem calculation apparatus using the XY model calculation apparatus according to claim 3.
8. A combination optimization problem calculation apparatus using the XY model calculation apparatus according to claim 4.
Description
BRIEF DESCRIPTION OF DRAWINGS
[0019]
[0020]
[0021]
[0022]
DESCRIPTION OF EMBODIMENTS
[0023] Below, embodiments of the present invention will be described in detail.
[0024] In an XY model calculation apparatus of the present embodiment, a state of one spiking neuron is implemented for two OPO pulses of a coherent Ising machine. The XY model calculation apparatus includes a resonator unit that amplifies a plurality of optical pulses (OPO pulses), a measurement unit that measures phases and amplitudes of the plurality of optical pulses to obtain a measurement result, and a feedback configuration that uses the measurement result and a coupling coefficient of the Ising model to calculate and feed back an interaction related to certain optical pulses. Here, a coherent Ising machine that realizes a spiking neuron apparatus of the present embodiment will be described.
First Embodiment
[0025] A coupling matrix Jij describing a feedback signal in a degenerate optical parametric oscillator (DOPO) spiking neuron apparatus is set so as to be given by (Equation 10) described later.
[0026] A calculation apparatus capable of solving an XY model (hereinafter, referred to as a Hamiltonian) is created by extending the DOPO spiking neuron apparatus (DOPO-SNN). DOPO-spiking neural networks (SNNs), coherent Ising machines (CIMs), and Potts model calculation apparatuses of the related art are adapted for solving combination optimization problems of integers, and the calculation apparatus capable of solving XY models can be applied to combination optimization problems expressed by real numbers.
[0027] The XY model calculation apparatus is used to realize an apparatus that calculates a low energy state of the XY model in which a variable is described by a real number θ using a coupling matrix. The real number θ is given by an argument θ in a plane having, as axes, amplitudes of two optical pulses (DOPO pulses) that form a spiking neuron. If the firing state of the spiking neuron is controlled by the present technique, the argument θ changes continuously so as to rotate from 0 to 2π. Consequently, it is possible to obtain the argument as a variable θ of a real number.
Coherent Ising Machine
[0028] It is not possible to efficiently solve combination optimization problems classified as NP problems with von Neumann computers known in the related art. As a procedure for solving combination optimization problems, a procedure has been proposed that uses the Ising model, which is a lattice model for statistically analyzing a magnetic material by using interactions of spins at each site of lattice points.
[0029] It is known that a Hamiltonian Hxy, which is an energy function of the Ising model system, is expressed by Equation (1) below.
[0030] Furthermore, a complex (numerical system) Hamiltonian Hcxy is expressed as follows.
Math. 5
H.sub.cxy=Σ.sub.ijK.sub.ij exp[i(θ.sub.i−θ.sub.j)] (2)
[0031] In Equations (1) and (2), K.sub.ij is a coupling matrix and indicates a correlation of sites constituting the Ising model.
[0032] By inputting a feedback signal generated by an arithmetic device of the XY model calculation apparatus, it is possible to calculate the low energy state of the XY model.
[0033]
[0034] As illustrated in
[0035] When the optical pulse train input to the ring resonator 1 completes one round and reaches the PSA 2 again, pump light is again input to the PSA 2 to amplify the optical pulse train. The optical pulse train generated by the first injection of the pump light is a weak optical pulse having a phase that is not fixed, but the optical pulse train is amplified by the PSA 2 in every round in the ring resonator 1, so that the phase state of the optical pulse train is gradually fixed. The PSA 2 amplifies each optical pulse in a phase of 0 or π with respect to the phase of the pump light source, and thus, the phase of the optical pulse is fixed to any one of the phase states 0 and π.
[0036] In the coherent Ising machine, spins 1 and −1 in the Ising model are implemented corresponding to the phases 0 and π of the optical pulse. The phase and amplitude of the optical pulse train are measured by the measurement unit 3 outside the ring resonator 1 for each round the optical pulse moves in the ring resonator 1. The measurement result is input to the arithmetic device 4 with a coupling coefficient Kij given in advance, and the measurement result and the coupling coefficient Kij are used to calculate a coupling signal for the i-th optical pulse (a signal to be input as feedback)
Math. 6
{tilde over (α)}.sub.i=Σ.sub.ijK.sub.ijv.sub.j (3)
Math. 7
{tilde over (β)}.sub.i=Σ.sub.ijK.sub.ijw.sub.j (4)
[0037] (v.sub.j: amplitude of an optical pulse v at the j-th site, w.sub.j: amplitude of an optical pulse w at the j-th site). Then, an external optical pulse according to the calculated coupling signal is generated by the external optical pulse input unit 5 and input to the ring resonator 1. This feedback loop control can impart a correlation of phases between the optical pulses constituting the optical pulse train.
[0038] In a coherent Ising machine, the optical pulse train can be amplified in every round the optical pulse train moves in the ring resonator 1, while being imparted with the above-mentioned correlation, and when a stable state is reached, the phases 0 and π of the optical pulses constituting the optical pulse train can be measured to solve the Ising model.
[0039] The configuration of the coherent Ising machine illustrated in
Simulation of Spiking Neuron
[0040]
[0041] When the configuration includes the coherent Ising machine illustrated in
Math. 8
α.sub.i=Σ.sub.jJ.sub.ijC.sub.j+F.sub.i (5)
[0042] In Equation (5) above, F.sub.i is a magnetic field term. J.sub.ij is a correlation (a coupling matrix) determined by the coupling coefficients, and is specifically given as follows.
[0043] The pair of the optical pulses v.sub.i and w.sub.i indicates a state of the i-th spiking neuron by the matrix mentioned above. At this time, equations satisfied by the i-th pair of v and w are given by Equations (7) and (8) below (the subscript i being omitted in Equations (7) and (8)). The behavior of the spiking neuron in the present apparatus is characterized by these equations. When the operation of the DOPO spiking neuron apparatus can be expressed by Equations (7) and (8) below, the DOPO spiking neuron apparatus functions as an XY model calculation apparatus.
[0044] In Equations (7) and (8), p represents the intensity of the pump light and is normalized so that the oscillation threshold value is p=1. For convenience, P=p−1 may be set.
[0045] Note that in the case of a complex XY model, a coupling signal (a signal to be input as feedback) for the i-th optical pulse is calculated by Equations (9) and (10)
Math. 12
{tilde over (α)}.sub.i=(Σ.sub.ij(K.sub.ijv.sub.j+ℑK.sub.ijw.sub.j))α.sub.i=J.sub.vww.sub.i+{tilde over (α)}.sub.i (9)
Math. 13
{tilde over (β)}.sub.i=(Σ.sub.ij(K.sub.ijw.sub.j−ℑK.sub.ijv.sub.j))β.sub.i=J.sub.wvv.sub.i+{tilde over (β)}.sub.i (10)
[0046] where v.sub.j is the amplitude of the optical pulse v at the j-th site and w.sub.j is the amplitude of the optical pulse w at the j-th site. Furthermore, the coupling matrix is defined as expressed in Equation (11).
[0047] The variable of the XY model
θ.sub.i Math. 15
is defined as
arg(v.sub.i+iw.sub.i) Math. 16
This corresponds to an argument in a plane formed by
(v.sub.i,w.sub.i) Math. 17
[0048] which is the amplitudes of the two pulses constituting the DOPO spiking neuron. In a firing state of the spiking neuron,
θ.sub.i Math. 18
[0049] changes continuously so as to rotate from 0 to 2π.
[0050] The XY model calculation apparatus of the present embodiment includes a resonator unit that amplifies a plurality of optical pulses, a measurement unit that measures phases and amplitudes of the plurality of optical pulses to obtain a measurement result, and a feedback configuration that uses the measurement result and a coupling coefficient of the Ising model to calculate and feed back an interaction related to certain optical pulses. Furthermore, in the XY model calculation apparatus of the present embodiment, the feedback configuration is configured to input as feedback a correlation determined by the coupling coefficient of two optical pulses of the plurality of optical pulses, and only one component (an in-phase component) of pulsed light is measured. It is possible to use an apparatus having the same configuration as the coherent Ising machine apparatus of the related art. Here, the variable is described by the real number θ, and when Equation (1) expressing the energy of the XY model
[0051] satisfies the coupling matrix
J.sub.ij Math. 20
[0052] of Equation (6)
[0053] and Equation (2) expressing the energy of the complex XY model
Math. 22
H.sub.cxy=Σ.sub.ijK.sub.ij exp[i(θ.sub.i−θ.sub.j)] (2)
[0054] satisfies the coupling matrix of Equation (11),
[0055] an apparatus for calculating a low energy state is obtained. The real number θ is given by an argument in a plane having, as axes, the two amplitudes (of the DOPO pulses) constituting the spiking neuron. If the firing state of the spiking neuron is controlled by the method described in the present embodiment, the argument θ changes continuously so as to rotate from 0 to 2π. Thus, it is possible to obtain a variable θ expressed by a real number, and to use the variable θ to search for a low energy state of the XY model.
Second Embodiment
[0056] A method of significantly improving the calculation accuracy by inputting a feedback signal (Equation 13) in order to smoothly control the firing state of the apparatus will be described. An apparatus similar to that of the first embodiment can be used, except for the feedback signal.
[0057] Control Feedback of Amplitude
[0058] In some cases, the amplitude of light changes depending on i, and thus, the accuracy may be insufficient. In such cases, the apparatus may not function as an XY model solver, except for a specific case. Thus,
α.sub.i,{tilde over (α)}.sub.i,β.sub.i,,J.sub.wv,v.sub.i,w.sub.i Math. 24
[0059] of Equations (9) and (10) of the first embodiment are used to expand the feedback signal as described below.
[0060] When
E.sub.i=0, Math. 26
[0061] the feedback signal is the feedback signal before expansion.
[0062] Equations (12) are obtained from a feedback signal of an apparatus of the related art
[0063] in which
F.sub.i=−E.sub.iC.sub.i. Math. 28
When
Math. 29
α.sub.i=Σ.sub.jJ.sub.ijC.sub.j−E.sub.iC.sub.i (13)
[0064] is used as a feedback signal to expand the feedback signal, it is possible to adjust the size of the amplitude. A result of a numerical simulation confirming that the size of the amplitude can be adjusted is described below.
[0065] In the numerical simulation, a complex XY model in which the number of spins N is 100 and a coupling constant Kij which is a matrix of complex numbers are randomly generated.
[0066] Furthermore, a quasi-Newton method is used to find a solution. However, when the size of N is small, for example, several tens of numerical values, it is only possible to obtain a solution similar to that of quasi-Newton.
[0067] When N is about 300, the score of the SNN tends to be better. Note that the number of steps is constant.
[0068] The score also depends on the density of the coupling constant Kij. When the coupling constant Kij has high density, the SNN tends to be stronger.
[0069] The trajectories of two pulses in the vw-plane (i being omitted), that is, the amplitudes of the two pulses, are illustrated in
[0070]
[0071]
[0072] An XY model in which the number of spins N is 100 is employed to describe the energy of a complex XY model with reference to
[0073]
[0074] Note that the XY model calculation apparatus adopted in the first and second embodiments may be employed in a combination optimization problem calculation apparatus that solves the above-described combination optimization problem by using the XY model calculation apparatus.