Related papers: A Simple Quantifier-free Formula of Positive Semid…
The paper provides a coherent presentation of an operator scheme, which is used in an approach to inverse problems of mathematical physics (the boundary control method). The scheme is based on the triangular factorization of operators. It…
When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is likely not the signs of those polynomials that are of paramount importance but rather the truth values of certain quantifier…
We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a formula F*(Y) such that F* & exists(X)[G] is logically…
We propose a new method for simulating QCD at finite density. The method is based on a general factorization property of distribution functions of observables, and it is therefore applicable to any system with a complex action. The…
We use a factorization technique and representation of canonical transformations to construct globally valid closed form expressions without singularities of semi-classical wave functions for arbitrary smooth potentials over a…
Binary quadratic programming problems have attracted much attention in the last few decades due to their potential applications. This type of problems are NP-hard in general, and still considered a challenge in the design of efficient…
In this paper, we show how the finite formulation of QFT based on Callan-Symanzik equations can be generalised to the case of non-renormalizable theories. We derive an equation for effective action for an arbitrary single scalar field…
A symmetric tensor, which has a symmetric nonnegative decomposition, is called a completely positive tensor. We consider the completely positive tensor decomposition problem. A semidefinite algorithm is presented for checking whether a…
We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all…
A bivariate quartic form is a homogeneous bivariate polynomial of degree four. A criterion of positivity for such a form is known. In the present paper this criterion is reformulated in terms of pseudotensorial invariants of the form.
Quartic eigenvalue problem $(\lambda^4 A + \lambda^3 B + \lambda^2C + \lambda D + E)x = \mathbf{0}$ naturally arises e.g. when solving the Orr-Sommerfeld equation in the analysis of the stability of the {Poiseuille} flow, in theoretical…
Quantifier elimination (QE) is an important problem that has numerous applications. Unfortunately, QE is computationally very hard. Earlier we introduced a generalization of QE called $\mathit{partial}$ QE (or PQE for short). PQE allows to…
In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class…
We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary to computing Lagrangians and it works best at points where…
In a recent paper, J. W. Pelletier and J. Rosicky published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka. In this paper we present similar characterizations which do…
The rules of canonical quantization normally offer good results, but sometimes they fail, e.g., leading to quantum triviality ($=$ free) for certain examples that are classically nontrivial ($\ne$ free). A new procedure, called Enhanced…
Let $C/K$ be a smooth plane quartic over a discrete valuation field. We characterize the type of reduction (i.e. smooth plane quartic, hyperelliptic genus 3 curve or bad) over $K$ in terms of the existence of a special plane quartic model…
We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality.…
Quantization is widely applied in machine learning to reduce computational and storage costs for both data and models. Considering that classification tasks are fundamental to the field, it is crucial to investigate how quantization impacts…
It is shown that the exact solvability of the massless Thirring model in the canonical quantization scheme originates from the intrinsic linearizability of its Heisenberg equations in the method of dynamical mappings. The corresponding role…