Related papers: Canonical calculi with (n,k)-ary quantifiers
In 2008, Rogalski and Zhang showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted…
Conventional canonical quantization procedures directly link various c-number and q-number quantities. Here, we advocate a different association of classical and quantum quantities that renders classical theory a natural subset of quantum…
The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…
We investigate an unsuspected connection between logical connectives with non-harmonious deduction rules, such as Prior's tonk, and quantum computing. We argue that these connectives model the information-erasure, the non-reversibility, and…
We propose an object called 'sepcanonical system' on a stable curve $X_0$ which is to serve as limiting object- distinct from other such limits introduced previously- for the canonical system, as a smooth curve degenerates to $X_0$. First…
In their seminal paper (Phys. Rev.121, 920 (1961)) Sudarshan, Mathews and Rau investigated properties of the dynamical $A$ and $B$ maps acting on $n$ dimensional quantum systems. Nature of the dynamical maps in open quantum system…
We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for…
The paper contains further development of the idea of field quantization introduced in M. Czachor, J. Phys. A: Math. Gen. {\bf 33} (2000) 8081-8103. The formalism is extended to the relativistic domain. The link to the standard theory is…
We present a systematic canonical quantization procedure for lumped-element superconducting networks by making use of a redundant configuration-space description. The algorithm is based on an original, explicit, and constructive…
Using arbitrary symplectic structures and parametrization invariant actions, we develop a formalism, based on Dirac's quantization procedure, that allows us to consider theories with both space-space as well as space-time noncommutativity.…
The univalence axiom expresses the principle of extensionality for dependent type theory. However, if we simply add the univalence axiom to type theory, then we lose the property of canonicity - that every closed term computes to a…
In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…
For any 1-reduced simplicial set $K$ we define a canonical, coassociative coproduct on $\Om C(K)$, the cobar construction applied to the normalized, integral chains on $K$, such that any canonical quasi-isomorphism of chain algebras from…
The Feynman-Garrod path integral representation for time evolution is extended to arbitrary one-parameter continuous canonical transformations. One thereupon obtains a generalized Kerner-Sutcliffe formula for the unique quantum…
Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…
In this paper we construct manifestly covariant relativistic coherent states on the entire complex plane which reproduce others previously introduced on a given $SL(2,R)$ representation, once a change of variables $z\in C\rightarrow z_D \in…
We define the property of Pi_2-compactness of a statement phi of set theory, meaning roughly that the hard core of the impact of phi on combinatorics of aleph_1 can be isolated in a canonical model for the statement phi. We show that the…
Let K be a field and G a split connected reductive affine algebraic K-group. Let T be a split maximal torus of G, W its finite Weyl group, and R its root system. After fixing a realization of R in G and choosing a simple system for R, one…
The Hamiltonian formulation plays the essential role in constructing the framework of modern physics. In this paper, a new form of canonical equations of Hamilton with the complete symmetry is obtained, which are valid not only for the…
This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone…