Entire functions polynomially bounded in several variables
Pith reviewed 2026-05-25 11:32 UTC · model grok-4.3
The pith
An entire function of two or more complex variables bounded by any function of a polynomial's norm must be a holomorphic function of that polynomial, unless the polynomial is a power.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If an entire function f(z_1, z_2) of two (or more) complex variables verifies ||f(z_1, z_2)|| ≤ K(||P(z_1, z_2)||), where P(z_1, z_2) is a polynomial that is not a power in C[[z_1, z_2]], and K is any positive-valued real function, then f(z_1, z_2) can be written as a holomorphic function of P.
What carries the argument
The condition that the polynomial P is not a power in the formal power series ring C[[z_1, z_2]], which blocks counterexamples and forces the entire function to factor as a holomorphic composition with P.
If this is right
- Entire functions satisfying the polynomial norm bound factor through the polynomial via a holomorphic function.
- The conclusion holds in any number of complex variables.
- No further growth restrictions on the arbitrary positive function K are needed.
- The non-power condition on P is required for the reduction to hold in general.
Where Pith is reading between the lines
- The exception for powers indicates that counterexamples exist precisely when P is a power.
- The result supplies a test for whether an entire function depends only on a given polynomial combination of the variables.
- One could seek analogous statements when the bound is replaced by other growth conditions on the variables.
Load-bearing premise
The polynomial P is not a power in the formal power series ring C[[z1, z2]].
What would settle it
An explicit entire function f, polynomial P not a power in C[[z1, z2]], and positive function K where the norm bound holds but f cannot be written as any holomorphic function of P.
read the original abstract
In this paper we show that if an entire function $f(z_1,z_2)$ of two (or more) complex variables verifies $\norm{f(z_1,z_2)}\leq K(\norm{P(z_1,z_2)})$, where $P(z_1,z_2)$ is a polynomial that is not a power in $\CC[[z_1,z_2]]$, and $K$ is any positive-valued real function, then $f(z_1,z_2)$ can be written as a holomorphic function of $P$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that if an entire function f of two or more complex variables satisfies the growth bound ||f(z1,...,zn)|| ≤ K(||P(z1,...,zn)||) for a polynomial P that is not a k-th power (k≥2) in the formal power series ring C[[z1,...,zn]], and for any positive real-valued K, then f is a holomorphic function of P.
Significance. If the central claim holds, the result is a precise composition theorem for entire functions in several variables under polynomial growth restrictions. The exception condition on P correctly excludes the standard counterexamples (such as f(z)=z when P=z²), and the statement is parameter-free in the sense that K is arbitrary. This appears to be a clean contribution to several complex variables.
minor comments (2)
- [Abstract] The abstract (and presumably the introduction) uses ||·|| without defining whether it denotes the Euclidean norm, max norm, or another norm on C^n; this should be clarified in §1.
- [Abstract] The statement refers to 'two (or more) complex variables' but the formal power series condition is written for C[[z1,z2]]; confirm whether the result is stated uniformly for n≥2 or if the n=2 case requires separate treatment.
Simulated Author's Rebuttal
We thank the referee for accurately summarizing our main result and for acknowledging its potential significance as a composition theorem for entire functions under polynomial growth bounds. The 'uncertain' recommendation appears to reflect a need for confirmation of the central claim, which we address below by reference to the manuscript's proof.
read point-by-point responses
-
Referee: The paper claims that if an entire function f of two or more complex variables satisfies the growth bound ||f(z1,...,zn)|| ≤ K(||P(z1,...,zn)||) for a polynomial P that is not a k-th power (k≥2) in the formal power series ring C[[z1,...,zn]], and for any positive real-valued K, then f is a holomorphic function of P.
Authors: This is an exact statement of the theorem proved in the manuscript. The argument proceeds by showing that the given bound forces f to be constant on the fibers of P. Because P is not a power in C[[z1,...,zn]], these fibers are irreducible in the appropriate sense (via the Weierstrass preparation theorem and Puiseux expansions in the two-variable case, with reduction to n=2 for higher dimensions). Consequently f descends to a holomorphic function of the single variable w = P(z). The non-power hypothesis precisely rules out the standard counter-examples such as f(z) = z when P = z². Full details appear in Sections 2–4 of the paper. revision: no
Circularity Check
No circularity: theorem statement is self-contained
full rationale
The paper states a composition theorem for entire functions f under the growth bound ||f|| ≤ K(||P||) when P is a polynomial not a k-th power in C[[z1,...,zn]]. The exception condition is explicitly invoked to exclude standard counterexamples (such as f(z)=z when P=z^2), which is a standard and non-circular way to state the precise hypothesis. No equations, fitted parameters, self-citations, or ansatzes are visible in the abstract or claim that reduce the conclusion to the inputs by construction. The derivation is a mathematical proof whose internal steps are not shown to collapse into tautology or self-reference.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Entire functions are holomorphic on all of C^n
- domain assumption Boundedness by a function of P implies holomorphic dependence on P when P is not a power
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1. Let f(z1,z2) be an entire function, P(z1,z2) a polynomial that is not a power considered as a power series, and K any function. If |f| ≤ K(|P|), then f = h(P) for some entire h.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Proof uses Bertini’s Theorem, reduction of singularities, Riemann extension theorem.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.