pith. sign in

arxiv: 2606.10723 · v1 · pith:K6S4DXIZnew · submitted 2026-06-09 · 🧮 math.OA · math.FA

Simplicity of q-Gaussian C*-algebras

Tattwamasi Amrutam , David Jekel , Mateusz Wasilewski This is my paper

Pith reviewed 2026-06-27 11:02 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords q-Gaussian C*-algebrasDixmier averaging propertysimplicityunique tracefree probabilityoperator algebrasC*-simplicity
0
0 comments X

The pith

q-Gaussian C*-algebras for q in (-1, 1) have the Dixmier averaging property and are therefore simple with a unique trace.

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

The paper shows that q-Gaussian C*-algebras satisfy the Dixmier averaging property when the deformation parameter q lies in the open interval from -1 to 1. It reaches this conclusion by merging rapid decay estimates with spectral gap estimates on commutators involving the generators, both drawn from free probability. If the argument holds, these algebras become simple C*-algebras equipped with exactly one trace. A reader cares because simplicity and uniqueness of the trace are fundamental structural properties that control how such algebras can be classified and represented.

Core claim

q-Gaussian C*-algebras for q ∈ (-1, 1) possess the Dixmier averaging property, which directly implies that each such algebra is simple and carries a unique trace. The proof proceeds by combining rapid decay and spectral gap estimates for commutators with the generators; these estimates are supplied by free probability.

What carries the argument

The Dixmier averaging property, obtained by combining rapid decay with spectral gap estimates on commutators with the generators from free probability.

If this is right

  • The algebras are simple C*-algebras.
  • Each algebra admits exactly one trace.
  • The Dixmier averaging property holds uniformly for the entire family with q in (-1, 1).

Where Pith is reading between the lines

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

  • The same estimates may apply to related deformed algebras outside the q-Gaussian family.
  • Simplicity and unique trace could simplify computations of K-theory or other invariants for these objects.
  • The method suggests a template for proving Dixmier averaging in other C*-algebras built from free-probability data.

Load-bearing premise

Rapid decay and spectral gap estimates for the commutators with the generators, taken from free probability, can be combined to establish the Dixmier averaging property.

What would settle it

An explicit q-Gaussian C*-algebra for some q in (-1, 1) that fails the Dixmier averaging property, or that is either non-simple or possesses more than one trace.

read the original abstract

We show that q-Gaussian $C^*$-algebras for $q \in (-1, 1)$ have the Dixmier averaging property, and hence are simple with a unique trace. We argue by combining rapid decay and spectral gap estimates for the commutators with the generators, which are obtained from free probability.

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.

Referee Report

0 major / 0 minor

Summary. The manuscript proves that the q-Gaussian C*-algebras A_q for q ∈ (-1,1) possess the Dixmier averaging property. As a consequence these algebras are simple and admit a unique normalized trace. The argument proceeds by combining rapid-decay estimates with spectral-gap bounds on commutators with the generators; both estimates are taken from free-probability theory.

Significance. If the central derivation holds, the result settles a long-standing structural question for this family of q-deformed CCR algebras. The explicit use of free-probability rapid-decay and gap estimates to obtain the Dixmier property supplies a concrete, verifiable route that may extend to other deformed operator algebras. The manuscript therefore supplies both a theorem and a reusable technique.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The referee's summary accurately captures both the main result and the technique employed.

Circularity Check

0 steps flagged

Derivation combines independent free-probability estimates; no circular reduction

full rationale

The paper's strategy is to combine rapid decay and spectral gap estimates for commutators (sourced from free probability) to obtain the Dixmier averaging property. The abstract and described approach treat these estimates as external inputs rather than deriving them internally or via self-citation chains. No equations or steps reduce a claimed prediction to a fitted parameter or rename a known result; the central claim therefore rests on independent external results and is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are mentioned. The argument is described as relying on prior free-probability estimates.

pith-pipeline@v0.9.1-grok · 5573 in / 1160 out tokens · 31686 ms · 2026-06-27T11:02:12.858168+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 1 linked inside Pith

  1. [1]

    The D ixmier property and tracial states for C^* -algebras

    Robert Archbold, Leonel Robert, and Aaron Tikuisis. The D ixmier property and tracial states for C^* -algebras. Journal of Functional Analysis , 273(8):2655--2718, 2017

    2017

  2. [2]

    Strong solidity of the q - G aussian algebras for all -1 < q < 1

    Stephen Avsec. Strong solidity of the q - G aussian algebras for all -1 < q < 1 . arXiv:1110.4918 , 2011

    Pith/arXiv arXiv 2011

  3. [3]

    On the isomorphism class of \(q\) - Gaussian \(C^ \) -algebras for infinite variables

    Matthijs Borst, Martijn Caspers, Mario Klisse, and Mateusz Wasilewski. On the isomorphism class of \(q\) - Gaussian \(C^ \) -algebras for infinite variables. Proc. Am. Math. Soc. , 151(2):737--744, 2023

    2023

  4. [4]

    \(q\) -gaussian processes: Non -commutative and classical aspects

    Marek Bo \.z ejko, Burkhard K \"u mmerer, and Roland Speicher. \(q\) -gaussian processes: Non -commutative and classical aspects. Commun. Math. Phys. , 185(1):129--154, 1997

    1997

  5. [5]

    Ultracontractivity and strong sobolev inequality for q -Ornstein--Uhlenbeck semigroup (-1 < q < 1)

    Marek Bo \.z ejko. Ultracontractivity and strong sobolev inequality for q -Ornstein--Uhlenbeck semigroup (-1 < q < 1). Infinite Dimensional Analysis, Quantum Probability and Related Topics , 2(2):203--220, 1999

    1999

  6. [6]

    An example of a generalized Brownian motion

    Marek Bo \.z ejko and Roland Speicher. An example of a generalized Brownian motion. Commun. Math. Phys. , 137(3):519--531, 1991

    1991

  7. [7]

    On the isomorphism class of \(q\) - Gaussian \(W^ \) -algebras for infinite variables

    Martijn Caspers. On the isomorphism class of \(q\) - Gaussian \(W^ \) -algebras for infinite variables. C. R., Math., Acad. Sci. Paris , 361:1711--1716, 2023

    2023

  8. [8]

    A note about proving non- under a finite non-microstates free fisher information assumption

    Yoann Dabrowski. A note about proving non- under a finite non-microstates free fisher information assumption. Journal of Functional Analysis , 258(11):3662--3674, 2010

    2010

  9. [9]

    A free stochastic partial differential equation

    Yoann Dabrowski. A free stochastic partial differential equation. Ann. Inst. H. Poincar \'e Probab. Statist. , 50(4):1404--1455, 2014

    2014

  10. [10]

    Obata's rigidity theorem in free probability

    Charles-Philippe Diez. Obata's rigidity theorem in free probability. Preprint, arXiv:2603.05466, 2026

    arXiv 2026

  11. [11]

    Frisch and R

    U. Frisch and R. Bourret. Parastochastics. J. Math. Phys. , 11:364--390, 1970

    1970

  12. [12]

    Guionnet and D

    A. Guionnet and D. Shlyakhtenko. Free monotone transport. Invent. Math. , 197(3):613--661, 2014

    2014

  13. [13]

    Selfless reduced free product C ⁎ -algebras

    Ben Hayes, Srivatsav Kunnawalkam Elayavalli , and Leonel Robert. Selfless reduced free product C ⁎ -algebras. arXiv preprint arXiv:2505.13265 , 2025

    arXiv 2025

  14. [14]

    On the analytic theory of non-commutative distributions in free probability

    Tobias Mai. On the analytic theory of non-commutative distributions in free probability . PhD thesis, Universit \"a t des Saarlandes, 2017

    2017

  15. [15]

    Mingo and Roland Speicher

    James A. Mingo and Roland Speicher. Free probability and random matrices , volume 35 of Fields Institute Monographs . Springer-Verlag, New York, 2017

    2017

  16. [16]

    A dual and conjugate system for q-gaussians for all q

    Akihiro Miyagawa and Roland Speicher. A dual and conjugate system for q-gaussians for all q. Advances in Mathematics , 413:108834, 2023

    2023

  17. [17]

    Absence of algebraic relations and of zero divisors under the assumption of full non-microstates free entropy dimension

    Tobias Mai, Roland Speicher, and Moritz Weber. Absence of algebraic relations and of zero divisors under the assumption of full non-microstates free entropy dimension. Advances in Mathematics , 304:1080--1107, 2017

    2017

  18. [18]

    Non-injectivity of the \(q\) -deformed von Neumann algebra

    Alexandre Nou. Non-injectivity of the \(q\) -deformed von Neumann algebra. Math. Ann. , 330(1):17--38, 2004

    2004

  19. [19]

    Maximal amenability of the generator subalgebra in q - G aussian von N eumann algebras

    Sandeepan Parekh, Koichi Shimada, and Chenxu Wen. Maximal amenability of the generator subalgebra in q - G aussian von N eumann algebras. J. Operator Theory , 80(1):125--152, 2018

    2018

  20. [20]

    Factoriality of \(q\) - Gaussian von Neumann algebras

    \'E ric Ricard. Factoriality of \(q\) - Gaussian von Neumann algebras. Commun. Math. Phys. , 257(3):659--665, 2005

    2005

  21. [21]

    The analogues of entropy and of F isher's information in free probability V

    Dan-Virgil Voiculescu. The analogues of entropy and of F isher's information in free probability V . Inventiones Mathematicae , 132:189--227, 1998

    1998