Showing 1–20 of 20 results for author: Spedalieri, F M

Imposing Constraints on Driver Hamiltonians and Mixing Operators: From Theory to Practical Implementation

Authors: Hannes Leipold, Federico M. Spedalieri, Stuart Hadfield, Eleanor Rieffel

Abstract: Constructing Driver Hamiltonians and Mixing Operators such that they satisfy constraints is an important ansatz construction for quantum algorithms. We give general algebraic expressions for finding Hamiltonian terms and analogously unitary primitives, that satisfy constraint embeddings and use these to give complexity characterizations of the related problems. Finding operators that enforce class… ▽ More Constructing Driver Hamiltonians and Mixing Operators such that they satisfy constraints is an important ansatz construction for quantum algorithms. We give general algebraic expressions for finding Hamiltonian terms and analogously unitary primitives, that satisfy constraint embeddings and use these to give complexity characterizations of the related problems. Finding operators that enforce classical constraints is proven to be NP-Complete in the general case; algorithmic procedures with worse-case polynomial runtime to find any operators with a constant locality bound, applicable for many constraints. We then give algorithmic procedures to turn these algebraic primitives into Hamiltonian drivers and unitary mixers that can be used for Constrained Quantum Annealing (CQA) and Quantum Alternating Operator Ansatz (QAOA) constructions by tackling practical problems related to finding an appropriate set of reduced generators and defining corresponding drivers and mixers accordingly. We then apply these concepts to the construction of ansaetze for 1-in-3 SAT instances. We consider the ordinary x-mixer QAOA, a novel QAOA approach based on the maximally disjoint subset, and a QAOA approach based on the disjoint subset as well as higher order constraint satisfaction terms. We empirically benchmark these approaches on instances sized between 12 and 22, showing the best relative performance for the tailored ansaetze and that exponential curve fits on the results are consistent with a quadratic speedup by utilizing alternative ansaetze to the x-mixer. We provide very general algorithmic prescriptions for finding driver or mixing terms that satisfy embedded constraints that can be utilized to probe quantum speedups for constraints problems with linear, quadratic, or even higher order polynomial constraints. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Quantum Annealing with Special Drivers for Circuit Fault Diagnostics

Authors: Hannes Leipold, Federico M. Spedalieri

Abstract: We present a very general construction for quantum annealing protocols to solve Combinational Circuit Fault Diagnosis (CCFD) problems that restricts the evolution to the space of valid diagnoses. This is accomplished by using special local drivers that induce a transition graph on the space of feasible configurations that is regular and instance independent for each given circuit topology. Analysi… ▽ More We present a very general construction for quantum annealing protocols to solve Combinational Circuit Fault Diagnosis (CCFD) problems that restricts the evolution to the space of valid diagnoses. This is accomplished by using special local drivers that induce a transition graph on the space of feasible configurations that is regular and instance independent for each given circuit topology. Analysis of small instances shows that the energy gap has a generic form, and that the minimum gap occurs in the last third of the evolution. We used these features to construct an improved annealing schedule and benchmarked its performance through closed system simulations. We found that degeneracy can help the performance of quantum annealing, especially for instances with a higher number of faults in their minimum fault diagnosis. This contrasts with the performance of classical approaches based on brute force search that are used in industry for large scale circuits. △ Less

Submitted 8 July, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 15 pages, 6 figures, 1 table

Constructing Driver Hamiltonians for Optimization Problems with Linear Constraints

Authors: Hannes Leipold, Federico M. Spedalieri

Abstract: Recent advances in the field of adiabatic quantum computing and the closely related field of quantum annealers has centered around using more advanced and novel Hamiltonian representations to solve optimization problems. One of these advances has centered around the development of driver Hamiltonians that commute with the constraints of an optimization problem - allowing for another avenue to sati… ▽ More Recent advances in the field of adiabatic quantum computing and the closely related field of quantum annealers has centered around using more advanced and novel Hamiltonian representations to solve optimization problems. One of these advances has centered around the development of driver Hamiltonians that commute with the constraints of an optimization problem - allowing for another avenue to satisfying those constraints instead of imposing penalty terms for each of them. In particular, the approach is able to use sparser connectivity to embed several practical problems on quantum devices than other common practices. However, designing the driver Hamiltonians that successfully commute with several constraints has largely been based on strong intuition for specific problems and with no simple general algorithm to generate them for arbitrary constraints. In this work, we develop a simple and intuitive algebraic framework for reasoning about the commutation of Hamiltonians with linear constraints - one that allows us to classify the complexity of finding a driver Hamiltonian for an arbitrary set of constraints as NP-Complete. Because unitary operators are exponentials of Hermitian operators, these results can also be applied to the construction of mixers in the Quantum Alternating Operator Ansatz (QAOA) framework. △ Less

Submitted 18 June, 2021; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 20 pages, 2 figures

Journal ref: Quantum Science and Technology 7.1 (2021)

Quantum Annealing for Constrained Optimization

Authors: Itay Hen, Federico M. Spedalieri

Abstract: Recent advances in quantum technology have led to the development and manufacturing of experimental programmable quantum annealers that promise to solve certain combinatorial optimization problems of practical relevance faster than their classical analogues. The applicability of such devices for many theoretical and real-world optimization problems, which are often constrained, is severely limited… ▽ More Recent advances in quantum technology have led to the development and manufacturing of experimental programmable quantum annealers that promise to solve certain combinatorial optimization problems of practical relevance faster than their classical analogues. The applicability of such devices for many theoretical and real-world optimization problems, which are often constrained, is severely limited by the sparse, rigid layout of the devices' quantum bits. Traditionally, constraints are addressed by the addition of penalty terms to the Hamiltonian of the problem, which in turn requires prohibitively increasing physical resources while also restricting the dynamical range of the interactions. Here, we propose a method for encoding constrained optimization problems on quantum annealers that eliminates the need for penalty terms and thereby reduces the number of required couplers and removes the need for minor embedding, greatly reducing the number of required physical qubits. We argue the advantages of the proposed technique and illustrate its effectiveness. We conclude by discussing the experimental feasibility of the suggested method as well as its potential to appreciably reduce the resource requirements for implementing optimization problems on quantum annealers, and its significance in the field of quantum computing. △ Less

Submitted 30 May, 2016; v1 submitted 18 August, 2015; originally announced August 2015.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. Applied 5, 034007 (2016)

Reexamination of the evidence for entanglement in the D-Wave processor

Authors: Tameem Albash, Itay Hen, Federico M. Spedalieri, Daniel A. Lidar

Abstract: A recent experiment [Lanting et al., PRX, (2014)] claimed to provide evidence of up to $8$-qubit entanglement in a D-Wave quantum annealing device. However, entanglement was measured using qubit tunneling spectroscopy, a technique that provides indirect access to the state of the system at intermediate times during the anneal by performing measurements at the end of the anneal with a probe qubit.… ▽ More A recent experiment [Lanting et al., PRX, (2014)] claimed to provide evidence of up to $8$-qubit entanglement in a D-Wave quantum annealing device. However, entanglement was measured using qubit tunneling spectroscopy, a technique that provides indirect access to the state of the system at intermediate times during the anneal by performing measurements at the end of the anneal with a probe qubit. In addition, an underlying assumption was that the quantum transverse-field Ising Hamiltonian, whose ground states are already highly entangled, is an appropriate model of the device, and not some other (possibly classical) model. This begs the question of whether alternative, classical or semiclassical models would be equally effective at predicting the observed spectrum and thermal state populations. To check this, we consider a recently proposed classical rotor model with classical Monte Carlo updates, which has been successfully employed in describing features of earlier experiments involving the device. We also consider simulated quantum annealing with quantum Monte Carlo updates, an algorithm that samples from the instantaneous Gibbs state of the device Hamiltonian. Finally, we use the quantum adiabatic master equation, which cannot be efficiently simulated classically, and which has previously been used to successfully capture the open system quantum dynamics of the device. We find that only the master equation is able to reproduce the features of the tunneling spectroscopy experiment, while both the classical rotor model and simulated quantum annealing fail to reproduce the experimental results. We argue that this bolsters the evidence for the reported entanglement. △ Less

Submitted 15 December, 2015; v1 submitted 10 June, 2015; originally announced June 2015.

Comments: 12 pages, 15 figures. v2: Updated to published version

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

Entanglement in a quantum annealing processor

Authors: T. Lanting, A. J. Przybysz, A. Yu. Smirnov, F. M. Spedalieri, M. H. Amin, A. J. Berkley, R. Harris, F. Altomare, S. Boixo, P. Bunyk, N. Dickson, C. Enderud, J. P. Hilton, E. Hoskinson, M. W. Johnson, E. Ladizinsky, N. Ladizinsky, R. Neufeld, T. Oh, I. Perminov, C. Rich, M. C. Thom, E. Tolkacheva, S. Uchaikin, A. B. Wilson , et al. (1 additional authors not shown)

Abstract: Entanglement lies at the core of quantum algorithms designed to solve problems that are intractable by classical approaches. One such algorithm, quantum annealing (QA), provides a promising path to a practical quantum processor. We have built a series of scalable QA processors consisting of networks of manufactured interacting spins (qubits). Here, we use qubit tunneling spectroscopy to measure th… ▽ More Entanglement lies at the core of quantum algorithms designed to solve problems that are intractable by classical approaches. One such algorithm, quantum annealing (QA), provides a promising path to a practical quantum processor. We have built a series of scalable QA processors consisting of networks of manufactured interacting spins (qubits). Here, we use qubit tunneling spectroscopy to measure the energy eigenspectrum of two- and eight-qubit systems within one such processor, demonstrating quantum coherence in these systems. We present experimental evidence that, during a critical portion of QA, the qubits become entangled and that entanglement persists even as these systems reach equilibrium with a thermal environment. Our results provide an encouraging sign that QA is a viable technology for large-scale quantum computing. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Comments: 13 pages, 8 figures, contact corresponding author for Supplementary Information

Journal ref: Phys. Rev. X 4, 021041 (2014)

Hearing the Shape of the Ising Model with a Programmable Superconducting-Flux Annealer

Authors: Walter Vinci, Klas Markström, Sergio Boixo, Aidan Roy, Federico M. Spedalieri, Paul A. Warburton, Simone Severini

Abstract: Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate… ▽ More Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate that the energy spectrum of the quantum Ising Hamiltonian is a stronger invariant than the classical one without refinements. For the purpose of implementing the related physical systems, we perform experiments on a programmable annealer with superconducting flux technology. Departing from the paradigm of adiabatic computation, we take advantage of a noisy evolution of the device to generate statistics of low energy states. The graphs considered in the experiments have the same classical partition functions, but different quantum spectra. The data obtained from the annealer distinguish non-isomorphic graphs via information contained in the classical refinements of the functions but not via the differences in the quantum spectra. △ Less

Submitted 16 September, 2014; v1 submitted 3 July, 2013; originally announced July 2013.

Comments: 13 pages, 10 figures

Experimental signature of programmable quantum annealing

Authors: Sergio Boixo, Tameem Albash, Federico M. Spedalieri, Nicholas Chancellor, Daniel A. Lidar

Abstract: Quantum annealing is a general strategy for solving difficult optimization problems with the aid of quantum adiabatic evolution. Both analytical and numerical evidence suggests that under idealized, closed system conditions, quantum annealing can outperform classical thermalization-based algorithms such as simulated annealing. Do engineered quantum annealing devices effectively perform classical t… ▽ More Quantum annealing is a general strategy for solving difficult optimization problems with the aid of quantum adiabatic evolution. Both analytical and numerical evidence suggests that under idealized, closed system conditions, quantum annealing can outperform classical thermalization-based algorithms such as simulated annealing. Do engineered quantum annealing devices effectively perform classical thermalization when coupled to a decohering thermal environment? To address this we establish, using superconducting flux qubits with programmable spin-spin couplings, an experimental signature which is consistent with quantum annealing, and at the same time inconsistent with classical thermalization, in spite of a decoherence timescale which is orders of magnitude shorter than the adiabatic evolution time. This suggests that programmable quantum devices, scalable with current superconducting technology, implement quantum annealing with a surprising robustness against noise and imperfections. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 12 pages, 11 figures

Journal ref: Nature Comm. 4, 3067 (2013)

Detecting Entanglement with Partial State Information

Authors: Federico M. Spedalieri

Abstract: We introduce a sequence of numerical tests that can determine the entanglement or separability of a state even when there is not enough information to completely determine its density matrix. Given partial information about the state in the form of linear constraints on the density matrix, the sequence of tests can prove that either all states satisfying the constraints are entangled, or there is… ▽ More We introduce a sequence of numerical tests that can determine the entanglement or separability of a state even when there is not enough information to completely determine its density matrix. Given partial information about the state in the form of linear constraints on the density matrix, the sequence of tests can prove that either all states satisfying the constraints are entangled, or there is at least one separable state that satisfies them. The algorithm works even if the values of the constraints are only known to fall in a certain range. If the states are entangled, an entanglement witness is constructed and lower bounds on entanglement measures and related quantities are provided; if a separable state satisfies the constraints, a separable decomposition is provided to certify this fact. △ Less

Submitted 13 December, 2012; v1 submitted 3 August, 2012; originally announced August 2012.

Comments: 7 pages, 1 figure, v2; title changed, expanded description of the approach, extension to multipartite case, figure added, references added and corrected. Published version

Journal ref: Phys. Rev. A 86, 062311 (2012)

Performance of Magnetic Quantum Cellular Automata and Limitations due to Thermal Noise

Authors: Federico M. Spedalieri, Ajey P. Jacob, Dmitri Nikonov, Vwani P. Roychowdhury

Abstract: Operation parameters of magnetic quantum cellular automata are evaluated for the purposes of reliable logic operation. The dynamics of the nanomagnets is simulated via the Landau-Lifshitz-Gilbert equations with a stochastic magnetic field corresponding to thermal fluctuations. It is found that in the macrospin approximation the switching speed does not change under scaling of both size and dista… ▽ More Operation parameters of magnetic quantum cellular automata are evaluated for the purposes of reliable logic operation. The dynamics of the nanomagnets is simulated via the Landau-Lifshitz-Gilbert equations with a stochastic magnetic field corresponding to thermal fluctuations. It is found that in the macrospin approximation the switching speed does not change under scaling of both size and distances between nanomagnets. Thermal fluctuations put a limitation on the size of nanomagnets, since the gate error rate becomes excessive for nanomagnets smaller than 200nm at room temperature. △ Less

Submitted 29 June, 2009; originally announced June 2009.

Comments: 22 pages, 8 figures

Latency in local, two-dimensional, fault-tolerant quantum computing

Authors: Federico M. Spedalieri, Vwani P. Roychowdhury

Abstract: We analyze the latency of fault-tolerant quantum computing based on the 9-qubit Bacon-Shor code using a local, two-dimensional architecture. We embed the data qubits in a 7 by 7 array of physical qubits, where the extra qubits are used for ancilla preparation and qubit transportation by means of a SWAP chain. The latency is reduced with respect to a similar implementation using Steane's 7-qubit… ▽ More We analyze the latency of fault-tolerant quantum computing based on the 9-qubit Bacon-Shor code using a local, two-dimensional architecture. We embed the data qubits in a 7 by 7 array of physical qubits, where the extra qubits are used for ancilla preparation and qubit transportation by means of a SWAP chain. The latency is reduced with respect to a similar implementation using Steane's 7-qubit code (K. M. Svore, D. P. DiVincenzo, and B. M. Terhal, Quantum Information & Computation {\bf 7}, 297 (2007)). Furthermore, the error threshold is also improved to $2.02 \times 10^{-5}$, when memory errors are taken to be one tenth of the gate error rates. △ Less

Submitted 27 May, 2008; originally announced May 2008.

Comments: 16 pages, 7 figures

Detecting separable states via semidefinite programs

Authors: Federico M. Spedalieri

Abstract: We introduce a new technique to detect separable states using semidefinite programs. This approach provides a sufficient condition for separability of a state that is based on the existence of a certain local linear map applied to a known separable state. When a state is shown to be separable, a proof of this fact is provided in the form of an explicit convex decomposition of the state in terms… ▽ More We introduce a new technique to detect separable states using semidefinite programs. This approach provides a sufficient condition for separability of a state that is based on the existence of a certain local linear map applied to a known separable state. When a state is shown to be separable, a proof of this fact is provided in the form of an explicit convex decomposition of the state in terms of product states. All states in the interior of the set of separable states can be detected in this way, except maybe for a set of measure zero. Even though this technique is more suited for a numerical approach, a new analytical criterion for separability can also be derived. △ Less

Submitted 15 August, 2007; originally announced August 2007.

Comments: 8 pages, accepted for publication in Physical Review A

Journal ref: Physical Review A 76, 032318 (2007)

High-fidelity linear optical quantum computing with polarization encoding

Authors: Federico M. Spedalieri, Hwang Lee, Jonathan P. Dowling

Abstract: We show that the KLM scheme [Knill, Laflamme and Milburn, Nature {\bf 409}, 46] can be implemented using polarization encoding, thus reducing the number of path modes required by half. One of the main advantages of this new implementation is that it naturally incorporates a loss detection mechanism that makes the probability of a gate introducing a non-detected error, when non-ideal detectors ar… ▽ More We show that the KLM scheme [Knill, Laflamme and Milburn, Nature {\bf 409}, 46] can be implemented using polarization encoding, thus reducing the number of path modes required by half. One of the main advantages of this new implementation is that it naturally incorporates a loss detection mechanism that makes the probability of a gate introducing a non-detected error, when non-ideal detectors are considered, dependent only on the detector dark-count rate and independent of its efficiency. Since very low dark-count rate detectors are currently available, a high-fidelity gate (probability of error of order $10^{-6}$ conditional on the gate being successful) can be implemented using polarization encoding. The detector efficiency determines the overall success probability of the gate but does not affect its fidelity. This can be applied to the efficient construction of optical cluster states with very high fidelity for quantum computing. △ Less

Submitted 23 September, 2005; v1 submitted 15 August, 2005; originally announced August 2005.

Comments: 12 pages, 7 figures. Improved construction of high-fidelity entangled ancilla; references added

Quantum key distribution without reference frame alignment: Exploiting photon orbital angular momentum

Authors: Federico M. Spedalieri

Abstract: We present a new implementation of the BB84 quantum key distribution protocol that employs a $d$-dimensional Hilbert space spanned by spatial modes of the propagating beam that have a definite value of orbital angular momentum. Each photon carries $\log d$ bits of information, increasing the key generation rate of the protocol. The states used in the transmission part of the protocol are invaria… ▽ More We present a new implementation of the BB84 quantum key distribution protocol that employs a $d$-dimensional Hilbert space spanned by spatial modes of the propagating beam that have a definite value of orbital angular momentum. Each photon carries $\log d$ bits of information, increasing the key generation rate of the protocol. The states used in the transmission part of the protocol are invariant under rotations about the propagation direction, making this implementation independent of the alignment between the reference frames of the sender and receiver. The protocol still works when these reference frames rotate with respect to each other. △ Less

Submitted 10 September, 2004; originally announced September 2004.

Comments: 4 pages, 2 figures

Exploiting the quantum Zeno effect to beat photon loss in linear optical quantum information processors

Authors: Federico M. Spedalieri, Hwang Lee, Marian Florescu, Kishore T. Kapale, Ulvi Yurtsever, Jonathan P. Dowling

Abstract: We devise a new technique to enhance transmission of quantum information through linear optical quantum information processors. The idea is based on applying the Quantum Zeno effect to the process of photon absorption. By frequently monitoring the presence of the photon through a QND (quantum non-demolition) measurement the absorption is suppressed. Quantum information is encoded in the polariza… ▽ More We devise a new technique to enhance transmission of quantum information through linear optical quantum information processors. The idea is based on applying the Quantum Zeno effect to the process of photon absorption. By frequently monitoring the presence of the photon through a QND (quantum non-demolition) measurement the absorption is suppressed. Quantum information is encoded in the polarization degrees of freedom and is therefore not affected by the measurement. Some implementations of the QND measurement are proposed. △ Less

Submitted 3 August, 2004; originally announced August 2004.

Comments: 4 pages, 1 figure

Detecting multipartite entanglement

Authors: Andrew C. Doherty, Pablo A. Parrilo, Federico M. Spedalieri

Abstract: We discuss the problem of determining whether the state of several quantum mechanical subsystems is entangled. As in previous work on two subsystems we introduce a procedure for checking separability that is based on finding state extensions with appropriate properties and may be implemented as a semidefinite program. The main result of this work is to show that there is a series of tests of thi… ▽ More We discuss the problem of determining whether the state of several quantum mechanical subsystems is entangled. As in previous work on two subsystems we introduce a procedure for checking separability that is based on finding state extensions with appropriate properties and may be implemented as a semidefinite program. The main result of this work is to show that there is a series of tests of this kind such that if a multiparty state is entangled this will eventually be detected by one of the tests. The procedure also provides a means of constructing entanglement witnesses that could in principle be measured in order to demonstrate that the state is entangled. △ Less

Submitted 19 July, 2004; originally announced July 2004.

Comments: 9 pages, REVTEX

Journal ref: Phys. Rev. A, Vol. 71, 032333 (2005)

A complete family of separability criteria

Authors: Andrew C. Doherty, Pablo A. Parrilo, Federico M. Spedalieri

Abstract: We introduce a new family of separability criteria that are based on the existence of extensions of a bipartite quantum state $ρ$ to a larger number of parties satisfying certain symmetry properties. It can be easily shown that all separable states have the required extensions, so the non-existence of such an extension for a particular state implies that the state is entangled. One of the main a… ▽ More We introduce a new family of separability criteria that are based on the existence of extensions of a bipartite quantum state $ρ$ to a larger number of parties satisfying certain symmetry properties. It can be easily shown that all separable states have the required extensions, so the non-existence of such an extension for a particular state implies that the state is entangled. One of the main advantages of this approach is that searching for the extension can be cast as a convex optimization problem known as a semidefinite program (SDP). Whenever an extension does not exist, the dual optimization constructs an explicit entanglement witness for the particular state. These separability tests can be ordered in a hierarchical structure whose first step corresponds to the well-known Positive Partial Transpose (Peres-Horodecki) criterion, and each test in the hierarchy is at least as powerful as the preceding one. This hierarchy is complete, in the sense that any entangled state is guaranteed to fail a test at some finite point in the hierarchy, thus showing it is entangled. The entanglement witnesses corresponding to each step of the hierarchy have well-defined and very interesting algebraic properties that in turn allow for a characterization of the interior of the set of positive maps. Coupled with some recent results on the computational complexity of the separability problem, which has been shown to be NP-hard, this hierarchy of tests gives a complete and also computationally and theoretically appealing characterization of mixed bipartite entangled states. △ Less

Submitted 5 November, 2003; v1 submitted 5 August, 2003; originally announced August 2003.

Comments: 21 pages. Expanded introduction. References added, typos corrected. Accepted for publication in Physical Review A

Journal ref: Phys. Rev. A 69, 022308 (2004)

Distinguishing separable and entangled states

Authors: Andrew C. Doherty, Pablo A. Parrilo, Federico M. Spedalieri

Abstract: We show how to design families of operational criteria that distinguish entangled from separable quantum states. The simplest of these tests corresponds to the well-known Peres-Horodecki positive partial transpose (PPT) criterion, and the more complicated tests are strictly stronger. The new criteria are tractable due to powerful computational and theoretical methods for the class of convex opti… ▽ More We show how to design families of operational criteria that distinguish entangled from separable quantum states. The simplest of these tests corresponds to the well-known Peres-Horodecki positive partial transpose (PPT) criterion, and the more complicated tests are strictly stronger. The new criteria are tractable due to powerful computational and theoretical methods for the class of convex optimization problems known as semidefinite programs. We successfully applied the results to many low-dimensional states from the literature where the PPT test fails. As a byproduct of the criteria, we provide an explicit construction of the corresponding entanglement witnesses. △ Less

Submitted 2 April, 2002; v1 submitted 1 December, 2001; originally announced December 2001.

Comments: 4 pages, Latex2e. Expanded discussion of numerical procedures. Accepted for publication in Physical Review Letters

Journal ref: Physical Review Letters, Vol. 88, No. 18, 187904, 2002.

Local Deterministic Transformations of Three-Qubit Pure States

Authors: Federico M. Spedalieri

Abstract: The properties of deterministic LOCC transformations of three qubit pure states are studied. We show that the set of states in the GHZ class breaks into an infinite number of disjoint classes under this type of transformation. These classes are characterized by the value of a quantity that is invariant under these transformations, and is defined in terms of the coefficients of a particular canon… ▽ More The properties of deterministic LOCC transformations of three qubit pure states are studied. We show that the set of states in the GHZ class breaks into an infinite number of disjoint classes under this type of transformation. These classes are characterized by the value of a quantity that is invariant under these transformations, and is defined in terms of the coefficients of a particular canonical form in which only states in the GHZ class can be expressed. This invariant also imposes a strong constraint on any POVM that is part of a deterministic protocol. We also consider a transformation generated by a local 2-outcome POVM and study under what conditions it is deterministic, i.e., both outcomes belong to the same orbit. We prove that for real states it is always possible to find such a POVM and we discuss analytical and numerical evidence that suggests that this result also holds for complex states. We study the transformation generated in the space of orbits when one or more parties apply several deterministic POVMs in succession and use these results to give a complete characterization of the real states that can be obtained from the GHZ state with probability 1. △ Less

Submitted 31 October, 2001; originally announced October 2001.

Comments: 11 pages, 1 figure

Scalar Electrodynamics and Primordial Magnetic Fields

Authors: F. D. Mazzitelli, F. M. Spedalieri

Abstract: A primordial magnetic field may be generated during an inflationary period if conformal invariance is broken. We reexamine and generalize previous results about the magnetic field produced by couplings of the form $R^n F_{μν}F^{μν}$. We show that the amplitude of the magnetic field depends strongly on $n$. For adequate values of $n$ the field produced can serve as seed for galactic magnetic fiel… ▽ More A primordial magnetic field may be generated during an inflationary period if conformal invariance is broken. We reexamine and generalize previous results about the magnetic field produced by couplings of the form $R^n F_{μν}F^{μν}$. We show that the amplitude of the magnetic field depends strongly on $n$. For adequate values of $n$ the field produced can serve as seed for galactic magnetic fields. We also compute the effective interaction between the electromagnetic field and the geometry in the context of scalar QED (with and without classical conformal invariance). In both cases, the amplitude of the magnetic field is too small to be of astrophysical interest. △ Less

Submitted 30 May, 1995; originally announced May 1995.

Comments: 16 pages, LaTeX, no figures

Journal ref: Phys.Rev. D52 (1995) 6694-6699