English
Related papers

Related papers: The averaging trick and the Cerny conjecture

200 papers

In this paper, algorithms are developed for computing the Stirling transform and the inverse Stirling transform; specifically, we investigate a class of sequences satisfying a two-term recurrence. We derive a general identity which…

Combinatorics · Mathematics 2012-12-06 Mourad Rahmani

Model selection strategies have been routinely employed to determine a model for data analysis in statistics, and further study and inference then often proceed as though the selected model were the true model that were known a priori. This…

Methodology · Statistics 2018-02-13 Priyam Mitra , Heng Lian , Ritwik Mitra , Hua Liang , Min-ge Xie

Application of machine learning may be understood as deriving new knowledge for practical use through explaining accumulated observations, training set. Peirce used the term abduction for this kind of inference. Here I formalize the concept…

Artificial Intelligence · Computer Science 2023-01-03 Marina Sapir

We prove a few simple cases of a random graph statement that would imply the "second" Kahn--Kalai Conjecture. Even these cases turn out to be reasonably challenging, and it is hoped that the ideas introduced here may lead to further…

Combinatorics · Mathematics 2025-10-27 Quentin Dubroff , Jeff Kahn , Jinyoung Park

Social networks are increasingly being used to conduct polls. We introduce a simple model of such social polling. We suppose agents vote sequentially, but the order in which agents choose to vote is not necessarily fixed. We also suppose…

Computer Science and Game Theory · Computer Science 2013-02-08 Serge Gaspers , Victor Naroditskiy , Nina Narodytska , Toby Walsh

This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader…

Combinatorics · Mathematics 2018-05-08 David Conlon , Jeong Han Kim , Choongbum Lee , Joonkyung Lee

Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks'…

Artificial Intelligence · Computer Science 2018-05-28 Francesco Leofante , Nina Narodytska , Luca Pulina , Armando Tacchella

Inference is the process of using facts we know to learn about facts we do not know. A theory of inference gives assumptions necessary to get from the former to the latter, along with a definition for and summary of the resulting…

Machine Learning · Statistics 2021-09-27 Beau Coker , Cynthia Rudin , Gary King

They run our lives, if you believe the hype in the news, but there is no precise definition of "algorithms" which is generally accepted by the mathematicians, logicians and computer scientists who create and study them. My main aims here…

Logic · Mathematics 2021-08-10 Yiannis N. Moschovakis

We prove an intermediate value theorem of an arithmetical flavor, involving the consecutive averages of sequences with terms in a given finite set A. For every such set we completely characterize the numbers x ("intermediate values") with…

General Mathematics · Mathematics 2007-05-23 Mihai Caragiu , Laurence D. Robinson

Many applications of computational social science aim to infer causal conclusions from non-experimental data. Such observational data often contains confounders, variables that influence both potential causes and potential effects.…

Computation and Language · Computer Science 2020-05-05 Katherine A. Keith , David Jensen , Brendan O'Connor

The rating of items based on pairwise comparisons has been a topic of statistical investigation for many decades. Numerous approaches have been proposed. One of the best known is the Bradley-Terry model. This paper seeks to assemble and…

Statistics Theory · Mathematics 2025-08-08 Ian Hamilton , Nick Tawn , David Firth

We consider an urn model with multiple drawing and random time-dependent addition matrix. The model is very general with respect to previous literature: the number of sampled balls at each time-step is random, the addition matrix has…

Probability · Mathematics 2021-07-06 Irene Crimaldi , Pierre-Yves Louis , Ida Germana Minelli

Implicit Computational Complexity makes two aspects implicit, by manipulating programming languages rather than models of com-putation, and by internalizing the bounds rather than using external measure. We survey how automata theory…

Logic in Computer Science · Computer Science 2015-02-05 Clément Aubert

Computer-based tests with randomly generated questions allow a large number of different tests to be generated. Given a fixed number of alternatives for each question, the number of tests that need to be generated before all possible…

Probability · Mathematics 2010-03-04 Charles M. Goldie , Rosie Cornish , Carol L. Robinson

A descent conjecture of Wittenberg [Wit24, Conjecture 3.7.4] predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer-Manin obstruction, then so does the base. We give an…

Algebraic Geometry · Mathematics 2026-04-14 Yisheng Tian

Hardware, systems and algorithms research communities have historically had different incentive structures and fluctuating motivation to engage with each other explicitly. This historical treatment is odd given that hardware and software…

Computers and Society · Computer Science 2020-09-23 Sara Hooker

We prove a Kahane-Khinchin type result with a few random vectors, which are distributed independently with respect to an arbitrary log-concave probability measure on $\R^n$. This is an application of small ball estimate and Chernoff's…

Functional Analysis · Mathematics 2007-09-10 Omer Friedland

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

Artificial Intelligence · Computer Science 2025-11-04 Jovial Cheukam Ngouonou , Ramiz Gindullin , Claude-Guy Quimper , Nicolas Beldiceanu , Remi Douence

Turning pass-through network architectures into iterative ones, which use their own output as input, is a well-known approach for boosting performance. In this paper, we argue that such architectures offer an additional benefit: The…

Artificial Intelligence · Computer Science 2025-05-27 Nikita Durasov , Doruk Oner , Jonathan Donier , Hieu Le , Pascal Fua