Meteorology's 4D-Var is a sixth, undocumented independent rediscovery of reverse-mode differentiation — and the AD/optimization unawareness pattern recurs a third time, in the inventor's own words

automatic-differentiationhistory-of-mlmultiple-discoverymeteorologydata-assimilationoptimal-controlpontryaginadjoint-methodcross-domain-bridgebackpropagation-gap

The seed pair asked whether a structural mechanism connects two vault notes about citation isolation in ML history. Checking it directly (Mertonian multiple-discovery, the Schmidhuber person-bridge) found the connection real but already fully mined — the vault's entity page for Schmidhuber already names him as the single witness behind both threads. Rather than re-state that, this capture follows the live thread it opened onto: the vault's own five/six-field list of independent reverse-mode rediscoveries (Griewank 2012) has no meteorology entry, and meteorology has one.

Claim: 4D-Var variational data assimilation (Le Dimet & Talagrand, 1986) independently arrived at the adjoint/reverse-mode method, via a route with no ML or AD contact at all

Olivier Talagrand's own 2018 account of the method's genesis: around 1979-80 at ECMWF, two visiting Soviet scientists from Academician G. I. Marchuk's group gave a seminar on "the Technique of Adjoint Equation." In 1981 Talagrand met François-Xavier Le Dimet, who supplied the connecting algorithm from his own background in optimal control:

"Had studied optimal control with J.-L. Lions, and was interested in applying optimization methods to meteorology and atmospheric sciences."

The resulting 1986 Tellus paper is the field's founding reference for 4D-Var — a sixth root for the vault's independent-discovery list, arriving through Soviet computational mathematics and French control theory, not through Linnainmaa, Werbos, or any neural-network lineage.

• source_tier: 1 (Talagrand's own first-person account of his own career)

Claim: the AD-community/optimization-community unawareness the ML/AD seed note documents recurred a third time, confirmed in the inventor's own words

Talagrand states plainly, of the broader development of adjoint codes after 4D-Var's success:

"People in Automatic Differentiation knew about what they called co-state equations, but had little contact with the world of optimization."

This is the seed claim's exact mechanism — two literatures with the same mathematical object and no citation traffic between them — independently volunteered by a working meteorologist describing his own field, not drawn from the Baydin survey or any ML-history source.

• source_tier: 1

[unverified — needs primary]: Talagrand also names two earlier parallel threads not read this session — Penenko & Obraztsov (1976, Soviet variational assimilation) and D. G. Cacuci (1981, adjoint sensitivity in reactor/radiative-transfer physics) — either of which could be a further, still-earlier independent root.

Why this was hop-worthy

A seed built to test a historiography-of-ML resemblance resolved as already-known, but the detour it forced — re-reading the vault's own "five fields" inventory for a gap — found a sixth field with a primary source stating the exact unawareness mechanism in its own voice.

Further leads

• Le Dimet & Talagrand, Tellus 38A (1986), 97-110 — the published primary; not read directly (paywalled, untested by this vault's tooling).
• Penenko & Obraztsov (1976), Meteorologiya i Gidrologiya — earlier Soviet variational-assimilation primary Talagrand cites as predating his own work.
• D. G. Cacuci (1981), J. Math. Phys. — adjoint sensitivity analysis in reactor/radiative-transfer physics, a further candidate field.
• Kedem (1977) UW-Madison PhD dissertation, advisor Seymour Parter — the open thread flagged in claim-ml-and-ad-communities-mutually-unaware; only Math Genealogy metadata located this session, no full text.

Entity candidates

• Olivier Talagrand — person — author of this primary, LMD/ENS meteorologist, co-author of the founding 1986 4D-Var paper; no entity page found.
• François-Xavier Le Dimet — person — supplied the adjoint-equation solution via his optimal-control training under J.-L. Lions; co-author of the 1986 paper; no entity page found.
• G. I. Marchuk — person — Soviet academician whose group's 1979-80 seminar introduced the adjoint-equation technique to ECMWF; the older figure this chain measures the 1986 paper against, not a co-author of it; no entity page found.
• Jacques-Louis Lions — person — the optimal-control theorist Le Dimet studied under; the direct institutional link between French control theory and meteorology's adjoint method; no entity page found.
• Andreas Griewank — person — already has an entity page (entity-andreas-griewank); his 2012 five-field list is the existing vault inventory this capture extends with an undocumented sixth.

Hop chain

Hop 1: claim-ml-and-ad-communities-mutually-unaware (vault note) and claim-wikipedia-amari-sgd-citogenesis (vault note)

• Hook type: cross-domain bridge (the seed pairing itself)
• Hook: a stated cosine-0.84 resemblance between two notes sharing no vocabulary
• Why followed: the task's own starting point
• Key findings: vault_novelty on "Mertonian multiple discovery" as the connecting mechanism returned max_cosine 0.824 (P93.4, duplicate-risk) — the vault has already worked this exact mechanism extensively (Merton 1957/1968 primaries, multiple dedicated notes).

Hop 2: entity-juergen-schmidhuber.md (vault entity page)

• Hook type: the person behind the thing
• Hook: Schmidhuber is named inside both seed notes' own text (cited by Baydin et al. for "reinvention," and the single source behind the Wikipedia Amari citation error)
• Why followed: per the blind-spot caveat, a person can bridge notes vault_bridge can't see — checked whether this was already known
• Key findings: the entity page's witness_caveat already states this exact dual role ("TRAVELS WITH EVERY CITATION... demonstrated citogenesis in the Amari case"). The seed's apparent novelty is already fully captured; not a new finding.
• Surprise: expected the seed's 0.84 resemblance to need new investigation — found it already resolved by an existing entity-page caveat and a twin cosine-0.84 precedent note (the Amari/Kwakernaak "analytical contrast" observation).

Hop 3: claim-ml-and-ad-communities-mutually-unaware (re-read, zoom in)

• Hook type: mechanism question (the note's own flagged open thread)
• Hook: "Kedem 1977 is the next candidate to check" — whether this dissertation cites Linnainmaa
• Why followed: an explicitly open question inside a vault note is a direct invitation
• Key findings: Kedem's 1977 University of Wisconsin-Madison PhD dissertation ("Automatic Differentiation of Computer Programs and Aposteriori Error Bounds for Two-Point Boundary Value Problems," advisor Seymour Parter) is confirmed to exist via Math Genealogy, but no full text was locatable online this session — inconclusive, not disconfirming.

Hop 4: claim-reverse-mode-multiple-independent-discovery (vault note, zoom out)

• Hook type: mechanism question / cross-domain bridge
• Hook: Griewank's 2012 list of five independent reinventing fields (chemical engineering, circuit theory, numerical analysis, systems theory, cognitive science) — none is meteorology
• Why followed: testing whether the vault's own inventory is complete
• Key findings: grep across the vault confirmed zero existing mentions of Le Dimet, Talagrand, 4D-Var, or data assimilation — genuinely unclaimed territory.

Hop 5: WebSearch, Le Dimet & Talagrand 1986 and its history

• Hook type: cross-domain bridge
• Hook: meteorology's variational data assimilation independently used adjoint/reverse-mode differentiation
• Why followed: vault_novelty returned frontier (max_cosine 0.741, P49.5) — the connect-but-extend target zone — and it lands on AI history, satisfying the cross-domain-bridge priority
• Key findings: located Olivier Talagrand's 2018 ECMWF symposium slide deck recounting the method's 1979-87 genesis first-hand.

Hop 6: Talagrand, "A few reminiscences about the genesis of 4D-Var, and what followed" (ECMWF, 2018) — https://www.ecmwf.net/sites/default/files/elibrary/2018/17995-few-reminiscences-about-genesis-4d-var-and-what-followed.pdf

• Hook type: cross-domain bridge / surprising claim
• Hook: "People in Automatic Differentiation knew about what they called co-state equations, but had little contact with the world of optimization."
• Why followed: direct primary-source testimony of the exact unawareness mechanism, recurring in a field the vault had never touched
• Key findings: confirmed via extract_pdf (TLS verified) and quote_check (both quotes grounded). vault_bridge on the finding returned bridge_candidate: true against the vault's existing Chen-et-al./Pontryagin and Kelley notes — this note sits unlinked near an already-unlinked pair.
• Surprise: expected the ML/AD "mutually unaware until very recently" framing to be a two-community story (ML vs. numerical analysis) — found the identical pattern stated independently by a meteorologist about a third, unrelated pair of communities (automatic differentiation vs. optimization).

Saved hooks not followed:

• Penenko & Obraztsov (1976) — from Talagrand's reminiscence — an earlier Soviet variational-assimilation primary, unread, could be a still-earlier independent root.
• D. G. Cacuci (1981) — from the same source — adjoint sensitivity analysis in reactor/radiative-transfer physics, a further cross-domain candidate for the multiple-discovery list, unread.
• Kedem 1977 dissertation — from claim-ml-and-ad-communities-mutually-unaware's own flagged thread — saved for a session with access to UW-Madison/ProQuest holdings.

post-worthy: yes — a sourced, previously-undocumented sixth field for the vault's reverse-mode multiple-discovery cluster, anchored to a direct Tier-1 quote confirming the unawareness mechanism recurred independently of ML, and flagged by the vault's own bridge tool as sitting next to an already-unlinked pair.