pith. sign in

arxiv: 2507.22518 · v2 · submitted 2025-07-30 · 🧮 math.CO

Signless Laplacian spectral radius of simplicial complexes without holes

Yi-Zheng Fan , Chuan-Ming She , Huan-Zhi Zhang This is my paper

Pith reviewed 2026-05-19 03:11 UTC · model grok-4.3

classification 🧮 math.CO
keywords simplicial complexessignless Laplacianspectral radiusTurán numbersBetti numbersAlexander dualextremal combinatoricshypergraphs
0
0 comments X

The pith

Simplicial complexes without holes achieve their maximum signless Laplacian spectral radius in a specific complete multipartite structure.

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

The paper seeks to identify the simplicial complex without holes that has the largest signless Laplacian spectral radius. It extends the classical problem of maximizing spectral radius among cycle-free graphs to higher-dimensional complexes. If the claimed structure is correct, it supplies an upper bound on the spectral radius when the number of holes is fixed and produces new bounds on Turán numbers for hypergraphs and simplicial complexes. A reader would care because the result links spectral invariants directly to the face-counting problems that appear throughout extremal combinatorics.

Core claim

We determine the structure of the simplicial complex attaining the maximum signless Laplacian spectral radius among those without holes. The proof relies on the canonical Alexander dual of perfect matchings together with a coloring argument on the complex. The same method yields an upper bound on the spectral radius of any simplicial complex whose Betti numbers are prescribed in advance. As a direct consequence, the connection between the spectral radius and the number of faces produces bounds on the Turán numbers of hypergraphs and of simplicial complexes.

What carries the argument

The canonical Alexander dual of perfect matchings, which, together with a coloring of the simplicial complex, is used to identify the unique maximizer.

If this is right

  • An explicit upper bound holds for the signless Laplacian spectral radius of any simplicial complex whose Betti numbers are fixed.
  • New upper bounds follow for the Turán numbers of hypergraphs.
  • New upper bounds follow for the Turán numbers of simplicial complexes.
  • The same spectral technique applies to any dimension once the no-hole condition is imposed.

Where Pith is reading between the lines

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

  • The same matching-and-coloring technique may adapt to other matrix invariants such as the adjacency or normalized Laplacian operators on complexes.
  • The result suggests a direct spectral test for the vanishing of higher Betti numbers in large random complexes.
  • Small explicit examples in dimension two could be enumerated to check whether the claimed maximizer remains unique when holes are forbidden.

Load-bearing premise

That the absence of holes, when combined with the properties of perfect matchings and a suitable coloring, is enough to single out the unique complex with the largest spectral radius.

What would settle it

Explicit computation of the signless Laplacian spectral radius for every hole-free simplicial complex on a small fixed number of vertices, followed by direct comparison with the radius of the candidate maximizer.

read the original abstract

We study a spectral analog of the Tur\'an problem for simplicial complexes. Specifically, we consider the extremal problem of maximizing the signless Laplacian spectral radius among simplicial complexes without holes. We determine the structure of the simplicial complex attaining the maximum spectral radius, extending classical extremal results for graphs without cycles to the setting of higher-dimensional simplicial complexes. More generally, we establish an upper bound on the signless Laplacian spectral radius of simplicial complexes with prescribed Betti numbers. As an application, using the connection between the signless Laplacian spectral radius and the face numbers of a simplicial complex, we derive bounds on Tur\'an numbers for both hypergraphs and simplicial complexes. Our technique involves the canonical Alexander dual of perfect matchings and coloring of simplicial complexes.

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

1 major / 2 minor

Summary. The paper examines the signless Laplacian spectral radius of simplicial complexes without holes, defined as those with vanishing Betti numbers. It determines the structure of the simplicial complex that attains the maximum spectral radius, thereby extending classical extremal results for graphs without cycles to higher-dimensional simplicial complexes. Furthermore, it establishes an upper bound on the signless Laplacian spectral radius for simplicial complexes with prescribed Betti numbers. As an application, bounds on Turán numbers for hypergraphs and simplicial complexes are derived using the link between the spectral radius and face numbers. The methods rely on the canonical Alexander dual of perfect matchings and coloring of simplicial complexes.

Significance. Should the results be correct, this contribution would provide a significant extension of spectral Turán theory to simplicial complexes, offering structural characterizations and bounds that could advance understanding of extremal problems in higher dimensions. The application to Turán numbers highlights its relevance to hypergraph theory. The novel use of Alexander duality in this spectral context is noteworthy.

major comments (1)
  1. [Section 3, proof of the main theorem] The claim that the coloring argument on the canonical Alexander dual forces a unique maximizer under vanishing Betti numbers is central to the determination of the structure. However, it is not shown that this rules out all other possible complexes with the same Betti numbers that could potentially attain the same spectral radius. Explicit verification is needed to confirm that the inequality is strict for non-extremal candidates.
minor comments (2)
  1. [Abstract] The term 'without holes' should be briefly defined or referenced to the Betti number condition for readers unfamiliar with the terminology.
  2. Ensure all notation for simplicial complexes and spectral radius is consistently defined in the introduction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive feedback. We address the major comment below and are happy to incorporate clarifications that strengthen the presentation of the main result.

read point-by-point responses

  1. Referee: [Section 3, proof of the main theorem] The claim that the coloring argument on the canonical Alexander dual forces a unique maximizer under vanishing Betti numbers is central to the determination of the structure. However, it is not shown that this rules out all other possible complexes with the same Betti numbers that could potentially attain the same spectral radius. Explicit verification is needed to confirm that the inequality is strict for non-extremal candidates.

    Authors: We thank the referee for this observation. The coloring argument on the canonical Alexander dual, when combined with the vanishing of all Betti numbers, forces the complex to be a complete multipartite simplicial complex (in the sense defined in the paper) because any other face set would either admit a non-proper coloring or produce a nonzero Betti number, contradicting the hypothesis. By the strict monotonicity of the signless Laplacian spectral radius with respect to the face numbers (established in Section 2), this immediately yields a strictly smaller value for any non-isomorphic complex with the same Betti numbers. Nevertheless, we agree that an explicit verification paragraph would improve readability. In the revised manuscript we will add a short lemma (or remark) in Section 3 that considers an arbitrary non-extremal complex K with vanishing Betti numbers, exhibits an alternative coloring of its Alexander dual, and derives a strict inequality on the number of faces of each dimension, thereby confirming that the spectral radius is strictly less than that of the extremal example. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation; proof relies on external combinatorial arguments.

full rationale

The paper establishes an upper bound and characterizes the maximizer for the signless Laplacian spectral radius of simplicial complexes without holes (vanishing Betti numbers) via the canonical Alexander dual of perfect matchings combined with a coloring argument. No equations are presented that define a quantity in terms of itself, no fitted parameters are relabeled as predictions, and no load-bearing step reduces to a self-citation chain or imported uniqueness theorem from the same authors. The technique is described as extending classical graph results through independent combinatorial constructions, making the central claim self-contained against external benchmarks rather than circular by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms or invented entities can be extracted. The work appears to rely on standard spectral graph theory lifted to complexes and on topological invariants (Betti numbers).

pith-pipeline@v0.9.0 · 5661 in / 1063 out tokens · 35726 ms · 2026-05-19T03:11:12.019011+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    We characterize the simplicial complex that maximizes the signless Laplacian spectral radius among all hole-free simplicial complexes... Our technique involves the canonical Alexander dual of perfect matchings and coloring of simplicial complexes.

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. Signless Laplacian spectral radius of simplicial complexes without $r$-dimensional wheels

    math.CO 2026-04 unverdicted novelty 6.0

    For large n, the maximum signless Laplacian spectral radius among n-vertex r-dimensional pure simplicial complexes without r-dimensional wheels is attained by specific extremal complexes, generalizing graph results an...

Reference graph

Works this paper leans on

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

  1. [1]

    Bachoc, A

    C. Bachoc, A. Gundert, A. Passuello, The theta number of simplicial complexes, Israel J. Math. , 232: 443-481, 2019. 2.1

    work page 2019

  2. [2]

    Chung, L

    F. Chung, L. Lu, An upper bound for the Tur´ an number t3(n, 4), J. Combin. Theory Ser. A , 87(2): 381-389, 1999. 1, 1

    work page 1999

  3. [3]

    De Caen, Extension of a theorem of Moon and Moser on complete subgraphs, Ars Combin., 16: 5-10, 1983

    D. De Caen, Extension of a theorem of Moon and Moser on complete subgraphs, Ars Combin., 16: 5-10, 1983. 1, 3.9

    work page 1983

  4. [4]

    A. M. Duval, V. Reiner, Shifted simplicial complexes are Laplacian integral, Trans. Amer. Math. Soc., 354(11): 4313-4344, 2002. 2.1

    work page 2002

  5. [5]

    Eckmann, Harmonische funktionen und randwertaufgaben in einem komplex, Comment

    B. Eckmann, Harmonische funktionen und randwertaufgaben in einem komplex, Comment. Math. Helv., 17(1): 240-255, 1944. 2.1

    work page 1944

  6. [6]

    Erd˝ os, M

    P. Erd˝ os, M. Simonovits, A limit theorem in graph theory, Studia Sci. Math. Hungar. , 1: 51–57,

    work page

  7. [7]

    Erd˝ os, P

    P. Erd˝ os, P. Frankl, V. R˝ odl. The asymptotic number of graphs not containing a fixed subgraph and a problem for hypergraphs having no exponent, Graphs Combin., 2: 113-121, 1986. 1

    work page 1986

  8. [8]

    Ergemlidze, E

    B. Ergemlidze, E. Gy˝ ori, A. Methuku, Asymptotics for Tur´ an numbers of cycles in 3-uniform linear hypergraphs, J. Combin. Theory Ser. A , 163: 163-181, 2019. 1 SPECTRAL RADIUS OF COMPLEXES 17

    work page 2019

  9. [9]

    Fan, Y.-M

    Y.-Z. Fan, Y.-M. Song, Y. Wang, The Spectra of Laplace operators on covering simplicial complexes, arXiv: 2312.12709 , 2023. 2.1

    work page arXiv 2023

  10. [10]

    Fan, H.-F

    Y.-Z. Fan, H.-F. W, Y. Wang, The largest Laplacian eigenvalue and the balancedness of simplicial complexes, J. Algebraic Combin., 61: 53, 2025. 2.1

    work page 2025

  11. [11]

    F¨ uredi, L.¨Ozkahya, On 3-uniform hypergraphs without a cycle of a given length, Discrete Appl

    Z. F¨ uredi, L.¨Ozkahya, On 3-uniform hypergraphs without a cycle of a given length, Discrete Appl. Math., 216: 582-588, 2017. 1

    work page 2017

  12. [12]

    F¨ uredi, A

    Z. F¨ uredi, A. Gy´ arf´ as, An extension of Mantel’s theorem tok-graphs, Amer. Math. Monthly, 127(3): 263-268, 2020. 1

    work page 2020

  13. [13]

    G. Gao, A. Chang, A linear hypergraph extension of the bipartite Tur´ an problem, European J. Combin., 93: 103269, 2021. 1

    work page 2021

  14. [14]

    G. Gao, A. Chang, Y. Hou. Spectral radius on linear r-graphs without expanded Kr+1, SIAM J. Discrete Math., 36(2): 1000-1011, 2022. 1

    work page 2022

  15. [15]

    Gerbner, A

    D. Gerbner, A. Methuku, and M. Vizer, Asymptotics for the Tur´ an number of Berge-K2,t, J. Combin. Theory Ser. B , 137: 264-290, 2019. 1

    work page 2019

  16. [16]

    Gerbner, C

    D. Gerbner, C. Palmer, Extremal results for Berge hypergraphs, SIAM J. Discrete Math. , 31(4): 2314-2327, 2017. 1

    work page 2017

  17. [17]

    Golubev, On the chromatic number of a simplicial complex, Combinatorica, 37: 953-964, 2017

    K. Golubev, On the chromatic number of a simplicial complex, Combinatorica, 37: 953-964, 2017. 2.1

    work page 2017

  18. [18]

    Horak, J

    D. Horak, J. Jost, Spectra of combinatorial Laplace operators on simplicial complexes, Adv. Math., 244: 303-336, 2013. 2.1

    work page 2013

  19. [19]

    Y. Hou, A. Chang, J. Cooper, Spectral extremal results for hypergraphs, Electron. J. Combin., 28(3): P3.46, 2021. 1

    work page 2021

  20. [20]

    Katona, T

    G. Katona, T. Nemetz and M. Simonovits, On a problem of Tur´ an in the theory of graphs, Mat. Lapok, 15(1): 228-238, 1964. 1

    work page 1964

  21. [21]

    Kaufman, I

    T. Kaufman, I. Oppenheim, High order random walks: Beyond spectral gap, Combinatorica, 40: 245-281, 2020. 2.2, 2.2

    work page 2020

  22. [22]

    Kaufman, A

    T. Kaufman, A. Lubotzky, High dimensional expanders and property testing, Proc. 5th Conf. Innov. Theor. Comput. Sci. , pp. 501-506, 2014. 2.2

    work page 2014

  23. [23]

    Keevash, J

    P. Keevash, J. Lenz, D. Mubayi, Spectral extremal problems for hypergraphs, SIAM J Discrete Math., 28(4): 1838-1854, 2014. 1

    work page 2014

  24. [24]

    Keevash, J

    P. Keevash, J. Long, B. Narayanan, A. Scott, A universal exponent for homeomorphs, Israel J. Math., 243: 141–154, 2021. 1

    work page 2021

  25. [25]

    Kupavskii, A

    A. Kupavskii, A. Polyanskii, I. Tomon, D. Zakharov, The extremal number of surfaces, Int. Math. Res. Not., 17: 13246–13271, 2022. 1

    work page 2022

  26. [26]

    Lazebnik, J

    F. Lazebnik, J. Verstra¨ ete, On hypergraphs of girth five,Electron. J. Combin., 10: #R25, 2003. 1

    work page 2003

  27. [27]

    J. Long, B. Narayanan, C. Yap, Simplicial homeomorphs and trace-bounded hypergraphs, Discrete Anal., 6, 2022. 1

    work page 2022

  28. [28]

    L. Lu, Y. Zhao, An exact result for hypergraphs and upper bounds for the Tur´ an density of K r r+1, SIAM J Discrete Math , 23(3): 1324-1334, 2009. 1

    work page 2009

  29. [29]

    Lubotzky, Ramanujan complexes and high dimensional expanders, Japan

    A. Lubotzky, Ramanujan complexes and high dimensional expanders, Japan. J. Math. , 9: 137-169,

    work page

  30. [30]

    F AN AND C.-M

    2.2 18 Y.-Z. F AN AND C.-M. SHE

    work page

  31. [31]

    X. Luo, D. Zhang, Spectrum of signless 1-Laplacian on simplicial complexes, Electron. J. Combin., 27(2): # P2.30, 2020. 2.2

    work page 2020

  32. [32]

    Mubayi, O

    D. Mubayi, O. Pikhurko, A hypergraph extension of Tur´ an’s theorem, J. Combin. Theory Ser. B , 96(1): 122-134, 2006. 1

    work page 2006

  33. [33]

    Mubayi, O

    D. Mubayi, O. Pikhurko, A new generalization of Mantel’s theorem to k-graphs, J. Combin. Theory Ser. B, 97(4): 669-678, 2007. 1

    work page 2007

  34. [34]

    J. R. Munkres, Elements of Algebraic Topology, CRC Press, 1984. 3.1

    work page 1984

  35. [35]

    Newman, M

    A. Newman, M. Pavelka. A conditional lower bound for the Tur´ an number of spheres. arXiv: 2403.05364, 2024. 1, 3.11

    work page arXiv 2024

  36. [36]

    I. Z. Ruzsa, E. Szemer´ edi. Triple systems with no six points carrying three triangles, InCombinatorics (Proc. Fifth Hungarian Colloq., Keszthely, 1976), Vol. II , pages 939-945, Amsterdam-New York,

    work page 1976

  37. [37]

    London Math

    Maya Sankar, The Tur´ an number of surfaces,Bull. London Math. Soc. , 56: 3786–3800, 2024. 1

    work page 2024

  38. [38]

    She, Y.-Z

    C.-M. She, Y.-Z. Fan, L. Kang, Y. Hou, Linear spectral Tur´ an problems for expansions of graphs with given chromatic number, Acta Math. Appl. Sin. Engl. Ser. , 2025, doi: 10.1007/s10255-024-1156-x. 1

    work page doi:10.1007/s10255-024-1156-x 2025

  39. [39]

    She, Y.-Z

    C.-M. She, Y.-Z. Fan, L. Kang, Spectral bipartite Tur´ an problems on linear hypergraphs, Discrete Math., 348(6): 114435, 2025. 1

    work page 2025

  40. [40]

    Song, H.-F

    Y.-M. Song, H.-F. Wu, Y.-Z. Fan, The normalized Laplacian eigenvalue and incidence balancedness of simplicial complexes, Bull. Iran. Math. Soc. , 51: 42, 2025. 2.1

    work page 2025

  41. [41]

    S´ os, P

    T. S´ os, P. Erd˝ os, W. G. Brown, On the existence of triangulated spheres in 3-graphs, and related problems, Period. Math. Hungar. , 3: 221-228, 1973. 1

    work page 1973

  42. [42]

    Timmons, On r-uniform linear hypergraphs with no Berge-K2,t, Electron

    C. Timmons, On r-uniform linear hypergraphs with no Berge-K2,t, Electron. J. Combin., 24: #P4.34,

    work page

  43. [43]

    Tur´ an, On an extremal problem in graph theory,Mat

    P. Tur´ an, On an extremal problem in graph theory,Mat. Lapok, 48: 436-452, 1941. 1 Center for Pure Mathematics, School of Mathematical Sciences, Anhui University, Hefei 230601, P. R. China Email address : fanyz@ahu.edu.cn School of Mathematical Sciences, Anhui University, Hefei 230601, P. R. China Email address : cm-she@stu.ahu.edu.cn

    work page 1941