English
Related papers

Related papers: LQP: The Dynamic Logic of Quantum Information

200 papers

We propose a method for quantum information processing using molecules coupled to an external laser field. This utilizes molecular interactions, control of the external field and an effective energy shift of the doubly-excited state of two…

Quantum Physics · Physics 2009-11-10 John H. Reina , Ray G. Beausoleil , Tim P. Spiller , William J. Munro

How much information can a transmitted physical system fundamentally communicate? We introduce the principle of quantum information causality, which states the maximum amount of quantum information that a quantum system can communicate as a…

Quantum Physics · Physics 2013-05-24 Damián Pitalúa-García

We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational…

Logic in Computer Science · Computer Science 2007-05-23 Roberto Bruni , Ugo Montanari , Francesca Rossi

We give a mathematical framework to describe the evolution of an open quantum systems subjected to finitely many interactions with classical apparatuses. The systems in question may be composed of distinct, spatially separated subsystems…

General Relativity and Quantum Cosmology · Physics 2007-05-23 R. Blute , I. T. Ivanov , P. Panangaden

Quantum teleportation is a fundamental concept in quantum physics which now finds important applications at the heart of quantum technology including quantum relays, quantum repeaters and linear optics quantum computing (LOQC). Photonic…

A framework for a quantum information theory is introduced that is based on the measure of quantum information associated with probability distribution predicted by quantum measuring of state. The entanglement between states of measured…

Quantum Physics · Physics 2007-05-23 Yi-Xin Chen

Quantum superposition, a cornerstone of quantum mechanics, enables systems to exist in multiple states simultaneously, giving rise to probabilistic outcomes. In quantum information science, conditional entropy has become a key metric for…

General Physics · Physics 2024-10-21 Daegene Song

We develop a theoretical framework for the exploration of quantum mechanical coherent population transfer phenomena, with the ultimate goal of constructing faithful models of devices for classical and quantum information processing…

Quantum Physics · Physics 2015-06-26 R. G. Beausoleil , W. J. Munro , T. P. Spiller

The open-system dynamics of entanglement plays an important role in the assessment of the robustness of quantum information processes and also in the investigation of the classical limit of quantum mechanics. Here we show that, subjacent to…

Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple of quantum programming languages. So, it can be expected…

Logic in Computer Science · Computer Science 2018-12-11 Zhaowei Xu , Mingsheng Ying , Shenggang Ying

We introduce a general formalism, based on the stochastic formulation of quantum mechanics, to obtain localized quasi-classical wave packets as dynamically controlled systems, for arbitrary anharmonic potentials. The control is in general…

Quantum Physics · Physics 2008-11-26 Salvatore De Martino , Silvio De Siena , Fabrizio Illuminati

We investigate experiments of continuous-variable quantum information processing based on the teleportation scheme. Quantum teleportation, which is realized by a two-mode squeezed vacuum state and measurement-and-feedforward, is considered…

Quantum Physics · Physics 2010-03-29 Hidehiro Yonezawa , Akira Furusawa

How useful is a quantum dynamical operation for quantum information processing? Motivated by this question we investigate several strength measures quantifying the resources intrinsic to a quantum operation. We develop a general theory of…

The two main notions of control in quantum programming languages are often referred to as "quantum" control and "classical" control. With the latter, the control flow is based on classical information, potentially resulting from a quantum…

Logic in Computer Science · Computer Science 2025-12-01 Kinnari Dave , Louis Lemonnier , Romain Péchoux , Vladimir Zamdzhiev

The theory of quantum gravity is aimed to fuse general relativity with quantum theory into a more fundamental framework. The space of quantum gravity provides both the non-fixed causality of general relativity and the quantum uncertainty of…

Quantum Physics · Physics 2020-03-12 Laszlo Gyongyosi , Sandor Imre

Quantum computing is a promising paradigm that may overcome the current computational power bottlenecks. The increasing maturity of quantum processors provides more possibilities for the development and implementation of quantum algorithms.…

Quantum Physics · Physics 2025-10-15 Ge Yan , Wenjie Wu , Yuheng Chen , Kaisen Pan , Xudong Lu , Zixiang Zhou , Yuhan Wang , Ruocheng Wang , Junchi Yan

Multiple photonic degrees of freedom can be explored to generate high-dimensional quantum states; commonly referred to as `qudits'. Qudits offer several advantages for quantum communications, including higher information capacity, noise…

Quantum Physics · Physics 2023-03-21 Indrakshi Dey , Nicola Marchetti

We propose the Parity Flow formalism, a method for tracking the information flow in quantum circuits. This method adds labels to quantum circuit diagrams such that the action of Clifford gates can be understood as a recoding of quantum…

The purpose of this paper is to present a theoretic and numerical study of utilizing squeezing and phase shift in coherent feedback control of linear quantum optical systems. A quadrature representation with built-in phase shifters is…

Quantum Physics · Physics 2012-06-19 Guofeng Zhang , Heung Wing Joseph Lee , Bo Huang , Hu Zhang

Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then…

Logic in Computer Science · Computer Science 2024-08-07 Anna Schmitt , Kirstin Peters , Yuxin Deng
‹ Prev 1 8 9 10 Next ›