Showing 1–4 of 4 results for author: Zbarsky, S

Asymptotically faster algorithm for counting self-avoiding walks and self-avoiding polygons

Authors: Samuel Zbarsky

Abstract: We give an algorithm for counting self-avoiding walks or self-avoiding polygons that runs in time $\exp(C\sqrt{n\log n})$ on 2-dimensional lattices and time $\exp(C_dn^{(d-1)/d}\log n)$ on $d$-dimensional lattices for $d>2$. We give an algorithm for counting self-avoiding walks or self-avoiding polygons that runs in time $\exp(C\sqrt{n\log n})$ on 2-dimensional lattices and time $\exp(C_dn^{(d-1)/d}\log n)$ on $d$-dimensional lattices for $d>2$. △ Less

Submitted 25 November, 2019; v1 submitted 10 March, 2019; originally announced March 2019.

Comments: Added citations and rewrote some places for clarity

Journal ref: Journal of Physics A: Mathematical and Theoretical, 52(50):505001, nov 2019

Efficient Low-Redundancy Codes for Correcting Multiple Deletions

Authors: Joshua Brakensiek, Venkatesan Guruswami, Samuel Zbarsky

Abstract: We consider the problem of constructing binary codes to recover from $k$-bit deletions with efficient encoding/decoding, for a fixed $k$. The single deletion case is well understood, with the Varshamov-Tenengolts-Levenshtein code from 1965 giving an asymptotically optimal construction with $\approx 2^n/n$ codewords of length $n$, i.e., at most $\log n$ bits of redundancy. However, even for the cas… ▽ More We consider the problem of constructing binary codes to recover from $k$-bit deletions with efficient encoding/decoding, for a fixed $k$. The single deletion case is well understood, with the Varshamov-Tenengolts-Levenshtein code from 1965 giving an asymptotically optimal construction with $\approx 2^n/n$ codewords of length $n$, i.e., at most $\log n$ bits of redundancy. However, even for the case of two deletions, there was no known explicit construction with redundancy less than $n^{Ω(1)}$. For any fixed $k$, we construct a binary code with $c_k \log n$ redundancy that can be decoded from $k$ deletions in $O_k(n \log^4 n)$ time. The coefficient $c_k$ can be taken to be $O(k^2 \log k)$, which is only quadratically worse than the optimal, non-constructive bound of $O(k)$. We also indicate how to modify this code to allow for a combination of up to $k$ insertions and deletions. △ Less

Submitted 19 May, 2019; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: The published version of this paper claimed in an appendix a rate limitation of linear deletion codes. This claim is false and has been retracted in this version

Journal ref: IEEE Trans. Information Theory 64(5): 3403-3410 (2018)

Distinct volume subsets

Authors: David Conlon, Jacob Fox, William Gasarch, David G. Harris, Douglas Ulrich, Samuel Zbarsky

Abstract: Suppose that $a$ and $d$ are positive integers with $a \geq 2$. Let $h_{a,d}(n)$ be the largest integer $t$ such that any set of $n$ points in $\mathbb{R}^d$ contains a subset of $t$ points for which all the non-zero volumes of the ${t \choose a}$ subsets of order $a$ are distinct. Beginning with Erdős in 1957, the function $h_{2,d}(n)$ has been closely studied and is known to be at least a power… ▽ More Suppose that $a$ and $d$ are positive integers with $a \geq 2$. Let $h_{a,d}(n)$ be the largest integer $t$ such that any set of $n$ points in $\mathbb{R}^d$ contains a subset of $t$ points for which all the non-zero volumes of the ${t \choose a}$ subsets of order $a$ are distinct. Beginning with Erdős in 1957, the function $h_{2,d}(n)$ has been closely studied and is known to be at least a power of $n$. We improve the best known bound for $h_{2,d}(n)$ and show that $h_{a,d}(n)$ is at least a power of $n$ for all $a$ and $d$. △ Less

Submitted 10 May, 2015; v1 submitted 26 January, 2014; originally announced January 2014.

Comments: 10 pages

Journal ref: SIAM Journal on Discrete Math 29(1), pp. 472-480 (2014)

On Improved Bounds on Bounded Degree Spanning Trees for Points in Arbitrary Dimension

Authors: Samuel Zbarsky

Abstract: Given points in Euclidean space of arbitrary dimension, we prove that there exists a spanning tree having no vertices of degree greater than 3 with weight at most 1.559 times the weight of the minimum spanning tree. We also prove that there is a set of points such that no spanning tree of maximal degree 3 exists that has this ratio be less than 1.447. Our central result is based on the proof of th… ▽ More Given points in Euclidean space of arbitrary dimension, we prove that there exists a spanning tree having no vertices of degree greater than 3 with weight at most 1.559 times the weight of the minimum spanning tree. We also prove that there is a set of points such that no spanning tree of maximal degree 3 exists that has this ratio be less than 1.447. Our central result is based on the proof of the following claim: Given $n$ points in Euclidean space with one special point $V$, there exists a Hamiltonian path with an endpoint at $V$ that is at most 1.559 times longer than the sum of the distances of the points to $V$. These proofs also lead to a way to find the tree in linear time given the minimal spanning tree. △ Less

Submitted 4 January, 2014; v1 submitted 12 May, 2013; originally announced May 2013.

Comments: 17 pages, submitted to Discrete & Computational Geometry

Journal ref: S. Zbarsky. On Improved Bounds for Bounded Degree Spanning Trees for Points in Arbitrary Dimension. Discrete Comput. Geom.,51(1):427-437,2014