相关论文: Hilbert Spaces with Generic Predicates

In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are…

Field theories place one or more degrees of freedom at every point in space. Hilbert spaces describing quantum field theories, or their finite-dimensional discretizations on lattices, therefore have large amounts of structure: they are…

The most fundamental notion in frame theory is the frame expansion of a vector. Although it is well known that these expansions are unconditionally convergent series, no characterizations of the unconditional constant were known. This has…

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a model companion. This result is motivated by criteria and…

We study the grokking phenomenon through the lens of topology. Using persistent homology on point clouds derived from the embedding matrices of a range of models trained on modular arithmetic with varying primes, we identify a clear and…

This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally,…

Motivated by persistent homology and topological data analysis, we consider formal sums on a metric space with a distinguished subset. These formal sums, which we call persistence diagrams, have a canonical 1-parameter family of metrics…

We study orthogonal polynomial systems arising from general pre-Hilbert inner products on polynomial spaces, beyond the classical framework of measures. To each such inner product we associate a canonical Laplacian defined from an abstract…

In the first part of the paper a general notion of sampling expansions for locally compact groups is introduced, and its close relationship to the discretisation problem for generalised wavelet transforms is established. In the second part,…

We establish new and different kinds of proofs of properties that arise due to the orthogonal decomposition of the Hilbert space, including projections, over the unit interval of one dimension. We also see angles between functions,…

We investigate the structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group. We work with square integrable representations, and we show that they are those for which we can construct an…

The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…

In this paper, we characterize infinite-dimensional manifolds modeled on absorbing sets in non-separable Hilbert spaces by using the discrete cells property, which is a general position property. Moreover, we study the discrete (locally…

Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility…

In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…

The general theory of Lyapunov's stability of first-order differential inclusions in Hilbert spaces has been studied by the authors in a previous work. This new contribution focuses on the natural case when the maximally monotone operator…

We investigate the geography of Hilbert schemes parametrizing closed subschemes of projective space with specified Hilbert polynomials. We classify Hilbert schemes with unique Borel-fixed points via combinatorial expressions for their…

For vector/AdS and dS holography we establish the structure of the emergent Hilbert space. This is done through implementation of finite $N$ trace relations on the infinite collective space. For fermionic theories a finite Hilbert space is…

We introduce and study some generalizations of regular spaces, which were motivated by studying continuity properties of functions between (regular) topological spaces. In particular, we prove that a first-countable Hausdorff topological…