Related papers: Using Disentangled States and Algorithmic Informat…
We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic ($\sin$-PA), and systematically study decision problems for sets of sentences in $\sin$-PA. In particular, we detail a decision…
In this work we make use of deformed operators to construct the coherent states of some nonlinear systems by generalization of two definitions: i) As eigenstates of a deformed annihilation operator and ii) by application of a deformed…
An asymptotic formula for the number of $n \le x$ such that $n$ does not divide $P(n)!$ is given, where P(n) is the largest prime factor of $n$.
We prove a complexity dichotomy theorem for all non-negative weighted counting Constraint Satisfaction Problems (CSP). This caps a long series of important results on counting problems including unweighted and weighted graph homomorphisms…
We studied the construction problem of the unextendible product basis (UPB). We mainly give a method to construct a UPB of a quantum system through the UPBs of its subsystem. Using this method and the UPBs which are known for us, we…
A set of orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition, which shows the phenomenon of strong quantum nonlocality without entanglement. Although such a phenomenon has been shown to any…
A new infinite family of examples of finite non-bicolorable configurations of rays in Hilbert space is described. Such configurations appear in the analysis of quantum mechanics in terms of Bell's inequalities and Kochen-Specker theorem and…
Based on the fact that the entanglement can not be created locally, we proposed a quantum bit commitment protocol, in which entangled states and quantum algorithms is used. The bit is not encoded with the form of the quantum states, and…
We study the sets of the infinite sentences constructible with a dictionary over a finite alphabet, from the viewpoint of descriptive set theory. Among other things, this gives some true co-analytic sets. The case where the dictionary is…
The problem of of how many entangled or, respectively, separable states there are in the set of all quantum states is investigated. We study to what extent the choice of a measure in the space of density matrices describing N--dimensional…
Entangled states with a positive partial transpose (so-called PPT states) are central to many interesting problems in quantum theory. On one hand, they are considered to be weakly entangled, since no pure state entanglement can be distilled…
When a quantum system is distributed to spatially separated parties, it is natural to consider how the system evolves when the parties perform local quantum operations with classical communication (LOCC). However, the structure of LOCC…
Quantum multipartite entangled states play significant roles in quantum information processing. By using difference schemes and orthogonal partitions, we construct a series of infinite classes of irredundant mixed orthogonal arrays (IrMOAs)…
We extend to any maximally entangled state of a bipartite system whose constituents are arbitrarily (but finite) dimensional the result, recently derived for two-dimensional constituents, that hidden variable theories cannot have local…
The use of exponentials in linear logic greatly enhances its expressive power. In this paper we focus on nonassociative noncommutative multiplicative linear logic, and systematically explore modal axioms K, T, and 4 as well as the…
Non-degenerate perturbation theory, which was used to calculate the scale dimension of operators on the gauge theory side of the correspondence, breaks down when effects of triple trace operators are included. We interpret this as an…
We transform the oscillator algebra with kappa-deformed multiplication rule, proposed in [1],[2], into the oscillator algebra with kappa-deformed flip operator and standard multiplication. We recall that the kappa-multiplication of the…
We study the separability problem in mixtures of Dicke states i.e., the separability of the so-called Diagonal Symmetric (DS) states. First, we show that separability in the case of DS in $C^d\otimes C^d$ (symmetric qudits) can be…
The main purpose of this paper is to prove that the positive real numbers can be decomposed into finitely many disjoint pieces which are also closed under addition and multiplication. As a byproduct of the argument we determine all the…
We develop a method to construct all the indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with a prime-power number of elements and cyclic permutation group. Moreover, we give a complete classification of the…