Abstract-A klassisk krets kan representeras av ett kretsdiagram eller motsvarande av ett booleskt uttryck. Fördelen med ett kretsdiagram är att det kan hjälpa oss att få en intuitiv förståelse av den krets som är under övervägande, medan fördelen med ett booleskt uttryck är att det lämpar sig för olika algebraiska manipulationer. I litteraturen är dock kvantkretsar huvudsakligen ritade som kretsgrafer, och ett formellt språk för kvantkretsar som har en funktion liknande den för booleska uttryck för klassiska kretsar saknas fortfarande. Visst, kvantkretsdiagram kommer att bli ohanterliga när komplicerade kvantdatorproblem uppstår, och i synnerhet när de måste lösas genom att använda det distribuerade paradigmet där komplexa kvantkommunikationsnätverk är inblandade. I detta papper designar vi ett algebraiskt språk för att formellt specificera kvantkretsar i distribuerade kvantdatorer. Med detta språk, kvantkretsar kan representeras på ett bekvämt och kompakt sätt, liknande det sätt på vilket vi använder booleska uttryck i att hantera klassiska kretsar. Dessutom är några grundläggande algebraiska lagar för kvantkretsar uttryckta i detta språk etablerade. Dessa lagar utgör en grund för ett rigoröst resonemang om distribuerade kvantdata och kvantkommunikationsprotokoll.
Ying och Feng REF gav några definitioner av ett distribuerat kvantdatasystem och definierade ett algebraiskt språk för att beskriva kvantkretsar för distribuerade kvantdata.
An Algebraic Language for Distributed Quantum Computing
{'venue': 'IEEE Transactions on Computers', 'journal': 'IEEE Transactions on Computers', 'mag_field_of_study': ['Computer Science']}