相关论文: Topological characterisations of Loewner traces

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this…

A locally compact stable plane of positive topological dimension will be called semiaffine if for every line $L$ and every point $p$ not in $L$ there is at most one line passing through $p$ and disjoint from $L$. We show that then the plane…

The tip multifractal spectrum of a two-dimensional curve is one way to describe the behavior of the uniformizing conformal map of the complement near the tip. We give the tip multifractal spectrum for a Schramm-Loewner evolution (SLE)…

We prove a conjecture of Courcelle, which states that a graph property is definable in MSO with modular counting predicates on graphs of constant treewidth if, and only if it is recognizable in the following sense: constant-width tree…

We construct a continuously differentiable curve in the plane that can be covered by a collection of lines such that every line intersects the curve at a single point and the union of the lines has Hausdorff dimension 1. We show that for…

For all $\kappa > 0$, we show that the support of SLE$_\kappa$ curves is the closure in the sup-norm of the set of Loewner curves driven by nice (e.g. smooth) functions. It follows that the support is the closure of the set of simple curves…

We consider the problem of deciding $\omega$-regular properties on infinite traces produced by linear loops. Here we think of a given loop as producing a single infinite trace that encodes information about the signs of program variables at…

A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses…

We prove an analogue of the Riemann-Hurwitz theorem for computing Euler characteristics of pullbacks of coherent sheaves through finite maps of smooth projective varieties, subject only to the condition that the irreducible components of…

In this study, we consider a topological derivative-based imaging technique for the fast identification of short, linear perfectly conducting cracks completely embedded in a two-dimensional homogeneous domain with smooth boundary. Unlike…

Schramm Loewner Evolutions (SLE) are random increasing hulls defined through the Loewner equation driven by Brownian motion. It is known that the increasing hulls are generated by continuous curves. When the driving process is of the form…

In this paper we show existence of traces of functions of bounded variation on the boundary of a certain class of domains in metric measure spaces equipped with a doubling measure supporting a $1$-Poincar\'e inequality, and obtain $L^1$…

One can define several properties of wave equations that correspond to the absence of tails in their solutions, the most common one by far being Huygens' principle. Not all of these definitions are equivalent, although they are sometimes…

It is a well-known result that a stable curve of compact type over $\mathbb{C}$ having two components is hyperelliptic if and only if both components are hyperelliptic and the point of intersection is a Weierstrass point for each of them.…

We define a plane curve to be threadable if it can rigidly pass through a point-hole in a line L without otherwise touching L. Threadable curves are in a sense generalizations of monotone curves. We have two main results. The first is a…

A bounded curvature path is a continuously differentiable piece-wise $C^2$ path with bounded absolute curvature connecting two points in the tangent bundle of a surface. These paths have been widely considered in computer science and…

We introduce a novel definition of curvature for hypergraphs, a natural generalization of graphs, by introducing a multi-marginal optimal transport problem for a naturally defined random walk on the hypergraph. This curvature, termed…

We characterize structures such as monotonicity, convexity, and modality in smooth regression curves using persistent homology. Persistent homology is a key tool in topological data analysis that detects higher-dimensional topological…

For each $p>2$ we give intrinsic characterizations of the restriction of the homogeneous Sobolev space $L^1_p(R^2)$ to an arbitrary finite subset $E$ of $R^2$. The trace criterion is expressed in terms of certain weighted oscillations of…

We derive a rate of convergence of the Loewner driving function for planar loop-erased random walk to Brownian motion with speed 2 on the unit circle, the Loewner driving function for radial SLE(2). The proof uses a new estimate of the…