Related papers: On absolute nonshadowability of transitive maps
We show that the finite satisfiability problem for the unary negation fragment with arbitrary number of transitive relations is decidable and 2-ExpTime-complete. Our result actually holds for a more general setting in which one can require…
We prove ergodicity of unitary random-matrix theories by showing that the autocorrelation function with respect to energy or magnetic field strength of any observable vanishes asymptotically. We do so using Efetov's supersymmetry method, a…
We prove a theorem on structural stability of smooth attractor-repellor endomorphisms of compact manifolds, with singularities. By attractor-repellor, we mean that the non-wandering set of the dynamics $f$ is the disjoint union of a…
Random matrix theory of the transition strengths is applied to transport in the strongly localized regime. The crossover distribution function between the different ensembles is derived and used to predict quantitatively the {\sl universal}…
We give an interesting example of a map in $\mathbb{C}^2$ that is tangent to the identity, but that does not have a domain of attraction along any of its characteristic direction. This map has three characteristic directions, two of which…
We propose a novel unifying approach to study the shadowing property for a broad class of dynamical systems (in particular, discontinuous and non-invertible) under a variety of perturbations. In distinction to known constructions, our…
A contractive condition is addressed for extended 2-cyclic self-mappings on the union of a finite number of subsets of a metric space which are allowed to have a finite number of successive images in the same subsets of its domain. It is…
We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds. The proof is mainly based on a reflection principle…
Transport studies seem to be one of the strongest lines of support for a preformed pair approach to the pseudogap. In this paper we provide a fresh, physically transparent look at two important quantities: the diamagnetic susceptibility and…
A tree is pathwise-random if all of its paths are Martin-Lof random. We show that (a) no weakly 2-random real computes a perfect pathwise-random tree; it follows that the class of perfect pathwise-random trees is null, with respect to any…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
In this article, we pay attention to transitive dynamical systems having the shadowing property and the entropy functions are upper semicontinuous. As for these dynamical systems, when we consider ergodic optimization restricted on the…
Let A be a finite-dimensional associative algebra and $\phi$ a symmetric linear function on $A$. In this note, we will show that the pseudotrace maps are obtained as special cases of well-known symmetric linear functions on the endomorphism…
Let $E = (E^0, E^1, r, s)$ be a topological graph with no sinks such that $E^0$ and $E^1$ are compact. We show that when $C^*(E)$ is finite, there is a natural isomorphism $C^*(E) \cong C(E^\infty) \rtimes \mathbb{Z}$, where $E^\infty$ is…
We study iterated function systems (IFS) with compact parameter space. We show that the space of IFS with phase space $X$ is the hyperspace of the space of self continuous maps of $X$. With this result we obtain that the Hausdorff distance…
Let X be an algebraic variety covered by open charts isomorphic to the affine space and q: X' \to X be the universal torsor over X. We prove that the automorphism group of the quasiaffine variety X' acts on X' infinitely transitively. Also…
A graph property is elusive (or evasive) if any algorithm testing it by asking questions of the form ''Is there an edge between vertices x and y?'' must, in the worst case, examine all pairs of vertices. Elusiveness for infinite vertex sets…
We prove a nonsmooth implicit function theorem applicable to the zero set of the difference of convex functions. This theorem is explicit and global: it gives a formula representing this zero set as a difference of convex functions which…
In any CAT(k) space M, the "shadow" of a tangent vector Z at a point p is the set vectors that form an angle of \pi or more with Z. Taking logarithm maps at points approaching p along a fixed geodesic ray from p with tangent Z collapses the…
We study the computational problem of rigorously describing the asymptotic behaviour of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More precisely, we consider the limit set of a typical orbit,…