1

Cut & Join Operator Ring in Rainbow(Aristotelian) Tensor Model

H. I., A. Mironov, A. Morozov,• arXiv: 1703.04983, PLB, IMM4• arXiv: 1704.08648, JHEP, IMM5• arXiv: 1710.10027, IMM6I) Introduction

� ordinary tensor v.s. rainbow tensorthe former associated with symmetry group

while the latter

•

•

2

� some notation

�motivation

• originally from 3d quantum gravity

• currently from lower dimensional AdSd+1/CFTd, d=1

• In this work, we focus on combinatorial aspects & operator ring structure

of the model, ignoring “t” dependence:

David, Kazakov-Kostov-Migdal,Ambjorn-Durhuns-Jonsson, Sasakura,…

cf. BPIZ in the case of matrices

Witten

•

•

•

3

� r=2: rectangular complex matrix (RCM) model• single trace operators serve as the bases

for the generating function

• resolvent fn. helps

• no known generalization to tensors

� ramification of models

H.I.-Y.Matsuo,Mironov-Morozov

omitted from now on

• space of singlet correlators is fully controlled by the Virasoro constraints:

associated with

• IMM4

4

Rest of the contents

II) Several steps in QFT & r=3 CJ ring (punchline)

III) Labelling operators in terms of symmetric group & gauge choices

IV) Size of the (symmetrized) double cosets

V) Level by level analysis of operators and the CJ ring

5

� several steps in QFT of this kindII)

symmetry, the field content, designation of invariant operators, an action & a

clever choice of the generating function, the gaussian phase and the

correlators, the W-T identities or recursion relations, transition to non-gaussian

phases, …

�more on RCM just by inspection,

In fact,

• at level m, the enumeration of inv. op. is designated by the Young

diagrams the partitions of conjugacy classes of the symmetric group

6

• the index function: just the Dedekind function

write as

plethystic exponential

diagrams are for operators and not Feynman diagrams

• at each level, 1 connected op.

7

• Virasoro constraints:

1st & 2nd

3rd …

note

: deformation of the action join operation

: from the response of the measure cut operation

: line element volume element

is sufficient for the evaluation of the latter.

• In operator form, they are Ward identities/recursion rel.

associated with Action being

fully expressible through cut & join structure of the operator ring

8

Here, : cut

: join

and r=2, but their forms are immediately generalized to the rank r case.

• recall

• the action of cut & join:

• space of gauge inv. operators

is generated by addition & multiplication of

is a graded ring

• with the help of join it is generated by the single operator ,

which we call keystone operator

m=1

m=2

m=m1+m2-1

9

� punchline of CJ ring for r=3• The basic form and those of stay the same.

• how to provide bases which give no redundant time variables.

•

we just provide theoretical data for

appropriate language(s) for

join

cut keystones

• picture coming out from our data taking in what follows:

our pet operator 3wheel satisfiese.g.

10

� brief summary on the symmetric group kindergarten:

•

•

•

•

hence by Young diagram

III)

post kindergarten:

•

•

•

group algebra (class operator)

11

12

level 1: simple &trivial

level 2:

gauge-invariant

level m:

Such description is, however, largely redundant.

� “gauge invariant” operators

13

� description of gauge invariant operators

•

• The space of operators is a double coset

The coset is obtained through the equivalence relation of the triple

by common left and right multiplications:

explicit parametrization of this double coset needed

14

� orbits of • “would be” symmetry of coloring permutations

helps to make our counting look closest to that in r=2

In the RG gauge,

� our choice of the gauge•

• We call RG gauge. It was introduced/discovered in IMM5as it corresponds with diagrams(not Feynman) of red-green cycles withvertices connected by blue lines.

• “quantum numbers” are

•

15

IV)

� index functions

first, need a description of the operators themselves

the number of independent operators at each level is defined by

� summary for r=3 casei)

ii)

iii)

iv) Geloun, Ramgoolam, arXiv:1307.6490

•

16

� outline of our derivation by the use of (non-)Burns ide lemma

the lemma:

•

•

•

•

Let be a conjugacy class

(non-)Burnside

17

• index function factorizes:

and

18

� symmetrization w. r. t. coloringagain count on (non-)Burnside

the rest omitted

19

V)

� level • operators:

• cut & join:

• distinguish operators

• by the join pyramids

• by the image of the cut

• characterize them

• by diagrams (not Feynman)

• as elements of in the RG gauge

acts as a dilatation (grading) operator

20

� level • operators:

• cut & join: the joins of a pair of m=2 give m=3

4 ordered admissible triples1:1

2 orbits 2 unordered admissible triples1:1

• the cut has a kernel: in fact

21

� level • operators: • 4 disconnected ones

7 connected• 11 in total

5 orbits 3 orbits

• 1:1 UAT

& 7 connected ones

22

• cut & join:

The kernel is 7 dimensional:

23

� level

• new phenomenon:

• operator: 26 connected• 43 in total

15 orbits 8 orbits

6 new types of connected ones, in addition to

24

• cut & join:

• we have done

one consequence is

25

� level • operator: 97 connected• 161 in total

44 orbits 24 orbits

on the other hand,

we have drawn all of 24 in IMM6

24 = 17 (one RG circle) + 7 (two RG circles)

18 = 12 + 6#(UAT) = 34

([5],[3],[5]), ([5],[32],[4]), ([5],[4],[4]) doubly degenerate

([5],[5],[5]) triply degenerate

([4],[3],[32]) doubly degenerate

one method to reveal this: study transt. as in

• cut & join: we did not do

e.g.

detected

26

� punchline of CJ ring for r=3• The basic form and those of stay the same.

• how to provide bases which give no redundant time variables.

•

we just provide theoretical data for

appropriate language(s) for

join

cut keystones

• picture coming out from our data taking in what follows:

our pet operator 3wheel satisfiese.g.