Related papers: Invariant measures concentrated on countable struc…
We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), extends MSO with first-order modulo-counting quantifiers,…
We investigate the following questions: Given a measure $\mu_\Lambda$ on configurations on a subset $\Lambda$ of a lattice $\mathbb{L}$, where a configuration is an element of $\Omega^\Lambda$ for some fixed set $\Omega$, does there exist a…
The notion of $\ast$-idempotent measure is a modification of the notion of idempotent measure defined for every triangular norm $\ast$. We prove existence and uniqueness of invariant $\ast$-idempotent measures for iterated function systems…
In a series of papers Tsirelson constructed from measure types of random sets and generalised random processes a new range of examples for continuous tensor product systems of Hilbert spaces introduced by Arveson for classifying…
For a class of piecewise deterministic Markov processes, the supports of the invariant measures are characterized. This is based on the analysis of controllability properties of an associated deterministic control system. Its invariant…
In the high-dimensional sparse modeling literature, it has been crucially assumed that the sparsity structure of the model is homogeneous over the entire population. That is, the identities of important regressors are invariant across the…
Let $V$ be a finite relational vocabulary in which no symbol has arity greater than 2. Let $M$ be countable $V$-structure which is homogeneous, simple and 1-based. The first main result says that if $M$ is, in addition, primitive, then it…
We generalize the observable diameter and the separation distance for metric measure spaces to those for pyramids, and prove some limit formulas for these invariants for a convergent sequence of pyramids. We obtain various applications of…
A deformation of the canonical algebra for kinematical observables of the quantum field theory in Minkowski space-time has been considered under the condition of Lorentz invariance. A relativistic invariant algebra obtained depends on…
It is known that if $M,\,N$ are continuous two-variable means such that $|M(x,y)-N(x,y)| < |x-y|$ for every $x,\ y$ with $x\ne y$, then there exists a unique invariant mean (which is continuous too). We are looking for invariant means for…
We consider the stochastic Ginzburg-Landau equation in a bounded domain. We assume the stochastic forcing acts only on high spatial frequencies. The low-lying frequencies are then only connected to this forcing through the non-linear…
We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…
A sufficient geometrical condition for the existence of absolutely continuous invariant probability measures for S-unimodal maps will be discussed. The Lebesgue typical existence of such measures in the quadratic family will be a…
We describe all boundedly finite measures which are invariant by Cartesian powers of an infinite measure preserving version of Chacon transformation. All such ergodic measures are products of so-called diagonal measures, which are measures…
In this paper we generalize the Aldous-Hoover-Kallenberg theorem concerning representations of distributions of exchangeable arrays via collections of measurable maps. We give criteria when such a representation theorem exists for arrays…
It is shown that some convolution semigroups of infinitely divisible measures are invariant under the random integral mappings $I^{h,r}_{(a,b]}$ defined in $(\star)$ below. The converse implication is specified for the semigroups of…
We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider…
Let G be an LCA group and K a closed subgroup of G. A closed subspace of L^2(G) is called K-invariant if it is invariant under translations by elements of K. Assume now that H is a countable uniform lattice in G and M is any closed subgroup…
We study measure-theoretical aspects of torus piecewise isometries. Not much is known about this type of dynamical systems, except for the special case of one-dimensional interval exchange mappings. The last case is fundamentally different…
We study a new bi-Lipschitz invariant \lambda(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor…