Linear equations and multiplicative polynomial equations in infinitely many variables
Melvyn B. Nathanson, David A. Ross
TL;DR
The paper investigates when solvability of every finite subset of an infinite collection of polynomial equations in infinitely many variables implies solvability of the entire infinite system. It extends the classical finite-implies-infinite paradigm from linear equations to a structured class of multiplicative polynomials by introducing coefficients in $\ell^{q/(q-d)}$ and proving exact and approximate finite-subset-to-infinite solvability results. The approach combines compactness arguments on $\ell^q$-balls, continuity of multiplicative components, and the finite-intersection property, with refinements allowing coordinatewise bounds. An application to Dirichlet series demonstrates interpolation of prescribed values via Dirichlet-type sums within this framework. The paper concludes with open questions about extending these results to broader polynomial classes and subfields of $\mathbb C$.
Abstract
This paper describes infinite sets of polynomial equations in infinitely many variables with the property that the existence of a solution or even an approximate solution for every finite subset of the equations implies the existence of a solution for the infinite set of equations.
