Related papers: QL(C^n) determines n
Quantum mechanics is reformulated using Hartle's definition of the state of an individual physical system and a variant of von Neumann's propositional calculus. An elementary set of quantum postulates lead inductively to the familiar…
Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe…
We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces. We study quantum Boolean algebras from the logical and set theoretical viewpoints.
The quantum even-dimensional balls are defined as the $C^*$-algebras generated by certain graphs. We exhibit a polynomial algebra for each even-dimensional quantum ball, and classify the irreducible representations of it.
Invited contribution to the Encyclopedia of Mathematical Physics (2nd edition), providing an overview over some main ideas and results in quantum cosmology. Key points: Canonical quantisation of homogeneous, isotropic cosmology; discussion…
In this paper we present explicit formulas for the *-product on quantum spaces which are of particular importance in physics, i.e., the q-deformed Minkowski space and the q-deformed Euclidean space in 3 and 4 dimensions, respectively. Our…
The generalized Kazhdan-Lusztig polynomials for the finite dimensional irreducible representations of the general linear superalgebra are computed explicitly. Using the result we establish a one to one correspondence between the set of…
Ashtekar's formulation for canonical quantum gravity is known to possess the topological solutions which have their supports only on the moduli space $\CN$ of flat $SL(2,C)$ connections. We show that each point on the moduli space $\CN$…
To give a Cartan calculus on the extended quantum 3d space, the noncommutative differential calculus on the extended quantum 3d space is extended by introducing inner derivations and Lie derivatives.
Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds…
In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these…
Let A(n) be a $k\times s$ matrix and $m(n)$ be a $k$ dimensional vector, where all entries of A(n) and $m(n)$ are integer-valued polynomials in $n$. Suppose that $$t(m(n)|A(n))=#\{x\in\mathbb{Z}_{+}^{s}\mid A(n)x=m(n)\}$$ is finite for each…
In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from…
We investigate the relation between Cartan decompositions of the unitary group and discrete quantum symmetries. To every Cartan decomposition there corresponds a quantum symmetry which is the identity when applied twice. As an application,…
We prove rationality of the quotient $\mathbb{C}^n / H_n$ for the finite Heisenberg group $H_n$, any $n \ge 1$, acting on $\mathbb{C}^n$ via its irreducible representation.
We study quantified propositional logics from the complexity theoretic point of view. First we introduce alternating dependency quantified boolean formulae (ADQBF) which generalize both quantified and dependency quantified boolean formulae.…
In this short note we relate some known properties of propositional calculus to purely algebraic considerations of a Boolean algebra. Classes of formulas of propositional calculus are considered as elements of a Boolean algebra. As such…
Unlike the standard Quantum Computational Logic (QCL), where the carrier of information (target) is conventionally assumed to be only the last qubit over a sequence of many qubits, here we propose an extended version of the QCL (we call…
Classical mechanics can be formulated using a symplectic structure on classical phase space, while quantum mechanics requires a complex-differentiable structure on that same space. Complex-differentiable structures on a given real manifold…
Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic…