Related papers: A note on complementary knowledge spaces
Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily…
A Lie algebra $K$ over a field of characteristic zero $E$ is called a completion of a rational Lie algebra $L$, if it contains $L$ as $\mathbb{Q}$-subalgebra and the $E$-span of $L$ is equal to $K$. The class of all completions of a…
Reduction of a state of a quantum system to a subsystem gives partial quantum information about the true state of the total system. Two subalgebras A1 and A2 of B(H) are called complementary if the traceless subspaces of A1 and A2 are…
A subspace code is a nonempty collection of subspaces of the vector space $\mathbb{F}_q^{n}$. A pair of linear codes is called a linear complementary pair (in short LCP) of codes if their intersection is trivial and the sum of their…
Complementarity was originally introduced as a qualitative concept for the discussion of properties of quantum mechanical objects that are classically incompatible. More recently, complementarity has become a \emph{quantitative} relation…
For a proper cone $K$ and its dual cone $K^*$ in $\mathbb R^n$, the complementarity set of $K$ is defined as ${\mathbb C}(K)=\{(x,y): x\in K,\; y\in K^*,\, x^\top y=0\}$. It is known that ${\mathbb C}(K)$ is an $n$-dimensional manifold in…
Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…
We prove that the inclusion of map(X,Y) into map(K(X),K(Y)) is continuous, where K(X) is the space of non-empty compact subsets of X (also known as the hyperspace of compact subsets of X), and both spaces of maps are endowed with the…
This paper proposes a new problem of complementary evidence identification for open-domain question answering (QA). The problem aims to efficiently find a small set of passages that covers full evidence from multiple aspects as to answer a…
We prove that there is a compact space $L$ and a 1-complemented subspace of the Banach space $C(L)$ which is not isomorphic to a space of continuous functions.
Over the course of the last 50 years, many questions in the field of computability were left surprisingly unanswered. One example is the question of $P$ vs $NP\cap co-NP$. It could be phrased in loose terms as "If a person has the ability…
Two families of complementary codes over finite fields $\mathbb{F}_q$ are studied, where $q=r^2$ is square: i) Hermitian complementary dual linear codes, and ii) trace Hermitian complementary dual subfield linear codes. Necessary and…
We propose an operational definition of complementarity, pinning down the concept originally introduced by Bohr. Two properties of a system are considered complementary if they cannot be simultaneously well defined. We further show that,…
Let $R\subseteq E$ be two Lie conformal algebras and $Q$ be a given complement of $R$ in $E$. Classifying complements problem asks for describing and classifying all complements of $R$ in $E$ up to an isomorphism. It is known that $E$ is…
The overarching goal of this thesis is to demonstrate that complementarity is at the heart of quantum information theory, that it allows us to make (some) sense of just what information "quantum information" refers to, and that it is useful…
The complemented subspace problem asks, in general, which closed subspaces $M$ of a Banach space $X$ are complemented; i.e. there exists a closed subspace $N$ of $X$ such that $X=M\oplus N$? This problem is in the heart of the theory of…
We postulate the existence of a universal uncertainty relation between the quantum and classical mutual informations between pairs of quantum systems. Specifically, we propose that the sum of the classical mutual information, determined by…
A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…
In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…
We study the notion of zero-knowledge secure against quantum polynomial-time verifiers (referred to as quantum zero-knowledge) in the concurrent composition setting. Despite being extensively studied in the classical setting, concurrent…