On the polar decomposition of right linear operators in quaternionic Hilbert spaces

In this article we prove the existence of the polar decomposition for densely defined closed right linear operators in quaternionic Hilbert spaces: If $T$ is a densely defined closed right linear operator in a quaternionic Hilbert space $H$, then there exists a partial isometry $U_{0}$ such that $T = U_{0}|T|$. In fact $U_{0}$ is unique if $N(U_{0}) = N(T)$. In particular, if $H$ is separable and $U$ is a partial isometry with $T = U|T|$, then we prove that $U = U_{0}$ if and only if either $N(T) = \{0\}$ or $R(T)^{\bot} = \{0\}$.Comment: 17 page

Quantum Ballistic Evolution in Quantum Mechanics: Application to Quantum Computers

Quantum computers are important examples of processes whose evolution can be described in terms of iterations of single step operators or their adjoints. Based on this, Hamiltonian evolution of processes with associated step operators $T$ is investigated here. The main limitation of this paper is to processes which evolve quantum ballistically, i.e. motion restricted to a collection of nonintersecting or distinct paths on an arbitrary basis. The main goal of this paper is proof of a theorem which gives necessary and sufficient conditions that T must satisfy so that there exists a Hamiltonian description of quantum ballistic evolution for the process, namely, that T is a partial isometry and is orthogonality preserving and stable on some basis. Simple examples of quantum ballistic evolution for quantum Turing machines with one and with more than one type of elementary step are discussed. It is seen that for nondeterministic machines the basis set can be quite complex with much entanglement present. It is also proved that, given a step operator T for an arbitrary deterministic quantum Turing machine, it is decidable if T is stable and orthogonality preserving, and if quantum ballistic evolution is possible. The proof fails if T is a step operator for a nondeterministic machine. It is an open question if such a decision procedure exists for nondeterministic machines. This problem does not occur in classical mechanics.Comment: 37 pages Latexwith 2 postscript figures tar+gzip+uuencoded, to be published in Phys. Rev.

Quantum Homodyne Tomography as an Informationally Complete Positive Operator Valued Measure

We define a positive operator valued measure $E$ on $[0,2\pi]\times R$ describing the measurement of randomly sampled quadratures in quantum homodyne tomography, and we study its probabilistic properties. Moreover, we give a mathematical analysis of the relation between the description of a state in terms of $E$ and the description provided by its Wigner transform.Comment: 9 page

Semispectral measures as convolutions and their moment operators

The moment operators of a semispectral measure having the structure of the convolution of a positive measure and a semispectral measure are studied, with paying attention to the natural domains of these unbounded operators. The results are then applied to conveniently determine the moment operators of the Cartesian margins of the phase space observables.Comment: 7 page

Dimension minimization of a quantum automaton

A new model of a Quantum Automaton (QA), working with qubits is proposed. The quantum states of the automaton can be pure or mixed and are represented by density operators. This is the appropriated approach to deal with measurements and dechorence. The linearity of a QA and of the partial trace super-operator, combined with the properties of invariant subspaces under unitary transformations, are used to minimize the dimension of the automaton and, consequently, the number of its working qubits. The results here developed are valid wether the state set of the QA is finite or not. There are two main results in this paper: 1) We show that the dimension reduction is possible whenever the unitary transformations, associated to each letter of the input alphabet, obey a set of conditions. 2) We develop an algorithm to find out the equivalent minimal QA and prove that its complexity is polynomial in its dimension and in the size of the input alphabet.Comment: 26 page

Randomizations of models as metric structures

The notion of a randomization of a first order structure was introduced by Keisler in the paper Randomizing a Model, Advances in Math. 1999. The idea was to form a new structure whose elements are random elements of the original first order structure. In this paper we treat randomizations as continuous structures in the sense of Ben Yaacov and Usvyatsov. In this setting, the earlier results show that the randomization of a complete first order theory is a complete theory in continuous logic that admits elimination of quantifiers and has a natural set of axioms. We show that the randomization operation preserves the properties of being omega-categorical, omega-stable, and stable

Multipartite entanglement in fermionic systems via a geometric measure

We study multipartite entanglement in a system consisting of indistinguishable fermions. Specifically, we have proposed a geometric entanglement measure for N spin-1/2 fermions distributed over 2L modes (single particle states). The measure is defined on the 2L qubit space isomorphic to the Fock space for 2L single particle states. This entanglement measure is defined for a given partition of 2L modes containing m >= 2 subsets. Thus this measure applies to m <= 2L partite fermionic system where L is any finite number, giving the number of sites. The Hilbert spaces associated with these subsets may have different dimensions. Further, we have defined the local quantum operations with respect to a given partition of modes. This definition is generic and unifies different ways of dividing a fermionic system into subsystems. We have shown, using a representative case, that the geometric measure is invariant under local unitaries corresponding to a given partition. We explicitly demonstrate the use of the measure to calculate multipartite entanglement in some correlated electron systems. To the best of our knowledge, there is no usable entanglement measure of m > 3 partite fermionic systems in the literature, so that this is the first measure of multipartite entanglement for fermionic systems going beyond the bipartite and tripartite cases.Comment: 25 pages, 8 figure

Disordered Topological Insulators via C∗C^*-Algebras

The theory of almost commuting matrices can be used to quantify topological obstructions to the existence of localized Wannier functions with time-reversal symmetry in systems with time-reversal symmetry and strong spin-orbit coupling. We present a numerical procedure that calculates a Z_2 invariant using these techniques, and apply it to a model of HgTe. This numerical procedure allows us to access sizes significantly larger than procedures based on studying twisted boundary conditions. Our numerical results indicate the existence of a metallic phase in the presence of scattering between up and down spin components, while there is a sharp transition when the system decouples into two copies of the quantum Hall effect. In addition to the Z_2 invariant calculation in the case when up and down components are coupled, we also present a simple method of evaluating the integer invariant in the quantum Hall case where they are decoupled.Comment: Added detail regarding the mapping of almost commuting unitary matrices to almost commuting Hermitian matrices that form an approximate representation of the sphere. 6 pages, 6 figure

Detection and prevention of financial abuse against elders

This article is made available through the Brunel Open Access Publishing Fund. Copyright @ The Authors. This article is published under the Creative Commons Attribution (CC BY 3.0) licence. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this licence may be seen at http://creativecommons.org/licences/ by/3.0/legalcode.Purpose – This paper reports on banking and finance professionals' decision making in the context of elder financial abuse. The aim was to identify the case features that influence when abuse is identified and when action is taken. Design/methodology/approach – Banking and finance professionals (n=70) were shown 35 financial abuse case scenarios and were asked to judge how certain they were that the older person was being abused and the likelihood of taking action. Findings – Three case features significantly influenced certainty of financial abuse: the nature of the financial problem presented, the older person's level of mental capacity and who was in charge of the client's money. In cases where the older person was more confused and forgetful, there was increased suspicion that financial abuse was taking place. Finance professionals were less certain that financial abuse was occurring if the older person was in charge of his or her own finances. Originality/value – The research findings have been used to develop freely available online training resources to promote professionals' decision making capacity (www.elderfinancialabuse.co.uk). The resources have been advocated for use by Building Societies Association as well as CIFAS, the UK's Fraud Prevention Service.The research reported here was funded by the UK cross council New Dynamicsof Ageing Programme, ESRC Reference No. RES-352-25-0026, with Mary L.M. Gilhooly asPrincipal Investigator. Web-based training tools, developed from the research findings, weresubsequently funded by the ESRC follow-on fund ES/J001155/1 with Priscilla A. Harries asPrincipal Investigator

There exist non orthogonal quantum measurements that are perfectly repeatable

We show that, contrarily to the widespread belief, in quantum mechanics repeatable measurements are not necessarily described by orthogonal projectors--the customary paradigm of "observable". Nonorthogonal repeatability, however, occurs only for infinite dimensions. We also show that when a non orthogonal repeatable measurement is performed, the measured system retains some "memory" of the number of times that the measurement has been performed.Comment: 4 pages, 1 figure, revtex4, minor change