graph
35436 papers tagged with this keyword
Computing Bounds on Product-Graph Pebbling Numbers
Given a distribution of pebbles to the vertices of a graph, a pebbling move removes two pebbles from a single vertex and places a single pebble on an adjacent vertex. The pebbling number $π(G)$ is the smallest number such that, for any distribution of $π(G)$ pebbles to the vertices of $G$ and choice of root vertex $r$ of $G$, there exists a sequence of pebbling moves that places a pebble on $r$. Computing $π(G)$ is provably difficult, and recent methods for bounding $π(G)$ have proved computationally intractable, even for moderately sized graphs. Graham conjectured that $π(G ~\square~ H) \leq π(G) π(H)$, where $G ~\square~ H$ is the Cartesian product of $G$ and $H$ (1989). While the conjecture has been verified for specific families of graphs, in general it remains open. This study combines the focus of developing a computationally tractable, IP-based method for generating good bounds on $π(G ~\square~ H)$, with the goal of shedding light on Graham's conjecture.We provide computational results for a variety of Cartesian-product graphs, including some that are known to satisfy Graham's conjecture and some that are not. Our approach leads to a sizable improvement on the best known bound for $π(L ~\square~ L)$, where $L$ is the Lemke graph, and $L ~\square~ L$ is among the smallest known potential counterexamples to Graham's conjecture.
Remarks on the recurrence and transience of non-backtracking random walks
A short proof of the equivalence of the recurrence of non-backtracking random walk and that of simple random walk on regular infinite graphs is given. It is then shown how this proof can be extended in certain cases where the graph in question is not regular.
Variations on the Petersen colouring conjecture
Published in The Electronic Journal of Combinatorics, 27(1), P1.8, 2020
• View Publication
• BIB
The Petersen colouring conjecture states that every bridgeless cubic graph admits an edge-colouring with $5$ colours such that for every edge $e$, the set of colours assigned to the edges adjacent to $e$ has cardinality either $2$ or $4$, but not $3$. We prove that every bridgeless cubic graph $G$ admits an edge-colouring with $4$ colours such that at most $\frac45\cdot|V(G)|$ edges do not satisfy the above condition. This bound is tight and the Petersen graph is the only connected graph for which the bound cannot be decreased. We obtain such a $4$-edge-colouring by using a carefully chosen subset of edges of a perfect matching, and the analysis relies on a simple discharging procedure with essentially no reductions and very few rules.
The extremal number of longer subdivisions
Published in Bull. London Math. Soc. 53 (2021), 108-118
• View Publication
• BIB
For a multigraph $F$, the $k$-subdivision of $F$ is the graph obtained by replacing the edges of $F$ with pairwise internally vertex-disjoint paths of length $k+1$. Conlon and Lee conjectured that if $k$ is even, then the $(k-1)$-subdivision of any multigraph has extremal number $O(n^{1+\frac{1}{k}})$, and moreover, that for any simple graph $F$ there exists $\varepsilon>0$ such that the $(k-1)$-subdivision of $F$ has extremal number $O(n^{1+\frac{1}{k}-\varepsilon})$. In this paper, we prove both conjectures.
Inequalities for doubly nonnegative functions
Published in Electronic Journal of Combinatorics, 28(1)(2021), #P1.32
• View Publication
• BIB
Let $g$ be a bounded symmetric measurable nonnegative function on $[0,1]^2$, and $\left\lVert g \right\rVert = \int_{[0,1]^2} g(x,y) dx dy$. For a graph $G$ with vertices $\{v_1,v_2,\ldots,v_n\}$ and edge set $E(G)$, we define \[
t(G,g) \; = \;
\int_{[0,1]^n} \prod_{\{v_i,v_j\} \in E(G)} g(x_i,x_j)
\: dx_1 dx_2 \cdots dx_n \; . \] We conjecture that $t(G,g) \geq \left\lVert g \right\rVert^{|E(G)|}$ holds for any graph $G$ and any function $g$ with nonnegative spectrum. We prove this conjecture for various graphs $G$, including complete graphs, unicyclic and bicyclic graphs, as well as graphs with $5$ vertices or less.
Small unit-distance graphs in the plane
We prove that a graph on up to 9 vertices is a unit-distance graph if and only if it does not contain one of 74 so-called minimal forbidden graphs. This extends the work of Chilakamarri and Mahoney (1995), who provide a similar classification for unit-distance graphs on up to 7 vertices.
Perfect 1-factorisations of $K_{16}$
Published in Bull. Aust. Math. Soc. 101 (2020), 177-185
• View Publication
• BIB
We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa).
We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one.
Gallai-Ramsey number of an 8-cycle
Given graphs $G$ and $H$ and a positive integer $k$, the Gallai-Ramsey number $gr_{k}(G : H)$ is the minimum integer $N$ such that for any integer $n \geq N$, every $k$-edge-coloring of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. These numbers have recently been studied for the case when $G = K_{3}$, where still only a few precise numbers are known for all $k$. In this paper, we extend the known precise Gallai-Ramsey numbers to include $H = C_{8}$ for all $k$.
Daisy cubes: a characterization and a generalization
Daisy cubes are a recently introduced class of isometric subgraphs of hypercubes $Q_n$. They are induced with intervals between chosen vertices of $Q_n$ and the vertex $0^n\in V(Q_n)$. In this paper we characterize daisy cubes in terms of an expansion procedure thus answering an open problem proposed by Klavžar and Mollard, 2018, in the introductory paper of daisy cubes \cite{KlaMol-18}. To obtain such a characterization several interesting properties of daisy cubes are presented. For a given graph $G$ isomorphic to a daisy cube, but without the corresponding embedding into a hypercube, we present an algorithm which finds a proper embedding of $G$ into a hypercube in $O(mn)$ time. Finally, daisy graphs of a rooted graph are introduced and shown to be a generalization of daisy cubes.
$b$-invariant edges in essentially 4-edge-connected near-bipartite cubic bricks
A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered.
Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.
Geometries in perturbative quantum field theory
In perturbative quantum field theory one encounters certain, very specific geometries over the integers. These perturbative quantum geometries determine the number contents of the amplitude considered. In the article `Modular forms in quantum field theory' F. Brown and the author report on a first list of perturbative quantum geometries using the $c_2$-invariant in $φ^4$ theory. A main tool was denominator reduction which allowed the authors to examine graphs up to loop order (first Betti number) 10. We introduce an improved quadratic denominator reduction which makes it possible to extend the previous results to loop order 11 (and partially orders 12 and 13). For comparison, also non-$φ^4$ graphs are investigated. Here, we extend the results from loop order 9 to 10. The new database of 4801 unique $c_2$-invariants (previously 157) -- while being consistent with all major $c_2$-conjectures -- leads to a more refined picture of perturbative quantum geometries. In the appendix, Friedrich Knop proves a Chevalley-Warning-Ax theorem for double covers of affine space.
Signless Laplacian spectral radius and fractional matchings in graphs
A fractional matching of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ such that $\sum_{e\inΓ(v)}f(e)\leq1$ for each vertex $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The fractional matching number of $G$, written $α^{\prime}_*(G)$, is the maximum value of $\sum_{e\in E(G)}f(e)$ over all fractional matchings. In this paper, we investigate the relations between the fractional matching number and the signless Laplacian spectral radius of a graph. Moreover, we give some sufficient spectral conditions for the existence of a fractional perfect matching.
Kirchhoff index, multiplicative degree-Kirchhoff index and spanning trees of the linear crossed polyomino chains
Let $G_n$ be a linear crossed polyomino chain with $n$ four-order complete graphs. In this paper, explicit formulas for the Kirchhoff index, the multiplicative degree-Kirchhoff index and the number of spanning trees of $G_n$ are determined, respectively. It is interesting to find that the Kirchhoff (resp. multiplicative degree-Kirchhoff) index of $G_n$ is approximately one quarter of its Wiener (resp. Gutman) index. More generally, let $\mathcal{G}^r_n$ be the set of subgraphs obtained by deleting $r$ vertical edges of $G_n$, where $0\leqslant r\leqslant n+1$. For any graph $G^r_n\in \mathcal{G}^r_{n}$, its Kirchhoff index and number of spanning trees are completely determined, respectively. Finally, we show that the Kirchhoff index of $G^r_n$ is approximately one quarter of its Wiener index.
Association schemes for diagonal groups
For any finite group $G$, and any positive integer $n$, we construct an association scheme which admits the diagonal group $D_n(G)$ as a group of automorphisms. The rank of the association scheme is the number of partitions of $n$ into at most $|G|$ parts, so is $p(n)$ if $|G|\ge n$; its parameters depend only on $n$ and $|G|$. For $n=2$, the association scheme is trivial, while for $n=3$ its relations are the Latin square graph associated with the Cayley table of $G$ and its complement.
A transitive permutation group $G$ is said to be \emph{AS-free} if there is no non-trivial association scheme admitting $G$ as a group of automorphisms. A consequence of our construction is that an AS-free group must be either $2$-homogeneous or almost simple.
We construct another association scheme, finer than the above scheme if $n>3$, from the Latin hypercube consisting of $n$-tuples of elements of $G$ with product the identity.
Trees whose even-degree vertices induce a path are antimagic
Published in Discuss. Math. Graph T. 42 (2022) 959-966
• View Publication
• BIB
An antimagic labeling a connected graph $G$ is a bijection from the set of edges $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $v$ is the sum of the labels assigned to edges incident to $v$. A graph is called antimagic if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic; however, the conjecture remains open, even for trees. In this note we prove that trees whose vertices of even degree induce a path are antimagic, extending a result given by Liang, Wong, and Zhu [Discrete Math. 331 (2014) 9--14].
On planar Cayley graphs and Kleinian groups
Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq \mathbb{S}^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can replace $X$ by another surface $Y \subseteq \mathbb{S}^2$.
We also prove that if a group $H$ has a finitely generated Cayley (multi-)graph $C$ covariantly embeddable in $\mathbb{S}^2$, then $C$ can be chosen so as to have no infinite path on the boundary of a face.
The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation-preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated planar Cayley graph whose group is not in this class.
In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.
Covers, orientations and factors
Given a graph $G$ with only even degrees let $\varepsilon(G)$ denote the number of Eulerian orientations, and let $h(G)$ denote the number of half graphs, that is, subgraphs $F$ such that $d_F(v)=d_G(v)/2$ for each vertex $v$. Recently, Borbényi and Csikvári proved that $\varepsilon(G)\geq h(G)$ holds true for all Eulerian graphs with equality if and and only if $G$ is bipartite. In this paper we give a simple new proof of this fact, and we give identities and inequalities for the number of Eulerian orientations and half graphs of a $2$-cover of a graph $G$.
A note on the surjectivity of operators on vector bundles over discrete spaces
In this note we give a short and self-contained proof for a criterion of Eidelheit on the solvability of linear equations in infinitely many variables. We use this criterion to study the surjectivity of magnetic Schrödinger operators on bundles over graphs.
On The Double Roman bondage numbers of Graphs
For a graph $G=(V,E)$, a double roman dominating function (DRDF) is a function $f : V \longrightarrow \{0, 1, 2,3\}$ having the property that if $f(v)=0$ for some vertex $v$, then $v$ has at least two neighbors assigned $2$ under $f$ or one neighbor $w$ with $f(w)=3$, and if $f(v)=1$ then $v$ has at least one neighbor $w$ with $f(w) \geq 2$. The weight of a DRDF $f$ is the sum $f (V) =\sum_{u\in V} f (u)$. The minimum weight of a DRDF on a graph $G$ is the double Roman domination number of $G$ and is denoted by $γ_{dR}(G)$. The double roman bondage number of $G$, denoted by $b_{dR}(G)$, is the minimum cardinality among all edge subsets $B \subseteq E(G)$ such that $γ_{dR}(G-B) > γ_{dR}(G)$. In this paper we study the double roman bondage number in graphs. We determine the double roman bondage number in several families of graphs, and present several bounds for the double roman bondage number. We also study the complexity issue of the double roman bondage number and prove that the decision problem for the double roman bondage number is NP-hard even when restricted to bipartite graphs.
Wiener Index and Remoteness in Triangulations and Quadrangulations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (March 8, 2021) dmtcs:6473
• View Publication
• BIB
Let $G$ be a a connected graph. The Wiener index of a connected graph is the sum of the distances between all unordered pairs of vertices. We provide asymptotic formulae for the maximum Wiener index of simple triangulations and quadrangulations with given connectivity, as the order increases, and make conjectures for the extremal triangulations and quadrangulations based on computational evidence. If $\overlineσ(v)$ denotes the arithmetic mean of the distances from $v$ to all other vertices of $G$, then the remoteness of $G$ is defined as the largest value of $\overlineσ(v)$ over all vertices $v$ of $G$. We give sharp upper bounds on the remoteness of simple triangulations and quadrangulations of given order and connectivity.