REVIEW 2 major objections 1 minor
Which sequences are orbits?
T0 review · 2 major / 1 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Given a sequence of complex numbers, existence and uniqueness of a holomorphic function having it as an orbit under iteration are delicate questions.
desk verdict The paper flips the usual complex dynamics setup to ask which maps make a given sequence an orbit and claims some existence/uniqueness results, but the delicacy only makes sense under an unstated holomorphic restriction. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The orbit condition x_{n+1} = f(x_n) for a function f, treated as the defining relation that must be solved for f given the sequence.
What would settle it
Take any concrete sequence such as 0, 1, 2, 3, … and check directly whether a holomorphic f exists satisfying f(n) = n+1 for all natural numbers n.
Extended reading notes
Core claim
Starting from an arbitrary sequence of complex numbers, the problem of finding holomorphic functions on domains in the complex plane such that the sequence equals x, f(x), f(f(x)), … is one of existence and uniqueness; both properties turn out to depend sensitively on the sequence itself, and the paper resolves specific instances of these questions.
Load-bearing premise
The functions under consideration are holomorphic or meromorphic on domains in the complex plane.
Editorial extensions
If this is right
- Certain sequences admit no holomorphic function for which they are orbits.
- For other sequences the function, when it exists, is unique.
- Analytic continuation and identity theorems in the plane impose strong restrictions on possible orbits.
- The same sequence may be an orbit for different functions when the domain is allowed to vary.
Reading between the lines
- The inverse-orbit viewpoint may classify entire families of holomorphic maps by the sequences they can produce.
- Similar existence questions could be posed for real-analytic or meromorphic functions on the Riemann sphere.
- Explicit constructions for sequences that do work could generate new examples of dynamical systems with prescribed orbit behavior.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reverses the standard direction in discrete dynamical systems on the complex plane: given a sequence of complex numbers, it studies the functions (if any) for which the sequence is an orbit under iteration. It resolves some existence and uniqueness questions and shows that these issues can be quite delicate.
Significance. If the results hold under the appropriate regularity conditions, the work offers a novel perspective on inverse problems in complex dynamics by characterizing which sequences can arise as orbits. This could inform the theory of iteration and provide tools for distinguishing orbit sequences from arbitrary ones.
major comments (2)
- [Abstract] Abstract: the claim that 'these issues can be quite delicate' is not supported without an explicit restriction on the class of functions. For arbitrary (non-analytic) functions on ℂ, existence is immediate by enumerating the orbit points, setting f(a_n)=a_{n+1}, and extending arbitrarily off the orbit; uniqueness likewise fails. The delicacy assertion therefore depends on an unstated assumption of holomorphicity (or meromorphicity) on domains in ℂ, which must be declared at the outset to make the central claims non-trivial.
- [§1] §1 (Introduction): the setting is described only as 'restricting to the complex plane' without specifying the regularity class of the functions under consideration. This omission is load-bearing because the existence/uniqueness questions change character completely once holomorphicity is imposed; the paper must state the precise function space (e.g., holomorphic maps on domains in ℂ) before presenting any resolutions.
minor comments (1)
- The abstract supplies no equations, proofs, or concrete examples, so the resolutions of the existence/uniqueness questions cannot be verified from the provided text alone.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive comments. We agree that the manuscript must state the regularity class (holomorphic functions) explicitly at the outset to render the existence and uniqueness questions non-trivial, and we will revise the abstract and introduction accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract: the claim that 'these issues can be quite delicate' is not supported without an explicit restriction on the class of functions. For arbitrary (non-analytic) functions on ℂ, existence is immediate by enumerating the orbit points, setting f(a_n)=a_{n+1}, and extending arbitrarily off the orbit; uniqueness likewise fails. The delicacy assertion therefore depends on an unstated assumption of holomorphicity (or meromorphicity) on domains in ℂ, which must be declared at the outset to make the central claims non-trivial.
Authors: We agree. The paper concerns holomorphic functions on domains in the complex plane, but the abstract does not declare this restriction explicitly. We will revise the abstract to state that we consider holomorphic functions, which makes the delicacy of existence and uniqueness non-trivial. revision: yes
-
Referee: [§1] §1 (Introduction): the setting is described only as 'restricting to the complex plane' without specifying the regularity class of the functions under consideration. This omission is load-bearing because the existence/uniqueness questions change character completely once holomorphicity is imposed; the paper must state the precise function space (e.g., holomorphic maps on domains in ℂ) before presenting any resolutions.
Authors: We concur that the introduction must specify the function class at the outset. We will revise the opening of Section 1 to state explicitly that we restrict attention to holomorphic maps on domains in ℂ. revision: yes
Circularity Check
No circularity; theoretical questions resolved without reduction to inputs
full rationale
The paper reverses the usual dynamical systems setup by beginning with a sequence in the complex plane and investigating existence/uniqueness of functions for which the sequence is an orbit under iteration. The provided abstract and context contain no equations, fitted parameters, predictions derived from data subsets, or load-bearing self-citations. The central claims concern delicacy of existence/uniqueness under (implicit) regularity conditions standard to the field, but these are resolved as mathematical questions rather than constructed from prior results or ansatzes within the paper itself. The derivation chain is therefore self-contained and independent of its inputs by construction.
Assumptions & free parameters
assumptions (1)
- domain assumption Functions are holomorphic on domains in the complex plane
Cite this review
Pith. "Pith review of Which sequences are orbits?." pith.science (2026). https://pith.science/paper/AURUZFWE
@misc{pith2026190711006,
author = {Pith},
title = {Pith review of: Which sequences are orbits?},
year = {2026},
howpublished = {\url{https://pith.science/paper/AURUZFWE}},
note = {Machine review of arXiv:1907.11006}
}
read the original abstract
In the study of discrete dynamical systems, we typically start with a function from a space into itself, and ask questions about the properties of sequences of iterates of the function. In this paper we reverse the direction of this study. In particular, restricting to the complex plane, we start with a sequence of complex numbers and study the functions (if any) for which this sequence is an orbit under iteration. This gives rise to questions of existence and of uniqueness. We resolve some questions, and show that these issues can be quite delicate.
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.