arXiv subjects
Publications and source records attributed to Wenxiang Sun.
There exists a compact manifold so that the set of topologically chaotic but statistically trivial $C^{r} (1\leq r \leq \infty)$ vector fields on this manifold displays considerable scale in the view of dimension. More specifically, it contains an infinitely dimensional connected subset.
Visual Entity Linking (VEL) is a task to link regions of images with their corresponding entities in Knowledge Bases (KBs), which is beneficial for many computer vision tasks such as image retrieval, image caption, and visual question answering. While existing tasks in VEL either rely on textual data to complement a multi-modal linking or only link objects with general entities, which fails to perform named entity linking on large amounts of image data. In this paper, we consider a purely Visual-based Named Entity Linking (VNEL) task, where the input only consists of an image. The task is to identify objects of interest (i.e., visual entity mentions) in images and link them to corresponding named entities in KBs. Since each entity often contains rich visual and textual information in KBs, we thus propose three different sub-tasks, i.e., visual to visual entity linking (V2VEL), visual to textual entity linking (V2TEL), and visual to visual-textual entity linking (V2VTEL). In addition, we present a high-quality human-annotated visual person linking dataset, named WIKIPerson. Based on WIKIPerson, we establish a series of baseline algorithms for the solution of each sub-task, and conduct experiments to verify the quality of proposed datasets and the effectiveness of baseline methods. We envision this work to be helpful for soliciting more works regarding VNEL in the future. The codes and datasets are publicly available at https://github.com/ict-bigdatalab/VNEL.
Lyapunov exponents of a hyperbolic ergodic measure are approximated by Lyapunov exponents of hyperbolic atomic measures on periodic orbits.
In this paper we prove that for an ergodic hyperbolic measure $ω$ of a $C^{1+α}$ diffeomorphism $f$ on a Riemannian manifold $M$, there is an $ω$-full measured set $\widetildeΛ$ such that for every invariant probability $μ\in \mathcal{M}_{inv}(\widetildeΛ,f)$, the metric entropy of $μ$ is equal to the topological entropy of saturated set $G_μ$ consisting of generic points of $μ$: $$h_μ(f)=h_{\top}(f,G_μ).$$ Moreover, for every nonempty, compact and connected subset $K$ of $\mathcal{M}_{inv}(\widetildeΛ,f)$ with the same hyperbolic rate, we compute the topological entropy of saturated set $G_K$ of $K$ by the following equality: $$\inf\{h_μ(f)\mid μ\in K\}=h_{\top}(f,G_K).$$ In particular these results can be applied (i) to the nonuniformy hyperbolic diffeomorphisms described by Katok, (ii) to the robustly transitive partially hyperbolic diffeomorphisms described by ~Ma{ñ}{é}, (iii) to the robustly transitive non-partially hyperbolic diffeomorphisms described by Bonatti-Viana. In all these cases $\mathcal{M}_{inv}(\widetildeΛ,f)$ contains an open subset of $\mathcal{M}_{erg}(M,f)$.
In this paper we mainly deal with an invariant (ergodic) hyperbolic measure $μ$ for a diffeomorphism $f,$ assuming that $f$ is just $C^1$ and for $μ$ a.e. $x$, the sum of Oseledec spaces corresponding to negative Lyapunov exponents (quasi-limit-)dominates the sum of Oseledec spaces corresponding to positive Lyapunov exponents at $x$. We generalize a certain of results of Pesin theory from $C^{1+α}$ to the $C^1$ system $ (f,μ)$, including a sufficient condition for existence of horseshoe, Livshitz theorem, exponential growth of periodic points, distribution of periodic points, periodic measures, horseshoes, nonuniform specification and lower semi-continuity of entropy function etc. In particular, they are applied for $C^1$ partially hyperbolic systems whose central bundle displays some non-uniform hyperbolicity, including some robust systems. Moreover, for some $C^1$ partially hyperbolic (not necessarily volume-preserving) systems, we get some information of Lebesgue measure on Average-nonuniform hyperbolicityand volume-non-expanding. A constructed machinery is developed for $C^1$ (not necessarily $C^{1+α}$) diffeomorphisms: new Pesin blocks is established topologically (independent on measures) such that every block has stable manifold theorem and simultaneously has exponential shadowing. The new construction, different with classical $C^{1+α}$ ones, is mainly inspired from Liao's quasi-hyperbolicity and so here we call new blocks by Liao-Pesin blocks and call the new established $C^1$ Pesin theory by $C^1$ Liao-Pesin Theory. Liao-Pesin set not only exists for invariant measures, but also exists for general probability measures, for example, Lebesgue measure (not assuming invariant) in some partially hyperbolic systems.
In this paper we establish a closing property and a hyperbolic closing property for thin trapped chain hyperbolic homoclinic classes with one dimensional center in partial hyperbolicity setting. Taking advantage of theses properties, we prove that the growth rate of the number of hyperbolic periodic points is equal to the topological entropy. We also obtain that the hyperbolic periodic measures are dense in the space of invariant measures.
We prove that entropy map is upper semi-continuous for C1 nonuniformly hyperbolic systems with domination, while it is not true for C1+alpha nonuniformly hyperbolic systems in general. This goes a little against a common intuition that conclusions are parallel between C1+domination systems and C1+alpha systems.
We prove that the Oseledets splittings of an ergodic hyperbolic measure of a $C^{1+ r}$ diffeomorphism can be approximated by that of atomic measures on hyperbolic periodic orbits. This removes the assumption on simple spectrum in \cite{Liang} and strengthens Katok's closing lemma.
Given any $K>0$, we construct two equivalent $C^2$ flows, one of which has positive topological entropy larger than $K$ and admits zero as the exponential growth of periodic orbits, in contrast, the other has zero topological entropy and super-exponential growth of periodic orbits. Moreover we establish a $C^{\infty}$ flow on $\mathbb{S}^2$ with super-exponential growth of periodic orbits, which is also equivalent to another flow with zero exponential growth of periodic orbits. On the other hand, any two dimensional flow has only zero topological entropy.
Let $M$ be a smooth compact manifold and $Λ$ be a compact invariant set. In this paper we prove that for every robustly transitive set $Λ$, $f|_Λ$ satisfies a $C^1-$generic-stable shadowable property (resp., $C^1-$generic-stable transitive specification property or $C^1-$generic-stable barycenter property) if and only if $Λ$ is a hyperbolic basic set. In particular, $f|_Λ$ satisfies a $C^1-$stable shadowable property (resp., $C^1-$stable transitive specification property or $C^1-$stable barycenter property) if and only if $Λ$ is a hyperbolic basic set. Similar results are valid for volume-preserving case.
In this paper, we study two properties of the Lyapunov exponents under small perturbations: one is when we can remove zero Lyapunov exponents and the other is when we can distinguish all the Lyapunov exponents. The first result shows that we can perturb all the zero integrated Lyapunov exponents $\int_M λ_j(x)dω(x)$ into nonzero ones, for any partially hyperbolic diffeomorphism. The second part contains an example which shows the local genericity of diffeomorphisms with non-simple spectrum and three results: one discusses the relation between simple-spectrum property and the existence of complex eigenvalues; the other two describe the difference on the spectrum between the diffeomorphisms far from homoclinic tangencies and those in the interior of the complement. Moreover, among the conservative diffeomorphisms far from tangencies, we prove that ergodic ones form a residual subset.
For an ergodic hyperbolic measure $ω$ of a $C^{1+α}$ diffeomorphism, there is an $ω$ full-measured set $\tildeΛ$ such that every nonempty, compact and connected subset $V$ of $\mathbb{M}_{inv}(\tildeΛ)$ coincides with the accumulating set of time averages of Dirac measures supported at {\it one orbit}, where $\mathbb{M}_{inv}(\tildeΛ)$ denotes the space of invariant measures supported on $\tildeΛ$. Such state points corresponding to a fixed $V$ are dense in the support $supp(ω)$. Moreover, $\mathbb{M}_{inv}(\tildeΛ)$ can be accumulated by time averages of Dirac measures supported at {\it one orbit}, and such state points form a residual subset of $supp(ω)$. These extend results of Sigmund [9] from uniformly hyperbolic case to non-uniformly hyperbolic case. As a corollary, irregular points form a residual set of $supp(ω)$.
Let $M$ be a compact manifold and $f:\,M\to M$ be a $C^1$ diffeomorphism on $M$. If $μ$ is an $f$-invariant probability measure which is absolutely continuous relative to Lebesgue measure and for $μ$ $a.\,\,e.\,\,x\in M,$ there is a dominated splitting $T_{orb(x)}M=E\oplus F$ on its orbit $orb(x)$, then we give an estimation through Lyapunov characteristic exponents from below in Pesin's entropy formula, i.e., the metric entropy $h_μ(f)$ satisfies $$h_μ(f)\geq\int χ(x)dμ,$$ where $χ(x)=\sum_{i=1}^{dim\,F(x)}λ_i(x)$ and $λ_1(x)\geqλ_2(x)\geq...\geqλ_{dim\,M}(x)$ are the Lyapunov exponents at $x$ with respect to $μ.$ Consequently, by using a dichotomy for generic volume-preserving diffeomorphism we show that Pesin's entropy formula holds for generic volume-preserving diffeomorphisms, which generalizes a result of Tahzibi in dimension 2.
Let $Λ$ be an isolated non-trival transitive set of a $C^1$ generic diffeomorphism $f\in\Diff(M)$. We show that the space of invariant measures supported on $Λ$ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in $Λ$ (which implies the set of irregular$^+$ points is also residual in $Λ$). As an application, we show that the non-uniform hyperbolicity of irregular$^+$ points in $Λ$ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in $Λ$) determines the uniform hyperbolicity of $Λ$.
Two flows defined on a smooth manifold are equivalent if there exists a homeomorphism of the manifold that sends each orbit of one flow onto an orbit of the other flow while preserving the time orientation. The topological entropy of a flow is defined as the entropy of its time-1 map. While topological entropy is an invariant for equivalent homeomorphisms, finite non-zero topological entropy for a flow cannot be an invariant because its value is affected by time reparameterization. However, 0 and $\infty$ topological entropy are invariants for equivalent flows without fixed points. In equivalent flows with fixed points there exists a counterexample, constructed by Ohno, showing that neither 0 nor $\infty$ topological entropy is preserved by equivalence. The two flows constructed by Ohno are suspensions of a transitive subshift and thus are not differentiable. Note that a differentiable flow on a compact manifold cannot have $\infty$ entropy. These facts led Ohno in 1980 to ask the following: "Is 0 topological entropy an invariant for equivalent differentiable flows?" In this paper, we construct two equivalent $C^\infty$ smooth flows with a singularity, one of which has positive topological entropy while the other has zero topological entropy. This gives a negative answer to Ohno's question in the class $C^\infty$.
Consider a $C^1$ vector field together with an ergodic invariant probability that has $\ell$ nonzero Lyapunov exponents. Using orthonormal moving frames along certain transitive orbits we construct a linear system of $\ell$ differential equations which is a reduced form of Liao's "standard system". We show that the Lyapunov exponents of this linear system coincide with all the nonzero exponents of the given vector field with respect to the given probability. Moreover, we prove that these Lyapunov exponents have a persistence property that implies that a "Liao perturbation" preserves both sign and value of nonzero Lyapunov exponents.