Related papers: A note on complementary knowledge spaces
Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are…
Scholarly Knowledge Graphs (KGs) provide a rich source of structured information representing knowledge encoded in scientific publications. With the sheer volume of published scientific literature comprising a plethora of inhomogeneous…
We show that there are informationally complete joint measurements of two conjugated observables on a finite quantum system, meaning that they enable to identify all quantum states from their measurement outcome statistics. We further…
The $q$-binomial coefficients are q-analogues of the binomial coefficients, counting the number of $k$-dimensional subspaces in the $n$-dimensional vector space $\mathbb{F}^n_q$ over $\mathbb{F}_{q}$. In this paper, we define a Euclidean…
The spectral variant of the quantum marginal problem asks: Given prescribed spectra for a set of overlapping quantum marginals, does there exist a compatible joint state? The main idea of this work is a symmetry-reduced semidefinite…
We study the problem of the existence of a common algebraic complement for a pair of closed subspaces of a Banach space. We prove the following two characterizations: (1) The pairs of subspaces of a Banach space with a common complement…
Information systems usually show as a particular point of failure the vagueness between user search terms and the knowledge orders of the information space in question. Some kind of guided searching therefore becomes more and more important…
This is a philosophical paper. It claims that there is a gap to be filled in the relationship between complexity theory (CT) and quantum theory (QT). This gap concerns two very distinct understandings of time. The paper provides the ground…
We investigate the geometry of $C(K,X)$ and $\ell_{\infty}(X)$ spaces through complemented subspaces of the form $\left(\bigoplus_{i\in \varGamma}X_i\right)_{c_0}$. Concerning the geometry of $C(K,X)$ spaces we extend some results of D.…
Inspired by the work of Z. Lu and G. Tian \cite{lutian}, in this paper we address the problem of studying those \K\ manifolds satisfying the $\Delta$-property, i.e. such that on a neighborhood of each of its points the $k$-th power of the…
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of…
A pair $(C, D)$ of group codes over group algebra $R[G]$ is called a linear complementary pair (LCP) if $C \oplus D =R[G]$, where $R$ is a finite principal ideal ring, and $G$ is a finite group. We provide a necessary and sufficient…
Knowledge graph (KG) alignment and completion are usually treated as two independent tasks. While recent work has leveraged entity and relation alignments from multiple KGs, such as alignments between multilingual KGs with common entities…
When discussing the black hole information problem the term ``information flow'' is frequently used in a rather loose fashion. In this article I attempt to make this notion more concrete. I consider a Hilbert space which is constructed as a…
We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop compact.
Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is…
A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying…
Let K be a ring and let A be a subset of K. We say that a map f:A \to K is arithmetic if it satisfies the following conditions: if 1 \in A then f(1)=1, if a,b \in A and a+b \in A then f(a+b)=f(a)+f(b), if a,b \in A and a \cdot b \in A then…
For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…
Commonsense fact verification, as a challenging branch of commonsense question-answering (QA), aims to verify through facts whether a given commonsense claim is correct or not. Answering commonsense questions necessitates a combination of…