Related papers: Conway's cosmological theorem and automata theory
The cosmological constant is an unexplained until now phenomena of nature that requires an explanation through string effects. The apparent discrepancy between theory and experiment is enourmous and has already been explained several times…
Quantum theory is formulated as the only consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if there are two different ways to compute an amplitude the two answers must agree. This…
The initial conditions of our universe appear to us in the form of a classical probability distribution that we probe with cosmological observations. In the current leading paradigm, this probability distribution arises from a quantum…
The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order to better understand where the structure…
Quantum cosmology has traditionally been studied at the level of symmetry-reduced minisuperspace models, analyzing the behavior of wave functions. However, in the absence of a complete full setting of quantum gravity and detailed knowledge…
Automata admitting at most one accepting run per structure, known as unambiguous automata, find applications in verification of reactive systems as they extend the class of deterministic automata whilst maintaining some of their desirable…
We consider general relativity with a cosmological constant as a perturbative expansion around a completely solvable diffeomorphism invariant field theory. This theory is the $\Lambda\to\infty$ limit of general relativity. This allows an…
We present the cosmic organism theory in which all visible and invisible matter has different cosmic genetic expressions. The cosmic gene includes codes for the object structure and the space structure. The cosmic digital code for the…
It's the age-old recurrence with a twist: sum the last two terms and if the result is composite, divide by its smallest prime divisor to get the next term (e.g., 0, 1, 1, 2, 3, 5, 4, 3, 7, ...). These sequences exhibit pseudo-random…
A phenomenological formalism is presented in which the apparent acceleration of the universe is generated by large-scale structure formation, thus eliminating the coincidence and magnitude fine-tuning problems of the Cosmological Constant…
Cosmography is a phenomenological and relatively model-independent approach to cosmology, where physical quantities are expanded as a Taylor series in the cosmological redshift, or in related variables. Here we apply this methodology to…
A phenomenological formalism is presented in which the apparent acceleration of the universe is generated by large-scale structure formation, thus eliminating the magnitude and coincidence fine-tuning problems of the Cosmological Constant…
In this paper the notion of quantum finite one-counter automata (QF1CA) is introduced. Introduction of the notion is similar to that of the 2-way quantum finite state automata by A.Kondacs and J.Watrous. The well-formedness conditions for…
A unified conceptual foundation of classical and quantum physics is given, free of undefined terms. Ensembles are defined by extending the `probability via expectation' approach of Whittle to noncommuting quantities. This approach carries…
We propose that cosmological time is {\it effectively} the conjugate of the constants of nature. Different definitions of time arise, with the most relevant related to the constant controlling the dynamics in each epoch. The Hamiltonian…
We show that quantum cellular automata naturally form the degree-zero part of a coarse homology theory. The recent result of Ji and Yang that the space of QCA forms an Omega-spectrum in the sense of algebraic topology is a direct…
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene algebra with tests, along the lines of the coalgebraic…
A word w is called synchronizing (recurrent, reset, directed) word of a deterministic finite automaton (DFA) if w sends all states of the automaton on a unique state. Jan Cerny had found in 1964 a sequence of n-state complete DFA with…
Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article "Elementary-base cirquent calculus I: Parallel and choice connectives" built the sound and complete…