Showing 1–40 of 40 results for author: Kiukas, J

Fisher information from quantum many-particle arrival time measurements

Authors: Jukka Kiukas, Andreas Ruschhaupt

Abstract: We formulate a quantum arrival time measurement process for a Bosonic many-particle system, with the aim of extracting statistical information on single-particle properties. The arrival time is based on a dynamical multi-particle absorption model in the Fock space, and we consider systems in coherent and incoherent mixtures of $N$-particle states. We find the resulting probability distributions fo… ▽ More We formulate a quantum arrival time measurement process for a Bosonic many-particle system, with the aim of extracting statistical information on single-particle properties. The arrival time is based on a dynamical multi-particle absorption model in the Fock space, and we consider systems in coherent and incoherent mixtures of $N$-particle states. We find the resulting probability distributions for arrival time sequences, which we consider as parametric models for the statistical inference of single-particle parameters, and derive a tractable expression for the associated (classical) Fisher information. Subsequently focusing on the concrete case of the momentum parameter of a 1D particle, we consider the idealized limits of a point (Dirac delta) detector and an infinite particle system forming a spatially uniform ``beam''. We observe that even though no information remains in the spatial distribution, the single-particle momentum is indeed identifiable from the arrival time data, even in the limit of ``sparse beams'' of vanishing particle density, where we obtain simple analytical form for the Fisher information, which, interestingly, coincides with the one obtained from a hypothetical time-stationary detection model. Our results contribute to the fundamental understanding of temporal measurement data arising from quantum systems consisting of freely evolving particles. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: 24 pages, 7 figures

No-broadcasting characterizes operational contextuality

Authors: Pauli Jokinen, Mirjam Weilenmann, Martin Plávala, Juha-Pekka Pellonpää, Jukka Kiukas, Roope Uola

Abstract: Operational contextuality forms a rapidly developing subfield of quantum information theory. However, the characterization of the quantum mechanical entities that fuel the phenomenon has remained unknown with many partial results existing. Here, we present a resolution to this problem by connecting operational contextuality one-to-one with the no-broadcasting theorem. The connection works both on… ▽ More Operational contextuality forms a rapidly developing subfield of quantum information theory. However, the characterization of the quantum mechanical entities that fuel the phenomenon has remained unknown with many partial results existing. Here, we present a resolution to this problem by connecting operational contextuality one-to-one with the no-broadcasting theorem. The connection works both on the level of full quantum theory and subtheories thereof. We demonstrate the connection in various relevant cases, showing especially that for quantum states the possibility of demonstrating contextuality is exactly characterized by non-commutativity, and for measurements this is done by a norm-1 property closely related to repeatability. Moreover, we show how techniques from broadcasting can be used to simplify known foundational results in contextuality. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Joint measurability in Lindbladian open quantum systems

Authors: Jukka Kiukas, Pekka Lahti, Juha-Pekka Pellonpää

Abstract: We study joint measurability of quantum observables in open systems governed by a master equation of Lindblad form. We briefly review the historical perspective of open systems and conceptual aspects of quantum measurements, focusing subsequently on describing emergent classicality under quantum decoherence. While decoherence in quantum states has been studied extensively in the past, the measurem… ▽ More We study joint measurability of quantum observables in open systems governed by a master equation of Lindblad form. We briefly review the historical perspective of open systems and conceptual aspects of quantum measurements, focusing subsequently on describing emergent classicality under quantum decoherence. While decoherence in quantum states has been studied extensively in the past, the measurement side is much less understood - here we present and extend some recent results on this topic. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Amount of quantum coherence needed for measurement incompatibility

Authors: Jukka Kiukas, Daniel McNulty, Juha-Pekka Pellonpää

Abstract: A pair of quantum observables diagonal in the same "incoherent" basis can be measured jointly, so some coherence is obviously required for measurement incompatibility. Here we first observe that coherence in a single observable is linked to the diagonal elements of any observable jointly measurable with it, leading to a general criterion for the coherence needed for incompatibility. Specialising t… ▽ More A pair of quantum observables diagonal in the same "incoherent" basis can be measured jointly, so some coherence is obviously required for measurement incompatibility. Here we first observe that coherence in a single observable is linked to the diagonal elements of any observable jointly measurable with it, leading to a general criterion for the coherence needed for incompatibility. Specialising to the case where the second observable is incoherent (diagonal), we develop a concrete method for solving incompatibility problems, tractable even in large systems by analytical bounds, without resorting to numerical optimisation. We verify the consistency of our method by a quick proof of the known noise bound for mutually unbiased bases, and apply it to study emergent classicality in the spin-boson model of an N-qubit open quantum system. Finally, we formulate our theory in an operational resource-theoretic setting involving "genuinely incoherent operations" used previously in the literature, and show that if the coherence is insufficient to sustain incompatibility, the associated joint measurements have sequential implementations via incoherent instruments. △ Less

Submitted 10 January, 2022; v1 submitted 14 November, 2020; originally announced November 2020.

Comments: 19 pages, 3 figures, identical to published version

Journal ref: Phys. Rev. A 105, 012205 (2022)

Complementary observables in quantum mechanics

Authors: Jukka Kiukas, Pekka Lahti, Juha-Pekka Pellonpää, Kari Ylinen

Abstract: We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity - some of which new - in a unified manner, as a consequence of a basic factorisation lemma for quantum… ▽ More We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity - some of which new - in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position-momentum, position-energy, number-phase, as well as periodic observables relevant to spatial interferometry. We close the paper with some considerations of complementarity in a noisy setting, focusing especially on the case of convolutions of position and momentum, which was a recurring topic in Paul's work on operational formulation of quantum measurements and central to his philosophy of unsharp reality. △ Less

Submitted 15 May, 2019; originally announced May 2019.

Journal ref: Foundations of Physics, 49(6), 506-531 (2019)

Nonexponential quantum decay under environmental decoherence

Authors: M. Beau, J. Kiukas, I. L. Egusquiza, A. del Campo

Abstract: An unstable quantum state generally decays following an exponential law, as environmental decoherence is expected to prevent the decay products from recombining to reconstruct the initial state. Here we show the existence of deviations from exponential decay in open quantum systems under very general conditions. Our results are illustrated with the exact dynamics under quantum Brownian motion and… ▽ More An unstable quantum state generally decays following an exponential law, as environmental decoherence is expected to prevent the decay products from recombining to reconstruct the initial state. Here we show the existence of deviations from exponential decay in open quantum systems under very general conditions. Our results are illustrated with the exact dynamics under quantum Brownian motion and suggest an explanation of recent experimental observations. △ Less

Submitted 25 August, 2017; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 5+13 pp, 1+3 figures, to appear in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 119, 130401 (2017)

Continuous variable steering and incompatibility via state-channel duality

Authors: Jukka Kiukas, Costantino Budroni, Roope Uola, Juha-Pekka Pellonpää

Abstract: The term Einstein-Podolsky-Rosen steering refers to a quantum correlation intermediate between entanglement and Bell nonlocality, which has been connected to another fundamental quantum property: measurement incompatibility. In the finite-dimensional case, efficient computational methods to quantify steerability have been developed. In the infinite-dimensional case, however, less theoretical tools… ▽ More The term Einstein-Podolsky-Rosen steering refers to a quantum correlation intermediate between entanglement and Bell nonlocality, which has been connected to another fundamental quantum property: measurement incompatibility. In the finite-dimensional case, efficient computational methods to quantify steerability have been developed. In the infinite-dimensional case, however, less theoretical tools are available. Here, we approach the problem of steerability in the continuous variable case via a notion of state-channel correspondence, which generalizes the well-known Choi-Jamiołkowski correspondence. Via our approach we are able to generalize the connection between steering and incompatibility to the continuous variable case and to connect the steerability of a state with the incompatibility breaking property of a quantum channel, e.g., noisy NOON states and amplitude damping channels. Moreover, we apply our methods to the Gaussian steering setting, proving, among other things, that canonical quadratures are sufficient for steering Gaussian states. △ Less

Submitted 7 November, 2017; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 13 pages, 2 figures

Journal ref: Phys. Rev. A 96, 042331 (2017)

Remote Parameter Estimation in a Quantum Spin Chain Enhanced by Local Control

Authors: Jukka Kiukas, Kazuya Yuasa, Daniel Burgarth

Abstract: We study the interplay of control and parameter estimation on a quantum spin chain. A single qubit probe is attached to one end of the chain, while we wish to estimate a parameter on the other end. We find that control on the probe qubit can substantially improve the estimation performance and discover some interesting connections to quantum state transfer. We study the interplay of control and parameter estimation on a quantum spin chain. A single qubit probe is attached to one end of the chain, while we wish to estimate a parameter on the other end. We find that control on the probe qubit can substantially improve the estimation performance and discover some interesting connections to quantum state transfer. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. A 95, 052132 (2017)

Sharp uncertainty relations for number and angle

Authors: Paul Busch, Jukka Kiukas, Reinhard F. Werner

Abstract: We study uncertainty relations for pairs of conjugate variables like number and angle, of which one takes integer values and the other takes values on the unit circle. The translation symmetry of the problem in either variable implies that measurement uncertainty and preparation uncertainty coincide quantitatively, and the bounds depend only on the choice of two metrics used to quantify the differ… ▽ More We study uncertainty relations for pairs of conjugate variables like number and angle, of which one takes integer values and the other takes values on the unit circle. The translation symmetry of the problem in either variable implies that measurement uncertainty and preparation uncertainty coincide quantitatively, and the bounds depend only on the choice of two metrics used to quantify the difference of number and angle outputs, respectively. For each type of observable we discuss two natural choices of metric, and discuss the resulting optimal bounds with both numerical and analytic methods. We also develop some simple and explicit (albeit not sharp) lower bounds, using an apparently new method for obtaining certified lower bounds to ground state problems. △ Less

Submitted 30 March, 2018; v1 submitted 2 April, 2016; originally announced April 2016.

Comments: 12 pages, 4 figures, close to published version

Information geometry and local asymptotic normality for multi-parameter estimation of quantum Markov dynamics

Authors: Madalin Guta, Jukka Kiukas

Abstract: This paper deals with the problem of identifying and estimating dynamical parameters of continuous-time quantum open systems, in the input-output formalism. First, we characterise the space of identifiable parameters for ergodic dynamics, assuming full access to the output state for arbitrarily long times, and show that the equivalence classes of undistinguishable parameters are orbits of a Lie gr… ▽ More This paper deals with the problem of identifying and estimating dynamical parameters of continuous-time quantum open systems, in the input-output formalism. First, we characterise the space of identifiable parameters for ergodic dynamics, assuming full access to the output state for arbitrarily long times, and show that the equivalence classes of undistinguishable parameters are orbits of a Lie group acting on the space of dynamical parameters. Second, we define an information geometric structure on this space, including a principal bundle given by the action of the group, as well as a compatible connection, and a Riemannian metric based on the quantum Fisher information of the output. We compute the metric explicitly in terms of the Markov covariance of certain "fluctuation operators", and relate it to the horizontal bundle of the connection. Third, we show that the system-output and reduced output state satisfy local asymptotic normality, i.e. they can be approximated by a Gaussian model consisting of coherent states of a multimode continuos variables system constructed from the Markov covariance "data". We illustrate the result by working out the details of the information geometry of a physically relevant two-level system. △ Less

Submitted 7 March, 2016; v1 submitted 17 January, 2016; originally announced January 2016.

Comments: 28 pages, 4 figures

Journal ref: Journal of Mathematical Physics 58, 052201 (2017)

Quantum Resource Control for noisy EPR-steering with qubit measurements

Authors: Jukka Kiukas, Daniel Burgarth

Abstract: We demonstrate how quantum optimal control can be used to enhance quantum resources for bipartite one-way protocols, specifically EPR-steering with qubit measurements. Steering is relevant for one-sided device-independent key distribution, the realistic implementations of which necessitate the study of noisy scenarios. So far mainly the case of imperfect detection efficiency has been considered; h… ▽ More We demonstrate how quantum optimal control can be used to enhance quantum resources for bipartite one-way protocols, specifically EPR-steering with qubit measurements. Steering is relevant for one-sided device-independent key distribution, the realistic implementations of which necessitate the study of noisy scenarios. So far mainly the case of imperfect detection efficiency has been considered; here we look at the effect of dynamical noise responsible for decoherence and dissipation. In order to set up the optimisation, we map the steering problem into the equivalent joint measurability problem, and employ quantum resource-theoretic robustness monotones from that context. The advantage is that incompatibility (hence steerability) with arbitrary pairs of noisy qubit measurements has been completely characterised through an analytical expression, which can be turned into a computable cost function with exact gradient. Furthermore, dynamical loss of incompatibility has recently been illustrated using these monotones. We demonstrate resource control numerically using a special gradient-based software, showing, in particular, the advantage over naive control with cost function chosen as a fidelity in relation to a specific target. We subsequently illustrate the complexity of the control landscapes with a simplified two-variable scheme. The results contribute to the theoretical understanding of the limitations in realistic implementations of quantum information protocols, also paving way to practical use of the rather abstract quantum resource theories. △ Less

Submitted 26 October, 2015; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: updated figures and minor text modifications in v2

Journal ref: Phys. Rev. A 93, 032107 (2016)

Dynamics of incompatibility of quantum measurements in open systems

Authors: Carole Addis, Teiko Heinosaari, Jukka Kiukas, Elsi-Mari Laine, Sabrina Maniscalco

Abstract: The non-classical nature of quantum states, often illustrated using entanglement measures or quantum discord, constitutes a resource for quantum information protocols. However, the non-classicality of a quantum system cannot be encapsulated as a property of the state alone, as the set of available measurements used to extract information on the system is typically restricted. In this work we study… ▽ More The non-classical nature of quantum states, often illustrated using entanglement measures or quantum discord, constitutes a resource for quantum information protocols. However, the non-classicality of a quantum system cannot be encapsulated as a property of the state alone, as the set of available measurements used to extract information on the system is typically restricted. In this work we study how the non-classicality of quantum measurements, quantified via their incompatibility, is influenced by quantum noise and, further, how a non-Markovian environment may help us in maintaining the measurement resources. △ Less

Submitted 26 January, 2016; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: v2: presentation improved and typos corrected

Journal ref: Phys. Rev. A 93, 022114 (2016)

Breaking Gaussian incompatibility on continuous variable quantum systems

Authors: Teiko Heinosaari, Jukka Kiukas, Jussi Schultz

Abstract: We characterise Gaussian quantum channels that are Gaussian incompatibility breaking, that is, transform every set of Gaussian measurements into a set obtainable from a joint Gaussian observable via Gaussian postprocessing. Such channels represent local noise which renders measurements useless for Gaussian EPR-steering, providing the appropriate generalisation of entanglement breaking channels for… ▽ More We characterise Gaussian quantum channels that are Gaussian incompatibility breaking, that is, transform every set of Gaussian measurements into a set obtainable from a joint Gaussian observable via Gaussian postprocessing. Such channels represent local noise which renders measurements useless for Gaussian EPR-steering, providing the appropriate generalisation of entanglement breaking channels for this scenario. Understanding the structure of Gaussian incompatibility breaking channels contributes to the resource theory of noisy continuous variable quantum information protocols. △ Less

Submitted 11 May, 2015; v1 submitted 4 May, 2015; originally announced May 2015.

Comments: minor corrections in v2

Journal ref: J. Math. Phys. 56, 082202 (2015)

Incompatibility breaking quantum channels

Authors: Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner, Jussi Schultz

Abstract: A typical bipartite quantum protocol, such as EPR-steering, relies on two quantum features, entanglement of states and incompatibility of measurements. Noise can delete both of these quantum features. In this work we study the behavior of incompatibility under noisy quantum channels. The starting point for our investigation is the observation that compatible measurements cannot become incompatible… ▽ More A typical bipartite quantum protocol, such as EPR-steering, relies on two quantum features, entanglement of states and incompatibility of measurements. Noise can delete both of these quantum features. In this work we study the behavior of incompatibility under noisy quantum channels. The starting point for our investigation is the observation that compatible measurements cannot become incompatible by the action of any channel. We focus our attention to channels which completely destroy the incompatibility of various relevant sets of measurements. We call such channels incompatibility breaking, in analogy to the concept of entanglement breaking channels. This notion is relevant especially for the understanding of noise-robustness of the local measurement resources for steering. △ Less

Submitted 5 May, 2015; v1 submitted 22 April, 2015; originally announced April 2015.

Comments: new references added in v2

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 435301

Equivalence of matrix product ensembles of trajectories in open quantum systems

Authors: Jukka Kiukas, Madalin Guta, Igor Lesanovsky, Juan P. Garrahan

Abstract: The equivalence of thermodynamic ensembles is at the heart of statistical mechanics and central to our understanding of equilibrium states of matter. Recently, it has been shown that there is a formal connection between the dynamics of open quantum systems and the statistical mechanics in an extra dimension. This is established through the fact that an open system dynamics generates a Matrix Produ… ▽ More The equivalence of thermodynamic ensembles is at the heart of statistical mechanics and central to our understanding of equilibrium states of matter. Recently, it has been shown that there is a formal connection between the dynamics of open quantum systems and the statistical mechanics in an extra dimension. This is established through the fact that an open system dynamics generates a Matrix Product state (MPS) which encodes the set of all possible quantum jump trajectories and permits the construction of generating functions in the spirit of thermodynamic partition functions. In the case of continuous-time Markovian evolution, such as that generated by a Lindblad master equation, the corresponding MPS is a so-called continuous MPS which encodes the set of continuous measurement records terminated at some fixed total observation time. Here we show that if one instead terminates trajectories after a fixed total number of quantum jumps, e.g. emission events into the environment, the associated MPS is discrete. This establishes an interesting analogy: The continuous and discrete MPS correspond to different ensembles of quantum trajectories, one characterised by total time the other by total number of quantum jumps. Hence they give rise to quantum versions of different thermodynamic ensembles, akin to "grand-canonical" and "isobaric", but for trajectories. Here we prove that these trajectory ensembles are equivalent in a suitable limit of long time or large number of jumps. This is in direct analogy to equilibrium statistical mechanics where equivalence between ensembles is only strictly established in the thermodynamic limit. An intrinsic quantum feature is that the equivalence holds only for all observables that commute with the number of quantum jumps. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 12 pages, 2 figures

Journal ref: Phys. Rev. E 92, 012132 (2015)

Schwartz operators

Authors: Michael Keyl, Jukka Kiukas, Reinhard F. Werner

Abstract: In this paper we introduce Schwartz operators as a non-commutative analog of Schwartz functions and provide a detailed discussion of their properties. We equip them in particular with a number of different (but equivalent) families of seminorms which turns the space of Schwartz operators into a Frechet space. The study of the topological dual leads to non-commutative tempered distributions which a… ▽ More In this paper we introduce Schwartz operators as a non-commutative analog of Schwartz functions and provide a detailed discussion of their properties. We equip them in particular with a number of different (but equivalent) families of seminorms which turns the space of Schwartz operators into a Frechet space. The study of the topological dual leads to non-commutative tempered distributions which are discussed in detail as well. We show in particular that the latter can be identified with a certain class of quadratic forms, therefore making operations like products with bounded (and also some unbounded) operators and quantum harmonic analysis available to objects which are otherwise too singular for being a Hilbert space operator. Finally we show how the new methods can be applied by studying operator moment problems and convergence properties of fluctuation operators. △ Less

Submitted 13 March, 2015; originally announced March 2015.

Comments: 49 pages, no figures

Noise Robustness of the Incompatibility of Quantum Measurements

Authors: Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner

Abstract: The existence of incompatible measurements is a fundamental phenomenon having no explanation in classical physics. Intuitively, one considers given measurements to be incompatible within a framework of a physical theory, if their simultaneous implementation on a single physical device is prohibited by the theory itself. In the mathematical language of quantum theory, measurements are described by… ▽ More The existence of incompatible measurements is a fundamental phenomenon having no explanation in classical physics. Intuitively, one considers given measurements to be incompatible within a framework of a physical theory, if their simultaneous implementation on a single physical device is prohibited by the theory itself. In the mathematical language of quantum theory, measurements are described by POVMs (positive operator valued measures), and given POVMs are by definition incompatible if they cannot be obtained via coarse-graining from a single common POVM; this notion generalizes noncommutativity of projective measurements. In quantum theory, incompatibility can be regarded as a resource necessary for manifesting phenomena such as Clauser-Horne-Shimony-Holt (CHSH) Bell inequality violations or Einstein-Podolsky-Rosen (EPR) steering which do not have classical explanation. We define operational ways of quantifying this resource via the amount of added classical noise needed to render the measurements compatible, i.e., useless as a resource. In analogy to entanglement measures, we generalize this idea by introducing the concept of incompatibility measure, which is monotone in local operations. In this paper, we restrict our consideration to binary measurements, which are already sufficient to explicitly demonstrate nontrivial features of the theory. In particular, we construct a family of incompatibility monotones operationally quantifying violations of certain scaled versions of the CHSH Bell inequality, prove that they can be computed via a semidefinite program, and show how the noise-based quantities arise as special cases. We also determine maximal violations of the new inequalities, demonstrating how Tsirelson's bound appears as a special case. The resource aspect is further motivated by simple quantum protocols where our incompatibility monotones appear as relevant figures of merit. △ Less

Submitted 11 August, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

Comments: 13 pages, 4 figures; small changes to v02

Journal ref: Phys. Rev. A 92, 022115 (2015)

Uncertainty in the context of multislit interferometry

Authors: Johannes Biniok, Paul Busch, Jukka Kiukas

Abstract: A pair of uncertainty relations relevant for quantum states of multislit interferometry is derived, based on the mutually commuting "modular" position and momentum operators and their complementary counterparts, originally introduced by Aharonov and co-workers. We provide a precise argument as to why these relations are superior to the standard Heisenberg uncertainty relation at expressing the com… ▽ More A pair of uncertainty relations relevant for quantum states of multislit interferometry is derived, based on the mutually commuting "modular" position and momentum operators and their complementary counterparts, originally introduced by Aharonov and co-workers. We provide a precise argument as to why these relations are superior to the standard Heisenberg uncertainty relation at expressing the complementarity between spatial localisation and the appearance of fringes. We further support the argument with explicit computations involving wavefunctions specifically tailored to the interference setup. Conceptually developing the idea of Aharonov and co-workers, we show how the modular momentum should reflect the given experimental setup, yielding a refined observable that accurately captures the fine structure of the interference pattern. △ Less

Submitted 28 August, 2014; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: Version 2 contains minor corrections and improvements as well as added mathematical detail in the appendix

MSC Class: 81P15; 81P50

Journal ref: Physical Review A 90, 022115 (2014)

Equivalence classes and local asymptotic normality in system identification for quantum Markov chains

Authors: Madalin Guta, Jukka Kiukas

Abstract: We consider the problems of identifying and estimating dynamical parameters of an ergodic quantum Markov chain, when only the stationary output is accessible for measurements. On the identifiability question, we show that the knowledge of the output state completely fixes the dynamics up to a `coordinate transformation' consisting of a multiplication by a phase and a unitary conjugation of the Kra… ▽ More We consider the problems of identifying and estimating dynamical parameters of an ergodic quantum Markov chain, when only the stationary output is accessible for measurements. On the identifiability question, we show that the knowledge of the output state completely fixes the dynamics up to a `coordinate transformation' consisting of a multiplication by a phase and a unitary conjugation of the Kraus operators. When the dynamics depends on an unknown parameter, we show that the latter can be estimated at the `standard' rate $n^{-1/2}$, and give an explicit expression of the (asymptotic) quantum Fisher information of the output, which is proportional to the Markov variance of a certain `generator'. More generally, we show that the output is locally asymptotically normal, i.e. it can be approximated by a simple quantum Gaussian model consisting of a coherent state whose mean is related to the unknown parameter. As a consistency check we prove that a parameter related to the `coordinate transformation' unitaries, has zero quantum Fisher information. △ Less

Submitted 14 February, 2014; originally announced February 2014.

Comments: 21 pages, 1 figure

Coexistence of effects from an algebra of two projections

Authors: Teiko Heinosaari, Jukka Kiukas, Daniel Reitzner

Abstract: The coexistence relation of quantum effects is a fundamental structure, describing those pairs of experimental events that can be implemented in a single setup. Only in the simplest case of qubit effects an analytic characterization of coexistent pairs is known. We generalize the qubit coexistence characterization to all pairs of effects in arbitrary dimension that belong to the von Neumann algebr… ▽ More The coexistence relation of quantum effects is a fundamental structure, describing those pairs of experimental events that can be implemented in a single setup. Only in the simplest case of qubit effects an analytic characterization of coexistent pairs is known. We generalize the qubit coexistence characterization to all pairs of effects in arbitrary dimension that belong to the von Neumann algebra generated by two projections. We demonstrate the presented mathematical machinery by several examples, and show that it covers physically relevant classes of effect pairs. △ Less

Submitted 20 September, 2013; originally announced September 2013.

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 225301

Informationally complete sets of Gaussian measurements

Authors: Jukka Kiukas, Jussi Schultz

Abstract: We prove necessary and sufficient conditions for the informational completeness of an arbitrary set of Gaussian observables on continuous variable systems with finite number of degrees of freedom. In particular, we show that an informationally complete set either contains a single informationally complete observable, or includes infinitely many observables. We show that for a single informationall… ▽ More We prove necessary and sufficient conditions for the informational completeness of an arbitrary set of Gaussian observables on continuous variable systems with finite number of degrees of freedom. In particular, we show that an informationally complete set either contains a single informationally complete observable, or includes infinitely many observables. We show that for a single informationally complete observable, the minimal outcome space is the phase space, and the observable can always be obtained from the quantum optical $Q$-function by linear postprocessing and Gaussian convolution, in a suitable symplectic coordinatization of the phase space. In the case of projection valued Gaussian observables, e.g., generalized field quadratures, we show that an informationally complete set of observables is necessarily infinite. Finally, we generalize the treatment to the case where the measurement coupling is given by a general linear bosonic channel, and characterize informational completeness for an arbitrary set of the associated observables. △ Less

Submitted 9 August, 2013; originally announced August 2013.

Comments: 10 pages, 2 figures

Journal ref: J. Phys. A: Math. Theor. 46 (2013) 485303

Characterization of informational completeness for covariant phase space observables

Authors: Jukka Kiukas, Pekka Lahti, Jussi Schultz, Reinhard F. Werner

Abstract: A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The se… ▽ More A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The second is a version of informational completeness for the Hilbert-Schmidt class, equivalent to the zero set being of measure zero, and the third, known as regularity, is equivalent to the zero set being empty. We give examples demonstrating that all three conditions are distinct. The three conditions are the special cases for $p=1,2,\infty$ of a more general notion of $p$-regularity defined as the norm density of the span of translates of the operator in the Schatten-$p$ class. We show that the relation between zero sets and $p$-regularity can be mapped completely to the corresponding relation for functions in classical harmonic analysis. △ Less

Submitted 14 April, 2012; originally announced April 2012.

Comments: 11 pages

Journal ref: J. Math. Phys. 53, 102103 (2012)

Exact Energy-Time Uncertainty Relation for Arrival Time by Absorption

Authors: Jukka Kiukas, Andreas Ruschhaupt, Piet O. Schmidt, Reinhard F. Werner

Abstract: We prove an uncertainty relation for energy and arrival time, where the arrival of a particle at a detector is modeled by an absorbing term added to the Hamiltonian. In this well-known scheme the probability for the particle's arrival at the counter is identified with the loss of normalization for an initial wave packet. Under the sole assumption that the absorbing term vanishes on the initial wav… ▽ More We prove an uncertainty relation for energy and arrival time, where the arrival of a particle at a detector is modeled by an absorbing term added to the Hamiltonian. In this well-known scheme the probability for the particle's arrival at the counter is identified with the loss of normalization for an initial wave packet. Under the sole assumption that the absorbing term vanishes on the initial wave function, we show that $ΔT ΔE \geq \sqrt p \hbar/2$ and $<T> ΔE\geq 1.37\sqrt p\hbar$, where $<T>e$ denotes the mean arrival time, and $p$ is the probability for the particle to be eventually absorbed. Nearly minimal uncertainty can be achieved in a two-level system, and we propose a trapped ion experiment to realize this situation. △ Less

Submitted 23 September, 2011; originally announced September 2011.

Comments: 8 pages, 2 figures

Full Counting Statistics of Stationary Particle Beams

Authors: J. Kiukas, A. Ruschhaupt, R. F. Werner

Abstract: We present a general scheme for treating particle beams as many particle systems. This includes the full counting statistics and the requirements of Bose/Fermi symmetry. In the stationary limit, i.e., for longer and longer beams, the total particle number diverges, and a description in Fock space is no longer possible. We therefore extend the formalism to include stationary beams. These beams exhi… ▽ More We present a general scheme for treating particle beams as many particle systems. This includes the full counting statistics and the requirements of Bose/Fermi symmetry. In the stationary limit, i.e., for longer and longer beams, the total particle number diverges, and a description in Fock space is no longer possible. We therefore extend the formalism to include stationary beams. These beams exhibit a well-defined "local" counting statistics, by which we mean the full counting statistics of all clicks falling into any given finite interval. We treat in detail a model of a source, creating particles in a fixed state, which then evolve under the free time evolution, and we determine the resulting stationary beam in the far field. In comparison to the one-particle picture we obtain a correction due to Bose/Fermi statistics, which depends on the emission rate. We also consider plane waves as stationary many particle states, and determine the distribution of intervals between successive clicks in such a beam. △ Less

Submitted 7 March, 2011; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 12 pages, 2 figures. This is an extended version of the previous submission

Maximal violation of Bell inequalities by position measurements

Authors: J. Kiukas, R. F. Werner

Abstract: We show that it is possible to find maximal violations of the CHSH-Bell inequality using only position measurements on a pair of entangled non-relativistic free particles. The device settings required in the CHSH inequality are done by choosing one of two times at which position is measured. For different assignments of the "+" outcome to positions, namely to an interval, to a half line, or to a… ▽ More We show that it is possible to find maximal violations of the CHSH-Bell inequality using only position measurements on a pair of entangled non-relativistic free particles. The device settings required in the CHSH inequality are done by choosing one of two times at which position is measured. For different assignments of the "+" outcome to positions, namely to an interval, to a half line, or to a periodic set, we determine violations of the inequalities, and states where they are attained. These results have consequences for the hidden variable theories of Bohm and Nelson, in which the two-time correlations between distant particle trajectories have a joint distribution, and hence cannot violate any Bell inequality. △ Less

Submitted 18 December, 2009; originally announced December 2009.

Comments: 13 pages, 4 figures

Density matrix reconstruction from displaced photon number distributions

Authors: Jukka Kiukas, Juha-Pekka Pellonpää, Jussi Schultz

Abstract: We consider state reconstruction from the measurement statistics of phase space observables generated by photon number states. The results are obtained by inverting certain infinite matrices. In particular, we obtain reconstruction formulas, each of which involves only a single phase space observable. We consider state reconstruction from the measurement statistics of phase space observables generated by photon number states. The results are obtained by inverting certain infinite matrices. In particular, we obtain reconstruction formulas, each of which involves only a single phase space observable. △ Less

Submitted 19 October, 2009; originally announced October 2009.

Comments: 19 pages

Journal ref: J. Phys. A: Math. Theor. 43 (2010) 095303

State reconstruction formulas for the s-distributions and quadratures

Authors: Jukka Kiukas, Juha-Pekka Pellonpää, Jussi Schultz

Abstract: We consider the method of infinite matrix inversion in the context of quantum state reconstruction. Using this method we give rigorous proofs for reconstruction formulas for the Cahill-Glauber s-parametrized distributions and the rotated quadrature distributions. We also demonstrate how to construct the s-distributions from the quadrature data. We consider the method of infinite matrix inversion in the context of quantum state reconstruction. Using this method we give rigorous proofs for reconstruction formulas for the Cahill-Glauber s-parametrized distributions and the rotated quadrature distributions. We also demonstrate how to construct the s-distributions from the quadrature data. △ Less

Submitted 18 September, 2009; originally announced September 2009.

Comments: 26 pages

Journal ref: Rep. Math. Phys. 66 (2010) 55-84

Tunneling times with covariant measurements

Authors: J. Kiukas, A. Ruschhaupt, R. F. Werner

Abstract: We consider the time delay of massive, non-relativistic, one-dimensional particles due to a tunneling potential. In this setting the well-known Hartman effect asserts that often the sub-ensemble of particles going through the tunnel seems to cross the tunnel region instantaneously. An obstacle to the utilization of this effect for getting faster signals is the exponential damping by the tunnel,… ▽ More We consider the time delay of massive, non-relativistic, one-dimensional particles due to a tunneling potential. In this setting the well-known Hartman effect asserts that often the sub-ensemble of particles going through the tunnel seems to cross the tunnel region instantaneously. An obstacle to the utilization of this effect for getting faster signals is the exponential damping by the tunnel, so there seems to be a trade-off between speedup and intensity. In this paper we prove that this trade-off is never in favor of faster signals: the probability for a signal to reach its destination before some deadline is always reduced by the tunnel, for arbitrary incoming states, arbitrary positive and compactly supported tunnel potentials, and arbitrary detectors. More specifically, we show this for several different ways to define ``the same incoming state'' and ''the same detector'' when comparing the settings with and without tunnel potential. The arrival time measurements are expressed in the time-covariant approach, but we also allow the detection to be a localization measurement at a later time. △ Less

Submitted 10 July, 2009; originally announced July 2009.

Comments: 12 pages, 2 figures

Journal ref: Found. Phys. 39: 829-846 (2009)

On the notion of coexistence in quantum mechanics

Authors: P. Busch, J. Kiukas, P. Lahti

Abstract: The notion coexistence of quantum observables was introduced to describe the possibility of measuring two or more observables together. Here we survey the various different formalisations of this notion and their connections. We review examples illustrating the necessary degrees of unsharpness for two noncommuting observables to be jointly measurable (in one sense of the phrase). We demonstrate… ▽ More The notion coexistence of quantum observables was introduced to describe the possibility of measuring two or more observables together. Here we survey the various different formalisations of this notion and their connections. We review examples illustrating the necessary degrees of unsharpness for two noncommuting observables to be jointly measurable (in one sense of the phrase). We demonstrate the possibility of measuring together (in another sense of the phrase) noncoexistent observables. This leads us to a reconsideration of the connection between joint measurability and noncommutativity of observables and of the statistical and individual aspects of quantum measurements. △ Less

Submitted 20 May, 2009; originally announced May 2009.

Journal ref: Math. Slovaca 60 (2010), No. 5, 665-680

Position and momentum tomography

Authors: Jukka Kiukas, Pekka Lahti, Jussi Schultz

Abstract: We illustrate the use of the statistical method of moments for determining the position and momentum distributions of a quantum object from the statistics of a single measurement. The method is used for three different, though related, models; the sequential measurement model, the Arthurs-Kelly model and the eight-port homodyne detection model. In each case, the method of moments gives the posit… ▽ More We illustrate the use of the statistical method of moments for determining the position and momentum distributions of a quantum object from the statistics of a single measurement. The method is used for three different, though related, models; the sequential measurement model, the Arthurs-Kelly model and the eight-port homodyne detection model. In each case, the method of moments gives the position and momentum distribution for a large class of initial states, the relevant condition being the exponential boundedness of the distributions. △ Less

Submitted 23 February, 2009; originally announced February 2009.

Comments: 15 pages, 1 figure

Journal ref: Phys. Rev. A 79, 052119 (2009)

Semispectral measures as convolutions and their moment operators

Authors: Jukka Kiukas, Pekka Lahti, Kari Ylinen

Abstract: 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. 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. △ Less

Submitted 2 September, 2008; originally announced September 2008.

Comments: 7 pages

Measuring position and moment together

Authors: Paul Busch, Jukka Kiukas, Pekka Lahti

Abstract: We describe an operational scheme for determining both the position and momentum distributions in a large class of quantum states, together with an experimental implementation. We describe an operational scheme for determining both the position and momentum distributions in a large class of quantum states, together with an experimental implementation. △ Less

Submitted 28 April, 2008; originally announced April 2008.

Comments: 4 pages, no figures, to be published in Phys. Lett. A

Journal ref: Physics Letters A 372 (2008) 4379-4380

A proof for the informational completeness of the rotated quadrature observables

Authors: J. Kiukas, P. Lahti, J. -P. Pellonpaa

Abstract: We give a new mathematically rigorous proof for the fact that, when $S$ is a dense subset of $[0,2π)$, the rotated quadrature operators $Q_θ$, $θ\in S$, of a single mode electromagnetic field constitute an informationally complete set of observables. We give a new mathematically rigorous proof for the fact that, when $S$ is a dense subset of $[0,2π)$, the rotated quadrature operators $Q_θ$, $θ\in S$, of a single mode electromagnetic field constitute an informationally complete set of observables. △ Less

Submitted 3 December, 2007; originally announced December 2007.

Comments: 11 pages

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 175206 (11 pp)

A note on the measurement of phase space observables with an eight-port homodyne detector

Authors: J. Kiukas, P. Lahti

Abstract: It is well known that the Husimi Q-function of the signal field can actually be measured by the eight-port homodyne detection technique, provided that the reference beam (used for homodyne detection) is a very strong coherent field so that it can be treated classically. Using recent rigorous results on the quantum theory of homodyne detection observables, we show that any phase space observable,… ▽ More It is well known that the Husimi Q-function of the signal field can actually be measured by the eight-port homodyne detection technique, provided that the reference beam (used for homodyne detection) is a very strong coherent field so that it can be treated classically. Using recent rigorous results on the quantum theory of homodyne detection observables, we show that any phase space observable, and not only the Q-function, can be obtained as a high amplitude limit of the signal observable actually measured by an eight-port homodyne detector. The proof of this fact does not involve any classicality assumption. △ Less

Submitted 30 August, 2007; originally announced August 2007.

Comments: 8 pages, 1 figure

On the moment limit of quantum observables, with an application to the balanced homodyne detection

Authors: J. Kiukas, P. Lahti

Abstract: We consider the moment operators of the observable (i.e. a semispectral measure or POM) associated with the balanced homodyne detection statistics, with paying attention to the correct domains of these unbounded operators. We show that the high amplitude limit, when performed on the moment operators, actually determines uniquely the entire statistics of a rotated quadrature amplitude of the sign… ▽ More We consider the moment operators of the observable (i.e. a semispectral measure or POM) associated with the balanced homodyne detection statistics, with paying attention to the correct domains of these unbounded operators. We show that the high amplitude limit, when performed on the moment operators, actually determines uniquely the entire statistics of a rotated quadrature amplitude of the signal field, thereby verifying the usual assumption that the homodyne detection achieves a measurement of that observable. We also consider, in a general setting, the possibility of constructing a measurement of a single quantum observable from a sequence of observables by taking the limit on the level of moment operators of these observables. In this context, we show that under some natural conditions (each of which is satisfied by the homodyne detector example), the existence of the moment limits ensures that the underlying probability measures converge weakly to the probability measure of the limiting observable. The moment approach naturally requires that the observables be determined by their moment operator sequences (which does not automatically happen), and it turns out, in particular, that this is the case for the balanced homodyne detector. △ Less

Submitted 29 June, 2007; originally announced June 2007.

Comments: 22 pages, no figures

Quantization and noiseless measurements

Authors: J. Kiukas, P. Lahti

Abstract: In accordance with the fact that quantum measurements are described in terms of positive operator measures (POMs), we consider certain aspects of a quantization scheme in which a classical variable $f:\R^2\to \R$ is associated with a unique positive operator measure (POM) $E^f$, which is not necessarily projection valued. The motivation for such a scheme comes from the well-known fact that due t… ▽ More In accordance with the fact that quantum measurements are described in terms of positive operator measures (POMs), we consider certain aspects of a quantization scheme in which a classical variable $f:\R^2\to \R$ is associated with a unique positive operator measure (POM) $E^f$, which is not necessarily projection valued. The motivation for such a scheme comes from the well-known fact that due to the noise in a quantum measurement, the resulting outcome distribution is given by a POM and cannot, in general, be described in terms of a traditional observable, a selfadjoint operator. Accordingly, we notice that the noiseless measurements are the ones which are determined by a selfadjoint operator. The POM $E^f$ in our quantization is defined through its moment operators, which are required to be of the form $Γ(f^k)$, $k\in \N$, with $Γ$ a fixed map from classical variables to Hilbert space operators. In particular, we consider the quantization of classical \emph{questions}, that is, functions $f:\R^2\to\R$ taking only values 0 and 1. We compare two concrete realizations of the map $Γ$ in view of their ability to produce noiseless measurements: one being the Weyl map, and the other defined by using phase space probability distributions. △ Less

Submitted 7 December, 2006; originally announced December 2006.

Comments: 15 pages, submitted to Journal of Physics A

Journal ref: J. Phys. A: Math. Theor. 40 (2007) 2083-2091

On infinite matrices, Schur products, and operator measures

Authors: J. Kiukas, P. Lahti, J. -P. Pellonpää

Abstract: Measures with values in the set of sesquilinear forms on a subspace of a Hilbert space are of interest in quantum mechanics, since they can be interpreted as observables with only a restricted set of possible measurement preparations. In this paper, we consider the question under which conditions such a measure extends to an operator valued measure, in the concrete setting where the measure is d… ▽ More Measures with values in the set of sesquilinear forms on a subspace of a Hilbert space are of interest in quantum mechanics, since they can be interpreted as observables with only a restricted set of possible measurement preparations. In this paper, we consider the question under which conditions such a measure extends to an operator valued measure, in the concrete setting where the measure is defined on the Borel sets of the interval $[0,2π)$ and is covariant with respect to shifts. In this case, the measure is characterized with a single infinite matrix, and it turns out that a basic sufficient condition for the extensibility is that the matrix be a Schur multiplier. Accordingly, we also study the connection between the extensibility problem and the theory of Schur multipliers. In particular, we define some new norms for Schur multipliers. △ Less

Submitted 12 October, 2006; v1 submitted 8 September, 2006; originally announced September 2006.

Comments: 16 pages, no figures, to be published in Reports of Mathematical Physics; corrected typos

Journal ref: Rep. Math. Phys. 58 (2006) 375-393

Notes on phase space quantization

Authors: J. Kiukas, P. Lahti, K. Ylinen

Abstract: We consider questions related to a quantization scheme in which a classical variable f:Ω\to R on a phase space Ωis associated with a semispectral measure E^f, such that the moment operators of E^f are required to be of the form Γ(f^k), with Γa suitable mapping from the set of classical variables to the set of (not necessarily bounded) operators in some Hilbert space. In particular, we investigat… ▽ More We consider questions related to a quantization scheme in which a classical variable f:Ω\to R on a phase space Ωis associated with a semispectral measure E^f, such that the moment operators of E^f are required to be of the form Γ(f^k), with Γa suitable mapping from the set of classical variables to the set of (not necessarily bounded) operators in some Hilbert space. In particular, we investigate the situation where the map Γis implemented by the operator integral with respect to some fixed positive operator measure. The phase space Ωis first taken to be an abstract measurable space, then a locally compact unimodular group, and finally R^2, where we determine explicitly the relevant operators Γ(f^k) for certain variables f, in the case where the quantization map Γis implemented by a translation covariant positive operator measure. In addition, we consider the question under what conditions a positive operator measure is projection valued. △ Less

Submitted 2 January, 2006; originally announced January 2006.

Comments: 21 pages, submitted to Journal of Mathematical Physics

Journal ref: J. Math. Phys. 47, 072104 (2006)

Normal covariant quantization maps

Authors: J. Kiukas, P. Lahti, K. Ylinen

Abstract: We consider questions related to quantizing complex valued functions defined on a locally compact topological group. In the case of bounded functions, we generalize R. Werner's approach to prove the characterization of the associated normal covariant quantization maps. We consider questions related to quantizing complex valued functions defined on a locally compact topological group. In the case of bounded functions, we generalize R. Werner's approach to prove the characterization of the associated normal covariant quantization maps. △ Less

Submitted 4 July, 2005; originally announced July 2005.

Comments: 17 pages, to be published in Journal of Mathematical Analysis and Applications

Journal ref: J. Math. Anal. Appl. 319 (2006) 783-801

Moment operators of the Cartesian margins of the phase space observables

Authors: J. Kiukas, P. Lahti, K. Ylinen

Abstract: The theory of operator integrals is used to determine the moment operators of the Cartesian margins of the phase space observables generated by the mixtures of the number states. The moments of the $x$-margin are polynomials of the position operator and those of the $y$-margin are polynomials of the momentum operator. The theory of operator integrals is used to determine the moment operators of the Cartesian margins of the phase space observables generated by the mixtures of the number states. The moments of the $x$-margin are polynomials of the position operator and those of the $y$-margin are polynomials of the momentum operator. △ Less

Submitted 13 December, 2004; originally announced December 2004.

Comments: 14 pages

Journal ref: J. Math. Phys. 46, 042107 (2005)