REVIEW 2 major objections 6 minor 8 references
A Finite Dimensional Counterexample for Arveson's Hyperrigidity Conjecture
T0 review · 2 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A four-generator operator system gives the first finite-dimensional counterexample to the hyperrigidity conjecture: all irreducible representations have the unique extension property, yet the system is not hyperrigid.
desk verdict Finite-dimensional counterexample to Arveson's conjecture, plausible but with a repairable gap in the boundary-representation proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is the joint numerical-range bound for the tuple $(\tilde T_{1,c},T_2,T_3,T_4)$. Lemma 2.2 shows that the map $\Phi:A(\overline{B}_4)\to\tilde S_c$ sending $t_i$ to the corresponding operator is positive for $0<c\le1/2$; positivity is reduced, via the standard block-matrix positivity criterion, to the inequality $c^2P^*P\le |\beta|^{-1}M_f$, and the key constant is $\int_{S^3}(1+t_1)^{-1}dm=2$. Lemma 2.3 then upgrades the bound to all $0<c<1$ by writing the expectation of $\tilde T_{1,c}$ as a convex combination of expectations of $T_1$ and $T_{1,1/2}$. A second mechanism is the containment of all compact operators in $C^*(S_c)$, which yields the split exact sequence $0\to K\to C^*(S_c)\to C(S^3)\to0$; this makes the algebra type I and gives the short list of irreducible representations. Maximality of the point evaluations is then certified by the dilation theorem for pure states together with the numerical-range bound.
What would settle it
Pick $z=(1,0,0,0)$ and some $0<c<1$, and solve for a unital completely positive map $\Psi$ on $C^*(S_c)$ satisfying $\Psi(\tilde T_{1,c})=1$ and $\Psi(T_2)=\Psi(T_3)=\Psi(T_4)=0$ but $\Psi(P^*P)\neq0$; existence of such a map would be a second extension of the point evaluation $e_z$, directly contradicting the theorem.
Extended reading notes
Core claim
The paper's central claim is Theorem 2.5: for every $0<c<1$, the operator system $S_c=\operatorname{span}\{1,\tilde T_{1,c},T_2,T_3,T_4\}$, where $T_i=M_{t_i}\oplus0$ and $\tilde T_{1,c}$ is the upper-triangular block matrix with $M_{t_1}$ in the upper-left corner and $cP^*$ in the upper-right corner, is not hyperrigid, yet the restrictions to $S_c$ of all irreducible representations of $C^*(S_c)$—namely the identity representation and the evaluation maps $e_z$ for $z\in S^3$—have the unique extension property. The non-hyperrigidity is exhibited by the $*$-homomorphism sending the four generators to the multiplication operators $M_{t_1},M_{t_2},M_{t_3},M_{t_4}$, whose restriction to $S_c$ dilates non-trivially to the identity representation and therefore fails to have the unique extension property. The unique-extension half is proved by showing that the joint numerical range of the four operators in every non-maximal pure state lies strictly inside the unit ball of $\mathbb{R}^4$, while point evaluations lie on the sphere.
Load-bearing premise
The proof that the point evaluations are maximal rests on two pillars: the classification of the irreducible representations of $C^*(S_c)$ as only the identity and the point evaluations, and the theorem that every pure state dilates to a boundary representation; if either fails to apply here, the unique-extension claim for $S_c$ would not go through.
Editorial extensions
If this is right
- The hyperrigidity conjecture fails within the class of finite-dimensional operator systems, so the earlier infinite-dimensional counterexample is not an artefact of infinite dimension.
- For this $S_c$, the unique extension property on irreducible representations does not imply the unique extension property on all representations, so hyperrigidity requires a genuinely global condition.
- The counterexample is a one-parameter family indexed by $0<c<1$, so the phenomenon is stable under perturbation of the coupling constant $c$.
- Because $C^*(S_c)$ is type I and has only identity-plus-evaluation irreducible representations, the failure cannot be blamed on exotic representation theory.
- Any proposed repair of the conjecture must rule out this construction, for instance by imposing extra structure on the operator system beyond the irreducible unique-extension property.
Reading between the lines
- This suggests the phenomenon is not tied to the specific sphere $S^3$: replacing the spherical model by the $n$-sphere and the projection $P$ by integration over $S^n$ may yield finite-dimensional operator systems with $n+1$ generators sharing the same dichotomy, with the integral $\int_{S^n}(1+t_1)^{-1}$ controlling the admissible range of $c$.
- One could test the construction numerically on finite-dimensional subspaces of $L^2(S^3)$ spanned by low-degree spherical harmonics: if the joint-numerical-range bound persists under truncation, the counterexample survives in a purely matrix model accessible to computer verification.
- The fact that the identity representation is not a boundary representation of $S_c$ while all irreducible representations are suggests that hyperrigidity may depend on how the operator system sits inside the C*-algebra, not just on the extremal structure of its state space.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs, for each 0 < c < 1, a finite-dimensional operator system Sc generated by four operators acting on L2(S3) ⊕ C, and claims that Sc is not hyperrigid while every irreducible representation of C*(Sc) restricts to a boundary representation of Sc. The argument follows the strategy of Bilich and Dor-On but replaces the infinite-dimensional construction with a rank-one perturbation controlled by c, so that the ambient algebra C*(Sc) becomes an extension of the compact operators by C(S3). The main technical steps are estimates on the joint numerical range of the generators, the identification of the irreducible representations of C*(Sc), and the verification of the unique extension property via Arveson's boundary theorem and Davidson-Kennedy's maximal dilation theorem.
Significance. If the proof is completed, this gives the first finite-dimensional counterexample to Arveson's hyperrigidity conjecture, a notable result in operator system theory. The construction is explicit and the use of a four-dimensional Euclidean ball together with a rank-one perturbation is elegant. The paper correctly relies on deep tools and gives a detailed proof of the crucial numerical range estimates. The main gap, concerning the application of Arveson's boundary theorem to an operator outside the operator system, is localized and has a clear repair, so the central claim is defensible.
major comments (2)
- [Theorem 2.5, proof of boundary representation for the identity] The proof invokes Arveson's boundary theorem with the inequality 1 = ||Σ_{i=1}^4 T_i^*T_i|| < ||T_{1,c}^*T_{1,c} + Σ_{i=2}^4 T_i^*T_i|| to conclude that the identity representation of C*(Sc) is a boundary representation. The boundary theorem, however, requires the test operators to belong to the operator system Sc. The tuple (T_{1,c}, T2, T3, T4) does not satisfy this requirement: Sc is generated by \tilde{T}_{1,c}, T2, T3, T4, and T_{1,c} differs from \tilde{T}_{1,c} by the operator [[0,0],[cP,0]], which is not in the span of 1, \tilde{T}_{1,c}, \tilde{T}_{1,c}^*, T_i, T_i^* (a block-entry comparison shows that no such linear combination can produce the (2,1) block). This is a load-bearing gap, but it is repairable: replace T_{1,c} by X1 = (\tilde{T}_{1,c}+\tilde{T}_{1,c}^*)/2 = T_{1,c/2}, which lies in Sc, and verify the norm estimate ||X1^2+Σ_{i=2}^4 T_i^2|| > 1 while every point evaluation gives norm 1; with that tuple the boundary theorem applies. The authors should either make this replacement or explicitly exhibit another tuple from Sc that satisfies the boundary-theorem hypothesis.
- [Theorem 2.5, proof that point evaluations are maximal] The sentence 'It follows from Equation (2) that the restrictions of the maps ez to Sc are extreme points of S(Sc)' omits the argument that explains why the bound in Equation (2) forces the ez to be extreme. The needed step is the strict convexity of the Euclidean unit ball in C^4: if ez = λφ + (1-λ)ψ with 0<λ<1 and φ,ψ∈S(Sc), then the tuples (φ(\tilde{T}_{1,c}),φ(T2),φ(T3),φ(T4)) and (ψ(\tilde{T}_{1,c}),ψ(T2),ψ(T3),ψ(T4)) lie in the closed unit ball by Equation (2), and their convex combination is the boundary point z; strict convexity forces both tuples to equal z, hence φ=ψ=ez on the generators, and therefore on Sc. Since this extremity is then used together with Equation (3) to prove maximality of the point evaluations, the missing justification should be supplied explicitly.
minor comments (6)
- [Theorem 2.5] 'Arvson' should be 'Arveson'.
- [Lemma 2.2] In the definition of Φ, 'δte' appears to be a typo for 'δt4'.
- [Lemma 2.2] The assertion that the inverse of Φ is positive is not proved and is not used elsewhere in the paper; either provide a proof or delete the assertion.
- [After Lemma 2.4] The notation (T1,c, T2, T3, T4) is used to describe the quotient C*(Sc)/K ≅ C(S3), but T1,c is not one of the original generators of Sc; please state explicitly that T1,c ∈ C*(Sc) follows from Lemma 2.4 before using it in the quotient description.
- [Lemma 2.1] The equality case in the Cauchy-Schwarz step is treated very tersely; an expanded argument that the multiplication operators M_ti have no eigenvalues on L2(S3) (and on the C summand) would improve readability.
- [Throughout] The name 'Carathédory' should be spelled 'Carathéodory'.
Circularity Check
No significant circularity: the counterexample is constructed from explicit operators using independent external theorems.
full rationale
The paper's derivation is self-contained in the relevant sense: it constructs a concrete operator system Sc from explicit operators on L2(S3) ⊕ C and proves the two required properties (non-hyperrigidity and unique extension for restrictions of irreducible representations) by direct estimates and by appeal to independent, externally established results. The construction idea from [5] is a strategy, not a theorem whose conclusion is assumed; the unique-extension argument relies on Davidson-Kennedy's maximal-dilation theorem and on a classification of irreducible representations obtained via Glimm's type-I theorem, both independent of the paper's conclusion. No parameter is fitted, and no target statement is used as an input under a different name. The closest candidate for concern is that Arveson's boundary theorem is applied to the tuple (T1,c, T2, T3, T4) even though T1,c is not a generator of Sc; that is a possible applicability gap in the proof as written, but it is not circularity, because the norm inequality is not equivalent by construction to the conclusion that the identity representation is a boundary representation. The central claim does not reduce to its own inputs, so the paper receives a circularity score of 0.
Assumptions & free parameters
assumptions (4)
- domain assumption Arveson's boundary theorem (invoked without precise statement)
- domain assumption Davidson-Kennedy maximal dilation theorem [6, Theorem 2.4]
- domain assumption Glimm's type I theorem [7] and classification of irreducibles [3]
- standard math Carathéodory's theorem for finite-dimensional convex sets
Cite this review
Pith. "Pith review of A Finite Dimensional Counterexample for Arveson's Hyperrigidity Conjecture." pith.science (2026). https://pith.science/paper/CJY4IQSR
@misc{pith2026250210286,
author = {Pith},
title = {Pith review of: A Finite Dimensional Counterexample for Arveson's Hyperrigidity Conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/CJY4IQSR}},
note = {Machine review of arXiv:2502.10286}
}
abstract
We construct an operator system generated by $4$ operators that is not hyperrigid, although all restrictions of irreducible representations have the unique extension property.
Reference graph
Works this paper leans on
- [1]
-
[2]
Minimal upper bounds of c ommuting operators
Charles Akemann and Nik Weaver. Minimal upper bounds of c ommuting operators. Proc. Amer. Math. Soc. , 124(11):3469–3476, 1996
work page 1996
-
[3]
An invitation to C∗-algebras, volume No
William Arveson. An invitation to C∗-algebras, volume No. 39 of Graduate Texts in Mathematics . Springer-Verlag, New York-Heidelberg, 1976
work page 1976
-
[4]
The noncommutative Choquet boundary I I: hyperrigidity
William Arveson. The noncommutative Choquet boundary I I: hyperrigidity. Israel J. Math. , 184:349–385, 2011
work page 2011
-
[5]
Arveson’s hyperrigidity c onjecture is false,
Boris Bilich and Adam Dor-On. Arveson’s hyperrigidity c onjecture is false,
-
[6]
Kenneth R. Davidson and Matthew Kennedy. The Choquet bou ndary of an operator system. Duke Math. J. , 164(15):2989–3004, 2015
work page 2015
-
[7]
James Glimm. Type I C∗-algebras. Ann. of Math. (2) , 73:572–612, 1961. Fachrichtung Mathematik, Universität des Saarlandes, 661 23 Saarbrücken, Germany Email address: scherer@math.uni-sb.de 7
work page 1961
-
[2024]
https://arxiv.org/abs/2404.05018
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.