# Toward Better Depth Lower Bounds: A KRW-like theorem for Strong Composition

One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., đâđđ^1). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995) suggested to approach this problem by proving that depth complexity of a composition of functions fâ˘ g is roughly the sum of the depth complexities of f and g. They showed that the validity of this conjecture would imply that đâđđ^1. The intuition that underlies the KRW conjecture is that the composition fâ˘ g should behave like a "direct-sum problem", in a certain sense, and therefore the depth complexity of fâ˘ g should be the sum of the individual depth complexities. Nevertheless, there are two obstacles toward turning this intuition into a proof: first, we do not know how to prove that fâ˘ g must behave like a direct-sum problem; second, we do not know how to prove that the complexity of the latter direct-sum problem is indeed the sum of the individual complexities. In this work, we focus on the second obstacle. To this end, we study a notion called "strong composition", which is the same as fâ˘ g except that it is forced to behave like a direct-sum problem. We prove a variant of the KRW conjecture for strong composition, thus overcoming the above second obstacle. This result demonstrates that the first obstacle above is the crucial barrier toward resolving the KRW conjecture. Along the way, we develop some general techniques that might be of independent interest.

research
â 07/06/2020

### KRW Composition Theorems via Lifting

One of the major open problems in complexity theory is proving super-log...
research
â 02/15/2021

### Depth lower bounds in Stabbing Planes for combinatorial principles

We prove logarithmic depth lower bounds in Stabbing Planes for the class...
research
â 03/27/2022

### Constructive Separations and Their Consequences

For a complexity class C and language L, a constructive separation of L ...
research
â 03/02/2023

### On the Consistency of Circuit Lower Bounds for Non-Deterministic Time

We prove the first unconditional consistency result for superpolynomial ...
research
â 05/05/2022

### The composition complexity of majority

We study the complexity of computing majority as a composition of local ...
research
â 06/01/2018

### The real tau-conjecture is true on average

Koiran's real Ď-conjecture claims that the number of real zeros of a str...
research
â 02/06/2020

### The Sum Composition Problem

In this paper, we study the "sum composition problem" between two lists ...