Related papers: An injective-type norm and integral bilinear forms…
It is argued that the partition of a quantum system into subsystems is dictated by the set of operationally accessible interactions and measurements. The emergence of a multi-partite tensor product structure of the state-space and the…
We give several criteria to decide whether a given tensor category is the abelian envelope of a fixed symmetric monoidal category. As a main result we prove that the category of finite-dimensional representations of a semisimple simply…
We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the objects interpreting formulas are games and that everything is…
Modern datasets are often in the form of matrices or arrays,potentially having correlations along each set of data indices. For example, data involving repeated measurements of several variables over time may exhibit temporal correlation as…
The main purpose of this paper is to introduce the random tensor with normal distribution, which promotes the matrix normal distribution to a higher order case. Some basic knowledge on tensors are introduced before we focus on the random…
We develop a theory of descent and forms of tensor categories over arbitrary fields. We describe the general scheme of classification of such forms using algebraic and homotopical language, and give examples of explicit classification of…
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…
We study natural differential operators transforming two tensor fields into a tensor field. First, it is proved that all bilinear operators are of order one, and then we give the full classification of such operators in several concrete…
We consider inhomogeneous supersymmetric bilinear forms, i.e., forms that are neither even nor odd. We classify such forms up to dimension seven in the case when the restrictions of the form to the even and odd parts of the superspace are…
We study prime tensor ideals in tensor abelian categories of quiver representations. Specifically, we classify the prime tensor ideals in the category of representations of zigzag quivers (with bounded path length) whose vertex set is the…
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen…
The concept of_refinement_ in type theory is a way of reconciling the "intrinsic" and the "extrinsic" meanings of types. We begin with a rigorous analysis of this concept, settling on the simple conclusion that the type-theoretic notion of…
The tensor product of two differential forms of degree $p$ and $q$ is a multilinear form that is alternating in its first $p$ arguments and alternating in its last $q$ arguments. These forms, which are known as double forms or…
By topological arguments, we prove new results on the existence, non-existence, localization and multiplicity of nontrivial solutions of a class of perturbed nonlinear integral equations. These type of integral equations arise, for example,…
The purpose of this article is to give a complete and general answer to the recurrent problem in continuum mechanics of the determination of the number and the type of symmetry classes of an even-order tensor space. This kind of…
If for a vector space V of dimension g over a characteristic zero field we denote by $\wedge^iV$ its alternating powers, and by $V^\vee$ its linear dual, then there are natural Poincar\'e isomorphisms: $\wedge^i V^\vee \cong \wedge^{g-i}…
We prove the equivalence of two tensor products over a category of W*-algebras with normal (not necessarily unital) *-homomorphisms, defined by Guichardet and Dauns, respectively. This structure differs from the standard tensor product…
We characterize injective objects, injective hulls and essential embeddings in the category of symmetric categories enriched in a small, integral and involutive quantaloid. In particular, injective partial metric spaces are precisely…
Predicting tensorial properties with machine learning models typically requires carefully designed tensorial descriptors. In this work, we introduce an alternative strategy for learning tensorial quantities based on scalar descriptors. We…
The well-known Lawvere category R of extended real positive numbers comes with a monoidal closed structure where the tensor product is the sum. But R has another such structure, given by multiplication, which is *-autonomous. Normed sets,…