graph
35150 papers tagged with this keyword
A Faber--Krahn inequality for trees
The well-known Faber-Krahn theorem states that the ball has the lowest first Dirichlet eigenvalue among all domains of the same volume in $\mathbb{R}^n$. Leydold (Geom. Funct. Anal, 1997) gave the discrete version of Faber-Krahn inequality for regular trees with boundary. Bıyıko{ğ}lu and Leydold (J. Combin. Theory Ser. B, 2007) demonstrated that the Faber--Krahn inequality holds for the class of trees with boundary with the same degree sequence. They further posed the following question: Give a characterization of all graphs in a given class \(\mathcal{C}\) with the Faber-Krahn property. In this paper, we show the Faber-Krahn property for trees with given matching number. Our result can imply the Klobürštel theorem, i.e., the Faber-Krahn inequality for trees with given number of interior vertices and boundary vertices.
Some classes of connected signed graphs with girth $g$ and negative inertia index $\lceil\frac{g}{2}\rceil+1$
Let $Γ$ be a signed graph. The number of negative eigenvalues of the adjacency matrix of $Γ$ is called the negative inertia index of $Γ$, which is denoted by $i_-(Γ)$. The length of the shortest cycle contained in $Γ$ is called the girth of $Γ$, and it is denoted by $g$. In this paper, we give some classes of connected signed graphs $Γ$ which satisfy the condition $i_-(Γ)=\lceil\frac{g}{2}\rceil+1$.
Efficient spectral bounds on the chromatic number of Hamming, Johnson, and Kneser graph powers
We investigate spectral lower bounds on the chromatic number $χ$ of Hamming graph powers $H(n, q)^p$, Johnson graph powers $J(n, k)^p$, and Kneser graph powers $K(n, k)^p$ providing the first computationally feasible nontrivial results. While the classical Hoffman bound on $χ$ can, in principle, be applied to any graph, naïve computation requires $O(q^{3n})$ time for $H(n, q)^p$ and $O(({}_nC_k)^3)$ time for both $J(n, k)^p$ and $K(n, k)^p$. We thus express the adjacency eigenvalues of these graphs in terms of hypergeometric orthogonal polynomials, exploiting recurrence relations that arise to efficiently compute the entire spectra. We then apply dynamic programming to compute the Hoffman bounds for $H(n, q)^p$, $J(n, k)^p$, and $K(n, k)^p$ in $O(np)$, $O(kp)$, and $O(k^2)$ time, respectively.
Harmony in 10-TET: From Parallel Universes to Cousins of Desargues Configuration
The 10-tone equal temperament (10-TET) constitutes a distinct harmonic environment with step sizes exceeding the standard semitone, yet it has historically remained on the fringes of music theory. This paper proposes a radical shift in perspective, treating 10-TET not as an imperfect imitation of 12-TET, but as an independent harmonic universe with its own rigorous logic. We classify all possible harmonic systems in 10-TET using a single structural parameter, representing the difference between the harmonic mediants (the major and minor thirds) which sum to the generator (the fifth).
Our analysis reveals a rich landscape of possibilities. The system defined by the structural parameter equal to 1 (we call it Wide) initially appears to suffer from a fundamental structural flaw: its harmonic space fractures into two disjoint, parallel universes. Conversely, the Wide system (structural parameter equal to 5) emerges as a geometrically superior structure, isomorphic to the Unique Cyclic Configuration in the classification of combinatorial 10_3 configurations, forming a fully connected, vertex-transitive graph. Between these extremes lies the Tritone system (structural parameter equal to 3), which topologically is similar to the Wide system, but it has a significantly larger symmetry group, due to the Tritone modal transformation. We conclude by providing a complete classification of these systems as bipartite circulant graphs, demonstrating that 10-TET is a mathematically complex and musically viable alternative to the standard 12-tone system.
Lee-Yang phenomena in edge-coloured graph counting
We study the accumulation of zeros of a polynomial arising from the enumeration of edge-coloured graphs along certain limit curves. The polynomial is a variant of an edge-chromatic polynomial, which specialises to the partition function of the ferromagnetic Ising model on a random regular graph. We call this accumulation behaviour a Lee-Yang phenomenon in analogy with the Lee-Yang theorem. The limiting loci are semialgebraic and arise from anti-Stokes curves of an exponential integral.
A modern perspective on Tutte's homotopy theorem
We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.
Efficient Enumeration of Cliques in Graphs with Bounded Maximum Degree
Published
• View Publication
• BIB
In recent years, there has been a surge of interest in extremal problems concerning the enumeration of independent sets or cliques in graphs with specific constraints. For instance, the Kahn-Zhao theorem establishes an upper bound on the number of independent sets in a $d$-regular graph. Building on this, Cutler and Radcliffe extended the result by identifying the graph that maximizes the number of cliques among graphs with bounded order and maximum degree.
In this paper, we introduce an innovative approach for counting cliques in graphs with a bounded maximum degree. To demonstrate the effectiveness of the method, we provide a new proof for the above Cutler-Radcliffe theorem and the Kahn-Zhao theorem.
Subcubic graphs without eigenvalues in $(-1, 1)$
Guo and Royle recently classified the connected cubic graphs without eigenvalues in the open interval $(-1, 1)$, and raised the question of extending their classification to graphs of maximum degree at most $3$. They carried out a preliminary investigation of the subcubic case, exhibiting both infinite families and sporadic examples. In this paper, we complete this investigation by determining all connected subcubic graphs that are not cubic and have no eigenvalues in $(-1,1)$. We show that exactly two infinite families and eight sporadic examples occur, and that every sporadic graph has at most $18$ vertices.
As a consequence, we prove that $(-1,1)$ is a maximal spectral gap set for the class connected subcubic graphs. Guo and Royle, answering a question of Kollár and Sanark, proved that $(-1,1)$ is a maximal spectral get set for the class of connected cubic graphs. Our result strictly extends theirs.
A general formula for walk determinants of rooted products with applications to DGS-graph constructions
Published
• View Publication
• BIB
For an $n$-vertex graph $G$, and a rooted graph $H^{(v)}$ with $v$ as the root, the rooted product graph $G\circ H^{(v)}$ is obtained from $G$ and $n$ copies of $H$ by identifying the root of the $i$th copy of $H$ with the $i$th vertex of $G$ for each $i$. As a refinement of the controllability criterion of $G\circ H^{(v)}$ obtained recently by Shan and Liu (2025), we obtain an explicit formula for the determinant of the walk matrix of $G\circ H^{(v)}$. Furthermore, for an important family of graphs $\mathcal{F}$ that are determined by their generalized spectrum (DGS), we introduce the concept of $\mathcal{F}$-preservers and provide a sufficient condition for a rooted graph to be an $\mathcal{F}$-preserver. A list of $\mathcal{F}$-preservers of small order is provided, which leads to many new infinite families of DGS-graphs using rooted products.
Castelnuovo-Mumford regularity of generalized binomial edge ideals of graphs
Published
• View Publication
• BIB
In this paper, we mainly study the Castelnuovo-Mumford regularity of the generalized binomial edge ideals of graphs. We show that this number can be any integer number from $2$ to $n-1$ where $n$ is the number of vertices in the underlying graph. We are able to show this, after giving some tight lower and upper bounds for the regularity of generalized binomial edge ideals of the join product of graphs. In particular, we characterize all generalized binomial edge ideals with the regularity equal to~$2$ as well as extremal Gorenstein ideals. For this purpose, we give a new combinatorial characterization for the class of $P_4$-free graphs.
On counting polygons in a crystal
How many $n$-step polygons exist that contain a given vertex of an infinite quasi-transitive graph $G$? The exponential growth rate of such polygons is identified as the connective constant when $G$ has sub-exponential growth and possesses a so-called square graph height function. The last condition amounts to the requirement that $G$ has a certain ${\Bbb Z}^2$ action of automorphisms. The main theorem extends a result of Hammersley (Proc. Cambridge Philos. Soc. 57 (1961) 516--523) and others for the hypercubic lattice, and responds to Hammersley's challenge to prove such a result for more general "crystals''.
The diameter and dominating sets of the difference graph of a nilpotent group
Published
• View Publication
• BIB
Given a finite group $G$, the difference graph of $G$, denoted by $\mathcal{D}(G)$, is the difference of the enhanced power graph of $G$ and the power graph of $G$, with all isolated vertices removed. This paper mainly studies the dominating sets of the difference graph of a finite group. In particular, we prove that the diameter of the difference graph of a nilpotent group has an upper bound of $4$. Furthermore, we generalize and refine the result by Biswas et al. by classifying all nilpotent groups whose difference graph has diameter $k$, for each $k\le 4$.
Extremal $Q$-index problem in outerplanar graphs
Outerplanar Turán problem has received considerable attention recently. We study the spectral version via $Q$-index. We determine the unique graph that maximizes the $Q$-index among all $n$-vertex connected outerplanar graphs which are respectively forbidden to contain: (i) a fixed cycle; and (ii) the disjoint union of paths of a given order.
Adjacency-diametrical matrix of a graph
The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.
The Delta Theorem: a dimension bound for faithful orthogonal graph representations
In 1987 Hiroshi Maehara conjectured that a graph can be represented by vectors considered adjacent when not orthogonal (a faithful orthogonal representation) in codimension the minimum degree of the graph. Without settling the conjecture, Làslò Lovàsz, Michael Saks, and Alexander Schrijver (LSS) showed that a codimension of vertex connectivity both suffices and is best possible under the additional assumption of general position, and gave a probabilistic construction for producing such representations. The present work proves the conjecture of Maehara as well as related conjectures, variants of the Delta Conjecture, that have arisen independently in combinatorial matrix theory. The strongest of these is that minimum degree of G gives a lower bound for the maximum nullity of a positive definite matrix with pattern G that has the Strong Arnold Property (SAP). Such nullity questions are an important subcase of the Inverse Eigenvalue Problem for a Graph (IEPG).
The name greedegree is introduced for the largest possible final degree of a maximum cardinality search (MSC) ordering, which is to say an ordering that greedily maximizes adjacencies to previous chosen vertices. The name upper-zero generic is introduced to describe symmetric matrices with nonzero diagonal such that the zeros above the diagonal in any column belong to an independent set of rows, which matrices necessarily have the SAP.
The proof technique takes the probabilistic construction of LSS and parametrizes it completely in terms of independent variables, producing large polynomials that are reasoned about using an introduced operad of hanging garden diagrams. In the case of an MSC ordering in codimension greedegree, it is shown that the leading monomial in an appropriate term order has no canceling term, giving a nonzero polynomial. The resulting representation is faithful with upper-zero generic Gram matrix.
Bruhat intervals that are large hypercubes
We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and which we show works well for general $n$. When $n$ is a power of 2 we exhibit a hypercube of dimension $O(n\log n)$, matching the largest possible dimension up to a constant multiple. Furthermore, we give an exact characterization of the vertices of this hypercube: they are precisely the \emph{dyadically well-distributed} permutations -- a simple digitwise property that already appeared in connection with Monte Carlo integration and mathematical finance. The maximal dimension of a Bruhat interval that is an hypercube in $S_n$ gives a lower bound (and possibly is equal to) the maximal possible coefficient of the second-highest degree term in the Kazhdan--Lusztig $R$-polynomial in $S_n$. As a surprising consequence, we obtain a new lower bound of order $n\log n$ for the maximal number of frozen variables appearing in the cluster algebras attached to the open Richardson varieties in $S_n$, and a similar result for moduli spaces of embeddings of Bruhat graphs.
Algorithmic Design and Graph-Based Classification for Rectilinear-Shaped Modules in Floor Plans
We present a graph-theoretic framework for constructing floor plans that support non-rectangular modules, with particular emphasis on L-shaped and T-shaped geometries. Unlike traditional approaches that primarily focus on rectangular modules and outer boundary constraints, our method explicitly incorporates structural restrictions that arise when realizing more complex module shapes within rectangular floor-plan representations. The framework is based on triangulated graphs and investigates how algorithmic graph theory techniques can be used to embed L and T-shaped modules while preserving prescribed adjacencies.
We show that not every triangulated graph admits such realizations and identify structural limitations that prevent the existence of the desired module geometries. To capture these limitations, we introduce a shape-preservation constraint that ensures module geometries cannot be altered through boundary deformation, as such changes would either increase the combinatorial complexity of neighboring modules or violate adjacency relationships.
We propose a linear-time construction algorithm based on a prioritized canonical ordering that realizes L and T-shaped modules in graphs containing at least one internal K4, or two internal K4 subgraphs satisfying specific existence conditions. The algorithm is simple, constructive, and directly implementable, making it suitable for practical floor-plan generation workflows. We conclude by discussing extensions to additional module shapes and broader classes of supporting graph structures.
Towards a conjecture on long induced rainbow paths in triangle-free graphs
Given a triangle-free graph $G$ with chromatic number $k$ and a proper vertex coloring $φ$ of $G$, it is conjectured that $G$ contains an induced rainbow path on $k$ vertices under $φ$. Scott and Seymour proved the existence of an induced rainbow path on $(\log \log \log k)^{\frac{1}{3}- o(1)}$ vertices. We improve this to $(\log k)^{\frac{1}{2}- o(1)}$ vertices. Further, we prove the existence of an induced path that sees $\frac{k}{2}$ colors.
A Reduction of the Reconstruction Conjecture using Domination and Vertex Pair Parameters
A graph is reconstructible if it is determined up to isomorphism from the collection of all its one-vertex-deleted subgraphs, known as the deck of G. The Reconstruction Conjecture (RC) posits that every finite simple graph with at least three vertices is reconstructible. In this paper, we prove that the class of graphs with domination number $γ(G)=2$ is recognizable from the deck $D(G)$. We also establish a new reduction of the RC: it holds if and only if all $2$-connected graphs $G$ with $γ(G)=2$ or $\operatorname{diam}(G)=\operatorname{diam}(\overline{G})=2$ are reconstructible. To aid reconstruction, we introduce two new parameters: $dv(G,k_1,k_2,k_3)$, which counts the number of non-adjacent vertex pairs in $G$ with $k_1$ common neighbours, $k_2$ neighbours exclusive to the first vertex, and $k_3$ exclusive to the second; and $dav(G,k_1,k_2,k_3)$, defined analogously for adjacent pairs. For connected graphs with at least $12$ vertices and $γ(G)\geq 3$, we show these parameters are reconstructible from $D(G)$ via recursive equations and induction. Finally, we prove that $k$-geodetic graphs of diameter two with $γ(G),γ(\overline{G})\geq 3$ are reconstructible under conditions where a vertex degree matches the size of a specific subset derived from these parameters.
Some lemmas on spectral radius of graphs: including an application
Published
• View Publication
• BIB
For a graph $G$, the spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. In this paper, we give three lammas on $ρ(G)$ when $G$ contains a spanning complete bipartite graph. Using these lemmas and typical spectral method, we characterized the unique extremal graph with the maximum spectral radius among all planar graphs of large order $n$ without a cycle of length $\ell$, where $5\leq \ell\leq n$.