The Relationship between Inner Product and Counting Cycles
Abstract
Cycle-Counting is the following communication complexity problem: Alice and Bob each holds a permutation of size n with the promise there will be either a cycles or b cycles in their product. They want to distinguish between these two cases by communicating a few bits. We show that the quantum/nondeterministic communication complexity is roughly \(\tilde \Omega((n-b)/(b-a))\) when \(a \equiv b \pmod 2\). It is proved by reduction from a variant of the inner product problem over ℤ m . It constructs a bridge for various problems, including In-Same-Cycle [10], One-Cycle [14], and Bipartiteness on constant degree graph [9]. We also give space lower bounds in the streaming model for the Connectivity, Bipartiteness and Girth problems [7]. The inner product variant we used has a quantum lower bound of Ω(nlogp(m)), where p(m) is the smallest prime factor of m. It implies that our lower bounds for Cycle-Counting and related problems still hold for quantum protocols, which was not known before this work.
Keywords
Hamiltonian Cycle Communication Complexity Black Vertex White Vertex Matroid IntersectionPreview
Unable to display preview. Download preview PDF.
References
- 1.Alon, N., Matias, Y., Szegedy, M.: The space complexity of approximating the frequency moments. Journal of Computer and System Sciences 58, 137–147 (1999)MathSciNetMATHCrossRefGoogle Scholar
- 2.Babai, L.: The Fourier transform and equations over finite abelian groups. Lecture Notes, version 1.3 1 (2002)Google Scholar
- 3.Babai, L., Hayes, T., Kimmel, P.: The cost of the missing bit: Communication complexity with help. Combinatorica 21(4), 455–488 (2001)MathSciNetMATHCrossRefGoogle Scholar
- 4.Babai, L., Frankl, P., Simon, J.: Complexity classes in communication complexity theory. In: Symposium on Foundations of Computer Science, pp. 337–347 (1986)Google Scholar
- 5.Bar-Yossef, Z., Kumar, R., Sivakumar, D.: Reductions in streaming algorithms, with an application to counting triangles in graphs. In: Symposium on Discrete Algorithms, pp. 623–632 (2002)Google Scholar
- 6.Chu, J.I., Schnitger, G.: Communication complexity of matrix computation over finite fields. Theory of Computing Systems 28, 215–228 (1995)MathSciNetMATHGoogle Scholar
- 7.Feigenbaum, J., Kannan, S., McGregor, A., Suri, S., Zhang, J.: Graph distances in the streaming model: the value of space. In: Symposium on Discrete Algorithms, pp. 745–754 (2005)Google Scholar
- 8.Feigenbaum, J., Kannan, S., McGregor, A., Suri, S., Zhang, J.: On graph problems in a semi-streaming model. Theoretical Computer Science 348(2-3), 207–216 (2005)MathSciNetMATHCrossRefGoogle Scholar
- 9.Hajnal, A., Maass, W., Turán, G.: On the communication complexity of graph properties. In: Symposium on Theory of Computing, pp. 186–191 (1988)Google Scholar
- 10.Harvey, N.J.A.: Matroid intersection, pointer chasing, and young’s seminormal representation of s_n. In: Symposium on Discrete Algorithms, pp. 542–549 (2008)Google Scholar
- 11.Horn, R., Johnson, C.: Matrix analysis, vol. 2. Cambridge University Press (1990)Google Scholar
- 12.Kremer, I.: Quantum Communication. Master’s thesis, The Hebrew University of Jerusalem (1995)Google Scholar
- 13.Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press (1997)Google Scholar
- 14.Raz, R., Spieker, B.: On the “log rank”-conjecture in communication complexity. Combinatorica 15, 567–588 (1995)MathSciNetMATHCrossRefGoogle Scholar
- 15.Rosen, K.H.: Elementary Number Theory and Its Applications, 3rd edn. Addison-Wesley (1992)Google Scholar
- 16.Sherstov, A.A.: The pattern matrix method for lower bounds on quantum communication. In: Symposium on Theory of Computing, pp. 85–94. ACM (2008)Google Scholar
- 17.Verbin, E., Yu, W.: The Streaming Complexity of Cycle Counting, Sorting By Reversals, and Other Problems. In: Symposium on Discrete Algorithms (2011)Google Scholar
- 18.Yao, A.C.C.: Some complexity questions related to distributive computing. In: Symposium on Theory of Computing, pp. 209–213 (1979)Google Scholar
- 19.Yao, A.C.C.: Lower bounds by probabilistic arguments. In: Symposium on Foundations of Computer Science, pp. 420–428 (1983)Google Scholar