Related papers: Coinductive properties of Lipschitz functions on s…

Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind…

Two flows on a finite-dimensional normed space $X$ are Lipschitz equivalent if some homeomorphism $h$ of $X$ that is bi-Lipschitz near the origin preserves all orbits, i.e., $h$ maps each orbit onto an orbit. A complete classification by…

Let $X$ be a normed space of a finite dimension at least two, and $C\subsetneq X$ a closed convex set with nonempty interior. We are interested in extending Lipschitz quasiconvex functions on $C$ to quasiconvex functions on $X$. We show…

The Collatz conjecture implies that an iterated function sequence under a certain linear operator, beginning with a certain complex valued function, must converge to a certain complex function.

We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide…

We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the…

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…

We show that any open set that is a finite distance away from a Lipschitz subgraph will become a Lipschitz subgraph after flowing under fractional mean curvature flow for a finite, universal time. Our proof is quantitative and inherently…

In this paper, we study classes of discrete convex functions: submodular functions on modular semilattices and L-convex functions on oriented modular graphs. They were introduced by the author in complexity classification of minimum…

We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition is imposed on definitions of corecursive functions in Coq,…

We prove that every recurrent graph $G$ quasi-isometric to $\mathbb{R}$ admits an essentially unique Lipschitz harmonic function $h$. If $G$ is vertex-transitive, then the action of $Aut(G)$ preserves $\partial h$ up to a sign, a fact that…

Let $U \subseteq \mathbb C$ be bounded and open. For $0 < \alpha < 1$, $A_\alpha(U)$ is the set of functions in the little Lipschitz class with exponent $\alpha$ that are analytic in a neighborhood of $U$. We consider three conditions,…

Given any continuous, lower bounded and $\kappa$-convex function $V$ on a metric measure space $(X,d,m)$ which is infinitesimally Hilbertian and satisfies some synthetic lower bound for the Ricci curvature in the sense of…

Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations fall into infinite loops. Such definitions give rise to…

We conjecture that a class of Artinian Gorenstein Hilbert algebras called full Perazzo algebras always have minimal Hilbert function, fixing codimension and length. We prove the conjecture in length four and five, in low codimension. We…

Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and…

It is shown that a contraction on a Hilbert space is complex symmetric if and only if the values of its characteristic function are all symmetric with respect to a fixed conjugation. Applications are given to the description of complex…

We consider faithful projective actions of a cocompact lattice of SL(2,R) on the projective plane, with the following property: there is a common fixed point, which is a saddle fixed point for every element of infinite order of the the…

We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions defining streams are regularly corecursive, that is, cyclic…

We consider immersions admitting uniform representations as an L-Lipschitz graph. In codimension 1, we show compactness for such immersions for arbitrary fixed finite L and uniformly bounded volume. The same result is shown in arbitrary…