Showing 1–14 of 14 results for author: McCurdy, S

Critical Allard regularity: pointwise tilt-excess estimates

Authors: Sean McCurdy

Abstract: The main results of this paper provide VMO-type estimates for the quadratic tilt-excess on varifolds with critical generalized mean curvature. These estimates apply to varifolds with "almost-integral" density which are close to a multiplicity one $m$-disc in a ball in the usual senses. The class of almost-integral varifolds allows for varifolds with non-perpendicular mean curvature. Moreover, the… ▽ More The main results of this paper provide VMO-type estimates for the quadratic tilt-excess on varifolds with critical generalized mean curvature. These estimates apply to varifolds with "almost-integral" density which are close to a multiplicity one $m$-disc in a ball in the usual senses. The class of almost-integral varifolds allows for varifolds with non-perpendicular mean curvature. Moreover, the estimates hold \emph{uniformly for every point} in a relatively open set in $\text{spt}||V||$ and naturally imply a Reifenberg-type parametrization. The proof relies upon generalizing the $Q$-valued Lipschitz approximation and Sobolev-Poincaré estimates of arXiv:0808.3660 to almost-integral rectifiable varifolds. △ Less

Submitted 20 February, 2024; originally announced February 2024.

MSC Class: 49Q15 (Primary)

Structure of measures for which Ehrhard symmetrization is perimeter non-increasing

Authors: Sean McCurdy, Kuan-Ting Yeh

Abstract: In this paper, we prove that isotropic Gaussian functions are \textit{characterized} by a rearrangement inequality for weighted perimeter in dimensions $n \geq 2$ within the class of non-negative weights in $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$. More specifically, we prove that within this class, generalized Ehrhard symmetrization is perimeter non-increasing for all measurable sets… ▽ More In this paper, we prove that isotropic Gaussian functions are \textit{characterized} by a rearrangement inequality for weighted perimeter in dimensions $n \geq 2$ within the class of non-negative weights in $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$. More specifically, we prove that within this class, generalized Ehrhard symmetrization is perimeter non-increasing for all measurable sets in all directions if and only if the distribution function is an isotropic Gaussian. The class of non-negative $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$-weights is the broadest class in which this problem can be posed for distributional perimeter. One of the main challenges in this paper is handling these weights without imposing any additional structure. Principally, we establish that generalized Ehrhard symmetrization preserves $μ$-measurability through a novel approximation argument. Additionally, our proof that a rearrangement inequality for weighted perimeter implies that half-spaces are isoperimetric sets is new in the context of generalized Ehrhard symmetrization. Moreover, our version of a variational argument, which had previously appeared in [Rosales, 2014] and [Brock-Chiacchio-Mercaldo, 2008], is carried out under minimal regularity. Finally, we establish some basic but useful results for weighted BV functions with non-negative $L^1(\mathbb{R}^n) \cap W^{1,1}_{loc}(\mathbb{R}^n)$-weights which may be of independent interest. △ Less

Submitted 7 April, 2025; v1 submitted 30 September, 2023; originally announced October 2023.

Comments: 41 pages, 1 figure

MSC Class: 28A75; 49Q20

Quantitative Estimates on the Singular Set of Minimal Hypersurfaces with Bounded Index

Authors: Nicolau S. Aiex, Sean McCurdy, Paul Minter

Abstract: We prove local measure bounds on the tubular neighbourhood of the singular set of codimension one stationary integral $n$-varifolds $V$ in Riemannian manifolds which have both: (i) finite index on their smoothly embedded part; and (ii) $\mathcal{H}^{n-1}$-null singular set. A direct consequence of such a bound is a bound on the upper Minkowski content of the singular set of such a varifold in term… ▽ More We prove local measure bounds on the tubular neighbourhood of the singular set of codimension one stationary integral $n$-varifolds $V$ in Riemannian manifolds which have both: (i) finite index on their smoothly embedded part; and (ii) $\mathcal{H}^{n-1}$-null singular set. A direct consequence of such a bound is a bound on the upper Minkowski content of the singular set of such a varifold in terms of its total mass and its index. Such a result improves on known bounds, namely the corresponding bound on the $\mathcal{H}^{n-7}$-measure of the singular set established by A. Song ([10]), as well as the same bounds established by A. Naber and D. Valtorta ([6]) for codimension one area minimising currents. Our results also provide more structural information on the singular set for codimension one integral varifolds with finite index (on the regular part) and no classical singularities established by N. Wickramasekera ([11]). △ Less

Submitted 24 September, 2022; originally announced September 2022.

Comments: 22 pages

MSC Class: 53A10; 49Q20

Subsets of rectifiable curves in Banach spaces II: universal estimates for almost flat arcs

Authors: Matthew Badger, Sean McCurdy

Abstract: We prove that in any Banach space the set of windows in which a rectifiable curve resembles two or more straight line segments is quantitatively small with constants that are independent of the curve, the dimension of the space, and the choice of norm. Together with Part I, this completes the proof of the necessary half of the Analyst's Traveling Salesman theorem with sharp exponent in uniformly c… ▽ More We prove that in any Banach space the set of windows in which a rectifiable curve resembles two or more straight line segments is quantitatively small with constants that are independent of the curve, the dimension of the space, and the choice of norm. Together with Part I, this completes the proof of the necessary half of the Analyst's Traveling Salesman theorem with sharp exponent in uniformly convex spaces. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 50 pages, 8 figures; for part I, see arXiv:2002.11878

MSC Class: Primary 28A75; Secondary 26A16; 46B20; 60G46

Non-existence of cusps for a Free-boundary Problem for Water Waves

Authors: Sean McCurdy

Abstract: In arXiv:0908.1031, Varvaruca and Weiss eliminate the existence of cusps for a free-boundary problem for two-dimensional water waves under assumptions that hold for solutions such that $\{u>0\}$ is a "strip-like" domain in the sense of arXiv:0708.4371. In this paper it is proven that cusps do not exists in the natural setting for these free-boundary problems. In particular, non strip-like domains… ▽ More In arXiv:0908.1031, Varvaruca and Weiss eliminate the existence of cusps for a free-boundary problem for two-dimensional water waves under assumptions that hold for solutions such that $\{u>0\}$ is a "strip-like" domain in the sense of arXiv:0708.4371. In this paper it is proven that cusps do not exists in the natural setting for these free-boundary problems. In particular, non strip-like domains are also allowed. This builds upon recent work on non-existence of cusps in arXiv:2202.00616. △ Less

Submitted 3 August, 2022; originally announced August 2022.

MSC Class: 35R35; 76B15

Non-existence of cusps for degenerate Alt-Caffarelli functionals

Authors: Sean McCurdy, Lisa Naples

Abstract: We eliminate the existence of cusps in a class of \textit{degenerate} free-boundary problems for the Alt-Caffarelli functional $J_{Q}(v, Ω):= \int_Ω|\nabla v|^2 + Q^2(x)χ_{\{v>0\}}dx,$ so-called because $Q(x) = \text{dist}(x, Γ)^γ$ for $Γ$ an affine $k$-plane and $0< γ$. This problem is inspired by a generalization of the variational formulation of the Stokes Wave by Arama and Leoni. The eliminati… ▽ More We eliminate the existence of cusps in a class of \textit{degenerate} free-boundary problems for the Alt-Caffarelli functional $J_{Q}(v, Ω):= \int_Ω|\nabla v|^2 + Q^2(x)χ_{\{v>0\}}dx,$ so-called because $Q(x) = \text{dist}(x, Γ)^γ$ for $Γ$ an affine $k$-plane and $0< γ$. This problem is inspired by a generalization of the variational formulation of the Stokes Wave by Arama and Leoni. The elimination of cusps implies that the results of [Mccurdy20] in fact describe the entire free-boundary as it intersects $Γ$. △ Less

Submitted 1 February, 2022; originally announced February 2022.

MSC Class: 35R35

Conditions for Eliminating Cusps in One-Phase Free Boundary Problems with Degeneracy

Authors: Sean McCurdy

Abstract: In this paper, we continue the study local minimizers of a degenerate version of the Alt-Caffarelli functional. Specifically, we consider local minimizers of the functional $J_{Q}(u, Ω):= \int_Ω |\nabla u|^2 + Q(x)^2χ_{\{u>0\}}dx$ where $Q(x) = dist(x, Γ)^γ$ for $γ>0$ and $Γ$ a submanifold of dimension $0 \le k \le n-1$. Previously, it was shown that on $Γ$, the free boundary $\partial \{u>0\}$ ma… ▽ More In this paper, we continue the study local minimizers of a degenerate version of the Alt-Caffarelli functional. Specifically, we consider local minimizers of the functional $J_{Q}(u, Ω):= \int_Ω |\nabla u|^2 + Q(x)^2χ_{\{u>0\}}dx$ where $Q(x) = dist(x, Γ)^γ$ for $γ>0$ and $Γ$ a submanifold of dimension $0 \le k \le n-1$. Previously, it was shown that on $Γ$, the free boundary $\partial \{u>0\}$ may be decomposed into a rectifiable set $\mathcal{S}$, which satisfies effective estimates, and a cusp set $Σ$. In this note, we prove that under mild assumptions, in the case $n = 2$ and $Γ$ a line, the cusp set $Σ$ does not exist. Building upon the work of Arama and Leoni \cite{AramaLeoni12}, our results apply to the physical case of a variational formulation of the Stokes' wave and provide a complete characterization of the singular portion of the free boundary in complete generality in this context. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 16 pages

MSC Class: 35R35

One-phase free-boundary problems with degeneracy

Authors: Sean McCurdy

Abstract: In this paper, we study local minimizers of a degenerate version of the Alt-Caffarelli functional. Specifically, we consider local minimizers of the functional $J_{Q}(u, Ω):= \int_Ω |\nabla u|^2 + Q(x)^2χ_{\{u>0\}}dx$ where $Q(x) = \text{dist}(x, Γ)^γ$ for $γ>0$ and $Γ$ a $C^{1, α}$ submanifold of dimension $0 \le k \le n-1$. We show that the free boundary may be decomposed into a rectifiable set,… ▽ More In this paper, we study local minimizers of a degenerate version of the Alt-Caffarelli functional. Specifically, we consider local minimizers of the functional $J_{Q}(u, Ω):= \int_Ω |\nabla u|^2 + Q(x)^2χ_{\{u>0\}}dx$ where $Q(x) = \text{dist}(x, Γ)^γ$ for $γ>0$ and $Γ$ a $C^{1, α}$ submanifold of dimension $0 \le k \le n-1$. We show that the free boundary may be decomposed into a rectifiable set, on which we prove upper Minkowski content estimates, and a degenerate cusp set about which little can be said in general with the current techniques. Work in the theory of water waves and the Stokes wave serves as our inspiration, however the main thrust of this paper is to study the geometry of the free boundary for degenerate one-phase Bernoulli free-boundary problems in the context of local minimizers. △ Less

Submitted 25 September, 2023; v1 submitted 13 October, 2020; originally announced October 2020.

MSC Class: 35R35 (primary); 76D33

Quantitative Stability for the Heisenberg-Pauli-Weyl inequality

Authors: Sean McCurdy, Raghavendra Venkatraman

Abstract: We prove a quantitative stability result for the Heisenberg-Pauli-Weyl inequality. This yields next and next-to-next order correction terms, sharpening the inequality in all dimensions. We prove a quantitative stability result for the Heisenberg-Pauli-Weyl inequality. This yields next and next-to-next order correction terms, sharpening the inequality in all dimensions. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Subsets of rectifiable curves in Banach spaces I: sharp exponents in traveling salesman theorems

Authors: Matthew Badger, Sean McCurdy

Abstract: The Analyst's Traveling Salesman Problem is to find a characterization of subsets of rectifiable curves in a metric space. This problem was introduced and solved in the plane by Jones in 1990 and subsequently solved in higher-dimensional Euclidean spaces by Okikiolu in 1992 and in the infinite-dimensional Hilbert space $\ell_2$ by Schul in 2007. In this paper, we establish sharp extensions of Schu… ▽ More The Analyst's Traveling Salesman Problem is to find a characterization of subsets of rectifiable curves in a metric space. This problem was introduced and solved in the plane by Jones in 1990 and subsequently solved in higher-dimensional Euclidean spaces by Okikiolu in 1992 and in the infinite-dimensional Hilbert space $\ell_2$ by Schul in 2007. In this paper, we establish sharp extensions of Schul's necessary and sufficient conditions for a bounded set $E\subset\ell_p$ to be contained in a rectifiable curve from $p=2$ to $1<p<\infty$. While the necessary and sufficient conditions coincide when $p=2$, we demonstrate that there is a strict gap between the necessary condition and sufficient condition when $p\neq 2$. We also identify and correct technical errors in the proof by Schul. This investigation is partly motivated by recent work of Edelen, Naber, and Valtorta on Reifenberg-type theorems in Banach spaces and complements work of Hahlomaa and recent work of David and Schul on the Analyst's TSP in general metric spaces. △ Less

Submitted 23 August, 2022; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 66 pages, 4 figures, v3: modified definition of *-almost-flat arcs and proof of Lemma 3.29; split the main theorem into Theorem 1.6 (sufficient conditions) and Theorem 1.7 (necessary conditions); we prove sufficient conditions in full and reduce necessary conditions to Theorem 3.30, which we prove in Part 2, see arXiv:2208.10288; moved portion of Appendix A to Part 2

MSC Class: Primary 28A75; Secondary 26A16; 28A80; 46B20; 65D10

Unique Continuation on Convex Domains

Authors: Sean McCurdy

Abstract: In this paper, we obtain estimates on the quantitative strata of the critical set of non-trivial harmonic functions $u$ which vanish continuously on $V \subset \partial Ω$, a relatively open subset of the boundary of a convex domain $Ω\subset \mathbb{R}^n$. In particular, these estimates improve dimensional estimates on $\{|\nabla u| =0\}$ both in $V \subset \partial Ω$ and as it \textit{approache… ▽ More In this paper, we obtain estimates on the quantitative strata of the critical set of non-trivial harmonic functions $u$ which vanish continuously on $V \subset \partial Ω$, a relatively open subset of the boundary of a convex domain $Ω\subset \mathbb{R}^n$. In particular, these estimates improve dimensional estimates on $\{|\nabla u| =0\}$ both in $V \subset \partial Ω$ and as it \textit{approaches} $V \cap \overlineΩ.$ These estimates are not obtainable by naively combining interior and boundary estimates and represent a significant improvement upon existing results for boundary analytic continuation in the convex case. △ Less

Submitted 25 September, 2023; v1 submitted 3 July, 2019; originally announced July 2019.

Comments: 28 pages, 0 figure. arXiv admin note: substantial text overlap with arXiv:1904.09361

MSC Class: 28A75; 35B60; 35J05

Wild examples of rectifiable sets

Authors: Max Goering, Sean McCurdy

Abstract: We study the geometry of sets based on the behavior of the Jones function, $J_{E}(x) = \int_{0}^{1} β_{E;2}^{1}(x,r)^{2} \frac{dr}{r}$. We construct two examples of countably $1$-rectifiable sets in $\mathbb{R}^{2}$ with positive and finite $\mathcal{H}^1$-measure for which the Jones function is nowhere locally integrable. These examples satisfy different regularity properties: one is connected an… ▽ More We study the geometry of sets based on the behavior of the Jones function, $J_{E}(x) = \int_{0}^{1} β_{E;2}^{1}(x,r)^{2} \frac{dr}{r}$. We construct two examples of countably $1$-rectifiable sets in $\mathbb{R}^{2}$ with positive and finite $\mathcal{H}^1$-measure for which the Jones function is nowhere locally integrable. These examples satisfy different regularity properties: one is connected and one is Ahlfors regular. Both examples can be generalized to higher-dimension and co-dimension. △ Less

Submitted 5 May, 2019; originally announced May 2019.

MSC Class: Primary: 28A75; 28A80. Secondary: 28A78; 54F50

The Singular Strata of a Free-Boundary problem for harmonic measure

Authors: Sean McCurdy

Abstract: In this paper, we obtain \textit{quantitative} estimates on the fine structure of the singular set of the mutual boundary $\partial Ω^{\pm}$ for pairs of complementary domains, $Ω^+, Ω^- \subset \mathbb{R}^n$ which arise in a class of two-sided free boundary problems for harmonic measure. These estimates give new insight into the structure of the mutual boundary, $\partial Ω^{\pm}.$ In this paper, we obtain \textit{quantitative} estimates on the fine structure of the singular set of the mutual boundary $\partial Ω^{\pm}$ for pairs of complementary domains, $Ω^+, Ω^- \subset \mathbb{R}^n$ which arise in a class of two-sided free boundary problems for harmonic measure. These estimates give new insight into the structure of the mutual boundary, $\partial Ω^{\pm}.$ △ Less

Submitted 6 May, 2021; v1 submitted 19 April, 2019; originally announced April 2019.

Comments: 50 pages

Journal ref: Analysis & PDE 17 (2024) 1127-1173

Ridge Regression and Provable Deterministic Ridge Leverage Score Sampling

Authors: Shannon R. McCurdy

Abstract: Ridge leverage scores provide a balance between low-rank approximation and regularization, and are ubiquitous in randomized linear algebra and machine learning. Deterministic algorithms are also of interest in the moderately big data regime, because deterministic algorithms provide interpretability to the practitioner by having no failure probability and always returning the same results. We pro… ▽ More Ridge leverage scores provide a balance between low-rank approximation and regularization, and are ubiquitous in randomized linear algebra and machine learning. Deterministic algorithms are also of interest in the moderately big data regime, because deterministic algorithms provide interpretability to the practitioner by having no failure probability and always returning the same results. We provide provable guarantees for deterministic column sampling using ridge leverage scores. The matrix sketch returned by our algorithm is a column subset of the original matrix, yielding additional interpretability. Like the randomized counterparts, the deterministic algorithm provides (1 + ε) error column subset selection, (1 + ε) error projection-cost preservation, and an additive-multiplicative spectral bound. We also show that under the assumption of power-law decay of ridge leverage scores, this deterministic algorithm is provably as accurate as randomized algorithms. Lastly, ridge regression is frequently used to regularize ill-posed linear least-squares problems. While ridge regression provides shrinkage for the regression coefficients, many of the coefficients remain small but non-zero. Performing ridge regression with the matrix sketch returned by our algorithm and a particular regularization parameter forces coefficients to zero and has a provable (1 + ε) bound on the statistical risk. As such, it is an interesting alternative to elastic net regularization. △ Less

Submitted 23 December, 2018; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: 24 pages, 15 figures. Minor changes such as typos fixed, some background discussion added, references added

Journal ref: Advances in Neural Information Processing Systems (NeurIPS 2018), Montreal, Canada