SearcharxivSearch

arXiv subjects

Jack Baretz

Publications and source records attributed to Jack Baretz.

2 recordsLinked to original sources

Double-Scoring: Reliable Extraction of Strong Lottery Tickets

The lottery ticket hypothesis proposes that large random neural networks contain sparse subnetworks that can match the performance of dense models after comparable training. A stronger version asserts that sufficiently overparameterized random networks contain subnetworks that are already accurate before any weight training. Existing theory establishes that such strong lottery tickets exist, but reliable extraction remains difficult. We revisit edge-popup, a frozen-weight score-training method for extracting strong tickets, and identify layerwise sparsity selection as a central bottleneck. We introduce double-scoring, an augmented score-space parameterization that replaces a layerwise sparsity search with optimization over enlarged score tensors. We prove that fixed-density masking in an augmented score space preserves access to all original-coordinate masks, and we show that the resulting method can be interpreted as edge-popup on a zero-augmented network. In controlled experiments, double-scoring substantially improves strong-ticket extraction over fixed-density edge-popup and pruning-at-initialization baselines, improves on the performance of rewound sparse-training topologies, and exhibits markedly lower sensitivity to sparsity hyperparameters. Ablations show that the gain is not merely due to additional trainable score parameters, but is tied to the augmented score-space competition that induces the effective original sparsity.

cs.LG

When do the Kahn-Kalai Bounds Provide Nontrivial Information?

The Park-Pham theorem (previously known as the Kahn-Kalai conjecture), bounds the critical probability, $p_c(\mathcal{F})$, of the a non-trivial property $\mathcal{F}\subseteq 2^X$ that is closed under supersets by the product of a universal constant $K$, the expectation threshold of the property, $q(\mathcal{F})$, and the logarithm of the size of the property's largest minimal element, $\log\ell(\mathcal{F})$. That is, the Park-Pham theorem asserts that $p_c(\mathcal{F})\leq Kq(\mathcal{F})\log\ell(\mathcal{F})$. Since the critical probability $p_c(\mathcal{F})$ always satisfies $p_c(\mathcal{F})<1$, one may ask when the upper bound posed by Kahn and Kalai gives us more information than this--that is, when is it true that $Kq(\mathcal{F})\log\ell(\mathcal{F}) < 1$? In this short note, we provide a number of necessary conditions for this to happen and give a few sufficient conditions for the bounds to provide new (and, in fact, asymptotically perfect) information along the way. In the most interesting case where $\ell(\mathcal{F}_n)\rightarrow \infty$, we prove the following relatively strong necessary condition for the Kahn-Kalai bounds to provide nontrivial information: For every positive integer $t$, every collection of all-but-$t$ of the minimal elements of $\mathcal{F}_n$ may have nonempty intersection for only finitely many $n$. Consequently, not only must the number of minimal elements become arbitrarily large, but so too must the size of any cover. Intuitively, this means that such sequences $\mathcal{F}_n$ must occupy an ever-widening `wedge' in $2^{X_n}$: the further $\mathcal{F}_n$ climbs up $2^{X_n}$ in one area, the further it must spread down and across $2^{X_n}$ in another.

math.CO