Quantum state estimation and large deviations

In this paper we propose a method to estimate the density matrix \rho of a d-level quantum system by measurements on the N-fold system. The scheme is based on covariant observables and representation theory of unitary groups and it extends previous results concerning the estimation of the spectrum of \rho. We show that it is consistent (i.e. the original input state \rho is recovered with certainty if N \to \infty), analyze its large deviation behavior, and calculate explicitly the corresponding rate function which describes the exponential decrease of error probabilities in the limit N \to \infty. Finally we discuss the question whether the proposed scheme provides the fastest possible decay of error probabilities.Comment: LaTex2e, 40 pages, 2 figures. Substantial changes in Section 4: one new subsection (4.1) and another (4.2 was 4.1 in the previous version) completely rewritten. Minor changes in Sect. 2 and 3. Typos corrected. References added. Accepted for publication in Rev. Math. Phy

The Generalized Lyapunov Theorem and its Application to Quantum Channels

We give a simple and physically intuitive necessary and sufficient condition for a map acting on a compact metric space to be mixing (i.e. infinitely many applications of the map transfer any input into a fixed convergency point). This is a generalization of the "Lyapunov direct method". First we prove this theorem in topological spaces and for arbitrary continuous maps. Finally we apply our theorem to maps which are relevant in Open Quantum Systems and Quantum Information, namely Quantum Channels. In this context we also discuss the relations between mixing and ergodicity (i.e. the property that there exist only a single input state which is left invariant by a single application of the map) showing that the two are equivalent when the invariant point of the ergodic map is pure.Comment: 13 pages, 3 figure

Exotic torus manifolds and equivariant smooth structures on quasitoric manifolds

In 2006 Masuda and Suh asked if two compact non-singular toric varieties having isomorphic cohomology rings are homeomorphic. In the first part of this paper we discuss this question for topological generalizations of toric varieties, so-called torus manifolds. For example we show that there are homotopy equivalent torus manifolds which are not homeomorphic. Moreover, we characterize those groups which appear as the fundamental groups of locally standard torus manifolds. In the second part we give a classification of quasitoric manifolds and certain six-dimensional torus manifolds up to equivariant diffeomorphism. In the third part we enumerate the number of conjugacy classes of tori in the diffeomorphism group of torus manifolds. For torus manifolds of dimension greater than six there are always infinitely many conjugacy classes. We give examples which show that this does not hold for six-dimensional torus manifolds.Comment: 21 pages, 2 figures, results about quasitoric manifolds adde

The Weyl bundle as a differentiable manifold

Construction of an infinite dimensional differentiable manifold ${\mathbb R}^{\infty}$ not modelled on any Banach space is proposed. Definition, metric and differential structures of a Weyl algebra and a Weyl algebra bundle are presented. Continuity of the $\circ$-product in the Tichonov topology is proved. Construction of the $*$-product of the Fedosov type in terms of theory of connection in a fibre bundle is explained.Comment: 31 pages; revised version - some typoes have been eliminated, notation has been simplifie

Critical Casimir effect in films for generic non-symmetry-breaking boundary conditions

Systems described by an O(n) symmetrical $\phi^4$ Hamiltonian are considered in a $d$-dimensional film geometry at their bulk critical points. A detailed renormalization-group (RG) study of the critical Casimir forces induced between the film's boundary planes by thermal fluctuations is presented for the case where the O(n) symmetry remains unbroken by the surfaces. The boundary planes are assumed to cause short-ranged disturbances of the interactions that can be modelled by standard surface contributions $\propto \bm{\phi}^2$ corresponding to subcritical or critical enhancement of the surface interactions. This translates into mesoscopic boundary conditions of the generic symmetry-preserving Robin type $\partial_n\bm{\phi}=\mathring{c}_j\bm{\phi}$. RG-improved perturbation theory and Abel-Plana techniques are used to compute the $L$-dependent part $f_{\mathrm{res}}$ of the reduced excess free energy per film area $A\to\infty$ to two-loop order. When $d<4$, it takes the scaling form $f_{\mathrm{res}}\approx D(c_1L^{\Phi/\nu},c_2L^{\Phi/\nu})/L^{d-1}$ as $L\to\infty$, where $c_i$ are scaling fields associated with the surface-enhancement variables $\mathring{c}_i$, while $\Phi$ is a standard surface crossover exponent. The scaling function $D(\mathsf{c}_1,\mathsf{c}_2)$ and its analogue $\mathcal{D}(\mathsf{c}_1,\mathsf{c}_2)$ for the Casimir force are determined via expansion in $\epsilon=4-d$ and extrapolated to $d=3$ dimensions. In the special case $\mathsf{c}_1=\mathsf{c}_2=0$, the expansion becomes fractional. Consistency with the known fractional expansions of D(0,0) and $\mathcal{D}(0,0)$ to order $\epsilon^{3/2}$ is achieved by appropriate reorganisation of RG-improved perturbation theory. For appropriate choices of $c_1$ and $c_2$, the Casimir forces can have either sign. Furthermore, crossovers from attraction to repulsion and vice versa may occur as $L$ increases.Comment: Latex source file, 40 pages, 9 figure

Closed orbits and spatial density oscillations in the circular billiard

We present a case study for the semiclassical calculation of the oscillations in the particle and kinetic-energy densities for the two-dimensional circular billiard. For this system, we can give a complete classification of all closed periodic and non-periodic orbits. We discuss their bifurcations under variation of the starting point r and derive analytical expressions for their properties such as actions, stability determinants, momentum mismatches and Morse indices. We present semiclassical calculations of the spatial density oscillations using a recently developed closed-orbit theory [Roccia J and Brack M 2008 Phys. Rev. Lett. 100 200408], employing standard uniform approximations from perturbation and bifurcation theory, and test the convergence of the closed-orbit sum.Comment: LaTeX, 42 pp., 17 figures (24 *.eps files, 1 *.tex file); final version (v3) to be published in J. Phys.

Uniform semiclassical trace formula for U(3) --> SO(3) symmetry breaking

We develop a uniform semiclassical trace formula for the density of states of a three-dimensional isotropic harmonic oscillator (HO), perturbed by a term $\propto r^4$. This term breaks the U(3) symmetry of the HO, resulting in a spherical system with SO(3) symmetry. We first treat the anharmonic term in semiclassical perturbation theory by integration of the action of the perturbed periodic HO orbits over the manifold $\mathbb{C}$P$^2$ which characterizes their 4-fold degeneracy. Then we obtain an analytical uniform trace formula which in the limit of strong perturbations (or high energy) asymptotically goes over into the correct trace formula of the full anharmonic system with SO(3) symmetry, and in the limit $\epsilon$ (or energy) $\to 0$ restores the HO trace formula with U(3) symmetry. We demonstrate that the gross-shell structure of this anharmonically perturbed system is dominated by the two-fold degenerate diameter and circular orbits, and {\it not} by the orbits with the largest classical degeneracy, which are the three-fold degenerate tori with rational ratios $\omega_r:\omega_\phi=N:M$ of radial and angular frequencies. The same holds also for the limit of a purely quartic spherical potential $V(r)\propto r^4$.Comment: LaTeX (revtex4), 26pp., 5 figures, 1 table; final version to be published in J. Phys. A (without appendices C and D

The Index Bundle and Multiparameter Bifurcation for Discrete Dynamical Systems

We develop a K-theoretic approach to multiparameter bifurcation theory of homoclinic solutions of discrete non-autonomous dynamical systems from a branch of stationary solutions. As a byproduct we obtain a family index theorem for asymptotically hyperbolic linear dynamical systems which is of independent interest. In the special case of a single parameter, our bifurcation theorem weakens the assumptions in previous work by Pejsachowicz and the first author

A K-theoretical Invariant and Bifurcation for Homoclinics of Hamiltonian Systems

We revisit a K-theoretical invariant that was invented by the first author some years ago for studying multiparameter bifurcation of branches of critical points of functionals. Our main aim is to apply this invariant to investigate bifurcation of homoclinic solutions of families of Hamiltonian systems which are parametrised by tori