English
Related papers

Related papers: Indistinguishability Obfuscation from Well-Founded…

200 papers

We study the problem of high-dimensional linear regression in a robust model where an $\epsilon$-fraction of the samples can be adversarially corrupted. We focus on the fundamental setting where the covariates of the uncorrupted samples are…

Machine Learning · Computer Science 2018-06-04 Ilias Diakonikolas , Weihao Kong , Alistair Stewart

Let $\varepsilon>0$. We construct an explicit, full-measure set of $\alpha \in[0,1]$ such that if $\gamma \in \mathbb{R}$ then, for almost all $\beta \in[0,1]$, if $\delta \in \mathbb{R}$ then there are infinitely many integers $n\geq 1$…

Number Theory · Mathematics 2023-07-28 Sam Chow , Niclas Technau

We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…

alg-geom · Mathematics 2008-02-03 M. Giusti , J. Heintz , K. Hägele , J. E. Morais , L. M. Pardo , J. L. Montaña

Let X be randomly chosen from {-1,1}^n, and let Y be randomly chosen from the standard spherical Gaussian on R^n. For any (possibly unbounded) polytope P formed by the intersection of k halfspaces, we prove that |Pr [X belongs to P] - Pr [Y…

Computational Complexity · Computer Science 2013-02-05 Prahladh Harsha , Adam Klivans , Raghu Meka

Suppose X is the complex zero set of a finite collection of polynomials in Z[x_1,...,x_n]. We show that deciding whether X contains a point all of whose coordinates are d_th roots of unity can be done within NP^NP (relative to the sparse…

Algebraic Geometry · Mathematics 2011-11-10 J. Maurice Rojas

In this paper, we consider the following overdetermined eigenvalue problem on an unbounded domain $\Omega\subset\mathbb{R}^{N+1}$ with $N\geq1$ \begin{equation} \left\{ \begin{array}{ll} -\Delta u=\lambda u\,\, &\text{in}\,\, \Omega,\\ u=0…

Analysis of PDEs · Mathematics 2026-03-24 Guowei Dai , Yingxin Sun , Yong Zhang

We prove super-polynomial lower bounds on the size of propositional proof systems operating with constant-depth algebraic circuits over fields of zero characteristic. Specifically, we show that the subset-sum variant…

Computational Complexity · Computer Science 2022-05-17 Nashlen Govindasamy , Tuomas Hakoniemi , Iddo Tzameret

We describe certain sufficient conditions for an infinitely divisible probability measure on a class of connected Lie groups to be embeddable in a continuous one-parameter convolution semigroup of probability measures. (Theorem 1.3). This…

Probability · Mathematics 2020-06-24 S. G. Dani , Yves Guivarc'h , Riddhi Shah

We consider the problem of Ambrosetti-Prodi type \begin{equation}\label{0}\quad\begin{cases} \Delta u + e^u = s\phi_1 + h(x) &\hbox{in} \Omega, u=0 & \hbox{on} \partial \Omega, \end{cases} \nonumber \end{equation} where $\Omega$ is a…

Analysis of PDEs · Mathematics 2007-05-23 Manuel del Pino , Claudio Muñoz

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $d\mu = w(\theta) \frac{d\theta}{2\pi} + d\mu_s$ with Verblunsky coefficients…

Spectral Theory · Mathematics 2026-01-27 Daxiong Piao

We study the setting in which the bits of an unknown infinite binary sequence x are revealed sequentially to an observer. We show that very limited assumptions about x allow one to make successful predictions about unseen bits of x. First,…

Data Structures and Algorithms · Computer Science 2011-01-25 Andrew Drucker

In this present work, we discuss the Bayesian inference for the bivariate pseudo-exponential distribution. Initially, we assume independent gamma priors and then pseudo-gamma priors for the pseudo-exponential parameters. We are primarily…

Methodology · Statistics 2023-06-27 Banoth Veeranna

Polynomial identity testing and arithmetic circuit lower bounds are two central questions in algebraic complexity theory. It is an intriguing fact that these questions are actually related. One of the authors of the present paper has…

Computational Complexity · Computer Science 2012-02-17 Bruno Grenet , Pascal Koiran , Natacha Portier , Yann Strozecki

In this paper, we derive an explicit formula for constructing the confidence interval of binomial parameter with guaranteed coverage probability. The formula overcomes the limitation of normal approximation which is asymptotic in nature and…

Statistics Theory · Mathematics 2008-05-12 Xinjia Chen , Kemin Zhou , Jorge L. Aravena

A model with a sequence of indiscernibles depending on a particular precovering set is constructed.The initial assumption is as follows: for every n<omega the set {alpha | o(alpha)=alpha^+n } is unbounded in kappa.

Logic · Mathematics 2008-02-03 Moti Gitik

We show that every isoperimetric set in R^N with density is bounded if the density is continuous and bounded by above and below. This improves the previously known boundedness results, which basically needed a Lipschitz assumption; on the…

Functional Analysis · Mathematics 2012-09-18 Eleonora Cinti , Aldo Pratelli

An obfuscator is an algorithm that translates circuits into functionally-equivalent similarly-sized circuits that are hard to understand. Efficient obfuscators would have many applications in cryptography. Until recently, theoretical…

Cryptography and Security · Computer Science 2017-10-11 Gorjan Alagic , Stacey Jeffery , Stephen P. Jordan

In this paper, we propose a new framework to construct confidence sets for a $d$-dimensional unknown sparse parameter $\theta$ under the normal mean model $X\sim N(\theta,\sigma^2I)$. A key feature of the proposed confidence set is its…

Statistics Theory · Mathematics 2020-08-19 Yang Ning , Guang Cheng

Decelle et al.\cite{Decelle11} conjectured the existence of a sharp threshold for community detection in sparse random graphs drawn from the stochastic block model. Mossel et al.\cite{Mossel12} established the negative part of the…

Social and Information Networks · Computer Science 2013-11-14 Laurent Massoulie

When data contains measurement errors, it is necessary to make assumptions relating the observed, erroneous data to the unobserved true phenomena of interest. These assumptions should be justifiable on substantive grounds, but are often…

Machine Learning · Statistics 2020-12-24 Noam Finkelstein , Roy Adams , Suchi Saria , Ilya Shpitser