Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime

Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 var...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2021-12
Hauptverfasser: Hajnal Andréka, Madarász, Judit X, Németi, István, Székely, Gergely
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Hajnal Andréka
Madarász, Judit X
Németi, István
Székely, Gergely
description Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if \(n>2\). Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given.
doi_str_mv 10.48550/arxiv.2112.15152
format Article
fullrecord <record><control><sourceid>proquest_arxiv</sourceid><recordid>TN_cdi_arxiv_primary_2112_15152</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2616145410</sourcerecordid><originalsourceid>FETCH-LOGICAL-a520-414b37f62057ab4cb1e288914f4b56cd764108d9fd2c58d88527c5c35a2bf5fa3</originalsourceid><addsrcrecordid>eNotkMFOwzAQRC0kJKrSD-CEJa6k2Gtv4h5RBRSpiEvvkRPb1E2aBDuF9u9JWk6z0rzZXQ0hd5zNpUJkTzoc_c8cOIc5R45wRSYgBE-UBLghsxh3jDFIM0AUE1It231X26PvT9Q3tN_aQXobjHW-0YWvR6N1tPd7W_vKPtLaf237caS6MTR2ujwbNNha99Y0NsYx8OGbqv2Nlb8gY_6WXDtdRzv71ynZvL5slqtk_fn2vnxeJxqBJZLLQmQuBYaZLmRZcAtKLbh0ssC0NFkqOVNm4QyUqIxSCFmJpUANhUOnxZTcX9aem8i74Pc6nPKxkfzcyEA8XIgutN8HG_t81x5CM_yUQ8pTLnE4If4A0z1lPQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2616145410</pqid></control><display><type>article</type><title>Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime</title><source>Freely Accessible Journals</source><source>arXiv.org</source><creator>Hajnal Andréka ; Madarász, Judit X ; Németi, István ; Székely, Gergely</creator><creatorcontrib>Hajnal Andréka ; Madarász, Judit X ; Németi, István ; Székely, Gergely</creatorcontrib><description>Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if \(n&gt;2\). Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.2112.15152</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Complexity ; Mathematics - Logic ; Minkowski space ; Spacetime ; Variables</subject><ispartof>arXiv.org, 2021-12</ispartof><rights>2021. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,781,785,886,27929</link.rule.ids><backlink>$$Uhttps://doi.org/10.1016/j.apal.2022.103100$$DView published paper (Access to full text may be restricted)$$Hfree_for_read</backlink><backlink>$$Uhttps://doi.org/10.48550/arXiv.2112.15152$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Hajnal Andréka</creatorcontrib><creatorcontrib>Madarász, Judit X</creatorcontrib><creatorcontrib>Németi, István</creatorcontrib><creatorcontrib>Székely, Gergely</creatorcontrib><title>Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime</title><title>arXiv.org</title><description>Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if \(n&gt;2\). Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given.</description><subject>Complexity</subject><subject>Mathematics - Logic</subject><subject>Minkowski space</subject><subject>Spacetime</subject><subject>Variables</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GOX</sourceid><recordid>eNotkMFOwzAQRC0kJKrSD-CEJa6k2Gtv4h5RBRSpiEvvkRPb1E2aBDuF9u9JWk6z0rzZXQ0hd5zNpUJkTzoc_c8cOIc5R45wRSYgBE-UBLghsxh3jDFIM0AUE1It231X26PvT9Q3tN_aQXobjHW-0YWvR6N1tPd7W_vKPtLaf237caS6MTR2ujwbNNha99Y0NsYx8OGbqv2Nlb8gY_6WXDtdRzv71ynZvL5slqtk_fn2vnxeJxqBJZLLQmQuBYaZLmRZcAtKLbh0ssC0NFkqOVNm4QyUqIxSCFmJpUANhUOnxZTcX9aem8i74Pc6nPKxkfzcyEA8XIgutN8HG_t81x5CM_yUQ8pTLnE4If4A0z1lPQ</recordid><startdate>20211230</startdate><enddate>20211230</enddate><creator>Hajnal Andréka</creator><creator>Madarász, Judit X</creator><creator>Németi, István</creator><creator>Székely, Gergely</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20211230</creationdate><title>Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime</title><author>Hajnal Andréka ; Madarász, Judit X ; Németi, István ; Székely, Gergely</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a520-414b37f62057ab4cb1e288914f4b56cd764108d9fd2c58d88527c5c35a2bf5fa3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><topic>Complexity</topic><topic>Mathematics - Logic</topic><topic>Minkowski space</topic><topic>Spacetime</topic><topic>Variables</topic><toplevel>online_resources</toplevel><creatorcontrib>Hajnal Andréka</creatorcontrib><creatorcontrib>Madarász, Judit X</creatorcontrib><creatorcontrib>Németi, István</creatorcontrib><creatorcontrib>Székely, Gergely</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Access via ProQuest (Open Access)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>arXiv Mathematics</collection><collection>arXiv.org</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hajnal Andréka</au><au>Madarász, Judit X</au><au>Németi, István</au><au>Székely, Gergely</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime</atitle><jtitle>arXiv.org</jtitle><date>2021-12-30</date><risdate>2021</risdate><eissn>2331-8422</eissn><abstract>Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if \(n&gt;2\). Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.2112.15152</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2021-12
issn 2331-8422
language eng
recordid cdi_arxiv_primary_2112_15152
source Freely Accessible Journals; arXiv.org
subjects Complexity
Mathematics - Logic
Minkowski space
Spacetime
Variables
title Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-16T23%3A12%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_arxiv&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Complexity%20in%20the%20interdefinability%20of%20timelike,%20lightlike%20and%20spacelike%20relatedness%20of%20Minkowski%20spacetime&rft.jtitle=arXiv.org&rft.au=Hajnal%20Andr%C3%A9ka&rft.date=2021-12-30&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.2112.15152&rft_dat=%3Cproquest_arxiv%3E2616145410%3C/proquest_arxiv%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2616145410&rft_id=info:pmid/&rfr_iscdi=true