The semantics of jitter in anticipating time itself within nano-technology

The development of nano-technology calls for a careful examination of anticipatory systems at this small scale. For the characteristics of time at the boundary between classical and quantum domains are quite critical for the advancement of the new technology. It has long been well recognised that time is not absolute even in classical subjects like navigation and dynamics where idealised concepts like mean solar time, International Atomic Time and Newton’s dynamical time have had to be used. Time is the data of the Universe and belongs in the semantics of its extensional form. At the boundary between classical and quantum behaviour the uncertainty of time data becomes a significant effect and this is why it is of great importance in nanotechnology, in areas such as the interoperability of different time domains in hardware, where noise in the form of jitter causes a system to behave in an unpredictable fashion, a severe and expensive problem for anticipating how time is to be handled. A fundamental difficulty is that jitter is represented using numbers, giving rise to undecidability and incompleteness according to Gödel’s theorems. To escape the clutches of Gödel undecidability it is necessary to advance to cartesian closed categories beyond the category of sets to represent the relationship between different times as adjoint endofunctors in monad and comonad constructions

Curious properties of free hypergraph C*-algebras

A finite hypergraph $H$ consists of a finite set of vertices $V(H)$ and a collection of subsets $E(H) \subseteq 2^{V(H)}$ which we consider as partition of unity relations between projection operators. These partition of unity relations freely generate a universal C*-algebra, which we call the "free hypergraph C*-algebra" $C^*(H)$. General free hypergraph C*-algebras were first studied in the context of quantum contextuality. As special cases, the class of free hypergraph C*-algebras comprises quantum permutation groups, maximal group C*-algebras of graph products of finite cyclic groups, and the C*-algebras associated to quantum graph homomorphism, isomorphism, and colouring. Here, we conduct the first systematic study of aspects of free hypergraph C*-algebras. We show that they coincide with the class of finite colimits of finite-dimensional commutative C*-algebras, and also with the class of C*-algebras associated to synchronous nonlocal games. We had previously shown that it is undecidable to determine whether $C^*(H)$ is nonzero for given $H$. We now show that it is also undecidable to determine whether a given $C^*(H)$ is residually finite-dimensional, and similarly whether it only has infinite-dimensional representations, and whether it has a tracial state. It follows that for each one of these properties, there is $H$ such that the question whether $C^*(H)$ has this property is independent of the ZFC axioms, assuming that these are consistent. We clarify some of the subtleties associated with such independence results in an appendix.Comment: 19 pages. v2: minor clarifications. v3: terminology 'free hypergraph C*-algebra', added Remark 2.2

Adjoint exactness

Plato's ideas and Aristotle's real types from the classical age, Nominalism and Realism of the mediaeval period and Whitehead's modern view of the world as pro- cess all come together in the formal representation by category theory of exactness in adjointness (a). Concepts of exactness and co-exactness arise naturally from ad- jointness and are needed in current global problems of science. If a right co-exact valued left-adjoint functor ( ) in a cartesian closed category has a right-adjoint left- exact functor ( ), then physical stability is satis ed if itself is also a right co-exact left-adjoint functor for the right-adjoint left exact functor ( ): a a . These concepts are discussed here with examples in nuclear fusion, in database interroga- tion and in the cosmological ne structure constant by the Frederick construction

Process as a world transaction

Transaction is process closure: for a transaction is the limiting process of process itself. In the process world view the universe is the ultimate (intensional) transaction of all its extensional limiting processes that we call reality. ANPA’s PROGRAM UNIVERSE is a computational model which can be explored empirically in commercial database transactions where there has been a wealth of activity over the real world for the last 40 years. Process category theory demonstrates formally the fundamental distinctions between the classical model of a transaction as in PROGRAM UNIVERSE and physical reality. The paper concludes with a short technical summary for those who do not wish to read all the detail

Quantum logic is undecidable

We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation. Our main result is that already its quasi-identities are undecidable: there is no algorithm to decide whether an implication between equations and orthogonality relations implies another equation. This is a corollary of a recent result of Slofstra in combinatorial group theory. It follows upon reinterpreting that result in terms of the hypergraph approach to quantum contextuality, for which it constitutes a proof of the inverse sandwich conjecture. It can also be interpreted as stating that a certain quantum satisfiability problem is undecidable.Comment: 11 pages. v3: improved exposition. v4: minor clarification

The equational theory of the natural join and inner union is decidable

The natural join and the inner union operations combine relations of a database. Tropashko and Spight [24] realized that these two operations are the meet and join operations in a class of lattices, known by now as the relational lattices. They proposed then lattice theory as an algebraic approach to the theory of databases, alternative to the relational algebra. Previous works [17, 22] proved that the quasiequational theory of these lattices-that is, the set of definite Horn sentences valid in all the relational lattices-is undecidable, even when the signature is restricted to the pure lattice signature. We prove here that the equational theory of relational lattices is decidable. That, is we provide an algorithm to decide if two lattice theoretic terms t, s are made equal under all intepretations in some relational lattice. We achieve this goal by showing that if an inclusion t $\le$ s fails in any of these lattices, then it fails in a relational lattice whose size is bound by a triple exponential function of the sizes of t and s.Comment: arXiv admin note: text overlap with arXiv:1607.0298