1 Introduction
As commonly understood, the efficiency of exciton energy transfer (EET) in natural photosynthesis is close to unity [
1–
3]. Because of the discovery of EET with coherent features, the role of quantum coherence in EET efficiency has become a research hotspot in the past two decades [
4–
13]. Pigment-protein complexes in photosynthesis are essentially open quantum systems. Since the couplings between the system and the environment are of the same order of magnitude as the couplings within the system [
2,
3], non-Markovian features arise and make simulating the open quantum dynamics therein difficult [
14–
18]. Even so, the research of open quantum systems plays an important role in many fields [
19,
20]. So far, some theoretical methods have been proposed to effectively simulate EET in photosynthesis [
3], such as the numerically-exact hierarchical equation of motion (HEOM) [
21–
28], the quantum jump approach [
29,
30], the small-polaron quantum master equation [
31], the modified Redfield theory and its coherent generalization [
32,
33]. Among these methods simulating the EET, the HEOM yields exact quantum dynamics in the whole parameter regime, e.g., the Förster regime and the Redfield regime [
3,
22]. It is helpful to revealing the role of quantum coherence in optimizing the photosynthetic EET [
5] and clearly elucidating the design principals of artificial light-harvesting devices [
34–
40].
However, despite the fact that the HEOM has been widely used in the study of open quantum dynamics, including EET in natural photosynthesis, in the case of large dimensions and complex spectral densities, the numerical overhead becomes very large. Recently, we proposed a novel experimental approach to simulate EET in photosynthesis [
41]. We have proved that this approach is
exact and efficient in high-temperature regime. We generate a large number of realizations driven by random Hamiltonians, and by averaging over the ensemble we obtain a density matrix whose dynamics is subject to decoherence. As a demonstration, we adopted a prototype in Ref. [
42] and compared the results of nuclear magnetic resonance (NMR) simulation and HEOM calculation under Drude– Lorentz noise. We showed that it is valid to efficiently simulate the exact quantum dynamics in the photosynthetic EET by using NMR if the number of random realizations is sufficiently large.
As we know, for systems with large dimension or complex spectral densities, the HEOM requires a huge amount of computation resources. For example, to simulate an
N - level system, the computation cost of an
-layer HEOM scales exponentially in
[
43]. However, in the quantum simulation [
44,
45], because the quantum dynamics of
N states can be simulated by using log
2 N qubits, the computation cost is a polynomial of
N. Therefore, this quantum simulation can effectively reduce the computational complexity. And we know that qubits can build different quantum gates, and quantum gates are also the basic components of quantum computing and quantum communication [
46–
48].
In 2013, it was demonstrated that the efficiency of energy transfer can be improved when there is strong coupling within donor and acceptor pairs by studying energy transfer in a linear-tetramer model [
42]. In the same year, del Rey
et al. proposed a design principle called phonon antenna. By spectrally sampling optimum in their local environmental fluctuations, the coherence between internal pigments can affect and optimize the way excitation flows [
49]. And the strong coupling to an under-damped vibrational mode can help the photosynthetic complex to overcome the energy barrier between the donor and acceptor, and thus increase the efficiency [
50].
In Ref. [
41], only a quantum simulation with a specific Hamiltonian and Drude–Lorentz noise was demonstrated. The clustered geometry was proven to be optimal for a broad parameter regime by the coherent modified Redfield theory [
42]. However, the theory is shown to break down when the reorganization energy is much larger than the intra-system coupling [
33,
51]. A natural question arises: does the above discovery still hold in a broad range of parameters by a numerically-exact approach? On the other hand, since both modifying the geometry and spectral-sampling in local environmental fluctuations can optimize energy flow in EET respectively, it is quite natural to ask whether light harvesting can be further optimized if both means have been applied? In this paper, we apply this numerically-exact approach to efficiently verify the hypothesis that we can simultaneously optimize the energy transfer by the geometry and environment. Furthermore, for spectral densities beyond Drude–Lorentz type, the computation complexity of the HEOM will be significantly increased, when there are more exponential components in the correlation function of the bath [
43,
52]. In this paper, we also show that the quantum simulation approach is applicable in photosynthetic systems with complicated environments, which are not tractable by the conventional approach.
The structure of this paper is organized as follows. In Section 2, we give a brief introduction to the HEOM and the approach for quantum simulation in NMR. It combines the bath-engineering technique [
53,
54] and the gradient ascent pulse engineering (GRAPE) algorithm [
55,
56], which will be introduced in Appendixes B and C, respectively. In Section 3.1, we first consider the simulation of the EET dynamics in a linear-tetramer model with different geometries. After the geometry is optimized, we also consider how to improve the EET efficiency from the aspect of the bath, which will be discussed further in Appendix E. Through this specific model, we confirm the discoveries in Refs. [
42,
49]. Besides, in Section 3.2 we also consider the effects of different types of spectral densities on the EET dynamics, which was not analyzed in Ref. [
41]. In Section 3.3, by
N = 8, we show how to generalize our quantum simulation approach to a case beyond 2 qubits. In Section 3.4, we compare the computational complexities of NMR simulation and HEOM, and analyze the possible errors in NMR simulations in Section 3.5. Finally, we discuss the prospect and conclusions in Section 4. In Appendixes A and D, we introduce the initialization and tomography in NMR, respectively.
2 Theory for quantum simulation
In this section, we introduce how to simulate the EET dynamics of photosynthesis in NMR systems. In Ref. [
41], we simulated the influence of noise by using the bath-engineering technique [
53,
54], and realized the evolution of quantum states by using the GRAPE algorithm [
55,
56]. We summarize these two techniques in Appendixes B and C. In the following, we shall give a brief introduction to our model system and the HEOM theory for photosynthetic EET and the process of quantum simulation.
2.1 Model photosynthetic system
Following Ref. [
41], we use the tetramer model, which contains four chlorophyll molecules, for the quantum simulation. As shown in Fig. 1(a), the left pair of chlorophylls act as donors and the right pair as acceptors. For molecules, their electronic structures are generally studied [
57]. Here, we adopt the Frenkel-exciton Hamiltonian [
2,
58]
to describe the dynamics of EET in photosynthesis. Here |i〉 (i = 1, 2, 3, 4) represents that only ith molecule is in the excited state while the others are in the ground state. εi is the site energy of ith exciton. For simplicity, the electronic interaction between ith and jth excitons is given by the dipole-dipole interaction as
where
is the displacement vector from site
i to site
j,
the transition dipole of site
i,
ε0 the vacuum permittivity. In numerical simulations, we take
µj = 7.75 D and
r∈[
6,
14] Å, which are typical in natural photosynthesis.
In photosynthetic complexes, the energy transfer is assisted by the interaction between the system and the bath, which can be described as
Here, Vj = |i〉〈i|, (aik) is the creation (annihilation) operator of the kth phonon mode of the ith molecule, and gik represents the coupling strength. HSB is the main cause of energy relaxation in photosynthetic systems. All the information about the couplings between system and environment can be given by the spectral density, i.e.,
The spectral density plays an important role in the optimization of EET in photosynthesis. It has been shown that the energy transfer can be improved by adjusting the parameters of photosynthetic system so that the energy gap matches the optimal frequency of the spectral density [
49].
2.2 Hierarchical equation of motion method
The exact EET dynamics can be given by the HEOM [
22,
59]
where and are the auxiliary density matrices with = (n1, n2, · · · , nj, · · ·) and = (n1, n2, · · · , nj ± 1, · · ·), and nj ’s non-negative integers, = ρ the reduced density matrix of photosynthetic system, the Liouville superoperator of HEET. Besides, Φj = and with and , where Vj = |j〉〈j|. For Drude–Lorentz spectral density, i.e.,
with
λj the reorganization energy and
γj the relaxation rate. For a generic spectral density, it can be decomposed into a summation of Lorentzian form [
52,
60].
2.3 The process of quantum simulation
In the quantum simulation of photosynthetic EET with NMR system in Ref. [
41], there are three steps: We first perform the theoretical simulations by random Hamiltonians on the ensemble to obtain the optimal parameters for the GRAPE simulation. Then, we perform the GRAPE simulation to obtain optimal pulse sequence for the experimental realization. Finally, one can then perform the experiment based on the above theoretical simulations. If the experimental realizations are ideal, the experiments will faithfully reproduce the results of the GRAPE simulation. Since in Ref. [
41], the experimental demonstrations for the Drude–Lorentz spectral density coincide with those by the HEOM, we will focus on the first two steps in the following discussions. In Appendix, we describe these three steps in detail.
For photosynthetic complexes with N chlorophylls, there are only N single-excitation states in the process of energy transfer. As a result, only log2 N qubits are required for quantum simulation and thus two qubits are needed to simulate the tetramer model. In this case, the single-excitation states in photosynthesis are encoded as two-qubit product states as |1〉 = |00〉, |2〉 = |01〉, |3〉 = |10〉, and |4〉 = |11〉. As shown in Fig. 1(b), we regard H and C nuclear spins as the two qubits. The Hamiltonian HNMR implemented in NMR simulations is HNMR = HEET/C with a scaling factor
The total Hamiltonian for simulating EET process is
HPDN is introduced to mimic the effects of the local baths in photosynthesis. In order to exactly simulate the bath’s effect, we require that
χ(
Ct) = Re[
g(
t)] as shown in Appendix B, where the decoherence factor
χ(
t) is the Fourier transform of the noise’s correlation function in the quantum simulation,
g(
t) is the lineshape function of photosynthesis. By the bath-engineering technique [
53,
54,
61], we will show that it is possible to simulate various types of spectral densities in Section 3.2.
3 Numerical calculation and analysis
In Ref. [
41], only the EET dynamics for a specific Hamiltonian under the Drude–Lorentz noise was demonstrated. In this section, we will use the above quantum simulation approach to investigate the dynamics for different geometries and various types of spectral densities. In addition, we will compare the computational complexity of the quantum simulation and the HEOM, and analyze the errors in the quantum simulation.
3.1 Simultaneous optimization by geometry and bath
In Ref. [
42], the effects of the geometry on the energy transfer was investigated. In the study, it was revealed that the dimerized structure explores coherent relaxation to promote the energy transfer within the dimer. Since the coupling between two sites is significantly dependent on the distance between two chlorophylls, different geometries correspond to different Hamiltonians. In this sub-section, we analyze the EET dynamics for different Hamiltonians with the quantum simulation approach.
In Fig. 1(a), we show the comparison among the HEOM, the quantum simulation and the GRAPE simulation for r = 13.4 Å. Therein, all four chlorophylls are equally spaced and the Hamiltonian for the NMR quantum simulation HNMR = HEET/C is
In Fig. 1(b), we set r = 11.3 Å and thus the distance between the two donors (acceptors) is slightly smaller than the distance between the central two sites. In this case, the donors (acceptors) form a dimer. The corresponding Hamiltonian reads
In Fig. 1(c), we further reduce the intra-dimer distance to an even smaller value, i.e., r = 8 Å. Thus, the Hamiltonian is
In order to obtain the above Hamiltonians, we adopt the site energies ε1 = 13 000 cm−1, ε2 = 12 900 cm−1, ε3 = 12 300 cm−1, and ε4 = 12 200 cm−1, which are typical in natural photosynthetic systems, for the corresponding Hamiltonians of photosynthesis. Except that J14 is invariant, different distances r’s correspond to a set of different coupling terms Jij ’s (i, j = 1, 2, 3, 4) as determined by Eq. (2).
In addition, we assume the spectral density of Drude– Lorentz form as given in Eq. (6), with the optimal frequency
γj. In the simulations, we assume identical phonon relaxation rates
γNMR =
γEET/
C = 2
π ×50 Hz and identical reorganization energies
λNMR =
λEET/
C = 2
π × 2 Hz for all local baths. In addition, the influence of temperature is also very important [
62]. Since the results of quantum simulation coincide with those of the HEOM only at high temperatures, we take
TEET = 3 × 10
6 K and
TNMR = 10
−3 K in our numerical calculations. In this way, we compare the results of the quantum simulation, and the GRAPE simulation, and the HEOM in Fig. 1. As shown in Fig. 1, both the results of the random ensemble and GRAPE are in good agreement with the results of the HEOM simulation. Therefore, we show that our approach can be applied to photosynthetic systems with different geometries, beyond the linear one with equal-spacing.
As shown in Fig. 1(b), the energy transfer is the fastest for the case with
r = 11.3 Å. The dimerized geometry explores the coherent relaxation within the donors to accelerate the energy transfer. However, over-dimerization in the geometry significantly reduces the energy transfer rate, because it enlarges the energy gap between the donor and acceptor clusters, cf. Fig. 1(c). These numerically-exact simulations are consistent with those discoveries obtained by the approximate theory in Ref. [
42]. We notice that there are some small differences between the HEOM and the quantum simulations, which rely on the assumption that the ensemble average is equivalent to the time average. Therefore, we verify the assumption in Fig. 1(d). As the number of random realizations in the ensemble increases, the results of quantum simulation approach closer and closer to those of the HEOM. Besides, we also observe the deviations of the GRAPE simulations from the quantum simulations, the possible causes of which will be discussed at the end of this section. In this regard, both the quantum simulations and GRAPE simulations successfully reproduce the coherent oscillations at the short-time regime and the incoherent relaxation at the long-time regime, and it is valid to exactly simulate the open quantum dynamics with a generic Hamiltonian by the above approach.
In Ref. [
49], it was shown that the optimization of the EET can be achieved when the energy gap of the system matches the optimum of the spectral density. Inspired by this discovery, we subsequently consider the effects of the bath on the EET dynamics for a fixed Hamiltonian with
r = 11.3 Å, which was shown to be optimal among different geometries in Fig. 1. Since the peak of the Drude–Lorentz spectral density is located at
γNMR, we fix
λNMR and simulate the EET dynamics for a broad range of
γNMR. Here, in Fig. 2, we only demonstrate the population dynamics for three typical parameters, i.e.,
γNMR/(2
π) = 0.5 kHz, 2.668 kHz, and 7 kHz. Obviously, the optimal relaxation rate of the bath is
= 2
π × 2.668 kHz as it requires the shortest time to achieve equal populations. The physical mechanism can be described by the energy diagram of the system. Due to their strong couplings, sites 1 and 2 form the donor cluster, while sites 3 and 4 form the acceptor cluster. Since the donor cluster is weakly coupled with the acceptor cluster, the EET between the two clusters can be described by the Förster theory. Therefore, the inter-cluster EET is optimized when the energy gap between the lower-energy eigen-state of the donor cluster and the higher-energy eigen-state of the acceptor cluster matches the optimum of the spectral density. The details about this physical mechanism is elucidated in Appendix E.
3.2 Application to complicated spectral densities
Since a general power-law form spectral density can describe an extremely-large number of physical environments [
63,
64], we use it to show the universal applicability of the quantum simulation approach. Following Refs. [
17,
65], we analyze the EET dynamics for three types of spectral densities, namely Ohmic, sub-Ohmic, and super-Ohmic spectral densities, which are expressed in a unified manner as
where Γ(s) is the Euler Gamma function, and ωc is an exponential cutoff frequency, λωc is the coupling strength between the system and the bath. When 0 < s < 1, s = 1, and s > 1, J (ω) denotes sub-Ohmic, Ohmic, and super-Ohmic spectral densities, respectively.
Here, we take s = 1, 0.5, 3 corresponding to respectively the Ohmic, sub-Ohmic, and super-Ohmic spectral density, i.e.,
Through the analyses in the above subsection, we can see that the results of the quantum simulations are very coincident with those of the HEOM at high temperatures. In the following, we also analyze the EET dynamics for these three types of spectral densities.
Figure 3 presents the results of our quantum simulations for Ohmic, sub-Ohmic and super-Ohmic spectral densities, with different geometries, i.e.,
r = 13.4 Å,
r = 11.3 Å, and
r = 8 Å. In the numerical calculations, we take the temperature as
TEET = 3 × 10
5 K. Interestingly, we can see that the EET dynamics is strongly dependent on the type of spectral density adopted, i.e., the statistics of the system-bath interactions. Therefore, it is crucial a simulation method can accurately simulate all types of spectral densities. Nevertheless, regardless of the form of the spectral densities, the system identically reaches the equilibrium fastest when the intra-pair distance is
r = 11.3 Å, cf. Figs. 3(b1), (b2), (b3), compared with the other distances. As
r is reduced, the coherent oscillations in the populations of the donors becomes more and more profound, but the EET times do not decrease monotonically. For these three spectral densities, we may arrive at the same conclusion as the Drude–Lorentzian spectral density, that the moderate-dimerized geometry explores the coherent relaxation within the donors to accelerate the energy transfer, and the over-dimerization in the geometry significantly reduces the energy transfer rate, cf. Figs. 3(c1), (c2), (c3), which is also consistent with the conclusion in Ref. [
42].
Based on the above analysis, we demonstrate that this quantum simulation approach can be used to investigate the exact quantum dynamics for different Hamiltonians and various types of spectral densities. It has been proven that although theoretically the quantum dynamics with arbitrary form of spectral density can be simulated by the HEOM through spectral decomposition [
27,
28], this may be practically unfeasible. As will be shown in the Section 3.4, the more complex the form of spectral density is, the higher the computational complexity of the HEOM will be. However, since the computational time of the present simulation approach is not affected by the complexity of the spectral density, we show the superiority of our method over the HEOM in the high-temperature limit.
3.3 Three-qubit system
In order to show its universality, we apply our approach to the simulation of quantum dynamics in the reaction center of photosystem II, i.e., an 8-level system. In the reaction center, both the charge separation and electron transfer take place [
66,
67]. Here, a three-qubit system is employed in the quantum simulation. We use the Hamiltonian in Ref. [
68] as the model to simulate the quantum dynamics, i.e.,
In addition, we assume Drude–Lorentz spectral density as given in Eq. (6). In the simulations, we assume identical phonon relaxation rates γNMR = γEET/C = 2π × 200 Hz and identical reorganization energies λNMR = λEET/C = 2π × 0.5 Hz for all local baths. And we take the temperature as TEET = 3 × 105 K and TNMR = 10−4 K in our numerical calculations.
In Fig. 4, we compare the simulation results by the HEOM, the random ensemble, and GRAPE algorithm. Different from Fig. 1, there are no coherent oscillations at the short-time regime due to the large detuning. The dynamics of populations monotonically arrive at the steady state after several hundreds of milliseconds. Since the results of random ensemble and GRAPE algorithm are in good agreement with those of the HEOM, we show that our approach can be effectively generalized to an N -level system with N > 4.
3.4 Computational costs of NMR simulation and HEOM
In the above sections, we show the quantum simulations of open quantum dynamics for a few-level system. Consider an
N -level open quantum system, where each level of the system is coupled with an independent bath, and the correlation function of each bath contains
K exponentials. The total number of auxiliary density operators for the HEOM is [
43,
59]
where
is the hierarchy level of truncation of the HEOM. By using [
69]
where (12n+1)−1 < rn < (12n)−1, we can obtain Eq. (15) as
When the dimension of the system is large and the spectral density is complex, i.e., KN→∞, for a given hierarchy level of truncation, the total number of auxiliary density operators and thus the computation cost of the HEOM is approximated as
On the other hand, for a log
2 N -qubit quantum system, the GRAPE algorithm requires [
56]
measurements in each iteration to estimate the fitness function and its derivative with respect to the pulse amplitude, which the GRAPE aims to optimize.
M is the number of the pulse sequence to be divided, which scales polynomially with the number of qubits [
56]. Above all, the complexity of the GRAPE algorithm is a polynomial of
N.
In practical simulations, the resources required by the HEOM may be intolerable as complicated spectral densities are widely observed in natural photosynthetic complexes. According to Ref. [
70], there are 42 chlorophylls in a trimer of LHC II complex and its spectral density can be described by an overdamped Brownian oscillator and 48 high-frequency modes, i.e.,
N = 42 and
K = 49. We remark that because of the specific mapping from
N -level photosynthetic energy transfer to log
2 N -qubit quantum simulation, the complexity has been greatly reduced.
3.5 Error analysis
From the above theoretical calculations, we can see that there are some errors in the quantum simulations as compared to the theoretically-exact results predicted by the HEOM, especially when the number of random realizations in the ensemble is small. Theoretically, the average over the ensemble is equal to the average over the time only in the infinite-large ensemble limit [
71]. However, according to a large number of simulations, the quantum simulations agree well with the HEOM for
n≥500. For a given random Hamiltonian, the corresponding unitary evolution can be decomposed into a sequence of experimentally-feasible pulses by the GRAPE algorithm. Here, the fidelity is limited by the initial guess of parameters, in combination with both the step and the number of repetitions in attaining the global optimum [
56].
In the aspect of NMR realization, there are three main sources of errors. First of all, the prepared initial state is a pseudo-pure state rather than a pure state. The error caused by the preparation of the initial state can be estimated by carrying out a full state tomography and examining the fidelity
between the target density matrix
= |00〉〈00| and the experimental density matrix
[
72]. Here, the fidelity is defined as
F (
ρ1, ρ2) = Tr(
ρ1ρ2)/
. Then, in the process of quantum-state evolution, although the fidelity of the unitary evolution
UD calculated by the GRAPE algorithm can nearly approach unity, e.g.,
F = 0.995 by increasing the step of the repetition, there could still remain imperfection in the experimental realization of the pulse sequence. The error in this step can be also estimated by the fidelity
with
obtained by the tomography. Finally, further errors could be introduced in the process of measurement. The error produced in this step can be characterized by the fidelity between the final state obtained from the experiment and the final state of the theory.
4 Conclusion
In this paper, we discuss the recently-developed approach for the exact simulation of EET dynamics in photosynthesis. By applying the approach to the linear-tetramer model, the energy transfer is shown to be optimal for a moderately-clustered geometry. Based on the optimal geomtry, we show that the energy transfer efficiency can be further improved when the energy gap between the donor and acceptor clusters matches the optimum of the bath’s spectral density. In this regard, we demonstrate that the light-harvesting network can be optimized from two aspects, i.e., the geometry [
42] and the bath [
49].
Beyond the Drude–Lorentz spectral density, we also show that our approach can be utilized to simulate the EET dynamics for various types of spectral densities. We furthermore demonstrate our approach to the simulation of a quantum system with
N = 8, i.e., the reaction center of PSII. Therefore, we can generalize our approach to exactly simulate the open quantum dynamics with
N dimensions and different types of environments. By comparing our approach to the HEOM, the complexity is a polynomial of the number of states involved and thus our approach is exponentially accelerated when the system is large and the spectral density is complicated. This is often encountered when simulating open quantum dynamics for natural photosynthesis. To conclude, our approach can be applied to the exact and efficient simulation of open quantum dynamics for various of Hamiltonians and spectral densities. It may shed light on the investigations exploring non-Markovianity in open quantum dynamics, e.g., quantum metrology in non-Markovian environments [
65].