N=2 Gauge Theories. S-duality, holography and a surprise. DG, G. Moore, A. Neitzke to appear. arxiv:

Size: px
Start display at page:

Download "N=2 Gauge Theories. S-duality, holography and a surprise. DG, G. Moore, A. Neitzke to appear. arxiv:"

Transcription

1 N=2 Guge Theories S-ulity, hologrphy n surprise DG, G. Moore, A. Neitzke to pper DG: rxiv: DG, J. Mlen: rxiv: L.F.Aly, DG, Y.Thikw: rxiv:

2 Overview M5 rnes on Riemnn surfes. 6 worlvolume fiel theory on Riemnn surfe C Flow to IR to engineer N=2 4 SCFTs Outline: Motivtions How o the 4 theories look like? Cn they e uilt iretly in 4? A finl surprise: Liouville theory from 4 guge theory 2

3 Motivtions. Mlen, Nunez: hep-th/ Lin, Lunin, Mlen: hep-th/ AS5 x M6 M-theory solutions RG flow to n IR regulr geometry MN UV: M5 rnes wrpping Riemnn surfe C Prt of lrger fmily of M6 LLM Hr to uil new solutions Dul to unknown N=2 four imensionl SCFTs

4 Motivtions. Kontsevih, Soielmn: DG, Moore, Neitzke: Mthemtil progress: KS Wll Crossing Formul Aout motivi Donlson-Thoms invrints Preits jumps of BPS egeneries in N=2 theories! Physil explntion? GMN Consier the N=2 theory on irle. BPS instntons orret mouli spe metri Metri is ontinuous! Wll rossing formul follows

5 Motivtions Witten: hep-th/ Cherkis, Kpustin:hep-th/ We neee exmples of BPS spetr, mouli spes. A lot of N=2 quivers hve IIA rne reliztion. Witten Lift to system of M5 rnes. Some M5 wrp yliner or torus C Some interset trnsverslly Fous on (2,0) theory on C Trnsversl M5s s efets Allows omputtion of BPS spetr, 3 mouli spe 5

6 Motivtions Now we hve useful efets ville! Consier M5 on punture Riemnn surfe C Ple efets t puntures. A very lrge lss of 4 N=2 SCFTs. It inlues mny well known guge theories Most theories re unknown We ientifie the hologrphi ul efets in AS5 x M6 GM 6

7 Motivtions Argyres. Seierg: Generliztion of S-ulity. Consier Nf=6 SU(3) guge theory t strong oupling A ul wekly ouple guge theory emerges Couple to interting E6 SCFT Cn we proue other new, interesting N=2 theories? S-ulity will e ruil to unerstn M5 rnes on C!

8 (2,0) theory on C How to wrp M5 rnes on C? Worlvolume theory of N M5s is (2,0) AN-1 SCFT Nees twisting to preserve SUSY on C N=2 SUSY in 4 imensions Only omplex struture of C mtters in IR Seierg-Witten urve only epens on omplex struture BPS spetrum only epens on omplex struture Grvity RG flow to metri of onstnt negtive urvture 3g-3+n mouli of C re ouplings of 4 IR theory 8

9 (2,0) theory on C Wht sort of ouplings re those? Consier some egenertion limit of C Long, thin tues evelop. Mouli τ i of tues prmetrize C 9

10 Degenertion of C (2,0) theory on irle is is 5 SU(N) Yng Mills Long thin tues give 5 SYM on long segment 10

11 Degenertion of C 5 SYM on segments my give 4 SYM, oupling τ i Hint of (3g-3) wekly ouple SU(N) guge groups Wht re they ouple to? Tues onnete to (2g-2) pir of pnts theories. We expet some sort of generlize quiver 11

12 Degenertion of C Riemnn surfes n egenerte in mny wys There must e network of S-ulities 12

13 S-ulity in guge theories Nf=4 guge theory is SCFT Extly mrginl guge oupling τ Usul SL(2,Z) S-ulity tion τ ( τ +)/( τ +) 13

14 S-ulity in guge theories Nf=4 hs SO(8) flvor symmetry SL(2,Z) ts through trility on SO(8) Exhnges eletrons in 8v, monopoles in 8s,yons in 8 14

15 S-ulity in guge Reformulting trility theories Consier sugroup SO(4)xSO(4) in SO(8) Rewrite it s [ x ] x [ x ] SL(2,Z) permutes (,,,) 8v=(2 x 2) + (2 x 2) 8s=(2 x 2) + (2 x 2) 8=(2 x 2) + (2 x 2) 15

16 2 M5 on Riemnn Surfe Brne onstrution for Nf=4: A1 (2,0) theory on sphere with four efets. 16

17 The pnts Two 1 oulets hve SO(4) = 2 x 3 flvor symmetry. All three 1,2,3 n e guge, ply symmetri role A lot in ommon with 2 M5 on pir of pnts... Cn S-ulity of Nf=4 insure onsisteny of gluing? Let s glue, n see... 17

18 S-ulity in quiver guge theories Consier superonforml quiver with two noes 2 2 e S-ulity t first noe permutes,, At seon noe permutes,, They o not ommute! Full ulity group permutes five groups 18

19 S-ulity in quiver guge Now three noes theories 2 2 e e f f 19

20 2 M5 on Riemnn Surfe e f e q 1 q 2 q 3 f 20

21 2 M5 on Riemnn Surfe e f q 3 q q 1 2 e f 21

22 The SU(3) pnts Wht s pir of pnts for three M5s? SU(3) x SU(3) x SU(3) sugroup in E6 Argyres Seierg ulity + rne onstrution: E6 SCFT from A2 (2,0) theory on sphere with three efets SU(3) SU(3) SU(3) 22

23 The SU(N) pnts Wht s pir of pnts for N M5s? Nees SU(N) x SU(N) x SU(N) flvor symmetry Generlize Argyres Seierg ulity + rne onstrution: Strt from quiver of N-2 SU(N) guge groups Creful strong oupling limit eouples SU(N-1) ul group Theory splits into esire pir of pnts, plus extr stuff 23

24 Conlusions.. ut not yet the en We n uil N=2 theories lele y Riemnn surfe n hoie of efets Guge oupling mouli spe hs severl istint wek oupling regions, where theory is ``generlize quiver possily involving non-trivil interting SCFTs s mtter. Lelle y eompositions of the surfe. Clss inlues most known N=2 theories, we n proue hologrphi ul, etermine BPS spetr, tret in n unifie mnner. 24

25 A finl surprise N=2 guge theory n the theory of Riemnn surfes How eep oes the onnetion run? Nekrsov instnton prtition funtion of quivers omputes 2 CFT onforml loks! AGT Nf=4 gives four points on sphere N=2* gives one point on torus et. et. Full prtition funtion oinies with Liouville theory 25

26 The si ie A1 Theories re lelle y Riemnn surfe. Lgrngin esriptions y sewing: uil the surfe from pirs of pnts. Virsoro onforml loks for Riemnn surfe epen on hoie of sewing. They re efine s sum over Virsoro esennts of highest weight vetors in the intermeite hnnels. 26

27 Extensions Anything you n ompute from Lgrngin esription, n epens on guge ouplings, shoul provie ``moulr funtor, i.e. n ojet tthe to pnt eomposition of Riemnn surfe, with interesting properties uner hnnel ulities, fusion, riing, ftoriztion, et. If you re strong enough to el with non-lgrngin pir of pnts theories, AN theories shoul lso e fun. 27

Lecture 6: Coding theory

Lecture 6: Coding theory Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those

More information

Identifying and Classifying 2-D Shapes

Identifying and Classifying 2-D Shapes Ientifying n Clssifying -D Shpes Wht is your sign? The shpe n olour of trffi signs let motorists know importnt informtion suh s: when to stop onstrution res. Some si shpes use in trffi signs re illustrte

More information

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite! Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:

More information

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap Prtile Physis Mihelms Term 2011 Prof Mrk Thomson g X g X g g Hnout 3 : Intertion y Prtile Exhnge n QED Prof. M.A. Thomson Mihelms 2011 101 Rep Working towrs proper lultion of ey n sttering proesses lnitilly

More information

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion

More information

CIT 596 Theory of Computation 1. Graphs and Digraphs

CIT 596 Theory of Computation 1. Graphs and Digraphs CIT 596 Theory of Computtion 1 A grph G = (V (G), E(G)) onsists of two finite sets: V (G), the vertex set of the grph, often enote y just V, whih is nonempty set of elements lle verties, n E(G), the ege

More information

Pre-Lie algebras, rooted trees and related algebraic structures

Pre-Lie algebras, rooted trees and related algebraic structures Pre-Lie lgers, rooted trees nd relted lgeri strutures Mrh 23, 2004 Definition 1 A pre-lie lger is vetor spe W with mp : W W W suh tht (x y) z x (y z) = (x z) y x (z y). (1) Exmple 2 All ssoitive lgers

More information

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106 8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly

More information

The DOACROSS statement

The DOACROSS statement The DOACROSS sttement Is prllel loop similr to DOALL, ut it llows prouer-onsumer type of synhroniztion. Synhroniztion is llowe from lower to higher itertions sine it is ssume tht lower itertions re selete

More information

CS 360 Exam 2 Fall 2014 Name

CS 360 Exam 2 Fall 2014 Name CS 360 Exm 2 Fll 2014 Nme 1. The lsses shown elow efine singly-linke list n stk. Write three ifferent O(n)-time versions of the reverse_print metho s speifie elow. Eh version of the metho shoul output

More information

6.5 Improper integrals

6.5 Improper integrals Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =

More information

Section 4.4. Green s Theorem

Section 4.4. Green s Theorem The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls

More information

N=4 super Yang-Mills Plasma

N=4 super Yang-Mills Plasma N= suer Yng-Mills Plsm Alin Czjk Institute o Physis, Jn Kohnowski University, Kiele, Polnd bsed on: A. Czjk & St. Mrówzyński, rxiv: 10.1856 [he-th] A. Czjk & St. Mrówzyński, Physil Review D8 011 06501

More information

Electromagnetism Notes, NYU Spring 2018

Electromagnetism Notes, NYU Spring 2018 Eletromgnetism Notes, NYU Spring 208 April 2, 208 Ation formultion of EM. Free field desription Let us first onsider the free EM field, i.e. in the bsene of ny hrges or urrents. To tret this s mehnil system

More information

Factorising FACTORISING.

Factorising FACTORISING. Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will

More information

NON-DETERMINISTIC FSA

NON-DETERMINISTIC FSA Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is

More information

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6 CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized

More information

Solids of Revolution

Solids of Revolution Solis of Revolution Solis of revolution re rete tking n re n revolving it roun n is of rottion. There re two methos to etermine the volume of the soli of revolution: the isk metho n the shell metho. Disk

More information

Can one hear the shape of a drum?

Can one hear the shape of a drum? Cn one her the shpe of drum? After M. K, C. Gordon, D. We, nd S. Wolpert Corentin Lén Università Degli Studi di Torino Diprtimento di Mtemti Giuseppe Peno UNITO Mthemtis Ph.D Seminrs Mondy 23 My 2016 Motivtion:

More information

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if

More information

More Properties of the Riemann Integral

More Properties of the Riemann Integral More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl

More information

GRUPOS NANTEL BERGERON

GRUPOS NANTEL BERGERON Drft of Septemer 8, 2017 GRUPOS NANTEL BERGERON Astrt. 1. Quik Introution In this mini ourse we will see how to ount severl ttriute relte to symmetries of n ojet. For exmple, how mny ifferent ies with

More information

Common intervals of genomes. Mathieu Raffinot CNRS LIAFA

Common intervals of genomes. Mathieu Raffinot CNRS LIAFA Common intervls of genomes Mthieu Rffinot CNRS LIF Context: omprtive genomis. set of genomes prtilly/totlly nnotte Informtive group of genes or omins? Ex: COG tse Mny iffiulties! iology Wht re two similr

More information

Surface maps into free groups

Surface maps into free groups Surfce mps into free groups lden Wlker Novemer 10, 2014 Free groups wedge X of two circles: Set F = π 1 (X ) =,. We write cpitl letters for inverse, so = 1. e.g. () 1 = Commuttors Let x nd y e loops. The

More information

Analysis of Temporal Interactions with Link Streams and Stream Graphs

Analysis of Temporal Interactions with Link Streams and Stream Graphs Anlysis of Temporl Intertions with n Strem Grphs, Tiphine Vir, Clémene Mgnien http:// ltpy@ LIP6 CNRS n Soronne Université Pris, Frne 1/23 intertions over time 0 2 4 6 8,,, n for 10 time units time 2/23

More information

Slope Lengths for 2-Bridge Parent Manifolds. Martin D. Bobb

Slope Lengths for 2-Bridge Parent Manifolds. Martin D. Bobb Cliorni Stte University, Sn Bernrino Reserh Experiene or Unergrutes Knot Theory Otoer 28, 2013 Hyperoli Knot Complements Hyperoli Knots Deinition A knot or link K is hyperoli i hyperoli metri n e ple on

More information

LECTURE 3. Orthogonal Functions. n X. It should be noted, however, that the vectors f i need not be orthogonal nor need they have unit length for

LECTURE 3. Orthogonal Functions. n X. It should be noted, however, that the vectors f i need not be orthogonal nor need they have unit length for ECTURE 3 Orthogonl Functions 1. Orthogonl Bses The pproprite setting for our iscussion of orthogonl functions is tht of liner lgebr. So let me recll some relevnt fcts bout nite imensionl vector spces.

More information

arxiv: v1 [cond-mat.str-el] 22 Dec 2016

arxiv: v1 [cond-mat.str-el] 22 Dec 2016 Refletion n time reversl symmetry enrihe topologil phses of mtter: pth integrls, non-orientle mnifols, n nomlies Missm Brkeshli, 1,, 3, 4 Prs Bonerson, 4 Meng Cheng, 5, 4 Cho-Ming Jin, 3, 4 n Kevin Wlker

More information

Tikrit Journal of Pure Science 21 (1) 2016 ISSN:

Tikrit Journal of Pure Science 21 (1) 2016 ISSN: Tikrit Journl of Pure Siene () 06 ISSN: 83-66 K- onstnt type Khler n Nerly Khler mnifols for onhrmoni urvture tensor Ali A. Shih, Rn H. jsim Deprtment of Mthemtis, College of Eution Pure Sienes, Tikrit

More information

Exam 1 Study Guide. Differentiation and Anti-differentiation Rules from Calculus I

Exam 1 Study Guide. Differentiation and Anti-differentiation Rules from Calculus I Exm Stuy Guie Mth 26 - Clulus II, Fll 205 The following is list of importnt onepts from eh setion tht will be teste on exm. This is not omplete list of the mteril tht you shoul know for the ourse, but

More information

Mass Creation from Extra Dimensions

Mass Creation from Extra Dimensions Journl of oern Physics, 04, 5, 477-48 Publishe Online April 04 in SciRes. http://www.scirp.org/journl/jmp http://x.oi.org/0.436/jmp.04.56058 ss Cretion from Extr Dimensions Do Vong Duc, Nguyen ong Gio

More information

I 3 2 = I I 4 = 2A

I 3 2 = I I 4 = 2A ECE 210 Eletril Ciruit Anlysis University of llinois t Chigo 2.13 We re ske to use KCL to fin urrents 1 4. The key point in pplying KCL in this prolem is to strt with noe where only one of the urrents

More information

Plotting Ordered Pairs Using Integers

Plotting Ordered Pairs Using Integers SAMPLE Plotting Ordered Pirs Using Integers Ple two elsti nds on geoord to form oordinte xes shown on the right to help you solve these prolems.. Wht letter of the lphet does eh set of pirs nme?. (, )

More information

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4 Am Blnk Leture 13 Winter 2016 CSE 332 CSE 332: Dt Astrtions Sorting Dt Astrtions QuikSort Cutoff 1 Where We Are 2 For smll n, the reursion is wste. The onstnts on quik/merge sort re higher thn the ones

More information

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x

More information

Momentum and Energy Review

Momentum and Energy Review Momentum n Energy Review Nme: Dte: 1. A 0.0600-kilogrm ll trveling t 60.0 meters per seon hits onrete wll. Wht spee must 0.0100-kilogrm ullet hve in orer to hit the wll with the sme mgnitue of momentum

More information

SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY arxiv:math/ v1 [math.qa] 29 Nov 2002

SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY arxiv:math/ v1 [math.qa] 29 Nov 2002 1 SYMPLECTIC OPERAD GEOMETRY AND GRAPH HOMOLOGY rxiv:mth/0211464v1 [mth.qa] 29 Nov 2002 SWAPNEEL MAHAJAN Astrt. A theorem of Kontsevih reltes the homology of ertin infinite imensionl Lie lgers to grph

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 6: Minigoals Towards Simplifying and Rewriting Expressions MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy

More information

Solutions to Problem Set #1

Solutions to Problem Set #1 CSE 233 Spring, 2016 Solutions to Prolem Set #1 1. The movie tse onsists of the following two reltions movie: title, iretor, tor sheule: theter, title The first reltion provies titles, iretors, n tors

More information

Logic, Set Theory and Computability [M. Coppenbarger]

Logic, Set Theory and Computability [M. Coppenbarger] 14 Orer (Hnout) Definition 7-11: A reltion is qusi-orering (or preorer) if it is reflexive n trnsitive. A quisi-orering tht is symmetri is n equivlene reltion. A qusi-orering tht is nti-symmetri is n orer

More information

03. Early Greeks & Aristotle

03. Early Greeks & Aristotle 03. Erly Greeks & Aristotle I. Erly Greeks Topis I. Erly Greeks II. The Method of Exhustion III. Aristotle. Anximnder (. 60 B.C.) to peiron - the unlimited, unounded - fundmentl sustne of relity - underlying

More information

GRAND PLAN. Visualizing Quaternions. I: Fundamentals of Quaternions. Andrew J. Hanson. II: Visualizing Quaternion Geometry. III: Quaternion Frames

GRAND PLAN. Visualizing Quaternions. I: Fundamentals of Quaternions. Andrew J. Hanson. II: Visualizing Quaternion Geometry. III: Quaternion Frames Visuliing Quternions Andrew J. Hnson Computer Siene Deprtment Indin Universit Siggrph Tutoril GRAND PLAN I: Fundmentls of Quternions II: Visuliing Quternion Geometr III: Quternion Frmes IV: Clifford Algers

More information

2.4 Theoretical Foundations

2.4 Theoretical Foundations 2 Progrmming Lnguge Syntx 2.4 Theoretil Fountions As note in the min text, snners n prsers re se on the finite utomt n pushown utomt tht form the ottom two levels of the Chomsky lnguge hierrhy. At eh level

More information

The Renormalization Scale Problem

The Renormalization Scale Problem The Renormliztion Sle Prolem How does one set sle Q? with M. Binger LoopFest 006 1 Stn Brodsky SLAC Eletron-Eletron Sttering in QED No renormliztion sle miguity Two seprte physil sles. Guge Invrint. Dressed

More information

Math 225B: Differential Geometry, Homework 6

Math 225B: Differential Geometry, Homework 6 ath 225B: Differential Geometry, Homework 6 Ian Coley February 13, 214 Problem 8.7. Let ω be a 1-form on a manifol. Suppose that ω = for every lose urve in. Show that ω is exat. We laim that this onition

More information

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides. 1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the

More information

Conservation Law. Chapter Goal. 6.2 Theory

Conservation Law. Chapter Goal. 6.2 Theory Chpter 6 Conservtion Lw 6.1 Gol Our long term gol is to unerstn how mthemticl moels re erive. Here, we will stuy how certin quntity chnges with time in given region (sptil omin). We then first erive the

More information

Now we must transform the original model so we can use the new parameters. = S max. Recruits

Now we must transform the original model so we can use the new parameters. = S max. Recruits MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with

More information

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply

More information

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}

More information

Chapter 4 State-Space Planning

Chapter 4 State-Space Planning Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different

More information

Minimal DFA. minimal DFA for L starting from any other

Minimal DFA. minimal DFA for L starting from any other Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA

More information

arxiv: v2 [cond-mat.str-el] 12 Nov 2014

arxiv: v2 [cond-mat.str-el] 12 Nov 2014 Symmetry, Defets, n Guging of Topologil Phses rxiv:1410.4540v2 [on-mt.str-el] 12 Nov 2014 Missm Brkeshli, 1 Prs Bonerson, 1 Meng Cheng, 1 n Zhenghn Wng 1, 2 1 Sttion Q, Mirosoft Reserh, Snt Brr, Cliforni

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most

More information

Calculus Cheat Sheet. Integrals Definitions. where F( x ) is an anti-derivative of f ( x ). Fundamental Theorem of Calculus. dx = f x dx g x dx

Calculus Cheat Sheet. Integrals Definitions. where F( x ) is an anti-derivative of f ( x ). Fundamental Theorem of Calculus. dx = f x dx g x dx Clulus Chet Sheet Integrls Definitions Definite Integrl: Suppose f ( ) is ontinuous Anti-Derivtive : An nti-derivtive of f ( ) on [, ]. Divide [, ] into n suintervls of is funtion, F( ), suh tht F = f.

More information

Lecture 11 Binary Decision Diagrams (BDDs)

Lecture 11 Binary Decision Diagrams (BDDs) C 474A/57A Computer-Aie Logi Design Leture Binry Deision Digrms (BDDs) C 474/575 Susn Lyseky o 3 Boolen Logi untions Representtions untion n e represente in ierent wys ruth tle, eqution, K-mp, iruit, et

More information

Chapter 0. What is the Lebesgue integral about?

Chapter 0. What is the Lebesgue integral about? Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous

More information

A Short Introduction to Self-similar Groups

A Short Introduction to Self-similar Groups A Short Introution to Self-similr Groups Murry Eler* Asi Pifi Mthemtis Newsletter Astrt. Self-similr groups re fsinting re of urrent reserh. Here we give short, n hopefully essile, introution to them.

More information

MCH T 111 Handout Triangle Review Page 1 of 3

MCH T 111 Handout Triangle Review Page 1 of 3 Hnout Tringle Review Pge of 3 In the stuy of sttis, it is importnt tht you e le to solve lgeri equtions n tringle prolems using trigonometry. The following is review of trigonometry sis. Right Tringle:

More information

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have III. INTEGRATION Eonomists seem muh more intereste in mrginl effets n ifferentition thn in integrtion. Integrtion is importnt for fining the epete vlue n vrine of rnom vriles, whih is use in eonometris

More information

Data Structures LECTURE 10. Huffman coding. Example. Coding: problem definition

Data Structures LECTURE 10. Huffman coding. Example. Coding: problem definition Dt Strutures, Spring 24 L. Joskowiz Dt Strutures LEURE Humn oing Motivtion Uniquel eipherle oes Prei oes Humn oe onstrution Etensions n pplitions hpter 6.3 pp 385 392 in tetook Motivtion Suppose we wnt

More information

Nondeterministic Automata vs Deterministic Automata

Nondeterministic Automata vs Deterministic Automata Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n

More information

Spin Networks and Anyonic Topological Quantum Computing. L. H. Kauffman, UIC.

Spin Networks and Anyonic Topological Quantum Computing. L. H. Kauffman, UIC. Spin Networks n Anyoni Topologil Quntum Computing L. H. Kuffmn, UC qunt-ph/0603131 n qunt-ph/0606114 www.mth.ui.eu/~kuffmn/unitry.pf Spin Networks n Anyoni Topologil Computing Louis H. Kuffmn n Smuel J.

More information

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014 S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown

More information

INTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable

INTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd

More information

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into

More information

CSC2542 State-Space Planning

CSC2542 State-Space Planning CSC2542 Stte-Spe Plnning Sheil MIlrith Deprtment of Computer Siene University of Toronto Fll 2010 1 Aknowlegements Some the slies use in this ourse re moifitions of Dn Nu s leture slies for the textook

More information

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points: Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer

More information

Nondeterministic Finite Automata

Nondeterministic Finite Automata Nondeterministi Finite utomt The Power of Guessing Tuesdy, Otoer 4, 2 Reding: Sipser.2 (first prt); Stoughton 3.3 3.5 S235 Lnguges nd utomt eprtment of omputer Siene Wellesley ollege Finite utomton (F)

More information

VII. The Integral. 50. Area under a Graph. y = f(x)

VII. The Integral. 50. Area under a Graph. y = f(x) VII. The Integrl In this chpter we efine the integrl of function on some intervl [, b]. The most common interprettion of the integrl is in terms of the re uner the grph of the given function, so tht is

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

More information

GNFA GNFA GNFA GNFA GNFA

GNFA GNFA GNFA GNFA GNFA DFA RE NFA DFA -NFA REX GNFA Definition GNFA A generlize noneterministic finite utomton (GNFA) is grph whose eges re lele y regulr expressions, with unique strt stte with in-egree, n unique finl stte with

More information

Rigid Holography and 6d N=(2,0) Theories on AdS 5 xs 1

Rigid Holography and 6d N=(2,0) Theories on AdS 5 xs 1 Rigid Holography and 6d N=(2,0) Theories on AdS 5 xs 1 Ofer Aharony Weizmann Institute of Science 8 th Crete Regional Meeting on String Theory, Nafplion, July 9, 2015 OA, Berkooz, Rey, 1501.02904 Outline

More information

Section 2.1 Special Right Triangles

Section 2.1 Special Right Triangles Se..1 Speil Rigt Tringles 49 Te --90 Tringle Setion.1 Speil Rigt Tringles Te --90 tringle (or just 0-60-90) is so nme euse of its ngle mesures. Te lengts of te sies, toug, ve very speifi pttern to tem

More information

AP Calculus AB First Semester Final Review

AP Calculus AB First Semester Final Review P Clculus B This review is esigne to give the stuent BSIC outline of wht nees to e reviewe for the P Clculus B First Semester Finl m. It is up to the iniviul stuent to etermine how much etr work is require

More information

Finite Automata-cont d

Finite Automata-cont d Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automt-cont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww

More information

Proving the Pythagorean Theorem

Proving the Pythagorean Theorem Proving the Pythgoren Theorem W. Bline Dowler June 30, 2010 Astrt Most people re fmilir with the formul 2 + 2 = 2. However, in most ses, this ws presented in lssroom s n solute with no ttempt t proof or

More information

Total score: /100 points

Total score: /100 points Points misse: Stuent's Nme: Totl sore: /100 points Est Tennessee Stte University Deprtment of Computer n Informtion Sienes CSCI 2710 (Trnoff) Disrete Strutures TEST 2 for Fll Semester, 2004 Re this efore

More information

Basic Derivative Properties

Basic Derivative Properties Bsic Derivtive Properties Let s strt this section by remining ourselves tht the erivtive is the slope of function Wht is the slope of constnt function? c FACT 2 Let f () =c, where c is constnt Then f 0

More information

Geometrically Realizing Nested Torus Links

Geometrically Realizing Nested Torus Links Geometrilly Relizing Nested Torus Links mie ry ugust 18, 2017 strt In this pper, we define nested torus links. We then go on to introdue ell deomposition of nested torus links. Using the ell deomposition

More information

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38 Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control

More information

Homework Assignment 5 Solution Set

Homework Assignment 5 Solution Set Homework Assignment 5 Solution Set PHYCS 44 3 Februry, 4 Problem Griffiths 3.8 The first imge chrge gurntees potentil of zero on the surfce. The secon imge chrge won t chnge the contribution to the potentil

More information

arxiv: v2 [cond-mat.str-el] 18 Sep 2015

arxiv: v2 [cond-mat.str-el] 18 Sep 2015 Topologil Superonutors n Ctegory Theory Anrei Bernevig 1 n Titus Neupert 2 1 Deprtment of Physis, Prineton University, Prineton, New Jersey 08544, USA 2 Prineton Center for Theoretil Siene, rxiv:1506.05805v2

More information

Implication Graphs and Logic Testing

Implication Graphs and Logic Testing Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,

More information

arxiv:hep-th/ v1 1 Oct 2002

arxiv:hep-th/ v1 1 Oct 2002 rxiv:hep-th/0210004v1 1 Oct 2002 EXACT STANDARD MODEL STRUCTURES FROM INTERSECTING BRANES C. KOKORELIS Deprtmento de Físic Teóric C-XI nd Instituto de Físic Teóric C-XVI Universidd Autónom de Mdrid, Cntoblnco,

More information

Lecture Summaries for Multivariable Integral Calculus M52B

Lecture Summaries for Multivariable Integral Calculus M52B These leture summries my lso be viewed online by liking the L ion t the top right of ny leture sreen. Leture Summries for Multivrible Integrl Clulus M52B Chpter nd setion numbers refer to the 6th edition.

More information

SEMI-EXCIRCLE OF QUADRILATERAL

SEMI-EXCIRCLE OF QUADRILATERAL JP Journl of Mthemtil Sienes Volume 5, Issue &, 05, Pges - 05 Ishn Pulishing House This pper is ville online t http://wwwiphsiom SEMI-EXCIRCLE OF QUADRILATERAL MASHADI, SRI GEMAWATI, HASRIATI AND HESY

More information

Figure 1. The left-handed and right-handed trefoils

Figure 1. The left-handed and right-handed trefoils The Knot Group A knot is n emedding of the irle into R 3 (or S 3 ), k : S 1 R 3. We shll ssume our knots re tme, mening the emedding n e extended to solid torus, K : S 1 D 2 R 3. The imge is lled tuulr

More information

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw

More information

Here we consider the matrix transformation for a square matrix from a geometric point of view.

Here we consider the matrix transformation for a square matrix from a geometric point of view. Section. he Mgnifiction Fctor In Section.5 we iscusse the mtri trnsformtion etermine mtri A. For n m n mtri A the function f(c) = Ac provies corresponence etween vectors in R n n R m. Here we consier the

More information

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:

More information

"Add"-operator "Mul"-operator "Pow"-operator. def. h b. def

Add-operator Mul-operator Pow-operator. def. h b. def Opertors A sort review of opertors. Te isussions out tetrtion le me to two impressions. ) It my e etter to see opertors using prmeters, inste of two, s it is ommon use upte 4 ) Sering for noter onsistent

More information

Graph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Graph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)} Grph Theory Simple Grph G = (V, E). V ={verties}, E={eges}. h k g f e V={,,,,e,f,g,h,k} E={(,),(,g),(,h),(,k),(,),(,k),...,(h,k)} E =16. 1 Grph or Multi-Grph We llow loops n multiple eges. G = (V, E.ψ)

More information

Algebra 2 Semester 1 Practice Final

Algebra 2 Semester 1 Practice Final Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers

More information

Theory of Computation Regular Languages

Theory of Computation Regular Languages Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of

More information

State Minimization for DFAs

State Minimization for DFAs Stte Minimiztion for DFAs Red K & S 2.7 Do Homework 10. Consider: Stte Minimiztion 4 5 Is this miniml mchine? Step (1): Get rid of unrechle sttes. Stte Minimiztion 6, Stte is unrechle. Step (2): Get rid

More information

Automata and Regular Languages

Automata and Regular Languages Chpter 9 Automt n Regulr Lnguges 9. Introution This hpter looks t mthemtil moels of omputtion n lnguges tht esrie them. The moel-lnguge reltionship hs multiple levels. We shll explore the simplest level,

More information

Schrödinger s equation.

Schrödinger s equation. Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of

More information

Lecture 8: Abstract Algebra

Lecture 8: Abstract Algebra Mth 94 Professor: Pri Brtlett Leture 8: Astrt Alger Week 8 UCSB 2015 This is the eighth week of the Mthemtis Sujet Test GRE prep ourse; here, we run very rough-n-tumle review of strt lger! As lwys, this

More information

Equivalent fractions have the same value but they have different denominators. This means they have been divided into a different number of parts.

Equivalent fractions have the same value but they have different denominators. This means they have been divided into a different number of parts. Frtions equivlent frtions Equivlent frtions hve the sme vlue ut they hve ifferent enomintors. This mens they hve een ivie into ifferent numer of prts. Use the wll to fin the equivlent frtions: Wht frtions

More information