Related papers: Sweeping by a tame process
Motivated by questions arising in the study of the spectral theory of models of aperiodic order, we investigate sums of functions of semibounded closed subsets of the real line. We show that under suitable thickness assumptions on the sets…
We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special…
For any quantity of interest in a system governed by ordinary differential equations, it is natural to seek the largest (or smallest) long-time average among solution trajectories, as well as the extremal trajectories themselves. Upper…
Intuitively, if we can prove that a program terminates, we expect some conclusion regarding its complexity. But the passage from termination proofs to complexity bounds is not always clear. In this work we consider Monotonicity Constraint…
We study the computational complexity of the Escape Problem for discrete-time linear dynamical systems over compact semialgebraic sets, or equivalently the Termination Problem for affine loops with compact semialgebraic guard sets. Consider…
A semiring can be ``completed'' (i.e., embedded into a semiring in which all infinite sums are defined and satisfy some reasonable properties) iff this semiring can be naturally partially ordered. This construction is ``natural'' (a left…
We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…
We give a short, topological proof that all graphs admit tree-decompositions displaying their topological ends.
We prove that, for an analytic family of ``weakly tame'' regular functions on an affine manifold, the spectrum at infinity of each function of the family is semicontinuous in the sense of Varchenko.
Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers and $\O$ be its integral ring. The convergent power series with coefficients in $\O$ are studied as dynamical systems on $\O$. A minimal decomposition theorem for…
In the case of neutral populations of fixed sizes in equilibrium whose genealogies are described by the Kingman $N$-coalescent back from time $t$ consider the associated processes of total tree length as $t$ increases. We show that the…
In this paper a special piecewise linear system is studied. It is shown that, under a mild assumption, the semi-smooth Newton method applied to this system is well defined and the method generates a sequence that converges linearly to a…
Holomorphic functions are amazing because their values in an ever so small disk in the complex plane completely determine the function values at arbitrary points in their maximum possible domain. The process of extending such a function…
A wealth-process set is abstractly defined to consist of nonnegative c\`{a}dl\`{a}g processes containing a strictly positive semimartingale and satisfying an intuitive re-balancing property. Under the condition of absence of arbitrage of…
This paper provides a dynamical frame to study non-autonomous parabolic partial differential equations with finite delay. Assuming monotonicity of the linearized semiflow, conditions for the existence of a continuous separation of type II…
We investigate the use of piecewise linear systems, whose coefficient matrix is a piecewise constant function of the solution itself. Such systems arise, for example, from the numerical solution of linear complementarity problems and in the…
In this paper is described the general aspect of a numerical method for piecewise determin-istic Markov processes with boundary. Under very natural hypotheses, a crucial result about uniqueness of solution of a generalized Kolmogorov…
We prove existence and uniqueness of strong solutions for a class of semilinear stochastic evolution equations driven by general Hilbert space-valued semimartingales, with drift equal to the sum of a linear maximal monotone operator in…
We consider a controlled evolution problem for a set $\Omega(t)\in\mathbb{R}^d$, originally motivated by a model where a dog controls a flock of sheep. Necessary conditions and sufficient conditions are given, in order that the evolution be…
Any nonempty, compact, semi-algebraic set in [0, 1] n is the projection of the set of mixed equilibria of a finite game with 2 actions per player on its first n coordinates. A similar result follows for sets of equilibrium payoffs. The…