graph
35150 papers tagged with this keyword
Quadratic Embedding Constants of Corona Graphs
Published
• View Publication
• BIB
The quadratic embedding constant (QEC) of a connected graph is defined to be the maximum of the quadratic function associated with its distance matrix on a certain unit sphere of codimension two. In this paper we derive a formula for the QEC of a corona graph $G\odot H$. It is shown that $\mathrm{QEC}(G\odot H)=ψ_{H*}^{-1}(\mathrm{QEC}(G))$ holds under some spectral assumptions on $H$, where $ψ_{H*}^{-1}$ is the inverse function of the most right branch of the analytic function $ψ_H$ defined by means of the main eigenvalues of the adjacency matrix of $H$. Moreover, if $H$ is a regular graph of which the adjacency matrix has the smallest eigenvalue $-2$, then the formula is written down explicitly.
Nowhere-zero flow reconfiguration
We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture.
We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.
Persistent commutative algebra on graphs and hypergraphs
Published
• View Publication
• BIB
We introduce a persistent commutative algebra for studying the algebraic and combinatorial evolution of edge ideals of graphs and hypergraphs under filtration. Building on the Persistent Stanley--Reisner Theory (PSRT), we develop the notion of persistent edge ideals and analyze their graded Betti numbers across the filtration of graphs or hypergraphs. To enable this analysis, we establish a persistent extension of Hochster's formula, providing a functorial correspondence between algebraic and topological persistence. We further examine the behavior of Betti splittings in the persistent setting, proving a general inequality that extends the classical splitting result to the filtration of monomial ideals. Motivated by graph-theoretic interpretations, we introduce persistent minimal vertex covers, which encode the temporal structure of combinatorial dependencies within evolving graphs or hypergraphs. Applications to alignment-free genomic classification and molecular isomer discrimination demonstrate the interpretability and representatbility of persistent edge ideals as algebraic invariants, bridging combinatorial commutative algebra and data science.
Antimagicness of graphs with a dominating clique
A graph $G = (V, E)$ is called antimagic if there exists a bijective labelling $f : E \rightarrow \{1, 2, \ldots, |E|\}$ such that the vertex-sums of labels over edges incident to a given vertex are all distinct. In this paper, we extend the antimagicness results over graphs with a dominating clique. We also introduce an alternative to the usual definition of antimagic graphs, called C-antimagic, allowing for the labelling to be injective in $\{1, 2, . . . , |E| + C\}$ instead of bijective, and show that almost all graphs with a dominating clique are 3-antimagic.
On the Complexity of Bipartite Degree Realizability
We study the \emph{Bipartite Degree Realization} (BDR) problem: given a graphic degree sequence $D$, decide whether it admits a realization as a bipartite graph. While bipartite realizability for a fixed vertex partition can be decided in polynomial time via the Gale--Ryser theorem, the computational complexity of BDR without a prescribed partition remains unresolved. We address this question through a parameterized analysis.
For constants $0 \le c_1 \le c_2 \le 1$, we define $\mathrm{BDR}_{c_1,c_2}$ as the restriction of BDR to degree sequences of length $n$ whose degrees lie in the interval $[c_1 n, c_2 n]$. Our main result shows that $\mathrm{BDR}_{c_1,c_2}$ is solvable in polynomial time whenever $0 \le c_1 \le c_2 \le \frac{\sqrt{c_1(c_1+4)}-c_1}{2}$, as well as for all $c_1 > \tfrac12$. The proof relies on a reduction to extremal \emph{least balanced degree sequences} and a detailed verification of the critical Gale--Ryser inequalities, combined with a bounded subset-sum formulation.
We further show that, assuming the NP-completeness of unrestricted BDR, the problem $\mathrm{BDR}_{c_1,c_2}$ remains NP-complete for all $0 < c_2 < \frac{1}{2}$ and $c_1 < 1 - c_2 - \sqrt{1-2c_2}$. % This establishes a sharp conditional boundary between tractable and intractable parameter regimes. Our results clarify the algorithmic landscape of bipartite degree realization and contribute to the broader study of potentially bipartite graphic degree sequences.
Gaussian random graphs and Ramsey numbers
We give a simple proof of the recent remarkable exponential improvement for Ramsey lower bounds, obtained by Ma, Shen and Xie. Our key ingredient is an alternative construction based on Gaussian random graphs, which allows us to simplify their analysis significantly. As a consequence of this simpler analysis, we also obtain better quantitative bounds.
A linear upper bound for zero-sum Ramsey numbers of bounded degree graphs
Let $G$ be a graph and $Γ$ a finite abelian group. The zero-sum Ramsey number of $G$ over $Γ$, denoted by $R(G, Γ)$, is the smallest positive integer $t$ (if it exists) such that any edge-colouring $c:E(K_t)\toΓ$ contains a copy of $G$ with $\sum_{e\in E(G)}c(e)=0_Γ$.
We prove a linear upper bound $R(G, Γ)\leq Cn$ that holds for every $n$-vertex graph $G$ with bounded maximum degree and every finite abelian group $Γ$ with $|Γ|$ dividing $e(G)$.
Plane Strong Connectivity Augmentation
We investigate the problem of strong connectivity augmentation within plane oriented graphs.
We show that deciding whether a plane oriented graph $D$ can be augmented with (any number of) arcs $X$ such that $D+X$ is strongly connected, but still plane and oriented, is NP-hard.
This question becomes trivial within plane digraphs, like most connectivity augmentation problems without a budget constraint.
The budgeted version, Plane Strong Connectivity Augmentation (PSCA) considers a plane oriented graph $D$ along with some integer $k$, and asks for an $X$ of size at most $k$ ensuring that $D+X$ is strongly connected, while remaining plane and oriented.
Our main result is a fixed-parameter tractable algorithm for PSCA, running in time $2^{O(k)} n^{O(1)}$.
The cornerstone of our procedure is a structural result showing that, for any fixed $k$, each face admits a bounded number of partial solutions "dominating" all others.
Then, our algorithm for PSCA combines face-wise branching with a Monte-Carlo reduction to the polynomial Minimum Dijoin problem, which we derandomize.
To the best of our knowledge, this is the first FPT algorithm for a (hard) connectivity augmentation problem constrained by planarity.
Assembly Addition Chains
In this paper we extend the notion of Addition Chains over Z+ to a general set S. We explain how the algebraic structure of Assembly Multi-Magma over the pairs (S,BB proper subset of S) allows to define the concept of Addition Chain over S, called Assembly Addition Chains of S with Building Blocks BB. Analogously to the Z+ case, we introduce the concept of Optimal Assembly Addition Chains over S and prove lower and upper bounds for their lengths, similar to the bounds found by Schonhage for the Z+ case. In the general case the unit 1 is in set Z+ is replaced by the subset BB and the mentioned bounds for the length of an Optimal Assembly Addition Chain of O is in set S are defined in terms of the size of O (i.e. the number of Building Blocks required to construct O). The main examples of S that we consider through this papers are (i) j-Strings (Strings with an alphabeth of j letters), (ii) Colored Connected Graphs and (iii) Colored Polyominoes.
Packing Independent Cliques in $K_4$-minor-free Graphs
Let $G$ be a graph and $S$ be a set of cliques of $G$. The set $S$ is an indeque set if every component of $G[S]$, the subgraph induced by vertices of $S$, is a clique. In this paper, we prove that the indeque ratio of $K_4$-minor-free graphs is $\frac 1 2$, which settle two conjectures of Biro, Collado and Zamora. We also show that the indeque ratio of subcubic graphs is $\frac 1 2$.
A note on the maximum ratio between chromatic number and clique number
Let $f(n)$ be the maximum, over all graphs $G$ on $n$ vertices, of the ratio $\frac{χ(G)}{ω(G)}$, where $χ(G)$ denotes the chromatic number of $G$ and $ω(G)$ the clique number of $G$. In 1967, Erdős showed that \[ \Big( \frac{1}{4} +o(1) \Big) \frac{n}{(\log_2 n)^2} \le f(n) \le \big( 4+o(1) \big) \frac{n}{(\log_2 n)^2} .\] We show that \[ f(n) \le \big(c+o(1)\big) \frac{n}{(\log_2 n)^2}\] for some $c<3.72$. This follows from recent improvements in the asymptotics of Ramsey numbers and is the first improvement in the asymptotics of $f(n)$ established by Erdős.
Increasing Trees and the Degree-Chromatic Polynomial
Published in Kazakh Mathematical Journal 25(4) (2025) 57-66
• View Publication
• BIB
This paper studies increasing trees on $n$ labeled vertices, in which labels increase from the root to the leaves. It is known that the number of binary increasing trees coincides with the number of alternating permutations (Euler numbers). Riordan obtained explicit formulas for the numbers of ternary and quaternary trees. This article derives a general formula for the number of $m\text{-ary}$ increasing trees for any $m$. The main result is expressed in terms of the degree-chromatic polynomial of the complete graph and Bell polynomials. It is shown how the corresponding generating function is related to the inversion problem and how combinatorial methods, including the lemma on coefficients of the multiplicative inverse function and the Lagrange inversion formula, can be used to compute the coefficients. A connection is also established between the values of the degree-chromatic polynomial at $λ=-1$ and the numbers of special permutations studied by Gessel.
New Theoretical Insights and Algorithmic Solutions for Reconstructing Score Sequences from Tournament Score Sets
Published
• View Publication
• BIB
The score set of a tournament is defined as the set of its distinct out-degrees. In 1978, Reid proposed the conjecture that for any set of nonnegative integers $D$, there exists a tournament $T$ with a degree set $D$. In 1989, Yao presented an arithmetical proof of the conjecture, but a general polynomial-time construction algorithm is not known. This paper proposes a necessary and sufficient condition and a separate necessary condition, based on the existing Landau's theorem for the problem of reconstructing score sequences from score sets of tournament graphs. The necessary condition introduces a structured set that enables the use of group-theoretic techniques, offering not only a framework for solving the reconstruction problem but also a new perspective for approaching similar problems. In particular, the same theoretical approach can be extended to reconstruct valid score sets given constraints on the frequency of distinct scores in tournaments. Based on these conditions, we have developed three algorithms that demonstrate the practical utility of our framework: a polynomial-time algorithm and a scalable algorithm for reconstructing score sequences, and a polynomial-time network-building method that finds all possible score sequences for a given score set. Moreover, the polynomial-time algorithm for reconstructing the score sequence of a tournament for a given score set can be used to verify Reid's conjecture. These algorithms have practical applications in sports analysis, ranking prediction, and machine learning tasks such as learning-to-rank models and data imputation, where the reconstruction of partial rankings or sequences is essential for recommendation systems and anomaly detection.
Lower bounds on the independence number of a graph in terms of degrees
Published
• View Publication
• BIB
Given an integer $Δ\ge 3$, let ${\cal G}_{Δ}$ be the set of connected graphs $G\neq K_{Δ+1}$ with maximum degree $Δ$ and, for $i=1,\cdots, Δ$, let $V_i(G)$ be the set of vertices of $G$ of degree $i$. Using a result of T. Kelly and L. Postle, we prove that $\sum\limits_{i=1}^Δc_i|V_i(G)|$ is a lower bound on the independence number $α(G)$ of $G\in {\cal G}_Δ$, where $c_Δ=\frac{1}Δ$ and $ic_{i}=1-c_{i+1}$ for $i=1,\cdots,Δ-1$. Moreover, if $\varepsilon >0$ and $j\in \{1,\cdots, Δ\}$, then the inequality $α(G)\ge \varepsilon|V_j(G)|+\sum\limits_{i=1}^Δc_i|V_i(G)|$ does not hold for infinitely many graphs $G\in {\cal G}_Δ$. Finally, further lower bounds on $α(G)$ in terms of degrees of $G$ are presented.
Inducibility in $H$-free graphs and inducibility of Turán graphs
Published in Journal of Combinatorial Theory, Series B (2026)
• View Publication
• BIB
For graphs $F$ and $H$, let $i(F)$ denote the inducibility of $F$ and let $i_H(F)$ denote the inducibility of $F$ over $H$-free graphs. We prove that for almost all graphs $F$ on a given number of vertices, $i_{K_k}(F)$ attains infinitely many values as $k$ varies. For complete partite graphs $F$ (and, more generally, for symmetrizable families of graphs $F$), we prove that $i_H(F)=i_{K_k}(F)$ where $k=χ(H)$, and is attained by a complete $\ell$-partite graphon $W_{F,k}$, where $\ell < k$.
We determine the part sizes of $W_{F,k}$ for all $k$, whence determine $i(F)$, whenever $F$ is the Turán graph on $s$ vertices and $r$ parts, for all $s \le 3r+1$, which was recently proved by Liu, Mubayi, and Reiher for $s=r+1$. As a corollary, this determines the inducibility of all Turán graphs on at most $14$ vertices. Furthermore, since inducibility is invariant under complement, this determines the inducibility of all matchings and, more generally, all graphs with maximum degree $1$, of any size. Similarly, this determines the inducibility of all triangle factors, of any size.
For complete partite graphs $F$ with at most one singleton part, we prove that $i_{K_k}(F)$ only attains finitely many values as $k$ varies; in particular, there exists $t=t(F)$ such that $i(F)$ is attained by some complete $t$-partite graphon. This is best possible as it was shown by Liu, Pikhurko, Sharifzadeh, and Staden that this is not necessarily true if there are two singleton parts.
Finally, for every $r$, we give a nontrivial sufficient condition for a complete $r$-partite graph $F$ to have the property that $i(F)$ is attained by a complete partite graphon all whose part sizes are distinct.
Some results on Hamming graphs and an extended Hamming graphs
In this paper we first obtain the spectrum of the folded hypercube in a new approach. Then we introduce a new family of graphs called the extended Hamming graph, denoted by $EH(n,2^n)$, which is constructed from the well-known Hamming graph $H(n,2^n)$. The graph $EH(n,2^n)$ shares the same vertex set as $H(n,2^n)$ but includes additional edges, called complementary edges, connecting each $n$-tuple vertex $u$ to its complement $u^c$, where $u^c$ is defined such that the sum of each two corresponding coordinates of $u$ and $u^c$ equals $2^n-1$. We investigate several algebraic and structural properties of this new family of graphs. Specifically, we show that the diameter of $EH(n,2^n)$ is $n$. We prove that $EH(n,2^n)$ is a Cayley graph, but we demonstrate that it is not a distance regular graph. Finally, we determine the spectrum of $EH(n,2^n)$, showing that its eigenvalues are $λ_i\pm 1$, where $λ_i$ are the eigenvalues of the underlying Hamming graph $H(n,2^n)$. The multiplicity of each eigenvalue is explicitly calculated.
The number of edges of a symmetric edge polytope
The symmetric edge polytope of a simple graph is a lattice polytope defined as the convex hull of a subset of the type A roots corresponding to the edges of the graph. In this article we prove a sharp lower bound for the number of edges of the symmetric edge polytope of a graph as a function of elementary graph invariants. Moreover, we characterize graphs attaining this bound. We highlight a connection with the h*-polynomial of such polytopes and, motivated by a conjecture of Ohsugi and Tsuchiya, we investigate the behaviour of such polynomial under edge-deletion in the graph.
The $d$-chromatic Ramsey number for stars
Published
• View Publication
• BIB
In 1978, Chung and Liu generalized the definition of the Ramsey number. They introduced the $d$-chromatic Ramsey number as follows. Let $1\leq d< c$ be integers and let $A_{1}, \dots, A_{t}$ be subsets with size $d$ of $[c]$, where $t= {c\choose d}$. For given graphs $G_{1}, \dots, G_{t}$, {\it the $d$-chromatic Ramsey number}, $r^{d, c}(G_{1}, \dots, G_{t})$, is the minimum positive integer $N$ such that every $c$-coloring of $E(K_{N})$ yields a copy of $G_{i}$ whose edges are colored by colors in the color set $A_{i}$ for some $i\in [t]$. The {\it star-critical $d$-chromatic Ramsey number}, $r_{*}^{d, c}(G_{1}, \dots, G_{t})$, is the minimum positive integer $k$ such that every $c$-coloring of $E(K_{N}- K_{1, N- 1- k})$ yields a copy of $G_{i}$ whose edges are colored by colors in the color set $A_{i}$ for some $i\in [t]$, where $N= r^{d, c}(G_{1}, \dots, G_{t})$. If $G_{1}, \dots, G_{t}= G$, then we simplify them as $r^{d, c}(G)$ (it also call {\it the weakened Ramsey number}) and $r^{d, c}_{*}(G)$, respectively. In this paper, we determine all the value of $r^{d, c}(K_{1, n})$, $r_{*}^{d, c}(K_{1, n})$ and part of the value of $r^{d, c}(K_{1, n_{1}}, \dots, K_{1, n_{t}})$.
Thin divisible designs graphs: an interplay between fixed-point free involutions of $(v,k,λ)$-graphs and symmetric weighing matrices
In this paper, we illustrate important aspects of the interplay between weighing matrices, $(v,k,λ)$-graphs with fixed-point free involutions, and signed graphs with an orthogonal adjacency matrix, which arises from thin divisible design graphs. In particular, we present two new recursive constructions of regular symmetric Hadamard matrices with constant diagonal (equivalently, two new recursive constructions of strongly regular graphs) and we find a fixed-point free involution in the symplectic graph $Sp(4,q)$, where $q$ is odd, which leads to orthogonal signings for an infinite family of antipodal distance-regular graphs of diameter 3.
Embedding trees using minimum and maximum degree conditions
A variant of the Erdős-Sós conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges. Both degree bounds are best possible. We confirm this conjecture for large trees with bounded maximum degree, by proving that for all $Δ\in \mathbb{N}$ and sufficiently large $k\in \mathbb{N}$, every graph $G$ with $δ(G)\geq \lfloor 2k/3 \rfloor$ and $Δ(G)\geq k$ contains a copy of every tree $T$ with $k$ edges and $Δ(T)\leq Δ$. We also prove similar results where alternative degree conditions are considered. For the same class of trees, this verifies exactly a related conjecture of Besomi, Pavez-Signé and Stein, and provides asymptotic confirmations of two others.