Jason Rute

Jason Rute - Nov 24, 2009

News

About Me

I am a research associate (post doc) at Penn State specializing in mathematical logic.

In 2013, I received my Ph.D. in Mathematical Science from Carnegie Mellon University under Jeremy Avigad.

I am interested in the nontrivial interactions between computable mathematical structure and classical mathematical structure. To this aim, I work on problems in algorithmic randomness, reverse mathematics, effective mathematics, and quantitative analysis (including metastability).

See my Curriculum Vitae and Research Statement for more information.

Teaching

Math 457: Introduction to Mathematical Logic (Spring 2014).

Publications

Algorithmic randomness, martingales and differentiation
[preprint]

Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
with Jeremy Avigad.
Ergodic Theory and Dynamical Systems. To appear. [arXiv]

Van Lambalgen's theorem for uniformly relative Schnorr and computable randomness
with Kenshi Miyabe.
Proceedings of the 12th Asian Logic Conference, 251–270, 2013. [arXiv] [doi]

Computable randomness and betting for computable probability spaces
Submitted. [arXiv]

Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
with Jeremy Avigad, Edward Dean.
Annals of Pure and Applied Logic, 163(12):1854–1864, 2012. [arXiv] [doi]

A metastable dominated convergence theorem
with Jeremy Avigad, Edward Dean.
Journal of Logic and Analysis, 4:3:1–19, 2012. [doi]

Dissertation

Topics in algorithmic randomness and computable analysis
PhD dissertation. Carnegie Mellon University, 2013.
Consists of the following two papers:
     Computable randomness and betting for computable probability spaces
     Algorithmic randomness, martingales and differentiation

Recent Talks

Schnorr randomness and computable analysis
AMS Sectional Meeting: Computability Across Mathematics, October 19–20, 2013
[slides]

Topics in algorithmic randomness and computable analysis (PhD defense presentation)
Carnegie Mellon University, Mathematical Sciences Dept, August 8, 2013
[slides]

Algorithmic randomness for Doob's martingale convergence theorem in continuous time
Computability and complexity in analysis, July 8–10, 2013
[slides]

Schnorr randomness for noncomputable measures
Computability in Europe, July 1–5, 2013
[slides]

Transformations which preserve computable randomness
Algorithmic Randomness and Analysis, June 27–28, 2013
[abstract] [slides]

The computability of martingale convergence
Joint Mathematics Meeting / ASL Contributed Paper Session, January 9–12, 2013
[abstract] [slides]

Computable randomness and martingales a la probability theory
Penn State Logic Seminar, November 13, 2012
[abstract] [slides]

Ultrafilters and Ergodic Theory
Arbeitsgemeinschaft: Ergodic Theory and Combinatorial Number Theory,
October 7–19, 2012
[extended abstract]

Martingale convergence and algorithmic randomness
Logic Colloquium 2012, July 12–18, 2012.
[slides]

Computable randomness and its properties
7th Conference on Computability, Complexity and Randomness, July 2–6, 2012.
[slides] [abstract & video (35 min)]

Computable randomness for computable probability spaces
Twelfth Asian Logic Conference (Invited speaker), December 15–20, 2011.
[slides]

Randomness, martingales and differentiability
Randomness and Analysis in Auckland, December 12–13, 2011.
[abstract] [slides]

Randomness and the Lebesgue Differentiation Theorem
Southern Wisconsin Logic Colloquium, May 10, 2011.
[slides]

Randomness and the Lebesgue Differentiation Theorem
Graduate Student Conference in Logic, May 7, 2011.
[slides]

Other

Sometimes Google auto-corrects my name to "Jason Route".