English
Related papers

Related papers: Stochastic Function Certification with Correlation…

200 papers

The (low soundness) linearity testing problem for the middle slice of the Boolean cube is as follows. Let $\varepsilon>0$ and $f$ be a function on the middle slice on the Boolean cube, such that when choosing a uniformly random quadruple…

Combinatorics · Mathematics 2024-08-02 Gil Kalai , Noam Lifshitz , Dor Minzer , Tamar Ziegler

In this paper we consider the problem of finding the {\em densest} subset subject to {\em co-matroid constraints}. We are given a {\em monotone supermodular} set function $f$ defined over a universe $U$, and the density of a subset $S$ is…

Data Structures and Algorithms · Computer Science 2012-07-31 Venkatesan T. Chakaravarthy , Natwar Modani , Sivaramakrishnan R. Natarajan , Sambuddha Roy , Yogish Sabharwal

We initiate the study of matroid problems in a new oracle model called dynamic oracle. Our algorithms in this model lead to new bounds for some classic problems, and a "unified" algorithm whose performance matches previous results developed…

Data Structures and Algorithms · Computer Science 2023-04-28 Joakim Blikstad , Sagnik Mukhopadhyay , Danupon Nanongkai , Ta-Wei Tu

Stable random variables are motivated by the central limit theorem for densities with (potentially) unbounded variance and can be thought of as natural generalizations of the Gaussian distribution to skewed and heavy-tailed phenomenon. In…

Machine Learning · Computer Science 2014-04-17 Navodit Misra , Ercan E. Kuruoglu

We study Fourier-sparse Boolean functions over general finite Abelian groups. A Boolean function $f : G \to \{-1,+1\}$ is $s$-sparse if it has at most $s$ non-zero Fourier coefficients. We introduce a general notion of granularity of…

Computational Complexity · Computer Science 2026-02-03 Sourav Chakraborty , Swarnalipa Datta , Pranjal Dutta , Arijit Ghosh , Swagato Sanyal

The Survivable Network Design problem (SNDP) is a well-studied problem, motivated by the design of networks that are robust to faults under the assumption that any subset of edges up to a specific number can fail. We consider non-uniform…

Data Structures and Algorithms · Computer Science 2024-03-26 Chandra Chekuri , Rhea Jain

We consider the problem of identification of safe regions in the environment of an autonomous system. The environment is divided into a finite collections of Voronoi cells, with each cell having a representative, the Voronoi center. The…

Systems and Control · Electrical Eng. & Systems 2024-12-17 Aneesh Raghavan , Karl H Johansson

A circuit $\mathcal{C}$ samples a distribution $\mathbf{X}$ with an error $\epsilon$ if the statistical distance between the output of $\mathcal{C}$ on the uniform input and $\mathbf{X}$ is $\epsilon$. We study the hardness of sampling a…

Computational Complexity · Computer Science 2023-05-09 Yuval Filmus , Itai Leigh , Artur Riazanov , Dmitry Sokolov

An inequality by Samorodnitsky states that if $f : \mathbb{F}_2^n \to \mathbb{R}$ is a nonnegative boolean function, and $S \subseteq [n]$ is chosen by randomly including each coordinate with probability a certain $\lambda = \lambda(q,\rho)…

Information Theory · Computer Science 2025-08-12 Olakunle S. Abawonse , Jan Hazla , Ryan O'Donnell

For a Boolean function $\Phi\colon\{0,1\}^d\to\{0,1\}$ and an assignment to its variables $\mathbf{x}=(x_1, x_2, \dots, x_d)$ we consider the problem of finding the subsets of the variables that are sufficient to determine the function…

Computational Complexity · Computer Science 2019-06-19 Stephan Wäldchen , Jan Macdonald , Sascha Hauch , Gitta Kutyniok

We consider the problem of graph-matching on a network of 3D shapes with uncertainty quantification. We assume that the pairwise shape correspondences are efficiently represented as \emph{functional maps}, that match real-valued functions…

Computer Vision and Pattern Recognition · Computer Science 2023-01-05 Faria Huq , Adrish Dey , Sahra Yusuf , Dena Bazazian , Tolga Birdal , Nina Miolane

Pairwise Markov Random Fields (MRFs) or undirected graphical models are parsimonious representations of joint probability distributions. Variables correspond to nodes of a graph, with edges between nodes corresponding to conditional…

Statistics Theory · Mathematics 2018-09-18 Eric Janofsky

We investigate a family of regression problems in a semi-supervised setting. The task is to assign real-valued labels to a set of $n$ sample points, provided a small training subset of $N$ labeled points. A goal of semi-supervised learning…

Statistics Theory · Mathematics 2017-10-17 Dejan Slepčev , Matthew Thorpe

A "pairing function" J associates a unique natural number z to any two natural numbers x,y such that for two "unpairing functions" K and L, the equalities K(J(x,y))=x, L(J(x,y))=y and J(K(z),L(z))=z hold. Using pairing functions on natural…

Logic in Computer Science · Computer Science 2009-02-04 Paul Tarau

Static correlation error(SCE) inevitably emerges when a dissociation of a covalent bond is described with a conventional denstiy-functional theory (DFT) for electrons. SCE gives rise to a serious overshoot in the potential energy at the…

Computational Physics · Physics 2020-08-10 Hideaki Takahashi

We study the approximation properties of shallow neural networks with an activation function which is a power of the rectified linear unit. Specifically, we consider the dependence of the approximation rate on the dimension and the…

Numerical Analysis · Mathematics 2021-12-23 Jonathan W. Siegel , Jinchao Xu

Classification of Non-linear Boolean functions is a long-standing problem in the area of theoretical computer science. In this paper, effort has been made to achieve a systematic classification of all n-variable Boolean functions, where…

Logic in Computer Science · Computer Science 2013-03-15 Ranjeet Kumar Rout , Pabitra Pal Choudhury , Sudhakar Sahoo

Graph-based semi-supervised learning is the problem of propagating labels from a small number of labelled data points to a larger set of unlabelled data. This paper is concerned with the consistency of optimization-based techniques for such…

Machine Learning · Statistics 2020-03-11 Franca Hoffmann , Bamdad Hosseini , Zhi Ren , Andrew M. Stuart

The study presents a novel approach for stochastic nonlinear model updating in structural dynamics, employing a Bayesian framework integrated with Markov Chain Monte Carlo (MCMC) sampling for parameter estimation by using an approximated…

We develop the uniform sparse Fast Fourier Transform (usFFT), an efficient, non-intrusive, adaptive algorithm for the solution of elliptic partial differential equations with random coefficients. The algorithm is an adaption of the sparse…

Numerical Analysis · Mathematics 2022-09-05 Lutz Kämmerer , Daniel Potts , Fabian Taubert