Universal Quantum Degeneracy Point for Superconducting Qubits

The quantum degeneracy point approach [D. Vion et al., Science 296, 886 (2002)] effectively protects superconducting qubits from low-frequency noise that couples with the qubits as transverse noise. However, low-frequency noise in superconducting qubits can originate from various mechanisms and can couple with the qubits either as transverse or as longitudinal noise. Here, we present a quantum circuit containing a universal quantum degeneracy point that protects an encoded qubit from arbitrary low-frequency noise. We further show that universal quantum logic gates can be performed on the encoded qubit with high gate fidelity. The proposed scheme is robust against small parameter spreads due to fabrication errors in the superconducting qubits.Comment: 7 pages, 4 figure

Symmetries and Lie algebra of the differential-difference Kadomstev-Petviashvili hierarchy

By introducing suitable non-isospectral flows we construct two sets of symmetries for the isospectral differential-difference Kadomstev-Petviashvili hierarchy. The symmetries form an infinite dimensional Lie algebra.Comment: 9 page

Characterising Probabilistic Processes Logically

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabilistic mu-calculus can be used to characterise these behavioural relations in the sense that two states are equivalent if and only if they satisfy the same set of formulae.Comment: 18 page