## Half-sided translations broken to pieces

## Manish Ramchander

The Institute of Mathematical Sciences, IV Cross Road, C.I.T. Campus, Taramani, Chennai, India 600113

Homi Bhabha National Institute, Training School Complex, Anushakti Nagar, Mumbai, India 400094

E-mail: manishd@imsc.res.in

## Abstract

̸

We dissect the half-sided translations for 1+1 D massless scalar in Minkowski spacetime, generated by G , into non-commutative operations built using the entanglement Hamiltonians of the underlying algebras. Explicitly, we define G,G ′ such that G = G + G ′ with [ G,G ′ ] = 0. This non-commutativity prevents a clean split of exp( is G ), and requires the Zassenhaus product formula. We compute all the infinite terms in the product explicitly, and show exp( is G ) = exp( isG ) exp( isG ′ ) exp( f ( s )[ G,G ′ ]) for a real function f ( s ). We study the consequences of this result through flow of local operators under G and G ′ , and show that while in regions where G ′ has no causal influence, the action of G is indistinguishable from that of G ; in the region where both G and G ′ together create G , the action of G is remarkably different. We conclude by discussing how our results can be applied to the island paradigm.

## Contents

| 1   | Introduction                              | Introduction                                       |   1 |
|-----|-------------------------------------------|----------------------------------------------------|-----|
| 2   | Basics of half-sided translations         | Basics of half-sided translations                  |   3 |
| 3   | Commutators for the massless scalar field | Commutators for the massless scalar field          |   6 |
|     | 3.1                                       | The commutator [ G,G ′ ]                           |   8 |
|     | 3.2                                       | The nested commutators                             |   9 |
|     | 3.3                                       | The Zassenhaus formula                             |  10 |
| 4   | The                                       | flow of G = H M - H N                              |  10 |
|     | 4.1                                       | Flow in Region 1                                   |  12 |
|     | 4.2                                       | Flow in Region 2                                   |  13 |
|     | 4.3                                       | Flow in Region 3                                   |  14 |
|     | 4.4                                       | General evolution operator                         |  14 |
| 5   | Conclusion                                | Conclusion                                         |  15 |
| 6   | Appendix                                  | Appendix                                           |  16 |
|     | 6.1                                       | Unequal time commutators for massless scalar field |  16 |
|     | 6.2                                       | Simplifying H M - H N for Minkowski spacetime      |  18 |

## 1 Introduction

The half-sided translations [1] is a group of unitary transformations built from the algebraic structure of the underlying quantum field theory, that can translate operators through spacetime. Specifically, their definition requires a pair of von Neumann algebras M and N , where N is a subalgebra of M , and when sufficiency condiitons are met, they are generated by a positive operator G that satisfies

$$e ^ { i \mathcal { G } s } \mathcal { M } e ^ { - i \mathcal { G } s } \subset \mathcal { M }, \ \ s \leq 0 \ ( \text{or} \ s \geq 0 ).$$

Therefore, M is preserved under the flow of G for 'half of the real line', and only for the remaining half, G can translate operators outside M ; a property that earns half-sided translations their name. This way, the half-sided translations connect the algebraic structure of the quantum field theory to translations within the spacetime, and serve as a powerful tool for studying quantum field theories and quantum gravity. In particular, they have been used in

AdS/CFT for understanding the algebras of gravitational theories, state dependence of black hole interiors, and for doing explicit bulk reconstruction in the black hole interior [2-9].

The sufficiency conditions for their existence for a given pair M N , are (i) of existence of a common cyclic and separating state | Ω and (ii) thus derived modular operators ⟩ 1 ∆ M , ∆ N that generate automorphisms of the algebra, to satisfy the property

$$\Delta _ { \mathcal { M } } ^ { - i t } \mathcal { N } \Delta _ { \mathcal { M } } ^ { i t } \subset \mathcal { N }, \ \ t \leq 0 \ ( \text{or } t \geq 0 ).$$

Then G is given by

$$\mathcal { G } = \frac { 1 } { 2 \pi } ( \log \Delta _ { \mathcal { N } } - \log \Delta _ { \mathcal { M } } ).$$

The operator K M = -log ∆ M is called the modular Hamiltonian [10] for algebra M , however, it acts on both M and its commutant M ′ , generically in a non-factorizable way. (Likewise is true for K N ). For theories with a UV cut off however, a factorization is possible, such that K M , K N and thus G can be written as a combination of logarithms of density operators.

To see the factorization, let Σ be a Cauchy slice corresponding to the state | ω ⟩ of the quantum field. Consider the density operator ρ M for a spatial subregion M on Σ, whose causal diamond ⋄ M defines the algebra M . Likewise, let ρ M ′ be the density operator for the complement region M ′ , whose causal diamond ⋄ M ′ gives the commutant algebra M ′ . These are well defined positive operators if the field theory has a UV cut off. Therefore, one can take their logarithms H M = -log ρ M , H M ′ = -log ρ M ′ . 2 If | ω ⟩ is a cyclic separating state for M , then [16] the modular operator ∆ M is

$$\Delta _ { \mathcal { M } } = \rho _ { M } \otimes \rho _ { M ^ { \prime } } ^ { - 1 }, \quad \text{or} \quad K _ { \mathcal { M } } = H _ { \mathcal { M } } - H _ { \mathcal { M } ^ { \prime } }.$$

Likewise repeating for ∆ N permits us to write G = G + G ′ , where

$$G = H _ { \mathcal { M } } - H _ { \mathcal { N } }, \ \ G ^ { \prime } = H _ { \mathcal { N } ^ { \prime } } - H _ { \mathcal { M } ^ { \prime } }$$

̸

where G is made only from M N , , and G ′ involves only their commutants. This observation naturally raises the question whether one could break down the action of G into the action of its constituents G and G ′ , but its answer is not straightforward, because [ G,G ′ ] = 0, and thus action of G does not split cleanly into those of G and G ′ . In fact, since a finite action is implemented through exp( i G s ), an attempt at the split will require the Zassenhaus formula, and depending on the severity of the non-commutativity, an infinite product may be needed [17].

Despite this, however, causality suggests that action of G should be indistinguishable from G in the region where G ′ has no causal influence. Likewise, the action of G should be same as that of G ′ in regions that G cannot influence causally. In our setup, these would be regions

1 We review these notions briefly in section 2.

2 These operators have been studied extensively in high energy physics and condensed matter physics communities [11-15] and are also often referred to as modular Hamiltonians, but to avoid confusion, we will call them entanglement Hamiltonians following the condensed matter community.

⋄ N ′ and ⋄ M ′ respectively. Moreover, it would be interesting to see the deviations between actions of G and G ′ compared with G in the remaining regions of spacetime, and whether highly nested commutators are needed to approximate the action of G in these regions. This is one of the main questions we will address in this paper.

In this paper, we will study flow of local operators ϕ under G and G ′ , and the all the nested commutators involving [ G,G ′ ], presenting a breakdown of the action of G into the actions of G and G ′ . We will use the 1+1D massless scalar field in Minkowski spacetime for our work as it is the simplest example where computations can be done explicitly. Let us list our main results here:

- 1. For M N , corresponding to Rindler wedges related by translation of origin in Minkowski spacetime, we compute all the nested operators that appear in the Zassenhaus product, and show that

$$v \ u a \, & e ^ { i s G } = e ^ { i s G } e ^ { i s G ^ { \prime } } \exp \left ( [ G, G ^ { \prime } ] \cdot \frac { 1 - 4 s - e ^ { - 4 s } } { 1 6 s ^ { 2 } } \right ). & & ( 1. 6 )$$

- 2. As one would expect, in regions where G ′ has no causal influence, the action of G is indistinguishable from that of G , and likewise for G ′ in regions where G has no causal influence. We show this, and more importantly, in the region where both G and G ′ together create G ,

$$i [ G, \phi ( x, t ) ] = ( x - t ) \partial _ { - } \phi ( x, t )$$

where x -t = 2 a is the boundary of ⋄ N . This is to be compared with the known equation

$$i [ \mathcal { G }, \phi ( x, t ) ] = 2 a \partial _ { - } \phi ( x, t )$$

The equation (1.7) highlights, among other things, that without G ′ , G cannot take the operator outside ⋄ M .

Let us give the outline of the paper. In section 2, we give the essentials of half-sided translations, and the main content begins in section 3, where we study all the nested commutators of G and G ′ for the massless scalar field, including the Zassenhaus product. In section 4, we study the action of G on local operators within the regions where G has a causal influence. The action of G ′ can be obtained by a symmetry. We conclude in section 5, discussing how our results can be applied to the island paradigm, which originally inspired the work. Finally, in the appendix, we have given derivations of unequal time commutators we use repeatedly in the main text.

## 2 Basics of half-sided translations

Let us consider a quantum field theory in flat spacetime in a state | Ω ⟩ which is cyclic and separating for a von Neumann algebra M of operators. Cyclicity of the state means that M when acting on | Ω produces a dense subset of the full Hilbert space, and separability means ⟩

that no operator in the algebra M , except the trivial operator, annihilates | Ω . These condi-⟩ tions are necessary and sufficient to define the Tomita operator S whose polar decomposition is given by

$$S = J _ { \mathcal { M } } \Delta _ { \mathcal { M } } ^ { 1 / 2 }$$

where ∆ M = exp( -K M ) implements the automorphisms of the algebra M , and J M is an anti-unitary operator satisfying J M M J M = M ′ , the commutant of M . Therefore, the S operator knows about M ′ ; in fact ∆ M also generates the automorphisms of M ′ .

The one parameter group of automorphisms defined by ∆ it M is called the modular flow of M , and its generator K M is called the modular Hamiltonian. In mathematical form,

$$e ^ { i K _ { \mathcal { M } } t } \mathcal { M } e ^ { - i K _ { \mathcal { M } } t } = \mathcal { M }, t \in \mathbb { R }$$

This is a point where we can introduce the half sided modular translation. Quite similarly to the modular flow, M may have an additional structure associated to it which may allow us to write

$$e ^ { i \mathcal { G } _ { s } } \mathcal { M } e ^ { - i \mathcal { G } _ { s } } \subset \mathcal { M }, \ \ s \leq 0 \ ( \text{or} \ s \geq 0 )$$

with G| Ω 0 ⟩ = 0, and G ≥ 0, like K M . The operator G is generating a one parameter unitary group called the half sided translations, which we will denote as H st ( M ) -for s ≤ 0, or H st ( M ) + for s ≥ 0. Clearly, the difference between (2.2) and (2.3) is that the latter preserves the algebra only for s ≤ 0 (or s ≥ 0), and the former preserves it for all t ∈ R . Interestingly, it is impossible to have s ∈ R , because when combined with the properties G ≥ 0 and G | Ω 0 ⟩ , it would force G = 0 [1]. Below we'll mostly focus on the case s ≤ 0.

## Theorems for half-sided translations

Reiterating the conditions for their existence, we need two von Neumann algebra M N , with N ⊂ M that satisfies the following properties:

- 1. The state | Ω 0 ⟩ is cyclic and separating for N .
- 2. The half sided modular flow of N with ∆ M lies within N :

$$\Delta _ { \mathcal { M } } ^ { - i t } \mathcal { N } \Delta _ { \mathcal { M } } ^ { i t } \subset \mathcal { N }, \ \ t \leq 0 \ ( \text{or} \ t \geq 0 ).$$

If satisfied, there are several theorems that guarantee the existence of the half sided translations and describe their properties [1, 18-22]. Most notably for us, there are four theorems to highlight; for a more detailed discussion, see [2].

- 1. There exists a unitary group U s ( ) = e - G i s , s ∈ R generated by a positive generator G , such that
- (a) U s ( ) Ω | 0 ⟩ = Ω | 0 ⟩ , s ∈ R , or equivalently G| Ω 0 ⟩ = 0.
- (b) U † ( s ) M U s ( ) ⊂ M , s ≤ 0

$$( c ) \ \mathcal { N } = U ^ { \dagger } ( - 1 ) \mathcal { M } U ( - 1 ).$$

- 2. The commutator [ K M , K N ] = -2 πi K ( M -K N ) and K M -K N = 2 π G .
- 3. Given an M N , and | Ω 0 ⟩ defined this way, U s ( ) is unique.
- 4. The von Neumann algebra M needs to be type III 1 for G to be non-trivial.

Despite working with entanglement Hamiltonians H M , H N , whenever we refer to G , we will mean the one in the UV limit, where the algebras are type III . 1

## Half sided translations in Minkowski spacetime

Let us introduce, as an example, the setup that will become the main focus of this paper. Consider a quantum field theory in 1+1 dimensional Minkowski spacetime having coordinates ( x, t ). Let the system be in the vacuum state | 0 ⟩ with respect to t , and let the algebras M N , correspond to two Rindler wedges associated with different origins in Minkowski spacetime:

$$\diamond _ { M } = \{ x ^ { + } > 0, x ^ { - } < 0 \}, \quad \diamond _ { N } = \{ x ^ { + } > 0, x ^ { - } < - 2 a \}.$$

Their associated intervals are M = (0 , ∞ ) at t = 0, and N = ( a, ∞ ) at t = -a respectively. See figure 1.

Figure 1 . The algebras M and N in Minkowski spacetime. The deep maroon region is ⋄ N corresponding to N , and M is N together with operators in the lavender strip.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00164v1-figure-9b85cc76-f991-4bdc-a353-9807d46204fc.jpg)

There are several ways to derive H M , H N and the corresponding K M , K N for these algebras [14-16]. Explicitly, we note that

$$H _ { \mathcal { M } } = \int _ { 0 } ^ { \infty } d x \ x T _ { 0 0 } ( x, 0 ), \ \ H _ { \mathcal { M } ^ { \prime } } = - \int _ { - \infty } ^ { 0 } d x \ x T _ { 0 0 } ( x, 0 ),$$

$$H _ { \mathcal { N } } = \int _ { a } ^ { \infty } d x \, ( x - a ) T _ { 0 0 } ( x, - a ), \ \ H _ { \mathcal { N } ^ { \prime } } = - \int _ { - \infty } ^ { a } d x \, ( x - a ) T _ { 0 0 } ( x, - a ). \quad \ \ ( 2. 7 )$$

The operators K M and K N are the boost operators preserving ( x, t ) = (0 0) and ( , x, t ) = ( a, -a ) respectively. One way to relate these two, which allows one to identify G = K M -K N , is using spacetime translations like in [2]. Another is to use transformation properties of the stress tensor 3 . One finds that

$$\mathcal { G } = 2 a P ^ { + } \equiv a ( H + P )$$

is the generator of translations in the x -direction for the algebras (2.5). It generates a flow in the null direction, and is an example of H st ( M ) -. 4

## A non example

An arbitrary N ⊂ M does not satisfy conditions of half-sided translations. Regions of the type shown in figure 2 do not satisfy the inclusion property (2.4). This is because the modular flow mimics the action of a boost operator [21], which means any local operator in the wedge associated to M under modular flow will approach the upper and the lower vertices of the wedge, as t →∞ and t →-∞ respectively. Both of the associated regions however are not covered by the algebra N , hence evolution of operators in N under the modular flow of M goes outside N for both t ≥ 0 and t ≤ 0. For more examples, see [23].

Figure 2 . A non-example: The algebra N , shown in blue does not satisfy the equation (2.4).

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00164v1-figure-2a8f6577-d965-4a7d-9ab6-cb5a113f4079.jpg)

## 3 Commutators for the massless scalar field

Now that we have defined our algebras (2.5) and the entanglement Hamiltonians (2.6), (2.7), we can generally say that

$$[ G, G ^ { \prime } ] = & [ H _ { \mathcal { M } } - H _ { \mathcal { N } }, H _ { \mathcal { N } ^ { \prime } } - H _ { \mathcal { M } ^ { \prime } } ] \\ = & [ H _ { \mathcal { M } }, H _ { \mathcal { N } ^ { \prime } } ]$$

3 This one is shown in the appendix for a conformal field theory.

4 For the same M , one can get a different G = 2 aP -by considering a different algebra N , associated to the region { x + &gt; a,x 2 -&lt; 0 , of the type } H st ( M ) + .

where the second line follows from the definitions (2.6), (2.7) and causality. See figure 3. Thus by making a change of variables, we can write

$$[ H _ { \mathcal { M } }, H _ { \mathcal { N } ^ { \prime } } ] = \int _ { 0 } ^ { \infty } d x \cdot x \cdot \int _ { 0 } ^ { \infty } d y \cdot y \cdot [ T _ { 0 0 } ( x, 0 ), T _ { 0 0 } ( a - y, - a ) ]$$

The y integral runs on thin line from -∞ to a , effectively, and the one on thick x axis from

Figure 3 . Diagram to illustrate how causality simplifies expressions. The black dots are two points representing x and y on the different lines, variables which are to be integrated over over different intervals

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00164v1-figure-4570619f-0436-4481-9653-9417edab6cb2.jpg)

0 to ∞ . Now, clearly all the T 00 ( x, 0) operators commute with T 00 ( a -y, a ) for y &lt; -a , and all those with x &gt; 2 a commute with all of them, so this operator becomes

$$[ H _ { \mathcal { M } }, H _ { \mathcal { N } ^ { \prime } } ] = \int _ { 0 } ^ { 2 a } d x \cdot x \int _ { 0 } ^ { 2 a } d y \cdot y \cdot [ T _ { 0 0 } ( x, 0 ), T _ { 0 0 } ( a - y, - a ) ]$$

but that is all we can say in general, without assuming a specific form of the stress tensor. Similarly, for studying the effect of entanglement Hamiltonians on local operators, we need a theory where computations can be done explicitly. Here onwards, we will specialize to the massless scalar field in 1+1D Minkowski spacetime, and compute the quantities explicitly.

The massless scalar field ϕ x, t ( ) in 1+1D Minkowski spacetime satisfies the Klein-Gordon equation

$$\frac { \partial \pi } { \partial t } = \frac { \partial ^ { 2 } \phi } { \partial x ^ { 2 } }, \quad \pi \equiv \partial _ { t } \phi$$

and the equal time commutation relations

$$[ \phi ( x, t ), \pi ( x ^ { \prime }, t ) ] = i \delta ( x - x ^ { \prime } ).$$

The stress tensor components are the Hamiltonian density H = T 00 = T 00 and the momentum density P = T 01 = -T 01 ,

$$T _ { 0 0 } = \frac { 1 } { 2 } ( \pi ^ { 2 } + ( \partial _ { x } \phi ) ^ { 2 } ), \quad T _ { 0 1 } = \frac { 1 } { 2 } ( \pi \cdot \partial _ { x } \phi + \partial _ { x } \phi \cdot \pi ).$$

Our computations will involve studying the operators defined at different times, therefore we will need unequal time commutators. While I have discussed them in great detail in the

appendix 6.1, for the clarity of the main text, I will summarize their computation here. The crucial points are to write the Heisenberg operator

$$\phi ( x, t ) = \exp ( i H t ) \phi ( x ) \exp ( - i H t )$$

using the Schroedinger operator, and then use Hadamard's lemma and the equation of motion (3.4). That gives us two commutators we will need in next section:

$$[ T _ { 0 0 } ( y, 0 ), \phi ( x, t ) ] = - i \partial _ { + } \phi ( y, 0 ) \cdot \delta ( x + t - y ) - i \partial _ { - } \phi ( y, 0 ) \cdot \delta ( x - t - y ) \quad \ \ ( 3. 8 )$$

$$[ T _ { 0 1 } ( y, 0 ), \phi ( x, t ) ] = - i \partial _ { + } \phi ( y, 0 ) \cdot \delta ( x + t - y ) + i \partial _ { - } \phi ( y, 0 ) \cdot \delta ( x - t - y ) \quad \ \ ( 3. 9 )$$

Note that the effect of evolution, because of the equation of motion, is coming from only two points: ( x + t, 0) and ( x -t, 0).

Further, for computing [ G,G ′ ] and subsequent nested commutators, we will need commutators of stress tensors at different times as well. In particular, we will need

$$[ T _ { - - } ( x ), T _ { - - } ( y ) ] = i D ( x, y ) ( \partial _ { y } - \partial _ { x } ) \delta ( x - y )$$

where

$$D ( x, y ) = \pi ( x, 0 ) \pi ( y, 0 ) + \chi ( x, 0 ) \chi ( y, 0 ) - \{ \pi ( x, 0 ), \chi ( y, 0 ) \}.$$

To reach this expression, one has to recognize the commutator is of the form [ A , B 2 2 ] for appropriate A,B , after which simplifications are easier. Note that in the left side the operators depend only on one variable since the theory is conformal.

## 3.1 The commutator [ G,G ′ ]

Using the transformation properties of the stress tensor for the conformal field,

$$T _ { 0 0 } ( x + a, - a ) = T _ { + + } ( x ) + T _ { - - } ( x + 2 a )$$

we can write G = I 1 + I 2 , where

$$I _ { 1 } = 2 a \int _ { 2 a } ^ { \infty } T _ { - - } ( x ) d x, \ \ I _ { 2 } = \int _ { 0 } ^ { 2 a } x \cdot T _ { - - } ( x ) d x.$$

This derivation is given in the appendix 6.2. Further, we can convert the equation (3.3) into

$$[ H _ { \mathcal { M } }, H _ { \mathcal { N } ^ { \prime } } ] = \int _ { 0 } ^ { 2 a } d x \cdot x \int _ { 0 } ^ { 2 a } d y \cdot y \cdot [ T _ { - - } ( x ), T _ { - - } ( - y + 2 a ) ].$$

Direct use of (3.12) will yield 4 terms, in which only this [ T --, T --] commutator will survive. Using (3.10), we see this integral will split into two, one involving the derivative over x and another on y . One also has to carefully note that argument of second T --is 2 a -y . Let us write it as [ H M , H N ′ ] = I x -I y , then the integral with x derivative becomes

$$I _ { x } = - \frac { i } { 4 } \int _ { 0 } ^ { 2 a } d u \cdot ( u - 2 a ) \cdot [ D ( u, u ) + u \cdot \partial _ { ( 1 ) } D ( u, u ) ]$$

and the integral with y derivative becomes

$$I _ { y } = - \frac { i } { 4 } \int _ { 0 } ^ { 2 a } d u \cdot u \cdot \left [ D ( u, u ) + ( u - 2 a ) \partial _ { ( 2 ) } D ( u, u ) \right ].$$

Here the ∂ (1) , ∂ (2) denote derivatives of D with respect to first and second variable respectively. D symmetrically has same derivatives and thus when taking the difference this term gets cancelled. Ultimately we are left with 5

$$[ G, G ^ { \prime } ] = [ H _ { \mathcal { M } }, H _ { \mathcal { N } ^ { \prime } } ] = \frac { i \cdot 2 a } { 4 } \int _ { 0 } ^ { 2 a } d x \cdot D ( x, x ) = 2 a i \int _ { 0 } ^ { 2 a } T _ { - - } ( x ) d x.$$

## 3.2 The nested commutators

We shall now show that all the nested commutators are proportional to [ G,G ′ ] and find them explicitly. Before we do it, let us use C = [ G,G ′ ] notation to help readability. Proceeding, to get all the nested commutators, note that we only need to evaluate two terms: [ G,C ] and [ G,C ′ ]. The same integrals that appeared above will make appearance here.

First we note that [ G,C ] = [ I , C 2 ], since I 1 is integrated over (2 a, ∞ ) and thus would contain operators spacelike to C . Therefore

$$[ G, C ] = 2 i a \int _ { 0 } ^ { 2 a } d y \int _ { 0 } ^ { 2 a } d x \cdot x \cdot [ T _ { - - } ( x ), T _ { - - } ( y ) ]$$

Again, one can split this into two integrals involving derivatives over x and y , and like in (3.15), (3.16), the terms with ∂D cancel, and we're left with

$$[ G, [ G, G ^ { \prime } ] ] = - 2 a \int _ { 0 } ^ { 2 a } d x \cdot D ( x, x ) = i ^ { 2 } \cdot 2 a \cdot 4 \int _ { 0 } ^ { 2 a } d x \cdot T _ { - - } ( x )$$

$$= 4 i [ G, G ^ { \prime } ].$$

Now let us look at [ G,C ′ ]. One can get G ′ = G G , and from there it follows that

$$[ G ^ { \prime }, C ] = ( 2 i a ) \int _ { 0 } ^ { 2 a } d x \cdot ( 2 a - x ) \int _ { 0 } ^ { 2 a } d y \cdot [ T _ { - - } ( x ), T _ { - - } ( y ) ].$$

which is the same as [ G,C ], except for x → 2 a -x in the integrand. When integrating, this just leads to a minus sign on the term that does not get cancelled, and we get

$$[ G ^ { \prime }, [ G, G ^ { \prime } ] ] = - 4 i [ G, G ^ { \prime } ].$$

Therefore, all the nested commutators are just (4 ) i n ( -1) k [ G,G ′ ] for some n, k .

5 Following this method, one can show that

$$[ H _ { \mathcal { M } }, H _ { \mathcal { N } } ] = - 2 i a \int _ { 2 a } ^ { \infty } T _ { - - } ( x ) d x$$

giving us [ H M , H N ] = -i ( H M -H N ) + iI 2 , which is in stark contrast with [ K M , K N ] = -i ( K M -K N ).

## 3.3 The Zassenhaus formula

The action of half sided translations formally can be written as an infinite product:

$$\exp \left ( i s \mathcal { G } \right ) = \exp [ i s ( G + G ^ { \prime } ) ] = \exp ( i s G ) \exp ( i s G ^ { \prime } ) \cdot e ^ { Z _ { 2 } } e ^ { Z _ { 3 } } e ^ { Z _ { 4 } } \cdots$$

using the Zassenhaus formula [17]. The terms Z , Z , . . . 2 3 involve nested commutators of G and G ′ , and the procedure of finding them is very tedious in general. Although there are some cases where a simplification can be made [24], we will see that our situation doesn't satisfy their conditions, and hence we must compute the Z 's iteratively. Because all the nested commutators are simply proportional to [ G,G ′ ] however, this is a doable task.

To start, let us take A = isG, B = isG ′ ; both A,B are anti-hermitian, and so is [ A,B ]. Because all the Z s ′ commute and are proportional to [ G,G ′ ], we will end up with the form

$$\exp ( i s G ) = \exp ( i s G ) \exp ( i s G ^ { \prime } ) \cdot \exp ( [ G, G ^ { \prime } ] f ( s ) )$$

for some f ( s ). For this operator to be unitary, f ( s ) must obey f ( s ) = f ( s ). As noted earlier, [ G,C ] = -[ G,C ′ ] = 4 iC , thus we can say that [ A,C ] = α = -[ B,C ] for α = -4 . s In this case we find using the recursive formulas [25, 26] that

$$Z _ { n } = - \frac { \cdot C \alpha ^ { n - 1 } } { ( n + 1 )! }.$$

Therefore the resultant series is easily summable, giving us

$$\sum _ { n = 2 } ^ { \infty } Z _ { n } = - C \cdot \frac { ( e ^ { \alpha } - 1 - \alpha ) } { \alpha ^ { 2 } }$$

$$e ^ { i s \mathcal { G } } = e ^ { i s G } e ^ { i s G ^ { \prime } } \exp \left ( [ G, G ^ { \prime } ] \cdot \frac { 1 - 4 s - e ^ { - 4 s } } { 1 6 s ^ { 2 } } \right )$$

where we've substituted back α = -4 , and obtained a real function s f ( s ),

$$f ( s ) = \frac { 1 - 4 s - e ^ { - 4 s } } { 1 6 s ^ { 2 } }$$

ensuring unitarity of e is G .

This expression clearly reflects that if you're looking at action of G on local operators within ⋄ N , they would commute with C and G ′ and therefore only effect would be of G ′ . In the next section, we will see this point in more detail and further study the significance of this result.

## 4 The flow of G = H M -H N

Let us consider a local operator ϕ x, t ( ), where x, t belongs to any of the regions 1, 2, or 3, marked in the figure 4. Explicitly, the regions are

$$R _ { 1 } = \diamond _ { N }, R _ { 2 } = \diamond _ { M } \cap \diamond _ { N }, \quad R _ { 3 } = \{ x ^ { + } > 0, x ^ { - } > 0 \}.$$

Figure 4 . x + &gt; 0 part of Minkowski spacetime divided into three regions R , R , R 1 2 3 .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00164v1-figure-dbf4e650-d129-4c05-a497-8dad89f418fc.jpg)

In this section we will study the action of the operator exp[ isG ] on ϕ x, t ( ), where G = H M -H N , made out of the entanglement Hamiltonians (2.6), (2.7) associated to the algebras M and N (2.5) respectively. As we mentioned, G = I 1 + I 2 , where I 2 is integrated over [0 , 2 a ], and thus has no effect on local operators in R 1 . Hence, as far as the action of G on region 1 is concerned, we will ignore I 2 and focus only on I 1 .

Before we proceed, we need to highlight an important result that will simplify the subsequent calculations enormously. Since ϕ is a scalar field, for a fixed point P with coordinates ( x, t ) and x ± = t ± x ,

$$\phi ( x, t ) = \hat { \phi } ( x ^ { + }, x ^ { - } )$$

where we use ˆ to denote the field in null coordinates. ϕ Further note, translations in x -are generated by P + , giving us

$$\phi ( x ^ { + } + a, x ^ { - } ) = e ^ { i P ^ { - } a } \phi ( x ^ { + }, x ^ { - } ) e ^ { - i P ^ { - } a }$$

$$= \hat { \phi } ( x ^ { + }, x ^ { - } ) + i a [ P ^ { - }, \hat { \phi } ( x ^ { + }, x ^ { - } ) ] + i ^ { 2 } \frac { a ^ { 2 } } { 2 } [ P ^ { - }, [ P ^ { - }, \hat { \phi } ( x ^ { + }, x ^ { - } ) ] ] + \dots \quad ( 4. 2 )$$

$$= \hat { \phi } ( x ^ { + }, x ^ { - } ) + a \partial _ { + } \hat { \phi } ( x ^ { + }, x ^ { - } ) + \frac { a ^ { 2 } } { 2 } \partial _ { + } ^ { 2 } \hat { \phi } ( x ^ { + }, x ^ { - } ) + \dots$$

Now, note a must not depend on x + for this to work. To connect with our problem, let P be ( x, t ), Q be ( x -t, 0), and R be ( x + t, 0). The latter we will use in the next section. Then note that

$$\hat { \phi } ( x _ { Q } ^ { + }, x _ { Q } ^ { - } ) = \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } ) + ( \Delta x ^ { + } ) \cdot \partial _ { + } \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } ) + \frac { ( \Delta x ^ { + } ) ^ { 2 } } { 2 } \cdot \partial _ { + } ^ { 2 } \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } ) + \dots \quad ( 4. 4 )$$

because x -P = x -Q = t -x . On the other hand, note ∆ x + = x + Q -x + P = -2 t does not change with x -Q , because ∆ x + vector is orthogonal to x -Q variations. This is an important point because it allows for an enormous simplification:

$$\partial _ { - } \hat { \phi } ( x _ { Q } ^ { + }, x _ { Q } ^ { - } ) = \partial _ { - } \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } ) + ( \Delta x ^ { + } ) \cdot \partial _ { - } \partial _ { + } \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } ) + \frac { ( \Delta x ^ { + } ) ^ { 2 } } { 2 } \partial _ { - } \partial _ { + } ^ { 2 } \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } ) + \dots$$

Figure 5 . I 2 has no effect on region 1, shaded in sea green, where G is effectively I 1 whose action is same as 2 aP + .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00164v1-figure-bd9495d5-8f22-445b-aca4-734440667007.jpg)

$$= \partial _ { - } \hat { \phi } ( x _ { P } ^ { + }, x _ { P } ^ { - } )$$

where I've used the equation of motion in null coordinates: ∂ -∂ + ϕ = 0 and the commutativity of partial derivatives ∂ + , ∂ -. As a consequence, ∂ -ϕ x ( -t, 0) = ∂ -ϕ x, t ( ). The same analysis can be done in x + direction, and that tells us ∂ + ϕ x ( + t, 0) = ∂ + ϕ x, t ( ).

## 4.1 Flow in Region 1

To understand the flow in this region, let us define

$$\phi ( x, t, s ) = e ^ { i s I _ { 1 } } \phi ( x, t ) e ^ { - i s I _ { 1 } }$$

where I 1 is in (3.13). Now note that T --( x ) = 1 2 ( T 00 ( x ) -T 01 ( x )) = 1 2 ( H ( x ) + P ( x )). This is true for any conformal field theory with vanishing stress tensor trace. In other words,

$$I _ { 1 } = 2 a \int _ { 2 a } ^ { \infty } d x \cdot T _ { - - } ( x ) = 2 a \int _ { 2 a } ^ { \infty } d x \, \frac { 1 } { 2 } ( \mathcal { H } ( x ) + \mathcal { P } ( x ) )$$

which makes it evident that if the range of integration were the whole line, integral would become 2 aP + . As mentioned, this observation alone, in conjunction with causality, should convince the reader that the flow in region 1 generated by I 1 is same as that generated by G .

Let us do an explicit computation now to show this, that will also help us set up the machinery for the more complicated cases of regions 2 and 3. Using the Hadamard Lemma, we can write

$$e ^ { i s I _ { 1 } } \phi ( x, t ) e ^ { - i s I _ { 1 } } = \phi ( x, t ) + i s [ I _ { 1 }, \phi ( x, t ) ] + \frac { ( i s ) ^ { 2 } } { 2 } [ I _ { 1 }, [ I _ { 1 }, \phi ( x, t ) ] ] + \dots.$$

Now note,

$$[ I _ { 1 }, \phi ( x, t ) ] = a \int _ { 2 a } ^ { \infty } d y \, [ ( T _ { 0 0 } - T _ { 0 1 } ), \phi ( x, t ) ].$$

For ϕ x, t ( ) to be in region 1, ⋄ N = { x + &gt; 0 , x -&lt; - } a , by definition, both the delta functions in the commutators (6.4) and (6.5) contribute ordinarily, but because we are dealing with T 00 -T 01 , the integral becomes

$$[ I _ { 1 }, \phi ( x, t ) ] & = - 2 a i \int _ { 2 a } ^ { \infty } d y \cdot \partial _ { - } \phi ( y, 0 ) \delta ( x - t - y ) \\ & \quad = - 2 i a \partial _ { - } \phi ( x - t, 0 ).$$

which proves that

$$\begin{array} { c } \dots \\ \frac { \partial \phi ( x, t, s ) } { \partial s } = \frac { 1 } { i } [ \phi ( x, t ), I _ { 1 } ] = 2 a \partial _ { - } \phi ( x, t ). \end{array}$$

where we have used (4.5). The right side is independent of s , and therefore as long as the point x, t is in region 1, the flow is along the null direction x -; we don't need to compute the higher order terms in the expansion of e isI 1 ϕ x, t e ( ) -isI 1 .

## 4.2 Flow in Region 2

In region 2, R 2 = ⋄ M ∩ ⋄ N , the derivative is

$$\frac { \partial \phi ( x, t, s ) } { \partial s } = i [ I _ { 1 }, \phi ( x, t ) ] + i [ I _ { 2 }, \phi ( x, t ) ].$$

As we make the transition from region 1 to 2, we're losing a part of the effect previously generated by I 1 , while gaining an effect generated by a part of I 2 . Below we will see this explicitly.

To begin the computation, we need to use the results (6.4), (6.5) to write

$$[ T _ { - - } ( y ), \phi ( x, t ) ] = - i \partial _ { - } \phi ( y, 0 ) \delta ( x - t - y ).$$

Note that in region 2, delta function contributes at y = x -t , which must be less than 2 a , and therefore I 1 contributes nothing to the derivative. Therefore

$$\partial _ { s } \phi ( x, t, s ) = i [ I _ { 2 }, \phi ( x, t ) ] = i \int _ { 0 } ^ { 2 a } \, d y \cdot y \cdot [ T _ { - - } ( y ), \phi ( x, t ) ] \\ = + \int _ { 0 } ^ { 2 a } \, d y \cdot y \cdot \partial _ { - } \phi ( y, 0 ) \cdot \delta ( x - t - y ) \\ = ( x - t ) \cdot \partial _ { - } \phi ( x - t, 0 ) = ( x - t ) \partial _ { - } \phi ( x, t ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \, d y \cdot \partial _ { - } \phi ( x, 0 ) \int _ { 0 } ^ { 2 a } \end{cases}$$

where again we have used (4.5). Note that as x -t → 2 a , the boundary of regions R , R 1 2 , ∂ ϕ s is same as (4.10), therefore the flow is continuous across the boundary.

This result would have been very surprising had we not known that all the non-commutativity of [ G,G ′ ], and the ensuing (infinite) Zassenhaus series can be tamed. Ultimately is shows that the effect of non-commutativity is to create an effect of a graded deceleration of the vector field, all the way to zero as one reaches the x = t line, the boundary of ⋄ M . It means that

the local operator localized in region ⋄ M is never able to escape. Mathematically this seems very interesting,

$$e ^ { i s G } \mathcal { M } e ^ { - i s G } \subset \mathcal { M }, \ \ s \in \mathbb { R },$$

because it is in stark contrast to (2.3), which holds only for half of the line, and like mentioned in the discussion that followed, it is impossible to find a G such that (2.3) is true for s ∈ R , which is the distinguishing property of half sided translations from modular flows of M .

## 4.3 Flow in Region 3

In region 3, R 3 = { x + &gt; 0 , x -&gt; 0 , as we can again look back from [ } T --, ϕ ] commutators, the derivative is exactly zero. G operator, in other words, is unable to cause any effect in the region 3, despite it being a region where G has a causal influence.

Here we should mention that because of the symmetry between G and G ′ it is evident that same kind of results can be expected for the flow of G ′ . Therefore we can apply exactly the same analysis with M→N ′ and N → M since M ⊂ N ′ ′ .

## 4.4 General evolution operator

Let us now consider the operator

$$\mathcal { O } = \int _ { a } ^ { b } d x \cdot ( f _ { 0 } ( x ) T _ { 0 0 } ( x, 0 ) + f _ { 1 } ( x ) T _ { 0 1 } ( x, 0 ) )$$

where b &gt; a &gt; 0. Given that our field is conformal, this is the most generic operator one can take for creating flows for local operators. Let us see whether this operator has the capacity to take a local operator outside the region ⋄ M . In other words, let us compute [ O , ϕ ( x, t )]. This is fairly easy now since we've already obtained the tools for it. First let us write down

$$F ( x ) = f _ { 0 } ( x ) T _ { 0 0 } ( x, 0 ) + f _ { 1 } ( x ) T _ { 0 1 } ( x, 0 ),$$

then again using the results (6.4), (6.5), we get

$$[ F ( x ), \phi ( x, t ) ] = i [ f _ { 1 } ( x ) - f _ { 0 } ( x ) ] \partial _ { - } \phi ( y, 0 ) \cdot \delta ( x - t - y ) - i [ f _ { 1 } ( x ) + f _ { 0 } ( x ) ] \partial _ { + } \phi ( y, 0 ) \cdot \delta ( x + t - y ). \\ _ { \ell }$$

To see the meaning of this result, 6 we will take the limit x → t so that we are on the boundary, as we want to see if the operator can take a local operator outside ⋄ M . Well, if x -t = 0, then δ ( -y ) is left, and that means the integral better pass the origin for delta function to click and give possibility of motion along x -. Clearly however, for any f , f 1 0 , this will never happen. On the other hand, there will be generic motion along x + , given by ∂ + ϕ x, t ( ). So, no O will be able to lead to an exit for the local operator. It doesn't matter what a, b are, so long as a &gt; 0. And δ x ( + t -y ) will click if x + t lies in ( a, b ), otherwise it will be zero.

Since (4.15) is the most general operator one could take that is made up of degrees of freedom of system contained in the ⋄ M region, or the algebra M , this result implies that any

6 Post integration one would also have to use (4.5) to connect derivatives at ( x ± t, 0) to ( x, t ).

shouldn't permit the flow of local operator ϕ x, t ( ) outside M . The generality of this result may make one suspect whether it can be derived with just the properties of the von Neumann algebras, however, I am not aware of any such argument, and the proof here is based on the explicit computation of the commutator for the massless scalar field.

## 5 Conclusion

In this work, we have studied the flow of local operators in a 1+1 dimensional conformal field theory, using the massless scalar field as an example. We have shown that for the regions M N , chosen in the Minkowski spacetime, the effect of the half-sided translation generator G can be understood in terms of the entanglement Hamiltonians H M , H N , H M ′ , H N ′ . The non-commutativity of [ H M , H N ′ ] creates the central challenge in splitting the effect of G in two parts, which introduces the need for the infinite Zassenhaus product. Here we have been able to compute this product exactly.

Further, we have shown that the flow generated by the entanglement Hamiltonian difference H M -H N is unable to take a local operator outside the region ⋄ M , which is the region of spacetime accessible to the algebra M . This result is in contrast to the half sided translations, which can take a local operator outside the region ⋄ M . We have also shown that the flow generated by H M -H N is continuous across the boundaries of the regions ⋄ M , ⋄ N , and that the flow is exactly zero outside the region ⋄ M , even though causally H M -H N is permitted to have an influence there. We have generalized this result to a generic operator O made out of M 's degrees of freedom, and have shown that it cannot take a local operator outside the region ⋄ M .

## Application to AdS/CFT and the island formula

In the work [27], the authors considered a thermal bath in equilibrium with an AdS 2 black hole, which lead to unbounded growth of entanglement entropy of outgoing radiation, leading to a Hawking like paradox. The unitarity was restored using the island formula [4], which concluded that after the Page time, the bath degrees of freedom can access the black hole interior.

The island formula asserts that before the Page time, the left and right CFTs alone are enough to reconstruct the black hole interior while after the Page time, the bath degrees of freedom are needed to the reconstruction. In [4], the authors showed that a half-sided translation protocol using the left and right CFTs succeeds to do interior reconstruction before Page time, but fails to do so after the Page time.

In the same spirit, the island formula implies that before the Page time the bath degrees of freedom are not needed, This part should follow easily by using the methods in this paper. For instance, by considering the algebras M N , shown in the figure 6 depicting AdS 2 in equlibrium with the left and right baths, and asking the question whether the bath operators can be brought into the AdS region is exactly the problem we've studied in this paper, because bath is a flat spacetime, and the field theory considered in the work is also conformal.

Figure 6 . The algebra N is shown in blue, and the algebra M is N together with the operators in the red strip. The grey regions are thermal baths.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00164v1-figure-b046524f-0d5b-41c8-bab0-91d44a99768b.jpg)

We will try to make this above connection with island paradigm more explicit in a future work. We also suspect that several of these features may extend beyond the massless scalar, which is an interesting direction for us.

## Acknowledgements

I'd like to thank Budhaditya Bhattacharjee and Adarsh Sudhakar for helpful discussions.

## 6 Appendix

## 6.1 Unequal time commutators for massless scalar field

For our calculations, we will need the commutators

$$[ T _ { 0 0 } ( y, 0 ), \phi ( x, t ) ], \ \ [ T _ { 0 0 } ( y, 0 ), \pi ( x, t ) ]$$

which we'll compute using the equal time commutation relations of the field operators, and the equations of motion. Below we use ∂ ϕ y, y ( 0) ≡ χ y, ( 0).

$$[ T _ { 0 0 } ( y, 0 ), \phi ( x, t ) ] = \frac { 1 } { 2 } [ \dot { \phi } ( y, 0 ) ^ { 2 } + \partial _ { y } \phi ( y, 0 ) ^ { 2 }, \phi ( x, t ) ]$$

$$= \frac { 1 } { 2 } \{ \pi ( y, 0 ), [ \pi ( y, 0 ), \phi ( x, t ) ] \} + \frac { 1 } { 2 } \{ \chi ( y, 0 ), [ \chi ( y, 0 ), \phi ( x, t ) ] \}$$

Now, let us write

$$\phi ( x, t ) = \exp ( i H t ) \phi ( x, 0 ) \exp ( - i H t ). \\ = \phi ( x, 0 ) + i t [ H, \phi ( x, 0 ) ] + \frac { t ^ { 2 } } { 2 } [ H, [ H, \phi ( x, 0 ) ] ] + \dots$$

$$= \phi ( x, 0 ) + i t [ H, \phi ( x, 0 ) ] + \frac { t ^ { 2 } } { 2 } [ H, [ H, \phi ( x, 0 ) ] ] + \dots$$

using the Hadamard's lemma. Here however we note that from Heisenberg equation of motion, [ H,ϕ x, ( 0)] = -iπ x, ( 0), and [ H,π x, ( 0)] = -i∂ 2 t ϕ x, ( 0), and so on, which makes this simply a Taylor series expansion, so that we can write

$$[ \pi ( y, 0 ), \phi ( x, t ) ] = \sum _ { k } \frac { t ^ { k } } { k! } \left [ \pi ( y, 0 ), \partial _ { t } ^ { k } \phi ( x, 0 ) \right ]$$

This we will find using the equation of motion ∂ ϕ 2 x = ∂ π t = ∂ ϕ 2 t . It is easy to see that k = 0 gives -iδ ( x -y ). Then k = 1 makes it a commutator between two π ' s, and we get 0. Then k = 2 gives ∂ ϕ 2 t which equals ∂ ϕ 2 x and we can bring ∂ 2 x outside commutator, and so on, to get

$$( \nu _ { t } \nu _ { \nu } \colon \infty \colon \infty _ { x } \nu _ { \nu } \colon \infty \colon \infty _ { x } \nu _ { \nu } \colon \infty \colon \infty _ { x } \nu _ { \nu } \\ [ \pi ( y, 0 ), \phi ( x, t ) ] & = \sum _ { k = 0 } ^ { \infty } \frac { t ^ { 2 k } } { ( 2 k )! } \partial _ { x } ^ { 2 k } \left [ \pi ( y, 0 ), \phi ( x, 0 ) \right ] & & ( 6. 1 ) \\ & = - i \sum _ { k = 0 } ^ { \infty } \frac { t ^ { 2 k } } { ( 2 k )! } \partial _ { x } ^ { 2 k } \delta ( y - x ) \\ & = - i \cosh ( t \partial _ { x } ) ( \delta ( x - y ) ) \\.. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

Now spending a few minutes staring at it, one may think perhaps we can write it as some δ x ( + f -y ) because it does look like some Taylor series. Well, kind of; we can write it as sum of two Taylor expansions:

$$[ \pi ( y, 0 ), \phi ( x, t ) ] = - \frac { i } { 2 } ( \delta ( x + t - y ) + \delta ( x - t - y ) )$$

The opposite signs of t lead to only even terms, which we can divide by 2, to get our answer. Likewise, a similar analysis for χ term yields sinh( t∂ x ) acting on the delta function, giving us

$$[ \chi ( y, 0 ), \phi ( x, t ) ] = - \frac { i } { 2 } ( \delta ( x + t - y ) - \delta ( x - t - y ) )$$

which only picks up odd terms from the full expansion. Thus

$$[ T _ { 0 0 } ( y, 0 ), \phi ( x, t ) ] = - i \partial _ { + } \phi ( y, 0 ) \cdot \delta ( x + t - y ) - i \partial _ { - } \phi ( y, 0 ) \cdot \delta ( x - t - y ). \quad \ ( 6. 4 )$$

Likewise we can compute [ T 00 ( y, 0) , π ( x, t )], if we wish, which may be needed for computing nested commutators of the form [ H, H,ϕ [ ]]. However we will not need them. The only other commutator we need would be [ T 01 ( y, 0) , ϕ ( x, t )], which simplifies to

$$[ T _ { 0 1 } ( y, 0 ), \phi ( x, t ) ] = \partial _ { y } \phi ( y, 0 ) \cdot [ \pi ( y, 0 ), \phi ( x, t ) ] + \pi ( y, 0 ) \cdot [ \partial _ { y } \phi ( y, 0 ), \phi ( x, t ) ]$$

and by using (6.2) and (6.3) can be written as

$$[ T _ { 0 1 } ( y, 0 ), \phi ( x, t ) ] = - i \partial _ { + } \phi ( y, 0 ) \cdot \delta ( x + t - y ) + i \partial _ { - } \phi ( y, 0 ) \cdot \delta ( x - t - y ). \quad \ \ ( 6. 5 )$$

Note that compared to (6.4), the only difference is a sign for ∂ -ϕ term.

## 6.2 Simplifying H M -H N for Minkowski spacetime

Note that

$$H _ { \mathcal { N } } = \int _ { a } ^ { \infty } ( x - a ) T _ { 0 0 } ( x, - a ) d x$$

since its a CFT, T 00 ( x, -a ) = T ++ ( x -a ) + T --( x + ), so a

$$H _ { \mathcal { N } } = \int _ { a } ^ { \infty } ( x - a ) \left ( T _ { + + } ( x - a ) + T _ { - - } ( x + a ) \right ) d x$$

$$= \int _ { a } ^ { \infty } ( x - a ) T _ { + + } ( x - a ) d x + \int _ { a } ^ { \infty } ( x - a ) T _ { - - } ( x + a ) d x$$

$$= \int _ { 0 } ^ { \infty } x T _ { + + } ( x ) d x + \int _ { 2 a } ^ { \infty } ( x - 2 a ) T _ { - - } ( x ) d x$$

$$= \int _ { 0 } ^ { \infty } x T _ { + + } ( x ) d x + \int _ { 0 } ^ { \infty } ( x - 2 a ) T _ { - - } ( x ) d x - \int _ { 0 } ^ { 2 a } ( x - 2 a ) T _ { - - } ( x ) d x$$

$$= \int _ { 0 } ^ { \infty } x T _ { 0 0 } ( x ) d x - 2 a \int _ { 0 } ^ { \infty } T _ { - - } ( x ) d x - \int _ { 0 } ^ { 2 a } ( x - 2 a ) T _ { - - } ( x ) d x$$

where we use T 00 ( x ) = T ++ ( x ) + T --( x ), then note that second and third integrals combine to form

$$H _ { \mathcal { N } } = H _ { \mathcal { M } } - 2 a \int _ { 2 a } ^ { \infty } T _ { - - } ( x ) d x - \int _ { 0 } ^ { 2 a } x \cdot T _ { - - } ( x ) d x$$

so

$$H _ { \mathcal { M } } - H _ { \mathcal { N } } = 2 a \int _ { 2 a } ^ { \infty } T _ { - - } ( x ) d x + \int _ { 0 } ^ { 2 a } x \cdot T _ { - - } ( x ) d x$$

Similarly one can get H N ′ -H M ′ and that way verify that G = aP + .

## References

- [1] H.J. Borchers, The cpt-theorem in two-dimensional theories of local observables , Communications in Mathematical Physics 143 (1992) 315.
- [2] S. Leutheusser and H. Liu, Emergent times in holographic duality , 2112.12156 .
- [3] S. Leutheusser and H. Liu, Causal connectability between quantum systems and the black hole interior in holographic duality , 2110.05497 .
- [4] K. Jalan and R. Pius, Half-sided Translations and Islands , 2312.11085 .
- [5] C. Krishnan and V. Mohan, State-independent black hole interiors from the crossed product , 2310.05912v4 .
- [6] Y. Chen, V. Ivo and J. Maldacena, Comments on the double cone wormhole , 2310.11617v2 .
- [7] K. Jalan, R. Pius and M. Ramchander, Half-sided translations and the information recovery from radiation , 2404.00773 .
- [8] E. Witten, Gravity and the crossed product , 2112.12828v5 .

- [9] T. Faulkner and A.J. Speranza, Gravitational algebras and the generalized second law , 2405.00847v1 .
- [10] R. Haag, Local Quantum Physics , Theoretical and Mathematical Physics, Springer, Berlin (1996), 10.1007/978-3-642-61458-3.
- [11] T. Faulkner, A. Lewkowycz and J. Maldacena, Quantum corrections to holographic entanglement entropy , 1307.2892v2 .
- [12] T. Faulkner and A. Lewkowycz, Bulk locality from modular flow , 1704.05464v3 .
- [13] D.L. Jafferis, A. Lewkowycz, J. Maldacena and S.J. Suh, Relative entropy equals bulk relative entropy , Journal of High Energy Physics 2016 (2016) .
- [14] N. Callebaut, The gravitational dynamics of kinematic space , JHEP 02 (2019) 153 [ 1808.10431 ].
- [15] J. Cardy and E. Tonni, Entanglement hamiltonians in two-dimensional conformal field theory , J. Stat. Mech. 1612 (2016) 123103 [ 1608.01283 ].
- [16] E. Witten, APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory , Rev. Mod. Phys. 90 (2018) 045003 [ 1803.04993 ].
- [17] T. Kimura, Explicit description of the zassenhaus formula , Progress of Theoretical and Experimental Physics 2017 (2017) .
- [18] H.J. Borchers, On modular inclusion and spectrum condition , Letters in Mathematical Physics 27 (1993) 311.
- [19] H.-W. Wiesbrock, Half-sided modular inclusions of von-Neumann-algebras , Communications in Mathematical Physics 157 (1993) 83 .
- [20] H.J. Borchers, Half-sided modular inclusion and the construction of the poincar´ group e , Communications in Mathematical Physics 179 (1996) 703.
- [21] H.J. Borchers, Half-sided translations and tye type of von neumann algebras , Letters in Mathematical Physics 44 (1998) 283.
- [22] H.J. Borchers and J. Yngvason, Modular groups of quantum fields in thermal states , Journal of Mathematical Physics 40 (1999) 601-624.
- [23] H.J. Borchers, On the lattice of subalgebras associated with the principle of half-sided modular inclusion , Letters in Mathematical Physics 40 (1997) 371.
- [24] L. Dupays and J.-C. Pain, Closed forms of the zassenhaus formula , 2107.01204v3 .
- [25] C. Quesne, Disentangling q-exponentials: A general approach , International Journal of Theoretical Physics 43 (2004) 545-559.
- [26] M. Suzuki, Decomposition formulas of exponential operators and Lie exponentials with some applications to quantum mechanics and statistical physics , Journal of Mathematical Physics 26 (1985) 601 [ https://pubs.aip.org/aip/jmp/article-pdf/26/4/601/19120226/601 1 online.pdf ].
- [27] A. Almheiri, R. Mahajan and J. Maldacena, Islands outside the horizon , 1910.11077 .
Manish Ramchander
Half-sided translations broken to pieces
We dissect the half-sided translations for 1+1 D massless scalar in Minkowski
spacetime, generated by $\mathcal{G}$, into non-commutative operations built
using the entanglement Hamiltonians of the underlying algebras. Explicitly, we
define $G, G'$ such that $\mathcal{G} = G + G'$ with $[G, G']\neq 0$. This
non-commutativity prevents a clean split of $\exp(is \mathcal{G})$, and
requires the Zassenhaus product formula. We compute all the infinite terms in
the product explicitly, and show $\exp(is \mathcal{G}) = \exp( i s G ) \exp( i
s G' ) \exp( f(s) [G, G'] )$ for a real function $f(s)$. We study the
consequences of this result through flow of local operators under $G$ and $G'$,
and show that while in regions where $G'$ has no causal influence, the action
of $G$ is indistinguishable from that of $\mathcal{G}$; in the region where
both $G$ and $G'$ together create $\mathcal{G}$, the action of $G$ is
remarkably different. We conclude by discussing how our results can be applied
to the island paradigm.