293 research outputs found
A Geometrical Derivation of a Family of Quantum Speed Limit Results
We derive a family of quantum speed limit results in time independent systems
with pure states and a finite dimensional state space, by using a geometric
method based on right invariant action functionals on SU(N). The method relates
speed limits for implementing quantum gates to bounds on orthogonality times.
We reproduce the known result of the Margolus-Levitin theorem, and a known
generalisation of the Margolis-Levitin theorem, as special cases of our method,
which produces a rich family of other similar speed limit formulas
corresponding to positive homogeneous functions on su(n). We discuss the
general relationship between speed limits for controlling a quantum state and a
system's time evolution operator.Comment: 12 page
Local and global models of physics and computation
Classical computation is essentially local in time, yet some formulations of physics are global in time. Here I examine these differences, and suggest that certain forms of unconventional computation are needed to model physical processes and complex systems. These include certain forms of analogue computing, massively parallel field computing, and self-modifying computations
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal abstract model and a formal concrete model were developed, and a formal refinement was hand-proved between them. Nevertheless, certain requirements issues were set beyond the scope of the formal development, or handled in an unnatural manner. The retrenchment Tower Pattern is used to address one such issue in detail: the finiteness of the purse log (which records unsuccessful transactions). A retrenchment is constructed from the lowest level model of the purse system to a model in which logs are finite, and is then lifted to create two refinement developments of the purse, working at different levels of detail, and connected via retrenchments, forming the tower. The tower development is appropriately validated, vindicating the design used
EvoMachina : a novel evolutionary algorithm inspired by bacterial genome reorganisation
EvoMachina is a novel natural computation algorithm, inspired by recent understandings of the processes of genome reorganisation in bacteria and viruses. It has been developed as part of the EU FP7 project EvoEvo, taking inspiration from its biological experiments, and developed to support Living Technology applications. This abstract outlines the conceptual model underlying EvoMachina, its implementation, and a reference application
Augmenting Live Coding with Evolved Patterns
We present a new system for integrating evolutionary processes with live coding. The system is built upon an existing platform called Extramuros, which facilitates network-based collaboration on live coding performances. Our evolutionary approach uses the Tidal live coding language within this platform. The system uses a grammar to parse code patterns and create random mutations that conform to the grammar, thus guaranteeing that the resulting pattern has the correct syntax. With these mutations available, we provide a facility to integrate them during a live performance. To achieve this, we added controls to the Extramuros web client that allows coders to select patterns for submission to the Tidal interpreter. The fitness of the pattern is updated implicitly by the way the coder uses the patterns. In this way, appropriate patterns are continuously generated and selected for throughout a performance. We present examples of performances, and discuss the utility of this approach in live coding music
The Natural Science of Computing
As unconventional computing comes of age, we believe a revolution is needed in our view of computer science
Evolving Graphs with Semantic Neutral Drift
We introduce the concept of Semantic Neutral Drift (SND) for genetic
programming (GP), where we exploit equivalence laws to design semantics
preserving mutations guaranteed to preserve individuals' fitness scores. A
number of digital circuit benchmark problems have been implemented with
rule-based graph programs and empirically evaluated, demonstrating quantitative
improvements in evolutionary performance. Analysis reveals that the benefits of
the designed SND reside in more complex processes than simple growth of
individuals, and that there are circumstances where it is beneficial to choose
otherwise detrimental parameters for a GP system if that facilitates the
inclusion of SND
- ā¦