Showing 1–6 of 6 results for author: Bushling, R

Bounds on the dimension of lineal extensions

Authors: Ryan E. G. Bushling, Jacob B. Fiedler

Abstract: Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's \textit{line segment extension conjecture} posits that the Hausdorff dimension of $F$ should equal that of $E$. Working in $\mathbb{R}^2$, we use effective methods to prove a strong packing dimension variant of this conje… ▽ More Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's \textit{line segment extension conjecture} posits that the Hausdorff dimension of $F$ should equal that of $E$. Working in $\mathbb{R}^2$, we use effective methods to prove a strong packing dimension variant of this conjecture, from which the generalized Kakeya conjecture for packing dimension immediately follows. This is followed by several doubling estimates in higher dimensions and connections to related problems. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 26 pages, 1 figure

MSC Class: 03D32; 28A80 (Primary) 68Q30 (Secondary)

A Study Guide to "Kaufman and Falconer estimates for radial projections"

Authors: Paige Bright, Ryan Bushling, Caleb Marshall, Alex Ortiz

Abstract: This expository piece expounds on major themes and clarifies technical details of the paper "Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem" of Orponen, Shmerkin, and Wang. This expository piece expounds on major themes and clarifies technical details of the paper "Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem" of Orponen, Shmerkin, and Wang. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 35 pages, 2 figures, 1 table. Study guide for ArXiv submission arXiv:2209.00348. Study guide written at the UPenn Study Guide Writing Workshop 2023

MSC Class: 27A80; 28A78

A decomposition theorem for balanced measures

Authors: Gregory Baimetov, Ryan Bushling, Ansel Goh, Raymond Guo, Owen Jacobs, Sean Lee

Abstract: Let $G = (V,E)$ be a connected graph. A probability measure $μ$ on $V$ is called "balanced" if it has the following property: if $T_μ(v)$ denotes the "earth mover's" cost of transporting all the mass of $μ$ from all over the graph to the vertex $v$, then $T_μ$ attains its global maximum at each point in the support of $μ$. We prove a decomposition result that characterizes balanced measures as con… ▽ More Let $G = (V,E)$ be a connected graph. A probability measure $μ$ on $V$ is called "balanced" if it has the following property: if $T_μ(v)$ denotes the "earth mover's" cost of transporting all the mass of $μ$ from all over the graph to the vertex $v$, then $T_μ$ attains its global maximum at each point in the support of $μ$. We prove a decomposition result that characterizes balanced measures as convex combinations of suitable "extremal" balanced measures that we call "basic." An upper bound on the number of basic balanced measures on $G$ follows, and an example shows that this estimate is essentially sharp. △ Less

Submitted 26 April, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 22 pages, 7 figures; several new examples added

MSC Class: 05C12; 05C69

Distance sets bounds for polyhedral norms via effective dimension

Authors: Iqra Altaf, Ryan Bushling, Bobby Wilson

Abstract: We prove that, for every norm on $\mathbb{R}^d$ and every $E \subseteq \mathbb{R}^d$, the Hausdorff dimension of the distance set of $E$ with respect to that norm is at least $\dim_{\mathrm{H}} E - (d-1)$. An explicit construction follows, demonstrating that this bound is sharp for every polyhedral norm on $\mathbb{R}^d$. The techniques of algorithmic complexity theory underlie both the computatio… ▽ More We prove that, for every norm on $\mathbb{R}^d$ and every $E \subseteq \mathbb{R}^d$, the Hausdorff dimension of the distance set of $E$ with respect to that norm is at least $\dim_{\mathrm{H}} E - (d-1)$. An explicit construction follows, demonstrating that this bound is sharp for every polyhedral norm on $\mathbb{R}^d$. The techniques of algorithmic complexity theory underlie both the computations and the construction. △ Less

Submitted 12 May, 2023; v1 submitted 11 May, 2023; originally announced May 2023.

Comments: 10 pages

MSC Class: 28A80; 03D32

A singular integral identity for surface measure

Authors: Ryan E. G. Bushling

Abstract: We prove that the integral of a certain Riesz-type kernel over $(n-1)$-rectifiable sets in $\mathbb{R}^n$ is constant, from which a formula for surface measure immediately follows. Geometric interpretations are given, and the solution to a geometric variational problem characterizing convex domains follows as a corollary, strengthening a recent inequality of Steinerberger. We prove that the integral of a certain Riesz-type kernel over $(n-1)$-rectifiable sets in $\mathbb{R}^n$ is constant, from which a formula for surface measure immediately follows. Geometric interpretations are given, and the solution to a geometric variational problem characterizing convex domains follows as a corollary, strengthening a recent inequality of Steinerberger. △ Less

Submitted 19 September, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: 10 pages, 4 figures; Correction to the proof of the Corollary; To appear in the Journal of Geometric Analysis

MSC Class: Primary 28A75; 53A07; Secondary 51M16; 52A38

Exceptional projections of sets exhibiting almost dimension conservation

Authors: Ryan E. G. Bushling

Abstract: We establish a packing dimension estimate on the exceptional sets of orthogonal projections of sets satisfying an almost dimension conservation law. In particular, the main result applies to homogeneous sets and to certain graph-directed sets. Connections are drawn to results of M. Rams and T. Orponen. We establish a packing dimension estimate on the exceptional sets of orthogonal projections of sets satisfying an almost dimension conservation law. In particular, the main result applies to homogeneous sets and to certain graph-directed sets. Connections are drawn to results of M. Rams and T. Orponen. △ Less

Submitted 30 June, 2024; v1 submitted 3 November, 2022; originally announced November 2022.

Comments: Published in Ann. Fenn. Math

MSC Class: 28A78

Journal ref: Annales Fennici Mathematici, 49(1), 65-79, 2024