Related papers: A separation property for iterated function system…

We study fractal sets $\Gamma\subset \mathbb{R}^n$ with non-empty interior $\Omega$, that are attractors of iterated function systems (IFSs) of contracting similarities satisfying the open set condition. Examples for $n=2$ are the closures…

Using the finite Fourier transform, we introduce a generalization of Pauli-spin matrices for $d$-dimensional spaces, and the resulting set of unitary matrices $S(d) $ is a basis for $d\times d$ matrices. If $N=d_{1}\times…

We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at…

We investigate the H\"older geometry of curves generated by iterated function systems (IFS) in a complete metric space. A theorem of Hata from 1985 asserts that every connected attractor of an IFS is locally connected and path-connected. We…

We give a systematic account of iterated function systems (IFS) of weak contractions of different types (Browder, Rakotch, topological). We show that the existence of attractors and asymptotically stable invariant measures, and the validity…

In this work we study the properties of segregation processes modeled by a family of equations $$ L(u_i) (x) = u_i(x)\: F_i (u_1, \ldots, u_K)(x)\qquad i=1,\ldots, K $$ where $F_i (u_1, \ldots, u_K)(x)$ is a non-local factor that takes into…

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…

We consider a combinatorial property isolated in the field of ideal convergence, a P-property for two ideals on natural numbers. We show that among selected ideals induced by disjoint families, not all pairs satisfy P-property for two…

We consider iterations of integer-valued functions $\phi$, which have no fixed points in the domain of positive integers. We define a local function $\phi_n$, which is a sub-function of $\phi$ being restricted to the subdomain $\{0, ..., n…

For a commutative ring $R$, a polynomial $f\in R[x]$ is called separable if $R[x]/f$ is a separable $R$-algebra. We derive formulae for the number of separable polynomials when $R = \mathbb{Z}/n$, extending a result of L. Carlitz. For…

This paper studies the Fourier properties of self-similar measures and tiles generated by digit sets of product-form. Let $0 <\rho <1$ be a real number and let $D$ be the direct sum of two consecutive integer sets:…

Let's consider a control system described by the implicit equation $F(x,\dot x) = 0$. If this system is differentially flat, then the following criterion is satisfied : For some integer $r$, there exists a function $\varphi(y_0, y_1,…

The paper develops a novel analysis of mutual interactions between topology and soft topology. It is known that each soft topology produces a system of crisp (parameterized) topologies. The other way round is also possible. Namely, one can…

In the present work, we study the attractors of iterated function systems (IFSs) on connected and compact metric spaces. We prove that the whole of the phase space of a forward minimal IFS, for which some map admits an attracting fixed…

We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use model theoretic techniques and games to show that separation…

We investigate whether the Hutchinson operator associated with the iterated function system (IFS) is continuous. It clarifies several partial results scattered across recent literature. While the main example for IFS with strict attractor…

We consider a class of iterated function systems (IFSs) of contracting similarities of $R^n$, introduced by Hutchinson, for which the invariant set possesses a natural H\"older continuous parameterization by the unit interval. When such an…

We study families of positive and completely positive maps acting on a bipartite system $\mathbb{C}^M\otimes \mathbb{C}^N$ (with $M\leq N$). The maps have a property that when applied to any state (of a given entanglement class) they result…

We investigate properties of the set of discrete Morse functions on a simplicial complex as defined by Forman. It is not difficult to see that the pairings of discrete Morse functions of a finite simplicial complex again form a simplicial…

We present a criterion of separability for arbitrary s partitions of N-particle fermionic pure states. We show that, despite the superficial non-factorizability due to the antisymmetry required by the indistinguishability of the particles,…