English
Related papers

Related papers: Sequential approximations for types and Keisler me…

200 papers

We survey a collective achievement of a group of researchers: the PCP Theorems. They give new definitions of the class \np, and imply that computing approximate solutions to many \np-hard problems is itself \np-hard. Techniques developed to…

Computational Complexity · Computer Science 2008-12-15 Sanjeev Arora

We consider a quantum system that is being continuously monitored, giving rise to a measurement signal. From such a stream of data, information needs to be inferred about the underlying system's dynamics. Here we focus on hypothesis testing…

Quantum Physics · Physics 2024-03-27 Giulio Gasbarri , Matias Bilkis , Elisabet Roda-Salichs , John Calsamiglia

We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…

Logic · Mathematics 2025-11-18 Ehud Hrushovski , Krzysztof Krupiński , Anand Pillay

We study the complexity of approximations to the normalized information distance. We introduce a hierarchy of computable approximations by considering the number of oscillations. This is a function version of the difference hierarchy for…

Logic · Mathematics 2019-11-15 Klaus Ambos-Spies , Wolfgang Merkle , Sebastiaan A. Terwijn

The problem is sequence prediction in the following setting. A sequence $x_1,...,x_n,...$ of discrete-valued observations is generated according to some unknown probabilistic law (measure) $\mu$. After observing each outcome, it is required…

Artificial Intelligence · Computer Science 2012-03-20 Daniil Ryabko

The paper presents new and known results on estimates of important linear and nonlinear approximation characteristics of generalized Wiener classes of functions of several variables in different metrics.

Classical Analysis and ODEs · Mathematics 2026-01-06 Andrii Shidlich

In an important (yet unpublished) research note, Ben Yaacov describes how to turn a global Keisler measures into a type over a monster model of the randomization. This transfer methods allow one to turn questions involving measures into…

Logic · Mathematics 2024-02-09 Kyle Gannon

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a…

Logic in Computer Science · Computer Science 2017-01-11 Vineet Gupta , Radha Jagadeesan , Prakash Panangaden

Sequential modelling entails making sense of sequential data, which naturally occurs in a wide array of domains. One example is systems that interact with users, log user actions and behaviour, and make recommendations of items of potential…

Information Retrieval · Computer Science 2021-09-15 Christian Hansen

We study the proximal sampler of Lee, Shen, and Tian (2021) and obtain new convergence guarantees under weaker assumptions than strong log-concavity: namely, our results hold for (1) weakly log-concave targets, and (2) targets satisfying…

Statistics Theory · Mathematics 2022-02-15 Yongxin Chen , Sinho Chewi , Adil Salim , Andre Wibisono

The review presents the development of an approach of constructing approximate solutions to complicated physics problems, starting from asymptotic series, through optimized perturbation theory, to self-similar approximation theory. The…

Statistical Mechanics · Physics 2021-11-02 V. I. Yukalov , E. P. Yukalova

The sequential multiple testing problem is considered under two generalized error metrics. Under the first one, the probability of at least $k$ mistakes, of any kind, is controlled. Under the second, the probabilities of at least $k_1$…

Statistics Theory · Mathematics 2019-02-18 Yanglei Song , Georgios Fellouris

In this paper, we attempt to establish quantum measurement theory in the Heisenberg picture. First, we review foundations of quantum measurement theory, that is usually based on the Schr\"{o}dinger picture. The concept of instrument is…

Mathematical Physics · Physics 2018-04-19 Kazuya Okamura

Importance sampling approximates expectations with respect to a target measure by using samples from a proposal measure. The performance of the method over large classes of test functions depends heavily on the closeness between both…

Computation · Statistics 2016-09-01 Daniel Sanz-Alonso

The Wasserstein distance between two probability measures on a metric space is a measure of closeness with applications in statistics, probability, and machine learning. In this work, we consider the fundamental question of how quickly the…

Probability · Mathematics 2017-07-04 Jonathan Weed , Francis Bach

We introduce the technique of generic chaining and majorizing measures for controlling sequential Rademacher complexity. We relate majorizing measures to the notion of fractional covering numbers, which we show to be dominated in terms of…

Machine Learning · Statistics 2021-02-04 Adam Block , Yuval Dagan , Sasha Rakhlin

We develop a monitoring procedure to detect changes in a large approximate factor model. Letting $r$ be the number of common factors, we base our statistics on the fact that the $\left( r+1\right) $-th eigenvalue of the sample covariance…

Methodology · Statistics 2022-02-03 Matteo Barigozzi , Lorenzo Trapani

We present Korovkin approximation theorems that incorporate summability methods. These result allows us to obtain a unified treatment of several previous results, focusing on the underlying structure and the properties that a summability…

Functional Analysis · Mathematics 2023-07-07 M. del Carmen Listán-García , María Pilar Romero de la Rosa

In this paper, we propose new sequential estimation methods based on inclusion principle. The main idea is to reformulate the estimation problems as constructing sequential random intervals and use confidence sequences to control the…

Statistics Theory · Mathematics 2013-11-05 Xinjia Chen

The problem of estimating a parameter of a quantum system through a series of measurements performed sequentially on a quantum probe is analyzed in the general setting where the underlying statistics is explicitly non-i.i.d. We present a…

Quantum Physics · Physics 2015-12-01 Daniel Burgarth , Vittorio Giovannetti , Airi N. Kato , Kazuya Yuasa