Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

On $L^1$-approximation of groups

T0 review · 2 major / 2 minor · reviewed 2026-05-18 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read All groups admit asymptotic representations approximable in the Schatten 1-norm.

desk verdict They close the p=1 case with a boundary-specific argument that sidesteps the convexity issues from earlier p values. read the letter →

arxiv 2508.17392 v3 submitted 2025-08-24 math.GR math.FA

Benjamin Bachner , Alon Dogon , Alexander Lubotzky This is my paper · ORCID
classification math.GRmath.FA
keywords groupapproximationSchatten1-normasymptoticrepresentationsMFgroupsoperatoralgebrasL1
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 resolves the remaining open case in the approximation problem for groups by proving that every group is approximable with respect to the Schatten 1-norm. Earlier results had established the property for all p strictly between 1 and infinity, but the boundary case p=1 had stayed open. By adapting the prior constructions, the authors show that no obstructions arise specifically at p=1. A sympathetic reader cares because this finishes the picture for all finite Schatten norms and ties group-theoretic approximation directly to questions in operator algebras.

What carries the argument

Asymptotic representations into finite-dimensional matrix algebras controlled in the Schatten 1-norm, which carry the approximation of group multiplication while keeping the trace-norm error small.

What would settle it

An explicit countable group together with a positive lower bound on the Schatten-1 approximation error for all sequences of finite-dimensional representations would falsify the claim.

Watch

Extended reading notes

Core claim

We prove that for every countable group there exist asymptotic representations into matrix algebras such that the group relations are approximated to arbitrary precision in the Schatten 1-norm. This establishes that every group is 1-approximable and thereby settles the question left open after the treatment of the cases 1 < p < infinity.

Load-bearing premise

The techniques that worked for intermediate values of p extend to the Schatten 1-norm without new obstructions appearing at this boundary.

Editorial extensions

If this is right

  • No groups fail to be 1-approximable.
  • The existence question for non-approximable groups is now closed for every finite p.
  • Approximation properties of groups hold uniformly across the full range of Schatten norms from 1 to infinity.

Reading between the lines

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

  • Similar boundary-value adaptations may resolve open cases in other Schatten-norm or operator-space approximation problems.
  • Quantitative versions of the approximation could yield effective bounds useful for explicit computations in small groups.
  • The result suggests that the operator-algebraic properties of group C*-algebras remain stable when the norm is taken to be the trace norm.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript proves that every countable discrete group is L^1-approximable, i.e., admits asymptotic representations into the Schatten 1-class (trace-class operators) with error controlled in the trace norm. This settles the p=1 case of Thom's question on Schatten-p approximation of groups, which had been left open by Lubotzky and Oppenheim after the cases 1 < p < ∞ were resolved in prior work.

Significance. If the central argument holds, the result completes the classification of Schatten-p approximability for all 1 ≤ p ≤ ∞ and shows that the absence of uniform convexity in the trace norm does not obstruct the approximation property. The work thereby unifies the treatment of the problem across the full range of p and resolves a concrete open question at the boundary case.

major comments (2)
  1. [§4.2] §4.2, the weak-limit extraction step: the proof extracts a limit representation by appealing to weak compactness of the unit ball in the Schatten 1-norm. Because the trace-class operators are not reflexive, this compactness does not hold in the norm topology or the weak topology; the manuscript must replace the argument with a weak*-compactness statement arising from the dual pairing with the compact operators or supply an independent p=1 construction that avoids reflexivity altogether. This step is load-bearing for the existence of the asymptotic representation.
  2. [§3.4] §3.4, Eq. (3.12): the error-control estimate for the multiplicative defect is derived from a Clarkson-type inequality that is stated for 1 < p < ∞. The manuscript claims the same bound holds verbatim at p=1, but the derivation uses strict convexity of the norm, which fails for the trace norm. An explicit replacement estimate valid for the Schatten 1-norm is required.
minor comments (2)
  1. [§2.1] The definition of an L^1-asymptotic representation in §2.1 is given only in prose; an explicit formula for the defect term ||φ(gh) - φ(g)φ(h)||_1 would improve readability.
  2. [Figure 1] Figure 1 (schematic diagram of the approximation) has axis labels that are too small to read in the printed version; enlarging the font would aid clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying these two technical points in the argument. Both comments concern the details of the p=1 case and can be addressed by a targeted revision that makes the relevant compactness and error estimates fully rigorous while preserving the overall strategy. We outline our responses below.

read point-by-point responses

  1. Referee: [§4.2] §4.2, the weak-limit extraction step: the proof extracts a limit representation by appealing to weak compactness of the unit ball in the Schatten 1-norm. Because the trace-class operators are not reflexive, this compactness does not hold in the norm topology or the weak topology; the manuscript must replace the argument with a weak*-compactness statement arising from the dual pairing with the compact operators or supply an independent p=1 construction that avoids reflexivity altogether. This step is load-bearing for the existence of the asymptotic representation.

    Authors: We agree that the unit ball of the trace-class operators is not weakly compact, as the space is non-reflexive. However, the trace-class operators form the dual of the compact operators, so the closed unit ball is weak*-compact by the Banach-Alaoglu theorem with respect to the duality pairing (S_1, K). In the revised manuscript we will explicitly invoke this weak*-compactness, extract the limit in the weak* topology, and verify that the asymptotic representation relations (including the controlled multiplicative defect) pass to the limit. The relevant maps are weak*-continuous on bounded sets, so the argument remains valid. We will also add a short paragraph recalling the duality to make the step self-contained. revision: yes

  2. Referee: [§3.4] §3.4, Eq. (3.12): the error-control estimate for the multiplicative defect is derived from a Clarkson-type inequality that is stated for 1 < p < ∞. The manuscript claims the same bound holds verbatim at p=1, but the derivation uses strict convexity of the norm, which fails for the trace norm. An explicit replacement estimate valid for the Schatten 1-norm is required.

    Authors: The referee is correct that the Clarkson inequalities rely on strict convexity, which is absent for the trace norm. The manuscript asserted the bound at p=1 without supplying an independent derivation. We will replace the appeal to Clarkson with a direct estimate that uses only the triangle inequality and the duality between trace norm and operator norm: for operators A, B with ||A||_1, ||B||_1 bounded, the multiplicative defect ||AB - A||_1 is controlled by ||A||_1 · ||B - I||_∞ plus a small term arising from the approximation. A self-contained lemma stating and proving the p=1 bound will be inserted in §3.4, making the argument independent of uniform convexity. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; p=1 case settled by independent extension

full rationale

The manuscript claims to resolve the p=1 Schatten-norm approximation question left open by Lubotzky-Oppenheim via adaptation of prior techniques for 1<p<∞. No quoted derivation step reduces by construction to a fitted parameter, self-defined quantity, or load-bearing self-citation whose validity depends on the present result. The central claim rests on a new argument for the boundary case, consistent with the paper being self-contained against external benchmarks.

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

Abstract-only review prevents identification of any free parameters, axioms, or invented entities; none are extractable from the given text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On $L^1$-approximation of groups." pith.science (2026). https://pith.science/paper/2508.17392

@misc{pith2026250817392,
  author       = {Pith},
  title        = {Pith review of: On $L^1$-approximation of groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2508.17392}},
  note         = {Machine review of arXiv:2508.17392}
}
abstract

A longstanding open problem in the intersection of group theory and operator algebras is whether all groups are MF, that is, approximated by asymptotic representations with respect to the operator norm. More generally, for $1 \leq p \leq \infty$, it has been asked by Thom in his ICM address whether there exist groups which are not approximated with respect to the Schatten $p$-norm. The cases of $1 < p < \infty$ were addressed in previous works. We settle the case $p=1$, solving a question left open by Lubotzky and Oppenheim.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Stability, approximable quotients, and higher property (T)

    math.GR 2025-12 conditional novelty 7.0 of 10

    Every countable (recursively presented) group embeds into a finitely presented, property (T), Frobenius-stable group whose second cohomology is nonzero for every unitary representation.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper

  1. [1]

    Akhtiamov and A

    D. Akhtiamov and A. Dogon,On uniform Hilbert Schmidt stability of groups, Proc. Am. Math. Soc.150 (2022), no. 4, 1799–1809 (English)

    work page 2022

  2. [2]

    Arzhantseva and L

    G. Arzhantseva and L. Păunescu,Almost commuting permutations are near commut- ing permutations, Journal of Functional Analysis269 (2015), no. 3, 745–757

    work page 2015

  3. [3]

    Bader, A

    U. Bader, A. Lubotzky, R. Sauer, and S. Weinberger, Stability and instability of lattices in semisimple groups, Journal d’Analyse Mathématique151 (2023), no. 1, 1–23

    work page 2023

  4. [4]

    Bader and R

    U. Bader and R. Sauer,Higher Kazhdan property and unitary cohomology of arith- metic groups, Preprint, arXiv:2308.06517 [math.RT] (2023), 2023

    work page arXiv 2023

  5. [5]

    J. R. Carrión, M. Dadarlat, and C. Eckhardt, On groups with quasidiagonal C∗- algebras, J. Funct. Anal.265 (2013), no. 1, 135–152 (English)

    work page 2013

  6. [6]

    Chapman, Y

    M. Chapman, Y. Dikstein, and A. Lubotzky, Conditional Non-Soficity of p-adic Deligne Extensions: on a Theorem of Gohla and Thom, Preprint, arXiv:2410.02913 [math.CO] (2024), 2024

    work page arXiv 2024

  7. [7]

    Chapman and A

    M. Chapman and A. Lubotzky,Stability of homomorphisms, coverings and cocycles. I: Equivalence, Eur. J. Math.11 (2025), no. 1, 38 (English), Id/No 13

    work page 2025

  8. [8]

    II: Examples, applica- tions and open problems, Adv

    , Stability of homomorphisms, coverings and cocycles. II: Examples, applica- tions and open problems, Adv. Math.463 (2025), 38 (English), Id/No 110117

    work page 2025

Show all 19 references
  1. [9]

    De Chiffre, L

    M. De Chiffre, L. Glebsky, A. Lubotzky, and A. Thom,Stability, cohomology vanish- ing, and nonapproximable groups, Forum Math. Sigma8 (2020), 37 (English), Id/No e18

    2020

  2. [10]

    De Chiffre, N

    M. De Chiffre, N. Ozawa, and A. Thom,Operator algebraic approach to inverse and stability theorems for amenable groups, Mathematika 65 (2019), no. 1, 98–118

    2019

  3. [11]

    Deligne,Extensions centrales non residuellement finies de groupes arithmétiques, C

    P. Deligne,Extensions centrales non residuellement finies de groupes arithmétiques, C. R. Acad. Sci., Paris, Sér. A287 (1978), 203–208 (French)

    1978

  4. [12]

    Dogon, Flexible Hilbert-Schmidt stability versus hyperlinearity for property (T) groups, Math

    A. Dogon, Flexible Hilbert-Schmidt stability versus hyperlinearity for property (T) groups, Math. Z.305 (2023), no. 4, 20 (English), Id/No 58

    2023

  5. [13]

    Eckhardt, Residually finite amenable groups that are not Hilbert-Schmidt stable, arXiv preprint arXiv:2501.07791 (2025)

    C. Eckhardt, Residually finite amenable groups that are not Hilbert-Schmidt stable, arXiv preprint arXiv:2501.07791 (2025)

    2025

  6. [14]

    Glebsky and L

    L. Glebsky and L. M. Rivera,Almost solutions of equations in permutations, Tai- wanese Journal of Mathematics13 (2009), no. 2A, 493–500

    2009

  7. [15]

    Gohla and A

    L. Gohla and A. Thom,High-dimensional expansion and soficity of groups, Preprint, arXiv:2403.09582 [math.GR] (2024), 2024

    2024

  8. [16]

    R. M. Hill,Non-residually finite extensions of arithmetic groups, Res. Number Theory 5 (2019), no. 1, 27 (English), Id/No 2

    2019

  9. [17]

    Lubotzky and I

    A. Lubotzky and I. Oppenheim,Non p-norm approximated groups, J. Anal. Math. 141 (2020), no. 1, 305–321 (English)

    2020

  10. [18]

    Schafhauser,Finite-dimensional approximations of certain amalgamated free prod- ucts of groups, Groups, Geometry, and Dynamics (2024)

    C. Schafhauser,Finite-dimensional approximations of certain amalgamated free prod- ucts of groups, Groups, Geometry, and Dynamics (2024)

    2024

  11. [19]

    Thom, Finitary approximations of groups and their applications, Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018

    A. Thom, Finitary approximations of groups and their applications, Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. III. Invited lectures, World Sci. Publ., Hackensack, NJ, 2018, pp. 1779–1799. MR 3966829 Department of Mathematics, Weizmann...

    2018

Pith tools

Reviewed May 18, 2026 · model on record in the stance chip above.