graph
35175 papers tagged with this keyword
Slavic Techniques for Hat Guessing Algorithms
2023 undergraduate thesis on a deterministic "hat game." For a digraph $D$, each player stands on a vertex $v$, is assigned a hat from $h(v)$ possible colors, and makes $g(v)$ guesses of her hat's color based on her out-neighbors' hats. If there exists a collective strategy that guarantees a correct guess for any hat assignment, the game is winnable. Which games $(D,g,h)$ are winnable? Two much-studied parameters: $μ(D)$ is the maximum integer $k$ such that $(D,1,k)$ is winnable, and $\hatμ(D)$ is the supremum of $h/g$ for integer $h, g$ such that $(D,g,h)$ is winnable.
Chapter 0 is a casual, riddle-based introduction. Chapter 1 taxonomizes the games, surveys all previous work, and summarizes the piece. Chapter 2 proves lemmata and easy cases. Chapter 3 uses "hats as hints" and "admissible paths" for games on cycles. Chapter 4 generalizes several "constructors" and applies them to tree games. Chapter 5 uses "combinatorial prisms" for a new angle on the well-studied $K_{n,m}$ games. In chapter 6, we apply "dependency digraphs" to the continuous limit of this game. Chapter 7 collects open problems and minor results.
We show:
$(C_{k\geq 4},1,h)$ is winnable if and only if: $h=3$ and $k$ is divisible by $3$ or equal to $4$, $h\leq 4$ and the $h(v)$ sequence $(3,2,3)$ or $(2,3,3)$ appears in the cycle, or the $h(v)$ sequence $(2,...,2)$ appears with no intervening value $>4$.
$(T, 1, h)$ is winnable for tree $T$ iff $T$ has a subtree $T'$ with $h(v)\leq 2^{deg_{T'}(v)}$ for all $v\in V(T')$.
For a digraph $D$, $\hatμ(D)\leq e(Δ^-+1)$. For a graph $G$, $\hatμ(G)\leq (Δ-1)^{1-Δ} Δ^Δ<eΔ$.
$(\overrightarrow{C}_k, g, h)$ is unwinnable if $g(v_i)/h(v_i) + g(v_{i+1})/h(v_{i+1}) < 1$ for some $i$.
And much else. Important open questions: what other graph parameters or properties bound $μ$? What complexity classes are at play?
Solid bricks that every $b$-invariant edge is solitary
A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. A brick $G$ is solid if for any two vertex disjoint odd cycles $C_1$ and $C_2$ of $G$, $G-(V(C_1)\cup V(C_2))$ has no perfect matching. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we show that for a solid brick $G$ of order $n$ that is distinct from $K_4$, every $b$-invariant edge of $G$ is solitary if and only if $G$ is a wheel $W_n$.
The spectra of graph substitutions
Let $(X,E_X)$ and $(V,E_V)$ be finite connected graphs without loops. We assume that $V$ has two distinguished vertices $a,b$ and an automorphism $γ$ which exchanges $a$ and~$b$. The $V$-edge substitution of $X$ is the graph $X[V]$ where each edge $[x,y] \in E_X$ is replaced by a copy of $V$, identifying $x$ with $a$ and $y$ with $b$ or vice versa. (The latter choice does not matter; it yields isomorphic graphs.) The aim is to describe the spectrum of $X[V]$ in terms of the spectra of $X$ and $V$. Instead of the spectra of the adjacency matrices, we consider the versions which are normalised by dividing each row by the row sum (the vertex degree). These are stochastic, reversible matrices, and our approach applies more generally to reversible transition matrices corresponding to arbitrary positive edge weights invariant under $γ$. We write $P$ for the transition matrix over $X$ and $Q$ for the one over $V$. Together, they induce the matrix $P_*$ over $X[V]$.
The main part of the spectrum of $P_*$ is the response of the natural frequencies of $X$ to substituting $V$, given by a functional equation coming from a rational function induced by~$Q$. A second part comes from specific eigenvalues of $Q$, if present. Finally, there is the part of $\mathsf{spec}(P_*)$ whose eigenfunctions have $X$ as a nodal set. The results depend on issues like whether $X$ has circles of even length and on the eigenvalues of the restriction of $Q$ to $V \setminus \{ a,b\}$, which are classified into 4 possible types. Quite subtle is the issue of determining the multiplicities of the latter as eigenvalues of $P_*$ in terms of the input.
A note on the strength of a hypercube
As a generalization of super magic strength, the strength of a graph was introduced in [R. Ichishima, F.A. Muntaner-Batle, A. Oshima, Bounds for the strength of graphs, Austral. J. of Combin. 72(3) (2018) 492-508]. For a vertex ordering $f$ of graph $G$, the strength of $f$ is the maximum sum of the labels on any pair of adjacent vertices. The strength of $G$ is defined as the minimum strength of $f$, taken over all vertex orderings of $G$. The strength of the hypercube is unknown, but bounded. In this note, we provide an improved upper bound for the strength of a hypercube.
Tropical elliptic curves in 3-space
Published
• View Publication
• BIB
We classify trivalent graphs with 16 vertices and 16 edges that arise from intersecting two quadratic surfaces in tropical 3-space. There are 4,009 such graphs, representing maximally degenerate stable models of elliptic curves realized as tropical complete intersections of two quadrics. Our classification is derived from 405,246,030 regular unimodular triangulations of the 4-dimensional Cayley polytope.
Perfect Graph Modification Problems: An Integer Programming Approach
Graph modification problems, which aim to find a small set of modifications to a graph so that it satisfies a desired property, have been studied for several special graph classes. The literature is rather rich in NP-completeness results and polynomial time solvable cases. However, to the best of our knowledge, only a few exact algorithms have been suggested to address NP-hard cases. In this work, we propose exact solution methods based on integer programming for three perfect graph modification problems: minimum perfect editing, minimum perfect completion and the perfect sandwich problem. The minimum perfect editing problem inquires the smallest number of edge additions and deletions to make a graph perfect, while the completion problem allows only edge additions. In the perfect sandwich problem, only a given subset of non-edges can be changed to edges, and the problem asks whether a perfect graph can be obtained in this way. The proposed methods are based on the Strong Perfect Graph Theorem. We represent odd holes and odd antiholes as linear inequalities, and formulate an integer programming model to solve minimum perfect editing problem. To address the exponential number of constraints, we propose a cutting plane algorithm which relies on finding odd holes and odd antiholes. To enhance the practical efficiency of the cutting plane algorithm, we address the expected number of odd holes and odd antiholes in random graphs. In addition, we propose a heuristic algorithm to make a given graph perfect, which is used to obtain improved upper bounds for the editing and the completion problems. Finally, we demonstrate empirical effectiveness of the proposed methods through computational experiments.
Rigidity of Graphs and Frameworks: A Matroid Theoretic Approach
Published
• View Publication
• BIB
A $d$-dimensional (bar-and-joint) framework $(G,p)$ consists of a graph $G=(V,E)$ and a realisation $p:V\to \mathbb{R}^d$. It is rigid if every continuous motion of the vertices which preserves the lengths of the edges is induced by an isometry of $\mathbb{R}^d$. The study of rigid frameworks has increased rapidly since the 1970s stimulated by numerous applications in areas such as civil and mechanical engineering, CAD, molecular conformation, sensor network localisation and low rank matrix completion. We will describe some of the main results in combinatorial rigidity theory and their applications to other areas of combinatorics, putting an emphasis on links to matroid theory.
Domination, matching and transversal numbers for Berge-$G$ hypergraphs
Let $G=(V(G),E(G))$ be a graph and $H=(V(H),E(H))$ be a hypergraph. The hypergraph $H$ is a {\it Berge-G} if there is a bijection $f : E(G) \mapsto E(H)$ such that for each $e \in E(G)$ we have $e \subseteq f(e)$. We define {\it dilations of $G$} as a particular subfamily of not necessarily uniform Berge-$G$ hypergraphs. We examine domination, matching and transversal numbers and some relation between these parameters in that family of hypergraphs.
Our work generalizes previous results concerning generalized power hypergraphs.
A Cop-Win Graph with Maximum Capture Time $ω$
The game of cops and robbers is played on a fixed (finite or infinite) graph $G$. The cop chooses his starting position, then the robber chooses his. After that, they take turns and move to adjacent vertices, or stay at their current vertex, with the cop moving first. The game finishes if the cop lands on the robber's vertex. In that case we say that the cop wins, while if the robber is never caught then we say that the robber wins. The graph $G$ is called cop-win if the cop has a winning strategy.
In this paper we construct an infinite cop-win graph in which, for any two given starting positions of the cop and the robber, we can name in advance a finite time in which the cop can capture the robber, but these finite times are not bounded above. This shows that this graph has maximum capture time (CR-ordinal) $ω$, disproving a conjecture of Bonato, Gordinowicz and Hahn that no such graph should exist.
New bounds for linear arboricity and related problems
A linear forest is a collection of vertex-disjoint paths. The Linear Arboricity Conjecture states that every graph of maximum degree $Δ$ can be decomposed into at most $\lceil(Δ+1)/2\rceil$ linear forests. We prove that $Δ/2 + \mathcal{O}(\log n)$ linear forests suffice, where $n$ is the number of vertices of the graph. If $Δ= Ω(n^\varepsilon)$, this is an exponential improvement over the previous best error term. We achieve this by generalising Pósa rotations from rotations of one endpoint of a path to simultaneous rotations of multiple endpoints of a linear forest. This method has further applications, including the resolution of a conjecture of Feige and Fuchs on spanning linear forests with few paths and the existence of optimally short tours in connected regular graphs.
Potential Theory and the Boundary of Combinatorial Graphs
Let $G=(V,E)$ be a finite, connected graph. We investigate a notion of boundary $\partial G \subseteq V$ and argue that it is well behaved from the point of view of potential theory. This is done by proving a number of discrete analogous of classical results for compact domains $Ω\subset \mathbb{R}^d$. These include (1) an analogue of Pólya's result that a random walk in $Ω$ typically hits the boundary $\partial Ω$ within $\lesssim \mbox{diam}(Ω)^2$ units of time, (2) an analogue of the Faber-Krahn inequality, (3) an analogue of the Hardy inequality, (4) an analogue of the Alexandrov-Bakelman-Pucci estimate, (5) a stability estimate for hot spots and (6) a Theorem of Björck stating that probability measures $μ$ that maximize $\int_{Ω\times Ω} \|x-y\|^α dμ(x) dμ(y)$ are fully supported in the boundary.
General Strong Bound on the Uncrossed Number which is Tight for the Edge Crossing Number
We investigate a very recent concept for visualizing various aspects of a graph in the plane using a collection of drawings introduced by Hliněný and Masařík [GD 2023]. Formally, given a graph $G$, we aim to find an uncrossed collection containing drawings of $G$ in the plane such that each edge of $G$ is not crossed in at least one drawing in the collection. The uncrossed number of $G$ ($unc(G)$) is the smallest integer $k$ such that an uncrossed collection for $G$ of size $k$ exists. The uncrossed number is lower-bounded by the well-known thickness, which is an edge-decomposition of $G$ into planar graphs. This connection gives a trivial lower-bound $\lceil\frac{|E(G)|}{3|V(G)|-6}\rceil \le unc(G)$. In a recent paper, Balko, Hliněný, Masařík, Orthaber, Vogtenhuber, and Wagner [GD 2024] presented the first non-trivial and general lower-bound on the uncrossed number. We summarize it in terms of dense graphs (where $|E(G)|=ε(|V(G)|)^2$ for some $ε>0$): $\lceil\frac{|E(G)|}{c_ε|V(G)|}\rceil \le unc(G)$, where $c_ε\ge 2.82$ is a constant depending on $ε$.
We improve the lower-bound to state that $\lceil\frac{|E(G)|}{3|V(G)|-6-\sqrt{2|E(G)|}+\sqrt{6(|V(G)|-2)}}\rceil \le unc(G)$. Translated to dense graphs regime, the bound yields a multiplicative constant $c'_ε=3-\sqrt{(2-ε)}$ in the expression $\lceil\frac{|E(G)|}{c'_ε|V(G)|+o(|V(G)|)}\rceil \le unc(G)$. Hence, it is tight (up to low-order terms) for $ε\approx \frac{1}{2}$ as warranted by complete graphs.
In fact, we formulate our result in the language of the maximum uncrossed subgraph number, that is, the maximum number of edges of $G$ that are not crossed in a drawing of $G$ in the plane. In that case, we also provide a construction certifying that our bound is asymptotically tight (up to low-order terms) on dense graphs for all $ε>0$.
Spectral properties of distance Laplacian matrices of complex unit gain graphs
A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $, and its inverse is assigned to the opposite orientation. In this article, we study several spectral properties of distance Laplacian matrices of $\mathbb{T}$-gain graphs. In particular, we establish a characterization for the balanced $ \mathbb{T}$-gain graph in terms of the nullity of gain distance Laplacian matrices. As an example, it is shown that two switching equivalent $ \mathbb{T} $-gain graphs need not imply that their distance Laplacian spectra are the same. However, we provide a necessary condition for which two switching equivalent $ \mathbb{T} $-gain graphs have the same distance Laplacian spectra. Furthermore, we present a lower bound for spectral radii of gain distance Laplacian matrices in terms of the winner index. In addition, we establish some upper bounds for spectral radii of gain distance Laplacian matrices and characterize the equalities.
Non-Hamiltonian 2-regular Digraphs
In earlier papers, we showed a decomposition of 2-diregular digraphs (2-dds) and used it to provide some sufficient conditions for these graphs to be non-Hamiltonian; we also showed a close connection between the permanent and determinant of the adjacency matrices of these digraphs and gave some enumeration and generation results. In the present paper we extend the discussion to a larger class of digraphs, introduce the notions of routes and quotients and use them to provide additional criteria for 2-dds to be non-Hamiltonian. Though individual non-Hamiltonian regular connected graphs of low degree are known (e.g. Tutte and Meredith graphs), families of such graphs are not common in the literature; even scarcer are families of such digraphs. Our results identify a few such families.
A Note on Edge Coalitions in Graphs
Haynes et al. (2020) introduced and investigated the concept of coalition in graphs \cite{hhhmm1}. Their study examined this concept from a vertex-based perspective, whereas in this paper, we extend the investigation to an edge-based perspective of graphs. \\ An edge coalition in a graph $G=(V,E)$ consists of two disjoint sets of edges $E_1$ and $E_2$, neither of which individually forms an edge dominating set, but whose union $E_1\cup E_2$ is an edge dominating set. An edge coalition partition in a graph $G$ of order $n=|V|$ and size $|E|=m$ is an edge partition $π=\{E_1,\cdots,E_k\}$ so that every set $E_i$ of $π$ either is a singleton edge dominating set, or is not an edge dominating set but forms an edge coalition with another set $E_j$ in $π$, which is also not an edge dominating set.
In this paper, we introduce the concept of an edge coalition and demonstrate its existence in particular graphs and trees. Additionally, we characterize graphs with small number of edge coalitions and analyze edge coalition structures in various special graph classes.
On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges
Published
• View Publication
• BIB
We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges.
Odd Ramsey numbers of multipartite graphs and hypergraphs
Given a hypergraph $G$ and a subhypergraph $H$ of $G$, the \emph{odd Ramsey number} $r_{odd}(G,H)$ is the minimum number of colors needed to edge-color $G$ so that every copy of $H$ intersects some color class in an odd number of edges. Generalizing a result of \cite{BHZ} in two different ways, in this paper we prove $r_{odd} \left(K_{n,n}, K_{2,t} \right)=\frac{n}{t} + o(n)$ for all $t\geq 2$, and $r_{odd} \left(\mathcal{K}^{(k)}_{n,\dots,n}, \mathcal{K}_{1,\dots,1,2,2} \right) = \frac{n}{2} + o(n)$ for all $k\geq 2$. The latter is the first result studying odd Ramsey numbers for hypergraphs.
Counting $k$-cycles in $5$-connected planar triangulations
We show that every $n$-vertex $5$-connected planar triangulation has at most $9n-50$ many cycles of length $5$ for all $n\ge 20$ and this upper bound is tight. We also show that for every $k\geq 6$, there exists some constant $C(k)$ such that for sufficiently large $n$, every $n$-vertex $5$-connected planar graph has at most $C(k) \cdot n^{\lfloor{k/3}\rfloor}$ many cycles of length $k$. This upper bound is asymptotically tight for all $k\geq 6$.
Edge-connectivity of graphs with non-negative Bakry-Émery curvature and amply regular graphs
Published
• View Publication
• BIB
We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.
The $d$-distance $p$-packing domination number: complexity, cycles, and trees
A set of vertices $X\subseteq V(G)$ is a $d$-distance dominating set if for every $u\in V(G)\setminus X$ there exists $x\in X$ such that $d(u,x) \le d$, and $X$ is a $p$-packing if $d(u,v) \ge p+1$ for every different $u,v\in X$. The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. It is proved that for every two fixed integers $d$ and $p$ with $2 \le d$ and $0 \le p \leq 2d-1$, the decision problem whether $γ_d^p(G) \leq k$ holds is NP-complete for bipartite planar graphs. A necessary and sufficient condition for the existence of a $d$-distance $p$-packing dominating set in $C_n$ is obtained and $γ_d^p(C_n)$ determined for every $d$, $p$, and $n$. For a tree $T$ on $n$ vertices with $\ell$ leaves and $s$ support vertices it is proved that (i) $γ_2^0(T) \geq \frac{n-\ell-s+4}{5}$, (ii) $\left \lceil \frac{n-\ell-s+4}{5} \right \rceil \leq γ_2^2(T) \leq \left \lfloor \frac{n+3s-1}{5} \right \rfloor$, and if $d \geq 2$, then (iii) $γ_d^2(T) \leq \frac{n-2\sqrt{n}+d+1}{d}$. Inequality (i) improves an earlier bound due to Meierling and Volkmann, and independently Raczek, Lemańska, and Cyman, while (iii) extends an earlier result for $γ_2^2(T)$ due to Henning. Sharpness of the bounds are discussed and established in most cases. It is also proved that every connected graph $G$ contains a spanning tree $T$ such that $γ_2^2(T) \leq γ_2^2(G)$.