Related papers: Cones of ball-ball separable elements

For every tuple $d_1,\dots, d_l\geq 2,$ let $\mathbb{R}^{d_1}\otimes\cdots\otimes\mathbb{R}^{d_l}$ denote the tensor product of $\mathbb{R}^{d_i},$ $i=1,\dots,l.$ Let us denote by $\mathcal{B}(d)$ the hyperspace of centrally symmetric…

An $L$-spherical code is a set of Euclidean unit vectors whose pairwise inner products belong to the set $L$. We show, for a fixed $\alpha,\beta>0$, that the size of any $[-1,-\beta]\cup\{\alpha\}$-spherical code is at most linear in the…

We pursue a number of analytical directions, motivated to some extent initially by the possibility of developing a methodology for formally proving or disproving a certain conjecture of quantum-theoretical relevance (quant-ph/0308037). It…

Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1. In this paper we compute three…

In the context of operator valued W*-free probability theory, we study Haar unitaries, R-diagonal elements and circular elements. Several classes of Haar unitaries are differentiated from each other. The term bipolar decomposition is used…

Owing to the fascinating physical characteristics of two-dimensional (2D) materials and their heterostructure, much effort has been devoted to exploring their basic physical properties as well as discovering other novel 2D materials.…

A geometrical characterization of robustly separable (that is, remaining separable under sufficiently small variiations) mixed states of a bipartite quantum system is given. It is shown that the density matrix of any such state can be…

A finite dimensional quantum mechanical system is modeled by a density rho, a trace one, positive semi-definite matrix on a suitable tensor product space H[N] . For the system to demonstrate experimentally certain non-classical behavior,…

Closed form expressions are given for computing the parameters and vectors that identify and define the $n-1$ dimensional conic section that results from the intersection of a hyperplane with an $n$-dimensional conic section: cone,…

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…

Let $P \subset \mathbb{R}^{d}$ be a closed convex cone. Assume that $P$ is pointed, i.e. the intersection $P \cap -P=\{0\}$ and $P$ is spanning, i.e. $P-P=\mathbb{R}^{d}$. Denote the interior of $P$ by $\Omega$. Let $E$ be a product system…

We consider a smooth Euclidean solid cone endowed with a smooth homogeneous density function used to weight Euclidean volume and hypersurface area. By assuming convexity of the cone and a curvature-dimension condition we prove that the…

High proved the following theorem. If the intersections of any two congruent copies of a plane convex body are centrally symmetric, then this body is a circle. In our paper we extend the theorem of High to the sphere and the hyperbolic…

This paper considers the cohomology and bounded interpolation of nonstandard finite element complexes, e.g. Stokes, Hessian, Elasticity, divdiv. Compared to the standard finite element exterior calculus, the main challenge is the existence…

We introduce a versatile and spatially resolved morphological characterisation of binary fields, rooted in the opening transform of mathematical morphology. We subsequently apply it to the thresholded ionization field in simulations of…

In this paper we characterise cone points of arbitrary subsets of Euclidean space. Given $E \subset \mathbb{R}^n$, $x \in E$ is a cone point of $E$ if and only if \begin{align*} \int_{0}^1 \beta_{E}^{d,2}(B(x,r))^2 \frac{dr}{r} < \infty,…

We show that two-dimensional band insulators, with vanishing bulk polarization, obey bulk-and-edge to corner charge correspondence stating that the knowledge of the bulk and the two corresponding ribbon band structures uniquely determines…

We numerically study the system of rapidly rotating Bose atoms at the filling factor (ratio of particle number to vortex number) $\nu=1$ with the dipolar interaction. A moderate dipolar interaction stabilizes the incompressible quantum…

We study the structure of the set of all possible affine hyperplane sections of a convex polytope. We present two different cell decompositions of this set, induced by hyperplane arrangements. Using our decomposition, we bound the number of…

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…