Related papers: Bases in the solution space of the Mellin system
It is well known that the real and imaginary parts of any holomorphic function are harmonic functions of two variables. In this paper we generalize this property to finite-dimensional commutative algebras. We prove that if some basis of a…
Hyperbolic systems of PDEs can be solved to arbitrary orders of accuracy by using the ADER Finite Volume method. These PDE systems may be non-conservative and non-homogeneous, and contain stiff source terms. ADER-FV requires a…
It is known that solutions of the KZ equations can be written in the form of multidimensional hypergeometric integrals. In 2017 in a joint paper of the author with V. Schechtman the construction of hypergeometric solutions was modified, and…
The main aim of this paper is to construct explicitly orthogonal bases for the spaces of k-homogeneous polynomial solutions of the Hodge-de Rham system in the Euclidean space R^m which take values in the space of s-vectors. Actually, we…
In this paper, we study entire solutions of the difference equation $\psi(z+h)=M(z)\psi(z)$, $z\in{\mathbb C}$, $\psi(z)\in {\mathbb C}^2$. In this equation, $h$ is a fixed positive parameter and $M: {\mathbb C}\to SL(2,{\mathbb C})$ is a…
Multi-homogeneous polynomial systems arise in many applications. We provide bit complexity estimates for solving them which, up to a few extra other factors, are quadratic in the number of solutions and linear in the height of the input…
Let $P(z)=z^{n}+a_{n-2}z^{n-2}+\cdots+a_0$ be a nonconstant polynomial and $S(z)$ be a nonzero rational function and denote $h(z)=S(z)e^{P(z)}$. Let $\theta\in(0,\pi/2n)$ be a constant and $\varepsilon>0$ be a small constant. It is shown…
In this paper we apply for the first time a new method for multivariate equation solving which was developed in \cite{gh1}, \cite{gh2}, \cite{gh3} for complex root determination to the {\em real} case. Our main result concerns the problem…
For an analytic family P_s of polynomials in n variables (depending on a complex number s, and defined in a neighborhood of s = 0), there is defined a monodromy transformation h of the zero level set V_s= {P_s=0} for s different from 0,…
Let L be the zero set of a nonconstant monic polynomial with complex coefficients. In the context of constructive mathematics without countable choice, it may not be possible to construct an element of L. In this paper we introduce a notion…
We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the…
Let W_n(K) be the Lie algebra of derivations of the polynomial algebra K[X]:=K[x_1,...,x_n] over an algebraically closed field K of characteristic zero. A subalgebra L of W_n(K) is called polynomial if it is a submodule of the K[X]-module…
Let $A$ be an $(m \times n)$ integral matrix, and let $P=\{ x : A x \leq b\}$ be an $n$-dimensional polytope. The width of $P$ is defined as $ w(P)=min\{ x\in \mathbb{Z}^n\setminus\{0\} :\: max_{x \in P} x^\top u - min_{x \in P} x^\top v…
The singularity structure of solutions of a class of Hamiltonian systems of ordinary differential equations in two dependent variables is studied. It is shown that for any solution, all movable singularities, obtained by analytic…
By applying Fourier transformations to the natural orthogonal oscillator representations of special linear Lie algebras, Luo and the second author (2013) obtained a large family of infinite-dimensional irreducible representations of the…
We give an elementary introduction to some recent polyhedral techniques for understanding and solving systems of multivariate polynomial equations. We provide numerous concrete examples and illustrations, and assume no background in…
Planar holomorphic systems $\dot{x}=u(x,y)$, $\dot{y}=v(x,y)$ are those that $u=\operatorname{Re}(f)$ and $v=\operatorname{Im}(f)$ for some holomorphic function $f(z)$. They have important dynamical properties, highlighting, for example,…
In our recent work \cite{StojnicCSetam09,StojnicUpper10} we considered solving under-determined systems of linear equations with sparse solutions. In a large dimensional and statistical context we proved results related to performance of a…
We consider monodromy groups of the generalized hypergeometric equation \begin{equation*} \big[z(\theta+\alpha_{1})\cdots (\theta+\alpha_{n})-(\theta+\beta_{1}-1)\cdots (\theta+\beta_{n}-1)\big]f(z) = 0\text{, where }\theta = z d/dz,…
Bounded holomorphic interpolation problems associated to finitely many data have, in general, distinct solutions. Uniqueness arises only in some convex extreme configurations. Rational inner functions in a polydisk are the best understood…