graph
34516 papers tagged with this keyword
On a question of Matt Baker regarding the dollar game
In an introductory paper on dollar game played on a graph, Matt Baker wrote the following: ``The total number of borrowing moves required to win the game when playing the 'borrowing binge strategy' is independent of which borrowing moves you do in which order! Note, however, that it is usually possible to win in fewer moves by employing lending moves in combination with borrowing moves. The optimal strategy when one uses both kinds of moves is not yet understood.''
In this article, we give a lower bound on the minimum number $ M_{\text{min}} $ of such moves of an optimal algorithm in terms of the number of moves $ M_0 $ of the borrowing binge strategy. Concretely, we have: $ M_{\text{min}} \geq \frac{M_0}{n-1} $ where $ n $ is the number of vertices of the graph. This bound is tight.
Decreasing the mean subtree order by adding $k$ edges
The mean subtree order of a given graph $G$, denoted $μ(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $μ(H) > μ(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing that there are infinitely many pairs of graphs $H$ and $G$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)|= |E(G)|+1$ such that $μ(H) < μ(G)$. They also conjectured that for every positive integer $k$, there exists a pair of graphs $G$ and $H$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)| = |E(G)| +k$ such that $μ(H) < μ(G)$. Furthermore, they proposed that $μ(K_m+nK_1) < μ(K_{m, n})$ provided $n\gg m$. In this note, we confirm these two conjectures.
On self-duality and unigraphicity for $3$-polytopes
Recent literature posed the problem of characterising the graph degree sequences with exactly one $3$-polytopal (i.e. planar, $3$-connected) realisation. This seems to be a difficult problem in full generality. In this paper, we characterise the sequences with exactly one self-dual $3$-polytopal realisation.
An algorithm in the literature constructs a self-dual $3$-polytope for any admissible degree sequence. To do so, it performs operations on the radial graph, so that the corresponding $3$-polytope and its dual are modified in exactly the same way. To settle our question and construct the relevant graphs, we apply this algorithm, we introduce some modifications of it, and we also devise new ones. The speed of these algorithms is linear in the graph order.
Tree-like graphings, wallings, and median graphings of equivalence relations
Published in Forum of Mathematics, Sigma 13 (2025) e64
• View Publication
• BIB
We prove several results showing that every locally finite Borel graph whose large-scale geometry is "tree-like" induces a treeable equivalence relation. In particular, our hypotheses hold if each component of the original graph either has bounded tree-width or is quasi-isometric to a tree, answering a question of Tucker-Drob. In the latter case, we moreover show that there exists a Borel quasi-isometry to a Borel forest, under the additional assumption of (componentwise) bounded degree. We also extend these results on quasi-treeings to Borel proper metric spaces. In fact, our most general result shows treeability of countable Borel equivalence relations equipped with an abstract wallspace structure on each class obeying some local finiteness conditions, which we call a proper walling. The proof is based on the Stone duality between proper wallings and median graphs, i.e., CAT(0) cube complexes. Finally, we strengthen the conclusion of treeability in these results to hyperfiniteness in the case where the original graph has one (selected) end per component, generalizing the same result for trees due to Dougherty--Jackson--Kechris.
Cohen-Macaulay oriented graphs with large girth
We classify the Cohen-Macaulay weighted oriented graphs whose underlying graphs have girth at least $5$.
Cliquewidth and dimension
We prove that every poset with bounded cliquewidth and with sufficiently large dimension contains the standard example of dimension $k$ as a subposet. This applies in particular to posets whose cover graphs have bounded treewidth, as the cliquewidth of a poset is bounded in terms of the treewidth of the cover graph. For the latter posets, we prove a stronger statement: every such poset with sufficiently large dimension contains the Kelly example of dimension $k$ as a subposet. Using this result, we obtain a full characterization of the minor-closed graph classes $\mathcal{C}$ such that posets with cover graphs in $\mathcal{C}$ have bounded dimension: they are exactly the classes excluding the cover graph of some Kelly example. Finally, we consider a variant of poset dimension called Boolean dimension, and we prove that posets with bounded cliquewidth have bounded Boolean dimension.
The proofs rely on Colcombet's deterministic version of Simon's factorization theorem, which is a fundamental tool in formal language and automata theory, and which we believe deserves a wider recognition in structural and algorithmic graph theory.
On bicyclic graphs with maximal Graovac-Ghorbani index
Graovac-Ghorbani index is a new version of the atom-bond connectivity index. D. Pacheco et al. [D. Pacheco, L. de Lima, C. S. Oliveira, On the Graovac-Ghorbani Index for Bicyclic Graph with No Pendent Vertices, MATCH Commun. Math. Comput. Chem. 86 (2021) 429-448] conjectured a sharp lower and upper bounds to the Graovac-Ghorbani index for all bicyclic graphs. Motivated by their nice work, in this paper we determine the maximal Graovac-Ghorbani index of bicyclic graphs and characterize the corresponding extremal graphs, which solves one of their Conjectures.
Assignment Based Metrics for Attributed Graphs
We introduce the Graph TT (GTT) and Graph OSPA (GOSPA) metrics based on optimal assignment, which allow us to compare not only the edge structures but also general vertex and edge attributes of graphs of possibly different sizes. We argue that this provides an intuitive and universal way to measure the distance between finite simple attributed graphs. Our paper discusses useful equivalences and inequalities as well as the relation of the new metrics to various existing quantifications of distance between graphs. By deriving a representation of a graph as a pair of point processes, we are able to formulate and study a new type of (finite) random graph convergence and demonstrate its applicability using general point processes of vertices with independent random edges. Computational aspects of the new metrics are studied in the form of an exact and two heuristic algorithms that are derived from previous algorithms for similar tasks. As an application, we perform a statistical test based on the GOSPA metric for functional differences in olfactory neurons of Drosophila flies.
The Hereditary Closure of the Unigraphs
A graph with degree sequence $π$ is a \emph{unigraph} if it is isomorphic to every graph that has degree sequence $π$. The class of unigraphs is not hereditary and in this paper we study the related hereditary class HCU, the hereditary closure of unigraphs, consisting of all graphs induced in a unigraph. We characterize the class HCU in multiple ways making use of the tools of a decomposition due to Tyshkevich and a partial order on degree sequences due to Rao. We also provide a new characterization of the class that consists of unigraphs for which all induced subgraphs are also unigraphs.
Assouad-Nagata dimension of minor-closed metrics
Published in Proc. London Soc. 130 (2025), e70032
• View Publication
• BIB
Assouad-Nagata dimension addresses both large and small scale behaviors of metric spaces and is a refinement of Gromov's asymptotic dimension. A metric space $M$ is a minor-closed metric if there exists an (edge-)weighted graph $G$ satisfying a fixed minor-closed property such that the underlying space of $M$ is the vertex-set of $G$, and the metric of $M$ is the distance function in $G$. Minor-closed metrics naturally arise when removing redundant edges of the underlying graphs by using edge-deletion and edge-contraction. In this paper, we determine the Assouad-Nagata dimension of every minor-closed metric. Our main theorem simultaneously generalizes known results about the asymptotic dimension of $H$-minor free unweighted graphs and about the Assouad-Nagata dimension of complete Riemannian surfaces with finite Euler genus.
Kapranov degrees
The moduli space of stable rational curves with marked points has two distinguished families of maps: the forgetful maps, given by forgetting some of the markings, and the Kapranov maps, given by complete linear series of $ψ$-classes. The collection of all these maps embeds the moduli space into a product of projective spaces. We call the multidegrees of this embedding ``Kapranov degrees,'' which include as special cases the work of Witten, Silversmith, Gallet--Grasegger--Schicho, Castravet--Tevelev, Postnikov, Cavalieri--Gillespie--Monin, and Gillespie--Griffins--Levinson. We establish, in terms of a combinatorial matching condition, upper bounds for Kapranov degrees and a characterization of their positivity. The positivity characterization answers a question of Silversmith and gives a new proof of Laman's theorem characterizing generically rigid graphs in the plane. We achieve this by proving a recursive formula for Kapranov degrees and by using tools from the theory of error correcting codes.
Symmetric Nonnegative Trifactorization of Pattern Matrices
Published in Linear Algebra and its Applications (2024)
• View Publication
• BIB
A factorization of an $n \times n$ nonnegative symmetric matrix $A$ of the form $BCB^T$, where $C$ is a $k \times k$ symmetric matrix, and both $B$ and $C$ are required to be nonnegative, is called the Symmetric Nonnegative Matrix Trifactorization (SN-Trifactorization). The SNT-rank of $A$ is the minimal $k$ for which such factorization exists. The SNT-rank of a simple graph $G$ that allows loops is defined to be the minimal possible SNT-rank of all symmetric nonnegative matrices whose zero-nonzero pattern is prescribed by a given graph.
We define set-join covers of graphs, and show that finding the SNT-rank of $G$ is equivalent to finding the minimal order of a set-join cover of $G$. Using this insight we develop basic properties of the SNT-rank for graphs and compute it for trees and cycles without loops. We show the equivalence between the SNT-rank for complete graphs and the Katona problem, and discuss uniqueness of patterns of matrices in the factorization.
Uniform finite presentation for groups of polynomial growth
Published
• View Publication
• BIB
We prove a quantitative refinement of the statement that groups of polynomial growth are finitely presented. Let $G$ be a group with finite generating set $S$ and let $\operatorname{Gr}(r)$ be the volume of the ball of radius $r$ in the associated Cayley graph. For each $k \geq 0$, let $R_k$ be the set of words of length at most $2^k$ in the free group $F_S$ that are equal to the identity in $G$, and let $\langle \langle R_k \rangle\rangle$ be the normal subgroup of $F_S$ generated by $R_k$, so that the quotient map $F_S/\langle\langle R_k\rangle\rangle \to G$ induces a covering map of the associated Cayley graphs that has injectivity radius at least $2^{k-1}-1$. Given a non-negative integer $k$, we say that $(G,S)$ has a new relation on scale k if $\langle\langle R_{k+1} \rangle\rangle \neq \langle\langle R_{k} \rangle\rangle$. We prove that for each $K<\infty$ there exist constants $n_0$ and $C$ depending only on $K$ and $|S|$ such that if $\operatorname{Gr}(3n)\leq K \operatorname{Gr}(n)$ for some $n\geq n_0$, then there exist at most $C$ scales $k\geq \log_2 (n)$ on which $G$ has a new relation. We apply this result in a forthcoming paper as part of our proof of Schramm's locality conjecture in percolation theory.
The direct product of a star and a path is antimagic
A graph $G$ is antimagic if there exists a bijection $f$ from $E(G)$ to $\left\{1,2, \dots,|E(G)|\right\}$ such that the vertex sums for all vertices of $G$ are distinct, where the vertex sum is defined as the sum of the labels of all incident edges. Hartsfield and Ringel conjectured that every connected graph other than $K_2$ admits an antimagic labeling. It is still a challenging problem to address antimagicness in the case of disconnected graphs. In this paper, we study antimagicness for the disconnected graph that is constructed as the direct product of a star and a path.
Approximate Core Allocations for Edge Cover Games
We study the approximate core for edge cover games, which are cooperative games stemming from edge cover problems. In these games, each player controls a vertex on a network $G = (V, E; w)$, and the cost of a coalition $S\subseteq V$ is equivalent to the minimum weight of edge covers in the subgraph induced by $S$. We prove that the 3/4-core of edge cover games is always non-empty and can be computed in polynomial time by using linear program duality approach. This ratio is the best possible, as it represents the integrality gap of the natural LP for edge cover problems. Moreover, our analysis reveals that the ratio of approximate core corresponds with the length of the shortest odd cycle of underlying graphs.
Intersection subgroup graph with forbidden subgraphs
Let $G$ be a group. The intersection subgroup graph of $G$ (introduced by Anderson et al. \cite{anderson}) is the simple graph $Γ_{S}(G)$ whose vertices are those non-trivial subgroups say $H$ of $G$ with $H\cap K=\{e\}$ for some non-trivial subgroup $K$ of $G$; two distinct vertices $H$ and $K$ are adjacent if and only if $H\cap K=\{e\}$, where $e$ is the identity element of $G$. In this communication, we explore the groups whose intersection subgroup graph belongs to several significant graph classes including cluster graphs, perfect graphs, cographs, chordal graphs, bipartite graphs, triangle-free and claw-fee graphs. We categorize each nilpotent group $G$ so that $Γ_S(G)$ belongs to the above classes. We entirely classify the simple group of Lie type whose intersection subgroup graph is a cograph. Moreover, we deduce that $Γ_{S}(G)$ is neither a cograph nor a chordal graph if $G$ is a torsion-free nilpotent group.
A class of graphs of zero Turán density in a hypercube
A graph is cubical if it is a subgraph of a hypercube. For a cubical graph $H$ and a hypercube $Q_n$, $ex(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $ex(Q_n, H)$ is at least a positive proportion of the number of edges in $Q_n$, $H$ is said to have a positive Turán density in a hypercube or simply a positive Turán density; otherwise it has a zero Turán density. Determining $ex(Q_n, H)$ and even identifying whether $H$ has a positive or a zero Turán density remains a widely open question for general $H$. By relating extremal numbers in a hypercube and certain corresponding hypergraphs, Conlon found a large class of cubical graphs, ones having so-called partite representation, that have a zero Turán density. He raised a question whether this gives a characterisation, i.e., whether a cubical graph has zero Turán density if and only if it has partite representation. Here, we show that, as suspected by Conlon, this is not the case. We give an example of a class of cubical graphs which have no partite representation, but on the other hand, have a zero Turán density. In addition, we show that any graph whose every block has partite representation has a zero Turán density in a hypercube.
On the subgroup regular set in Cayley graphs
A subset $C$ of the vertex set of a graph $Γ$ is said to be $(a,b)$-regular if $C$ induces an $a$-regular subgraph and every vertex outside $C$ is adjacent to exactly $b$ vertices in $C$. In particular, if $C$ is an $(a,b)$-regular set of some Cayley graph on a finite group $G$, then $C$ is called an $(a,b)$-regular set of $G$ and a $(0,1)$-regular set is called a perfect code of $G$. In [Wang, Xia and Zhou, Regular sets in Cayley graphs, J. Algebr. Comb., 2022] it is proved that if $H$ is a normal subgroup of $G$, then $H$ is a perfect code of $G$ if and only if it is an $(a,b)$-regular set of $G$, for each $0\leq a\leq|H|-1$ and $0\leq b\leq|H|$ with $\gcd(2,|H|-1)\mid a$. In this paper, we generalize this result and show that a subgroup $H$ of $G$ is a perfect code of $G$ if and only if it is an $(a,b)$-regular set of $G$, for each $0\leq a\leq|H|-1$ and $0\leq b\leq|H|$ such that $\gcd(2,|H|-1)$ divides $a$.
Zero Forcing on 2-connected Outerplanar Graphs
We determine upper and lower bounds on the zero forcing number of 2-connected outerplanar graphs in terms of the structure of the weak dual. We show that the upper bound is always at most half the number of vertices of the graph. This work generalizes work of Hernández, Ranilla and Ranilla-Cortina who proved a similar result for maximal outerplanar graphs.
Central limit theorem for crossings in randomly embedded graphs
We consider the number of crossings in a random embedding of a graph, $G$, with vertices in convex position. We give explicit formulas for the mean and variance of the number of crossings as a function of various subgraph counts of $G$. Using Stein's method and size-bias coupling, we establish an upper bound on the Kolmogorov distance between the distribution of the number of crossings and a standard normal random variable. We also consider the case where $G$ is a random graph and obtain a Kolmogorov bound between the distribution of crossings and a Gaussian mixture distribution. As applications, we obtain central limit theorems with convergence rates for the number of crossings in random embeddings of matchings, path graphs, cycle graphs, disjoint union of triangles, random $d$-regular graphs, and mixtures of random graphs.