1. Introduction
Memory circuit elements are poised to introduce a new paradigm in both classical and quantum computation [
1,
2,
3,
4,
5]. Due to their dependence on previous dynamics, it seems fitting to exploit their passive storage capabilities for enhancement of information processing and for neuromorphic computing tasks. One of these memory circuit elements is called the memristor [
6]. It describes a resistive element of an electric circuit that has memory, with a changing resistance whose instantaneous value depends on the history of signals that have crossed the device. This information is codified in the internal variable of the memristor,
, introducing a state-dependent Ohm’s law
for a voltage-controlled memristor. The dynamic behavior is given by
, and is manifest in the state-dependent conductance
. Attempting to solve Equation (
2) requires time integration over the past of the control signal. This means that the current response given by the voltage-controlled memristor described in Equation (
1) depends, through
, on previous values of the control voltage, as well as on the present one. Thus, a memristor that undergoes a periodic control signal will display a hysteresis loop when plotting the response versus the control signal (current vs. voltage). The slope of this curve is identified with the resistance of the device, and the area enclosed by it is associated with memory effects [
7].
This behavior can de described by Kubo’s response theory [
8], but it was Chua who, in 1971, coined the term “memristor” and described it as an independent element in an electric circuit [
9]. It took almost 40 years until such a device was engineered, taking advantage of solid-state electronic and ionic transport properties in nanoscale structures [
10]. On this research front, new ways to engineer and optimize memristors are being proposed [
11]. Apart from the advantages of using these devices for computation [
12] (such as energy efficiency [
13], compared to transistor-based computers), memristors can be also used in machine learning schemes [
14,
15]. The relevance of the memristor lies in its ubiquitous presence in models which describe natural processes, especially those involving biological systems. For example, memristors inherently describe voltage-dependent ion-channel conductances in the axon membrane in neurons, present in the Hodgkin–Huxley model [
16,
17].
Due to the inherent linearity of quantum mechanics, it is not straightforward to describe a dissipative non-linear memory element, such as the memristor, in the quantum realm, since nonlinearities usually lead to the violation of fundamental quantum principles, such as no-cloning theorem. Nonetheless, the challenge was already constructively addressed in Ref. [
18]. This consists of a harmonic oscillator coupled to a dissipative environment, where the coupling is changed based on the results of a weak measurement scheme with classical feedback. As a result of the development of quantum platforms in recent years, and their improvement in controllability and scalability, different constructions of a quantum memristor in such platforms have been presented. There is a proposal for implementing it in superconducting circuits [
7], exploiting memory effects that naturally arise in Josephson junctions. The second proposal is based on integrated photonics [
19]: a Mach–Zehnder interferometer can behave as a beam splitter with a tunable reflectivity by introducing a phase in one of the beams, which can be manipulated to study the system as a quantum memristor subject to different quantum state inputs.
In this article, we study a different implementation of a quantum memristor in a quantum photonics setup. Employing beam splitters for frequency-codified quantum states [
20], we explore a new implementation in which the information is codified in frequency-entangled optical fields. We engineer the elements which constitute a quantum memristor, namely a tunable dissipative element, a weak-measurement scheme, and classical feedback. We find that the characteristic
I–
V curve displays hysteresis loops when subjecting the system to different quantum state inputs. The aim of this work is to establish a building block for memristor-based quantum photonic neural networks with frequency-codified state inputs, which could ultimately have applications in quantum machine learning and quantum neural networks [
21,
22].
2. Results
A memristor can be implemented in quantum optics by means of a beam splitter with a tunable reflectivity. The required non-Markovian dynamics is achieved by inserting a detector in one of the outcomes of the beam splitter (the environment) and, via a feedback mechanism, changing the reflectivity of the beam splitter. In this way, the coupling between the system (second beam splitter output) and the environment will depend on the previous history of the reflectivity, thus building up memory effects. We present a sketch of this device in
Figure 1.
Formally, a beam splitter with transmissivity
is described by the operator
where
and
are the mode operators for the signal and ancillary signals, respectively, while
stands for an arbitrary fixed phase. The action of the beam splitter on the input modes
can then be expressed via a
matrix
B,
with
being the vector containing the output signal mode
and the environmental mode
. The goal of the feedback system
is to control the value of
based on the result of the measurement performed on the environment, thus generating time correlations, the characteristic feature of non-Markovianity, at the output mode
.
We consider the memristor based on a frequency beam splitter, which is a Hadamard gate acting on the frequency degree of freedom of the input, a central element for universal frequency-based quantum computation [
23]. Recent research has explored implementing unitary operations, such as that in Equation (
3), in time- or frequency-based photonic Hilbert spaces as alternatives to more traditional path encoding approaches. In the frequency-comb-based paradigms, in particular those in Refs. [
23,
24], quantum information is carried by photons in discrete modes (
or
), distinguished by index
within an equispaced comb defined by frequencies
. Such an encoding format proves intriguing given its synergy with fiber-optic networks, applicability to frequency-disparate quantum interconnects, high parallelizability, and compatibility with on-chip photon sources [
25]. However, implementing coherent operations between frequency bins forms a challenging prospect, typically requiring optical nonlinearities mediated by strong pump fields [
26,
27]. However, in 2017, based on electro-optic phase modulators (EOMs) and Fourier-transform pulse shapers, an alternative approach was proposed [
23]. By cascading EOMs and pulse shapers in an alternating sequence, in principle, any frequency-bin unitary can be realized with favorable resource scaling. As these operations are optically linear and precisely controllable, multiple demonstrations have followed this initial proposal, completing the basic pieces of a universal quantum gate set [
28].
The 50/50 frequency beam splitter (or Hadamard gate) was the focus of the first experiment in this model [
20], where it was found that—even when restricting to simple, but practically convenient, sinewave-only EOM patterns—a three-element EOM/pulse shaper/EOM sequence was able to realize a high-fidelity frequency-bin Hadamard with only a slight (2.4%) reduction in success probability. Further investigation showed that this particular configuration was readily tunable as well; keeping the EOM modulation fixed and modifying only the phase applied by the pulse shaper, the frequency beam splitter reflectivity can be adjusted between 0% and 50%, a feature subsequently exploited for Hong–Ou–Mandel interference in the frequency domain [
29]. Importantly, this tunability is precisely the prerequisite for a quantum memristor of the form of
Figure 1, thus motivating our detailed exploration of the frequency-bin beam splitter here.
Figure 2 furnishes a possible experimental setup for a frequency-bin memristor. Input spectral modes
and
are combined into a single fiber where they experience temporal phase modulation at amplitude
and cyclic frequency
, followed by a pulse shaper which applies a phase shift
to the modes
(including those outside of the two-dimensional space of
). A second EOM, driven at the same amplitude as the first, but exactly out of phase, concludes the frequency beam splitter. Then, the output
is extracted and measured, the results of which are used to update the pulse shaper phase shift
.
Mathematically, each EOM multiplies the input field in the time domain by
, for the first and second EOM, respectively. Using a Fourier series expansion, this transformation on frequency-bin operators can be modeled as
with
, with
denoting the
nth order Bessel function of the first kind. The pulse shaper sandwiched between these two EOMs applies the phase
to all bins
and zero to all
. Cascading these three operations, then, we arrive at the following matrix elements connecting the input and output modes of the beam splitter (
.
The 50/50 beam splitter corresponds to the case
and
; under these settings, the
matrix matches the Hadamard operation with fidelity
, up to an overall scaling factor that makes the matrix slightly non-unitary due to residual photon scattering into the frequency bins outside of the two-dimensional space [
20]. This deviation from unitarity at
can be quantified by
, where
Figure 3 shows the region where
is close to the value of one required for unitarity;
, which corresponds to the success probability
defined in Ref. [
20]. This solution can be viewed as the “most unitary” high-fidelity (
approximation to the Hadamard with two EOMs, one pulse shaper, and single-tone electro-optic modulation. We do note, however, that a fully unitary Hadamard could be realized either by considering arbitrary modulation patterns or adding components; the current settings represent an experimentally-valuable compromise between performance and complexity. Thus, with
fixed at
, adjusting
, enables tuning of the frequency-bin reflectivity (
) and transmissivity (
) as needed for the memristor.
In the measurement and feedback scheme, we aim at modifying the phase
appearing in Equation (
5) depending on the result of the measurement at the environment output of the beam splitter—the other output functions as the response signal of the memristor. The measurement scheme is based on photon number measurements, as illustrated in
Figure 4.
Each
represents the result of an experiment with a fixed phase, after which we obtain an average of the number of photons in the environment output of the beam splitter, corresponding to the reflected beam. The average number of photons in the outgoing beams, depending on a certain observable of the input state, such as the quadrature
, are
is modified according to the latter, following a dynamic equation
which we are free to choose. For illustrative purposes, we propose oscillating input states, for example
, where
is a free parameter that we can choose to optimize the correlations and memory persistence in the system.
The result of the measurement process corresponds to a time average of the number of photons, reflected in the beam splitter, that are detected, with fixed
, where
defines the duration of one complete experiment
k. The result of each experiment is then used to update
, which is changed for time slices between experiments. However, the global change of
occurs in a timescale given by
, whereas the duration of each experiment is
, thus, to have a continuous dynamic equation for the update of
, we are assuming
. Since we are assuming high-precision control of the internal variable in our system, the effect of the memristor stochastic catastrophe is negligible [
30].
The hysteresis loop area, characteristic of the memristor’s non-Markovian behavior, can be understood as a memory quantifier. Our goal here is to optimize the feedback process to obtain maximum time correlation at the output signal, since this quantity will be related to the memory persistence in the system. This is crucial, especially when designing a neural network based on quantum memristors, where we would look to minimize decoherence in order to take advantage of quantum effects. This optimization will also allow us to study the persistence of the memory effects in the system, affected as well by the feedback mechanism.
Now, let us look into the effect of this device on different initial states, analyzing their hysteretic response.
2.1. Coherent States
The two-mode coherent states are given by
where
and
are complex numbers that can be experimentally tuned.
Recall that a coherent state
can be defined by the displacement operator
acting on the vacuum,
. Using the equality
derived from the Baker–Campbell–Hausdorff transformation for any two operators
, we arrive at
By applying displacement operators
,
on the first and second beams, respectively, we achieve the following transformation
and these modes are the input to the beam splitter. Then, we compute
where we have identified
and
. Considering a vacuum state in the second ingoing beam (
), we compute the number of photons in the first outgoing beam,
See that for , assuming a displacement in the x-direction, where is the quadrature operator. Consider that the response of the system is codified in ; this implies that the measured quantity will be .
Having identified the response and the internal variable, we can write the equations of the memristor,
Since we have freedom to choose the update of the phase
, we propose a simple function for illustrative purposes,
Assuming that we are able to pump the system to induce periodicity in the quadrature of the input state, such that
, the evolution of
is described by
In
Figure 5, we represent
versus
to observe hysteretic behavior, related to that appearing in the
I–
V characteristic curve of memristors. The hysteresis loop in this case is pinched, and its area decreases with an increasing frequency of the driving, which means that this system behaves as a memristor in these variables.
2.2. Squeezed States
It is interesting to study the response of the system when considering squeezed state inputs. Analogous to the displacement operator for coherent states, we can define the squeezing operator
, with
, such that a squeezed state is defined as
. Using the relation in Equation (
10), we can define the transformation
By applying squeezing operators
on the first and second beam, respectively, we obtain
which represent the inputs to the beam splitter. These modes are modified by the beam splitter as follows,
We consider a vacuum state in the second ingoing beam (
), and compute the number of photons in the first outgoing beam,
as the response of the system. For the control variable, we choose
for the first ingoing beam
where we have set
and
. In this setup, our goal is to identify a memristive system satisfying the following equations,
with the phase
set as the memory variable, as in the previous section. Fixing the squeezing in the
x axis (
), we can write
and thus
Then, we find that we can express
The number of photons measured in the outgoing beam corresponding to the environment is given by
from which
can be obtained. As the update of the memory variable, we propose the function
where
. Assuming we are able to engineer a periodic pumping
for the input states, we have that
leading to the evolution of
to be given by
We can observe hysteresis loops when representing the number of photons in the first outgoing beam versus
in the input beam, as can be seen in
Figure 6.
2.3. Fock States
In this category, several one- and two-photon Fock states can be considered, such as
The only Fock input state, among the ones given above, that allows for a change in the control over the timescale of the feedback mechanism is the first one,
. We begin from this state and compute the number of photons in the outgoing beam,
and choose
and
to obtain
where
and
. The number of photons dissipated to the environment is then
From these measurements,
can be inferred to design the following update of the memory variable,
such that its time evolution is described by
In
Figure 7, we plot the output photon number against
, which represents the square root of the average photon number in the first ingoing beam,
We obtain hysteretic behavior in the system, but the loops cross at a point that is moving with the frequency of the driving, approaching zero for higher frequencies, and the area of the loops does not seem to decrease with increasing frequency. Since the system and the environment are entangled, this system does not represent a memristor.
3. Discussion
We have followed a scheme to build a resistive memory element in a quantum platform. We have reproduced this behavior in quantum photonics with frequency-codified quantum states, by engineering a frequency mixer as a tunable beam splitter with a measurement scheme that modifies its reflectivity through classical feedback. Hysteretic behavior was found when representing the response of the system versus the control, a sign of memristive systems. To form a network, these beamsplitters need to be connected using the output of one as the input for the next. The behavior of such a device under quantum state inputs needs to be studied in order to test the viability of a quantum neural network constructed in this quantum photonics platform. Such a result could represent a direct hardware-based implementation of quantum machine learning algorithms.
In this study, we focused on a frequency-bin memristor design that is feasible. The tunable beam splitter outlined in
Figure 2 and expressed by Equation (
5) was experimentally demonstrated with behavior matching theory extremely well [
20,
29]. Nevertheless, practical limitations present challenges toward realizing this memristor’s full potential in the laboratory. For example, in the tabletop demonstrations of the frequency beam splitter thus far, component insertion losses have led to overall throughputs of ∼5%—a significant limitation, particularly for continuous-variable encoding, and much lower than the the
indicated in the lossless theory. Nonetheless, unlike the success probability
, insertion losses stem from nonidealities (e.g., mode mismatch and waveguide loss) that can in principle be eliminated through device engineering. In fact, integrated microring-based pulse shapers [
31] from existing foundries, coupled with ultralow-loss EOMs [
32], provide a promising outlook for chip-scale frequency memristors with markedly lower loss.
Additionally, our memristor design relies heavily on real-time feedback of the phase shift
. Ideally, given mode separation
GHz, one would like update speeds in the ∼ns regime—fast, but sufficiently slower than the RF period, in order to retain the validity of the frequency-bin model. Such refresh rates are beyond the bandwidths of liquid-crystal-on-silicon pulse shaper technology [
33], but would be readily attainable with phase shifters utilizing the electro-optic effect, a natural choice for on-chip pulse shapers based on microring modulators. Thus, moving on chip should not only improve efficiency, but also enable the update speeds desired for memristor feedback.
Memory effects are not an exclusive feature of quantum dynamics, being also present in classical physics. Our understanding regarding quantum non-Markovian behavior has markedly increased in the last few years [
34,
35,
36]. Therefore, moving forward with this design, the question regarding the quantumness of the time correlations generated in the output beam should be experimentally addressed by a measure of quantum non-Markovianity or by means of a Leggett–Garg inequality [
37]. Interestingly, these two concepts are deeply linked [
38].
As demonstrated by our results, a memristor can be practically implemented in a photonic system with frequency-encoded optical fields, thus providing a novel platform for the development of quantum circuits for simulating complex quantum systems, where the characteristic non-linear behavior of the memristor can play a major role.