Related papers: Toric varieties: Simple combinatorial and geometri…
After introducing the partially separable concept, we proved the equivalence between the partial separability of a given $m$-partite subsystem with $m$ qubits and the purity of states of this $m$-partite subsystem for a pure state in…
We investigate conditions on a finite set of multi-partite product vectors for which separable states with corresponding product states have unique decomposition, and show that this is true in most cases if the number of product vectors is…
In this note we gather and review some facts about existence of toric spaces over 3-dimensional simple polytopes. First, over every combinatorial 3-polytope there exists a quasitoric manifold. Second, there exist combinatorial 3-polytopes,…
It is shown here and in the preceeding paper (quant-ph/0201129) that vector coherent state theory, the theory of induced representations, and geometric quantization provide alternative but equivalent quantizations of an algebraic model. The…
Parametrized quantum circuits (PQCs) are crucial in variational quantum algorithms. While it is commonly believed that the optimal PQC is solely used to reproduce the target state, we here reveal that the optimal PQC can also provide…
The application of geometry to physics has provided us with new insightful information about many physical theories such as classical mechanics, general relativity, and quantum geometry (quantum gravity). The geometry also plays an…
Quantum networks are natural scenarios for the communication of information among distributed parties, and the arena of promising schemes for distributed quantum computation. Measurement-based quantum computing is a prominent example of how…
We construct a large collection of "quantum projective spaces", in the form of Koszul, Calabi-Yau algebras with the Hilbert series of a polynomial ring. We do so by starting with the toric ones (the q-symmetric algebras), and then deforming…
We present a general description of separable states in Quantum Mechanics. In particular, our result gives an easy proof that inseparabitity (or entanglement) is a pure quantum (noncommutative) notion. This implies that distinction between…
We propose a type-theoretic framework for describing and proving properties of quantum computations, in particular those presented as quantum circuits. Our proposal is based on an observation that, in the polymorphic type system of Coq,…
We prove that the vast majority of symmetric states of qubits can be decomposed in a unique way into a superposition of spin 1/2 coherent states. For the case of two qubits, the proposed decomposition reproduces the Schmidt decomposition…
Coherent state theory is shown to reproduce three categories of representations of the spectrum generating algebra for an algebraic model: (i) classical realizations which are the starting point for geometric quantization; (ii) induced…
In this paper we introduce a geometric framework for mixed quantum states based on a K\"ahler structure. The geometric framework includes a symplectic form, an almost complex structure, and a Riemannian metric that characterize the space of…
The K-rings of non-singular complex pro jective varieties as well as quasi- toric manifolds were described in terms of generators and relations in an earlier work of the author with V. Uma. In this paper we obtain a similar description for…
This note is supposed to be an introduction to those concepts of toric geometry that are necessary to understand applications in the context of string and F-theory dualities. The presentation is based on the definition of a toric variety in…
A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological…
Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…
We show that, for a complete simplicial toric variety $X$, we can determine its homotopy $\KH$-theory entirely in terms of the torus pieces of open sets forming an open cover of $X$. We then construct conditions under which, given two…
The shape space of k labelled points on a plane can be identified with the space of pure quantum states of dimension k-2. Hence, the machinery of quantum mechanics can be applied to the statistical analysis of planar configurations of…
Subsystems of composite quantum systems are described by reduced density matrices, or quantum marginals. Important physical properties often do not depend on the whole wave function but rather only on the marginals. Not every collection of…