graph
34516 papers tagged with this keyword
Lower bounds on the independence number of a graph in terms of degrees
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
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.
Graphings with few circulations
In 2021, motivated by graph limit theory Lovász extended most of the theory of flows to a measure theoretic setting. Using this framework, the first author constructed $d$-regular treeings that are measurably bipartite, and have no nonzero measurable circulations, that is, flows without sources or sinks. In particular, these treeings do not admit a measurable perfect matching.
In this paper, we develop tools to build $d$-regular treeings where the space of circulations is exactly $k$-dimensional for any positive integer $k$. As applications, we construct 1) a treeing with a single balanced orientation, but no Schreier decoration; 2) a treeing with a single Schreier decoration; 3) and a treeing with a proper edge $d$-coloring, but no further perfect matchings.
The first answers a question raised by Lovász, as this particular balanced orientation does not decompose as a linear combination of finite cycles and infinite paths.
On Matrix Product Factorization of Cayley graphs
We study when the adjacency matrix of a Cayley graph factors as the product of two adjacency matrices of Cayley graphs. Let $G$ be a finite group and let $U\subseteq G\setminus \{e\}$ be symmetric. Writing $A(G;U)$ for the adjacency matrix of the Cayley graph of $G$ with respect to $U$, we prove that for symmetric subsets $S,T,U$ of $G\setminus \{e\}$, $A(G;U)=A(G;S)\,A(G;T)$ if and only if $U=ST$ and each $u\in U$ has a unique representation $u=st$, equivalently $\bigl(\sum_{s\in S}s\bigr)\bigl(\sum_{t\in T}t\bigr)=\sum_{u\in U}u$ in the group algebra. When $S,T,U$ are unions of conjugacy classes, this is characterized character-theoretically by $χ(U)=χ(S)χ(T)/χ(1)$ for all $χ\in\mathrm{Irr}(G)$. In addition, for abelian groups, we identify $A(G;S)A(G;T)$ with the $0\!-\!1$ convolution $\mathbf{1}_S*\mathbf{1}_T$, so factorability is equivalent to $(S,T)$ being a Sidon pair, i.e., $(S-S)\cap(T-T)=\{0\}$. For cyclic groups, we reformulate factorability via mask polynomials and reduce to prime-power components using the Chinese Remainder Theorem. We also analyze dihedral groups $D_{2n}$, presenting infinite families of factorable generating sets, and give explicit constructions of subsets whose Cayley graphs do and do not admit such factorizations.
Verifying Hadwiger's Conjecture for Examples of Graphs with $α(G) = 2$
Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most important open problems in graph theory. The case of Hadwiger's Conjecture for graphs with $α(G) = 2$ has garnered much attention. Seymour writes: ``My own belief is, if Hadwiger's Conjecture is true for graphs with stability number two then it is probably true in general, so it would be very nice to decide this case.''
This paper presents several tools useful for proving that a graph $G$ with $α(G) = 2$ satisfies Hadwiger's Conjecture. In doing so, we survey and generalise several classical results on the $α(G) = 2$ case of Hadwiger's Conjecture. Further, we apply these tools to prove variants of Hadwiger's Conjecture for several noteworthy classes of graphs with $α(G) = 2$. In particular, we prove Hadwiger's Conjecture for inflations of the complements of the following graphs: graphs with girth at least $5$, triangle-free Kneser graphs, and the Clebsch, Mesner, and Gewirtz graphs. This paper also highlights classes of graphs with $α(G) = 2$ where it is unknown if Hadwiger's Conjecture holds.
Graph-theoretical search for integrable multistate Landau-Zener models
Published in Phys. Rev. Research 8, 013006 (2026)
• View Publication
• BIB
The search for exactly solvable models is an evergreen topic in theoretical physics. In the context of multistate Landau-Zener models -- $N$-state quantum systems with linearly time-dependent Hamiltonians -- the theory of integrability provides a framework for identifying new solvable cases. In particular, it was proved that the integrability of a specific class known as the multitime Landau-Zener (MTLZ) models guarantees their exact solvability. A key finding was that an $N$-state MTLZ model can be represented by data defined on an $N$-vertex graph. While known host graphs for MTLZ models include hypercubes, fans, and their Cartesian products, no other families have been discovered, leading to the conjecture that these are the only possibilities. In this work, we conduct a systematic graph-theoretical search for integrable models within the MTLZ class. By first identifying minimal structures that a graph must contain to host an MTLZ model, we formulate an efficient algorithm to systematically search for candidate graphs for MTLZ models. Implementing this algorithm using computational software, we enumerate all candidate graphs with up to $N = 13$ vertices and perform an in-depth analysis of those with $N \le 11$. Our results corroborate the aforementioned conjecture for graphs up to $11$ vertices. For even larger graphs, we propose a specific family, termed descendants of ``$(0,2)$-graphs'', as promising candidates that may violate the conjecture above. Our work can serve as a guideline to identify new exactly solvable multistate Landau-Zener models in the future.
Abelian structure in approximate groups and Alon's conjecture on Ramsey Cayley graphs
A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest restrictions on $K$. We show that, if $A$ is a finite $K$-approximate group contained in some solvable group, then some abelian group intersects $A^4$ in at least $\exp(Ω(\log^{1/6}\lvert A\rvert/\log 2K))$ elements. We also prove a similar result for approximate subgroups of finite groups with no large alternating subquotients. Along the way, we obtain polynomial (instead of quasi-polynomial) bounds for the same statement of approximate subgroups of linear groups.
We give two applications. Firstly, we consider the conjecture of Alon that every finite group $G$ admits a Cayley graph with clique number and independence number $O(\log\lvert G\rvert)$. Conlon, Fox, Pham, and Yepremyan have recently proven that, for almost all positive integers $N$, every abelian group of order $N$ satisfies Alon's conjecture. Extending their result, we verify Alon's conjecture for all (not necessarily abelian) groups of almost all orders. Secondly, we prove a "local" version of Roth's theorem in (many) non-abelian settings with quasi-polynomial bounds, using the recent breakthroughs of Kelley and Meka on Roth's theorem and of Jaber, Liu, Lovett, Ostuni, and Sawhney on the corners problem.
Duality Relations of Graph Polynomials
The duality theorem of Lass relates the matching polynomials of a simple graph $G$ with the matching polynomials of its complement $\bar G$. In particular, this relation gives rise to Godsil's result, which offers a nice interpretation of the Lebesgue-Stieltjes integral associated with the Hermite orthogonality measure. In this work, we introduce the concept of path-cover polynomials. Similar to matching polynomials, we show that path-cover polynomials also satisfy duality relations and give combinatorial interpretations of the Lebesgue-Stieltjes integral and the inner product in the space of associated Laguerre polynomials. Similar duality relations hold for clique-cover polynomials and chromatic polynomials. As applications, we find an efficient algorithm that computes graph polynomials for cographs. We also give explicit formulas to compute the number of Hamiltonian paths and cycles in complete multipartite graphs.
Uniform spectral gaps, non-abelian Littlewood-Offord and anti-concentration for random walks
We show that random walks on semisimple algebraic groups do not concentrate on proper algebraic subvarieties with uniform exponential rate of anti-concentration. This is achieved by proving a uniform spectral gap for quasi-regular representations of countable linear groups. The method makes key use of Diophantine heights and the Height Gap theorem. We also deduce a non-abelian version of the Littlewood--Offord inequalities and prove logarithmic bounds for escape from subvarieties. In a sequel to this paper, we will show how to transform this uniform gap into uniform expansion for Cayley graphs of finite simple groups of bounded rank $G(p)$ over almost all primes $p$.
Regions surrounded by cylinders of circles of fixed radii and exposition of their shapes by natural graphs
We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific trees obtained in simple ways from so-called balanced trees are shown to be realized as such graphs. Related studies on regions in the Euclidean plane surrounded by real algebraic curves are presented by several researchers. One of pioneering studies is presented by Bodin, Popescu-Pampu and Sorea in 2022--3 as an elementary and surprisingly new study. The author has been interested in related studies and also in constructing natural and explicit real algebraic maps onto such regions, generalizing the canonical projections of the unit spheres. Such studies in real algebraic geometry, different from theory of existence in the last century, mainly studied by Nash and Tognoli, are remarked.
Matchings avoiding ordered patterns
A {\it vertex-ordered} graph is a graph equipped with a linear ordering of its vertices.
A pair of independent edges in an ordered graph can exhibit one of the following three patterns: separated, nested or crossing.
We say a pair of independent edges is non-separated if it is either crossing or nested.
Non-nested and non-crossing pairs are defined analogously.
We are interested in the following Turán-type problems: for each of the aforementioned six patterns, determine the maximum number of edges of an $n$-vertex ordered graph that does not contain a $k$-matching such that every pair of edges exhibit the fixed pattern.
Exact answers have already been obtained for four of the six cases.
The main objective of this paper is to investigate the two remaining open cases, namely non-separated and non-nested matchings.
We determine the exact maximum number of edges of an $n$-vertex ordered graph that does not contain a non-separated $k$-matching, which has the form $\frac{3}{2}(k-1)n+Θ(k^2)$.
For the non-nested case, we show the maximum number of edges lies between $(k-1)n$ and $(k-1)n+\binom{k-1}{2}$.
We also determine the exact maximum number of edges of an $n$-vertex ordered graph that does not contain an alternating path of given length.
We discuss some related problems and raise several
conjectures.
Furthermore, our results and conjectures yield consequences to certain Ramsey-type problems for non-nested matchings and alternating paths.
Completely Independent Spanning Trees in Split Graphs: Structural Properties and Complexity
We study completely independent spanning trees (CIST), \textit{i.e.}, trees that are both edge-disjoint and internally vertex-disjoint, in split graphs. We establish a correspondence between the existence of CIST in a split graph and some types of hypergraph colorings (panchromatic and bipanchromatic colorings) of its associated hypergraph, allowing us to obtain lower and upper bounds on the number of CIST. Using these relations, we prove that the problem of the existence of two CIST in a split graph is NP-complete. Finally, we formulate a conjecture on the bipanchromatic number of a hypergraph related to the results obtained for the number of CIST.
The dimer model and dynamical incidence geometry
We propose a geometric counterpart of the dimer model on bipartite graphs. A state of our model consists of a choice of a point for each white vertex and hyperplane for each black vertex. This data is subject to certain conditions determined by the graph; the resulting configurations are called coherent double circuit configurations. We show that our model behaves consistently under standard local moves of the dimer model. On the geometric side, this gives rise to a new class of theorems in linear incidence geometry - dynamical incidence theorems. Examples include results on pentagram maps, pentagram spirals, and Q-nets. We also examine the problem of parametrizing coherent double circuit configurations. In particular, we study whether, once the white-vertex part of the data is fixed, one can recover the black-vertex data from a point on the spectral curve.
Ramsey problems for graphs in Euclidean spaces and Cartesian powers
Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one.
This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances.
Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density.
In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.
Universal families of rayless graphs
We study the existence and cardinality of universal families for classes of rayless graphs. It is known, by a result of Diestel, Halin, and Vogler, that the class of countable rayless graphs does not admit a countable universal family, leaving open the precise complexity of this class. We prove that for every infinite cardinal $κ$, the class of rayless graphs of cardinality at most $κ$ admits a strongly universal family of size exactly $κ^+$, and that no smaller family can exist. This settles the problem for the countable case and extends uniformly to higher cardinalities.
We further investigate subclasses defined by forbidding subgraphs. When finitely many finite graphs are forbidden, the strong complexity remains $κ^+$, except in degenerate cases where it collapses to countable. In contrast, the class of countable rayless graphs when forbidding certain infinite graphs has a complexity that reaches its maximum possible value, the continuum.
Finally, we establish that natural subclasses -- including rayless trees, bipartite rayless graphs, graphs without even cycles, and graphs without infinite trails -- retain the minimal strong complexity $κ^+$. These results provide a comprehensive characterization of universality in rayless graphs and highlight both its stability under restrictions and its sensitivity to specific obstructions.