Related papers: Non-Decomposable Nambu Brackets

A ternary Nambu-Poisson algebra (which we call a Nambu-Poisson algebra in the paper) is the underlying algebraic structure of Nambu-Poisson manifolds of order $3$ that appeared in the generalized Hamiltonian mechanics. First, we consider…

We consider the concept of "the permutationally invariant (PI) part of a density matrix," which has proven very useful for both efficient quantum state estimation and entanglement characterization of $N$-qubit systems. We show here that the…

In his pioneering paper [Phys. Rev. E 7, 2405 (1973)], Nambu proposed the idea of multiple Hamiltonian systems. The explicit example examined there is equivalent to the so(3) Lie-Poisson system, which represents noncanonical Hamiltonian…

In the setting of constructive mathematics, we suggest and study a framework for decidability of properties, which allows for finer distinctions than just "decidable, semidecidable, or undecidable". We work in homotopy type theory and use…

A new family of solutions of the Jacobi partial differential equations for finite-dimensional Poisson systems is investigated. This family is mathematically remarkable, as the functional dependences of the solutions appear to be associated…

Assumption-based Argumentation (ABA) is a well-known structured argumentation formalism, whereby arguments and attacks between them are drawn from rules, defeasible assumptions and their contraries. A common restriction imposed on ABA…

Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…

Decomposable Negation Normal Forms (DNNFs) are Boolean circuits in negation normal form where the subcircuits leading into each AND gate are defined on disjoint sets of variables. We prove a strongly exponential lower bound on the size of…

This work begins the process of using the decomposition of the diagonal as a tool for studying the rationality of invariant fields of finite groups $G$. Our ground field must be characteristic 0 because of the use we make of Bertini…

This paper studies the problem of decomposing a low-rank positive-semidefinite matrix into symmetric factors with binary entries, either $\{\pm 1\}$ or $\{0,1\}$. This research answers fundamental questions about the existence and…

Consider an ideal $I \subset R = \bC[x_1,...,x_n]$ defining a complex affine variety $X \subset \bC^n$. We describe the components associated to $I$ by means of {\em numerical primary decomposition} (NPD). The method is based on the…

We prove an algebraic ``no-go theorem'' to the effect that a nontrivial Poisson algebra cannot be realized as an associative algebra with the commutator bracket. Using this, we show that there is an obstruction to quantizing the Poisson…

Recall that a Hausdorff space $X$ is said to be Namioka if for every compact (Hausdorff) space $Y$ and every metric space $Z$, every separately continuous function $f:X\times{Y}\rightarrow{Z}$ is continuous on $D\times{Y}$ for some dense…

The main purpose of this paper is to study non-commutative ternary Nambu-Poisson algebras and their Hom-type version. We provide construction results dealing with tensor product and direct sums of two (non-commutative) ternary…

Automorphism, isomorphism, and embedding problems are investigated for a family of Nambu-Poisson algebras (or $n$-Lie Poisson algebras) using Poisson valuations.

We study the decomposition of zero-dimensional persistence modules, viewed as functors valued in the category of vector spaces factorizing through sets. Instead of working directly at the level of vector spaces, we take a step back and…

For varifolds whose first variation is representable by integration, we introduce the notion of indecomposability with respect to locally Lipschitzian real valued functions. Unlike indecomposability, this weaker connectedness property is…

Nambu's construction of multi-linear brackets for super-integrable systems can be thought of as degenerate Poisson brackets with a maximal set of Casimirs in their kernel. By introducing privileged coordinates in phase space these…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

We study first-order logic (FO) over the structure consisting of finite words over some alphabet $A$, together with the (non-contiguous) subword ordering. In terms of decidability of quantifier alternation fragments, this logic is…