Related papers: Mild parametrizations of power-subanalytic sets

In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural…

A. Miller proved the consistent existence of a coanalytic two-point set, Hamel basis and MAD family. In these cases the classical transfinite induction can be modified to produce a coanalytic set. We generalize his result formulating a…

For $\left(C(t)\right)_{t\in\mathbb R}$ being a cosine family on a unital normed algebra, we show that the estimate $\limsup_{t\to\infty^{+}}\|C(t) - I\| <2$ implies that $C(t)=I$ for all $t\in\mathbb R$. This generalizes the result that…

We present a general result giving us families of incomplete and boundedly complete families of discrete distributions. For such families, the classes of unbiased estimators of zero with finite variance and of parametric functions which…

In this short note, we study C((t)) in the language of valued rings. We show that a definable subset of C((t))n (or in monster model, Mn) is definably compact iff it is closed and unbounded. Then we give some comments on definable groups…

In this paper, we study the dynamical uniform boundedness principle over a family of rational maps with certain nontrivial automorphisms. Specifically, we consider a family of rational maps of an arbitrary degree $d\ge 2$ whose automorphism…

We study a class of parametrizations of convex cones of positive semidefinite matrices with prescribed zeros. Each such cone corresponds to a graph whose non-edges determine the prescribed zeros. Each parametrization in this class is a…

We study uniformity conditions for parameterized Boolean circuit families. Uniformity conditions require that the infinitely many circuits in a circuit family are in some sense easy to construct from one shared description. For shallow…

In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations…

The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously…

We define a notion of entropy for an infinite family $\mathcal{C}$ of measurable sets in a probability space. We show that the mean ergodic theorem holds uniformly for $\mathcal{C}$ under every ergodic transformation if and only if…

Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.

Let $f_t$ be a one-parameter family of rational maps defined over a number field $K$. We show that for all $t$ outside of a set of natural density zero, every $K$-rational preperiodic point of $f_t$ is the specialization of some…

Let $d>m>1$ be integers, let $c_1,\dots, c_{m+1}$ be distinct complex numbers, and let $\mathbf{f}(z):=z^d+t_1z^{m-1}+t_2z^{m-2}+\cdots + t_{m-1}z+t_m$ be an $m$-parameter family of polynomials. We prove that the set of $m$-tuples of…

In Two-Sets Cut-Uncut, we are given an undirected graph $G=(V,E)$ and two terminal sets $S$ and $T$. The task is to find a minimum cut $C$ in $G$ (if there is any) separating $S$ from $T$ under the following ``uncut'' condition. In the…

Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…

In this paper, we first introduce the notion of a (mild) $C$-existence family in complete random normed modules, then we prove that a (mild) $C$-existence family can guarantee the existence of the (mild) solutions of the associated abstract…

Let $\mathcal{X}$ be an irreducible algebraic curve defined over a finite field $\mathbb{F}_q$ of characteristic $p>2$. Assume that the $\mathbb{F}_q$-automorphism group of $\mathcal{X}$ admits as an automorphism group the direct product of…

Closed subschemes in projective space with a fixed Hilbert polynomial are parametrized by a Hilbert scheme. We classify the smooth ones. We identify numerical conditions on a polynomial that completely determine when the Hilbert scheme is…

A new family of stable processes indexed by metric spaces with stationary increments are introduced. They are special cases of a new family of set-indexed stable processes with Chentsov representation. At the heart of the representation, a…