相关论文: Model Theory of Scattered Piecewise Interpretable …

Weaving Hilbert space frames have been introduced recently by Bemrose et al. to deal with some problems in distributed signal processing. In this paper, we survey this topic from the viewpoint of the duality principle, so we obtain new…

Embedding spaces contain interpretable dimensions indicating gender, formality in style, or even object properties. This has been observed multiple times. Such interpretable dimensions are becoming valuable tools in different areas of…

We extend the discussion of projective group representations in quaternionic Hilbert space which was given in our recent book. The associativity condition for quaternionic projective representations is formulated in terms of unitary…

A new test for structural changes in functional data is investigated. It is based on Hilbert space theory and critical values are deduced from bootstrap iterations. Thus a new functional central limit theorem for the block bootstrap in a…

In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We extend this analysis to Hybrid logic, a widely-studied extension…

Humans possess the capability to reason at an abstract level and to structure information into abstract categories, but the underlying neural processes have remained unknown. Experimental evidence has recently emerged for the organization…

We continue the algebraic investigation of PBZ*-lattices, a notion introduced in [12] in order to obtain insights into the structure of certain algebras of effects of a Hilbert space, lattice-ordered under the spectral ordering.

We examine dimensional types of scattered $P$-spaces of weight $\omega_1$. Such spaces can be embedded into $\omega_2$. There are established similarities between dimensional types of scattered separable metric spaces and dimensional types…

We consider a second order difference equation with operator-valued coefficients. More precisely, we study either compact or trace class perturbations of the discrete Laplacian in the Hilbert space of bi-infinite square-summable sequence…

Recently, considerable research effort has been devoted to developing deep architectures for topic models to learn topic structures. Although several deep models have been proposed to learn better topic proportions of documents, how to…

This paper explores woven frames in separable Hilbert spaces with an initial focus on the finite-dimensional case. We begin by simplifying the problem to bases, for which we obtain a unique characterization. We establish a condition that is…

We discuss, in the context of inverse linear problems in Hilbert space, the notion of the associated infinite-dimensional Krylov subspace and we produce necessary and sufficient conditions for the Krylov-solvability of a given inverse…

Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of…

Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.

A few recent innovations of applicability of standard textbook Quantum Theory are reviewed. The three-Hilbert-space formulation of the theory (known from the interacting boson models in nuclear physics) is discussed in its slightly…

While vector-based language representations from pretrained language models have set a new standard for many NLP tasks, there is not yet a complete accounting of their inner workings. In particular, it is not entirely clear what aspects of…

In this paper, we show that coherent sets of gambles and coherent lower and upper previsions can be embedded into the algebraic structure of information algebra. This leads firstly, to a new perspective of the algebraic and logical…

We develop a hierarchical structure (HS) analysis for quantitative description of statistical states of spatially extended systems. Examples discussed here include an experimental reaction-diffusion system with Belousov-Zhabotinsky…

Standard approaches to probabilistic reasoning require that one possesses an explicit model of the distribution in question. But, the empirical learning of models of probability distributions from partial observations is a problem for which…

Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…