Whitney's type theorems for infinite dimensional spaces

It is proved that for any $f$ is an element of $C^k(L,R)$, where k is a natural number and L is a closed linear subspace of a nuclear Frechet space $X$, the function $f$ can be extended to a function of class $C^{k-1}$ defined on the entire space $X$. It is also proved that for any $f$ is an element of $C^k(L, R)$, where $k$ is a natural number of infinity and L is a closed linear subspace of a dual $X$ of a nuclear Frechet space, the function $f$ can be extended to a function of class $C^k$ defined on the entire space $X$. In addition, it is proved that under these conditions, the existence of a linear extension operator is equivalent to the complementability of the subspace.

An infinite-dimensional separable pre-Hilbert space non-homeomorphic to any of its closed hyperplanes

An example is constructed of an infinite-dimensional separable pre-Hilbert space non-homeomorphic to any of its closed hyperplanes.

Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.

Infinite Dimensional Banach spaces of functions with nonlinear properties

The aim of this paper is to show that there exist infinite dimensional Banach spaces of functions that, except for 0, satisfy properties that apparently should be destroyed by the linear combination of two of them. Three of these spaces are: a Banach space of differentiable functions on Rn failing the Denjoy-Clarkson property; a Banach space of non Riemann integrable bounded functions, but with antiderivative at each point of an interval; a Banach space of infinitely differentiable functions that vanish at infinity and are not the Fourier transform of any Lebesgue integrable function.

Finite dimensional semigroup quadratic algebras with the minimal number of relations

A quadratic semigroup algebra is an algebra over a field given by the generators x_1, . . . , x_n and a finite set of quadratic relations each of which either has the shape x_j x_k = 0 or the shape x_j x_k = x_l x_m . We prove that a quadratic semigroup algebra given by n generators and d=(n^2+n)/4 relations is always infinite dimensional. This strengthens the Golod–Shafarevich estimate for the above class of algebras. Our main result however is that for every n, there is a finite dimensional quadratic semigroup algebra with n generators and d_n relations, where d_n is the first integer greater than (n^2+n)/4 . That is, the above Golod–Shafarevich-type estimate for semigroup algebras is sharp.

Hypercyclic operators on countably dimensional spaces

According to Grivaux, the group GL(X) of invertible linear operators on a separable infinite dimensional Banach space X acts transitively on the set s (X) of countable dense linearly independent subsets of X. As a consequence, each A? s (X) is an orbit of a hypercyclic operator on X. Furthermore, every countably dimensional normed space supports a hypercyclic operator. Recently Albanese extended this result to Fréchet spaces supporting a continuous norm. We show that for a separable infinite dimensional Fréchet space X, GL(X) acts transitively on s (X) if and only if X possesses a continuous norm. We also prove that every countably dimensional metrizable locally convex space supports a hypercyclic operator.

Entanglement distribution with global control in a star-shaped multi-splitter

Distributed quantum information processing (QIP) is a promising way to bypass problems due to unwanted interactions between elements. However, this strategy presupposes the engineering of protocols for remote processors. In many of them, pairwise entanglement is a key resource. We study a model which distributes entanglement among elements of a delocalized network without local control. The model is efficient both in finite- and infinite-dimensional Hilbert spaces. We suggest a setup of electromechanical systems to implement our proposal.

Quantum nonlocality test for continuous-variable states with dichotomic observables

There have been theoretical and experimental studies on quantum nonlocality for continuous variables, based on dichotomic observables. In particular, we are interested in two cases of dichotomic observables for the light field of continuous variables: One case is even and odd numbers of photons and the other case is no photon and the presence of photons. We analyze various observables to give the maximum violation of Bell's inequalities for continuous-variable states. We discuss an observable which gives the violation of Bell's inequality for any entangled pure continuous-variable state. However, it does not have to be a maximally entangled state to give the maximal violation of Bell's inequality. This is attributed to a generic problem of testing the quantum nonlocality of an infinite- dimensional state using a dichotomic observable.

Entanglement between two superconducting qubits via interaction with nonclassical radiation

We propose a scheme to physically interface superconducting nanocircuits and quantum optics. We address the transfer of quantum information between systems having different physical natures and defined in Hilbert spaces of different dimensions. In particular, we investigate the transfer of the entanglement initially in a nonclassical state of an infinite dimensional system to a pair of superconducting charge qubits. This setup is able to drive an initially separable state of the qubits into an almost pure, highly entangled state suitable for quantum information processing.

The Kitai criterion and backward shifts

It is proved that for any separable infinite dimensional Banach space X, there is a bounded linear operator T on X such that T satisfies the Kitai criterion. The proof is based on a quasisimilarity argument and on showing that I + T satisfies the Kitai criterion for certain backward weighted shifts T.

Decompositions of spaces of measures

Let M be the Banach space of sigma-additive complex-valued measures on an abstract measurable space. We prove that any closed, with respect to absolute continuity norm-closed, linear subspace L of M is complemented and describe the unique complement, projection onto L along which has norm 1. Using this fact we prove a decomposition theorem, which includes the Jordan decomposition theorem, the generalized Radon-Nikodym theorem and the decomposition of measures into decaying and non-decaying components as particular cases. We also prove an analog of the Jessen-Wintner purity theorem for our decompositions.

Isometric embedding of finite ultrametric spaces in Banach spaces

We prove that for any finite ultrametric space M and any infinite-dimensional Banach space B there exists an isometric embedding of M into B.