joint work with Harald Grosse and Alexander Hock - PowerPoint PPT Presentation

Solution of all quartic matrix models Raimar Wulkenhaar Mathematisches Institut, Westf¨ alische Wilhelms-Universit¨ at M¨ unster ❛ joint work with Harald Grosse and Alexander Hock [arXiv:1906.04600] and Erik Panzer [arXiv:1807.02945] Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 0

Daniel Kastler Main result Details Discussion In memory of Daniel Kastler (1926–2015) In 1998/99, Daniel was trying to catch three fishes: la truite, la truite saumon´ ee, le saumon They stand for flavours of theories in which the standard model is a representation of SU q ( 2 ) , with q a third root of unity. Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 1

Daniel Kastler Main result Details Discussion The fish Since “Progress in solving a noncommutative quantum field theory in four dimensions” [arXiv:0909.1389] with Harald Grosse I am telling you: There is a fish in the φ 4 -QFT model on noncommutative Moyal space. We saw the fish in 2012. It is big. I repeated over all the years that the fish is there. But I was not able to show it to you. I understand you think I am crazy. Last year, with Erik Panzer, we caught a little fish: φ 4 on two-dimensional Moyal space is solved by the Lambert- W function. This made clear: The big fish is there. On the 10th of May, I caught the fish. It is real, it is big. I describe it in this talk. Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 2

Daniel Kastler Main result Details Discussion The sea Consider a familiy of matrix integrals over the space of self-adjoint N × N -matrices � � E Φ 2 + λ � p Φ p � � d Φ exp −N Tr M ∗ N Z ( E , λ ) = � � E Φ 2 �� � d Φ exp −N Tr M ∗ N They depend on a positive matrix E and a scalar λ . p = 3 is the Kontsevich model – a gigantic fish log Z ( E , i ) is formal power series in t n = − ( 2 n − 1 )!! Tr ( E − ( 2 n + 1 ) ) . Its coefficients are intersection numbers of Chern classes on the moduli space of complex curves. It defines a QFT. p = 4 is our baby Today we know: It is structurally identical to p = 3. Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 3

Daniel Kastler Main result Details Discussion Theorem (the fish) Let 0 < E 1 < · · · < E d be the eigenvalues of E , of multiplicities r 1 , . . . , r d . Take solutions { ε k , ̺ k } with lim λ → 0 ε k = E k , lim λ → 0 ̺ k = r k of d d E l = ε l − λ ̺ k 1 = r l − λ ̺ k � � , N N ( ε k + ε l ) 2 ε k + ε l ̺ l k = 1 k = 1 Then the planar two-point function of the quartic matrix model is d 1 + σ k ( E a ) + σ l ( E b ) � � � ε k + ε l 1 G ( 0 ) k , l = 1 ab = · d d ε a + ε b 1 + σ k ( E a ) 1 + σ l ( E b ) � � � � � � ε k + ε l ε k + ε l k , l = 1 k , l = 1 where { ε a , − ε 1 − σ 1 ( E a ) , . . . , − ε d − σ d ( E a ) } are all solutions z of d E a = z − λ ̺ k � N ε k + z k = 1 Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 4

Daniel Kastler Main result Details Discussion Dyson-Schwinger equation The two-point function is � � E Φ 2 + λ � 4 Φ 4 � � d Φ Φ ab Φ ba exp −N Tr � � 1 M ∗ ZG ( 0 ) N ab = N log � � E Φ 2 + λ 4 Φ 4 �� � d Φ exp −N Tr 1 up to N M ∗ N Using the Ward identity of [Disertori, Gurau, Magnen, Rivasseau 06] one derives a closed equation for G ( 0 ) ab : Theorem [Grosse, W 09] N an − ZG ( 0 ) nb − ZG ( 0 ) ( E a + E b ) ZG ( 0 ) � ZG ( 0 ) ab ZG ( 0 ) � � ab ab = 1 − λ E n − E a n = 1 Today we can solve this or a limit N → ∞ to unbounded operators E with � ∞ n = 2 ( E n − E 1 ) − 3 < ∞ . The latter requires renormalisation Z ( N ) and E 1 = 1 µ 2 ( N ) . 2 ˜ Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 5

Daniel Kastler Main result Details Discussion Extension to sectionally holomorphic functions N Define ρ 0 ( t ) = 1 � δ ( t − ( E n − E 1 )) , with E 1 = 1 µ 2 , E N − E 1 =Λ 2 2 ˜ N n = 1 Then G ( 0 ) ab = G ( E a − E 1 , E b − E 1 ) for µ 2 ) ZG ( x , y ) ( x + y + ˜ � Λ 2 ZG ( x , y ) ZG ( x , t ) − ZG ( t , y ) − ZG ( x , y ) � � = 1 − λ dt ρ 0 ( t ) t − x 0 This is the analogue of � Λ 2 dt ρ 0 ( t ) W ( t ) − W ( x ) ( W ( x )) 2 + λ 2 = x t 2 − x 2 0 in Kontsevich model, solved by [Makeenko, Semenoff 91]. Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 6

Daniel Kastler Main result Details Discussion Hilbert transform Temporarily assume that ρ 0 is H¨ older-continuous. Ansatz ZG ( a , b ) = e H a [ τ b ( • )] sin τ b ( a ) = e H b [ τ a ( • )] sin τ a ( b ) λπρ 0 ( a ) λπρ 0 ( b ) � a − ǫ � Λ a + ǫ ) dt f ( t ) where H a [ f ( • )] := 1 π lim ǫ → 0 ( + t − a is Hilbert transform 0 Gives � Λ 2 µ 2 + a + b + λπ H a [ ρ 0 ( • )] + 1 � dt e H t [ τ a ( • )] sin τ a ( t ) � ˜ ZG ( a , b ) π 0 e H • [ τ b ] sin τ b ( • ) � � = 1 + H a e H • [ f ] sin f ( • ) = e H a [ f ] cos f ( a ) − 1 � � H a [Tricomi 57] � Λ 2 � Λ 2 0 dt e H t [ f ( • )] sin f ( t ) = [Panzer, W 18] 0 dt f ( t ) Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 7

Daniel Kastler Main result Details Discussion The τ -equation � λπρ 0 ( p ) � τ a ( p ) = arctan � Λ 2 µ 2 + a + p + λπ H p [ ρ 0 ( • )] + 1 ˜ dt τ p ( t ) π 0 Solution in case of ρ 0 ( x ) ≡ 1 [Panzer, W 18] � � τ a ( p ) = Im log a + I ( p + i ǫ ) � 1 � 1 1 + z � � 1 + z �� I ( z ) := λ W 0 λ e − λ log 1 − W 0 λ e λ λ where W 0 is the principal branch of Lambert-W and µ 2 = 1 − 2 λ log ( 1 + Λ 2 ) . ˜ In April, Alexander Hock told me that this solution has a remarkable structure: I ( z ) = f − λ log ( 1 − f ) where f solves 1 + z = f − λ log f Such expressions arise in topological recursion. Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 8

Daniel Kastler Main result Details Discussion The fishing-rod What escaped for 10 years, was possible to catch in one week: Ansatz with I ( z ) = − J ( − µ 2 − J − 1 ( z )) , � � τ a ( p ) = Im log a + I ( p + i ǫ ) where � ˜ Λ 2 dt ρ λ ( t ) J ( z ) = z − λ ( − z ) D / 2 ( µ 2 + t ) D / 2 ( t + µ 2 + z ) ˜ ν Take smallest D ∈ { 0 , 2 , 4 } for which this converges. ρ λ is NOT the same as ρ 0 . µ = ˜ µ for D = 0, otherwise a free parameter J : { Re ( z ) > − 2 µ 2 3 } → U ⊆ C is biholomorphic Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 9

Daniel Kastler Main result Details Discussion Solution of all quartic matrix models Use [Cauchy 1831] residue theorem [Lagrange 1770] inversion theorem [B¨ urmann 1799] formula Theorem The ansatz J ( z ) = z − λ ( − z ) D / 2 � ˜ Λ 2 dt ρ λ ( t ) ˜ ν ( µ 2 + t ) D / 2 ( t + µ 2 + z ) solves the τ -equation provided that ρ λ is implicit solution of ρ 0 ( J ( t )) = ρ λ ( t ) . Λ 2 = J − 1 (Λ 2 ) , ν = J − 1 ( 0 ) , ˜ ˜ � ˜ µ 2 = µ 2 − 2 λ Λ 2 dt ρ λ ( t ) ˜ ( µ 2 + t ) for D = 2, ν ˜ � ˜ � ˜ Λ 2 Λ 2 µ 2 = µ 2 � � dt ρ λ ( t ) dt ρ λ ( t ) ˜ 1 − λ − 2 λ ( µ 2 + t ) for D = 4. ν ˜ ( µ 2 + t ) 2 ν ˜ Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 10

Daniel Kastler Main result Details Discussion Evaluating the Hilbert transform Remains to evaluate G ( a , b ) = Z − 1 e H b [ τ a ( • )] sin τ a ( b ) . λπρ 0 ( b ) For D = 4 need Z = Z 0 e H r [ τ r ( • )] to remove divergences. Proposition ( µ 2 ) δ D , 4 ( µ 2 + a + b ) exp ( N ( a , b )) G ( a , b ) := ( µ 2 + b + J − 1 ( a ))( µ 2 + a + J − 1 ( b )) , � ∞ � a − J ( − µ 2 � d � b − J ( − µ 2 2 − i t ) 1 2 + i t ) � � N ( a , b ) := dt log dt log a − ( − µ 2 b − ( − µ 2 2 π i 2 − i t ) 2 + i t ) −∞ � J ( − µ 2 � d � J ( − µ 2 2 − i t ) 2 + i t ) �� − δ D , 4 log dt log ( − µ 2 ( − µ 2 2 − i t ) 2 + i t ) here ), and the N -integral For ρ discrete, ρ λ is also discrete (see is evaluated by the residues to the right of Re ( z ) < − µ 2 2 . Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 11

Daniel Kastler Main result Details Discussion The limit Λ → ∞ for D = 4 and λ > 0 J ( z ) = z − λ z 2 � ∞ dt ρ λ ( t ) ( µ 2 + t ) 2 ( t + z ) is bounded above on R + . 0 Consequently, J − 1 ( a ) needed in τ b ( a ) and G ( a , b ) on previous slide does not exist (for D = 4, λ > 0, Λ 2 → ∞ , all a ). Is the Landau ghost back? Not here! Express G ( a , b ) := µ 2 exp ( N 4 ( a , b )) which avoids J − 1 : ( µ 2 + a + b ) � ∞ � d 1 � a − J ( − µ 2 b − J ( − µ 2 � � � N 4 ( a , b ) = dt log 2 − i t ) dt log 2 + i t ) 2 π i −∞ � d a − ( − µ 2 b − ( − µ 2 � � � − log 2 − i t ) dt log 2 + i t ) � d − J ( − µ 2 − J ( − µ 2 − log � 2 − i t ) � � dt log 2 + i t ) � d �� − ( − µ 2 − ( − µ 2 � 2 − i t ) � + log dt log 2 + i t ) Raimar Wulkenhaar (M¨ unster) Solution of all quartic matrix models 12