Related papers: A Simple Quantifier-free Formula of Positive Semid…
Results on the problem of stabilizing a nonlinear continuous-time system by a finite number of control or measurement values are presented. The basic tool is a discontinuous version of the so-called semi-global backstepping lemma. We derive…
In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an…
Today's quantum field theory (QFT) relies heavenly on canonical quantization (CQ), which fails for $\varphi^4_4$ leading only to a "free" result. Affine quantization (AQ), an alternative quantization procedure, leads to a "non-free" result…
We develop a theory of sesquilinear forms over finite fields, investigating their representations via polynomials and coefficient matrices, along with classification results for these forms. Through their connection to quadratic forms, we…
The treatment of supersymmetry is known to cause difficulties in the C*-algebraic framework of relativistic quantum field theory; several no-go theorems indicate that super-derivations and super-KMS functionals must be quite singular…
Using the methods of the 'form factor program' exact expressions of all matrix elements are obtained for several operators of the quantum sine-Gordon model alias the massive Thirring model. A general formula is presented which provides form…
The effective theories for massless quarks describing exclusive and seminclusive processes are discussed, considering in particular the factorization problem.
A pseudoclassical model, reproducing, upon quantization, the dynamics of the chiral sectors of the massless spin-1/2 field theory is proposed. The discrete symmetries of the action are studied in details. In order to reproduce the positive…
In this paper we propose an efficient solution of an equivalence problem for semisimple cyclic codes.
Although quantum circuits have been ubiquitous for decades in quantum computing, the first complete equational theory for quantum circuits has only recently been introduced. Completeness guarantees that any true equation on quantum circuits…
Applying the method of moving planes in integral forms, we establish radial symmetry for positive solutions to a class of semilinear equations involving the fractional Laplacian in the unit ball and obtain Liouville type theorems concerning…
Let $f$ be a positive definite ternary quadratic form. We assume that $f$ is non-classic integral, that is, the norm ideal of $f$ is $\z$. We say $f$ is {\it strongly $s$-regular } if the number of representations of squares of integers by…
Let $S$ be one of $\{aba,bcb\}$ and $\{aba, aca\}$, and let $w$ be an infinite square-free word over $\Sigma=\{a,b,c\}$ with no factor in $S$. Suppose that $f:\Sigma\rightarrow T^*$ is a non-erasing morphism. Word $f(w)$ is square-free if…
We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. To do so, we extend concepts from the commutative theory of non-unique factorizations to a noncommutative setting. Several…
We investigate compressibility of the dimension of positive semidefinite matrices while approximately preserving their pairwise inner products. This can either be regarded as compression of positive semidefinite factorizations of…
We design a deterministic polynomial time $c^n$ approximation algorithm for the permanent of positive semidefinite matrices where $c=e^{\gamma+1}\simeq 4.84$. We write a natural convex relaxation and show that its optimum solution gives a…
Efficient characteristic set methods for computing solutions of polynomial equation systems in a finite field are proposed. The concept of proper triangular sets is introduced and an explicit formula for the number of solutions of a proper…
We consider a symmetric matrix, the entries of which depend linearly on some parameters. The domains of the parameters are compact real intervals. We investigate the problem of checking whether for each (or some) setting of the parameters,…
Periodic orbit quantization requires an analytic continuation of non-convergent semiclassical trace formulae. We propose a method for semiclassical quantization based upon the Pade approximant to the periodic orbit sums. The Pade…