graph
35299 papers tagged with this keyword
On Vietoris-Rips complexes of Finite Metric Spaces with Scale $2$
Published
• View Publication
• BIB
We examine the homotopy types of Vietoris-Rips complexes on certain finite metric spaces at scale $2$. We consider the collections of subsets of $[m]=\{1, 2, \ldots, m\}$ equipped with symmetric difference metric $d$, specifically, $\mathcal{F}^m_n$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}$, and $\mathcal{F}_{\preceq A}^m$. Here $\mathcal{F}^m_n$ is the collection of size $n$ subsets of $[m]$ and $\mathcal{F}_{\preceq A}^m$ is the collection of subsets $\preceq A$ where $\preceq$ is a total order on the collections of subsets of $[m]$ and $A\subseteq [m]$ (see the definition of $\preceq$ in Section~\ref{Intro}). We prove that the Vietoris-Rips complexes $\mathcal{VR}(\mathcal{F}^m_n, 2)$ and $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^2$'s; also, the complexes $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}, 2)$ and $\mathcal{VR}(\mathcal{F}_{\preceq A}^m, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^3$'s. We provide inductive formula for these homotopy types extending the result of Barmak in \cite{Bar13} about the independence complexes of Kneser graphs \text{KG}$_{2, k}$ and the result of Adamaszek and Adams in \cite{AA22} about Vietoris-Rips complexes of hypercube graphs with scale $2$.
On the geometric thickness of 2-degenerate graphs
A graph is 2-degenerate if every subgraph contains a vertex of degree at most 2. We show that every 2-degenerate graph can be drawn with straight lines such that the drawing decomposes into 4 plane forests. Therefore, the geometric arboricity, and hence the geometric thickness, of 2-degenerate graphs is at most 4. On the other hand, we show that there are 2-degenerate graphs that do not admit any straight-line drawing with a decomposition of the edge set into 2 plane graphs. That is, there are 2-degenerate graphs with geometric thickness, and hence geometric arboricity, at least 3. This answers two questions posed by Eppstein [Separating thickness from geometric thickness. In Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004].
Improved bounds on the cop number when forbidding a minor
Published in Journal of Graph Theory, 108(3):620-646, March 2025
• View Publication
• BIB
Andreae (1986) proved that the cop number of connected $H$-minor-free graphs is bounded for every graph $H$. In particular, the cop number is at most $|E(H-h)|$ if $H-h$ contains no isolated vertex, where $h\in V(H)$. The main result of this paper is an improvement on this bound, which is most significant when $H$ is small or sparse, for instance when $H-h$ can be obtained from another graph by multiple edge subdivisions. Some consequences of this result are improvements on the upper bound for the cop number of $K_{3,t}$-minor-free graphs, $K_{2,t}$-minor-free graphs and linklessly embeddable graphs.
Linear Size Universal Point Sets for Classes of Planar Graphs
A finite set $P$ of points in the plane is $n$-universal with respect to a class $\mathcal{C}$ of planar graphs if every $n$-vertex graph in $\mathcal{C}$ admits a crossing-free straight-line drawing with vertices at points of $P$. For the class of all planar graphs the best known upper bound on the size of a universal point set is quadratic and the best known lower bound is linear in $n$. Some classes of planar graphs are known to admit universal point sets of near linear size, however, there are no truly linear bounds for interesting classes beyond outerplanar graphs.
In this paper, we show that there is a universal point set of size $2n-2$ for the class of bipartite planar graphs with $n$ vertices. The same point set is also universal for the class of $n$-vertex planar graphs of maximum degree $3$. The point set used for the results is what we call an exploding double chain, and we prove that this point set allows planar straight-line embeddings of many more planar graphs, namely of all subgraphs of planar graphs admitting a one-sided Hamiltonian cycle. The result for bipartite graphs also implies that every $n$-vertex plane graph has a $1$-bend drawing all whose bends and vertices are contained in a specific point set of size $4n-6$, this improves a bound of $6n-10$ for the same problem by Löffler and Tóth.
Jump-systems of $T$-paths
Published in Proceedings of the Twelfth Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications (March 2023)
• Search Publication
Jump systems are sets of integer vectors satisfying a simple axiom, generalizing matroids, also delta-matroids, and well-kown combinatorial examples such as degree sequences of subgraphs of a graph. It is useful to know if a set of vectors defined from combinatorial structures is a jump system: this has consequences for optimizing on the set, or on some derived sets of vectors. In this note we are mainly concerned in telling our proof of the following more than two decades old fact and its original, elementary proof for an example different from degree sequences:
{\em Given an udirected graph $G=(V,E)$ and $T\subseteq V$, the vectors $m$ indexed by $T$ for which there exist a set of openly disjoint $T$-paths so that each $t\in T$ is the endpoint of exactly $m(t)$ paths forms a jump system. The same holds for edge-disjoint $T$-paths.}
We are also exhibiting the context and some consequences of this fact, with some pointers to recent developments, among them ro another proof by Iwata and Yokoi, to some related jump system intersection theorems and to some open problems.
Littlewood-Richardson coefficients and the eigenvalues of integral line graphs
We first describe a system of inequalities (Horn's inequalities) that characterize eigenvalues of sums of Hermitian matrices.
When we apply this system for integral Hermitian matrices, one can directly test it by using Littlewood-Richardson coefficients.
In this paper, we apply Horn's inequalities to analysis the eigenvalues of an integral line graph $G$ of a connected bipartite graph. Then we show that the diameter of $G$ is at most $2ω(G)$, where $ω(G)$ is the clique number of $G$. Also using Horn's inequalities, we show that for every odd integer $k\geq 19$, a non-complete $k$-regular Ramanujan graph has an eigenvalue less than $-2$.
Contracting edges to destroy a pattern: A complexity study
Published
• View Publication
• BIB
Given a graph G and an integer k, the objective of the $Π$-Contraction problem is to check whether there exists at most k edges in G such that contracting them in G results in a graph satisfying the property $Π$. We investigate the problem where $Π$ is `H-free' (without any induced copies of H). It is trivial that H-free Contraction is polynomial-time solvable if H is a complete graph of at most two vertices. We prove that, in all other cases, the problem is NP-complete. We then investigate the fixed-parameter tractability of these problems. We prove that whenever H is a tree, except for seven trees, H-free Contraction is W[2]-hard. This result along with the known results leaves behind three unknown cases among trees.
Proof of a Conjecture on Online Ramsey Numbers of Paths
For two graphs $G_1$ and $G_2$, the online Ramsey number $\tilde{r}(G_1,G_2)$ is the smallest number of edges that Builder draws on an infinite empty graph to guarantee that there is either a red copy of $G_1$ or a blue copy of $G_2$, under the condition that Builder draws one edge in each round and Painter immediately colors it red or blue. For online Ramsey numbers of paths, Cyman, Dzido, Lapinskas, and Lo conjectured that $\tilde{r}(P_4, P_{\ell+1}) = \lceil(7\ell+2)/5\rceil$ for all $\ell \ge 3$ [Electron. J. Combin. 22 (2015) #P1.15]. We verify the conjecture in this paper.
Determining the b-chromatic number of subdivision-vertex neighbourhood coronas
Published in Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica 32:2 (2024), 53-84
• View Publication
• BIB
Let $G$ and $H$ be two graphs, each one of them being a path, a cycle or a star. In this paper, we determine the $b$-chromatic number of every subdivision-vertex neighbourhood corona $G\boxdot H$ or $G\boxdot K_n$, where $K_n$ is the complete graph of order $n$. It is also established for those graphs $K_n\boxdot G$ having $m$-degree not greater than $n+2$. All the proofs are accompanied by illustrative examples.
A notion of twins
Given a combinatorial structure, a ``twin'' is a pair of disjoint substructures which are isomorphic (or look the same in some sense). In recent years, there have been many problems about finding large twins in various combinatorial structures. For example, given a graph $G$, one can ask what is the largest $s$ such that there exist disjoint subsets $I,J\subset V(G)$ on $s$ vertices, such that the induced subgraphs $G[I],G[J]$ are isomorphic.
We are motivated by two different problems of finding twins in two kinds of ordered objects (strings and permutations). We introduce a new variant of ``twin problem'' which generalizes both of these. By considering this generalization, we are able to improve some bounds obtained by Dudek, Grytczuk, and Ruciński, and give a negative answer to a conjecture of theirs.
Minimum Degree Threshold for $H$-factors with High Discrepancy
Given a graph $H$, a perfect $H$-factor in a graph $G$ is a collection of vertex-disjoint copies of $H$ spanning $G$. Kühn and Osthus showed that the minimum degree threshold for a graph $G$ to contain a perfect $H$-factor is either given by $1-1/χ(H)$ or by $1-1/χ_{cr}(H)$ depending on certain natural divisibility considerations. Given a graph $G$ of order $n$, a $2$-edge-coloring of $G$ and a subgraph $G'$ of $G$, we say that $G'$ has high discrepancy if it contains significantly (linear in $n$) more edges of one color than the other. Balogh, Csaba, Pluhár and Treglown asked for the minimum degree threshold guaranteeing that every 2-edge-coloring of $G$ has an $H$-factor with high discrepancy and they settled the case where $H$ is a clique. Here we completely resolve this question by determining the minimum degree threshold for high discrepancy of $H$-factors for every graph $H$.
Coxeter tournaments
Published
• View Publication
• BIB
We describe the Coxeter permutahedra, recently studied by Ardila, Castillo, Eur and Postnikov, in terms of random Coxeter tournaments, which involve cooperative and solitaire games, as well as the usual competitive games in graph tournaments. In this way, we establish a Coxeter version of Moon's theorem on random tournaments. We present a geometric proof by the Mirsky--Thompson generalized Birkhoff's theorem, a probabilistic proof by Strassen's coupling theorem, and an algorithmic proof by a Coxeter analogue of the Havel--Hakimi algorithm. These proofs have interpretations in terms of players choosing competitors/collaborators with respect to relative weakness/strength. We also introduce a natural Coxeter analogue of the Bradley--Terry model, from the statistical theory of paired comparisons.
Strong domatic number of a graph
Published
• View Publication
• BIB
A set $D$ of vertices of a simple graph $G=(V,E)$ is a strong dominating set, if for every vertex $x\in \overline{D}=V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. The strong domatic number of $G$ is the maximum number of strong dominating sets into which the vertex set of $G$ can be partitioned. We initiate the study of the strong domatic number, and we present different sharp bounds on $d_{st}(G)$. In addition, we determine this parameter for some classes of graphs, such as cubic graphs of order at most $10$.
Rigidity, Tensegrity and Reconstruction of Polytopes under Metric Constraints
Published
• View Publication
• BIB
We conjecture that a convex polytope is uniquely determined up to isometry by its edge-graph, edge lengths and the collection of distances of its vertices to some arbitrary interior point, across all dimensions and all combinatorial types. We conjecture even stronger that for two polytopes $P\subset\mathbb R^d$ and $Q\subset\mathbb R^e$ with the same edge-graph it is not possible that $Q$ has longer edges than $P$ while also having smaller vertex-point distances.
We develop techniques to attack this question and verify it in three relevant special cases: if $P$ and $Q$ are centrally symmetric, if $Q$ is a slight perturbation of $P$, and if $P$ and $Q$ are combinatorially equivalent. In the first two cases the statements stay true if we replace $Q$ by some graph embedding $q\colon V(G_P)\to\mathbb R^e$ of the edge-graph $G_P$ of $P$, which can be interpreted as local resp. universal rigidity of certain tensegrity frameworks. We also establish that a polytope is uniquely determined up to affine equivalence by its edge-graph, edge lengths and the Wachspress coordinates of an arbitrary interior point.
We close with a broad overview of related and subsequent questions.
On the Multigraph Overfull Conjecture
Published
• View Publication
• BIB
A subgraph $H$ of a multigraph $G$ is overfull if $ |E(H) | > Δ(G) \lfloor |V(H)|/2 \rfloor$. Analogous to the Overfull Conjecture proposed by Chetwynd and Hilton in 1986, Stiebitz et al. in 2012 formed the multigraph version of the conjecture as follows: Let $G$ be a multigraph with maximum multiplicity $r$ and maximum degree $Δ>\frac{1}{3} r|V(G)|$. Then $G$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. In this paper, we prove the following three results toward the Multigraph Overfull Conjecture for sufficiently large and even $n$.
(1) If $G$ is $k$-regular with $k\ge r(n/2+18)$, then $G$ has a 1-factorization. This result also settles a conjecture of the first author and
Tipnis from 2001 up to a constant error in the lower bound of $k$.
(2) If $G$ contains an overfull subgraph and $δ(G)\ge r(n/2+18)$, then $χ'(G)=\lceil χ'_f(G) \rceil$, where $χ'_f(G)$ is the fractional chromatic index of $G$.
(3) If the minimum degree of $G$ is at least $(1+\varepsilon)rn/2$ for any $0<\varepsilon<1$ and $G$ contains no overfull subgraph, then $χ'(G)=Δ(G)$.
The proof is based on the decomposition of multigraphs into simple graphs and we prove a slightly weak version of a conjecture due to the first author and Tipnis from 1991 on decomposing a multigraph into constrained simple graphs. The result is of independent interests.
Embedding hypercubes into torus and Cartesian product of paths and cycles for minimizing wirelength
Published
• View Publication
• BIB
Though embedding problems have been considered for several regular graphs, it is still an open problem for hypercube into torus. In the paper, we prove the conjecture mathematically and obtain the minimum wirelength of embedding for hypercube into Cartesian product of paths and/or cycles. In addition, we explain that Gray code embedding is an optimal strategy in such embedding problems.
Partitioning edges of a planar graph into linear forests and a matching
Published
• View Publication
• BIB
We show that the edges of any planar graph of maximum degree at most $9$ can be partitioned into $4$ linear forests and a matching. Combined with known results, this implies that the edges of any planar graph $G$ of odd maximum degree $Δ\ge 9$ can be partitioned into $\tfrac{Δ-1}{2}$ linear forests and one matching. This strengthens well-known results stating that graphs in this class have chromatic index $Δ$ [Vizing, 1965] and linear arboricity at most $\lceil(Δ+1)/2\rceil$ [Wu, 1999].
Power of $k$ Choices in the Semi-Random Graph Process
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
In this paper, we introduce a natural generalization of this game in which $k$ random vertices $u_1, \ldots, u_k$ are presented to the player in each round. She needs to select one of the presented vertices and connect to any vertex she wants. We focus on the following three monotone properties: minimum degree at least $\ell$, the existence of a perfect matching, and the existence of a Hamiltonian cycle.
Optimal local identifying and local locating-dominating codes
Published in Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11001
• View Publication
• BIB
We introduce two new classes of covering codes in graphs for every positive integer $r$. These new codes are called local $r$-identifying and local $r$-locating-dominating codes and they are derived from $r$-identifying and $r$-locating-dominating codes, respectively. We study the sizes of optimal local 1-identifying codes in binary hypercubes. We obtain lower and upper bounds that are asymptotically tight. Together the bounds show that the cost of changing covering codes into local 1-identifying codes is negligible. For some small $n$ optimal constructions are obtained. Moreover, the upper bound is obtained by a linear code construction. Also, we study the densities of optimal local 1-identifying codes and local 1-locating-dominating codes in the infinite square grid, the hexagonal grid, the triangular grid, and the king grid. We prove that seven out of eight of our constructions have optimal densities.
$K_r$-saturated Graphs and the Two Families Theorem
Published
• View Publication
• BIB
Given a graph $H$, we say that a graph $G$ is $H$-saturated if $G$ contains no copy of $H$ but adding any new edge to $G$ creates a copy of $H$. Let $sat(n,K_r,t)$ be the minimum number of edges in a $K_r$-saturated graph on $n$ vertices with minimum degree at least $t$. Day showed that for fixed $r \geq 3$ and $t \geq r-2$, $sat(n,K_r,t)=tn-c(r,t)$ for large enough $n$, where $c(r,t)$ is a constant depending on $r$ and $t$, and proved the bounds
$$ 2^t t^{3/2} \ll_r c(r,t) \leq t^{t^{2t^2}} $$
for fixed $r$ and large $t$. In this paper we show that for fixed $r$ and large $t$, the order of magnitude of $c(r,t)$ is given by $c(r,t)=Θ_r \left(4^t t^{-1/2} \right)$. Moreover, we investigate the dependence on $r$, obtaining the estimates
$$ \frac{4^{t-r}}{\sqrt{t-r+3}} + r^2 \ll c(r,t) \ll \frac{4^{t-r} \min{(r,\sqrt{t-r+3})}}{\sqrt{t-r+3}} + r^2 \ . $$
We further show that for all $r$ and $t$, there is a finite collection of graphs such that all extremal graphs are blow-ups of graphs in the collection.
Using similar ideas, we show that every large $K_r$-saturated graph with $e$ edges has a vertex cover of size $O(e / \log e)$, uniformly in $r \geq 3$. This strengthens a previous result of Pikhurko. We also provide examples for which this bound is tight.
A key ingredient in the proofs is a new version of Bollobás's Two Families Theorem.