Rational dilation of tetrablock contractions revisited

Haripada Sau; Joseph A. Ball

arxiv: 1907.10832 · v1 · pith:FTUNN2BDnew · submitted 2019-07-25 · 🧮 math.FA

Rational dilation of tetrablock contractions revisited

Joseph A. Ball , Haripada Sau This is my paper

Pith reviewed 2026-05-24 16:27 UTC · model grok-4.3

classification 🧮 math.FA

keywords tetrablock contractiontetrablock isometryrational dilationspectral setoperator tupledistinguished boundary

0 comments

The pith

A tetrablock contraction admits a tetrablock-isometric lift while violating a condition once thought necessary.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the rational dilation problem for commutative triples of operators on Hilbert space that have the tetrablock domain in C^3 as a spectral set. It reviews conditions previously proposed as necessary for such a triple to lift to a tetrablock isometry, which in turn extends to a tetrablock unitary on the distinguished boundary. The authors construct an explicit example of a tetrablock contraction that possesses the isometric lift yet fails one of those conditions. This shows the condition is not necessary, leaving open the question of whether every tetrablock contraction admits a tetrablock-isometric lift.

Core claim

There exists a tetrablock contraction which does have a tetrablock-isometric lift but violates a condition previously thought to be necessary for the existence of such a lift.

What carries the argument

The tetrablock contraction, a commutative triple of operators having the tetrablock as spectral set, together with its possible lift to a tetrablock isometry that extends to a tetrablock unitary tuple of normal operators.

If this is right

The condition in question is not necessary for a tetrablock contraction to have a tetrablock-isometric lift.
The general question of whether every tetrablock contraction admits a tetrablock-isometric lift remains unresolved.
Alternative necessary conditions or different proof strategies are required to decide the dilation problem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Explicit counterexamples of this type may help isolate the exact properties that separate dilatable from non-dilatable tuples in similar multivariable settings.
The result suggests that checking membership in the spectral set alone does not rule out the existence of a lift.
Similar constructions could be attempted for other bounded domains where rational dilation questions are still open.

Load-bearing premise

The explicit construction produces operators that form a genuine tetrablock contraction, admit the stated lift, and fail the prior condition.

What would settle it

Direct verification showing that the constructed operators either fail to have the tetrablock as spectral set or do not admit the claimed isometric lift.

read the original abstract

A classical result of Sz.-Nagy asserts that a Hilbert-space contraction operator $T$ can be lifted to an isometry $V$. A more general multivariable setting of recent interest for these ideas is the case where (i) the unit disk is replaced by a certain domain contained in ${\mathbb C}^3$ (called the {\em tetrablock}), (ii) the contraction operator $T$ is replaced by a commutative triple $(T_1, T_2, T)$ of Hilbert-space operators having ${\mathbb E}$ as a spectral set (a tetrablock contraction) . The rational dilation question for this setting is whether a tetrablock contraction $(T_1, T_2, T)$ can be lifted to a tetrablock isometry $(V_1, V_2, V)$ (a commutative operator tuple which extends to a tetrablock-unitary tuple $(U_1, U_2, U)$---a commutative tuple of normal operators with joint spectrum contained in the distinguished boundary of the tetrablock). We discuss necessary conditions for a tetrablock contraction to have a tetrablock-isometric lift. We present an example of a tetrablock contraction which does have a tetrablock-isometric lift but violates a condition previously thought to be necessary for the existence of such a lift. Thus the question of whether a tetrablock contraction always has a tetrablock-isometric lift appears to be unresolved at this time.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper supplies a concrete counterexample showing that one proposed necessary condition for tetrablock-isometric lifts is not actually necessary, but leaves the main existence question open.

read the letter

This paper gives an explicit tetrablock contraction that admits a tetrablock-isometric lift yet fails a condition earlier work had suggested must hold. The result is that the condition is not necessary, though the broader question of whether every tetrablock contraction has such a lift stays unresolved. The authors lay out the background from Sz.-Nagy's theorem and the tetrablock setting, then use the example to separate the lift property from the condition. That separation is the actual new content. It is a modest but direct clarification in a narrow corner of multivariable dilation theory. The paper does not claim to settle the rational dilation problem, which is honest. The load-bearing part is the construction itself. The tuple has to satisfy three things at once: the tetrablock is a spectral set, a commuting isometric lift exists whose minimal unitary extension has joint spectrum on the distinguished boundary, and the earlier condition is violated. Any slip in the operator matrices or norm estimates would remove the separation. The abstract states the claim without the matrices, so the full text needs to be checked for those calculations. If they hold, the note is fine; if not, the claim collapses. This is the sort of technical correction that specialists in operator theory and several complex variables will want to see. It rules out one line of attack on the dilation question without opening new methods. Readers already following the tetrablock literature will get the most from it. The work is narrow enough that it does not demand broad attention, but the claim is specific enough to be checked by referees. It should go to peer review so that experts can verify the example.

Referee Report

1 major / 0 minor

Summary. The manuscript revisits the rational dilation problem for commutative triples of operators on Hilbert space for which the tetrablock is a spectral set. It reviews necessary conditions for the existence of a tetrablock-isometric lift and constructs an explicit counterexample: a tetrablock contraction that admits a tetrablock-isometric lift yet violates a condition previously regarded as necessary. The authors conclude that the general question of whether every tetrablock contraction possesses a tetrablock-isometric lift remains open.

Significance. If the explicit counterexample is correct, the work separates the existence of a tetrablock-isometric lift from a previously proposed necessary condition and thereby clarifies the current status of the rational dilation question for the tetrablock. An explicit, verifiable construction in this setting would be a concrete contribution to multivariable dilation theory.

major comments (1)

[Example construction (presumably the main technical section following the discussion of necessary conditions)] The central claim rests entirely on the correctness of the explicit counterexample (the tuple (T1,T2,T) and its lift). The manuscript must supply the concrete operator matrices, the verification that the tetrablock is a spectral set, the construction of the commuting isometric lift whose minimal unitary extension has joint spectrum on the distinguished boundary, and the explicit check that the prior necessary condition fails. Any algebraic or norm error in these calculations would invalidate the separation between lift existence and the condition.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for recognizing the potential significance of the counterexample in clarifying the status of the rational dilation question for tetrablock contractions. We address the major comment point by point below.

read point-by-point responses

Referee: The central claim rests entirely on the correctness of the explicit counterexample (the tuple (T1,T2,T) and its lift). The manuscript must supply the concrete operator matrices, the verification that the tetrablock is a spectral set, the construction of the commuting isometric lift whose minimal unitary extension has joint spectrum on the distinguished boundary, and the explicit check that the prior necessary condition fails. Any algebraic or norm error in these calculations would invalidate the separation between lift existence and the condition.

Authors: We agree that the validity of the explicit counterexample is essential to the paper's contribution. The manuscript already presents the concrete operator matrices for the tetrablock contraction (T1, T2, T) and constructs the commuting isometric lift, with verifications that the tetrablock is a spectral set, that the minimal unitary extension has joint spectrum on the distinguished boundary, and that the previously proposed necessary condition is violated. To strengthen the exposition and facilitate independent verification, we will add a new subsection with all intermediate algebraic steps, norm computations, and spectral checks in the revised version. We have re-examined the calculations and are confident they contain no errors, but we welcome any specific points the referee may wish to raise. revision: yes

Circularity Check

0 steps flagged

Explicit counterexample construction carries the claim independently

full rationale

The paper's central result is the existence of a tetrablock contraction admitting a tetrablock-isometric lift while violating a prior necessary-condition candidate. This is established by direct construction of a concrete operator tuple rather than any derivation that reduces to fitted parameters, self-definitional relations, or load-bearing self-citations. The abstract and described argument contain no equations or steps that equate the claimed lift existence to the input data by construction; verification of the example remains an independent, externally checkable step. No patterns from the enumerated circularity kinds appear.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a pure-mathematics paper in operator theory. No free parameters, domain-specific axioms beyond standard functional analysis, or invented entities are indicated in the abstract.

pith-pipeline@v0.9.0 · 5792 in / 936 out tokens · 25848 ms · 2026-05-24T16:27:25.748922+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 1 internal anchor

[1]

A. A. Abouhajar, M. C. White and N. J. Young, A Schwarz lemma for a domain related to µ-synthesis, J. Geom. Anal. 17 (2007), 717-750

work page 2007
[2]

Agler, Rational dilation on an annulus , Ann

J. Agler, Rational dilation on an annulus , Ann. of Math. 121 (1985), 537-563

work page 1985
[3]

Agler, J

J. Agler, J. Harland and B.J. Raphael, Classical function theory, operator dilation theory, and machine computation on multiply-connected domains , Mem. Amer. Math. Soc. 191 (2008) no. 892, viii+159 pp

work page 2008
[4]

Agler, N

J. Agler, N. J. Young, A commutant lifting theorem for a domain in C2 and spectral interpolation, J. Funct. Anal. 161(1999), 452-477

work page 1999
[5]

Andˆ o,On a pair of commuting contractions , Acta Sci

T. Andˆ o,On a pair of commuting contractions , Acta Sci. Math. (Szeged) 24 (1963), 88-90

work page 1963
[6]

Arveson, Subalgebras of C∗-algebras II , Acta Math

W.B. Arveson, Subalgebras of C∗-algebras II , Acta Math. 128 (1972) no. 3–4, 271–308

work page 1972
[7]

Bhattacharyya, The tetrablock as a spectral set , Indiana Univ

T. Bhattacharyya, The tetrablock as a spectral set , Indiana Univ. Math. J. 63 (2014), 1601-1629

work page 2014
[8]

Curto, Applications of several complex variables to multiparamet er spectral theory , Surveys of some recent results in operator theory, Vol

R.E. Curto, Applications of several complex variables to multiparamet er spectral theory , Surveys of some recent results in operator theory, Vol. II, 25–90, Pitman Res. Notes Math. Ser. 192, Longman Sci. Tech., Harlow, 1988

work page 1988
[9]

M. A. Dritschel, S. McCullough, Failure of rational dilation on a triply connected domain , J. Amer. Math. Soc., 18 (2005), 873-918

work page 2005
[10]

Dullerud and F

G.E. Dullerud and F. Paganini, A Course in Robust Control Theory: A Convex Approach , Texts in Applied Mathematics Vol. 36, Springer-Verlag, New York, 2000

work page 2000
[11]

Pal, The failure of rational dilation on the tetrablock , J

S. Pal, The failure of rational dilation on the tetrablock , J. Functional Analysis, 269 (2015)1903- 1924

work page 2015
[12]

And\^o dilations for a pair of commuting contractions: two explicit constructions and functional models

H. Sau, Andˆ o dilations for a pair of commuting contractions: two ex plicit constructions and functional models, arXiv:1710.11368 [math.F A]

work page internal anchor Pith review Pith/arXiv arXiv
[13]

Sau, A note on tetrablock contractions , New York J

H. Sau, A note on tetrablock contractions , New York J. Math. 21 (2015) 1347-1369

work page 2015
[14]

N. Th. Varopoulos, On an inequality of von Neumann and an application of the metr ic theory of tensor products to operator theory , J. Functional Analysis 16 (1974), 83–100. Department of Mathematics, Virginia Tech, Blacksburg, V A 24061-0123, USA, joball@math.vt.edu Department of Mathematics, Virginia Tech, Blacksburg, V A 24061-0123, USA, sau@vt.edu, ha...

work page 1974

[1] [1]

A. A. Abouhajar, M. C. White and N. J. Young, A Schwarz lemma for a domain related to µ-synthesis, J. Geom. Anal. 17 (2007), 717-750

work page 2007

[2] [2]

Agler, Rational dilation on an annulus , Ann

J. Agler, Rational dilation on an annulus , Ann. of Math. 121 (1985), 537-563

work page 1985

[3] [3]

Agler, J

J. Agler, J. Harland and B.J. Raphael, Classical function theory, operator dilation theory, and machine computation on multiply-connected domains , Mem. Amer. Math. Soc. 191 (2008) no. 892, viii+159 pp

work page 2008

[4] [4]

Agler, N

J. Agler, N. J. Young, A commutant lifting theorem for a domain in C2 and spectral interpolation, J. Funct. Anal. 161(1999), 452-477

work page 1999

[5] [5]

Andˆ o,On a pair of commuting contractions , Acta Sci

T. Andˆ o,On a pair of commuting contractions , Acta Sci. Math. (Szeged) 24 (1963), 88-90

work page 1963

[6] [6]

Arveson, Subalgebras of C∗-algebras II , Acta Math

W.B. Arveson, Subalgebras of C∗-algebras II , Acta Math. 128 (1972) no. 3–4, 271–308

work page 1972

[7] [7]

Bhattacharyya, The tetrablock as a spectral set , Indiana Univ

T. Bhattacharyya, The tetrablock as a spectral set , Indiana Univ. Math. J. 63 (2014), 1601-1629

work page 2014

[8] [8]

Curto, Applications of several complex variables to multiparamet er spectral theory , Surveys of some recent results in operator theory, Vol

R.E. Curto, Applications of several complex variables to multiparamet er spectral theory , Surveys of some recent results in operator theory, Vol. II, 25–90, Pitman Res. Notes Math. Ser. 192, Longman Sci. Tech., Harlow, 1988

work page 1988

[9] [9]

M. A. Dritschel, S. McCullough, Failure of rational dilation on a triply connected domain , J. Amer. Math. Soc., 18 (2005), 873-918

work page 2005

[10] [10]

Dullerud and F

G.E. Dullerud and F. Paganini, A Course in Robust Control Theory: A Convex Approach , Texts in Applied Mathematics Vol. 36, Springer-Verlag, New York, 2000

work page 2000

[11] [11]

Pal, The failure of rational dilation on the tetrablock , J

S. Pal, The failure of rational dilation on the tetrablock , J. Functional Analysis, 269 (2015)1903- 1924

work page 2015

[12] [12]

And\^o dilations for a pair of commuting contractions: two explicit constructions and functional models

H. Sau, Andˆ o dilations for a pair of commuting contractions: two ex plicit constructions and functional models, arXiv:1710.11368 [math.F A]

work page internal anchor Pith review Pith/arXiv arXiv

[13] [13]

Sau, A note on tetrablock contractions , New York J

H. Sau, A note on tetrablock contractions , New York J. Math. 21 (2015) 1347-1369

work page 2015

[14] [14]

N. Th. Varopoulos, On an inequality of von Neumann and an application of the metr ic theory of tensor products to operator theory , J. Functional Analysis 16 (1974), 83–100. Department of Mathematics, Virginia Tech, Blacksburg, V A 24061-0123, USA, joball@math.vt.edu Department of Mathematics, Virginia Tech, Blacksburg, V A 24061-0123, USA, sau@vt.edu, ha...

work page 1974