Related papers: Quantifier-free descriptions for quantifier soluti…
It is well-known that there exist infinitely-many inequivalent representations of the canonical (anti)-commutation relations of Quantum Field Theory (QFT). A way out, suggested by Algebraic QFT, is to instead define the quantum theory as…
The two parameters quantum algebra $SU_{p,k}(2)$ can be obtained from a single parameter algebra $SU_q(2)$. This fact gives some relations between $SU_{p,k}(2)$ quantities and the corresponding ones of the $SU_q(2)$ algebra. In this paper…
This article suggests that thinking about the role of reference frames can provide new insight into Extended Wigner's Friend scenarios. This involves appealing to symmetries to make a principled distinction between properties of a system…
We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no external feature such as nominals/labels. It is not possible…
This is a companion article to \cite{Tz24}. We address the following two questions: 1) Can we define in the magmatic universe $M$ of \cite{Tz24} counterparts, or just analogues, of some very basic set-theoretic objects which are missing…
It is known that there exist an infinite number of inequivalent quantizations on a topologically nontrivial manifold even if it is a finite-dimensional manifold. In this paper we consider the abelian sigma model in (1+1) dimensions to…
We define a "quantum relation" on a von Neumann algebra M \subset B(H) to be a weak* closed operator bimodule over its commutant M'. Although this definition is framed in terms of a particular representation of M, it is effectively…
The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex basic non-commutative semi-algebraic set. The main theorem of this paper is a converse, a result which has implications for both semidefinite programming and…
In 1970 A. Baker and W. Schmidt introduced regular systems of numbers and vectors, showing that the set of real algebraic numbers forms a regular system on any fixed interval. This fact was used to prove several important results in the…
We address the question of identifying degrees of freedom for quantum systems. Typically, quasi-particle descriptions of correlated matter are based upon the canonical algebras of bosons or fermions. Here we highlight that a special class…
Applying a unifying Lax operator approach to statistical systems a new class of integrable vertex models based on quantum algebra is proposed, which exhibits a rich variety for generic q, q roots of unity and q -> 1. Exact solutions are…
In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final…
We introduce a generalized angular spectrum representation for quantized light beams. By using our formalism, we are able to derive simple expressions for the electromagnetic vector potential operator in the case of: {a)} time-independent…
We review the relation between homotopy algebras of conformal field theory and geometric structures arising in sigma models. In particular we formulate conformal invariance conditions, which in the quasi-classical limit are Einstein…
Linear algebra's main concerns are sets of vectors, linear functions, subspaces, linear systems, matrices and concepts about those, such as whether the solution of linear system exists or is unique; a set of vectors is linearly independent…
In this paper, we investigate the parameterized complexity of model checking for Dependence Logic which is a well studied logic in the area of Team Semantics. We start with a list of nine immediate parameterizations for this problem,…
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse the behaviour of the existential and universal quantifiers. We…
We study the quantum dynamics of a time reparametrization invariant system with a vanishing Hamiltonian. The evolution of the physical degrees of freedom of the system is described, both at the classical and at the quantum level, in…
We study a class of linearly coupled system of quasilinear equations. Under some assumptions on the nonlinear terms, we establish some results about the existence and regularity of vector solutions for the p-Laplacian systems by using…
The possibility of defining sesquilinear forms starting from one or two sequences of elements of a Hilbert space is investigated. One can associate operators to these forms and in particular look for conditions to apply representation…