Related papers: Unextendible and strongly uncompletable product ba…
We show that two natural and a priori unrelated structures encapsulate the same data, namely certain commutative and associative product structures and a class of superintegrable Hamiltonian systems. More precisely, consider a Euclidean…
We study the sharp bounds of $\mathbb{E}[X_1\cdots X_d]$ when the univariate marginal distributions are known, but the dependence structure between them is unspecified. Maximizing products over non-negative variables is straightforward via…
Our goal in this paper is to advance the state of the art of the topic of uniqueness of unconditional basis. To that end we establish general conditions on a pair $(\mathbb{X}, \mathbb{Y})$ formed by a quasi-Banach space $\mathbb{X}$ and a…
Three non-empty subsets $S,T,U$ of a group $G$ are said to satisfy the triple product property (TPP) if, for elements $s,s' \in S$, and $t,t' \in T$, and $u,u' \in U$, the equation $s's^{-1}t't^{-1}u'u^{-1}=1$ holds if and only if $s = s'$,…
Many important sets of normalized states in a multipartite quantum system of finite dimension d, such as the set S of all separable states, are real semialgebraic sets. We compute dimensions of many such sets in several low-dimensional…
We study a separability problem suggested by mathematical description of bipartite quantum systems. We consider Hermitian 2-forms on the tensor product $H=K\otimes L$, where $K,L$ are finite dimensional complex spaces. Inspired by quantum…
Quantum uncertainty relations impose fundamental limits on the joint knowledge that can be acquired from complementary observables: perfect knowledge of a quantum state in one basis implies maximal indetermination in all other mutually…
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…
We consider entropic uncertainty relations for outcomes of the measurements of a quantum state in 3 or more mutually unbiased bases (MUBs), chosen from the standard construction of MUBs in prime dimension. We show that, for any choice of 3…
We discuss some claims that certain UCOMP devices can perform hypercomputation (compute Turing-uncomputable functions) or perform super-Turing computation (solve NP-complete problems in polynomial time). We discover that all these claims…
Quite recently, Cai et al. [arXiv:2006.07165v1] proposed a new concept "absolutely entangled set" for bipartite quantum systems: for any possible choice of global basis, at least one state of the set is entangled. There they presented a…
The Heisenberg-Robertson uncertainty relation quantitatively expresses the impossibility of jointly sharp preparation of incompatible observables. However it does not capture the concept of incompatible observables because it can be trivial…
Multipartite quantum system is complex. Characterizing the relations among the three bipartite reduced density operators $\rho_{AB}$, $\rho_{AC}$ and $\rho_{BC}$ of a tripartite state $\rho_{ABC}$ has been an open problem in quantum…
A product system E over a semigroup P is a family of Hilbert spaces {E_s:s\in P} together with multiplications E_s \times E_t\to E_{st}. We view E as a unitary- valued cocycle on P, and consider twisted crossed products A \times_{\beta,E} P…
A result on the structure of expansive matrices in an indefinite inner product space is derived, which exhibits the largest unitary compression of the matrix.
An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the…
Uniformly star superparacompactness, which is a topological property between compactness and completeness, can be characterized using finite-component covers and a measure of strong local compactness. Using these finite-component covers and…
We obtain a collection of necessary (sufficient) conditions for a bipartite system of qubits to be separable (entangled), which are based on the Landau-Pollak formulation of the uncertainty principle. These conditions are tested, and…
We study the Stable Fixtures problem, a many-to-many generalisation of the classical non-bipartite Stable Roommates matching problem. Building on the foundational work of Tan on stable partitions, we extend his results to this significantly…
There are fairly large families of unitarily inequivalent complete sets of N+1 mutually unbiased bases (MUBs) in C^N for various prime powers N. The number of such sets is not bounded above by any polynomial as a function of N. While it is…