Related papers: $\omega$-consistency for Different Arrays of Quant…
As an approach to a Theory of Everything a framework for developing a coherent theory of mathematics and physics together is described. The main characteristic of such a theory is discussed: the theory must be valid and and sufficiently…
Checking consistency between an object diagram (OD) and a class diagram (CD) is an important analysis problem. However, several variations in the semantics of CDs and ODs, as used in different contexts and for different purposes, create a…
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper we present a logic that generates exactly all relations that…
We present a new and useful congruence identity satisfied by m-permutable varieties.
In the present work we suggest a general covariant theory which can be used to study the stability of any physical system treated geometrically. Stability conditions are connected to the magnitude of the deviation vector. This theory is a…
We introduce a notion of \emph{efficient stability} for finite presentations of groups. Informally, a finite presentation using generators $S$ and relations $R$ is \emph{stable} if any map from $S$ to unitaries that approximately satisfies…
We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence, metastable convergence with a given rate is the…
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…
We study the validity of congruence inclusions of the form $ \alpha ( \beta \circ \alpha \gamma \circ \beta \circ \dotsc \circ \alpha \gamma \circ \beta ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots$ in…
The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only…
We study quotients of mapping class groups (\Gamma_{g,1}) of oriented surfaces with one boundary component by terms of their Johnson filtrations, and we show that the homology of these quotients with suitable systems of twisted coefficients…
We show that the quantum description of measurement based on decoherence fixes the bug in quantum theory discussed in [D. Frauchiger and R. Renner, {\em Quantum theory cannot consistently describe the use of itself}, Nat. Comm. {\bf 9},…
A quantum-like description of human decision process is developed, and a heuristic argument supporting the theory as sound phenomenology is given. It is shown to be capable of quantitatively explaining the conjunction fallacy in the same…
The consistent histories formulation of the quantum theory of a closed system with pure initial state defines an infinite number of incompatible consistent sets, each of which gives a possible description of the physics. We investigate the…
We prove a general representation stability result for polynomial coefficient systems which lets us prove representation stability and secondary homological stability for many families of groups with polynomial coefficients. This gives two…
We consider for two based graphs $G$ and $H$ the sequence of graphs $G_k$ given by the wedge sum of $G$ and $k$ copies of $H$. These graphs have an action of the symmetric group $\Sigma_k$ by permuting the $H$-summands. We show that the…
Various measures have been suggested recently for quantifying the coherence of a quantum state with respect to a given basis. We first use two of these, the l_1-norm and relative entropy measures, to investigate tradeoffs between the…
Conformal symmetry is expected to be realized in many equilibrium statistical mechanical systems at criticality. Although this is certainly true in two-dimensional systems, the three-dimensional case is subtler, and only a few proofs exist,…
U duality transformations must act on a basis of states that form complete multiplets of the U group, at any coupling, even though the states may not be mass degenerate, as for a broken symmetry. Similarly, if superstring theory is related…
We state and prove a Lemma in 1 variable Calculus, that justifies some arguments previously used to ilustrate non-uniqueness of some generalized physical quantities.