Related papers: Von Neumann Algebras form a Model for the Quantum …
We propose a quantum algorithm to solve systems of nonlinear algebraic equations. In the ideal case the complexity of the algorithm is linear in the number of variables $n$, which means our algorithm's complexity is less than $O(n^{3})$ of…
To each quantum system, described by a von Neumann algebra of physical quantities, we associate a complete bi-Heyting algebra. The elements of this algebra represent contextualised propositions about the values of the physical quantities of…
Quantum supermaps are higher-order maps transforming quantum operations into quantum operations. Here we extend the theory of quantum supermaps, originally formulated in the finite dimensional setting, to the case of higher-order maps…
We study the equivalence relation $R_N$ generated by the (non-free) action of the generalized Thompson group $F_N$ on the unit interval. We show that this relation is a standard, quasipreserving ergodic equivalence relation. Using results…
Quantum link models provide an alternative non-perturbative formulation of Abelian and non-Abelian lattice gauge theories. They are ideally suited for quantum simulation, for example, using ultracold atoms in an optical lattice. This holds…
Under which conditions do outcome probabilities of measurements possess a quantum-mechanical model? This kind of problem is solved here for the case of two dichotomic von Neumann measurements which can be applied repeatedly to a quantum…
In this paper, we investigate the power of nearly purely operational techniques in the study of umbral calculus. We present a concise reconstruction of the theory based on a systematic use of linear operators, with particular attention to…
We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. The notion of…
In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can be represented as bounded continuous…
We investigate some multiplication properties of Kato-Sobolev spaces by adapting the techniques used in the study of Beurling algebras by Coifman and Meyer. We develop an analytic functional calculus for Kato-Sobolev algebras based on an…
We propose to represent both $n$--qubits and quantum gates acting on them as elements in the complex Clifford algebra defined on a complex vector space of dimension $2n.$ In this framework, the Dirac formalism can be realized in…
We propose models of quantum neural networks through Clifford algebras, which are capable of capturing geometric features of systems and to produce entanglement. Due to their representations in terms of Pauli matrices, the Clifford algebras…
By treating generators of the reflection equation algebra corresponding to a Hecke symmetry as quantum analogs of vector fields, we exhibit the corresponding Leibniz rule via the so-called quantum doubles. The role of the function algebra…
We advocate the use of de Bruijn's universal abstraction $\lambda^\infty$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus featuring the quantifier $\lambda^\infty$…
Quantum bialgebras derivable from Uq(sl2) which contain idempotents and von Neumann regular Cartan-like generators are introduced and investigated. Various types of antipodes (invertible and von Neumann regular) on these bialgebras are…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
This is a brief review of our recent work attempted at a generalization of the Grassmann algebra to the paragrassmann ones. The main aim is constructing an algebraic basis for representing `fractional' symmetries appearing in $2D$…
Is is shown here that the "simple test of quantumness for a single system" of arXiv:0704.1962 (for a recent experimental realization see arXiv:0804.1646) has exactly the same relation to the discussion of to the problem of describing the…
We review and analyze the hybrid quantum-classical NMR computing methodology referred to as Type-II quantum computing. We show that all such algorithms considered so far within this paradigm are equivalent to some classical…
An operator algebra $\mathcal{A}$ acting on a Hilbert space is said to have the closability property if every densely defined linear transformation commuting with $\mathcal{A}$ is closable. In this paper we study the closability property of…