Source author record

Xian Lu

Xian Lu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

quant-ph Formal Languages and Automata Theory Logic in Computer Science

Catalog footprint

What is connected

2works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2015arXiv

Lower bound of local quantum uncertainty for high-dimensional bipartite quantum systems

Quantum correlations are of fundamental importance in quantum phenomena and quantum information processing studies. The measure of quantum correlations is one central issue. The recently proposed measure of quantum correlations, the local quantum uncertainty (LQU), satisfies the full physical requirements of a measure of quantum correlations. In this work, by using operator relaxation, a closed form lower bound of the LQU for arbitrary-dimensional bipartite quantum states is derived. We have compared the lower bound and the optimized LQU for several typical quantum states.

preprint2012arXiv

Turing machines based on unsharp quantum logic

In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic Turing machines (EDTMs). We discuss different E-valued recursively enumerable languages from width-first and depth-first recognition. We find that width-first recognition is equal to or less than depth-first recognition in general. The equivalence requires an underlying E value lattice to degenerate into an MV algebra. We also study variants of ENTMs. ENTMs with a classical initial state and ENTMs with a classical final state have the same power as ENTMs with quantum initial and final states. In particular, the latter can be simulated by ENTMs with classical transitions under a certain condition. Using these findings, we prove that ENTMs are not equivalent to EDTMs and that ENTMs are more powerful than EDTMs. This is a notable difference from the classical Turing machines.