Application of indirect Hamiltonian tomography to systems with short coherent times
Abstract
The identification of parameters in the Hamiltonian that describes complex manybody quantum systems is generally a very hard task. Recent attention has focused on such problems of Hamiltonian tomography for networks constructed with twolevel systems. For open quantum systems, the fact that injected signals are likely to decay before they accumulate sufficient information for parameter estimation poses additional challenges. In this paper, we consider use of the gateway approach to Hamiltonian tomography Burgarth et al. (2009); Burgarth and Maruyama (2009) to complex quantum systems with a limited set of state preparation and measurement probes. We classify graph properties of networks for which the Hamiltonian may be estimated under equivalent conditions on state preparation and measurement. We then examine the extent to which the gateway approach may be applied to estimation of Hamiltonian parameters for network graphs with nontrivial topologies mimicking biomolecular systems.
I Introduction
Precise information about the Hamiltonian of manybody quantum systems is crucially important for analysis and prediction of their dynamics, especially to understand the extent to which a given subsystem behaves quantum mechanically. If the subsystem of interest is well isolated from the remainder, i.e., from its environment, in the sense that its dynamics is immune to the effect of noise, then the time evolution is unitary and observable data may be considered ‘clean’ enough to extract good information on the subsystem Hamiltonian. However this is clearly an idealized situation that is rarely encountered. Furthermore, the general procedures to estimate even a small part of the Hamiltonian that acts on a manybody system are, in general, very complex and require a large number of measurements of different observables. This leads to a further challenge which is that as the data acquisition process becomes more elaborate and accesses more of the system, it is likely to introduce an increasing amount of measurement noise.
Several approaches for Hamiltonian identification, or Hamiltonian tomography, have been recently proposed that seek to reduce the complexity of the procedure by making use of some a priori knowledge about the physical system Cole et al. (2005, 2006); Mohseni and Lidar (2006); Mohseni et al. (2008); Lévi et al. (2007); Schirmer and Oi (2009); Ashhab et al. (2006); Oxtoby et al. (2009); Schmiegelow et al. (2011). One approach is to map the manybody system onto a quantum network and to make use of knowledge about the topology of this network to devise protocols that extract desired Hamiltonian parameters from measurements on a restricted portion of the network. Following the demonstration that the Hamiltonian parameters of onedimensional chain of spin1/2 particles may be determined by measurements on a single spin Burgarth et al. (2009); Franco et al. (2009), this approach has been generalized to more general spin networks with restricted measurement access on a small gateway region Burgarth and Maruyama (2009) as well as to more general Hamiltonians Burgarth et al. (2011). Reference Franco et al. (2009) also showed that such an estimation scheme may be robust against noise under weakcoupling conditions. For sparse Hamiltonians, a different approach has recently been developed using the method of compressed sensing Shabani et al. (2011a, b), which has also been applied to quantum state tomography Gross et al. (2010). The compressed sensing approach allows determination of both higher order Hamiltonians and systembath interactions, but is limited to sparse Hamiltonians. Other approaches have been developed based on convex optimization Young et al. (2009) and Bayesian estimation Schirmer and Oi (2009). While these Hamiltonian tomography approaches are related to the better known quantum process tomography (QPT) Nielsen and Chuang (2000); D’Ariano and Lo Presti (2001); Altepeter et al. (2003); YuenZhou and AspuruGuzik (2011); YuenZhou et al. (2011) that (together with quantum state and quantum measurement tomographies) provides a complete characterization of quantum dynamics, they differ from QPT in seeking to reconstruct the desired parameters with a minimal amount of resources.
In this paper we explore the use of the gateway scheme outlined in Burgarth and Maruyama (2009) for determination of Hamiltonian parameters for an open quantum system under conditions of restricted access. The approach of Ref. Burgarth and Maruyama (2009) was based on the assumption of long coherence times, which allowed the injected signal (spin wave) to go back and forth in the network many times so that the information about spin interactions may be encoded in the signal. For dissipative systems, we cannot in general expect such a long lifetime of the signal and it will generally be susceptible to decay before coming back to the injection site, even though the initial time evolution for a short time may be seen to be coherent. We therefore limit our attention here to complex systems in which a subsystem does show such coherent short time evolution.
One prototype of this latter situation that is of considerable current interest is the subsystem of pigments in photosynthetic light harvesting systems. Recent spectroscopic experiments have shown that electronic energy transfer dynamics in such systems displays coherence for several hundreds of femtoseconds Engel et al. (2007); Panitchayangkoon et al. (2010); Collini et al. (2010); Calhoun et al. (2009). Although effects of vibrational contributions are not entirely clear, these coherences are generally accepted to reflect quantum coherences between different excitonic states that may be described by superpositions of single molecule electronic excitations, and are thus amenable to a twolevel pseudospin representation. In this work we shall consider a network of pseudospins that mimics pigments in a light harvesting protein.
We first review the gateway scheme of Refs. Burgarth et al. (2009); Burgarth and Maruyama (2009), introducing the graph theoretic description and notion of infection between different regions of the network (graph) (Sec. II). We then summarize the minimal restrictions on measurement access via spectroscopic measurements in a pigmentprotein complex (Sec. III). These differ from the measurement requirements for spin networks Burgarth and Maruyama (2009) and thus necessitate an extension of that approach. We present a classification of network topologies that are accessible to Hamiltonian tomography under the current scheme. In Sec. IV we then investigate the extent to which the scheme may be applied to a network graph mimicking pigments embedded in the FennaMatthewsOlson protein of photosynthetic green bacteria Fenna and Matthews (1975). A discussion and analysis of the limitation posed by restriction to short time scales of coherent evolution, together with indications for extensions to remedy this, follows in Sec. V.
Ii Gateway scheme of Hamiltonian tomography
In the ‘gateway scheme’ of Hamiltonian identification Burgarth et al. (2009); Burgarth and Maruyama (2009), we consider a network of spin 1/2 pseudospins subject to a unitary dynamics generated by a Hamiltonian containing pairwise interaction terms and Zeeman terms. For clarity and conciseness we describe here only the case of excitationconserving Hamiltonians, namely those satisfying , i.e., conserving the total magnetization of the pseudospin network. We further assume that all coupling strengths between spins are real and the (relative) signs of these, but not the magnitudes, are known. We shall consider the determination of the Hamiltonian parameters in the first excitation subspace, i.e., the subspace in which there is only one ’up’ pseudospin and all other pseudospins are ‘down’. (Note that this places a restriction on the interaction between pseudospins.) We illustrate the scheme here for a 1D spin chain with nearestneighbor interactions, for which the Hamiltonian in this subspace is given by
(1) 
For a 1D chain, we start our procedure by measuring all eigenenergies and coefficients for . Here are the energy eigenstates, denotes , and is the number of pseudospins. Other states with a single upspin will be denoted similarly hereafter, i.e., contains only a single spin up at the th site. We define to be the reduced density matrix on site , where is a time evolution operator for the chain.
First we initialize the state of the chain to be , namely,. Such an initialization is possible by accessing only the first spin Burgarth and Giovannetti (2007). We then perform state tomography on the first spin after a time lapse to extract the reduced density matrix and repeat this at various time delays to obtain as a function of time. Up to an irrelevant phase factor, the diagonal element of can be written as
The eigenenergies and the coefficients can then be obtained by performing the time Fourier transform of . Due the arbitrariness of the global phase, we can choose all to be real and positive. Detailed discussion of the factors determining the efficiency of the Fourier transform are discussed in Ref. Burgarth et al. (2009). As noted there, it is necessary to observe the repeated reflections of the signal (at least times) in order to obtain an adequate signal to noise ratio. Consequently a long time coherence is necessary for implementation of Hamiltonian tomography with measurements only on a single spin.
With the information about and obtained from these single spin measurements, we can proceed the parameter estimation by constructing a set of equations representing for . These equations are given by
(2)  
(3)  
(4) 
Noting that , each factor of which has been determined by state tomography on spin 1, the expansion of in the basis can be obtained up to the constant . The value of can then be obtained within a sign factor by requiring that be normalized to unity. All other parameters and are then subsequently obtained in the same manner from Eq. (3) (for ) and Eq. (4). The intensities of any local magnetic fields (which will be assumed imposed in the direction) can be then estimated from .
This scheme can be generalized to more complex graphs by enlarging the accessible area as was shown in Ref. Burgarth and Maruyama (2009). In that work the Hamiltonian tomography of a general graph formed by a network of spin1/2 systems was found to be possible if infects the entire graph. The infection process is defined as follows. Starting with a subset of a larger set of nodes , suppose that all nodes in possess, i.e., are infected with some property. This property then spreads and infects other nodes according to the following rule: an infected node infects a healthy (uninfected) neighbor if and only if the latter is the unique healthy neighbor of the former. If eventually all nodes are infected by this process, the initial set is referred to as an infecting subset. Figure 1 depicts the infecting process with a simple example. We will see below that in general, although this requirement of infection is a necessary condition of the graph, it is not always a sufficient condition for Hamiltonian tomography under arbitrary measurements. In particular, we will show that there exist graphs that are not amenable to tomography under the spectrally restricted measurement assumptions employed in the current work.
Iii Spectrally restricted Hamiltonian tomography for pseudospin networks
We now discuss an extension of the gateway scheme for Hamiltonian tomography of a subsystem, given access to a restricted set of spectral measurements and some short time subsystem coherence.
We consider a pseudospin network with XYtype interactions and local external magnetic fields, namely
(5)  
This defines a graph with the set of pseudospin sites and the links defined by the spin hopping between sites. The Hamiltonian parameters are the coupling strengths , and the energy gaps due to the Zeeman terms, . We employ the notation, and , for the standard Pauli matrices throughout this paper: are thus the raising and lowering operators for the th pseudospin.
For a network of pigments such as that considered later in this paper (Sec. IV), the pseudospin sites are individual molecules with pseudospin states corresponding to the ground and first excited electronic states, and with energy gaps , while the links are given by the matrix elements of coupling between transition dipole moments on different molecules. This corresponds to the usual HeitlerLondon description of excitonic coupling between pigments Agranovitch (2008). Since we restrict the analysis here to short times during which the dynamics are coherent, we do not explicitly include other degrees of freedom here (but see discussion in Sec. V).
Given a finite window of quantum coherence of subsystem dynamics, we may develop a variant of the gateway Hamiltonian tomography scheme via a set of spectral measurements at short times. This is possible with the following set of assumptions.

The network topology is known. That is, the set of interacting pairs of sites , which plays a dominant role in the overall dynamics, is known without precise information on the values of the coupling strengths, . The latter may, without loss of generality, be assumed real.

The sign of each is known, but not the magnitude.

The energy gaps between the two pseudospin levels are known for the specific sites that we need to access.

Single site excitation is possible when we have the information on energy gaps.

The energy eigenvalues of the system are known.

Measurement in the energy eigenbasis is possible, i.e., the probability of finding an eigenstate in a state with a single site excitation i.e., can be measured.
Assumptions 1 and 2 are the same as in the original scheme described in the previous section. Assumption 3 is necessary for the single site excitation in Assumption 4. Assumptions 4 and 5 differ from the assumptions of the original gateway scheme of Refs. Burgarth et al. (2009); Burgarth and Maruyama (2009), which required waiting for a signal to travel back and forth in the chain/network (Sec. II). Since that procedure requires long coherence times, in situations where the time over which the quantum dynamics are coherent is limited, a global measurement in the energy basis provides an alternative route to acquire information about the subsystem before the excitation decays, provided that such a measurement may be implemented on a fast enough timescale. With use of such a global measurement, the term “to access the site ” then gains a slightly different meaning, namely “to prepare a state” or “to excite the molecule” at the site , rather than to “to measure at site ” as was implicitly understood in Ref. Burgarth et al. (2009).
The motivation for this measurement in the eigenbasis is that all necessary information for the gateway scheme are the sets of and for all . However, as we discuss below, the fact that the quantities obtained from such measurements are the modulus of gives rise to modifications to the choice of sites that should be accessed and the class of graphs to which the scheme is applicable.
For 1D chains, it still suffices to access an end site, as in the original proposal in Ref. Burgarth et al. (2009). If the graph derived from the pseudospin network has branches without loops, the end sites of all branches should be accessed. Figure 2(a) shows an example of such a situation. If we set the global phase by then measurements can only give the modulus of (and , without their relative phases. At site 5 we have
(6) 
Summing up the modulus squared of this equation over , we can find With the assumed knowledge of the sign, we then obtain the value of , which can then be used to obtain the value of . The procedure is repeated until we reach the branching site, i.e., site 3 in Fig. 2(a), where two branches meet. The coupling strength between sites 3 and 4 in Fig. 2(a), for instance, can be obtained by evaluating of resulting in , from which can be obtained as before. (See text after Eq. (4).)
If there is a loop in the graph, all sites that contribute the loop need to be accessed in order to determine The necessity of knowing all for the loopforming sites derives from the requirement of having sufficient equations to determine the couplings. If branches extrude from the loop, the access sites should be chosen to be the end sites of these branches, just as in the case of simple graphs having branches. (See Fig. 2(b).)
These examples show that the present variant of the gateway scheme for Hamiltonian tomography cannot be applied once there are two or more loops in a connected graph. The constraint on the available measurement given by Assumption 5 above poses a further condition on the network topologies to which the current scheme is applicable. We illustrate this for two simple examples of graphs in Fig. 3. Because the original gateway scheme is based on the fact that only one unknown term, e.g., , appears in the equation deriving from the factor we are able to obtain the value of one new coupling strength, by using the previously obtained knowledge on parameters for sites other than . The property of infection then guarantees that all coupling strengths can be estimated recursively in this manner, provided that all coefficients are known for all sites , as well as all eigenvalues . However, when there is no information on the relative phase of , the number of sites needs to be larger than or equal to the number of edges. The graphs in Fig. 3 do not fulfill this condition and as a result their Hamiltonians cannot be estimated with the current approach.
Iv Application to a molecular network
We now apply the gateway scheme with restricted spectral access outlined above for a network of pseudospins to Hamiltonian tomography of a network graph with nontrivial topology mimicking a pigmentprotein complex. As an example, we take the geometry of the seven coupled pigments embedded in the FennaMathewsOlson protein Fenna and Matthews (1975) and use the dominant electronic couplings between pigments as in Refs. Ishizaki and Fleming (2009); Hoyer et al. (2010). This leads to the network graph shown in Fig. 4.
Recent investigations have demonstrated that electronic quantum coherence in such a pigmentprotein complex persists for several hundreds of femtoseconds even at physiological temperatures Engel et al. (2007); Panitchayangkoon et al. (2010); Collini et al. (2010); Calhoun et al. (2009). This means that application of the present Hamiltonian tomography scheme is restricted to measurements on the timescale of a few hundred femtoseconds. We note that the presence of quantum coherence does not necessarily imply purely unitary dynamics. If the evolution is indeed unitary, the values of are constant in time. However, in the presence of dissipation, the measured values of may vary. Provided that the measurement can be made within the timescale in which the dynamics of may be characterized by a phenomenological factor , then this time dependence would be reflected in measurement of time dependent coefficients . Measuring these quantities at various times within the relevant timescale would then allow estimations of the values by extrapolation back to . Current technology allows controlled shaping of pulses with time duration 10–20 femtoseconds, suggesting that such an estimation might be feasible.
Using the data of and and following the procedure described above with Eqs. (2)(4), we can then construct the matrix elements of the symmetric matrix corresponding to the Hamiltonian in the oneexcitation subspace.
Since the network in Fig. 4 contains a loop formed by four sites, we need to access at least four sites, 1, 5, 6, and 7, as described in Sec III. Let us follow the estimation procedure again briefly for clarity. Suppose that we start from , that is, we set the global phase of so that are real and positive for all . Then, using Eq. (2), we have
(7) 
where can be known from and , thus the lefthand side of Eq. (7) is equal to . The estimation process then proceeds to site 4 according to Eq. (3), obtaining the values of and with a correct phase. With the measured values of , , and , we can then make use of the following set of equations to obtain the coupling strengths:
(8) 
Summing up the modulus squared of each equation over gives four equations with four unknown parameters, , , , and . Together with the a priori knowledge on the signs of the set that was assumed initially, all coupling strengths can now be estimated. The remaining parameters, i.e., , , and , may be evaluated from . For example, . Thus all parameters of the Hamiltonian have now been identified, despite the lack of the precise information about the phase of .
V Discussion
We have developed an extension of the gateway scheme of Hamiltonian tomography to estimation of Hamiltonian parameters for subsystems of complex quantum systems that show coherent dynamics for a limited period of time. We circumvent the problem of decay of quantum coherence preventing the observation of reflections of the injected signal that was required in the original scheme of Ref. Burgarth et al. (2009) by employing instead a measurement in the basis. Assuming the feasibility of such a spectrally restricted measurement, we then showed that by choosing the right set of accessible (i.e., spectroscopically excitable) sites, the Hamiltonian of a given network of pseudospins can be estimated. These constraints on measurable quantities, in particular the lack of feasibility of measurements in the site basis, were found to modify the requirements for the graph properties. While the Hamiltonians of onedimensional chains are still estimable by accessing, i.e., preparing a state at the end site only, as in the original gateway scheme, we now find that, in general, the set of accessible sites needs to be larger than an infecting set. Furthermore, there exist networks to which the current estimation scheme cannot be applied, regardless of the choice of accessible sites, because of the detailed structure of the network topology. This major difference results from the constraint on feasible measurements imposed here and raises interesting questions for the interplay between network topology and measurement capabilities in Hamiltonian identification schemes in general.
Application of this spectrally restricted Hamiltonian tomography approach to a small scale network of molecular pigments indicated that provided the spectral measurements can be made on a timescale significantly shorter than the characteristic time for loss of coherence, the Hamiltonian tomography approach may yield useful estimates for parameters of the electronic Hamiltonian describing excitonic energy transfer through a wellcharacterized aggregate of pigments or pigmentprotein complexes. We note nevertheless that realistic application to such systems will require extension of the current approach to include dissipation and decoherence in a more quantitative manner, e.g., as in Refs. Cole et al. (2006); Schirmer et al. (2008); Franco et al. (2009); Schirmer and Oi (2009); Brivio et al. (2010); Schirmer and Oi (2010); Shabani et al. (2011b), to account for the lack of unitarity that is associated with the subsystem dynamics despite the appearance of quantum coherences at short times.
Acknowledgements.
KM is grateful to the support by the JSPS Kakenhi (C) no. 22540405. KM and TT are supported in part by Quantum Cybernetics (Grant No. 2112004), CRESTJST, and FIRSTJSPS (Quantum Information Process). The efforts of KBW and AI are supported in part by the DARPA QuEST program.References
 D. Burgarth, K. Maruyama, and F. Nori, Phys. Rev. A 79, 020305(R) (2009).
 D. Burgarth and K. Maruyama, New J. Phys. 11, 103019 (2009).
 J. H. Cole, S. G. Schirmer, A. D. Greentree, C. J. Wellard, D. K. L. Oi, and L. C. L. Hollenberg, Phys. Rev. A 71, 062312 (2005).
 J. H. Cole, A. D. Greentree, D. K. L. Oi, S. G. Schirmer, C. J. Wellard, and L. C. L. Hollenberg, Phys. Rev. A 73, 062333 (2006).
 M. Mohseni and D. A. Lidar, Phys. Rev. Lett. 97, 170501 (2006).
 M. Mohseni, A. T. Rezakhani, and D. A. Lidar, Phys. Rev. A 77, 032322 (2008).
 B. Lévi, C. C. López, J. Emerson, and D. G. Cory, Phys. Rev. A 75, 022314 (2007).
 S. G. Schirmer and D. K. L. Oi, Phys. Rev. A 80, 022333 (2009).
 S. Ashhab, J. R. Johansson, and F. Nori, New. J. Phys. 8, 103 (2006).
 N. P. Oxtoby, A. Rivas, S. F. Huelga, and R. Fazio, New. J. Phys. 11, 063028 (2009).
 C. T. Schmiegelow, A. Bendersky, M. A. Larotonda, and J. P. Paz, Phys. Rev. Lett. 107, 100502 (2011).
 C. D. Franco, M. Paternostro, and M. S. Kim, Phys. Rev. Lett. 102, 054304 (2009).
 D. Burgarth, K. Maruyama, and F. Nori, New. J. Phys. 13, 013019 (2011).
 A. Shabani, R. L. Kosut, M. Mohseni, H. A. Rabitz, M. A. Broome, M. P. Almeida, A. Fedrizzi, and A. G. White, Phys. Rev. Lett. 106, 100401 (2011a).
 A. Shabani, M. Mohseni, S. Lloyd, R. L. Kosut, and H. A. Rabitz, Phys. Rev. A 84, 012107 (2011b).
 D. Gross, Y.K. Liu, S. T. Flammia, S. Becker, and J. Eisert, Phys. Rev. Lett. 105, 150401 (2010).
 K. C. Young, M. Sarovar, R. Kosut, and K. B. Whaley, Phys. Rev. A 79, 062301 (2009).
 M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2000).
 G. M. D’Ariano and P. Lo Presti, Phys. Rev. Lett. 86, 4195 (2001).
 J. B. Altepeter, D. Branning, E. Jeffrey, T. C. Wei, P. G. Kwiat, R. T. Thew, J. L. O’Brien, M. A. Nielsen, and A. G. White, Phys. Rev. Lett. 90, 193601 (2003).
 J. YuenZhou and A. AspuruGuzik, J. Chem. Phys. 134, 134505 (2011).
 J. YuenZhou, J. J. Krich, M. Mohseni, and A. AspuruGuzik, Proc. Natl. Acad. Sci. USA 108, 17615 (2011).
 G. S. Engel, T. R. Calhoun, E. L. Read, T.K. Ahn, T. Mančal, Y.C. Cheng, R. E. Blankenship, and G. R. Fleming, Nature 446, 782 (2007).
 G. Panitchayangkoon, D. Hayes, K. A. Fransted, J. R. Caram, E. Harel, J. Wen, R. E. Blankenship, and G. S. Engel, Proc. Natl. Acad. Sci. USA 107, 12766 (2010).
 E. Collini, C. Y. Wong, K. E. Wilk, P. M. G. Curmi, P. Brumer, and G. D. Scholes, Nature 463, 644 (2010).
 T. R. Calhoun, N. S. Ginsberg, G. S. SchlauCohen, Y.C. Cheng, M. Ballottari, R. Bassi, and G. R. Fleming, J. Phys. Chem. B 113, 16291 (2009).
 R. E. Fenna and B. W. Matthews, Nature 258, 573 (1975).
 D. Burgarth and V. Giovannetti (2007), proceedings, M. Ericsson and S. Montangero (eds.), Pisa, Edizioni della Normale 2008 (arXiv:0710.0302).
 V. M. Agranovitch, Excitations in Organic Solids (Oxford University Press, 2008).
 A. Ishizaki and G. R. Fleming, Proc. Natl. Acad. Sci. USA 106, 17255 (2009).
 S. Hoyer, M. Sarovar, and K. B. Whaley, New J. Phys. 12, 065041 (2010).
 S. Schirmer, D. Oi, and S. Devitt, Inst. Phys. Conf. Ser. 107, 012011 (2008).
 D. Brivio, S. Cialdi, S. Vezzoli, B. T. Gebrehiwot, M. G. Genoni, S. Olivares, and M. G. A. Paris, Phys. Rev. A 81, 012305 (2010).
 S. Schirmer and D. Oi, Laser Phys. 20, 1203 (2010).