-
Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
Authors:
Åsa Hirvonen,
Joni Puljujärvi
Abstract:
We define a version of the Ehrenfeucht-Fraïssé game in the setting of metric model theory and continuous first-order logic and show that the second player having a winning strategy in a game of length $n$ exactly corresponds to being elementarily equivalent up to quantifier rank $n$. We then demonstrate the usefulness of the game with some examples. Finally, we discus connections between the game…
▽ More
We define a version of the Ehrenfeucht-Fraïssé game in the setting of metric model theory and continuous first-order logic and show that the second player having a winning strategy in a game of length $n$ exactly corresponds to being elementarily equivalent up to quantifier rank $n$. We then demonstrate the usefulness of the game with some examples. Finally, we discus connections between the game of length $ω$ and infinitary logic.
△ Less
Submitted 25 April, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Games and Scott sentences for positive distances between metric structures
Authors:
Åsa Hirvonen,
Joni Puljujärvi
Abstract:
We develop various Ehrenfeucht-Fraïssé games for distances between metric structures. We study two forms of distances: pseudometrics stemming from mapping spaces onto each other with some form of approximate isomorphism, and metrics stemming from measuring the distances between two spaces isometrically embedded into a third space. Using an infinitary version of Henson's positive bounded logic with…
▽ More
We develop various Ehrenfeucht-Fraïssé games for distances between metric structures. We study two forms of distances: pseudometrics stemming from mapping spaces onto each other with some form of approximate isomorphism, and metrics stemming from measuring the distances between two spaces isometrically embedded into a third space. Using an infinitary version of Henson's positive bounded logic with approximations, we form Scott sentences capturing fixed distances to a given space. The Scott sentences of separable spaces are in $\mathcal{L}_{ω_1ω}$ for 0-distances and in $\mathcal{L}_{ω_2ω}$ for positive distances.
△ Less
Submitted 9 June, 2021; v1 submitted 1 February, 2021;
originally announced February 2021.
-
On ultraproducts, the spectral theorem and rigged Hilbert spaces
Authors:
Åsa Hirvonen,
Tapani Hyttinen
Abstract:
We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral measure is obtained as an ultralimit of counting measures that arise naturally from the finite dimensional approximations. Then we see how generalized distributions c…
▽ More
We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral measure is obtained as an ultralimit of counting measures that arise naturally from the finite dimensional approximations. Then we see how generalized distributions can be interpreted in the ultraproduct. Finally we study how one can calculate kernels of operators $K$ by calculating them in the finite dimensional approximations and how one needs to interpret Dirac deltas in the ultraproduct in order to get the kernels as propagators $\langle x_{1}|K|x_{0}\rangle$.
△ Less
Submitted 15 August, 2022; v1 submitted 10 February, 2020;
originally announced February 2020.
-
Facets of Distribution Identities in Probabilistic Team Semantics
Authors:
Miika Hannula,
Åsa Hirvonen,
Juha Kontinen,
Vadim Kulikov,
Jonni Virtema
Abstract:
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order th…
▽ More
We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication problem of conditional independence.
△ Less
Submitted 25 February, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
On Eigenvectors, Approximations and the Feynman Propagator
Authors:
Åsa Hirvonen,
Tapani Hyttinen
Abstract:
Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product…
▽ More
Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product $\langle x_{0}| K^{t}| x_{1}\rangle $ of the eigenvector $| x_{0}\rangle $ of the position operator with eigenvalue $x_{0}$ and $K^{t}(| x_{1}\rangle )$, where $K^{t}$ is the time evolution operator. However, due to a discretising effect, the eigenvector method does not work as expected, and without heavy case-by-case scaling, it gives the wrong value. We look at this phenomenon, and then complement this by showing how to instead calculate the kernel of the time evolution operator (for both the free particle and the harmonic oscillator) in the limit model. We believe that our method of calculating these is new.
△ Less
Submitted 16 March, 2018; v1 submitted 19 June, 2014;
originally announced July 2014.
-
Measuring dependence in metric abstract elementary classes with perturbations
Authors:
Åsa Hirvonen,
Tapani Hyttinen
Abstract:
We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we give a new example of such a class based on B. Zilber's approximations of Weyl algebras. We introduce a way to measure the dependence of a tuple $a$ from a se…
▽ More
We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we give a new example of such a class based on B. Zilber's approximations of Weyl algebras. We introduce a way to measure the dependence of a tuple $a$ from a set $B$ over another set $A$. We prove basic properties of the notion, e.g. that $a$ is independent of $B$ over $A$ in the usual sense of homogeneous model theory if and only if the measure of dependence is $<\varepsilon$ for all $\varepsilon >0$. As an example of our measure of dependence we show a connection between the measure and entropy in models from quantum mechanics in which the spectrum of the observable is discrete. As an application, we show that weak simplicity implies a very strong form of simplicity and study the question of when the dependence inside a set of all realisations of some type can be seen to arise from a pregeometry in cases when the type is not regular. In the end of the paper, we demonstrate our notions and results in one more example: a class built from the $p$-adic integers.
△ Less
Submitted 5 January, 2016; v1 submitted 15 November, 2013;
originally announced November 2013.
