Possibilities of applying boundary functionals of random processes to nuclear safety problems

V. V. Ryazanov

arxiv: 2603.14058 · v3 · submitted 2026-03-14 · ❄️ cond-mat.stat-mech

Possibilities of applying boundary functionals of random processes to nuclear safety problems

V. V. Ryazanov This is my paper

Pith reviewed 2026-05-15 11:29 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech

keywords boundary functionalsrandom risk processesnuclear safetyneutron clusteringstable distributionsdirected percolationpower quantile

0 comments

The pith

Boundary functionals of random processes enable precise calculation of power quantiles in nuclear reactors when neutron distributions become stable rather than normal.

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

The paper assesses the use of boundary functionals drawn from random risk processes to address nuclear safety calculations. In reactors such as molten salt reactors, high-temperature gas-cooled reactors, pulverized fuel reactors, during startups, and in core-collapse accidents, neutron clustering becomes significant and shifts the governing distributions from normal to stable limiting forms. Boundary functionals supply exact methods for determining the power quantile under these conditions. They also create a direct mathematical link between the abstract framework of directed percolation and the concrete engineering task of setting protection thresholds.

Core claim

Boundary functionals allow precise calculation of the power quantile and supply a mathematical bridge between abstract directed percolation and engineering calculations of protection settings when neutron behavior in specified reactor types and accident scenarios is described by stable distributions instead of the normal distribution.

What carries the argument

Boundary functionals of random risk processes, which compute exact quantiles for processes governed by stable distributions arising from neutron clustering.

If this is right

Power quantile calculations become exact rather than approximate for the listed reactor classes and accident regimes.
Protection settings in nuclear engineering can be derived from the same formalism used in directed percolation studies.
Normal-distribution assumptions are replaced by stable-distribution results in safety analyses for neutron clustering regimes.
The approach supplies a uniform mathematical treatment across reactor startups, accident analysis, and specific advanced reactor designs.

Where Pith is reading between the lines

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

The same functionals could be tested against existing reactor transient codes to quantify improvement in quantile accuracy.
Extension to other stochastic transport problems in physics would require only that the underlying process admit stable limiting distributions.
If the bridge to directed percolation holds, results from percolation lattice models might be repurposed to generate protection thresholds without new reactor-specific simulations.

Load-bearing premise

Neutron behavior in MSRs, HTGRs, pulverized fuel reactors, startups, and accident analysis follows stable distributions to which boundary functionals of random risk processes can be applied directly to produce usable engineering quantiles.

What would settle it

A direct comparison between the power quantile predicted by boundary functionals and the quantile obtained from Monte Carlo neutron transport simulations in a molten salt reactor startup or core-collapse scenario would falsify the claim if the two values differ beyond engineering tolerance.

read the original abstract

The potential for using boundary functionals of random risk processes to solve nuclear safety problems at nuclear power plants is assessed. In certain situations (MSRs (Molten Salt Reactors), High-Temperature Gas-Cooled Reactors (HTGRs), pulverized fuel reactors, reactor startups, and accident analysis (core collapse)), neutron behavior changes significantly. Neutron clustering begins to play an important role, and the distributions characterizing neutron behavior change. The normal distribution is replaced by stable, but also limiting, distributions. Boundary functionals allow for precise calculation of the power quantile and provide a mathematical bridge between abstract directed percolation and engineering calculations of protection settings.

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

The paper suggests boundary functionals of stable processes could calculate power quantiles in specific reactor scenarios but supplies no derivations, mappings, or examples to support the claim.

read the letter

The main point is that this paper flags situations in nuclear safety where neutron behavior may follow stable distributions rather than normal ones, and proposes that boundary functionals from random process theory could then give precise power quantiles. It lists molten salt reactors, high-temperature gas-cooled reactors, pulverized fuel reactors, startups, and core-collapse accidents as cases where neutron clustering matters and changes the limiting statistics. It also nods to a possible link with directed percolation for setting protection parameters. That is the extent of what is new here: an application suggestion rather than any fresh derivation or result in either stochastic processes or reactor physics. The text does a clear job of identifying where the usual Gaussian assumption is likely to fail and why that matters for safety calculations. The soft spot is that the central claim is never carried out. No equations appear that recast the neutron branching process into the form required by the boundary-functional literature, no procedure is given for extracting the stability index or Lévy measure from transport parameters, and no numerical quantile is computed for any of the listed scenarios. The asserted mathematical bridge therefore stays at the level of an assertion. The paper cites prior work on stable distributions and boundary functionals, but the connection to nuclear engineering remains unconstructed. This note is aimed at specialists already comfortable with advanced stochastic methods who might want to explore the idea further. A reader looking for usable tools or explicit calculations will find little to take away. I would not recommend sending it for peer review in its present form. A single concrete example with explicit steps and numbers would be needed before it merits referee attention.

Referee Report

2 major / 0 minor

Summary. The manuscript assesses the potential applicability of boundary functionals of random risk processes to nuclear safety calculations at power plants. It argues that in specific scenarios (MSRs, HTGRs, pulverized-fuel reactors, reactor startups, and core-collapse accidents) neutron clustering causes the governing distributions to shift from normal to stable limiting laws, after which boundary functionals enable precise evaluation of power quantiles and furnish a mathematical link between directed percolation and engineering protection settings.

Significance. If the claimed mapping were demonstrated, the approach could supply a parameter-free route from branching-process statistics to engineering quantiles in non-Gaussian regimes, strengthening safety analysis for advanced reactors. The manuscript, however, contains no derivations, explicit mappings, or numerical illustrations, so the significance remains prospective rather than realized.

major comments (2)

[Abstract] Abstract: the central claim that 'boundary functionals allow for precise calculation of the power quantile' is asserted without any derivation that (i) writes the neutron branching process in the form required by the cited boundary-functional theory, (ii) extracts the stability index or Lévy measure from neutron-transport parameters, or (iii) evaluates the functional to obtain an explicit quantile for any listed reactor type.
[Abstract] Abstract: the asserted 'mathematical bridge between abstract directed percolation and engineering calculations of protection settings' is not constructed; no explicit reduction from the neutron clustering model to the boundary-functional representation is supplied, leaving the link as an unverified assertion rather than a demonstrated equivalence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive comments. The manuscript is framed as an assessment of potential applicability rather than a full technical derivation, but we agree the abstract overstates the explicitness of the connections. We will revise to clarify scope and add a high-level mapping section.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that 'boundary functionals allow for precise calculation of the power quantile' is asserted without any derivation that (i) writes the neutron branching process in the form required by the cited boundary-functional theory, (ii) extracts the stability index or Lévy measure from neutron-transport parameters, or (iii) evaluates the functional to obtain an explicit quantile for any listed reactor type.

Authors: The manuscript assesses applicability in regimes where neutron clustering replaces Gaussian statistics with stable laws; it does not claim to have performed the full derivation. We will add a new section that sketches the required mapping: (i) recasting the neutron branching process in the form needed for boundary-functional theory using the standard representation of neutron transport as a continuous-time branching process, (ii) relating the stability index to transport parameters (e.g., fission multiplicity and mean free path) via the known connection between branching-process offspring distributions and stable laws, and (iii) indicating the functional evaluation for one concrete case (reactor startup) to obtain a quantile expression. This keeps the paper within its assessment scope while making the claim traceable to the cited literature. revision: yes
Referee: [Abstract] Abstract: the asserted 'mathematical bridge between abstract directed percolation and engineering calculations of protection settings' is not constructed; no explicit reduction from the neutron clustering model to the boundary-functional representation is supplied, leaving the link as an unverified assertion rather than a demonstrated equivalence.

Authors: The link is conceptual in the present version, resting on the fact that neutron clustering in the listed regimes is governed by branching processes whose critical behavior belongs to the directed-percolation universality class, which in turn yields the stable distributions for which boundary functionals are defined. We will insert an explicit reduction subsection that starts from the neutron transport equation in the clustering regime, identifies the corresponding Lévy process, and shows how its boundary functionals map onto protection-setting quantiles. The reduction will be supported by references to the directed-percolation literature already used in neutron-kinetics studies. revision: yes

Circularity Check

0 steps flagged

No derivation chain present; applicability asserted without reduction to inputs

full rationale

The paper assesses the potential for boundary functionals of random risk processes in nuclear safety contexts (MSRs, HTGRs, etc.) where neutron distributions shift to stable limiting forms, but supplies no equations, explicit mappings, or derivations. The central statements—that boundary functionals enable precise power-quantile calculation and bridge directed percolation to engineering settings—are presented as domain observations rather than constructed results. No self-citations, fitted parameters, ansatzes, or uniqueness theorems are invoked in a load-bearing way, so no step reduces to its own inputs by construction. The analysis is therefore self-contained as a proposal and exhibits no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The assessment rests on the domain assumption that neutron clustering produces stable distributions amenable to boundary functional analysis, with no free parameters, new entities, or additional axioms introduced.

axioms (1)

domain assumption Neutron behavior in specified reactor conditions follows stable limiting distributions rather than normal distributions.
Directly stated in the abstract as the basis for applying boundary functionals.

pith-pipeline@v0.9.0 · 5396 in / 1109 out tokens · 49820 ms · 2026-05-15T11:29:31.031518+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Boundary functionals allow for precise calculation of the power quantile... normal distribution is replaced by stable... Lévy-Khinchin representation... P(k)~k^{-a} (a≈2)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

directed percolation (DP) method... first reaching of the threshold by a branching process

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.