Hamiltonian dynamics from pure dissipation
summary
The gist
The fundamental difference between closed and open quantum dynamics lies in their environmental interaction, and this work demonstrates that internal Hamiltonian dynamics can be "faked" via external
In short
This work investigates whether internal quantum Hamiltonian dynamics can be simulated using only external pure dissipation. The authors show that purely dissipative Lindbladians, which lack an explicit Hamiltonian term, can approximate ideal time evolution within a specific error bound. This means coherent quantum interactions can be mimicked by controlled dissipation.
Key concepts
- Purely Dissipative Lindbladian
- This is a quantum master equation describing dynamics driven solely by jump operators (dissipation) and no explicit Hamiltonian term. It models how an open system interacts with its environment, focusing only on the loss of coherence rather than coherent evolution.
- Hamiltonian Approximation Scaling
- The paper proves that to achieve an error $\epsilon$ in simulating a Hamiltonian evolution over time $t$, the required simulation time scales quadratically with $t$ and inversely with $\epsilon$. This establishes a necessary cost of $O(t^2/\epsilon)$ for purely dissipative models.
- Gauge Changing
- Gauge changing refers to transforming the parameters within the Lindbladian, such as the Hamiltonian or jump operators, to find a representation where their norms are smaller. This technique is used to reduce the computational cost of simulating these dynamics.
- BQP-Completeness
- The authors show that simulating Hamiltonian dynamics using purely dissipative models is BQP-complete beyond a fixed point. This indicates that these dissipative systems are computationally hard for tasks related to quantum computation.
Terminology used across episodes
This episode discusses
- Hamiltonian dynamics from pure dissipation · Paper Radio
- Dissipative ground state preparation and the Dissipative Quantum Eigensolver
- Quantum algorithms: A survey of applications and end-to-end complexities
- Fast-forwardable Lindbladians imply quantum phase estimation
- Efficient simulation of sparse Markovian quantum dynamics
- Efficient Quantum Algorithms for Simulating Lindblad Evolution
- Simulating Markovian open quantum systems using higher-order series expansion
- Quantum-Trajectory-Inspired Lindbladian Simulation
- Exponentially accurate open quantum simulation via randomized dissipation with minimal ancilla · Paper Radio
- L'evy-Khintchine Structure Enables Fast-Forwardable Lindbladian Simulation
- Exponential Lindbladian fast forwarding and exponential amplification of certain Gibbs state properties
The paper
Hamiltonian dynamics from pure dissipation · Read on arXiv
Zhong-Xia Shang, *, Daniel Stilck França †
Department of Mathematical Sciences, University of Copenhagen
The fundamental difference between closed and open quantum dynamics lies in their environmental interaction: closed systems are perfectly isolated and evolve reversibly under unitary Hamiltonian dynamics, whereas open systems continuously couple to an external bath, resulting in irreversible dissipation and information loss. In this work, we show internal Hamiltonian dynamics can be "faked`` via external pure dissipation, i.e., Lindbladians without a coherent Hamiltonian part. More concretely, we show that, in a GKSL representation with zero explicit Hamiltonian term but nontraceless jump operators, bounded-norm dissipative generators can approximate Hamiltonian dynamics within ε error in diamond norm using O(t 2/ε) evolution time. We further prove that for time-independent dynamics this O(t 2/ε) scaling is in the worst case, necessary and optimal from a geometric perspective, which captures the fundamental decoherence cost for catching up with the speed of Hamiltonian dynamics. Our construction leads to various implications, including the BQP-completeness of purely dissipative dynamics even before reaching approximate equilibrium, a Zeno-adjacent state-independent freezing effect, the no super-quadratic fast-forwarding theorem of a class of purely dissipative dynamics, and reducing Lindbladian simulation cost via gauge changing.
Transcript
Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.
Kai: Today's paper: "Hamiltonian dynamics from pure dissipation".
Mira: The fundamental difference between closed and open quantum dynamics lies in their environmental interaction, and this work demonstrates that internal Hamiltonian dynamics can be "faked" via external pure dissipation,
Kai: First, who's behind it and why it matters.
Title and authors: Kai: So, let's talk about "Hamiltonian dynamics from pure dissipation," looking at the title and who put this work together. It's a pretty descriptive title, but it immediately signals that the paper is focusing on how we can get Hamiltonian physics out of a dissipative framework.
Mira: I agree with Kai; the title sets expectations for us to be thinking about how environmental coupling can substitute for explicit coherent driving in quantum dynamics <ref:2604.18533#pg0>. The authors are Zhong-Xia Shang and Daniel Stilck Fran¸ca, and seeing their affiliations, we get a sense of the mathematical rigor behind this approach from Copenhagen <ref:2604.18533#pg0>.
Lev: From my side, I'm curious about what kind of mathematical representation they chose to start with; does their choice of GKSL representation immediately constrain the possibilities for simulating unitary evolution?
Kai: They start by focusing on a GKSL representation, which is important because it sets the stage for how the jump operators behave in relation to the Hamiltonian, even when there's no explicit Hamiltonian term in the Lindbladian <ref:2604.18533#pg0>.
Mira: That's where my concern lies; if they are using a representation without an explicit Hamiltonian, how do they ensure that the resulting dissipative generator can still capture the full dynamics of a standard closed quantum system?
Lev: I think that the key is in the nontraceless nature of those jump operators, which allows them to embed the necessary information about the coherent evolution within those dissipation terms <ref:2604.18533#pg0>.
Kai: So, essentially, they're arguing that even if you strip away a clear Hamiltonian term from your Lindbladian definition, you can still achieve Hamiltonian dynamics by carefully crafting those jump operators <ref:2604.18533#pg0>.
Mira: It shifts the focus from what the system *is* (a closed unitary evolution) to how it *appears* when coupled to an environment, which is a very different way of looking at quantum mechanics <ref:2604.18533#pg0>.
Lev: For real-world simulation, this suggests that if we can't perfectly isolate the system from the bath, modeling it purely dissipatively might be the only practical path forward <ref:2604.18533#pg1>.
Kai: Right, and when we look at the structure of their construction in equation (three), d rho/dt = Lrho = F rho F - one/2F F, rho, it looks like a standard Lindbladian form but with the added constraint that F is related to our Hamiltonian <ref:2604.18533#pg1>.
Mira: Exactly, and that constraint on F is what ties the dissipation directly to the structure of the evolution we are trying to mimic, which is a very strong requirement <ref:2604.18533#pg1>.
Lev: If this construction works, it means that for any target Hamiltonian we choose, there's a corresponding set of jump operators that can achieve the approximation within the stated error bounds <ref:2604.18533#pg2>.
Kai: And when you consider multi-jump systems, they show how to assign these jump operators F'i based on a decomposition of H into local terms H i, which makes the construction more systematic for complex problems <ref:2604.18533#pg1>.
Mira: That systematic approach is crucial because it shows that the approximation method isn't just a lucky guess but has a structural underpinning based on how the Hamiltonian itself is decomposed <ref:2604.18533#pg1>.
Lev: So, for someone trying to build an error correction scheme, this implies we might be able to use this structural knowledge of H to design more efficient codes that are tailored specifically to mimic desired unitary dynamics <ref:2604.18533#pg2>.
The paper's summary: Kai: Now that we know the setup, let's talk about what the paper is actually summarizing—the main argument it builds up through these pages. It boils down to this: internal Hamiltonian dynamics can be successfully mimicked by external pure dissipation within a specific time scaling <ref:2604.18533#pg0>.
Mira: That’s the high-level summary, but it’s important to remember that the paper doesn't just claim this works; it provides a concrete construction, showing that bounded-norm dissipative generators can approximate Hamiltonian dynamics within epsilon error in diamond norm using an evolution time of O(t two/epsilon) <ref:2604.18533#pg0>.
Lev: The key part for me is the error bound itself; if the construction holds, we need to know exactly what that epsilon means in terms of fidelity for a quantum process we care about <ref:2604.18533#pg1>.
Kai: Precisely, and they establish that this O(t two/epsilon) scaling is not just an arbitrary guess; it's the necessary worst-case cost because it captures the fundamental decoherence expense required to keep up with Hamiltonian speed <ref:2604.18533#pg0>.
Mira: The paper shows that this scaling is necessary and optimal geometrically, which means you can't do better than O(t two/epsilon) for time-independent dynamics <ref:2604.18533#pg2>.
Lev: I see the necessity of the lower bound proof; if Theorem two proves that any simulation *must* take at least that long, then we have a solid theoretical foundation for assessing the feasibility of this approach <ref:2604.18533#pg2>.
Kai: And they give us a direct example using F = I - i delta H to show how the dynamics naturally contain both the desired delta-strength Hamiltonian term and a delta squared-strength dissipation when you look at it carefully <ref:2604.18533#pg1>.
Mira: That specific example is very illustrative because it shows exactly how the Hamiltonian term gets "faked" by introducing a small perturbation scaled by delta in the jump operator <ref:2604.18533#pg1>.
Lev: So, for running this on hardware, this means we are not just simulating the Hamiltonian; we are essentially engineering an environment that acts like a specific type of noise to produce that desired Hamiltonian trajectory <ref:2604.18533#pg2>.
Kai: Exactly, and they show how to handle multi-jump systems by decomposing H into local terms H i and assigning corresponding jump operators F'i, leading to the final time approximation involving H i squared t two/epsilon <ref:2604.18533#pg1>.
Mira: That decomposition is very clean, and it confirms that this approximation technique has a systematic way to handle complexity beyond single-term systems <ref:2604.18533#pg1>.
Lev: If we take the scaling O(H i squared t two/epsilon), we can start thinking about how the complexity of our quantum simulation maps directly onto the required environmental interaction strength <ref:2604.18533#pg2>.
The paper's improvements: Kai: Moving on to what they suggest as improvements or new avenues, the paper really points toward using gauge changing to reduce the actual simulation cost significantly Gauge Changing. They show that by finding a better gauge, you can minimize the norms of operators like H and F, making the algorithmic cost much smaller Gauge Changing.
Mira: That reduction is significant because it means we move from a cost proportional to the absolute size of the Hamiltonian to one proportional to how small its components are in that specific mathematical representation Gauge Changing.
Lev: If we can achieve a better gauge where those norms are bounded by delta, as they suggest, then the computational cost scales directly with delta, which is related to the target error epsilon and time t <ref:2604.18533#pg2>.
Kai: That links back to the necessity of the O(t two/epsilon) scaling because it shows how much work we need to do, but gauge changing is our tool to make that required work as cheap as possible Gauge Changing <ref:2604.18533#pg0>.
Mira: The uniqueness argument also serves as an improvement in a sense; Proposition two proves that any smooth family of dissipative Lindbladians approximating Hamiltonian dynamics must follow a specific second-order structure, which fixes the first-order terms based on H <ref:2604.18533#pg0>.
Lev: That uniqueness is helpful for error correction research because it means that if we want to learn an unknown Lindbladian, we know the form it must take up to a certain order, which limits the search space Learning Arbitrary Lindbladians with Quantum Error Correction.
Kai: It’s not just about learning; they show that this framework can actively generate evolution for state freezing by using F = delta-one/two(I + i delta H), which is a novel Zeno-adjacent mechanism that works even outside the traditional Zeno subspace <ref:2604.18533#pg2>.
Mira: That active cancellation mechanism is intriguing because it offers a way to stabilize states against Hamiltonian driving without relying on specific subspace definitions, which could be useful for robust quantum state storage <ref:2604.18533#pg2>.
Lev: From an experimentalist's view, the ability to actively generate evolution through dissipation instead of just absorbing noise is a major concept for controlling dynamics in real-time experiments <ref:2604.18533#pg1>.
Conclusion: Kai: So, to wrap up this discussion on "Hamiltonian dynamics from pure dissipation," the main points are that we can approximate Hamiltonian evolution using external noise with an O(t two/epsilon) time scaling <ref:2604.18533#pg0>.
Mira: This capability is supported by a concrete construction, and they’ve shown that this cost is necessary and optimal from a geometric viewpoint because it reflects the fundamental decoherence cost of catching up to Hamiltonian dynamics <ref:2604.18533#pg2>.
Lev: For practical implementation, the key takeaway for those of us working on quantum error correction is that this framework provides a solid theoretical foundation by establishing the necessary lower bound on simulation time <ref:2604.18533#pg2>.
Kai: And they've given us tools like gauge changing to actively reduce the cost, suggesting that efficient simulation isn't just about finding a way around the complexity but about finding a more efficient representation Gauge Changing.
Mira: Overall, the implication for quantum dynamics is that this paper provides a powerful mathematical bridge between closed and open system descriptions using pure dissipation <ref:2604.18533#pg0>.
Lev: I just want to say that this work solidifies the idea that the scaling we observe in simulations isn't arbitrary; it has a definite geometric constraint tied to the underlying dynamics <ref:2604.18533#pg2>.
Kai: It really does, and I think seeing how they construct these dissipative generators gives us a clearer picture of what kind of noise structure we need to engineer for specific simulation tasks <ref:2604.18533#pg1>.
More episodes
- 2610.12365-Energy-constrained two-way capacities of the pure-loss channel
- 2610.12314-Residual-Guided Global-Drive Design in Trapped-Ion Quantum Simulators
- 2610.12320-Quartic Certificates for Pure-State Tomography with Pauli Measurements
- 2610.12348-Constructing Large and Structured Decoherence-Free Subspaces in Hybrid Quantum Systems
- 2610.12357-Improved Local Leakage Resilience of Shamir Secret Sharing and Worst-Case Optimal Polynomial Intersection
- 2610.12400-Measure Now, Mitigate Later: Virtual Error Cancellation for Logical Quantum Circuits
- 2610.11137-Universal Drude Weights in One-dimensional Repulsive Fermi Gas
- 2610.12406-Local polarization control of optical tweezer arrays
- 2610.12447-Entanglement entropy and magic of ZX-diagrams
- 2610.12454-On PPT entanglement distillation