Related papers: Necessary conditions for Ternary Algebras

Operators on the ring of algebraically constructible functions are used to compute local obstructions for a four-dimensional semialgebraic set to be homeomorphic to a real algebraic set. The link operator and arithmetic operators yield…

An algebraic representation of the Turing machines is given, where the configurations of Turing machines are represented by 4 order tensors, and the transition functions by 8 order tensors. Two types of tensor product are defined, one is to…

In this article, we mainly give the strictly copositive conditions of a special class of third order three dimensional symmetric tensors. More specifically, by means of the polynomial decomposition method, the analytic sufficient and…

We unify Linear Algebra by proposing a definition of determinants via one equation that implies all known properties of them:\\ 1. Cramer's Rule,\\ 2. Cofactor expansion,\\ 3. Antisymmetry of determinants,\\ 4. Linearity of determinants,\\…

We construct six unitary trace invariants for 2 by 2 quaternionic matrices which separate the unitary similarity classes of such matrices, and show that this set is minimal. We prove two quaternionic versions of a well known…

In two-view geometry, the essential matrix describes the relative position and orientation of two calibrated images. In three views, a similar role is assigned to the calibrated trifocal tensor. It is a particular case of the (uncalibrated)…

A way to construct and classify the three dimensional polynomially deformed algebras is given and the irreducible representations is presented. for the quadratic algebras 4 different algebras are obtained and for cubic algebras 12 different…

Multiplicative Unitaries are described in terms of a pair of commuting shifts of relative depth two. They can be generated from ambidextrous Hilbert spaces in a tensor C*-category. The algebraic analogue of the Takesaki-Tatsuuma Duality…

We consider several ternary algebras relevant to physics. We compare and contrast the quantal versions of the algebras, as realized through associative products of operators, with their classical counterparts, as realized through classical…

For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on…

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…

From the defining exchange relations of the A_{q,p}(gl_{N}) elliptic quantum algebra, we construct subalgebras which can be characterized as q-deformed W_N algebras. The consistency conditions relating the parameters p,q,N and the central…

Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to…

Operator algebras generated by partial isometries and their adjoints form the basis for some of the most well studied classes of C*-algebras. The primary object of this paper is the norm-closed operator algebra generated by a left…

An algebra is said to be a unary Leibniz algebra if every one-generated subalgebra is a Leibniz algebra. An algebra is said to be a binary Leibniz algebra if every two-generated subalgebra is a Leibniz algebra. We give characterizations of…

The word problem for an arbitrary associative Rota-Baxter algebra is solved. This leads to a noncommutative generalization of the classical Spitzer identities. Links to other combinatorial aspects, particularly of interest in physics, are…

Motzkin and Taussky (and independently, Gerstenhaber) proved that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. Since then, it has remained an open problem to determine…

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…

This paper is devoted to octonions that are the eight-dimensional hypercomplex numbers characterized by multiplicative non-associativity. The decomposition of the product of three octonions with the conjugated central factor into the sum of…

We provide a countable set of conditions based on elementary symmetric polynomials that are necessary and sufficient for a trace class integral operator to be positive semidefinite, which is an important cornerstone for quantum theory in…