English
Related papers

Related papers: Distances between formal theories

200 papers

In this paper, we prove that two different observers don't equally measure the distance between two points A and B. For this, we introduce some postulates and obtain a new formula to show distance between A and B. In this formula, radius of…

General Physics · Physics 2007-05-23 M. Akbari , M. T. Darvishi

We explicitly prove the equivalence and construct a dictionary between two different supersymmetric formalisms for five-dimensional theories commonly used in the literature. One is the real formalism, which consists in doubling the number…

High Energy Physics - Theory · Physics 2011-02-11 David Diego

Measuring the distance between concepts is an important field of study of Natural Language Processing, as it can be used to improve tasks related to the interpretation of those same concepts. WordNet, which includes a wide variety of…

Computation and Language · Computer Science 2018-04-30 Raquel Pérez-Arnal , Armand Vilalta , Dario Garcia-Gasulla , Ulises Cortés , Eduard Ayguadé , Jesus Labarta

The concepts of similarity and distance are crucial in data mining. We consider the problem of defining the distance between two data sets by comparing summary statistics computed from the data sets. The initial definition of our distance…

Data Structures and Algorithms · Computer Science 2019-02-05 Nikolaj Tatti

The notion of task similarity is at the core of various machine learning paradigms, such as domain adaptation and meta-learning. Current methods to quantify it are often heuristic, make strong assumptions on the label sets across the tasks,…

Machine Learning · Computer Science 2020-02-10 David Alvarez-Melis , Nicolò Fusi

An alternating distance is a link invariant that measures how far away a link is from alternating. We study several alternating distances and demonstrate that there exist families of links for which the difference between certain…

Geometric Topology · Mathematics 2015-03-03 Adam M. Lowrance

I argue that, contrary to the standard view, one cannot understand the structure and nature of our knowledge in physics without an analysis of the way that observers (and, more generally, measuring instruments and experimental arrangements)…

History and Philosophy of Physics · Physics 2020-06-05 Erik Curiel

This work presents parallel histories of the development of two modern theories of condensed matter: the theory of electron structure in quantum mechanics, and the theory of liquid structure in statistical mechanics. Comparison shows that…

Statistical Mechanics · Physics 2019-03-15 David M. Rogers

Betweenness as a relation between three individual points has been widely studied in geometry and axiomatized by several authors in different contexts. The article proposes a more general notion of betweenness as a relation between three…

Logic · Mathematics 2020-06-16 Sanaz Azimipour , Pavel Naumov

Differential logical relations are a method to measure distances between higher-order programs. They differ from standard methods based on program metrics in that differences between functional programs are themselves functions, relating…

Logic in Computer Science · Computer Science 2025-05-05 Ugo Dal Lago , Naohiko Hoshino , Paolo Pistone

The notions of distance and similarity play a key role in many machine learning approaches, and artificial intelligence (AI) in general, since they can serve as an organizing principle by which individuals classify objects, form concepts…

Artificial Intelligence · Computer Science 2020-02-19 Santiago Ontañón

We extend a newly developed formal system for the description of astrophysical maps. In this formalism, we consider the difference between maps to be the distance between elements of a pseudometric space (the space of all such maps). This…

Astrophysics · Physics 2009-10-22 Fred C. Adams , Jennifer J. Wiseman

We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the total variation distance or trace distance) as well as by…

Formal Languages and Automata Theory · Computer Science 2016-06-27 Przemysław Daca , Thomas A. Henzinger , Jan Křetínský , Tatjana Petrov

Physical theories are developed to describe phenomena in particular regimes, and generally are valid only within a limited range of scales. For example, general relativity provides an effective description of the Universe at large length…

Increasingly, critical decisions in public policy, governance, and business strategy rely on a deeper understanding of the needs and opinions of constituent members (e.g. citizens, shareholders). While it has become easier to collect a…

Computation and Language · Computer Science 2020-01-28 Saket Gurukar , Deepak Ajwani , Sourav Dutta , Juho Lauri , Srinivasan Parthasarathy , Alessandra Sala

A distance measure is presented between two unitary propagators of quantum systems of differing dimensions along with a corresponding method of computation. A typical application is to compare the propagator of the actual (real) process…

Quantum Physics · Physics 2007-05-23 Robert L. Kosut , Matthew Grace , Constantin Brif , Herschel Rabitz

We study the distance between symmetry-violating quantum field theories and the surface of symmetric theories. We use this notion to quantify how precise Lorentz symmetry is today, according to experimental data. The metric in parameter…

High Energy Physics - Phenomenology · Physics 2011-09-19 Damiano Anselmi , Dario Buttazzo

One of the basic observations of the classical world is that physical entities are real and can be distinguished from each other. However, within quantum theory, the idea of physical realism is not well established. A framework to analyse…

Quantum Physics · Physics 2023-04-25 Shubhayan Sarkar

The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a…

High Energy Physics - Theory · Physics 2024-02-01 Alejandro Corichi , Juan D. Reyes , Tatjana Vukasinac

The general expression of the angular distance between two point sources as measured by an arbitrary observer is given. The modelling presented here is rigorous, covariant and valid in any space-time. The sources of light may be located at…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Pierre Teyssandier , Christophe Le Poncin-Lafitte