Real and complex stability radii for a class of transport networks

Anthony Hastir; Birgit Jacob; Hannes Wagener

For a class of boundary-controlled hyperbolic PDEs, asymptotic and exponential stability coincide, and real and complex stability radii have explicit formulas.

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-15 03:09 UTC pith:5ZER7SI4

load-bearing objection Abstract-only: clean-sounding extension of asymptotic/exponential equivalence and explicit stability radii to a class of boundary-controlled hyperbolic transport networks; useful if the proofs hold, but we cannot check them here. the 2 major comments →

arxiv 2607.12812 v1 pith:5ZER7SI4 submitted 2026-07-14 math.OC math.FA

Real and complex stability radii for a class of transport networks

Anthony Hastir , Birgit Jacob , Hannes Wagener This is my paper

classification math.OC math.FA MSC 93D0993C2035L4093B0593B07

keywords hyperbolic PDEsboundary controlstability radiiasymptotic stabilityexponential stabilitytransport networkscontrollabilityobservability

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.

This paper studies robustness of stability for a class of hyperbolic partial differential equations that are controlled and observed only at the boundary. The authors prove that for these systems asymptotic stability is the same as exponential stability, so the weaker-looking notion already gives a uniform decay rate. They then define the real and complex stability radii—the sizes of the smallest real or complex structured perturbations that destroy stability—and supply closed-form expressions for both quantities. Duality is used to translate the same formulas into statements about controllability and observability. Two concrete examples show how the formulas can be evaluated. If the claims hold, engineers can decide how large a modeling error a transport network can tolerate before its decay rate disappears, without having to recompute the spectrum for every perturbation.

Core claim

For the considered class of boundary-controlled, boundary-observed hyperbolic PDEs, asymptotic stability coincides with exponential stability, and both the real and the complex stability radii admit explicit formulas that can be evaluated from the system operators.

What carries the argument

The real and complex stability radii for structured perturbations of the boundary operators, together with the structural hypotheses that make asymptotic and exponential stability equivalent and that allow the radii to be written in closed form.

Load-bearing premise

The systems must belong to a regular enough class of hyperbolic PDEs with boundary control and observation so that the generator and boundary operators satisfy the structural hypotheses needed for the stability-radius formulas and the asymptotic–exponential equivalence to hold.

What would settle it

Exhibit a system inside the stated class that is asymptotically but not exponentially stable, or compute a concrete stability radius from the formula and then produce a smaller structured perturbation that already destroys stability.

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

If this is right

Asymptotic stability of any system in the class automatically yields a uniform exponential decay rate.
The real and complex stability radii can be evaluated from explicit formulas rather than by exhaustive search over perturbations.
The same formulas, applied to the dual system, give quantitative measures of controllability and observability robustness.
Transport-network models can be certified for a precise margin of modeling error before stability is lost.

Where Pith is reading between the lines

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

The explicit radii should allow real-time recomputation of robustness margins when network parameters change, which is useful for adaptive control of pipelines or traffic flow.
If the structural hypotheses can be verified algorithmically from the network topology alone, the results would apply to large-scale networks without case-by-case analysis.
Comparison of the real versus complex radius for a given network would quantify how much extra robustness is lost by allowing complex-valued modeling errors.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Abstract-only: clean-sounding extension of asymptotic/exponential equivalence and explicit stability radii to a class of boundary-controlled hyperbolic transport networks; useful if the proofs hold, but we cannot check them here.

read the letter

Punchline first: from the abstract alone this looks like a standard, useful extension of classical stability-radius theory to a concrete class of boundary-controlled, boundary-observed hyperbolic PDEs (transport networks). The two load-bearing claims are that asymptotic and exponential stability coincide for the class, and that the real and complex stability radii admit explicit formulas; dual-system links to controllability/observability and two examples are promised as well.

What is actually new is the specialization: the equivalence and the closed-form radii for this particular family of systems, rather than a wholly new concept. That is legitimate incremental work in infinite-dimensional systems theory. Giving explicit formulas and illustrating them is the right way to make the result usable; the dual-system discussion is a natural and helpful addition if it is done cleanly.

The soft spot is purely informational. We have no operator-domain hypotheses, no generator assumptions, no transfer-function expressions, and no proofs. The reader correctly notes that the class must satisfy enough regularity for the equivalence and the radius formulas to close; those hypotheses are invisible here. That is not evidence of a flaw, only of an abstract-only review. Nothing in the abstract suggests circularity, over-fitting, or internal contradiction; the claims are the usual shape for this literature.

Who it is for: people already working on hyperbolic systems, port-Hamiltonian networks, or robustness margins in infinite dimensions. A specialist will get value from the formulas and the examples if they check out. It is not a paper that reorganizes the field, but it does not claim to be.

I would send it to a serious referee rather than desk-reject. The abstract is clear enough that a competent referee in math.OC / systems theory can decide whether the structural hypotheses are reasonable and whether the derivations hold. If the full paper delivers what the abstract promises, it is a solid contribution to the subfield.

Referee Report

2 major / 2 minor

Summary. The manuscript studies stability and its robustness for a class of boundary-controlled, boundary-observed hyperbolic PDEs (transport networks). The central claims are that asymptotic stability and exponential stability coincide for this class; that the real and complex stability radii admit explicit formulas; and that the dual system yields applications to controllability and observability. The abstract states that the main results are illustrated with two examples.

Significance. If established under clearly stated structural hypotheses on the generator and boundary operators, the asymptotic–exponential equivalence for this hyperbolic class, together with closed-form real and complex stability radii, would be a useful contribution to infinite-dimensional systems theory and to the robustness analysis of transport networks. Explicit radii are practically valuable for comparing real versus complex structured perturbations. The dual-system discussion would further link the stability analysis to controllability and observability. These strengths cannot be confirmed from the abstract alone.

major comments (2)

Only the abstract is available for this review. The load-bearing claims—coincidence of asymptotic and exponential stability, and explicit formulas for the real and complex stability radii—cannot be checked: no generator/domain hypotheses, no resolvent or transfer-function arguments, no radius formulas, and no example computations are visible. A technical assessment of correctness is therefore not possible on the present material.
Abstract: the ‘class’ of systems is not delimited. The reader’s weakest assumption (sufficient regularity of the hyperbolic generator and boundary control/observation operators so that asymptotic–exponential equivalence and the radius formulas close) is not stated even at the level of standing assumptions. Without that scope, the central claims cannot be evaluated for internal consistency or for the range of networks to which they apply.

minor comments (2)

Abstract: ‘a class of transport networks’ / ‘hyperbolic partial differential equations’ is left informal; a one-line structural description (e.g., first-order hyperbolic systems on a metric graph with boundary feedback) would help place the contribution.
Abstract: the dual-system paragraph is only announced; even a brief indication of which controllability/observability notions are obtained would improve the abstract’s informativeness.

Circularity Check

0 steps flagged

No circularity can be assessed or found: only the abstract is available, with no derivation chain, equations, or self-citations to inspect.

full rationale

The submission consists solely of the abstract of arXiv:2607.12812. No sections, equations, proofs, parameter fits, uniqueness theorems, or citations appear in the provided material. The abstract states standard-form claims for a class of boundary-controlled/observed hyperbolic PDEs (asymptotic stability coincides with exponential stability; real and complex stability radii admit explicit formulas; dual system used for controllability/observability; two examples). Stability radii are classically defined via distance to instability; without the body of the paper there is no derivation step that can be reduced to a self-definition, a fitted input renamed as prediction, a load-bearing self-citation, an imported uniqueness theorem, a smuggled ansatz, or a renaming of a known result. Per the hard rules, circularity may be claimed only when a specific reduction can be quoted and exhibited. That is impossible here. The honest finding is therefore score 0 with empty steps: absence of text is an information deficit, not evidence of circularity. The reader's modest score of 3 reflected the same abstract-only limitation and is not retained once the rules are applied strictly.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review. No free parameters, fitted constants, or invented physical entities appear in the abstract. The work rests on standard functional-analytic and PDE-control assumptions (hyperbolic generators, boundary control/observation operators, duality) that are domain assumptions rather than ad-hoc inventions. The precise operator hypotheses are not listed in the abstract and are recorded as domain assumptions.

axioms (3)

domain assumption The systems form a class of hyperbolic PDEs with boundary control and boundary observation for which the generator generates a C0-semigroup and the boundary operators are admissible in the usual sense.
Invoked by the abstract's setup ('boundary controlled, boundary observed hyperbolic partial differential equations'); standard in infinite-dimensional systems theory but not verified here.
standard math Asymptotic and exponential stability are defined via the usual semigroup notions (strong stability vs. uniform exponential decay).
Standard definitions in semigroup theory; the paper claims they coincide for the class.
domain assumption Real and complex stability radii are defined as the distances (in real or complex perturbation structure) from the nominal system to the set of unstable systems.
Standard robustness notions in control theory; the paper claims explicit formulas for them in this class.

pith-pipeline@v1.1.0-grok45 · 5947 in / 2170 out tokens · 21981 ms · 2026-07-15T03:09:37.771109+00:00 · methodology

0 comments

read the original abstract

We characterize stability and its robustness for a class of boundary controlled, boundary observed hyperbolic partial differential equations. In particular, we show that asymptotic and exponential stability coincide for this class. Furthermore, we introduce the real and complex stability radii for which we give explicit formulas. In addition, we consider the dual system and its application to controllability and observability. Our main results are illustrated with two examples.

Real and complex stability radii for a class of transport networks

Core claim

What carries the argument

Load-bearing premise

What would settle it

If this is right

Where Pith is reading between the lines

discussion (0)