Counting colored maps:
algebraicity results
ArXiv: 0909.1695
Olivier Bernardi, MIT
Joint work with Mireille Bousquet-Mélou
IHP 2009
IHP 2009
Olivier Bernardi – p.1/25
Outline
1. Potts polynomial.
2. Functional equation for Potts model (easy part).
3. Solving equations (hard part).
4. Results and open questions.
IHP 2009
Olivier Bernardi – p.2/25
Potts polynomial
IHP 2009
Olivier Bernardi – p.3/25
Potts model
A q-coloring of G = (V, E) is a function c : V 7→ {1, 2, . . . , q}.
m(c) = 2
An edge is monochromatic if its endpoints have the same color.
IHP 2009
▽Olivier Bernardi – p.4/25
Potts model
A q-coloring of G = (V, E) is a function c : V 7→ {1, 2, . . . , q}.
m(c) = 2
The Potts polynomial (partition function of the Potts model)
X
is
PG (q, u) =
um(c) ,
c:V 7→[q]
where m(c) is the number of monochromatic edges.
IHP 2009
▽Olivier Bernardi – p.4/25
Potts model
A q-coloring of G = (V, E) is a function c : V 7→ {1, 2, . . . , q}.
m(c) = 2
The Potts polynomial (partition function of the Potts model)
X
is
PG (q, u) =
um(c) ,
c:V 7→[q]
where m(c) is the number of monochromatic edges.
Remark: The chromatic polynomial PG (q, 0) counts proper
colorings.
IHP 2009
Olivier Bernardi – p.4/25
Potts polynomial
Fact: The Potts polynomial PG (q, u) =
polynomial in q, u satisfying :
m(c)
u
, is a
c:V 7→[q]
P
PG (q, u) = PG\e (q, u) + (u − 1) PG/e (q, u).
Deletion
G\e
G
e
Contraction
IHP 2009
G/e
Olivier Bernardi – p.5/25
Potts polynomial
Fact: [Fortuin and Kastelein 72]
The Potts polynomial and Tutte polynomial are equivalent.
IHP 2009
▽Olivier Bernardi – p.6/25
Potts polynomial
Fact: [Fortuin and Kastelein 72]
The Potts polynomial and Tutte polynomial are equivalent.
X
m(c)
u
=
c:V 7→[q]
X
c:V 7→[q]
=
X
c:V 7→[q]
=
X
S⊆E
=
X
S⊆E
Y
(i,j)∈E
X
S⊆E
X
c:V 7→[q]
(1 + δ(ci , cj )(u − 1))
Y
(i,j)∈S
Y
(i,j)∈S
δ(ci , cj )(u − 1)
δ(ci , cj )(u − 1)
q k(S) (u − 1)|S|
where k(S) is the number of connected components.
IHP 2009
▽Olivier Bernardi – p.6/25
Potts polynomial
Fact: [Fortuin and Kastelein 72]
The Potts polynomial and Tutte polynomial are equivalent.
Remarks:
• The Potts model of a planar graph G and of its dual graph
∗
G are related (by PG∗ (q, u) =
(u−1)e(G)
PG (q, 1
q v(G)−1
+ q/(u − 1))).
• the Potts polynomial can be specialized to count various
structures: spanning trees, forests, connected subgraphs,
acyclic orientations, score vectors, bipolar orientations,
sandpile configurations...
IHP 2009
Olivier Bernardi – p.6/25
Maps
A planar map is an embedding of a connected planar graph
in the sphere, considered up to continuous deformation.
=
6=
(I indicate the rooting by pointing a corner)
IHP 2009
Olivier Bernardi – p.7/25
Potts model on Maps
The partition function of the (annealed) Potts model on
maps is
X
G(q, u, z) =
PM (q, u)z |M | .
M map
Phase transitions can be characterized by analyzing the
singularities of G(q, u, z).
IHP 2009
▽Olivier Bernardi – p.8/25
Potts model on Maps
The partition function of the (annealed) Potts model on
maps is
X
G(q, u, z) =
PM (q, u)z |M | .
M map
Remark: The series G(q, u, z) contains (as specializations)
• the GF of maps G(1, 1, z),
• the GF of properly q-colored maps G(q, 0, z),
• the GF of tree-rooted maps (spanning trees),
• the GF of Baxter numbers (bipolar orientations),...
IHP 2009
▽Olivier Bernardi – p.8/25
Potts model on Maps
The partition function of the (annealed) Potts model on
maps is
X
G(q, u, z) =
PM (q, u)z |M | .
M map
Question: For which values of q, u is G(q, u, z) algebraic ?
(meaning P (G(q, u, z), z) = 0 for a polynomial P 6= 0)
IHP 2009
▽Olivier Bernardi – p.8/25
Potts model on Maps
The partition function of the (annealed) Potts model on
maps is
X
G(q, u, z) =
PM (q, u)z |M | .
M map
Question: For which values of q, u is G(q, u, z) algebraic ?
Known:
• GF of maps is algebraic [Tutte].
• GF of tree-rooted maps or Baxter numbers are not algebraic.
• GF of properly colored triangulation T (q, 0, z) is algebraic
for q = 2 + 2 cos(2π/m) [Tutte / Richmond, Odlyzko 83].
• Results in [Bonnet, Eynard 99] suggests that T (q, u, z) is
algebraic for q = 2 + 2 cos(kπ/m).
IHP 2009
▽Olivier Bernardi – p.8/25
Potts model on Maps
The partition function of the (annealed) Potts model on
maps is
X
G(q, u, z) =
PM (q, u)z |M | .
M map
Question: For which values of q, u is G(q, u, z) algebraic ?
Thm [B., MBM]: The GF G(q, u, z) of the Potts model on
planar maps is algebraic for q 6= 0, 4 of the form
q = 2 + 2 cos(kπ/m).
The same is true for the GF concerning triangulations.
√
√
Examples: q = 1, 2, 3, 2 + 2, 2 + 3...
IHP 2009
Olivier Bernardi – p.8/25
Functional equations for colored maps
(a.k.a. loop equations)
IHP 2009
Olivier Bernardi – p.9/25
Generatingfunctionology
Class A (+size function)
→ Generating function
X
X
|A|
A(z) =
z
=
an z n .
A∈A
n≥0
Recursive description of A → Equation for A(z)
IHP 2009
▽Olivier Bernardi – p.10/25
Generatingfunctionology
Class A (+size function)
→ Generating function
X
X
|A|
A(z) =
z
=
an z n .
A∈A
n≥0
Recursive description of A → Equation for A(z)
Combinatorial description
→ generating function
Disjoint union C = A ⊎ B
→ C(z) = A(z) + B(z)
Cartesian product C = A × B → C(z) = A(z) × B(z)
1
Sequence
C = Seq(A) → C(z) =
1 − A(z)
...
...
IHP 2009
Olivier Bernardi – p.10/25
Example: plane trees
Generating function of rooted plane trees: A(z) =
X
an z n .
n
=
⊎
→ A(z) = 1 + zA(z)2 .
IHP 2009
▽Olivier Bernardi – p.11/25
Example: plane trees
Generating function of rooted plane trees: A(z) =
X
an z n .
n
=
⊎
→ A(z) = 1 + zA(z)2 .
The GF of plane trees is algebraic !
More generally, classes of trees defined by (finite) degree
constraints are algebraic.
IHP 2009
Olivier Bernardi – p.11/25
Recursive description for maps [Tutte 63]
G(z) =
X
z e(M ) .
M ∈M
=
IHP 2009
+
+
▽Olivier Bernardi – p.12/25
Recursive description for maps [Tutte 63]
G(z) =
X
z e(M ) .
M ∈M
=
+
+
G(z) = 1 +
IHP 2009
▽Olivier Bernardi – p.12/25
Recursive description for maps [Tutte 63]
G(z) =
X
z e(M ) .
M ∈M
=
+
+
G(z) = 1 + zG(z)2 +
IHP 2009
▽Olivier Bernardi – p.12/25
Recursive description for maps [Tutte 63]
G(z) =
X
z e(M ) .
M ∈M
=
+
+
G(z) = 1 + zG(z)2 + ?
We are forced to take the degree of the root-face df into
account.
IHP 2009
▽Olivier Bernardi – p.12/25
Recursive description for maps [Tutte 63]
G(x, z) =
X
xdf (M ) z e(M ) .
M ∈M
=
+
G(y, z) = 1 + y 2 zG(y, z)2 + yz
IHP 2009
+
yG(y, z) − G(1, z)
.
y−1
A small map M corresponds to from df (M ) + 1 big maps
k+1
x
−1
k n−1
n
k+1 n
n
x z
; xz + . . . + x z = xz
x−1
!
▽Olivier Bernardi – p.12/25
Recursive description for maps [Tutte 63]
G(x, z) =
X
xdf (M ) z e(M ) .
M ∈M
=
+
+
Remarks:
• To describe maps by root-deletion we were forced to
record the root-face degree.
• To describe maps by root-contraction we would be forced
to record the root-vertex degree.
IHP 2009
Olivier Bernardi – p.12/25
Equation for Potts model on maps [Tutte 71]
G(x, y) ≡
=
IHP 2009
+
X
x
df (M ) dv(M ) e(M ) PM (q, u)
y
z
q
M ∈M
+
.
+
▽Olivier Bernardi – p.13/25
Equation for Potts model on maps [Tutte 71]
G(x, y) ≡
=
+
X
x
df (M ) dv(M ) e(M ) PM (q, u)
y
z
q
M ∈M
+
.
+
G(x, y) =
2
2
1 + (q−1+u)x
yzG(x,
y)G(x,
1)
+
uxy
zG(x, y)G(1, y)
xG(x,y)−G(1,y)
+ xyz
− xyzG(x, y)G(1, y)
x−1
− xyzG(x, y)G(x, 1) .
+(u−1) xyz xG(x,y)−G(x,1)
y−1
IHP 2009
Olivier Bernardi – p.13/25
Other equations
Properly colored triangulations [Tutte 73]:
T(x, y) = (q − 1)y + xyzT(x, y)T(x, 1) + yz
T(x, y) − T(x, 1)
T(x, y) − T(0, y)
− xy 2 z
.
x
y−1
Potts model on cubic maps [Eynard, Bonnet 99]:
T(x, y) − T0 (x)
T(x, y) − T0 (y)
−
+ (u − 1)z(xT0 (x) − yT0 (y))T(x, y)
x
y
„
«
T(x, y) − T0 (x) − yT1 (x)
T(x, y) − T0 (y) − xT1 (xy)
= (u − 1)z
−
.
y2
x2
Alternatively, Potts model on triangulations [B., MBM]:
T(x, y) = 1 + x2 z(q + u − 1)T(x, y)T(x, 0)
T(x, y)
` + uxz (T2 (y) + 2 yT1 (y))
´
z T(x, y) − 1 − xT1 (y) − x2 T(x, y)T2 (y)
+yz (T(x, y) − 1 − xT1 (y)T(x, y)) +
x
2
2
xz (u − 1) (T(x, y) − T(x, 0))
x z (u − 1) yuT(x, y)T(x, 0)
+
.
+
1 − yuz
(1 − yuz) y
There exists equations for Potts model on p-angulations for
any p [B., MBM].
IHP 2009
Olivier Bernardi – p.14/25
Solving functional equations
IHP 2009
Olivier Bernardi – p.15/25
Functional vs algebraic equations
2
2
G(y, z) = 1 + y zG(y, z) + yz
yG(y, z) − G(1, z)
.
y−1
The functional equation (with catalytic variable x)
• determines G(x, z) and G(1, z) uniquely,
• does not directly give access to asymptotic.
IHP 2009
▽Olivier Bernardi – p.16/25
Functional vs algebraic equations
2
2
G(y, z) = 1 + y zG(y, z) + yz
yG(y, z) − G(1, z)
.
y−1
The functional equation (with catalytic variable x)
• determines G(x, z) and G(1, z) uniquely,
• does not directly give access to asymptotic.
By contrast, asymptotic informations can be deduced
almost automatically from the algebraic equation
1 − 16z + (18z − 1)G − 27z 2 G2 = 0.
satisfied by G ≡ G(1, z).
IHP 2009
Olivier Bernardi – p.16/25
Equations with 1 catalytic variable
2
2
G(x, z) = 1 + x zG(x, z) + xz
xG(x, z) − G(1, z)
.
x−1
Linear case: Kernel method [Knuth 68,. . .]
Quadratic case (1 unknown function): Quadratic method
[Tutte,Brown 65]
General case: P (F (x, z), F1 (z), .., Fk (z), x, z) = 0
[MBM & Jehanne 06]
IHP 2009
▽Olivier Bernardi – p.17/25
Equations with 1 catalytic variable
Thm [MBM & Jehanne 06]: Suppose that the series
F (x, z), F1 (z), .., Fk (z) are related by
Pol(F (x, z), ∆1 (F ), . . . , ∆k (F ), x, z) = 0,
where
!
j−1
X (x − a)i F (i) (a)
∆j = (x − a)−j F (x, z) −
.
i!
i=0
Then, the series F (x, z), F1 (z), .., Fk (z) are algebraic.
(+general strategy for obtaining the equation.)
IHP 2009
▽Olivier Bernardi – p.17/25
Equations with 1 catalytic variable
Thm [MBM & Jehanne 06]: Suppose that the series
F (x, z), F1 (z), .., Fk (z) are related by
Pol(F (x, z), ∆1 (F ), . . . , ∆k (F ), x, z) = 0,
where
!
j−1
X (x − a)i F (i) (a)
∆j = (x − a)−j F (x, z) −
.
i!
i=0
Then, the series F (x, z), F1 (z), .., Fk (z) are algebraic.
(+general strategy for obtaining the equation.)
⇒ Any class of maps defined by degree constraints
is algebraic.
IHP 2009
Olivier Bernardi – p.17/25
Equations with 1 catalytic variable
One starts with P (F (x, z), F1 (z), .., Fk (z), x, z) = 0.
Method [MBM-Jehanne 06]:
1. Search (find) k series X1 (z), . . . , Xk (z) such that
PF′ (F (Xi (z), z), F1 (z), .., Fk (z), Xi (z), z) = 0.
2. These series then also satisfy:
Px′ (F (Xi (z), z), F1 (z), .., Fk (z), Xi (z), z) = 0.
3. This is a system of 3k polynomial equations for 3k
unknowns F (Xi (z), z), Xi (z), Fi (z), i = 1 . . . k.
The system can be solved by resultants or Groebner basis
techniques.
IHP 2009
Olivier Bernardi – p.18/25
Equations with 2 catalytic variables
T(x, y) = q(q−1)yz +
xy
T(x, y) − T(0, y)
T(x, y) − T(x, 1)
.
T(x, y)T(x, 1) + yz
− xy 2 z
q
x
y−1
Linear case: Obstinate kernel methods [MBM & Petkovsek 03]
Polynomial case: [Tutte] (unique example)
The proof is long !
[Tutte 73] Chromatic sums for rooted planar triangulations: the cases λ = 1 and λ = 2.
[Tutte 73] Chromatic sums for rooted planar triangulations, II: the case λ = τ + 1.
[Tutte 73] Chromatic sums for rooted planar triangulations, III: the case λ = 3.
[Tutte 73] Chromatic sums for rooted planar triangulations, IV: the case λ = ∞.
[Tutte 74] Chromatic sums for rooted planar triangulations, V: special equations.
[Tutte 78] On a pair of functional equations of combinatorial interest.
[Tutte 82] Chromatic solutions.
[Tutte 82] Chromatic solutions II.
[Tutte 84] Map-colourings and differential equations.
IHP 2009
▽Olivier Bernardi – p.19/25
Equations with 2 catalytic variables
T(x, y) = q(q−1)yz +
xy
T(x, y) − T(0, y)
T(x, y) − T(x, 1)
.
T(x, y)T(x, 1) + yz
− xy 2 z
q
x
y−1
Linear case: Obstinate kernel methods [MBM & Petkovsek 03]
Polynomial case: [Tutte] (unique example)
Synthesis article : [Tutte: Chromatic sums revisited 95]
From Physics literature:
Potts model and O(n) model on triangulations
[Eynard, Zinn-Justin 92, Eynard, Kristjansen 95, Bonnet, Eynard 99]
IHP 2009
Olivier Bernardi – p.19/25
Solving the Potts model on maps (sketch)
Equation for G(x, y) ≡ G(x, y; q, u, t) has the form
K(x, y)G(x, y) = R(x, y),
where K(x, y) and R(x, y) involve q, u, z, x, y, G(x, 1), G(1, y).
1. We find two series Y1 , Y2 in q, u, x, z such that
K(x, Y1 ) = K(x, Y2 ) = 0.
2. We combine them with R(x, Y1 ) = R(x, Y2 ) = 0 to obtain
I(Y1 ) = I(Y2 ) and J(Y1 ) = J(Y2 )
where the invariants I(y), J(y) contain q, u, z, y, G(1, y).
Works only for q = 2 + 2 cos(2kπ/m).
IHP 2009
▽Olivier Bernardi – p.20/25
Solving the Potts model on maps (sketch)
...where the invariants I(y), J(y) contain q, u, z, y, G(1, y).
3. A theorem shows that
J(y) =
m
X
ai I(y)i
i=1
where series ai ’s depend on u, z (but not on y).
∂ i G(1,y)
.
∂y i
4. Asymptotic expansion at y = 1 gives ai in terms of
Moreover, conditions [MBM,Jehanne 06] are satisfied
⇒ Algebraicity.
IHP 2009
Olivier Bernardi – p.20/25
Explicit solutions q = 2
Thm: The GF of the 2-states Potts model on maps satisfies
G(1, 1; 2, u, z) =
1 + 3uS − 3uS 2 − u2 S 3
(1 − 2S + 2u2 S 3 − u2 S 4 )2
3 6
2
5
4
3
2
× u S +2u (1−u)S +u(1−6u)S −u(1−5u)S +(1+2u)S −(3+u)S +1 .
where S = z + O(z 2 ) is the series satisfying
2
2 3 2
1 + 3uS − 3uS − u S
.
S=z
2
3
2
4
1 − 2S + 2u S − u S
Similar results for triangulations, recovering results from
[Boulatov, Kazakov 87, MBM, Schaeffer 03]
IHP 2009
Olivier Bernardi – p.21/25
Explicit solutions q = 3
Maple is too weak to solve the system for general u.
Thm: The GF of properly 3-colored maps is
(1 + 2S) (1 − 2S 2 − 4S 3 − 4S 4 )
G(1, 1; 3, 0, z) =
.
2
3
(1 − 2S )
where S = z + O(z 2 ) is the series satisfying
S(1 − 2S 3 )
z=
.
3
(1 + 2S)
Similar result for triangulations is not interesting (Eulerian
triangulations) but...
IHP 2009
Olivier Bernardi – p.22/25
922337203685477580800000 C + 9007199254740992 (194560000 z − 5971077) C
`
´
+4294967296 280335535308800 z 2 − 25398219177984 z + 446991689475 C 9
`
−1024 379991218559385600000 z 4 − 188284129271105978368 z 3 + 74426563120993402880 z 2
−3460024309515976704 z + 60644726921050599) C 8
`
−1024 855256650185747464192 z 5 + 198557240861845880832 z 4 + 7030700057733103616 z 3
´
−2005025500677518336 z 2 + 65719379546147724 z − 1261082394855783 C 7
`
−64 13794761675403801133056 z 6 + 1749420037224685109248 z 5 − 278771160986127695872 z 4
´
3
2
+3443220359730862080 z + 294527021649617744 z − 12400864344288084 z + 586081179814293
`
−16 32829338688610212249600 z 7 − 541704013946292273152 z 6 − 549137038895633924096 z 5
+41876669882140680192 z 4 − 936289577498747840 z 3
´
+12987916499676352 z 2 + 208517314053540 z − 54447680943015 C 5
`
−32 124515522497539473408 z 9 + 6242274275823592669184 z 8 − 898808183791057633280 z 7
−5275329284641325056 z 6 + 6539785066149118976 z 5 − 361493662811609868 z 4
´
+9979948894517522 z 3 − 432679480767965 z 2 + 6248694091833 z + 378858660750 C 4
`
−8 747093134985236840448 z 10 + 5932367633073989222400 z 9 − 1529736206124490686464 z 8
+132585839072566050816 z 7 − 3048630269218258944 z 6 − 135087570198766176 z 5
+5706147748413032 z 4 − 229584590608200 z 3 + 23755821897083 z 2 − 152875558308 z − 277386263
`
+ −3361919107433565782016 z 11 − 6012198464670331305984 z 10 + 2332964327872863928320 z 9
−341248528343609901056 z 8 + 24933054438553903104 z 7 − 994662704339242816 z 6
+33270083406272816 z 5 − 1608971168541300 z 4 + 7467003627448 z 3
´
+5037279798640 z 2 − 194388001728 z + 808501760 C 2
`
+z −840479776858391445504 z 11 − 157618519659107057664 z 10 + 157170928122096254976 z 9
−34691457904249143296 z 8 + 3785139252232855552 z 7 − 224694559056638912 z 6
+6999136302319904 z 5 − 197576502742812 z 4 + 19551640345287 z 3
´
−1347626230088 z 2 + 40099744688 z − 404250880 C
`
−4 z 4 19698744770118549504 z 9 − 8025289374453202944 z 8 + 1366977099830657024 z 7
Conjecture for 3-colored cubic maps
IHP 2009
Olivier Bernardi – p.23/25
What’s next ?
Tutte went one step further.
Thm[Tutte 84]: The GF of q-colored triangulations satisfies
2q 2 (1−q)z+(qz+10H−6zH ′ )H ′′ +q(4−q)(20H−18zH ′ +9z 2 H ′′ ) = 0
where
2
H ≡ z T (q, 0,
√
z).
⇒ Are there bijections for colored maps ?
IHP 2009
Olivier Bernardi – p.24/25
Merci de votre attention.
IHP 2009
Olivier Bernardi – p.25/25