graph
35252 papers tagged with this keyword
Hermitian adjacency matrices with at most three distinct eigenvalues
Published in Discrete Mathematics. 349 (2026) 114872
• View Publication
• BIB
We study oriented graphs whose Hermitian adjacency matrices of the second kind have few eigenvalues. We give a complete characterization of the oriented graphs with two distinct eigenvalues, showing that there are only four such graphs. We extend this result to mixed graphs. We show that there are infinitely many regular tournaments with three distinct eigenvalues. We extend our main results to Hermitian adjacency matrices defined over other roots of unity.
Mixed Dimer Models for Euler and Catalan Numbers
We study the enumeration of mixed dimer covers on skew Young diagrams of ribbon shape (also called border strips or snake graphs). For the two extreme cases of straight and zigzag shapes, we show that the number of mixed dimer covers are given by the Euler and Catalan numbers. We also give q-analogs by showing that the rank generating functions of the partial orders on mixed dimer covers agree with certain q-Euler and q-Catalan numbers. These q-analogs are a consequence of an isomorphism between the partial order on mixed dimer covers and the so-called middle order on certain classes of permutations.
Torsion in Magnitude homology theories
In this article, we analyze the structure and relationships between magnitude homology and Eulerian magnitude homology of finite graphs. Building on the work of Kaneta and Yoshinaga, Sazdanovic and Summers, and Asao and Izumihara, we provide two proofs of the existence of torsion in Eulerian magnitude homology, offer insights into the types and orders of torsion, and present explicit computations for various classes of graphs.
On co-edge-regular graphs with 4 distinct eigenvalues
Published
• View Publication
• BIB
Tan et al. conjectured that connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, when having sufficiently large valency, belong to two different families of graphs. In this paper we construct two new infinite families of connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, thereby disproving their conjecture. Moreover, one of these constructions demonstrates that clique-extensions of Latin Square graphs are not determined by their spectrum.
Regularity of $3$-Path Ideals of Trees and Unicyclic Graphs
Published in Bull. Malays. Math. Sci. Soc., 47, article number 4, pp.10, 2024
• View Publication
• BIB
Let $G$ be a simple graph and $I_3(G)$ be its $3$-path ideal in the corresponding polynomial ring $R$. In this article, we prove that for an arbitrary graph $G$, $reg(R/I_3(G))$ is bounded below by $2ν_3(G)$, where $ν_3(G)$ denotes the $3$-path induced matching number of $G$. We give a class of graphs, namely, trees for which the lower bound is attained. Also, for a unicyclic graph $G$, we show that $reg(R/I_3(G))\leq 2ν_3(G)+2$ and provide an example that shows that the given upper bound is sharp.
On binomial edge ideals of corona of graphs
Published
• View Publication
• BIB
For a simple graph $G$, let $J_G$ denote the corresponding binomial edge ideal. This article considers the binomial edge ideal of the corona product of two connected graphs $G$ and $H$. The corona product of $G$ and $H$, denoted by $G\circ H$, is a construction where each vertex of $G$ is connected (via the coning-off) to an entire copy of $H$. This is a direct generalization of a cone construction. Previous studies have shown that for $J_{G \circ H}$ to be Cohen-Macaulay, both $G$ and $H$ must be complete graphs. However, there are no general formulae for the dimension, depth, or Castelnuovo-Mumford regularity of $J_{G\circ H}$ for all graphs $G$ and $H$. In this article, we provide a general formula for the dimension, depth and Castelnuovo-Mumford regularity of the binomial edge ideals of certain corona and corona-type (somewhat a generalization of corona) products of special interests. Additionally, we study the Cohen-Macaulayness, unmixedness and related properties of binomial edge ideals corresponding to above class of graphs. We have also added a short note on the reduction of the Bolognini-Macchia-Strazzanti Conjecture to all graphs with a diameter of $3$.
On the determinant of the walk matrix of the rooted product with a path
Published
• View Publication
• BIB
For an $n$-vertex graph $G$, the walk matrix of $G$, denoted by $W(G)$, is the matrix $[e,A(G)e,\ldots,(A(G))^{n-1}e]$, where $A(G)$ is the adjacency matrix of $G$ and $e$ is the all-ones vector. For two integers $m$ and $\ell$ with $1\le \ell\le (m+1)/2$, let $G\circ P_m^{(\ell)}$ be the rooted product of $G$ and the path $P_m$ taking the $\ell$-th vertex of $P_m$ as the root, i.e., $G\circ P_m^{(\ell)}$ is a graph obtained from $G$ and $n$ copies of the path $P_m$ by identifying the $i$-th vertex of $G$ with the $\ell$-th vertex (the root vertex) of the $i$-th copy of $P_m$ for each $i$. We prove that, $\det W(G\circ P_m^{(\ell)})$ equals $\pm (\det A(G))^{\lfloor\frac{m}{2}\rfloor}(\det W(G))^m$ if $\gcd(\ell,m+1)=1$, and equals 0 otherwise. This extends a recent result established in [Wang et al. Linear Multilinear Algebra 72 (2024): 828--840] which corresponds to the special case $\ell=1$. As a direct application, we prove that if $G$ satisfies $\det A(G)=\pm 1$ and $\det W(G)=\pm 2^{\lfloor n/2\rfloor}$, then for any sequence of integer pairs $(m_i,\ell_i)$ with $\gcd(\ell_i,m_i+1)=1$ for each $i$, all the graphs in the family \begin{equation*}
G\circ P_{m_1}^{(\ell_1)}, (G\circ P_{m_1}^{(\ell_1)})\circ P_{m_2}^{(\ell_2)}, ((G\circ P_{m_1}^{(\ell_1)})\circ P_{m_2}^{(\ell_2)})\circ P_{m_3}^{(\ell_3)},\ldots \end{equation*} are determined by their generalized spectrum.
Line Graph Characterization of Cyclic Subgroup Graph
Published
• View Publication
• BIB
The cyclic subgroup graph ${Γ(G)}$ of a group $G$ is the simple undirected graph with cyclic subgroups as a vertex set and two distinct vertices $H_1$ and $H_2$ are adjacent if and only if $H_1 \leq H_2$ and there does not exist any cyclic subgroup $K$ such that $H_1 < K < H_2$. In this paper, we classify all the finite groups $G$ such that $Γ(G)$ is the line graph of some graph.
Gluing Posets and the Dichotomy of Poset Saturation Numbers
Published
• View Publication
• BIB
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. The saturation number for posets is known to exhibit a dichotomy: it is either bounded or it has at least $\sqrt n$ rate of growth. Determining which posets have bounded saturation number is a major open problem.
In this paper we consider a `gluing' operation, formed from two finite posets $\mathcal P$ and $\mathcal Q$ by setting all elements of $\mathcal P$ to be below all elements of $\mathcal Q$. We show that (under some mild assumptions) this operation preserves bounded and unbounded saturation number. This is the first such `new from old' poset construction to be found. As an application, we show that for any poset $\mathcal P$ one may add at most 3 elements to $\mathcal P$ to obtain a poset whose saturation number growth is at most linear: this may be viewed as a step towards the other major open problem in the area, namely the conjecture that every finite poset has this growth at most linear.
We also consider the poset equivalent of weak saturation for graphs: for each finite poset $\mathcal P$, we determine exactly the minimum size of a percolating family for $\mathcal P$.
Normal and non-normal Cayley digraphs on cyclic and dihedral groups
A Cayley digraph on a group $G$ is called NNN if the Cayley digraph is normal and its automorphism group contains a non-normal regular subgroup isomorphic to $G$. A group is called NNND-group or NNN-group if there is an NNN Cayley digraph or graph on the group, respectively. In this paper, it is shown that there is no cyclic NNND-group, and hence no cyclic NNN-group. Furthermore, a dihedral group of order $2n$ is an NNND-group or an NNN-group if and only if $n\ge 6$ is even and $n\not=8$.
More on the full Brouwer Laplacian spectrum conjecture
Brouwer conjectured that the sum of the first $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for each $k\in \{1,2,\cdots,n\}$, which has come to be known as Brouwer's conjecture. Recently, Li and Guo further considered the case when the equalities hold in these conjectured inequalities, and proposed the full version of Brouwer's conjecture. In this paper, we first present a concise version of the full Brouwer's conjecture. Then we show that the full Brouwer's conjecture holds for two families of spanning subgraphs of complete split graphs and for $c$-cyclic graphs with $c\in\{0,1,2\}$. We also consider the Nordhaus-Gaddum version of the full Brouwer's conjecture and present partial solutions to it.
Characterizing forbidden pairs for spanning $\varTheta$-subgraphs of 2-connected graphs
Let $\mathcal{F}$ be a set of connected graphs, and let $G$ be a graph. We say that $G$ is \emph{$\mathcal{F}$-free} if it does not contain $F$ as an induced subgraph for all $F\in\mathcal{F}$, and we call $\mathcal{F}$ a forbidden pair if $|\mathcal{F}|=2$. A \emph{$\varTheta$-graph} is the graph consisting of three internally disjoint paths with the same pair of end-vertices. If the $\varTheta$-subgraph $T$ contains all vertices of $G$, then we call $T$ a \emph{spanning $\varTheta$-subgraph} of $G$. In this paper, we characterize all pairs of connected graphs $R,S$ such that every 2-connected $\{R,S\}$-free graph has a spanning $\varTheta$-subgraph. In order to obtain this result, we also characterize all minimal 2-connected non-cycle claw-free graphs without spanning $\varTheta$-subgraphs.
Betti number estimates for non-negatively curved graphs
In this paper, we establish Betti number estimates for graphs with non-negative Ollivier curvature, and for graphs with non-negative Bakry-Émery curvature, providing a discrete analogue of a classical result by Bochner for manifolds. Specifically, we show that for graphs with non-negative Ollivier curvature, the first Betti number is bounded above by half of the minimum combinatorial vertex degree. In contrast, for graphs with non-negative Bakry-Émery curvature, we prove that the first Betti number of the path homology is bounded above by the minimum combinatorial vertex degree minus one. We further present various rigidity results, characterizing graphs that attain the upper bound on the first Betti number under non-negative Ollivier curvature. Remarkably, these graphs are precisely the discrete tori, similar to the Riemannian setting. Furthermore, we show that the results obtained using the Ollivier curvature extend to the setting of potentially non-reversible Markov chains. Additionally, we explore rigidity cases depending on the idleness parameter of the Ollivier curvature, i.e., we characterize rigidity for bone-idle graphs with non-negative Ollivier curvature that attain the upper Betti number bound. We further establish an upper bound on the first Betti number under a more general assumption, where non-negative Ollivier curvature is required only outside a finite subset. Finally, we provide several examples, e.g., we prove that for a potentially non-reversible Markov chain on a cycle of length at least five, there always exists a unique path metric with constant Ollivier curvature. Moreover, this metric has non-negative Ollivier curvature, and the upper Betti number bound is attained if and only if the curvature is zero.
Marked multi-colorings, partially commutative Lie superalgebras and right-angled Coxeter groups
Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.
Universality of the matching number in percolated regular graphs
Fix a sequence of $d$-regular graphs $(G_d)_{d\in \mathbb{N}}$ and denote by $G_{d,p}$ the graph obtained from $G_d$ after edge-percolation with probability $p=c/d$, for a constant $c>0$. We prove a quantitative local convergence of $(G_{d,p})_{d\in \mathbb{N}}$. In combination with results of Bordenave, Lelarge and Salez, it implies that the rescaled matching number of $G_{d,p}$ is asymptotically equivalent to that of the binomial random graph $G(n,c/n)$.
Permutation Equivariant Neural Networks for Symmetric Tensors
Incorporating permutation equivariance into neural networks has proven to be useful in ensuring that models respect symmetries that exist in data. Symmetric tensors, which naturally appear in statistics, machine learning, and graph theory, are essential for many applications in physics, chemistry, and materials science, amongst others. However, existing research on permutation equivariant models has not explored symmetric tensors as inputs, and most prior work on learning from these tensors has focused on equivariance to Euclidean groups. In this paper, we present two different characterisations of all linear permutation equivariant functions between symmetric power spaces of $\mathbb{R}^n$. We show on two tasks that these functions are highly data efficient compared to standard MLPs and have potential to generalise well to symmetric tensors of different sizes.
Edge ideals with linear quotients and without homological linear quotients
Published in Mediterranean Journal of Mathematics, Volume 23, Article 31 (2026)
• View Publication
• BIB
A monomial ideal $I$ is said to have homological linear quotients if for each $k\geq 0$, the homological shift ideal $\mathrm{HS}_k(I)$ has linear quotients. It is a well-known fact that if an edge ideal $I(G)$ has homological linear quotients, then $G$ is co-chordal. We construct a family of co-chordal graphs $\{\mathrm{H}_n^c\}_{n\geq 6}$ and propose a conjecture that an edge ideal $I(G)$ has homological linear quotients if and only if $G$ is co-chordal and $\mathrm{H}_n^c$-free for any $n\geq 6$. In this paper, we prove one direction of the conjecture. Moreover, we study possible patterns of pairs $(G,k)$ of a co-chordal graph $G$ and integer $k$ such that $\mathrm{HS}_k(I(G))$ has linear quotients.
The saturation number of W 4
Published
• View Publication
• BIB
For a fixed graph $H$, a graph $G$ is called $H$-saturated if $G$ does not contain $H$ as a (not necessarily induced) subgraph, but $G+e$ contains a copy of $H$ for any $e\in E(\overline{G})$. The saturation number of $H$, denoted by ${\rm sat}(n,H)$, is the minimum number of edges in an $n$-vertex $H$-saturated graph. A wheel $W_n$ is a graph obtained from a cycle of length $n$ by adding a new vertex and joining it to every vertex of the cycle. A well-known result of Erdős, Hajnal and Moon shows that ${\rm sat}(n,W_3)=2n-3$ for all $n\geq 4$ and $K_2\vee \overline{K_{n-2}}$ is the unique extremal graph, where $\vee$ denotes the graph join operation. In this paper, we study the saturation number of $W_4$. We prove that ${\rm sat}(n,W_4)=\lfloor\frac{5n-10}{2}\rfloor$ for all $n\geq 6$ and give a complete characterization of the extremal graphs.
From de Bruijn graphs to variation graphs-relationships between pangenome models
Published
• View Publication
• BIB
Pangenomes serve as a framework for joint analysis of genomes of related organisms. Several pangenome models were proposed, offering different functionalities, applications provided by available tools, their efficiency etc. Among them, two graph-based models are particularly widely used: variation graphs and de Bruijn graphs. In the current paper we propose an axiomatization of the desirable properties of a graph representation of a collection of strings. We show the relationship between variation graphs satisfying these criteria and de Bruijn graphs. This relationship can be used to efficiently build a variation graph representing a given set of genomes, transfer annotations between both models, compare the results of analyzes based on each model etc.
Counting of lattices containing up to five comparable reducible elements and having nullity up to three
In 2020 Bhavale and Waphare introduced the concept of a nullity of a poset as nullity of its cover graph. In 2003 Pawar and Waphare counted all non-isomorphic lattices on n elements and n edges, which are precisely lattices of nullity one. In 2002 Thakare et al. counted all non-isomorphic lattices on n elements containing two reducible elements. In the same paper, Thakare et al. counted lattices on n elements containing up to n+1 edges, which are precisely lattices of nullity up to two. In 2024 Bhavale and Aware counted all non-isomorphic lattices on n elements, containing up to three reducible elements. Recently, Aware and Bhavale counted all non-isomorphic lattices on n elements, containing four comparable reducible elements, and having nullity three. In this paper, we count up to isomorphism the class of all lattices on n elements containing five comparable reducible elements, and having nullity three.