Abstract
Over the past several decades, a rich series of experiments has repeatedly verified the quantum nature of superconducting devices, leading some of these systems to be regarded as artificial atoms. In addition to their application in quantum information processing, these 'atoms' provide a test bed for studying quantum mechanics in macroscopic limits. Regarding the last point, we present here a feasible protocol for directly testing time reversal symmetry (TRS) through the verification of the microreversibility principle in a superconducting artificial atom. TRS is a fundamental property of quantum mechanics and is expected to hold if the dynamics of the artificial atom strictly follow the Schrödinger equation. However, this property has yet to be tested in any macroscopic quantum system. In the end, as an application of this work, we outline how the successful implementation of the protocol would provide the first verification of the quantum work fluctuation theorems with superconducting systems.
Export citation and abstract BibTeX RIS
1. Introduction
Few concepts in nature are so simple and yet as profound as those related to symmetry. Indeed, the beauty of its manifestations has led to the modern view that principles of symmetry dictate the forms of nature's fundamental laws [1], embodying striking implications that range from conservation principles to the classification of elementary particles.
Time reversal symmetry (TRS) is a prominent example that underlies a large variety of phenomena. In many instances, the fundamental microscopic laws of nature are invariant under time reversal transformations. This invariance is at the heart of microscopic reversibility (microreversibility) [2], which itself is crucial to powerful concepts such as the principle of detailed balance [3], the fluctuation-dissipation theorem [4], and fluctuation relations (e.g. Tasaki–Crooks fluctuation theorem) [5], to name a few.
Yet TRS is not an exact symmetry of nature: in the very least, it is observed to be broken in elementary processes that involve the weak interaction [6, 7], and moreover, there is evidence to suggest that it must also be violated over a much broader range of conditions in order to account for the prevalence of matter over antimatter in the universe [8, 9]. Manifestations of such violations potentially herald new phenomena and are thus the subject of extensive experimental investigations in both atomic and particle physics [9].
While considerable effort has been invested in the search for violations of TRS in the interactions of fundamental particles, experiments have not been conducted to investigate TRS in the physics of quantum systems at the macroscopic scale. Specifically, the question thus arises: once one properly takes into account dissipative and decoherence effects, would TRS be observed in, say, a mesoscopic or even a macroscopic device? On the face of it, there is no reason to expect that it breaks down: we know the microscopic laws of quantum mechanics can be applied to at least some (properly prepared) macroscopic systems. Nonetheless, if it does break down, this must reflect new physics, which could have potential connections to open questions like the nature of the quantum-classical divide [10, 11].
With these thoughts in mind, we delineate here a protocol for directly testing TRS in an artificial atom that is based upon a superconducting quantum device (SQD). While similar types of SQDs are known for their use as qubits in the development of quantum computing architectures [12, 13], we propose to utilize an SQD as a multi-level artificial atom to test a specific manifestation of TRS, namely the principle of microreversibility.
2. Microreversibility and the artificial atom
Generally speaking, the principle of microreversibility states that for each process (or trajectory in state space) that is accessible to a given system, there is an equally probable time-reversed process that the system can undergo [2]. In the context of quantum mechanics, it manifests in a simple relationship for the transition probabilities between any two states of a system whose Hamiltonian has undergone a time-dependent transformation [5], namely that
where is the probability for the system to make a transition to state when it starts in state . Here λ represents the forward-in-time transformation of the system's Hamiltonian and represents the motion-reversed process (figure 1(a)). It is important to note that the standard presentations of TRS (and consequently microreversibility) are done in the context of non-driven conservative systems [2]. However, as shown in appendix
Equation (1) is a fundamental and general result for non-dissipative quantum mechanical systems, deriving from the invariance of a system's Hamiltonian under transformations by the antiunitary time-reversal operator Θ [2, 5]. Thus it should hold true for all quantum systems in which TRS is maintained. Naively, one would expect this to include macroscopic systems for which the laws of quantum mechanics have been shown to apply, such as mechanical quantum systems [14, 15] and superconducting cavities, circuits and devices [12, 13, 16–18]. However, a direct test of TRS in these systems has yet to be performed.
Concerning the role played by the macroscopic nature of the system, it is worthy of mentioning that the test of TRS we envision here has a different perspective than those conducted in other condensed matter systems. In fact, while here we want to address the emergence of TRS in quantum systems whose dynamics necessarily have to be described by the superposition of macroscopically distinct states or, at least, by a collective variable which obeys quantum mechanical laws, other studies have utilized macroscopic systems in order to magnify possible effects due to microscopic time-reversal violations [19]. One example is the search for permanent electric dipole moment (EDM) of elementary particles [20] through measurements of the bulk magnetization of a macroscopic collection of spins [21, 22]. Such experiments exploit the macroscopic size of the sample to significantly improve the signal acquisition, which is used to set limits on the existence of such permanent EDMs, allowing one to draw conclusions about the fundamental time-reversal invariance of the constituent elementary particles; by contrast, in our proposal, we conceive testing time-reversal invariance in the dynamics of a macroscopic degree of freedom representing the collective behavior of the constituent particles.
As we show now, it should be technologically feasible to perform a test of microreversibility, and hence TRS, via equation (1), in an artificial atom based upon an SQD, whose quantum dynamics is associated with circuit excitations, characterized by superpositions of several charge states.
The SQD here is a Cooper-pair box (CPB), which in our proposal consists of a nanofabricated superconducting island (or box) that is formed by a pair of Josephson junctions in a DC SQUID configuration (figure 1(b)). The system is well-characterized by the following Hamiltonian [23]
The first term on the right-hand side of equation (2) represents the electrostatic energy of the CPB for a given charge state n (a discrete index labelling the number of Cooper-pairs on the island) and continuous polarization charge ng on a nearby electrode; the pre-factor EC is the total charging energy of the CPB. The second term on the right in equation (2) represents the mixing of charge states due to the Josephson coupling of each junction. Here is the total Josephson energy of the two junctions; observe that is periodic in applied magnetic flux Φ with a period of one flux quantum Φ0. To account for asymmetry between the junctions, we define the parameter , where is the sum of the individual junction Josephson energies EJ1 and EJ2.
It is important to note that numerous experiments over the past 15 years have shown that the two parameters Φ and ng in equation (2) can be tuned in situ for experimental implementation of unitary operations with the CPB [12, 13]. The proposal we put forth for testing equation (1) exploits this coherent control. Specifically, it relies upon the adjustment of Φ and ng to modify the characteristics of the CPB's energy eigenstates. To understand how this might work, observe that, when Φ is adjusted so that is relatively small (i.e ), and ng is adjusted near an integer, the eigenstates of the system are essentially the charge states . On the other hand, if , or ng is near a half-integer, then the eigenstates are no longer well-defined charge states, but instead are weighted superpositions of multiple values of . Thus, through the rapid tuning of Φ and ng, the CPB can be forced to undergo unitary evolution between various superpositions of charge states. Through repeated projective measurements of the CPB's charge state before and after identical forcing protocols, the transition probabilities between any given pair of charge states and in the spectral decompositions of the initial and final states can be constructed.
At this point it should be stressed that the kind of quantum states we envision using in our protocol to test TRS are not strictly speaking macroscopic in the same sense as the so-called 'cat states' [24, 25]. Whereas the latter are also present in superconducting devices when one studies, say, macroscopic quantum coherence in flux qubits or engineers entanglement between a superconducting microwave cavity and transmon qubit [26], the quantum state of the CPB in our protocol may involve the superposition of only a few charge states. Nevertheless, this device is macroscopic in the sense that it is an engineered system consisting of billions of atoms; and it is thus remarkable that a single collective variable still describes the dynamics of the device through genuine superpositions of its eigenstates. Moreover, it is also worth mentioning that although these states are susceptible to the influence of external interactions, one can operate the system under conditions(see below) which strongly reduce it and, therefore, safely describe its dynamics as unitary.
3. Forward and backward protocols
Our specific proposal to test equation (1) is outlined in figures 2(a)–(d). It involves the application of two separate protocols to the CPB to measure and , which we refer to as the forward (λ) protocol and the backward () protocol respectively. For process λ, the CPB is taken through the following sequence of steps: (1) first, with the external physical parameters set such that the energy eigenstates are definite charge states (i.e. ), the CPB is initialized in its ground state and driven by a pulse sequence consisting of the simultaneous application of time-varying signals and (figures 2(c)–(d)), causing it to repeatedly pass through avoided-level crossings in its energy spectrum (figure 2(e)). At each such crossing, the CPB can undergo a Landau–Zener transition [27, 28] between the adjacent states involved in the crossing, which leaves it in a superposition of those two states. For the parameters considered here, after traversing the multiple crossings shown in figure 2(e), the CPB state should be in a superposition of as many as 5 charge states. It should be noted that at the end of the sweep, ng and Φ are brought back to their initial values so that once again . (2) At this point, immediately after the initial superposition state is prepared, a projective measurement of the CPB's charge is made and recorded as state n. We refer to those steps as the preparation protocol (figures 2(a)–(b)), since they provide an effective way for preparing an initial ensemble of charge states which can be used for measuring -in our case, its composition is given in (figure 3(a)). (3) Next, after the collapse to the charge state , a second pulse sequence identical to the sequence in step (1) is applied, again preparing the CPB in a superposition of charge states. (4) Finally, a second projective measurement of the CPB charge state is made and recorded as m. After step (4), the CPB is allowed sufficient time to relax back to its ground state, after which time λ is repeated. In this manner, repeating λ many times, the transitions probabilities can be constructed. Figure 3(b) illustrates a histogram of for this process calculated with numerical simulations using equation (2 and the pulse sequences in figures 2(c)–(d) (see appendix
Download figure:
Standard image High-resolution imageDownload figure:
Standard image High-resolution imageTo implement the time-reversed process and construct the corresponding transition probabilities , the same general procedure as outlined in the previous paragraph is followed. However, it is necessary to change two physical quantities for the time-reversed process: first, the sign of the magnetic flux applied to the CPB must be reversed to account for the reversal of momentum of the magnetic field's source charges. Observe that such inversion leads to . Then, since the time reversal operator is an antilinear operator (see appendix
4. Conditions for unitarity and the measurement protocol
To claim a true test of TRS through verification of microreversibility (equation (1)), it is essential that the CPB's time evolution be predominantly unitary during the λ and protocols. This requires that the protocols be implemented on a time scale τp that is much faster than any environmental effects. By applying the methodology introduced by Burkard–Koch–DiVincenzo [29], one finds that the figure of merit for quantifying such effects in our protocol is the relaxation time T1. From those estimations, it can be shown that the decoherence time T2 is determined by T1 (), except for the regime , which corresponds to a tiny window of in the protocol, during which (see appendix
It is also important that the projective charge measurements are made within a time-scale . That T1 sets the relevant time-scale can be understood by realizing that decoherence effects becomes innocuous if one chooses projective measurements in the eigenenergy basis, since such effects would not lead to changes in the system state eigenenergy spectral decomposition. Notice from figure 2(d) that our protocol complies with this case: at the end of a protocol, when a projective measurement of charge is made, the CPB is biased so that the charge states are quasi-eigenenergy states of the system (i.e. ). Indeed, for the parameters chosen here (figure 1), each eigenenergy state has a probability larger than of being found in a specific charge state. Hence these measurements should also each be performed on a time scale . A natural and viable possibility for performing such high-speed, high-sensitivity charge measurements would be to use a superconducting single electron transistor (SSET) [31–33]. When operated in RF mode, SSETs can have bandwidth in excess of 100 MHz [31] and charge detection sensitivity approaching the limit allowed by quantum mechanics [32, 33]. Indeed, assuming the detection sensitivity achieved in [32], it should be possible to resolve the CPB's charge state with an error of in a time scale of (see appendix
5. Gibbs ensemble emulation and quantum work fluctuation relation
In addition to testing TRS in new macroscopic quantum limits, the investigations that we have outlined here would have implications for at least one contemporary avenue of investigation: quantum work fluctuation theorems4 . Indeed, to derive these theorems, it is necessary to make two hypotheses: the microreversibility principle and the assumption that the system is initially in thermal equilibrium at temperature T (a Gibbsian distribution) [5].
One paradigm of such work fluctuation theorems is the quantum Bochkov–Kuzovlev fluctuation theorem between the forward and backward work probability distribution functions (PDF) [34]
Such a relation states that, when leaving an initial thermal equilibrium state, the system dynamics features a probability bias in favor of events for which work is done on the system (). Thus equation (3) can been seen as a manifestation of the second law of thermodynamics, since it shows that energy releasing events are exponentially suppressed compared to energy absorbing events. The relation (3) resembles very much the Tasaki–Crooks theorem [5], for which the bias factor is , where is the free energy difference between equilibrium thermal states associated with the system initial and final conditions. Those theorems are derived assuming different definitions of work, where one (Bochkov–Kuzovlev) associates work with the change in energy of the system unforced Hamiltonian, and the other relates it to changes in energy of the total system Hamiltonian (see appendix
An immediate consequence of equation (3) is the Bochkov-Kuzovlev equality [34], which clearly shows the power and the generality of the results derived from fluctuation theorems: independently of the specifications of the driving protocol and the characteristics of the system, the work distribution of any driving protocol applied to any system initially in thermal equilibrium at temperature T is a random distribution, having the same expected value for the functional .
To investigate quantum fluctuation theorems, like equation (3), using an SQD would require running an experiment at very low temperature (), in which case the SQD's initial thermal state is predominantly the population of the system ground state. Unfortunately this leads to very poor statistics for equation (3). In principle, this problem could be solved by just increasing the system temperature, but in order to obtain a Gibbsian distribution comprised of a reasonable number of states, e.g., 5 states, one should perform the experiment at , at which temperature the SQD could no longer be well-approximated as a non-dissipative quantum system undergoing purely unitary evolution.
Here, we envision a solution to this problem by constructing a thermal state out of the initial charge ensemble obtained in the preparation protocol, which we name an emulation of an initial Gibbs ensemble. The procedure consists of randomly selecting the outcomes of the first measurement following the probability rule imposed by the Boltzmann weight . If the number of experimental events is sufficiently large, such distribution can be obtained for a given temperature T. Indeed, as figure 4 and table 1 show, for events, one can emulate a Gibbs ensemble comprised of those 5 states for temperatures above , leading to 21 possible different values of work, and verify with a small statistical error due to the sampling, which scales as , the quantum Bochkov-Kuzovlev theorem and equality (see appendix
Download figure:
Standard image High-resolution imageTable 1. Emulation for 106 events.
Temperature | |
1 | |
10 | |
20 | |
30 | |
40 | |
50 |
Considering that, as presented to date, the system evolution in a quantum fluctuation theorem verification has to be disconnected from its environment during the forcing protocol5 , if one is not capable of monitoring the environment's state, the role played by the initial Gibbs ensemble in a such experimental verification is just to provide a set of initial states with their frequencies of appearance weighted by the Boltzmann factor — no system-environment correlation is maintained during single runs and between different runs of the experiment. Thus, the ensemble emulation can be viewed playing the same role as a truly initial Gibbs ensemble in a quantum fluctuation theorem verification: a simple provider of uncorrelated initial states, the frequency of which is weighted by a know factor. Moreover, the emulation program can provide means to explore SQDs as quantum thermal machines [36, 37].
6. Conclusions
In the present paper we have created a protocol for the preparation, time evolution and measurement of the quantum state of an SQD in order to test TRS in a new regime, namely in macroscopic quantum dynamics, using current technology and techniques. Our numerical simulations show that the repeated application of this protocol to the SQD would enable verification of the microreversibility principle in an artificial atom.
Aside from being of fundamental importance to both equilibrium and non-equilibrium statistical mechanics, such a result would have the immediate consequence of verifying quantum fluctuation theorems via the construction of work PDFs. This has been the subject of intense interest since the first proposals for determining the work PDF in quantum systems were put forth [38, 39]. Recently the first experimental verifications have been accomplished in nuclear magnetic resonance [40] and ion trap [41] systems, but yet remaining an outstanding task for artificial atoms. In addition, several works have put forward the idea of inferring the work PDF using approaches that eliminate either the need of implementing successive projective energy measurements or the requirement of having an environment-isolated system dynamics — such as using Ramsey interferometry performed on an ancilla system [42–44], single projective measurements of observables [45], quantum jump measurements of a system and its environment in open quantum systems [46, 47], or implementing the Positive Operator Valued Measure (POVM) technique [48]. Notwithstanding that those approaches can represent great improvement for determining the work PDF in many systems, when considering the dynamics of macroscopic quantum states, the demand for the capability of either i) maintaining an auxiliary quantum system coherently coupled to the system of interest during the measurement protocol [42–44, 48], ii) restricting the investigation to sudden quench processes of specific initial states [45], or iii) monitoring the environment's state in order to analyze the system-environment energy exchange [47], may constitute requirements as difficult as the original task of performing successive projective energy measurements, in which our proposal is based on.
Although one could argue that our results are formally expected, their experimental observation would be of utmost importance and, apart from what we have said above, the reason is threefold. Firstly, it would provide the first direct test of the microreversibility of transitions between the states of a macroscopic quantum system. Secondly, it could further our understanding of how collective variables couple to their environment and lead to new techniques to enhance the reliability of decoupling from environmental degrees of freedom. Finally, if microreversibility is indeed observed in this kind of system it may constitute additional possible evidence of the applicability of quantum mechanics beyond its original realm.
Acknowledgments
FB and AOC are supported by Instituto Nacional de Ciência e Tecnologia — Informação Quântica (INCT-IQ) and by Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) under grant number 2012/51589–1. MDL and FR acknowledge support for this work provided by the National Science Foundation unders Grant No. DMR-1056423 and Grant No. DMR-1312421.
Appendix A.: TRS in driven superconducting devices
A.1. The time reversal operation
By definition, the effect of the time reversal operator Θ in mechanical systems is to reverse the linear and orbital angular momenta while leaving the position unchanged, i.e., , , and For consistency, in order to extend the notion of time reversal for systems with spin variables, the spin angular momentum must transform like the orbital angular momentum, i.e. .
As for the electromagnetic phenomena, it is well known that the Maxwell equations and the Lorentz force are invariant under time reversal [49]. By choosing the convention that the electric charge is an invariant under time reversal, the TRS arises provided that the electric and magnetic field transformations are given by
In addition, the current density must reverse sign, i.e., , which also conforms to its definition in terms of charge times velocity.
A key feature of the time reversal operator Θ is to be an antilinear operator. Such a property can be verified by inspection of the transformation of the canonical commutator, which reverses sign under TRS
Therefore it is necessary of Θ to be an antilinear operator, i.e. , in order to preserve the commutation relations6 .
A.2. Superconducting devices under time reversal
The standard approach to quantize the dynamics of a superconducting circuit consists in elevating flux and charge variables to the status of operators [12, 23]. Indeed, it can be shown that the superconducting phase difference φ across a Josephson junction and the charge Q on the junction capacitance are canonically conjungate variables [29]. Therefore, it follows from the canonical quantization that the conjugated variables φ and Q should obey commutation relations as
Since fundamental commutation relations should be preserved under time reversal, it must be determined which conjugated variable must change sign under time reversal, once that . If one follows the standard approach of considering charge as invariant under time reversal [49], then the transformation
complies with the requirements. It should be appreciated that the above transformation is consistent with the expectation regarding the transformation of currents. Indeed, the supercurrent density can be written as
where and are respectively the charge and mass of a Cooper pair of electrons, is the vector potential of any magnetic field applied, and ψ represents the wave function of the macroscopic state occupied by the Cooper pair condensate [50]. Then, if one writes , it is found that
Consequently, if charge is taken invariant and the vector potential reverses sign, will only conform with the expectation of reversing sign under time reversal if the sign of the supercurrent phase ϕ is changed.
The time reversal of Hamiltonian (2) is obtained according to the transformation rule equation (4). Since the charge state is an eigenstate of Q with real eigenvalue n, the invariance of Q under time reversal implies that . Noticing that Q has non-degenerate eigenstates, it follows that and represent the same charge state and hence can differ at most by a constant phase, which can be set as without loss of generality. The action of the antiunitary operator Θ on the charging energy and Josephson coupling leads respectively to: and 7 . Thus, without inverting the sign of the applied magnetic field, one reaches the transformation
which only restores the original Hamiltonian when one reverses the applied magnetic field, since under this operation .
A.3. TRS of driven systems
Despite the standard presentation of TRS as a feature of non-driven (autonomous) systems [2], the concept of time-reversal invariance and the principle of microreversibility can be discussed in more general cases, where the system dynamics is driven by a time-dependent force. As we show below, the inversion of the Hamiltonian's temporal sequence is of prime feature when discussing TRS in driven systems (see [5] for a more detailed presentation).
The time reversal transformation of the Schrödinger equation yields
with and . Observe that and represent the system motion-reversed Hamiltonian and state, respectively.
It is clear, then, that if H is invariant under time reversal, i.e., , the time evolution of the motion-reversed state is determined by the time-reversed image of H(t), satisfying initial condition related to the state , namely
A system is said to be invariant under TRS if . For a such system, the time evolution operator and its motion-reversed are related through a simple identity [5], namely, , which allows one to derive the microreversibility principle for driven systems:
for all . Equation (1) represents a short notation of the above stated microreversibility principle, where λ and are used to represent the system forward-in-time Hamiltonian's temporal sequence and its motion-reversed transformation, respectively.
Appendix B.: Numerical simulations
The system's state time evolution was determined through numerical simulations of the unitary time-ordered evolution operator due to the Hamiltonian equation (2). The calculation was performed taking into account an N =51 charge dimensional Hilbert space. Considering the time discretization procedure and the Hilbert space truncation, we estimated a maximum relative error of for the probabilities quoted in the main text. The specific flux and charge pulses used in our protocol read: and , with time in unit of nanoseconds.
Appendix C.: Decoherence and relaxation rates for the CPB
The methodology introduced by Burkard–Koch–DiVincenzo [29] allows one to use circuit theory for describing the dissipative elements of the circuit with a bath of oscillators model, from which it is possible to estimate the dissipative effects for multilevel superconducting devices. From this modelling, the system-bath coupling derived is a functional of the charge number operator n. Therefore, it will only connect the system energy eigenstates that have at least one charge state in common in their spectral decomposition. For the physical CPB parameters and the flux and charge protocols considered in our proposal, we found that only neighbouring eigenstates share one charge state in their spectral decomposition. Thus, with a good approximation, the dissipative process can be viewed as a sequence of multiple processes involving only two eigenstates. Under this perspective, one can obtain the relaxation (T1) and decoherence (T2) times concerning those two levels. In the Born–Markov approximation, the relation between T1 and the pure dephasing is found to be
where ek is the instantaneous value of the eigenenergy state k, and . Performing the calculation of the matrix elements above for each time instant of our protocol, we found that the decoherence time T2 is determined by T1, i.e., , except for the regime , during which . Observe that for (the SQD charge regime), the charge operator n almost commutes with the system Hamiltonian, which explains why T1 becomes the longest time scale here.
Appendix D.: Estimate of the CPB measurement uncertainty
To estimate the CPB charge-state measurement uncertainty, we first assume that the CPB is probed using an SSET that is coupled to the CPB through a capacitance CC. It is further assumed that the SSET charge sensitivity SQ is dominated by the noise of the pre-amplifier used to read-out the SSET. In this case, for each Cooper-pair number state N, the inferred charge on CC will have a Gaussian distribution with R.M.S. of , where taumeas is the measurement time. We then define the measurement uncertainty through the use of the Kolmogorov (trace) distance [51], which is given by . The probability to correctly identify from which of two adjacent probability distributions and an outcome of a measurement QC comes is thus given by . For example, using , which was achieved in [32], a measurement time , and realistic parameters for the total capacitance of the CPB island (corresponding to ) and , we find , corresponding to a measurement uncertainty of . It is assumed that the SET measurement is pulsed off during the forward and backward protocols so that it does not serve as a strong source of dephasing.
Appendix E.: Quantum work and the Gibbs ensemble generator
The quantum Bochkov–Kuzovlev theorem equation (3) is derived [34] considering the exclusive viewpoint for the definition of quantum work. Such definition considers that the quantum work performed in a specific process λ is determined as the difference of the outcomes of the eigenenergy measurements of the unperturbed system Hamiltonian done at the initial and final process times. In our case, the Hamiltonian equation (2) can be viewed as , where the unperturbed Hamiltonian H0 is set as , and the force-dependent Hamiltonian perturbation is given by . As for the Tasaki–Crooks theorem, the inclusive viewpoint for the definition of work is adopted, which considers the outcomes of eigenenergy measurements of the total system Hamiltonian at the initial and final process times.
The Gibbs ensemble emulation is constructed using a standard pseudorandom routine to select the states out of the initial ensemble obtained from the preparation protocol. The pseudorandom choice is weighted by the Boltzmann weight for a given temperature T.
Footnotes
- 4
By work fluctuation theorems we mean relations between forward and backward PDF of physical quantities (e.g. work), for which the microreversibility principle is a necessary condition.
- 5
As a matter of fact, such a condition can be relaxed if one considers evolutions due to unital quantum channels, see [35].
- 6
That is also true when considering the commutation relations between the components of angular momentum, or between components of and or and .
- 7
In order to directly verify the effect of the time reversal operation in φ for Hamiltonian equation (2), it is instructive looking at the Josephson interaction Hamiltonian without choosing a specific representation, which reads and hence . Therefore time reversing φ together with the antilinear transformation due to the time reversal operation has the effect of conjugating in equation (2).