22,251 research outputs found
Quantum Digital Signature based on Quantum One-way Functions
A quantum digital signature protocol based on quantum mechanics is proposed
in this paper. The security of the protocol relies on the existence of quantum
one-way functions by quantum information theorem. This protocol involves a
so-called arbitrator who validates and authenticates the signed message. In
this protocol, we use privacy key algorithm to ensure the security of quantum
information on channel and use quantum public keys to sign message. To
guarantee the authenticity of the message, a family of quantum stabilizer codes
are employed. Our protocol presents a novel method to construct ultimately
secure digital system in future secure communication.Comment: 9 pages, 1 tabl
Symbolic bisimulation for quantum processes
With the previous notions of bisimulation presented in literature, to check
if two quantum processes are bisimilar, we have to instantiate the free quantum
variables of them with arbitrary quantum states, and verify the bisimilarity of
resultant configurations. This makes checking bisimilarity infeasible from an
algorithmic point of view because quantum states constitute a continuum. In
this paper, we introduce a symbolic operational semantics for quantum processes
directly at the quantum operation level, which allows us to describe the
bisimulation between quantum processes without resorting to quantum states. We
show that the symbolic bisimulation defined here is equivalent to the open
bisimulation for quantum processes in the previous work, when strong
bisimulations are considered. An algorithm for checking symbolic ground
bisimilarity is presented. We also give a modal logical characterisation for
quantum bisimilarity based on an extension of Hennessy-Milner logic to quantum
processes.Comment: 30 pages, 7 figures, comments are welcom
Helical Topological Edge States in a Quadrupole Phase
Topological electric quadrupole is a recently proposed concept that extends
the theory of electric polarization of crystals to higher orders. Such a
quadrupole phase supports topological states localized on both edges and
corners. In this work, we show that in a quadrupole phase of honeycomb lattice,
topological helical edge states and pseudo-spin-polarized corner states appear
by making use of a pseudo-spin degree of freedom related to point group
symmetry. Furthermore, we argue that a general condition for emergence of
helical edge states in a (pseudo-)spinful quadrupole phase is mirror or
time-reversal symmetry. Our results offers a way of generating topological
helical edge states without spin-orbital couplings
- …