arXiv subjects

Jennifer Pi

Publications and source records attributed to Jennifer Pi.

9 recordsLinked to original sources

arXiv2026

A Game-Theoretic Unital Classification Theorem for $C^*$-Algebras

We study the complexity of the $KK$-equivalence relation on unital $C^*$-algebras, in the sense of descriptive set theory. We prove that $KK$-equivalence is analytic, which in turn shows that the set of separable $C^*$-algebras satisfying the UCT is analytic. This allows us to prove a game-theoretic refinement of the unital classification theorem: there is a transfer of strategies between Ehrenfeucht-Fra\"iss\'e games (of various lengths) on classifiable $C^*$-algebras and their invariants.

math.OA↗

arXiv2025

Free Independence is not definable

Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a definable set. We prove that pairs of freely independent elements do not form a definable set in the sense of continuous model theory, relative to the theory of both C$^*$-probability spaces and tracial von Neumann algebras.

math.OA↗

arXiv2025

Strong convergence to operator-valued semicirculars

We establish a framework for weak and strong convergence of matrix models to operator-valued semicircular systems parametrized by operator-valued covariance matrices $\eta = (\eta_{i,j})_{i,j \in I}$. Non-commutative polynomials are replaced by covariance polynomials that can involve iterated applications of $\eta_{i,j}$, leading to the notion of covariance laws. We give sufficient conditions for weak and strong convergence of general Gaussian random matrices and deterministic matrices to a $B$-valued semicircular family and generators of the base algebra $B$. In particular, we obtain operator-valued strong convergence for continuously weighted Gaussian Wigner matrices, such as Gaussian band matrices with a continuous cutoff, and we construct natural strongly convergent matrix models for interpolated free group factors.

math.OA↗

arXiv2025

Embeddings into the ultrapower of the Jiang-Su algebra

We study existence of embeddings into ultrapowers of the Jiang-Su algebra $\mathcal{Z}$ and the Razak-Jacelon algebra $\mathcal{W}$. More specifically, we show that the cone over any separable $C^*$-algebra embeds into the ultrapowers of both $\mathcal{Z}$ and $\mathcal{W}$. We also show that the result for $\mathcal{Z}$ generalizes to separable and exact continuous fields of $C^*$-algebras for which one of the fibers embeds into the ultrapower of $\mathcal{Z}$, if this fiber is suitably well-behaved.

math.OA↗

arXiv2023

Reflective Groupwork for Introductory Proof-Writing Courses

We discuss two proof evaluation activities meant to promote the acquisition of learning behaviors of professional mathematics within an introductory undergraduate proof-writing course. These learning behaviors include the ability to read and discuss mathematics critically, reach a consensus on correctness and clarity as a group, and verbalize what qualities ``good`` proofs possess. The first of these two activities involves peer review and the second focuses on evaluating the quality of internet resources. All of the activities involve groupwork and reflective discussion questions to develop students' experience with these practices of professional mathematics.

math.HO↗

arXiv2023

Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal{N}$ is never model complete if its direct integral decomposition contains $\mathrm{II}_1$ factors $\mathcal{M}$ such that $M_2(\mathcal{M})$ embeds into an ultrapower of $\mathcal{M}$. The proof in the case of $\mathrm{II}_1$ factors uses an explicit construction based on random matrices and quantum expanders.

math.OA↗

arXiv2023

On the First-Order Free Group Factor Alternative

We investigate the problem of elementary equivalence of the free group factors, that is, do all free group factors $L(\mathbb{F}_n)$ share a common first-order theory? We establish a trichotomy of possibilities for their common first-order fundamental group, as well as several possible avenues for establishing a dichotomy in direct analog to the free group factor alternative of Dykema and Radulescu. We also show that the $\forall \exists$-theories of the interpolated free group factors are increasing, and use this to establish that the dichotomy holds on the level of $\forall \exists$-theories. We conclude with some observations on related problems.

math.LO↗

arXiv2023

An Elementary Proof of the Inequality $\chi \leq \chi^*$ for Conditional Free Entropy

Through the study of large deviations theory for matrix Brownian motion, Biane-Capitaine-Guionnet proved the inequality $\chi(X) \leq \chi^*(X)$ that relates two analogs of entropy in free probability defined by Voiculescu. We give a new proof of $\chi \leq \chi^*$ that is elementary in the sense that it does not rely on stochastic differential equations and large deviation theory. Moreover, we generalize the result to conditional microstates and non-microstates free entropy.

math.OA↗

arXiv2023

Uniformly Super McDuff II$_1$ Factors

We introduce and study the family of uniformly super McDuff II$_1$ factors. This family is shown to be closed under elementary equivalence and also coincides with the family of II$_1$ factors with the Brown property introduced in arXiv:2004.02293. We show that a certain family of existentially closed factors, the so-called infinitely generic factors, are uniformly super McDuff, thereby improving a recent result of arXiv:2205.07442. We also show that Popa's family of strongly McDuff II$_1$ factors are uniformly super McDuff. Lastly, we investigate when finitely generic II$_1$ factors are uniformly super McDuff.

math.OA↗