Three point functions in higher spin AdS3 supergravity

in Journal of High Energy Physics (2013), 2013(1),

In a previous work we have proposed that the Prokushkin-Vasiliev higher spin N = 2 supergravity on AdS3 is dual to a large N limit of the N = (2,2) ℂPN Kazama- Suzuki model. There is now strong evidence ... [more ▼]

In a previous work we have proposed that the Prokushkin-Vasiliev higher spin N = 2 supergravity on AdS3 is dual to a large N limit of the N = (2,2) ℂPN Kazama- Suzuki model. There is now strong evidence supporting this proposal based on symmetry and spectrum comparison. In this paper we will give further evidence for the duality by studying correlation functions. We compute boundary three point functions with two fermionic operators and one higher spin bosonic current in terms of the bulk supergravity theory. Then we compare with the results in the dual CFT, where the supersymmetry of the theory turns out to be very helpful. In particular we use it to confirm results conjectured in the bosonic case. Moreover, correlators with a fermionic current can be obtained via supersymmetry. © 2013 SISSA, Trieste, Italy. [less ▲]

Deniable Public-Key Authenticated Quantum Key Exchange

E-print/Working paper (n.d.)

In this work, we explore the notion of deniability in public-key authenticated quantum key exchange (QKE), which allows two parties to establish a shared secret key without leaving any evidence that would ... [more ▼]

In this work, we explore the notion of deniability in public-key authenticated quantum key exchange (QKE), which allows two parties to establish a shared secret key without leaving any evidence that would bind a session to either party. The deniability property is expressed in terms of being able to simulate the transcripts of a protocol. The ability to deny a message or an action has applications ranging from secure messaging to secure e-voting and whistle-blowing. While quite well-established in classical cryptography, it remains largely unexplored in the quantum setting. Here, we first present a natural extension of classical definitions in the simulation paradigm to the setting of quantum computation and formalize the requirements for a deniable QKE scheme. We then prove that the BB84 variant of QKE, when authenticated using a strong designated verifier signature scheme, satisfies deniability and, finally, propose a concrete instantiation. [less ▲]