graph
34516 papers tagged with this keyword
Obstructions and dualities for matroid depth parameters
Contraction$^*$-depth is considered to be one of the analogues of graph tree-depth in the matroid setting. In this paper, we investigate structural properties of contraction$^*$-depth of matroids representable over finite fields and rationals. In particular, we prove that the obstructions for contraction$^*$-depth for these classes of matroids are bounded in size. From this we derive analogous results for related notions of contraction-depth and deletion-depth. Moreover, we define a dual notion to contraction$^*$-depth, named deletion$^*$-depth, for $\mathbb{F}$-representable matroids, and by duality extend our results from contraction$^*$-depth to this notion.
Asymptotic structure. I. Coarse tree-width
In this paper, we develop a coarse analogue of treewidth. We prove that a graph $G$ admits a tree-decomposition in which each bag is contained in the union of a bounded number of balls of bounded radius, if and only if $G$ admits a quasi-isometry to a graph with bounded tree-width. (The ``if'' half is easy, but the ``only if'' half is challenging.) This generalizes a recent result of Berger and Seymour, concerning tree-decompositions when each bag has bounded radius.
The semi-inducibility problem
Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the semi-inducibility problem. This problem is a generalisation of the inducibility problem of Pippenger and Golumbic which is solved only for some small graphs and limited families of graphs. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern.
Liu, Mubayi and Reiher asked whether there is a graph $F$ for which the binomial random graph is an asymptotically extremal graph in the inducibility problem over all graphs of a given edge density. This was recently answered in a strong negative sense by Jain, Michelen and Wei. In contrast, we find a \emph{quantum} graph $Q$ with positive coefficients and an interval of edge densities for which the only extremal graphs are quasirandom.
On the generalized coloring numbers
The \emph{coloring number} $\mathrm{col}(G)$ of a graph $G$, which is equal to the \emph{degeneracy} of $G$ plus one, provides a very useful measure for the uniform sparsity of $G$. The coloring number is generalized by three series of measures, the \emph{generalized coloring numbers}. These are the \emph{$r$-admissibility} $\mathrm{adm}_r(G)$, the \emph{strong $r$-coloring number} $\mathrm{col}_r(G)$ and the \emph{weak $r$-coloring number} $\mathrm{wcol}_r(G)$, where $r$ is an integer parameter. The generalized coloring numbers measure the edge density of bounded-depth minors and thereby provide an even more uniform measure of sparsity of graphs. They have found many applications in graph theory and in particular play a key role in the theory of bounded expansion and nowhere dense graph classes introduced by Nešetřil and Ossona de Mendez. We overview combinatorial and algorithmic applications of the generalized coloring numbers, emphasizing new developments in this area. We also present a simple proof for the existence of uniform orders and improve known bounds, e.g., for the weak coloring numbers on graphs with excluded topological minors.
Matching Cut and Variants on Bipartite Graphs of Bounded Radius and Diameter
In the Matching Cut problem we ask whether a graph $G$ has a matching cut, that is, a matching which is also an edge cut of $G$. We consider the variants Perfect Matching Cut and Disconnected Perfect Matching where we ask whether there exists a matching cut equal to, respectively contained in, a perfect matching. Further, in the problem Maximum Matching Cut we ask for a matching cut with a maximum number of edges. The last problem we consider is $d$-Cut where we ask for an edge cut where each vertex is incident to at most $d$ edges in the cut.
We investigate the computational complexity of these problems on bipartite graphs of bounded radius and diameter. Our results extend known results for Matching Cut and Disconnected Perfect Matching. We give complexity dichotomies for $d$-Cut and Maximum Matching Cut and solve one of two open cases for Disconnected Perfect Matching. For Perfect Matching Cut we give the first hardness result for bipartite graphs of bounded radius and diameter and extend the known polynomial cases.
Every group is the automorphism group of a graph with arbitrarily large genus
We prove that, to every abstract group $G$, we can associate a sequence of graphs $Γ_n$ such that the automorphism group of $Γ_n$ is isomorphic to $G$ and the genus of $Γ_n$ is an unbounded function of $n$.
Theoretical results for Perfect Location signed Roman domination problem
The study of Roman domination has evolved to encompass a variety of challenging extensions, each contributing to the broader understanding of domination problems in graph theory. This paper explores the Perfect Location Signed Roman Domination (PLSRD) problem, a novel combination of the Perfect Roman, Locating Roman, and Signed Roman Domination paradigms. In PLSRD, each weak vertex, assigned the label -1, must be protected by exactly one strong vertex, with additional limitation that two weak vertices cannot share the same strong vertex, while the total sum of labels in the closed neighborhood of each vertex must remain positive. This paper provides exact values for the PLSRD number in several well-known graph classes, including complete graphs, complete bipartite graphs, wheels, paths, cycles, ladders, prism graphs, and 3 x n grids. Additionally, we establish a lower bound for a general 3 regular graph, as well as the upper bounds for flower snarks graphs, highlighting the intricate interplay between the PLSRD constraints and the structural properties of these graph families.
The Jacobian of a regular orthogonal matroid and torsor structures on spanning quasi-trees of ribbon graphs
Previous work of Chan--Church--Grochow and Baker--Wang shows that the set of spanning trees in a plane graph $G$ is naturally a torsor for the Jacobian group of $G$. Informally, this means that the set of spanning trees of $G$ naturally forms a group, except that there is no distinguished identity element. We generalize this fact to graphs embedded on orientable surfaces of arbitrary genus, which can be identified with ribbon graphs. In this generalization, the set of spanning trees of $G$ is replaced by the set of spanning quasi-trees of the ribbon graph, and the Jacobian group of $G$ is replaced by the Jacobian group of the associated regular orthogonal matroid $M$ (along with an associated regular representation of $M$). Our proof shows, more generally, that the family of "BBY torsors" constructed by Backman--Baker--Yuen and later generalized by Ding admit natural generalizations to (regular representations of) regular orthogonal matroids. In addition to shedding light on the role of planarity in the earlier work mentioned above, our results represent one of the first substantial applications of orthogonal matroids (also called "even delta-matroids" or "Lagrangian orthogonal matroids") to a natural combinatorial problem about graphs.
Comportamientos extraños del infinito: Gráficas Infinitas
Published in Morfismos 27, no. 1 (2023), 31-68
• Search Publication
Infinitary Combinatorics shows interesting contrasts, with many similarities but also several important differences with its finite analog. The purpose of this paper is to present some concrete examples, both of similarities and of radical differences, in order to provide some intuition about the behaviour of infinity in the combinatorial setting. Our examples are taken from the branch of mathematics known as Graph Theory.
--
La combinatoria infinita (temática que, a raíz del trabajo de Cantor, actualmente es posible estudiar de manera completamente formal) nos presenta un interesante contraste de semejanzas y diferencias con su análogo finito. El propósito de este artículo es presentar algunos ejemplos concretos tanto de semejanzas, como de diferencias radicales, para proporcionar cierta intuición acerca del comportamiento del infinito en el ámbito combinatorio. Nuestros ejemplos son tomados de la rama de las matemáticas conocida como Teoría de Gráficas.
Fermions and Zeta Function on the Graph
We propose a novel fermionic model on the graphs. The Dirac operator of the model consists of deformed incidence matrices on the graph and the partition function is given by the inverse of the graph zeta function. We find that the coefficients of the inverse of the graph zeta function, which is a polynomial of finite degree in the coupling constant, count the number of fermionic cycles on the graph. We also construct the model on grid graphs by using the concept of the covering graph and the Artin-Ihara $L$-function. In connection with this, we show that the fermion doubling is absent, and the overlap fermions can be constructed on a general graph. Furthermore, we relate our model to statistical models by introducing the winding number around cycles, where the distribution of the poles of the graph zeta function (the zeros of the partition function) plays a crucial role. Finally, we formulate gauge theory including fermions on the graph from the viewpoint of the covering graph derived from the gauge group in a unified way.
Profile and neighbourhood complexity of graphs excluding a minor and tree-structured graphs
The \emph{$r$-neighbourhood complexity} of a graph $G$ is the function counting, for a given integer $k$, the largest possible number, over all vertex-subsets $A$ of size $k$, of subsets of $A$ realized as the intersection between the $r$-neighbourhood of some vertex and $A$. A~refinement of this notion is the \emph{$r$-profile complexity}, that counts the maximum number of distinct distance-vectors from any vertex to the vertices of $A$, ignoring distances larger than~$r$. Typically, in structured graph classes such as graphs of bounded VC-dimension or chordal graphs, these functions are bounded, leading to insights into their structural properties and efficient algorithms.
We improve existing bounds on the $r$-profile complexity (and thus on the $r$-neighbourhood complexity) for graphs in several structured graph classes. We show that the $r$-profile complexity of graphs excluding $K_h$ as a minor is in $O_h(r^{3h-3}k)$. For graphs of treewidth at most~$t$, we give a bound in $O_t(r^{t+1}k)$, which is tight up to a function of~$t$ as a factor. These bounds improve results of Joret and Rambaud and answer a question of their paper [Combinatorica, 2024]. We also apply our methods to other classes of bounded expansion such as graphs excluding a fixed complete graph as a subdivision.
For outerplanar graphs, we can improve our treewidth bound by a factor of $r$ and conjecture that a similar improvement holds for graphs with bounded simple treewidth. For graphs of treelength at most~$\ell$, we give the upper bound of $O(k(r^2(\ell+1)^k))$, which we improve to $O\left (k\cdot (r 2^k + r^2k^2) \right)$ in the case of chordal graphs and $O(k^2r)$ for interval graphs.
Our bounds also imply relations between the order, diameter and metric dimension of graphs in these classes, improving results from [Beaudou et al., SIDMA 2017].
Universal geometric non-embedding of random regular graphs
Let $Δ\ge 3$ be fixed, $n \ge n_Δ$ be a large integer. It is a classical result that $Δ$--regular expanders on $n$ vertices are not embeddable as geometric (distance) graphs into Euclidean space of dimension less than $c \log n$, for some universal constant $c$. We show that for typical $Δ$-regular graphs, this obstruction is universal with respect to the choice of norm. More precisely, for a uniform random $Δ$-regular graph $G$ on $n$ vertices, it holds with high probability: there is no normed space of dimension less than $c\log n$ which admits a geometric graph isomorphic to $G$. The proof is based on a seeded multiscale $\varepsilon$--net argument.
Enumeration of (3, 6)-Fullerenes
A (3, 6)-fullerene is a cubic planar graph whose faces all have 3 or 6 sides. We give an exact count of the number of (3, 6)-fullerenes for any given number of vertices. We also enumerate (3,6)-fullerenes with mirror symmetry, with 3-fold rotational symmetry, and with both types of symmetry. The counts are given in terms of the prime factorization of the number of vertices, by considering solutions to the quadratic equation $x^2 + x + 1 = 0$ modulo the primes in this prime factorization.
Monochromatic Subgraphs in Randomly Colored Dense Multiplex Networks
Given a sequence of graphs $G_n$ and a fixed graph $H$, denote by $T(H, G_n)$ the number of monochromatic copies of the graph $H$ in a uniformly random $c$-coloring of the vertices of $G_n$. In this paper we study the joint distribution of a finite collection of monochromatic graph counts in networks with multiple layers (multiplex networks). Specifically, given a finite collection of graphs $H_1, H_2, \ldots, H_d$ we derive the joint distribution of $(T(H_1, G_n^{(1)}), T(H_2, G_n^{(2)}), \ldots, T(H_d, G_n^{(d)}))$, where $\boldsymbol{G}_n = (G_n^{(1)}, G_n^{(2)}, \ldots, G_n^{(d)})$ is a collection of dense graphs on the same vertex set converging in the joint cut-metric. The limiting distribution is the sum of 2 independent components: a multivariate Gaussian and a sum of independent bivariate stochastic integrals. This extends previous results on the marginal convergence of monochromatic subgraphs in a sequence of graphs to the joint convergence of a finite collection of monochromatic subgraphs in a sequence of multiplex networks. Several applications and examples are discussed.
Computing the $p$-Laplacian eigenpairs of signed graphs
As a nonlinear extension of the graph Laplacian, the graph $p$-Laplacian has various applications in many fields. Due to the nonlinearity, it is very difficult to compute the eigenvalues and eigenfunctions of graph $p$-Laplacian. In this paper, we establish the equivalence between the graph $p$-Laplacian eigenproblem and the tensor eigenproblem when $p$ is even. Building on this result, algorithms designed for tensor eigenproblems can be adapted to compute the eigenpairs of the graph $p$-Laplacian. For general $p>1$, we give a fast and convergent algorithm to compute the largest eigenvalue and the corresponding eigenfunction of the signless graph $p$-Laplacian. As an application, we provide a new criterion to determine when a graph is not a subgraph of another one, which outperforms existing criteria based on the linear Laplacian and adjacency matrices. Our work highlights the deep connections and numerous similarities between the spectral theories of tensors and graph $p$-Laplacians.
Optimization algorithms for Carleson and sparse collections of sets
Carleson and sparse collections of sets play a central role in dyadic harmonic analysis. We employ methods from optimization theory to study such collections. First, we present a strongly polynomial algorithm to compute the Carleson constant of a collection of sets, improving on the recent approximation algorithm of Rey. Our algorithm is based on submodular function minimization. Second, we provide an algorithm showing that any Carleson collection is sparse, achieving optimal dependence of the respective constants and thus providing a constructive proof of a result of Hänninen. Our key insight is a reformulation of the duality between the Carleson condition and sparseness in terms of the duality between the maximum flow and the minimum cut in a weighted directed graph.
On subgroup perfect codes in vertex-transitive graphs
A subset $C$ of the vertex set $V$ of a graph $Γ$ is called a perfect code in $Γ$ if every vertex in $V\setminus C$ is adjacent to exactly one vertex in $C$. Given a group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a perfect code of the pair $(G,H)$ if there exists a coset graph $\mathrm{Cos}(G,H,U)$ such that the set of left cosets of $H$ in $A$ is a perfect code in $\mathrm{Cos}(G,H,U)$. In particular, $A$ is called a perfect code of $G$ if $A$ is a perfect code of the pair $(G,1)$. In this paper, we give a characterization of $A$ to be a perfect code of the pair $(G,H)$ under the assumption that $H$ is a perfect code of $G$. As a corollary, we derive an additional sufficient and necessary condition for $A$ to be a perfect code of $G$. Moreover, we establish conditions under which $A$ is not a perfect code of $(G,H)$, which is applied to construct infinitely many counterexamples to a question posed by Wang and Zhang [\emph{J.~Combin.~Theory~Ser.~A}, 196 (2023) 105737]. Furthermore, we initiate the study of determining which maximal subgroups of $S_n$ are perfect codes.
Spectral radius and rainbow $k$-factors of graphs
Let $\mathcal{G}=\{G_1,\ldots, G_{\frac{kn}{2}}\}$ be a set of graphs on the same vertex set $V=\{1,\dots,n\}$ where $k\cdot n$ is even. We say $\mathcal{G}$ admits a rainbow $k$-factor if there exists a $k$-regular graph $F$ on the vertex set $V$ such that all edges of $F$ are from different members of $\mathcal{G}$. In this paper, we show a sufficient spectral condition for the existence of a rainbow $k$-factor for $k\geq 2$, which is that if $ρ(G_i)\geqρ(K_{k-1}\vee(K_1\cup K_{n-k}))$ for each $G_i\in \mathcal{G}$, then $\mathcal{G}$ admits a rainbow $k$-factor unless $G_1=G_2=\cdots=G_{\frac{kn}{2}}\cong K_{k-1}\vee(K_1\cup K_{n-k})$.
Strictly Metrizable Graphs are Minor-Closed
A consistent path system in a graph $G$ is an collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We say that $G$ is strictly metrizable if every consistent path system in $G$ can be realized as the system of unique geodesics with respect to some assignment of positive edge weight. In this paper, we show that the family of strictly metrizable graphs is minor-closed.
Metric graphs of negative type
The negative type inequalities of a metric space are closely tied to embeddability. A result by Gupta, Newman, and Rabinovich implies that if a metric graph $G$ does not contain a theta submetric as an embedding, then $G$ has negative type. We show the converse: if a metric graph $G$ contains a theta, then it does not have negative type.