Okamura–Ozawa Normal Extension

• Okamura–Ozawa normal extension is a framework that extends outer unit normals to unit gradient fields on hypersurfaces via unique eikonal boundary value solutions.
• It provides an L²-holomorphic extension paradigm using convex analysis, weak geodesics, and the Berndtsson–Lempert method to achieve sharp weighted norm control.
• It also underpins the normal extension property in operator-algebraic contexts, enabling the integration and composition of quantum instruments through normal completely positive extensions.

Okamura–Ozawa normal extension is not a single universally fixed notion, but a family of extension constructions that appear in several technically distinct contexts. In geometric analysis, it denotes the extension of the outer unit normal field of a hypersurface to a neighborhood as a unit gradient field, equivalently as the gradient of a signed-distance-type solution of the eikonal equation (Duduchava et al., 2018). In the $L^2$-extension literature surrounding Ohsawa–Takegoshi, it names a broader normal-extension paradigm for extending holomorphic data with weighted $L^2$ control; recent work shows both sharp positive results under structured normal weights and a negative result at full generality (Nguyen et al., 2021, Guan, 2018). In operator-algebraic treatments of quantum instruments, the Okamura–Ozawa normal extension property (NEP) is the existence of a normal completely positive extension from a measurable outcome space to a von Neumann tensor product, a device that enables integration and composition of classically controlled quantum instruments (Booth et al., 26 Jun 2026).

1. Geometric formulation on hypersurfaces

In the geometric setting, the problem is to extend the outer unit normal vector field

$v:S\to \mathbb R^n$

from a hypersurface $S\subset \mathbb R^n$ to a neighborhood in such a way that the extension is not merely unit-length but also a gradient field (Duduchava et al., 2018). The hypersurface may be described either by local parametrizations or implicitly as

$S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$

with $\Psi_S\in C^k$ and $\nabla\Psi_S\neq 0$ on $S$, in which case the unit normal field is

$$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$

The extension singled out in that paper is called a proper extension. A vector field

$N\in C^1(\Omega_S;\mathbb R^n)$

on a neighborhood $L^2$0 of $L^2$1 is proper if it satisfies three conditions: $L^2$2 The symmetry condition means that the Jacobian of $L^2$3 is symmetric, hence $L^2$4 is locally a gradient field. Accordingly, the construction is also described as a unit gradient field extension (Duduchava et al., 2018).

The geometric prescription is normal-ray transport. For $L^2$5 and $L^2$6, one moves along the normal line

$L^2$7

and defines the extension by

$L^2$8

Equivalently, one defines a potential by

$L^2$9

This makes $v:S\to \mathbb R^n$0 a signed normal-distance-type function, its level sets parallel hypersurfaces, and its gradient the transported unit normal field (Duduchava et al., 2018).

2. Eikonal characterization, existence, and uniqueness

The geometric Okamura–Ozawa extension is characterized by an eikonal boundary value problem. The paper proves that if

$v:S\to \mathbb R^n$1

then the function defined near $v:S\to \mathbb R^n$2 by

$v:S\to \mathbb R^n$3

is the unique solution of

$v:S\to \mathbb R^n$4

and its gradient satisfies

$v:S\to \mathbb R^n$5

Thus $v:S\to \mathbb R^n$6 is the unique proper extension of the unit normal field to a neighborhood of $v:S\to \mathbb R^n$7 (Duduchava et al., 2018).

The uniqueness argument proceeds through integral curves. If $v:S\to \mathbb R^n$8 is any proper extension and $v:S\to \mathbb R^n$9 is an integral curve,

$S\subset \mathbb R^n$0

then the key identity

$S\subset \mathbb R^n$1

implies that $S\subset \mathbb R^n$2 is constant along its own flow lines. Since $S\subset \mathbb R^n$3, the flow line must be the straight normal ray

$S\subset \mathbb R^n$4

and therefore any proper extension must satisfy

$S\subset \mathbb R^n$5

This forces the normal-ray formula and hence uniqueness (Duduchava et al., 2018).

The existence proof is likewise geometric. The level sets

$S\subset \mathbb R^n$6

are the hypersurfaces obtained by shifting $S\subset \mathbb R^n$7 by distance $S\subset \mathbb R^n$8 along the normal direction,

$S\subset \mathbb R^n$9

The construction shows that $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$0 is orthogonal to the tangent space of $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$1 at $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$2, from which one concludes that $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$3 is parallel to $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$4; because $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$5 increases exactly by $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$6 along the ray, the gradient has unit length, yielding

$S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$7

The Okamura–Ozawa extension is therefore canonical, local, and rigid (Duduchava et al., 2018).

3. The $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$8-holomorphic extension paradigm and its limits

Within the Ohsawa–Takegoshi circle, the Okamura–Ozawa normal extension is a broader extension philosophy: holomorphic data prescribed on a normal slice or at a point are to be extended globally with weighted $S=\{x\in \mathbb R^n:\Psi_S(x)=0\},$9 control. A central question, posed by Ohsawa in one-dimensional form, asks: given a subharmonic function $\Psi_S\in C^k$0 on $\Psi_S\in C^k$1 such that

$\Psi_S\in C^k$2

and any subharmonic function $\Psi_S\in C^k$3 on $\Psi_S\in C^k$4, does there always exist a holomorphic function $\Psi_S\in C^k$5 on $\Psi_S\in C^k$6 such that

$\Psi_S\in C^k$7

Qi’an Guan proved that the answer is negative in general (Guan, 2018).

The counterexample is explicit and one-dimensional. Guan constructs subharmonic functions $\Psi_S\in C^k$8 and $\Psi_S\in C^k$9 on $\nabla\Psi_S\neq 0$0 such that

$\nabla\Psi_S\neq 0$1

but for every holomorphic function $\nabla\Psi_S\neq 0$2 on $\nabla\Psi_S\neq 0$3 with $\nabla\Psi_S\neq 0$4,

$\nabla\Psi_S\neq 0$5

The proof combines a singularity at $\nabla\Psi_S\neq 0$6 with growth control at infinity. Near $\nabla\Psi_S\neq 0$7, the local behavior of the weight forces $\nabla\Psi_S\neq 0$8. At infinity, the weighted $\nabla\Psi_S\neq 0$9 condition implies that $S$0 is a polynomial; the degree estimate then forces $S$1, hence $S$2 is constant. This contradicts $S$3 and $S$4 (Guan, 2018).

This result identifies a precise limitation. Mere integrability of $S$5 is not sufficient to guarantee a global holomorphic extension with the prescribed weighted $S$6 bound. The paper also records that Sha Yao had obtained a positive answer in a special case when $S$7 depends only on $S$8, using the main result of Guan–Zhou, so the obstruction is tied to the full generality of arbitrary subharmonic weights rather than to the extension mechanism itself (Guan, 2018).

4. Structured positive results via weak geodesics and the Berndtsson–Lempert method

A sharp positive theorem is obtained in the setting of a pseudoconvex domain

$S$9

with coordinates split as $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$0, where

$$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$1

If $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$2 is plurisubharmonic on $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$3, $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$4, and $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$5 is convex and increasing, with

$$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$6

then there exists an extension $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$7 such that $$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$8 and

$$v(x)=\frac{\nabla \Psi_S(x)}{|\nabla \Psi_S(x)|},\qquad x\in S.$$9

The paper states that Theorem 4.1 and Theorem 0.1 in Ohsawa’s 2017 work follow as special cases of this result (Nguyen et al., 2021).

The proof uses the Berndtsson–Lempert method with a new family of plurisubharmonic weights built from convex analysis. In the multi-normal-variable case, the relevant family is

$N\in C^1(\Omega_S;\mathbb R^n)$0

while the paper also reviews the classical cutoff weight

$N\in C^1(\Omega_S;\mathbb R^n)$1

The novelty is that the new family is constructed through the Legendre–Fenchel transform and weak geodesics for toric plurisubharmonic functions (Nguyen et al., 2021).

For a toric plurisubharmonic function

$N\in C^1(\Omega_S;\mathbb R^n)$2

the weak-geodesic condition is characterized by linear interpolation of the Legendre–Fenchel transforms: $N\in C^1(\Omega_S;\mathbb R^n)$3 This makes it possible to construct an auxiliary weight adapted to the normal variables and then run the Berndtsson–Lempert convexity argument. The paper concludes that Ohsawa’s question in Remark 4.1 of the 2017 paper has an affirmative answer: the Berndtsson–Lempert method can indeed produce Ohsawa–Takegoshi type estimates in this more general normal-extension setting (Nguyen et al., 2021).

5. The normal extension property for quantum instruments

In operator algebra and quantum probability, the Okamura–Ozawa normal extension property is a structural condition on a quantum instrument in the Heisenberg picture. For W$N\in C^1(\Omega_S;\mathbb R^n)$4-algebras $N\in C^1(\Omega_S;\mathbb R^n)$5 and a measurable space $N\in C^1(\Omega_S;\mathbb R^n)$6, an instrument is a map

$N\in C^1(\Omega_S;\mathbb R^n)$7

such that $N\in C^1(\Omega_S;\mathbb R^n)$8, $N\in C^1(\Omega_S;\mathbb R^n)$9, and for pairwise disjoint $L^2$00, the value

$L^2$01

is the ultraweak sum of the $L^2$02 (Booth et al., 26 Jun 2026).

The instrument $L^2$03 has the NEP if there exists a finite measure $L^2$04 on $L^2$05 and a normal completely positive unital map

$L^2$06

such that

$L^2$07

for all measurable $L^2$08 and $L^2$09. This upgrades a set-indexed CP-valued measure to a normal CP map on a von Neumann tensor product. The property is not automatic and is hard to check in general; the paper notes that it is known to hold for instruments with atomic codomain, while some natural examples, including sharp measurements on $L^2$10, can fail it (Booth et al., 26 Jun 2026).

The NEP is the analytic input for defining a noncommutative integral. If $L^2$11 is bounded and ultraweakly measurable, it determines a unique element

$L^2$12

characterized by

$L^2$13

For an NEP instrument $L^2$14, one then defines

$L^2$15

For a measurable function $L^2$16, the integral is defined pointwise by

$L^2$17

The paper proves that this integral preserves normal complete positivity and subunitality, recovers the expected finite formula in the discrete case, supplies the multiplication of a monad of NEP quantum instruments, and yields the identification of quantum Markov kernels with the Kleisli morphisms of that monad (Booth et al., 26 Jun 2026).

6. Extension on normal-crossing geometries and broader usage

A related extension theorem appears in the real-analytic category. For a compact $L^2$18 manifold $L^2$19 and finitely many regular $L^2$20 submanifolds $L^2$21 of $L^2$22, each closed in $L^2$23, such that the union of the $L^2$24 has only normal crossings, every continuous function on the union that is of class $L^2$25 on each $L^2$26 extends to a $L^2$27 function on $L^2$28. The proof uses Cartan Theorems A and B (Tanabe, 2023).

This result is not presented with the same formal definition as the hypersurface construction or the operator-algebraic NEP, but it exhibits the same extension pattern: singular or stratified geometric data are extended to ambient analytic objects under a normality condition on the geometry. A plausible implication is that, across these literatures, “normal extension” functions less as the name of one theorem than as a technical paradigm in which normal directions, normal slices, normal crossings, or normality in the von Neumann sense provide the structure needed for extension.

The surveyed literature also shows that no universal extension principle should be expected. In the $L^2$29-holomorphic setting, arbitrary subharmonic weights already produce counterexamples (Guan, 2018); in the operator-algebraic setting, the NEP can fail for natural instruments (Booth et al., 26 Jun 2026). The significance of the Okamura–Ozawa normal extension therefore lies not in unrestricted extendability, but in identifying the precise geometric, analytic, or operator-theoretic hypotheses under which extension with controlled structure is possible.