相关论文: On Various Negative Translations
Perhaps the most significant drawback, which the Copenhagen interpretation (still the most popular interpretation of quantum theory) suffers from, is the classical-quantum divide between the large classical systems that carry out…
Motivated by Iyama's higher representation theory, we introduce $n$-translation quivers and $n$-translation algebras. The classical $\mathbb Z Q$ construction of the translation quiver is generalized to construct an $(n+1)$-translation…
Outside of the left-c.e. reals, Solovay reducibility is considered to be behaved badly [10.1007/978-0-387-68441-3]. Proposals for variants of Solovay reducibility that are better suited for the investigation of arbitrary, not necessarily…
The paper concerns a certain subcategory of the category of representations for a semisimple algebraic group $G$ in characteristic $p$, which arise from the semisimple modules for the corresponding quantum group at a $p$-th root of unity.…
We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: randomness and classification. The survey is divided in two parts…
We propose and discuss how basic notions (quadratic modules, positive elements, semialgebraic sets, Archimedean orderings) and results (Positivstellensaetze) from real algebraic geometry can be generalized to noncommutative $*$-algebras. A…
This paper provides a detailed description of various reduction schemes in rigid body dynamics. Analysis of one of such nontrivial reductions makes it possible to order the cases already found and to obtain new generalizations of the…
In this paper, we consider the categorical symmetric Howe duality introduced by Khovanov, Lauda, Sussan and Yonezawa. While originally defined from a purely diagrammatic perspective, this construction also has geometric and…
The information in an individual finite object (like a binary string) is commonly measured by its Kolmogorov complexity. One can divide that information into two parts: the information accounting for the useful regularity present in the…
We introduce a machine free mathematical framework to get a natural formalization of some general notions of infinite computation in the context of Kolmogorov complexity. Namely, the classes Max^{X\to D}_{PR} and Max^{X\to D}_{Rec} of…
In this paper we translate the two higher levels of the Ergodic Hierarchy [1], the Kolmogorov level and the Bernoulli level, to quantum language. Moreover, this paper can be considered as the second part of [2]. As in paper [2], we consider…
There are two approaches to projective representation theory of symmetric and alternating groups, which are powerful enough to work for modular representations. One is based on Sergeev duality, which connects projective representation…
We consider numerical approximations of stochastic Langevin equations by implicit methods. We show a weak backward error analysis result in the sense that the generator associated with the numerical solution coincides with the solution of a…
By extending the classical quantitative approximation results for positive and linear operators in $L^{p}([0, 1]), 1\le p \le +\infty$ of Berens and DeVore in 1978 and of Swetits and Wood in 1983 to the more general case of sublinear,…
From the very beginning the Khovanov homology appears to be one of the most important invariant of knots; for computational and theoretical reasons it would be useful to operate with reduced version of it - nevertheless the definition given…
We consider classical representations of integers: Church's function iterators, cardinal equivalence classes of sets, ordinal equivalence classes of totally ordered sets. Since programs do not work on abstract entities and require formal…
Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk,…
In this paper we apply different techniques of information distortion on a set of classical books written in English. We study the impact that these distortions have upon the Kolmogorov complexity and the clustering by compression technique…
Grishin proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat, who spoke of the Lambek-Grishin calculus (LG). In this paper, we adapt Girard's…
In this paper we propose a new approach to matter dynamics in compactified Kaluza-Klein theories. We discard the idea that the motion is geodesic and perform a simultaneous reduction of matter geometry defining the test particle via a…