English
Related papers

Related papers: New Lower Bounds for Trace Reconstruction

200 papers

Given a set $ P $ of $n$ points and a set $ H $ of $n$ half-planes in the plane, we consider the problem of computing a smallest subset of points such that each half-plane contains at least one point of the subset. The previously best…

Computational Geometry · Computer Science 2025-01-07 Gang Liu , Haitao Wang

We provide a new lower bound on the length of the longest cycle of the binomial random graph $G(n,(1+\epsilon)/n)$ that holds w.h.p. for all $\epsilon=\epsilon(n)$ such that $\epsilon^3n\to \infty$. In the case $\epsilon\leq \epsilon_0$ for…

Combinatorics · Mathematics 2022-08-16 Michael Anastos

Given a set $P$ of $n$ points and a set $S$ of $n$ segments in the plane, we consider the problem of computing for each segment of $S$ its closest point in $P$. The previously best algorithm solves the problem in $n^{4/3}2^{O(\log^*n)}$…

Computational Geometry · Computer Science 2024-01-08 Haitao Wang

Fix a subset $I\subseteq \mathbb R_{>0}$ such that $\gamma=\inf\{ \sum_{i}n_ib_i-1>0 \mid n_i\in \mathbb Z_{\geq 0}, b_i\in I \}>0$. We give a explicit upper bound $\ell(\gamma)\in O(1/\gamma^2)$ as $\gamma\to 0$, such that for any smooth…

Algebraic Geometry · Mathematics 2023-07-31 Bingyi Chen

We resolve the long-standing open problem of Boolean dynamic data structure hardness, proving an unconditional lower bound of $\Omega((\log n / \log\log n)^2)$ for the Multiphase Problem of Patrascu [STOC 2010] (instantiated with Inner…

Computational Complexity · Computer Science 2026-03-30 Young Kun Ko

Secure codes are widely-studied combinatorial structures which were introduced for traitor tracing in broadcast encryption. To determine the maximum size of such structures is the main research objective. In this paper, we investigate the…

Information Theory · Computer Science 2021-08-24 Bingchen Qian , Xin Wang , Gennian Ge

Let g(n) denote the minimum number of edges of a maximal nontraceable graph of order n. Dudek, Katona and Wojda (2003) showed that g(n)\geq\ceil{(3n-2)/2}-2 for n\geq 20 and g(n)\leq\ceil{(3n-2)/2} for n\geq 54 as well as for n\in…

Combinatorics · Mathematics 2009-09-29 Marietjie Frick , Joy Singleton

We prove essentially optimal fine-grained lower bounds on the gap between a data structure and a partially retroactive version of the same data structure. Precisely, assuming any one of three standard conjectures, we describe a problem that…

Data Structures and Algorithms · Computer Science 2022-11-29 Lily Chung , Erik D. Demaine , Dylan Hendrickson , Jayson Lynch

Given in the plane a set of points and a set of halfplanes, we consider the problem of computing a smallest subset of halfplanes whose union covers all points. In this paper, we present an $O(n^{4/3}\log^{5/3}n\log^{O(1)}\log n)$-time…

Computational Geometry · Computer Science 2024-02-27 Haitao Wang , Jie Xue

An open problem that is widely regarded as one of the most important in quantum query complexity is to resolve the quantum query complexity of the k-distinctness function on inputs of size N. While the case of k=2 (also called Element…

Quantum Physics · Physics 2023-03-15 Nikhil S. Mande , Justin Thaler , Shuchen Zhu

We consider maximizing an unknown monotonic, submodular set function $f: 2^{[n]} \rightarrow [0,1]$ with cardinality constraint under stochastic bandit feedback. At each time $t=1,\dots,T$ the learner chooses a set $S_t \subset [n]$ with…

Machine Learning · Computer Science 2024-12-13 Artin Tajdini , Lalit Jain , Kevin Jamieson

We prove that any subset $A \subseteq [3]^n$ with $3^{-n}|A| \ge (\log\log\log\log n)^{-c}$ contains a combinatorial line of length $3$, i.e., $x, y, z \in A$, not all equal, with $x_i=y_i=z_i$ or $(x_i,y_i,z_i)=(0,1,2)$ for all $i = 1, 2,…

Combinatorics · Mathematics 2024-11-25 Amey Bhangale , Subhash Khot , Yang P. Liu , Dor Minzer

In this paper we consider the reconstruction problem on the tree for the hardcore model. We determine new bounds for the non-reconstruction regime on the k-regular tree showing non-reconstruction when lambda < (ln 2-o(1))ln^2(k)/(2 lnln(k))…

Probability · Mathematics 2013-06-24 Nayantara Bhatnagar , Allan Sly , Prasad Tetali

We study spanners in planar domains, including polygonal domains, polyhedral terrain, and planar metrics. Previous work showed that for any constant $\epsilon\in (0,1)$, one could construct a $(2+\epsilon)$-spanner with $O(n\log(n))$ edges…

Computational Geometry · Computer Science 2024-04-09 Sujoy Bhore , Balázs Keszegh , Andrey Kupavskii , Hung Le , Alexandre Louvet , Dömötör Pálvölgyi , Csaba D. Tóth

Labeling schemes seek to assign a short label to each node in a network, so that a function on two nodes can be computed by examining their labels alone. For the particular case of trees, optimal bounds (up to low order terms) were recently…

Data Structures and Algorithms · Computer Science 2017-05-16 Ofer Freedman , Paweł Gawrychowski , Patrick K. Nicholson , Oren Weimann

Since the introduction of retroactive data structures at SODA 2004, a major unsolved problem has been to bound the gap between the best partially retroactive data structure (where changes can be made to the past, but only the present can be…

Data Structures and Algorithms · Computer Science 2018-04-26 Lijie Chen , Erik D. Demaine , Yuzhou Gu , Virginia Vassilevska Williams , Yinzhan Xu , Yuancheng Yu

In the orthogonal range reporting problem, we are to preprocess a set of $n$ points with integer coordinates on a $U \times U$ grid. The goal is to support reporting all $k$ points inside an axis-aligned query rectangle. This is one of the…

Data Structures and Algorithms · Computer Science 2014-11-04 Allan Grønlund , Kasper Green Larsen

An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least…

Combinatorics · Mathematics 2024-11-27 Darryn Bryant , Peter Dukes , Daniel Horsley , Barbara Maenhaut , Richard Montgomery

We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a…

Combinatorics · Mathematics 2021-10-13 Jie Ma , Tianchi Yang

The purpose of this paper is twofold. First, we provide an optimal $\Omega(\sqrt{n})$ bits lower bound for any two-way protocol for the Vector in Subspace Communication Problem which is of bounded total rank. This result complements Raz's…

Probability · Mathematics 2017-02-01 Uri Grupel