Researcher profile

Robin Tucker-Drob

Robin Tucker-Drob contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2025arXiv

The Radon--Nikodym topography of acyclic measured graphs

We study locally countable acyclic measure-class-preserving (mcp) Borel graphs by analyzing their "topography" -- the interaction between the geometry and the associated Radon--Nikodym cocycle. We identify three notions of topographic significance for ends in such graphs and show that the number of nonvanishing ends governs both amenability and smoothness. More precisely, we extend the Adams dichotomy from the pmp to the mcp setting, replacing the number of ends with the number of nonvanishing ends: an acyclic mcp graph is amenable if and only if a.e. component has at most two nonvanishing ends, while it is nowhere amenable exactly when a.e. component has a nonempty perfect (closed) set of nonvanishing ends. We also characterize smoothness: an acyclic mcp graph is essentially smooth if and only if a.e. component has no nonvanishing ends. Furthermore, we show that the notion of nonvanishing ends depends only on the measure class and not on the specific measure. At the heart of our analysis lies the study of acyclic countable-to-one Borel functions. Our critical result is that, outside of the essentially two-ended setting, all back ends in a.e. orbit are vanishing and admit cocycle-finite geodesics. We also show that the number of barytropic ends controls the essential number of ends for such functions. This leads to a surprising topographic characterization of when such functions are essentially one-ended. Our proofs utilize mass transport, end selection, and the notion of the Radon--Nikodym core for acyclic mcp graphs, a new concept that serves as a guiding framework for our topographic analysis.

preprint2021arXiv

Cost of inner amenable groupoids

Kida and Tucker-Drob recently extended the notion of inner amenability from countable groups to discrete p.m.p. groupoids. In this article, we show that inner amenable groupoids have "fixed priced 1" in the sense that every principal extension of an inner amenable groupoid has cost 1. This simultaneously generalizes and unifies two well known results on cost from the literature, namely, (1) a theorem of Kechris stating that every ergodic p.m.p. equivalence relation admitting a nontrivial asymptotically central sequence in its full group has cost 1, and (2) a theorem of Tucker-Drob stating that inner amenable groups have fixed price 1.

preprint2021arXiv

Dynamical alternating groups, stability, property Gamma, and inner amenability

We prove that the alternating group of a topologically free action of a countably infinite group $Γ$ on the Cantor set has the property that all of its $\ell^2$-Betti numbers vanish and, in the case that $Γ$ is amenable, is stable in the sense of Jones and Schmidt and has property Gamma (and in particular is inner amenable). We show moreover in the realm of amenable $Γ$ that there are many such alternating groups which are simple, finitely generated, and C$^*$-simple. The device for establishing nonisomorphism among these examples is a topological version of Austin's result on the invariance of measure entropy under bounded orbit equivalence.

preprint2020arXiv

Inner amenable groupoids and central sequences

We introduce inner amenability for discrete p.m.p. groupoids and investigate its basic properties, examples, and the connection with central sequences in the full group of the groupoid or central sequences in the von Neumann algebra associated with the groupoid. Among other things, we show that every free ergodic p.m.p. compact action of an inner amenable group gives rise to an inner amenable orbit equivalence relation. We also obtain an analogous result for compact extensions of equivalence relations which either are stable or have a non-trivial central sequence in their full group.

preprint2018arXiv

Folner tilings for actions of amenable groups

We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens the Ornstein--Weiss Rokhlin lemma. As an application we prove that, for every countably infinite amenable group G, the crossed product of a generic free minimal action of G on the Cantor set is Z-stable.

preprint2016arXiv

Brooks's theorem for measurable colorings

We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$-cliques, then $G$ admits a $μ$-measurable $d$-coloring with respect to any Borel probability measure $μ$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$-colorings of Cayley graphs of degree $d$, except in two exceptional cases.

preprint2016arXiv

Cocycle superrigidity for translation actions of product groups

Let $G$ be either a profinite or a connected compact group, and $Γ, Λ$ be finitely generated dense subgroups. Assuming that the left translation action of $Γ$ on $G$ is strongly ergodic, we prove that any cocycle for the left-right translation action of $Γ\timesΛ$ on $G$ with values in a countable group is virtually cohomologous to a group homomorphism. Moreover, we prove that the same holds if $G$ is a (not necessarily compact) connected simple Lie group provided that $Λ$ contains an infinite cyclic subgroup with compact closure. We derive several applications to OE - and W$^*$- superrigidity. In particular, we obtain the first examples of compact actions of $\mathbb F_2\times\mathbb F_2$ which are W$^*$-superrigid.

preprint2016arXiv

Hyperfiniteness and Borel combinatorics

We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chromatic number and measure chromatic number. We also show that for every $d > 1$ there is a $d$-regular acyclic hyperfinite Borel bipartite graph with no Borel perfect matching. These techniques also give examples of hyperfinite bounded degree Borel graphs for which the Borel local lemma fails, in contrast to the recent results of Csóka, Grabowski, Máthé, Pikhurko, and Tyros. Related to the Borel Ruziewicz problem, we show there is a continuous paradoxical action of $(\mathbb{Z}/2\mathbb{Z})^{*3}$ on a Polish space that admits a finitely additive invariant Borel probability measure, but admits no countably additive invariant Borel probability measure. In the context of studying ultrafilters on the quotient space of equivalence relations under $\mathrm{AD}$, we also construct an ultrafilter $U$ on the quotient of $E_0$ which has surprising complexity. In particular, Martin's measure is Rudin-Kiesler reducible to $U$. We end with a problem about whether every hyperfinite bounded degree Borel graph has a witness to its hyperfiniteness which is uniformly bounded below in size.