On topological entropy of commuting tree maps

Let T$T$ be a tree with s$s$ ends and f,g$f,g$ be continuous maps from T$T$ to T$T$ with f°g=g°f$f°g=g°f$. In this note we show that if there exists a positive integer m≥2$m\ge 2$ such that gcd(m,l)=1$gcd(m,l)=1$ for any 2≤l≤s$2\le l\le s$ and f,g$f,g$ share a periodic point which is a km$km$-periodic point of f$f$ for some positive integer k$k$, then the topological entropy of f°g$f°g$ is positive.     

Structured total least norm and approximate GCDs of inexact polynomials

The determination of an approximate greatest common divisor (GCD) of two inexact polynomials f=f(y)$f=f(y)$ and g=g(y)$g=g(y)$ arises in several applications, including signal processing and control. This approximate GCD can be obtained by computing a structured low rank approximation S^*(f,g)$S^{*}(f,g)$ of the Sylvester resultant matrix S(f,g)$S(f,g)$. In this paper, the method of structured total least norm (STLN) is used to compute a low rank approximation of S(f,g)$S(f,g)$, and it is shown that important issues that have a considerable effect on the approximate GCD have not been considered. For example, the established works only yield one matrix S^*(f,g)$S^{*}(f,g)$, and therefore one approximate GCD, but it is shown in this paper that a family of structured low rank approximations can be computed, each member of which yields a different approximate GCD. Examples that illustrate the importance of these and other issues are presented.     

Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

Holomorphic mappings preserving Minkowski functionals

We show that the equality _m1(f(x))=_m2(g(x))$m_1\left(f\left(x\right)\right)=m_2\left(g\left(x\right)\right)$ for x$x$ in a neighborhood of a point a$a$ remains valid for all x$x$ provided that f$f$ and g$g$ are open holomorphic maps, f(a)=g(a)=0$f\left(a\right)=g\left(a\right)=0$ and _m1,_m2$m_1,m_2$ are Minkowski functionals of bounded balanced domains. Moreover, a polynomial relation between f$f$ and g$g$ is obtained.     

Partial rigidity of degenerate CR embeddings into spheres

In this paper, we study degenerate CR embeddings f$f$ of a strictly pseudoconvex hypersurface M⊂Cⁿ⁺¹$M\subset {\mathbb{C}}^{n+1}$ into a sphere S$\mathbb{S}$ in a higher dimensional complex space C^N+1${\mathbb{C}}^{N+1}$. The degeneracy of the mapping f$f$ will be characterized in terms of the ranks of the CR second fundamental form and its covariant derivatives. In 2004, the author, together with X. Huang and D. Zaitsev, established a rigidity result for CR embeddings f$f$ into spheres in low codimensions. A key step in the proof of this result was to show that degenerate mappings are necessarily contained in a complex plane section of the target sphere (partial rigidity). In the 2004 paper, it was shown that if the total rank d$d$ of the second fundamental form and all of its covariant derivatives is <n$<n$ (here, n$n$ is the CR dimension of M$M$), then f(M)$f\left(M\right)$ is contained in a complex plane of dimension n+d+1$n+d+1$. The converse of this statement is also true, as is easy to see. When the total rank d$d$ exceeds n$n$, it is no longer true, in general, that f(M)$f\left(M\right)$ is contained in a complex plane of dimension n+d+1$n+d+1$, as can be seen by examples. In this paper, we carry out a systematic study of degenerate CR mappings into spheres. We show that when the ranks of the second fundamental form and its covariant derivatives exceed the CR dimension n$n$, then partial rigidity may still persist, but there is a “defect” k$k$ that arises from the ranks exceeding n$n$ such that f(M)$f\left(M\right)$ is only contained in a complex plane of dimension n+d+k+1$n+d+k+1$. Moreover, this defect occurs in general, as is illustrated by examples.     

On large semi-linked graphs

Let H$H$ be a multigraph, possibly with loops, and consider a set S⊆V(H)$S\subseteq V\left(H\right)$. A (simple) graph G$G$ is (H,S)$(H,S)$-semi-linked   if, for every injective map f:S→V(G)$f:S\to V\left(G\right)$, there exists an injective map g:V(H)?S→V(G)?f(S)$g:V\left(H\right)?S\to V\left(G\right)?f\left(S\right)$ and a set of |E(H)|$\left|E\left(H\right)\right|$ internally disjoint paths in G$G$ connecting pairs of vertices of  f(S)∪g(V(H)?S)$f\left(S\right)\cup g(V\left(H\right)?S)$ for every edge between the corresponding vertices of H$H$. This new concept of (H,S)$(H,S)$-semi-linkedness is a generalization of H$H$-linkedness  . We establish a sharp minimum degree condition for a sufficiently large graph G$G$ to be (H,S)$(H,S)$-semi-linked.     

On testing Hamiltonicity of graphs

Let us fix a function f(n)=o(nlnn)$f\left(n\right)=o(nlnn)$ and real numbers 0≤α<β≤1$0\le \alpha <\beta \le 1$. We present a polynomial time algorithm which, given a directed graph G$G$ with n$n$ vertices, decides either that one can add at most βn$\beta n$ new edges to G$G$ so that G$G$ acquires a Hamiltonian circuit or that one cannot add αn$\alpha n$ or fewer new edges to G$G$ so that G$G$ acquires at least e^−f(n)n!$e^{-f\left(n\right)}n!$ Hamiltonian circuits, or both.     

Quadrature rule for Abel’s equations: Uniformly approximating fractional derivatives

An automatic quadrature method is presented for approximating fractional derivative D^qf(x)$D^{q}f\left(x\right)$ of a given function f(x)$f\left(x\right)$, which is defined by an indefinite integral involving f(x)$f\left(x\right)$. The present method interpolates f(x)$f\left(x\right)$ in terms of the Chebyshev polynomials in the range [0, 1] to approximate the fractional derivative D^qf(x)$D^{q}f\left(x\right)$ uniformly for 0≤x≤1$0\le x\le 1$, namely the error is bounded independently of x$x$. Some numerical examples demonstrate the performance of the present automatic method.     

Weak convergence of the Stratonovich integral with respect to a class of Gaussian processes

For a Gaussian process X$X$ and smooth function f$f$, we consider a Stratonovich integral of f(X)$f\left(X\right)$, defined as the weak limit, if it exists, of a sequence of Riemann sums. We give covariance conditions on X$X$ such that the sequence converges in law. This gives a change-of-variable formula in law with a correction term which is an Itô integral of f^?$f^{?}$ with respect to a Gaussian martingale independent of X$X$. The proof uses Malliavin calculus and a central limit theorem from Nourdin and Nualart (2010) [8]. This formula was known for fBm with H=1/6$H=1/6$ Nourdin et al. (2010) [9]. We extend this to a larger class of Gaussian processes.     

A note on Schweizer–Smital chaos

In this paper, we consider a continuous map f:X→X$f:X\to X$, where X$X$ is a compact metric space, and prove that for any positive integer N$N$, f$f$ is Schweizer–Smital chaotic if and only if f^N$f^N$ is too.     

Quadratic covariation estimates in non-smooth stochastic calculus

Given a Brownian Motion W$W$, in this paper we study the asymptotic behavior, as ε→0$\epsilon \to 0$, of the quadratic covariation between f(εW)$f\left(\epsilon W\right)$ and W$W$ in the case in which f$f$ is not smooth. Among the main features discovered is that the speed of the decay in the case f∈C^α$f\in C^{\alpha }$ is at least polynomial in ε$\epsilon$ and not exponential as expected. We use a recent representation as a backward–forward Itô integral of [f(εW),W]$[f\left(\epsilon W\right),W]$ to prove an ε$\epsilon$-dependent approximation scheme which is of independent interest. We get the result by providing estimates to this approximation. The results are then adapted and applied to generalize the results of Almada Monter and Bakhtin (2011) and Bakhtin (2011) related to the small noise exit from a domain problem for the saddle case.     

Boundary value problems in spaces of distributions on smooth and polygonal domains

We study boundary value problems of the form -Δu=f$-\mathrm{\Delta }u=f$ on Ω$\Omega$ and Bu=g$\mathit{Bu}=g$ on the boundary ∂Ω$\mathrm{\partial }\Omega$, with either Dirichlet or Neumann boundary conditions, where Ω$\Omega$ is a smooth bounded domain in Rⁿ${\mathbb{R}}^n$ and the data f,g$f,g$ are distributions  . This problem has to be first properly reformulated and, for practical applications, it is of crucial importance to obtain the continuity of the solution u$u$ in terms of f and g  . For f=0$f=0$, taking advantage of the fact that u$u$ is harmonic on Ω$\Omega$, we provide four formulations of this boundary value problem (one using nontangential limits of harmonic functions, one using Green functions, one using the Dirichlet-to-Neumann map, and a variational one); we show that these four formulations are equivalent. We provide a similar analysis for f≠0$f\ne 0$ and discuss the roles of f and g, which turn to be somewhat interchangeable in the low regularity case. The weak formulation is more convenient for numerical approximation, whereas the nontangential limits definition is closer to the intuition and easier to check in concrete situations. We extend the weak formulation to polygonal domains using weighted Sobolev spaces. We also point out some new phenomena for the “concentrated loads” at the vertices in the polygonal case.     

Frobenius groups and retract rationality

Let k$k$ be any field, G$G$ be a finite group acting on the rational function field k(_xg:g∈G)$k(x_g:g\in G)$ by h⋅_xg=_xhg$h\cdot x_g=x_{hg}$ for any h,g∈G$h,g\in G$. Define k(G)=k(_xg:g∈G)^G$k\left(G\right)=k{(x_g:g\in G)}^G$. Noether’s problem asks whether k(G)$k\left(G\right)$ is rational (= purely transcendental) over k$k$. A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether’s problem. We prove that, if G$G$ is a Frobenius group with abelian Frobenius kernel, then k(G)$k\left(G\right)$ is retract k$k$-rational for any field k$k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field k$k$, for any Frobenius group G$G$ with Frobenius complement isomorphic to S_L2(_F5)$S{L}_2\left({\mathbb{F}}_5\right)$, there is a Galois extension field K$K$ over k$k$ whose Galois group is isomorphic to G$G$, i.e. the inverse Galois problem is valid for the pair (G,k)$(G,k)$. The same result is true for any non-solvable Frobenius group if k(_ζ8)$k\left({\zeta }_8\right)$ is a cyclic extension of k$k$.     

Boundedness and blowup for nonlinear degenerate parabolic equations

The author deals with the quasilinear parabolic equation _ut=[u^α+g(u)]Δu+bu^α+1+f(u,∇u)$u_t=[u^{\alpha }+g\left(u\right)]\Delta u+b{u}^{\alpha +1}+f(u,\nabla u)$ with Dirichlet boundary conditions in a bounded domain Ω$\Omega$, where f$f$ and g$g$ are lower-order terms. He shows that, under suitable conditions on f$f$ and g$g$, whether the solution is bounded or blows up in a finite time depends only on the first eigenvalue of −Δ$-\Delta$ in Ω$\Omega$ with Dirichlet boundary condition. For some special cases, the result is sharp.     

Bounds on the connected domination number of a graph

A subset S$S$ of vertices in a graph G=(V,E)$G=(V,E)$ is a connected dominating set of G$G$ if every vertex of V?S$V?S$ is adjacent to a vertex in S$S$ and the subgraph induced by S$S$ is connected. The minimum cardinality of a connected dominating set of G$G$ is the connected domination number _γc(G)${\gamma }_c\left(G\right)$. The girth g(G)$g\left(G\right)$ is the length of a shortest cycle in G$G$. We show that if G$G$ is a connected graph that contains at least one cycle, then _γc(G)≥g(G)−2${\gamma }_c\left(G\right)\ge g\left(G\right)-2$, and we characterize the graphs obtaining equality in this bound. We also establish various upper bounds on the connected domination number of a graph, as well as Nordhaus–Gaddum type results.     

Median,concentration and fluctuations for Lévy processes

We estimate a median of f(_Xt)$f\left(X_t\right)$ where f$f$ is a Lipschitz function, X$X$ is a Lévy process and t$t$ is an arbitrary time. This leads to concentration inequalities for f(_Xt)$f\left(X_t\right)$. In turn, corresponding fluctuation estimates are obtained under assumptions typically satisfied if the process has a regular behavior in small time and a, possibly different, regular behavior in large time.     

Existence of non-spurious solutions to discrete Dirichlet problems with lower and upper solutions

This paper investigates the solvability of discrete Dirichlet boundary value problems by the lower and upper solution method. Here, the second-order difference equation with a nonlinear right hand side f$f$ is studied and f(t,u,v)$f(t,u,v)$ can have a superlinear growth both in u$u$ and in v$v$. Moreover, the growth conditions on f$f$ are one-sided. We compute a priori bounds on solutions to the discrete problem and then obtain the existence of at least one solution. It is shown that solutions of the discrete problem will converge to solutions of ordinary differential equations.