Provided by: libquantum-entanglement-perl_0.32-2_all 
NAME
Quantum::Entanglement - QM entanglement of variables in perl
SYNOPSIS
use Quantum::Entanglement qw(:DEFAULT :complex :QFT);
my $c = entangle(1,0,i,1); # $c = |0> + i|1>
my $d = entangle(1,0,1,1); # $d = |0> + |1>
$e = $c * $d; # $e now |0*0> + i|0*1> + |1*0> + i|1*1>, connected to $c, $d
if ($e == 1) { # observe, probabilistically chose an outcome
# if we are here, ($c,$d) = i|(1,1)>
print "* \$e == 1\n";
}
else { # one of the not 1 versions of $e chosen
# if we are here, ($c,$d) = |(0,0)> + i|(1,0)> + |(0,1)>
print "* \$e != 1\n";
}
BACKGROUND
"Quantum Mechanics - the dreams that stuff is made of."
Quantum mechanics is one of the stranger things to have emerged from science over the last
hundred years. It has led the way to new understanding of a diverse range of fundamental
physical phenomena and, should recent developments prove fruitful, could also lead to an
entirely new mode of computation where previously intractable problems find themselves
open to easy solution.
While the detailed results of quantum theory are hard to prove, and even harder to
understand, there are a handful of concepts from the theory which are more easily
understood. Hopefully this module will shed some light on a few of these and their
consequences.
One of the more popular interpretations of quantum mechanics holds that instead of
particles always being in a single, well defined, state they instead exist as an almost
ghostly overlay of many different states (or values) at the same time. Of course, it is
our experience that when we look at something, we only ever find it in one single state.
This is explained by the many states of the particle collapsing to a single state and
highlights the importance of observation.
In quantum mechanics, the state of a system can be described by a set of numbers which
have a probability amplitude associated with them. This probability amplitude is similar
to the normal idea of probability except for two differences. It can be a complex number,
which leads to interference between states, and the probability with which we might
observe a system in a particular state is given by the modulus squared of this amplitude.
Consider the simple system, often called a qubit, which can take the value of 0 or 1. If
we prepare it in the following superposition of states (a fancy way of saying that we want
it to have many possible values at once):
particle = 1 * (being equal to 1) + (1-i) * (being equal to 0)
we can then measure (observe) the value of the particle. If we do this, we find that it
will be equal to 1 with a probability of
1**2 / (1**2 + (1-i)(1+i) )
and equal to zero with a probability of
(1+i)(1-i) / (1**2 + (1-i)(1+i) )
the factors on the bottom of each equation being necessary so that the chance of the
particle ending up in any state at all is equal to one.
Observing a particle in this way is said to collapse the wave-function, or superposition
of values, into a single value, which it will retain from then onwards. A simpler way of
writing the equation above is to say that
particle = 1 |1> + (1-i) |0>
where the probability amplitude for a state is given as a 'multiplier' of the value of the
state, which appears inside the "| >" pattern (this is called a ket, as sometimes the bra
or "< |", pattern appears to the left of the probability amplitudes in these equations).
Much of the power of quantum computation comes from collapsing states and modifying the
probability with which a state might collapse to a particular value as this can be done to
each possible state at the same time, allowing for fantastic degrees of parallelism.
Things also get interesting when you have multiple particles together in the same system.
It turns out that if two particles which exist in many states at once interact, then after
doing so, they will be linked to one another so that when you measure the value of one you
also affect the possible values that the other can take. This is called entanglement and
is important in many quantum algorithms.
DESCRIPTION
Essentially, this allows you to put variables into a superposition of states, have them
interact with each other (so that all states interact) and then observe them (testing to
see if they satisfy some comparison operator, printing them) which will collapse the
entire system so that it is consistent with your knowledge.
As in quantum physics, the outcome of an observation will be the result of selecting one
of the states of the system at random. This might affect variables other than the ones
observed, as they are able to remember their history.
For instance, you can say:
$foo = entangle(1,0,1,1); # foo = |0> + |1>
$bar = entangle(1,0,1,1); # bar = |0> + |1>
if at this point we look at the values of $foo or $bar, we will see them collapse to zero
half of the time and one the other half of the time. We will also find that us looking at
$foo will have no effect on the possible values, or chance of getting any one of those
values, of $bar.
If we restrain ourselves a little and leave $foo and $bar unobserved we can instead play
some games with them. We can use our entangled variables just as we would any other
variable in perl, for instance,
$c = $foo * $bar;
will cause $c to exist in a superposition of all the possible outcomes of multiplying each
state of $foo with each state in $bar. If we now measure the value of $c, we will find
that one quarter of the time it will be equal to one, and three quarters of the time it
will be equal to zero.
Lets say we do this, and $c turns out to be equal to zero this time, what does that leave
$foo and $bar as? Clearly we cannot have both $foo and $bar both equal to one, as then $c
would have been equal to one, but all the other possible values of $foo and $bar can still
occur. We say that the state of $foo is now entangled with the state of $bar so that
($foo, $bar ) = |0,0> + |0,1> + |1,0>.
If we now measure $foo, one third of the time it will be equal to one and two thirds of
the time, it will come out as zero. If we do this and get one, this means that should we
observe $bar it will be equal to zero so that our earlier measurement of $c still makes
sense.
Use of this module
To use this module in your programs, simply add a
use Quantum::Entanglement;
line to the top of your code, if you want to use complex probability amplitudes, you
should instead say:
use Quantum::Entanglement qw(:complex :DEFAULT);
which will import the "Math::Complex i Re Im rho theta arg cplx cplxe" functions /
constants into your package.
You can also import a Quantum Fourier transform, which acts on the probability amplitudes
of a state (see below) by adding a ":QFT" tag.
This module adds an "entangle" function to perl, this puts a variable into multiple states
simultaneously. You can then cause this variable to interact with other entangled, or
normal, values the result of which will also be in many states at once.
The different states which a variable can take each have an associated complex probability
amplitude, this can lead to interesting behaviour, for instance, a root-not logic gate
(see q_logic, below).
entangle
This sets up a new entangled variable:
$foo = entangle(prob1, val1, prob2, val2, ...);
The probability values are strictly speaking probability amplitudes, and can be complex
numbers (corresponding to a phase or wave-ish nature (this is stretching things
slightly...)). To use straight numbers, just use them, to use complex values, supply a
Math::Complex number.
Thus
$foo = entangle(1, 0, 1+4*i, 1);
corresponds to:
foo = 1|0> + (1 + 4i)|1>
The probabilities do not need to be normalized, this is done by the module whenever
required (ie. when observing variables).
Non-observational operations
We can now use our entangled variable just as we would any normal variable in perl. Much
of the time we will be making it do things where we do not find anything out about the
value of our variable, if this is the case, then the variable does not collapse, although
any result of its interactions will be entangled with itself.
Observational Operators
Whenever you perform an operation on an entangled variable which should increase your
level of knowledge about the value of the variable you will cause it to collapse into a
single state or set of states. All logical comparison ("==", "gt" ....) operators, as
well as string and num -ifying and boolean observation will cause collapse.
When an entangled variable is observed in this way, sets of states which would satisfy the
operator are produced (ie. for $a < 2, all states <2 and all >= 2). One of these sets of
states is then selected randomly, using the probability amplitudes associated with the
states. The result of operating on this state is then returned. Any other states are
then destroyed.
For instance, if
$foo = entangle(1,2,1,3,1,5,1,7);
# |2> +|3> + |5> +|7>
then saying
print '$foo is greater than four' if ($foo > 4);
will cause $foo to be either "|2> + |3>" or "|5> +7>".
Of course, if you had said instead:
$foo = entangle(-1,2,1,3,1,5,1,7);
# -1|2> + |3> + |5> +|7>
then if $foo was measured here, it would come out as any one of 2,3,5,7 with equal
likelyhood (remember, amplitude squared). But saying
print '$foo is greater than four' if ($foo > 4);
will cause foo to be "|2> or 3>" with a probability of "(-1 + 1) == 0" or "|5 or 7>" with
probability of "(1 + 1)/2 == 1". Thus "$foo > 4" will always be true.
It is possible to perform operations like these on an entangled variable without causing
collapse by using "p_op" (below).
When performing an observation, the module can do two things to the states which can no
longer be valid (those to which it did not collapse, |2 or 3> in the example above). It
can either internally set the probability of them collapsing to be zero or it can delete
them entirely. This could have consequences if you are writing parallel functions that
rely on there being a certain number of states in a variable, even after collapse.
The default is for collapsed states to be destroyed, to alter this behaviour, set the
$Quantum::Entanglement::destroy variable to a false value. In general though, you can
leave this alone.
Dammit Jim, I can't change the laws of physics
Although not the default, it is possible to cause observation (for boolean context or with
comparison operators only) to act in a more purposeful manner. If the variable:
$Quantum::Entanglement::conform
has a true value, then the overloaded operations provided by this module will try their
very best to return "truth" instead of selecting randomly from both "true" and "false"
outcomes.
For example:
$foo = entangle(1,0,1,1,1,3); # foo = |0> + |1> + |3>
$Quantum::Entanglement::conform = 1;
print "\$foo > 0\n" if $foo > 0;
# foo now = |1> + |3>
print "\$foo == 3\n" if $foo == 3;
# foo now = |3>
will always output:
$foo > 0
$foo == 3
Of course, setting this variable somewhat defeats the point of the module, but it could
lead to some interesting pre-calculating algorithms which are fed with entangled input,
which is then later defined (by testing ==, say )with the answer of the calculation
appearing, as if by magic, in some other variable. See also the section save_state.
p_op
This lets you perform conditional operations on variables in a superposition of states
without actually looking at them. This returns a new superposed variable, with states
given by the outcome of the p_op. You cannot, of course, gain any information about the
variables involved in the p_op by doing this.
$rt = p_op(var1, op, var2, code if true, code if false).
"op" should be a string representing the operation to be performed (eg. "=="). The two
code arguments should be references to subs the return values of which will be used as the
value of the corresponding state should the expression be true or false.
If no code is provided, the return value of the operator itself is evaluated in boolean
context, if true, 1 or if false, 0 is used as the corresponding state of the returned
variable. Only one of var1 and var2 need to be entangled states. The values of the
states being tested are placed into the $QE::arg1 and $QE::arg2 variables should the
subroutines want to play with them (these are localized aliases to the actual values, so
modify at your peril (or pleasure)).
The semantics are best shown by example:
$gas = entangle(1, 'bottled', 1, 'released');
# gas now in states |bottled> + |released>
$cat_health = p_op($gas, 'eq', 'released',
sub {'Dead'},
sub {'Alive'});
# cat,gas now in states |Alive, bottled> + |Dead, released>
This is similar to parallel execution of the following psuedo code:
if (gas is in bottle) { # not probabilistic, as we don't look
cat is still alive
}
else {
cat is dead
}
The cat can now be observed (with a conditional test say) and doing so will collapse both
the cat and the gas:
if ($cat_health eq 'Dead') {# again, outcome is probabilistic
# thus gas = |released>
}
else {
# thus gas = |bottled>
}
This also lets you use some other 'binary' operators on a superposition of states by
immediatly observing the return value of the parallel op.
$string = entangle(1,'aa', 1, 'bb', 1, 'ab', 1, 'ba');
$regex = qr/(.)\1/;
if (q_op($string, '=~', $regex)) { # again, probabilistic
# if here, string = |aa> + |bb>
}
else {
# if here, string = |ab> + |ba>
}
p_func
This lets you perform core functions and subs through the states of a superposition
without observing and produce a new variable corresponding to a superposition of the
results of the function.
p_func("func" ,entangled var,[more vars,] [optional args])
Any number of entangled variables can be passed to the function, optional args begin with
the first non-entangled var.
The optional args will be passed to the subroutine or function unmodified.
eg. "p_func('substr', $foo, 1,1)" will perform "substr($state, 1,1)" on each state in
$foo. Saying "p_func('substr', $foo,$bar,1)" will evaluate "substr($s_foo, $s_bar,1)" for
each state in $foo and $bar.
You can also specify a subroutine, either in the same package that "p_func" is called
from, or with a fully qualified name.
sub foo {my $state = $_[0]; return ${$_[1]}[$state]}
@foo = qw(one two three);
$foo = entangle(1,1,1,2,1,3); # |1> + |2> + |3>
$bar = p_func('foo', $foo, \@foo);
# bar now |one> + |two> + |three>
You can also pass a code reference as first arg (cleaner)...
$bar = p_func(\&foo, $foo, \@foo);
q_logic
This allows you to create new states, increasing the amount of global state as you do so.
This lets you apply weird quantum logic gates to your variables, amongst other things.
q_logic(code ref, entangled var [,more vars] );
The code ref is passed a list of probabilities and values corresponding to the state
currently being examined. (prob, val, [prob, val..]) code ref must return a list of the
following format:
(prob, val, prob, val ...) # as entangle basically
For instance, this is a root-not gate:
sub root_not {
my ($prob, $val) = @_;
return( $prob * (i* (1/sqrt(2))), $val,
$prob * (1/sqrt(2)), !$val ? 1 : 0);
}
$foo = entangle(1,0);
$foo = q_logic(\&root_not, $foo);
# if $foo is observed here, it will collapse to both 0 and 1, at random
$foo = q_logic(\&root_not, $foo);
print "\$foo is 1\n" if $foo; # always works, $foo is now 1.
This corresponds to the following:
foo = |0>
root_not( foo )
foo is now in state: sqrt(2)i |0> + sqrt(2) |1>
root_not (foo)
foo in state: (0.5 - 0.5) |0> + (0.5i + 0.5i) |1>
which if observed gives
foo = 0|0> + i|1> which must collapse to 1.
Neat, huh?
save_state
Having set up a load of entangled variables, you might wish to store their superposed
state for later restoration. This is acheived using the "save_state" function:
$state = save_state( [list of entangled variables] );
To restore the states of the entangled variables, simply call the "restore_state" method
on the $state:
($foo, $bar) = $state->restore_state;
The variables return by "restore_state" will no longer be entangled to anything they were
previously connected to. If multiple variables have their state saved at once, then any
connections between them will remain.
See the demo calc_cache for an example of use.
QFT
This provides a quantum fourier transform which acts on the probability amplitudes of a
state, creating a new state with the same values as the initial state but with new
probability amplitudes. FTs like this are used in many quantum algorithms where it is
important to find the periodicity of some function (for instance, Shor).
This will only work if you have carefully populated your states, essentially if all
seperately "entangle"d variables do not interact. This sort of breaks encapsulation, so
might change in the future!
See "~/demo/shor.pl" for an example of the use of this function.
Quantum::Entanglement::show_states
This allows you to find out the states that your variables are in, it does not count as
observation.
If called as a method it will only return the states available to that variable, thus:
$foo = entangle(1,0,1,1);
print $foo->show_states;
outputs:
1|0> 1|1>
If a variable is entangled with other superposed values, then calling "save_state" with an
additional true argument will display the states of all the variables which have
interacted together.
print $foo->show_states(1);
If two variables have not yet interacted, then they will not appear in the state space of
the other.
The ordering of the output of this function may change in later versions of this module.
Entangling subroutines
It is possible to entangle a set of subroutine references and later call them in parallel
with the same set of arguments. The subroutines will always be called in scalar context.
The return values of the subroutines will be present in the entangled variable returned.
eg.
$subs = entangle(1 => sub {return $_[0}, 1=>sub {return $_[1]});
$return = $subs->(qw(chalk cheese));
# $return now |chalk> + |cheese>
EXPORT
This module exports quite a bit, "entangle", "save_state", "p_op", "p_func" and "q_logic".
If used with qw(:complex) it will also export the following functions / constants from the
Math::Complex module: "i Re Im rho theta arg cplx cplxe".
AUTHOR
Alex Gough (alex@earth.li). Any comments, suggestions or bug reports are warmly welcomed.
SEE ALSO
perl(1). Quantum::Superpositions. Math::Complex.
<http://www.qubit.org/resource/deutsch85.ps>
- 1985 Paper by David Deutsch. <http://xxx.lanl.gov/abs/math.HO/9911150>
- Machines, Logic and Quantum Physics,
David Deutsch, Artur Ekert, Rossella Lupacchini.
Various examples are provided in the "~/demo/" directory of the distribution. An article
on the module is available at <http://the.earth.li/~alex/quant_ent.html>.
BUGS
This is slow(ish) but fun, so hey!
Shortcomings
This module does fall short of physical reality in a few important areas, some of which
are listed below:
No eigenfunction like behaviour
All operators share the same set of eigenfunctions, in real QM this is sometimes not
the case, so observing one thing would cause some other thing (even if already
observed) to fall into a superposition of states again.
Certain observables cannot simultaneously have precisely defined values.
This follows from the point above. The famous uncertainty principle follows from the
fact that position and momentum have different sets of eigenfunctions. In this
module, it is always possible to collapse the system so that a value is known for
every entangled variable.
Perl is not a quantum computing device
Perl, alas, is currently only implemented on classical computers, this has the
disadvantage that any quantum algorithm will not run in constant time but will quite
likely run in exponential time. This might be remedied in future releases of perl.
Just not anytime soon.
Quantum information cannot be copied with perfect fidelity
It is impossible to perfectly clone a real entangled state without 'damaging' in some
way either the original or the copy. In this module, it is possible for this to
happen as we have special access to the states of our variables.
Cannot generate perfectly random numbers
It is well known that classical computers cannot produce a perfectly random sequence
of numbers, as this module runs on one of these, it also suffers the same fate. It is
possible to give a classical computer access to a perfect random number generator
though (essentially by linking it to a suitable physical system) in which case this is
no longer a problem.
COPYRIGHT
This code is copyright (c) Alex Gough, 2001,2002. All Rights Reserved. This module is
free software. It may be used, redistributed and/or modified under the same terms as Perl
itself.