Towards quantum computing Feynman diagrams in hybrid qubit-oscillator devices

Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.

Kai: Today's paper: "Towards quantum computing Feynman diagrams in hybrid qubit-oscillator devices".

Mira: Recent experiments in hybrid qubit-oscillator devices that measure the phase-space characteristic function of an oscillator via a qubit can be seen through the lens of functional calculus and path integrals,…

Kai: First, who's behind it and why it matters.

Title and authors: Kai: So, we're starting with a look at the paper "Towards quantum computing Feynman diagrams in hybrid qubit-oscillator devices." It sounds like they’re trying to bridge the gap between what you can physically build in a lab and the abstract world of quantum field theory.

Mira: I think that title really captures the essence, doesn't it? It suggests they are using these hybrid systems—qubits coupled to oscillators—as a direct window into how Feynman diagrams work in QFT. It’s not just an analogy; it’s proposing a concrete mapping between experimental observables and those theoretical constructs.

Lev: From my side, I wonder if this connection is strong enough to actually be useful for error correction. If we can map these dynamics onto a functional integral, does that give us any new insights into the noise structure of the system?

Kai: Exactly, Lev; what this paper is doing is showing how measuring the phase-space characteristic function through a qubit measurement can be seen through functional calculus and path integrals. It’s about turning experimental data into QFT language.

Mira: And they are suggesting that by expanding this characteristic function in terms of Feynman diagrams, we can expose the role of the real-time bosonic propagator and identify external source functions as controllable time-dependent couplings. That’s a very specific theoretical move.

Lev: Controllable couplings are interesting, but for hardware realization, it has to translate into something manageable for error mitigation. If they can control these source functions experimentally, that opens a door for tailoring the dynamics, which is crucial when we think about running simulations on real hardware.

Kai: Right, so the main idea is using this framework to link what we measure experimentally—the qubit coherences—to those fundamental QFT elements like propagators and couplings. This sets up the whole paper as a guide for experimentalists who want to use these hybrid devices for simulation purposes.

The paper's summary: Kai: So, moving into the actual substance of "Towards quantum computing Feynman diagrams in hybrid qubit-oscillator devices," the authors are presenting how this characteristic functional is defined, which they call the "vacuum persistence amplitude." They define it using an operator UJ(t f, t zero) involving a time-dependent potential V J(t) <ref:2411.05092#pg1>.

Mira: That definition is where things get mathematically heavy. They establish the characteristic functional chi

J*, J: as psi b U J(t f, t zero) psi b, and they interpret this as the vacuum-to-vacuum transition amplitude <ref:2411.05092#pg1>.

Lev: That interpretation is key for understanding what's being measured; it’s not just a random quantity but a measure of the system's evolution from one state to another. But how do we actually deal with the non-trivial evolution caused by those source functions?

Kai: The paper explains that this sourced evolution creates excitations via "Schwinger sources," which then propagate in time, scattering due to an interaction potential V lambda(t), and eventually get absorbed by other sources, returning the system to some probability of its initial vacuum state.

Mira: They then use the path integral approach to turn this functional expression into a closed form expression, which they expand in terms of vertex and source functions. This expansion leads them to "the standard Feynman diagrams of a quartic oscillator displayed in (A7)," which directly parallels those found in QFTs.

Lev: Seeing the diagrammatic expansion is good for intuition, but from an error correction standpoint, we need to know how complex these couplings are. The paper mentions that for non-Gaussian squeezing interactions, the coupling must be complex and involves vertices connected to two outgoing or two incoming lines because they can only emit or absorb bundles of 'n' bosonic excitations.

Kai: So it’s showing a clear path: from the initial setup involving the state-dependent linear potential V I(t), to getting those measurable qubit coherences, and then mapping that whole process onto these diagrammatic expansions. This is the core mechanism they are highlighting.

The paper's improvements: Kai: Now for what makes this work better, or at least what they propose as a way forward, the authors discuss how to handle these estimations using a "maximum-likelihood Ramsey estimator." They are trying to estimate the Feynman diagrams from noisy data by minimizing a cost function CML that uses different orders of each contribution with source/sink and vertex parameters.

Mira: That MLE approach is ambitious because it allows them to reconstruct the underlying interaction vertices and source functions even when they are using truncated perturbative expansions as a starting point. The goal is to find an estimate F = argmin theta C ML(theta) by simulating measurements under realistic conditions for various microscopic couplings g.

Lev: It’s interesting that they acknowledge the stochastic error due to limited measurement shots and the systematic error coming from truncating the characteristic distribution. That’s a very honest assessment of where current experimental limitations lie when trying to infer these diagrams.

Kai: And they address those errors by proposing a "zero-noise extrapolation" strategy, which they adapt from zero-temperature approaches, to recover the true vacuum persistence amplitude coefficients even when you have non-zero temperatures or heating effects present in the real setup.

Mira: That thermal effect modeling is important because it uses the Schwinger-Keldysh formalism to generalize the zero-temperature approach. They show that for non-zero temperatures, the overall bosonic enhancement in their resulting thermal Feynman diagrams scales linearly with the thermal boson number, which they attribute to interference between propagators of particles and holes.

Lev: So, they aren't just describing a static picture; they are building tools to correct for real experimental imperfections like heating and temperature fluctuations when we try to extract these fundamental QFT parameters. That moves it closer to what you need for actual hardware implementation.

Conclusion: Kai: To wrap up "Towards quantum computing Feynman diagrams in hybrid qubit-oscillator devices," the paper shows that we can indeed use Ramsey interferometry on these hybrid systems to get information about both the real and imaginary parts of the characteristic function by measuring specific qubit coherences.

Mira: They demonstrate that sigma x(t f) is related to the real part of chi

J*, J: , and sigma y(t f) is related to its imaginary part, giving us a direct link between measurement outcomes and the functional structure.

Lev: What I want to emphasize here is that while they map it all out beautifully, the practical challenge remains in how reliably we can perform that MLE estimation on noisy data when dealing with heating or finite temperatures.

Kai: Exactly; they show us the roadmap for using this approach, from experimental measurement to functional characterization via Feynman diagrams. It’s a solid framework for simulation in these hybrid devices.

Mira: Ultimately, this work provides a robust theoretical tool that connects the measured qubit dynamics to the underlying structure of QFT through diagrammatic expansions. It helps us understand the behavior of these systems in a way that is directly applicable to non-equilibrium settings.

Lev: For real hardware, it means we need to focus our next steps on developing those zero-noise extrapolation techniques so that we can actually trust the parameters we're extracting from noisy measurements.