{"data":{"id":"10.48550/arxiv.math/0008220","type":"dois","attributes":{"doi":"10.48550/arxiv.math/0008220","prefix":"10.48550","suffix":"arxiv.math/0008220","identifiers":[{"identifier":"math/0008220","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"math/0008220"}],"creators":[{"name":"Cohn, Henry","nameType":"Personal","givenName":"Henry","familyName":"Cohn","affiliation":[],"nameIdentifiers":[]},{"name":"Kenyon, Richard","nameType":"Personal","givenName":"Richard","familyName":"Kenyon","affiliation":[],"nameIdentifiers":[]},{"name":"Propp, James","nameType":"Personal","givenName":"James","familyName":"Propp","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"A variational principle for domino tilings"}],"publisher":"arXiv","container":{},"publicationYear":2000,"subjects":[{"lang":"en","subject":"Combinatorics (math.CO)","subjectScheme":"arXiv"},{"lang":"en","subject":"Probability (math.PR)","subjectScheme":"arXiv"},{"subject":"FOS: Mathematics","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Mathematics","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"82B20, 82B23, 82B30","subjectScheme":"MSC"}],"contributors":[],"dates":[{"date":"2000-08-30T00:09:42Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2009-11-30T17:17:01Z","dateType":"Updated","dateInformation":"v1"},{"date":"2000-10-26T23:45:45Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2009-11-30T17:17:01Z","dateType":"Updated","dateInformation":"v2"},{"date":"2001-09-05T06:11:12Z","dateType":"Submitted","dateInformation":"v3"},{"date":"2012-03-15T00:01:17Z","dateType":"Updated","dateInformation":"v3"},{"date":"2000-08","dateType":"Available","dateInformation":"v1"},{"date":"2000","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1090/s0894-0347-00-00355-6","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"3","rightsList":[{"rights":"Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004","rightsUri":"http://arxiv.org/licenses/assumed-1991-2003/"}],"descriptions":[{"description":"We formulate and prove a variational principle (in the sense of thermodynamics) for random domino tilings, or equivalently for the dimer model on a square grid. This principle states that a typical tiling of an arbitrary finite region can be described by a function that maximizes an entropy integral. We associate an entropy to every sort of local behavior domino tilings can exhibit, and prove that almost all tilings lie within epsilon (for an appropriate metric) of the unique entropy-maximizing solution. This gives a solution to the dimer problem with fully general boundary conditions, thereby resolving an issue first raised by Kasteleyn. Our methods also apply to dimer models on other grids and their associated tiling models, such as tilings of the plane by three orientations of unit lozenges.","descriptionType":"Abstract"},{"description":"49 pages, 7 figures. This revision of the published paper corrects a typo (reversal of s and t, and an incorrect sign) that propagated through several equations. See the first page for details. All changes from the published version are also marked with \"UPDATE\" in the TeX source. None of the logic needed to be changed","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi5NQVRILzAwMDgyMjA8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij5tYXRoLzAwMDgyMjA8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+Q29obiwgSGVucnk8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkhlbnJ5PC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkNvaG48L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+S2VueW9uLCBSaWNoYXJkPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5SaWNoYXJkPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPktlbnlvbjwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5Qcm9wcCwgSmFtZXM8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkphbWVzPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlByb3BwPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5BIHZhcmlhdGlvbmFsIHByaW5jaXBsZSBmb3IgZG9taW5vIHRpbGluZ3M8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMDA8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Db21iaW5hdG9yaWNzIChtYXRoLkNPKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPlByb2JhYmlsaXR5IChtYXRoLlBSKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHN1YmplY3RTY2hlbWU9IkZpZWxkcyBvZiBTY2llbmNlIGFuZCBUZWNobm9sb2d5IChGT1MpIj5GT1M6IE1hdGhlbWF0aWNzPC9zdWJqZWN0PgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJNU0MiPjgyQjIwLCA4MkIyMywgODJCMzA8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8ZGF0ZXM+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDAwLTA4LTMwVDAwOjA5OjQyWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDA5LTExLTMwVDE3OjE3OjAxWjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjIiPjIwMDAtMTAtMjZUMjM6NDU6NDVaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjIiPjIwMDktMTEtMzBUMTc6MTc6MDFaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MyI+MjAwMS0wOS0wNVQwNjoxMToxMlo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MyI+MjAxMi0wMy0xNVQwMDowMToxN1o8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iQXZhaWxhYmxlIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDAwLTA4PC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJUZXh0Ij5BcnRpY2xlPC9yZXNvdXJjZVR5cGU+CiAgPHJlbGF0ZWRJZGVudGlmaWVycz4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IkRPSSIgcmVsYXRpb25UeXBlPSJJc1ZlcnNpb25PZiI+MTAuMTA5MC9TMDg5NC0wMzQ3LTAwLTAwMzU1LTY8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDx2ZXJzaW9uPjM8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cDovL2FyeGl2Lm9yZy9saWNlbnNlcy9hc3N1bWVkLTE5OTEtMjAwMy8iPkFzc3VtZWQgYXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlIHRvIGRpc3RyaWJ1dGUgdGhpcyBhcnRpY2xlIGZvciBzdWJtaXNzaW9ucyBtYWRlIGJlZm9yZSBKYW51YXJ5IDIwMDQ8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5XZSBmb3JtdWxhdGUgYW5kIHByb3ZlIGEgdmFyaWF0aW9uYWwgcHJpbmNpcGxlIChpbiB0aGUgc2Vuc2Ugb2YgdGhlcm1vZHluYW1pY3MpIGZvciByYW5kb20gZG9taW5vIHRpbGluZ3MsIG9yIGVxdWl2YWxlbnRseSBmb3IgdGhlIGRpbWVyIG1vZGVsIG9uIGEgc3F1YXJlIGdyaWQuIFRoaXMgcHJpbmNpcGxlIHN0YXRlcyB0aGF0IGEgdHlwaWNhbCB0aWxpbmcgb2YgYW4gYXJiaXRyYXJ5IGZpbml0ZSByZWdpb24gY2FuIGJlIGRlc2NyaWJlZCBieSBhIGZ1bmN0aW9uIHRoYXQgbWF4aW1pemVzIGFuIGVudHJvcHkgaW50ZWdyYWwuIFdlIGFzc29jaWF0ZSBhbiBlbnRyb3B5IHRvIGV2ZXJ5IHNvcnQgb2YgbG9jYWwgYmVoYXZpb3IgZG9taW5vIHRpbGluZ3MgY2FuIGV4aGliaXQsIGFuZCBwcm92ZSB0aGF0IGFsbW9zdCBhbGwgdGlsaW5ncyBsaWUgd2l0aGluIGVwc2lsb24gKGZvciBhbiBhcHByb3ByaWF0ZSBtZXRyaWMpIG9mIHRoZSB1bmlxdWUgZW50cm9weS1tYXhpbWl6aW5nIHNvbHV0aW9uLiBUaGlzIGdpdmVzIGEgc29sdXRpb24gdG8gdGhlIGRpbWVyIHByb2JsZW0gd2l0aCBmdWxseSBnZW5lcmFsIGJvdW5kYXJ5IGNvbmRpdGlvbnMsIHRoZXJlYnkgcmVzb2x2aW5nIGFuIGlzc3VlIGZpcnN0IHJhaXNlZCBieSBLYXN0ZWxleW4uIE91ciBtZXRob2RzIGFsc28gYXBwbHkgdG8gZGltZXIgbW9kZWxzIG9uIG90aGVyIGdyaWRzIGFuZCB0aGVpciBhc3NvY2lhdGVkIHRpbGluZyBtb2RlbHMsIHN1Y2ggYXMgdGlsaW5ncyBvZiB0aGUgcGxhbmUgYnkgdGhyZWUgb3JpZW50YXRpb25zIG9mIHVuaXQgbG96ZW5nZXMuPC9kZXNjcmlwdGlvbj4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9Ik90aGVyIj40OSBwYWdlcywgNyBmaWd1cmVzLiBUaGlzIHJldmlzaW9uIG9mIHRoZSBwdWJsaXNoZWQgcGFwZXIgY29ycmVjdHMgYSB0eXBvIChyZXZlcnNhbCBvZiBzIGFuZCB0LCBhbmQgYW4gaW5jb3JyZWN0IHNpZ24pIHRoYXQgcHJvcGFnYXRlZCB0aHJvdWdoIHNldmVyYWwgZXF1YXRpb25zLiBTZWUgdGhlIGZpcnN0IHBhZ2UgZm9yIGRldGFpbHMuIEFsbCBjaGFuZ2VzIGZyb20gdGhlIHB1Ymxpc2hlZCB2ZXJzaW9uIGFyZSBhbHNvIG1hcmtlZCB3aXRoICJVUERBVEUiIGluIHRoZSBUZVggc291cmNlLiBOb25lIG9mIHRoZSBsb2dpYyBuZWVkZWQgdG8gYmUgY2hhbmdlZDwvZGVzY3JpcHRpb24+CiAgPC9kZXNjcmlwdGlvbnM+CjwvcmVzb3VyY2U+","url":"https://arxiv.org/abs/math/0008220","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-19T19:29:12.000Z","registered":"2022-03-19T19:29:13.000Z","published":"2000","updated":"2022-03-19T19:29:13.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.math/0008220","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}