arxiv: 2605.09049 · v1 · submitted 2026-05-09 · 📡 eess.IV

Recognition: 2 theorem links

· Lean Theorem

HyGAS: an Open, Sensor-Agnostic Platform for Multi-Satellite Methane Plume Retrieval, Uncertainty Propagation, and Emission-Rate Estimation

Alvise Ferrari , Valerio Pampanoni , Giovanni Laneve

Authors on Pith no claims yet

Pith reviewed 2026-05-12 02:42 UTC · model grok-4.3

classification 📡 eess.IV

keywords methane emissionshyperspectral satellitesplume retrievalemission rate estimationmulti-sensor processinguncertainty propagationremote sensinggreenhouse gas monitoring

0 comments

The pith

HyGAS is an open platform that enables consistent methane plume retrieval, uncertainty quantification, and emission rate estimation from multiple hyperspectral satellites.

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

The paper introduces HyGAS, an open framework meant to process methane observations from different satellites using shared methods instead of separate tools for each. It accepts raw radiance data from PRISMA, EnMAP, and Tanager-1 and converts it to methane enhancements, while taking already-processed enhancement maps from EMIT and GHGSat and feeding them into the same steps for background removal, plume identification, total gas calculation, and emission rate inversion. The design includes adjustments to reduce background interference and instrument artifacts, tracks how noise and scene variations affect the final numbers, and uses a segmentation approach that scales with each sensor's resolution. This setup is intended to support reproducible monitoring of methane sources such as oil and gas sites and landfills by allowing direct comparisons across sensors.

Core claim

HyGAS is a sensor-agnostic framework that standardizes methane processing by supporting full pipelines from Level-1 radiance to enhancement products for PRISMA, EnMAP, and Tanager-1, while ingesting Level-2 products from EMIT and GHGSat and routing all inputs through common modules for background selection, plume segmentation, Integrated Mass Enhancement calculation, and emission-rate inversion, relying on matched-filter variants, explicit uncertainty propagation from noise and clutter, and scale-aware segmentation defined in physical units.

What carries the argument

The HyGAS framework, which applies matched-filter variants to retrieve methane enhancements while mitigating background heterogeneity and pushbroom artifacts, propagates uncertainties explicitly from instrument noise and scene clutter through to Integrated Mass Enhancement and emission rates, and performs plume segmentation in physical units that are rescaled according to each sensor's ground sampling distance.

Load-bearing premise

The matched-filter variants and scale-aware segmentation will produce comparable and unbiased methane enhancement and emission results across sensors that differ in resolution and noise without any sensor-specific adjustments.

What would settle it

Simultaneous observations of the same methane plume by two different satellites processed through HyGAS, followed by a check of whether the derived emission rates agree within the reported combined uncertainties.

read the original abstract

The rapid expansion of spaceborne methane observing capabilities at the facility-scale (fostered both by public missions and commercial constellations) has created a need for harmonised, reproducible, and uncertainty-aware processing chains that support both monitoring workflows and fair inter-sensor comparisons. This paper presents HyGAS (Hyperspectral Gas Analysis Suite), an open and sensor-agnostic framework that standardises methane processing across multiple imaging spectrometers. HyGAS currently supports end-to-end processing from Level-1 radiance to methane enhancement for PRISMA, EnMAP, and Tanager-1, and it supports ingestion of Level-2 methane enhancement products from EMIT and GHGSat, which are subsequently processed through common downstream modules for background selection, plume segmentation, Integrated Mass Enhancement (IME), and emission-rate inversion. HyGAS prioritises operational robustness via (i) matched-filter variants designed to mitigate background heterogeneity and pushbroom artefacts, (ii) explicit decomposition and propagation of uncertainty from instrument noise and scene-driven clutter to IME and flux, and (iii) a scale-aware segmentation strategy defined in physical units and rescaled by ground sampling distance to improve multi-sensor comparability. Representative sample outputs are reported for PRISMA, EnMAP, and Tanager-1. Keywords: Methane emissions, hyperspectral satellites, Tanager-1, PRISMA, EnMAP, GHGSat, EMIT, Tanager, oil and gas, landfills, remote sensing, atmospheric science, greenhouse gas monitoring, spectral analysis, emission quantification, satellite synergy, environmental monitoring.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

HyGAS is a practical open-source framework that standardizes existing methane retrieval steps across sensors with uncertainty propagation, but the manuscript shows only examples without quantitative validation of cross-sensor results.

read the letter

HyGAS wraps matched-filter retrievals, plume segmentation, IME, and flux inversion into one open codebase that handles Level-1 data from PRISMA, EnMAP, and Tanager-1 plus Level-2 products from EMIT and GHGSat. The code applies common downstream modules with explicit uncertainty decomposition from noise and clutter, plus segmentation rescaled by ground sampling distance in physical units. That packaging is the main new element; the underlying techniques are already in the literature. The open implementation and documented pipeline make it easier for groups to run consistent processing without starting from scratch each time. The focus on operational robustness and multi-sensor comparability is a clear practical step forward for harmonized emission work. The soft spot is the missing evidence. The paper reports representative outputs but gives no error budgets, no controlled simulations with known plumes, no ground-truth emission benchmarks, and no direct inter-sensor comparisons that test whether the shared modules actually remove sensor-specific biases. The claim that scale-aware segmentation and uncertainty propagation produce comparable results across different GSDs and noise levels therefore rests on method description rather than demonstrated performance. This paper is aimed at researchers and agencies building methane monitoring pipelines who need a shared, reproducible starting point rather than a new physical derivation. Readers who want documented code they can inspect and extend will get immediate value from the open release. It is not aimed at readers seeking a validated new retrieval algorithm. The work deserves a serious referee because it tackles a real fragmentation issue in the field. Reviewers can ask for the quantitative benchmarks that are currently absent, and the open code makes those checks straightforward to perform.

Referee Report

2 major / 2 minor

Summary. The manuscript presents HyGAS, an open sensor-agnostic software platform for standardized methane plume retrieval and emission quantification across multiple hyperspectral satellites. It supports end-to-end Level-1 to methane enhancement processing for PRISMA, EnMAP, and Tanager-1, plus ingestion of Level-2 products from EMIT and GHGSat, followed by common modules for background selection, plume segmentation, Integrated Mass Enhancement (IME), and emission-rate inversion. The framework emphasizes matched-filter variants to handle background heterogeneity and pushbroom artefacts, explicit uncertainty decomposition and propagation from noise and clutter to final flux estimates, and a scale-aware segmentation approach defined in physical units and rescaled by ground sampling distance (GSD) to promote multi-sensor comparability. Representative sample outputs are shown for three sensors.

Significance. If the claimed robustness and cross-sensor unbiasedness hold under quantitative testing, HyGAS would offer a reproducible, uncertainty-aware open tool that could facilitate operational multi-mission methane monitoring and fair inter-sensor comparisons for facility-scale sources such as oil/gas infrastructure and landfills. The explicit uncertainty propagation and physical-unit segmentation are strengths that align with needs in atmospheric remote sensing.

major comments (2)

[Abstract / Results] Abstract and Results section: only representative sample outputs are reported for PRISMA, EnMAP, and Tanager-1, with no quantitative validation metrics, error budgets, inter-sensor comparisons, controlled simulations using known plumes, or ground-truth emission-rate benchmarks. This directly undermines the central claim that the matched-filter variants, uncertainty decomposition, and scale-aware segmentation yield comparable and unbiased results across sensors differing in GSD, spectral sampling, and noise characteristics.
[Methods] Methods section (description of downstream modules): the assumption that common modules for background selection, plume segmentation, IME, and inversion remove sensor-specific biases without post-hoc adjustments is stated but not tested; no ablation studies, synthetic data experiments, or cross-sensor consistency metrics are provided to support the scale-aware rescaling by GSD.

minor comments (2)

[Abstract] Keywords list contains both 'Tanager-1' and 'Tanager'; the latter appears redundant.
The manuscript should include a clear statement of software availability, licensing, and reproducibility instructions (e.g., containerization or example notebooks) to match the 'open' claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their constructive and detailed review of our manuscript on the HyGAS platform. Their comments highlight important aspects of validation and testing that we will address through targeted revisions. We respond point-by-point below.

read point-by-point responses

Referee: [Abstract / Results] Abstract and Results section: only representative sample outputs are reported for PRISMA, EnMAP, and Tanager-1, with no quantitative validation metrics, error budgets, inter-sensor comparisons, controlled simulations using known plumes, or ground-truth emission-rate benchmarks. This directly undermines the central claim that the matched-filter variants, uncertainty decomposition, and scale-aware segmentation yield comparable and unbiased results across sensors differing in GSD, spectral sampling, and noise characteristics.

Authors: We agree that the current manuscript provides only representative sample outputs without quantitative validation metrics, error budgets, inter-sensor comparisons, or controlled simulations. The paper's primary aim is to describe the open platform architecture and its core design choices for multi-sensor processing. We acknowledge that this leaves the claims of comparability and unbiased results insufficiently supported by evidence in the present version. We will revise the Results section to incorporate quantitative validation using synthetic plume simulations across PRISMA, EnMAP, and Tanager-1, including basic inter-sensor consistency metrics and an error budget summary derived from the uncertainty propagation module. Ground-truth emission-rate benchmarks remain limited by the availability of coincident in-situ data for the illustrated scenes; we will explicitly note this as a current limitation and identify it as a priority for subsequent studies. revision: partial
Referee: [Methods] Methods section (description of downstream modules): the assumption that common modules for background selection, plume segmentation, IME, and inversion remove sensor-specific biases without post-hoc adjustments is stated but not tested; no ablation studies, synthetic data experiments, or cross-sensor consistency metrics are provided to support the scale-aware rescaling by GSD.

Authors: The manuscript presents the common downstream modules as designed to operate in physical units with GSD-rescaled segmentation to reduce the need for sensor-specific adjustments. We did not include ablation studies or synthetic experiments in the initial submission, focusing instead on platform implementation and functionality. We will add a dedicated subsection (or supplementary material) describing synthetic data experiments that test the effect of the scale-aware rescaling on plume segmentation consistency and IME values across varying GSDs. These experiments will also provide cross-sensor consistency metrics to support the design assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: framework description with no load-bearing derivations

full rationale

The paper describes an open software platform (HyGAS) for standardizing methane processing across sensors, including matched-filter variants, uncertainty decomposition, and scale-aware segmentation. No equations, derivations, or predictions are presented that reduce by construction to fitted parameters, self-citations, or inputs defined from the same data. The work is an implementation and standardization effort reporting representative outputs, not a closed-form theoretical chain. All methods are presented as adaptations of existing techniques without self-referential loops.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The platform rests on standard remote-sensing assumptions for spectral matched filtering and mass-balance flux inversion; no new physical entities are introduced and no parameters are explicitly fitted in the abstract.

axioms (2)

domain assumption Matched-filter detection remains valid under the background heterogeneity and pushbroom artefacts present in the target sensors
Invoked to justify the retrieval step for Level-1 data.
domain assumption Uncertainty from instrument noise and scene clutter can be decomposed and propagated linearly to IME and flux estimates
Central to the uncertainty-aware claim.

pith-pipeline@v0.9.0 · 5600 in / 1447 out tokens · 46773 ms · 2026-05-12T02:42:56.245296+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

HyGAS prioritises operational robustness via (i) matched-filter variants... (ii) explicit decomposition and propagation of uncertainty... (iii) a scale-aware segmentation strategy defined in physical units and rescaled by ground sampling distance
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Representative sample outputs are reported for PRISMA, EnMAP, and Tanager-1

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.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

[1]

California's methane super -emitters,

R. M. Duren, A. K. Thorpe, K. T. Foster, T. Rafiq, F. M. Hopkins, V. Yadav, B. D. Bue, D. R. Thompson, S. Conley, N. K. Colombi, C. Frankenberg, I. McCubbin, M. Eastwood, M. Falk, J. D. Herner, B. E. Croes and C. E. Miller, “California's methane super -emitters,” Nature , vol. 575, p. 180 –184, 2019

work page 2019
[2]

Satellite discovery of anomalously large methane point sources from oil/gas production,

D. J. Varon, J. McKeever, D. Jervis, J. D. Maasakkers, S. Pandey, S. Houweling, I. Aben, T. Scarpelli and D. J. Jacob, “Satellite discovery of anomalously large methane point sources from oil/gas production,” Geophysical Research Letters , vol. 46, p. 13507 –13516, 2019

work page 2019
[3]

Quantifying methane point sources from fine -scale satellite observations of atmospheric methane plumes,

D. J. Varon, D. J. Jacob, J. McKeever, D. Jervis, B. O. A. Durak, Y. Xia and Y. Huang, “Quantifying methane point sources from fine -scale satellite observations of atmospheric methane plumes,” Atmospheric Measurement Techniques , vol. 11, p. 5673 –5686, 2018

work page 2018
[4]

PRISMA: The Italian Hyperspectral Mission,

R. Loizzo, R. Guarini, F. Longo, R. Lorusso, M. Viggiano, F. Amoruso, G. Masiello and S. Pascucci, “PRISMA: The Italian Hyperspectral Mission,” IEEE Transactions on Geoscience and Remote Sensing , vol. 57, p. 9484 –9496, 2019

work page 2019
[5]

The EnMAP Spaceborne Imaging Spectroscopy Mission,

L. Guanter, H. Kaufmann, K. Segl, S. Foerster, C. Rogass, H. Krawczyk, S. Chabrillat, D. Schlaepfer, I. Caballero, X. Briottet and others, “The EnMAP Spaceborne Imaging Spectroscopy Mission,” Remote Sensing , vol. 14, p. 1644, 2022

work page 2022
[6]

Mapping Methane Emissions from Space: Early Results from EMIT on the International Space Station,

R. O. Green, D. R. Thompson, A. K. Thorpe, M. L. Eastwood, C. M. Sarture and et al., “Mapping Methane Emissions from Space: Early Results from EMIT on the International Space Station,” Science Advances , vol. 9, p. eadg1725, 2023

work page 2023
[7]

The GHGSat -D imaging spectrometer,

D. Jervis, J. McKeever, B. O. Durak, J. J. Sloan, D. Gains, D. J. Varon, A. Ramier, M. Strupler and E. Tarrant, “The GHGSat -D imaging spectrometer,” Atmospheric Measurement Techniques , vol. 14, p. 2127 – 2140, 2021

work page 2021
[8]

Early results from the Tanager hyperspectral mission,

M. S. Keremedjiev, K. Roth, G. Barentsen, J. Haag, H. Bourne, K. Wurster, M. Radel, T. Mcdonald, P. Giuliano, D. Thompson and others, “Early results from the Tanager hyperspectral mission,” in Algorithms, Technologies, and Applications for Multispectral and Hyperspectral Imaging XXXI, 2025

work page 2025
[9]

Planet Labs PBC, Planet Tanager User Documentation , 2025

work page 2025
[10]

Global identification of solid waste methane super emitters using hyperspectral satellites,

X. Zhang, J. D. Maasakkers, J. Roger, L. Guanter, S. Sharma, S. Lama, P. Tol, D. J. Varon, D. H. Cusworth, K. Howell and others, “Global identification of solid waste methane super emitters using hyperspectral satellites,” Environmental Science & Technology , vol. 59, p. 18134 – 18145, 2025

work page 2025
[11]

Single -blind test of nine methane -sensing satellite systems from three continents,

E. D. Sherwin, S. H. El Abbadi, P. M. Burdeau, Z. Zhang, Z. Chen, J. S. Rutherford, Y. Chen and A. R. Brandt, “Single -blind test of nine methane -sensing satellite systems from three continents,” Atmospheric Measurement Techniques , vol. 17, p. 1–25, 2024

work page 2024
[12]

Potential of next -generation imaging spectrometers to detect and quantify methane point sources from space,

D. H. Cusworth and others, “Potential of next -generation imaging spectrometers to detect and quantify methane point sources from space,” Atmospheric Measurement Techniques , vol. 12, p. 5655 –5668, 2019

work page 2019
[13]

Design of Pushbroom Imaging Spectrometers for Optimum Recovery of Spectroscopic and Spatial Information,

P. Mouroulis, R. O. Green and T. G. Chrien, “Design of Pushbroom Imaging Spectrometers for Optimum Recovery of Spectroscopic and Spatial Information,” Applied Optics , vol. 39, p. 2213 –2224, 2000

work page 2000
[14]

On -orbit calibration and performance of the EMIT imaging spectrometer,

D. R. Thompson, R. O. Green, C. Bradley, P. G. Brodrick, N. Mahowald, E. B. Dor, M. Bennett, M. Bernas, N. Carmon, K. D. Chadwick and R. N. Clark, “On -orbit calibration and performance of the EMIT imaging spectrometer,” Remote Sensing of Environment , vol. 303, p. 113986, 2024

work page 2024
[15]

Impact of scene -specific enhancement spectra on matched filter greenhouse gas retrievals from imaging spectroscopy,

M. D. Foote, P. E. Dennison, P. R. Sullivan, K. B. O'Neill, A. K. Thorpe, D. R. Thompson, D. H. Cusworth, R. Duren and S. C. Joshi, “Impact of scene -specific enhancement spectra on matched filter greenhouse gas retrievals from imaging spectroscopy,” Remote Sensing of Environment , vol. 264, p. 112574, 2021

work page 2021
[16]

Effect of Signal Contamination in Matched -Filter Detection of the Signal on a Cluttered Background,

J. Theiler and B. R. Foy, “Effect of Signal Contamination in Matched -Filter Detection of the Signal on a Cluttered Background,” IEEE Geoscience and Remote Sensing Letters , vol. 3, p. 98–102, 2006

work page 2006
[17]

The Quantum Theory of Optical Communications,

J. H. Shapiro, “The Quantum Theory of Optical Communications,” IEEE Journal of Selected Topics in Quantum Electronics , vol. 15, p. 1547 –1569, 2009

work page 2009
[18]

Noise Coefficients Retrieval in Prisma Hyperspectral Data,

N. Acito, M. F. Carfora, M. Diani, G. Corsini, S. Pascucci and S. Pignatti, “Noise Coefficients Retrieval in Prisma Hyperspectral Data,” in IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium , 2023

work page 2023
[19]

Ferrari, hygas: GitHub repository, https://github.com/AlFe23/hygas/ , 2025

A. Ferrari, hygas: GitHub repository, https://github.com/AlFe23/hygas/ , 2025

work page 2025
[20]

EMIT L2B Greenhouse Gas Data Product User Guide,

Jet Propulsion Laboratory, “EMIT L2B Greenhouse Gas Data Product User Guide,” 2023

work page 2023
[21]

High resolution mapping of methane emissions from marine and terrestrial sources using a Cluster -Tuned Matched Filter technique and imaging spectrometry,

A. K. Thorpe, D. A. Roberts, E. S. Bradley, C. C. Funk, P. E. Dennison and I. Leifer, “High resolution mapping of methane emissions from marine and terrestrial sources using a Cluster -Tuned Matched Filter technique and imaging spectrometry,” Remote Sensing of Environment , vol. 134, p. 305 –318, 2013

work page 2013
[22]

A. Ferrari et al., “A Multi-Sensor Framework for Methane Detection and Flux Estimation with Scale -Aware Plume Segmentation and Uncertainty Propagation from High -Resolution Spaceborne Imaging Spectrometers” . Methane, 5(1), p.10

work page
[23]

Thorpe, R

A. Thorpe, R. O. Green, P. G. Brodrick, K. D. Chadwick, C. Elder, C. Villanueva -Weeks, J. Fahlen, R. Coleman, D. Jensen, W. Olsen - Duvall, S. Lundeen, A. Lopez and D. R. Thompson, EMIT L2B Methane Enhancement Data 60 m V002 , NASA Land Processes Distributed Active Archive Center, 2025

work page 2025
[24]

High -resolution methane mapping with the EnMAP satellite imaging spectroscopy mission,

J. Roger, I. Irakulis -Loitxate, A. Valverde, J. Gorroño, S. Chabrillat, M. Brell and L. Guanter, “High -resolution methane mapping with the EnMAP satellite imaging spectroscopy mission,” IEEE Transactions on Geoscience and Remote Sensing , vol. 62, p. 1–17, 2024

work page 2024
[25]

Mapping methane point emissions with the PRISMA spaceborne imaging spectrometer,

L. Guanter, I. Irakulis -Loitxate, J. Gorroño, E. Sánchez -García, D. H. Cusworth, D. J. Varon, S. Cogliati and R. Colombo, “Mapping methane point emissions with the PRISMA spaceborne imaging spectrometer,” Remote Sensing of Environment , vol. 265, p. 112671, 2021

work page 2021
[26]

The ERA5 global reanalysis,

H. Hersbach, B. Bell, P. Berrisford, S. Hirahara, A. Horányi, J. Muñoz -Sabater, J. Nicolas, C. Peubey, R. Radu, D. Schepers and others, “The ERA5 global reanalysis,” Quarterly Journal of the Royal Meteorological Society , vol. 146, p. 1999 –2049, 2020

work page 1999
[27]

Retrieval techniques for airborne imaging of methane concentrations using high spatial and moderate spectral resolution: application to AVIRIS,

A. K. Thorpe, C. Frankenberg and D. A. Roberts, “Retrieval techniques for airborne imaging of methane concentrations using high spatial and moderate spectral resolution: application to AVIRIS,” Atmospheric Measurement Techniques , vol. 7, p. 491–506, 2014

work page 2014