cs.LGJul 24, 2026

Efficient Learning of Truncated Boolean Product Distributions: Influence to the Rescue

Authors: Rohan ChauhanIoannis Panageas

Organizations: University of California, Irvine

Abstract

Learning the natural parameters zRnz \in \mathbb{R}^n of discrete distributions μzμ_z from independent samples constrained to a subset S{0,1}nS \subseteq \{0,1\}^n is a foundational challenge in high-dimensional statistics. Existing methods for efficiently estimating truncated Boolean product distributions, notably the work of [Fotakis et al' COLT'20, Algorithmica '22], require either strong local connectivity assumptions on SS -- a property denoted fatness -- or stringent anti-concentration assumptions and necessitate the total mass of the truncation set to be a constant with respect to nn. Moreover, the results in [Fotakis et al' COLT'20, Algorithmica '22] suffer from sample complexities that scale as Ω(2n)Ω(2^n) if the mass of SS is exponentially small in nn. In this work, we circumvent these limitations by analyzing the geometry of SS under the measure μzμ_z. We refine the existing parameter estimation guarantees under the fatness assumption, improving the prior sample complexity to O(logn/ε2)O( \log n / ε^2) for \ell_\infty-recovery, matching the untruncated minimax rate. We further generalize fatness using the notion of influence utilized in the analysis of Boolean functions and provide sufficient conditions for efficient inference. Notably, unlike previous work, our method does not require sampling at arbitrary parameterizations of the model. Lastly, we establish a theoretical lower bound demonstrating the sample complexity exhibits an intrinsic exponential dependence on the width of the model and the minimum distance between elements in the set.

Explore similar work

Jun 15, 2026stat.ML

Tight L_\infty Sample Complexity for Low-Degree and Sparse Boolean Polynomials

Motivated by the optimization of bounded binary black-box functions, we study the problem of learning polynomial surrogates over the Boolean hypercube. To ensure that optimizing the surrogate yields good solutions for the underlying objective, we require uniform LL_\infty-error guarantees rather than the usual L2L_2-type guarantees. We characterize the minimax sample complexity of uniform estimation under subgaussian noise for two classes of bounded polynomials. First, for polynomials of degree at most dd on nn variables, the sample complexity scales as nd+1n^{d+1}. Second, for ss-sparse Fourier-Walsh polynomials with sns \leq n, it scales as ns2ns^2. These rates differ structurally from the noiseless setting, where uniform exact recovery scales as ndn^d and nsns, respectively. Our lower bounds hold even for arbitrary adaptive learners, showing that the additional factors are intrinsic to the noisy cases. Standard Fourier-analysis tools for the L2L_2-norm do not naturally extend to the LL_\infty-setting in a way that yields uniform guarantees. Our proofs overcome this difficulty by relying on suitably chosen auxiliary norms that serve as proxies for controlling the LL_\infty-error. Together, our results provide a tight characterization of the sample complexity of learning optimization-safe polynomial surrogates.
Jasper van Doornmalen, Mathieu Molina, Victor Verdugo +1
Jun 25, 2026cs.DS

Fast algorithms for learning a Gaussian under halfspace truncation with optimal sample complexity

We study the fundamental problem of learning a high-dimensional Gaussian truncated to an unknown halfspace. Lee, Mehrotra and Zampetakis (FOCS'24) recently obtained the first polynomial time algorithm for this problem, but their resulting sample and time complexity bounds are not optimal. Under non-trivial truncation, for any target accuracy ε>0\varepsilon > 0 and dimension dd we give an efficient algorithm that uses n=O~(d2/ε2)n = \tilde{O}(d^2/\varepsilon^2) samples and learns the underlying Gaussian to error ε\varepsilon in total variation distance. Our algorithm is also fast: its runtime is dominated by the cost of computing the empirical covariance matrix. Both our sample and time complexity are optimal in terms of dd and ε\varepsilon even without truncation: in this regard, we can learn a Gaussian under halfspace truncation for free. The key ingredient behind our result is a novel reinterpretation of the low-degree moments of the truncated Gaussian in terms of a relative truncation parameter. This relative truncation parameter uniquely determines the parameters of the untruncated Gaussian and enables direct parameter recovery. This reinterpretation allows us to circumvent the time intensive projected stochastic gradient descent procedure that is widely used in learning under truncation.
Haitong Liu, Deepak Narayanan Sridharan, David Steurer +1
May 28, 2026stat.ML

Improved Distribution Estimation in \ell_\infty

We present improved bounds for estimating discrete probability distributions under the \ell_\infty norm. These include minimax bounds in expectation and high-probability tail bounds. We resolve some of the open questions posed in Kontorovich and Painsky (JMLR, 2025) -- including a fully empirical version of the tightest risk bound they presented and identifying the form of the worst-case extremal distribution. Encouraging empirical results are reported as well.
Doron Cohen, Aryeh Kontorovich, Yonatan Livshitz