graph
34763 papers tagged with this keyword
Triangles in $C_5$-free graphs and Hypergraphs of Girth Six
We introduce a new approach and prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $$(1 + o(1)) \frac{1}{3 \sqrt 2} n^{3/2}.$$ We also show a connection to $r$-uniform hypergraphs without (Berge) cycles of length less than six, and estimate their maximum possible size.
On Bollobás-Riordan random pairing model of preferential attachment graph
Bollobás-Riordan random pairing model of a preferential attachment graph $G_m^n$ is studied. Let $\{W_j\}_{j\le mn+1}$ be the process of sums of independent exponentials with mean $1$. We prove that the degrees of the first $ν_m^n:=n^{\frac{m}{m+2}-ε}$ vertices are jointly, and uniformly, asymptotic to $\{2(mn)^{1/2}\bigl(W^{1/2}_{mj}-W^{1/2}_{m(j-1)}\bigr)\}_{j\in [t]}$, and that with high probability (whp) the smallest of these degrees is $n^{\frac{ε(m+2)}{2m}}$, at least. In contrast, the degrees of vertices below the top by any fraction of $n$ are whp of $O(\log n)$ order. Next we bound the probability that there exists a pair of large vertex sets with no edges joining them, and apply the bound to several special cases. We propose to measure an influence of a vertex $v$ by the size of a maximal recursive tree (max-tree) rooted at $v$. The set of the first $ν_m^n$ vertices is shown whp not to contain a max-tree of any size. Whp the largest recursive tree has size of order $n$. We prove that, for $m>1$, $\Bbb P(G_m^n\text{ is connected})\ge 1- O\bigl((\log n)^{-(m-1)/3+o(1)}\bigr)$. We show that the distribution of the scaled size of a generic max-tree in $G_1^n$ converges to a mixture of two beta distributions.
Finding perfect matchings in random regular graphs in linear time
Published
• View Publication
• BIB
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results suggest that the first algorithm is superior. In this paper we analyze an adapted version of the first algorithm, the Reduce-Construct algorithm. We show that the Reduce-Construct algorithm finds a maximum matching in random $k=O(1)$-regular graphs in linear time in expectation, as opposed to $O(n^{3/2})$ time for the worst-case.
Counterexamples to a conjecture of Harris on Hall ratio
The Hall ratio of a graph $G$ is the maximum value of $v(H) / α(H)$ taken over all non-null subgraphs $H$ of $G$. For any graph, the Hall ratio is a lower-bound on its fractional chromatic number. In this note, we present various constructions of graphs whose fractional chromatic number grows much faster than their Hall ratio. This refutes a conjecture of Harris.
Balanced triangulations on few vertices and an implementation of cross-flips
A $d$-dimensional simplicial complex is balanced if the underlying graph is $(d+1)$-colorable. We present an implementation of cross-flips, a set of local moves introduced by Izmestiev, Klee and Novik which connect any two PL-homeomorphic balanced combinatorial manifolds. As a result we exhibit a vertex minimal balanced triangulation of the real projective plane, of the dunce hat and of the real projective space, as well as several balanced triangulations of surfaces and 3-manifolds on few vertices. In particular we construct small balanced triangulations of the 3-sphere that are non-shellable and shellable but not vertex decomposable.
Enumerative properties of restricted words and compositions
In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separately, subsequence pattern avoidance. We also count cyclically restricted and circular objects. This either fills gaps in the current literature by e.g. considering particular new patterns, or involves general progress, notably with locally restricted compositions over a finite group. We associate these compositions to walks on a covering graph whose structure is exploited to simplify asymptotic expressions. Specifically, we show that under certain conditions the number of locally restricted compositions of a group element is asymptotically independent of the group element. For some problems our results extend to the case of a positive number of subword pattern occurrences (instead of zero for pattern avoidance) or convergence in distribution of the normalized number of occurrences. We typically apply the more general propositions to concrete examples such as the familiar Carlitz compositions or simple subword patterns.
The defining properties of the Kontsevich unoriented graph complex
Published in Journal of Physics: Conference Series (2019) Vol.1194, Paper 012095, 1-10
• View Publication
• BIB
Consider the real vector space of formal sums of non-empty, finite unoriented graphs without multiple edges and loops. Let the vertices of graphs be unlabelled but let every graph $γ$ be endowed with an ordered set of edges $\mathsf{E}(γ)$. Denote by Gra the vector space of formal sums of graphs modulo the relation $(γ_1,\mathsf{E}(γ_1))-\text{sign}(σ) (γ_2,\mathsf{E}(γ_2)) = 0$ for topologically equal graphs $γ_1$ and $γ_2$ whose edge orderings differ by a permutation $σ$. The zero class in Gra is represented by sums of graphs that cancel via the above relation. The Lie bracket of graphs with ordered edge sets is defined using the insertion of a graph into vertices of the other one. We give an explicit proof of the theorems which state that the space Gra is a well\/-\/defined differential graded Lie algebra: both the Lie bracket $[{\cdot},{\cdot}]$ and the vertex\/-\/expanding differential ${\mathrm d}=[{\bullet}\!{-}\!{\bullet},{\cdot}]$ respect the calculus modulo zero graphs.
Poset models for Weyl group analogs of symmetric functions and Schur functions
The `Weyl symmetric functions' studied here naturally generalize classical symmetric (polynomial) functions, and `Weyl bialternants,' sometimes also called Weyl characters, analogize the Schur functions. For this generalization, the underlying symmetry group is a finite Weyl group. A `splitting poset' for a Weyl bialternant is an edge-colored ranked poset possessing a certain structural property and a natural weighting of its elements so that the weighted sum of poset elements is the given Weyl bialternant. Connected such posets are of combinatorial interest in part because they are rank symmetric and rank unimodal and have nice quotient-of-product expressions for their rank generating functions. Supporting graphs of weight bases for irreducible semisimple Lie algebra representations provide one large family of examples. However, many splitting posets can be obtained outside of this Lie theoretic context. This monograph provides a tutorial on Weyl bialternants / Weyl symmetric functions and splitting posets that is largely self-contained and independent of Lie algebra representation theory. New results are also obtained.
On the König-Hall-Egerváry theorem for multidimensional matrices and multipartite hypergraphs
One of possible interpretations of the well-known König--Hall--Egerváry theorem is a full characterization of all bipartite graphs extremal for fractional matchings of a given weight (or, equivalently, a characterization of $(0,1)$-matrices extremal for partial fractional diagonals of a given length). In this paper we initiate the study of $d$-partite $d$-uniform hypergraphs that are extremal for fractional perfect matchings (or, equivalently, $d$-dimensional $(0,1)$-matrices that are extremal for polydiagonals). For this purpose, we analyze similarities and differences between $2$-dimensional and multidimensional cases and put forward a series of questions and conjectures on properties of multidimensional extremal matrices (extremal hypergraphs). We also prove these conjectures for several parameters and provide a number of supporting constructions and examples.
Defensive alliance polynomial
We introduce a new bivariate polynomial which we call the defensive alliance polynomial and denote it by da(G; x, y). It is a generalization of the alliance polynomial [Carballosa et al., 2014] and the strong alliance polynomial [Carballosa et al., 2016]. We show the relation between da(G; x, y) and the alliance, the strong alliance and the induced connected subgraph [Tittmann et al., 2011] polynomials. Then, we investigate information encoded in da(G; x, y) about G. We discuss the defensive alliance polynomial for the path graphs, the cycle graphs, the star graphs, the double star graphs, the complete graphs, the complete bipartite graphs, the regular graphs, the wheel graphs, the open wheel graphs, the friendship graphs, the triangular book graphs and the quadrilateral book graphs. Also, we prove that the above classes of graphs are characterized by its defensive alliance polynomial. A relation between induced subgraphs with order three and both subgraphs with order three and size three and two respectively, is proved to characterize the complete bipartite graphs. Finally, we present the defensive alliance polynomial of the graph formed by attaching a vertex to a complete graph. We show two pairs of graphs which are not characterized by the alliance polynomial but characterized by the defensive alliance polynomial.
Permutational powers of a graph
Published in Electron. J. Combin., Vol. 26 (4) 2019, #P4.22
• Search Publication
This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more general. We start by discussing necessary and sufficient conditions on the permutation and on the adjacency matrix of a graph to guarantee their composition to represent an adjacency matrix of a graph, then we focus our attention on the cases in which the permutational power does not reduce to a zig-zag product. We show that the cases of interest are those in which the adjacency matrix is singular. This leads us to frame our problem in the context of equitable partitions, obtained by identifying vertices having the same neighborhood. The families of cyclic and complete bipartite graphs are treated in details.
Efficient constructions of convex combinations for 2-edge-connected subgraphs on fundamental classes
Finding the exact integrality gap $α$ for the LP relaxation of the 2-edge-connected spanning multigraph problem (2EC) is closely related to the same problem for the Held-Karp relaxation of the metric traveling salesman problem (TSP). While the former problem seems easier than the latter, since it is less constrained, currently the upper bounds on the respective integrality gaps for the two problems are the same.
An approach to proving integrality gaps for both of these problems is to consider fundamental classes of extreme points. For 2EC, better bounds on the integrality gap are known for certain important special cases of these fundamental points. For example, for half-integer square points, the integrality gap is between $\frac{6}{5}$ and $\frac{4}{3}$. Our main result is to improve the approximation factor to $\frac{9}{7}$ for 2EC for these points. Our approach is based on constructing convex combinations and our key tool is the top-down coloring framework for tree augmentation, whose flexibility we employ to exploit beneficial properties in both the initial spanning tree and in the input graph. We also show how these tools can be tailored to the closely related problem of uniform covers for which the proofs of the best-known bounds do not yield polynomial-time algorithms. Another key ingredient is to use a rainbow spanning tree decomposition, which allows us to obtain a convex combination of spanning trees with particular properties
On three domination-based identification problems in block graphs
Published in Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11003
• Search Publication
The problems of determining the minimum-sized \emph{identifying}, \emph{locating-dominating} and \emph{open locating-dominating codes} of an input graph are special search problems that are challenging from both theoretical and computational viewpoints. In these problems, one selects a dominating set $C$ of a graph $G$ such that the vertices of a chosen subset of $V(G)$ (i.e. either $V(G)\setminus C$ or $V(G)$ itself) are uniquely determined by their neighborhoods in $C$. A typical line of attack for these problems is to determine tight bounds for the minimum codes in various graphs classes. In this work, we present tight lower and upper bounds for all three types of codes for \emph{block graphs} (i.e. diamond-free chordal graphs). Our bounds are in terms of the number of maximal cliques (or \emph{blocks}) of a block graph and the order of the graph. Two of our upper bounds verify conjectures from the literature - with one of them being now proven for block graphs in this article. As for the lower bounds, we prove them to be linear in terms of both the number of blocks and the order of the block graph. We provide examples of families of block graphs whose minimum codes attain these bounds, thus showing each bound to be tight.
Entropy and expansion
Published in Ann. Inst. H. Poincare Probab. Statist. 56(4): 2428-2444 (2020)
• View Publication
• BIB
Shearer's inequality bounds the sum of joint entropies of random variables in terms of the total joint entropy. We give another lower bound for the same sum in terms of the individual entropies when the variables are functions of independent random seeds. The inequality involves a constant characterizing the expansion properties of the system.
Our results generalize to entropy inequalities used in recent work in invariant settings, including the edge-vertex inequality for factor-of-IID processes, Bowen's entropy inequalities, and Bollobás's entropy bounds in random regular graphs.
The proof method yields inequalities for other measures of randomness, including covariance.
As an application, we give upper bounds for independent sets in both finite and infinite graphs.
Separation Dimension and Degree
Published in Math. Proc. Camb. Phil. Soc. 170 (2021) 549-558
• View Publication
• BIB
The "separation dimension" of a graph $G$ is the minimum positive integer $d$ for which there is an embedding of $G$ into $\mathbb{R}^d$, such that every pair of disjoint edges are separated by some axis-parallel hyperplane. We prove a conjecture of Alon et al. [SIAM J. Discrete Math. 2015] by showing that every graph with maximum degree $Δ$ has separation dimension less than $20Δ$, which is best possible up to a constant factor. We also prove that graphs with separation dimension 3 have bounded average degree and bounded chromatic number, partially resolving an open problem by Alon et al. [J. Graph Theory 2018].
A Census of Small Transitive Groups and Vertex-Transitive Graphs
We describe two similar but independently-coded computations used to construct a complete catalogue of the transitive groups of degree less than $48$, thereby verifying, unifying and extending the catalogues previously available. From this list, we construct all the vertex-transitive graphs of order less than $48$. We then present a variety of summary data regarding the transitive groups and vertex-transitive graphs, focussing on properties that seem to occur most frequently in the study of groups acting on graphs. We illustrate how such catalogues can be used, first by finding a complete list of the elusive groups of order at most $47$ and then by completely determining which groups of order at most $47$ are CI groups
Construction of optimal locally recoverable codes and connection with hypergraph
Published
• View Publication
• BIB
Recently, it was discovered by several authors that a $q$-ary optimal locally recoverable code, i.e., a locally recoverable code archiving the Singleton-type bound, can have length much bigger than $q+1$. This is quite different from the classical $q$-ary MDS codes where it is conjectured that the code length is upper bounded by $q+1$ (or $q+2$ for some special case). This discovery inspired some recent studies on length of an optimal locally recoverable code. It was shown in \cite{LXY} that a $q$-ary optimal locally recoverable code is unbounded for $d=3,4$. Soon after, it was proved that a $q$-ary optimal locally recoverable code with distance $d$ and locality $r$ can have length $Ω_{d,r}(q^{1 + 1/\lfloor(d-3)/2\rfloor})$. Recently, an explicit construction of $q$-ary optimal locally recoverable codes for distance $d=5,6$ was given in \cite{J18} and \cite{BCGLP}.
In this paper, we further investigate construction optimal locally recoverable codes along the line of using parity-check matrices. Inspired by classical Reed-Solomon codes and \cite{J18}, we equip parity-check matrices with the Vandermond structure. It is turns out that a parity-check matrix with the Vandermond structure produces an optimal locally recoverable code must obey certain disjoint property for subsets of $\mathbb{F}_q$. To our surprise, this disjoint condition is equivalent to a well-studied problem in extremal graph theory. With the help of extremal graph theory, we succeed to improve all of the best known results in \cite{GXY} for $d\geq 7$. In addition, for $d=6$, we are able to remove the constraint required in \cite{J18} that $q$ is even.
On the chromatic number of disjointness graphs of curves
Published
• View Publication
• BIB
Let $ω(G)$ and $χ(G)$ denote the clique number and chromatic number of a graph $G$, respectively. The {\em disjointness graph} of a family of curves (continuous arcs in the plane) is the graph whose vertices correspond to the curves and in which two vertices are joined by an edge if and only if the corresponding curves are disjoint. A curve is called {\em $x$-monotone} if every vertical line intersects it in at most one point. An $x$-monotone curve is {\em grounded} if its left endpoint lies on the $y$-axis.
We prove that if $G$ is the disjointness graph of a family of grounded $x$-monotone curves such that $ω(G)=k$, then $χ(G)\leq \binom{k+1}{2}$. If we only require that every curve is $x$-monotone and intersects the $y$-axis, then we have $χ(G)\leq \frac{k+1}{2}\binom{k+2}{3}$. Both of these bounds are best possible. The construction showing the tightness of the last result settles a 25 years old problem: it yields that there exist $K_k$-free disjointness graphs of $x$-monotone curves such that any proper coloring of them uses at least $Ω(k^{4})$ colors. This matches the upper bound up to a constant factor.
Sprinkling a few random edges doubles the power
Published
• View Publication
• BIB
A seminal result by Komlós, Sarközy, and Szemerédi states that if a graph $G$ with $n$ vertices has minimum degree at least $kn/(k + 1)$, for some $k \in \mathbb{N}$ and $n$ sufficiently large, then it contains the $k$-th power of a Hamilton cycle. This is easily seen to be the largest power of a Hamilton cycle one can guarantee, given such a minimum degree assumption. Following a recent trend of studying effects of adding random edges to a dense graph, the model known as the randomly perturbed graph, Dudek, Reiher, Ruciński, and Schacht showed that if the minimum degree is at least $kn/(k + 1) + αn$, for any constant $α> 0$, then adding $O(n)$ random edges on top almost surely results in a graph which contains the $(k + 1)$-st power of a Hamilton cycle. We show that the effect of these random edges is significantly stronger, namely that one can almost surely find the $(2k + 1)$-st power. This is the largest power one can guarantee in such a setting.
Colouring of generalized signed planar graphs
Assume $G$ is a graph. We view $G$ as a symmetric digraph, in which each edge $uv$ of $G$ is replaced by a pair of opposite arcs $e=(u,v)$ and $e^{-1}=(v,u)$. Assume $S$ is an inverse closed subset of permutations of positive integers. We say $G$ is $S$-$k$-colourable if for any mapping $σ: E(G) \to S$ with $σ(x,y) = (σ(y,x))^{-1}$, there is a mapping $f: V(G) \to [k]=\{1,2, \ldots, k\}$ such that for each arc $e=(x,y)$, $σ_e(f(x)) \ne f(y)$.
The concept of $S$-$k$-colouring is a common generalization of many colouring concepts, including $k$-colouring, signed $k$-colouring defined by Máčajová, Raspaud and Škoviera, signed $k$-colouring defined by Kang and Steffen, correspondence $k$-colouring defined by Dvořák and Postle, and group colouring defined by Jaeger, Linial, Payan and Tarsi.
We are interested in the problem as for which subset $S$ of $S_4$, every planar graph is $S$-colourable. Such a subset $S$ is called good. The famous four colour theorem is equivalent to say that $S=\{id\}$ is good. There are two conjectures on signed graph colouring, one is equivalent to $S=\{id, (12)(34)\}$ be good and the other is equivalent to $S=\{id, (12)\}$ be good. We say two subsets $S$ and $S'$ of $S_k$ are conjugate if there is a permutation $π\in S_k$ such that $S'= \{πσπ^{-1}: σ\in S\}$. This paper proves that if $S$ is a good subset of $S_4$ containing $id$, then $S$ is conjugate to a subset of $\{id, (12), (34), (12)(34)\}$. However, it remains an open problem if there is any good subset $S$ which contains $id$ and has cardinality $|S| \ge 2$. We also prove that $S=\{(12),(13),(23),(123),(132)\}$ is not good.