pith. sign in

arxiv: 2604.08386 · v2 · submitted 2026-04-09 · ❄️ cond-mat.stat-mech · math-ph· math.MP· physics.soc-ph

Harmonic morphisms and dynamical invariants in network renormalization

Pith reviewed 2026-05-10 17:10 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech math-phmath.MPphysics.soc-ph
keywords harmonic morphismsnetwork renormalizationrandom walkscoarse-grainingdynamical invariantsLaplacian renormalizationgraph morphisms
0
0 comments X

The pith

Discrete harmonic morphisms are the minimal maps under which random walks on a fine network project exactly onto its coarse-grained version via a random time change.

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

The paper shows that only surjective maps preserving harmonic functions on graphs allow the random-walk process on the original network to map precisely onto the coarse version after rescaling time randomly. This matters for renormalization because it gives a precise criterion for when simplifying a network keeps its dynamical statistics intact instead of distorting them. The authors quantify closeness to this ideal with a new measure called the harmonic degree. When tested on real networks, Laplacian renormalization often produces exact morphisms at particular scales, preserving first-exit probabilities exactly, while geometric and GNN-based methods yield different dynamical signatures.

Core claim

Discrete harmonic morphisms—surjective maps that send harmonic functions to harmonic functions—supply the weakest condition under which the transition structure of a random walk on a fine-grained network projects exactly onto the random walk on the coarse-grained network after an appropriate random time change. This is diagnosed by the harmonic degree, which measures deviation from the morphism property. Laplacian renormalization spontaneously realizes exact morphisms on several real-world networks, yielding exact preservation of first-exit transition probabilities at specific scales.

What carries the argument

The discrete harmonic morphism, a surjective node map that preserves the property that a function is harmonic (its value at each node equals the average over neighbors), which carries the exact projection of random-walk paths under time rescaling.

If this is right

  • Laplacian renormalization produces exact harmonic morphisms and exact first-exit preservation at identifiable scales in multiple real networks.
  • Geometric, Laplacian, and GNN-based coarse-graining each imprint a distinct dynamical fingerprint tied to their physical assumptions.
  • The harmonic degree supplies a quantitative test for evaluating or designing multi-scale network reductions.
  • The construction supplies a discrete counterpart to diffusion-preserving conformal maps on irregular topologies.

Where Pith is reading between the lines

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

  • Renormalization algorithms could be redesigned to enforce the harmonic-morphism condition directly rather than optimizing other objectives.
  • The same morphism test may apply to other Markovian processes on networks beyond simple random walks.
  • Exact morphisms at particular scales could mark the natural resolution levels at which a network's dynamics become self-similar.
  • The framework offers a way to compare renormalization schemes across different network domains by their dynamical fidelity rather than by structural similarity alone.

Load-bearing premise

That any coarse-graining can be expressed as a surjective map on the set of nodes that sends harmonic functions to harmonic functions.

What would settle it

A counter-example network in which a coarse-graining that is not a harmonic morphism still produces exact projection of random-walk first-exit probabilities without any time adjustment, or a harmonic morphism that fails to produce such a projection.

Figures

Figures reproduced from arXiv: 2604.08386 by Antoine Allard, Federica Galluzzi, Francesco Maria Guadagnuolo, Giovanni Petri, Marco Nurisso.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: (a)). This confirms that the issue is not higher￾order information per se, but the mismatch between the domain of diffusion and the domain of evaluation. To resolve this incompatibility, we evaluate harmonicity on the graph where the higher-order dynamics actually live: the (k, m)-adjacency graph of the simplicial complex, describing the relations between k-simplices mediated by m-simplices. In this approa… view at source ↗
read the original abstract

Renormalization of complex networks requires principled criteria for assessing whether a coarse-graining preserves dynamical content. We prove that discrete harmonic morphisms -- surjective maps preserving harmonic functions -- provide the minimal condition under which random walks on a fine-grained network project exactly onto random walks on its coarse-grained image, through an appropriate random time change. We formalize this via the harmonic degree, a diagnostic quantifying how closely any network coarse-graining approximates a harmonic morphism. Applying this framework to geometric, Laplacian, and GNN-based renormalization across real-world networks, we find that each method produces a distinct dynamical fingerprint encoding its underlying physical assumptions. Most strikingly, Laplacian renormalization spontaneously yields exact harmonic morphisms in several networks, achieving exact preservation of first-exit random-walk transition structure at specific scales, a property that entropic susceptibility fails to detect. Our results identify a discrete analog of diffusion-preserving conformal maps for irregular network topologies and provide quantitative tools for designing and evaluating multi-scale network descriptions.

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 / 3 minor

Summary. The paper proves that discrete harmonic morphisms—defined as surjective maps on graphs that preserve harmonic functions—provide the minimal condition under which random walks on a fine-grained network project exactly onto random walks on its coarse-grained image via an appropriate random time change. It introduces the harmonic degree as a quantitative diagnostic for how closely any coarse-graining approximates a harmonic morphism. The framework is applied to geometric, Laplacian, and GNN-based renormalization schemes on real-world networks, revealing distinct dynamical fingerprints for each method and showing that Laplacian renormalization can spontaneously produce exact harmonic morphisms at specific scales, thereby preserving first-exit random-walk transition structure in a manner not detected by entropic susceptibility.

Significance. If the central theorem holds, the work supplies a rigorous mathematical criterion for dynamical preservation under network coarse-graining, establishing a discrete counterpart to diffusion-preserving conformal maps on irregular topologies. The harmonic degree offers a practical, falsifiable tool for evaluating and designing multi-scale network representations. The empirical observation that Laplacian renormalization yields exact morphisms on several networks is a concrete, testable finding with implications for statistical mechanics of complex systems.

minor comments (3)
  1. The abstract introduces the harmonic degree without a one-sentence definition; adding a brief parenthetical gloss would improve immediate readability for readers outside graph theory.
  2. Figure captions for the network renormalization examples should explicitly state the network sizes, the specific scales at which exact morphisms appear, and the random-walk observables being compared.
  3. Notation for the random time change (presumably introduced in the main theorem) should be cross-referenced to the earlier definition of the harmonic morphism to avoid any ambiguity in the projection argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate and positive summary of the manuscript, which correctly identifies the central theorem on discrete harmonic morphisms as the minimal condition for exact random-walk projection, the role of the harmonic degree, and the empirical observation that Laplacian renormalization can yield exact morphisms. We appreciate the recommendation for minor revision and the recognition of the work's implications for dynamical preservation under coarse-graining.

Circularity Check

0 steps flagged

No significant circularity; derivation is a self-contained mathematical proof

full rationale

The central claim is a theorem proving that discrete harmonic morphisms (defined as surjective maps preserving harmonic functions on graphs) are the minimal condition for exact projection of random walks onto a coarse-grained image via random time change. This rests on standard graph-theoretic definitions of harmonic functions and introduces the harmonic degree as a diagnostic tool. No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the proof is conditioned precisely on the stated assumption about the coarse-graining map, with applications to real networks serving as empirical illustration rather than circular validation. The framework is externally falsifiable via direct verification of the morphism property on any given graph.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the mathematical definition of harmonic functions and morphisms on graphs plus the new diagnostic; no free parameters are described in the abstract.

axioms (2)
  • domain assumption The networks are undirected graphs on which harmonic functions are well-defined
    Required for the definition of harmonic morphisms and random-walk projection
  • domain assumption Coarse-graining corresponds to a surjective node map
    Stated as part of the morphism condition in the abstract
invented entities (1)
  • harmonic degree no independent evidence
    purpose: quantitative diagnostic of how closely a coarse-graining approximates a harmonic morphism
    Introduced in the paper as a new measure

pith-pipeline@v0.9.0 · 5479 in / 1343 out tokens · 51446 ms · 2026-05-10T17:10:26.793696+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

75 extracted references · 75 canonical work pages

  1. [1]

    Modified harmonic degree:To prevent large macro-sets from dominating, we average harmonic- ity within each macro-set: Hmod = 1 |V| X y∈V |H(φ −1(y))| |φ−1(y)| .(6) This is our primary metric for renormalization anal- ysis

  2. [2]

    har- monic

    Harmonic deviation:which provides a continuous measure of multiplicity imbalance across macro-sets: HDev = 1 |V| X x∈V std({ky′(x) :y ′ ∼φ(x)}).(7) We define analogous conformal degree metrics (CF mean, CFmod, CFDev) based on Definition 4; explicit definitions appear in the Supplementary Material S2 and S2). In the following, we define thecompression η of...

  3. [3]

    L. P. Kadanoff, Physics Physique Fizika2, 263 (1966)

  4. [4]

    K. G. Wilson, Rev. Mod. Phys.47, 773 (1975)

  5. [6]

    Blumenhagen and E

    R. Blumenhagen and E. Plauschinn,Introduction to Con- formal Field Theory: With Applications to String Theory, Lecture Notes in Physics, Vol. 779 (Springer, 2009)

  6. [7]

    C. Song, S. Havlin, and H. A. Makse, Nature433, 392–395 (2005)

  7. [8]

    K.-I. Goh, G. Salvi, B. Kahng, and D. Kim, Phys. Rev. Lett.96, 018701 (2006)

  8. [9]

    Garc´ ıa-P´ erez, M

    G. Garc´ ıa-P´ erez, M. Bogu˜ n´ a, and M. A. Serrano, Nature Physics14, 583–589 (2018)

  9. [10]

    Garuccio, M

    E. Garuccio, M. Lalli, and D. Garlaschelli, Physical Review Research5, 10.1103/physrevresearch.5.043101 (2023)

  10. [11]

    Villegas, T

    P. Villegas, T. Gili, G. Caldarelli, and A. Gabrielli, Nature Physics19, 445–450 (2023)

  11. [14]

    Cheng, Y

    A. Cheng, Y. Xu, P. Sun, and Y. Tian, Simplex path inte- gral and simplex renormalization group for high-order in- teractions (2024), arXiv:2305.01895 [cond-mat.stat-mech]

  12. [15]

    Battiston, E

    F. Battiston, E. Amico, A. Barrat, G. Bianconi, G. Ferraz de Arruda, B. Franceschiello, I. Iacopini, S. K´ efi, V. La- tora, Y. Moreno, M. M. Murray, T. P. Peixoto, F. Vac- carino, and G. Petri, Nature Physics17, 1093 (2021)

  13. [16]

    D. Chen, H. Su, Y. Wang, and J. Liu, Preserving spread- ing dynamics and information flow in complex network reduction (2025), arXiv:2506.18641 [cs.SI]

  14. [18]

    Schmidt, F

    M. Schmidt, F. Caccioli, and T. Aste, Physical Review E 112, 034303 (2025)

  15. [19]

    C. H. Kim and B. Kahng, Chaos, Solitons & Fractals201, 117398 (2025)

  16. [20]

    Urakawa, Glasgow Mathematical Journal42, 319 (2000)

    H. Urakawa, Glasgow Mathematical Journal42, 319 (2000)

  17. [21]

    G. F. Lawler,Intersections of Random Walks, Probability and Its Applications (Birkh¨ auser, 1991)

  18. [22]

    Barahudcov´ a, Lattice models — master extended, ac- cessed: 2025-05-10

    B. Barahudcov´ a, Lattice models — master extended, ac- cessed: 2025-05-10

  19. [23]

    Fuglede, Annales de l’Institut Fourier28, 107 (1978)

    B. Fuglede, Annales de l’Institut Fourier28, 107 (1978)

  20. [24]

    Ishihara, Journal of Mathematics of Kyoto University 19, 215 (1979)

    T. Ishihara, Journal of Mathematics of Kyoto University 19, 215 (1979)

  21. [25]

    Faccin, M

    M. Faccin, M. T. Schaub, and J.-C. Delvenne, Journal of Complex Networks6, 661–678 (2017)

  22. [26]

    O’Clery, Y

    N. O’Clery, Y. Yuan, G.-B. Stan, and M. Barahona, Phys. Rev. E88, 042805 (2013)

  23. [27]

    F. E. Rosas, B. C. Geiger, A. I. Luppi, A. K. Seth, D. Polani, M. Gastpar, and P. A. M. Mediano, Software in the natural world: A computational approach to hier- archical emergence (2024), arXiv:2402.09090 [nlin.AO]

  24. [28]

    Garc´ ıa-P´ erez, A

    G. Garc´ ıa-P´ erez, A. Allard, M. ´A. Serrano, and M. Bogu˜ n´ a, New J. Phys.21, 123033 (2019)

  25. [29]

    Jankowski, A

    R. Jankowski, A. Allard, M. Bogu˜ n´ a, and M.´A. Serrano, Nat. Commun.14, 7585 (2023)

  26. [30]

    Krioukov, F

    D. Krioukov, F. Papadopoulos, M. Kitsak, A. Vahdat, and M. Bogu˜ n´ a, Phys. Rev. E82, 036106 (2010)

  27. [31]

    Zheng, A

    M. Zheng, A. Allard, P. Hagmann, Y. Alem´ an-G´ omez, and M. ´A. Serrano, Proc. Natl. Acad. Sci. U.S.A.117, 20244 (2020)

  28. [32]

    Barjuan, M

    L. Barjuan, M. Zheng, and M. A. Serrano, PLoS Compu- tational Biology21, e1012848 (2025)

  29. [33]

    A. L. Traud, P. J. Mucha, and M. A. Porter, Physica A 391, 4165 (2012)

  30. [34]

    Bianconi,Higher-Order Networks: An Introduction to Simplicial Complexes(Cambridge University Press, 2021)

    G. Bianconi,Higher-Order Networks: An Introduction to Simplicial Complexes(Cambridge University Press, 2021)

  31. [35]

    Eckmann, Commentarii Mathematici Helvetici17, 240 (1944)

    B. Eckmann, Commentarii Mathematici Helvetici17, 240 (1944)

  32. [37]

    M. T. Schaub, A. R. Benson, P. Horn, G. Lippner, and A. Jadbabaie, SIAM Review62, 353 (2020)

  33. [39]

    S. N. Dorogovtsev, A. V. Goltsev, and J. F. F. Mendes, Physical Review E65, 066122 (2002)

  34. [40]

    G. F. Lawler,Conformally Invariant Processes in the Plane, Mathematical Surveys and Monographs, Vol. 114 (American Mathematical Society, 2005)

  35. [41]

    Petersen, Springer (2006)

    P. Petersen, Springer (2006)

  36. [43]

    A. I. Bobenko, U. Pinkall, and B. A. Springborn, Geome- try & Topology19, 2155–2215 (2015)

  37. [45]

    Baker and S

    M. Baker and S. Norine, Harmonic morphisms and hy- perelliptic graphs (2007), arXiv:0707.1309 [math.CO]

  38. [46]

    Caporaso, inAlgebraic and Complex Geometry, edited by A

    L. Caporaso, inAlgebraic and Complex Geometry, edited by A. Fr¨ uhbis-Kr¨ uger, R. N. Kloosterman, and M. Sch¨ utt (Springer International Publishing, Cham, 2014) pp. 77– 108. 1 Supplementary Material S1. Proofs Throughout this section, we use the notation established in the main text: G = (V, E) and G = (V,E ) are two graphs, φ : V→ V is surjective, Gy i...

  39. [47]

    external

    Construct induced graph.Given partition φ−1(y) for each y∈ V , create G with edge y∼y ′ whenever ∃x∈φ −1(y), z∈φ −1(y′) withx∼zinG. 2.For each nodex∈V: •Determiney=φ(x) •For each neighboring macro-nodey ′ ∼y, countk y′(x) =|{z∈φ −1(y′) :z∼x}| •Check if allk y′(x) are equal (harmonic node) •Computeσ x = std({ky′(x)}) •For conformality: include ˜ky(x) =|{z∈...

  40. [48]

    decomposee j =e (h) j +e (r) j into harmonic and residual components by projecting onto the orthogonal complement of the kernel

  41. [49]

    S5: GNN-based renormalization of theWeaversocial network

    diffuse the residual part:ϱ ·,j =e −tLe(r) j ; 11 (a) (c) (b) FIG. S5: GNN-based renormalization of theWeaversocial network. (a) Difference in partition functions as a function of the number of macronodes, showing that the sampled partitions rapidly converge toward the same coarse-graining statistics as resolution increases. (b) Harmonicity measures acros...

  42. [50]

    universal

    merge nodes i and j if (|ϱij| + |ϱji|)/2 ≥min (|ϱii|,|ϱ jj |), where absolute values account for possible sign changes in non-symmetric operators. This procedure commutes with the heat kernel (since L and e−tL share eigenvectors), and reduces to standard Laplacian renormalization for the graph Laplacian and cross-order Laplacians, whose kernels are spanne...

  43. [51]

    Leskovec and A

    J. Leskovec and A. Krevl, SNAP Datasets: Stanford large network dataset collection, http://snap.stanford.edu/data (2014)

  44. [52]

    Zitnik, R

    M. Zitnik, R. Sosiˇ c, S. Maheshwari, and J. Leskovec, BioSNAP Datasets: Stanford biomedical network dataset collection, http://snap.stanford.edu/biodata(2018)

  45. [53]

    R. A. Rossi and N. K. Ahmed, inAAAI(2015)

  46. [54]

    Zhu and Z

    X. Zhu and Z. Ghahramani (2002)

  47. [55]

    U. N. Raghavan, R. Albert, and S. Kumara, Physical Review E76, 10.1103/physreve.76.036106 (2007)

  48. [56]

    M. E. J. Newman, Proceedings of the National Academy of Sciences103, 8577–8582 (2006)

  49. [57]

    V. D. Blondel, J.-L. Guillaume, R. Lambiotte, and E. Lefebvre, Journal of Statistical Mechanics: Theory and Experiment 2008, P10008 (2008)

  50. [58]

    Edler, A

    D. Edler, A. Holmgren, and M. Rosvall, The MapEquation software package,https://mapequation.org(2025)

  51. [59]

    Rosvall and C

    M. Rosvall and C. T. Bergstrom, Proceedings of the National Academy of Sciences105, 1118–1123 (2008)

  52. [60]

    T. P. Peixoto, Bayesian stochastic blockmodeling (2019)

  53. [61]

    A. L. Traud, P. J. Mucha, and M. A. Porter, Physica A391, 4165 (2012)

  54. [62]

    Beveridge and J

    A. Beveridge and J. Shan, Math Horizons23, 18 (2016)

  55. [63]

    ˇSubelj and M

    L. ˇSubelj and M. Bajec, Eur. Phys. J. B81, 353 (2011)

  56. [64]

    D. A. Bader, H. Meyerhenke, P. Sanders, and D. Wagner, in10th DIMACS Implementation Challenge, Contemporary Mathematics, Vol. 588 (AMS, 2013)

  57. [65]

    I. S. Duff, R. G. Grimes, and J. G. Lewis, ACM Trans. Math. Softw.15, 1 (1989)

  58. [66]

    M. E. J. Newman, Phys. Rev. E74, 036104 (2006)

  59. [67]

    Duch and A

    J. Duch and A. Arenas, Phys. Rev. E72, 027104 (2005)

  60. [68]

    Jeong, S

    H. Jeong, S. P. Mason, A.-L. Barab´ asi, and Z. N. Oltvai, Nature411, 41 (2001)

  61. [69]

    Yi, S.-G

    S. Yi, S.-G. Yang, K. I. Goh, and D. S. Lee, Equilibrium-preserving laplacian renormalization group (2025), arXiv:2507.04977 [cond-mat.stat-mech]

  62. [70]

    Muhammad and M

    A. Muhammad and M. Egerstedt, inControl Using Higher Order Laplacians in Network Topologies(2006)

  63. [71]

    Nurisso, M

    M. Nurisso, M. Morandini, M. Lucas, F. Vaccarino, T. Gili, and G. Petri, Nature Physics21, 661 (2025)

  64. [72]

    Lucas, G

    M. Lucas, G. Cencetti, and F. Battiston, Physical Review Research2, 10.1103/physrevresearch.2.033410 (2020)

  65. [73]

    Forman, Discrete & Computational Geometry29, 323 (2003)

    R. Forman, Discrete & Computational Geometry29, 323 (2003)

  66. [74]

    Iacopini, G

    I. Iacopini, G. Petri, A. Barrat, and V. Latora, Nature Communications10, 2485 (2019)

  67. [75]

    Caporaso, inAlgebraic and Complex Geometry, edited by A

    L. Caporaso, inAlgebraic and Complex Geometry, edited by A. Fr¨ uhbis-Kr¨ uger, R. N. Kloosterman, and M. Sch¨ utt (Springer International Publishing, Cham, 2014) pp. 77–108

  68. [76]

    C. G. Melles and D. Joyner, inCombinatorics, Graph Theory and Computing, Springer Proceedings in Mathematics & Statistics, Vol. 462, edited by S. Heuss, R. Low, and J. C. Wierman (Springer, Cham, 2024) pp. 243–274

  69. [77]

    Zhang, A

    Z. Zhang, A. Ghavasieh, J. Zhang, and M. De Domenico, Nature Communications16, 1605 (2025)

  70. [78]

    Blumenhagen and E

    R. Blumenhagen and E. Plauschinn,Introduction to Conformal Field Theory: With Applications to String Theory, Lecture Notes in Physics, Vol. 779 (Springer, 2009)

  71. [79]

    Duminil-Copin and S

    H. Duminil-Copin and S. Smirnov, Conformal invariance of lattice models (2012), arXiv:1109.1549 [math.PR]

  72. [80]

    Smirnov, Discrete complex analysis and probability (2010), arXiv:1009.6077 [math-ph]

    S. Smirnov, Discrete complex analysis and probability (2010), arXiv:1009.6077 [math-ph]

  73. [81]

    Jakobson, T

    D. Jakobson, T. Ng, M. Stevenson, and M. Suzuki, Conformally covariant operators and conformal invariants on weighted graphs (2014), arXiv:1404.5690 [math.CO]

  74. [82]

    A. I. Bobenko, U. Pinkall, and B. A. Springborn, Geometry & Topology19, 2155–2215 (2015)

  75. [83]

    Irges and S

    N. Irges and S. Kastrinakis, Graph theoretical approach to conformal correlators: The conformal squid (2024), arXiv:2402.08449 [hep-th]