A Note on the correspondence between Qubit Quantum Operations and Special Relativity

We exploit a well-known isomorphism between complex hermitian $2\times 2$ matrices and $\mathbb{R}^4$, which yields a convenient real vector representation of qubit states. Because these do not need to be normalized we find that they map onto a Minkowskian future cone in $\mathbb{E}^{1,3}$, whose vertical cross-sections are nothing but Bloch spheres. Pure states are represented by light-like vectors, unitary operations correspond to special orthogonal transforms about the axis of the cone, positive operations correspond to pure Lorentz boosts. We formalize the equivalence between the generalized measurement formalism on qubit states and the Lorentz transformations of special relativity, or more precisely elements of the restricted Lorentz group together with future-directed null boosts. The note ends with a discussion of the equivalence and some of its possible consequences.Comment: 6 pages, revtex, v3: revised discussio

Cross-spectral analysis of the X-ray variability of Mrk 421

Using the cross-spectral method, we confirm the existence of the X-ray hard lags discovered with cross-correlation function technique during a large flare of Mrk 421 observed with BeppoSAX . For the 0.1--2 versus 2--10keV light curves, both methods suggest sub-hour hard lags. In the time domain, the degree of hard lag, i.e., the amplitude of the 3.2--10 keV photons lagging the lower energy ones, tends to increase with the decreasing energy. In the Fourier frequency domain, by investigating the cross-spectra of the 0.1--2/2--10 keV and the 2--3.2/3.2--10 keV pairs of light curves, the flare also shows hard lags at the lowest frequencies. However, with the present data, it is impossible to constrain the dependence of the lags on frequencies even though the detailed simulations demonstrate that the hard lags at the lowest frequencies probed by the flare are not an artifact of sparse sampling, Poisson and red noise. As a possible interpretation, the implication of the hard lags is discussed in the context of the interplay between the (diffusive) acceleration and synchrotron cooling of relativistic electrons responsible for the observed X-ray emission. The energy-dependent hard lags are in agreement with the expectation of an energy-dependent acceleration timescale. The inferred magnetic field (B ~ 0.11 Gauss) is consistent with the value inferred from the Spectral Energy Distributions of the source. Future investigations with higher quality data that whether or not the time lags are energy-/frequency-dependent will provide a new constraint on the current models of the TeV blazars.Comment: 11 pages, 6 figures, accepted by MNRA

A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton

We describe a simple n-dimensional quantum cellular automaton (QCA) capable of simulating all others, in that the initial configuration and the forward evolution of any n-dimensional QCA can be encoded within the initial configuration of the intrinsically universal QCA. Several steps of the intrinsically universal QCA then correspond to one step of the simulated QCA. The simulation preserves the topology in the sense that each cell of the simulated QCA is encoded as a group of adjacent cells in the universal QCA.Comment: 13 pages, 7 figures. In Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), Lecture Notes in Computer Science (LNCS). Journal version: arXiv:0907.382

Typing Quantum Superpositions and Measurement

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.Fil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Franci

The Conal representation of Quantum States and Non Trace-Preserving Quantum Operations

We represent generalized density matrices of a $d$-complex dimensional quantum system as a subcone of a real pointed cone of revolution in $\mathbb{R}^{d^2}$, or indeed a Minkowskian cone in $\mathbb{E}^{1,d^2-1}$. Generalized pure states correspond to certain future-directed light-like vectors of $\mathbb{E}^{1,d^2-1}$. This extension of the Generalized Bloch Sphere enables us to cater for non-trace-preserving quantum operations, and in particluar to view the per-outcome effects of generalized measurements. We show that these consist of the product of an orthogonal transform about the axis of the cone of revolution and a positive real linear transform. We give detailed formulae for the one qubit case and express the post-measurement states in terms of the initial state vectors and measurement vectors. We apply these results in order to find the information gain versus disturbance tradeoff in the case of two equiprobable pure states. Thus we recover Fuchs and Peres' formula in an elegant manner.Comment: 11 pages, revtex, v3: some typos correcte

On the completeness of quantum computation models

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite "tensorial dimension". Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)Comment: 15 pages, LaTe

Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while the latter uses equalities. When given by rewrites, algebraic lambda-calculi are not confluent unless further restrictions are added. We provide a type system for the linear-algebraic lambda-calculus enforcing strong normalisation, which gives back confluence. The type system allows an abstract interpretation in System F.Comment: In Proceedings LSFA 2011, arXiv:1203.542

Virtually Abelian Quantum Walks

We introduce quantum walks on Cayley graphs of non-Abelian groups. We focus on the easiest case of virtually Abelian groups, and introduce a technique to reduce the quantum walk to an equivalent one on an Abelian group with coin system having larger dimension. We apply the technique in the case of two quantum walks on virtually Abelian groups with planar Cayley graphs, finding the exact solution.Comment: 10 pages, 3 figure