Showing 1–5 of 5 results for author: Baron, J D

Partitioned K-nearest neighbor local depth for scalable comparison-based learning

Authors: Jacob D. Baron, R. W. R. Darling, J. Laylon Davis, R. Pettit

Abstract: A triplet comparison oracle on a set $S$ takes an object $x \in S$ and for any pair $\{y, z\} \subset S \setminus \{x\}$ declares which of $y$ and $z$ is more similar to $x$. Partitioned Local Depth (PaLD) supplies a principled non-parametric partitioning of $S$ under such triplet comparisons but needs $O(n^2 \log{n})$ oracle calls and $O(n^3)$ post-processing steps. We introduce Partitioned Nea… ▽ More A triplet comparison oracle on a set $S$ takes an object $x \in S$ and for any pair $\{y, z\} \subset S \setminus \{x\}$ declares which of $y$ and $z$ is more similar to $x$. Partitioned Local Depth (PaLD) supplies a principled non-parametric partitioning of $S$ under such triplet comparisons but needs $O(n^2 \log{n})$ oracle calls and $O(n^3)$ post-processing steps. We introduce Partitioned Nearest Neighbors Local Depth (PaNNLD), a computationally tractable variant of PaLD leveraging the $K$-nearest neighbors digraph on $S$. PaNNLD needs only $O(n K \log{n})$ oracle calls, by replacing an oracle call by a coin flip when neither $y$ nor $z$ is adjacent to $x$ in the undirected version of the $K$-nearest neighbors digraph. By averaging over randomizations, PaNNLD subsequently requires (at best) only $O(n K^2)$ post-processing steps. Concentration of measure shows that the probability of randomization-induced error $δ$ in PaNNLD is no more than $2 e^{-δ^2 K^2}$. △ Less

Submitted 2 December, 2021; v1 submitted 19 August, 2021; originally announced August 2021.

Comments: 27 pages, 2 figures

MSC Class: 90C35 ACM Class: F.2.2

K-Nearest Neighbor Approximation Via the Friend-of-a-Friend Principle

Authors: Jacob D. Baron, R. W. R. Darling

Abstract: Suppose $V$ is an $n$-element set where for each $x \in V$, the elements of $V \setminus \{x\}$ are ranked by their similarity to $x$. The $K$-nearest neighbor graph is a directed graph including an arc from each $x$ to the $K$ points of $V \setminus \{x\}$ most similar to $x$. Constructive approximation to this graph using far fewer than $n^2$ comparisons is important for the analysis of large hi… ▽ More Suppose $V$ is an $n$-element set where for each $x \in V$, the elements of $V \setminus \{x\}$ are ranked by their similarity to $x$. The $K$-nearest neighbor graph is a directed graph including an arc from each $x$ to the $K$ points of $V \setminus \{x\}$ most similar to $x$. Constructive approximation to this graph using far fewer than $n^2$ comparisons is important for the analysis of large high-dimensional data sets. $K$-Nearest Neighbor Descent is a parameter-free heuristic where a sequence of graph approximations is constructed, in which second neighbors in one approximation are proposed as neighbors in the next. Run times in a test case fit an $O(n K^2 \log{n})$ pattern. This bound is rigorously justified for a similar algorithm, using range queries, when applied to a homogeneous Poisson process in suitable dimension. However the basic algorithm fails to achieve subquadratic complexity on sets whose similarity rankings arise from a ``generic'' linear order on the $\binom{n}{2}$ inter-point distances in a metric space. △ Less

Submitted 28 December, 2020; v1 submitted 20 August, 2019; originally announced August 2019.

Comments: 31 pages, 5 figures

MSC Class: 90C35; 06A07

A Natural Extension of the BK Inequality

Authors: Jacob D. Baron, Jeff Kahn

Abstract: We extend the seminal van den Berg-Kesten Inequality on disjoint occurrence of two events to a setting with arbitrarily many events, where the quantity of interest is the maximum number that occur disjointly. This provides a handy tool for bounding upper tail probabilities for event counts in a product probability space. We extend the seminal van den Berg-Kesten Inequality on disjoint occurrence of two events to a setting with arbitrarily many events, where the quantity of interest is the maximum number that occur disjointly. This provides a handy tool for bounding upper tail probabilities for event counts in a product probability space. △ Less

Submitted 7 May, 2019; originally announced May 2019.

MSC Class: 60C05; 05D40

On the Cycle Space of a Random Graph

Authors: Jacob D. Baron, Jeff Kahn

Abstract: Write $\mathcal{C}(G)$ for the cycle space of a graph $G$, $\mathcal{C}_κ(G)$ for the subspace of $\mathcal{C}(G)$ spanned by the copies of the $κ$-cycle $C_κ$ in $G$, $\mathcal{T}_κ$ for the class of graphs satisfying $\mathcal{C}_κ(G)=\mathcal{C}(G)$, and $\mathcal{Q}_κ$ for the class of graphs each of whose edges lies in a $C_κ$. We prove that for every odd $κ\geq 3$ and $G=G_{n,p}$, \[\max_p \… ▽ More Write $\mathcal{C}(G)$ for the cycle space of a graph $G$, $\mathcal{C}_κ(G)$ for the subspace of $\mathcal{C}(G)$ spanned by the copies of the $κ$-cycle $C_κ$ in $G$, $\mathcal{T}_κ$ for the class of graphs satisfying $\mathcal{C}_κ(G)=\mathcal{C}(G)$, and $\mathcal{Q}_κ$ for the class of graphs each of whose edges lies in a $C_κ$. We prove that for every odd $κ\geq 3$ and $G=G_{n,p}$, \[\max_p \, \Pr(G \in \mathcal{Q}_κ\setminus \mathcal{T}_κ) \rightarrow 0;\] so the $C_κ$'s of a random graph span its cycle space as soon as they cover its edges. For $κ=3$ this was shown by DeMarco, Hamm and Kahn (2013). △ Less

Submitted 5 October, 2016; originally announced October 2016.

Comments: 38 pages

MSC Class: 05C80 (Primary); 05C38; 05D40 (Secondary)

Journal ref: Random Structures and Algorithms 2018

Tuza's Conjecture is Asymptotically Tight for Dense Graphs

Authors: Jacob D. Baron, Jeff Kahn

Abstract: An old conjecture of Zs. Tuza says that for any graph $G$, the ratio of the minimum size, $τ_3(G)$, of a set of edges meeting all triangles to the maximum size, $ν_3(G)$, of an edge-disjoint triangle packing is at most 2. Here, disproving a conjecture of R. Yuster, we show that for any fixed, positive $α$ there are arbitrarily large graphs $G$ of positive density satisfying $τ_3(G)>(1-o(1))|G|/2$… ▽ More An old conjecture of Zs. Tuza says that for any graph $G$, the ratio of the minimum size, $τ_3(G)$, of a set of edges meeting all triangles to the maximum size, $ν_3(G)$, of an edge-disjoint triangle packing is at most 2. Here, disproving a conjecture of R. Yuster, we show that for any fixed, positive $α$ there are arbitrarily large graphs $G$ of positive density satisfying $τ_3(G)>(1-o(1))|G|/2$ and $ν_3(G)<(1+α)|G|/4$. △ Less

Submitted 20 October, 2015; v1 submitted 20 August, 2014; originally announced August 2014.

Comments: Changes in version 2: fixed typos; clarified introduction slightly; clarified discussion of "gain/loss at an edge" at the bottom of p. 13. Results unchanged. 22 pages

MSC Class: 05C35 (primary); 05C50; 05C80 (secondary)

Journal ref: Combinatorics, Probability and Computing (2016) 25, 645-67