Graph operator systems generated by a projection - *-6pt

19
Graph operator systems generated by a projection Rupert Levene University College Dublin Joint work with Polona Oblak and Helena Šmigoc arXiv: 2012.12694 and 2103.04587 Canadian Operator Symposium May 2021 1 / 16

Transcript of Graph operator systems generated by a projection - *-6pt

Page 1: Graph operator systems generated by a projection - *-6pt

Graph operator systems generated by a projection

Rupert LeveneUniversity College Dublin

Joint work with Polona Oblak and Helena ŠmigocarXiv: 2012.12694 and 2103.04587

Canadian Operator SymposiumMay 2021

1 / 16

Page 2: Graph operator systems generated by a projection - *-6pt

Graph operator systems

Let Γ be a connected graph with vertex set {1, 2, . . . , n}.

Graph operator system of Γ:

S(Γ)

R(Γ) ⊆ S(Γ)

X ∈ R(Γ) ⇐⇒ ⟨X,Dn⟩ = S(Γ), as a Dn‐bimodule.

Question

For which graphs Γ doesR(Γ) contain a projection?

2 / 16

Page 3: Graph operator systems generated by a projection - *-6pt

Some simple reformulations

Proposition

TFAE:1. R(Γ) contains a projection;2. R(Γ) contains a Hermitian unitary;3. R(Γ) contains a normal matrix with at most two distinct eigenvalues.

3 / 16

Page 4: Graph operator systems generated by a projection - *-6pt

Paths

Proposition (folklore)

If X ∈ R(Pn) is normal, then X has n distinct eigenvalues.In particular, if n ≥ 3, thenR(Pn) is projectionless.

4 / 16

Page 5: Graph operator systems generated by a projection - *-6pt

Unique shortest path obstruction

Proposition (Fallat et al. 2013)

If distΓ(i, j) ≥ 2 and this is attained by a unique path inΓ, thenR(Γ) is projectionless.

Example

If Γ has a cut edge and at least 3 vertices, thenR(Γ) is projectionless.

5 / 16

Page 6: Graph operator systems generated by a projection - *-6pt

The join of two graphs

Let G,H be any graphs (possibly disconnected).

The join G ∨ H is connected and usually lacks the unique shortest path obstruction.

Theorem (Monfared‐Shader 2016)

If G and H are connected graphs with |G| = |H|, thenR(G ∨ H) contains a projection.

6 / 16

Page 7: Graph operator systems generated by a projection - *-6pt

Necessary condition (connected G,H)Write σ′(X) = σ(X) \ {0, 1}.

Proposition (L‐Oblak‐Šmigoc 2020)

If G and H are connected andR(G ∨ H) contains a projection, then there exist positivesemidefinite contractions A ∈ R(G) and C ∈ R(H) so that ∅ ̸= σ′(A) = σ′(C).

7 / 16

Page 8: Graph operator systems generated by a projection - *-6pt
Page 9: Graph operator systems generated by a projection - *-6pt

Necessary condition (arbitrary G,H)Theorem (L‐Oblak‐Šmigoc 2020)

If G =⋃Gi and H =

⋃Hj where Gi,Hj are connected, andR(G ∨ H) contains a projection,

then there exist positive semidefinite contractions A ∈ R(G) and C ∈ R(H) so that1. σ′(A) = σ′(C) (countingmultiplicities); and2. ∅ ̸= σ′(Ai) ∩ σ′(Cj) for all i, j, where A =

⊕Ai and C =

⊕Cj.

Say G and H are compatible when such A ∈ R(G), C ∈ R(H) exist.

8 / 16

Page 10: Graph operator systems generated by a projection - *-6pt

Example

R(3K1 ∨ 2K2) is projectionless.

9 / 16

Page 11: Graph operator systems generated by a projection - *-6pt

Converse for complete/path components

Theorem (L‐Oblak‐Šmigoc 2020, 2021)

If G =⋃

i Gi and H =⋃

j Hj where each Gi,Hj is either a complete graph or a path, thenR(G ∨ H) contains a projection if and only if G and H are compatible.

10 / 16

Page 12: Graph operator systems generated by a projection - *-6pt

Example

▶ R(2K1 ∨ 2K2)

▶ R(3K1 ∨ 2K2)

▶ R(4K1 ∨ 2K2)

11 / 16

Page 13: Graph operator systems generated by a projection - *-6pt

Complete/path components as extreme cases

Theorem (L‐Oblak‐Šmigoc 2020, 2021)

Suppose G =⋃

i Gi and H =⋃

j Hj where Gi,Hj are connected.

1. Let KG =⋃

i K|Gi| and KH =⋃

j K|Hj|.IfR(KG ∨ KH) is projectionless, then so isR(G ∨ H).

2. Let PG =⋃

i P|Gi| and PH =⋃

j P|Hj|.IfR(PG ∨ PH) contains a projection, then so doesR(G ∨ H).

12 / 16

Page 14: Graph operator systems generated by a projection - *-6pt

Theorem (L‐Oblak‐Šmigoc 2020, 2021)

Suppose G =⋃

i Gi and H =⋃

j Hj where Gi,Hj are connected.

2. Let PG =⋃

i P|Gi| and PH =⋃

j P|Hj|.IfR(PG ∨ PH) contains a projection, then so doesR(G ∨ H).

Corollary (generalizedMonfared‐Shader)

If G andH are connectedwith∣∣|G| − |H|

∣∣ ≤ 2, thenR(G∨H) contains a projection, and thisinequality is sharp.

13 / 16

Page 15: Graph operator systems generated by a projection - *-6pt

Complete components: combinatorial characterisation

Theorem (LOS 2020)

Suppose k ≤ ℓ and

G =k⋃i=1

Kni, H =ℓ⋃j=1

Kmj,

ι(G) := |{i : ni = 1}|, ι(H) := |{j : mj = 1}|.The following are equivalent:

1. R(G ∨ H) is projectionless;

2. at least one of the following three conditions holds:▶ |G| < ℓ;▶ ι(G) > 0 and k+ ℓ > min{|G|+ ι(G), |H|+ ι(H)};▶ ι(G) = 0 and ι(H) > 0, and k < ℓ < 2k and |H| < 2k and |G| < k+ ℓ.

ProblemCharacterise compatibility for unions of paths.

14 / 16

Page 16: Graph operator systems generated by a projection - *-6pt

Generic realisability

15 / 16

Page 17: Graph operator systems generated by a projection - *-6pt

Questions

▶ Does it make any difference if we work over R or C?

▶ Is compatibility sufficient forR(G ∨ H) to contain a projection?

▶ There is a combinatorial characterisation of compatibility for two unions of completegraphs [LOS 2020]. What about unions of paths?

▶ If Γ is not a join (i.e., its complement is connected) and does not have the uniqueshortest path obstruction, can we determine whetherR(Γ) contains a projection?

16 / 16

Page 18: Graph operator systems generated by a projection - *-6pt

Thank you!

Page 19: Graph operator systems generated by a projection - *-6pt