-
On reflected Lévy processes with collapse
Authors:
Onno Boxma,
Offer Kella,
David Perry
Abstract:
We consider a Lévy process reflected at the origin with additional i.i.d. collapses that occur at Poisson epochs, where a collapse is a jump downward to a state which is a random fraction of the state just before the jump. We first study the general case, then specialize to the case where the Lévy process is spectrally positive and finally we specialize further to the two cases where the Lévy proc…
▽ More
We consider a Lévy process reflected at the origin with additional i.i.d. collapses that occur at Poisson epochs, where a collapse is a jump downward to a state which is a random fraction of the state just before the jump. We first study the general case, then specialize to the case where the Lévy process is spectrally positive and finally we specialize further to the two cases where the Lévy process is a Brownian motion and a compound Poisson process with exponential jumps minus a linear slope.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
The universal Lipschitz path space of the Heisenberg group $\mathbb{H}^1$
Authors:
Daniel Perry
Abstract:
The goal of this paper is to define and inspect a metric version of the universal path space and study its application to purely 2-unrectifiable spaces, in particular the Heisenberg group $\mathbb{H}^1$. The construction of the universal Lipschitz path space, as the metric version is called, echoes the construction of the universal cover for path-connected, locally path-connected, and semilocally…
▽ More
The goal of this paper is to define and inspect a metric version of the universal path space and study its application to purely 2-unrectifiable spaces, in particular the Heisenberg group $\mathbb{H}^1$. The construction of the universal Lipschitz path space, as the metric version is called, echoes the construction of the universal cover for path-connected, locally path-connected, and semilocally simply connected spaces. We prove that the universal Lipschitz path space of a purely 2-unrectifiable space, much like the universal cover, satisfies a unique lifting property, a universal property, and is Lipschitz simply connected. The existence of such a universal Lipschitz path space of $\mathbb{H}^1$ will be used to prove that $π_{1}^{\text{Lip}}(\mathbb{H}^1)$ is torsion-free in a subsequent paper.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Existence of length minimizers in homotopy classes of Lipschitz paths in $\mathbb{H}^1$
Authors:
Daniel Perry
Abstract:
We show that for any purely 2-unrectifiable metric space $M$, for example the Heisenberg group $\mathbb{H}^1$ equipped with the Carnot-Carathéodory metric, every homotopy class $[γ]$ of Lipschitz paths contains a length minimizing representative $γ_\infty$ that is unique up to reparametrization. The length minimizer $γ_\infty$ is the core of the homotopy class $[γ]$ in the sense that the image of…
▽ More
We show that for any purely 2-unrectifiable metric space $M$, for example the Heisenberg group $\mathbb{H}^1$ equipped with the Carnot-Carathéodory metric, every homotopy class $[γ]$ of Lipschitz paths contains a length minimizing representative $γ_\infty$ that is unique up to reparametrization. The length minimizer $γ_\infty$ is the core of the homotopy class $[γ]$ in the sense that the image of $γ_\infty$ is a subset of the image of any path contained in $[γ]$. Furthermore, the existence of length minimizers guarantees that only the trivial class in the first Lipschitz homotopy group of $M$ with a base point can be represented by a loop within each neighborhood of the base point. The results detailed here are used in arXiv:2402.10420 to define and prove properties of a universal Lipschitz path space over $\mathbb{H}^1$.
△ Less
Submitted 21 May, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
A Decomposition Property for an $M^{X}/G/1$ Queue with Vacations
Authors:
Igor Kleiner,
Esther Frostig,
David Perry
Abstract:
We introduce a queueing system that alternates between two modes, so-called {\it working mode} and {\it vacation mode}. During the working mode the system runs as an $M^{X}/G/1$ queue. Once the number of customers in the working mode drops to zero the vacation mode begins. %Then working system becomes empty the vacation phase begins. During the vacation mode the system runs as a general queueing s…
▽ More
We introduce a queueing system that alternates between two modes, so-called {\it working mode} and {\it vacation mode}. During the working mode the system runs as an $M^{X}/G/1$ queue. Once the number of customers in the working mode drops to zero the vacation mode begins. %Then working system becomes empty the vacation phase begins. During the vacation mode the system runs as a general queueing system (a service might be included) which is different from the one in the working mode. The vacation period ends in accordance with a given stopping rule, and then a random number of customers are transferred to the working mode. For this model we show that the conditional probability generating function of the number of customers given that the system is in the working mode is a product of three terms. This decomposition result puts under the same umbrella some models that have already been introduced in the past as well as some new models.
△ Less
Submitted 9 October, 2021;
originally announced October 2021.
-
Lipschitz Homotopy Groups of Contact 3-Manifolds
Authors:
Daniel Perry
Abstract:
We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its \cc metric.…
▽ More
We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its \cc metric. Then each contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is purely $k$-unrectifiable for $k>n$. We then extend results of Dejarnette et al. (arXiv:1109.4641 [math.FA]) and Wenger and Young (arXiv:1210.6943 [math.GT]) on the Lipschitz homotopy groups of $\mathbb{H}^1$ to an arbitrary contact 3-manifold endowed with a \cc metric, namely that for any contact 3-manifold the first Lipschitz homotopy group is uncountably generated and all higher Lipschitz homotopy groups are trivial. Therefore, in the sense of Lipschitz homotopy groups, a contact 3-manifold is a $K(π,1)$-space with an uncountably generated first homotopy group. Along the way, we prove that each open distributional embedding between purely 2-unrectifiable sub-Riemannian manifolds induces an injective map on the associated first Lipschitz homotopy groups. Therefore, each open subset of a contact 3-manifold determines an uncountable subgroup of the first Lipschitz homotopy group of the contact 3-manifold.
△ Less
Submitted 26 February, 2021; v1 submitted 16 August, 2020;
originally announced August 2020.
-
Allocation strategies for high fidelity models in the multifidelity regime
Authors:
Daniel J. Perry,
Robert M. Kirby,
Akil Narayan,
Ross T. Whitaker
Abstract:
We propose a novel approach to allocating resources for expensive simulations of high fidelity models when used in a multifidelity framework. Allocation decisions that distribute computational resources across several simulation models become extremely important in situations where only a small number of expensive high fidelity simulations can be run. We identify this allocation decision as a prob…
▽ More
We propose a novel approach to allocating resources for expensive simulations of high fidelity models when used in a multifidelity framework. Allocation decisions that distribute computational resources across several simulation models become extremely important in situations where only a small number of expensive high fidelity simulations can be run. We identify this allocation decision as a problem in optimal subset selection, and subsequently regularize this problem so that solutions can be computed. Our regularized formulation yields a type of group lasso problem that has been studied in the literature to accomplish subset selection. Our numerical results compare performance of algorithms that solve the group lasso problem for algorithmic allocation against a variety of other strategies, including those based on classical linear algebraic pivoting routines and those derived from more modern machine learning-based methods. We demonstrate on well known synthetic problems and more difficult real-world simulations that this group lasso solution to the relaxed optimal subset selection problem performs better than the alternatives.
△ Less
Submitted 30 December, 2018;
originally announced December 2018.
-
DNA Origami and Unknotted A-trails in Torus Graphs
Authors:
Ada Morse,
William Adkisson,
Jessica Greene,
David Perry,
Brenna Smith,
Jo Ellis-Monaghan,
Greta Pangborn
Abstract:
Motivated by the problem of determining unknotted routes for the scaffolding strand in DNA origami self-assembly, we examine existence and knottedness of A-trails in graphs embedded on the torus. We show that any A-trail in a checkerboard-colorable torus graph is unknotted and characterize the existence of A-trails in checkerboard-colorable torus graphs in terms of pairs of quasitrees in associate…
▽ More
Motivated by the problem of determining unknotted routes for the scaffolding strand in DNA origami self-assembly, we examine existence and knottedness of A-trails in graphs embedded on the torus. We show that any A-trail in a checkerboard-colorable torus graph is unknotted and characterize the existence of A-trails in checkerboard-colorable torus graphs in terms of pairs of quasitrees in associated embeddings. Surface meshes are frequent targets for DNA nanostructure self-assembly, and so we study both triangular and rectangular torus grids. We show that, aside from one exceptional family, a triangular torus grid contains an A-trail if and only if it has an odd number of vertices, and that such an A-trail is necessarily unknotted. On the other hand, while every rectangular torus grid contains an unknotted A-trail, we also show that any torus knot can be realized as an A-trail in some rectangular grid. Lastly, we use a gluing operation to construct infinite families of triangular and rectangular grids containing unknotted A-trails on surfaces of arbitrary genus. We also give infinite families of triangular grids containing no unknotted A-trail on surfaces of arbitrary nonzero genus.
△ Less
Submitted 21 March, 2017; v1 submitted 10 March, 2017;
originally announced March 2017.
