
Mutually unbiased bases which is also maximally entangled bases is called
mutually unbiased maximally entangled bases (MUMEBs). We study the construction
of MUMEBs in bipartite system. In detail, we construct 2(p^a1) MUMEBs in
C^d\otimes C^d by properties of Guss sums for arbitrary odd d. It improves the
known lower bound p^a1 for odd d. Certainly, it also generalizes the lower
bound 2(p^a1) for d being a single prime power. Furthermore, we construct
MUMEBs in C^d\otimes C^{kd} for general k>= 2 and odd d. We get the similar
lower bounds as $k,b$ are both single prime powers. Particularly, when k is a
square number, by using mutually orthogonal Latin squares, we can construct
more MUMEBs in C^d\otimes C^{kd}, and obtain greater lower bounds than reducing
the problem into prime power dimension in some cases.

We introduce some new perfect state transfer and teleportation schemes by
quantum walks with two coins. Encoding the transferred information in coin 1
state and alternatively using two coin operators, we can perfectly recover the
information on coin 1 state at target position only by at most two times of
flipping operation. Based on quantum walks with two coins either on the line or
on the $N$circle, we can perfectly transfer any qubit state. In addition,
using quantum walks with two coins either on complete graphs or regular graphs,
we can first implement perfect qudit state transfer by quantum walks. Compared
with existing schemes driven by one coin, more general graph structures can be
used to perfectly transfer more general state. Moreover, the external control
of coin operator during the transmitting process can be decreased greatly.
Selecting coin 1 as the sender and coin 2 as the receiver, we also study how to
realize generalized teleportation over long steps of walks by the above quantum
walk models. Because quantum walks is an universal quantum computation model,
our schemes may provide an universal platform for the design of quantum network
and quantum computer.

In this paper, we consider Turing machines based on unsharp quantum logic.
For a latticeordered quantum multiplevalued (MV) algebra E, we introduce
Evalued nondeterministic Turing machines (ENTMs) and Evalued deterministic
Turing machines (EDTMs). We discuss different Evalued recursively enumerable
languages from widthfirst and depthfirst recognition. We find that
widthfirst recognition is equal to or less than depthfirst 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.

In this paper we introduced an algebraic semantics for process algebra in
form of abstract data types. For that purpose, we developed a particular type
of algebra, the seed algebra, which describes exactly the behavior of a process
within a labeled transition system. We have shown the possibility of
characterizing the bisimulation of two processes with the isomorphism of their
corresponding seed algebras. We pointed out that the traditional concept of
isomorphism of algebra does not apply here, because there is even no oneone
correspondence between the elements of two seed algebras. The lack of this
oneone correspondence comes from the nondeterministic choice of transitions
of a process. We introduce a technique of hidden operations to mask unwanted
details of elements of a seed algebra, which only reflect nondeterminism or
other implicit control mechanism of process transition. Elements of a seed
algebra are considered as indistinguishable if they show the same behavior
after these unwanted details are masked. Each class of indistinguishable
elements is called a nonhidden closure. We proved that bisimulation of two
processes is equivalent to isomorphism of nonhidden closures of two seed
algebras representing these two processes. We call this kind of isomorphism a
deep isomorphism. We get different models of seed algebra by specifying
different axiom systems for the same signature. Each model corresponds to a
different kind of bisimulation. By proving the relations between these models
we also established relations between 10 different bisimulations, which form a
acyclic directed graph.