Related papers: Configuratrix and Resultant
A method is given to construct globally analytic (in space and time) exact solutions to the focusing cubic nonlinear Schrodinger equation on the line. An explicit formula and its equivalents are presented to express such exact solutions in…
We obtain an essentially optimal estimate for the moment of order 32/3 of the exponential sum having argument $\alpha x^3+\beta x^2$. Subject to modest local solubility hypotheses, we thereby establish that pairs of diagonal Diophantine…
Resultant $R_{r_1, ..., r_n}$ defines a condition of solvability for a system of $n$ homogeneous polynomials of degrees $r_1, ..., r_n$ in $n$ variables, just in the same way as determinant does for a system of linear equations. Because of…
Let $R$ be a ring and let $(a_1,\dots,a_n)\in R^n$ be a unimodular vector, where $n\geq 2$ and each $a_i$ is in the center of $R$. Consider the linear equation $a_1X_1+\cdots+a_nX_n=0$, with solution set $S$. Then $S=S_1+\cdots+S_n$, where…
Since every even power of the Vandermonde determinant is a symmetric polynomial, we want to understand its decomposition in terms of the basis of Schur functions. We investigate several combinatorial properties of the coefficients in the…
New mathematical objects called Finslerian N-spinors are discussed. The Finslerian N-spinor algebra is developed. It is found that Finslerian N-spinors are associated with an N^2-dimensional flat Finslerian space. A generalization of the…
A tensor product surface $\mathscr{S}$ is an algebraic surface that is defined as the closure of the image of a rational map $\phi$ from $\mathbb{P}^1\times \mathbb{P}^1$ to $\mathbb{P}^3$. We provide new determinantal representations of…
In this paper, using Euler's function, we give a formula of all integral solutions to linear indeterminate equation with $s$-variables $a_1x_1+a_2x_2+...+a_sx_s=n$. It is a explicit formula of the coefficients $a_1$, $a_2$,..., $a_s$ and…
In this note, we consider the resultant of systems of homogeneous multivariate polynomials which are equivariant under the action of direct product of two symmetric groups. We establish a decomposition formula for the resultant of such…
Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires many iterated univariate resultants. It has been observed that these often factor, but to date this has not been used to optimise implementations of CAD. We…
Based on work presented in [4], we define $S^2$-Upper Triangular Matrices and $S^2$-Lower Triangular Matrices, two special types of $d\times d(2d-1)$ matrices generalizing Upper and Lower Triangular Matrices, respectively. Then, we show…
For a polynomial $f(x) = \sum_{i=0}^n a_i x^i$, we study the double discriminant $DD_{n,k} = \operatorname{disc}_{a_k} \operatorname{disc}_x f(x)$. This object has been well studied in algebraic geometry, but has been brought to recent…
We determine explicit formulas for the number of representations of a positive integer $n$ by quaternary quadratic forms with coefficients $1$, $2$, $5$ or $10$. We use a modular forms approach.
Four classes of three dimensional quadratic algebras of the type $\lsb Q_0 , Q_\pm \rsb$ $=$ $\pm Q_\pm$, $\lsb Q_+ , Q_- \rsb$ $=$ $aQ_0^2 + bQ_0 + c$, where $(a,b,c)$ are constants or central elements of the algebra, are constructed using…
We show that for each finite sequence of algebraic integers $\alpha_1,...,\alpha_n$ and polynomials $P_1(x_1,...,x_n;y_1,...,y_n),..., P_r(x_1,...,x_n;y_1,...,y_n)$ with algebraic integer coefficients, there are a natural number $N$, $n$…
The dimensionally regularized massless on-shell double box Feynman diagram with powers of propagators equal to one is analytically evaluated for general values of the Mandelstam variables s and t. An explicit result is expressed either in…
We are concerned with the problem of decomposing the parameter space of a parametric system of polynomial equations, and possibly some polynomial inequality constraints, with respect to the number of real solutions that the system attains.…
In analogy to the definition of the lambda-determinant, we define a one-parameter deformation of the Dodgson condensation formula for Pfaffians. We prove that the resulting rational function is a polynomial with weights given by the…
We consider the problem of finding exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We start by providing a hybrid numeric-symbolic…
Differential resultant formulas are defined, for a system $\mathcal{P}$ of $n$ ordinary Laurent differential polynomials in $n-1$ differential variables. These are determinants of coefficient matrices of an extended system of polynomials…