graph
35436 papers tagged with this keyword
Density of monochromatic infinite paths
Published
• View Publication
• BIB
For any subset $A \subseteq \mathbb{N}$, we define its upper density to be $\limsup_{ n \rightarrow \infty } |A \cap \{ 1, \dotsc, n \}| / n$. We prove that every $2$-edge-colouring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite path, whose vertex set has upper density at least $(9 + \sqrt{17})/16 \approx 0.82019$. This improves on results of Erdős and Galvin, and of DeBiasio and McKenney.
Describing Quasi-Graphic Matroids
Published
• View Publication
• BIB
This is a revised version of our original paper (arXiv:1808.00489v2) incorporating the corrections published in a corrigendum (arXiv:1808.00489v3). Our main theorem as originally stated was missing the required assumption that matroids should be connected. Those unfamiliar with the original paper will find in this version a complete, correct description of quasi-graphic matroids, sparing them the inconvenience of having to read both the original paper and a separate corrigendum.
We also present here some new results that do not appear in our original paper nor its corrigendum. These appear in Section 6. Of particular interest to readers familiar with the original paper and its corrigendum may be the following result. Given a matroid and a graph, of the four axioms for quasi-graphic matroids, three may be checked in time polynomial in the size of the ground set, but the fourth axiom in general cannot. It is desirable to have such a check that could be carried out in polynomial time. We provide such an alternative (Theorem 6.20).
All $(96,20,4)$ difference sets and related structures
In 1978, Robert Kibler at the National Security Agency in Fort Meade, Maryland published a description of all noncyclic difference sets with $k < 20$. Kibler's decision to stop his extensive computer search for difference sets at block size 19 was motivated partly by the difficult barrier at $k=20$, the difference sets with parameters $(96,20,4)$. In this paper, we announce the completion of the search for all $(96,20,4)$ difference sets, relying on the computer software GAP and the work of numerous authors over the last few decades. The difference sets and the symmetric designs they create are summarized and links are provided to webpages which explicitly list the difference sets. In addition, we use these $(96,20,4)$ difference sets to construct all $(96, 20, 4, 4)$ and $(96, 19, 2, 4)$ partial difference sets and briefly look at the corresponding strongly regular graphs.
Tight Upper Bounds on the Crossing Number in a Minor-Closed Class
The crossing number of a graph is the minimum number of crossings in a drawing of the graph in the plane. Our main result is that every graph $G$ that does not contain a fixed graph as a minor has crossing number $O(Δn)$, where $G$ has $n$ vertices and maximum degree $Δ$. This dependence on $n$ and $Δ$ is best possible. This result answers an open question of Wood and Telle [New York J. Mathematics, 2007], who proved the best previous bound of $O(Δ^2 n)$. We also study the convex and rectilinear crossing numbers, and prove an $O(Δn)$ bound for the convex crossing number of bounded pathwidth graphs, and a $\sum_v°(v)^2$ bound for the rectilinear crossing number of $K_{3,3}$-minor-free graphs.
Neighborhood Complexes of Kneser Graphs, $KG_{3,k}$
In this article, we prove that the neighborhood complex of the Kneser graph $KG_{3,k}$ is of the same homotopy type as that of a wedge of $\frac{(k+1)(k+3)(k+4)(k+6)}{4}+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{3,k}$ of $KG_{3,k}$, whose neighborhood complex deformation retracts onto the neighborhood complex of $SG_{3,k}$.
Size reconstructibility of graphs
Published
• View Publication
• BIB
The deck of a graph $G$ is given by the multiset of (unlabelled) subgraphs $\{G-v:v\in V(G)\}$. The subgraphs $G-v$ are referred to as the cards of $G$. Brown and Fenner recently showed that, for $n\geq29$, the number of edges of a graph $G$ can be computed from any deck missing 2 cards. We show that, for sufficiently large $n$, the number of edges can be computed from any deck missing at most $\frac1{20}\sqrt{n}$ cards.
On the spectral gap of some Cayley graphs on the Weyl group $W(B_n)$
Published
• View Publication
• BIB
The Laplacian of a (weighted) Cayley graph on the Weyl group $W(B_n)$ is a $N\times N$ matrix with $N = 2^n n!$ equal to the order of the group. We show that for a class of (weighted) generating sets, its spectral gap (lowest nontrivial eigenvalue), is actually equal to the spectral gap of a $2n \times 2n$ matrix associated to a $2n$-dimensional permutation representation of $W_n$. This result can be viewed as an extension to $W(B_n)$ of an analogous result valid for the symmetric group, known as `Aldous' spectral gap conjecture', proven in 2010 by Caputo, Liggett and Richthammer.
Minimal Ramsey graphs for cyclicity
We study graphs with the property that every edge-colouring admits a monochromatic cycle (the length of which may depend freely on the colouring) and describe those graphs that are minimal with this property. We show that every member in this class reduces recursively to one of the base graphs $K_5-e$ or $K_4\vee K_4$ (two copies of $K_4$ identified at an edge), which implies that an arbitrary $n$-vertex graph with $e(G)\geq 2n-1$ must contain one of those as a minor. We also describe three explicit constructions governing the reverse process. As an application we are able to establish Ramsey infiniteness for each of the three possible chromatic subclasses $χ=2, 3, 4$, the unboundedness of maximum degree within the class as well as Ramsey separability of the family of cycles of length $\leq l$ from any of its proper subfamilies.
Binding Number, Toughness and General Matching Extendability in Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (January 17, 2019) dmtcs:4723
• View Publication
• BIB
A connected graph $G$ with at least $2m + 2n + 2$ vertices which contains a perfect matching is $E(m, n)$-{\it extendable}, if for any two sets of disjoint independent edges $M$ and $N$ with $|M| = m$ and $|N|= n$, there is a perfect matching $F$ in $G$ such that $M\subseteq F$ and $N\cap F=\emptyset$. Similarly, a connected graph with at least $n+2k+2$ vertices is called $(n,k)$-{\it extendable} if for any vertex set $S$ of size $n$ and any matching $M$ of size $k$ of $G-S$, $G-S-V(M)$ contains a perfect matching. Let $\varepsilon$ be a small positive constant, $b(G)$ and $t(G)$ be the binding number and toughness of a graph $G$. The two main theorems of this paper are: for every graph $G$ with sufficiently large order, 1) if $b(G)\geq 4/3+\varepsilon$, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable; 2) if $t(G)\geq 1+\varepsilon$ and $G$ has a high connectivity, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable. It is worth to point out that the binding number and toughness conditions for the existence of the general matching extension properties are almost same as that for the existence of perfect matchings.
Graphs of Vectorial Plateaued Functions as Difference Sets
A function $F:\mathbb{F}_{p^n}\rightarrow \mathbb{F}_{p^m},$ is a vectorial $s$-plateaued function if for each component function $F_{b}(μ)=Tr_n(αF(x)), b\in \mathbb{F}_{p^m}^*$ and $μ\in \mathbb{F}_{p^n}$, the Walsh transform value $|\widehat{F_{b}}(μ)|$ is either $0$ or $ p^{\frac{n+s}{2}}$. In this paper, we explore the relation between (vectorial) $s$-plateaued functions and partial geometric difference sets. Moreover, we establish the link between three-valued cross-correlation of $p$-ary sequences and vectorial $s$-plateaued functions. Using this link, we provide a partition of $\mathbb{F}_{3^n}$ into partial geometric difference sets. Conversely, using a partition of $\mathbb{F}_{3^n}$ into partial geometric difference sets, we constructed ternary plateaued functions $f:\mathbb{F}_{3^n}\rightarrow \mathbb{F}_3$. We also give a characterization of $p$-ary plateaued functions in terms of special matrices which enables us to give the link between such functions and second-order derivatives using a different approach.
Characterisation and classification of signatures of spanning trees of the $n$-cube
Published in Australas. J. Combin., 75(3):259-295, 2019
• Search Publication
The signature of a spanning tree $T$ of the $n$-cube $Q_n$ is the $n$-tuple $\mathrm{sig}(T)=(a_1,a_2,\dots,a_n)$ such that $a_i$ is the number of edges of $T$ in the $i$th direction. We characterise the $n$-tuples that can occur as the signature of a spanning tree, and classify a signature $\mathcal{S}$ as reducible or irreducible according to whether or not there is a proper nonempty subset $R$ of $[n]$ such that restricting $\mathcal{S}$ to the indices in $R$ gives a signature of $Q_{|R|}$. If so, we say moreover that $\mathcal{S}$ and $T$ reduce over $R$.
We show that reducibility places strict structural constraints on $T$. In particular, if $T$ reduces over a set of size $r$ then $T$ decomposes as a sum of $2^r$ spanning trees of $Q_{n-r}$, together with a spanning tree of a contraction of $Q_n$ with underlying simple graph $Q_r$. Moreover, this decomposition is realised by an isomorphism of edge slide graphs, where the edge slide graph of $Q_n$ is the graph $\mathcal{E}(Q_n)$ on the spanning trees of $Q_n$, with an edge between two trees if and only if they are related by an edge slide. An edge slide is an operation on spanning trees of the $n$-cube given by ``sliding'' an edge of a spanning tree across a $2$-dimensional face of the cube to get a second spanning tree.
The signature of a spanning tree is invariant under edge slides, so the subgraph $\mathcal{E}(\mathcal{S})$ of $\mathcal{E}(Q_n)$ induced by the trees with signature $\mathcal{S}$ is a union of one or more connected components of $\mathcal{E}(Q_n)$. Reducible signatures may be further divided into strictly reducible and quasi-irreducible signatures, and as an application of our results we show that $\mathcal{E}(\mathcal{S})$ is disconnected if $\mathcal{S}$ is strictly reducible. We conjecture that the converse is also true.
Connectivity of some Algebraically Defined Digraphs
Published in Electron J Combin. 22(3) (2015), P3.27, 1--11
• View Publication
• BIB
Let $p$ be a prime, $e$ a positive integer, $q = p^e$, and let $\mathbb{F}_q$ denote the finite field of $q$ elements. Let $f_i : \mathbb{F}_q^2\to\mathbb{F}_q$ be arbitrary functions, where $1\le i\le l$, $i$ and $l$ are integers. The digraph $D = D(q;\bf{f})$, where ${\bf f}=(f_1,\dotso,f_l) : \mathbb{F}_q^2\to\mathbb{F}_q^l$, is defined as follows. The vertex set of $D$ is $\mathbb{F}_q^{l+1}$. There is an arc from a vertex ${\bf x} = (x_1,\dotso,x_{l+1})$ to a vertex ${\bf y} = (y_1,\dotso,y_{l+1})$ if $ x_i + y_i = f_{i-1}(x_1,y_1) $ for all $i$, $2\le i \le l+1$. In this paper we study the strong connectivity of $D$ and completely describe its strong components. The digraphs $D$ are directed analogues of some algebraically defined graphs, which have been studied extensively and have many applications.
The saturation number of carbon nanocones and nanotubes
The saturation number of a graph is the cardinality of a smallest maximal matching. This paper presents bounds for the saturation number of carbon nanocones which are asymptotically equal. The same techniques are applied for the saturation number of certain families of carbon nanotubes, which improve previous results and in one case, yields the exact value.
On the number of biased graphs
Published
• View Publication
• BIB
A biased graph is a graph $G$, together with a distinguished subset $\mathcal{B}$ of its cycles so that no Theta-subgraph of $G$ contains precisely two cycles in $\mathcal{B}$. A large number of biased graphs can be constructed by choosing $G$ to be a complete graph, and $\mathcal{B}$ to be an arbitrary subset of its Hamilton cycles. We show that, on the logarithmic scale, the total number of simple biased graphs on $n$ vertices does not asymptotically exceed the number that can be constructed in this elementary way.
Edge Coloring Signed Graphs
Published
• View Publication
• BIB
We define a method for edge coloring signed graphs and what it means for such a coloring to be proper. Our method has many desirable properties: it specializes to the usual notion of edge coloring when the signed graph is all-negative, it has a natural definition in terms of vertex coloring of a line graph, and the minimum number of colors required for a proper coloring of a signed simple graph is bounded above by Δ + 1 in parallel with Vizing's Theorem. In fact, Vizing's Theorem is a special case of the more difficult theorem concerning signed graphs.
Graphs admitting only constant splines
Published in Pacific J. Math. 304 (2020) 385-400
• View Publication
• BIB
We study {\em generalized graph splines,} introduced by Gilbert, Viel, and the last author. For a large class of rings, we characterize the graphs that only admit constant splines. To do this, we prove that if a graph has a particular type of cutset (e.g., a bridge), then the space of splines naturally decomposes as a certain direct sum of submodules. As an application, we use these results to describe splines on a triangulation studied by Zhou and Lai, but over a different ring than they used.
Parameterized Orientable Deletion
Published
• View Publication
• BIB
A graph is $d$-orientable if its edges can be oriented so that the maximum in-degree of the resulting digraph is at most $d$. $d$-orientability is a well-studied concept with close connections to fundamental graph-theoretic notions and applications as a load balancing problem. In this paper we consider the d-ORIENTABLE DELETION problem: given a graph $G=(V,E)$, delete the minimum number of vertices to make $G$ $d$-orientable. We contribute a number of results that improve the state of the art on this problem. Specifically:
- We show that the problem is W[2]-hard and $\log n$-inapproximable with respect to $k$, the number of deleted vertices. This closes the gap in the problem's approximability.
- We completely characterize the parameterized complexity of the problem on chordal graphs: it is FPT parameterized by $d+k$, but W-hard for each of the parameters $d,k$ separately.
- We show that, under the SETH, for all $d,ε$, the problem does not admit a $(d+2-ε)^{tw}$, algorithm where $tw$ is the graph's treewidth, resolving as a special case an open problem on the complexity of PSEUDOFOREST DELETION.
- We show that the problem is W-hard parameterized by the input graph's clique-width. Complementing this, we provide an algorithm running in time $d^{O(d\cdot cw)}$, showing that the problem is FPT by $d+cw$, and improving the previously best known algorithm for this case.
Non-crossing trees, quadrangular dissections, ternary trees, and duality preserving bijections
Published in Annals of Combinatorics, 2021 https://rdcu.be/ciQEG
• View Publication
• BIB
Using the theory of Properly Embedded Graphs developed in an earlier work we define an involutory duality on the set labeled non-crossing trees that lifts the obvious duality in the set of unlabeled non-crossing trees. The set of non-crossing trees is a free ternary magma with one generator and this duality is an instance of a duality that is defined in any such magma. Any two free ternary magmas with one generator are isomorphic via a unique isomorphism that we call the structural bijection. Besides the set of non-crossing trees we also consider as free ternary magmas with one generator the set of ternary trees, the set of quadrangular dissections, and the set of flagged Perfectly Chain Decomposed Ditrees, and we give topological and/or combinatorial interpretations of the structural bijections between them. In particular the bijection from the set of quadrangular dissections to the set of non-crossing trees seems to be new. Further we give explicit formulas for the number of self-dual labeled and unlabeled non-crossing trees and the set of quadrangular dissections up to rotations and up to rotations and reflections.
Naji's characterization of circle graphs
Published
• View Publication
• BIB
We present a simpler proof of Naji's characterization of circle graphs.
Spectra, hitting times, and resistance distances of $q$-subdivision graphs
Published
• View Publication
• BIB
Graph operations or products play an important role in complex networks. In this paper, we study the properties of $q$-subdivision graphs, which have been applied to model complex networks. For a simple connected graph $G$, its $q$-subdivision graph $S_q(G)$ is obtained from $G$ through replacing every edge $uv$ in $G$ by $q$ disjoint paths of length 2, with each path having $u$ and $v$ as its ends. We derive explicit formulas for many quantities of $S_q(G)$ in terms of those corresponding to $G$, including the eigenvalues and eigenvectors of normalized adjacency matrix, two-node hitting time, Kemeny constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. We also study the properties of the iterated $q$-subdivision graphs, based on which we obtain the closed-form expressions for a family of hierarchical lattices, which has been used to describe scale-free fractal networks.