{"id":"https://openalex.org/W2549812530","doi":"https://doi.org/10.1137/16m1103105","title":"Short Monadic Second Order Sentences about Sparse Random Graphs","display_name":"Short Monadic Second Order Sentences about Sparse Random Graphs","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2549812530","doi":"https://doi.org/10.1137/16m1103105","mag":"2549812530"},"language":"en","primary_location":{"id":"doi:10.1137/16m1103105","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1103105","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Discrete Mathematics","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1611.07260","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048570599","display_name":"Andrey Kupavskii","orcid":"https://orcid.org/0000-0002-8313-9598"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Andrey Kupavskii","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5054841023","display_name":"Maksim Zhukovskii","orcid":"https://orcid.org/0000-0001-8763-9533"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maksim Zhukovskii","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048570599"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04328594,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"4","first_page":"2916","last_page":"2940"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9825999736785889,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.7212827205657959},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7205163240432739},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6900134682655334},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6211435198783875},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6210488080978394},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4610736668109894},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.452208012342453},{"id":"https://openalex.org/keywords/random-graph","display_name":"Random graph","score":0.42779165506362915},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.42254117131233215},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4209389388561249},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3861938416957855},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12425026297569275},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.06304487586021423}],"concepts":[{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.7212827205657959},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7205163240432739},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6900134682655334},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6211435198783875},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6210488080978394},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4610736668109894},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.452208012342453},{"id":"https://openalex.org/C47458327","wikidata":"https://www.wikidata.org/wiki/Q910404","display_name":"Random graph","level":3,"score":0.42779165506362915},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42254117131233215},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4209389388561249},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3861938416957855},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12425026297569275},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.06304487586021423},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1137/16m1103105","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1103105","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Discrete Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1611.07260","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1611.07260","pdf_url":"https://arxiv.org/pdf/1611.07260","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:2549812530","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1611.07260.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1611.07260","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1611.07260","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1611.07260","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1611.07260","pdf_url":"https://arxiv.org/pdf/1611.07260","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7400000095367432}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2549812530.pdf","grobid_xml":"https://content.openalex.org/works/W2549812530.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W86998899","https://openalex.org/W1482193060","https://openalex.org/W1489321990","https://openalex.org/W1555138513","https://openalex.org/W1564608677","https://openalex.org/W1982187375","https://openalex.org/W2024203276","https://openalex.org/W2051240017","https://openalex.org/W2068871408","https://openalex.org/W2069699650","https://openalex.org/W2091969666","https://openalex.org/W2246894666","https://openalex.org/W2337348193","https://openalex.org/W2963657400","https://openalex.org/W2964003570","https://openalex.org/W3144881883"],"related_works":["https://openalex.org/W2963148710","https://openalex.org/W2549896219","https://openalex.org/W2605767958","https://openalex.org/W2949256186","https://openalex.org/W1863247200","https://openalex.org/W2570749142","https://openalex.org/W2787425780","https://openalex.org/W2798639752","https://openalex.org/W2261362319","https://openalex.org/W2918455166","https://openalex.org/W2952496718","https://openalex.org/W2177135789","https://openalex.org/W2621954993","https://openalex.org/W2294521271","https://openalex.org/W2090259153","https://openalex.org/W2741357933","https://openalex.org/W2950522257","https://openalex.org/W2725094258","https://openalex.org/W1984581643","https://openalex.org/W1978098265"],"abstract_inverted_index":{"In":[0,66],"this":[1,67,118,177],"paper,":[2,68],"we":[3,38,69,179],"study":[4],"zero-one":[5,44,103,112,122,138,168],"laws":[6,104],"for":[7,21,64,105,124,135,140,165,170],"the":[8,15,43,47,86,89,96,99,111,121,137,153,156,167,181],"Erd\u00f6s--R\u00e9nyi":[9],"random":[10],"graph":[11],"model":[12],"$G(n,p)$":[13,41,187],"in":[14,95,150],"case":[16,154],"when":[17],"$p":[18],"=":[19],"n^{-\\alpha}$":[20],"$\\alpha>0$.":[22],"For":[23],"a":[24,34],"given":[25,35],"class":[26,48],"$\\mathcal{K}$":[27],"of":[28,79,88,92,107,117,155,163,183,186,191],"logical":[29],"sentences":[30],"about":[31],"graphs":[32],"and":[33,74],"function":[36],"$p=p(n)$,":[37],"say":[39],"that":[40,84,188],"obeys":[42],"law":[45],"(w.r.t.":[46],"$\\mathcal{K}$)":[49],"if":[50],"each":[51],"sentence":[52],"$\\varphi\\in\\mathcal{K}$":[53],"is":[54],"either":[55],"asymptotically":[56],"almost":[57],"surely":[58],"(a.a.s.)":[59],"true":[60],"or":[61],"a.a.s.":[62],"false":[63],"$G(n,p)$.":[65],"consider":[70],"first":[71],"order":[72,77,127],"properties":[73,78,106,142,172,185],"monadic":[75,125],"second":[76,126],"bounded":[80],"quantifier":[81,108],"depth":[82,109],"$k$,":[83],"is,":[85],"length":[87],"longest":[90],"chain":[91],"nested":[93],"quantifiers":[94],"formula":[97],"expressing":[98],"property.":[100],"We":[101,130,146],"call":[102],"$k$":[110],"$k$-laws.":[113],"The":[114],"main":[115],"results":[116],"paper":[119],"concern":[120],"$k$-laws":[123],"(MSO)":[128],"properties.":[129],"determine":[131],"all":[132],"values":[133,162],"$\\alpha>0$,":[134],"which":[136,166],"$3$-law":[139],"MSO":[141,171],"does":[143,173],"not":[144,174],"hold.":[145,175],"also":[147],"show":[148],"that,":[149],"contrast":[151],"to":[152],"$3$-law,":[157],"there":[158],"are":[159],"infinitely":[160],"many":[161],"$\\alpha$":[164],"$4$-law":[169],"To":[176],"end,":[178],"analyze":[180],"evolution":[182],"certain":[184],"may":[189],"be":[190],"independent":[192],"interest.":[193]},"counts_by_year":[],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}