151,376 research outputs found
Spin networks, quantum automata and link invariants
The spin network simulator model represents a bridge between (generalized)
circuit schemes for standard quantum computation and approaches based on
notions from Topological Quantum Field Theories (TQFT). More precisely, when
working with purely discrete unitary gates, the simulator is naturally modelled
as families of quantum automata which in turn represent discrete versions of
topological quantum computation models. Such a quantum combinatorial scheme,
which essentially encodes SU(2) Racah--Wigner algebra and its braided
counterpart, is particularly suitable to address problems in topology and group
theory and we discuss here a finite states--quantum automaton able to accept
the language of braid group in view of applications to the problem of
estimating link polynomials in Chern--Simons field theory.Comment: LateX,19 pages; to appear in the Proc. of "Constrained Dynamics and
Quantum Gravity (QG05), Cala Gonone (Italy) September 12-16 200
Quantum automata, braid group and link polynomials
The spin--network quantum simulator model, which essentially encodes the
(quantum deformed) SU(2) Racah--Wigner tensor algebra, is particularly suitable
to address problems arising in low dimensional topology and group theory. In
this combinatorial framework we implement families of finite--states and
discrete--time quantum automata capable of accepting the language generated by
the braid group, and whose transition amplitudes are colored Jones polynomials.
The automaton calculation of the polynomial of (the plat closure of) a link L
on 2N strands at any fixed root of unity is shown to be bounded from above by a
linear function of the number of crossings of the link, on the one hand, and
polynomially bounded in terms of the braid index 2N, on the other. The growth
rate of the time complexity function in terms of the integer k appearing in the
root of unity q can be estimated to be (polynomially) bounded by resorting to
the field theoretical background given by the Chern-Simons theory.Comment: Latex, 36 pages, 11 figure
Quantum geometry and quantum algorithms
Motivated by algorithmic problems arising in quantum field theories whose
dynamical variables are geometric in nature, we provide a quantum algorithm
that efficiently approximates the colored Jones polynomial. The construction is
based on the complete solution of Chern-Simons topological quantum field theory
and its connection to Wess-Zumino-Witten conformal field theory. The colored
Jones polynomial is expressed as the expectation value of the evolution of the
q-deformed spin-network quantum automaton. A quantum circuit is constructed
capable of simulating the automaton and hence of computing such expectation
value. The latter is efficiently approximated using a standard sampling
procedure in quantum computation.Comment: Submitted to J. Phys. A: Math-Gen, for the special issue ``The
Quantum Universe'' in honor of G. C. Ghirard
Robust Detection of Hierarchical Communities from Escherichia coli Gene Expression Data
Determining the functional structure of biological networks is a central goal
of systems biology. One approach is to analyze gene expression data to infer a
network of gene interactions on the basis of their correlated responses to
environmental and genetic perturbations. The inferred network can then be
analyzed to identify functional communities. However, commonly used algorithms
can yield unreliable results due to experimental noise, algorithmic
stochasticity, and the influence of arbitrarily chosen parameter values.
Furthermore, the results obtained typically provide only a simplistic view of
the network partitioned into disjoint communities and provide no information of
the relationship between communities. Here, we present methods to robustly
detect coregulated and functionally enriched gene communities and demonstrate
their application and validity for Escherichia coli gene expression data.
Applying a recently developed community detection algorithm to the network of
interactions identified with the context likelihood of relatedness (CLR)
method, we show that a hierarchy of network communities can be identified.
These communities significantly enrich for gene ontology (GO) terms, consistent
with them representing biologically meaningful groups. Further, analysis of the
most significantly enriched communities identified several candidate new
regulatory interactions. The robustness of our methods is demonstrated by
showing that a core set of functional communities is reliably found when
artificial noise, modeling experimental noise, is added to the data. We find
that noise mainly acts conservatively, increasing the relatedness required for
a network link to be reliably assigned and decreasing the size of the core
communities, rather than causing association of genes into new communities.Comment: Due to appear in PLoS Computational Biology. Supplementary Figure S1
was not uploaded but is available by contacting the author. 27 pages, 5
figures, 15 supplementary file
``Sum over Surfaces'' form of Loop Quantum Gravity
We derive a spacetime formulation of quantum general relativity from
(hamiltonian) loop quantum gravity. In particular, we study the quantum
propagator that evolves the 3-geometry in proper time. We show that the
perturbation expansion of this operator is finite and computable order by
order. By giving a graphical representation a' la Feynman of this expansion, we
find that the theory can be expressed as a sum over topologically inequivalent
(branched, colored) 2d surfaces in 4d. The contribution of one surface to the
sum is given by the product of one factor per branching point of the surface.
Therefore branching points play the role of elementary vertices of the theory.
Their value is determined by the matrix elements of the hamiltonian constraint,
which are known. The formulation we obtain can be viewed as a continuum version
of Reisenberger's simplicial quantum gravity. Also, it has the same structure
as the Ooguri-Crane-Yetter 4d topological field theory, with a few key
differences that illuminate the relation between quantum gravity and TQFT.
Finally, we suggests that certain new terms should be added to the hamiltonian
constraint in order to implement a ``crossing'' symmetry related to 4d
diffeomorphism invariance.Comment: Seriously revised version. LaTeX, with revtex and epsfi
On traces of tensor representations of diagrams
Let be a set, of {\em types}, and let \iota,o:T\to\oZ_+. A {\em
-diagram} is a locally ordered directed graph equipped with a function
such that each vertex of has indegree
and outdegree . (A directed graph is {\em locally ordered} if at
each vertex , linear orders of the edges entering and of the edges
leaving are specified.)
Let be a finite-dimensional \oF-linear space, where \oF is an
algebraically closed field of characteristic 0. A function on assigning
to each a tensor is called a {\em tensor representation} of . The {\em trace} (or {\em
partition function}) of is the \oF-valued function on the
collection of -diagrams obtained by `decorating' each vertex of a
-diagram with the tensor , and contracting tensors along
each edge of , while respecting the order of the edges entering and
leaving . In this way we obtain a {\em tensor network}.
We characterize which functions on -diagrams are traces, and show that
each trace comes from a unique `strongly nondegenerate' tensor representation.
The theorem applies to virtual knot diagrams, chord diagrams, and group
representations
An evolutionary behavioral model for decision making
For autonomous agents the problem of deciding what to do next becomes increasingly complex when acting in unpredictable and dynamic environments pursuing multiple and possibly conflicting goals. One of the most relevant behavior-based model that tries to deal with this problem is the one proposed by Maes, the Bbehavior Network model. This model proposes a set of behaviors as purposive perception-action units which are linked in a nonhierarchical network, and whose behavior selection process is orchestrated by spreading activation dynamics. In spite of being an adaptive model (in the sense of self-regulating its own behavior selection process), and despite the fact that several extensions have been proposed in order to improve the original model adaptability, there is not a robust model yet that can self-modify adaptively both the topological structure and the functional purpose\ud
of the network as a result of the interaction between the agent and its environment. Thus, this work proffers an innovative hybrid model driven by gene expression programming, which makes two main contributions: (1) given an initial set of meaningless and unconnected units, the evolutionary mechanism is able to build well-defined and robust behavior networks which are adapted and specialized to concrete internal agent's needs and goals; and (2)\ud
the same evolutionary mechanism is able to assemble quite\ud
complex structures such as deliberative plans (which operate in the long-term) and problem-solving strategies
- …