graph
34516 papers tagged with this keyword
Online size Ramsey number for $C_4$ and $P_6$
In this paper we consider a game played on the edge set of the infinite clique $K_\mathbb{N}$ by two players, Builder and Painter. In each round of the game, Builder chooses an edge and Painter colors it red or blue. Builder wins when Painter creates a red copy of $G$ or a blue copy of $H$, for some fixed graphs $G$ and $H$. Builder wants to win in as few rounds as possible, and Painter wants to delay Builder for as many rounds as possible. The online size Ramsey number $\tilde{r}(G,H)$, is the minimum number of rounds within which Builder can win, assuming both players play optimally. So far it has been proven by Dybizbański, Dzido and Zakrzewska that $11\leq\tilde{r}(C_4,P_6)\leq13$ \cite{Dzido}. In this paper, we refine this result and show the exact value, namely we will present the Theorem that $\tilde{r}(C_4,P_6)=11$, with the details of the proof.
Keywords: graph theory, Ramsey theory, combinatorial games, online size Ramsey number
Reconsideration of Tangle and Ultrafilter using Separation and Partition
Published in International Journal of Mathematics Trends and Technology (IJMTT), vol. 70, no. 7, pp. 5-12, 2024
• View Publication
• BIB
Tangle is a concept in graph theory that has a dual relationship with branch-width which is well-known graph width parameter. Ultrafilter, a fundamental notion in mathematics, is similarly known to have a dual relationship with branch-width when extended to a connectivity system (X, f). We will reconsider these concepts using separation and partition.
Moderate deviations of triangle counts in sparse Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$
We consider the question of determining the probability of triangle count deviations in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$ with densities larger than $n^{-1/2}(\log{n})^{1/2}$. In particular, we determine the log probability $\log\mathbb{P}(N_{\triangle}(G)\, >\, (1+δ)p^3n^3)$ up to a constant factor across essentially the entire range of possible deviations, in both the $G(n,m)$ and $G(n,p)$ model. For the $G(n,p)$ model we also prove a stronger result, up to a $(1+o(1))$ factor, in the non-localised regime. We also obtain some results for the lower tail and for counts of cherries (paths of length $2$).
Graphs that contain a $K_{1,2,3}$ and no induced subdivision of $K_4$ are $4$-colorable
In 2012, Lévêque, Maffray, and Trotignon conjectured that each graph $G$ that contains no induced subdivision of $K_4$ is $4$-colorable. In this paper, we prove that this conjecture holds when $G$ contains a $K_{1,2,3}$.
Spectral extremal problem on the square of $\ell$-cycle
Let $C_{\ell}$ be the cycle of order ${\ell}$. The square of $C_{\ell}$, denoted by $C_{\ell}^2$, is obtained by joining all pairs of vertices with distance no more than two in $C_{\ell}$. A graph is called $F$-free if it does not contain $F$ as a subgraph. Denote by $ex(n,F)$ and $spex(n,F)$ the maximum size and spectral radius over all $n$-vertex $F$-free graphs, respectively. The well-known Turán problem asks for the $ex(n,F)$, and Nikiforov in 2010 proposed a spectral counterpart, known as Brualdi-Solheid-Turán type problem, focusing on determining $spex(n,F)$. In this paper, we consider a Turán problem on $ex(n,C_{\ell}^2)$ and a Brualdi--Solheid--Turán type problem on $spex(n,C_{\ell}^2)$. We give a sharp bound of $ex(n,C_{\ell}^2)$ and $spex(n,C_{\ell}^2)$ for sufficiently large $n$, respectively. Moreover, in both results, we characterize the corresponding extremal graphs for any integer $\ell\geq 6$ that is not divisible by $3$.
A digraph version of the Friendship Theorem
The Friendship Theorem states that if in a party any pair of persons has precisely one common friend, then there is always a person who is everybody's friend and the theorem has been proved by Paul Erdős, Alfréd Rényi, and Vera T. Sós in 1966. ``What would happen if instead any pair of persons likes precisely one person?" While a friendship relation is symmetric, a liking relation may not be symmetric. Therefore to represent a liking relation we should use a directed graph. We call this digraph a ``liking digraph". It is easy to check that a symmetric liking digraph becomes a friendship graph if each directed cycle of length two is replaced with an edge. In this paper, we provide a digraph formulation of the Friendship Theorem which characterizes the liking digraphs. We also establish a sufficient and necessary condition for the existence of liking digraphs.
Combinatorics of higher-dimensional tropical covers
We develop a combinatorial framework to study certain polyhedral maps which are higher-dimensional analogues of tropical covers between metric graphs. Under a mild combinatorial assumption, we show that a map satisfies the so-called balancing condition if and only if it is an indexed branched cover, i.e.~locally over connected sets the count with multiplicity of points in every fibre is a constant, which in particular gives a well-defined global degree when the target is connected. Given a balanced map $(Σ, m_Σ) \to Δ$, we lift several connectivity properties of $Δ$ to~$Σ$. Using these lifting results we determine whether a multiplicity $m_{\mathcal U}$ that is defined only on the interiors of maximal cells of $Σ$ can be extended to all $Σ$ in a balanced manner. This relies on a strong connectivity assumption; we give a counterexample when this is missing.
Signless Laplacian spectral radius of graphs without short cycles or long cycles
Published in Linear Algebra and its Applications 645 (2022) 123-136
• View Publication
• BIB
The signless Laplacian spectral radius of a graph $G$, denoted by $q(G)$, is the largest eigenvalue of its signless Laplacian matrix. In this paper, we investigate extremal signless Laplacian spectral radius for graphs without short cycles or long cycles. Let $\mathcal{G}(m,g)$ be the family of graphs on $m$ edges with girth $g$ and $\mathcal{H}(m,c)$ be the family of graphs on $m$ edges with circumference $c$. More precisely, we obtain the unique extremal graph with maximal $q(G)$ in $\mathcal{G}(m,g)$ and $\mathcal{H}(m,c)$, respectively.
Semicubic cages and small graphs of even girth from voltage graphs
An \emph{$(3,m;g)$ semicubic graph} is a graph in which all vertices have degrees either $3$ or $m$ and fixed girth $g$. In this paper, we construct families of semicubic graphs of even girth and small order using two different techniques. The first technique generalizes a previous construction which glues cubic cages of girth $g$ together at remote vertices (vertices at distance at least $g/2$). The second technique, the main content of this paper, produces bipartite semicubic $(3,m; g)$-graphs with fixed even girth $g = 4t$ or $4t+2$ using voltage graphs over $\mathbb{Z}_{m}$. When $g = 4t+2$, the graphs have two vertices of degree $m$, while when $g = 4t$ they have exactly three vertices of degree $m$ (the remaining vertices are of degree $3$ in both cases). Specifically, we describe infinite families of semicubic graphs $(3,m; g)$ for $g = \{6, 8, 10, 12\}$ for infinitely many values of $m$. The cases $g = \{6,8\}$ include the unique $6$-cage and the unique $8$-cage when $m = 3$.
The families obtained in this paper for girth $g=\{10,12\}$ include examples with the best known bounds for semicubic graphs $(3,m; g)$
Partial reflections and globally linked pairs in rigid graphs
Published in SIAM Journal on Discrete Mathematics 38, p. 2005-2040, 2024
• View Publication
• BIB
A $d$-dimensional framework is a pair $(G,p)$, where $G$ is a graph and $p$ maps the vertices of $G$ to points in $\mathbb{R}^d$. The edges of $G$ are mapped to the corresponding line segments. A graph $G$ is said to be globally rigid in $\mathbb{R}^d$ if every generic $d$-dimensional framework $(G,p)$ is determined, up to congruence, by its edge lengths. A finer property is global linkedness: we say that a vertex pair $\{u,v\}$ of $G$ is globally linked in $G$ in $\mathbb{R}^d$ if in every generic $d$-dimensional framework $(G,p)$ the distance of $u$ and $v$ is uniquely determined by the edge lengths.
In this paper we investigate globally linked pairs in graphs in $\mathbb{R}^d$. We give several characterizations of those rigid graphs $G$ in which a pair $\{u,v\}$ is globally linked if and only if there exist $d+1$ internally disjoint paths from $u$ to $v$ in $G$. We call these graphs $d$-joined. Among others, we show that $G$ is $d$-joined if and only if for each pair of generic frameworks of $G$ with the same edge lengths, one can be obtained from the other by a sequence of partial reflections along hyperplanes determined by $d$-separators of $G$. We also show that the family of $d$-joined graphs is closed under edge addition, as well as under gluing along $d$ or more vertices. As a key ingredient to our main results, we prove that rigid graphs in $\mathbb{R}^d$ contain no crossing $d$-separators.
Our results give rise to new families of graphs for which global linkedness (and global rigidity) in $\mathbb{R}^d$ can be tested in polynomial time.
On a polynomial bound for the orbital diameter of primitive affine groups
Let $ VG $ be a finite primitive affine permutation group, where $ V $ is a vector space of dimension $ d $ over the prime field $ \mathbb{F}_p $ and $ G $ is an irreducible linear group on $ V $. We prove that if $ p $ divides $ |G| $, then the diameters of all nondiagonal orbital graphs of $ VG $ are at most $ 9d^3 $. This improves an earlier exponential bound by A. Maróti and the author.
Odd sun-free Triangulated Graphs are $S$-perfect
For a graph $G$ with the vertex set $V(G)$ and the edge set $E(G)$ and a star subgraph $S$ of $G$, let $α_S(G)$ be the maximum number of vertices in $G$ such that no two of them are in the same star subgraph $S$ and $θ_S(G)$ be the minimum number of star subgraph $S$ that cover the vertices of $G$. A graph $G$ is called $S$-perfect if for every induced subgraph $H$ of $G$, $α_S(H)=θ_S(H)$. Motivated by perfect graphs discovered by Berge, Ravindra introduced $S$-perfect graphs. In this paper we prove that a triangulated graph is $S$-perfect if and only if $G$ is odd sun-free. This result leads to a conjecture which if proved is a structural characterization of $S$-perfect graphs in terms of forbidden subgraphs.
On Perfectly Friendly Bisections of Random Graphs
We prove that there exists a constant $γ_{\mathrm{crit}}\approx .17566$ such that if $G\sim \mathbb{G}(n,1/2)$ then for any $\varepsilon > 0$ with high probability $G$ has a equipartition such that each vertex has $(γ_{\mathrm{crit}}-\varepsilon)\sqrt{n}$ more neighbors in its own part than in the other part and with high probability no such partition exists for a separation of $(γ_{\mathrm{crit}}+\varepsilon)\sqrt{n}$. The proof involves a number of tools ranging from isoperimetric results on vertex-transitive sets of graphs coming from Boolean functions, switchings, degree enumeration formulas, and the second moment method. Our results substantially strengthen recent work of Ferber, Kwan, Narayanan, and the last two authors on a conjecture of Füredi from 1988 and in particular prove the existence of fully-friendly bisections in $\mathbb{G}(n,1/2)$
Quorum colorings of maximum cardinality in linear time for a subclass of perfect trees
A partition $π=\{V_{1},V_{2},...,V_{k}\}$ of the vertex set $V$ of a graph $G$ into $k$ color classes $V_{i}$, with $1\leq i\leq k$ is called a quorum coloring of $G$ if for every vertex $v\in V$, at least half of the vertices in the closed neighborhood $N[v]$ of $v$ have the same color as $v$. The maximum cardinality of a quorum coloring of $G$ is called the quorum coloring number of $G$ and is denoted by $ψ_{q}(G)$. A quorum coloring of order $ψ_{q}(G)$ is a $ψ_{q}$-coloring. The determination of the quorum coloring number or design a linear-time algorithm computing it in a perfect $N$-ary tree has been posed recently as an open problem by Sahbi. In this paper, we answer this problem by designing a linear-time algorithm for finding both a $ψ_{q}$-coloring and the quorum coloring number for every perfect tree whose the vertices at the same depth have the same degree.
Maximally-stable Local Optima in Random Graphs and Spin Glasses: Phase Transitions and Universality
We consider $h$-stable local optima of Ising spin glass models, defined as spin configurations such that for nearly all of the spins, flipping their values results in increasing energy by at least a given amount $h$. Spins satisfying this condition are referred to as $h$-stable spins for that configuration. Similarly, we consider a very related notion of $h$-friendly partitions of a graph. These are defined as bi-partitionings such that for most nodes, the normalized number of neighbors within the node's partition exceed the normalized number of neighbors outside the partition by a certain amount $h$. For spin glasses as well as sparse and dense random graphs, while restricting to bisections, we prove the existence of a phase transition for the normalized energy level $h$ around a universal value $h^*$. For $h$ below the phase transition value $h^*$, bisections exist where the number of spins (nodes) which are not $h$-stable (not $h$-friendly) is sublinear. Above the phase transition level $h^*$ the smallest number of spins that are not $h$-stable (not $h$-friendly) is linear. This confirms a conjecture from Behrens et al. (2022). Our results also allow the characterization of possible energy values of stable local optima for varying $h$. In particular, for $h=0$, this rigorously proves seminal results in statistical physics regarding the so-called metastable states, such as in the work of Bray and Moore (1981). Our results extend a recent proof of the so-called Friendly Partition Conjecture in Ferber et al. (2022) from the case $h=0$ to the case when $h$ takes general values. Our proofs are obtained by analyzing the model on sparse random graphs and adopting Lindeberg's type universality method to lift the results from sparse to dense graphs and spin systems.
Connectivity of inhomogeneous random graphs II
Each graphon $W:Ω^2\rightarrow[0,1]$ yields an inhomogeneous random graph model $G(n,W)$. We show that $G(n,W)$ is asymptotically almost surely connected if and only if (i) $W$ is a connected graphon and (ii) the measure of elements of $Ω$ of $W$-degree less than $α$ is $o(α)$ as $α\rightarrow 0$. These two conditions encapsulate the absence of several linear-sized components, and of isolated vertices, respectively.
We study in bigger detail the limit probability of the property that $G(n,W)$ contains an isolated vertex, and, more generally, the limit distribution of the minimum degree of $G(n,W)$.
($\mathfrak{S}_p \times \mathfrak{S}_q$)-Invariant Graphical Parking Functions
Graphical parking functions, or $G$-parking functions, are a generalization of classical parking functions which depend on a connected multigraph $G$ having a distinguished root vertex. Gaydarov and Hopkins characterized the relationship between $G$-parking functions and another vector-dependent generalization of parking functions, the $\boldsymbol{u}$-parking functions. The crucial component of their result was their classification of all graphs $G$ whose $G$-parking functions are invariant under action by the symmetric group $\mathfrak{S}_n$, where $n+1$ is the order of $G$. In this work, we present a 2-dimensional analogue of Gaydarov and Hopkins' results by characterizing the overlap between $G$-parking functions and 2-dimensional $\boldsymbol{U}$-parking functions, i.e., pairs of integer sequences whose order statistics are bounded by certain weights along lattice paths in the plane. Our key result is a total classification of all $G$ whose set of $G$-parking functions is $(\mathfrak{S}_p \times \mathfrak{S}_q)$-invariant, where $p+q+1$ is the order of $G$.
Comparing list-color functions of uniform hypergraphs with their chromatic polynomials
In [J. Combin. Theory Ser. B 161 (2023), 109--119], the authors showed that the list-color function $P_l(G,k)$ of any simple graph $G$ of size $m$ coincides with its chromatic polynomial $P(G,k)$ for all integers $k\ge m-1$. In this article, we extend this conclusion to any uniform hypergraph. Furthermore, we show that for any $r$-uniform hypergraph ${\cal H}=(V,E)$, where $r\ge 2$, $P({\cal H}, L)-P({\cal H},k)\ge (k-|E|+1)k^{|V|-r-1}\sum\limits_{e\in E}\left (k-\left|\bigcap\limits_{v\in e}L(v)\right|\right )$ holds for all integers $k$ with $k\ge |E|-1\ge 4$ and all $k$-assignments $L$ of ${\cal H}$, where $P({\cal H}, L)$ is the number of $L$-colorings of ${\cal H}$.
Extremal Results on Conflict-free Coloring
A conflict-free open neighborhood coloring of a graph is an assignment of colors to the vertices such that for every vertex there is a color that appears exactly once in its open neighborhood. For a graph $G$, the smallest number of colors required for such a coloring is called the conflict-free open neighborhood (CFON) chromatic number and is denoted by $χ_{ON}(G)$. By considering closed neighborhood instead of open neighborhood, we obtain the analogous notions of conflict-free closed neighborhood (CFCN) coloring, and CFCN chromatic number (denoted by $χ_{CN}(G)$). The notion of conflict-free coloring was introduced in 2002, and has since received considerable attention.
In this paper, we study some extremal questions related to CFON and CFCN coloring.
Boundary and Hearing Independent Broadcasts in Graphs and Trees
A broadcast on a connected graph G with vertex set V(G) is a function $f:V(G)\rightarrow \{0, 1, ..., \text{diam}(G)\}$ such that $f(v)\leq e(v)$ (the eccentricity of $v$) for all $v\in V$. A vertex $v$ is said to be broadcasting if $f(v)>0$, with the set of all such vertices denoted $V_f^+$. A vertex $u$ hears $f$ from $v\in V_f^+$ if $d_G(u, v)\leq f(v)$. The broadcast $f$ is hearing independent if no broadcasting vertex hears another. If, in addition, any vertex $u$ that hears $f$ from multiple broadcasting vertices satisfies $f(v)\leq d_G(u, v)$ for all $v\in V_f^+$, the broadcast is said to be boundary independent.
The cost of $f$ is $σ(f)=\sum_{v\in V(G)}f(v)$. The minimum cost of a maximal boundary independent broadcast on G, called the lower bn-independence number, is denoted $i_{bn}(G)$. The lower h-independence number $i_h(G)$ is defined analogously for hearing independent broadcasts. We prove that $i_{bn}(G)\leq i_h(G)$ for all G and show that $i_h(G)/i_{bn}(G)$ is bounded. For both parameters, we show that the lower bn-independence number (h-independence number) of a connected graph G equals the minimum lower bn-independence number (h-independence number) among those of its spanning trees.
We further study the maximum cost of boundary independent broadcasts, denoted $α_{bn}(G)$. We show $α_{bn}(G)$ can be bounded in terms of the independence number $α(G)$, and prove that the maximum bn-independent broadcast problem is NP-hard by a reduction from the independent set problem to an instance of the maximum bn-independent broadcast problem.
With particular interest in caterpillars, we investigate bounds on $α_{bn}(T)$ when T is a tree in terms of its order and the number of vertices of degree at least 3, known as the branch vertices of T. We conclude by describing a polynomial-time algorithm to determine $α_{bn}(T)$ for a given tree T.