Abstract:Klee's measure problem (computing the volume of the union of $n$ axis-parallel boxes in $\mathbb{R}^d$) is well known to have $n^{\frac{d}{2}\pm o(1)}$-time algorithms (Overmars, Yap, SICOMP'91; Chan FOCS'13). Only recently, a conditional lower bound (without any restriction to ``combinatorial'' algorithms) could be shown for $d=3$ (Künnemann, FOCS'22). Can this result be extended to a tight lower bound for dimensions $d\ge 4$? In this paper, we formalize the technique of the tight lower bound for $d=3$ using a combinatorial object we call prefix covering design. We show that these designs, which are related in spirit to combinatorial designs, directly translate to conditional lower bounds for Klee's measure problem and various related problems. By devising good prefix covering designs, we give the following lower bounds for Klee's measure problem in $\mathbb{R}^d$, the depth problem for axis-parallel boxes in $\mathbb{R}^d$, the largest-volume/max-perimeter empty (anchored) box problem in $\mathbb{R}^{2d}$, and related problems: - $\Omega(n^{1.90476})$ for $d=4$, - $\Omega(n^{2.22222})$ for $d=5$, - $\Omega(n^{d/3 + 2\sqrt{d}/9-o(\sqrt{d})})$ for general $d$, assuming the 3-uniform hyperclique hypothesis. For Klee's measure problem and the depth problem, these bounds improve previous lower bounds of $\Omega(n^{1.777...}), \Omega(n^{2.0833...})$ and $\Omega(n^{d/3 + 1/3 + \Theta(1/d)})$ respectively. Our improved prefix covering designs were obtained by (1) exploiting a computer-aided search using problem-specific insights as well as SAT solvers, and (2) showing how to transform combinatorial covering designs known in the literature to strong prefix covering designs. In contrast, we show that our lower bounds are close to best possible using this proof technique.

What problem does this paper attempt to address?

### The problems the paper attempts to solve This paper attempts to solve the problem of conditionally optimal lower bounds in high - dimensional spaces $d\geq4$ for Klee's Measure Problem (calculating the union volume of $n$ axis - parallel boxes in $\mathbb{R}^d$) and its related problems. Specifically, the goals of the paper are: 1. **Expand existing conditional lower bounds**: For the dimension $d = 3$, recent research has given a tight conditionally optimal lower bound (Künnemann, FOCS'22). The paper attempts to extend this result to dimensions $d\geq4$ to determine the tight conditionally optimal lower bounds in these dimensions. 2. **Use combinatorial design techniques**: The paper introduces a combinatorial object called "prefix covering design" and shows how these designs can be directly transformed into conditionally optimal lower bounds for Klee's Measure Problem and its related problems. 3. **Improve existing lower bounds**: By designing better prefix covering designs, the paper provides conditionally optimal lower bounds for the following dimensions: - $\Omega(n^{1.90476})$ for $d = 4$ - $\Omega(n^{2.22222})$ for $d = 5$ - $\Omega(n^{d/3 + 2\sqrt{d/9}-o(\sqrt{d})})$ for general dimension $d$ 4. **Verify the optimality of the lower bounds**: The paper also explores whether these lower bounds can be further improved by current techniques and shows that these lower bounds are close to optimal in some cases. ### Main contributions 1. **Formalize prefix covering design**: Define prefix covering design and show how these designs are related to combinatorial design and thus can be used to prove conditionally optimal lower bounds. 2. **Provide new lower bounds**: Through computer - aided search and insights into specific problems, and by converting known combinatorial covering designs into strong prefix covering designs, the paper provides improved lower bounds. 3. **Explore the limits of the lower bounds**: Prove that prefix covering designs cannot establish lower bounds higher than $n^{d/3+O(\sqrt{d})}$ and show this through detailed analysis. 4. **Connect combinatorial designs**: Show how to use known combinatorial designs to construct prefix covering designs, thereby obtaining near - optimal lower bounds. ### Related work - **Klee's Measure Problem**: Since the 1970s, this problem has been widely studied, including algorithms that are better than $n^{d/2\pm o(1)}$ in various special cases. - **The depth problem of axis - parallel boxes**: Closely related to Klee's Measure Problem, usually adopting similar algorithmic ideas. - **The maximum empty axis - parallel box problem**: Initially mainly studied in two - dimensional space, but there has also been progress in high - dimensional spaces, such as the work of Backer and Keil. In conclusion, this paper provides new insights and improvements for conditionally optimal lower bounds of Klee's Measure Problem and its related problems in high - dimensional spaces by introducing prefix covering design.

Combinatorial Designs Meet Hypercliques: Higher Lower Bounds for Klee's Measure Problem and Related Problems in Dimensions $d\ge 4$

Approximating Klee's Measure Problem and a Lower Bound for Union Volume Estimation

Conditional Lower Bounds for Dynamic Geometric Measure Problems

On the Fine-Grained Complexity of Small-Size Geometric Set Cover and Discrete $k$-Center for Small $k$

Improved bounds on the Hadwiger-Debrunner numbers

A new lower bound on Hadwiger-Debrunner numbers in the plane

Exact values and improved bounds on $k$-neighborly families of boxes

Exact values and improved bounds on k -neighborly families of boxes

On Covering Codes and Upper Bounds for the Dimension of Simple Games

Upper bounds for Heilbronn's triangle problem in higher dimensions

Neighborly boxes and bipartite coverings; constructions and conjectures

A Lower Bound for Essential Covers of the Cube

On hypercube statistics

Maximum Rectilinear Crossing Number of Uniform Hypergraphs

Depth Distribution in High Dimensions

Exponential Lower Bounds for Smooth 3-LCCs and Sharp Bounds for Designs

Better bounds on Grothendieck constants of finite orders

Lower bounds and integrality gaps in simplicial decomposition

On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Objects

Information Bounds Are Weak in the Shortest Distance Problem

Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection