Piecewise Interpretable Hilbert Spaces

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 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 $\omega$-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.

• The paper proves that Hilbert spaces with scatteredness can be decomposed into orthogonal subspaces generated by asymptotically free types.
• It introduces a novel methodology using definable inner product maps to piecewise construct Hilbert spaces over first-order theories.
• The results offer practical implications for simplifying complex Hilbert space structures in quantum mechanics, logic, and algebra.

Piecewise Interpretable Hilbert Spaces

Introduction

Hilbert spaces are a staple in many areas of mathematics and physics, offering a structured way to study infinite-dimensional spaces. In the context of logic and model theory, Hilbert spaces intersect with stability theory, continuous logic, and unitary representations. This paper dives into how Hilbert spaces can be interpreted piecewise by leveraging certain finiteness properties in first-order theories.

Key Concepts

Interpretable Hilbert Spaces

Interpretable Hilbert spaces arise as direct limits of sorts from a first-order theory, governed by definable inner product maps. Essentially, these are Hilbert spaces where the structure is piecewise defined over models of the theory.

Scatteredness

An interpretable Hilbert space is said to have the scatteredness property if its elements, when viewed as weak limit points of sequences, form a locally compact set. This property is crucial for the main results, as it allows a decomposition into simpler components.

Asymptotic Freedom

A type-definable set in a Hilbert space is asymptotically free if any two elements are orthogonal unless one is algebraically dependent on the other. This concept is a keystone in breaking down the structure of Hilbert spaces into foundational blocks.

Main Results

Decomposition Theorem

One of the major achievements is the proof that any interpretable Hilbert space with the scatteredness property can be decomposed into an orthogonal sum of subspaces that are generated by asymptotically free types. Concretely, this means:

1. Scattered Hilbert Space Decomposition: Given a scattered type-definable set $p$, the space $\mathcal{H}_p$ can be split into orthogonal sum components $\mathcal{H}_\alpha$, where each component is generated by an asymptotically free type.
2. Implementation in Models: This decomposition is not just theoretical; it consistently applies across any model of the theory $T$, ensuring the results are broadly applicable.

Practical Applications

For practitioners, all this theory allows improved manipulation and understanding of complex Hilbert spaces through simpler, more manageable components. This has direct implications for areas like quantum mechanics (where Hilbert spaces dominate), as well as in any mathematical field requiring intricate analysis of such spaces.

Examples and Applications

Galois Groups and $L^2$-Spaces

A rich example explored in the paper is the $L^2$-spaces related to absolute Galois groups. These spaces naturally decompose into interpretable components due to their scatteredness characteristics. The explicit decomposition aligns well with the general results, offering concrete interpretations in algebraic settings.

Definable Measures and $L^2$-Spaces

The concepts extend to $L^2$-spaces defined by strictly definable measures, such as in pseudofinite fields or measurable structures. Here, the Hilbert spaces $L^2(X, \mu)$ inherit decomposability from their abstract construction, further broadening the scope of applications.

Implications of the Research

The theoretical implications are profound:

• Enhanced Structural Analysis: New pathways to dissect and understand Hilbert spaces through the lens of finite logic and stability.
• Broader Reach: The decomposition theorem enriches representation theory and model theory, adding robustness to how interpretable structures are studied.
• Future Directions: Extending these findings could unlock even more applications, potentially in higher-order logic or different algebraic frameworks.

Future Research Directions

The immediate path forward includes:

1. Extending Beyond NFCP: Delving into theories that do not have the weak NFCP to explore if similar decompositions can be achieved.
2. Higher Complexity Structures: Applying these decomposition techniques to more intricate Hilbert spaces and seeing how they fare under various logical frameworks.
3. Cross-Disciplinary Impact: Investigating how these results can influence other fields like quantum computing, cryptography (through Galois theory), and advanced statistical mechanics.

Conclusion

This paper not only deepens our understanding of Hilbert spaces in logical settings but also provides potent tools to manage their complexity through logical decomposition. As the field marches forward, these insights will serve as foundational pillars in both theoretical exploration and practical application.