scholarly journals Structure and Supersaturation for Intersecting Families

10.37236/7683 ◽  
2019 ◽  
Vol 26 (2) ◽  
Author(s):  
József Balogh ◽  
Shagnik Das ◽  
Hong Liu ◽  
Maryam Sharifzadeh ◽  
Tuan Tran
Keyword(s):  
Main Tool ◽  
Extremal Problems ◽  
Typical Structure ◽  
Combinatorial Objects ◽  
Minimum Number ◽  
Vertex Set ◽  
Intersecting Families ◽  
Almost All ◽  
Removal Lemma

The extremal problems regarding the maximum possible size of intersecting families of various combinatorial objects have been extensively studied. In this paper, we investigate supersaturation extensions, which in this context ask for the minimum number of disjoint pairs that must appear in families larger than the extremal threshold. We study the minimum number of disjoint pairs in families of permutations and in $k$-uniform set families, and determine the structure of the optimal families. Our main tool is a removal lemma for disjoint pairs. We also determine the typical structure of $k$-uniform set families without matchings of size $s$ when $n \ge 2sk + 38s^4$, and show that almost all $k$-uniform intersecting families on vertex set $[n]$ are trivial when $n\ge (2+o(1))k$.

scholarly journals Removal Lemmas with Polynomial Bounds

2019 ◽  
Author(s):  
Lior Gishboliner ◽  
Asaf Shapira
Keyword(s):  
Sufficient Conditions ◽  
Extremal Problems ◽  
Natural Question ◽  
Negative Results ◽  
Global Properties ◽  
Graph Properties ◽  
Graph Property ◽  
Almost All ◽  
Polynomial Bounds ◽  
Removal Lemma

Abstract A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One of the most celebrated results of this type is the Ruzsa–Szemerédi triangle removal lemma, which states that if a graph is $\varepsilon $-far from being triangle free, then most subsets of vertices of size $C(\varepsilon )$ are not triangle free. Unfortunately, the best known upper bound on $C(\varepsilon )$ is given by a tower-type function, and it is known that $C(\varepsilon )$ is not polynomial in $\varepsilon ^{-1}$. The triangle removal lemma has been extended to many other graph properties, and for some of them the corresponding function $C(\varepsilon )$ is polynomial. This raised the natural question, posed by Goldreich in 2005 and more recently by Alon and Fox, of characterizing the properties for which one can prove removal lemmas with polynomial bounds. Our main results in this paper are new sufficient and necessary criteria for guaranteeing that a graph property admits a removal lemma with a polynomial bound. Although both are simple combinatorial criteria, they imply almost all prior positive and negative results of this type. Moreover, our new sufficient conditions allow us to obtain polynomially bounded removal lemmas for many properties for which the previously known bounds were of tower type. In particular, we show that every semi-algebraic graph property admits a polynomially bounded removal lemma. This confirms a conjecture of Alon.

scholarly journals Cycle partitions of regular graphs

2020 ◽  
pp. 1-24
Author(s):  
Vytautas Gruslys ◽  
Shoham Letzter
Keyword(s):  
Regular Graph ◽  
Bipartite Graphs ◽  
Disjoint Paths ◽  
Regular Graphs ◽  
Simple Construction ◽  
Vertex Set ◽  
Almost All ◽  
Vertex Disjoint

Abstract Magnant and Martin conjectured that the vertex set of any d-regular graph G on n vertices can be partitioned into $n / (d+1)$ paths (there exists a simple construction showing that this bound would be best possible). We prove this conjecture when $d = \Omega(n)$ , improving a result of Han, who showed that in this range almost all vertices of G can be covered by $n / (d+1) + 1$ vertex-disjoint paths. In fact our proof gives a partition of V(G) into cycles. We also show that, if $d = \Omega(n)$ and G is bipartite, then V(G) can be partitioned into n/(2d) paths (this bound is tight for bipartite graphs).

Total k-rainbow reinforcement number in graphs

2020 ◽  
pp. 2050101
Author(s):  
L. Shahbazi ◽  
H. Abdollahzadeh Ahangar ◽  
R. Khoeilar ◽  
S. M. Sheikholeslami
Keyword(s):  
Open Neighborhood ◽  
Minimum Weight ◽  
Domination Number ◽  
The Family ◽  
Rainbow Domination ◽  
Minimum Number ◽  
Vertex Set ◽  
Isolated Vertex ◽  
Complete Bipartite Graphs ◽  
Dominating Function

Let [Formula: see text] be an integer, and let [Formula: see text] be a graph. A k-rainbow dominating function (or [Formula: see text]RDF) of [Formula: see text] is a function [Formula: see text] from the vertex set [Formula: see text] to the family of all subsets of [Formula: see text] such that for very [Formula: see text] with [Formula: see text], the condition [Formula: see text] is fulfilled, where [Formula: see text] is the open neighborhood of [Formula: see text]. The weight of a [Formula: see text]RDF [Formula: see text] of [Formula: see text] is the value [Formula: see text]. A k-rainbow dominating function [Formula: see text] in a graph with no isolated vertex is called a total k-rainbow dominating function if the subgraph of [Formula: see text] induced by the set [Formula: see text] has no isolated vertices. The total k-rainbow domination number of [Formula: see text], denoted by [Formula: see text], is the minimum weight of the total [Formula: see text]-rainbow dominating function on [Formula: see text]. The total k-rainbow reinforcement number of [Formula: see text], denoted by [Formula: see text], is the minimum number of edges that must be added to [Formula: see text] in order to decrease the total k-rainbow domination number. In this paper, we investigate the properties of total [Formula: see text]-rainbow reinforcement number in graphs. In particular, we present some sharp bounds for [Formula: see text] and we determine the total [Formula: see text]-rainbow reinforcement number of some classes of graphs including paths, cycles and complete bipartite graphs.

scholarly journals The Minimum Number of Edges in Uniform Hypergraphs with Property O

2017 ◽  
Vol 27 (4) ◽  
pp. 531-538 ◽  
Author(s):  
DWIGHT DUFFUS ◽  
BILL KAY ◽  
VOJTĚCH RÖDL
Keyword(s):  
Linear Order ◽  
Uniform Hypergraph ◽  
Uniform Hypergraphs ◽  
Minimum Number ◽  
Vertex Set

An oriented k-uniform hypergraph (a family of ordered k-sets) has the ordering property (or Property O) if, for every linear order of the vertex set, there is some edge oriented consistently with the linear order. We find bounds on the minimum number of edges in a hypergraph with Property O.

Rainbow reinforcement numbers in digraphs

2017 ◽  
Vol 10 (01) ◽  
pp. 1750004 ◽  
Author(s):  
R. Khoeilar ◽  
S. M. Sheikholeslami
Keyword(s):  
Minimum Weight ◽  
Domination Number ◽  
Sharp Bounds ◽  
Rainbow Domination ◽  
Minimum Number ◽  
Vertex Set ◽  
Number Formula ◽  
Dominating Function

Let [Formula: see text] be a finite and simple digraph. A [Formula: see text]-rainbow dominating function ([Formula: see text]RDF) of a digraph [Formula: see text] is a function [Formula: see text] from the vertex set [Formula: see text] to the set of all subsets of the set [Formula: see text] such that for any vertex [Formula: see text] with [Formula: see text] the condition [Formula: see text] is fulfilled, where [Formula: see text] is the set of in-neighbors of [Formula: see text]. The weight of a [Formula: see text]RDF [Formula: see text] is the value [Formula: see text]. The [Formula: see text]-rainbow domination number of a digraph [Formula: see text], denoted by [Formula: see text], is the minimum weight of a [Formula: see text]RDF of [Formula: see text]. The [Formula: see text]-rainbow reinforcement number [Formula: see text] of a digraph [Formula: see text] is the minimum number of arcs that must be added to [Formula: see text] in order to decrease the [Formula: see text]-rainbow domination number. In this paper, we initiate the study of [Formula: see text]-rainbow reinforcement number in digraphs and we present some sharp bounds for [Formula: see text]. In particular, we determine the [Formula: see text]-rainbow reinforcement number of some classes of digraphs.

A two dimensional lattice of knots by C2m-moves

2013 ◽  
Vol 155 (1) ◽  
pp. 39-46 ◽  
Author(s):  
SUMIKO HORIUCHI ◽  
YOSHIYUKI OHYAMA
Keyword(s):  
Shortest Path ◽  
Finite Sequence ◽  
Two Dimensional ◽  
Dimensional Lattice ◽  
Vassiliev Invariants ◽  
Minimum Number ◽  
Vertex Set ◽  
Lattice Graph

AbstractWe consider a local move on a knot diagram, where we denote the local move by λ. If two knots K1 and K2 are transformed into each other by a finite sequence of λ-moves, the λ-distance between K1 and K2 is the minimum number of times of λ-moves needed to transform K1 into K2. A λ-distance satisfies the axioms of distance. A two dimensional lattice of knots by λ-moves is the two dimensional lattice graph which satisfies the following: the vertex set consists of oriented knots and for any two vertices K1 and K2, the distance on the graph from K1 to K2 coincides with the λ-distance between K1 and K2, where the distance on the graph means the number of edges of the shortest path which connects the two knots. Local moves called Cn-moves are closely related to Vassiliev invariants. In this paper, we show that for any given knot K, there is a two dimensional lattice of knots by C2m-moves with the vertex K.

scholarly journals REPARTITORS, SELECTORS AND SUPERSELECTORS

2006 ◽  
Vol 07 (03) ◽  
pp. 391-415 ◽  
Author(s):  
FRÉDÉRIC HAVET
Keyword(s):  
Lower Bounds ◽  
Disjoint Paths ◽  
Edge Disjoint ◽  
Minimum Number ◽  
Vertex Set ◽  
Optimal Networks

An (n, p, f)-network G is a graph (V, E) where the vertex set V is partitioned into four subsets [Formula: see text] and [Formula: see text] called respectively the priorities, the ordinary inputs, the outputs and the switches, satisfying the following constraints: there are p priorities, n - p ordinary inputs and n + f outputs; each priority, each ordinary input and each output is connected to exactly one switch; switches have degree at most 4. An (n, p, f)-network is an (n, p, f)-repartitor if for any disjoint subsets [Formula: see text] and [Formula: see text] of [Formula: see text] with [Formula: see text] and [Formula: see text], there exist in G, n edge-disjoint paths, p of them from [Formula: see text] to [Formula: see text] and the n - p others joining [Formula: see text] to [Formula: see text]. The problem is to determine the minimum number R(n, p, f) of switches of an (n, p, f)-repartitor and to construct a repartitor with the smallest number of switches. In this paper, we show how to build general repartitors from (n, 0, f)-repartitors also called (n, n + f)-selectors. We then consrtuct selectors using more powerful networks called superselectors. An (n, 0, 0)-network is an n-superselector if for any subsets [Formula: see text] and [Formula: see text] with [Formula: see text], there exist in G, [Formula: see text] edge-disjoint paths joining [Formula: see text] to [Formula: see text]. We show that the minimum number of switches of an n-superselector S+ (n) is at most 17n + O(log(n)). We then deduce that [Formula: see text] if [Formula: see text], R(n, p, f) ≤ 18n + 34f + O( log (n + f)), if [Formula: see text] and [Formula: see text] if [Formula: see text]. Finally, we give lower bounds for R(n, 0, f) and S+ (n) and show optimal networks for small value of n.

scholarly journals Extremal Problems for $t$-Partite and $t$-Colorable Hypergraphs

10.37236/750 ◽  
2008 ◽  
Vol 15 (1) ◽  
Author(s):  
Dhruv Mubayi ◽  
John Talbot
Keyword(s):  
Main Tool ◽  
Extremal Problems ◽  
Uniform Hypergraph ◽  
Uniform Hypergraphs

Fix integers $t \ge r \ge 2$ and an $r$-uniform hypergraph $F$. We prove that the maximum number of edges in a $t$-partite $r$-uniform hypergraph on $n$ vertices that contains no copy of $F$ is $c_{t, F}{n \choose r} +o(n^r)$, where $c_{t, F}$ can be determined by a finite computation. We explicitly define a sequence $F_1, F_2, \ldots$ of $r$-uniform hypergraphs, and prove that the maximum number of edges in a $t$-chromatic $r$-uniform hypergraph on $n$ vertices containing no copy of $F_i$ is $\alpha_{t,r,i}{n \choose r} +o(n^r)$, where $\alpha_{t,r,i}$ can be determined by a finite computation for each $i\ge 1$. In several cases, $\alpha_{t,r,i}$ is irrational. The main tool used in the proofs is the Lagrangian of a hypergraph.

Sign in / Sign up

Export Citation Format

Share Document