In this paper we study the commutativity property for topological sequence entropy. We prove that if $X$ is a compact metric space and $f,g:X\to X$ are continuous maps then $h_A(f\circ g)=h_A(g\circ f)$ for every increasing sequence $A$ if $X=[0,1]$, and construct a counterexample for the general case. In the interim, we also show that the equality $h_A\left(f\right)=h_A(f{|}_{{\cap }_{n\ge 0}{f}^n\left(X\right)})$ is true if $X=[0,1]$ but does not necessarily hold if $X$ is an arbitrary compact metric space.

Let f: [a,b] → [a,b] be a continuous function of the compact real interval such that (i) $card{f}^{-1}\left(y\right)\ge 2$ for every y ∈ [a,b]; (ii) for some m ∈ ∞,2,3,... there is a countable set L ⊂ [a,b] such that $card{f}^{-1}\left(y\right)\ge m$ for every y ∈ [a,b]∖L. We show that the topological entropy of f is greater than or equal to log m. This generalizes our previous result for m = 2.

It is well known that any continuous piecewise monotone interval map f with positive topological entropy $h_{top}\left(f\right)$ is semiconjugate to some piecewise affine map with constant slope $e^{h_{top}\left(f\right)}$. We prove this result for a class of Markov countably piecewise monotone continuous interval maps.

A continuous map $f$ of the interval is chaotic iff there is an increasing sequence of nonnegative integers $T$ such that the topological sequence entropy of $f$ relative to $T$, $h_T\left(f\right)$, is positive ([FS]). On the other hand, for any increasing sequence of nonnegative integers $T$ there is a chaotic map $f$ of the interval such that $h_T\left(f\right)=0$ ([H]). We prove that the same results hold for maps of the circle. We also prove some preliminary results concerning topological sequence entropy for maps of general compact...

We study the jumps of topological entropy for $C^r$ interval or circle maps. We prove in particular that the topological entropy is continuous at any $f\in C^r\left([0,1]\right)$ with $h_{top}\left(f\right)>\left(log⁺\right||f^{\text{'}}{\left|\right|}_{\infty })/r$. To this end we study the continuity of the entropy of the Buzzi-Hofbauer diagrams associated to $C^r$ interval maps.

For a precompact subset K of a Hilbert space we prove the following inequalities: $n^{1/2}cₙ\left(cov\left(K\right)\right)\le c_K(1+{\sum }_{k=1}^{ⁿ}{k}^{-1/2}{e}_k\left(K\right))$, n ∈ ℕ, and $k^{1/2}{c}_{k+n}\left(cov\left(K\right)\right)\le c[lo{g}^{1/2}(n+1)\epsilon ₙ\left(K\right)+{\sum }_{j=n+1}^{\infty }{\epsilon }_j\left(K\right)/\left(jlo{g}^{1/2}(j+1)\right)]$, k,n ∈ ℕ, where cₙ(cov(K)) is the nth Gelfand number of the absolutely convex hull of K and ${\epsilon }_k\left(K\right)$ and $e_k\left(K\right)$ denote the kth entropy and kth dyadic entropy number of K, respectively. The inequalities are, essentially, a reformulation of the corresponding inequalities given in [CKP] which yield asymptotically optimal estimates of the Gelfand numbers cₙ(cov(K)) provided that the entropy numbers εₙ(K)...

We investigate a notion of relative operator entropy, which develops the theory started by J. I. Fujii and E. Kamei [Math. Japonica 34 (1989), 341-348]. For two finite sequences A = (A₁,...,Aₙ) and B = (B₁,...,Bₙ) of positive operators acting on a Hilbert space, a real number q and an operator monotone function f we extend the concept of entropy by setting $S_q^f\left(A\right|B):={\sum }_{j=1}^n{A}_j^{1/2}{\left(A_j^{-1/2}{B}_j{A}_j^{-1/2}\right)}^{q}f\left(A_j^{-1/2}{B}_j{A}_j^{-1/2}\right)A_j^{1/2}$, and then give upper and lower bounds for $S_q^f\left(A\right|B)$ as an extension of an inequality due to T. Furuta [Linear Algebra Appl. 381 (2004),...

AbstractIn [18] and [19] we have studied compact embeddings of weighted function spaces on ℝⁿ, $id:H_q^s(w\left(x\right),ℝⁿ)\to Lₚ\left(ℝⁿ\right)$, s>0, 1 < q ≤ p< ∞, s-n/q+n/p > 0, with, for example, $w\left(x\right)=⟨x{⟩}^{\alpha }$, α > 0, or $w\left(x\right)=lo{g}^{\beta }⟨x⟩$, β > 0, and $⟨x⟩={(2+|x\left|²\right)}^{1/2}$. We have determined the behaviour of their entropy numbers eₖ(id). Now we are interested in the limiting case 1/q = 1/p + s/n. Let $w\left(x\right)=lo{g}^{\beta }⟨x⟩$, β > 0. Our results in [18] imply that id cannot be compact for any β > 0, but after replacing the target space Lₚ(ℝⁿ) by a “slightly” larger one, $Lₚ{\left(logL\right)}_{-a}\left(ℝⁿ\right)$, a...