{"data":{"id":"10.48550/arxiv.2609.26778","type":"dois","attributes":{"doi":"10.48550/arxiv.2609.26778","prefix":"10.48550","suffix":"arxiv.2609.26778","identifiers":[{"identifier":"2609.26778","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"2609.26778"}],"creators":[{"name":"Uezato, Yuya","nameType":"Personal","givenName":"Yuya","familyName":"Uezato","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"An Exponential Succinctness Gap between Three-Variable Logic and the Calculus of Relations"}],"publisher":"arXiv","container":{},"publicationYear":2026,"subjects":[{"lang":"en","subject":"Logic in Computer Science (cs.LO)","subjectScheme":"arXiv"},{"lang":"en","subject":"Computational Complexity (cs.CC)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"}],"contributors":[],"dates":[{"date":"2026-09-22T17:55:06Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2026-09-23T01:17:03Z","dateType":"Updated","dateInformation":"v1"},{"date":"2026-09","dateType":"Available","dateInformation":"v1"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"Three-variable first-order logic (FO3) and the calculus of relations (CoR) define the same binary queries, an equivalence going back to Tarski in the 1940s. While the classical translation $\\text{FO3} \\Rightarrow \\text{CoR}$ is exponential, we prove that this blow-up is unavoidable, resolving a long-standing open question. We construct positive formulas $φ$ with a single quantifier whose equivalent terms require size $2^{Ω(|φ|)}$, even over finite structures and circuit representations with subterm sharing. Our proof uses a preservation argument over a single finite structure. This approach applies beyond our primary question, establishing the lower bound even for size-specific circuits and bounded-error randomized circuits, and yielding an analogous exponential gap for the matrix query language MATLANG.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4yNjA5LjI2Nzc4PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MjYwOS4yNjc3ODwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5VZXphdG8sIFl1eWE8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPll1eWE8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+VWV6YXRvPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5BbiBFeHBvbmVudGlhbCBTdWNjaW5jdG5lc3MgR2FwIGJldHdlZW4gVGhyZWUtVmFyaWFibGUgTG9naWMgYW5kIHRoZSBDYWxjdWx1cyBvZiBSZWxhdGlvbnM8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMjY8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Mb2dpYyBpbiBDb21wdXRlciBTY2llbmNlIChjcy5MTyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Db21wdXRhdGlvbmFsIENvbXBsZXhpdHkgKGNzLkNDKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHN1YmplY3RTY2hlbWU9IkZpZWxkcyBvZiBTY2llbmNlIGFuZCBUZWNobm9sb2d5IChGT1MpIj5GT1M6IENvbXB1dGVyIGFuZCBpbmZvcm1hdGlvbiBzY2llbmNlczwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMjYtMDktMjJUMTc6NTU6MDZaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMjYtMDktMjNUMDE6MTc6MDNaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IkF2YWlsYWJsZSIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAyNi0wOTwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iUHJlcHJpbnQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvbm9uZXhjbHVzaXZlLWRpc3RyaWIvMS4wLyI+YXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlPC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+VGhyZWUtdmFyaWFibGUgZmlyc3Qtb3JkZXIgbG9naWMgKEZPMykgYW5kIHRoZSBjYWxjdWx1cyBvZiByZWxhdGlvbnMgKENvUikgZGVmaW5lIHRoZSBzYW1lIGJpbmFyeSBxdWVyaWVzLCBhbiBlcXVpdmFsZW5jZSBnb2luZyBiYWNrIHRvIFRhcnNraSBpbiB0aGUgMTk0MHMuIFdoaWxlIHRoZSBjbGFzc2ljYWwgdHJhbnNsYXRpb24gJFx0ZXh0e0ZPM30gXFJpZ2h0YXJyb3cgXHRleHR7Q29SfSQgaXMgZXhwb25lbnRpYWwsIHdlIHByb3ZlIHRoYXQgdGhpcyBibG93LXVwIGlzIHVuYXZvaWRhYmxlLCByZXNvbHZpbmcgYSBsb25nLXN0YW5kaW5nIG9wZW4gcXVlc3Rpb24uIFdlIGNvbnN0cnVjdCBwb3NpdGl2ZSBmb3JtdWxhcyAkz4YkIHdpdGggYSBzaW5nbGUgcXVhbnRpZmllciB3aG9zZSBlcXVpdmFsZW50IHRlcm1zIHJlcXVpcmUgc2l6ZSAkMl57zqkofM+GfCl9JCwgZXZlbiBvdmVyIGZpbml0ZSBzdHJ1Y3R1cmVzIGFuZCBjaXJjdWl0IHJlcHJlc2VudGF0aW9ucyB3aXRoIHN1YnRlcm0gc2hhcmluZy4gT3VyIHByb29mIHVzZXMgYSBwcmVzZXJ2YXRpb24gYXJndW1lbnQgb3ZlciBhIHNpbmdsZSBmaW5pdGUgc3RydWN0dXJlLiBUaGlzIGFwcHJvYWNoIGFwcGxpZXMgYmV5b25kIG91ciBwcmltYXJ5IHF1ZXN0aW9uLCBlc3RhYmxpc2hpbmcgdGhlIGxvd2VyIGJvdW5kIGV2ZW4gZm9yIHNpemUtc3BlY2lmaWMgY2lyY3VpdHMgYW5kIGJvdW5kZWQtZXJyb3IgcmFuZG9taXplZCBjaXJjdWl0cywgYW5kIHlpZWxkaW5nIGFuIGFuYWxvZ291cyBleHBvbmVudGlhbCBnYXAgZm9yIHRoZSBtYXRyaXggcXVlcnkgbGFuZ3VhZ2UgTUFUTEFORy48L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/2609.26778","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":"2026-09-23T02:43:21.000Z","registered":"2026-09-23T02:43:22.000Z","published":"2026","updated":"2026-09-23T02:43:22.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.2609.26778","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}