graph
34516 papers tagged with this keyword
A very short proof of Sidorenko's inequality for counts of homomorphism between graphs
Published
• View Publication
• BIB
We provide a very elementary proof of a classical extremality result due to Sidorenko (Discrete Math. 131.1-3, 1994), which states that among all connected graphs $G$ on $k$ vertices, the $k$-vertex star maximises the number of graph homomorphisms of $G$ into any graph $H$.
Rumour Spreading Depends on the Latent Geometry and Degree Distribution in Social Network Models
We study push-pull rumour spreading in ultra-small-world models for social networks where the degrees follow a power-law distribution. In a non-geometric setting, Fountoulakis, Panagiotou and Sauerwald have shown that rumours always spread ultra-fast (SODA 2012), i.e. in doubly logarithmic time. On the other hand, Janssen and Mehrabian have found that rumours spread slowly (polynomial time) in a spatial preferential attachment model (SIDMA 2017). We study the question systematically for the model of Geometric Inhomogeneous Random Graphs (GIRGs). Our results are two-fold: first, with Euclidean geometry slow, fast (polylogarithmic) and ultra-fast rumour spreading may occur, depending on the exponent of the power law and the strength of the geometry in the networks, and we fully characterise the phase boundaries in between. The regimes do not coincide with the graph distance regimes, i.e., polylogarithmic or even polynomial rumour spreading may occur even if graph distances are doubly logarithmic. We expect these results to hold with little effort for related models, e.g. Scale-Free Percolation. Second, we show that rumour spreading is always (at least) fast in a non-metric geometry. The considered non-metric geometry allows to model social connections where resemblance of vertices in a single attribute, such as familial kinship, already strongly indicates the presence of an edge. Euclidean geometry fails to capture such ties.
For some regimes in the Euclidean setting, the efficient pathways for spreading rumours differ from previously identified paths. For example, a vertex of degree $d$ can transmit the rumour to a vertex of larger degree by a chain of length $3$, where one of the two intermediaries has constant degree, and the other has degree $d^{c}$ for some constant $c<1$. Similar but longer chains of vertices, all having non-constant degree, turn out to be useful as well.
Coloring bridge-free antiprismatic graphs
The coloring problem is a well-research topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs.
A graph $G$ is prismatic if for every triangle $T$ of $G$, every vertex of $G$ not in $T$ has a unique neighbor in $T$. A graph is co-bridge-free if it has no $C_4+2K_1$ as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon.
We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.
On the two problems in Ramsey achievement games
Let $p,q$ be two integers with $p\geq q$. Given a finite graph $F$ with no isolated vertices, the generalized Ramsey achievement game of $F$ on the complete graph $K_n$, denoted by $(p,q;K_n,F,+)$, is played by two players called Alice and Bob. In each round, Alice firstly chooses $p$ uncolored edges $e_1,e_2,...,e_p$ and colors it blue, then Bob chooses $q$ uncolored edge $f_1,f_2,...,f_q$ and colors it red; the player who can first complete the formation of $F$ in his (or her) color is the winner. The generalized achievement number of $F$, denoted by ${a}(p,q;F)$ is defined to be the smallest $n$ for which Alice has a winning strategy. If $p=q=1$, then it is denoted by ${a}(F)$, which is the classical achievement number of $F$ introduced by Harary in 1982. If Alice aims to form a blue $F$, and the goal of Bob is to try to stop him, this kind of game is called the first player game by Bollobás. Let ${a}^*(F)$ be the smallest positive integer $n$ for which Alice has a winning strategy in the first player game.
A conjecture due to Harary states that the minimum value of ${a}(T)$ is realized when $T$ is a path and the maximum value of ${a}(T)$ is realized when $T$ is a star among all trees $T$ of order $n$. He also asked which graphs $F$ satisfy $a^*(F)=a(F)$? In this paper, we proved that $n\leq {a}(p,q;T)\leq n+q\left\lfloor (n-2)/p \right\rfloor$ for all trees $T$ of order $n$, and obtained a lower bound of ${a}(p,q;K_{1,n-1})$, where $K_{1,n-1}$ is a star. We proved that the minimum value of ${a}(T)$ is realized when $T$ is a path which gives a positive solution to the first part of Harary's conjecture, and ${a}(T)\leq 2n-2$ for all trees of order $n$. We also proved that for $n\geq 3$, we have $2n-2-\sqrt{(4n-8)\ln (4n-4)}\leq a(K_{1,n-1})\leq 2n-2$ with the help of a theorem of Alon, Krivelevich, Spencer and Szabó. We proved that $a^*(P_n)=a(P_n)$ for a path $P_n$.
Finite Dynamical Laminations
We develop several combinatorial notions about laminations, some with clear implications for parameter space. We introduce a simplified class of laminations called finite dynamical laminations (FDL). In order to count FDL, we introduce sibling portraits, of which we provide a comprehensive counting theorem. We provide a characterization of which periodic polygons appear in invariant laminations. We introduce the pullback tree. The base of the pullback tree is a set of laminations, and we show that those laminations are proper and invariant, and all laminations in the base of the pullback tree correspond to a polynomial. We define the generational FDL graph, and it provides combinatorial information about polynomial parameter space.
Positive $e$-expansions of the chromatic symmetric functions of KPKPs, twinned lollipops, and kayak paddles
We find a positive $e_I$-expansion for the chromatic symmetric function of KPKP graphs, which are graphs obtained by connecting a vertex in a complete graph with a vertex in the maximal clique of a lollipop graph by a path. This generalizes the positive $e_I$-expansion for the chromatic symmetric function of lollipops obtained by Tom, for that of KPK graphs obtained by Wang and Zhou, and as well for those of KKP graphs and PKP graphs obtained by Qi, Tang and Wang. As an application, we confirm the $e$-positivity of twinned lollipops. We also discover the first positive $e_I$-expansion for the chromatic symmetric function of kayak paddle graphs which are formed by connecting a vertex on a cycle and a vertex on another cycle with a path. This refines the $e$-positivity of kayak paddle graphs which was obtained by Aliniaeifard, Wang, and van Willigenburg.
A power sum expansion for the Kromatic symmetric function
Published in Discrete Math Volume 349, Issue 5, May 2026, 114957
• View Publication
• BIB
The chromatic symmetric $X_G$ function is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley (1995). Stanley gave an expansion formula for $X_G$ in terms of the power sum symmetric functions $p_λ$ using the principle of inclusion-exclusion, and in arXiv:1904.01262, Bernardi and Nadeau gave an alternate $p$-expansion for $X_G$ in terms of acyclic orientations. In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-theoretic analogue of $X_G$, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a $K$-analogue $\overline{p}_λ$ of the power sum basis and computed the first few coefficients of the $\overline{p}$-expansion of $\overline{X}_G$ for some small graphs $G$. They conjectured that the $\overline{p}$-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the $\overline{p}$-expansion of $\overline{X}_G$, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper arXiv:2502.21285, we use our formula from this note to give a combinatorial description of the $\overline{p}$-coefficients $[\overline{p}_λ]\overline{X}_G$ and a simple characterization of their signs in the case of unweighted graphs.
On the chromatic symmetric homology for star graphs
The chromatic symmetric function $X_G$ is a power series that encodes the proper colorings of a graph $G$ by assigning a variable to each color and a monomial to each coloring such that the power of a variable in a monomial is the number of times the corresponding color is used in the corresponding coloring. The chromatic symmetric homology $H_*(G)$ is a doubly graded family of $\mathbb{C}[\mathfrak{S}_n]$-modules that was defined by Sazdanović and Yip (2018) as a categorification of $X_G$. Chandler, Sazdanović, Stella, and Yip (2023) proved that $H_*(G)$ is a strictly stronger graph invariant than $X_G$, and they also computed or conjectured formulas for it in a number of special cases. We prove and extend some of their conjectured formulas for the case of star graphs, where one central vertex is connected to all other vertices and no other pairs of vertices are connected.
Tesler matrices and Lusztig data
We study asymptotics of Tesler matrices using Kostant pictures, as well as partial orders on these. We show that the Lusztig data partial order on Kostant pictures refines the 'merge' partial order on Kostant pictures, and that the merge partial order on Kostant pictures is equivalent to a partial order on Tesler matrices. This equivalence requires integral flow graphs. Using Kostant pictures we find logarithmic asymptotics of some families of Tesler matrices.
An updated survey on 2-Factors of Regular Graphs
A 2-factor of a graph $G$ is a 2-regular spanning subgraph of $G$. We present a survey summarising results on the structure of 2-factors in regular graphs, as achieved by various researchers in recent years.
Main functions and the spectrum of super graphs
Let A be a graph type and B an equivalence relation on a group $G$. Let $[g]$ be the equivalence class of $g$ with respect to the equivalence relation B. The B superA graph of $G$ is an undirected graph whose vertex set is $G$ and two distinct vertices $g, h \in G$ are adjacent if $[g] = [h]$ or there exist $x \in [g]$ and $y \in [h]$ such that $x$ and $y$ are adjacent in the A graph of $G$. In this paper, we compute spectrum of equality/conjugacy supercommuting graphs of dihedral/dicyclic groups and show that these graphs are not integral.
Ginzburg--Landau Functionals in the Large-Graph Limit
Ginzburg--Landau (GL) functionals on graphs, which are relaxations of graph-cut functionals on graphs, have yielded a variety of insights in image segmentation and graph clustering. In this paper, we study large-graph limits of GL functionals by taking a functional-analytic view of graphs as nonlocal kernels. For a graph $W_n$ with $n$ nodes, the corresponding graph GL functional $\GL^{W_n}_\ep$ is an energy for functions on $W_n$. We minimize GL functionals on sequences of growing graphs that converge to functions called graphons. For such sequences of graphs, we show that the graph GL functional $Γ$-converges to a continuous and nonlocal functional that we call the \emph{graphon GL functional}. We also investigate the sharp-interface limits of the graph GL and graphon GL functionals, and we relate these limits to a nonlocal total-variation (TV) functional. We express the limiting GL functional in terms of Young measures and thereby obtain a probabilistic interpretation of the variational problem in the large-graph limit. Finally, to develop intuition about the graphon GL functional, we determine the GL minimizer for several example families of graphons.
On the Genus of One Degree of Freedom Planar Linkages via Tropical Geometry
This paper focuses on studying the configuration spaces of graphs realised in $\mathbb C^2$, such that the configuration space is, after normalisation, one dimensional. If this is the case, then the configuration space is, generically, a smooth complex curve, and can be seen as a Riemann surface. The property of interest in this paper is the genus of this curve. Using tropical geometry, we give an algorithm to compute this genus. We provide an implementation in Python and give various examples.
Saturation of edge-ordered graphs
For an edge-ordered graph $G$, we say that an $n$-vertex edge-ordered graph $H$ is $G$-saturated if it is $G$-free and adding any new edge with any new label to $H$ introduces a copy of $G$. The saturation function describes the minimum number of edges of a $G$-saturated graph. In particular, we study the order of magnitude of these functions. For (unordered) graphs, $0$-$1$ matrices, and vertex-ordered graphs it was possible to show that the saturation functions are either $O(1)$ or $Θ(n)$. We show that the saturation functions of edge-ordered graphs are also either $O(1)$ or $Ω(n)$. However, by finding edge-ordered graphs whose saturation functions are superlinear, we show that such a dichotomy result does not hold in general.
Additionally, we consider the semisaturation problem of edge-ordered graphs, a variant of the saturation problem where we do not require that $H$ is $G$-free. We show a general upper bound $O(n \log n)$ and characterize edge-ordered graphs with bounded semisaturation function.
We also present various classes of graphs with bounded, linear and superlinear (semi)saturation functions. Along the way, we define a natural variant of the above problem, where the new edge must get the smallest label. The behaviour of the two variants shows many similarities, which motivated us to investigate the second variant extensively as well.
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
Published in Ars Math. Contemp. Vol. 25 No. 4 (2025)
• View Publication
• BIB
In the past, analogues to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.
We also figured out the upper bound for list-distinguishing chromatic number for infinite graphs in ZFC (i.e. the Zermelo-Fraenkel set theory with the Axiom of Choice (AC)).
On the Eigenvalues of Graphs with Mixed Algebraic Structure
We study some spectral properties of a matrix that is constructed as a combination of a Laplacian and an adjacency matrix of simple graphs. The matrix considered depends on a positive parameter, as such we consider the implications in different regimes of such a parameter, perturbative and beyond. Our main goal is to relate spectral properties to the graph's configuration, or to basic properties of the Laplacian and adjacency matrices. We explain the connections with dynamic networks and their stability properties, which lead us to state a conjecture for the signature.
Biased domination games
We consider a biased version of Maker-Breaker domination games, which were recently introduced by Gledel, Ir{š}i{č}, and Klav{ž}ar. Two players, Dominator and Staller, alternatingly claim vertices of a graph $G$ where Dominator is allowed to claim up to $b$ vertices in every round and she wins if and only if she occupies all vertices of a dominating set of $G$. For this game, we prove a full characterization of all trees on which Dominator has a winning strategy. For the number of rounds which Dominator needs to win, we give exact results when played on powers of paths or cycles, and for all trees we provide bounds which are optimal up to a constant factor not depending on $b$. Furthermore, we discuss general minimum degree conditions and study how many vertices can still be dominated by Dominator even when Staller has a winning strategy.
On a Problem of Ramsey Theory
Published in German International Journal of Modern Science 86 (2024) pp. 15-17
• View Publication
• BIB
In 1955, Greenwood and Gleason showed that the Ramsey number R(3, 3, 3) = 17 by constructing an edge-chromatic graph on 16 vertices in three colors with no triangles. Their technique employed finite fields. This same result was obtained later by using another technique. In this article, we examine the complete graph on 17 vertices, K17, which can be represented as a regular polygon of 17 sides with all its diagonals. We color each edge of K17 with one of the three colors, blue, red or yellow. The graph thus obtained is called complete trichromatic graph K17^(3) (the superscript determines the number of colors). A triangle contained in graph K17^(3) with edges colored with one and only one color is called monochromatic. It has been shown that for any coloring of the K17^(3) edges, K17^(3) contains at least one monochromatic triangle. This article examines the problem of determining the minimum number of monochromatic triangles with the same color contained in K17^(3).
Clustered Colouring of Graph Products
A colouring of a graph $G$ has clustering $k$ if the maximum number of vertices in a monochromatic component equals $k$. Motivated by recent results showing that many natural graph classes are subgraphs of the strong product of a graph with bounded treewidth and a path, this paper studies clustered colouring of strong products of two bounded treewidth graphs, where none, one, or both graphs have bounded degree. For example, in the case of two colours, if $n$ is the number of vertices in the product, then we show that clustering $Θ(n^{2/3})$ is best possible, even if one of the graphs is a path. However, if both graphs have bounded degree, then clustering $Θ(n^{1/2})$ is best possible. With three colours, if one of the graphs has bounded degree, then we show that clustering $Θ(n^{3/7})$ is best possible. However, if neither graph has bounded degree, then clustering $Ω(n^{1/2})$ is necessary. More general bounds for any given number of colours are also presented.
Introduction to double coalitions in graphs
Let $G(V, E)$ be a finite, simple, isolate-free graph. A set $D$ of vertices of a graph $G$ with the vertex set $V$ is a double dominating set of $G$, if every vertex $v\in D$ has at least one neighbor in $D$ and every vertex $v \in V \setminus D$ has at least two neighbors in $D$. A double coalition consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a double dominating set but their union $V_{1}\cup V_{2}$ is a double dominating set. A double coalition partition of a graph $G$ is a partition $Π= \{V_1, V_2,..., V_k \}$ of $V$ such that no subset of $Π$ is a double dominating set of $G$, but for every set $V_i \in Π$, there exists a set $V_j \in Π$ such that $V_i$ and $V_j$ form a double coalition. In this paper, we study properties of double coalitions in graphs.