More Like this

1. Hybrid Equivalence/Non-Equivalence Testing

   https://doi.org/10.1109/ICST62969.2025.10988990  

   Sarker, Laboni; Bultan, Tevfik (March 2025, IEEE)
2. Coarse equivalence versus bijective coarse equivalence of expander graphs

   https://doi.org/10.1007/s00209-024-03512-w  

   Baudier, Florent P; Braga, Bruno M; Farah, Ilijas; Vignati, Alessandro; Willett, Rufus (July 2024, Mathematische Zeitschrift)

   We provide a characterization of when a coarse equivalence between coarse disjoint unions of expander graphs is close to a bijective coarse equivalence. We use this to show that if the uniform Roe algebras over metric spaces that are coarse unions of expanders graphs are isomorphic, then the metric spaces must be bijectively coarsely equivalent. 

   more » « less
3. Newtonian Equivalence Principles

   Teh, Nicholas; Read, James (February 2022, Erkenntnis)

   The equivalence principle has constituted one of the cornerstones of discussions in the foundations of spacetime theories over the past century. However, up to this point the principle has been considered overwhelmingly only within the context of relativistic physics. In this article, we demonstrate that the principle has much broader, super-theoretic significance: to do so, we present a unified framework for understanding the principle in its various guises, applicable to both relativistic and Newtonian contexts. We thereby deepen significantly our understanding of the role played by the equivalence principle in a broad class of spacetime theories. 

   more » « less
4. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

   https://doi.org/10.1017/S1471068421000545  

   LIERLER, YULIYA (May 2022, Theory and Practice of Logic Programming)

   Abstract Answer set programming is a prominent declarative programming paradigm used in formulating combinatorial search problems and implementing different knowledge representation formalisms. Frequently, several related and yet substantially different answer set programs exist for a given problem. Sometimes these encodings may display significantly different performance. Uncovering precise formal links between these programs is often important and yet far from trivial. This paper presents formal results carefully relating a number of interesting program rewritings. It also provides the proof of correctness of system projector concerned with automatic program rewritings for the sake of efficiency. 

   more » « less
5. Testing equivalence of clustering

   https://doi.org/10.1214/21-AOS2113  

   Gao, Chao; Ma, Zongming (February 2022, The Annals of Statistics)