Modular Lower Bounds on Reeh-Schlieder State Preparation

This paper establishes a model-independent lower bound on the cost of preparing target quantum states from the vacuum using local operators, demonstrating that states with negative modular energy require large non-unitary operations or incur significant postselection overhead, with explicit bounds derived for wedge and conformal field theory geometries.

The Gist

The Big Picture: The "Magic Box" Problem

Imagine you have a magical box (a specific region of space) and a special, empty starting state called the "Vacuum." In the world of quantum physics, there is a famous rule called the Reeh–Schlieder theorem. It says that if you have this box, you can perform an operation inside it to create any state you want, even ones that look like they are far away or very complex.

Think of it like this: You are in a small room (the box), and you have a remote control. The theorem says that by pressing the right sequence of buttons on that remote, you can theoretically make the entire universe outside the room rearrange itself into any pattern you desire.

The Catch: The original theorem doesn't tell you how hard it is to press those buttons. It just says it's possible. It's like saying, "You can climb Mount Everest," without telling you that you need a million dollars of equipment and a lifetime of training to do it.

This paper asks: How expensive is it to press those buttons?

The "Modular Energy" Meter

The authors introduce a new way to measure the "cost" of creating a state. They call it Modular Energy.

Imagine the "Vacuum" isn't just empty space; it's like a calm, still lake. When you want to create a specific wave pattern (a target state) in a small part of that lake, you need to throw a stone or use a paddle.

• Positive Modular Energy: This is like throwing a stone that creates a wave moving in the "natural" direction of the lake's flow. It's relatively easy.
• Negative Modular Energy: This is like trying to force a wave to move against the current, or creating a wave that looks like a "time-reversed" version of a normal wave.

The paper's main discovery is this: If you want to create a state with "Negative Modular Energy," the "remote control" (the operator) you need becomes astronomically large.

The Cost of "Going Against the Flow"

The paper proves a mathematical rule: The more "negative" the energy of the state you want to create (relative to the local "clock" of that region), the bigger the machine you need to build to create it.

They use a concept called Jensen's Inequality (a math tool) to show that this cost isn't just a little higher; it grows exponentially.

• If you want a state with a tiny bit of negative energy, the cost is manageable.
• If you want a state with deeply negative energy, the cost explodes. You might need a machine the size of a galaxy to create a state the size of a marble.

Two Ways to Look at the Cost

The paper looks at this cost in two different ways, depending on how you try to do the experiment:

1. The "Big Machine" Approach (Operator Norm)
If you try to build a machine that always works (a deterministic machine), the size of the machine is directly tied to the negative energy. If the target state is "too negative," the machine becomes infinitely large. In physics terms, the "norm" of the operator (a measure of its size/strength) must be huge.

2. The "Lucky Guess" Approach (Postselection)
Since building a giant machine is impossible, maybe you can just try a small, simple machine and hope for the best? This is called postselection.

• You use a small, cheap machine.
• Most of the time, it fails to create the state you want.
• Very rarely, by pure luck, it succeeds.

The paper calculates exactly how rare that luck must be. If the state has negative modular energy, the probability of success drops exponentially.

• Analogy: Imagine trying to win the lottery. If the "negative energy" is low, you might win once a year. If the "negative energy" is high, you might have to buy a ticket every second for the age of the universe to win just once.

Real-World Examples in the Paper

The authors show how this works in two specific shapes of space:

1. The Rindler Wedge (The Accelerating Observer)
Imagine an observer accelerating through space. They see a "wedge" of the universe. The "clock" for this observer is based on their acceleration (a "boost").

• If they try to create a state that moves against their acceleration time, it costs a fortune.
• It's like trying to run up a down-escalator. The faster you try to go up, the more energy you need.

2. The CFT Ball (The Conformal Diamond)
Imagine a spherical region in a specific type of quantum field theory. Here, the "clock" is a special kind of time that stretches and shrinks space.

• The "cost" depends on where the energy is located. Energy near the center of the sphere counts for a lot. Energy near the edge counts for almost nothing.
• If you try to create a state with negative energy right in the center, the cost is massive. If the negative energy is near the edge, it's cheaper.

The Bottom Line

The paper doesn't say we can't create these states. It says nature charges a fee.

• Local Unitaries (Deterministic): You can only create states that have "positive" or "neutral" modular energy using standard, reliable operations. You cannot deterministically create a "negative modular energy" state.
• Postselection (Probabilistic): You can create these difficult states, but only by accepting that you will fail almost every time. The "negative" the energy, the rarer the success.

In summary: The Reeh–Schlieder theorem says "You can do anything." This paper says, "Yes, but if you try to do the 'weird' things (negative modular energy), the bill will be exponentially high, either in the size of your machine or in the number of failed attempts you must endure."

Technical Summary

Technical Summary: Modular Lower Bounds on Reeh–Schlieder State Preparation

Problem Statement
The Reeh–Schlieder theorem in Algebraic Quantum Field Theory (AQFT) establishes that for any bounded open region $O$ in Minkowski space, the set of vectors generated by acting on the vacuum $\Omega$ with operators localized in $O$ is dense in the Hilbert space $\mathcal{H}$. While this implies that any target state can be approximated by local operations, the theorem is purely existential: it provides no quantitative bounds on the norm of the required operator $\|A\|$, no constraints on the energy of the resulting state, and no constructive method to find $A$. Given that local algebras in Quantum Field Theory (QFT) are type III factors, which support phenomena like "entanglement embezzlement" (extracting entanglement from the vacuum with arbitrarily small disturbance), the critical open question is the cost of such local state preparation. Specifically, how large must the local operator be to prepare a specific target state?

Methodology
The authors utilize Tomita–Takesaki modular theory to derive a model-independent lower bound on the norm of local operators. The approach proceeds as follows:

1. Modular Structure: For a local algebra $\mathcal{A}(O)$ and the vacuum state $\Omega$, the Tomita operator $S_O$ is defined by $S_O(A\Omega) = A^*\Omega$. Its polar decomposition $S_O = J_O \Delta_O^{1/2}$ introduces the modular operator $\Delta_O$ and the modular Hamiltonian $K_O = -\log \Delta_O$.
2. Norm Estimation: The authors relate the norm of a local operator $A$ preparing a state $\xi = A\Omega$ to the action of the modular operator on the target state. By exploiting the property $S_O(A\Omega) = A^*\Omega$ and the isometric nature of the modular conjugation $J_O$, they establish a direct inequality between $\|A\|$ and $\|\Delta_O^{1/2}\xi\|$.
3. Convexity Arguments: Using Jensen's inequality on the convex function $f(x) = e^{-x}$ applied to the spectral measure of the self-adjoint operator $K_O$, the authors convert the norm bound into an exponential bound dependent on the expectation value of the modular Hamiltonian in the target state.
4. Geometric Specialization: The general bound is applied to specific geometries where $K_O$ is explicitly known:
   • Rindler Wedges: Using the Bisognano–Wichmann theorem, $K_O$ is identified with the boost generator.
   • Conformal Field Theory (CFT) Balls: Using the Casini–Huerta–Myers formula, $K_O$ is identified with a weighted integral of the stress-energy tensor $T_{00}$.

Key Contributions and Results

1. General Modular Lower Bound (Proposition 1):
   The paper establishes that for any $A \in \mathcal{A}(O)$ preparing $\xi = A\Omega$, the operator norm satisfies:
   $$\|A\| \geq \|\Delta_O^{1/2} \xi\|$$
   If the target state $\hat{\xi}$ has a finite expectation value of the modular Hamiltonian $\langle K_O \rangle_{\hat{\xi}}$, this yields:
   $$\|A\| \geq \|\xi\| \exp\left( -\frac{1}{2} \langle K_O \rangle_{\hat{\xi}} \right)$$
   This result implies that states with deeply negative modular energy require exponentially large local operators.

2. Postselection Overhead (Corollary 2):
   By rescaling a local operator $A$ to a contraction $B = A/\|A\|$ (representing a successful outcome of a local measurement), the authors derive a lower bound on the success probability $p_{\text{succ}}$:
   $$p_{\text{succ}} \leq \exp\left( \langle K_O \rangle_{\hat{\xi}} \right)$$
   Consequently, the expected number of trials required to prepare a state with modular energy $-M$ scales as $e^M$. This connects the abstract operator norm bound to the operational cost of postselection in quantum information.

3. Geometric Realizations:

   • Wedges: For the Rindler wedge, the modular Hamiltonian corresponds to the boost generator $K_{\text{boost}}$. States with large negative boost energy (relative to the Rindler time of accelerated observers) cannot be prepared by local operators in the wedge without exponential cost.
   • CFT Balls: For a causal diamond in a CFT, the modular Hamiltonian is a weighted integral of the energy density, $K_{DR} = 2\pi \int w_R(x) T_{00}(x) d^dx$. The weight function $w_R(x)$ vanishes at the boundary and peaks at the center. The paper demonstrates that a state can have non-negative total energy but negative modular energy if negative energy density is concentrated near the center (where the weight is high) and compensating positive energy is near the boundary (where the weight is low). Such states incur an exponential preparation cost.

4. Distinction from Total Energy:
   The authors clarify that negative modular energy does not imply negative total Minkowski energy. It represents negative energy with respect to the "modular clock" specific to the chosen algebra and region. Local unitaries can only generate states with non-negative modular energy; accessing negative modular sectors requires non-unitary operations (measurements) with exponentially suppressed success probabilities.

Significance and Claims
The paper claims to isolate a standard estimate from Tomita–Takesaki theory and elevate it to a model-independent preparation bound. Its primary significance lies in quantifying the "gap" in the Reeh–Schlieder theorem: while local preparation is theoretically possible for any state, it is exponentially expensive for states with negative modular energy.

The authors position this result as a complement to the concept of "vacuum embezzlement" in type III algebras. While embezzlement shows that strong state conversion is possible in principle, this work establishes the lower bound on the resource cost (operator norm or postselection overhead) when that conversion is represented by a single bounded local Kraus operator.

The paper explicitly states modesty regarding its scope:

• It does not construct efficient approximants for Reeh–Schlieder.
• It does not prove a separation of complexity classes.
• It does not make ordinary total energy a universal complexity measure.

Instead, the work identifies signed modular energy (relative to the local algebra) as the specific obstruction to "cheap" local state preparation. The authors suggest that if future computational encodings force target states into deep negative modular sectors, this bound acts as an exponential resource barrier for those specific encodings.