Four-dimensional operator systems without the lifting property

Samuel J. Harris

REVIEW 2 major objections 4 minor 3 cited by

Four-dimensional operator systems without the lifting property

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Explicit four-dimensional operator systems in matrix algebras over reduced free group C*-algebras have identity maps with no unital completely positive lift to bounded operators on Hilbert space.

desk verdict A clean conditional construction whose headline conclusion depends on an unstated existence theorem for rho; send it to review and have the referee check that premise. read the letter →

arxiv 2508.00113 v2 pith:LA36QIYM submitted 2025-07-31 math.OA math.FA

Samuel J. Harris This is my paper · ORCID

classification math.OAmath.FA MSC 46L0746L05

keywords operatorsystemsliftingpropertyCalkinalgebraunitalcompletelypositivemapsfreegroupC*-algebrasSmith-Wardproblemjointmatrixranges

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

This paper constructs explicit four-dimensional operator systems without the lifting property, both as subsystems of the Calkin algebra on a separable Hilbert space and, more generally, inside matrix algebras over unital C*-algebras generated by $n$ unitaries. For each $n \ge 2$ it produces a four-dimensional operator system $S$ in $M_{n+1}(C_r^*(F_n))$ whose identity map has no unital completely positive lift to $B(H)$ through the canonical quotient map. The construction starts from any unital *-homomorphism $\rho: A \to Q(H)$ with no completely positive lift and transfers the obstruction to a four-dimensional subsystem. The paper also derives negative answers to a generalized Smith-Ward problem about lifting joint matrix ranges of three self-adjoint operators.

What carries the argument

The mechanism is the canonical quotient map $\pi: B(H) \to Q(H)$ from bounded operators on separable Hilbert space to the Calkin algebra, together with a unital *-homomorphism $\rho: A \to Q(H)$ that has no unital completely positive lift. The construction assembles a four-dimensional operator subsystem $S$ inside $M_{n+1}(A)$ so that any ucp lift of the identity map on $S$ would pull back to a ucp lift of $\rho$, producing the contradiction. This transfers the obstruction from the infinite-dimensional quotient map to a finite-dimensional subsystem.

What would settle it

Find one of the constructed four-dimensional systems $S$ in $M_{n+1}(C_r^*(F_n))$ and produce a unital completely positive map from $S$ to $B(H)$ whose composition with the quotient map equals the identity on $S$; the paper's claim says this cannot be done for any of them.

Watch

Extended reading notes

Core claim

The central claim is that a failure of lifting can be localized into four-dimensional operator subsystems. Whenever $A$ is a unital C*-algebra generated by $n$ unitaries and $\rho: A \to Q(H)$ is a unital *-homomorphism with no unital completely positive lift, there exists a four-dimensional operator subsystem $S$ of $M_{n+1}(A)$ such that the identity map on $S$ has no ucp lift with respect to the canonical quotient map $\pi: B(H) \to Q(H)$. Taking $A = C_r^*(F_n)$ yields, for each $n \ge 2$, an explicit four-dimensional operator system inside $M_{n+1}(C_r^*(F_n))$ without the lifting property. The same examples give negative answers to the generalized Smith-Ward problem for liftings of joint matrix ranges of three self-adjoint operators.

Load-bearing premise

The construction assumes there is a unital *-homomorphism from a unital C*-algebra generated by $n$ unitaries into the Calkin algebra that has no unital completely positive lift, and if no such map exists for a given algebra, the four-dimensional subsystem is not produced.

Editorial extensions

If this is right

For each $n \ge 2$ there are explicit four-dimensional operator systems in $M_{n+1}(C_r^*(F_n))$ without the lifting property.
The generalized Smith-Ward problem for liftings of joint matrix ranges has a negative answer for three self-adjoint operators.
Any unital C*-algebra generated by $n$ unitaries that admits a no-ucp-lift homomorphism into the Calkin algebra produces such a subsystem, so the phenomenon is not tied to a single algebra.
The examples show that failure of the lifting property can be witnessed in dimension four rather than only in infinite-dimensional settings.

Reading between the lines

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

A natural testable extension is whether every operator system of dimension at most three has the lifting property; if so, four is the minimal obstruction dimension.
The paper's Smith-Ward counterexample uses three self-adjoint operators, suggesting the minimal number of self-adjoint generators needed to defeat lifting may be exactly three, with two operators always lifting.
Because the systems live in matrix algebras over the reduced free group C*-algebra, the counterexamples are tied to the existence of a no-lift homomorphism from that C*-algebra into the Calkin algebra; changing that existence question would sharpen or remove the examples.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Short version: the paper's actual content is a clean conditional construction, and the abstract's unconditional headline depends on an external existence theorem that isn't visible from the abstract. That's the thing to check before taking the examples seriously.

What's new and good: Given a unital *-homomorphism rho from a unital C*-algebra A generated by n unitaries into the Calkin algebra with no ucp lift, Harris builds a four-dimensional operator subsystem S of M_{n+1}(A) without the lifting property. That is a neat, low-dimensional construction, and the Smith-Ward negative answer for three self-adjoint operators follows as a corollary. If the proof works, the construction likely gives the first explicit four-dimensional examples without the LP in the Calkin algebra, which would be a genuine contribution.

The soft spot is exactly the one flagged in the stress-test: the unconditional statement "for each n >= 2 we exhibit S in M_{n+1}(C_r^*(F_n))" requires a rho from the reduced free group C*-algebra into Q(H) with no ucp lift. The abstract neither proves nor cites such a rho. If the full text supplies a citation or a short proof, fine. If it only has the conditional theorem, then the "as a result" step is unsupported. This is not a circularity problem; the construction itself is conditional. It is a missing premise. There's also a second, smaller thing: the abstract says the systems are contained in Q(H), but the construction gives a subsystem of M_{n+1}(A). The connection must be that one applies rho entrywise and identifies M_{n+1}(Q(H)) with a corner of Q(H tensor l2), or something similar. That's standard, but it deserves a line in the text.

On the evidence available — an abstract — the math looks plausible, and there's no sign of internal contradiction. But I can't confirm the central claim, and I'd want a referee to check two things: the existence of rho for free groups, and the propagation of non-liftability from rho to the identity on S. If those check out, this is a solid short paper. If the existence of rho is only assumed, the headline needs to be softened.

My recommendation: send it to review. It's a short note with a potentially important counterexample; the referee will quickly establish whether the premise holds. The paper is honest about the conditional structure, so it deserves careful reading rather than a desk reject.

Referee Report

2 major / 4 minor

Summary. The note aims to construct explicit four-dimensional operator systems inside the Calkin algebra whose identity maps have no unital completely positive lift to B(H). For each unital C*-algebra A generated by n unitaries admitting a unital *-homomorphism ρ: A → Q(H) without ucp lift, the authors construct a four-dimensional operator subsystem S of M_{n+1}(A) without the lifting property. They then conclude, for each n ≥ 2, that such an S exists inside M_{n+1}(C_r^*(F_n)), and relate the construction to a negative answer to a generalized Smith-Ward problem for joint matrix ranges of three self-adjoint operators. Only the abstract was available for this review.

Significance. If the construction is correct, it provides a new explicit family of finite-dimensional operator systems in the Calkin algebra without the lifting property, which is directly relevant to the longstanding lifting problem for operator systems and to Kirchberg's conjecture. The conditional construction "given ρ, build S" is a natural and potentially useful device, and the connection to the Smith-Ward problem adds interest. However, because the full text was not available, the proofs cannot be checked; the abstract alone does not establish the key unconditional existence claim.

major comments (2)

[Abstract] The sentence "As a result, for each n ≥ 2 ..." rests on the existence of a unital *-homomorphism ρ: C_r^*(F_n) → Q(H) with no ucp lift for n ≥ 2. The abstract neither proves nor cites such a map. If the full text provides such a ρ (or a proof of its existence), this comment is moot; otherwise, the main examples are conditional on an unstated premise and the headline claim is not established.
[Abstract] The passage from a subsystem S of M_{n+1}(A) to an operator system "contained in the Calkin algebra" requires an explicit embedding of M_{n+1}(A) into Q(H) and a proof that the identity map on S has no ucp lift, not merely that ρ has none. The abstract does not describe this embedding or the propagation argument, so this step cannot be verified from the available text.

minor comments (4)

[Abstract] The word "explicit" in the first sentence should be reconciled with the existence-only input ρ; if the existence of ρ relies on a non-constructive theorem, the examples are not explicit in the usual sense.
[Abstract] The abstract should state the dimension base field for "four-dimensional" and clarify whether S is a concrete operator system as a subspace of Q(H).
[Abstract] The reference to the "generalized Smith-Ward problem" would benefit from a definition or citation, as the term is not standard to all readers.
[Abstract] The restriction to n ≥ 2 is stated without explanation; a sentence clarifying why n = 1 is excluded would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the construction is conditional on an external liftless rho, and the unconditional free-group claim rests on an unstated existence premise rather than on a self-referential derivation.

full rationale

The derivation chain as stated is conditional: given a unital *-homomorphism rho from a unital C*-algebra generated by n unitaries into Q(H) with no ucp lift, the paper constructs a four-dimensional subsystem S of M_{n+1}(A) without the lifting property. This is a genuine construction/implication, not a definitional equivalence: S is not defined as 'the thing that lacks a lift' but is built from A and rho, and the lift obstruction is claimed to pass to S. No equation in the abstract identifies the input with the output, and no parameter is fitted to the target conclusion. The abstract's unconditional sentence 'As a result, for each n ≥ 2 we exhibit a four-dimensional operator system S in M_{n+1}(C_r^*(Δ_n)) without the lifting property' requires an auxiliary existence result for a liftless rho from C_r^*(Δ_n) to Q(H) that is neither proved nor cited in the abstract; that is an external premise and a correctness risk, not circularity. There is no self-citation, no ansatz smuggled via citation, and no renaming of a known result visible in the abstract. Therefore no circular step is exhibited.

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

The main external input is a no-lift homomorphism into the Calkin algebra. No fitted or hand-chosen numerical parameters appear in the abstract. No new abstract entities are introduced; only operator systems are constructed.

assumptions (2)

domain assumption For the relevant unital C*-algebra A (including C_r^*(F_n) for n >= 2), there exists a unital *-homomorphism rho: A -> Q(H) with no unital completely positive lift.
The abstract's construction is conditional on such rho. The free-group examples rely on the existence of such rho for C_r^*(F_n). If this is proven in the paper, it is a result; if imported, it is an external assumption.
standard math Standard operator algebra facts: the Calkin algebra is the quotient of B(H) by compact operators; unital completely positive maps and the lifting property are defined as usual.
These are foundational background needed for the statement and proof; no special axioms beyond standard functional analysis.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Four-dimensional operator systems without the lifting property." pith.science (2026). https://pith.science/paper/LA36QIYM

@misc{pith2026250800113,
  author       = {Pith},
  title        = {Pith review of: Four-dimensional operator systems without the lifting property},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LA36QIYM}},
  note         = {Machine review of arXiv:2508.00113}
}

abstract

The purpose of this note is to provide a family of explicit examples of $4$-dimensional operator systems contained in the Calkin algebra $\mathcal{Q}(\mathcal{H})$ on a separable infinite-dimensional Hilbert space $\mathcal{H}$ for which the identity map has no unital completely positive (ucp) lift to $\mathcal{B}(\mathcal{H})$ with respect to the canonical quotient map $\pi:\mathcal{B}(\mathcal{H}) \to \mathcal{Q}(\mathcal{H})$. More specifically, to each unital $C^*$-algebra $\mathcal{A}$ generated by $n$ unitaries and unital $*$-homomorphism $\rho:\mathcal{A} \to \mathcal{Q}(\mathcal{H})$ with no ucp lift, we construct a four-dimensional operator subsystem $\mathcal{S}$ of $M_{n+1}(\mathcal{A})$ without the lifting property. As a result, for each $n \geq 2$ we exhibit a four-dimensional operator system $\mathcal{S}$ in $M_{n+1}(C_r^*(\mathbb{F}_n))$ without the lifting property. We also obtain explicit examples where the generalized Smith-Ward problem for liftings of joint matrix ranges for three self-adjoint operators has a negative answer.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

Ubiquity of counterexamples to the Smith-Ward problem
math.OA 2026-07 accept novelty 7.5 of 10

Every finitely generated C*-algebra without LLP contains a hyperrigid three-dimensional operator subsystem without LP (and often without exactness), giving ubiquitous Smith-Ward counterexamples and a 3D nuclearity detector.
A Three-Dimensional Operator System without the Smith--Ward Property
math.OA 2026-07 accept novelty 7.0 of 10

There is a three-dimensional hyperrigid operator system span{1,q(D),q(K)} in the Calkin algebra with no u.c.p. lift, so D+iK counters the Smith–Ward problem and the system is not exact.
Representations of noncommutative cubes and prisms
math.OA 2026-01 conditional novelty 7.0 of 10

The noncommutative triangular prism is exactly the maximal noncommutative convex set over the classical triangle prism, characterized by joint unitary dilations via Halmos and Mirman's theorems.

Pith tools

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