-
On Profinite Quandles
Authors:
Alexander W. Byard,
Brian Cai,
Nathan P. Jones,
Lucy H. Vuong,
David N. Yetter
Abstract:
We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups…
▽ More
We undertake the study of profinite quandles. We provide several constructions of profinite quandles from profinite groups, and from other profinite quandle. We characterize which subquandles of profinite quandles are again profinite. Finally, we provide a characterization of algebraically connected profinite quandles in terms of the profinite completion of their inner automorphism groups $\widehat{\Inn(Q)}$. It is anticipated that the results herein will find applications to the étale homotopy theory of number fields.
v.2 has been updated to include an example due to Ariel Davis settling in the negative the question of whether all Stone topological quandles are profinite.
△ Less
Submitted 2 November, 2024; v1 submitted 22 April, 2024;
originally announced June 2024.
-
Verification and Validation of a Rapid Design Tool for the Analysis of the Composite Y-Joint of the D8 Double-Bubble Aircraft
Authors:
Evgenia Plaka,
Stephen P. Jones,
Brett A. Bednarcyk,
Evan J. Pineda,
Richard Li,
Marianna Maiaru
Abstract:
Polymer composite joints are critical aerospace components for reinforcing lightweight structures and achieving high eco-efficiency transportation standards. Optimizing complex structural joints is an iterative process. Fast and reliable numerical approaches are needed to overcome the runtime limitations of high-fidelity Finite Element (FE) modeling. This work proposes a computationally efficient…
▽ More
Polymer composite joints are critical aerospace components for reinforcing lightweight structures and achieving high eco-efficiency transportation standards. Optimizing complex structural joints is an iterative process. Fast and reliable numerical approaches are needed to overcome the runtime limitations of high-fidelity Finite Element (FE) modeling. This work proposes a computationally efficient approach based on the design tool, HyperX. Verification against FE models and experimental validation are presented for the composite Y-joint in the D8 double bubble fuselage. Results show that the failure load of the Y-joint is predicted within 10% of the experimental failure load recorded. Two parametric studies are performed to study the effects of the curvature of the joint (110° - 160°) and the skin thickness (16ply, 24ply, 32ply) in the failure load predictions using a stress-based failure criterion. The maximum failure load occurred for a Y-joint with 130° curvature. The 32ply skin Y-joint was predicted to have the highest failure load. Results prove the applicability of rapid joint optimization analysis for faster, computationally efficient design.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
High-Order Multirate Explicit Time-Stepping Schemes for the Baroclinic-Barotropic Split Dynamics in Primitive Equations
Authors:
Rihui Lan,
Lili Ju,
Zhu Wang,
Max Gunzburger,
Philip Jones
Abstract:
In order to treat the multiple time scales of ocean dynamics in an efficient manner, the baroclinic-barotropic splitting technique has been widely used for solving the primitive equations for ocean modeling. Based on the framework of strong stability-preserving Runge-Kutta approach, we propose two high-order multirate explicit time-stepping schemes (SSPRK2-SE and SSPRK3-SE) for the resulting split…
▽ More
In order to treat the multiple time scales of ocean dynamics in an efficient manner, the baroclinic-barotropic splitting technique has been widely used for solving the primitive equations for ocean modeling. Based on the framework of strong stability-preserving Runge-Kutta approach, we propose two high-order multirate explicit time-stepping schemes (SSPRK2-SE and SSPRK3-SE) for the resulting split system in this paper. The proposed schemes allow for a large time step to be used for the three-dimensional baroclinic (slow) mode and a small time step for the two-dimensional barotropic (fast) mode, in which each of the two mode solves just need to satisfy their respective CFL conditions for numerical stability. Specifically, at each time step, the baroclinic velocity is first computed by advancing the baroclinic mode and fluid thickness of the system with the large time-step \textcolor{black}{and the assistance of some intermediate approximations of the baroctropic mode obtained by substepping with the small-time step}; then the barotropic velocity is corrected by using the small time step to re-advance the barotropic mode under an improved barotropic forcing produced by interpolation of the forcing terms from the preceding baroclinic mode solves; lastly, the fluid thickness is updated by coupling the baroclinic and barotropic velocities. Additionally, numerical inconsistencies on the discretized sea surface height caused by the mode splitting are relieved via a reconciliation process with carefully calculated flux deficits. Two benchmark tests from the "MPAS-Ocean" platform are carried out to numerically demonstrate the performance and parallel scalability of the proposed SSPRK-SE schemes.
△ Less
Submitted 30 December, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Localization of Neumann Eigenfunctions near Irregular Boundaries
Authors:
Peter W. Jones,
Stefan Steinerberger
Abstract:
It has been empirically observed that eigenfunctions of Laplace's equation $-Δφ= λφ$ with Neumann boundary conditions sometimes localize near the boundary of the domain if that boundary is rough (say, fractal). This has some nontrivial implications in acoustics that has been put to real-life use (sound attenuation by noise-protective walls); this short paper describes the mathematical mechanism re…
▽ More
It has been empirically observed that eigenfunctions of Laplace's equation $-Δφ= λφ$ with Neumann boundary conditions sometimes localize near the boundary of the domain if that boundary is rough (say, fractal). This has some nontrivial implications in acoustics that has been put to real-life use (sound attenuation by noise-protective walls); this short paper describes the mathematical mechanism responsible for this and describes the quantitative strength of the phenomenon for some examples.
△ Less
Submitted 4 September, 2018;
originally announced September 2018.
-
Lagrangian Reachabililty
Authors:
Jacek Cyranka,
Md. Ariful Islam,
Greg Byrne,
Paul Jones,
Scott A. Smolka,
Radu Grosu
Abstract:
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution flows. The SF measures the discrepancy between two states propagated by the system solution from tw…
▽ More
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution flows. The SF measures the discrepancy between two states propagated by the system solution from two initial states lying in a well-defined region, thereby allowing LRT to compute a reachtube with a ball-overestimate in a metric where the computed enclosure is as tight as possible. To evaluate its performance, we implemented a prototype of LRT in C++/Matlab, and ran it on a set of well-established benchmarks. Our results show that LRT compares very favorably with respect to the CAPD and Flow* tools.
△ Less
Submitted 3 July, 2017; v1 submitted 16 May, 2017;
originally announced May 2017.
-
A note on the Howson property in inverse semigroups
Authors:
Peter R. Jones
Abstract:
An algebra has the Howson property if the intersection of any two finitely generated subalgebras is finitely generated. A simple necessary and sufficient condition is given for the Howson property to hold on an inverse semigroup with finitely many idempotents. In addition, it is shown that any monogenic inverse semigroup has the Howson property.
An algebra has the Howson property if the intersection of any two finitely generated subalgebras is finitely generated. A simple necessary and sufficient condition is given for the Howson property to hold on an inverse semigroup with finitely many idempotents. In addition, it is shown that any monogenic inverse semigroup has the Howson property.
△ Less
Submitted 30 March, 2016;
originally announced March 2016.
-
Product Formalisms for Measures on Spaces with Binary Tree Structures: Representation, Visualization, and Multiscale Noise
Authors:
Devasis Bassu,
Peter W. Jones,
Linda Ness,
David Shallcross
Abstract:
In this paper we present a theoretical foundation for a representation of a data set as a measure in a very large hierarchically parametrized family of positive measures, whose parameters can be computed explicitly (rather than estimated by optimization), and illustrate its applicability to a wide range of data types. The pre-processing step then consists of representing data sets as simple measur…
▽ More
In this paper we present a theoretical foundation for a representation of a data set as a measure in a very large hierarchically parametrized family of positive measures, whose parameters can be computed explicitly (rather than estimated by optimization), and illustrate its applicability to a wide range of data types. The pre-processing step then consists of representing data sets as simple measures. The theoretical foundation consists of a dyadic product formula representation lemma, a visualization theorem. We also define an additive multiscale noise model which can be used to sample from dyadic measures and a more general multiplicative multiscale noise model which can be used to perturb continuous functions, Borel measures, and dyadic measures. The first two results are based on theorems. The representation uses the very simple concept of a dyadic tree, and hence is widely applicable, easily understood, and easily computed. Since the data sample is represented as a measure, subsequent analysis can exploit statistical and measure theoretic concepts and theories. Because the representation uses the very simple concept of a dyadic tree defined on the universe of a data set and the parameters are simply and explicitly computable and easily interpretable and visualizable, we hope that this approach will be broadly useful to mathematicians, statisticians, and computer scientists who are intrigued by or involved in data science including its mathematical foundations.
△ Less
Submitted 14 June, 2020; v1 submitted 12 January, 2016;
originally announced January 2016.
-
Almost perfect restriction semigroups
Authors:
Peter R. Jones
Abstract:
We call a restriction semigroup almost perfect if it is proper and its least monoid congruence is perfect. We show that any such semigroup is isomorphic to a `$W$-product' $W(T,Y)$, where $T$ is a monoid, $Y$ is a semilattice and there is a homomorphism from $T$ into the inverse semigroup $TI_Y$ of isomorphisms between ideals of $Y$. Conversely, all such $W$-products are almost perfect. Since we a…
▽ More
We call a restriction semigroup almost perfect if it is proper and its least monoid congruence is perfect. We show that any such semigroup is isomorphic to a `$W$-product' $W(T,Y)$, where $T$ is a monoid, $Y$ is a semilattice and there is a homomorphism from $T$ into the inverse semigroup $TI_Y$ of isomorphisms between ideals of $Y$. Conversely, all such $W$-products are almost perfect. Since we also show that every restriction semigroup has an easily computed cover of this type, the combination yields a `McAlister-type' theorem for all restriction semigroups. It is one of the theses of this work that almost perfection and perfection, the analogue of this definition for restriction monoids, are the appropriate settings for such a theorem. That these theorems do not reduce to a general theorem for inverse semigroups illustrates a second thesis of this work: that restriction (and, by extension, Ehresmann) semigroups have a rich theory that does not consist merely of generalizations of inverse semigroup theory. It is then with some ambivalence that we show that all the main results of this work easily generalize to encompass all proper restriction semigroups.
The notation $W(T,Y)$ recognizes that it is a far-reaching generalization of a long-known similarly titled construction. As a result, our work generalizes Szendrei's description of almost factorizable semigroups while at the same time including certain classes of free restriction semigroups in its realm.
△ Less
Submitted 25 April, 2014;
originally announced April 2014.
-
Metric properties of mean wiggly continua
Authors:
Jacek Graczyk,
Peter W. Jones,
Nicolae Mihalache
Abstract:
We study lower and upper bounds of the Hausdorff dimension for sets which are wiggly at scales of positive density. The main technical ingredient is a construction, for every continuum K, of a Borel probabilistic measure μwith the property that on every ball B(x,r), with x in K, the measure is bounded by a universal constant multiple of r\exp(-g(x,r)), where g(x,r) > 0 is an explicit function. The…
▽ More
We study lower and upper bounds of the Hausdorff dimension for sets which are wiggly at scales of positive density. The main technical ingredient is a construction, for every continuum K, of a Borel probabilistic measure μwith the property that on every ball B(x,r), with x in K, the measure is bounded by a universal constant multiple of r\exp(-g(x,r)), where g(x,r) > 0 is an explicit function. The continuum K is mean wiggly at exactly those points x in K where g(x, r) has a logarithmic growth to infinity as r goes to 0. The theory of mean wiggly continua leads, via the product formula for dimensions, to new estimates of the Hausdorff dimension for Cantor sets. We prove also that asymptotically flat sets are of Hausdorff dimension 1 and that asymptotically non-porous continua are of the maximal dimension. Another application of the theory is geometric Bowen's dichotomy for Topological Collet-Eckmann maps in rational dynamics. In particular, mean wiggly continua are dynamically natural as they occur as Julia sets of quadratic polynomials for parameters from a generic set on the boundary of the Mandelbrot set.
△ Less
Submitted 29 March, 2012;
originally announced March 2012.
-
Random Curves by Conformal Welding
Authors:
K. Astala,
P. Jones,
A. Kupiainen,
E. Saksman
Abstract:
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle given in terms of the exponential of Gaussian Free Field. We conjecture that our curves are locally related to SLE$(κ)$ for $κ<4$.
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle given in terms of the exponential of Gaussian Free Field. We conjecture that our curves are locally related to SLE$(κ)$ for $κ<4$.
△ Less
Submitted 17 December, 2009;
originally announced December 2009.
-
Random Conformal Weldings
Authors:
K. Astala,
P. Jones,
A. Kupiainen,
E. Saksman
Abstract:
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle. The homeomorphism is constructed using the exponential of $βX$ where $X$ is the restriction of the two dimensional free field on the circle and the parameter $β$ is in the "high temperature" regime $β<\sqrt 2$. The welding problem is solved by studying a non-un…
▽ More
We construct a conformally invariant random family of closed curves in the plane by welding of random homeomorphisms of the unit circle. The homeomorphism is constructed using the exponential of $βX$ where $X$ is the restriction of the two dimensional free field on the circle and the parameter $β$ is in the "high temperature" regime $β<\sqrt 2$. The welding problem is solved by studying a non-uniformly elliptic Beltrami equation with a random complex dilatation. For the existence a method of Lehto is used. This requires sharp probabilistic estimates to control conformal moduli of annuli and they are proven by decomposing the free field as a sum of independent fixed scale fields and controlling the correlations of the complex dilation restricted to dyadic cells of various scales. For uniqueness we invoke a result by Jones and Smirnov on conformal removability of Hölder curves. We conjecture that our curves are locally related to SLE$(κ)$ for $κ<4$.
△ Less
Submitted 7 September, 2009;
originally announced September 2009.
-
Universal local parametrizations via heat kernels and eigenfunctions of the Laplacian
Authors:
Peter W. Jones,
Mauro Maggioni,
Raanan Schul
Abstract:
We use heat kernels or eigenfunctions of the Laplacian to construct local coordinates on large classes of Euclidean domains and Riemannian manifolds (not necessarily smooth, e.g. with $\mathcal{C}^α$ metric). These coordinates are bi-Lipschitz on embedded balls of the domain or manifold, with distortion constants that depend only on natural geometric properties of the domain or manifold. The pro…
▽ More
We use heat kernels or eigenfunctions of the Laplacian to construct local coordinates on large classes of Euclidean domains and Riemannian manifolds (not necessarily smooth, e.g. with $\mathcal{C}^α$ metric). These coordinates are bi-Lipschitz on embedded balls of the domain or manifold, with distortion constants that depend only on natural geometric properties of the domain or manifold. The proof of these results relies on estimates, from above and below, for the heat kernel and its gradient, as well as for the eigenfunctions of the Laplacian and their gradient. These estimates hold in the non-smooth category, and are stable with respect to perturbations within this category. Finally, these coordinate systems are intrinsic and efficiently computable, and are of value in applications.
△ Less
Submitted 8 October, 2008; v1 submitted 12 September, 2007;
originally announced September 2007.
-
Synchronous couplings of reflected Brownian motions in smooth domains
Authors:
Krzysztof Burdzy,
Zhen-Qing Chen,
Peter Jones
Abstract:
For every bounded planar domain $D$ with a smooth boundary, we define a `Lyapunov exponent' $Λ(D)$ using a fairly explicit formula. We consider two reflected Brownian motions in $D$, driven by the same Brownian motion (i.e., a `synchronous coupling'). If $Λ(D)>0$ then the distance between the two Brownian particles goes to 0 exponentially fast with rate $Λ(D)/(2|D|)$ as time goes to infinity. Th…
▽ More
For every bounded planar domain $D$ with a smooth boundary, we define a `Lyapunov exponent' $Λ(D)$ using a fairly explicit formula. We consider two reflected Brownian motions in $D$, driven by the same Brownian motion (i.e., a `synchronous coupling'). If $Λ(D)>0$ then the distance between the two Brownian particles goes to 0 exponentially fast with rate $Λ(D)/(2|D|)$ as time goes to infinity. The exponent $Λ(D)$ is strictly positive if the domain has at most one hole. It is an open problem whether there exists a domain with $Λ(D)<0$.
△ Less
Submitted 27 January, 2005;
originally announced January 2005.
-
Fuchsian Groups, Quasiconformal Groups, and Conical Limit Sets
Authors:
Peter W. Jones,
Lesley A. Ward
Abstract:
We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting d…
▽ More
We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one.
△ Less
Submitted 13 April, 1996;
originally announced April 1996.
-
The dimension of the Brownian frontier is greater than 1
Authors:
Christopher J. Bishop,
Peter Jones,
Robin Pemantle,
Yuval Peres
Abstract:
Consider a planar Brownian motion run for finite time. The frontier or ``outer boundary'' of the path is the boundary of the unbounded component of the complement. Burdzy (1989) showed that the frontier has infinite length. We improve this by showing that the Hausdorff dimension of the frontier is strictly greater than 1. (It has been conjectured that the Brownian frontier has dimension $4/3$, b…
▽ More
Consider a planar Brownian motion run for finite time. The frontier or ``outer boundary'' of the path is the boundary of the unbounded component of the complement. Burdzy (1989) showed that the frontier has infinite length. We improve this by showing that the Hausdorff dimension of the frontier is strictly greater than 1. (It has been conjectured that the Brownian frontier has dimension $4/3$, but this is still open.) The proof uses Jones's Traveling Salesman Theorem and a self-similar tiling of the plane by fractal tiles known as Gosper Islands.
△ Less
Submitted 1 August, 1995;
originally announced August 1995.
-
Hausdorff dimension and Kleinian groups
Authors:
Christopher J. Bishop,
Peter Jones
Abstract:
Let G be a non-elementary, finitely generated Kleinian group, Lambda(G) its limit set and Omega(G) = S \ Lambda(G) (S = the sphere) its set of discontinuity. Let delta(G) be the critical exponent for the Poincaré series and let Lambda_c be the conical limit set of G. Suppose Omega_0 is a simply connected component of Omega(G). We prove that
(1) delta(G) = dim(Lambda_c).
(2) A simply connecte…
▽ More
Let G be a non-elementary, finitely generated Kleinian group, Lambda(G) its limit set and Omega(G) = S \ Lambda(G) (S = the sphere) its set of discontinuity. Let delta(G) be the critical exponent for the Poincaré series and let Lambda_c be the conical limit set of G. Suppose Omega_0 is a simply connected component of Omega(G). We prove that
(1) delta(G) = dim(Lambda_c).
(2) A simply connected component Omega is either a disk or dim(Omega)>1$.
(3) Lambda(G) is either totally disconnected, a circle or has dimension > 1,
(4) G is geometrically infinite iff dim(Lambda)=2.
(5) If G_n \to G algebraically then dim(Lambda) <= \liminf dim(Lambda_n).
(6) The Minkowski dimension of Lambda equals the Hausdorff dimension.
(7) If Area(Lambda)=0 then delta(G) = dim(Lambda(G)).
The proof also shows that \dim(Lambda(G)) > 1 iff the conical limit set has dimension > 1 iff the Poincaré exponent of the group is > 1. Furthermore, a simply connected component of Omega(G) either is a disk or has non-differentiable boundary in the the sense that the (inner) tangent points of \partial Omega have zero 1-dimensional measure. Almost every point (with respect to harmonic measure) is a twist point.
△ Less
Submitted 21 March, 1994;
originally announced March 1994.
-
On removable sets for Sobolev spaces in the plane
Authors:
Peter Jones
Abstract:
Let $K$ be a compact subset of $\bar{\bold C} ={\bold R}^2$ and let $K^c$ denote its complement. We say $K\in HR$, $K$ is holomorphically removable, if whenever $F:\bar{\bold C} \to\bar{\bold C}$ is a homeomorphism and $F$ is holomorphic off $K$, then $F$ is a Möbius transformation. By composing with a Möbius transform, we may assume $F(\infty )=\infty$. The contribution of this paper is to show…
▽ More
Let $K$ be a compact subset of $\bar{\bold C} ={\bold R}^2$ and let $K^c$ denote its complement. We say $K\in HR$, $K$ is holomorphically removable, if whenever $F:\bar{\bold C} \to\bar{\bold C}$ is a homeomorphism and $F$ is holomorphic off $K$, then $F$ is a Möbius transformation. By composing with a Möbius transform, we may assume $F(\infty )=\infty$. The contribution of this paper is to show that a large class of sets are $HR$. Our motivation for these results is that these sets occur naturally (e.g. as certain Julia sets) in dynamical systems, and the property of being $HR$ plays an important role in the Douady-Hubbard description of their structure.
△ Less
Submitted 25 November, 1991;
originally announced January 1992.
