Guest Column

2021 ◽  
Vol 52 (2) ◽  
pp. 46-70
Author(s):  
A. Knop ◽  
S. Lovett ◽  
S. McGuire ◽  
W. Yuan
Keyword(s):  
Machine Learning ◽  
Approximation Algorithms ◽  
Computer Science ◽  
Data Structures ◽  
Coding Theory ◽  
Communication Complexity ◽  
Property Testing ◽  
Theoretical Computer Science ◽  
Streaming Algorithms ◽  
Theoretical Computer

Communication complexity studies the amount of communication necessary to compute a function whose value depends on information distributed among several entities. Yao [Yao79] initiated the study of communication complexity more than 40 years ago, and it has since become a central eld in theoretical computer science with many applications in diverse areas such as data structures, streaming algorithms, property testing, approximation algorithms, coding theory, and machine learning. The textbooks [KN06,RY20] provide excellent overviews of the theory and its applications.

scholarly journals Foreword to the special issue dedicated to the tenth ''Journées montoises d'informatique théorique''

2007 ◽  
Vol Vol. 9 no. 2 ◽  
Author(s):  
Véronique Bruyère ◽  
Michel Rigo
Keyword(s):  
Computer Science ◽  
Coding Theory ◽  
Theoretical Computer Science ◽  
Discrete Mathematics ◽  
Combinatorics On Words ◽  
Special Issue ◽  
Theoretical Computer ◽  
Universitair Centrum ◽  
Numeration Systems ◽  
The University

Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004 International audience This special issue of Discrete Mathematics & Theoretical Computer Science is dedicated to the tenth "Journées montoises d'informatique théorique" conference (Mons theoretical computer science days) which was held, for the first time, at the Institute of Mathematics of the University of Liège, Belgium, From 8th to 11th September 2004. Previous editions of this conference took place in Mons 1990, 1992, 1994, 1998, in Rouen 1991, in Bordeaux 1993, Marseille 1995, Marne-La-Vallée 2000 and Montpellier 2002.<p> This tenth edition can be considered as a widely international one. We were lucky to have almost 85 participants from fourteen different countries: Austria, Belgium, Burkina Faso, Canada, Czech republic, Finland, France, Germany, Israel, Italy, Japan, Norway, Poland and Portugal. The main proportion of researchers participating to this event was coming from France and Italy where a long tradition of combinatorics on words is well established. During four days, 42 contributed talks and 7 invited talks were given, the main topics being combinatorics on words, numeration systems, automata and formal languages theory, coding theory, verification, bio-informatics, number theory, grammars, text algorithms, symbolic dynamics and tilings. The invited speakers were: J. Cassaigne (CNRS, Luminy-Marseille), D. Caucal (IRISIA-CNRS, Rennes), C. Frougny (LIAFA, Université Paris 8), T. Helleseth (University of Bergen), S. Langerman (FNRS, Université Libre de Bruxelles), F. Neven (Limburgs Universitair Centrum, Diepenbeek), M.-F. Sagot (Inria Rhône-Alpes, Université Lyon I).<p> We would like to thanks all the participants, the invited speakers and the anonymous referees who made possible this event and special issue. Each paper has been refereed using high scientific standard by two independent referees. Readers of this special issue may wonder why it took so long to obtain it. We have encountered some problems with the formerly chosen journal and for the benefit of the contributors to this issue, we have chosen Discrete Mathematics & Theoretical Computer Science to publish their work.

Review of Communication Complexity and Applications by Anup Rao and Amir Yehudayoff

2021 ◽  
Vol 52 (3) ◽  
pp. 11-13
Author(s):  
Michael Cadilhac
Keyword(s):  
Probability Theory ◽  
Data Structures ◽  
Communication Complexity ◽  
Circuit Complexity ◽  
Theoretical Computer Science ◽  
Vantage Point ◽  
Upper And Lower Bounds ◽  
Theoretical Computer ◽  
Communication Problems ◽  
Eye Opening

At its core, communication complexity is the study of the amount of information two parties need to exchange in order to compute a function. For instance, Alice receives a string of characters, Bob receives another, and they should decide whether these strings are the same with as few rounds of communication as possible. Multiple settings are conceivable, for instance with multiple parties or with randomness. Upper and lower bounds for communication problems rely on a wealth of mathematical tools, from probability theory to Ramsey theory, making this a complete and exciting topic. Further, communication complexity finds applications in different aspects of theoretical computer science, including circuit complexity and data structures. This usually requires to take a "communication" view of a problem, which in itself can be an eye-opening vantage point.

scholarly journals Optimization Over the Boolean Hypercube Via Sums of Nonnegative Circuit Polynomials

2021 ◽  
Author(s):  
Mareike Dressler ◽  
Adam Kurpisz ◽  
Timo de Wolff
Keyword(s):  
Computer Science ◽  
Affine Transformation ◽  
Optimization Problems ◽  
Polynomial Optimization ◽  
Theoretical Computer Science ◽  
Sums Of Squares ◽  
Theoretical Computer ◽  
Complexity Bounds ◽  
Polynomial Optimization Problems ◽  
Transformation Of Variables

AbstractVarious key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems is based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate optimization problems over the boolean hypercube via a recent, alternative certificate called sums of nonnegative circuit polynomials (SONC). We show that key results for SOS-based certificates remain valid: First, for polynomials, which are nonnegative over the n-variate boolean hypercube with constraints of degree d there exists a SONC certificate of degree at most $$n+d$$ n + d . Second, if there exists a degree d SONC certificate for nonnegativity of a polynomial over the boolean hypercube, then there also exists a short degree d SONC certificate that includes at most $$n^{O(d)}$$ n O ( d ) nonnegative circuit polynomials. Moreover, we prove that, in opposite to SOS, the SONC cone is not closed under taking affine transformation of variables and that for SONC there does not exist an equivalent to Putinar’s Positivstellensatz for SOS. We discuss these results from both the algebraic and the optimization perspective.

Sign in / Sign up

Export Citation Format

Share Document