Related papers: A note on complementary knowledge spaces

It is proved that if there exists a positive and continuous function $f$ on an $n$-dimensional complex manifold $X$, $q$-convex with corners outside a compact set $K\subset X$ and which exhausts $X$ from below, then…

Knowledge graphs (KGs) of real-world facts about entities and their relationships are useful resources for a variety of natural language processing tasks. However, because knowledge graphs are typically incomplete, it is useful to perform…

A comprehensive knowledge graph (KG) contains an instance-level entity graph and an ontology-level concept graph. The two-view KG provides a testbed for models to "simulate" human's abilities on knowledge abstraction, concretization, and…

A topological space $X$ is called a $Q$-space if every subset of $X$ is of type $F_\sigma$ in $X$. For $i\in\{1,2,3\}$ let $\mathfrak q_i$ be the smallest cardinality of a second-countable $T_i$-space which is not a $Q$-space. It is clear…

Saki and Kiani proved that the subrack lattice of a rack $R$ is necessarily complemented if $R$ is finite but not necessarily complemented if $R$ is infinite. In this paper, we investigate further avenues related to the complementation of…

Let $K$ be a compact subset in the complex plane and let $A(K)$ be the uniform closure of the functions continuous on $K$ and analytic on $K^{\circ}$. Let $\mu$ be a positive finite measure with its support contained in $K$. For $1 \leq q <…

We derive two complementarity relations that constrain the individual and bipartite properties that may simultaneously exist in a multi-qubit system. The first expression, valid for an arbitrary pure state of n qubits, demonstrates that the…

A Hausdorff topological space $X$ is called $\textit{superconnected}$ (resp. $\textit{coregular}$) if for any nonempty open sets $U_1,\dots U_n\subseteq X$, the intersection of their closures $\bar U_1\cap\dots\cap\bar U_n$ is not empty…

Incorporating multiple knowledge sources is proven to be beneficial for answering complex factoid questions. To utilize multiple knowledge bases (KB), previous works merge all KBs into a single graph via entity alignment and reduce the…

Let W be a compact simply connected triangulated manifold with boundary and $K \subset W$ be a subpolyhedron. We construct an algebraic model of the rational homotopy type of the complement $W \setminus K$ out of a model of the map of pairs…

We consider the classical correlations that two observers can extract by measurements on a bipartite quantum state, and we discuss how they are related to the quantum mutual information of the state. We show with several examples how…

Let $ K / k $ be a purely inseparable extension of characteristic $ p> 0 $ and of finite size. We recall that $K/k$ is modular if for every $n \in \mathbb{N}$,$K^{p^n}$ and $k$ are $k\cap K^{p^ n}$-linearly disjoint. A natural…

Knowledge Graphs (KG) allow to merge and connect heterogeneous data despite their differences; they are incomplete by design. Yet, KG data producers need to ensure the best level of completeness, as far as possible. The difficulty is that…

We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…

In this article we prove that every isometric copy of C(L) in C(K) is complemented if L is compact Hausdorff of finite height and K is a compact Hausdorff space satisfying the extension property, i.e., every closed subset of K admits an…

We explore complementarity between output and environment of a quantum channel (or, more generally, CP map), making an observation that the output purity characteristics for complementary CP maps coincide. Hence, validity of the…

We provide a sufficient condition for the sum of a finite number of complemented subspaces of a Banach space to be complemented. Under this condition a formula for a projection onto the sum is given. We also show that the condition is sharp…

Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if…

We prove that if $1 \leq p, q \leq \infty$, then the spaces $L_p +L_q$ and $L_p \cap L_q$ are isomorphic if and only if $p = q$. In particular, $L_2 +L_{\infty}$ and $L_2 \cap L_{\infty}$ are not isomorphic which is an answer to a question…

In constructive mathematics the metric complement of a subset S of a metric space X is the set -S of points in X that are bounded away from S. In this note we discuss, within Bishop's constructive mathematics, the connection between the…