Operator Dilation Schemes

• Operator dilation schemes are constructions that recast complex operators as compressions or factorizations of structured models on larger spaces.
• They unify various dilation types—including unitary, isometric, and normal dilations—across Hilbert, Banach, and operator-algebraic settings while preserving key identities.
• These schemes offer explicit model constructions, such as block and shift dilations, and extend to multivariable, spectral, and quantum simulation applications.

Operator dilation schemes are constructions that realize an operator, an operator tuple, a completely positive map, or an operator-valued measure as the compression, factorization, or conditional expectation of a more rigid object acting on a larger space. In the Hilbert-space paradigm the dilating object is typically unitary, isometric, or normal; in Banach-space, operator-system, and tracial von Neumann algebra settings it may instead be an invertible isometry, a $^*$-representation, a projection-valued measure, or a trace-preserving automorphism. The unifying purpose is to replace a difficult operator by a structured model while preserving powers, products, or functional calculus identities (Shalit, 2020, Fackler et al., 2017, Merdy et al., 25 Feb 2025).

1. Compression identities and model classes

At the most basic level, if $H\subseteq K$ and $U\in B(K)$, then $T\in B(H)$ is a compression of $U$ when

$T=P_H\,U|_H.$

A genuine power dilation requires compatibility of all powers,

$T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$

rather than a single compression identity. In multivariable form, for a commuting tuple $T=(T_1,\dots,T_d)$, one asks for a tuple $U=(U_1,\dots,U_d)$ such that

$$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$

for all $H\subseteq K$0 (Shalit, 2020).

A Banach-space dilation replaces orthogonal compression by a pair of contractions $H\subseteq K$1 and $H\subseteq K$2, together with an invertible linear isometry $H\subseteq K$3, satisfying

$H\subseteq K$4

The simultaneous variant requires a single ambient space and a family $H\subseteq K$5 such that

$H\subseteq K$6

for arbitrary finite products (Fackler et al., 2017).

For commuting tuples subject to a spectral constraint, a normal $H\subseteq K$7-dilation of $H\subseteq K$8 means that there exist $H\subseteq K$9 and a commuting normal tuple $U\in B(K)$0 with $U\in B(K)$1 such that

$U\in B(K)$2

for every polynomial $U\in B(K)$3. The finite-degree version only requires this identity for polynomials of bounded total degree (Cohen, 2015).

In tracial von Neumann algebra language, an operator $U\in B(K)$4 is absolutely dilatable if there exist another tracial von Neumann algebra $U\in B(K)$5, a normal unital trace-preserving $U\in B(K)$6-homomorphism $U\in B(K)$7, a trace-preserving $U\in B(K)$8-automorphism $U\in B(K)$9, and the associated conditional expectation $T\in B(H)$0 such that

$T\in B(H)$1

This is a power-dilation scheme in which the dilating dynamics is deterministic upstairs and the original dynamics is recovered by conditional expectation downstairs (Merdy et al., 25 Feb 2025).

Minimality is scheme-dependent. For the classical Sz.-Nagy unitary dilation, minimality is

$T\in B(H)$2

and the minimal unitary dilation is unique up to isomorphism (Hu et al., 2023). For $T\in B(H)$3-isometric block dilations, minimality is expressed by

$T\in B(H)$4

This suggests that operator dilation schemes are best classified by the identities they preserve and by the structural class of the dilating object, rather than by any single canonical ambient construction (Buchała, 9 Jul 2025).

2. Classical Hilbert-space constructions and shift-type models

The classical single-operator theory begins with explicit block constructions. For a contraction $T\in B(H)$5, Halmos’ unitary block matrix

$T\in B(H)$6

shows that every contraction is a compression of a unitary. Sz.-Nagy’s theorem strengthens this to a genuine power dilation: $T\in B(H)$7 and the minimal isometric dilation serves as an intermediate model. The Wold decomposition then splits an isometry into a unilateral-shift part and a unitary part (Shalit, 2020).

Finite-order versions are equally important. Egerváry’s finite-dimensional theorem states that for a contraction $T\in B(H)$8 on finite-dimensional $T\in B(H)$9 and $U$0, there is a finite-dimensional $U$1 and a unitary $U$2 such that

$U$3

for all polynomials $U$4 of degree at most $U$5 (Hartz et al., 2019).

A different shift-type scheme appears in $U$6-isometric dilation theory. If $U$7 is expansive and $U$8-concave, then it has an $U$9-isometric dilation $T=P_H\,U|_H.$0 on

$T=P_H\,U|_H.$1

with block form

$T=P_H\,U|_H.$2

where $T=P_H\,U|_H.$3 is nonnegative, the $T=P_H\,U|_H.$4 are positive and invertible, $T=P_H\,U|_H.$5, and

$T=P_H\,U|_H.$6

For $T=P_H\,U|_H.$7, the expansivity hypothesis is unnecessary. The resulting dilation is minimal, but minimal $T=P_H\,U|_H.$8-isometric dilations need not be isomorphic (Buchała, 9 Jul 2025).

These block and shift models remain the standard templates for more elaborate multivariable constructions. A plausible implication is that many modern dilation schemes are variations on two recurring devices: defect-space enlargement and weighted-shift propagation.

3. Spectral-set, boundary, and domain-based multivariable schemes

For commuting matrices, finite-dimensional normal dilation theory admits an exact finite-degree criterion. If $T=P_H\,U|_H.$9 acts on finite-dimensional $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$0 and $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$1 is compact, then the following are equivalent: $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$2 has a normal $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$3-dilation, and for every $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$4 there exists a finite-dimensional normal $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$5-$T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$6-dilation matching all polynomials of total degree at most $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$7 (Cohen, 2015). The proof passes from a spectral measure $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$8 to a POVM $T^n=P_H\,U^n|_H \qquad (n=0,1,2,\dots),$9, discretizes $T=(T_1,\dots,T_d)$0 by an operator-valued cubature theorem, and then applies Naimark’s dilation theorem. This is an approximate-to-exact principle specific to the finite-dimensional setting.

The symmetrized bidisk furnishes an explicit distinguished-boundary scheme. For a $T=(T_1,\dots,T_d)$1-contraction $T=(T_1,\dots,T_d)$2, there exist unique fundamental operators $T=(T_1,\dots,T_d)$3 and $T=(T_1,\dots,T_d)$4 satisfying

$T=(T_1,\dots,T_d)$5

Using these, one constructs an explicit $T=(T_1,\dots,T_d)$6-unitary dilation $T=(T_1,\dots,T_d)$7 on

$T=(T_1,\dots,T_d)$8

where $T=(T_1,\dots,T_d)$9 is the Schäffer minimal unitary dilation of $U=(U_1,\dots,U_d)$0, $U=(U_1,\dots,U_d)$1 is given by a block-operator formula, and

$U=(U_1,\dots,U_d)$2

This dilation is minimal and unique under a suitable condition (Bhattacharyya et al., 2013). A closely related construction shows that the dilation space need be no larger than the classical minimal unitary dilation space of $U=(U_1,\dots,U_d)$3, namely

$U=(U_1,\dots,U_d)$4

and obtains a concrete Sz.-Nagy-type $U=(U_1,\dots,U_d)$5-unitary dilation $U=(U_1,\dots,U_d)$6 with

$U=(U_1,\dots,U_d)$7

for all $U=(U_1,\dots,U_d)$8 (Pal, 2013).

For tetrablock contractions $U=(U_1,\dots,U_d)$9, the basic data are the fundamental operators $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$0 and, for the adjoint triple, $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$1, defined by

$$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$2

and

$$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$3

Every $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$4-contraction lifts to a pseudo-commutative $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$5-isometry, and a strict $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$6-isometric lift with minimal third component exists exactly when

$$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$7

The resulting model combines Hardy-space multipliers $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$8, $$T_1^{n_1}\cdots T_d^{n_d}=P_H\,U_1^{n_1}\cdots U_d^{n_d}|_H$$9, and $H\subseteq K$00 with a residual tetrablock unitary; in the c.n.u. case, the characteristic function of $H\subseteq K$01, the pair $H\subseteq K$02, and the residual unitary form a complete unitary invariant (Ball et al., 2022).

More recent $H\subseteq K$03-synthesis-domain results show that explicit Toeplitz/shift models can be sufficient without being necessary. For $H\subseteq K$04- and $H\subseteq K$05-contractions, the paper derives necessary conditions for isometric dilation in terms of fundamental operators and defect-space identities, but also constructs examples with isometric dilations for which the commutator identities used in earlier sufficient conditions fail. It similarly constructs explicit $H\subseteq K$06-isometric dilations for pentablock contractions (Pal et al., 2 Nov 2025). This suggests that, in several variables, explicit model schemes can be strictly smaller than the full dilation class.

4. Banach-space, measure-theoretic, and operator-algebraic extensions

A major extension replaces Hilbert-space geometry by structural properties of classes of Banach spaces. If $H\subseteq K$07 is a class satisfying finite $H\subseteq K$08-stability, ultra-stability, and reflexivity, and a set of operators has a simultaneous dilation in $H\subseteq K$09, then the weak operator closure of its convex hull also has a simultaneous dilation in $H\subseteq K$10. Starting from the trivial simultaneous dilation of invertible isometries, this yields dilations for every operator in the weakly closed convex hull of invertible isometries. In particular, the framework recovers Sz.-Nagy’s theorem for Hilbert-space contractions and the Akcoglu–Sucheston theorem for positive contractions on $H\subseteq K$11-spaces, while preserving the “same regularity as $H\subseteq K$12” (Fackler et al., 2017).

Operator-valued-measure dilation theory pushes further. For any countably additive operator-valued measure $H\subseteq K$13, there exist a Banach space $H\subseteq K$14, bounded maps $H\subseteq K$15 and $H\subseteq K$16, and a projection-valued probability measure $H\subseteq K$17 such that

$H\subseteq K$18

The construction proceeds through the elementary dilation space

$H\subseteq K$19

equipped with dilation norms. Two canonical choices are the minimal norm

$H\subseteq K$20

and the maximal norm $H\subseteq K$21 (Han et al., 2011). The same paper proves that every bounded linear map $H\subseteq K$22 from a Banach algebra admits a Banach-space homomorphic dilation

$H\subseteq K$23

with $H\subseteq K$24 a bounded unital homomorphism. The completely bounded versus merely bounded dichotomy is decisive: Hilbert-space dilations correspond to the completely bounded regime, whereas general bounded maps require Banach-space dilations.

Structured frame theory fits naturally into this picture. For a frame vector $H\subseteq K$25 generated by a unitary group with optimal frame bounds $H\subseteq K$26, there exist a larger Hilbert space $H\subseteq K$27, an extending unitary group, a complete wandering vector $H\subseteq K$28, and a positive operator $H\subseteq K$29 with

$H\subseteq K$30

such that the original frame is the image of an orthonormal basis orbit under $H\subseteq K$31. For projective unitary representations, canonical Parseval reduction and orthogonal-complement dilation produce an orthonormal basis on $H\subseteq K$32. In the wavelet case, orthonormal dilation is possible exactly when

$H\subseteq K$33

so the canonical Parseval frame remains affine (Bownik et al., 2010).

For nonself-adjoint operator algebras, dilation schemes are organized around extremality. The notion of fully extremal coextension refines ordinary extremal coextension and is central to commutant lifting and Ando-type results. Semi-Dirichlet algebras collapse several extremal notions: every representation has a unique minimal extremal coextension, this coextension is fully extremal and cyclic, and several commutant lifting properties become equivalent or upgrade to stronger forms. These dilation results drive embeddings of semicrossed products into semicrossed products of the $H\subseteq K$34-envelope (Davidson et al., 2011).

At the opposite extreme of abstraction, a set-theoretic caricature replaces Hilbert spaces by sets, operators by functions, isometries by injective maps, unitaries by bijections, and compression by an idempotent $H\subseteq K$35, retaining the power-dilation identity

$H\subseteq K$36

The resulting analogues of Wold decomposition, Halmos dilation, Sz.-Nagy dilation, intertwining lifting, and Berger–Coburn–Lebow theory isolate the algebraic skeleton of dilation theory (Bhat et al., 2020).

5. Operator systems, matrix convexity, numerical range, and geometric boundaries

Finite-dimensional operator-system methods turn many infinite-dimensional dilation theorems into finite-dimensional ones. If $H\subseteq K$37 is a unital FDI $H\subseteq K$38-algebra, $H\subseteq K$39 is a finite-dimensional operator system, and $H\subseteq K$40 is u.c.p. with $H\subseteq K$41, then $H\subseteq K$42 dilates to a finite-dimensional $H\subseteq K$43-representation of $H\subseteq K$44. This finite-dimensional Arveson–Stinespring theorem recovers Egerváry’s theorem, finite-dimensional annulus rational dilations, finite-dimensional Berger numerical-radius dilations, Putinar–Sandberg numerical-range dilations, and a finite-dimensional $H\subseteq K$45-commuting dilation theorem by restricting the infinite-dimensional theorem to an appropriate finite operator system (Hartz et al., 2019).

The technical engine is matrix convexity. For a finite-dimensional vector space $H\subseteq K$46, the auxiliary set

$H\subseteq K$47

reduces matrix convex combinations to ordinary convex combinations. This yields a finite-dimensional matrix Carathéodory theorem: every $H\subseteq K$48 in the matrix convex hull of $H\subseteq K$49 is a matrix convex combination of length at most

$H\subseteq K$50

or

$H\subseteq K$51

in the real self-adjoint setting. A matrix Minkowski theorem then states that every compact matrix convex set is the matrix convex hull of its matrix extreme points (Hartz et al., 2019).

Numerical range inclusion provides a parallel route to dilation. For a finite-dimensional self-adjoint operator system $H\subseteq K$52, positivity of the associated unital map is equivalent to

$H\subseteq K$53

while complete positivity implies a joint dilation of the form

$H\subseteq K$54

When $H\subseteq K$55 is maximal, positivity already forces complete positivity. In particular, if $H\subseteq K$56 is a simplex, then every tuple with joint numerical range contained in that simplex dilates to $H\subseteq K$57 (Li et al., 2019).

Geometric dilation theory for annuli gives a different boundary picture. For the quantum annulus

$H\subseteq K$58

every $H\subseteq K$59 dilates to some $H\subseteq K$60, and $H\subseteq K$61 is its own dilation boundary. The proof uses a geometric form of Nelson’s trick: one diagonalizes the positive part $H\subseteq K$62, replaces its scalar singular values by automorphisms of the disk, builds an operator-valued analytic function $H\subseteq K$63, and realizes the dilation as multiplication by $H\subseteq K$64 on a Hardy space. The same paper compares $H\subseteq K$65 with the Pick annulus $H\subseteq K$66 and the classical spectral annulus $H\subseteq K$67, with strict inclusions

$H\subseteq K$68

and distinct boundary theories (McCullough et al., 2022).

6. Noncommutative probability and quantum-simulation schemes

Recent work extends dilation schemes into quantum dynamics and noncommutative harmonic analysis. For semigroups of the form

$H\subseteq K$69

with $H\subseteq K$70 and $H\subseteq K$71, Schrödingerisation introduces the warped phase transform

$H\subseteq K$72

extends $H\subseteq K$73 to $H\subseteq K$74, and after Fourier transform obtains

$H\subseteq K$75

The corresponding unitary family

$H\subseteq K$76

acts on a larger Hilbert space of $H\subseteq K$77-valued functions with weight $H\subseteq K$78, and satisfies

$H\subseteq K$79

For infinite-dimensional systems this is an exact unitary dilation requiring one extra qumode; after discretization it becomes an approximate finite-dimensional dilation suitable for qubit-based simulation, using $H\subseteq K$80 ancilla qubits (Hu et al., 2023).

A circuit-level realization discretizes the continuous ancillary generator into a finite-dimensional triple $H\subseteq K$81. The crucial design criterion is that $H\subseteq K$82 be exactly skew-Hermitian on the full discrete space. The resulting scheme proves the error bound

$H\subseteq K$83

and implements the dilation triple by LCU, QSVT, and QFT-adder primitives. The dilation Hamiltonian is assembled as a block encoding of

$H\subseteq K$84

with application-specific block encodings of $H\subseteq K$85 and $H\subseteq K$86 left external to the general scheme (Park, 20 Sep 2025).

Absolute dilation of Fourier multipliers gives a noncommutative-probabilistic analogue. For a discrete amenable group $H\subseteq K$87 and a unital completely positive Fourier multiplier $H\subseteq K$88, absolute dilation is equivalent to absolute dilation of the associated Herz–Schur multiplier, hence to factorization, and further to the existence of a normalized tracial von Neumann algebra $H\subseteq K$89 and unitaries $H\subseteq K$90 such that

$H\subseteq K$91

The same work constructs the first known unital completely positive Fourier multiplier without absolute dilation, occurring on $H\subseteq K$92, and proves that for every abelian group $H\subseteq K$93, every Fourier multiplier admits an absolute dilation (Merdy et al., 25 Feb 2025).

Taken together, these developments indicate that operator dilation schemes now function simultaneously as analytic tools, model-theoretic classifications, and algorithmic encodings. This suggests a broad contemporary view: dilation is no longer only a method for studying contractions, but a general architecture for transferring difficult dynamics to larger spaces where symmetry, normality, automorphism structure, or unitary simulation become available.