Related papers: Uniqueness of polynomial canonical representations
We study the copolynomials of $n$ variables, i.e. $K$-linear mappings from the ring of polynomials $K[x_1,...,x_n]$ into the commutative ring $K$. We prove an existence and uniqueness theorem for a linear differential equation of infinite…
We present the applications of methods from nonlinear local harmonic analysis for calculations in nonlinear collective dynamics described by different forms of Vlasov-Maxwell-Poisson equations. Our approach is based on methods provided the…
We introduce the notion of characteristic function of a quaternionic matrix, whose roots are the left eigenvalues. We prove that for all $2\times 2$ matrices and for $3\times 3$ matrices having some zero entry outside the diagonal there is…
Let $U$ be a bounded open subset of the complex plane. Let $0<\alpha<1$ and let $A_{\alpha}(U)$ denote the space of functions that satisfy a Lipschitz condition with exponent $\alpha$ on the complex plane, are analytic on $U$ and are such…
Using the theory of functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of the…
We construct special solutions to the rational quantum Knizhnik-Zamolodchikov equation associated with the Lie algebra $gl_N$. The main ingredient is a special class of the shifted non-symmetric Jack polynomials. It may be regarded as a…
A conjecture of Kac now a theorem asserts that the polynomial now known as the Kac polynomial, which counts the isomorphism classes of absolutely indecomposable representations of a quiver over a finite field with a given dimension vector,…
The set of infinite-dimensional, symmetric stable tail dependence functions associated with exchangeable max-stable sequences of random variables with unit Fr\'echet margins is shown to be a simplex. Except for a single element, the…
Elucidating a connection with nonlinear Fourier analysis, we extend a well known algorithm in quantum signal processing to represent measurable signals by square summable sequences. Each coefficient of the sequence is Lipschitz continuous…
Theorem. An irreducible cubic polynomial with rational coefficients has a root in a one step radical extension of Q if and only if the discriminate is a square of a rational number. Theorem. An irreducible polynomial x^4+px^2+qx+s with…
Given a polynomial matrix P(x) of grade g and a rational function $x(y) = n(y)/d(y)$, where $n(y)$ and $d(y)$ are coprime nonzero scalar polynomials, the polynomial matrix $Q(y) :=[d(y)]^gP(x(y))$ is defined. The complete eigenstructures of…
There are two fundamental problems motivated by Silverman's conversations over the years concerning the nature of the exact values of canonical heights of $f(z)\in\bar{\mathbb{Q}}(z)$ where $f$ has degree $d\geq 2$. The first problem is the…
Thom (residual) polynomials in characteristic classes are used in the analysis of geometry of functional spaces. They serve as a tool in description of classes Poincar\'e dual to subvarieties of functions of prescribed types. We give…
By the theory of elliptic curves, we investigate the nontrivial rational parametric solutions of the Diophantine equation $f(x)f(y)=f(z)^n$, where $n=1,2$ and $f(X)$ are some simple Laurent polynomials.
In this work, we describe our experience in learning the use of a computer proof assistant - specifically, Lean - from scratch, through proving formulae for the solutions of polynomial equations. Specifically, in this work we characterize…
The work concerns nonlinear filtering problems of stochastic differential equations with correlated L\'evy noises. First, we establish the Kushner-Stratonovich and Zakai equations through martingale representation theorems and the…
A practical version of the polynomial canonical formalism is developed for normal mesoscopic systems consisting of N independent electrons. Drastic simplification of calculations is attained by means of proper ordering excited states of the…
This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is…
Assume that there is a set of monic polynomials $P_n(z)$ satisfying the second-order difference equation $$ A(s) P_n(z(s+1)) + B(s) P_n(z(s)) + C(s) P_n(z(s-1)) = \lambda_n P_n(z(s)), n=0,1,2,..., N$$ where $z(s), A(s), B(s), C(s)$ are some…
We consider positive solutions of a fractional Lane-Emden type problem in a bounded domain with Dirichlet conditions. We show that uniqueness and nondegeneracy hold for the asymptotically linear problem in general domains. Furthermore, we…