arXiv subjects

Tomasz Nowicki

Publications and source records attributed to Tomasz Nowicki.

23 records · Page 2Linked to original sources

arXiv2004

Dynamics of exponential linear map in functional space

We consider the question of existence of a unique invariant probability distribution which satisfies some evolutionary property. The problem arises from the random graph theory but to answer it we treat it as a dynamical system in the functional space, where we look for a global attractor. We consider the following bifurcation problem: Given a probability measure $μ$, which corresponds to the weight distribution of a link of a random graph we form a positive linear operator $Φ$ (convolution) on distribution functions and then we analyze a family of its exponents with a parameter $λ$ which corresponds to connectivity of a sparse random graph. We prove that for every measure $μ$ (\emph{i.e.}, convolution $Φ$) and every $λ< e$ there exists a unique globally attracting fixed point of the operator, which yields the existence and uniqueness of the limit probability distribution on the random graph. This estimate was established earlier \cite{KarpSipser} for deterministic weight distributions (Dirac measures $μ$) and is known as $e$-cutoff phenomena, as for such distributions and $λ>e$ there is no fixed point attractor. We thus establish this phenomenon in a much more general sense.

math.DS↗

arXiv2003

Maximum Weight Independent Sets and Matchings in Sparse Random Graphs. Exact Results using the Local Weak Convergence Method

Let $G(n,c/n)$ and $G_r(n)$ be an $n$-node sparse random graph and a sparse random $r$-regular graph, respectively, and let ${\cal I}(n,r)$ and ${\cal I}(n,c)$ be the sizes of the largest independent set in $G(n,c/n)$ and $G_r(n)$. The asymptotic value of ${\cal I}(n,c)/n$ as $n\to\infty$, can be computed using the Karp-Sipser algorithm when $c\leq e$. For random cubic graphs, $r=3$, it is only known that $.432\leq\liminf_n {\cal I}(n,3)/n \leq \limsup_n {\cal I}(n,3)\leq .4591$ with high probability (w.h.p.) as $n\to\infty$, as shown by Frieze and Suen and by Bollobas, respectively. In this paper we assume in addition that the nodes of the graph are equipped with non-negative weights, independently generated according to some common distribution, and we consider instead the maximum weight of an independent set. Surprisingly, we discover that for certain weight distributions, the limit $\lim_n {\cal I}(n,c)/n$ can be computed exactly even when $c>e$, and $\lim_n {\cal I}(n,r)/n$ can be computed exactly for some $r\geq 2$. For example, when the weights are exponentially distributed with parameter 1, $\lim_n {\cal I}(n,2e)/n\approx .5517$, and $\lim_n {\cal I}(n,3)/n\approx .6077$. Our results are established using the recently developed local weak convergence method further reduced to a certain local optimality property exhibited by the models we consider.

math.PR↗

arXiv1998

Invariant measures for typical quadratic maps

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 consequence.

math.DS↗

arXiv1994

Polynomial maps with a Julia set of positive measure

In this paper we shall show that there exists L_0 such that for each even integer L >= L_0 there exists $c_1 \in \rz$ for which the Julia set of $z --> z^L + c_1$ has positive Lebesgue measure. This solves an old problem. Editor's note: In 1997, it was shown by Xavier Buff that there was a serious flaw in the argument, leaving a gap in the proof. Currently (1999), the question of polynomials with a positive measure Julia sets remains open.

math.DS↗

arXiv1994

Absorbing Cantor sets in dynamical systems: Fibonacci maps

In this paper we shall show that there exists a polynomial unimodal map f: [0,1] -> [0,1] which is 1) non-renormalizable(therefore for each x from a residual set, $ω(x)$ is equal to an interval), 2) for which $ω(c)$ is a Cantor set, and 3) for which $ω(x)=ω(c)$ for Lebesgue almost all x. So the topological and the metric attractor of such a map do not coincide. This gives the answer to a question posed by Milnor.

math.DS↗