Related papers: Translating Equality Downwards
The (strong) Bruhat order for permutations provides a partial ordering defined as follows: two permutations are comparable if one can be obtained from the other by a sequence of adjacent transpositions that each increase the number of…
We study possible Lie and non-classical reductions of multidimensional wave equations and the special classes of possible reduced equations - their symmetries and equivalence classes. Such investigation allows to find many new conditional…
We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of…
A Bell inequality defined for a specific experimental configuration can always be extended to a situation involving more observers, measurement settings or measurement outcomes. In this article, such "liftings" of Bell inequalities are…
We complete the rules of translation between standard complex quantum mechanics (CQM) and quaternionic quantum mechanics (QQM) with a complex geometry. In particular we describe how to reduce ($2n$+$1$)-dimensional complex matrices to {\em…
We investigate computability in the lattice of equivalence relations on the natural numbers. We mostly investigate whether the subsets of appropriately defined subrecursive equivalence relations -for example the set of all polynomial-time…
Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to…
Based on a reduction processing, we rewrite a hypergeometric term as the sum of the difference of a hypergeometric term and a reduced hypergeometric term (the reduced part, in short). We show that when the initial hypergeometric term has a…
Collapse models describe the breakdown of the quantum superposition principle when moving from microscopic to macroscopic scales. They are among the possible solutions to the quantum measurement problem and thus describe the emergence of…
Cross-lingual semantic textual similarity systems estimate the degree of the meaning similarity between two sentences, each in a different language. State-of-the-art algorithms usually employ machine translation and combine vast amount of…
Higher-dimensional theories of the kind which may unify gravitation with particle physics can lead to significant modifications of general relativity. In five dimensions, the vacuum becomes non-standard, and the Weak Equivalence Principle…
The cut pseudo-metric on the space of graph limits induces an equivalence relation. The quotient space obtained by collapsing each equivalence class to a point is a metric space with appealing analytic properties. We show that the…
This paper aims to provide an analysis of what it means when we say that a pair of theories, very generously construed, are equivalent in the sense that they are interdefinable. With regard to theories articulated in first order logic, we…
The polynomial hierarchy plays a central role in classical complexity theory. Here, we define a quantum generalization of the polynomial hierarchy, and initiate its study. We show that not only are there natural complete problems for the…
We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between…
Bell's inequalities can be understood in three different ways depending on whether the numbers featuring in the inequalities are interpreted as classical probabilities, classical conditional probabilities, or quantum probabilities. In the…
Hemaspaandra, Hempel, and Wechsung [cs.CC/9909020] raised the following questions: If one is allowed one question to each of two different information sources, does the order in which one asks the questions affect the class of problems that…
We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense…
We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these…
In recent years much effort has been concentrated towards achieving polynomial time lower bounds on algorithms for solving various well-known problems. A useful technique for showing such lower bounds is to prove them conditionally based on…