1,825 research outputs found
Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy's Merge
This note shows that split-2 bisimulation equivalence (also known as timed
equivalence) affords a finite equational axiomatization over the process
algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981
to the recursion, relabelling and restriction free fragment of Milner's
Calculus of Communicating Systems. Thus the addition of a single binary
operation, viz. Hennessy's merge, is sufficient for the finite equational
axiomatization of parallel composition modulo this non-interleaving
equivalence. This result is in sharp contrast to a theorem previously obtained
by the same authors to the effect that the same language is not finitely based
modulo bisimulation equivalence
Poly-infix operators and operator families
Poly-infix operators and operator families are introduced as an alternative
for working modulo associativity and the corresponding bracket deletion
convention. Poly-infix operators represent the basic intuition of repetitively
connecting an ordered sequence of entities with the same connecting primitive.Comment: 8 page
The Principle of Locality. Effectiveness, fate and challenges
The Special Theory of Relativity and Quantum Mechanics merge in the key
principle of Quantum Field Theory, the Principle of Locality. We review some
examples of its ``unreasonable effectiveness'' (which shows up best in the
formulation of Quantum Field Theory in terms of operator algebras of local
observables) in digging out the roots of Global Gauge Invariance in the
structure of the local observable quantities alone, at least for purely massive
theories; but to deal with the Principle of Local Gauge Invariance is still a
problem in this frame. This problem emerges also if one attempts to figure out
the fate of the Principle of Locality in theories describing the gravitational
forces between elementary particles as well. Spacetime should then acquire a
quantum structure at the Planck scale, and the Principle of Locality is lost.
It is a crucial open problem to unravel a replacement in such theories which is
equally mathematically sharp and reduces to the Principle of Locality at larger
scales. Besides exploring its fate, many challenges for the Principle of
Locality remain; among them, the analysis of Superselection Structure and
Statistics also in presence of massless particles, and to give a precise
mathematical formulation to the Measurement Process in local and relativistic
terms; for which we outline a qualitative scenario which avoids the EPR
Paradox.Comment: 36 pages. Survey partially based on a talk delivered at the Meeting
"Algebraic Quantum Field Theory: 50 years", Goettingen, July 29-31, 2009, in
honor of Detlev Buchholz. Submitted to Journal of Mathematical Physic
Contradiction-tolerant process algebra with propositional signals
In a previous paper, an ACP-style process algebra was proposed in which
propositions are used as the visible part of the state of processes and as
state conditions under which processes may proceed. This process algebra,
called ACPps, is built on classical propositional logic. In this paper, we
present a version of ACPps built on a paraconsistent propositional logic which
is essentially the same as CLuNs. There are many systems that would have to
deal with self-contradictory states if no special measures were taken. For a
number of these systems, it is conceivable that accepting self-contradictory
states and dealing with them in a way based on a paraconsistent logic is an
alternative to taking special measures. The presented version of ACPps can be
suited for the description and analysis of systems that deal with
self-contradictory states in a way based on the above-mentioned paraconsistent
logic.Comment: 25 pages; 26 pages, occurrences of wrong symbol for bisimulation
equivalence replaced; 26 pages, Proposition 1 added; 27 pages, explanation of
the phrase 'in contradiction' added to section 2 and presentation of the
completeness result in section 2 improved; 27 pages, uniqueness result in
section 2 revised; 27 pages, last paragraph of section 8 revise
Constructing spoke subfactors using the jellyfish algorithm
Using Jones' quadratic tangles formulas, we automate the construction of the
4442, 3333, 3311, and 2221 spoke subfactors by finding sets of 1-strand
jellyfish generators. The 4442 spoke subfactor is new, and the 3333, 3311, and
2221 spoke subfactors were previously known.Comment: 44 pages, many figures, to appear in Transactions of the American
Mathematical Societ
Linguistics and some aspects of its underlying dynamics
In recent years, central components of a new approach to linguistics, the
Minimalist Program (MP) have come closer to physics. Features of the Minimalist
Program, such as the unconstrained nature of recursive Merge, the operation of
the Labeling Algorithm that only operates at the interface of Narrow Syntax
with the Conceptual-Intentional and the Sensory-Motor interfaces, the
difference between pronounced and un-pronounced copies of elements in a
sentence and the build-up of the Fibonacci sequence in the syntactic derivation
of sentence structures, are directly accessible to representation in terms of
algebraic formalism. Although in our scheme linguistic structures are classical
ones, we find that an interesting and productive isomorphism can be established
between the MP structure, algebraic structures and many-body field theory
opening new avenues of inquiry on the dynamics underlying some central aspects
of linguistics.Comment: 17 page
- …