English
Related papers

Related papers: A zero-one law for first-order logic on random ima…

200 papers

The basic random $k$-SAT problem is: Given a set of $n$ Boolean variables, and $m$ clauses of size $k$ picked uniformly at random from the set of all such clauses on our variables, is the conjunction of these clauses satisfiable? Here we…

Combinatorics · Mathematics 2019-06-13 Joel Larsson , Klas Markström

Let $ p_n(x) $ be a random polynomial of degree $n$ and $\{Z^{(n)}_j\}_{j=1}^n$ and $\{X^{n, k}_j\}_{j=1}^{n-k}, k<n$, be the zeros of $p_n$ and $p_n^{(k)}$, the $k$th derivative of $p_n$, respectively. We show that if the linear statistics…

Probability · Mathematics 2017-01-17 I-Shing Hu , Chih-Chung Chang

Let G be a finite group of nilpotency class 2 and w a group word. In this short paper we show that the probability that a random n-tuple of elements from G satisfies w is at least one over the order of G. This answers a special case of a…

Group Theory · Mathematics 2011-01-25 Matthew Levy

We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our…

Logic · Mathematics 2016-09-09 Tapani Hyttinen , Gianluca Paolini , Jouko Väänänen

The algorithmic theory of randomness is well developed when the underlying space is the set of finite or infinite sequences and the underlying probability distribution is the uniform distribution or a computable distribution. These…

Computational Complexity · Computer Science 2016-08-31 Peter Gacs

For every fixed finite field $\F_q$, $p \in (0,1-1/q)$ and $\epsilon > 0$, we prove that with high probability a random subspace $C$ of $\F_q^n$ of dimension $(1-H_q(p)-\epsilon)n$ has the property that every Hamming ball of radius $pn$ has…

Information Theory · Computer Science 2010-01-13 Venkatesan Guruswami , Johan Hastad , Swastik Kopparty

Let $g(n)$ be the largest positive integer $k$ such that there are distinct primes $p_i$ for $1\leq i\leq k$ so that $p_i |n+i$. This function is related to a celebrated conjecture of C.A. Grimm. We establish upper and lower bounds for…

Number Theory · Mathematics 2013-06-06 Shanta Laishram , Ram Murty

We establish an approximate zero-one law for sentences of continuous logic over finite metric spaces of diameter at most $1$. More precisely, we axiomatize a complete metric theory $T_{\mathrm{as}}$ such that, given any sentence $\sigma$ in…

Logic · Mathematics 2022-01-13 Isaac Goldbring , Bradd Hart , Alex Kruckman

It is well understood that if one is given a set $X \subset [0,1]$ of $n$ independent uniformly distributed random variables, then $$ \sup_{0 \leq x \leq 1} \left| \frac{\# X \cap [0,x]}{\# X} - x \right| \lesssim \frac{\sqrt{\log{n}}}{…

Probability · Mathematics 2025-01-24 Dmitriy Bilyk , Stefan Steinerberger

The distribution of word probabilities in the monkey model of Zipf's law is associated with two universality properties: (1) the power law exponent converges strongly to $-1$ as the alphabet size increases and the letter probabilities are…

Probability · Mathematics 2016-04-20 Richard Perline , Ronald Perline

Consider finite sequences $X_{[1,n]}=X_1\dots X_n$ and $Y_{[1,n]}=Y_1\dots Y_n$ of length $n$, consisting of i.i.d.\ samples of random letters from a finite alphabet, and let $S$ and $T$ be chosen i.i.d.\ randomly from the unit ball in the…

Probability · Mathematics 2014-09-30 Raphael Hauser , Heinrich Matzinger , Ionel Popescu

This paper provides a quantitative version of de Finetti law of large numbers. Given an infinite sequence $\{X_n\}_{n \geq 1}$ of exchangeable Bernoulli variables, it is well-known that $\frac{1}{n} \sum_{i = 1}^n X_i…

Probability · Mathematics 2020-09-22 Emanuele Dolera , Stefano Favaro

There are $n$ independent Bernoulli random variables $I_{k}$ with parameters $p_{k}$ that are observed sequentially. We consider a generalization of the Last-Success-Problem considering $w_{k}$ positive payments if the player successfully…

Probability · Mathematics 2018-12-24 Jose Maria Grau ribas

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend their result for the…

Artificial Intelligence · Computer Science 2023-05-09 Yuanhong Wang , Juhua Pu , Yuyi Wang , Ondřej Kuželka

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

Logic · Mathematics 2015-03-10 Vera Koponen , Tapani Hyttinen

Majority dynamics is a process on a simple, undirected graph $G$ with an initial Red/Blue color for every vertex of $G$. Each day, each vertex updates its color following the majority among its neighbors, using its previous color for…

Combinatorics · Mathematics 2025-03-11 Jeong Han Kim , BaoLinh Tran

Let $\mathcal{P}$ be the set of the primes. We consider a class of random multiplicative functions $f$ supported on the squarefree integers, such that $\{f(p)\}_{p\in\mathcal{P}}$ form a sequence of $\pm1$ valued independent random…

Number Theory · Mathematics 2019-11-22 Marco Aymone , Vladas Sidoravicius

We consider the classical sequential binary hypothesis testing problem in which there are two hypotheses governed respectively by distributions $P_0$ and $P_1$ and we would like to decide which hypothesis is true using a sequential test. It…

Information Theory · Computer Science 2020-07-01 Yonglong Li , Vincent Y. F. Tan

The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…

Quantum Physics · Physics 2008-02-03 Patrick Suppes , J. Acacio de Barros , Gary Oas

The no-(k+1)-in line problem seeks the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are collinear. The problem was first posed more than $100$ years ago for the special case…

Combinatorics · Mathematics 2025-08-12 Benedek Kovács , Zoltán Lóránt Nagy , Dávid R. Szabó
‹ Prev 1 8 9 10 Next ›