Related papers: Completely solving the quintic by iteration
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…
Motivated by the recent work of William Y.C. Chen, in which he presents a way to solve cubic equations by considering the identity of Sylvester, we investigate the solutions obtained in this way. It leads us to a unified expression of the…
We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $\rho$-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be…
We apply Kovacic's algorithm from differential Galois theory to show that all complex non-oscillatory solutions (finite exponential of convergence of zeros) of certain Hill equations considered by Bank and Laine using Nevanlinna theory must…
We give a unified proof for the well-posedness of a class of linear half-space equations with general incoming data and construct a Galerkin method to numerically resolve this type of equations in a systematic way. Our main strategy in both…
A general procedure to get the explicit solution of the equations of motion for N-body classical Hamiltonian systems equipped with coalgebra symmetry is introduced by defining a set of appropriate collective variables which are based on the…
This paper analyzes the optimal control problem of cubic polynomials on compact Lie groups from a Hamiltonian point of view and its symmetries. The dynamics of the problem is described by a presymplectic formalism associated with the…
We figure out the famous Klein's paradox arising from the reflection problem when a Dirac particle encounters a step potential with infinite width. The key is to piecewise solve Dirac equation in such a way that in the region where the…
In this paper, we discuss a general approach to find periodic solutions bifurcating from equilibrium points of classical Vlasov systems. The main access to the problem is chosen through the Hamiltonian representation of any Vlasov system,…
We introduce the quantum quincunx, which physically demonstrates the quantum walk and is analogous to Galton's quincunx for demonstrating the random walk. In contradistinction to the theoretical studies of quantum walks over orthogonal…
This paper is purely expository. We present short elementary proofs of * the Gauss Theorem on constructibility of regular polygons; * the existence of a cubic equation unsolvable in real radicals; * the existence of a quintic equation…
The cyclic sieving phenomenon was defined by Reiner, Stanton, and White in a 2004 paper. Let X be a finite set, C be a finite cyclic group acting on X, and f(q) be a polynomial in q with nonnegative integer coefficients. Then the triple…
We present a modification of Newton's method to restore quadratic convergence for isolated singular solutions of polynomial systems. Our method is symbolic-numeric: we produce a new polynomial system which has the original multiple solution…
Other than scattering problems where perturbation theory is applicable, there are basically two ways to solve problems in physics. One is to reduce the problem to harmonic oscillators, and the other is to formulate the problem in terms of…
We introduce a new iterative method for computing solutions of elliptic equations with random rapidly oscillating coefficients. Similarly to a multigrid method, each step of the iteration involves different computations meant to address…
A plane tiling consisting of congruent copies of a shape is isohedral provided that for any pair of copies, there exists a symmetry of the tiling mapping one copy to the other. We give a $O(n\log^2{n})$-time algorithm for deciding if a…
Quaternions, introduced by Hamilton in 1843 as a generalization of complex numbers, have found, in more recent years, a wealth of applications in a number of different areas which motivated the design of efficient methods for numerically…
The purpose of this paper is to study some properties of the Newton maps associated to real quintic polynomials. First using the Tschirnhaus transformation, we reduce the study of Newton's method for general quintic polynomials to the case…
Quadratic matrix equations of the kind $A_1X^2+A_0X+A_{-1}=X$ are encountered in the analysis of Quasi--Birth-Death stochastic processes where the solution of interest is the minimal nonnegative solution $G$. In many queueing models,…
This paper presents a study of the isosceles problem resulting by a perturbation of Euler's collinear solution under Newtonian gravitational attraction of three bodies in space. After the Hamiltonian was obtained, a circumference of…