Abstract
We study communication complexity in the model of Simultaneous Messages (SM). The SM model is a restricted version of the well-known multiparty communication complexity model [CFL,KN]. Motivated by connections to circuit complexity, lower and upper bounds on the SM complexity of several explicit functions have been intensively investigated in [PR,PRS,BKL,Am1,BGKL].
A class of functions called the Generalized Addressing Functions (GAF), denoted GAFG, k, where G is a finite group and k denotes the number of players, plays an important role in SM complexity. In particular, lower bounds on SM complexity of GAFG,k were used in [PRS] and [BKL] to show that the SM model is exponentially weaker than the general communication model [CFL] for sufficiently small number of players. Moreover, certain unexpected upper bounds from [PRS] and [BKL] on SM complexity of GAFG, k have led to refined formulations of certain approaches to circuit lower bounds.
In this paper, we show improved upper bounds on the SM complexity of \({\rm GAF}_{{\mathbb Z}_2^t,k}\). In particular, when there are three players (k = 3), we give an upper bound of O(n 0.73), where n = 2t. This improves a bound of O(n 0.92) from [BKL]. The lower bound in this case is \(\Omega(\sqrt{n})\) [BKL,PRS]. More generally, for the k player case, we prove an upper bound of O(n H(1/(2 k− − 2))) improving a bound of O(n H(1/ k)) from [BKL], where H(.) denotes the binary entropy function. For large enough k, this is nearly a quadratic improvement. The corresponding lower bound is Ω(n 1/( k− − 1)/(k − 1)) [BKL,PRS]. Our proof extends some algebraic techniques from [BKL] and employs a greedy construction of covering codes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ambainis, A.: Upper Bounds on Multiparty Communication Complexity of Shifts. In: Puech, C., Reischuk, R. (eds.) STACS 1996. LNCS, vol. 1046, pp. 631–642. Springer, Heidelberg (1996)
Ambainis, A.: Upper Bound on the Communication Complexity of Private Information Retrieval. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 401–407. Springer, Heidelberg (1997)
Bollobás, B.: Random Graphs, pp. 307–323. Academic Press, London (1985)
Babai, L., Erdős, P.: Representation of Group Elements as Short Products. In: Turgeon, J., Rosa, A., Sabidussi, G. (eds.) Theory and Practice of Combinatorics. Ann. Discr. Math., vol. 12, pp. 21–26. North-Holland, Amsterdam (1982)
Babai, L., Hayes, T., Kimmel, P.: Communication with Help. ACM STOC (1998)
Babai, L., Gál, A., Kimmel, P., Lokam, S.V.: Communictaion Complexity of Simultaneous Messages (Manuscript). A significantly expanded version of [BKL] below
Babai, L., Kimmel, P., Lokam, S.V.: Simultaneous Messages vs. Communication. In: Proc. of the 12th Symposium on Theoretical Aspects of Computer Science (1995)
Babai, L., Nisan, N., Szegedy, M.: Multiparty Protocols, Pseudorandom Generators for Logspace and Time-Space Trade-offs. Journal of Computer and System Sciences 45, 204–232 (1992)
Beigel, R., Tarui, J.: On ACC. In: Proc. of the 32nd IEEE FOCS, pp. 783–792 (1991)
Chandra, A.K., Furst, M.L., Lipton, R.J.: Multiparty protocols. In: Proc. of the 15th ACM STOC, pp. 94–99 (1983)
Chor, B., Goldreich, O., Kushilevitz, E., Sudan, M.: Private Information Retrieval. In: Proc. of 36th IEEE FOCS, pp. 41–50 (1995)
Grolmusz, V.: The BNS Lower Bound for Multi-Party Protocols is Nearly Optimal. Information and Computation 112(1), 51–54 (1994)
Håstad, J., Goldmann, M.: On the Power of Small-Depth Threshold Circuits. Computational Complexity 1, 113–129 (1991)
Hajnal, A., Maass, W., Pudlák, P., Szegedy, M., Turan, G.: Threshold Circuits of Bounded Depth. In: Proc. of 28th IEEE FOCS, pp. 99–110 (1987)
Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)
Mansour, Y., Nisan, N., Tiwari, P.: The Computational Complexity of Universal Hashing. Theoretical Computer Science 107, 121–133 (1993)
Nisan, N., Wigderson, A.: Rounds in Communication Complexity Revisited. SIAM Journal on Computing 22(1), 211–219 (1993)
Pudlák, P., Rödl, V.: Modified Ranks of Tensors and the Size of Circuits. In: Proc. 25th ACM STOC, pp. 523–531 (1993)
Pudlák, P., Rödl, V., Sgall, J.: Boolean circuits, tensor ranks and communication complexity. SIAM J. on Computing 26/3, 605–633 (1997)
Razborov, A.A.: On rigid matrices. Preprint of Math. Inst. of Acad. of Sciences of USSR (1989) (in Russian)
Razborov, A.A., Wigderson, A.: n Ω(log n) Lower Bounds on the Size of Depth 3 Circuits with AND Gates at the Bottom. Information Processing Letters 45, 303–307 (1993)
Valiant, L.: Graph-Theoretic Arguments in Low-level Complexity. In: Proc. 6th Math. Foundations of Comp. Sci. Lecture notes in Computer Science, vol. 53, pp. 162–176. Springer, Heidelberg (1977)
van Lint, J.H.: Introduction to Coding Theory. Springer, Heidelberg (1982)
Yao, A.C.-C.: On ACC and Threshold Circuits. In: Proc. of the 31st IEEE FOCS, pp. 619–627 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambainis, A., Lokam, S.V. (2000). Improved Upper Bounds on the Simultaneous Messages Complexity of the Generalized Addressing Function. In: Gonnet, G.H., Viola, A. (eds) LATIN 2000: Theoretical Informatics. LATIN 2000. Lecture Notes in Computer Science, vol 1776. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10719839_21
Download citation
DOI: https://doi.org/10.1007/10719839_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67306-4
Online ISBN: 978-3-540-46415-0
eBook Packages: Springer Book Archive