Showing 1–5 of 5 results for author: Scheinerman, D

Efficient Unbiased Sparsification

Authors: Leighton Barnes, Timothy Chow, Emma Cohen, Keith Frankston, Benjamin Howard, Fred Kochman, Daniel Scheinerman, Jeffrey VanderKam

Abstract: An unbiased $m$-sparsification of a vector $p\in \mathbb{R}^n$ is a random vector $Q\in \mathbb{R}^n$ with mean $p$ that has at most $m<n$ nonzero coordinates. Unbiased sparsification compresses the original vector without introducing bias; it arises in various contexts, such as in federated learning and sampling sparse probability distributions. Ideally, unbiased sparsification should also minimi… ▽ More An unbiased $m$-sparsification of a vector $p\in \mathbb{R}^n$ is a random vector $Q\in \mathbb{R}^n$ with mean $p$ that has at most $m<n$ nonzero coordinates. Unbiased sparsification compresses the original vector without introducing bias; it arises in various contexts, such as in federated learning and sampling sparse probability distributions. Ideally, unbiased sparsification should also minimize the expected value of a divergence function $\mathsf{Div}(Q,p)$ that measures how far away $Q$ is from the original $p$. If $Q$ is optimal in this sense, then we call it efficient. Our main results describe efficient unbiased sparsifications for divergences that are either permutation-invariant or additively separable. Surprisingly, the characterization for permutation-invariant divergences is robust to the choice of divergence function, in the sense that our class of optimal $Q$ for squared Euclidean distance coincides with our class of optimal $Q$ for Kullback-Leibler divergence, or indeed any of a wide variety of divergences. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Large-scale Monte Carlo simulations for zeros in character tables of symmetric groups

Authors: Alexander R. Miller, Danny Scheinerman

Abstract: This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros can not be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zer… ▽ More This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros can not be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zeros are of a single classical type. △ Less

Submitted 8 November, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

MSC Class: 20C30

Ideal solutions in the Prouhet-Tarry-Escott problem

Authors: Don Coppersmith, Michael J. Mossinghoff, Danny Scheinerman, Jeffrey M. VanderKam

Abstract: For given positive integers $m$ and $n$ with $m<n$, the Prouhet-Tarry-Escott problem asks if there exist two disjoint multisets of integers of size $n$ having identical $k$th moments for $1\leq k\leq m$; in the ideal case one requires $m=n-1$, which is maximal. We describe some searches for ideal solutions to the Prouhet-Tarry-Escott problem, especially solutions possessing a particular symmetry,… ▽ More For given positive integers $m$ and $n$ with $m<n$, the Prouhet-Tarry-Escott problem asks if there exist two disjoint multisets of integers of size $n$ having identical $k$th moments for $1\leq k\leq m$; in the ideal case one requires $m=n-1$, which is maximal. We describe some searches for ideal solutions to the Prouhet-Tarry-Escott problem, especially solutions possessing a particular symmetry, both over $\mathbb{Z}$ and over the ring of integers of several imaginary quadratic number fields. Over $\mathbb{Z}$, we significantly extend searches for symmetric ideal solutions at sizes $9$, $10$, $11$, and $12$, and we conduct extensive searches for the first time at larger sizes up to $16$. For the quadratic number field case, we find new ideal solutions of sizes $10$ and $12$ in the Gaussian integers, of size $9$ in $\mathbb{Z}[i\sqrt{2}]$, and of sizes $9$ and $12$ in the Eisenstein integers. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 27 pages

MSC Class: 11D72; 11Y50 (Primary); 11D79; 11P05; 11R11 (Secondary)

Maximal determinants of sparse zero-one matrices

Authors: Daniel Scheinerman

Abstract: We give upper bounds for the determinant of an $n\times n$ zero-one matrix containing $kn$ ones for integral $k$. Our results improve upon a result of Ryser for $k=o(n^{1/3})$. For fixed $k\ge 3$ it was an open question whether Hadamard's inequality could be exponentially improved. We answer this in the affirmative. Our results stem from studying matrices with row sums $k$ and bounding their Gram… ▽ More We give upper bounds for the determinant of an $n\times n$ zero-one matrix containing $kn$ ones for integral $k$. Our results improve upon a result of Ryser for $k=o(n^{1/3})$. For fixed $k\ge 3$ it was an open question whether Hadamard's inequality could be exponentially improved. We answer this in the affirmative. Our results stem from studying matrices with row sums $k$ and bounding their Gram determinants. Our technique allows us to give upper bounds when these matrices are perturbed. △ Less

Submitted 1 March, 2019; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: 23 pages

Explicit constructions of infinite families of MSTD sets

Authors: Steven J. Miller, Brooke Orosz, Daniel Scheinerman

Abstract: We explicitly construct infinite families of MSTD (more sums than differences) sets. There are enough of these sets to prove that there exists a constant C such that at least C / r^4 of the 2^r subsets of {1,...,r} are MSTD sets; thus our family is significantly denser than previous constructions (whose densities are at most f(r)/2^{r/2} for some polynomial f(r)). We conclude by generalizing our… ▽ More We explicitly construct infinite families of MSTD (more sums than differences) sets. There are enough of these sets to prove that there exists a constant C such that at least C / r^4 of the 2^r subsets of {1,...,r} are MSTD sets; thus our family is significantly denser than previous constructions (whose densities are at most f(r)/2^{r/2} for some polynomial f(r)). We conclude by generalizing our method to compare linear forms epsilon_1 A + ... + epsilon_n A with epsilon_i in {-1,1}. △ Less

Submitted 22 November, 2008; v1 submitted 26 September, 2008; originally announced September 2008.

Comments: Version 2: 14 pages, 1 figure. Includes extensions to ternary forms and a conjecture for general combinations of the form Sum_i epsilon_i A with epsilon_i in {-1,1} (would be a theorem if we could find a set to start the induction in general)

MSC Class: 11P99 (Primary); 11K99 (Secondary)

Journal ref: Journal of Number Theory 130 (2010) 1221--1233