graph
34516 papers tagged with this keyword
Non-canonical maximum cliques without a design structure in the block graphs of 2-designs
Published
• View Publication
• BIB
In this note we answer positively a question of Chris Godsil and Karen Meagher on the existence of a 2-design whose block graph has a non-canonical maximum clique without a design structure.
On conjectures concerning the graph grabbing game
We consider two conjectures made in regard to the graph grabbing game, played on a vertex weighted graph. Seacrest and Seacrest conjectured in 2012 that the first player can win the graph grabbing game on any even-order bipartite graph. Eoh and Choi conjectured a strengthening of this in 2019, namely that the first player can win on any graph with no induced corona product of an odd cycle and a point. We provide a family of counterexamples to the latter conjecture, and propose a weaker conjecture in its place. We also show that the above two conjectures are equivalent when the vertex weights are all $0$ or $1$.
A note on universal graphs for spanning trees
Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$.
Generalized regular Turán numbers
We combine two generalizations of ordinary Turán problems. Given graphs $H$ and $F$ and a positive integer $n$, we study $rex(n, H, F )$, which is the largest number of copies of $H$ in $F$-free regular $n$-vertex graphs.
The $k$-visibility Localization Game
We study a variant of the Localization game in which the cops have limited visibility, along with the corresponding optimization parameter, the $k$-visibility localization number $ζ_k$, where $k$ is a non-negative integer. We give bounds on $k$-visibility localization numbers related to domination, maximum degree, and isoperimetric inequalities. For all $k$, we give a family of trees with unbounded $ζ_k$ values. Extending results known for the localization number, we show that for $k\geq 2$, every tree contains a subdivision with $ζ_k = 1$. For many $n$, we give the exact value of $ζ_k$ for the $n \times n$ Cartesian grid graphs, with the remaining cases being one of two values as long as $n$ is sufficiently large. These examples also illustrate that $ζ_i \neq ζ_j$ for all distinct choices of $i$ and $j.$
On regular 2-path Hamiltonian graphs
Kronk introduced the $l$-path hamiltonianicity of graphs in 1969. A graph is $l$-path Hamiltonian if every path of length not exceeding $l$ is contained in a Hamiltonian cycle. We have shown that if $P=uvz$ is a 2-path of a 2-connected, $k$-regular graph on at most $2k$ vertices and $G - V(P)$ is connected, then there must exist a Hamiltonian cycle in $G$ that contains the 2-path $P$. In this paper, we characterize a class of graphs that illustrate the sharpness of the bound $2k$. Additionally, we show that by excluding the class of graphs, both 2-connected, $k$-regular graphs on at most $2k + 1$ vertices and 3-connected, $k$-regular graphs on at most $3k-6$ vertices satisfy that there is a Hamiltonian cycle containing the 2-path $P$ if $G\setminus V(P)$ is connected.
Shortest paths on polymatroids and hypergraphic polytopes
Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.
ABCD: Algorithm for Balanced Component Discovery in Signed Networks
The largest balanced element in signed graphs plays a vital role in helping researchers understand the fundamental structure of the graph, as it reveals valuable information about the complex relationships between vertices in the network. The challenge is an NP-hard problem; there is no current baseline to evaluate state-of-the-art signed graphs derived from real networks. In this paper, we propose a scalable state-of-the-art approach for the maximum balanced sub-graph detection in the network of any size. The proposed approach finds the largest balanced sub-graph by considering only the top $K$ balanced states with the lowest frustration index. We show that the ABCD method selects a subset from an extensive signed network with millions of vertices and edges, and the size of the discovered subset is double that of the state-of-the-art in a similar time frame.
Asymmetric Ramsey properties of randomly perturbed graphs
In this note, we investigate for various pairs of graphs $(H,G)$ the question of how many random edges must be added to a dense graph to guarantee that any red-blue coloring of the edges contains a red copy of $H$ or a blue copy of $G$. We determine this perturbed Ramsey threshold for many new pairs of graphs and various ranges of densities, obtaining several generalizations of results obtained by Das and Treglown. In particular, we resolve the remaining cases toward determining the perturbed Ramsey threshold for pairs $(K_t,K_s)$ where $t\geq s\geq 5$.
Scaling Frustration Index and Corresponding Balanced State Discovery for Real Signed Graphs
Structural balance modeling for signed graph networks presents how to model the sources of conflicts. The state-of-the-art focuses on computing the frustration index of a signed graph, a critical step toward solving problems in social and sensor networks and scientific modeling. The proposed approaches do not scale to large signed networks of tens of millions of vertices and edges. This paper proposes two efficient algorithms, a tree-based \emph{graphBpp} and a gradient descent-based \emph{graphL}. We show that both algorithms outperform state-of-art in terms of efficiency and effectiveness for discovering the balanced state for \emph{any} network size. We introduce the first comparison for large graphs for the exact, tree-based, and gradient descent-based methods. The speedup of the methods is around \emph{300+ times faster} than the state-of-the-art for large signed graphs. We find that the exact method excels at optimally finding the frustration for small graphs only. \emph{graphBpp} scales this approximation to large signed graphs at the cost of accuracy. \emph{graphL} produces a state with a lower frustration at the cost of selecting a proper variable initialization and hyperparameter tuning.
A note on the indivisibility of the Henson graphs
We show that in contrast to the Rado graph, the Henson graphs are not computably indivisible.
On the eigenvalues and Seidel eigenvalues of chain graphs
In this paper we consider the eigenvalues and the Seidel eigenvalues of a chain graph. An$\dbar$elić, da Fonseca, Simić, and Du \cite{andelic2020tridiagonal} conjectured that there do not exist non-isomorphic cospectral chain graphs with respect to the adjacency spectrum. Here we disprove this conjecture. Furthermore, by considering the relation between the Seidel matrix and the adjacency matrix of a graph, we solve two problems on the number of distinct Seidel eigenvalues of a chain graph, which was posed by Mandal, Mehatari, and Das \cite{mandal2022spectrum}.
The Toll Walk Transit Function of a Graph: Axiomatic Characterizations and First-Order Non-definability
A walk $W=w_1w_2\dots w_k$, $k\geq 2$, is called a toll walk if $w_1\neq w_k$ and $w_2$ and $w_{k-1}$ are the only neighbors of $w_1$ and $w_k$, respectively, on $W$ in a graph $G$. A toll walk interval $T(u,v)$, $u,v\in V(G)$, contains all the vertices that belong to a toll walk between $u$ and $v$. The toll walk intervals yield a toll walk transit function $T:V(G)\times V(G)\rightarrow 2^{V(G)}$. We represent several axioms that characterize the toll walk transit function among chordal graphs, trees, asteroidal triple-free graphs, Ptolemaic graphs, and distance hereditary graphs. We also show that the toll walk transit function can not be described in the language of first-order logic for an arbitrary graph.
Finding a Maximum Restricted $t$-Matching via Boolean Edge-CSP
The problem of finding a maximum $2$-matching without short cycles has received significant attention due to its relevance to the Hamilton cycle problem. This problem is generalized to finding a maximum $t$-matching which excludes specified complete $t$-partite subgraphs, where $t$ is a fixed positive integer. The polynomial solvability of this generalized problem remains an open question. In this paper, we present polynomial-time algorithms for the following two cases of this problem: in the first case the forbidden complete $t$-partite subgraphs are edge-disjoint; and in the second case the maximum degree of the input graph is at most $2t-1$. Our result for the first case extends the previous work of Nam (1994) showing the polynomial solvability of the problem of finding a maximum $2$-matching without cycles of length four, where the cycles of length four are vertex-disjoint. The second result expands upon the works of Bérczi and Végh (2010) and Kobayashi and Yin (2012), which focused on graphs with maximum degree at most $t+1$. Our algorithms are obtained from exploiting the discrete structure of restricted $t$-matchings and employing an algorithm for the Boolean edge-CSP.
Limits of chordal graphs with bounded tree-width
Published in Random Structures & Algorithms, Volume 66, Issue 1, Pages e21275, January 2025
• View Publication
• BIB
We study random $k$-connected chordal graphs with bounded tree-width. Our main results are scaling limits and quenched local limits.
Ramsey numbers of bounded degree trees versus general graphs
Published in Journal of Combinatorial Theory, Series B, Volume 173, Pages 102-145, 2025
• View Publication
• BIB
For every $k\ge 2$ and $Δ$, we prove that there exists a constant $C_{Δ,k}$ such that the following holds. For every graph $H$ with $χ(H)=k$ and every tree with at least $C_{Δ,k}|H|$ vertices and maximum degree at most $Δ$, the Ramsey number $R(T,H)$ is $(k-1)(|T|-1)+σ(H)$, where $σ(H)$ is the size of a smallest colour class across all proper $k$-colourings of $H$. This is tight up to the value of $C_{Δ,k}$, and confirms a conjecture of Balla, Pokrovskiy, and Sudakov.
Anti-van der Waerden Numbers of Graph Products with Trees
Given a graph $G$, an exact $r$-coloring of $G$ is a surjective function $c:V(G) \to [1,\dots,r]$. An arithmetic progression in $G$ of length $j$ with common difference $d$ is a set of vertices $\{v_1,\dots, v_j\}$ such that $dist(v_i,v_{i+1}) = d$ for $1\le i < j$. An arithmetic progression is rainbow if all of the vertices are colored distinctly. The fewest number of colors that guarantees a rainbow arithmetic progression of length three is called the anti-van der Waerden number of $G$ and is denoted $aw(G,3)$. It is known that $3 \le aw(G\square H,3) \le 4$. Here we determine exact values $aw(T\square T',3)$ for some trees $T$ and $T'$, determine $aw(G\square T,3)$ for some trees $T$, and determine $aw(G\square H,3)$ for some graphs $G$ and $H$.
Small doubling implies small tripling for balls of large radius
Published in Discrete Anal., 2025:9, 9pp
• Search Publication
We show that if $K\ge1$ is a parameter and $S$ is a finite symmetric subset of a group containing the identity such $|S^{2n}|\le K|S^n|$ for some integer $n\ge2K^2$, then $|S^{3n}|\le\exp(\exp(O(K^2)))|S^n|$. Such a result was previously known only under the stronger assumption that $|S^{2n+1}|\le K|S^n|$. We prove similar results for locally compact groups and vertex-transitive graphs. We indicate some results in the structure theory of vertex-transitive graphs of polynomial growth whose hypotheses can be weakened as a result.
Tight bounds on adjacency labels for monotone graph classes
A class of graphs admits an adjacency labeling scheme of size $b(n)$, if the vertices in each of its $n$-vertex graphs can be assigned binary strings (called labels) of length $b(n)$ so that the adjacency of two vertices can be determined solely from their labels.
We give tight bounds on the size of adjacency labels for every family of monotone (i.e., subgraph-closed) classes with a well-behaved growth function between $2^{O(n \log n)}$ and $2^{O(n^{2-δ})}$ for any $δ> 0$. Specifically, we show that for any function $f: \mathbb N \to \mathbb R$ satisfying $\log n \leqslant f(n) \leqslant n^{1-δ}$ for any fixed $δ> 0$, and some~sub-multiplicativity condition, there are monotone graph classes with growth $2^{O(nf(n))}$ that do not admit adjacency labels of size at most $f(n) \log n$. On the other hand, any such class does admit adjacency labels of size $O(f(n)\log n)$. Surprisingly this tight bound is a $Θ(\log n)$ factor away from the information-theoretic bound of $Ω(f(n))$. The special case when $f = \log$ implies that the recently-refuted Implicit Graph Conjecture [Hatami and Hatami, FOCS 2022] also fails within monotone classes.
We further show that the Implicit Graph Conjecture holds for all monotone \emph{small} classes. In other words, any monotone class with growth rate at most $n!\,c^n$ for some constant $c>0$, admits adjacency labels of information-theoretic order optimal size. In fact, we show a more general result that is of independent interest: any monotone small class of graphs has bounded degeneracy.We conjecture that the Implicit Graph Conjecture holds for all hereditary small classes.
The two-variable hypergraph Tutte polynomial via embedding activities
We prove that the two-variable Tutte polynomial of hypergraphs can be defined via embedding activities. We also prove that embedding activities of hypergraphs yield a Crapo-style decomposition of $\mathbb{Z}^E$, thus generalizing Bernardi's results from graphs to hypergraphs.
We also show that hypergraph embedding activities do not fit into the $Δ$-activity framework of Courtiel. Based on this observation, we construct a graph with an activity notion that yields a Crapo decomposition, but cannot be obtained as a $Δ$-activity.