Deterministic and stochastic sampling of two coupled Kerr parametric oscillators
Gabriel Margiani,1Javier del Pino,2Toni L. Heugel,2Nicholas E. Bousse,3Sebasti´an
Guerrero,1Thomas W. Kenny,4Oded Zilberberg,5Deividas Sabonis,1and Alexander Eichler1
1Laboratory for Solid State Physics, ETH Z¨urich, CH-8093 Z¨urich, Switzerland.
2Institute for Theoretical Physics, ETH Z¨urich, CH-8093 Z¨urich, Switzerland.
3Departments of Mechanical Engineering, Stanford University, Stanford, California 94305, USA
4Departments of Mechanical and Electrical Engineering,
Stanford University, Stanford, California 94305, USA
5Department of Physics, University of Konstanz, D-78457 Konstanz, Germany.
(Dated: March 6, 2023)
The vision of building computational hardware for problem optimization has spurred large efforts
in the physics community. In particular, networks of Kerr parametric oscillators (KPOs) are envi-
sioned as simulators for finding the ground states of Ising Hamiltonians. It was shown, however, that
KPO networks can feature large numbers of unexpected solutions that are difficult to sample with
the existing deterministic (i.e., adiabatic) protocols. In this work, we experimentally realize a system
of two classical coupled KPOs, and we find good agreement with the predicted mapping to Ising
states. We then introduce a protocol based on stochastic sampling of the system, and we show how
the resulting probability distribution can be used to identify the ground state of the corresponding
Ising Hamiltonian. This method is akin to a Monte Carlo sampling of multiple out-of-equilibrium
stationary states and is less prone to become trapped in local minima than deterministic protocols.
The Kerr parametric oscillator (KPO) is a nonlinear
system whose potential energy is modulated at a fre-
quency fpclose to twice its resonance frequency, fp≈
2f0[1–16]. When the modulation depth λexceeds a
threshold λth, the system features two stationary oscil-
lation solutions. The solutions have a frequency fp/2,
an amplitude Xdetermined by λrelative to the Kerr
nonlinearity, and phases that differ by π. These ‘phase
states’ can be mapped to the two states σ∈ {−1,1}of
an Ising spin. Building on that analogy, it was proposed
that networks of KPOs can be utilized to simulate the
ground state of coupled spin ensembles, as captured by
the Ising model Hamiltonian [17]:
HIsing =−X
i,j
Ki,j σiσj,
where Ki,j is the coupling coefficient between two spins
with states σi,j . Interestingly, finding this ground state
is equivalent to many computational problems that are
nearly intractable with conventional computers [18], such
as the number partitioning problem [19], the MAX-CUT
problem [20,21], and the famous traveling salesman
problem [22].
Various physical implementations have been proposed
or realized as “Ising solvers” [14,23–29]. A well known
example is the Coherent Ising Machine, a network of de-
generate optical parametric oscillators (DOPOs) that are
coupled through a programmable electronic feedback el-
ement [20,25,28,30–32] (note that DOPOs differ from
KPOs in that their amplitude is not determined by their
Kerr nonlinearity but rather by two-photon loss). The
feedback breaks the energy conservation of the network
and imparts dissipative coupling (mutual damping) be-
tween the oscillators. As a consequence, different network
configurations corresponding to different Ising solutions
become stable at different driving thresholds. The opti-
mal solution is assumed to possess the lowest threshold
and therefore to appear as the solution when driving the
network.
A different line of investigation focuses on energy-
conserving, bilinear coupling between KPOs [19,27,33–
37]. In this works, the coupled oscillator solutions can
be approximated as decoupled normal modes with split
resonance frequencies. In contrast to the case of dis-
sipative coupling, the lowest threshold that is encoun-
tered when ramping up the driving strength depends
here on the detuning ∆ between the external drive and
the resonance frequency. This control parameter opens
up the possibility for specific protocols to find differ-
ent solutions [19,27,33]. It was experimentally demon-
strated, however, that the combination of nonlinearities
and strong bilinear coupling can give rise to a rich so-
lution space beyond that of a simple Ising model [37].
Careful validation and testing of small systems is there-
fore important before larger networks can be understood
and operated correctly.
In this paper, we experimentally test the validity of the
Ising analogy for a system of two classical coupled KPOs.
In a first step, we apply an adiabatic ramping protocol
to find one particular solution for each selected combina-
tion of ∆ and λin a deterministic way. In a second step,
we use strong force noise to explore the solution space of
the system: this method is based on transitions between
different stationary KPO solutions [38–42], and it allows
for the visualization of a probability distribution for all
accessible states. Such “stochastic sampling” presents a
way of quantifying the occupation probability of each so-
lution, and thus selecting the optimal state. Surprisingly,
we find that the oscillation state corresponding to the
expected Ising ground state has not the highest but the
lowest occupation probability over the entire parameter
space. We reconcile this result with theory and predict
arXiv:2210.14731v3 [cond-mat.mes-hall] 3 Mar 2023