Related papers: On the equivalence of two quantifier elimination t…
We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.
We present the proof of the equivalence theorem in quantum field theory which is based on a formulation of this problem in the field-antifield formalism. As an example, we consider a model in which a different choices of natural finite…
In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems, showed that all these problems are either in P or NP-complete, and gave a…
Let $L_{>\lambda}(\mathcal{A})$ and $L_{\geq\lambda}(\mathcal{A})$ be the languages recognized by {\em measure many 1-way quantum finite automata (MM-QFA)} (or,{\em enhanced 1-way quantum finite automata(EQFA)}) $\mathcal{A}$ with strict…
A translation is provided of the nonspecialist article by N G van Kampen which seeks to dispel much of the mysticism surrounding quantum measurement.
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
We establish a Dwyer-Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable (infinity,1)-categories. This implies that the underlying quasicategories…
A determinant evaluation is proven, a special case of which establishes a conjecture of Bombieri, Hunt, and van der Poorten (Experimental Math\. {\bf 4} (1995), 87--96) that arose in the study of Thue's method of approximating algebraic…
We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expressive and encompasses e.g. the k-variable fragments of…
We first show that given a $k_1$-letter quantum finite automata $\mathcal{A}_1$ and a $k_2$-letter quantum finite automata $\mathcal{A}_2$ over the same input alphabet $\Sigma$, they are equivalent if and only if they are…
In this paper, we focus on determining the equivalence for {\it 1-way quantum finite automata with control language} (CL-1QFAs) defined by Bertoni et al and {\it measure-many 1-way quantum finite automata} (MM-1QFAs) introduced by Kondacs…
Incidence Calculus and Dempster-Shafer Theory of Evidence are both theories to describe agents' degrees of belief in propositions, thus being appropriate to represent uncertainty in reasoning systems. This paper presents a straightforward…
Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…
Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…
We derive an efficient CH-type inequality. Quantum mechanics violates our proposed inequality independent of the detection-efficiency problem.
We consider the equivalence problem of four-dimensional semi-Riemannian metrics with the $2$-dimensional Abelian Killing algebra. In the generic case we determine a semi-invariant frame and a fundamental set of first-order scalar…
The equivalence problem for unambiguous grammars is an important, but very difficult open question in formal language theory. Consider the \emph{limited} equivalence problem for unambiguous grammars -- for two unambiguous grammars $G_1$ and…
In a recent provocative paper, Lamport points out "the insubstantiality of processes" by proving the equivalence of two different decompositions of the same intuitive algorithm by means of temporal formulas. We point out that the correct…
We prove that the finitistic test ideal $\tau_{\rm fg}(R, \Delta, \mathfrak{a}^t)$ coincides with the big test ideal $\tau_{\rm b}(R, \Delta, \mathfrak{a}^t)$ if the pair $(R,\Delta)$ is numerically log $\mathbb{Q}$-Gorenstein.
Considered is the problem of local equivalence of generic four-dimensional metrics possessing two commuting and orthogonally transitive Killing vector fields. A sufficient set of eight differential invariants is explicitly constructed,…