graph
34585 papers tagged with this keyword
Unavoidable patterns in complete simple topological graphs
Published
• View Publication
• BIB
We show that every complete $n$-vertex simple topological graph contains a topological subgraph on at least $(\log n)^{1/4 - o(1)}$ vertices that is weakly isomorphic to the complete convex geometric graph or the complete twisted graph. This is the first improvement on the bound $Ω(\log^{1/8}n)$ obtained in 2003 by Pach, Solymosi, and Tóth. We also show that every complete $n$-vertex simple topological graph contains a plane path of length at least $(\log n)^{1 -o(1)}$.
Maximally Edge-Connected Realizations and Kundu's $k$-factor Theorem
Published
• View Publication
• BIB
A simple graph $G$ with edge-connectivity $λ(G)$ and minimum degree $δ(G)$ is maximally edge connected if $λ(G)=δ(G)$. In 1964, given a non-increasing degree sequence $π=(d_{1},\ldots,d_{n})$, Jack Edmonds showed that there is a realization $G$ of $π$ that is $k$-edge-connected if and only if $d_{n}\geq k$ with $\sum_{i=1}^{n}d_{i}\geq 2(n-1)$ when $d_{n}=1$. We strengthen Edmonds's result by showing that given a realization $G_{0}$ of $π$ if $Z_{0}$ is a spanning subgraph of $G_{0}$ with $δ(Z_{0})\geq 1$ such that $|E(Z_{0})|\geq n-1$ when $δ(G_{0})=1$, then there is a maximally edge-connected realization of $π$ with $G_{0}-E(Z_{0})$ as a subgraph. Our theorem tells us that there is a maximally edge-connected realization of $π$ that differs from $G_{0}$ by at most $n-1$ edges. For $δ(G_{0})\geq 2$, if $G_{0}$ has a spanning forest with $c$ components, then our theorem says there is a maximally edge-connected realization that differs from $G_{0}$ by at most $n-c$ edges. As an application we combine our work with Kundu's $k$-factor Theorem to show there is a maximally edge-connected realization with a $(k_{1},\dots,k_{n})$-factor for $k\leq k_{i}\leq k+1$ and present a partial result to a conjecture that strengthens the regular case of Kundu's $k$-factor theorem.
Spectrum of the Transposition graph
Published in Linear Algebra and its Applications, 2022
• View Publication
• BIB
Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group generated by all transpositions. It is known that all eigenvalues of $T_n$ are integers. However, an explicit description of the spectrum is unknown. In this paper we prove that for any integer $k\geqslant 0$ there exists $n_0$ such that for any $n\geqslant n_0$ and any $m \in \{0, \dots, k\}$, $m$ is an eigenvalue of $T_n$. In particular, it is proved that zero is an eigenvalue of $T_n$ for any $n\neq2$, and one is an eigenvalue of $T_n$ for any odd $n\geqslant 7$ and for any even $n \geqslant 14$. We also present exact values of the third and the fourth largest eigenvalues of $T_n$ with their multiplicities.
On extremal properties of perfect 2-colorings
A coloring of vertices of a graph is called perfect if, for every vertex, the collection of colors of its neighbors depends only on its own color. The correspondent color partition of vertices is called equitable. We note that a number of bounds (Hoffman bound, Cheeger bound, Bierbrauer--Friedman bound and other) is only reached on perfect $2$-colorings. We show that the Expander Mixing Lemma is another example of an inequality that generates a perfect $2$-coloring. We prove a new upper bound for the size of $S\subset V(G)$ with the fixed average internal degree for an amply regular graph $G$. This bound is reached on the set $S$ if and only if $\{S, V(G)\setminus S\}$ is an equitable partition.
Ramsey non-goodness involving books
Published
• View Publication
• BIB
In 1983, Burr and Erdős initiated the study of Ramsey goodness problems.Nikiforov and Rousseau (2009) resolved almost all goodness questions raised by Burr and Erdős, in which the bounds on the parameters are of tower type since their proofs rely on the regularity lemma. Let $B_{k,n}$ be the book graph on $n$ vertices which consists of $n-k$ copies of $K_{k+1}$ all sharing a common $K_k$, and let $H=K_p(a_1,\dots,a_{p})$ be the complete $p$-partite graph with parts of sizes $a_1,\dots,a_{p}$.
Recently, avoiding use of the regularity lemma, Fox, He and Wigderson (2021) revisit several Ramsey goodness results involving books. They comment that it would be very interesting to see how far one can push these ideas. In particular, they conjecture that for all integers $k, p, t\ge 2$, there exists some $δ>0$ such that for all $n\ge 1$, $1\leq a_1\le\cdots\le a_{p-1}\le t$ and $a_p \le δn$, we have $r(H, B_{k,n})= (p-1)(n-1)+d_k(n,K_{a_1,a_2})+1,$ where $d_k(n,K_{a_1,a_2})$ is the maximum $d$ for which there is an $(n+d-1)$-vertex $K_{a_1,a_2}$-free graph in which at most $k-1$ vertices have degree less than $d$.They verify the conjecture when $a_1=a_2=1$.
Building upon the work of Fox et al. (2021), we make a substantial step by showing that the conjecture "roughly" holds if $a_1=1$ and $a_2|(n-1-k)$, i.e. $a_2$ divides $n-1-k$. Moreover, avoiding use of the regularity lemma, we prove that for every $k, a\geq 1$ and $p\ge2$, there exists $δ>0$ such that for all large $n$ and $b\le δ\ln n$, $r(K_p(1,a,b,\dots,b), B_{k,n})= (p-1)(n-1)+k(p-1)(a-1)+1$ if $a|(n-1-k)$, where the case when $a=1$ has been proved by Nikiforov and Rousseau (2009) using the regularity lemma. The bounds on $1/δ$ we obtain are not of tower-type since our proofs do not rely on the regularity lemma.
The combinator ${\bf M}$ and the Mockingbird lattice
Published in Mathematical Structures in Computer Science, 2022
• View Publication
• BIB
We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator ${\bf M}$. This basic combinator, named as the Mockingbird by Smullyan, is defined by the rewrite rule ${\bf M} x_1 \to x_1 x_1$. We prove that the reflexive and transitive closure of this rewrite relation is a partial order on terms on ${\bf M}$ and that all connected components of its rewrite graph are Hasse diagram of lattices. This last result is based on the introduction of new lattices on duplicative forests, which are sorts of treelike structures. These lattices are not graded, not self-dual, and not semidistributive. We present some enumerative properties of these lattices like the enumeration of their elements, of the edges of their Hasse diagrams, and of their intervals. These results are derived from formal power series on terms and on duplicative forests endowed with particular operations.
Existence of $2$-Factors in Tough Graphs without Forbidden Subgraphs
Published
• View Publication
• BIB
For a given graph $R$, a graph $G$ is $R$-free if $G$ does not contain $R$ as an induced subgraph. It is known that every $2$-tough graph with at least three vertices has a $2$-factor. In graphs with restricted structures, it was shown that every $2K_2$-free $3/2$-tough graph with at least three vertices has a $2$-factor, and the toughness bound $3/2$ is best possible. In viewing $2K_2$, the disjoint union of two edges, as a linear forest, in this paper, for any linear forest $R$ on 5, 6, or 7 vertices, we find the sharp toughness bound $t$ such that every $t$-tough $R$-free graph on at least three vertices has a 2-factor.
Generalizing forbidden induced subgraph characterizations of high throttling numbers
Zero forcing is a process that models the spread of information throughout a graph as white vertices are forced to turn blue using a color change rule. The idea of throttling, introduced in 2013 by Butler and Young, is to optimize the trade-off between the number of initial blue vertices and the time taken to force all vertices to become blue. The original throttling number of a graph minimizes the sum of these two quantities and the product throttling number minimizes their product. In addition, weighted throttling changes the weights given to these two quantities when minimizing their sum. Since its introduction, throttling has expanded to include many variants of zero forcing. This motivates the study of zero forcing and throttling using abstract color change rules. Recently, it has been shown that the graphs with high (sum) throttling numbers are characterized by a finite family of forbidden induced subgraphs. In this paper, we extend that result to throttling, product throttling, and weighted throttling using abstract color change rules. To this end, we define some important families of color change rules and explore their properties.
On a rainbow extremal problem for color-critical graphs
Published
• View Publication
• BIB
There has been extensive studies on the following question: given $k$ graphs $G_1,\dots, G_k$ over a common vertex set of size $n$, what conditions on $G_i$ ensures a `colorful' copy of $H$, i.e., a copy of $H$ containing at most one edge from each $G_i$? A lower bound on $\sum_{i\in [k]} e(G_i)$ enforcing a colorful copy of a given graph $H$ was considered by Keevash, Saks, Sudakov, and Verstraëte. They defined $\operatorname{ex}_k(n,H)$ to be the maximum total number of edges of the graphs $G_1,\dots, G_k$ on a common vertex set of size $n$ having no colorful copy of $H$. They completely determined $\operatorname{ex}_k(n,K_r)$ for large $n$ by showing that, depending on the value of $k$, one of the two natural constructions is always the extremal construction. Moreover, they conjectured the same holds for every color-critical graphs and proved it for 3-color-critical graphs.
We prove their conjecture for 4-color-critical graphs and for almost all $r$-color-critical graphs when $r > 4$. Moreover, we show that for every non-color-critical non-bipartite graphs, none of the two natural constructions is extremal for certain values of $k$. This answers a question of Keevash, Saks, Sudakov, and Verstraëte.
Mockingbird lattices
Published in Formal Power Series and Algebraic Combinatorics, Séminaire Lotharingien de Combinatoire, 86B.3, 2022
• Search Publication
We study combinatorial and order theoretic structures arising from the fragment of combinatory logic spanned by the basic combinator ${\bf M}$. This basic combinator, named as the Mockingbird by Smullyan, is defined by the rewrite rule ${\bf M} x_1 \to x_1 x_1$. We prove that the reflexive and transitive closure of this rewrite relation is a partial order on terms on ${\bf M}$ and that all connected components of its rewrite graph are Hasse diagrams of lattices. This last result is based on the introduction of lattices on some forests. We enumerate the elements, the edges of the Hasse diagrams, and the intervals of these lattices with the help of formal power series on terms and on forests.
Existence of a Non-Zero $(0,1)$-Vector in the Row Space of Adjacency Matrices of Simple Graphs
Published in Bull. Malays. Math. Sci. Soc. (2025) 48:56
• View Publication
• BIB
We look for a non-zero $(0, 1)$-vector in the row space of the adjacency matrix $A(Γ)$ of a graph $Γ,$ provided $Γ$ has at least one edge. Akbari, Cameron, and Khosrovshahi conjectured that there exists a non-zero $(0,1)$-vector in the row space of $A(Γ)$ (over the real numbers) which does not occur as a row of $A(Γ).$ This conjecture can be easily verified for graphs having diameter is equal to $1$ (complete graphs). In this article, we affirmatively prove this conjecture for any graph whose diameter is $\geq 4.$ Furthermore, in the remaining two cases that is, for graphs with diameter is equal to $2$ or $3,$ we report some progress in support of the conjecture.
Weyl Tensors, Strongly Regular Graphs, Multiplicative Characters, and a Quadratic Matrix Equation
Published
• View Publication
• BIB
We study solutions of a quadratic matrix equation arising in Riemannian geometry. Let $S$ be a real symmetric $n\times n$-matrix with zeros on the diagonal and let $θ$ be a real number. We construct nonzero solutions $(S,θ)$ of the set of quadratic equations \[\sum_kS_{i,k}=0\quad\text{ and }\quad\sum_{k}S_{i,k}S_{k,j}+S_{i,j}^2=θS_{i,j}\text { for }i<j.\] Our solutions relate the equations to strongly regular graphs, to group rings, and to multiplicative characters of finite fields.
Efficient attack sequences in m-eternal domination
We study the m-eternal domination problem from the perspective of the attacker. For many graph classes, the minimum required number of guards to defend eternally is known. By definition, if the defender has less than the required number of guards, then there exists a sequence of attacks that ensures the attacker's victory. Little is known about such sequences of attacks, in particular, no bound on its length is known.
We show that if the game is played on a tree $T$ on $n$ vertices and the defender has less than the necessary number of guards, then the attacker can win in at most $n$ turns. Furthermore, we present an efficient procedure that produces such an attacking strategy.
The Sombor index and coindex of two-trees
Published
• View Publication
• BIB
The Sombor index of a graph $G$, introduced by Ivan Gutman, is defined as the sum of the weights $\sqrt{d_G(u)^2+d_G(v)^2}$ of all edges $uv$ of $G$, where $d_G(u)$ denotes the degree of vertex $u$ in $G$. The Sombor coindex is recently defined as $\bar{SO}(G)=\sum \limits_{uv\notin E(G)}\sqrt{d_G(u)^2+d_G(v)^2}$. In this paper, the maximum and second maximum Sombor index, the minimum and second minimum Sombor coindex in two-trees are determined.
On the meeting of random walks on random DFA
Published
• View Publication
• BIB
We consider two random walks evolving synchronously on a random out-regular graph of $n$ vertices with bounded out-degree $r\ge 2$, also known as a random Deterministic Finite Automaton (DFA). We show that, with high probability with respect to the generation of the graph, the meeting time of the two walks is stochastically dominated by a geometric random variable of rate $(1+o(1))n^{-1}$, uniformly over their starting locations. Further, we prove that this upper bound is typically tight, i.e., it is also a lower bound when the locations of the two walks are selected uniformly at random. Our work takes inspiration from a recent conjecture by Fish and Reyzin in the context of computational learning, the connection with which is discussed.
Domination ratio of a family of integer distance digraphs with arbitrary degree
Published
• View Publication
• BIB
An integer distance digraph is the Cayley graph $Γ(\mathbb{Z},S)$ of the additive group $\mathbb{Z}$ of all integers with respect to a finite subset $S\subseteq\mathbb{Z}$. The domination ratio of $Γ(\mathbb{Z},S)$, defined as the minimum density of its dominating sets, is related to some number theory problems, such as tiling the integers and finding the maximum density of a set of integers with missing differences. We precisely determine the domination ratio of the integer distance graph $Γ(\mathbb{Z},\{1,2,\ldots,d-2,s\})$ for any integers $d$ and $s$ satisfying $d\ge2$ and $s\notin[0,d-2]$. Our result generalizes a previous result on the domination ratio of the graph $Γ(\mathbb{Z},\{1,s\})$ with $s\in\mathbb{Z}\setminus\{0,1\}$ and also implies the domination number of certain circulant graphs $Γ(\mathbb{Z}_n,S)$, where $\mathbb{Z}_n$ is the finite cyclic group of integers modulo $n$ and $S$ is a subset of $\mathbb{Z}_n$.
A general approach to deriving diagnosability results of interconnection networks
Published
• View Publication
• BIB
We generalize an approach to deriving diagnosability results of various interconnection networks in terms of the popular $g$-good-neighbor and $g$-extra fault-tolerant models, as well as mainstream diagnostic models such as the PMC and the MM* models.
As demonstrative examples, we show how to follow this constructive, and effective, process to derive the $g$-extra diagnosabilities of the hypercube, the $(n, k)$-star, and the arrangement graph. These results agree with those achieved individually, without duplicating structure independent technical details. Some of them come with a larger applicable range than those already known, and the result for the arrangement graph in terms of the MM* model is new.
Induced subgraphs and tree decompositions V. Small components of big vertices
Aboulker, Adler, Kim, Sintiari, and Trotignon conjectured that every graph with bounded maximum degree and large treewidth must contain, as an induced subgraph, a large subdivided wall, or the line graph of a large subdivided wall. This conjecture was recently proved by Korhonen, but the problem of identifying the obstacles to bounded treewidth in the general case (that is, without the bounded maximum degree condition) remains wide open. Examples of structures of large treewidth which avoid the "usual suspects" have been constructed by Sintiari and Trotignon, and by Davies. In this note, we aim to better isolate the features of these examples that lead to large treewidth. To this end, we prove the following result. Let $G$ be a graph, and write $γ(G)$ for the size of a largest connected component in the graph induced by $G$ on the set of vertices of degree at least 3. If $γ(G)$ is small and the treewidth of $G$ is large, then $G$ must contain a large subdivided wall or the line graph of a large subdivided wall. This result is the best possible, in the sense that the conclusion fails if we replace 3 by any larger number in the definition of $γ(G)$, as evidenced by Davies' example.
Firefighting with a Distance-Based Restriction
Published
• View Publication
• BIB
In the classic version of the game of firefighter, on the first turn a fire breaks out on a vertex in a graph $G$ and then $k$ firefighters protect $k$ vertices. On each subsequent turn, the fire spreads to the collective unburnt neighbourhood of all the burning vertices and the firefighters again protect $k$ vertices. Once a vertex has been burnt or protected it remains that way for the rest of the game. A common objective with respect to some infinite graph $G$ is to determine how many firefighters are necessary to stop the fire from spreading after a finite number of turns, commonly referred to as containing the fire. We introduce the concept of distance-restricted firefighting where the firefighters' movement is restricted so they can only move up to some fixed distance $d$ per turn rather than being able to move without restriction. We establish some general properties of this new game in contrast to properties of the original game, and we investigate specific cases of the distance-restricted game on the infinite square, strong, and hexagonal grids. We conjecture that two firefighters are insufficient on the square grid when $d = 2$, and we pose some questions about how many firefighters are required in general when $d = 1$.
Algorithms for the ferromagnetic Potts model on expanders
Published in Combinator. Probab. Comp. 33 (2024) 487-517
• View Publication
• BIB
We give algorithms for approximating the partition function of the ferromagnetic $q$-color Potts model on graphs of maximum degree $d$. Our primary contribution is a fully polynomial-time approximation scheme for $d$-regular graphs with an expansion condition at low temperatures (that is, bounded away from the order-disorder threshold). The expansion condition is much weaker than in previous works; for example, the expansion exhibited by the hypercube suffices. The main improvements come from a significantly sharper analysis of standard polymer models; we use extremal graph theory and applications of Karger's algorithm to count cuts that may be of independent interest. It is \#BIS-hard to approximate the partition function at low temperatures on bounded-degree graphs, so our algorithm can be seen as evidence that hard instances of \#BIS are rare. We also obtain efficient algorithms in the Gibbs uniqueness region for bounded-degree graphs. While our high temperature proof follows more standard polymer model analysis, our result holds in the largest known range of parameters $d$ and $q$.