Model Checking for Entanglement Swapping

Desu, Surya Sai Teja and Srivastava, Anubhav and Rao, M V Panduranga (2022) Model Checking for Entanglement Swapping. In: 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, 13 September 2022 through 15 September 2022, Warsaw.

Full text not available from this repository. (Request a copy)

Abstract

Entanglement swapping is a basic primitive in long distance quantum communications. The stochastic nature of various operations like entanglement generation and BSMs makes the entanglement swapping primitive failure prone. It is difficult to predict whether or not an entanglement swapping operation will succeed within a stipulated time. In this paper, we use Probabilistic Timed Automata (PTA) to model the experiment and analyze it through model checking. We report a proof-of-concept mechanism, opening way for the analysis of large scale quantum networks through formal methods. We also report supporting results on a quantum simulator. © 2022, Springer Nature Switzerland AG.

[error in script]

IITH Creators:	IITH Creators ORCiD Rao, M V Panduranga UNSPECIFIED
Item Type:	Conference or Workshop Item (Paper)
Uncontrolled Keywords:	Entanglement Swapping; Probabilistic Timed Automata; Quantum Network Simulators; Quantum Networks
Subjects:	Computer science
Divisions:	Department of Computer Science & Engineering
Depositing User:	. LibTrainee 2021
Date Deposited:	27 Sep 2022 12:13
Last Modified:	27 Sep 2022 12:13
URI:	http://raiithold.iith.ac.in/id/eprint/10725
Publisher URL:	http://doi.org/10.1007/978-3-031-15839-1_6
Related URLs:	Author Google Scholar

Actions (login required)

View Item

Statistics for this ePrint Item