BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jeremy T. Tyson

Jeremy T. Tyson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.MGmath.APmath.CVmath.DGmath.GTmath.CAmath.DSmath.FA

Catalog footprint

What is connected

14works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

14 published item(s)

preprint2025arXiv

Sobolev and quasiconformal distortion of intermediate dimension with applications to conformal dimension

We study the distortion of intermediate dimension under supercritical Sobolev mappings and also under quasiconformal or quasisymmetric homeomorphisms. In particular, we extend to the setting of intermediate dimensions both the Gehring--Väisälä theorem on dilatation-dependent quasiconformal distortion of dimension and Kovalev's theorem on the nonexistence of metric spaces with conformal dimension strictly between zero and one. Applications include new contributions to the quasiconformal classification of Euclidean sets and a new sufficient condition for the vanishing of conformal box-counting dimension. We illustrate our conclusions with specific consequences for Bedford--McMullen carpets, samples of Mandelbrot percolation, and product sets containing a polynomially convergent sequence factor.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quasiconformal distortion of the Assouad spectrum and classification of polynomial spirals

We investigate the distortion of Assouad dimension and the Assouad spectrum under Euclidean quasiconformal maps. Our results complement existing conclusions for Hausdorff and box-counting dimension due to Gehring--Väisälä and others. As an application, we classify polynomial spirals $S_a:=\{x^{-a}e^{\mathbf{i} x}:x>0\}$ up to quasiconformal equivalence, up to the level of the dilatation. Specifically, for $a>b>0$ we show that there exists a quasiconformal map $f$ of $\mathbb{C}$ with dilatation $K_f$ and $f(S_a)=S_b$ if and only if $K_f \ge \tfrac{a}{b}$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Conformal graph directed Markov systems on Carnot groups

We develop a comprehensive theory of conformal graph directed Markov systems in the non-Riemannian setting of Carnot groups equipped with a sub-Riemannian metric. In particular, we develop the thermodynamic formalism and show that, under natural hypotheses, the limit set of an Carnot conformal GDMS has Hausdorff dimension given by Bowen's parameter. We illustrate our results for a variety of examples of both linear and nonlinear iterated function systems and graph directed Markov systems in such sub-Riemannian spaces. These include the Heisenberg continued fractions introduced by Lukyanenko and Vandehey as well as Kleinian and Schottky groups associated to the non-real classical rank one hyperbolic spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Heisenberg quasiregular ellipticity

Following the Euclidean results of Varopoulos and Pankka--Rajala, we provide a necessary topological condition for a sub-Riemannian 3-manifold $M$ to admit a nonconstant quasiregular mapping from the sub-Riemannian Heisenberg group $\mathbb{H}$. As an application, we show that a link complement $S^3\backslash L$ has a sub-Riemannian metric admitting such a mapping only if $L$ is empty, the unknot or Hopf link. In the converse direction, if $L$ is empty, a specific unknot or Hopf link, we construct a quasiregular mapping from $\mathbb{H}$ to $S^3\backslash L$. The main result is obtained by translating a growth condition on $π_1(M)$ into the existence of a supersolution to the $4$-harmonic equation, and relies on recent advances in the study of analysis and potential theory on metric spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Sub-Riemannian curvature and a Gauss-Bonnet theorem in the Heisenberg group

We use a Riemannnian approximation scheme to define a notion of $\textit{sub-Riemannian Gaussian curvature}$ for a Euclidean $C^{2}$-smooth surface in the Heisenberg group $\mathbb{H}$ away from characteristic points, and a notion of $\textit{sub-Riemannian signed geodesic curvature}$ for Euclidean $C^{2}$-smooth curves on surfaces. These results are then used to prove a Heisenberg version of the Gauss-Bonnet theorem. An application to Steiner's formula for the Carnot-Carathéodory distance in $\mathbb{H}$ is provided.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Marstrand's density theorem in the Heisenberg group

We prove that if $μ$ is a Radon measure on the Heisenberg group $\mathbb{H}^n$ such that the density $Θ^s(μ,\cdot)$, computed with respect to the Korányi metric $d_H$, exists and is positive and finite on a set of positive $μ$ measure, then $s$ is an integer. The proof relies on an analysis of uniformly distributed measures on $(\mathbb{H}^n,d_H)$. We provide a number of examples of such measures, illustrating both the similarities and the striking differences of this sub-Riemannian setting from its Euclidean counterpart.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dimension distortion by Sobolev mappings in foliated metric spaces

We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincaré inequality. For foliations of a metric space X defined by a David--Semmes regular mapping we quantitatively estimate, in terms of Hausdorff dimension, the size of the set of leaves of the foliation that are mapped onto sets of higher dimension. We discuss key examples of such foliations, including foliations of the Heisenberg group by left and right cosets of horizontal subgroups. Examples are given demonstrating the extent to which our results are sharp. In fact, we show that the set of mappings that distort the dimensions of sets by the maximum possible amount is a prevalent subset of the relevant function space; the latter result is new even in Euclidean space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Frequency of Sobolev dimension distortion of horizontal subgroups of Heisenberg groups

We study the behavior of Sobolev mappings defined on the Heisenberg groups with respect to a foliation by left cosets of a horizontal homogeneous subgroup. We quantitatively estimate, in terms of Euclidean Hausdorff dimension, the size of the set of cosets that are mapped onto sets of high dimension. The proof of our main result combines ideas of Gehring and Mostow about the absolute continuity of quasiconformal mappings with Mattila's projection and slicing machinery.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Homotopy groups of spheres and Lipschitz homotopy groups of Heisenberg groups

We provide a sufficient condition for the nontriviality of the Lipschitz homotopy group of the Heisenberg group, $π_m^{Lip}(H_n)$, in terms of properties of the classical homotopy group of the sphere, $π_m(S^n)$. As an application we provide a new simplified proof of the fact that $π_n^{Lip}(H_n)\neq 0$, $n=1,2,...$, and we prove a new result that $π_{4n-1}^{Lip}(H_{2n})\neq 0$ for $n=1,2,...$ The last result is based on a new generalization of the Hopf invariant. We also prove that Lipschitz mappings are not dense in the Sobolev space $W^{1,p}(M,H_{2n})$ when $dim M\geq 4n$ and $4n-1\leq p<4n$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Modulus and Poincaré inequalities on non-self-similar Sierpinski carpets

A carpet is a metric space homeomorphic to the Sierpinski carpet. We characterize, within a certain class of examples, non-self-similar carpets supporting curve families of nontrivial modulus and supporting Poincaré inequalities. Our results yield new examples of compact doubling metric measure spaces supporting Poincaré inequalities: these examples have no manifold points, yet embed isometrically as subsets of Euclidean space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Removable sets for homogeneous linear PDE in Carnot groups

Let $\cL$ be a homogeneous left invariant differential operator on a Carnot group. Assume that both $\cL$ and $\cL^t$ are hypoelliptic. We study the removable sets for $\cL$-solutions. We give precise conditions in terms of the Carnot--Carathéodory Hausdorff dimension for the removability for $\cL$-solutions under several auxiliary integrability or regularity hypotheses. In some cases, our criteria are sharp on the level of the relevant Hausdorff measure. One of the main ingredients in our proof is the use of novel local self similar tilings in Carnot groups.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On transversal submanifolds and their measure

We study the class of transversal submanifolds. We characterize their blow-ups at transversal points and prove a negligibility theorem for their "generalized characteristic set", with respect to the Carnot-Carathéodory Hausdorff measure. This set is made by all points of non-maximal degree. Observing that C^1 submanifolds in Carnot groups are generically transversal, the previous results prove that the "intrinsic measure" of C^1 submanifolds is generically equivalent to their Carnot-Carathéodory Hausdorff measure. As a result, the restriction of this Hausdorff measure to the submanifold can be replaced by a more manageable integral formula, that should be seen as a "sub-Riemannian mass". Another consequence of these results is an explicit formula, only depending on the embedding of the submanifold, that computes the Carnot-Carathéodory Hausdorff dimension of C^1 transversal submanifolds.

0 citations0 reviewsNo code linkedOpen access