Amenable traces and the joint numerical radius

Ebrahim Samei; Mizanur Rahaman; Vern I. Paulsen

arxiv: 2606.18369 · v1 · pith:XIT2LKV4new · submitted 2026-06-16 · 🧮 math.OA · math.FA

Amenable traces and the joint numerical radius

Vern I. Paulsen , Mizanur Rahaman , Ebrahim Samei This is my paper

Pith reviewed 2026-06-26 21:20 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords amenable tracesC*-algebrasjoint numerical radiusoperator algebraslifting propertiesunitariesisometriespartial isometries

0 comments

The pith

The existence of an amenable trace on a C*-algebra is equivalent to the joint free numerical radius of tuples of unitaries, isometries, and partial isometries satisfying explicit bounds.

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

The paper establishes necessary and sufficient conditions linking the existence of an amenable trace on a C*-algebra to the joint free numerical radius of certain tuples of operators inside the algebra. A reader would care because amenable traces encode structural information about the algebra, and the new conditions supply a concrete computational or obstructional test for their presence. The same equivalences are then applied directly to produce obstructions for several lifting properties of C*-algebras.

Core claim

We provide necessary and sufficient characterizations of the existence of an amenable trace on a C*-algebra in terms of the joint free numerical radius of tuples of unitaries, isometries, and partial isometries in the algebra. We apply these results to obtain new obstructions to various lifting properties.

What carries the argument

The joint free numerical radius of tuples of operators, which supplies the exact numerical test equivalent to the existence of an amenable trace.

If this is right

New obstructions to lifting properties for C*-algebras are obtained directly from the radius conditions.
The existence of amenable traces can be verified or ruled out by computing the joint free numerical radius on tuples of unitaries, isometries, or partial isometries.
The characterizations extend uniformly across the three classes of operators listed.

Where Pith is reading between the lines

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

The radius conditions might be checked explicitly in group C*-algebras or reduced crossed products to decide amenability questions.
Similar radius-based tests could be explored for related properties such as nuclearity or exactness.
The approach may connect to existing numerical-radius techniques in free probability or noncommutative geometry.

Load-bearing premise

The joint free numerical radius is defined so that its values on tuples of unitaries, isometries, and partial isometries exactly match the existence or non-existence of an amenable trace.

What would settle it

A concrete C*-algebra possessing an amenable trace for which some tuple of unitaries has joint free numerical radius strictly larger than the predicted bound, or lacking such a trace despite the radius satisfying the bound.

read the original abstract

We provide necessary and sufficient characterizations of the existence of an amenable trace on a C$^*$-algebra in terms of the joint free numerical radius of tuples of unitaries, isometries, and partial isometries in the algebra. We apply these results to obtain new obstructions to various lifting properties.

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 gives necessary and sufficient conditions for amenable traces on C*-algebras using the joint free numerical radius on tuples of unitaries, isometries and partial isometries, plus some new obstructions to lifting.

read the letter

The central contribution is a set of equivalences that tie the existence of an amenable trace directly to the vanishing or boundedness of the joint free numerical radius for those specific classes of operators. They then use the equivalences to produce obstructions to certain lifting properties.

What stands out is that the characterizations are stated as necessary and sufficient, which is a clean way to connect two notions that had not been linked this way before. The applications to lifting give the result some immediate utility beyond the abstract equivalence.

The main limitation visible from the abstract is the absence of any proof outline or verification steps, so it is not possible to check whether the arguments for the partial isometry case or the precise definition of the joint radius introduce hidden restrictions. The stress-test note finds no internal inconsistency, and nothing in the provided text suggests circularity or invented objects.

This is a paper for people already working inside operator algebras on traces, exactness, or numerical-radius techniques. A reader who needs a new diagnostic tool for amenability or lifting questions will get direct value. The claim is precise enough and the topic active enough that it should go to peer review rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The paper claims to establish necessary and sufficient characterizations for the existence of an amenable trace on a C*-algebra, expressed in terms of the vanishing or boundedness of the joint free numerical radius for tuples consisting of unitaries, isometries, and partial isometries. These characterizations are then applied to derive new obstructions to various lifting properties for C*-algebras.

Significance. If the stated equivalences hold, the results would supply new analytic criteria for amenable traces, a central notion in C*-algebra theory, and could yield concrete obstructions to lifting properties that are not readily available from existing trace characterizations. The approach via joint free numerical radius appears to connect two previously separate lines of inquiry in operator algebras.

minor comments (3)

The abstract and introduction should include a brief statement of the precise definition of the joint free numerical radius used in the characterizations, as this quantity is central to the main theorems.
Notation for the joint free numerical radius (e.g., w_f or similar) should be introduced consistently in the first section where it appears and used uniformly thereafter.
The applications to lifting properties in the final section would benefit from one or two explicit examples of C*-algebras where the new obstruction applies but prior criteria do not.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the recognition of the potential connections between joint free numerical radius and amenable traces, and the recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity in characterization result

full rationale

The paper states a necessary-and-sufficient characterization equating the existence of an amenable trace on a C*-algebra with a property of the joint free numerical radius on tuples of unitaries, isometries, and partial isometries. The abstract and reader's summary present these as independently defined objects whose equivalence is the theorem, with no equations or steps shown that reduce one to the other by definition, fit, or self-citation chain. No load-bearing self-citation, ansatz smuggling, or renaming of known results is indicated. This is a standard equivalence claim in operator algebra theory and remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, ad-hoc axioms, or invented entities are mentioned in the abstract; the work relies on standard definitions from C*-algebra theory.

pith-pipeline@v0.9.1-grok · 5563 in / 1106 out tokens · 25870 ms · 2026-06-26T21:20:18.824343+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 3 canonical work pages · 2 internal anchors

[1]

B.Amenable unitary representations of locally compact groups, Invent

Bekka, Mohammed E. B.Amenable unitary representations of locally compact groups, Invent. Math. 100 (1990), no. 2, 383–401

1990
[2]

B.Spectral rigidity of group actions on homogeneous spaces, Adv

Bekka, Mohammed E. B.Spectral rigidity of group actions on homogeneous spaces, Adv. Lect. Math. (ALM), 41 International Press, Somerville, MA, 2018, 563–622 (Arxiv: 1602.02892v2)

Pith/arXiv arXiv 2018
[3]

Brown, N. P. and Guentner, E. P.,New C ∗-completions of discrete groups and related spaces, Bull. Lond. Math. Soc. 45 (2013), no. 6, 1181-1193

2013
[4]

Boutonnet, R and Houdayer, C.Stationary characters on lattices of semisimple Lie groups, Publications math´ ematiques de l’IH´ES 133 (1), 1-46
[5]

Invariant means and finite representation theory of C*-algebras

Brown, N. P.Invariant means and finite representation theory of C*-algebras, arXiv Mathematics e- prints, Art. no. math/0304009, 2003. doi:10.48550/arXiv.math/0304009

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math/0304009 2003
[6]

Cadilhaca, L and Collins, B.A metric characterization of freeness, Journal of Functional Analysis 283 (2022) 109562

2022
[7]

D., and Effros, E

Choi, M. D., and Effros, E. G.,Injectivity and operator spaces, Journal of Functional Analysis, 24(1977), 156-209

1977
[8]

Connes, Alain.Classification of Injective Factors CasesII 1,II ∞,III λ, λ̸= 1, Annals of Mathematics, 104(1) (1976), 73–115

1976
[9]

R., Paulsen, V

Davidson, K. R., Paulsen, V. I., & Rahaman, M.Exactness and LLP Results via Operator System Methods2025, , arXiv:2510.25299. 18

arXiv
[10]

I.,Operator system quotients of matrix algebras and their tensor products, Math

Farenick, D., Paulsen, V. I.,Operator system quotients of matrix algebras and their tensor products, Math. Scand., 111(2012), 210–243

2012
[11]

I.,C*-algebras with the WEP and a multivariable analogue of Ando’s theorem on the numerical radius, J

Farenick, D., Kavruk, Ali S., Paulsen, V. I.,C*-algebras with the WEP and a multivariable analogue of Ando’s theorem on the numerical radius, J. Operator Theory, 70(2013), 573–590

2013
[12]

I., Todorov, I

Farenick, D., Kavruk, Ali S., Paulsen, V. I., Todorov, I. G.,Operator systems from discrete groups, Comm. Math. Phys., 329(2014), 207–238

2014
[13]

I., Todorov, I

Farenick, D., Kavruk, Ali S., Paulsen, V. I., Todorov, I. G.,Characterisations of the weak expectation property, New York J. Math., 24A(2018), 107–135

2018
[14]

doi:10.48550/arXiv.2001.04383 (2020)

Ji, Z., Natarajan, A., Vidick, T., Wright, J., and Yuen, H.: 2020,MIP*=RE, t arXiv e-prints, arXiv:2001.04383. doi:10.48550/arXiv.2001.04383 (2020)

work page doi:10.48550/arxiv.2001.04383 2020
[15]

Junge, M., Navascues, M., Palazuelos, C., Perez-Garcia, D., Scholz, V.B., and Werner, R.F.,Connes’ embedding problem and Tsirelson’s problem , Journal of Mathematical Physics52, 012102. (2011)

2011
[16]

Operator algebras and their connection with Topology and Ergodic Theory

Haagerup, U.Injectivity and decomposition of completely bounded maps, “Operator algebras and their connection with Topology and Ergodic Theory”. Springer Lecture Notes in Math. 1132 (1985), 170–222

1985
[17]

Lehner, F.M n-espaces, sommes d’unitaires et analyse harmonique sur le groupe libre, PhD thesis, 1997, Th` ese de doctorat dirig´ ee par Pisier, Gilles Math´ ematiques Paris 6 1997

1997
[18]

267 (1997) 125–137

Pisier, G.Quadratic forms in unitary operators, Linear Algebra Appl. 267 (1997) 125–137

1997
[19]

Pisier, G.On a Characterization of the Weak Expectation Property (WEP), arXiv e-prints, Art. no. arXiv:1907.06224, 2019. doi:10.48550/arXiv.1907.06224

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1907.06224 1907
[20]

J., and Wiersma, M.,On exotic group C*-algebras, J

Ruan, Z. J., and Wiersma, M.,On exotic group C*-algebras, J. Funct. Anal. 271 (2016), no. 2, 437–453

2016
[21]

Samei, E., and Wiersma, M.,Exotic C ∗-algebras of geometric groups, J. Funct. Anal. 286 (2024), no. 2, Paper No. 110228, 32 pp. Institute for Quantum Computing and Department of Pure Mathematics, University of W aterloo, W aterloo, ON, Canada N2L 3G1 Email address:vpaulsen@uwaterloo.ca W allenberg Centre for Quantum Technology, Chalmers University of Tech...

2024

[1] [1]

B.Amenable unitary representations of locally compact groups, Invent

Bekka, Mohammed E. B.Amenable unitary representations of locally compact groups, Invent. Math. 100 (1990), no. 2, 383–401

1990

[2] [2]

B.Spectral rigidity of group actions on homogeneous spaces, Adv

Bekka, Mohammed E. B.Spectral rigidity of group actions on homogeneous spaces, Adv. Lect. Math. (ALM), 41 International Press, Somerville, MA, 2018, 563–622 (Arxiv: 1602.02892v2)

Pith/arXiv arXiv 2018

[3] [3]

Brown, N. P. and Guentner, E. P.,New C ∗-completions of discrete groups and related spaces, Bull. Lond. Math. Soc. 45 (2013), no. 6, 1181-1193

2013

[4] [4]

Boutonnet, R and Houdayer, C.Stationary characters on lattices of semisimple Lie groups, Publications math´ ematiques de l’IH´ES 133 (1), 1-46

[5] [5]

Invariant means and finite representation theory of C*-algebras

Brown, N. P.Invariant means and finite representation theory of C*-algebras, arXiv Mathematics e- prints, Art. no. math/0304009, 2003. doi:10.48550/arXiv.math/0304009

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math/0304009 2003

[6] [6]

Cadilhaca, L and Collins, B.A metric characterization of freeness, Journal of Functional Analysis 283 (2022) 109562

2022

[7] [7]

D., and Effros, E

Choi, M. D., and Effros, E. G.,Injectivity and operator spaces, Journal of Functional Analysis, 24(1977), 156-209

1977

[8] [8]

Connes, Alain.Classification of Injective Factors CasesII 1,II ∞,III λ, λ̸= 1, Annals of Mathematics, 104(1) (1976), 73–115

1976

[9] [9]

R., Paulsen, V

Davidson, K. R., Paulsen, V. I., & Rahaman, M.Exactness and LLP Results via Operator System Methods2025, , arXiv:2510.25299. 18

arXiv

[10] [10]

I.,Operator system quotients of matrix algebras and their tensor products, Math

Farenick, D., Paulsen, V. I.,Operator system quotients of matrix algebras and their tensor products, Math. Scand., 111(2012), 210–243

2012

[11] [11]

I.,C*-algebras with the WEP and a multivariable analogue of Ando’s theorem on the numerical radius, J

Farenick, D., Kavruk, Ali S., Paulsen, V. I.,C*-algebras with the WEP and a multivariable analogue of Ando’s theorem on the numerical radius, J. Operator Theory, 70(2013), 573–590

2013

[12] [12]

I., Todorov, I

Farenick, D., Kavruk, Ali S., Paulsen, V. I., Todorov, I. G.,Operator systems from discrete groups, Comm. Math. Phys., 329(2014), 207–238

2014

[13] [13]

I., Todorov, I

Farenick, D., Kavruk, Ali S., Paulsen, V. I., Todorov, I. G.,Characterisations of the weak expectation property, New York J. Math., 24A(2018), 107–135

2018

[14] [14]

doi:10.48550/arXiv.2001.04383 (2020)

Ji, Z., Natarajan, A., Vidick, T., Wright, J., and Yuen, H.: 2020,MIP*=RE, t arXiv e-prints, arXiv:2001.04383. doi:10.48550/arXiv.2001.04383 (2020)

work page doi:10.48550/arxiv.2001.04383 2020

[15] [15]

Junge, M., Navascues, M., Palazuelos, C., Perez-Garcia, D., Scholz, V.B., and Werner, R.F.,Connes’ embedding problem and Tsirelson’s problem , Journal of Mathematical Physics52, 012102. (2011)

2011

[16] [16]

Operator algebras and their connection with Topology and Ergodic Theory

Haagerup, U.Injectivity and decomposition of completely bounded maps, “Operator algebras and their connection with Topology and Ergodic Theory”. Springer Lecture Notes in Math. 1132 (1985), 170–222

1985

[17] [17]

Lehner, F.M n-espaces, sommes d’unitaires et analyse harmonique sur le groupe libre, PhD thesis, 1997, Th` ese de doctorat dirig´ ee par Pisier, Gilles Math´ ematiques Paris 6 1997

1997

[18] [18]

267 (1997) 125–137

Pisier, G.Quadratic forms in unitary operators, Linear Algebra Appl. 267 (1997) 125–137

1997

[19] [19]

Pisier, G.On a Characterization of the Weak Expectation Property (WEP), arXiv e-prints, Art. no. arXiv:1907.06224, 2019. doi:10.48550/arXiv.1907.06224

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1907.06224 1907

[20] [20]

J., and Wiersma, M.,On exotic group C*-algebras, J

Ruan, Z. J., and Wiersma, M.,On exotic group C*-algebras, J. Funct. Anal. 271 (2016), no. 2, 437–453

2016

[21] [21]

Samei, E., and Wiersma, M.,Exotic C ∗-algebras of geometric groups, J. Funct. Anal. 286 (2024), no. 2, Paper No. 110228, 32 pp. Institute for Quantum Computing and Department of Pure Mathematics, University of W aterloo, W aterloo, ON, Canada N2L 3G1 Email address:vpaulsen@uwaterloo.ca W allenberg Centre for Quantum Technology, Chalmers University of Tech...

2024