Related papers: Invariant measures concentrated on countable struc…
We study the set of invariant idempotent probabilities for place dependent idempotent iterated function systems defined in compact metric spaces. Using well-known ideas from dynamical systems, such as the Ma\~{n}\'{e} potential and the…
We study invariant measures of continuous contact model in small dimensional spaces ($d =1,2$). Under general conditions we prove that in the critical regime this system has the one-parameter set of invariant measures parametrized by the…
Let $\Om$ be a Borel subset of $S^\Bbb N$ where $S$ is countable. A measure is called exchangeable on $\Om$, if it is supported on $\Om$ and is invariant under every Borel automorphism of $\Om$ which permutes at most finitely many…
We prove that for certain actions of a discrete countable residually finite amenable group acting on a compact metric space with specification property, periodic measures are dense in the set of invariant measures.
We study some special classes of piecewise continuous maps on a finite smooth partition of a compact manifold and look for invariant measures for such maps. We show that in the simplest one-dimensional case (so-called interval translation…
A famous result due to Lov\'{a}sz states that two finite relational structures $M$ and $N$ are isomorphic if, and only if, for all finite relational structures $T$, the number of homomorphisms from $T$ to $M$ is equal to the number of…
We present a novel proof of de Finetti's Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The proof is phrased in the language of Markov categories, which…
We say that $f:[0,1]\to [0,1]$ is a {\it piecewise continuous interval map} if there exists a partition $0=x_0<x_1<\cdots<x_{d}<x_{d+1}=1$ of $[0,1]$ such that $f\vert_{(x_{i-1},x_i)}$ is continuous and the lateral limits $w_0^+=\lim_{x\to…
Let $\mathcal{H}$ be Hilbert space and $(\Omega,\mu)$ a $\sigma$-finite measure space. Multiplicatively invariant (MI) spaces are closed subspaces of $ L^2(\Omega, \mathcal{H})$ that are invariant under point-wise multiplication by…
Random dynamical systems with countably many maps which admit countable Markov partitions on complete metric spaces such that the resulting Markov systems are uniformly continuous and contractive are considered. A non-degeneracy and a…
A structure $\mathcal{M}$ in a first-order language $\mathcal{L}$ is \emph{indivisible} if for every coloring of $M$ in two colors, there is a monochromatic $\mathcal{M}^{\prime} \subseteq \mathcal{M}$ such that…
R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…
We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all…
We discuss various infinite-dimensional configuration spaces that carry measures quasiinvariant under compactly-supported diffeomorphisms of a manifold M corresponding to a physical space. Such measures allow the construction of unitary…
A causal set is a countably infinite poset in which every element is above finitely many others; causal sets are exactly the posets that have a linear extension with the order-type of the natural numbers -- we call such a linear extension a…
We consider a one-dimensional totally asymmetric nearest-neighbor zero-range process with site-dependent jump-rates - an environment. For each environment p we prove that the set of all invariant measures is the convex hull of a set of…
We say a structure $M$ in a first-order language is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure $M'$ of $M$ such that $M'$ is isomorphic to $M$. Additionally, we say that $M$ is…
We construct a family of invariant measures from the perspective of a shock in the KPZ fixed point. These measures are parameterized by a positive number $\theta > 0$, and are supported on functions $f$ satisfying $\lim_{|x| \to \infty}…
We introduce a general methodology for quantitative model checking and control synthesis with supermartingale certificates. We show that every specification that is invariant to time shifts admits a stochastic invariant that bounds its…