← Back to article

Equation 11 · The Bit Comes Back Before the Bearing

What does this equation mean?

V Uin(g)  =  [Urad(g)⊗Urem(g)] V.V\,U_{\mathrm{in}}(g) \;=\; \big[U_{\mathrm{rad}}(g)\otimes U_{\mathrm{rem}}(g)\big]\,V.

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operationsbig[U_rad(g)otimes U_rem(g)big]V
Result or conditionVU_in(g)
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

VV

Symbol V

V is part of the quantity the equation computes from the expression on the right.

Understand this part →

UinU_{\mathrm{in}}

Symbol U_in

UiU_in is part of the quantity the equation computes from the expression on the right.

Understand this part →

gg

Symbol g

an angle: dimensionless, periodic, and physically read as “which way the compass points” relative to the hole’s spin axis.

Understand this part →

UradU_{\mathrm{rad}}

Symbol U_rad

UrU_rad is an input to the expression that computes the quantity on the left.

Understand this part →

UremU_{\mathrm{rem}}

Symbol U_rem

UrU_rem is an input to the expression that computes the quantity on the left.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

The hole’s evaporation is modeled, as it is throughout this line of work, as an isometry V from the interior-plus-infalling-system Hilbert space to a radiation-plus-remaining-interior Hilbert space. What makes the conservation law bite is that V must commute with the group action on both sides: V Uin(g)  =  [Urad(g)⊗Urem(g)] VV\,U_{\mathrm{in}}(g) \;=\; \big[U_{\mathrm{rad}}(g)\otimes U_{\mathrm{rem}}(g)\big]\,V. Every symbol here is a unitary representation of the same rotation on a different Hilbert space — dimensionless linear operators, none of them observables in their own right. The equation says the hole’s internal dynamics cannot tell which way “up” was chosen before the compass fell in: rotate the input, and the output rotates the same way, split between radiation and remainder.…
Read the full surrounding passage
The hole’s evaporation is modeled, as it is throughout this line of work, as an isometry V from the interior-plus-infalling-system Hilbert space to a radiation-plus-remaining-interior Hilbert space. What makes the conservation law bite is that V must commute with the group action on both sides: V Uin(g)  =  [Urad(g)⊗Urem(g)] VV\,U_{\mathrm{in}}(g) \;=\; \big[U_{\mathrm{rad}}(g)\otimes U_{\mathrm{rem}}(g)\big]\,V. Every symbol here is a unitary representation of the same rotation on a different Hilbert space — dimensionless linear operators, none of them observables in their own right. The equation says the hole’s internal dynamics cannot tell which way “up” was chosen before the compass fell in: rotate the input, and the output rotates the same way, split between radiation and remainder. This is not an assumption invented for this article. It is simply what “the hole conserves angular momentum” means once evaporation is written as a unitary process, and it is the exact setting Nakata, Wakakuwa, and Koashi analyzed when they asked how a global symmetry constraint changes Hayden-Preskill recovery [ 8 ] .

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to The Bit Comes Back Before the Bearing

See this formula across 1 published context →

Browse the mathematical compendium →