pith. sign in

arxiv: 2410.11729 · v4 · submitted 2024-10-15 · 🧮 math.AP

Airy and Schr\"odinger-type equations on looping-edge graphs and applications

Jaime Angulo Pava , Alexander Mu\~noz This is my paper

Pith reviewed 2026-05-23 18:46 UTC · model grok-4.3

classification 🧮 math.AP
keywords Airy operatorlooping-edge graphsKrein spacesself-adjoint extensionsunitary dynamicsSchrödinger operatormetric graphsboundary relations
0
0 comments X

The pith

All unitary and contractive extensions of the Airy operator on looping-edge graphs are parametrized by self-orthogonal subspaces of associated Krein spaces.

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

The paper examines Airy and Schrödinger operators on looping-edge graphs formed by attaching a circle and several infinite half-lines at one common vertex. It establishes that extensions of the Airy operator producing unitary or contractive dynamics are completely classified by self-orthogonal subspaces inside Krein spaces built from the boundary values at that vertex. The same abstract boundary-triple method is applied to generate self-adjoint Schrödinger extensions that satisfy any prescribed boundary relations, both on looping-edge graphs and on T-shaped graphs. A reader would care because the results replace ad-hoc boundary choices with a geometric parametrization that works uniformly for these two operators on non-standard domains.

Core claim

We characterize all extensions generating unitary and contractive dynamics in terms of self-orthogonal subspaces and linear operators acting on indefinite inner product spaces (Krein spaces) associated to the boundary values at the vertex. Employing similar abstract techniques, we describe a systematic way to produce self-adjoint extensions of the Schrödinger operator that are compatible with prescribed boundary relations on looping-edge and T-shaped graphs.

What carries the argument

Krein spaces formed from the boundary values of the Airy operator at the common vertex, with self-orthogonal subspaces serving as the parameters for the extensions.

Load-bearing premise

The boundary values at the common vertex admit a Krein-space structure that permits a complete parametrization of all unitary and contractive extensions via self-orthogonal subspaces.

What would settle it

An explicit unitary extension of the Airy operator on a looping-edge graph with one half-line that cannot be obtained from any self-orthogonal subspace in the associated Krein space would disprove the characterization.

Figures

Figures reproduced from arXiv: 2410.11729 by Alexander Mu\~noz, Jaime Angulo Pava.

Figure 1
Figure 1. Figure 1: Tadpole and looping-edge-type graphs makes it difficult to observe how energy travels across the network. As a result, the study of soliton propagation through networks presents significant challenges. The mechanisms for the existence and stability (or instability) of soliton profiles remain unclear for many types of graphs and models. We recall that a metric graph G is a structure represented by a finite … view at source ↗
Figure 2
Figure 2. Figure 2: Examples of profiles satisfying (4.15) (on the left) and (4.16) (on the right). Define the following operator with diagonal matrix of blocks LδZ :=   δz δz . . . δz   where δz :=   1 0 0 z 1 0 z 2 2 z 1   . (4.18) Note that each block δz is such that B −1 0 δ ∗ zB0 = δ −1 z for any z ∈ R (B0 in (4.2)) and since L # δz is a diagonal matrix of blocks of the form B −1 0 δ ∗ zB0 it can be seen th… view at source ↗
Figure 3
Figure 3. Figure 3: Example of profile in (4.66) From the Definition 4.7 we have that the domain of AYz,L is made of functions u ∈ D(A∗ 0 ) such that ϕ(−L) = ϕ(L), ψ(L) = zϕ(L), z  α1ψ ′′(L) + β1 2 ψ(L)  = α0 (ϕ ′′(L) − ϕ ′′(−L)) and  ϕ ′ (−L) ψ ′ (L)  ∈ D(L) with L  ϕ ′ (−L) ψ ′ (L)  =  ϕ ′ (L) ϕ ′ (L)  . (4.64) For instance, if we take z = 1 and L =  1 1 1 −1  we have that AY1,L with domain D(AY1,L) = {U ∈ D(A ∗ 0… view at source ↗
Figure 4
Figure 4. Figure 4: T -shaped metric graph. Example 10. Consider the space Y = span{(1, 0, −1)}. Consequently, Y ⊥ = {(x, y, w) | x = w}. Note U⃗ ∈ Y if and only if ϕ(L) = 0 and ϕ(−L) = −ψ(L). Similarly, QU⃗ ′ ∈ Y ⊥ if and only if ϕ ′ (−L) = ψ ′ (L). According to Proposition 5.5, HY defines a self-adjoint extension of H0 with domain D(HY ) = {U ∈ D(H∗ 0 ) | ϕ(−L) = −ψ(L), ϕ(L) = 0, and ϕ ′ (−L) = ψ ′ (L)}. (5.25) 5.5. The Sch… view at source ↗
read the original abstract

The aim of this work is to study the Airy and Schr\"odinger operators on looping-edge graphs, a class of metric graphs consisting of a circle and a finite number $N$ of infinite half-lines attached to a common vertex. For the Airy operator, we characterize all extensions generating unitary and contractive dynamics in terms of self-orthogonal subspaces and linear operators acting on indefinite inner product spaces (Krein spaces) associated to the boundary values at the vertex. Employing similar abstract techniques, we then describe a systematic way to produce self-adjoint extensions of the Schr\"odinger operator that are compatible with prescribed boundary relations on looping-edge and $\mathcal{T}$-shaped graphs.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript studies Airy and Schrödinger operators on looping-edge graphs (a circle with N attached infinite half-lines meeting at one vertex). For the Airy operator it characterizes all extensions that generate unitary or contractive dynamics via self-orthogonal subspaces and linear operators on the Krein spaces formed by the boundary values at the vertex; the same abstract framework is then used to construct self-adjoint Schrödinger extensions compatible with given boundary relations on both looping-edge and T-shaped graphs.

Significance. If the derivations hold, the work supplies a complete, parameter-free parametrization of unitary/contractive realizations for the Airy operator on this graph class by applying standard Krein-space extension theory to an explicitly identified boundary form. This extends the existing literature on self-adjoint and unitary extensions of differential operators on metric graphs without ad-hoc constructions and provides a systematic route to boundary-compatible Schrödinger realizations; such results are useful for the analysis of dispersive dynamics on quantum graphs.

minor comments (2)
  1. [§2] §2 (Preliminaries): the sesquilinear boundary form for the Airy operator is introduced via trace maps, but the explicit verification that this form induces a non-degenerate indefinite inner product on the boundary space is only sketched; a short direct computation confirming non-degeneracy would strengthen the setup for the subsequent Krein-space parametrization.
  2. [§4] §4 (Schrödinger extensions): the compatibility condition between the self-adjoint extensions and the prescribed boundary relations is stated in terms of a linear relation on the boundary space, yet the precise domain of this relation is not restated when the T-shaped graph is treated; repeating the domain description would avoid ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report, so we have no point-by-point responses to address. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation applies standard Krein-space extension theory to the boundary sesquilinear form of the Airy operator on looping-edge graphs. The central characterization of unitary/contractive extensions via self-orthogonal subspaces follows directly from the identified boundary values and established abstract results in indefinite inner-product spaces; no step reduces by definition to a fitted parameter, renames a known result, or relies on a load-bearing self-citation whose content is unverified outside the paper. The approach is self-contained against external operator-theory benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on the standard axioms of unbounded symmetric operators on Hilbert spaces and the definition of looping-edge graphs; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Boundary traces of the Airy operator at the vertex admit a Krein-space inner-product structure
    This structure is invoked to parametrize all admissible extensions.
  • domain assumption Self-adjoint extensions of the Schrödinger operator exist that are compatible with any prescribed boundary relation on the given graphs
    Used to guarantee the existence of the constructed realizations.

pith-pipeline@v0.9.0 · 5642 in / 1353 out tokens · 22223 ms · 2026-05-23T18:46:35.049676+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Existence and (in)stability of standing waves for the nonlinear Schr\"odinger Equations on looping-edge graphs with $\delta'$-type interactions

    math.AP 2026-01 unverdicted novelty 6.0

    Existence of dnoidal-type standing waves on the loop coupled to soliton tails on half-lines is shown via the Implicit Function Theorem, with orbital (in)stability analyzed using perturbation and Krein-von Neumann theory.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adami, C

    R. Adami, C. Cacciapuoti, D. Finco, and D. Noja, Stable standing waves for a NLS on star graphs as local minimizers of the constrained energy, J. Differential Equations, 260 (2016), 7397–7415. 2

    work page 2016

  2. [2]

    Adami, C

    R. Adami, C. Cacciapuoti, D. Finco, and D. Noja, Variational properties and orbital stability of standing waves for NLS equation on a star graph, J. Differential Equations, 257 (2014), 3738–3777. 1, 2

    work page 2014

  3. [3]

    Adami, E

    R. Adami, E. Serra, and P. Tilli, NLS ground states on graphs, Calc. Var. Partial Differential Equations, 54 (2015), no. 1, 743–761. 1, 3

    work page 2015

  4. [4]

    Adami, E

    R. Adami, E. Serra, and P. Tilli, Negative energy ground states for the L2-critical NLSE on metric graphs, Comm. Math. Phys. 352 (2017), 387–406. 3

    work page 2017

  5. [5]

    Adami, E

    R. Adami, E. Serra, and P. Tilli, Multiple positive bound states for the subcritical NLS equation on metric graphs, Calc. Var., 58 (2019), no. 1,5, 16pp. 3 AIRY AND SCHR ¨ODINGER-TYPE EQUATIONS ON LOOPING-EDGE GRAPHS 27

    work page 2019

  6. [6]

    Angulo, Stability theory for two-lobe states on the tadpole graph for the NLS equation , Nonlinearity, 37, 045015, (2024) 2, 3

    J. Angulo, Stability theory for two-lobe states on the tadpole graph for the NLS equation , Nonlinearity, 37, 045015, (2024) 2, 3

    work page 2024

  7. [7]

    Angulo, Stability theory for the NLS on looping edge graphs , Math

    J. Angulo, Stability theory for the NLS on looping edge graphs , Math. Z., 308, 19 (2024). 2, 3

    work page 2024

  8. [8]

    Angulo and M

    J. Angulo and M. Cavalcante, Nonlinear Dispersive Equations on Star Graphs , 32 o Col´ oquio Brasileiro de Matem´ atica, IMPA, (2019). 1, 4, 10

    work page 2019

  9. [9]

    Angulo and M

    J. Angulo and M. Cavalcante, Linear instability of stationary solitons for the Korteweg-de Vries equation on a star graph , Nonlinearity, 34, (2021), 3373-3410. 1

    work page 2021

  10. [10]

    Angulo and M

    J. Angulo and M. Cavalcante, dynamics of the Korteweg-de Vries equation on a balanced metric graph . To appear in the Bulletin of the Brazilian Mathematical Society, New Series (BSBM), (2024). 4

    work page 2024

  11. [11]

    Angulo and N

    J. Angulo and N. Goloshchapova, On the orbital instability of excited states for the NLS equation with the δ-interaction on a star graph, Discrete Contin. Dyn. Syst. A., 38(10), (2018), 5039–5066. 1, 2

    work page 2018

  12. [12]

    Angulo and N

    J. Angulo and N. Goloshchapova, Extension theory approach in the stability of the standing waves for the NLS equation with point interactions on a star graph , Adv. Differential Equations 23 (11-12), (2018), 793–846. 1, 2

    work page 2018

  13. [13]

    Angulo and R

    J. Angulo and R. Plaza, Instability of static solutions of the sine-Gordon equation on a Y -junction graph with δ-interaction, J. Nonlinear Science, 31, 50, (2021). 1

    work page 2021

  14. [14]

    Angulo and R

    J. Angulo and R. Plaza, Instability theory of kink and anti-kink profiles for the sine-Gordon on Josephson tricrystal boundaries, Physica D, v. 427, 133020, (2021). 1

    work page 2021

  15. [15]

    Angulo and R

    J. Angulo and R. Plaza, Unstable kink and anti-kink profiles for the sine-Gordon on a Y -junction graph with δ′-interaction at the vertex , Mathematische Zeitschrift, 300, 2885–2915 (2022). 1

    work page 2022

  16. [16]

    A. H. Ardila, Orbital stability of standing waves for supercritical NLS with potential on graphs , Applicable Analysis, v. 99, 8, (2020), 1359-1372. 3

    work page 2020

  17. [17]

    Berkolaiko and P

    G. Berkolaiko and P. Kuchment, Introduction to Quantum Graphs , Mathematical Surveys and Monographs, 186, Amer. Math. Soc., Providence, RI, 2013. 1, 2

    work page 2013

  18. [18]

    Berkolaiko , J

    G. Berkolaiko , J. L. Marzuola, and D. E. Pelinovsky, Edge-localized states on quantum graphs in the limit of large mass, Annales de l’Institut Henri Poincare C, Analyse Non Lineaire, 38 (2021), 1295-1335. 2

    work page 2021

  19. [19]

    Blank, P

    J. Blank, P. Exner, and M. Havlicek, Hilbert Space Operators in Quantum Physics , 2nd edition, Theoretical and Mathematical Physics, Springer, New York, 2008. 1

    work page 2008

  20. [20]

    Burioni, D

    R. Burioni, D. Cassi, M. Rasetti, P. Sodano, and A. Vezzani, Bose-Einstein condensation on inhomogeneous complex networks, J. Phys. B: At. Mol. Opt. Phys., 34 (2001), 4697–4710. 1

    work page 2001

  21. [21]

    Cacciapuoti, D

    C. Cacciapuoti, D. Finco, and D. Noja, Topology induced bifurcations for the NLS on the tadpole graph , Phys. Rev. E 91 (2015), 013206. 2, 3

    work page 2015

  22. [22]

    Cacciapuoti, D

    C. Cacciapuoti, D. Finco, and D. Noja, Ground state and orbital stability for the NLS equation on a general starlike graph with potentials , Nonlinearity 30, 8, (2017), 3271-3303. 3

    work page 2017

  23. [23]

    Cavalcante, The Korteweg-de Vries equation on a metric star graph , Z

    M. Cavalcante, The Korteweg-de Vries equation on a metric star graph , Z. Angew. Math. Phys. 69, Art. 124 (2018). 4

    work page 2018

  24. [24]

    G. P. Chuiko, O. V. Dvornik, S.I. Shyian, and Y.A. Baganov, A new age-related model for blood stroke volume. Computers in Biology and Medicine, 79 (2016) 144–148. 1

    work page 2016

  25. [25]

    Cr´ epeau and M

    E. Cr´ epeau and M. Sorine, A reduced model of pulsatile flow in an arterial compartment. Chaos Solitons Fractals, 34 (2) (2007), 594–605. 1

    work page 2007

  26. [26]

    and Nagel R

    Engel K.J. and Nagel R. One parameter semigroups for linear evolution equations, Springer New York, (2006). 5, 6

    work page 2006

  27. [27]

    Exner, Magnetoresonance on a lasso graph , Foundations of Physics, v

    P. Exner, Magnetoresonance on a lasso graph , Foundations of Physics, v. 27, Article number: 171 (1997). 1, 3

    work page 1997

  28. [28]

    Exner, P

    P. Exner, P. ˇSeba, Free quantum motion on a branching graph , Rep. Math.Phys. 28 (1989), 7–26. 3

    work page 1989

  29. [29]

    Exner, E

    P. Exner, E. ˇSereˇsov´ a,Appendix resonances on a simple graph , J. Phys. A27 (1994), 8269–8278. 3

    work page 1994

  30. [30]

    Fidaleo, Harmonic analysis on inhomogeneous amenable networks and the Bose-Einstein condensation, J

    F. Fidaleo, Harmonic analysis on inhomogeneous amenable networks and the Bose-Einstein condensation, J. Stat. Phys., 160 (2015), 715–759. 1

    work page 2015

  31. [31]

    Kairzhan and D

    A. Kairzhan and D. E. Pelinovsky, Multi-pulse edge-localized states on quantum graphs , Analysis and Mathe- matical Physics, 11, (2021), 171 (26pp). 2

    work page 2021

  32. [32]

    Kairzhan, D

    A. Kairzhan, D. E. Pelinovsky, and R. Goodman, drift of spectrally stable shifted states on star graphs , SIAM, Journal on Applied Dynamical Systems, 18, (2019), 1723–1755. 2

    work page 2019

  33. [33]

    Kairzhan, R

    A. Kairzhan, R. Marangell, D. E. Pelinovsky, and K. Xiao, Existence of standing waves on a flower graph , J. Differential Equations, 271, (2021), 719–763. 2

    work page 2021

  34. [34]

    Kairzhan, D

    A. Kairzhan, D. Noja and D. E. Pelinovsky, Standing waves on quantum graphs , J. Phys. A; Math. Theor. 55, (2022), 243001 (51pp). 2, 3

    work page 2022

  35. [35]

    Kuchment, Quantum graphs, I

    P. Kuchment, Quantum graphs, I. Some basic structures, Waves Random Media, 14 (2004), 107–128. 1

    work page 2004

  36. [36]

    Marzuola and D

    J.L. Marzuola and D. E. Pelinovsky, Ground state on the dumbbell graph, Appl. Math. Res. Express. AMRX. 1,(2016), 98–145. 2

    work page 2016

  37. [37]

    Mugnolo, Mathematical Technology of Networks, Bielefeld, December 2013, Springer Proceedings in Math- ematics & Statistics 128, 2015

    D. Mugnolo, Mathematical Technology of Networks, Bielefeld, December 2013, Springer Proceedings in Math- ematics & Statistics 128, 2015. 1

    work page 2013

  38. [38]

    Mugnolo, D

    D. Mugnolo, D. Noja and C. Seifter, Airy-type evolution equations on star graphs , Anal. PDE, V. 11, (2018), 1625-1652. 4, 7, 9

    work page 2018

  39. [39]

    Mugnolo, D

    D. Mugnolo, D. Noja and C. Seifter, On solitary waves for the Korteweg-de Vries equation on metric star graphs, arXiv:2402.08368, (2024). 4, 16 28 J. ANGULO AND A. MU ˜NOZ

    work page arXiv 2024

  40. [40]

    Noja, Nonlinear Schr¨ odinger equation on graphs: recent results and open problems, Philos

    D. Noja, Nonlinear Schr¨ odinger equation on graphs: recent results and open problems, Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 372 (2014), 20130002, 20 pp. 1, 2

    work page 2014

  41. [41]

    D. Noja, D. E. Pelinovsky, and G. Shaikhova, Bifurcations and stability of standing waves in the nonlinear Schr¨ odinger equation on the tadpole graph, Nonlinearity 28, (2015), 2343-2378. 2, 3

    work page 2015

  42. [42]

    Noja and D

    D. Noja and D. E. Pelinovsky, Standing waves of the quintic NLS equation on the tadpole graph , Calc. Var. 59, 173 (2020). 2, 3

    work page 2020

  43. [43]

    Pankov, Nonlinear Schr¨ odinger equations on periodic metric graphs, Discrete and Continuous Dynamical Systems-A, 38 (2018), no

    A. Pankov, Nonlinear Schr¨ odinger equations on periodic metric graphs, Discrete and Continuous Dynamical Systems-A, 38 (2018), no. 4, 697–714. 2

    work page 2018

  44. [44]

    Schubert, C

    C. Schubert, C. Seifert, J. Voigt and M. Waurick, Boundary systems and (skew-) self-adjoint operators on infinite metric graphs, Math. Nachr., 288:1776-1785, (2015). 3, 4, 6, 8, 9, 21

    work page 2015

  45. [45]

    Sobirov, D

    Z.A. Sobirov, D. Babajanov, and D. Matrasulov, Nonlinear standing waves on planar branched systems: Shrinking into metric graph , Nanosystems, 8 (2017) 29–37. 1

    work page 2017