English
Related papers

Related papers: Schnorr Randomness and Effective Bayesian Consiste…

200 papers

The law of large numbers is one of the fundamental properties which algorithmically random infinite sequences ought to satisfy. In this paper, we show that the law of large numbers can be effectivized for an arbitrary Schnorr random…

Probability · Mathematics 2022-12-29 Kohtaro Tadaki

Estimating the parameters from $k$ independent Bin$(n,p)$ random variables, when both parameters $n$ and $p$ are unknown, is relevant to a variety of applications. It is particularly difficult if $n$ is large and $p$ is small. Over the past…

Statistics Theory · Mathematics 2018-09-10 Laura Fee Schneider , Thomas Staudt , Axel Munk

Formulating a statistical inverse problem as one of inference in a Bayesian model has great appeal, notably for what this brings in terms of coherence, the interpretability of regularisation penalties, the integration of all uncertainties,…

Statistics Theory · Mathematics 2012-12-19 Natalia A. Bochkina , Peter J. Green

We correct Miyabe's proof of van Lambalgen's Theorem for truth-table Schnorr randomness (which we will call uniformly relative Schnorr randomness). An immediate corollary is one direction of van Lambalgen's theorem for Schnorr randomness.…

Logic · Mathematics 2013-05-02 Kenshi Miyabe , Jason Rute

For the Narain-Horvitz-Thompson estimator to have usual asymptotic properties such as consistency, some conditions on the sampling design and on the variable of interest are needed. Cardot et al. (2010) give some sufficient conditions for…

Methodology · Statistics 2014-12-10 Guillaume Chauvet

Phenomena with a constrained sample space appear frequently in practice. This is the case e.g. with strictly positive data and with compositional data, like percentages and the like. If the natural measure of difference is not the absolute…

Methodology · Statistics 2008-02-20 G. Mateu-Figueras , V. Pawlowsky-Glahn , J. J. Egozcue

This paper concerns the robust regression model when the number of predictors and the number of observations grow in a similar rate. Theory for M-estimators in this regime has been recently developed by several authors [El Karoui et al.,…

Statistics Theory · Mathematics 2016-04-06 Daniel Nevo , Ya'acov Ritov

The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental reachability problem for continuous linear dynamical systems,…

Systems and Control · Computer Science 2016-05-11 Ventsislav Chonev , Joel Ouaknine , James Worrell

Recently we have reanalyzed the consistency of the solutions of the space fractional Schr\"odinger equation found in a piecewise manner, and showed that an exact and a proper treatment of the relevant integrals prove that they are…

Mathematical Physics · Physics 2012-08-16 Selçuk Ş. Bayin

We consider a linear Schr\"odinger equation, on a bounded interval, with bilinear control, that represents a quantum particle in an electric field (the control). We prove the controllability of this system, in any positive time, locally…

Analysis of PDEs · Mathematics 2010-01-20 Karine Beauchard , Camille Laurent

A major challenge in sample-based inference (SBI) for Bayesian neural networks is the size and structure of the networks' parameter space. Our work shows that successful SBI is possible by embracing the characteristic relationship between…

Machine Learning · Computer Science 2024-05-29 Emanuel Sommer , Lisa Wimmer , Theodore Papamarkou , Ludwig Bothmann , Bernd Bischl , David Rügamer

Computation plays a key role in predicting and analyzing natural phenomena. There are two fundamental barriers to our ability to computationally understand the long-term behavior of a dynamical system that describes a natural process. The…

Computational Complexity · Computer Science 2017-02-15 Mark Braverman , Alexander Grigo , Cristobal Rojas

Quantum theory is formulated as the uniquely consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if the amplitude of a quantum process can be computed in two different ways, the two…

Quantum Physics · Physics 2009-10-31 Ariel Caticha

We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…

Logic in Computer Science · Computer Science 2017-11-28 Thomas Ehrhard , Michele Pagani , Christine Tasson

It is well known that mean-variance portfolio selection is a time-inconsistent optimal control problem in the sense that it does not satisfy Bellman's optimality principle and therefore the usual dynamic programming approach fails. We…

Portfolio Management · Quantitative Finance 2012-05-23 Christoph Czichowsky

The vast majority of the literature on learning dynamical systems or stochastic processes from time series has focused on stable or ergodic systems, for both Bayesian and frequentist inference procedures. However, most real-world systems…

Machine Learning · Statistics 2025-07-02 Zachary P Adams , Sayan Mukherjee

This paper describes and discusses Bayesian Neural Network (BNN). The paper showcases a few different applications of them for classification and regression problems. BNNs are comprised of a Probabilistic Model and a Neural Network. The…

Machine Learning · Computer Science 2018-01-31 Vikram Mullachery , Aniruddh Khera , Amir Husain

The ranking problem is to order a collection of units by some unobserved parameter, based on observations from the associated distribution. This problem arises naturally in a number of contexts, such as business, where we may want to rank…

Statistics Theory · Mathematics 2019-09-04 Toby Kenney

Bayesian and frequentist criteria fundamentally differ, but often posterior and sampling distributions agree asymptotically (e.g., Gaussian with same covariance). For the corresponding single-draw experiment, we characterize the frequentist…

Statistics Theory · Mathematics 2024-07-04 David M. Kaplan , Longhao Zhuo

We extend a recently proposed 1-nearest-neighbor based multiclass learning algorithm and prove that our modification is universally strongly Bayes-consistent in all metric spaces admitting any such learner, making it an "optimistically…

Machine Learning · Computer Science 2021-10-01 Steve Hanneke , Aryeh Kontorovich , Sivan Sabato , Roi Weiss