Source author record

Denis Gaidashev

Denis Gaidashev appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

On some spectral properties of stochastic similarity matrices for data clustering

Clustering in image analysis is a central technique that allows to classify elements of an image. We describe a simple clustering technique that uses the method of similarity matrices. We expand upon recent results in spectral analysis for Gaussian mixture distributions, and in particular, provide conditions for the existence of a spectral gap between the leading and remaining eigenvalues for matrices with entries from a Gaussian mixture with two real univariate components. Furthermore, we describe an algorithm in which a collection of image elements is treated as a dynamical system in which the existence of the mentioned spectral gap results in an efficient clustering.

preprint2022arXiv

Renormalization and a-priori bounds for Leray self-similar solutions to the generalized mild Navier-Stokes equations

We demonstrate that the problem of existence of Leray self-similar blow up solutions in a generalized mild Navier-Stokes system with the fractional Laplacian $(-Δ)^{γ/2}$ can be stated as a fixed point problem for a "renormalization" operator. We proceed to construct {\it a-priori} bounds, that is a renormalization invariant precompact set in an appropriate weighted $L^p$-space. As a consequence of a-priori bounds, we prove existence of renormalization fixed points for $d \ge 2$ and $d<γ<2 d+2$, and existence of non-trivial Leray self-similar mild solutions in $C^\infty([0,T),(H^k)^d \cap (L^p)^d)$, $k>0, p \ge 2$, whose $(L^p)^d$-norm becomes unbounded in finite time $T$.

preprint2022arXiv

Renormalization and existence of the finite-time blow up solutions for a one-dimensional analogue of the Navier-Stokes equations

The one-dimensional quasi-geostrophic equation is the one-dimensional Fourier-space analogue of the famous Navier-Stokes equations. In their work Li and Sinai have proposed a renormalization approach to the problem of existence of finite-time blow up solutions of this equation. In this setting, existence of finite time blow ups is a consequence of existence of a fixed point for a certain renormalization operator on an appropriate functional space. They have provided a proof of existence of complex-valued finite time blow up solutions of the quasi-geostrophic equation. In this paper we revisit the renormalization problem for the quasi-geostrophic blow ups, prove existence of a family of renormalization fixed points, and deduce existence of real $C^\infty([0,T),C^\infty(\mathbb{R}) \cap L^2(\mathbb{R}))$ solutions to the quasi-geostrophic equation whose energy and enstrophy become unbounded in finite time, different from those found in the previous work of Li and Sinai.

preprint2016arXiv

Golden mean Siegel disk universality and renormalization

We provide a computer-assisted proof of one of the central open questions in one-dimensional renormalization theory -- universality of the golden-mean Siegel disks. We further show that for every function in the stable manifold of the golden-mean renormalization fixed point the boundary of the Siegel disk is a quasicircle which coincides with the closure of the critical orbit, and that the dynamics on the boundary of the Siegel disk is rigid. Furthermore, we extend the renormalization from one-dimensional analytic maps with a golden-mean Siegel disk to two-dimensional dissipative Hénon-like maps and show that the renormalization hyperbolicity result still holds in this setting.

preprint2016arXiv

Renormalization for Lorenz maps of monotone combinatorial types

Lorenz maps are maps of the unit interval with one critical point of order rho>1, and a discontinuity at that point. They appear as return maps of leafs of sections of the geometric Lorenz flow. We construct real a priori bounds for renormalizable Lorenz maps with certain monotone combinatorics, and use these bounds to show existence of periodic points of renormalization, as well as existence of Cantor attractors for dynamics of infinitely renormalizable Lorenz maps.

preprint2014arXiv

On the scaling ratios for Siegel disks

The boundary of the Siegel disk of a quadratic polynomial with an irrationally indifferent fixed point and the rotation number whose continued fraction expansion is preperiodic has been observed to be self-similar with a certain scaling ratio. The restriction of the dynamics of the quadratic polynomial to the boundary of the Siegel disk is known to be quasisymmetrically conjugate to the rigid rotation with the same rotation number. The geometry of this self-similarity is universal for a large class of holomorphic maps. A renormalization explanation of this universality has been proposed in the literature. In this paper we provide an estimate on the quasisymmetric constant of the conjugacy, and use it to prove bounds on the scaling ratio $λ$ of the form $$α^γ\le |λ| \le C δ^s,$$ where $s$ is the period of the continued fraction, and $α\in (0,1)$ depends on the rotation number in an explicit way, while $C>1$, $δ\in (0,1)$ and $γ\in (0,1)$ depend only on the maximum of the integers in the continued fraction expansion of the rotation number.

preprint2014arXiv

Rigidity for infinitely renormalizable area-preserving maps

The period doubling Cantor sets of strongly dissipative Henon-like maps with different average Jacobian are not smoothly conjugated. The Jacobian Rigidity Conjecture says that the period doubling Cantor sets of two-dimensional Henon-like maps with the same average Jacobian are smoothly conjugated. This conjecture is true for average Jacobian zero, e.g. the one-dimensional case. The other extreme case is when the maps preserve area, e.g. the average Jacobian is one. Indeed, the period doubling Cantor set of area-preserving maps in the universality class of the Eckmann-Koch-Wittwer renormalization fixed point are smoothly conjugated.

preprint2014arXiv

Spectral properties of renormalization for area-preserving maps

Area-preserving maps have been observed to undergo a universal period-doubling cascade, analogous to the famous Feigenbaum-Coullet-Tresser period doubling cascade in one-dimensional dynamics. A renormalization approach has been used by Eckmann, Koch and Wittwer in a computer-assisted proof of existence of a conservative renormalization fixed point. Furthermore, it has been shown by Gaidashev, Johnson and Martens that infinitely renormalizable maps in a neighborhood of this fixed point admit invariant Cantor sets with vanishing Lyapunov exponents on which dynamics for any two maps is smoothly conjugate. This rigidity is a consequence of an interplay between the decay of geometry and the convergence rate of renormalization towards the fixed point. In this paper we prove a result which is crucial for a demonstration of rigidity: that an upper bound on this convergence rate of renormalizations of infinitely renormalizable maps is sufficiently small.

preprint2011arXiv

A numerical study of infinitely renormalizable area-preserving maps

It has been shown in (Gaidashev et al, 2010) and (Gaidashev et al, 2011) that infinitely renormalizable area-preserving maps admit invariant Cantor sets with a maximal Lyapunov exponent equal to zero. Furthermore, the dynamics on these Cantor sets for any two infinitely renormalizable maps is conjugated by a transformation that extends to a differentiable function whose derivative is Holder continuous of exponent alpha>0. In this paper we investigate numerically the specific value of alpha. We also present numerical evidence that the normalized derivative cocycle with the base dynamics in the Cantor set is ergodic. Finally, we compute renormalization eigenvalues to a high accuracy to support a conjecture that the renormalization spectrum is real.

preprint2011arXiv

Period Doubling Renormalization for Area-Preserving Maps and Mild Computer Assistance in Contraction Mapping Principle

It has been observed that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of ${\fR}^2$. A renormalization approach has been used in a "hard" computer-assisted proof of existence of an area-preserving map with orbits of all binary periods in Eckmann et al (1984). As it is the case with all non-trivial universality problems in non-dissipative systems in dimensions more than one, no analytic proof of this period doubling universality exists to date. In this paper we attempt to reduce computer assistance in the argument, and present a mild computer aided proof of the analyticity and compactness of the renormalization operator in a neighborhood of a renormalization fixed point: that is a proof that does not use generalizations of interval arithmetics to functional spaces - but rather relies on interval arithmetics on real numbers only to estimate otherwise explicit expressions. The proof relies on several instance of the Contraction Mapping Principle, which is, again, verified via mild computer assistance.

preprint2010arXiv

Dynamics of the Universal Area-Preserving Map Associated with Period Doubling: Stable Sets

It is known that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of ${\fR}^2$. A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} in a computer-assisted proof of existence of a "universal" area-preserving map $F_*$ -- a map with orbits of all binary periods $2^k, k \in \fN$. In this paper, we consider {\it infinitely renormalizable} maps -- maps on the renormalization stable manifold in some neighborhood of $F_*$ -- and study their dynamics. For all such infinitely renormalizable maps in a neighborhood of the fixed point $F_*$ we prove the existence of a "stable" invariant set $\cC^\infty_F$ such that the maximal Lyapunov exponent of $F \arrowvert_{\cC^\infty_F}$ is zero, and whose Hausdorff dimension satisfies $${\rm dim}_H(\cC_F^{\infty}) \le 0.5324.$$ We also show that there exists a submanifold, $\bW_ω$, of finite codimension in the renormalization local stable manifold, such that for all $F\in\bW_ω$ the set $\cC^\infty_F$ is "weakly rigid": the dynamics of any two maps in this submanifold, restricted to the stable set $\cC^\infty_F$, is conjugated by a bi-Lipschitz transformation that preserves the Hausdorff dimension.

preprint2010arXiv

On Analytic Perturbations of a Family of Feigenbaum-like Equations

We prove existence of solutions $(ϕ,λ)$ of a family of of Feigenbaum-like equations \label{family} ϕ(x)={1+\eps \over λ} ϕ(ϕ(λx)) -\eps x +τ(x), where $\eps$ is a small real number and $τ$ is analytic and small on some complex neighborhood of $(-1,1)$ and real-valued on $\fR$. The family $(\ref{family})$ appears in the context of period-doubling renormalization for area-preserving maps (cf. \cite{GK}). Our proof is a development of ideas of H. Epstein (cf \cite{Eps1}, \cite{Eps2}, \cite{Eps3}) adopted to deal with some significant complications that arise from the presence of terms $\eps x +τ(x)$ in the equation $(\ref{family})$. The method relies on a construction of novel {\it a-priori} bounds for unimodal functions which turn out to be very tight. We also obtain good bounds on the scaling parameter $λ$. A byproduct of the method is a new proof of the existence of a Feigenbaum-Coullet-Tresser function.

preprint2009arXiv

Dynamics of the Universal Area-Preserving Map Associated with Period Doubling: Hyperbolic Sets

It is known that the famous Feigenbaum-Coullet-Tresser period doubling universality has a counterpart for area-preserving maps of ${\fR}^2$. A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} in a computer-assisted proof of existence of a "universal" area-preserving map $F_*$ -- a map with orbits of all binary periods $2^k, k \in \fN$. In this paper, we consider maps in some neighbourhood of $F_*$ and study their dynamics. We first demonstrate that the map $F_*$ admits a "bi-infinite heteroclinic tangle": a sequence of periodic points $\{z_k\}$, $k \in \fZ$, |z_k| \converge{k \to \infty} 0, \quad |z_k| \converge{k \to -\infty} \infty, whose stable and unstable manifolds intersect transversally; and, for any $N \in \fN$, a compact invariant set on which $F_*$ is homeomorphic to a topological Markov chain on the space of all two-sided sequences composed of $N$ symbols. A corollary of these results is the existence of {\it unbounded} and {\it oscillating} orbits. We also show that the third iterate for all maps close to $F_*$ admits a horseshoe. We use distortion tools to provide rigorous bounds on the Hausdorff dimension of the associated locally maximal invariant hyperbolic set: $$ 0.7673 \ge {\rm dim}_H(\cC_F) \ge \varepsilon \approx 0.00044 e^{-1797}.$$