Connectivity. Corollary. GRAPH CONNECTIVITY is not FO definable
|
|
- Emerald Hall
- 5 years ago
- Views:
Transcription
1 Connectivity Corollary. GRAPH CONNECTIVITY is not FO definable
2 Connectivity Corollary. GRAPH CONNECTIVITY is not FO definable If A is a linear order of size n, let G(A) be the graph with edges { i, i+2 mod n } for all a A
3 Connectivity Corollary. GRAPH CONNECTIVITY is not FO definable If A is a linear order of size n, let G(A) be the graph with edges { i, i+2 mod n } for all a A
4 Connectivity FO Obs 1: G(A) is connected if and only if n is odd Corollary. GRAPH CONNECTIVITY is not FO definable If A is a linear order of size n, let G(A) be the graph with edges { i, i+2 mod n } for all a A
5 Connectivity FO Obs 2: G(A) is first-order definable from A Corollary. GRAPH CONNECTIVITY is not FO definable If A is a linear order of size n, let G(A) be the graph with edges { i, i+2 mod n } for all a A
6 Connectivity Corollary. GRAPH CONNECTIVITY is not FO definable If A is a linear order of size n, let G(A) be the graph with edges { i, i+2 mod n } for all a A If φ were a first-order formula defining GRAPH CONNECTIVITY, then by replacing each sub-formula E(x,y) with a formula x and y have cyclic distance 2 in the linear order A, we could define EVENNESS of A (which we showed is impossible by the EF game).
7 Connectivity Corollary. GRAPH CONNECTIVITY is not FO definable This result can be proved directly by playing the EF game e.g. on graphs C n and C n + C n The reduction to EVENNESS of linear orders illustrates the technique of a first-order interpretations.
8 Set-powersets SetPow n is the structure ([n] 2 [n],,, In) where = [n] = {1,...,n}, = powerset of, In = {(i,x) i X}.
9 Set-powersets SetPow n is the structure ([n] 2 [n],,, In) where = [n] = {1,...,n}, = powerset of, In = {(i,x) i X}. A set-powerset is any structure A with relations {,, In} which is isomorphic to SetPow n for some n > 0. It is said to be EVEN/ODD according to the parity of n.
10 Set-powersets Obs. The class of set-powersets is FO definable. We cannot say (in first-order logic): X S x, x X In(x,S) Instead, we say: " " S x "S {x} " This formula exploits finiteness in an essential way.
11 Set-powersets Theorem The class of EVEN set-powersets is not FO definable.
12 Set-powersets Theorem The class of EVEN set-powersets is not FO definable. Proof For every k, we show that Duplicator has a winning strategy in the k-round Ehrenfeucht-Fraisse game on A = SetPow 2^k and B = SetPow 2^k+1
13 Winning strategy (by picture) A B
14 Winning strategy (by picture) A B
15 Winning strategy (by picture) A B
16 Winning strategy (by picture) A B
17 Winning strategy (by picture) A B
18 Winning strategy (by picture) A B
19 Winning strategy (by picture) A B
20 Winning strategy (by picture) A B
21 Winning strategy (by picture) A B
22 Winning strategy (by picture) A B
23 Winning strategy (by picture) A B
24 Winning strategy (by picture) A B
25 Winning strategy (by picture) A B
26 Winning strategy (by picture) A B
27 Winning strategy (by picture) A B
28 Winning strategy (by picture) A B
29 Winning strategy (by picture) A B At this point, Spoiler wins.
30 Winning strategy (by picture) A Duplicator has a winning strategy for k rounds provided both B structures have 2 k atoms. At this point, Spoiler wins.
31 Winning strategy (by picture) A Duplicator has a winning strategy for k rounds provided both B structures have 2 k atoms. Duplicator s At winning this point, strategy: Spoiler wins. in round j, preserve the cardinality up to 2 k j of every Boolean combination of the chosen sets and atoms
32 0-1 Laws
33 G(n,p) The Erdos-Renyi random graph G(n,p) vertex set {1,...,n} indep. edge probability p
34 G(n,p) The Erdos-Renyi random graph G(n,p) vertex set {1,...,n} indep. edge probability p G(n,½) is known as the uniform random graph
35 0-1 Law for FO Theorem [Fagin 1976, Glebskii et al 1969] For every FO sentence ϕ, lim n Pr[ G(n,½) ϕ ] {0,1}
36 0-1 Law for FO Theorem [Fagin 1976, Glebskii et al 1969] For every FO sentence ϕ, lim n Pr[ G(n,½) ϕ ] {0,1} That is, ϕ is either almost surely true or almost surely false in G(n,½)
37 0-1 Law for FO Theorem [Fagin 1976, Glebskii et al 1969] For every FO sentence ϕ and p (0,1), lim n Pr[ G(n,p) ϕ ] {0,1}
38 0-1 Law for FO Theorem [Spencer and Shelah 1988] For every FO sentence ϕ and irrational c (0,1), lim n Pr[ G(n,n c ) ϕ ] {0,1}
39 0-1 Law for FO Theorem [Spencer and Shelah 1988] For every FO sentence ϕ and irrational c (0,1), lim n Pr[ G(n,n c ) ϕ ] {0,1} No 0-1 law for rational c (0,1)
40 Proof of The Zero-One Law
41 0-1 Law for FO Theorem [Fagin 1976, Glebskii et al 1969] For every FO sentence ϕ, lim n Pr[ G(n,½) ϕ ] {0,1}
42 0-1 Law for FO The 2-extension property EXT 2 says: Every vertex has a neighbor and a non-neighbor
43 0-1 Law for FO The 3-extension property EXT 3 says: Every two vertices and have a common neighbor a common non-neighbor a neighbor of each one, but not the other
44 0-1 Law for FO The 4-extension property EXT 4 says: For all distinct vertices, there exist 8 vertices witnessing each possible set of adjacencies
45 0-1 Law for FO The k-extension property EXT k says: for all k 1 distinct vertices, there exist 2 k witnesses.
46 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
47 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
48 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
49 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
50 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
51 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
52 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
53 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
54 0-1 Law for FO Lemma If G and H satisfy EXT k, then Duplicator has a winning strategy in the k-round EF game on G and H (simply by maintaining a partial isomorphism)
55 0-1 Law for FO Lemma For every k, the uniform random graph G ~ G(n,½) satisfies EXT k a.a.s.
THE STRANGE LOGIC OF RANDOM GRAPHS. Joel Spencer. Courant Institute
WoLLIC 2005 THE STRANGE LOGIC OF RANDOM GRAPHS Joel Spencer Courant Institute 1 What is a Graph? Vertex Set V Edge Set E of {v, w} V Equivalently: Areflexive Symmetric Relation Write: v w Read: v, w are
More informationRandom Graphs. and. The Parity Quantifier
Random Graphs and The Parity Quantifier Phokion G. Kolaitis Swastik Kopparty UC Santa Cruz MIT & & IBM Research-Almaden Institute for Advanced Study What is finite model theory? It is the study of logics
More informationConnectivity. Topics in Logic and Complexity Handout 7. Proof. Proof. Consider the signature (E, <).
1 2 Topics in Logic and Complexity Handout 7 Anuj Dawar MPhil Advanced Computer Science, Lent 2010 Consider the signature (E,
More informationFIRST ORDER SENTENCES ON G(n, p), ZERO-ONE LAWS, ALMOST SURE AND COMPLETE THEORIES ON SPARSE RANDOM GRAPHS
FIRST ORDER SENTENCES ON G(n, p), ZERO-ONE LAWS, ALMOST SURE AND COMPLETE THEORIES ON SPARSE RANDOM GRAPHS MOUMANTI PODDER 1. First order theory on G(n, p) We start with a very simple property of G(n,
More informationFirst order logic on Galton-Watson trees
First order logic on Galton-Watson trees Moumanti Podder Georgia Institute of Technology Joint work with Joel Spencer January 9, 2018 Mathematics Seminar, Indian Institute of Science, Bangalore 1 / 20
More informationShort monadic second order sentences about sparse random graphs
arxiv:161107260v2 [mathco] 2 Aug 2018 Short monadic second order sentences about sparse random graphs Andrey Kupavskii and Maksim Zhukovskii Abstract In this paper, we study the so-called zero-one laws
More informationDatabase Theory VU , SS Ehrenfeucht-Fraïssé Games. Reinhard Pichler
Database Theory Database Theory VU 181.140, SS 2018 7. Ehrenfeucht-Fraïssé Games Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 15 May, 2018 Pichler 15
More informationTHE COMPLEXITY OF RANDOM ORDERED STRUCTURES
THE COMPLEXITY OF RANDOM ORDERED STRUCTURES JOEL H. SPENCER AND KATHERINE ST. JOHN Abstract. We show that for random bit strings, U p (n), with probability, p = 1 2, the first-order quantifier depth D(U
More informationDuplicator Spoiler Games Exposition by William Gasarch
1 Introduction Duplicator Spoiler Games Exposition by William Gasarch (gasarch@cs.umd.edu) Roland Fraïssé [2, 3, 4] proved theorems about logical expressibility using a back-and-forth method. Andrzej Ehrenfeucht
More informationFinite Model Theory Tutorial. Lecture 1
1 Finite Model Theory Tutorial Lecture 1 Anuj Dawar University of Cambridge Modnet Summer School, Manchester, 14-18 July 2008 2 Finite Model Theory In the 1980s, the term finite model theory came to be
More informationElementary Equivalence, Partial Isomorphisms, and. Scott-Karp analysis
Elementary Equivalence, Partial Isomorphisms, and Scott-Karp analysis 1 These are self-study notes I prepared when I was trying to understand the subject. 1 Elementary equivalence and Finite back and forth
More informationZero-one laws for multigraphs
Zero-one laws for multigraphs Caroline Terry University of Illinois at Chicago AMS Central Fall Sectional Meeting 2015 Caroline Terry (University of Illinois at Chicago) Zero-one laws for multigraphs October
More informationThe Tenacity of Zero-One Laws
The Tenacity of Zero-One Laws Joel H. Spencer Courant Institute New York University 251 Mercer Street New York, NY 10012 spencer@cs.nyu.edu Katherine St. John Dept of Math & Computer Science Graduate Center
More informationFriendly Logics, Fall 2015, Lecture Notes 5
Friendly Logics, Fall 2015, Lecture Notes 5 Val Tannen 1 FO definability In these lecture notes we restrict attention to relational vocabularies i.e., vocabularies consisting only of relation symbols (or
More informationModel Theory on Finite Structures
Model Theory on Finite Structures Anuj Dawar Department of Computer Science University of Wales Swansea Swansea, SA2 8PP, U.K. e-mail: a.dawar@swansea.ac.uk 1 Introduction In mathematical logic, the notions
More informationFinite Model Theory and CSPs
Finite Model Theory and CSPs Albert Atserias Universitat Politècnica de Catalunya Barcelona, Spain June 19, 2007 Part I FIRST-ORDER LOGIC, TYPES AND GAMES Relational Structures vs. Functional Structures
More informationGames and Isomorphism in Finite Model Theory. Part 1
1 Games and Isomorphism in Finite Model Theory Part 1 Anuj Dawar University of Cambridge Games Winter School, Champéry, 6 February 2013 2 Model Comparison Games Games in Finite Model Theory are generally
More informationExpressiveness of predicate logic: Some motivation
Expressiveness of predicate logic: Some motivation In computer science the analysis of the expressiveness of predicate logic (a.k.a. first-order logic) is of particular importance, for instance In database
More information0-1 Laws for Fragments of SOL
0-1 Laws for Fragments of SOL Haggai Eran Iddo Bentov Project in Logical Methods in Combinatorics course Winter 2010 Outline 1 Introduction Introduction Prefix Classes Connection between the 0-1 Law and
More informationEhrenfeucht-Fraïssé Games
Chapter 6 Ehrenfeucht-Fraïssé Games We introduce combinatorial games that are useful for determining what can be expressed in various logics. Ehrenfeucht-Fraïssé games offer a semantics for firstorder
More informationIntroduction to Model Theory
Introduction to Model Theory Jouko Väänänen 1,2 1 Department of Mathematics and Statistics, University of Helsinki 2 Institute for Logic, Language and Computation, University of Amsterdam Beijing, June
More informationFinite and Algorithmic Model Theory II: Automata-Based Methods
Finite and Algorithmic Model Theory II: Automata-Based Methods Anuj Dawar University of Cambridge Computer Laboratory Simons Institute, 30 August 2016 Review We aim to develop tools for studying the expressive
More informationFinite Model Theory: First-Order Logic on the Class of Finite Models
1 Finite Model Theory: First-Order Logic on the Class of Finite Models Anuj Dawar University of Cambridge Modnet Tutorial, La Roche, 21 April 2008 2 Finite Model Theory In the 1980s, the term finite model
More informationPreliminaries. Introduction to EF-games. Inexpressivity results for first-order logic. Normal forms for first-order logic
Introduction to EF-games Inexpressivity results for first-order logic Normal forms for first-order logic Algorithms and complexity for specific classes of structures General complexity bounds Preliminaries
More informationMathematics 220 Midterm Practice problems from old exams Page 1 of 8
Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then
More informationDescriptive Complexity: An overview of the field, key results, techniques, and applications.
Descriptive Complexity: An overview of the field, key results, techniques, and applications. Ryan Flannery http://cs.uc.edu/~flannert 22 May 2009 Abstract In 1974 Ronald Fagin proved that problems in the
More informationSpectra of Monadic Second-Order Formulas with One Unary Function
Spectra of Monadic Second-Order Formulas with One Unary Function Yuri Gurevich Saharon Shelah Abstract We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i)
More informationBuilding Graphs from Colored Trees
Building Graphs from Colored Trees Rachel M. Esselstein CSUMB Department of Mathematics and Statistics 100 Campus Center Dr. Building 53 Seaside, CA 93955, U.S.A. resselstein@csumb.edu Peter Winkler Department
More informationA Local Normal Form Theorem for Infinitary Logic with Unary Quantifiers
mlq header will be provided by the publisher Local Normal Form Theorem for Infinitary Logic with Unary Quantifiers H. Jerome Keisler 1 and Wafik Boulos Lotfallah 2 1 Department of Mathematics University
More informationTHE METAMATHEMATICS OF RANDOM GRAPHS
THE METAMATHEMATICS OF RANDOM GRAPHS John T. Baldwin Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Abstract We explain and summarize the use of logic to provide
More informationDefinability in Rationals with Real Order in the Background
Definability in Rationals with Real Order in the Background YURI GUREVICH, Microsoft Research and Dept EECS, University of Michigan, One Microsoft Way, Redmond, WA 98052, USA. E-mail: gurevich@microsoft.com
More informationGalton-Watson trees and probabilities of local neighbourhoods of the root
probabilities probabilities Courant Institute Mathematical Sciences New York University 14th Annual Northeast Probability Seminar November 20, 2015 The First Order (F.O.) World probabilities T rom Watson
More informationA local normal form theorem for infinitary logic with unary quantifiers
Math. Log. Quart. 51, No. 2, 137 144 (2005) / DOI 10.1002/malq.200410013 / www.mlq-journal.org A local normal form theorem for infinitary logic with unary quantifiers H. Jerome Keisler 1 and Wafik Boulos
More informationRandom Graphs and the Parity Quantifier
Random Graphs and the Parity Quantifier Phokion G. Kolaitis Swastik Kopparty October 19, 2010 Abstract The classical zero-one law for first-order logic on random graphs says that for every first-order
More informationThe Lopsided Lovász Local Lemma
Department of Mathematics Nebraska Wesleyan University With Linyuan Lu and László Székely, University of South Carolina Note on Probability Spaces For this talk, every a probability space Ω is assumed
More informationLecture 7: February 6
CS271 Randomness & Computation Spring 2018 Instructor: Alistair Sinclair Lecture 7: February 6 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They
More informationReflections on Finite Model Theory
Reflections on Finite Model Theory Phokion G. Kolaitis IBM Almaden Research Center San Jose, CA 95120, USA kolaitis@almaden.ibm.com Abstract Advances in finite model theory have appeared in LICS proceedings
More information3.2 Configuration model
3.2 Configuration model 3.2.1 Definition. Basic properties Assume that the vector d = (d 1,..., d n ) is graphical, i.e., there exits a graph on n vertices such that vertex 1 has degree d 1, vertex 2 has
More informationlogic, cf. [1]. Another area of application is descriptive complexity. It turns out that familiar logics capture complexity classes over classes of (o
Notions of locality and their logical characterizations over nite models Lauri Hella Department of Mathematics P.O. Box 4 (Yliopistonkatu 5) 00014 University of Helsinki, Finland Email: lauri.hella@helsinki.fi
More informationbe approximately p. This conjecture was proven by sophisticated generating function techniques in [26], for both labelled and unlabelled trees. In thi
MSO Zero One Laws on Random Labelled Acyclic Graphs Gregory L. McColm Department of Mathematics University of South Florida Tampa, FL 33620 (813) 974-9550, fax (813) 974-2700 mccolm@math.usf.edu URL http://www.math.usf.edu/mccolm
More informationA GEOMETRIC ZERO-ONE LAW
A GEOMETRIC ZERO-ONE LAW ROBERT H. GILMAN, YURI GUREVICH, AND ALEXEI MIASNIKOV Abstract. Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x
More informationIncomplete version for students of easllc2012 only. 6.6 The Model Existence Game 99
98 First-Order Logic 6.6 The Model Existence Game In this section we learn a new game associated with trying to construct a model for a sentence or a set of sentences. This is of fundamental importance
More informationOnline Appendix to The Recovery of a Schema Mapping: Bringing Exchanged Data Back
Online Appendix to The Recovery of a Schema Mapping: Bringing Exchanged Data Back MARCELO ARENAS and JORGE PÉREZ Pontificia Universidad Católica de Chile and CRISTIAN RIVEROS R&M Tech Ingeniería y Servicios
More informationAn Application of First-Order Logic to a Problem in Combinatorics 1
An Application of First-Order Logic to a Problem in Combinatorics 1 I. The Combinatorial Background. A. Families of objects. In combinatorics, one frequently encounters a set of objects in which a), each
More informationBIRTHDAY PROBLEM, MONOCHROMATIC SUBGRAPHS & THE SECOND MOMENT PHENOMENON / 23
BIRTHDAY PROBLEM, MONOCHROMATIC SUBGRAPHS & THE SECOND MOMENT PHENOMENON Somabha Mukherjee 1 University of Pennsylvania March 30, 2018 Joint work with Bhaswar B. Bhattacharya 2 and Sumit Mukherjee 3 1
More informationFragments of existential second-order logic. without 0-1 laws. Jean-Marie Le Bars. Informatique, GREYC/Universite de Caen.
Fragments of existential second-order logic without 0- laws. Jean-Marie Le Bars Informatique, GREYC/Universite de Caen Esplanade de la paix/403 CAEN cedex/france E-mail lebars@info.unicaen.fr Abstract
More informationIncomplete version for students of easllc2012 only. 94 First-Order Logic. Incomplete version for students of easllc2012 only. 6.5 The Semantic Game 93
65 The Semantic Game 93 In particular, for every countable X M there is a countable submodel N of M such that X N and N = T Proof Let T = {' 0, ' 1,} By Proposition 622 player II has a winning strategy
More informationAlgebraic Methods in Combinatorics
Algebraic Methods in Combinatorics Po-Shen Loh June 2009 1 Linear independence These problems both appeared in a course of Benny Sudakov at Princeton, but the links to Olympiad problems are due to Yufei
More informationThe Probabilistic Method
The Probabilistic Method Janabel Xia and Tejas Gopalakrishna MIT PRIMES Reading Group, mentors Gwen McKinley and Jake Wellens December 7th, 2018 Janabel Xia and Tejas Gopalakrishna Probabilistic Method
More informationFinite Model Theory and Graph Isomorphism. II.
Finite Model Theory and Graph Isomorphism. II. Anuj Dawar University of Cambridge Computer Laboratory visiting RWTH Aachen Beroun, 13 December 2013 Recapitulation Finite Model Theory aims to study the
More informationThe Lopsided Lovász Local Lemma
Joint work with Linyuan Lu and László Székely Georgia Southern University April 27, 2013 The lopsided Lovász local lemma can establish the existence of objects satisfying several weakly correlated conditions
More informationSum-free sets. Peter J. Cameron University of St Andrews
Sum-free sets Peter J. Cameron University of St Andrews Topological dynamics, functional equations, infinite combinatorics and probability LSE, June 2017 Three theorems A set of natural numbers is k-ap-free
More informationSum-free sets. Peter J. Cameron University of St Andrews
Sum-free sets Peter J. Cameron University of St Andrews Topological dynamics, functional equations, infinite combinatorics and probability LSE, June 2017 Three theorems The missing fourth? A set of natural
More informationAlgebraic Methods in Combinatorics
Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets
More informationFirst Order Convergence and Roots
Article First Order Convergence and Roots Christofides, Demetres and Kral, Daniel Available at http://clok.uclan.ac.uk/17855/ Christofides, Demetres and Kral, Daniel (2016) First Order Convergence and
More informationMath 225A Model Theory. Speirs, Martin
Math 5A Model Theory Speirs, Martin Autumn 013 General Information These notes are based on a course in Metamathematics taught by Professor Thomas Scanlon at UC Berkeley in the Autumn of 013. The course
More informationOn the Expressive Power of Logics on Finite Models
On the Expressive Power of Logics on Finite Models Phokion G. Kolaitis Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064, USA kolaitis@cs.ucsc.edu August 1, 2003 Partially
More informationOverview of Topics. Finite Model Theory. Finite Model Theory. Connections to Database Theory. Qing Wang
Overview of Topics Finite Model Theory Part 1: Introduction 1 What is finite model theory? 2 Connections to some areas in CS Qing Wang qing.wang@anu.edu.au Database theory Complexity theory 3 Basic definitions
More informationFINITE MODEL THEORY (MATH 285D, UCLA, WINTER 2017) LECTURE NOTES IN PROGRESS
FINITE MODEL THEORY (MATH 285D, UCLA, WINTER 2017) LECTURE NOTES IN PROGRESS ARTEM CHERNIKOV 1. Intro Motivated by connections with computational complexity (mostly a part of computer scientice today).
More informationRANDOM GRAPHS. Joel Spencer ICTP 12
RANDOM GRAPHS Joel Spencer ICTP 12 Graph Theory Preliminaries A graph G, formally speaking, is a pair (V (G), E(G)) where the elements v V (G) are called vertices and the elements of E(G), called edges,
More informationProperties of Almost All Graphs and Generalized Quantifiers
Fundamenta Informaticae XX (2009) 1 22 1 IOS Press Properties of Almost All Graphs and Generalized Quantifiers Anuj Dawar University of Cambridge Erich Grädel RWTH Aachen University Abstract. We study
More informationShort Descriptions. Random Structures. Joel Spencer. Courant Institute
WoLLIC 2005 Short Descriptions of Random Structures Joel Spencer Courant Institute 1 Succint Definitions General First Order Structure Def: D(G) = smallest quantifier depth of A that defines G What is
More informationThree Variables Suffice for Real-Time Logic
Three Variables Suffice for Real-Time Logic Timos Antonopoulos 1, Paul Hunter 2, Shahab Raza 1, and James Worrell 1 1 Department of Computer Science, Oxford University, UK {timos,shahab,jbw}@cs.ox.ac.uk
More informationMore Model Theory Notes
More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A M with A M finite, and any
More information0-1 LAWS IN LOGIC: AN OVERVIEW
0-1 LAWS IN LOGIC: AN OVERVIEW ANAND ABRAHAM Abstract. I give an overview of 0-1 laws in logic. I give a proof of the 0-1 law for first-order logic, and then guide the reader through a series of extensions
More informationCSE 20 DISCRETE MATH WINTER
CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationCSE 20 DISCRETE MATH SPRING
CSE 20 DISCRETE MATH SPRING 2016 http://cseweb.ucsd.edu/classes/sp16/cse20-ac/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationApplications of the Lopsided Lovász Local Lemma Regarding Hypergraphs
Regarding Hypergraphs Ph.D. Dissertation Defense April 15, 2013 Overview The Local Lemmata 2-Coloring Hypergraphs with the Original Local Lemma Counting Derangements with the Lopsided Local Lemma Lopsided
More informationOn the Dynamic Chromatic Number of Graphs
On the Dynamic Chromatic Number of Graphs Maryam Ghanbari Joint Work with S. Akbari and S. Jahanbekam Sharif University of Technology m_phonix@math.sharif.ir 1. Introduction Let G be a graph. A vertex
More informationREU Problems. Instructor: László Babai Last updated: Monday, July 11 (Problems added)
REU 2011 - Problems Instructor: László Babai e-mail: laci@cs.uchicago.edu Last updated: Monday, July 11 (Problems 48-53 added) 1. (Balancing numbers) Suppose we have 13 real numbers with the following
More informationYuri Gurevich. Microsoft Research One Microsoft Way, Redmond WA 98052, USA
THE LOGIC IN COMPUTER SCIENCE COLUMN BY YURI GUREVICH Microsoft Research One Microsoft Way, Redmond WA 98052, USA gurevich@microsoft.com ZERO-ONE LAWS: THESAURI AND PARAMETRIC CONDITIONS Andreas Blass
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationApplied Automata Theory
Applied Automata Theory Roland Meyer TU Kaiserslautern Roland Meyer (TU KL) Applied Automata Theory (WiSe 2013) 1 / 161 Table of Contents I 1 Regular Languages and Finite Automata Regular Languages Finite
More informationGraph homomorphism into an odd cycle
Graph homomorphism into an odd cycle Hong-Jian Lai West Virginia University, Morgantown, WV 26506 EMAIL: hjlai@math.wvu.edu Bolian Liu South China Normal University, Guangzhou, P. R. China EMAIL: liubl@hsut.scun.edu.cn
More information1 Unifying Themes in Finite Model Theory
1 Unifying Themes in Finite Model Theory Scott Weinstein One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages
More informationInfinite and Finite Model Theory Part II
Infinite and Finite Model Theory Part II Anuj Dawar Computer Laboratory University of Cambridge Lent 2002 3/2002 0 Finite Model Theory Finite Model Theory motivated by computational issues; relationship
More informationFirst Order Definability of Trees and Sparse Random Graphs
Combinatorics, Probability and Computing (2006) 00, 000 000. c 2006 Cambridge University Press DOI: 10.1017/S0000000000000000 Printed in the United Kingdom First Order Definability of Trees and Sparse
More informationComputing the endomorphism ring of an ordinary elliptic curve
Computing the endomorphism ring of an ordinary elliptic curve Massachusetts Institute of Technology April 3, 2009 joint work with Gaetan Bisson http://arxiv.org/abs/0902.4670 Elliptic curves An elliptic
More informationLanguages, logics and automata
Languages, logics and automata Anca Muscholl LaBRI, Bordeaux, France EWM summer school, Leiden 2011 1 / 89 Before all that.. Sonia Kowalewskaya Emmy Noether Julia Robinson All this attention has been gratifying
More informationA Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words Colin Riba ENS de Lyon, Université de Lyon, LIP colin.riba@ens-lyon.fr http://perso.ens-lyon.fr/colin.riba/
More informationMaximising the number of induced cycles in a graph
Maximising the number of induced cycles in a graph Natasha Morrison Alex Scott April 12, 2017 Abstract We determine the maximum number of induced cycles that can be contained in a graph on n n 0 vertices,
More informationThe Lefthanded Local Lemma characterizes chordal dependency graphs
The Lefthanded Local Lemma characterizes chordal dependency graphs Wesley Pegden March 30, 2012 Abstract Shearer gave a general theorem characterizing the family L of dependency graphs labeled with probabilities
More informationMath 473: Practice Problems for Test 1, Fall 2011, SOLUTIONS
Math 473: Practice Problems for Test 1, Fall 011, SOLUTIONS Show your work: 1. (a) Compute the Taylor polynomials P n (x) for f(x) = sin x and x 0 = 0. Solution: Compute f(x) = sin x, f (x) = cos x, f
More informationDualities for Constraint Satisfaction Problems
Dualities for Constraint Satisfaction Problems Andrei Bulatov 1, Andrei Krokhin 2, and Benoit Larose 3 1 School of Computing Science Simon Fraser University Burnaby, BC, Canada, V5A 1S6 abulatov@cs.sfu.ca
More informationSum and shifted-product subsets of product-sets over finite rings
Sum and shifted-product subsets of product-sets over finite rings Le Anh Vinh University of Education Vietnam National University, Hanoi vinhla@vnu.edu.vn Submitted: Jan 6, 2012; Accepted: May 25, 2012;
More informationDefinability of Recursive Predicates in the Induced Subgraph Order
Definability of Recursive Predicates in the Induced Subgraph Order Ramanathan S. Thinniyam Institute of Mathematical Sciences, Chennai 11 October, 2016 Graph Orders G is the set of all isomorphism types
More informationPRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction
PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS HUNTER LEHMANN AND ANDREW PARK Abstract. A graph on n vertices is said to admit a prime labeling if we can label its vertices with the first n natural
More informationstrict over graphs and innite over grids. 1 To establish this, they investigated sets of grids in which for each height the set contains exactly one g
The Monadic Quantier Alternation Hierarchy over Grids and Pictures Nicole Schweiardt Institut fur Informati, Universitat Mainz, D-55099 Mainz email: nisch@informati.uni-mainz.de July 30, 1997 Abstract
More informationMA441: Algebraic Structures I. Lecture 18
MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :
More informationReading and Writing. Mathematical Proofs. Slides by Arthur van Goetham
Reading and Writing Mathematical Proofs Slides by Arthur van Goetham What is a proof? Why explanations are not proofs What is a proof? A method for establishing truth What establishes truth depends on
More informationMATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM
MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM (FP1) The exclusive or operation, denoted by and sometimes known as XOR, is defined so that P Q is true iff P is true or Q is true, but not both. Prove (through
More informationCambridge University Press Dependence Logic. A New Approach to Independence Friendly Logic
Jouko Väänänen Dependence Logic A New Approach to Independence Friendly Logic Chapter 1 Dependence Logic Dependence logic introduces the concept of dependence into first order logic by adding a new kind
More information4 - Moore Graphs. Jacques Verstraëte
4 - Moore Graphs Jacques erstraëte jacques@ucsd.edu 1 Introduction In these notes, we focus on the problem determining the maximum number of edges in an n-vertex graph that does not contain short cycles.
More informationOn Some Polytopes Contained in the 0,1 Hypercube that Have a Small Chvátal Rank
On ome Polytopes Contained in the 0,1 Hypercube that Have a mall Chvátal Rank Gérard Cornuéjols Dabeen Lee April 2016, revised July 2017 Abstract In this paper, we consider polytopes P that are contained
More information= (, ) V λ (1) λ λ ( + + ) P = [ ( ), (1)] ( ) ( ) = ( ) ( ) ( 0 ) ( 0 ) = ( 0 ) ( 0 ) 0 ( 0 ) ( ( 0 )) ( ( 0 )) = ( ( 0 )) ( ( 0 )) ( + ( 0 )) ( + ( 0 )) = ( + ( 0 )) ( ( 0 )) P V V V V V P V P V V V
More informationLecture 3: MSO to Regular Languages
Lecture 3: MSO to Regular Languages To describe the translation from MSO formulas to regular languages one has to be a bit more formal! All the examples we used in the previous class were sentences i.e.,
More informationChoiceless polynomial time, counting and the Cai Fürer Immerman graphs
Annals of Pure and Applied Logic 152 (2008) 31 50 www.elsevier.com/locate/apal Choiceless polynomial time, counting and the Cai Fürer Immerman graphs Anuj Dawar a,, David Richerby b, Benjamin Rossman c
More information1 Introduction The computational complexity of a problem is the amount of resources, such as time or space, required by a machine that solves the prob
Easier Ways to Win Logical Games Ronald Fagin IBM Almaden Research Center 650 Harry Road San Jose, California 95120-6099 email: fagin@almaden.ibm.com URL: http://www.almaden.ibm.com/cs/people/fagin/ Abstract
More informationEvery Linear Order Isomorphic to Its Cube is Isomorphic to Its Square
Every Linear Order Isomorphic to Its Cube is Isomorphic to Its Square Garrett Ervin University of California, Irvine May 21, 2016 We do not know so far any type α such that α = α 3 = α 2. W. Sierpiński,
More informationEves Equihoop, The Card Game SET, and Abstract SET
Eves Equihoop, The Card Game SET, and Abstract SET Arthur Holshouser 3600 Bullard St Charlotte, NC, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 83,
More information