Searcharxiv⌕ Search

arXiv subjects

Nathaniel Eldredge

Publications and source records attributed to Nathaniel Eldredge.

15 recordsLinked to original sources
arXiv2025

A probabilistic look at the infinite hat-guessing game

In this article, we look at a hat-guessing game, in which each player must guess the color of their own hat while only seeing the hats of the other players. We focus on the case of two hat colors and a countably infinite number of players. By strategizing in advance, the players can, in some ways, do much better than random guessing; using the axiom of choice, they can in fact achieve highly counter-intuitive success. We review some of these results. Then, we use tools from probability to obtain bounds on how successful a strategy can be under a measurability hypothesis, in terms of the asymptotic density of the set of correctly guessing players. As we discuss, this illustrates that the full axiom of choice is truly necessary for the counter-intuitively successful strategies, and that there is a wide gap between what can be achieved with and without choice.

math.PR↗
arXiv2024

Uniform doubling for abelian products with $\operatorname{SU}(2)$

We prove that the uniform doubling property holds for every Lie group which can be written as a quotient group of $\operatorname{SU}(2) \times \mathbb{R}^n$ for some $n$. In particular, this class includes the four-dimensional unitary group $\operatorname{U}(2)$. As this class contain non-compact as well as compact Lie groups, we discuss a number of analytic and spectral consequences for the corresponding heat kernels.

math.DG↗
arXiv2023

Notions of null sets in infinite-dimensional Carnot groups

We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot subgroups. The CAC measures are the non-abelian analogue of cube measures. In the case of infinite-dimensional Heisenberg-like groups we also show that being null in the previous senses is equivalent to being null for all heat kernel measures. Additionally, we show that infinite-dimensional Carnot groups that have locally compact commutator subgroups have the structure of Banach manifolds. There are a number of open questions included as well.

math.MG↗
arXiv2020

Transportation inequalities for Markov kernels and their applications

We study the relationship between functional inequalities for a Markov kernel on a metric space $X$ and inequalities of transportation distances on the space of probability measures $\mathcal{P}(X)$. Extending results of Luise and Savar\'e on Hellinger--Kantorovich contraction inequalities for the particular case of the heat semigroup on an $RCD(K,\infty)$ metric space, we show that more generally, such contraction inequalities are equivalent to reverse Poincar\'e inequalities. We also adapt the "dynamic dual" formulation of the Hellinger--Kantorovich distance to define a new family of divergences on $\mathcal{P}(X)$ which generalize the R\'enyi divergence, and we show that contraction inequalities for these divergences are equivalent to the reverse logarithmic Sobolev and Wang Harnack inequalities. We discuss applications including results on the convergence of Markov processes to equilibrium, and on quasi-invariance of heat kernel measures in finite and infinite-dimensional groups.

math.FA↗
arXiv2018

Left-invariant geometries on $\mathrm{SU}(2)$ are uniformly doubling

A classical aspect of Riemannian geometry is the study of estimates that hold uniformly over some class of metrics. The best known examples are eigenvalue bounds under curvature assumptions. In this paper, we study the family of all left-invariant geometries on $\mathrm{SU}(2)$. We show that left-invariant geometries on $\mathrm{SU}(2)$ are uniformly doubling and give a detailed estimate of the volume of balls that is valid for any of these geometries and any radius. We discuss a number of consequences concerning the spectrum of the associated Laplacians and the corresponding heat kernels.

math.DG↗
arXiv2017

Strong hypercontractivity and strong logarithmic Sobolev inequalities for log-subharmonic functions on stratified Lie groups

On a stratified Lie group $G$ equipped with hypoelliptic heat kernel measure, we study the behavior of the dilation semigroup on $L^p$ spaces of log-subharmonic functions. We consider a notion of strong hypercontractivity and a strong logarithmic Sobolev inequality, and show that these properties are equivalent for any group $G$. Moreover, if $G$ satisfies a classical logarithmic Sobolev inequality, then both properties hold. This extends similar results obtained by Graczyk, Kemp and Loeb in the Euclidean setting.

math.FA↗
arXiv2016

Hypoelliptic heat kernel inequalities on H-type groups

We study inequalities related to the heat kernel for the hypoelliptic sublaplacian on an H-type Lie group. Specifically, we obtain precise pointwise upper and lower bounds on the heat kernel function itself. We then apply these bounds to derive an estimate on the gradient of solutions of the heat equation, which is known to have various significant consequences including logarithmic Sobolev inequalities. We also present a computation of the heat kernel, and a discussion of the geometry of H-type groups including their geodesics and Carnot-Carathéodory distance functions.

math.AP↗
arXiv2016

Precise estimates for the subelliptic heat kernel on H-type groups

We establish precise upper and lower bounds for the subelliptic heat kernel on nilpotent Lie groups $G$ of H-type. Specifically, we show that there exist positive constants $C_1$, $C_2$ and a polynomial correction function $Q_t$ on $G$ such that $$C_1 Q_t e^{-\frac{d^2}{4t}} \le p_t \le C_2 Q_t e^{-\frac{d^2}{4t}}$$ where $p_t$ is the heat kernel, and $d$ the Carnot-Carathéodory distance on $G$. We also obtain similar bounds on the norm of its subelliptic gradient $|\nabla p_t|$. Along the way, we record explicit formulas for the distance function $d$ and the subriemannian geodesics of H-type groups.

math.AP↗
arXiv2016

On complex H-type Lie algebras

H-type Lie algebras were introduced by Kaplan as a class of real Lie algebras generalizing the familiar Heisenberg Lie algebra $\mathfrak{h}^3$. The H-type property depends on a choice of inner product on the Lie algebra $\mathfrak{g}$. Among the H-type Lie algebras are the complex Heisenberg Lie algebras $\mathfrak{h}^{2n+1}_{\mathbb{C}}$, for which the standard Euclidean inner product not only satisfies the H-type condition, but is also compatible with the complex structure, in that it is Hermitian. We show that, up to isometric isomorphism, these are the only complex Lie algebras with an inner product satisfying both conditions. In other words, the family $\mathfrak{h}^{2n+1}_{\mathbb{C}}$ comprises all of the complex H-type Lie algebras.

math.RA↗
arXiv2016

Analysis and Probability on Infinite-Dimensional Spaces

These lecture notes contain an introduction to some of the fundamental ideas and results in analysis and probability on infinite-dimensional spaces, mainly Gaussian measures on Banach spaces. They originated as the notes for a topics course at Cornell University in 2011.

math.PR↗
arXiv2014

An eigenspace approach to isotypic projections for data on binary trees

The classical Fourier transform is, in essence, a way to take data and extract components (in the form of complex exponentials) which are invariant under cyclic shifts. We consider a case in which the components must instead be invariant under automorphisms of a binary tree. We present a technique by which a slightly relaxed form of the generalized Fourier transform in this case can eventually be computed using only simple tools from linear algebra, which has possible advantages in computational efficiency.

math.RT↗
arXiv2014

Gradient estimates for the subelliptic heat kernel on H-type groups

We prove the following gradient inequality for the subelliptic heat kernel on nilpotent Lie groups $G$ of H-type: $$|\nabla P_t f| \le K P_t(|\nabla f|)$$ where $P_t$ is the heat semigroup corresponding to the sublaplacian on $G$, $\nabla$ is the subelliptic gradient, and $K$ is a constant. This extends a result of H.-Q. Li for the Heisenberg group. The proof is based on pointwise heat kernel estimates, and follows an approach used by Bakry, Baudoin, Bonnefont, and Chafaï.

math.AP↗
arXiv2013

Hypoelliptic heat kernels on infinite-dimensional Heisenberg groups

We study the law of a hypoelliptic Brownian motion on an infinite-dimensional Heisenberg group based on an abstract Wiener space. We show that the endpoint distribution, which can be seen as a heat kernel measure, is absolutely continuous with respect to a certain product of Gaussian and Lebesgue measures, that the heat kernel is quasi-invariant under translation by the Cameron-Martin subgroup, and that the Radon-Nikodym derivative is Malliavin smooth.

math.PR↗
arXiv2013

Widder's representation theorem for symmetric local Dirichlet spaces

In classical PDE theory, Widder's theorem gives a representation for nonnegative solutions of the heat equation on $\mathbb{R}^n$. We show that an analogous theorem holds for local weak solutions of the canonical "heat equation" on a symmetric local Dirichlet space satisfying a local parabolic Harnack inequality.

math.PR↗