Related papers: A Simple Quantifier-free Formula of Positive Semid…
Assume that $\Phi:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ is a superoperator which preserves hermiticity. We give an algorithm determining whether $\Phi$ preserves semipositivity (we call $\Phi$ positive in this…
Semiclassical quantization is exact only for the so called \emph{solvable} potentials, such as the harmonic oscillator. In the \emph{nonsolvable} case the semiclassical phase, given by a series in $\hbar$, yields more or less approximate…
We present a simplified derivation of the relativistic three-particle quantization condition for identical, spinless particles described by a generic relativistic field theory satisfying a $\mathbb Z_2$ symmetry. The simplification is…
Free noncommutative fields constitute a natural and interesting example of constrained theories with higher derivatives. The quantization methods involving constraints in the higher derivative formalism can be nicely applied to these…
We study the cone of completely positive (cp) matrices for the first interesting case $n = 5$. This is a semialgebraic set, which means that the polynomial equalities and inequlities that define its boundary can be derived. We characterize…
In this article we study the quantization of a free real scalar field on a class of noncommutative manifolds, obtained via formal deformation quantization using triangular Drinfel'd twists. We construct deformed quadratic action functionals…
We present a syntactic cut-elimination procedure for the alternation-free fragment of the modal mu-calculus. Cut reduction is carried out within a cyclic proof system, where proofs are finitely branching but may be non-wellfounded. The…
It is demonstrated that the so-called "unavoidable quantum anomalies" can be avoided in the farmework of a special non-linear quantization scheme. A simple example is discussed in detail.
This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the…
We consider the characterizations of positive definite as well as nonnegative definite quadratic forms in terms of the principal minors of the associated symmetric matrix. We briefly review some of the known proofs, including a classical…
We study quadratic forms on free modules with unique base, the situation that arises in tropical algebra, and prove the analog of Witt's Cancellation Theorem. Also, the tensor product of an indecomposable bilinear module $(U, \gamma)$ with…
We derive out a complete series expression of Hamiltonian eigenvalues without any approximation and cut in the general quantum systems based on Wang's formal framework \cite{wang1}. In particular, we then propose a calculating approach of…
Based on an original classification of differential equations by types of regular Lie group actions, we offer a systematic procedure for describing partial differential equations with prescribed symmetry groups. Using a new powerful…
A symmetric matrix $C$ is completely positive (CP) if there exists an entrywise nonnegative matrix $B$ such that $C=BB^T$. The CP-completion problem is to study whether we can assign values to the missing entries of a partial matrix (i.e.,…
Purpose: To develop the algebraic foundation of finite commutative ternary $\Gamma$-semirings by identifying their intrinsic invariants, lattice organization, and radical behavior that generalize classical semiring and $\Gamma$-ring…
This paper presents rules in sequent calculus for a binary quantifier $I$ to formalise definite descriptions: $Ix[F, G]$ means `The $F$ is $G$'. The rules are suitable to be added to a system of positive free logic. The paper extends the…
Suppose $Q(x)$ is a real $n\times n$ regular symmetric positive semidefinite matrix polynomial. Then it can be factored as $$Q(x) = G(x)^TG(x),$$ where $G(x)$ is a real $n\times n$ matrix polynomial with degree half that of $Q(x)$ if and…
The problem of checking satisfiability of linear real arithmetic (LRA) and non-linear real arithmetic (NRA) formulas has broad applications, in particular, they are at the heart of logic-related applications such as logic for artificial…
We propose a numerical linear algebra based method to find the multiplication operators of the quotient ring $\mathbb{C}[x]/I$ associated to a zero-dimensional ideal $I$ generated by $n$ $\mathbb{C}$-polynomials in $n$ variables. We assume…
We obtain an asymptotic formula for the number of $\operatorname{GL}_2(\mathbb{Z})$-equivalence classes of irreducible binary quartic forms with integer coefficients with vanishing $J$-invariant and whose Hessians are proportional to the…