packing edge-disjoint spanning trees in random geometric

42
Packing Edge-disjoint Spanning Trees in Random Geometric Graphs Jane Gao Monash University 6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs 6-11 November, 2016 Random Geometric Gra / 17

Upload: others

Post on 16-Oct-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

Packing Edge-disjoint Spanning Trees in RandomGeometric Graphs

Jane Gao

Monash University

6-11 November, 2016

Random Geometric Graphs and Their Applications to ComplexNetworks

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 1

/ 17

The STP number

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 2

/ 17

Trivial upper bounds

STP(G ) ≤ δ(G );

STP(G ) ≤ bm(G )/(n − 1)c.

Theorem (G., Perez-Gimenez and Sato ’14)

For any 0 ≤ m ≤(n2

), a.a.s.

STP(G (n,m)) = minδ,m/(n − 1),

whereδ = δ(G (n,m)).

We also determined A(G (n,m)).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 3

/ 17

Trivial upper bounds

STP(G ) ≤ δ(G );

STP(G ) ≤ bm(G )/(n − 1)c.

Theorem (G., Perez-Gimenez and Sato ’14)

For any 0 ≤ m ≤(n2

), a.a.s.

STP(G (n,m)) = minδ,m/(n − 1),

whereδ = δ(G (n,m)).

We also determined A(G (n,m)).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 3

/ 17

Trivial upper bounds

STP(G ) ≤ δ(G );

STP(G ) ≤ bm(G )/(n − 1)c.

Theorem (G., Perez-Gimenez and Sato ’14)

For any 0 ≤ m ≤(n2

), a.a.s.

STP(G (n,m)) = minδ,m/(n − 1),

whereδ = δ(G (n,m)).

We also determined A(G (n,m)).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 3

/ 17

Previously existing gap

Palmer and Spencer ’95 – the STP number for G (n,m) whereδ = O(1);

Catlin, Chen and Palmer ’93 – the STP number and the arboricitywhen m ≈ n4/3;

Chen, Li and Lian ’13 – the STP number for m ≤ (1.1/2)n log n.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 4

/ 17

Tools

Theorem (Tutte ’61, Nash-Williams ’61)

G contains k edge-disjoint spanning trees if and only if

m(P)

|P| − 1≥ k , ∀P.

STP(G ) = minP

m(P)

|P| − 1

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 5

/ 17

Tools

Theorem (Tutte ’61, Nash-Williams ’61)

G contains k edge-disjoint spanning trees if and only if

m(P)

|P| − 1≥ k , ∀P.

STP(G ) = minP

m(P)

|P| − 1

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 5

/ 17

Tools

Theorem (Tutte ’61, Nash-Williams ’61)

G contains k edge-disjoint spanning trees if and only if

m(P)

|P| − 1≥ k , ∀P.

STP(G ) = minP

m(P)

|P| − 1

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 5

/ 17

Random geometric graphs

1× 1 torus;

n vertices chosen uniformly from [0, 1]× [0, 1];

two vertices adjacent if their Euclidean distance is at most r ;

G (n; r).

STP(G (n; r))?

A(G (n; r))?

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 6

/ 17

Random geometric graphs

1× 1 torus;

n vertices chosen uniformly from [0, 1]× [0, 1];

two vertices adjacent if their Euclidean distance is at most r ;

G (n; r).

STP(G (n; r))?

A(G (n; r))?

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 6

/ 17

Nice properties of G (n,m) that helped:

Small sets of vertices induce sparse subgraphs;

Large set S has large ∂S .

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 7

/ 17

Nice properties of G (n,m) that helped:

Small sets of vertices induce sparse subgraphs;

Large set S has large ∂S .

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 7

/ 17

Nice properties of G (n,m) that helped:

Small sets of vertices induce sparse subgraphs;

Large set S has large ∂S .

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 7

/ 17

What’s different about G (n; r)?

Small cliques;

Small sets can induce “rather dense” subgraphs;

Large sets can have small ∂S .

We cannot reduce to simple partitions.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 8

/ 17

What’s different about G (n; r)?

Small cliques;

Small sets can induce “rather dense” subgraphs;

Large sets can have small ∂S .

We cannot reduce to simple partitions.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 8

/ 17

What’s different about G (n; r)?

Small cliques;

Small sets can induce “rather dense” subgraphs;

Large sets can have small ∂S .

We cannot reduce to simple partitions.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 8

/ 17

What’s different about G (n; r)?

Small cliques;

Small sets can induce “rather dense” subgraphs;

Large sets can have small ∂S .

We cannot reduce to simple partitions.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 8

/ 17

What’s different about G (n; r)?

Small cliques;

Small sets can induce “rather dense” subgraphs;

Large sets can have small ∂S .

We cannot reduce to simple partitions.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 8

/ 17

Main result

Let p(r) = πr2. Then du ∼ Binomial(n, p(r)). So the degree distributionof G (n; r) is almost the same as that of G (n, p(r)).

Theorem (G., Perez-Gimenez and Sato ’16+)

Assume ε0 > 0 is a sufficiently small constant. Then, for any r wherep(r) ≤ (1 + ε0) log n/n, a.a.s.

STP(G (n; r)) = δ.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 9

/ 17

Main result

Let p(r) = πr2. Then du ∼ Binomial(n, p(r)). So the degree distributionof G (n; r) is almost the same as that of G (n, p(r)).

Theorem (G., Perez-Gimenez and Sato ’16+)

Assume ε0 > 0 is a sufficiently small constant. Then, for any r wherep(r) ≤ (1 + ε0) log n/n, a.a.s.

STP(G (n; r)) = δ.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 9

/ 17

Connected partitions suffice

Connected partitions P:

Each part S ∈ P induces a connected subgraph;

If S1, S2 ∈ P and S1 ∪ S2 induces a clique then |S1||S2| = 1.

Lemma

Considering connected partitions suffices.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 10

/ 17

Connected partitions suffice

Connected partitions P:

Each part S ∈ P induces a connected subgraph;

If S1, S2 ∈ P and S1 ∪ S2 induces a clique then |S1||S2| = 1.

Lemma

Considering connected partitions suffices.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 10

/ 17

Subgraph induced by light vertices

Light vertices are those with degree ≤ 6δ.

Lemma

GL is a union of cliques; each clique is composed of a set of verticesinside a ball of radius r/4;

Every clique in GL has order at most 4δ;

All cliques in GL are pair-wise far apart.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 11

/ 17

Subgraph induced by light vertices

Light vertices are those with degree ≤ 6δ.

Lemma

GL is a union of cliques; each clique is composed of a set of verticesinside a ball of radius r/4;

Every clique in GL has order at most 4δ;

All cliques in GL are pair-wise far apart.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 11

/ 17

Subgraph induced by light vertices

Light vertices are those with degree ≤ 6δ.

Lemma

GL is a union of cliques; each clique is composed of a set of verticesinside a ball of radius r/4;

Every clique in GL has order at most 4δ;

All cliques in GL are pair-wise far apart.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 11

/ 17

Sensitive parts

F are parts in P containing only one vertex, and the vertex is light.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 12

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree;

If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ;

For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that

– True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree;

If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ;

For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that

– True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree;

If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ;

For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that

– True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree;

If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ;

For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that

– True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree; If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ;

For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that

– True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree; If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ; For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that

– True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

Necessary conditions for T (G ) = δ

No adjacent vertices both with minimum degree; If v has degree δ,all its neighbours have degree at least δ + 2.

No sets S with |∂S | < δ; For all but at most one S ∈ P \ F ,|∂S \ ∂F | ≥ 2δ for connected P.

No sets S such that – True!

S induces a clique;the average degree of vertices in S is less than δ + (|S | − 1)/2.

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 13

/ 17

STP(G (n; r)) = δ

F are parts in P containing only one vertex, and the vertex is light.

|∂F | ≥ δ|F |.

m(P) ≥ δ(|P| − 1).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 14

/ 17

STP(G (n; r)) = δ

F are parts in P containing only one vertex, and the vertex is light.

|∂F | ≥ δ|F |.

m(P) ≥ δ(|P| − 1).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 14

/ 17

STP(G (n; r)) = δ

F are parts in P containing only one vertex, and the vertex is light.

|∂F | ≥ δ|F |.

m(P) ≥ δ(|P| − 1).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 14

/ 17

STP(G (n; r)) = δ

F are parts in P containing only one vertex, and the vertex is light.

|∂F | ≥ δ|F |.

m(P) ≥ δ(|P| − 1).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 14

/ 17

STP(G (n; r)) = δ

F are parts in P containing only one vertex, and the vertex is light.

|∂F | ≥ δ|F |.m(P) ≥ δ(|P| − 1).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 14

/ 17

|∂S \ ∂F | ≥ 2δ

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 15

/ 17

When p(r) = Ω(log n/n).

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 16

/ 17

Open problems

Concentration of d(S)?

STP(G (n; r)) = bm/(n − 1)c, for r ≥ C√

log n/n?

STP(G (n; r)) = minδ, bm/(n − 1)c for any r?

A(G (n; r))?

Jane Gao Monash University Packing Edge-disjoint Spanning Trees in Random Geometric Graphs6-11 November, 2016 Random Geometric Graphs and Their Applications to Complex Networks 17

/ 17