Related papers: On McMillan's theorem about uniquely decipherable …

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This…

Kanade explored the construction of modular companions to $q$-series identities, using the asymptotics of Nahm sums, and Mizuno [Ramanujan J.\ {\bf 66} (2025), Paper No.\ 62, 31] recently obtained a generalization of Kanade's asymptotic…

Integral Cauchy theorem is used to derive closed-form expressions of the roots of a univariate polynomial of any degree as integrals of elementary functions.

The'broken windows only theorem' is the main theorem of the third paper among a series of the paper in which Thurston proved his uniformisation theorem for Haken manifolds. In this chapter, we show that the second statement of this theorem…

In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into…

We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a…

Kozen and Tiuryn have introduced the substructural logic $\mathsf{S}$ for reasoning about correctness of while programs (ACM TOCL, 2003). The logic $\mathsf{S}$ distinguishes between tests and partial correctness assertions, representing…

Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for…

We prove a p'-version of a classical theorem of Broline and Garrison. As a consequence, we obtain results on p-parts of character codegrees.

Motion polynomials are a specific type of polynomial over a Clifford algebra that can conveniently describe rational motions. There exists an algorithm for the factorization of motion polynomials that works in generic cases. It hinges on…

We prove a conjecture of Kontsevich regarding the solutions of rank two recursion relations for non-commutative variables which, in the commutative case, reduce to rank two cluster algebras of affine type. The conjecture states that…

G. Mikhalkin introduced a refined count for real rational curves in a toric surface which pass through some points on the toric boundary of the surface. The refinement is provided by the value of a so-called quantum index. Moreover, he…

We show that (as conjectured by Lin and Wang) when a Vassiliev invariant of type $m$ is evaluated on a knot projection having $n$ crossings, the result is bounded by a constant times $n^m$. Thus the well known analogy between Vassiliev…

We make two observations regarding the invertibility of Keller maps. i.e., polynomial maps for which the determinant of their Jacobian matrix is identically equal to 1. In our first result, we show that if P is a n-dimensional Keller map,…

In a recent work, Andrews gave analytic proofs of two conjectures concerning some variations of two combinatorial identities between partitions of a positive integer into odd parts and partitions into distinct parts discovered by Beck.…

We apply KAM theory to the equation of the forced relativistic pendulum to prove that all the solutions have bounded momentum. Subsequently, we detect the existence of quasiperiodic solutions in a generalized sense. This is achieved using a…

Myriad articles are devoted to Mertens's theorem. In yet another, we merely wish to draw attention to a proof by Hardy, which uses a Tauberian theorem of Landau that "leads to the conclusion in a direct and elegant manner". Hardy's proof is…

Crum's theorem and its modification a la Krein-Adler are formulated for the discrete quantum mechanics with real shifts, whose eigenfunctions consist of orthogonal polynomials of a discrete variable. The modification produces the associated…

We give a proof of the KAM theorem on the existence of invariant tori for weakly perturbed Hamiltonian systems, based on Thirring's approach for Hamiltonians that are quadratic in the action variables. The main point of this approach is…