Showing 1–3 of 3 results for author: Chevalier, A

Model Theory of Scattered Piecewise Interpretable Hilbert Spaces

Authors: Alexis Chevalier

Abstract: We study scattered piecewise interpretable Hilbert spaces from a model theoretic point of view. We establish strong connections between the Hilbert space structure theorems of [Chevalier Hrushovski 2021] and the model theoretic notions of canonical bases, one-basedness and model theoretic ranks. We study scattered piecewise interpretable Hilbert spaces from a model theoretic point of view. We establish strong connections between the Hilbert space structure theorems of [Chevalier Hrushovski 2021] and the model theoretic notions of canonical bases, one-basedness and model theoretic ranks. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 11 pages. Comments welcome

An Algebraic Hypergraph Regularity Lemma

Authors: Alexis Chevalier, Elad Levi

Abstract: Szemerédi's regularity lemma is a powerful tool in graph theory. It states that for every large enough graph, there exists a partition of the edge set with bounded size such that most induced subgraphs are quasirandom. When the graph is a definable set $φ(x, y)$ in a finite field $F_q$, Tao's algebraic graph regularity lemma shows that there is a partition of the graph $φ(x, y)$ such that all indu… ▽ More Szemerédi's regularity lemma is a powerful tool in graph theory. It states that for every large enough graph, there exists a partition of the edge set with bounded size such that most induced subgraphs are quasirandom. When the graph is a definable set $φ(x, y)$ in a finite field $F_q$, Tao's algebraic graph regularity lemma shows that there is a partition of the graph $φ(x, y)$ such that all induced subgraphs are quasirandom and the error bound on quasirandomness is $O(q^{-1/4})$. In this work we prove an algebraic hypergraph regularity lemma for definable sets in finite fields, thus answering a question of Tao. We also extend the algebraic regularity lemma to definable sets in the difference fields $(F_q^{alg}, x^q)$ and we offer a new point of view on the geometric content of the algebraic regularity lemma. △ Less

Submitted 16 September, 2022; v1 submitted 3 April, 2022; originally announced April 2022.

Comments: 54 pages. Corrected some minor inaccuracies in the first version

Piecewise Interpretable Hilbert Spaces

Authors: Alexis Chevalier, Ehud Hrushovski

Abstract: We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where short-range interactions are controlled by algebraic closure and long-range interactions vanish. Examples include $L^2$-spaces relative to Macpherson-Steinhorn d… ▽ More We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where short-range interactions are controlled by algebraic closure and long-range interactions vanish. Examples include $L^2$-spaces relative to Macpherson-Steinhorn definable measures; $L^2$ spaces relative to the Haar measure of the absolute Galois groups; irreducible unitary representations of $p$-adic Lie groups; and unitary representations of the automorphism group of an $ω$-categorical theory. In the last case, our main result specialises to a theorem of Tsankov. New methods are required, making essential use of local stability theory in continuous logic. △ Less

Submitted 12 September, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: Heavily revised version. Some new content in sections 2,3,4