Pith. sign in

REVIEW 3 major objections 4 minor 2 cited by

The Hyperrigidity Conjecture for compact convex sets in $\mathbb{R}^2$

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every compact convex set in the plane, the continuous affine functions on it form a hyperrigid operator system.

desk verdict A likely correct proof of the planar hyperrigidity conjecture for A(K), but the keystone geometric lemma needs a careful fix before I'd trust it. read the letter →

arxiv 2411.11709 v1 pith:OF4LT7YZ submitted 2024-11-18 math.FA

Marcel Scherer This is my paper · ORCID
classification math.FA MSC 46L0546L0747B15
keywords hyperrigidityoperatorsystemunitalcompletelypositivemapcommutativeC*-algebraconvexsetaffinefunctionextremepointspolarparametrization
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes a two-dimensional case of Arveson's hyperrigidity conjecture: for every compact convex set $K$ in the plane, the operator system $A(K)$ of continuous affine functions on $K$ is hyperrigid inside the commutative C*-algebra $C(\mathrm{ex}(K))$ of continuous functions on the extreme points of $K$. Hyperrigidity means that any unital *-homomorphism of $C(\mathrm{ex}(K))$ is determined on the whole algebra by its restriction to $A(K)$, in the strongest possible way. This makes the convex set's affine geometry a complete invariant for representations of its extreme boundary. A direct corollary is that weak and strong operator convergence coincide for normal operators whose spectrum lies in $\mathrm{ex}(K)$, generalizing the classical fact that the two topologies agree on the unitaries.

What carries the argument

The argument is carried by geometric objects attached to the boundary of $K$. With $0$ in the interior, the polar parametrization $p : [0, 2\pi) \to \partial K$ writes boundary points as rays through the unit circle; convexity gives $p$ one-sided derivatives, and the lines $\partial_+ p(t)$ and $\partial_- p(t)$ through $p(t)$ in those derivative directions are supporting hyperplanes of $K$. A function $\sphericalangle(s,t)$ measures the angle between these supporting lines at two boundary parameters, and Lemma 2.9 partitions any boundary interval into small pieces on which this angle is close to $\pi$, meaning the two support lines almost coincide with the chord. The proof then compares distances from a fixed disjoint boundary interval $J$ to three lines through the endpoints of a test interval $I$: the two one-sided support lines and the chord. Lemma 3.4, the key geometric inequality, controls how this distance changes when $I$ is replaced by a subinterval, and Lemma 3.2 bounds the vertical oscillation of the rotated affine function $g_I$ on $p(I)$ by $\epsilon$ times the chord length. These bounds feed into an operator inequality from Brown's work (Lemma 3.1), which decomposes the interval $I$ into small pieces and shows each piece's contribution to $\pi(\chi_{p(I)}) \phi(\chi_{p(J)}) \pi(\chi_{p(I)})$ is arbitrarily small.

What would settle it

Compute the two distances in Lemma 3.4 for, say, a rounded square and nested boundary intervals; if the inequality ever reverses, the lemma fails and the proof collapses. Alternatively, any explicit compact convex $K \subset \mathbb{R}^2$ together with a unital *-homomorphism $\pi$ and a unital completely positive map $\phi$ that agree on $A(K)$ but differ on $C(\mathrm{ex}(K))$ would disprove Theorem 3.8 itself.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.8: if $K \subset \mathbb{R}^2$ is compact and convex, then $A(K) \subset C(\mathrm{ex}(K))$ is hyperrigid. Equivalently, every unital *-homomorphism $\pi : C(\mathrm{ex}(K)) \to B(H)$ has the unique extension property with respect to $A(K)$: the only unital completely positive map $\phi : C(\mathrm{ex}(K)) \to B(H)$ with $\phi|_{A(K)} = \pi|_{A(K)}$ is $\pi$ itself. The theorem extends Brown's earlier hyperrigidity result for operator systems $\langle 1, t, f \rangle$ generated by a strictly convex or concave function $f$, which correspond to $A(K)$ for $K$ the convex hull of the graph of $f$. A direct corollary is that the weak and strong operator topologies coincide on all normal operators $T \in B(H)$ with spectrum contained in $\mathrm{ex}(K)$.

Load-bearing premise

The whole proof leans on Lemma 3.4, the geometric assertion that shrinking a boundary interval cannot bring the three support lines through its endpoints closer to a fixed disjoint boundary interval; if that multi-case inequality fails for some convex set, the uniform positive lower bound that drives Step 1 collapses.

Editorial extensions

If this is right

  • For every compact convex planar $K$, $C(\mathrm{ex}(K))$ is hyperrigidly generated by $A(K)$, so any unital *-homomorphism of $C(\mathrm{ex}(K))$ is uniquely determined by its values on affine functions.
  • Weak and strong operator topology coincide on the set of normal operators with spectrum in $\mathrm{ex}(K)$, a direct generalization of the unitary case.
  • Brown's theorem for single strictly convex functions on an interval is recovered, since the graph of such $f$ is the extreme boundary of its convex hull and $A(K)$ is completely order isomorphic to $\langle 1, t, f \rangle$.
  • The conjecture for commutative C*-algebras remains open in general, but the planar compact-convex case is now settled.
  • Because the length of $\partial K$ is used in Inequality (7), the proof does not automatically extend to higher dimensions; the same scheme would require a substitute for finite perimeter.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A quantitative version of the theorem may hold: the norm of $\pi(\chi_{p(I)}) \phi(\chi_{p(J)}) \pi(\chi_{p(I)})$ should be bounded by a universal constant times a measure of the angular separation between $I$ and $J$, whereas the paper only proves vanishing.
  • For convex sets in $\mathbb{R}^d$, one might expect hyperrigidity of $A(K)$ in $C(\mathrm{ex}(K))$ under finite-perimeter or rectifiability hypotheses on $\partial K$; the obstruction identified here is exactly that arbitrary boundary paths can have infinite length.
  • The equivalence $A(K)$ hyperrigid if and only if $\pi(\chi_E) = \phi(\chi_E)$ for all Borel $E$ could be read as a Choquet-boundary statement: for planar convex sets, the extreme boundary is a hyperrigid boundary for $A(K)$.
  • Numerical computation of the Lemma 3.4 distance inequality for rounded polygons could reveal whether a simpler convex-geometric proof exists, since the current proof is multi-case and not machine-checked.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proves that for every compact convex subset K of R^2, the operator system A(K) of continuous affine functions on K is hyperrigid in C(ex(K)), the continuous functions on the extreme boundary. The proof reduces to the case 0 ∈ int K, uses the polar parametrization of ∂K, constructs affine separating functions from a rotation-translation g_I, partitions intervals by an angle lemma, and applies a lemma of Brown to obtain norm estimates for π(χ_p(I))φ(χ_p(J))π(χ_p(I)). A Dynkin-system argument then upgrades equality on closed intervals to equality on all Borel sets, and a corollary asserts equality of weak and strong operator topologies on normal operators whose spectrum lies in ex(K).

Significance. If the proof is correct, this is a notable result: it establishes the hyperrigidity of A(K) for all compact convex planar sets, generalizing Brown's work and covering a natural commutative case of Arveson's hyperrigidity program after the recent disproof of the general conjecture. The paper is self-contained, the geometric approach is attractive, and the application to normal operators is a clean corollary. The argument is not machine-checked, and the central geometric Lemma 3.4 is intricate and currently under-verified, so the significance is conditional on a careful revision of that lemma and of the affine-function estimate that feeds the main theorem.

major comments (3)
  1. [Section 3, beginning (Eq. (3) and definition of \tilde g_I)] The displayed definition of \tilde g_I is ambiguous: if it is literally Im(g_I) + \|Im(g_I)\|_{p(I),∞} / inf_{p(J)}|Im(g_I)|, then the claimed domination χ_{p(J)} ≤ \tilde g_I is false in general. For example, for K the unit disk, I a small arc around angle 0, and J = {π}, one has Im(g_I) ≈ 1+cos ε on J, while \|Im(g_I)\|_{p(I),∞} ≈ 1-cos ε and inf_{p(J)}|Im(g_I)| ≈ 1+cos ε, so \tilde g_I(p(π)) can be negative. The argument works if the intended function is (Im(g_I) + \|Im(g_I)\|_{p(I),∞})/inf_{p(J)}|Im(g_I)|, together with the sign convention that Im(g_I) ≤ 0 on p(I) and Im(g_I) ≥ 0 on p(J). Please state the formula unambiguously and verify the pointwise estimates on p(I) and p(J).
  2. [Section 3.2, Lemma 3.4, paragraph after Eq. (5)] The set defining z is mistyped as ∂+p(a) ∪ ∂-p(β) ∪ [p(α):p(β)]; it should be ∂+p(α) ∪ ∂-p(β) ∪ [p(α):p(β)]. This is load-bearing because the subsequent claim z ∉ H1 and the three-case contradiction rely on z lying on the boundary of H1, which is composed of the large-interval hyperplanes. As written, the proof of Equation (5) is not verifiable. Please correct this and expand the case split, which is currently too compressed for the keystone of the theorem.
  3. [Section 2, Lemma 2.9] The proof that the set {x ∈ (a,b) : ∢(x,x) ≤ π - ε} is finite is too compressed. If this set is infinite, the text asserts without justification that one can form convex polygons with arbitrarily many vertices whose corner angles are all < π - ε. The angle at a vertex of such an inscribed polygon is not automatically equal to ∢(s_i,s_i); one needs an approximation argument, and the sign convention for interior versus exterior angles should be made explicit. Since Lemma 3.2 depends on Lemma 2.9, this chain should be made rigorous.
minor comments (4)
  1. [Corollary 3.7 proof] There is a typo: 'π(χp(In))ϕ(χp(J )π(χp(In))' should read 'π(χp(In))ϕ(χp(J))π(χp(In))'.
  2. [Introduction and abstract] The phrase 'a arbitrary path' should be 'an arbitrary path', and the sentence about the weak and strong operator topologies could state explicitly that the topology statement is a corollary rather than the main theorem.
  3. [Lemma 3.4 notation] The proof uses both ω and w for the same point; please standardize the notation to avoid confusion.
  4. [Theorem 2.5] The 'Pigeonhole principle' step is terse; a brief explanation that the same half-plane is selected for infinitely many n and that this half-plane converges to one of the two tangent half-planes would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof is a parameter-free derivation from geometric properties of K and standard external results.

full rationale

The paper derives hyperrigidity of A(K) from geometric lemmas about the polar parametrization, using Brown's Corollary (Lemma 3.1), Arveson's Proposition 4.4 (via Lemma 3.5), and standard convex-analysis facts (Lemmas 2.1, 2.2, Theorem 2.5). No quantity is fitted to the target conclusion; the bound in Theorem 3.6 is obtained by partitioning intervals according to Lemma 3.2 and transferring a lower bound via Lemmas 3.3–3.4, all of which are proved from geometric properties of K rather than assumed. The only external citations (Brown, Arveson, Davidson–Donsig, Toponogov) are prior independent results, and none is authored by the present paper's author, so self-citation is not an issue. The author's remark that the proof of Lemma 3.4 is 'convoluted' concerns exposition and verification, not a circular dependence. Even the apparent index typo noted elsewhere is a correctness concern, not a circularity concern. The derivation chain from the stated assumptions to Theorem 3.8 is self-contained.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities appear. The paper's contribution is a geometric proof built on standard convex analysis and two cited external results. The listed axioms are the unproved background ingredients on which the central claim rests.

assumptions (4)
  • standard math Lemma 3.1: for a positive operator A and projections P_i with sum 1, ||A|| <= sum_i ||P_i A P_i||
    Quoted from Brown [4, Corollary 1.2]; used in Theorem 3.6 to localize norm bounds to partition subintervals.
  • standard math Prop 4.4 of Arveson [1]: point evaluations at extreme points have the unique extension property
    Used in Lemma 3.5 to force the POVM of the u.c.p. map to be a point mass on the fiber over an extreme point.
  • standard math The boundary of a compact convex set in R^2 has finite length
    Used in Eq. (7) of Theorem 3.6 to sum the partition bounds; cited to [12, Problem 1.5.1]. This is the dimension-2 feature that fails in higher dimensions.
  • standard math One-sided derivatives of convex functions exist and satisfy the continuity properties in Lemma 2.1
    Cited from [8]; used to establish analogous one-sided differentiability of the polar parametrization in Lemma 2.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Hyperrigidity Conjecture for compact convex sets in $\mathbb{R}^2$." pith.science (2026). https://pith.science/paper/OF4LT7YZ

@misc{pith2026241111709,
  author       = {Pith},
  title        = {Pith review of: The Hyperrigidity Conjecture for compact convex sets in $\mathbbR^2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OF4LT7YZ}},
  note         = {Machine review of arXiv:2411.11709}
}
abstract

We prove that for every compact, convex subset $K\subset\mathbb{R}^2$ the operator system $A(K)$, consisting of all continuous affine functions on $K$, is hyperrigid in the C*-algebra $C(\mathrm{ex}(K))$. In particular, this result implies that the weak and strong operator topologies coincide on the set $$ \{ T\in\mathcal{B}(H);\ T\ \mathrm{normal}\ \mathrm{and}\ \sigma(T)\subset \mathrm{ex}(K) \}. $$ Our approach relies on geometric properties of $K$ and generalizes previous results by Brown.

Figures

Figures reproduced from arXiv: 2411.11709 by the authors.

Figure 1
Figure 1. ∂D with p ′ (0) and p ′ (π) and ∂ − p(t) are supporting hyperplanes. Recall that a supporting hyperplane of K is a hyperplane such that K is entirely contained in one of the two closed half-spaces bounded by the hyperplane and K intersects the hyperplane. Example 2.4. Let K be the convex hull of {1, −1, i, −i}. Then, the polar parametrization p is given by p(t) = (0, 1) + 1 1 + tan(t) (1, −1) on (0, π/2) and p(t) = … view at source ↗
Figure 2
Figure 2. an example of ∂K with ∂ + p(0) and ∂ − p(0) following inequalities lim s→t,s<t [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. an illustration for the proof of Lemma 3.2 [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: ∂D with α = 9/8π, a = 11/8π, b = 13/8π and β = 15/8π. The hyperplanes ∂ + p(α) , ∂− p(β) and [p(α) : p(β)] are solid, ∂ + p(a) , ∂− p(b) and [p(a) : p(b)] are dashed. The set p(J) is given by the dotted line. Lemma 3.4. Let I, J ⊂ [0, 2π) be closed disjoint intervals a…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. $C^*$-supports and abnormalities of operator systems

    math.OA 2025-01 accept novelty 6.0 of 10

    C*-supports are unique exactly when the generated C*-algebra lies in every injective envelope, yielding new characterizations of unique extension and hyperrigidity and a formula for the span of abnormalities.

  2. Hyperrigidity III

    math.OA 2024-12 conditional novelty 6.0 of 10

    In a unital separable C*-algebra, a set G is hyperrigid exactly when every sequence of representations that converges weakly on G converges strongly on the whole algebra.

Reference graph

Works this paper leans on

13 extracted references · 8 canonical work pages · cited by 2 Pith papers

  1. [1]

    The noncommutative Choquet boundary II: hyperrigid- ity

    William Arveson. The noncommutative Choquet boundary II: hyperrigid- ity. Israel J. Math., 184:349–385, 2011

    work page 2011

  2. [2]

    Maximality of correspondence representations, 2024

    Boris Bilich. Maximality of correspondence representations, 2024. https://arxiv.org/abs/2407.04278

    arXiv 2024

  3. [3]

    Arveson’s hyperrigidity conjecture is false,

    Boris Bilich and Adam Dor-On. Arveson’s hyperrigidity conjecture is false,

    work page

  4. [4]

    Lawrence G. Brown. Convergence of functions of self-adjoint operators and applications. Publ. Mat., 60(2):551–564, 2016

    work page 2016

  5. [5]

    Non-commutative peaking phenomena and a local version of the hyperrigidity conjecture

    Raphael Clouâtre. Non-commutative peaking phenomena and a local version of the hyperrigidity conjecture. Proc. Lond. Math. Soc. (3), 117(2):221–245, 2018

    work page 2018

  6. [6]

    A boundary projection for the dilation order, 2023.https://arxiv.org/abs/2310.17601

    Raphael Clouâtre and Hridoyananda Saikia. A boundary projection for the dilation order, 2023.https://arxiv.org/abs/2310.17601

    arXiv 2023

  7. [7]

    Rigidity of operator systems: tight extensions and noncommutative measurable structures, 2024

    Raphael Clouâtre and Ian Thompson. Rigidity of operator systems: tight extensions and noncommutative measurable structures, 2024. https://arxiv.org/abs/2406.16806

    arXiv 2024

  8. [8]

    Davidson and Allan P

    Kenneth R. Davidson and Allan P. Donsig.Real analysis and applications. Undergraduate Texts in Mathematics. Springer, New York, 2010. Theory in practice. 20

    work page 2010

Show all 13 references
  1. [9]

    Davidson and Matthew Kennedy

    Kenneth R. Davidson and Matthew Kennedy. Choquet order and hyper- rigidity for function systems.Adv. Math., 385:Paper No. 107774, 30, 2021

    2021

  2. [10]

    Korovkin-type properties for completely positive maps.Illi- nois J

    Craig Kleski. Korovkin-type properties for completely positive maps.Illi- nois J. Math., 58(4):1107–1116, 2014

    2014

  3. [11]

    Hyperrigidity I: singly generated com- mutative C*-algebras, 2024.https://arxiv.org/abs/2405.20814

    Paweł Pietrzycki and Jan Stochel. Hyperrigidity I: singly generated com- mutative C*-algebras, 2024.https://arxiv.org/abs/2405.20814

    2024

  4. [12]

    Differential geometry of curves and surfaces

    VictorAndreevichToponogov. Differential geometry of curves and surfaces. Birkhäuser Boston, Inc., Boston, MA, 2006. A concise guide, With the editorial assistance of Vladimir Y. Rovenski. Fachrichtung Mathematik, Universität des Saarlandes, 66123 Saarbrücken, Ger- many Email a...

    2006

  5. [2024]

    https://arxiv.org/abs/2404.05018

    arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.