scholarly journals Synthesising Graphical Theories

10.29007/5dkd ◽  
2018 ◽  
Author(s):  
Aleks Kissinger
Keyword(s):  
Quantum Mechanics ◽  
Monoidal Category ◽  
Quantum States ◽  
Theorem Prover ◽  
Rewrite Systems ◽  
Linear Maps ◽  
Entangled Quantum States ◽  
Categorical Quantum Mechanics ◽  
As Graph ◽  
Concrete Model

In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms in a monoidal category. In particular, categorical quantum mechanics, or "Quantum Picturalism", aims to turn concrete features of quantum theory into abstract structural properties, expressed in the form of diagrammatic identities. One way we search for these properties is to start with a concrete model (e.g. a set of linear maps or finite relations) and start composing generators into diagrams and looking for graphical identities.Naively, we could automate this procedure by enumerating all diagrams up to a given size and check for equalities, but this is intractable in practice because it produces far too many equations. Luckily, many of these identities are not primitive, but rather derivable from simpler ones. In 2010, Johansson, Dixon, and Bundy developed a technique called conjecture synthesis for automatically generating conjectured term equations to feed into an inductive theorem prover. In this extended abstract, we adapt this technique to diagrammatic theories, expressed as graph rewrite systems, and demonstrate its application by synthesising a graphical theory for studying entangled quantum states.

“Non-locality”

2017 ◽  
Author(s):  
Richard Healey
Keyword(s):  
Quantum Theory ◽  
Quantum Entanglement ◽  
Quantum States ◽  
Entangled States ◽  
Entangled Quantum States ◽  
Action At A Distance ◽  
Insight Into ◽  
Non Locality

Quantum entanglement is popularly believed to give rise to spooky action at a distance of a kind that Einstein decisively rejected. Indeed, important recent experiments on systems assigned entangled states have been claimed to refute Einstein by exhibiting such spooky action. After reviewing two considerations in favor of this view I argue that quantum theory can be used to explain puzzling correlations correctly predicted by assignment of entangled quantum states with no such instantaneous action at a distance. We owe both considerations in favor of the view to arguments of John Bell. I present simplified forms of these arguments as well as a game that provides insight into the situation. The argument I give in response turns on a prescriptive view of quantum states that differs both from Dirac’s (as stated in Chapter 2) and Einstein’s.

Quantum Theory

2017 ◽  
Author(s):  
Frank S. Levin
Keyword(s):  
Quantum Mechanics ◽  
Quantum Theory ◽  
Uncertainty Principle ◽  
Quantum Spin ◽  
Quantum States ◽  
Wave Functions ◽  
Symbolic Representations ◽  
Quantum Numbers ◽  
The Subject ◽  
Heisenberg's Uncertainty Principle

The subject of Chapter 8 is the fundamental principles of quantum theory, the abstract extension of quantum mechanics. Two of the entities explored are kets and operators, with kets being representations of quantum states as well as a source of wave functions. The quantum box and quantum spin kets are specified, as are the quantum numbers that identify them. Operators are introduced and defined in part as the symbolic representations of observable quantities such as position, momentum and quantum spin. Eigenvalues and eigenkets are defined and discussed, with the former identified as the possible outcomes of a measurement. Bras, the counterpart to kets, are introduced as the means of forming probability amplitudes from kets. Products of operators are examined, as is their role underpinning Heisenberg’s Uncertainty Principle. A variety of symbol manipulations are presented. How measurements are believed to collapse linear superpositions to one term of the sum is explored.

Introduction, generation and entanglement of entangled displaced even and odd squeezed states

2021 ◽  
pp. 2050047
Author(s):  
Amir Karimi
Keyword(s):  
Quantum States ◽  
Entangled States ◽  
Squeezed States ◽  
Displacement Operator ◽  
Text Type ◽  
Level Atom ◽  
Displacement Parameter ◽  
Entangled Quantum States ◽  
Quantized Field ◽  
Classical Fields

In this paper, first, we introduce special types of entangled quantum states named “entangled displaced even and odd squeezed states” by using displaced even and odd squeezed states which are constructed via the action of displacement operator on the even and odd squeezed states, respectively. Next, we present a theoretical scheme to generate the introduced entangled states. This scheme is based on the interaction between a [Formula: see text]-type three-level atom and a two-mode quantized field in the presence of two strong classical fields. In the continuation, we consider the entanglement feature of the introduced entangled states by evaluating concurrence. Moreover, we study the influence of the displacement parameter on the entanglement degree of the introduced entangled states and compare the results. It will be observed that the concurrence of the “entangled displaced odd squeezed states” has less decrement with respect to the “entangled displaced even squeezed states” by increasing the displacement parameter.

scholarly journals Designing locally maximally entangled quantum states with arbitrary local symmetries

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 450
Author(s):  
Oskar Słowik ◽  
Adam Sawicki ◽  
Tomasz Maciążek
Keyword(s):  
Quantum State ◽  
Quantum States ◽  
Local Mode ◽  
Trivial Representation ◽  
Tensor Power ◽  
Technical Result ◽  
Combinatorial Objects ◽  
Local Symmetries ◽  
Entangled Quantum States ◽  
Group Of Symmetries

One of the key ingredients of many LOCC protocols in quantum information is a multiparticle (locally) maximally entangled quantum state, aka a critical state, that possesses local symmetries. We show how to design critical states with arbitrarily large local unitary symmetry. We explain that such states can be realised in a quantum system of distinguishable traps with bosons or fermions occupying a finite number of modes. Then, local symmetries of the designed quantum state are equal to the unitary group of local mode operations acting diagonally on all traps. Therefore, such a group of symmetries is naturally protected against errors that occur in a physical realisation of mode operators. We also link our results with the existence of so-called strictly semistable states with particular asymptotic diagonal symmetries. Our main technical result states that the Nth tensor power of any irreducible representation of SU(N) contains a copy of the trivial representation. This is established via a direct combinatorial analysis of Littlewood-Richardson rules utilising certain combinatorial objects which we call telescopes.

Fully Entangled Quantum States in CN2and Bell Measurement

2003 ◽  
Vol 42 (12) ◽  
pp. 2847-2853
Author(s):  
Yorick Hardy ◽  
Willi-Hans Steeb ◽  
Ruedi Stoop
Keyword(s):  
Quantum States ◽  
Bell Measurement ◽  
Entangled Quantum States

Quantum mechanics, interpretation of

2018 ◽  
Author(s):  
Allen Stairs
Keyword(s):  
Quantum Mechanics ◽  
Microscopic Level ◽  
Quantum States ◽  
Quantum Mechanical ◽  
Quantum Superposition ◽  
Ordinary Objects ◽  
Making Sense ◽  
Interpretations Of Quantum Mechanics ◽  
The World

Quantum mechanics developed in the early part of the twentieth century in response to the discovery that energy is quantized, that is, comes in discrete units. At the microscopic level this leads to odd phenomena: light displays particle-like characteristics and particles such as electrons produce wave-like interference patterns. At the level of ordinary objects such effects are usually not evident, but this generalization is subject to striking exceptions and puzzling ambiguities. The fundamental quantum mechanical puzzle is ’superposition of states’. Quantum states can be added together in a manner that recalls the superposition of waves, but the effects of quantum superposition show up only probabilistically in the statistics of many measurements. The details suggest that the world is indefinite in odd ways; for example, that things may not always have well-defined positions or momenta or energies. However, if we accept this conclusion, we have difficulty making sense of such straightforward facts as that measurements have definite results. Interpretations of quantum mechanics are, in one way or another, attempts to understand the superposition of quantum states. The range of interpretations stretches from the metaphysically daring to the seemingly innocuous. But, so far, no single interpretation has commanded anything like universal agreement.

Sign in / Sign up

Export Citation Format

Share Document