ICANEWS

Natural Sciences

Endpoint Exception to Conjectured Equality for Laplacian Eigenvalue Products

This study presents specific counterexamples to a conjectured equality characterization concerning Laplacian eigenvalue products. The focus is on Conjecture 20

Overview

This study presents specific counterexamples to a conjectured equality characterization concerning Laplacian eigenvalue products. The focus is on Conjecture 20 as formulated by Chen, Guo, Li, and Wang in a 2025 publication within the Electronic Journal of Combinatorics.

Research Context

The core of this research addresses Conjecture 20, presented in the paper titled "Chen, Guo, Li and Wang, Electron. J. Combin. 32(4) (2025), P4.37." This conjecture involves an equality characterization related to Laplacian eigenvalue products. The current work specifically investigates this equality characterization, rather than the broader numerical inequality also present within that same conjecture.

Approach

The approach involved constructing and identifying specific graph structures that violate the equality characterization of Conjecture 20. These structures are termed "eight-vertex counterexamples."

Findings

  • The research identified eight-vertex counterexamples to the equality characterization outlined in Conjecture 20 by Chen, Guo, Li, and Wang.
  • These counterexamples are observed to occur at the included endpoint, specifically where $k=3n/4$.
  • The identified eight-vertex counterexamples extend to constitute infinite families of such counterexamples.
  • A notable subset of these infinite families includes cases for which both the graph itself and its complement are connected.
  • The identified examples, while contradicting the equality characterization, do not, according to the research, contradict the numerical inequality also stated in Conjecture 20.

Key Findings

  • Eight-vertex counterexamples were found for the equality characterization in Conjecture 20 of Chen, Guo, Li and Wang.
  • These counterexamples occur at the endpoint $k=3n/4$.
  • The counterexamples extend to infinite families, including instances where both the graph and its complement are connected.
  • These examples do not contradict the numerical inequality within Conjecture 20.