graph
35299 papers tagged with this keyword
Edge-disjoint cycles with the same vertex set
Published
• View Publication
• BIB
In 1975, Erdős asked for the maximum number of edges that an $n$-vertex graph can have if it does not contain two edge-disjoint cycles on the same vertex set. It is known that Turán-type results can be used to prove an upper bound of $n^{3/2+o(1)}$. However, this approach cannot give an upper bound better than $Ω(n^{3/2})$. We show that, for any $k\geq 2$, every $n$-vertex graph with at least $n \cdot \mathrm{polylog}(n)$ edges contains $k$ pairwise edge-disjoint cycles with the same vertex set, resolving this old problem in a strong form up to a polylogarithmic factor. The well-known construction of Pyber, Rödl and Szemerédi of graphs without $4$-regular subgraphs shows that there are $n$-vertex graphs with $Ω(n\log \log n)$ edges which do not contain two cycles with the same vertex set, so the polylogarithmic term in our result cannot be completely removed.
Our proof combines a variety of techniques including sublinear expanders, absorption and a novel tool for regularisation, which is of independent interest. Among other applications, this tool can be used to regularise an expander while still preserving certain key expansion properties.
Probabilistic estimates of the diameters of the Rubik's Cube groups
The diameter of the Cayley graph of the Rubik's Cube group is the fewest number of turns needed to solve the Cube from the hardest initial configuration. For the 2$\times$2$\times$2 Cube, the diameter is 11 in the half-turn metric, 14 in the quarter-turn metric, 19 in the semi-quarter-turn metric, and 10 in the bi-quarter-turn metric. For the 3$\times$3$\times$3 Cube, the diameter was determined by Rokicki et al. to be 20 in the half-turn metric and 26 in the quarter-turn metric. This study shows that a modified version of the coupon collector's problem in probability theory can predict the diameters correctly for both 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes insofar as the quarter-turn metric is adopted. In the half-turn metric, the diameters are overestimated by one and two, respectively, for the 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes, whereas for the 2$\times$2$\times$2 Cube in the semi-quarter-turn and bi-quarter-turn metrics, they are overestimated by two and underestimated by one, respectively. Invoking the same probabilistic logic, the diameters of the 4$\times$4$\times$4 and 5$\times$5$\times$5 Cubes are predicted to be 48 (41) and 68 (58) in the quarter-turn (half-turn) metric, whose precise determinations are far beyond reach of classical supercomputing. The probabilistically estimated diameter is shown to obey the approximate formula of $\ln N / \ln r + \ln N / r$, where $N$ is the number of configurations and $r$ is the branching ratio.
Random permutation matrix models for graph products
Published
• View Publication
• BIB
Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.
Extremal problems for star forests and cliques
Given a family of graphs $\mathcal{F}$, the Turán number $ex(n, \mathcal{F})$ denotes the maximum number of edges in any $\mathcal{F}$-free graph on $n$ vertices. Recently, Alon and Frankl studied of maximum number of edges in an $n$-vertex $\{K_{k+1}, M_{s+1}\}$-free graph, where $K_{k+1}$ is a complete graph on $k+1$ vertices and $M_{s+1}$ is a matching of $s+1$ edges. They determined the exact value of $ex(n, \{K_{k+1},M_{s+1}\})$. In this paper, we extend the matching $M_{s+1}$ to star forest $(s+1)S_l$, and determine the exact value of $ex(n, \{K_{k+1},(s+1)S_l\})$ for sufficiently large enough $n$. Furthermore, all the extremal graphs are obtained.
On the number of minimal forts of a graph
Published
• View Publication
• BIB
In 2018, a fort of a graph was introduced as a non-empty subset of vertices in which no vertex outside of the set has exactly one neighbor in the set. Since then, forts have been used to characterize zero forcing sets, model the zero forcing number as an integer program, and generate lower bounds on the zero forcing number of a Cartesian product. In this article, we investigate the number of minimal forts of a graph, where a fort is minimal if every proper subset is not a fort. In particular, we show that the number of minimal forts of a graph of order at least six is strictly less than Sperner's bound, a famous bound due to Emanuel Sperner (1928) on the size of a collection of subsets where no subset contains another. Then, we derive an explicit formula for the number of minimal forts for several families of graphs, including the path, cycle, and spider graphs. Moreover, we show that the asymptotic growth rate of the number of minimal forts of the spider graph is bounded above by that of the path graph. We conjecture that the asymptotic growth rate of the path graph is extremal over all trees. Finally, we develop methods for constructing minimal forts of graph products using the minimal forts of the original graphs. In the process, we derive explicit formulas and lower bounds on the number of minimal forts for additional families of graphs, such as the wheel, sunlet, and windmill graphs. Most notably, we show that the family of windmill graphs has an exponential number of minimal forts with a maximum asymptotic growth rate of cube root of three, which is the largest asymptotic growth rate we have observed. We conjecture that there exist families of graphs with a larger asymptotic growth rate.
Graphs of bounded chordality
Published
• View Publication
• BIB
A hole in a graph is an induced subgraph which is a cycle of length at least four. A graph is chordal if it contains no holes. Following McKee and Scheinerman (1993), we define the chordality of a graph $G$ to be the minimum number of chordal graphs on $V(G)$ such that the intersection of their edge sets is equal to $E(G)$. In this paper we study classes of graphs of bounded chordality.
In the 1970s, Buneman, Gavril, and Walter, proved independently that chordal graphs are exactly the intersection graphs of subtrees in trees. We generalize this result by proving that the graphs of chordality at most $k$ are exactly the intersection graphs of convex subgraphs of median graphs of tree-dimension $k$.
A hereditary class of graphs $\mathcal{A}$ is $χ$-bounded if there exists a function $ f\colon \mathbb{N}\rightarrow \mathbb{R}$ such that for every graph $G\in \mathcal{A}$, we have $χ(G) \leq f(ω(G))$. In 1960, Asplund and Grünbaum proved that the class of all graphs of boxicity at most two is $χ$-bounded. In his seminal paper "Problems from the world surrounding perfect graphs," Gyárfás (1985), motivated by the above result, asked whether the class of all graphs of chordality at most two, which we denote by $\mathcal{C}\gcap \mathcal{C}$, is $χ$-bounded. We discuss a result of Felsner, Joret, Micek, Trotter and Wiechert (2017), concerning tree-decompositions of Burling graphs, which implies an answer to Gyárfás' question in the negative. We prove that two natural families of subclasses of $\mathcal{C}\gcap \mathcal{C}$ are polynomially $χ$-bounded.
Finally, we prove that for every $k\geq 3$ the $k$-\textsc{Chordality Problem}, which asks to decide whether a graph has chordality at most $k$, is \textbf{NP}-complete.
Bicolored point sets admitting non-crossing alternating Hamiltonian paths
Consider a bicolored point set $P$ in general position in the plane consisting of $n$ blue and $n$ red points. We show that if a subset of the red points forms the vertices of a convex polygon separating the blue points, lying inside the polygon, from the remaining red points, lying outside the polygon, then the points of $P$ can be connected by non-crossing straight-line segments so that the resulting graph is a properly colored closed Hamiltonian path.
Quantum association schemes
We introduce quantum association schemes. This allows to define distance regular and strongly regular quantum graphs. We bring examples thereof. In addition, we formulate the duality for translation quantum association schemes corresponding to finite quantum groups.
On cubic graphs having the maximal coalition number
Published
• View Publication
• BIB
A coalition in a graph $G$ with vertex set $V$ consists of two disjoint sets $V_1, V_2\subset V$ such that neither $V_1$ nor $V_2$ is a dominating set, but the union $V_1\cup V_2$ is a dominating set in $G$. A partition of graph vertices is called a coalition partition $\mathcal{P}$ if every non-dominating set of $\mathcal{P}$ is a member of a coalition and every dominating set is a single-vertex set. The coalition number $C(G)$ of a graph $G$ is the maximum cardinality of its coalition partition. It is known that for cubic graphs $C(G)\le 9$. The existence of cubic graphs with the maximal coalition number is an unsolved problem. In this paper, an infinite family of cubic graphs satisfying $C(G)=9$ is constructed.
Resistance distance and Kirchhoff index in central vertex join and central edge join of two graphs
The central graph $C(G)$ of a graph $G$ is the graph obtained by inserting a new vertex into each edge of $G$ exactly once and joining all the non-adjacent vertices in $G$. Let $G_1$ and $G_2$ be two vertex disjoint graphs. The central vertex join of $G_1$ and $G_2$ is the graph $ G_1\dot{\vee} G_2$, is obtained from $C(G_1)$ and $G_2$ by joining each vertex of $G_1$ with every vertex of $G_2$. The central edge join of $G_1$ and $G_2$ is the graph $ G_1\veebar G_2$, is obtained from $C(G_1)$ and $G_2$ by joining each vertex corresponding to the edges of $G_1$ with every vertex of $G_2$. In this article, we obtain formulae for the resistance distance and Kirchhoff index of $G_1\dot{\vee} G_2$ and $ G_1\veebar G_2$. In addition, we provide the resistance distance, Kirchhoff index, and Kemeny's constant of the central graph of a graph.
Circular chromatic number of Cartesian product of signed graphs
This paper studies the circular coloring of signed graphs. A signed graph is a graph with a signature that assigns a sign to each edge, either positive or negative. This paper studies circular coloring and a circular chromatic number of Type 1 and Type Cartesian products. We shall prove the following results: The circular chromatic number of Cartesian product Type 1 $(G,σ)\Box (H,τ)$ is $χ_{c}(G \Box H,σ\Boxτ)=\max\{χ_{c}(G,σ),χ_{c}(H,τ)\}$ and the circular chromatic number of Cartesian product Type 2 $(G,σ)\Box' (H,τ)$ satisfies $χ_{c}(G \Box' H,σ\Box' τ)\leq 2\max\{χ_{c}(G),χ_{c}(H)\}$.
Minimizing the determinant of the graph Laplacian
Published
• View Publication
• BIB
In this paper, we study extremal values for the determinant of the weighted graph Laplacian under simple nondegeneracy conditions on the weights. We derive necessary and sufficient conditions for the determinant of the Laplacian to be bounded away from zero and for the existence of a minimizing set of weights. These conditions are given both in terms of properties of random spanning trees and in terms of a type of density on graphs. These results generalize and extend the work of [7].
Ordering and Convergence of Large Degrees in Random Hyperbolic Graphs
Published
• View Publication
• BIB
We describe the asymptotic behaviour of large degrees in random hyperbolic graphs, for all values of the curvature parameter $ α$. We prove that, with high probability, the node degrees satisfy the following ordering property: the ranking of the nodes by decreasing degree coincides with the ranking of the nodes by increasing distance to the centre, at least up to any constant rank. In the scale-free regime $ α>1/2$, the rank at which these two rankings cease to coincide is $n^{1/(1+8 α)+o(1)}$. We also provide a quantitative description of the large degrees by proving the convergence in distribution of the normalised degree process towards a Poisson point process. In particular, this establishes the convergence in distribution of the normalised maximum degree of the graph. A transition occurs at $ α= 1/2$, which corresponds to the connectivity threshold of the model. For $ α< 1/2$, the maximum degree is of order $n - O(n^{ α+ 1/2})$, whereas for $ α\geq 1/2$, the maximum degree is of order $n^{1/(2 α)}$. In the cases $ α< 1/2$ and $ α> 1/2$, the limit distribution of the maximum degree belongs to the class of extreme value distributions (Weibull for $ α< 1/2$ and Fréchet for $ α> 1/2$). This refines previous estimates on the maximum degree for $ α> 1/2$ and extends the study of large degrees to the dense regime $ α\leq 1/2$.
The maximum degree of the $r$th power of a sparse random graph
Let $G^r_{n,p}$ denote the $r$th power of the random graph $G_{n,p}$, where $p=c/n$ for a positive constant $c$. We prove that w.h.p. the maximum degree $Δ\left(G^r_{n,p}\right)\sim \frac{\log n}{\log_{(r+1)}n}$. Here $\log_{(k)}n$ indicates the repeated application of the log-function $k$ times. So, for example, $\log_{(3)}n=\log\log\log n$.
Extremal minimal bipartite matching covered graphs
Published
• View Publication
• BIB
A connected graph, on four or more vertices, is matching covered (aka 1-extendable) if every edge is present in some perfect matching. An ear decomposition theorem exists for bipartite matching covered graphs due to Hetyei. From the results and proofs of Lovász and Plummer, that rely on Hetyei's theorem, one may deduce that any minimal bipartite matching covered graph has at least $2(m-n+2)$ vertices of degree two (where minimal means that deleting any edge results in a graph that is not matching covered); such a graph is said to be extremal if it attains the stated lower bound.
In this paper, we provide a complete characterization of the class of extremal minimal bipartite matching covered graphs. In particular, we prove that every such graph $G$ is obtained from two copies of a tree devoid of degree two vertices, say $T$ and $T'$, by adding edges -- each of which joins a leaf of $T$ with the corresponding leaf of $T'$.
Apart from the aforementioned bound, there are four other bounds that appear in, or may be deduced from, the work of Lovász and Plummer. Each of these bounds leads to a notion of extremality. In this paper, we obtain a complete characterization of all of these extremal classes and also establish relationships between them. Two of our characterizations are in the same spirit as the one stated above. For the remaining two extremal classes, we reduce each of them to one of the already characterized extremal classes using standard matching theoretic operations.
A connected graph is k-extendable if it has a matching of cardinality $k$ and each such matching extends to a perfect matching. We also discuss bounds proved by Lou (1999) for minimal k-extendable bipartite graphs. We conjecture stronger bounds and provide evidence for our conjectures by constructing tight examples that are straightforward generalizations of the ones that appear in the 1-extendable case.
The Central Spanning Tree Problem
Spanning trees are an important primitive in many data analysis tasks, when a data set needs to be summarized in terms of its "skeleton", or when a tree-shaped graph over all observations is required for downstream processing. Popular definitions of spanning trees include the minimum spanning tree and the optimum distance spanning tree, a.k.a. the minimum routing cost tree. When searching for the shortest spanning tree but admitting additional branching points, even shorter spanning trees can be realized: Steiner trees. Unfortunately, both minimum spanning and Steiner trees are not robust with respect to noise in the observations; that is, small perturbations of the original data set often lead to drastic changes in the associated spanning trees. In response, we make two contributions when the data lies in a Euclidean space: on the theoretical side, we introduce a new optimization problem, the "(branched) central spanning tree", which subsumes all previously mentioned definitions as special cases. On the practical side, we show empirically that the (branched) central spanning tree is more robust to noise in the data, and as such is better suited to summarize a data set in terms of its skeleton. We also propose a heuristic to address the NP-hard optimization problem, and illustrate its use on single cell RNA expression data from biology and 3D point clouds of plants.
Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite graphs
Published
• View Publication
• BIB
We initiate the study of Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite connected graphs. These towers are more general than what have been studied so far, since the morphisms of graphs involved are branched covers, a particular kind of harmonic morphisms of graphs. We prove an analogue of Iwasawa's asymptotic class number formula for the $p$-part of the number of spanning trees in this setting. Moreover, we find an explicit generator for the characteristic ideal of the torsion Iwasawa module governing the growth of the $p$-part of the number of spanning trees in such towers.
Association schemes arising from non-weakly regular bent functions
Published
• View Publication
• BIB
Association schemes play an important role in algebraic combinatorics and have important applications in coding theory, graph theory and design theory. The methods to construct association schemes by using bent functions have been extensively studied. Recently, in [13], {Ö}zbudak and Pelen constructed infinite families of symmetric association schemes of classes $5$ and $6$ by using ternary non-weakly regular bent functions.They also stated that constructing $2p$-class association schemes from $p$-ary non-weakly regular bent functions is an interesting problem, where $p>3$ is an odd prime. In this paper, using non-weakly regular bent functions, we construct infinite families of symmetric association schemes of classes $2p$, $(2p+1)$ and $\frac{3p+1}{2}$ for any odd prime $p$. Fusing those association schemes, we also obtain $t$-class symmetric association schemes, where $t=4,5,6,7$. In addition, we give the sufficient and necessary conditions for the partitions $P$, $D$, $T$, $U$ and $V$ (defined in this paper) to induce symmetric association schemes.
Upper bounds for the number of substructures in finite geometries from the container method
Published
• View Publication
• BIB
We use techniques from algebraic and extremal combinatorics to derive upper bounds on the number of independent sets in several (hyper)graphs arising from finite geometry. In this way, we obtain asymptotically sharp upper bounds for partial ovoids and EKR-sets of flags in polar spaces, line spreads in $\mathrm{PG}(2r-1,q)$ and plane spreads in $\mathrm{PG}(5,q)$, and caps in $\mathrm{PG}(3,q)$. The latter result extends work due to Roche-Newton and Warren and Bhowmick and Roche-Newton. Finally, we investigate caps in $p$-random subsets of $\mathrm{PG}(r,q)$, which parallels recent work for arcs in projective planes by Bhowmick and Roche-Newton, and by Roche-Newton and Warren, and arcs in projective spaces by Chen, Liu, Nie and Zeng.
A new family of locally $5$-arc transitive graphs of pushing up type with respect to the prime 3
Published
• View Publication
• BIB
Let $q$ be a power of the prime 3. A locally 5-arc transitive $G$-graph of pushing up type is constructed for each value of $q$. For $q=3$, the $G$-graph constructed provides an example of a graph with a vertex stabilizer amalgam of shape ${\cal E}_1$ in the sense of [1]. Whereas, for the other values of $q$, the vertex stabilizer amalgam of the $G$-graph is of a previously unknown shape. In particular, for $q \neq 3$, these graphs are the first examples of locally 5-arc transitive graphs containing a vertex $z$ for which the group that fixes all 3-arcs originating at $z$ is non-trivial.