pith. sign in

arxiv: 2408.10232 · v3 · submitted 2024-08-03 · 🧮 math.FA · math.OA

Theory of q-commuting contractions-II: Regular dilation, Brehmer's positivity and von Neumann's inequality

Sourav Pal , Prajakta Sahasrabuddhe , Nitin Tomar This is my paper

Pith reviewed 2026-05-23 22:27 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords q-commuting contractionsregular dilationBrehmer positivityvon Neumann inequalityStinespring dilationNaimark theoremC*-algebrasfree group
0
0 comments X

The pith

A family of q-commuting contractions with ||q||=1 admits a regular q-unitary dilation exactly when it satisfies Brehmer's positivity condition.

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

The paper extends the classical equivalence for commuting contractions to the q-commuting setting. It proves three statements are equivalent for such a family: existence of a regular q-unitary dilation, satisfaction of Brehmer's positivity condition, and existence of a Q-unitary dilation by Q-commuting unitaries. The first equivalence follows from applying Stinespring's theorem to a completely positive map on a quotient of the free group C*-algebra that encodes the relations, while the second uses Naimark's theorem. A reader would care because the result gives concrete criteria for when these operators can be dilated to unitaries preserving the q-relations and yields a von Neumann-type inequality in identified cases.

Core claim

For any family T of q-commuting contractions with ||q||=1, the following are equivalent: (i) T admits a regular q-unitary dilation; (ii) T satisfies Brehmer's positivity condition; (iii) T admits a Q-unitary dilation for a family of Q-commuting unitaries. The first part is obtained by an application of Stinespring's dilation theorem on a particular completely positive map acting on a quotient algebra of a group C*-algebra of a free group, and the second part by an application of Naimark's theorem. Several cases when T admits a regular q-unitary dilation are found, and a von Neumann type inequality is established for such a family.

What carries the argument

A completely positive map on a quotient algebra of the group C*-algebra of a free group that encodes the q-commuting relations, to which Stinespring's dilation theorem is applied to produce the regular q-unitary dilation.

If this is right

  • The family satisfies a von Neumann type inequality for polynomials in its members.
  • Several concrete families of q-commuting contractions admit regular q-unitary dilations.
  • Existence of the dilation can be verified by checking Brehmer's positivity instead of direct construction.
  • The equivalence also implies the existence of the Q-unitary dilation by Q-commuting unitaries.

Where Pith is reading between the lines

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

  • The von Neumann inequality may bound the norm of analytic functions applied to the operators.
  • Similar encodings in other C*-algebras could yield dilation results for different commutation relations.
  • The identified cases where dilations exist may include specific examples like weighted shifts or Toeplitz operators with q-relations.

Load-bearing premise

A particular completely positive map can be defined on a quotient algebra of the group C*-algebra of a free group that encodes the q-commuting relations.

What would settle it

A concrete family of q-commuting contractions with ||q||=1 that satisfies Brehmer's positivity condition but does not admit a regular q-unitary dilation would falsify the claimed equivalence.

read the original abstract

It is well-known that a commuting family of contractions possesses a regular unitary dilation if and only if it satisfies Brehmer's positivity condition. We extend this theorem to any family $\mathcal T$ of $q$-commuting contractions with $\|q\|=1$ by showing the equivalence of the following three statements: $(i)$ $\mathcal T$ admits a regular $q$-unitary dilation; $(ii)$ $\mathcal T$ satisfies Brehmer's positivity condition; $(iii)$ $\mathcal T$ admits a $Q$-unitary dilation for a family of $Q$-commuting unitaries. We achieve the first part of the result by an application of Stinespring's dilation theorem on a particular completely positive map acting on a quotient algebra of a group $C^*$-algebra, where the underlying group is a free group, and the second part is obtained by an application of Naimark's theorem. Next, we find several cases when $\mathcal{T}$ admits a regular $q$-unitary dilation and establish a von Neumann type inequality for such a $q$-commuting family.

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.

Referee Report

1 major / 0 minor

Summary. The paper claims that for any family T of q-commuting contractions with ||q||=1, the following are equivalent: (i) T admits a regular q-unitary dilation, (ii) T satisfies Brehmer's positivity condition, (iii) T admits a Q-unitary dilation for some family of Q-commuting unitaries. The equivalences are obtained by constructing a completely positive map on a quotient of the group C*-algebra of a free group (encoding the q-commuting relations) and applying Stinespring's dilation theorem, followed by Naimark's theorem for the third statement. The manuscript also identifies several cases where regular q-unitary dilations exist and derives a von Neumann-type inequality for such families.

Significance. If the central construction is valid, the result provides a direct noncommutative extension of the classical Brehmer theorem on regular unitary dilations, which is of interest in multivariable operator theory. The approach via quotients of free-group C*-algebras and standard dilation theorems is conceptually natural, and the additional cases plus von Neumann inequality strengthen the contribution if the equivalences hold.

major comments (1)
  1. [Proof of (i)⇔(ii) via Stinespring (section describing the CP map construction)] The equivalence (i)⇔(ii) rests on the claim that a specific map defined on the quotient algebra (generated by the relations T_i T_j - q_ij T_j T_i) is completely positive when ||q||=1. The abstract invokes Stinespring directly but provides no indication of how positivity on the quotient is verified for arbitrary q with ||q||=1; if this fails for some such q, the equivalence does not hold. This is load-bearing for the main theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the potential interest of the noncommutative extension of Brehmer's theorem. We address the single major comment below and will incorporate the requested clarification in the revised manuscript.

read point-by-point responses

  1. Referee: [Proof of (i)⇔(ii) via Stinespring (section describing the CP map construction)] The equivalence (i)⇔(ii) rests on the claim that a specific map defined on the quotient algebra (generated by the relations T_i T_j - q_ij T_j T_i) is completely positive when ||q||=1. The abstract invokes Stinespring directly but provides no indication of how positivity on the quotient is verified for arbitrary q with ||q||=1; if this fails for some such q, the equivalence does not hold. This is load-bearing for the main theorem.

    Authors: We agree that an explicit verification of complete positivity for the map on the quotient is essential and should be expanded for clarity. The map is constructed in Section 3 as the canonical homomorphism from the quotient of the free-group C*-algebra by the ideal generated by the q-commutation relations, sending generators to the given contractions T. Under the standing assumption ||q||=1 the quotient remains a C*-algebra and the map is positive by construction because the relations preserve the involution and the norm; complete positivity then follows from the fact that the map is a *-homomorphism on the quotient. Nevertheless, to address the concern directly we will add a dedicated lemma (with a self-contained proof) in the revised version that verifies positivity on positive elements of the quotient for arbitrary q with ||q||=1, using the universal property of the free-group C*-algebra and the C*-identity. This addition will make the application of Stinespring fully rigorous without altering the statement of the main theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external theorems to constructed map

full rationale

The claimed equivalences (i)⇔(ii)⇔(iii) are obtained by defining a specific map on the quotient of the free-group C*-algebra (encoding q-commutation with ||q||=1) and invoking Stinespring's dilation theorem followed by Naimark's theorem. These are independent, externally verified results from operator algebra theory; the construction does not define the positivity or dilation in terms of themselves, nor does it rename a fitted quantity as a prediction. No self-citation chains, ansatzes smuggled via prior work, or self-definitional reductions appear in the derivation steps described. The paper is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on two standard theorems from operator algebra theory; no free parameters, ad-hoc axioms, or new invented entities are introduced in the abstract.

axioms (2)
  • standard math Stinespring's dilation theorem
    Applied to a completely positive map on the quotient algebra to obtain the regular q-unitary dilation.
  • standard math Naimark's theorem
    Applied to obtain the second part of the equivalence involving Q-unitary dilation.

pith-pipeline@v0.9.0 · 5743 in / 1296 out tokens · 20857 ms · 2026-05-23T22:27:23.348569+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Agler and N

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

    work page 1999

  2. [2]

    Ando, On a pair of commutative contractions , Acta Sci

    T. Ando, On a pair of commutative contractions , Acta Sci. Math. (Szeged), 24 (1963), 88 – 90

    work page 1963

  3. [3]

    Ando, Unitary dilation for a triple of commuting contractions, Bull

    T. Ando, Unitary dilation for a triple of commuting contractions, Bull. Acad. Polon. Sci. S´ er. Sci. Math. Astronom. Phys., 24 (1976), 851 – 853

    work page 1976

  4. [4]

    Barik and B

    S. Barik and B. Bisai, A generalization of Ando’s dilation, and isometric dilatio ns for a class of tuples of q- commuting contractions, https://arxiv.org/abs/2210.10617

    work page arXiv

  5. [5]

    Bercovici, C

    H. Bercovici, C. Foias, L. Kerchy and B. Sz.-Nagy, Harmonic analysis of operators on Hilbert space , Universitext Springer, New Y ork, 2010

    work page 2010

  6. [6]

    Berger, L.A

    C.A. Berger, L.A. Coburn and A. Lebow, Representation and index theory for C ∗-algebras generated by commut- ing isometries, J. Funct. Anal., 27 (1978), 51 – 99

    work page 1978

  7. [7]

    Bisai, S

    B. Bisai, S. Pal and P . Sahasrabuddhe, On q-commuting co-extensions and q-commutant lifting , Linear Algebra Appl., 658 (2023), 186 – 205

    work page 2023

  8. [8]

    Brehmer, ¨Uber vetauschbare Kontraktionen des Hilbertschen Raumes , Acta Sci

    S. Brehmer, ¨Uber vetauschbare Kontraktionen des Hilbertschen Raumes , Acta Sci. Math. (Szeged), 22 (1961), 106 – 11

    work page 1961

  9. [9]

    Dey, Standard dilations of q-commuting tuples , Colloq

    S. Dey, Standard dilations of q-commuting tuples , Colloq. Math., 107 (2007), 141 – 165

    work page 2007

  10. [10]

    Dey, Standard commuting dilations and liftings , Colloq

    S. Dey, Standard commuting dilations and liftings , Colloq. Math., 126 (2012), 87 – 94. REGULAR q-UNITARY DILA TION AND BREHMER’S POSITIVITY 39

    work page 2012

  11. [11]

    Foias and B

    C. Foias and B. Sz.-Nagy, Analyse harmonique des op ´erateurs de l’espace de Hilbert , Akademiai Kiado, Bu- dapest, 1967

    work page 1967

  12. [12]

    Foias and B

    C. Foias and B. Sz.-Nagy, F orme triangulaire d’une contraction et factorisation de l a fonction caract ´eristique, Acta Sci. Math. (Szeged), 28 (1967), 201 – 212

    work page 1967

  13. [13]

    Fuglede, A commutativity theorem for normal operators , Proc

    B. Fuglede, A commutativity theorem for normal operators , Proc. Nat. Acad. Sci., 36 (1950), 35 – 40

    work page 1950

  14. [14]

    D. K. Keshari and N. Mallick, q-commuting dilation, Proc. Amer. Math. Soc., 147 (2019), 655 – 669

    work page 2019

  15. [15]

    Levy and O

    E. Levy and O. M. Shalit, Dilation theory in finite dimensions : the possible, the impo ssible and the unknown , Rocky Mountain J. Math., 44 (2014), 203 – 221

    work page 2014

  16. [16]

    Mallick and K

    N. Mallick and K. Sumesh, On a generalization of Ando’s dilation theorem , Acta Sci. Math. (Szeged), 86 (2020), 273 – 286

    work page 2020

  17. [17]

    G. J. Murphy, C∗-algebras and operator theory , Academic Press, 2014

    work page 2014

  18. [18]

    Sz.-Nagy, Sur les contractions de l’espace de Hilbert , Acta Sci

    B. Sz.-Nagy, Sur les contractions de l’espace de Hilbert , Acta Sci. Math (Szeged), 15 (1953), 87 – 92

    work page 1953

  19. [19]

    M. A. Naimark, Positive definite operator functions on a commutative group , Bull. Acad. Sci. URSS. S´ er. Math. [Izvestia Akad. Nauk SSSR], 7 (1943), 237 – 244

    work page 1943

  20. [20]

    Op ˇela, A generalization of And ˆo’s theorem and Parrott’s example , Proc

    D. Op ˇela, A generalization of And ˆo’s theorem and Parrott’s example , Proc. Amer. Math. Soc., 134 (2006), 2703 – 2710

    work page 2006

  21. [21]

    S. Pal, P . Sahasrabuddhe and N. Tomar, Theory of Q-commuting contractions: joint reducing subspa ces and orthogonal decompositions, https://arxiv.org/abs/2211.01530

    work page arXiv

  22. [22]

    Parrott, Unitary dilations for commuting contractions , Pacific J

    S. Parrott, Unitary dilations for commuting contractions , Pacific J. Math., 34 (1970), 481 – 490

    work page 1970

  23. [23]

    Paulsen, Completely bounded maps and operator algebras , Cambridge University Press, 2003

    V . Paulsen, Completely bounded maps and operator algebras , Cambridge University Press, 2003

    work page 2003

  24. [24]

    Victoria, 2016

    Putnam, Lecture notes on C ∗-algebras, Univ. Victoria, 2016

    work page 2016

  25. [25]

    Sebesty ´en, Anticommutant lifting and anticommuting dilation, Proc

    Z. Sebesty ´en, Anticommutant lifting and anticommuting dilation, Proc. Amer. Math. Soc., 121 (1994), 133 – 136

    work page 1994

  26. [26]

    Sebesty ´en, Lifting intertwining operators, Period

    Z. Sebesty ´en, Lifting intertwining operators, Period. Math. Hungar., 28 (1994), 235 – 240

    work page 1994

  27. [27]

    W . F. Stinespring, Positive functions on C∗-algebras, Proc. Amer. Math. Soc., 6 (1955), 211 – 216

    work page 1955

  28. [28]

    Stochel and F

    J. Stochel and F. H. Szafraniec, Unitary dilation of several contractions , In: Oper. Theor. Adv. Appl. 127, pp. 585 – 598, Birkhau¨ ser, 2001

    work page 2001

  29. [29]

    von Neumann, Eine Spektraltheorie f¨ur allgemeine Operatoren eines unit¨aren Raumes, Math

    J. von Neumann, Eine Spektraltheorie f¨ur allgemeine Operatoren eines unit¨aren Raumes, Math. Nachr., 4 (1951), 258 – 281. (Sourav Pal) M ATHEMATICS DEPARTMENT , I NDIAN INSTITUTE OF TECHNOLOGY BOMBAY, P OWAI, M UMBAI - 400076, I NDIA . Email address: sourav@math.iitb.ac.in (Prajakta Sahasrabuddhe) MATHEMATICS DEPARTMENT , I NDIAN INSTITUTE OF TECHNOLOGY ...

    work page 1951