graph
34726 papers tagged with this keyword
Refined Estimates Concerning Sumsets Contained in the Roots of Unity
Published in Proc. Lond. Math. Soc.(3) 121(2), 287-292, 2020
• View Publication
• BIB
We prove that the clique number of the Paley graph is at most $\sqrt{p/2} + 1$, and that any supposed additive decompositions of the set of quadratic residues can only come from co-Sidon sets.
On the Critical Difference of Almost Bipartite Graphs
A set $S\subseteq V$ is \textit{independent} in a graph $G=\left( V,E\right) $ if no two vertices from $S$ are adjacent. The \textit{independence number} $α(G)$ is the cardinality of a maximum independent set, while $μ(G)$ is the size of a maximum matching in $G$. If $α(G)+μ(G)$ equals the order of $G$, then $G$ is called a \textit{König-Egerváry graph }\cite{dem,ster}. The number $d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$ is called the \textit{critical difference} of $G$ \cite{Zhang} (where $N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $). It is known that $α(G)-μ(G)\leq d\left( G\right) $ holds for every graph \cite{Levman2011a,Lorentzen1966,Schrijver2003}. In \cite{LevMan5} it was shown that $d(G)=α(G)-μ(G)$ is true for every König-Egerváry graph.
A graph $G$ is \textit{(i)} \textit{unicyclic} if it has a unique cycle, \textit{(ii)} \textit{almost bipartite} if it has only one odd cycle. It was conjectured in \cite{LevMan2012a,LevMan2013a} and validated in \cite{Bhattacharya2018} that $d(G)=α(G)-μ(G)$ holds for every unicyclic non-König-Egerváry graph $G$.
In this paper we prove that if $G$ is an almost bipartite graph of order $n\left( G\right) $, then $α(G)+μ(G)\in\left\{ n\left( G\right) -1,n\left( G\right) \right\} $. Moreover, for each of these two values, we characterize the corresponding graphs. Further, using these findings, we show that the critical difference of an almost bipartite graph $G$ satisfies \[ d(G)=α(G)-μ(G)=\left\vert \mathrm{core}(G)\right\vert -\left\vert N(\mathrm{core}(G))\right\vert , \] where by \textrm{core}$\left( G\right) $ we mean the intersection of all maximum independent sets.
Generalization of some results on list coloring and DP-coloring
In this work, we introduce DPG-coloring using the concepts of DP-coloring and variable degeneracy to modify the proofs on the following papers: (i) DP-3-coloring of planar graphs without $4$, $9$-cycles and cycles of two lengths from $\{6, 7, 8\}$ (R. Liu, S. Loeb, M. Rolek, Y. Yin, G. Yu, Graphs and Combinatorics 35(3) (2019) 695-705), (ii) Every planar graph without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles is DP-$4$-colorable when $\{i, j, k\}=\{3, 4, 5\}$ (P. Sittitrai, K. Nakprasit, arXiv:1801.06760(2019) preprint), (iii) Every planar graph is $5$-choosable (C. Thomassen, J. Combin. Theory Ser. B 62 (1994) 180-181). Using this modification, we obtain more results on list coloring, DP-coloring, list-forested coloring, and variable degeneracy.
On characterizing the critical graphs for matching Ramsey numbers
Given simple graphs $H_{1},H_{2},\ldots,H_{c}$, the Ramsey number $r(H_{1},H_{2},\ldots,H_{c})$ is the smallest positive integer $n$ such that every edge-colored $K_{n}$ with $c$ colors contains a subgraph in color $i$ isomorphic to $H_{i}$ for some $i\in\{1,2,\ldots,c\}$. The critical graphs for $r(H_1,H_2,\ldots,H_c)$ are edge-colored complete graphs on $r(H_1,H_2,\ldots,H_c)-1$ vertices with $c$ colors which contain no subgraphs in color $i$ isomorphic to $H_{i}$ for any $i\in \{1,2,\ldots,c\}$. For $n_1\geq n_2\geq \ldots\geq n_c\geq 1$, Cockayne and Lorimer (The Ramsey number for stripes, {\it J.\ Austral.\ Math.\ Soc.} \textbf{19} (1975), 252--256.) showed that $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})=n_{1}+1+ \sum\limits_{i=1}^c(n_{i}-1)$, in which $n_{i}K_{2}$ is a matching of size $n_{i}$. Using the Gallai-Edmonds Theorem, we characterized all the critical graphs for $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})$, implying a new proof for this Ramsey number.
Complete Acyclic Colorings
We study two parameters that arise from the dichromatic number and the vertex-arboricity in the same way that the achromatic number comes from the chromatic number. The adichromatic number of a digraph is the largest number of colors its vertices can be colored with such that every color induces an acyclic subdigraph but merging any two colors yields a monochromatic directed cycle. Similarly, the a-vertex arboricity of an undirected graph is the largest number of colors that can be used such that every color induces a forest but merging any two yields a monochromatic cycle. We study the relation between these parameters and their behavior with respect to other classical parameters such as degeneracy and most importantly feedback vertex sets.
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].