Related papers: Three characterisations of the sequential product
For convex and sequential effect algebras, we study spectrality in the sense of Foulis. We show that under additional conditions (strong archimedeanity, closedness in norm and a certain monotonicity property of the sequential product), such…
We present a detailed study of the curvature and symplectic asphericity properties of symmetric products of surfaces. We show that these spaces can be used to answer nuanced questions arising in the study of closed Riemannian manifolds with…
This article begins with a study of convex effect-state spaces. We point out that such spaces are equivalent to interval effect algebras that generate an ordered linear space and possess an order-determining set of states. We then discuss…
In this paper, we study the tensor product of two unitary irreducible representations, as well as the tensor product of a unitary irreducible representation with a finite-dimensional one, and determine the corresponding Clebsch-Gordan…
We show that the strongly symmetric spectral convex compact sets are precisely the normalized state spaces of finite-dimensional simple Euclidean Jordan algebras and the simplices. Spectrality is the property that every state has a convex…
We introduce the notion of irregular vertex (operator) algebras. The irregular versions of fundamental properties, such as Goddard uniqueness theorem, associativity and operator product expansions are formulated and proved. We also give…
Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…
While there has been growing interest for noncommutative spaces in recent times, most examples have been based on the simplest noncommutative algebra: [x_i,x_j]=i theta_{ij}. Here we present new classes of (non-formal) deformed products…
We present examples of metric spaces that are not Riemannian manifolds nor dimensionally homogeneous that satisfy the Tetrahedral Property. In spite of that, Euclidean cones over metric spaces with small diameter do not satisfy this…
Let $G$ be a group and $G_0 \subseteq G$ be a subset. A sequence over $G_0$ means a finite sequence of terms from $G_0$, where the order of elements is disregarded and the repetition of elements is allowed. A product-one sequence is a…
In recent study of partial differential equations (PDEs) with random initial data and singular stochastic PDEs with random forcing, it is essential to study the regularity property of various stochastic objects. These stochastic objects are…
According to the von Neumann-Halperin and Lapidus theorems, in a Hilbert space the iterates of products or, respectively, of convex combinations of orthoprojections are strongly convergent. We extend these results to the iterates of convex…
The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For…
A serial property is a suitably enumerated sequence $\{F_n\}$ of formulas and is called selector provable in PA if there is a PA-recursive function $s(x)$ such that PA $\vdash \forall x (s(x){:}_{\text{PA}} \ulcorner F_x\urcorner)$ where…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
In the stable general linear group over an arbitrary field, we prove that every element with determinant $\pm 1$ is the product of three involutions, and of no less in general. We also obtain several results of the same flavor, with…
We show that the first five of the axioms we had formulated on spectral triples suffice (in a slightly stronger form) to characterize the spectral triples associated to smooth compact manifolds. The algebra, which is assumed to be…
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set of operations issued by the processes on shared objects…
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of…
We introduce a new algebraic framework to describe gravitational scrambling, including the semiclassical limit of any out-of-time-order correlation function that is built out of operator insertions separated by approximately the scrambling…