Related papers: On the strong separation condition for self-simila…

Separation is a classical problem asking whether, given two sets belonging to some class, it is possible to separate them by a set from a smaller class. We discuss the separation problem for regular languages. We give a Ptime algorithm to…

A natural model of read-once linear branching programs is a branching program where queries are $\mathbb{F}_2$ linear forms, and along each path, the queries are linearly independent. We consider two restrictions of this model, which we…

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\| <1/2$ for $1\leq i\leq m$. We provide some sufficient conditions on these matrices such that the self-affine set generated by the iterated function…

Consider an iterated function system consisting of similarities on the complex plane of the form $g_{i}(z) = \lambda_i z + t_i,\ \lambda_i, t_i \in \mathbb{C},\ |\lambda_i|<1, i=1,\ldots, k$. We prove that for almost every choice of…

We give a sufficient condition for the ergodicity of the Lebesgue measure for an iterated function system of diffeomorphisms. This is done via the induced iterated function system on the space of continuum (which is called hyper-space). We…

We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$ of normal positive linear functionals on $\sM$, the inequality: $$ \lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a countable family…

Let $\xi=(\xi_t)$ be a locally finite $(2,\beta)$-superprocess in $\RR^d$ with $\beta<1$ and $d>2/\beta$. Then for any fixed $t>0$, the random measure $\xi_t$ can be a.s. approximated by suitably normalized restrictions of Lebesgue measure…

Let $\phi$ be a birational map of the complex projective plane. We know that $\phi$ can be written as a composition of automorphisms of $\mathbb{P}^2_\mathbb{C}$ and the standard quadratic birational map $\sigma$. This writing, that is…

We formulate and prove in this report some sufficient conditions for exponential tightness (ET) of a family of independent identical distributed (i.i.d.) random fields (r.f.) (processes) in the space of continuous functions defined on…

This paper addresses the problem of describing aperiodic discrete structures that have a self-similar or self-affine structure. Substitution Delone set families are families of Delone sets (X_1, ..., X_n) in R^d that satisfy an inflation…

Let $X$ be a continuous-time strongly mixing or weakly dependent process and $T$ a renewal process independent of $X$ with inter-arrival times $\tau$. We show general conditions under which the sampled process $(X_{T_i},T_i-T_{i-1})^{\top}$…

When a matrix A with n columns is known to be well approximated by a linear combination of basis matrices B_1,..., B_p, we can apply A to a random vector and solve a linear system to recover this linear combination. The same technique can…

Strong external difference families (SEDFs) have applications to cryptography and are rich combinatorial structures in their own right; until now, all SEDFs have been in abelian groups. In this paper, we consider SEDFs in both abelian and…

Persistent excitation (PE) is a necessary and sufficient condition for uniform exponential parameter convergence in several adaptive, identification, and learning schemes. In this article, we consider, in the context of multi-input linear…

It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong…

In this paper we prove that if $\{\varphi_i(x)=\lambda x+t_i\}$ is an equicontractive iterated function system and $b$ is a positive integer satisfying $\frac{\log b}{\log |\lambda|}\notin\mathbb{Q},$ then almost every $x$ is normal in base…

We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system $P$, we prove that the following statements are equivalent, 1.…

The basic object we consider is a certain model of continuum random tree, called the stable tree. We construct a fragmentation process $(F^-(t), t>=0)$ out of this tree by removing the vertices located under height $t$. Thanks to a…

We give a construction of a self-similar tiling of the plane with any prescribed expansion coefficient $\lambda\in\C$ (satisfying the necessary algebraic condition of being a complex Perron number). For any integer $m>1$ we show that there…

We show that if $\lbrace \varphi_i\rbrace_{i\in \Gamma}$ and $\lbrace \psi_j\rbrace_{j\in\Lambda}$ are self-affine iterated function systems on the plane that satisfy strong separation, domination and irreducibility, then for any associated…