{"id":"f68b8a3d-e6f4-402f-ad9c-cf5012a0970d","arxiv_id":"1908.10757","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives exact, coordinate-independent equations for cosmological observables on a new 'observer space-time' manifold, using tetrads to track the observer frame.","lead":"This paper constructs a new mathematical formalism for defining cosmological observables, such as distances and galaxy counts, using tetrads (orthonormal frames) attached to the observer and the sources. The formalism is fully nonlinear, coordinate-independent, and resolves caustics in the light cone.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Redshift gauge (4.20) requires Σ^0_|| ≠ 0; this fails at frequency extrema along null rays, so the advertised caustic-resolving exactness is only local to mild-inhomogeneity spacetimes.","rationale":"The reader's weakest_assumption identified exactly the redshift parametrization requiring Σ^0_|| ≠ 0. I agree that this is the most load-bearing condition for the central claim. The paper itself is transparent about the restriction, so I do not regard the argument as unsound within its stated domain. Nevertheless, the abstract's emphasis on 'exact' observables and on resolving caustics goes beyond what the construction actually delivers: the redshift gauge can fail at frequency extrema along rays, which are natural locations of strong lensing and caustic formation. Since the caustic-resolution property is one of the paper's main advertised advantages over coordinate-based formalisms, the accepted claim should be explicitly conditioned on Σ^0_|| ≠ 0 and, more generally, on monotonicity of the redshift coordinate along the observer's past light cone. This does not require rejection; it requires a tightened statement of scope. Hence CONDITIONAL rather than UNCHANGED ACCEPT.","tokens_in":64901,"tokens_out":7001,"duration_ms":90000,"concrete_test":"In Schwarzschild spacetime with the standard static-observer tetrad, take a null geodesic with perihelion b > 3√3 M. Compute Σ^0_|| = ω^{-1} k^a Σ^0_a along the ray. At the perihelion r = r_min, the radial coordinate velocity ṙ vanishes, and since the static-observer frequency is ω ∝ (1-2M/r)^{-1/2} with constant photon energy, dω/dλ = 0 there; hence Σ^0_|| = 0. Numerically integrate the formalism's equations (4.154)-(4.158) near this point: the right-hand sides diverge while the independently computed Jacobi map (from the standard geodesic-deviation equation in affine parameter) is finite. Repeating the exercise with the alternative affine gauge ǫ = ω^{-1} should give regular equations throughout, confirming that the singularity is an artifact of the redshift parametrization rather than of the physical observable.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central formalism's evolution equations are written in terms of the log-redshift coordinate ζ, fixed by the gauge ǫ = 1/(ω Σ^0_||) in Eq. (4.20). This gauge is valid only while Σ^0_|| ≠ 0 along the entire past-directed null geodesic. The paper explicitly restricts to 'cosmology with mild inhomogeneity and anisotropy' (§4.2) and notes the singular case Σ^0_|| = 0 (§4.4.2). The concern is that this restriction undercuts the headline claim that the observer-space construction 'resolves caustics' and is 'fully non-linear and exact'. A caustic is precisely a configuration in which the Jacobi map degenerates, yet the physical angular diameter distance remains finite; the claimed advantage is that C, not M, carries the regular parametrization. However, a light ray passing through a strong-lens region can have an extremum of the frequency measured by the observer family, so d log ω/dλ = 0, i.e. Σ^0_|| = 0. At that event, the redshift coordinate ζ is non-monotonic, and the evolution equations (4.23), (4.24), and (4.154)-(4.158) become singular even though the physical observables are regular. Thus the formalism's exactness and caustic resolution are conditional on a monotonicity condition that is not guaranteed by the topology of the observer space. This is not an internal inconsistency, but it narrows the central claim considerably: the observer-space-time is a valid global chart only for spacetimes satisfying Σ^0_|| ≠ 0, not for generic spacetimes with strong fields.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a tetrad-based formalism for defining and computing cosmological observables at the fully nonlinear, coordinate-independent level. The central object is the 'observer space-time' O, parametrized by observer proper time, log-redshift, and the observer-frame angles, with observables defined as fields on this space rather than on the physical spacetime M. The authors derive exact equations for the angular diameter distance, weak lensing, and galaxy number counts, and revisit general-relativistic matrix kinetic theory for CMB observables, including a matrix Boltzmann equation and a collision term built from QFT amplitudes.","tokens_in":65189,"tokens_out":5022,"duration_ms":56750,"significance":"If the claimed generality holds, this is a substantial unifying framework: it eliminates the observer-frame ambiguity in angular parametrization, gives exact evolution equations in directly observed variables, and offers a principled way to handle caustics by avoiding coordinate singularities on M. The derivation of the Jacobi-map system in Sec. 4.7.1, the consistency check with observational coordinates in Eqs. (4.192)-(4.195), and the explicit discussion of observer-frame terms at low multipoles are valuable and carefully presented. The paper is also commendable for stating several of its own limitations explicitly, notably the redshift-gauge restriction in Sec. 4.2 and the by-hand matching condition for the collision term in Sec. 5.5. These limitations, however, are in tension with the unrestricted 'fully non-linear and exact' claims in the abstract and introduction, and this tension needs to be resolved before the paper can be recommended for publication.","major_comments":[{"comment":"The gauge fixing ǫ = 1/(ω Σ^0_||) makes the log-redshift ζ the line parameter, but it becomes singular whenever Σ^0_|| = 0 along a past-directed null geodesic. The paper acknowledges this in Sec. 4.2 and Sec. 4.4.2, but the abstract and introduction nonetheless state that the formalism is exact, fully nonlinear, and resolves caustics without this restriction. Since the evolution equations (4.23), (4.24), and (4.154)-(4.158) are written in terms of ζ, they become singular at frequency extrema even when the physical observables are regular. Thus the advertised caustic resolution is conditional on monotonicity of the redshift parameter, i.e. on the mild-inhomogeneity restriction, and does not hold for generic strong-field spacetimes. I recommend either qualifying the headline claims to state the mild-inhomogeneity restriction explicitly, or extending the construction to a parametrization that remains regular through Σ^0_|| = 0.","section":"Sec. 4.2, Eq. (4.20)"},{"comment":"The collision term is fixed by the matching condition C_ss'(p) = (E_p,s/T)[f_out_{ss'}(p) - f_in_{ss'}(p)], and the text explicitly states that this condition is imposed by hand and is not derivable from more fundamental equations in the present framework. This is an important limitation on the word 'ab initio' used in the introduction for the kinetic-theory part of the paper. The geometric and gravitational side is derived, but the Boltzmann collision integral is an input assumption. The manuscript should state this limitation more prominently and avoid implying that the kinetic-theory equations are derived solely from GR and QFT.","section":"Sec. 5.5, Eq. (5.85)"}],"minor_comments":[{"comment":"The sentence 'using (4.155) and (4.155)' contains a duplicated equation reference; it should presumably read '(4.155) and (4.156)'.","section":"Sec. 4.7.1, after Eq. (4.159)"},{"comment":"The notation using a hat for both observer-frame quantities and for the observational-coordinate labels in Eq. (4.192) makes some formulas hard to parse; a brief summary of the hatted-index conventions would improve readability.","section":"Sec. 4.8"},{"comment":"The phrase 'The standard description of cosmological observables is incomplete' is a strong claim that could be misread as a blanket statement; although footnote 2 clarifies the intended meaning, the first paragraph would benefit from stating that the incompleteness concerns the observer-frame angular parametrization rather than the physical content of the standard calculations.","section":"Sec. 1, paragraph 1"}],"recommendation":"major_revision","confidential_remarks":"The paper is long and dense, but the core geometric derivation is careful and the explicit limitation statements are a strength. The main issue is the mismatch between the unrestricted claims in the abstract/introduction and the gauge restriction of Sec. 4.2; this is fixable by rewriting the claims or by adding a regular alternative parametrization. I see no citation-pattern or novelty concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about arXiv:1908.10757. First, it is a real methodological step forward: the observer space-time O with coordinates (proper time, redshift, angles) gives a coordinate-free, fully nonlinear home for exact cosmological observables, and the caustic resolution via a non-injective map from observer space to M is a genuine structural improvement over observational-coordinate approaches. Second, the paper is honest about its main limitation: the redshift gauge (4.20) requires Sigma^0_|| != 0, and the authors explicitly restrict to mild inhomogeneity and anisotropy. That is not a hidden flaw.\n\nWhat is actually new: the observer space-time manifold, the redshift parametrization of the geodesic-deviation equations, the full-sky Sachs basis with compensating local Lorentz transformations, and the matrix kinetic theory with cluster decomposition and an alternative collision term. The core derivations in Sections 3 and 4 are internally consistent; they reduce to known results in the right limits, including the observational-coordinates metric (4.192) and the vanishing of the rotation angle at first order. The definitions are constructed, not fitted, and there are no free parameters. For a derivation paper, that is the right standard.\n\nThe stress-test concern about frequency extrema is real but not fatal. The paper itself flags the singular case in Section 4.2 and Section 4.4.2 and notes that one should switch parametrization. So the exactness is conditional on a mild-inhomogeneity assumption, not generic strong-field universality. But the caustic-resolution claim is about the non-injectivity of the map, not about redshift monotonicity, and that part holds.\n\nThe softest spot is Section 5. The collision term rests on the hand-imposed matching condition (5.85), and the alternative collision term deviates from the literature at higher order. I could not fully verify the cluster-decomposition manipulations from the text, and a referee should be asked to check them line by line. The neutrino mass discussion is careful, but it also shows the formalism does not handle superpositions of different mass shells in general.\n\nNo numerical checks are included; none are required for this kind of paper. The citation pattern is fine, and reliance on companion work is explicit.\n\nBottom line: this deserves serious peer review, not desk rejection. Send it to a referee who knows both exact cosmological observables and kinetic theory, and ask them to focus on Section 4.2 and Sections 5.5-5.6. I would cite it, and I'd bring selected parts of it to a reading group, though the full paper is too long for one sitting.","headline":"A substantial, honest derivation paper: the observer-space-time construction is genuinely new and mostly works, with an admitted gauge limitation and a kinetic-theory section that needs careful refereeing.","tokens_in":65760,"tokens_out":3917,"would_cite":true,"duration_ms":44623,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Cosmological observables need the observer's own frame in the sky map","keywords":["tetrad formalism","cosmological observables","observer space-time","observer sky","angular diameter distance","weak lensing","galaxy number counts","matrix kinetic theory"],"falsifier":"Compute $\\Sigma^0_{\\parallel}$ along a family of null geodesics in a space-time with a strong-lensing configuration or a deep local potential well; wherever it crosses zero, Eqs. (4.23)–(4.24) become singular, showing that the redshift parametrization is not universal and the formalism must switch to another parametrization.","tokens_in":64627,"feed_emoji":"🔭","tokens_out":6612,"duration_ms":61064,"temperature":0.7,"pith_summary":"This paper argues that a piece of the standard pipeline for cosmological observables is missing: the angular parametrization of the sky must be the one fixed by the observer's own orthonormal frame, and at nonlinear order the mismatch with coordinate-induced angles produces corrections at all multipoles. To make this precise, the authors develop a tetrad-based formalism in which source and observer frames are unified into a single tetrad field, and all observables live on an 'observer space-time' with coordinates (proper time, redshift, angles) rather than on space-time itself. This gives exact, coordinate-independent and model-independent definitions and evolution equations for angular diameter distance, weak lensing, number counts and CMB observables, and it resolves light-ray caustics because the map from observer space to the light-cone need not be injective. A sympathetic reader would care because the formalism removes an approximation that the authors argue is no longer justified at the precision of current and future surveys.","feed_headline":"Sky angles must come from the observer's own frame","feed_subtitle":"A tetrad formalism defines distances, lensing and counts exactly in redshift and observer angles, with caustics resolved.","key_machinery":"The load-bearing object is the tetrad field $e^a_\\mu(x)$: an orthonormal basis at every space-time point, with $a=0$ the 4-velocity and $a=i$ the spatial rest-frame axes. On top of it sit the 'observer sky' $S$ parametrized by the observed angles $(\\vartheta,\\varphi)$ and the 'observer space-time' $\\mathcal{O}=\\mathbb{R}\\times\\mathbb{R}_+\\times S$, whose coordinates are observer proper time $\\tau$, log-redshift $\\zeta=\\log(1+z)$, and sky angles. A bundle of past-directed null geodesics maps $\\mathcal{O}$ into the true space-time, and because this map need not be injective, caustics are resolved. On $\\mathcal{O}$ the central working objects are the Jacobi map $J_{AB}$ and its companion $K_{AB}$, decomposed into angular diameter distance $D$, rotation $s_\\circ$, shear $s$, optical expansion $\\theta$ and shear rate $\\sigma$; their evolution equations are the Sachs equations rewritten in the observed redshift parameter. A full-sky Sachs basis is fixed by matching the dyad of the observer sky, so tensors on the sky get a global angular parametrization. For the CMB, the machinery shifts to on-shell Lorentz phase space with matrix distributions $f_{ss'}(x,\\vec p)$, whose collision term is built directly from Lorentz-indexed QFT amplitudes.","core_discovery":"The paper's central claim is that the standard description of cosmological observables is incomplete: it uses angles read off coordinate-induced spatial vectors, which are neither orthonormal nor normal to the observer 4-velocity, instead of the angles the observer actually uses. The proposed cure is to promote the observer frame to a full tetrad field, so that source frames and observer frames are unified, and to define all observables on an 'observer space-time' manifold parametrized by proper time, redshift and sky angles. On this manifold the paper derives fully nonlinear, coordinate-independent equations for the angular diameter distance, weak lensing (including image rotation and shear), volume elements and galaxy number counts, and it rebuilds matrix kinetic theory so that CMB observables are pulled back from the photon phase-space distribution. Because the map from observer space to the true light-cone is allowed to be non-injective, caustics are not singularities of the observable maps.","pith_inferences":["A practical test of the observer-frame corrections would be to compare angular spectra computed with coordinate-induced angles against observer-frame angles in the same simulated space-time; the difference isolates exactly the observer terms at all multipoles.","The same observer-space construction could be applied to relativistic astrometry of nearby sources or lensing by compact objects, where $\\Sigma^0_{\\parallel}$ can vanish and the required switch of parametrization can be studied concretely.","The Lorentz-indexed collision term suggests that relativistic Boltzmann solvers could precompute QFT amplitudes once in Minkowski space and avoid recomputing metric-dependent collision integrals, a structure worth testing in numerical kinetic codes.","Extending the observer-space-time to non-geodesic observers would give exact drift formulae for all observables; since the paper notes the transformation between observer world-lines is complicated, a numerical implementation may be the most direct route."],"forward_implications":["Angular diameter distance, image rotation and shear can be evolved directly in the observed redshift variable $\\zeta$, with the Jacobi map determined by fully nonlinear equations that make no reference to a background metric.","Because observer space is a 3-cylinder and its map to the light-cone need only be non-injective, caustics of the light bundle do not make the observable maps singular, unlike observational-coordinate approaches.","The full observer frame introduces observer-position terms that, at nonlinear order, couple to source and line-of-sight terms and therefore affect all multipoles of angular spectra, not just the lowest ones.","The volume and number-count relation $V=D^2/(e^\\zeta \\Sigma^0_{nn})$ gives an exact, coordinate-independent conversion between observed solid angle and redshift intervals and source rest-frame volume.","CMB observables are defined by evaluating the photon matrix distribution on the spectral observer sky, with a collision term that is independent of the gravitational field because QFT amplitudes are written in Lorentz indices."],"supporting_citations":[{"why":"Defines observational coordinates, which the paper contrasts with its observer-space construction and their caustic singularities.","marker":"[69, 70]"},{"why":"Geodesic light-cone coordinate approaches to observables, whose coordinate angles break down at caustics and which the new formalism is designed to avoid.","marker":"[22, 42, 66, 70–81]"},{"why":"Prior recognition that a full observer frame is needed for the correct angular parametrization of observables.","marker":"[46–61]"},{"why":"Existing matrix kinetic theory on curved space-time that already uses tetrads; the paper revisits and extends this construction.","marker":"[87–92]"},{"why":"Standard parametrizations of the Jacobi map that the paper compares with its group-theoretic decomposition.","marker":"[48, 103, 107]"},{"why":"Works establishing that observer terms are needed for gauge-invariant observables and infrared finiteness.","marker":"[50, 51, 54, 57, 58, 62–67]"}],"fun_headline_variants":["Tetrads fix sky angles: exact observables beyond linear order","Observer frame as tetrad yields exact nonlinear cosmological observables","Tetrad formalism resolves caustics in exact cosmological observables","Sky angles from the observer's own frame: exact and nonlinear","Coordinate-independent observables via tetrads: caustics not singular"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the gauge (4.20) makes sense: the quantity $\\Sigma^0_{\\parallel}$, the log-redshift derivative along each null geodesic, never vanishes, which the paper assumes holds for 'cosmology with mild inhomogeneity and anisotropy'; if it vanishes, the evolution equations in $\\zeta$ become singular and another parametrization must be used.","fun_headline_variants_meta":{"raw":{"variants":["Tetrads fix sky angles: exact observables beyond linear order","Observer frame as tetrad yields exact nonlinear cosmological observables","Tetrad formalism resolves caustics in exact cosmological observables","Sky angles from the observer's own frame: exact and nonlinear","Coordinate-independent observables via tetrads: caustics not singular"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000601,"raw_usage":{"total_tokens":2845,"prompt_tokens":1023,"completion_tokens":1822,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":639,"completion_tokens_details":{"reasoning_tokens":1734}},"tokens_in":639,"tokens_out":1822,"duration_ms":13185,"temperature":1.0,"reasoning_tokens":1734,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:35:06.302313+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\Sigma^0_{\\parallel}$ along a family of null geodesics in a space-time with a strong-lensing configuration or a deep local potential well; wherever it crosses zero, Eqs. (4.23)–(4.24) become singular, showing that the redshift parametrization is not universal and the formalism must switch to another parametrization.","supporting_citations":[],"review_version":1}