Ups and downs of first order sentences on random graphs

Joel Spencer, Gábor Tardos

Research output: Contribution to journalArticle

Abstract

Shelah and Spencer [1] proved that the zero-one law holds for the first order sentences on random graphs G(n,n) whenever α is a fixed positive irrational. This raises the question what zero-one valued functions on the positive irrationals arise as the limit probability of a first order sentence on these graphs. Here we prove two necessary conditions on these functions, a number-theoretic and a complexity condition. We hope to prove in a subsequent paper that these conditions together with two simpler and previously proved conditions are also sufficient and thus they constitute a characterization.

Original languageEnglish (US)
Pages (from-to)263-280
Number of pages18
JournalCombinatorica
Volume20
Issue number2
StatePublished - 2000

Fingerprint

Random Graphs
First-order
Zero-one Law
Sufficient
Necessary Conditions
Zero
Graph in graph theory

ASJC Scopus subject areas

  • Mathematics(all)
  • Discrete Mathematics and Combinatorics

Cite this

Ups and downs of first order sentences on random graphs. / Spencer, Joel; Tardos, Gábor.

In: Combinatorica, Vol. 20, No. 2, 2000, p. 263-280.

Research output: Contribution to journalArticle

Spencer, J & Tardos, G 2000, 'Ups and downs of first order sentences on random graphs', Combinatorica, vol. 20, no. 2, pp. 263-280.
Spencer, Joel ; Tardos, Gábor. / Ups and downs of first order sentences on random graphs. In: Combinatorica. 2000 ; Vol. 20, No. 2. pp. 263-280.
@article{b76a49e4afd14c5fb0000e3d0a245861,
title = "Ups and downs of first order sentences on random graphs",
abstract = "Shelah and Spencer [1] proved that the zero-one law holds for the first order sentences on random graphs G(n,n-α) whenever α is a fixed positive irrational. This raises the question what zero-one valued functions on the positive irrationals arise as the limit probability of a first order sentence on these graphs. Here we prove two necessary conditions on these functions, a number-theoretic and a complexity condition. We hope to prove in a subsequent paper that these conditions together with two simpler and previously proved conditions are also sufficient and thus they constitute a characterization.",
author = "Joel Spencer and G{\'a}bor Tardos",
year = "2000",
language = "English (US)",
volume = "20",
pages = "263--280",
journal = "Combinatorica",
issn = "0209-9683",
publisher = "Janos Bolyai Mathematical Society",
number = "2",

}

TY - JOUR

T1 - Ups and downs of first order sentences on random graphs

AU - Spencer, Joel

AU - Tardos, Gábor

PY - 2000

Y1 - 2000

N2 - Shelah and Spencer [1] proved that the zero-one law holds for the first order sentences on random graphs G(n,n-α) whenever α is a fixed positive irrational. This raises the question what zero-one valued functions on the positive irrationals arise as the limit probability of a first order sentence on these graphs. Here we prove two necessary conditions on these functions, a number-theoretic and a complexity condition. We hope to prove in a subsequent paper that these conditions together with two simpler and previously proved conditions are also sufficient and thus they constitute a characterization.

AB - Shelah and Spencer [1] proved that the zero-one law holds for the first order sentences on random graphs G(n,n-α) whenever α is a fixed positive irrational. This raises the question what zero-one valued functions on the positive irrationals arise as the limit probability of a first order sentence on these graphs. Here we prove two necessary conditions on these functions, a number-theoretic and a complexity condition. We hope to prove in a subsequent paper that these conditions together with two simpler and previously proved conditions are also sufficient and thus they constitute a characterization.

UR - http://www.scopus.com/inward/record.url?scp=0034355079&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034355079&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0034355079

VL - 20

SP - 263

EP - 280

JO - Combinatorica

JF - Combinatorica

SN - 0209-9683

IS - 2

ER -