graph
34665 papers tagged with this keyword
Random Turán theorem for hypergraph cycles
Given $r$-uniform hypergraphs $G$ and $H$ the Turán number $\rm ex(G, H)$ is the maximum number of edges in an $H$-free subgraph of $G$. We study the typical value of $\rm ex(G, H)$ when $G=G_{n,p}^{(r)}$, the Erdős-Rényi random $r$-uniform hypergraph, and $H=C_{2\ell}^{(r)}$, the $r$-uniform linear cycle of length $2\ell$. The case of graphs ($r=2$) is a longstanding open problem that has been investigated by many researchers. We determine $\rm ex(G_{n,p}^{(r)}, C_{2\ell}^{(r)})$ up to polylogarithmic factors for all but a small interval of values of $p=p(n)$ whose length decreases as $\ell$ grows.
Our main technical contribution is a balanced supersaturation result for linear even cycles which improves upon previous such results by Ferber-Mckinley-Samotij and Balogh-Narayanan-Skokan. The novelty is that the supersaturation result depends on the codegree of some pairs of vertices in the underlying hypergraph. This approach could be used to prove similar results for other hypergraphs $H$.
Testing linear inequalities of subgraph statistics
Published
• View Publication
• BIB
Property testers are fast randomized algorithms whose task is to distinguish between inputs satisfying some predetermined property ${\cal P}$ and those that are far from satisfying it. Since these algorithms operate by inspecting a small randomly selected portion of the input, the most natural property one would like to be able to test is whether the input does not contain certain forbidden small substructures. In the setting of graphs, such a result was obtained by Alon et al., who proved that for any finite family of graphs ${\cal F}$, the property of being induced ${\cal F}$-free (i.e. not containing an induced copy of any $F \in {\cal F}$) is testable.
It is natural to ask if one can go one step further and prove that more elaborate properties involving induced subgraphs are also testable. One such generalization of the result of Alon et al. was formulated by Goldreich and Shinkar who conjectured that for any finite family of graphs ${\cal F}$, and any linear inequality involving the densities of the graphs $F \in {\cal F}$ in the input graph, the property of satisfying this inequality can be tested in a certain restricted model of graph property testing. Our main result in this paper disproves this conjecture in the following strong form: some properties of this type are not testable even in the classical (i.e. unrestricted) model of graph property testing.
The proof deviates significantly from prior non-testability results in this area. The main idea is to use a linear inequality relating induced subgraph densities in order to encode the property of being a quasirandom graph.
New bounds on maximal linkless graphs
Published in Algebr. Geom. Topol. 23 (2023) 2545-2559
• View Publication
• BIB
We construct a family of maximal linklessly embeddable graphs on $n$ vertices and $3n-5$ edges for all $n\ge 10$, and another family on $n$ vertices and $m< \frac{25n}{12}-\frac{1}{4}$ edges for all $n\ge 13$. The latter significantly improves the lowest edge-to-vertex ratio for any previously known infinite family. We construct a family of graphs showing that the class of maximal linklessly embeddable graphs differs from the class of graphs that are maximal without a $K_6$ minor studied by L. Jorgensen. We give necessary and sufficient conditions for when the clique sum of two maximal linklessly embeddable graphs over $K_2$, $K_3$, or $K_4$ is a maximal linklessly embeddable graph, and use these results to prove our constructions yield maximal linklessly embeddable graphs.
Large Sets with Multiplicity
Published
• View Publication
• BIB
Large sets of combinatorial designs has always been a fascinating topic in design theory. These designs form a partition of the whole space into combinatorial designs with the same parameters. In particular, a large set of block designs, whose blocks are of size $k$ taken from an $n$-set, is a partition of all the $k$-subsets of the $n$-set into disjoint copies of block designs, defined on the $n$-set, and with the same parameters. The current most intriguing question in this direction is whether large sets of Steiner quadruple systems exist and to provide explicit constructions for those parameters for which they exist. In view of its difficulty no one ever presented an explicit construction even for one nontrivial order. Hence, we seek for related generalizations. As generalizations, to the existence question of large sets, we consider two related questions. The first one to provide constructions for sets on Steiner systems in which each block (quadruple or a $k$-subset) is contained in exactly $μ$ systems. The second question is to provide constructions for large set of H-designs (mainly for quadruples, but also for larger block size). We prove the existence of such systems for many parameters using orthogonal arrays, perpendicular arrays, ordered designs, sets of permutations, and one-factorizations of the complete graph.
Decreasing Minimization on M-convex Sets: Background and Structures
Published
• View Publication
• BIB
The present work is the first member of a pair of papers concerning decreasingly-minimal (dec-min) elements of a set of integral vectors, where a vector is dec-min if its largest component is as small as possible, within this, the next largest component is as small as possible, and so on. This discrete notion, along with its fractional counterpart, showed up earlier in the literature under various names.
The domain we consider is an M-convex set, that is, the set of integral elements of an integral base-polyhedron. A fundamental difference between the fractional and the discrete case is that a base-polyhedron has always a unique dec-min element, while the set of dec-min elements of an M-convex set admits a rich structure, described here with the help of a "canonical chain". As a consequence, we prove that this set arises from a matroid by translating the characteristic vectors of its bases with an integral vector.
By relying on these characterizations, we prove that an element is dec-min if and only if the square-sum of its components is minimum, a property resulting in a new type of min-max theorems. The characterizations also give rise, as shown in the companion paper, to a strongly polynomial algorithm, and to several applications in the areas of resource allocation, network flow, matroid, and graph orientation problems, which actually provided a major motivation to the present investigations. In particular, we prove a conjecture on graph orientation.
Decreasing Minimization on M-convex Sets: Algorithms and Applications
Published
• View Publication
• BIB
This paper is concerned with algorithms and applications of decreasing minimization on an M-convex set, which is the set of integral elements of an integral base-polyhedron. Based on a recent characterization of decreasingly minimal (dec-min) elements, we develop a strongly polynomial algorithm for computing a dec-min element of an M-convex set. The matroidal feature of the set of dec-min elements makes it possible to compute a minimum cost dec-min element, as well. Our second goal is to exhibit various applications in matroid and network optimization, resource allocation, and (hyper)graph orientation. We extend earlier results on semi-matchings to a large degree by developing a structural description of dec-min in-degree bounded orientations of a graph. This characterization gives rise to a strongly polynomial algorithm for finding a minimum edge-cost dec-min orientation.
Planar Turán Number of intersecting triangles
Published
• View Publication
• BIB
The planar Turán number of a given graph $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges over all planar graphs on $n$ vertices that do not contain a copy of $H$ as a subgraph. Let $H_k$ be a friendship graph, which is obtained from $k$ triangles by sharing a common vertex. In this paper, we obtain sharp bounds of $ex_{\mathcal{P}}(n,H_k)$ and $ex_{\mathcal{P}}(n,K_1+P_{k+1})$ for $k\ge2$, which improves the results of Lan and Shi in Electron. J. Combin. 26 (2) (2019), \#P2.11.
Combinatorial and stochastic properties of ranked tree-child networks
Published in Random Structures & Algorithms, 60(4):653-689 (2022)
• View Publication
• BIB
Tree-child networks are a recently-described class of directed acyclic graphs that have risen to prominence in phylogenetics (the study of evolutionary trees and networks). Although these networks have a number of attractive mathematical properties, many combinatorial questions concerning them remain intractable. In this paper, we show that endowing these networks with a biologically relevant ranking structure yields mathematically tractable objects, which we term ranked tree-child networks (RTCNs). We explain how to derive exact and explicit combinatorial results concerning the enumeration and generation of these networks. We also explore probabilistic questions concerning the properties of RTCNs when they are sampled uniformly at random. These questions include the lengths of random walks between the root and leaves (both from the root to the leaves and from a leaf to the root); the distribution of the number of cherries in the network; and sampling RTCNs conditional on displaying a given tree. We also formulate a conjecture regarding the scaling limit of the process that counts the number of lineages in the ancestry of a leaf. The main idea in this paper, namely using ranking as a way to achieve combinatorial tractability, may also extend to other classes of networks.
Path spaces I: A Menger-type result
Infinite graphs are finitary in the sense that their points are connected via finite paths. So what would an infinitary generalization of finite graphs look like? Usually this question is answered with the aid of topology, e.g. in the case of graph-like spaces. Here we introduce a more combinatorial answer, which we call path space, and prove a version of Menger's theorem for it. Since there are many topological path-like objects which induce path spaces, this result can be applied in a variety of settings.
Rainbow odd cycles
Published in SIAM Journal on Discrete Mathematics, Volume 35, Issue 4, pp 2293-2303, October 2021
• View Publication
• BIB
We prove that every family of (not necessarily distinct) odd cycles $O_1, \dots, O_{2\lceil n/2 \rceil-1}$ in the complete graph $K_n$ on $n$ vertices has a rainbow odd cycle (that is, a set of edges from distinct $O_i$'s, forming an odd cycle). As part of the proof, we characterize those families of $n$ odd cycles in $K_{n+1}$ that do not have any rainbow odd cycle. We also characterize those families of $n$ cycles in $K_{n+1}$, as well as those of $n$ edge-disjoint nonempty subgraphs of $K_{n+1}$, without any rainbow cycle.
On lengths of burn-off chip-firing games
We continue our studies of burn-off chip-firing games from [Discrete Math. Theor. Comput. Sci. 15 (2013), no. 1, 121-132; MR3040546] and [Australas. J. Combin. 68 (2017), no. 3, 330-345; MR3656659]. The latter article introduced randomness by choosing successive seeds uniformly from the vertex set of a graph $G$. The length of a game is the number of vertices that fire (by sending a chip to each neighbor and annihilating one chip) as an excited chip configuration passes to a relaxed state. This article determines the probability distribution of the game length in a long sequence of burn-off games. Our main results give exact counts for the number of pairs $(C,v)$, with $C$ a relaxed legal configuration and $v$ a seed, corresponding to each possible length. In support, we give our own proof of the well-known equicardinality of the set $\mathcal{R}$ of relaxed legal configurations on $G$ and the set of spanning trees in the cone $G^*$ of $G$. We present an algorithmic, bijective proof of this correspondence.
Total coloring and efficient domination applications to non-Cayley non-Schreier vertex-transitive graphs
Published
• View Publication
• BIB
Let $0<k\in\mathbb{Z}$. Let the star 2-set transposition graph $ST^2_k$ be the $(2k-1)$-regular graph whose vertices are the $2k$-strings on $k$ symbols, each symbol repeated twice, with its edges given each by the transposition of the initial entry of one such $2k$-string with any entry that contains a different symbol than that of the initial entry. The pancake 2-set transposition graph $PC^2_k$ has the same vertex set of $ST^2_k$ and its edges involving each the maximal product of concentric disjoint transpositions in any prefix of an endvertex string, including the external transposition being that of an edge of $ST^2_k$. For $1<k\in\mathbb{Z}$, we show that $ST^2_k$ and $PC^2_k$, among other intermediate transposition graphs, have total colorings via $2k-1$ colors. They, in turn, yield efficient dominating sets, or E-sets, of the vertex sets of $ST^2_k$ and $PC^2_k$, and partitions into into $2k-1$ such E-sets, generalizing Dejter-Serra work on E-sets in such graphs.
FPT Algorithms for Finding Near-Cliques in $c$-Closed Graphs
Finding large cliques or cliques missing a few edges is a fundamental algorithmic task in the study of real-world graphs, with applications in community detection, pattern recognition, and clustering. A number of effective backtracking-based heuristics for these problems have emerged from recent empirical work in social network analysis. Given the NP-hardness of variants of clique counting, these results raise a challenge for beyond worst-case analysis of these problems. Inspired by the triadic closure of real-world graphs, Fox et al. (SICOMP 2020) introduced the notion of $c$-closed graphs and proved that maximal clique enumeration is fixed-parameter tractable with respect to $c$.
In practice, due to noise in data, one wishes to actually discover "near-cliques", which can be characterized as cliques with a sparse subgraph removed. In this work, we prove that many different kinds of maximal near-cliques can be enumerated in polynomial time (and FPT in $c$) for $c$-closed graphs. We study various established notions of such substructures, including $k$-plexes, complements of bounded-degeneracy and bounded-treewidth graphs. Interestingly, our algorithms follow relatively simple backtracking procedures, analogous to what is done in practice. Our results underscore the significance of the $c$-closed graph class for theoretical understanding of social network analysis.
Partition dimension and strong metric dimension of chain cycle
Published in Jordanian Journal of Mathematics and Statistics, 13(2), 2020, 305-325
• Search Publication
Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. For an ordered $k$-partition $Π=\{Q_1,\ldots,Q_k\}$ of $V(G)$, the representation of a vertex $v \in V(G)$ with respect to $Π$ is the $k$-vectors $r(v|Π)=(d(v,Q_1),\ldots,d(v,Q_k))$, where $d(v,Q_i)$ is the distance between $v$ and $Q_i$. The partition $Π$ is a resolving partition if $r(u|Π)\neq r(v|Π)$, for each pair of distinct vertices $u,v \in V(G)$. The minimum $k$ for which there is a resolving $k$-partition of $V(G)$ is the partition dimension of $G$. A vertex $w\in V(G)$ strongly resolves two distinct vertices $u,v \in V(G)$ if $u$ belongs to a shortest $v-w$ path or $v$ belongs to a shortest $u-w$ path. An ordered set $W=\{w_{1},\ldots, w_{t}\}\subseteq V(G)$ is a strong resolving set for $G$ if for every two distinct vertices $u$ and $v$ of $G$ there exists a vertex $w\in W$ which strongly resolves $u$ and $v$. A strong metric basis of $G$ is a strong resolving set of minimal cardinality. The cardinality of a strong metric basis is called strong metric dimension of $G$. In this paper, we determine the partition dimension and strong metric dimension of a chain cycle constructed by even cycles and a chain cycle constructed by odd cycles.
A family of matrix-tree multijections
Published in Algebraic Combinatorics, Volume 4 (2021) no. 5, pp. 795-822
• View Publication
• BIB
For a natural class of $r \times n$ integer matrices, we construct a non-convex polytope which periodically tiles $\mathbb R^n$. From this tiling, we provide a family of geometrically meaningful maps from a generalized sandpile group to a set of generalized spanning trees which give multijective proofs for several higher-dimensional matrix-tree theorems. In particular, these multijections can be applied to graphs, regular matroids, cell complexes with a torsion-free spanning forest, and representable arithmetic matroids with a multiplicity one basis. This generalizes a bijection given by Backman, Baker, and Yuen and extends work by Duval, Klivans, and Martin.
Dominated Minimal Separators are Tame (Nearly All Others are Feral)
A class ${\cal F}$ of graphs is called {\em tame} if there exists a constant $k$ so that every graph in ${\cal F}$ on $n$ vertices contains at most $O(n^k)$ minimal separators, {\em strongly-quasi-tame} if every graph in ${\cal F}$ on $n$ vertices contains at most $O(n^{k \log n})$ minimal separators, and {\em feral} if there exists a constant $c > 1$ so that ${\cal F}$ contains $n$-vertex graphs with at least $c^n$ minimal separators for arbitrarily large $n$. The classification of graph classes into tame or feral has numerous algorithmic consequences, and has recently received considerable attention.
A key graph-theoretic object in the quest for such a classification is the notion of a $k$-{\em creature}. In a recent manuscript [Abrishami et al., Arxiv 2020] conjecture that every hereditary class ${\cal F}$ that excludes $k$-creatures for some fixed constant $k$ is tame. We give a counterexample to this conjecture and prove the weaker result that a hereditary class ${\cal F}$ is strongly quasi-tame if it excludes $k$-creatures for some fixed constant $k$ and additionally every minimal separator can be dominated by another fixed constant $k'$ number of vertices. The tools developed also lead to a number of additional results of independent interest.
{\bf (i) We obtain a complete classification of all hereditary graph classes defined by a finite set of forbidden induced subgraphs into strongly quasi-tame or feral. This generalizes Milanič and Pivač [WG'19]. {\bf (ii)} We show that hereditary class that excludes $k$-creatures and additionally excludes all cycles of length at least $c$, for some constant $c$, are tame. This generalizes the result of [Chudnovsky et al., Arxiv 2019]. {\bf (iii)} We show that every hereditary class that excludes $k$-creatures and additionally excludes a complete graph on $c$ vertices for some fixed constant $c$ is tame.
Asymptotic dimension of minor-closed families and beyond
Published in Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), (2021) 1997--2013
• View Publication
• BIB
The asymptotic dimension of metric spaces is an important notion in geometric group theory introduced by Gromov. The metric spaces considered in this paper are the ones whose underlying spaces are the vertex-sets of graphs and whose metrics are the distance functions in graphs. A standard compactness argument shows that it suffices to consider the asymptotic dimension of classes of finite graphs.
In this paper we prove that the asymptotic dimension of any proper minor-closed family, any class of graphs of bounded tree-width, and any class of graphs of bounded layered tree-width are at most 2, 1, and 2, respectively. The first result solves a question of Fujiwara and Papasoglu; the second and third results solve a number of questions of Bonamy, Bousquet, Esperet, Groenland, Pirot and Scott. These bounds for asymptotic dimension are optimal and improve a number of results in the literature. Our proofs can be transformed into linear or quadratic time algorithms for finding coverings witnessing the asymptotic dimension which is equivalent to finding weak diameter colorings for graphs. The key ingredient of our proof is a unified machinery about the asymptotic dimension of classes of graphs that have tree-decompositions of bounded adhesion over hereditary classes with known asymptotic dimension, which might be of independent interest.
Edge ideals of Erdös-Rényi random graphs : Linear resolution, unmixedness and regularity
Published
• View Publication
• BIB
We study the homological algebra of edge ideals of Erdös-Rényi random graphs. These random graphs are generated by deleting edges of a complete graph on $n$ vertices independently of each other with probability $1-p$. We focus on some aspects of these random edge ideals - linear resolution, unmixedness and algebraic invariants like the Castelnuovo-Mumford regularity, projective dimension and depth. We first show a double phase transition for existence of linear presentation and resolution and determine the critical windows as well. As a consequence, we obtain that except for a very specific choice of parameters (i.e., $n,p := p(n)$), with high probability, a random edge ideal has linear presentation if and only if it has linear resolution. This shows certain conjectures hold true for large random graphs with high probability even though the conjectures were shown to fail for determinstic graphs. Next, we study asymptotic behaviour of some algebraic invariants - the Castelnuovo-Mumford regularity, projective dimension and depth - of such random edge ideals in the sparse regime (i.e., $p = \fracλ{n}, λ\in (0,\infty)$). These invariants are studied using local weak convergence (or Benjamini-Schramm convergence) and relating them to invariants on Galton-Watson trees. We also show that when $p \to 0$ or $p \to 1$ fast enough, then with high probability the edge ideals are unmixed and for most other choices of $p$, these ideals are not unmixed with high probability. This is further progress towards the conjecture that random monomial ideals are unlikely to have Cohen-Macaulay property (see De Loera et al. 2019a,2019b) in the setting when the number of variables goes to infinity but the degree is fixed.
Reducing the maximum degree of a graph: comparisons of bounds
Published
• View Publication
• BIB
Let $λ(G)$ be the smallest number of vertices that can be removed from a non-empty graph $G$ so that the resulting graph has a smaller maximum degree. Let $λ_{\rm e}(G)$ be the smallest number of edges that can be removed from $G$ for the same purpose. Let $k$ be the maximum degree of $G$, let $t$ be the number of vertices of degree $k$, let $M(G)$ be the set of vertices of degree $k$, let $n$ be the number of vertices in the closed neighbourhood of $M(G)$, and let $m$ be the number of edges incident to vertices in $M(G)$. Fenech and the author showed that $λ(G) \leq \frac{n+(k-1)t}{2k}$, and they essentially showed that $λ(G) \leq n \left ( 1- \frac{k}{k+1} { \Big( \frac{n}{(k+1)t} \Big) }^{1/k} \right )$. They also showed that $λ_{\rm e}(G) \leq \frac{m + (k-1)t}{2k-1}$ and $λ_{\rm e} (G) \leq m \left ( 1- \frac{k-1}{k} { \Big( \frac{m}{kt} \Big) }^{1/(k-1)} \right )$. These bounds are attained if $k \geq 2$ and $G$ is the union of $t$ pairwise vertex-disjoint $(k+1)$-vertex stars. For each of $λ(G)$ and $λ_{\rm e}(G)$, the two bounds on the parameter are compared for the purpose of determining, for each bound, the cases in which the bound is better than the other. This work is also motivated by the likelihood that similar pairs of bounds will be discovered for other graph parameters and the same analysis can be applied.
Vertex distinction with subgraph centrality: a proof of Estrada's conjecture and some generalizations
Published in Linear Algebra Appl. 612 (2021), pp. 334-344
• View Publication
• BIB
Centrality measures are used in network science to identify the most important vertices for transmission of information and dynamics on a graph. One of these measures, introduced by Estrada and collaborators, is the $β$-subgraph centrality, which is based on the exponential of the matrix $βA$, where $A$ is the adjacency matrix of the graph and $β$ is a real parameter ("inverse temperature"). We prove that for algebraic $β$, two vertices with equal $β$-subgraph centrality are necessarily cospectral. We further show that two such vertices must have the same degree and eigenvector centralities. Our results settle a conjecture of Estrada and a generalization of it due to Kloster, Král and Sullivan. We also discuss possible extensions of our results.