-
Q2Graph: a modelling tool for measurement-based quantum computing
Authors:
Greg Bowen,
Simon Devitt
Abstract:
The quantum circuit model is the default for encoding an algorithm intended for a NISQ computer or a quantum computing simulator. A simple graph and through it, a graph state - quantum state physically manifesting an abstract graph structure - is syntactically expressive and tractable. A graph representation is well-suited for algorithms intended for a quantum computing facility founded on measure…
▽ More
The quantum circuit model is the default for encoding an algorithm intended for a NISQ computer or a quantum computing simulator. A simple graph and through it, a graph state - quantum state physically manifesting an abstract graph structure - is syntactically expressive and tractable. A graph representation is well-suited for algorithms intended for a quantum computing facility founded on measurement-based quantum computing (MBQC) principles. Indeed, the process of creating an algorithm-specific graph can be efficiently realised through classical computing hardware. A graph state is a stabiliser state, which means a graph is a (quantum) intermediate representation at all points of the algorithm-specific graph process. We submit Q2Graph, a software package for designing and testing of simple graphs as algorithms for quantum computing facilities based on MQBC design principles. Q2Graph is a suitable modelling tool for NISQ computing facilities: the user is free to reason about structure or characteristics of its graph-as-algorithm without also having to account for (quantum) errors and their impact upon state.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Many a little Makes a Mickle: Probing Backscattering Energy Recycling for Backscatter Communications
Authors:
Gu Bowen,
Li Dong,
Xu Yongjun,
Li Chunguo,
Sun Sumei
Abstract:
In this paper, we investigate and analyze full-duplex-based backscatter communications with multiple backscatter devices (BDs). Different from previous works where only the energy from the energy source is harvested, BDs are also allowed to harvest energy from previous BDs by recycling the backscattering energy. Our objective is to maximize the total energy efficiency (EE) of the system via joint…
▽ More
In this paper, we investigate and analyze full-duplex-based backscatter communications with multiple backscatter devices (BDs). Different from previous works where only the energy from the energy source is harvested, BDs are also allowed to harvest energy from previous BDs by recycling the backscattering energy. Our objective is to maximize the total energy efficiency (EE) of the system via joint time scheduling, beamforming design, and reflection coefficient (RC) adjustment while satisfying the constraints on the total time, the transmit energy consumption, the circuit energy consumption and the achievable throughput for each BD by taking the causality and the non-linearity of energy harvesting into account. To deal with this intractable non-convex problem, we reformulate the problem by utilizing the Dinkelbach's method. Subsequently, an alternative iterative algorithm is designed to solve it. Simulation results show that the proposed algorithm achieves a much better EE than the benchmark algorithms.
△ Less
Submitted 8 September, 2022; v1 submitted 1 May, 2022;
originally announced May 2022.
-
Beyond i.i.d. in Quantum Information Theory
Authors:
Garry Bowen,
Nilanjana Datta
Abstract:
The information spectrum approach gives general formulae for optimal rates of codes in many areas of information theory. In this paper the quantum spectral divergence rates are defined and properties of the rates are derived. The entropic rates, conditional entropic rates, and spectral mutual information rates are then defined in terms of the spectral divergence rates. Properties including subad…
▽ More
The information spectrum approach gives general formulae for optimal rates of codes in many areas of information theory. In this paper the quantum spectral divergence rates are defined and properties of the rates are derived. The entropic rates, conditional entropic rates, and spectral mutual information rates are then defined in terms of the spectral divergence rates. Properties including subadditivity, chain rules, Araki-Lieb inequalities, and monotonicity are then explored.
△ Less
Submitted 16 October, 2006; v1 submitted 4 April, 2006;
originally announced April 2006.
-
An Automated Analysis of the Security of Quantum Key Distribution
Authors:
Rajagopal Nagarajan,
Nikolaos Papanikolaou,
Garry Bowen,
Simon Gay
Abstract:
This paper discusses the use of computer-aided verification as a practical means for analysing quantum information systems; specifically, the BB84 protocol for quantum key distribution is examined using this method. This protocol has been shown to be unconditionally secure against all attacks in an information-theoretic setting, but the relevant security proof requires a thorough understanding o…
▽ More
This paper discusses the use of computer-aided verification as a practical means for analysing quantum information systems; specifically, the BB84 protocol for quantum key distribution is examined using this method. This protocol has been shown to be unconditionally secure against all attacks in an information-theoretic setting, but the relevant security proof requires a thorough understanding of the formalism of quantum mechanics and is not easily adaptable to practical scenarios. Our approach is based on probabilistic model-checking; we have used the PRISM model-checker to show that, as the number of qubits transmitted in BB84 is increased, the equivocation of the eavesdropper with respect to the channel decreases exponentially. We have also shown that the probability of detecting the presence of an eavesdropper increases exponentially with the number of qubits. The results presented here are a testament to the effectiveness of the model-checking approach for systems where analytical solutions may not be possible or plausible.
△ Less
Submitted 9 February, 2005;
originally announced February 2005.