Pith. sign in

REVIEW 2 major objections 1 minor

Any computable function arises as the return map of some Reeb flow on any contact three-manifold.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-14 00:56 UTC pith:CDHGUZS2

load-bearing objection Clean existence claim that every computable function is a Reeb return map on any contact 3-manifold; only the abstract is here, so the geometric encoding is unchecked. the 2 major comments →

arxiv 2607.10022 v1 pith:CDHGUZS2 submitted 2026-07-10 math.SG cs.CCmath.DS

Computable functions as Reeb flows

Kai Cieliebak , \'Angel Gonz\'alez-Prieto , Eva Miranda This is my paper
classification math.SG cs.CCmath.DS MSC 53D1037C2703D20
keywords contact geometryReeb flowsPoincaré sectionsreturn mapscomputable functionsthree-manifoldsdynamical systems
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that Reeb dynamics on contact three-manifolds are computationally universal. Given any contact three-manifold and any computable partial function from the natural numbers to the natural numbers, there exists a defining contact form whose Reeb flow admits a Poincaré section whose partially defined return map computes that function. A sympathetic reader cares because the underlying contact structure and manifold topology impose no restriction: every contact three-manifold carries Reeb flows rich enough to encode arbitrary recursive computation. The result therefore links contact geometry directly to computability, showing that the discrete dynamics extracted from continuous Reeb flows can realize any algorithm.

Core claim

For every contact three-manifold and every computable function f from the natural numbers to the natural numbers (possibly partial), there exists a defining contact form and a Poincaré section of its Reeb flow such that the partially defined first-return map on that section computes f.

What carries the argument

The partially defined return map of a Poincaré section for a Reeb flow. By suitable choice of contact form, this discrete dynamical system is engineered to encode the input-output behaviour of an arbitrary computable function while remaining the genuine return map of a Reeb vector field on the given contact three-manifold.

Load-bearing premise

A surface-of-section return map can be engineered, solely by choice of contact form, to encode any computable function while still arising as the genuine Reeb return map on an arbitrary contact three-manifold.

What would settle it

Produce a contact three-manifold and a computable function for which no contact form admits a Poincaré section whose return map computes that function, or prove that every Reeb return map on that manifold obeys a dynamical restriction violated by some computable functions.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Every contact three-manifold admits Reeb flows that are computationally universal.
  • Contact forms can be chosen so that their return maps realize arbitrary recursive procedures.
  • The computational power of Reeb dynamics is independent of the underlying contact three-manifold.
  • Existence questions about computable functions become existence questions about Reeb return maps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Undecidability results from computability theory can be imported into questions about existence and recognition of Reeb orbits and return maps.
  • Similar universality may or may not hold for higher-dimensional contact manifolds or for other form-constrained flows.
  • The construction almost certainly embeds computational gadgets into open books or torsion domains while preserving the contact condition.
  • Effective bounds relating the geometric complexity of the contact form to the runtime of the encoded function remain open and would link geometric and computational complexity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 1 minor

Summary. The manuscript asserts an existence theorem in contact geometry: for every contact 3-manifold (M, ξ) and every computable partial function f : ℕ ⇢ ℕ, there exists a defining contact form α with ker α = ξ together with a Poincaré section Σ of the Reeb flow of α such that the partially defined first-return map on Σ computes f (via a fixed encoding of natural numbers into the section).

Significance. If the result holds, it would establish a striking flexibility of Reeb dynamics on 3-manifolds: return maps can realize arbitrary computable functions while remaining compatible with any prescribed contact structure. This would create a direct bridge between computability theory and contact geometry, with potential consequences for the complexity of Reeb flows and for constructions of exotic contact forms. The claim is purely existential and, if proved constructively or with explicit encodings, would be of clear interest to the field.

major comments (2)
  1. [Abstract] The central existence claim is load-bearing on a geometric construction that is not visible in the available text. Reeb return maps are constrained: they preserve the area form induced by dα (weighted by return time), the Reeb field is nowhere zero, and α ∧ dα > 0 must hold globally. Encoding an arbitrary computable f requires realizing a discrete set of orbits whose itineraries reproduce the graph of f while Dom(R) remains a genuine domain of first return, all by choice of form alone on an arbitrary (tight or overtwisted) contact 3-manifold. Without a verifiable construction or sketch addressing these constraints, the claim cannot be assessed.
  2. [Abstract] The abstract does not specify the encoding of ℕ into the Poincaré section, nor the precise sense in which a partially defined return map 'computes' f. This encoding is listed among the paper's ad-hoc axioms and is essential to the statement; its compatibility with the contact condition and with freeness of the flow must be made explicit and checked.
minor comments (1)
  1. [Abstract] The abstract alone does not indicate whether the result is proved for all contact structures or only for a dense class, nor whether the section Σ can be chosen embedded and transverse in a controlled way. Clarifying these points in the introduction would help readers gauge the scope.

Circularity Check

0 steps flagged

No circularity detectable; abstract states a pure constructive existence theorem with no fitted parameters, definitional loops, or load-bearing self-citations visible.

full rationale

Only the abstract is available. It asserts a standard existence result in contact geometry: for every contact 3-manifold and every computable partial function f, there exist a defining contact form and a Poincaré section whose partially defined Reeb return map computes f. No equations, no parameter fits, no uniqueness theorems, no ansatzes, and no self-citations appear in the supplied text. Nothing reduces by construction to its own inputs. Geometric constraints on Reeb return maps (area preservation, contact condition, freeness of the flow) are potential correctness or constructibility issues, not circularity. With no derivation chain to inspect, the honest finding is zero circularity; residual concerns about whether the construction can be carried out belong outside this pass.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only pure-math existence theorem. No free parameters or invented physical entities appear. Background axioms are the standard foundations of contact geometry (existence of contact forms, Reeb vector fields, Poincaré sections) and classical computability theory (partial recursive / Turing-computable functions ℕ ⇢ ℕ). No ad-hoc constants or new particles are introduced in the abstract.

axioms (3)
  • domain assumption Standard contact geometry: every contact 3-manifold admits defining contact forms; Reeb vector fields and Poincaré sections are well-defined for suitable forms.
    Invoked throughout the abstract statement; without these objects the theorem cannot be formulated.
  • domain assumption Classical computability: the class of (partial) computable functions f: ℕ ⇢ ℕ is the standard one (Turing / recursive).
    The range of f in the theorem is the usual computable functions; no nonstandard model is indicated.
  • ad hoc to paper A partially defined return map can be said to 'compute' a function f by a fixed encoding of natural numbers into the section.
    The abstract uses 'computes f' without spelling out the encoding; some discrete encoding convention is required for the claim to be meaningful.

pith-pipeline@v1.1.0-grok45 · 5934 in / 2277 out tokens · 25876 ms · 2026-07-14T00:56:26.281132+00:00 · methodology

0 comments
read the original abstract

We prove that, given any contact $3$-manifold and any computable function $f: \mathbb{N} \dashrightarrow \mathbb{N}$, there exists a defining contact form and a Poincar\'e section of its Reeb flow whose partially defined return map computes $f$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.