arXiv subjects
Publications and source records attributed to Przemysław Koprowski.
We study the class of polynomials that map a local field (i.e., the completion of a number field at a non-Archimedean place) into the subset of its $p$-th powers, where $p$ is the residue characteristic of the field in question. We present a characterization of such polynomials and show that this class is always much broader than the class of $p$-th powers of polynomials.
We present a complete suite of algorithms for finding isotropic vectors of quadratic forms (of any dimension) over an arbitrary global field of characteristic different from 2. This is a new version with numerous changes and improvements.
We present an explicit algorithmic method for computing square roots in quaternion algebras over global fields of characteristic different from 2.
Polynomial factorization and root finding are among the most standard themes of computational mathematics. Yet still, little has been done for polynomials over quaternion algebras, with the single exception of Hamiltonian quaternions for which there are known numerical methods for polynomial root approximation. The sole purpose of the present paper is to present a polynomial factorization algorithm for division quaternion algebras over number fields, together with its adaptation for root finding.
Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The sole purpose of the present paper is to present a set of algorithms that decompose a given nonnegative polynomial into a sum of six (five under some unproven conjecture or when allowing weights) squares of polynomials. Moreover, we prove that the binary complexity can be expressed polynomially in terms of classical operations of computer algebra and algorithmic number theory.
The problem of writing a totally positive element as a sum of squares has a long history in mathematics, going back to Bachet and Lagrange. While for some specific rings (like integers or polynomials over the rationals), there are known methods for decomposing an element into a sum of squares, in general, for many other important rings and fields, the problem is still widely open. In this paper, we present an explicit algorithm for decomposing an element of an arbitrary global field (either a number field or a global function field) into a sum of squares of minimal length.
It is well known that every non-degenerate quadratic form admits a decomposition into an orthogonal sum of its anisotropic part and a hyperbolic form. This decomposition is unique up to isometry. In this paper we present an algorithm for constructing an anisotropic part of a given form with coefficients in an arbitrary number field.
The group of singular elements was first introduced by Helmut Hasse and later it has been studied by numerous authors including such well known mathematicians as: Cassels, Furtwängler, Hecke, Knebusch, Takagi and of course Hasse himself; to name just a few. The aim of the present paper is to present algorithms that explicitly construct groups of singular and $S$-singular elements (modulo squares) in a global function field.
We show that the points of a global function field, whose classes are 2-divisible in the Picard group, form a connected graph, with the incidence relation generalizing the well known quadratic reciprocity law. We prove that for every global function field the dimension of this graph is precisely 2. In addition we develop an analog of global square theorem that concerns points 2-divisible in the Picard group.
Given a self-equivalence of a global function field, its wild set is the set of points where the self-equivalence fails to preserve parity of valuation. In this paper we describe structure of finite wild sets.
We present a generalization of a polynomial factorization algorithm that works with ideals in maximal orders of global function fields. The method presented in this paper is intrinsic in the sense that it does not depend on the embedding of the ring of polynomials into the Dedekind domain in question.
We present a new proof of the celebrated quadratic reciprocity law. Our proof is based on group theory.
We show a method for constructing a polynomial interpolating roots' multiplicities of another polynomial, that does not use companion matrices. This leads to a modification to Guersenzvaig--Szechtman square-free decomposition algorithm that is more efficient both in theory and in practice.
We show that a linear-time algorithm for computing Hong's bound for positive roots of a univariate polynomial, described by K. Mehlhorn and S. Ray in an article "Faster algorithms for computing Hong's bound on absolute positiveness", is incorrect. We present a corrected version.
This paper presents fundamental algorithms for the computational theory of quadratic forms over number fields. In the first part of the paper, we present algorithms for checking if a given non-degenerate quadratic form over a fixed number field is either isotropic (respectively locally isotropic) or hyperbolic (respectively locally hyperbolic). Next we give a method of computing the dimension of an anisotropic part of a quadratic forms. The second part of the paper is devoted to algorithms computing two field invariants: the level and the Pythagoras number. Ultimately we present an algorithm verifying whether two number fields have isomorphic Witt rings (i.e. are Witt equivalent).
In this paper we investigate the space of $\mathbb{R}$-places of an algebraic function field of one variable. We deal with the problem of determining when two orderings of such a field correspond to a single $\mathbb{R}$-place. To this end we introduce and study the space of cuts on a real curve and prove that the space is homeomorphic to the space of orderings. Finally, we prove that two cuts (consequently, two orderings) correspond to a single $\mathbb{R}$-place if they are induced by a single ultrametric ball.