Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test

被引:11
作者
Ablayev, Farid [2 ]
Ambainis, Andris [1 ]
Khadiev, Kamil [1 ,2 ]
Khadieva, Aliya [2 ]
机构
[1] Univ Latvia, Ctr Quantum Comp Sci, Fac Comp, Riga, Latvia
[2] Kazan Fed Univ, Kazan, Russia
来源
SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE | 2018年 / 10706卷
关键词
Quantum computation; Communication complexity Branching programs; Binary decision diagrams; OBDD Quantum models; Hierarchy; Computational complexity; BRANCHING PROGRAMS; WIDTH; COMPLEXITY; AUTOMATA; OBDDS;
D O I
10.1007/978-3-319-73117-9_14
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We explore multi-round quantum memoryless communication protocols. These are restricted version of multi-round quantum communication protocols. The "memoryless" term means that players forget history from previous rounds, and their behavior is obtained only by input and message from the opposite player. The model is interesting because this allows us to get lower bounds for models like automata, Ordered Binary Decision Diagrams and streaming algorithms. At the same time, we can prove stronger results with this restriction. We present a lower bound for quantum memoryless protocols. Additionally, we show a lower bound for Disjointness function for this model. As an application of communication complexity results, we consider Quantum Ordered Read-k-times Branching Programs (k-QOBDD). Our communication complexity result allows us to get lower bound for k-QOBDD and to prove hierarchies for sublinear width bounded error k-QOBDDs, where k = o(root n). Furthermore, we prove a hierarchy for polynomial size bounded error k-QOBDDs for constant k. This result differs from the situation with an unbounded error where it is known that an increase of k does not give any advantage.
引用
收藏
页码:197 / 211
页数:15
相关论文
共 37 条
[1]  
Ablayev F, 2005, LECT NOTES COMPUT SC, V3572, P78
[2]   On the computational power of probabilistic and quantum branching program [J].
Ablayev, F ;
Gainutdinova, A ;
Karpinski, M ;
Moore, C ;
Pollett, C .
INFORMATION AND COMPUTATION, 2005, 203 (02) :145-162
[3]   Very narrow quantum OBDDs and width hierarchies for classical OBDDs [J].
Ablayev F. ;
Gainutdinova A. ;
Khadiev K. ;
Yakaryılmaz A. .
Lobachevskii Journal of Mathematics, 2016, 37 (6) :670-682
[4]  
Ablayev F., 2001, Fundamentals of Computation Theory. 13th International Symposium, FCT 2001. Proceedings (Lecture Notes in Computer Science Vol.2138), P59
[5]  
Ablayev F., 2008, ECCC
[6]  
Ablayev F., 2017, ARXIV170305015
[7]   Extension of the Hierarchy for k-OBDDs of Small Width [J].
Ablayev, F. M. ;
Khadiev, K. R. .
RUSSIAN MATHEMATICS, 2013, 57 (03) :46-50
[8]  
Ablayev F, 2014, LECT NOTES COMPUT SC, V8614, P53, DOI 10.1007/978-3-319-09704-6_6
[9]   Two-way finite automata with quantum and classical states [J].
Ambainis, A ;
Watrous, J .
THEORETICAL COMPUTER SCIENCE, 2002, 287 (01) :299-311
[10]  
[Anonymous], 2001, P 33 ANN ACM S THEOR, DOI DOI 10.1145/380752.380788.8