12 citations · 29 across the 10 of their papers we have counts for
13 papers
Density of monochromatic infinite subgraphs II
Jan Corsten, Louis DeBiasio, Paul McKenney
In 1967, Gerencsér and Gyárfás proved a result which is considered the starting point of graph-Ramsey theory: In every 2-coloring of there is a monochromatic path on $\lceil(…
Forcing axioms and coronas of -algebras
Paul McKenney, Alessandro Vignati
We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separ…
Finite decomposition rank for virtually nilpotent groups
Caleb Eckhardt, Elizabeth Gillaspy, Paul McKenney
We show that inductive limits of virtually nilpotent groups have strongly quasidiagonal C*-algebras, extending results of the first author on solvable virtually nilpotent groups. W…
Is Parallel Programming Hard, And, If So, What Can You Do About It? (Release v2023.06.11a)
Paul E. McKenney
The purpose of this book is to help you program shared-memory parallel systems without risking your sanity. Nevertheless, you should think of the information in this book as a foun…
Density of monochromatic infinite subgraphs
Louis DeBiasio, Paul McKenney
For any countably infinite graph , Ramsey's theorem guarantees an infinite monochromatic copy of in any -coloring of the edges of the countably infinite complete graph $K…
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Lihao Liang, Paul E. McKenney, Daniel Kroening +1
Read-Copy Update (RCU) is a scalable, high-performance Linux-kernel synchronization mechanism that runs low-overhead readers concurrently with updaters. Production-quality RCU impl…
Ulam stability for some classes of C*-algebras
Paul McKenney, Alessandro Vignati
We prove some stability results for certain classes of C*-algebras. We prove that whenever is a finite-dimensional C*-algebra, is a C*-algebra and is appro…
Classification of C*-algebras generated by representations of the unitriangular group
Caleb Eckhardt, Craig Kleski, Paul McKenney
It was recently shown that each C*-algebra generated by a faithful irreducible representation of a finitely generated, torsion free nilpotent group is classified by its ordered K-t…
Automorphisms of
Paul Larson, Paul McKenney
We study conditions on automorphisms of Boolean algebras of the form (where is an uncountable cardinal and is the ideal of sets of cardinality less than ) w…
Finitely generated nilpotent group C*-algebras have finite nuclear dimension
Caleb Eckhardt, Paul McKenney
We show that group C*-algebras of finitely generated, nilpotent groups have finite nuclear dimension. It then follows, from a string of deep results, that the C*-algebra genera…
Reduced products of UHF algebras under forcing axioms
Paul McKenney
If is a sequence of C*-algebras, then the C*-algebra is called a reduced product. We prove, assuming Todorcevic's Axiom and Martin's Axiom, that e…
Homeomorphisms of Cech-Stone remainders: the zero-dimensional case
Ilijas Farah, Paul McKenney
We prove, using a weakening of the Proper Forcing Axiom, that any homemomorphism between Cech--Stone remainders of any two locally compact, zero-dimensional Polish spaces is induce…
Some Calkin algebras have outer automorphisms
Ilijas Farah, Paul McKenney, Ernest Schimmerling
We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, consistently, there are many outer automorphisms…