pith. sign in

arxiv: 1907.03861 · v1 · pith:TBPCBNWVnew · submitted 2019-07-08 · 🧮 math.DS · math.AP· math.SG

Large fronts in nonlocally coupled systems using Conley-Floer homology

Bente Hilde Bakker , Jan Bouwe van den Berg This is my paper

Pith reviewed 2026-05-25 00:33 UTC · model grok-4.3

classification 🧮 math.DS math.APmath.SG
keywords travelling frontsnonlocal equationsConley-Floer homologydelay equationsexistence resultsmultiplicity resultsMorse theory
0
0 comments X

The pith

Conley-Floer homology detects travelling front solutions in nonlocal equations with delays.

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

The paper establishes existence and multiplicity of travelling front solutions for nonlocal equations of the form partial_t u equals N star S(u) plus gradient F(u) by constructing a new topological invariant. These fronts are solutions to equations that include both forward and backward delay terms of possibly infinite range, which prevents the use of standard phase-space methods. The authors therefore build transversality theory and a classification of bounded solutions directly for these equations and encode the fronts inside the boundary operator of a chain complex called the Conley-Floer homology. A sympathetic reader would care because the resulting homology supplies robust, topologically invariant counts of fronts even when the underlying system is infinite-dimensional or multivalued.

Core claim

The Conley-Floer homology is constructed for the travelling-front equations by developing the required transversality and bounded-solution classification in the absence of a natural phase space. The homology encodes fronts in its boundary operator and, in various cases, coincides with a homological Conley index for multivalued vector fields. Application of this homology then yields existence and multiplicity theorems for the travelling fronts in both continuous and discrete nonlocal settings.

What carries the argument

Conley-Floer homology, a chain complex whose boundary operator records travelling front solutions, built for delay equations that lack a phase space.

If this is right

  • Nontrivial homology groups imply the existence of at least one travelling front.
  • The rank of the homology groups supplies lower bounds on the number of distinct fronts.
  • The same chain complex works for both continuous convolution operators and discrete lattice couplings.
  • In interpretable cases the homology recovers the Conley index of an associated multivalued vector field.

Where Pith is reading between the lines

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

  • The construction may extend to other parabolic equations whose linearised travelling-wave problems contain infinite-range delays.
  • Explicit computation of the homology for concrete nonlinearities F and kernels N would give sharp lower bounds on front multiplicity.
  • Similar scratch-built transversality arguments could be tried for nonlocal systems in higher spatial dimensions.

Load-bearing premise

A general transversality theory and classification of bounded solutions can be developed from scratch for the delay equations that arise from travelling fronts.

What would settle it

A concrete nonlocal equation for which the Conley-Floer homology is computed and found to be nontrivial, yet for which no travelling front solutions exist, would falsify the existence claims.

Figures

Figures reproduced from arXiv: 1907.03861 by Bente Hilde Bakker, Jan Bouwe van den Berg.

Figure 1
Figure 1. Figure 1: For each wave speed c , 0, the existence of k nondegenerate constant solutions z1, . . . ,zk, where k ą rank HCF˚pE, Φ;Z2q, forces existence of a travelling front u, modelling the propagation (with linear wave speed c) of a spatially homogeneous state z` into an unstable spatially homogeneous state z´. At least one of these states (z` or z´) is one of the specified states z1, . . . ,zk, whilst the other st… view at source ↗
Figure 2
Figure 2. Figure 2: Construction of the basic perturbation ψθ;ξ . Top: Graph of a curve u : R Ñ R d with upxq Ñ z˘ as x Ñ ˘8. Lightly shaded area indicates support of σ`,z´ , and darkly shaded area indicates support of σ`,z` . Middle: The spatial localisers σ`,z´ (dotted line) and σ`,z` (dashed line). Bottom: The construction of the basic perturbation ψθ,pξ1px0,εq,ξ2px0,εqq (solid line), with θ “ p`,z´,z`q. Dotted line depict… view at source ↗
Figure 3
Figure 3. Figure 3: Covering the sojourn set by minimal energy quanta [PITH_FULL_IMAGE:figures/full_fig_p034_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: An isolating block, where Φ is interpreted as a multivalued vector field on BB. Here ν` and ν´ denote unit normal vector fields (with respect to the Euclidean metric on R d ) along D` and D´, respectively. Note that condition (2) implies the isolating block B does not admit any internal tangencies at the corners. Any solution u of (TWN) which hits the boundary BB must therefore enter B by passing through B… view at source ↗
read the original abstract

In this paper we study travelling front solutions for nonlocal equations of the type \begin{equation} \partial_t u = N * S(u) + \nabla F(u), \qquad u(t,x) \in \mathbf{R}^d. \end{equation} Here $N *$ denotes a convolution-type operator in the spatial variable $x \in \mathbf{R}$, either continuous or discrete. We develop a Morse-type theory, the Conley--Floer homology, which captures travelling front solutions in a topologically robust manner, by encoding fronts in the boundary operator of a chain complex. The equations describing the travelling fronts involve both forward and backward delay terms, possibly of infinite range. Consequently, these equations lack a natural phase space, so that classic dynamical systems tools are not at our disposal. We therefore develop, from scratch, a general transversality theory, and a classification of bounded solutions, in the absence of a phase space. In various cases the resulting Conley--Floer homology can be interpreted as a homological Conley index for multivalued vector fields. Using the Conley--Floer homology we derive existence and multiplicity results on travelling front solutions.

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

2 major / 2 minor

Summary. The manuscript develops a Conley-Floer homology for travelling front solutions of the nonlocal equation ∂_t u = N * S(u) + ∇F(u), where N* is a convolution operator (continuous or discrete). Travelling fronts lead to delay equations without a natural phase space; the authors construct from scratch a transversality theory and a classification of bounded solutions, encode the fronts in the boundary operator of a chain complex, and derive existence and multiplicity results from the resulting homology. In various cases the homology is interpreted as a homological Conley index for multivalued vector fields.

Significance. If the technical constructions are carried through rigorously, the work supplies a topological invariant that yields existence and multiplicity of fronts in nonlocal systems where classical dynamical-systems methods are unavailable. The explicit separation between the homology construction and the existence statements avoids circularity and constitutes a genuine strength. The approach may extend to other infinite-delay or nonlocal problems in mathematical biology and materials science.

major comments (2)
  1. [Section 4 (Transversality theory)] The central claim rests on a transversality theory and bounded-solution classification developed from scratch for delay equations lacking a phase space. The manuscript must supply the precise functional-analytic setting (e.g., the Banach space of bounded continuous functions on which the linearized operator acts) and the Fredholm index calculation that guarantees the moduli spaces are manifolds; without these details the definition of the chain complex and the homology cannot be verified.
  2. [Section 5 (Classification of bounded solutions)] The classification of bounded solutions (used to define the boundary operator) is stated to be carried out in the absence of a phase space. The manuscript should exhibit the compactness argument (e.g., via a specific a-priori estimate or Ascoli-Arzelà-type lemma adapted to infinite delays) that prevents sequences of solutions from escaping to infinity; this step is load-bearing for the well-definedness of the homology.
minor comments (2)
  1. [Introduction] The notation N * S(u) is introduced in the abstract and equation (1) but the precise definition of the convolution (including the support of N) appears only later; an explicit formula in the introduction would improve readability.
  2. [Section 7] Several statements refer to “various cases” in which the homology coincides with a Conley index for multivalued vector fields; a short table or list of the precise assumptions under which this identification holds would clarify the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the work's significance. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Section 4 (Transversality theory)] The central claim rests on a transversality theory and bounded-solution classification developed from scratch for delay equations lacking a phase space. The manuscript must supply the precise functional-analytic setting (e.g., the Banach space of bounded continuous functions on which the linearized operator acts) and the Fredholm index calculation that guarantees the moduli spaces are manifolds; without these details the definition of the chain complex and the homology cannot be verified.

    Authors: We agree that the functional-analytic details and index calculation must be stated explicitly for the transversality theory to be fully verifiable. In the revised manuscript we will add a dedicated subsection specifying the Banach space (the space of bounded continuous functions C_b(R,R^d) with the sup-norm, or suitable weighted variants) on which the linearized operator acts, together with the complete Fredholm-index computation showing that the moduli spaces are manifolds of the expected dimension. This will make the construction of the chain complex and the resulting homology directly checkable. revision: yes

  2. Referee: [Section 5 (Classification of bounded solutions)] The classification of bounded solutions (used to define the boundary operator) is stated to be carried out in the absence of a phase space. The manuscript should exhibit the compactness argument (e.g., via a specific a-priori estimate or Ascoli-Arzelà-type lemma adapted to infinite delays) that prevents sequences of solutions from escaping to infinity; this step is load-bearing for the well-definedness of the homology.

    Authors: We concur that the compactness argument is essential and must be exhibited in detail. In the revised version of Section 5 we will insert the precise a-priori estimates and the Ascoli-Arzelà-type lemma adapted to infinite-delay equations that establish pre-compactness of sequences of bounded solutions, thereby preventing escape to infinity and guaranteeing that the boundary operator is well-defined. These additions will confirm the rigorous construction of the homology. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper explicitly states it develops the Conley-Floer homology, transversality theory, and classification of bounded solutions 'from scratch' for the delay equations (which lack a phase space), then applies the resulting homology to obtain existence and multiplicity results on travelling fronts. No equations or steps are quoted that reduce a 'prediction' or central claim to a fitted input, self-definition, or load-bearing self-citation chain; the construction is presented as independent of the target solutions it later classifies. This matches the default expectation of a self-contained new topological tool with no internal reduction by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Abstract-only review; the ledger is populated from the stated construction steps. The central claim rests on the existence of a well-defined chain complex whose boundary counts fronts after new transversality results are proved.

axioms (2)
  • domain assumption A transversality theory can be developed for the delay equations describing travelling fronts without a phase space.
    Invoked when the paper states it develops transversality from scratch for equations lacking a natural phase space.
  • domain assumption Bounded solutions of the travelling-front equations admit a classification sufficient to define a chain complex.
    Required for the boundary operator of the Conley-Floer homology to be well-defined.
invented entities (1)
  • Conley-Floer homology no independent evidence
    purpose: Homological invariant that encodes travelling front solutions via a chain complex boundary operator
    New object introduced in the paper to capture fronts in the nonlocal setting.

pith-pipeline@v0.9.0 · 5743 in / 1454 out tokens · 19212 ms · 2026-05-25T00:33:25.479840+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.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    S. Amari. Dynamics of pattern formation in lateral-inhibition type neural fields. Biological cybernet- ics, 27(2):77–87, 1977

    work page 1977

  2. [2]

    Audin, M

    M. Audin, M. Damian, and R. Erné. Morse theory and Floer homology. Springer, 2014

    work page 2014

  3. [3]

    D. M. Austin and P. J. Braam. Morse-bott theory and equivariant cohomology. In The Floer memorial volume, pages 123–183. Birkhäuser, 1995

    work page 1995

  4. [4]

    B. H. Bakker, J. B. v. d. Berg, and R. v. d. V orst. A Floer homology approach to travelling waves in reaction-diffusion equations on cylinders. SIAM Journal on Applied Dynamical Systems , 17(4):2634—-2706, 2018

    work page 2018

  5. [5]

    B. H. Bakker and A. Scheel. Spatial hamiltonian identities for nonlocally coupled systems. Forum Mathematics, Sigma, 6(e22), 2018

    work page 2018

  6. [6]

    P. W. Bates. On some nonlocal evolution equations arising in materials science. Nonlinear dynamics and evolution equations, 48:13–52, 2006

    work page 2006

  7. [7]

    P. W. Bates and A. Chmaj. An integrodifferential model for phase transitions: stationary solutions in higher space dimensions. Journal of Statistical Physics, 95(5):1119–1139, 1999

    work page 1999

  8. [8]

    P. W. Bates, P. C. Fife, X. Ren, and X. Wang. Traveling waves in a convolution model for phase transitions. Archive for Rational Mechanics and Analysis, 138(2):105–136, 1997

    work page 1997

  9. [9]

    P. C. Bressloff and Z. P. Kilpatrick. Nonlocal ginzburg-landau equation for cortical pattern formation. Physical Review E, 78(4):041916, 2008

    work page 2008

  10. [10]

    Conley and R

    C. Conley and R. Easton. Isolated invariant sets and isolating blocks. Transactions of the American Mathematical Society, 158(1):35–61, 1971

    work page 1971

  11. [11]

    Conley and R

    C. Conley and R. Gardner. An application of the generalized Morse index to travelling wave solutions of a competitive reaction-diffusion model. 1980

    work page 1980

  12. [12]

    Q. Du, M. Gunzburger, R. Lehoucq, and K. Zhou. Analysis of the volume-constrained peridynamic navier equation of linear elasticity. Journal of Elasticity, 113(2):193–217, 2013

    work page 2013

  13. [13]

    Q. Du, M. Gunzburger, R. B. Lehoucq, and K. Zhou. Analysis and approximation of nonlocal diffusion problems with volume constraints. SIAM review, 54(4):667–696, 2012

    work page 2012

  14. [14]

    G. B. Ermentrout and J. B. McLeod. Existence and uniqueness of travelling waves for a neural net- work. Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 123(3):461–478, 1993

    work page 1993

  15. [15]

    Faye and A

    G. Faye and A. Scheel. Fredholm properties of nonlocal differential operators via spectral flow. Indi- ana Univ. Math. J., 2013

    work page 2013

  16. [16]

    Faye and A

    G. Faye and A. Scheel. Existence of pulses in excitable media with nonlocal coupling. Advances in Mathematics, 270:400–456, 2015

    work page 2015

  17. [17]

    Faye and A

    G. Faye and A. Scheel. Center manifolds without a phase space. Transactions of the American Mathematical Society, 2016

    work page 2016

  18. [18]

    Gunzburger and R

    M. Gunzburger and R. B. Lehoucq. A nonlocal vector calculus with application to nonlocal boundary value probleoms. Multiscale Modeling & Simulation, 8(5):1581–1598, 2010

    work page 2010

  19. [19]

    Härterich, B

    J. Härterich, B. Sandstede, and A. Scheel. Exponential dichotomies for linear non-autonomous func- tional differential equations of mixed type. Indiana Univ. Math. J., 51(5):1081–1109, 2002. 73

    work page 2002

  20. [20]

    H. J. Hupkes and B. Sandstede. Traveling pulse solutions for the discrete FitzHugh-Nagumo system. SIAM J. Appl. Dyn. Syst., 9(3):827–882, 2010

    work page 2010

  21. [21]

    H. J. Hupkes and S. M. Verduyn Lunel. Center manifold theory for functional differential equations of mixed type. J. Dynam. Differential Equations, 19(2):497–560, 2007

    work page 2007

  22. [22]

    Kaczynski and M

    T. Kaczynski and M. Mrozek. Conley index for discrete multi-valued dynamical systems. Topology and its Applications, 65(1):83–96, 1995

    work page 1995

  23. [23]

    T. Kato. Perturbation theory for linear operators. Springer Science & Business Media, 2012

    work page 2012

  24. [24]

    Mallet-Paret and S

    J. Mallet-Paret and S. Verduyn Lunel. Mixed-type functional differential equations, holomorphic factorization, and applications. In EQUADIFF 2003, pages 73–89. World Sci. Publ., Hackensack, NJ, 2005

    work page 2003

  25. [25]

    D. J. Pinto and G. B. Ermentrout. Spatially structured activity in synaptically coupled neuronal net- works: I. traveling fronts and pulses. SIAM journal on Applied Mathematics, 62(1):206–225, 2001

    work page 2001

  26. [26]

    Robbin and D

    J. Robbin and D. Salamon. The spectral flow and the Maslov index. Bulletin of the London Mathe- matical Society, 27(1):1–33, 1995

    work page 1995

  27. [27]

    D. Salamon. Lectures on Floer homology. Symplectic geometry and topology (Park City, UT, 1997), 7:143–229, 1999

    work page 1997

  28. [28]

    Scheel and T

    A. Scheel and T. Tao. Bifurcation to coherent structures in nonlocally coupled systems. Journal of Dynamics and Differential Equations, 2017

    work page 2017

  29. [29]

    M. Schwarz. Morse homology. Number 111 in Progress in Mathematics. Birkhäuser, 1993

    work page 1993

  30. [30]

    S. A. Silling. Reformulation of elasticity theory for discontinuities and long-range forces. Journal of the Mechanics and Physics of Solids, 48(1):175–209, 2000

    work page 2000

  31. [31]

    S. Smale. An infinite dimensional version of Sard’s theorem. American Journal of Mathematics , 87(4), 1965

    work page 1965

  32. [32]

    J. Weber. Morse homology for the heat flow. Mathematische Zeitschrift, 275, 2010

    work page 2010

  33. [33]

    H. R. Wilson and J. D. Cowan. Excitatory and inhibitory interactions in localized populations of model neurons. Biophysical journal, 12(1):1–24, 1972

    work page 1972

  34. [34]

    H. R. Wilson and J. D. Cowan. A mathematical theory of the functional dynamics of cortical and thalamic nervous tissue. Biological Cybernetics, 13(2):55–80, 1973

    work page 1973

  35. [35]

    F. W. Wilson Jr and J. A. Yorke. Lyapunov functions and isolating blocks. Journal of Differential Equations, 13(1):106–123, 1973. 74

    work page 1973