arXiv subjects

Matthew Hyde

Publications and source records attributed to Matthew Hyde.

9 recordsLinked to original sources

arXiv2026

Big Pieces of Regular Parabolic (bi-)Lipschitz Images is Equivalent to Parabolic Uniform Rectifiability

We define the notion of regular parabolic (bi-)Lipschitz images as the parabolic (bi-)Lipschitz maps from $n$-dimensional space time which, up to translation, fix the $t$ variable and whose spatial components are each regular parabolic Lipschitz functions. We show that any parabolic Ahlfors-David regular is parabolic uniformly rectifiable if and only if it has big pieces of parabolic Lipschitz images of $n$-dimensional space time if and only if it has big pieces of parabolic bi-Lipschitz images of $n$-dimensional space time. This further extends the David-Semmes theory to the parabolic setting. Our proof combines the ideas of the first authors previous work [BH12,BHH+22] and some ideas of Azzam and Schul [AS12]. The proof easily adapts (and is far less complicated) to the Euclidean case to give an alternative proof of the analogous fact.

math.CA↗

arXiv2026

Quantitative harmonic approximations and Dorronsoro's Theorem in metric measure spaces

Suppose $X$ is an $\rm{RCD}(K,N)$ space with $K \in \mathbb{R}$ and $N \in (1,\infty)$. We obtain a characterisation of the Newtonian-Sobolev space $N^{1,2}(X)$ in terms of a quantity which measures to what extent a function is locally (across all scales and locations) well-approximated by harmonic functions. A similar characterisation is obtained which further takes into account the local oscillations of the approximating harmonic functions. The first characterisation is new even when $X = \mathbb{R}^n$; the second characterisation is a version of Dorronsoro's Theorem in RCD spaces and gives a new proof of (a special case) of this theorem in Euclidean space.

math.CA↗

arXiv2023

Ricci curvature bounded below and uniform rectifiability

We prove that Ahlfors-regular RCD spaces are uniformly rectifiable. The same is shown for Ahlfors regular boundaries of non-collapsed RCD spaces. As an application we deduce a type of quantitative differentiation for Lipschitz functions on these spaces.

math.MG↗

arXiv2023

Uniformly rectifiable metric spaces: Lipschitz images, Bi-Lateral Weak Geometric Lemma and Corona Decompositions

In their 1991 and 1993 foundational monographs, David and Semmes characterized uniform rectifiability for subsets of Euclidean space in a multitude of geometric and analytic ways. The fundamental geometric conditions can be naturally stated in any metric space and it has long been a question of how these concepts are related in this general setting. In this paper we prove their equivalence. Namely, we show the equivalence of Big Pieces of Lipschitz Images, Bi-lateral Weak Geometric Lemma and Corona Decomposition in any Ahlfors regular metric space. Loosely speaking, this gives a quantitative equivalence between having Lipschitz charts and approximations by nicer spaces. En route, we also study Reifenberg parameterizations.

math.MG↗

arXiv2021

A $d$-dimensional Analyst's Travelling Salesman Theorem for subsets of Hilbert space

We are interested in quantitative rectifiability results for subsets of infinite dimensional Hilbert space $H$. We prove a version of Azzam and Schul's $d$-dimensional Analyst's Travelling Salesman Theorem in this setting by showing for any lower $d$-regular set $E \subseteq H$ that \[ \text{diam}(E)^d + β^d(E) \sim \mathscr{H}^d(E) + \text{Error}, \] where $β^d(E)$ give a measure of the curvature of $E$ and the error term is related to the theory of uniform rectifiability (a quantitative version of rectifiability introduced by David and Semmes). To do this, we show how to modify the Reifenberg Parametrization Theorem of David and Toro so that it holds in Hilbert space. As a corollary, we show that a set $E \subseteq H$ is uniformly rectifiable if and only if it satisfies the so-called Bilateral Weak Geometric Lemma, meaning that $E$ is bi-laterally well approximated by planes at most scales and locations.

math.CA↗

arXiv2021

The weak lower density condition and uniform rectifiability

We show that an Ahlfors $d$-regular set $E$ in $\mathbb{R}^{n}$ is uniformly rectifiable if the set of pairs $(x,r)\in E\times (0,\infty)$ for which there exists $y \in B(x,r)$ and $0 0$. To prove this, we generalize a result of Schul by proving, if $X$ is a $C$-doubling metric space, $\varepsilon,ρ\in (0,1)$, $A>1$, and $X_{n}$ is a sequence of maximal $2^{-n}$-separated sets in $X$, and $\mathscr{B}=\{B(x,2^{-n}):x\in X_{n},n\in \mathbb{N}\}$, then \[ \sum \left\{r_{B}^{s}: B\in \mathscr{B}, \frac{\mathscr{H}^{s}_{ρr_{B}}(X\cap AB)}{(2r_{B})^{s}}>1+\varepsilon\right\} \lesssim_{C,A,\varepsilon,ρ,s} \mathscr{H}^{s}(X). \] This is a quantitative version of the classical result that for a metric space $X$ of finite $s$-dimensional Hausdorff measure, the upper $s$-dimensional densities are at most $1$ $\mathscr{H}^{s}$-almost everywhere.

math.CA↗

arXiv2021

Cone and paraboloid points of arbitrary subsets of Euclidean space

In this paper we characterise cone points of arbitrary subsets of Euclidean space. Given $E \subset \mathbb{R}^n$, $x \in E$ is a cone point of $E$ if and only if \begin{align*} \int_{0}^1 β_{E}^{d,2}(B(x,r))^2 \frac{dr}{r} < \infty, \end{align*} up to a set of zero $d$-measure. The coefficients $β_E^{d,2}$ are a variation of the Jones coefficients. This is a high dimensional counterpart of a theorem of Bishop and Jones from 1994. We also prove similar results for $α$-paraboloid points, which are the $C^{1,α}$ rectifiability counterparts to cone points: $x \in E$ is an $α$-paraboloid point if and only if \begin{align*} \int_0^1 \frac{\overlineβ_{E}^{d,2}(B(x,r))^2}{r^{2α}} \, \frac{dr}{r} < \infty \end{align*} up to a set of zero $d$-measure. Here, $\overlineβ^{d,2}_E$ is another variant of the Jones coefficients, introduced by Azzam and Schul.

math.CA↗

arXiv2020

A $d$-dimensional Analyst's Travelling Salesman Theorem for general sets in $\mathbb{R}^n$

In his 1990 paper, Jones proved the following: given $E \subseteq \mathbb{R}^2$, there exists a curve $Γ$ such that $E \subseteq Γ$ and \[ \mathscr{H}^1(Γ) \sim \text{diam}\, E + \sum_{Q} β_{E}(3Q)^2\ell(Q).\] Here, $β_E(Q)$ measures how far $E$ deviates from a straight line inside $Q$. This was extended by Okikiolu to subsets of $\mathbb{R}^n$ and by Schul to subsets of a Hilbert space. In 2018, Azzam and Schul introduced a variant of the Jones $β$-number. With this, they, and separately Villa, proved similar results for lower regular subsets of $\mathbb{R}^n.$ In particular, Villa proved that, given $E \subseteq \mathbb{R}^n$ which is lower content regular, there exists a `nice' $d$-dimensional surface $F$ such that $E \subseteq F$ and \begin{align} \mathscr{H}^d(F) \sim \text{diam}( E)^d + \sum_{Q} β_{E}(3Q)^2\ell(Q)^d. \end{align} In this context, a set $F$ is `nice' if it satisfies a certain topological non degeneracy condition, first introduced in a 2004 paper of David. In this paper we drop the lower regularity condition and prove an analogous result for general $d$-dimensional subsets of $\mathbb{R}^n.$ To do this, we introduce a new $d$-dimensional variant of the Jones $β$-number that is defined for any set in $\mathbb{R}^n.$

math.CA↗

arXiv2011

HyFlex: A Benchmark Framework for Cross-domain Heuristic Search

Automating the design of heuristic search methods is an active research field within computer science, artificial intelligence and operational research. In order to make these methods more generally applicable, it is important to eliminate or reduce the role of the human expert in the process of designing an effective methodology to solve a given computational search problem. Researchers developing such methodologies are often constrained on the number of problem domains on which to test their adaptive, self-configuring algorithms; which can be explained by the inherent difficulty of implementing their corresponding domain specific software components. This paper presents HyFlex, a software framework for the development of cross-domain search methodologies. The framework features a common software interface for dealing with different combinatorial optimisation problems, and provides the algorithm components that are problem specific. In this way, the algorithm designer does not require a detailed knowledge the problem domains, and thus can concentrate his/her efforts in designing adaptive general-purpose heuristic search algorithms. Four hard combinatorial problems are fully implemented (maximum satisfiability, one dimensional bin packing, permutation flow shop and personnel scheduling), each containing a varied set of instance data (including real-world industrial applications) and an extensive set of problem specific heuristics and search operators. The framework forms the basis for the first International Cross-domain Heuristic Search Challenge (CHeSC), and it is currently in use by the international research community. In summary, HyFlex represents a valuable new benchmark of heuristic search generality, with which adaptive cross-domain algorithms are being easily developed, and reliably compared.

cs.AI↗