graph
34828 papers tagged with this keyword
Dual graded graphs and Bratteli diagrams of towers of groups
Published in Electronic Journal of Combinatorics 26(1) (2019), #P1.25
• View Publication
• BIB
An $r$-dual tower of groups is a nested sequence of finite groups, like the symmetric groups, whose Bratteli diagram forms an $r$-dual graded graph. Miller and Reiner introduced a special case of these towers in order to study the Smith forms of the up and down maps in a differential poset. Agarwal and the author have also used these towers to compute critical groups of representations of groups appearing in the tower. In this paper I prove that when $r$ is one or prime, wreath products of a fixed group with the symmetric groups are the only $r$-dual tower of groups, and conjecture that this is the case for general values of $r$. This implies that these wreath products are the only groups for which one can define an analog of the Robinson-Schensted bijection in terms of a growth rule in a dual graded graph.
New families of graphs determined by their generalized spectrum
We construct infinite families of graphs that are determined by their generalized spectrum. This construction is based on new formulae for the determinant of the walk matrix of a graph. The graphs constructed here all satisfy a lower divisibility for the determinant of their walk matrix.
Number of 1-factorizations of regular high-degree graphs
A $1$-factor in an $n$-vertex graph $G$ is a collection of $\frac{n}{2}$ vertex-disjoint edges and a $1$-factorization of $G$ is a partition of its edges into edge-disjoint $1$-factors. Clearly, a $1$-factorization of $G$ cannot exist unless $n$ is even and $G$ is regular (that is, all vertices are of the same degree). The problem of finding $1$-factorizations in graphs goes back to a paper of Kirkman in 1847 and has been extensively studied since then. Deciding whether a graph has a $1$-factorization is usually a very difficult question. For example, it took more than 60 years and an impressive tour de force of Csaba, Kühn, Lo, Osthus and Treglown to prove an old conjecture of Dirac from the 1950s, which says that every $d$-regular graph on $n$ vertices contains a $1$-factorization, provided that $n$ is even and $d\geq 2\lceil \frac{n}{4}\rceil-1$. In this paper we address the natural question of estimating $F(n,d)$, the number of $1$-factorizations in $d$-regular graphs on an even number of vertices, provided that $d\geq \frac{n}{2}+\varepsilon n$. Improving upon a recent result of Ferber and Jain, which itself improved upon a result of Cameron from the 1970s, we show that $F(n,d)\geq \left((1+o(1))\frac{d}{e^2}\right)^{nd/2}$, which is asymptotically best possible.
1-factorizations of pseudorandom graphs
A $1$-factorization of a graph $G$ is a collection of edge-disjoint perfect matchings whose union is $E(G)$. A trivial necessary condition for $G$ to admit a $1$-factorization is that $|V(G)|$ is even and $G$ is regular; the converse is easily seen to be false. In this paper, we consider the problem of finding $1$-factorizations of regular, pseudorandom graphs. Specifically, we prove that an $(n,d,λ)$-graph $G$ (that is, a $d$-regular graph on $n$ vertices whose second largest eigenvalue in absolute value is at most $λ$) admits a $1$-factorization provided that $n$ is even, $C_0\leq d\leq n-1$ (where $C_0$ is a universal constant), and $λ\leq d^{1-o(1)}$. In particular, since (as is well known) a typical random $d$-regular graph $G_{n,d}$ is such a graph, we obtain the existence of a $1$-factorization in a typical $G_{n,d}$ for all $C_0\leq d\leq n-1$, thereby extending to all possible values of $d$ results obtained by Janson, and independently by Molloy, Robalewska, Robinson, and Wormald for fixed $d$. Moreover, we also obtain a lower bound for the number of distinct $1$-factorizations of such graphs $G$ which is off by a factor of $2$ in the base of the exponent from the known upper bound. This lower bound is better by a factor of $2^{nd/2}$ than the previously best known lower bounds, even in the simplest case where $G$ is the complete graph. Our proofs are probabilistic and can be easily turned into polynomial time (randomized) algorithms.
Two kinds of generalized connectivity of dual cubes
Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $k$ of edge-disjoint trees $T_{1}, T_{2}, \cdots, T_{k}$ in $G$ such that $V(T_{i})\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, k\}$ and $i\neq j$. For an integer $r$ with $2\leq r\leq n$, the {\em generalized $r$-connectivity} of a graph $G$ is defined as $κ_{r}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=r\}$. The $r$-component connectivity $cκ_{r}(G)$ of a non-complete graph $G$ is the minimum number of vertices whose deletion results in a graph with at least $r$ components. These two parameters are both generalizations of traditional connectivity. Except hypercubes and complete bipartite graphs, almost all known $κ_{r}(G)$ are about $r=3$. In this paper, we focus on $κ_{4}(D_{n})$ of dual cube $D_{n}$. We first show that $κ_{4}(D_{n})=n-1$ for $n\geq 4$. As a corollary, we obtain $κ_{3}(D_{n})=n-1$ for $n\geq 4$. Furthermore, we show that $cκ_{r+1}(D_{n})=rn-\frac{r(r+1)}{2}+1$ for $n\geq 2$ and $1\leq r \leq n-1$.
On Degree Properties of Crossing-Critical Families of Graphs
Answering an open question from 2007, we construct infinite $k$-crossing-critical families of graphs that contain vertices of any prescribed odd degree, for any sufficiently large~$k$. To answer this question, we introduce several properties of infinite families of graphs and operations on the families allowing us to obtain new families preserving those properties. This conceptual setup allows us to answer general questions on behaviour of degrees in crossing-critical graphs: we show that, for any set of integers $D$ such that $\min(D)\geq 3$ and $3,4\in D$, and for any sufficiently large $k$, there exists a $k$-crossing-critical family such that the numbers in $D$ are precisely the vertex degrees that occur arbitrarily often in (large enough) graphs of this family. Furthermore, even if both $D$ and some average degree in the interval $(3,6)$ are prescribed, $k$-crossing-critical families exist for any sufficiently large $k$.
Notes on well-distributed minimal sub-BIBDs for $λ=1$
In these notes we investigate BIBDs with $λ=1$ that present subdesigns evenly covering both blocks and vertices: we determine some of their basic properties, consequence of already existing results in the literature, with regards to their size and the number of intersections of pairs and triples of subdesigns of a specific kind. We also describe the link between these particular BIBDs and the graph isomorphism problem, based on Babai's paper, and point out the characteristics of these designs that would lead to improvements of the algorithm for the GIP.
Jumps in speeds of hereditary properties in finite relational languages
Given a finite relational language $\mathcal{L}$, a hereditary $\mathcal{L}$-property is a class of finite $\mathcal{L}$-structures closed under isomorphism and substructure. The speed of $\mathcal{H}$ is the function which sends an integer $n\geq 1$ to the number of distinct elements in $\mathcal{H}$ with underlying set $\{1, . . . , n\}$. In this paper we give a description of many new jumps in the possible speeds of a hereditary $\mathcal{L}$-property, where $\mathcal{L}$ is any finite relational language. In particular, we characterize the jumps in the polynomial and factorial ranges, and show they are essentially the same as in the case of graphs. The results in the factorial range are new for all examples requiring a language of arity greater than two, including the setting of hereditary properties of $k$-uniform hypergraphs for $k>2$. Further, adapting an example of Balogh, Bollobás, and Weinreich, we show that for all $k\geq 2$, there are hereditary properties of $k$-uniform hypergraphs whose speeds oscillate between functions near the upper and lower bounds of the penultimate range, ruling out many natural functions as jumps in that range. Our theorems about the factorial range use model theoretic tools related to the notion of mutual algebricity.
Rainbow factors in hypergraphs
For any $r$-graph $H$, we consider the problem of finding a rainbow $H$-factor in an $r$-graph $G$ with large minimum $\ell$-degree and an edge-colouring that is suitably bounded. We show that the asymptotic degree threshold is the same as that for finding an $H$-factor.
The edge-vertex inequality in a planar graph and a bipartition for the class of all planar graphs
For a planar graph with a given f-vector $(f_{0}, f_{1}, f_{2}),$ we introduce a cubic polynomial whose coefficients depend on the f-vector. The planar graph is said to be real if all the roots of the corresponding polynomial are real. Thus we have a bipartition of all planar graphs into two disjoint class of graphs, real and complex ones. As a contribution toward a full recognition of planar graphs in this bipartition, we study and recognize completely a subclass of planar graphs that includes all the connected grid subgraphs. Finally, all the 2-connected triangle-free complex planar graphs of 7 vertices are listed.
Using symbolic computation to prove nonexistence of distance-regular graphs
Published in J. Vidali. Using symbolic computation to prove nonexistence of distance-regular graphs. Electron. J. Combin., 25(4)#P4.21, 2018. http://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i4p21
• View Publication
• BIB
A package for the Sage computer algebra system is developed for checking feasibility of a given intersection array for a distance-regular graph. We use this tool to show that there is no distance-regular graph with intersection array $\{(2r+1)(4r+1)(4t-1), 8r(4rt-r+2t), (r+t)(4r+1); 1, (r+t)(4r+1), 4r(2r+1)(4t-1)\}$ ($r, t \ge 1$), $\{135, 128, 16; 1, 16, 120\}$, $\{234, 165, 12; 1, 30, 198\}$ or $\{55, 54, 50, 35, 10; 1, 5, 20, 45, 55\}$. In all cases, the proofs rely on equality in the Krein condition, from which triple intersection numbers are determined. Further combinatorial arguments are then used to derive nonexistence.
Quotients and lifts of symmetric directed graphs
Given a directed graph, an equivalence relation on the graph vertex set is said to be balanced if, for every two vertices in the same equivalence class, the number of directed edges from vertices of each equivalence class directed to each of the two vertices is the same. In this paper we describe the quotient and lift graphs of symmetric directed graphs associated with balanced equivalence relations on the associated vertex sets. In particular, we characterize the quotients and lifts which are also symmetric. We end with an application of these results to gradient and Hamiltonian coupled cell systems, in the context of the coupled cell network formalism of Golubitsky, Stewart and Torok(Patterns of synchrony in coupled cell networks with multiple arrows. {SIAM Journal of Applied Dynamical Systems, 4 (1) (2005) 78-100).
k-Ary spanning trees contained in tournaments
A rooted tree is called a $k$-ary tree, if all non-leaf vertices have exactly $k$ children, except possibly one non-leaf vertex has at most $k-1$ children. Denote by $h(k)$ the minimum integer such that every tournament of order at least $h(k)$ contains a $k$-ary spanning tree. It is well-known that every tournament contains a Hamiltonian path, which implies that $h(1)=1$. Lu et al. [J. Graph Theory {\bf 30}(1999) 167--176] proved the existence of $h(k)$, and showed that $h(2)=4$ and $h(3)=8$. The exact values of $h(k)$ remain unknown for $k\geq 4$. A result of Erdős on the domination number of tournaments implies $h(k)=Ω(k\log k)$. In this paper, we prove that $h(4)=10$ and $h(5)\geq13$.
On Dispersable Book Embeddings
In a dispersable book embedding, the vertices of a given graph $G$ must be ordered along a line l, called spine, and the edges of G must be drawn at different half-planes bounded by l, called pages of the book, such that: (i) no two edges of the same page cross, and (ii) the graphs induced by the edges of each page are 1-regular. The minimum number of pages needed by any dispersable book embedding of $G$ is referred to as the dispersable book thickness $dbt(G)$ of $G$. Graph $G$ is called dispersable if $dbt(G) = Δ(G)$ holds (note that $Δ(G) \leq dbt(G)$ always holds).
Back in 1979, Bernhart and Kainen conjectured that any $k$-regular bipartite graph $G$ is dispersable, i.e., $dbt(G)=k$. In this paper, we disprove this conjecture for the cases $k=3$ (with a computer-aided proof), and $k=4$ (with a purely combinatorial proof). In particular, we show that the Gray graph, which is 3-regular and bipartite, has dispersable book thickness four, while the Folkman graph, which is 4-regular and bipartite, has dispersable book thickness five. On the positive side, we prove that 3-connected 3-regular bipartite planar graphs are dispersable, and conjecture that this property holds, even if 3-connectivity is relaxed.
A Ramsey theorem for biased graphs
A $biased\ graph$ is a pair $(G,\mathcal{B})$, where $G$ is a graph and $\mathcal{B}$ is a collection of `balanced' circuits of $G$ such that no $Θ$-subgraph of $G$ contains precisely two balanced circuits. We prove a Ramsey-type theorem, showing that if $(G,\mathcal{B})$ is a biased graph which $G$ is a very large complete graph, then $G$ contains a large complete subgraph $H$ such that the set of balanced cycles within $H$ has one of three specific, highly symmetric structures, all of which can be described naturally via group-labellings.
Dense Subgraphs in Random Graphs
For a constant $γ\in[0,1]$ and a graph $G$, let $ω_γ(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $γ\binom{k}{2}$ edges. We show that if $0<p<γ<1$ then $ω_γ(G_{n,p})$ is concentrated on a set of two integers. More precisely, with $α(γ,p)=γ\log\fracγ{p}+(1-γ)\log\frac{1-γ}{1-p}$, we show that $ω_γ(G_{n,p})$ is one of the two integers closest to $\frac{2}{α(γ,p)}\big(\log n-\log\log n+\log\frac{eα(γ,p)}{2}\big)+\frac{1}{2}$, with high probability. While this situation parallels that of cliques in random graphs, a new technique is required to handle the more complicated ways in which these "quasi-cliques" may overlap.
Induced nets and Hamiltonicity of claw-free graphs
Published
• View Publication
• BIB
The connected graph of degree sequence 3,3,3,1,1,1 is called a net, and the vertices of degree 1 in a net is called its endvertices. Broersma conjectured in 1993 that a 2-connected graph G with no induced K_{1,3} is hamiltonian if every endvertex of each induced net of G has degree at least (|V(G)|-2)/3. In this paper we prove this conjecture in the affirmative.
Colouring set families without monochromatic k-chains
Published
• View Publication
• BIB
A coloured version of classic extremal problems dates back to Erdős and Rothschild, who in 1974 asked which $n$-vertex graph has the maximum number of 2-edge-colourings without monochromatic triangles. They conjectured that the answer is simply given by the largest triangle-free graph. Since then, this new class of coloured extremal problems has been extensively studied by various researchers. In this paper we pursue the Erdős--Rothschild versions of Sperner's Theorem, the classic result in extremal set theory on the size of the largest antichain in the Boolean lattice, and Erdős' extension to $k$-chain-free families.
Given a family $\mathcal{F}$ of subsets of $[n]$, we define an $(r,k)$-colouring of $\mathcal{F}$ to be an $r$-colouring of the sets without any monochromatic $k$-chains $F_1 \subset F_2 \subset \dots \subset F_k$. We prove that for $n$ sufficiently large in terms of $k$, the largest $k$-chain-free families also maximise the number of $(2,k)$-colourings. We also show that the middle level, $\binom{[n]}{\lfloor n/2 \rfloor}$, maximises the number of $(3,2)$-colourings, and give asymptotic results on the maximum possible number of $(r,k)$-colourings whenever $r(k-1)$ is divisible by three.
Dushnik-Miller dimension of TD-Delaunay complexes
TD-Delaunay graphs, where TD stands for triangular distance, is a variation of the classical Delaunay triangulations obtained from a specific convex distance function. Bonichon et. al. noticed that every triangulation is the TD-Delaunay graph of a set of points in $\mathbb{R}^2$, and conversely every TD-Delaunay graph is planar. It seems natural to study the generalization of this property in higher dimensions. Such a generalization is obtained by defining an analogue of the triangular distance for $\mathbb{R}^d$. It is easy to see that TD-Delaunay complexes of $\mathbb{R}^{d-1}$ are of Dushnik-Miller dimension $d$. The converse holds for $d=2$ or $3$ and it was conjectured independently by Mary and Evans et. al. to hold for larger $d$. Here we disprove the conjecture already for $d = 4$.
On the multipacking number of grid graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (June 20, 2019) dmtcs:4452
• View Publication
• BIB
In 2001, Erwin introduced broadcast domination in graphs. It is a variant of classical domination where selected vertices may have different domination powers. The minimum cost of a dominating broadcast in a graph $G$ is denoted $γ_b(G)$. The dual of this problem is called multipacking: a multipacking is a set $M$ of vertices such that for any vertex $v$ and any positive integer $r$, the ball of radius $r$ around $v$ contains at most $r$ vertices of $M$ . The maximum size of a multipacking in a graph $G$ is denoted mp(G). Naturally mp(G) $\leq γ_b(G)$. Earlier results by Farber and by Lubiw show that broadcast and multipacking numbers are equal for strongly chordal graphs. In this paper, we show that all large grids (height at least 4 and width at least 7), which are far from being chordal, have their broadcast and multipacking numbers equal.