Related papers: Mahler measure and the WZ algorithm
This paper is our second step towards developing a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by an arithmetic circuit has some types of monomials in its…
We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining…
In this article, we study the multiple zeta functions (MZF) and some of its variants at identical arguments. Using the harmonic product, these functions can be expressed as polynomials in the Riemann zeta function. Firstly, we note that an…
Investigating a problem posed by W. Hengartner (2000), we study the maximal valence (number of preimages of a prescribed point in the complex plane) of logharmonic polynomials, i.e., complex functions that take the form $f(z) = p(z)…
Kurokawa, Lal\'{\i}n and Ochiai introduced and studied the higher Mahler measures, which are generalization of the classical Mahler measure. In this article, we introduce $p$-adic higher Mahler measures and prove $p$-adic analogues of…
Recent work of Pritsker defines and studies an areal version of the Mahler measure. We further explore this function with a particular focus on the case where its value is small, as this is most relevant to Lehmer's conjecture. In this…
Multiple zeta values (MZVs, also called Euler sums or multiple harmonic series) are nested generalizations of the classical Riemann zeta function evaluated at integer values. The fact that an integral representation of MZVs obeys a shuffle…
We prove a functional identity between the Hilbert metric and the visual angle metric in the unit disk. The proof utilizes the Poincar\'e hyperbolic metric in terms of which both metrics can be expressed. This identity then yields sharp…
We study solutions to measure data elliptic systems with Uhlenbeck-type structure that involve operator of divergence form, depending continuously on the spacial variable, and exposing doubling Orlicz growth with respect to the second…
Using the braided version of Lawvere's algebraic theories and Mac Lane's PROPs, we introduce polynomial identities for arbitrary algebraic structures in a braided monoidal category C as well as their codimensions in the case when C is…
Let $M(\alpha)$ denote the Mahler measure of the algebraic number $\alpha$. In a recent paper, Dubickas and Smyth constructed a metric version of the Mahler measure on the multiplicative group of algebraic numbers. Later, Fili and the…
We show a precise formula, in the form of a monomial, for certain families of parabolic Kazhdan-Lusztig polynomials of the symmetric group. The proof stems from results of Lapid-Minguez on irreducibility of products in the…
We consider a version of height on polynomial spaces defined by the integral over the normalized area measure on the unit disk. This natural analog of Mahler's measure arises in connection with extremal problems for Bergman spaces. It…
Using the following $_4F_3$ transformation formula $$ \sum_{k=0}^{n}{-x-1\choose k}^2{x\choose n-k}^2=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}^2{x+k\choose 2k}, $$ which can be proved by Zeilberger's algorithm, we confirm some special…
The classical modular polynomial for $j$-invariants describes the relation between two elliptic curves connected by isogenies. This polynomial has been applied to various algorithms in computational number theory, such as point counting on…
Mahler's measure is generalized to create the class of {\it multiplicative distance functions}. These functions measure the complexity of polynomials based on the location of their zeros in the complex plane. Following work of S.-J. Chern…
This article first provides an algorithm W based type inference algorithm for an affine type system. Then the article further assumes the language equipped with the above type system uses lazy evaluation, and explores the possibility of…
We study the areal Mahler measure of the two-variable, $k$-parameter family $x+y+k$ and prove explicit formulas that demonstrate its relation to the standard Mahler measure of these polynomials. The proofs involve interpreting the areal…
Recent work of Fili and the author examines an ultrametric version of the Mahler measure, denoted $M_\infty(\alpha)$ for an algebraic number $\alpha$. We show that the computation of $M_\infty(\alpha)$ can be reduced to a certain search…
This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a field ${\bf k}$, a Mahler function $f(z)\in{\bf k}\{z\}$, and…