arXiv subjects

Shengtang Huang

Publications and source records attributed to Shengtang Huang.

4 recordsLinked to original sources

arXiv2026

Bounded Independence for $k$-Min-Wise Hashing: Tight Bounds and Limitations of Structured Hashing

Min-wise hashing and its $k$-min-wise extension are fundamental tools in sampling, sketching, similarity estimation, etc. A standard approach to constructing such families is bounded independence. For ordinary min-wise hashing, the required degree of independence is fully understood: $\Theta(\log 1/\delta)$-wise independence is both sufficient and necessary. For $k$-min-wise hashing, however, the best previous result only showed that $O(k\log\log1/\delta+\log1/\delta)$-wise independence suffices, with no matching lower bound. We give a tight characterization of the amount of bounded independence required for $k$-min-wise hashing, proving that $\Theta(k+\log 1/\delta)$-wise independence is both sufficient and necessary. This improves the previous upper bound and provides a matching lower bound. Consequently, the standard construction of bounded-independent hash families has seed length $O\bigl((k+\log 1/\delta)\cdot\log(N/\delta)\bigr)$. In particular, for polynomially small $\delta$ and any $\Omega(\log N) \le k \le N^{1 - c}$, it achieves the optimal seed length $O(k\log N)$. We further investigate two standard low-independence hash families. For random affine functions over $\mathbb{F}_2$, which form a pairwise independent family, we show that the multiplicative error is $\Omega(\log N)$ even for ordinary min-wise hashing. For simple tabulation hashing, which is $3$-wise independent and performs well for ordinary min-wise hashing, we show that it incurs a multiplicative error $\Omega(N)$ for $k$-min-wise hashing whenever $k\ge 4$.

cs.DS↗

arXiv2026

Stronger Lower Bounds for Tree Covers via Cyclic Symmetry

A tree cover of an $n$-point metric space is a collection of $k$ dominating trees such that every pairwise distance is approximately preserved by at least one tree. The best known general upper bound on the distortion is $\widetilde{O}(n^{1/k})$. Recently, Chen, Tan, and Xu (ITCS 2026, SICOMP 2026) proved a lower bound of $\Omega_k(n^{1/2^{k-1}})$ using a topological approach. We improve their lower bound to $\Omega_k(n^{1/[k(p-1)]})=\Omega_k(n^{1/O(k^2)})$, where $p$ is the smallest prime strictly larger than $k$. Thus, the gap between the known upper and lower exponents is reduced from exponential in $k$ to a factor of $O(k)$. Our key observation is a qualitative difference between the antipodal symmetry underlying the binary labels in the previous approach and the cyclic symmetry used here. In the binary setting, every joint label has a unique antipodal partner, whereas every label in $\mathbb{Z}_p^k$ has many partners that differ from it in every coordinate. This flexibility allows an equivariant Borsuk--Ulam-type theorem in only $k(p-1)$ dimensions to produce two nearby vertices with different labels in all $k$ trees. A cyclic unwinding argument then shows that they are far apart in every tree.

math.CO↗

arXiv2026

High-Rate Public-Key Pseudorandom Codes for Edit Errors

Pseudorandom codes (PRCs), introduced by Christ and Gunn (CRYPTO '2024), are error-correcting codes whose codewords are computationally indistinguishable from uniformly random strings, while still being decodable by someone holding the key. They provide a natural primitive for robust and undetectable watermarking, particularly in applications to AI-generated content. Although recent works have obtained strong results for substitution errors, the edit-error setting remains much less understood, especially in the high-rate regime and over small alphabets. We study public-key pseudorandom codes against edit errors. First, we give a new reduction showing that binary zero-bit PRCs robust against a constant fraction of substitution errors can be transformed into binary zero-bit PRCs robust against edit errors. Consequently, under any assumption that yields zero-bit Hamming-robust PRCs, one also obtains zero-bit PRCs for edit channels, albeit only for the weaker class of sublinear polynomial edit channels, namely channels with edit error rate $1/n^{\gamma}$ for any constant $\gamma>0$. In the high-rate regime, we construct public-key PRCs with rate arbitrarily close to $1$ over sufficiently large constant alphabets, and with rate arbitrarily close to $1/2$ over the binary alphabet. Moreover, if we allow the alphabet size to be $\mathrm{poly}(\lambda)$, where $\lambda$ is the security parameter, then our public-key PRCs can attain the Singleton bound for insertion-deletion channels. Taken together, these results yield the first high-rate public-key binary PRC constructions for edit channels, under the same assumption that yields zero-bit Hamming-robust PRCs.

cs.CR↗

arXiv2025

Explicit Min-wise Hash Families with Optimal Size

We study explicit constructions of min-wise hash families and their extension to $k$-min-wise hash families. Informally, a min-wise hash family guarantees that for any fixed subset $X\subseteq[N]$, every element in $X$ has an equal chance to have the smallest value among all elements in $X$; a $k$-min-wise hash family guarantees this for every subset of size $k$ in $X$. Min-wise hash is widely used in many areas of computer science such as sketching, web page detection, and $\ell_0$ sampling. The classical works by Indyk and P\u{a}tra\c{s}cu and Thorup have shown $\Theta(\log(1/\delta))$-wise independent families give min-wise hash of multiplicative (relative) error $\delta$, resulting in a construction with $\Theta(\log(1/\delta)\log N)$ random bits. Based on a reduction from pseudorandom generators for combinatorial rectangles by Saks, Srinivasan, Zhou and Zuckerman, Gopalan and Yehudayoff improved the number of bits to $O(\log N\log\log N)$ for polynomially small errors $\delta$. However, no construction with $O(\log N)$ bits (polynomial size family) and sub-constant error was known before. In this work, we continue and extend the study of constructing ($k$-)min-wise hash families from pseudorandomness for combinatorial rectangles and read-once branching programs. Our main result gives the first explicit min-wise hash families that use an optimal (up to constant) number of random bits and achieve a sub-constant (in fact, almost polynomially small) error, specifically, an explicit family of $k$-min-wise hash with $O(k\log N)$ bits and $2^{-O(\log N/\log\log N)}$ error. This improves all previous results for any $k=\log^{O(1)}N$ under $O(k \log N)$ bits. Our main techniques involve several new ideas to adapt the classical Nisan-Zuckerman pseudorandom generator to fool min-wise hashing with a multiplicative error.

cs.DS↗