Representation theorems obtained by mining across web sources for hints
Abstract
A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properties. Establishing that the two structures substantially behave in the same way, representation theorems typically provide insight and generate powerful techniques to study the involved structures, by cross-fertilising between the methodologies existing for each of the respective branches of mathematics. When the related structures have no obvious a priori connection, however, such results can be, by their own nature, elusive. Here, we show how data-mining across distinct web sources (including the Online Encyclopedia of Integer Sequences, OEIS), was crucial in the discovery of two original representation theorems relating event structures (mathematical structures commonly used to represent concurrent discrete systems) to families of sets (endowed with elementary disjointness and subset relations) and to full graphs, respectively. The latter originally emerged in the apparently unrelated field of bioinformatics. As expected, our representation theorems are powerful, allowing to capitalise on existing theorems about full graphs to immediately conclude new facts about event structures. Our contribution is twofold: on one hand, we illustrate our novel method to mine the web, resulting in thousands of candidate connections between distinct mathematical realms; on the other hand, we explore one of these connections to obtain our new representation theorems. We hope this paper can encourage people with relevant expertise to scrutinize these candidate connections. We anticipate that, building on the ideas presented here, further connections can be unearthed, by refining the mining techniques and by extending the mined repositories.
Citation
Caminati , M & Kuster Filipe Bowles , J 2023 , Representation theorems obtained by mining across web sources for hints . in 6th International Conference on Information and Computer Technologies (ICICT), Raleigh, United States, Mar 24 - Mar 26, 2023 . International Conference on Inventive Computation Technologies (ICICT) , IEEE Computer Society , International Conference on Inventive Computation Technologies (ICICT) , Raleigh , North Carolina , United States , 24/03/23 . conference
Publication
6th International Conference on Information and Computer Technologies (ICICT), Raleigh, United States, Mar 24 - Mar 26, 2023
ISSN
2767-777XType
Conference item
Rights
Copyright © 2023 IEEE. This work has been made available online in accordance with publisher policies or with permission. Permission for further reuse of this content should be sought from the publisher or the rights holder. This is the author created accepted manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at ieeexplore.com.
Description
Funding: JKFB partially supported by the Austrian Science Fund under FWF Meitner project M-3338.Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.