In this article, we prove a Legendrian Whitney trick which allows for the removal of intersections between codimension-two contact submanifolds and submanifolds, assuming such smooth cancellation is possible. This technique applied to show existence h-principle embeddings with prescribed structure.

We consider the complexity of a single-sided AdS black hole as modelled by an end-of-the-world brane. In addition, we present multi-boundary partition functions and matter correlation for such setting. compute using modified replica trick corresponding to "quenched geodesic length" in JT gravity. The late-time behaviour shows saturation constant value order $e^{S_0}$ following period linear gro...

ion-guided Runtime Checking of Assertions on Lists Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan University of Illinois at Urbana-Champaign, Urbana, IL, USA {gyori, garg11, pek1, madhu}@illinois.edu Abstract. We investigate ways to specify and check, at runtime, assertions that express properties of dynamically manipulated linked-list data structures. Checking an assertion involving whether...

background different strategies for addressing the challenge of prioritizing elective patients efficiently and fairly have been introduced in norway. in the time period studied, there were three possible outcomes for elective patients that had been through the process of priority setting: (i) high priority with assigned individual maximum waiting time; (ii) low priority without a maximum waiti...