VLDB 2026 Research / reviewers in the wild / expert
Roee David
dblp:133/2183
· DBLP profile ↗
8ranked-venue papers
8as first author
0since 2021 · last 2019
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 8 · 8 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
5 papers |
Graph algorithms and graph theory · 51% Computational complexity · 23% Computational geometry · 13% |
Topics — the 14 heaviest of 15, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Graph algorithms and graph theory › random walk
cover time |
0.6 | 2 | 2018 | Random Walks with the Minimum Degree Local Rule Have O(n2) Cover Time · SIAM J. Comput. 2018 Random Walks with the Minimum Degree Local Rule Have O(N2) Cover Time · SODA 2017 |
Graph algorithms and graph theory
random walk |
0.6 | 2 | 2018 | Random Walks with the Minimum Degree Local Rule Have O(n2) Cover Time · SIAM J. Comput. 2018 Random Walks with the Minimum Degree Local Rule Have O(N2) Cover Time · SODA 2017 |
Graph algorithms and graph theory
spanning tree |
0.6 | 2 | 2018 | Random Walks with the Minimum Degree Local Rule Have O(n2) Cover Time · SIAM J. Comput. 2018 Random Walks with the Minimum Degree Local Rule Have O(N2) Cover Time · SODA 2017 |
Computational geometry › proximity problems
closest pair |
0.3 | 1 | 2018 | On the Complexity of Closest Pair via Polar-Pair of Point-Sets · SoCG 2018 |
Computational complexity
fine-grained complexity |
0.3 | 1 | 2018 | On the Complexity of Closest Pair via Polar-Pair of Point-Sets · SoCG 2018 |
Distributed computing theory › distributed graph algorithms
minimum-weight spanning tree |
0.3 | 1 | 2018 | Random Walks with the Minimum Degree Local Rule Have O(n2) Cover Time · SIAM J. Comput. 2018 |
Computational geometry
proximity problems |
0.3 | 1 | 2018 | On the Complexity of Closest Pair via Polar-Pair of Point-Sets · SoCG 2018 |
Graph algorithms and graph theory
graph theory |
0.3 | 1 | 2017 | Random Walks with the Minimum Degree Local Rule Have O(N2) Cover Time · SODA 2017 |
Computational complexity › property testing › algebraic property testing
linearity testing |
0.3 | 1 | 2017 | Direct Sum Testing · SIAM J. Comput. 2017 |
Computational complexity
property testing |
0.3 | 1 | 2017 | Direct Sum Testing · SIAM J. Comput. 2017 |
Graph algorithms and graph theory
graph coloring |
0.2 | 1 | 2016 | On the effect of randomness on planted 3-coloring models · STOC 2016 |
Computational complexity
hardness of approximation |
0.2 | 1 | 2016 | On the effect of randomness on planted 3-coloring models · STOC 2016 |
Graph algorithms and graph theory
expander graphs |
0.1 | 1 | 2016 | On the effect of randomness on planted 3-coloring models · STOC 2016 |
Graph algorithms and graph theory
spectral graph theory |
0.1 | 1 | 2016 | On the effect of randomness on planted 3-coloring models · STOC 2016 |
Methods — techniques the papers use, named apart from their topics
probabilistic analysis · 0.3spanning tree lemma · 0.3query complexity · 0.3minimum degree local rule · 0.3fourier analysis · 0.3spectral analysis · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | On the Complexity of Closest Pair via Polar-Pair of Point-SetsabstractEvery graph $G$ can be represented by a collection of equi-radii spheres in a $d$-dimensional metric $\Delta$ such that there is an edge $uv$ in $G$ if and only if the spheres corresponding to $u$ and $v$ intersect. The smallest integer $d$ such that $G$ can be represented by a collection of spheres (all of the same radius) in $\Delta$ is called the sphericity of $G$, and if the collection of spheres are nonoverlapping, then the value $d$ is called the contact-dimension of $G$. In this paper, we study the sphericity and contact-dimension of the complete bipartite graph $K_{n,n}$ in various $L^p$-metrics and consequently connect the complexity of the monochromatic closest pair and bichromatic closest pair problems. Roee David, Karthik C. S. 0001, Bundit Laekhanukit |
SIAM J. Discret. Math. | 1 |
| 2018 | On the Complexity of Closest Pair via Polar-Pair of Point-Sets
Roee David, Karthik C. S. 0001, Bundit Laekhanukit |
SoCG | 1 |
| 2018 | Random Walks with the Minimum Degree Local Rule Have O(n2) Cover TimeabstractFor a simple (unbiased) random walk on a connected graph with $n$ vertices, the cover time (the expected number of steps it takes to visit all vertices) is at most $O(n^3)$. We consider locally biased random walks, in which the probability of traversing an edge depends on the degrees of its endpoints. We confirm a conjecture of Abdullah, Cooper, and Draief [2015] that the min-degree local bias rule ensures a cover time of $O(n^2)$. For this we formulate and prove the following lemma about spanning trees. Let $R(e)$ denote for edge $e$ the minimum degree among its two endpoints. We say that a weight function $W$ for the edges is feasible if it is nonnegative, dominated by $R$ (for every edge $W(e) \le R(e)$), and the sum over all edges of the ratios $W(e)/R(e)$ equals $n-1$. For example, in trees $W(e) = R(e)$, and in regular graphs the sum of edge weights is $d(n-1)$. We will show in a lemma that for every feasible $W$, the minimum weight spanning tree has total weight $O(n)$. For regular graphs, a similar lemma was proved by Kahn et al. (1989). Roee David, Uriel Feige |
SIAM J. Comput. | 1 |
| 2017 | Random Walks with the Minimum Degree Local Rule Have O(N2) Cover TimeabstractFor a simple (unbiased) random walk on a connected graph with n vertices, the cover time (the expected number of steps it takes to visit all vertices) is at most O(n3). We consider locally biased random walks, in which the probability of traversing an edge depends on the degrees of its endpoints. We confirm a conjecture of Abdullah, Cooper and Draief [2015] that the min-degree local bias rule ensures a cover time of O(n2). For this we formulate and prove the following lemma about spanning trees. Let R(e) denote for edge e the minimum degree among its two endpoints. We say that a weight function W for the edges is feasible if it is nonnegative, dominated by R (for every edge W (e) < R(e)) and the sum over all edges of the ratios W(e)/R(e) equals n - 1. For example, in trees W (e) = R(e), and in regular graphs the sum of edge weights is d(n - 1). Lemma: for every feasible W, the minimum weight spanning tree has total weight O(n). For regular graphs, a similar lemma was proved by Kahn, Linial, Nisan and Saks [1989]. Roee David, Uriel Feige |
SODA | 1 |
| 2017 | Direct Sum TestingabstractThe $k$-fold direct sum encoding of a string $a \in \{0,1\}^n$ is a function $f_a$ that takes as input sets $S \subseteq [n]$ of size $k$ and outputs $f_a(S) = \sum_{i \in S} a_i \pmod 2$. In this paper we prove a direct sum testing theorem. We describe a three query test that accepts with probability one any function of the form $f_a$ for some $a$ and rejects with probability $\Omega(\varepsilon)$ functions $f$ that are $\varepsilon$-far from being a direct sum encoding, where the constant behind the $\Omega$ notation is independent of $k$. This theorem has a couple of additional guises: Linearity testing: By identifying the subsets of $[n]$ with vectors in $\{0,1\}^n$ in the natural way, our result can be thought of as a linearity testing theorem for functions whose domain is restricted to the $k$th layer of the hypercube (i.e., the set of $n$-bit strings with Hamming weight $k$). Tensor power testing: By moving to $-1,1$ notation, the direct sum encoding is equivalent (up to a difference thatis negligible when $k\ll \sqrt n$) to a tensor power. Thus our theorem implies a three query test for deciding if a given tensor $f\in \{-1,1\}^{n^k}$ is a tensor power of a single dimensional vector $a\in \{-1,1\}^n$, i.e., whether there is some $a$ such that $f = a^{\otimes k}$. We also provide a four query test for checking if a given $\pm 1$ matrix has rank $1$. Our test naturally extends the linearity test of Blum, Luby, and Rubinfeld [ J. Comput. Syst. Sci., 47 (1993), pp. 549--595]. Our analysis proceeds by first handling the $k=n/2$ case and then reducing this case to the general $k Roee David, Irit Dinur, Elazar Goldenberg, Guy Kindler, Igor Shinkar |
SIAM J. Comput. | 1 |
| 2016 | On the effect of randomness on planted 3-coloring modelsabstractWe present the hosted coloring framework for studying al- gorithmic and hardness results for the k-coloring problem. There is a class H of host graphs. One selects a graph H ∈ H and plants in it a balanced k-coloring (by partitioning the vertex set into k roughly equal parts, and removing all edges within each part). The resulting graph G is given as input to a polynomial time algorithm that needs to k-color G (any legal k-coloring would do – the algorithm is not required to recover the planted k-coloring). Earlier planted models correspond to the case that H is the class of all n-vertex d-regular graphs, a member H ∈ H is chosen at random, and then a balanced k-coloring is planted at random. Blum and Spencer [1995] designed algorithms for this model when d = n δ (for 0 < δ ≤ 1), and Alon and Kahale [1997] managed to do so even when d is a sufficiently large constant. The new aspect in our framework is that it need not in- volve randomness. In one model within the framework (with k = 3) H is a d regular spectral expander (meaning that ex- cept for the largest eigenvalue of its adjacency matrix, every other eigenvalue has absolute value much smaller than d) chosen by an adversary, and the planted 3-coloring is ran- dom. We show that the 3-coloring algorithm of Alon and Kahale [1997] can be modified to apply to this case. In an- other model H is a random d-regular graph but the planted balanced 3-coloring is chosen by an adversary, after seeing H. We show that for a certain range of average degrees somewhat below √ n, finding a 3-coloring is NP-hard. To- gether these results (and other results that we have) help clarify which aspects of randomness in the planted coloring model are the key to successful 3-coloring algorithms. Roee David, Uriel Feige |
STOC | 1 |
| 2015 | Direct Sum TestingabstractThe k-fold direct sum encoding of a string α ∈ --0,1}n is a function fα that takes as input sets S ⊆ [n] of size k and outputs fα (S) = ∑i ∈ S αi (mod 2. In this paper we prove a Direct Sum Testing theorem. We describe a three query test that accepts with probability one any function of the form fα for some α, and rejects with probability Ω(ε) functions f that are ε being a direct sum encoding. Roee David, Irit Dinur, Elazar Goldenberg, Guy Kindler, Igor Shinkar |
ITCS | 1 |
| 2013 | Connectivity of Random High Dimensional Geometric Graphs
Roee David, Uriel Feige |
APPROX-RANDOM | 1 |