Index: trunk/share/tests/functional_tests/bjet_cluster.sin =================================================================== --- trunk/share/tests/functional_tests/bjet_cluster.sin (revision 8412) +++ trunk/share/tests/functional_tests/bjet_cluster.sin (revision 8413) @@ -1,46 +1,49 @@ # SINDARIN input for WHIZARD self-test # Check WHIZARD for specific count cuts on clustered tagged b jets ?logging = true ?openmp_logging = false ?vis_history = false ?integration_timer = false ?pacify = true +?omega_write_phs_output = true model = SM alphas = 0.118 ?alphas_is_fixed = false ?alphas_from_mz = true ?alphas_from_lambda_qcd = false alphas_nf = 5 ms = 0 mc = 0 alias lightjet = u:U:d:D:s:S:c:C:gl alias jet = lightjet:b:B -process bjet_cluster_p1 = e1, E1 => b, B, lightjet, lightjet +$phs_method = "fast_wood" + +process bjet_cluster_p1 = e1, E1 => b, B, lightjet, lightjet { $restrictions = "!H" } seed = 1234 sqrts = 1 TeV scale = 1 TeV jet_algorithm = antikt_algorithm jet_r = 0.5 cuts = let subevt @clustered_jets = cluster [jet] in let subevt @selected = select if (Pt > 30 GeV and abs(Eta) < 4) [@clustered_jets] in let subevt @bjets = select_b_jet if Pt > 100 GeV [@selected] in count [@selected] == 4 and count [@bjets] == 2 -integrate (bjet_cluster_p1) { iterations = 1:700:"gw" } +integrate (bjet_cluster_p1) { iterations = 1:760:"gw" } cuts = let subevt @clustered_jets = cluster [jet] in let subevt @selected = select if (Pt > 30 GeV and abs(Eta) < 4) [@clustered_jets] in count [@selected] == 4 -integrate (bjet_cluster_p1) { iterations = 1:700:"gw" } \ No newline at end of file +integrate (bjet_cluster_p1) { iterations = 1:760:"gw" } \ No newline at end of file Index: trunk/share/tests/functional_tests/photon_isolation_1.sin =================================================================== --- trunk/share/tests/functional_tests/photon_isolation_1.sin (revision 8412) +++ trunk/share/tests/functional_tests/photon_isolation_1.sin (revision 8413) @@ -1,27 +1,27 @@ # SINDARIN input for WHIZARD self-test # Test photon isolation from hadronic activity ?logging = true ?openmp_logging = false ?vis_history = false ?integration_timer = false ?pacify = true seed = 0 phs_off_shell = 1 phs_t_channel = 2 mc = 5 GeV !!! Tests should be run single-threaded openmp_num_threads = 1 -process photon_isolation_1_p1 = t, tbar => A, A, c, cbar +process photon_isolation_1_p1 = t, tbar => A, A, s, sbar sqrts = 400 GeV cuts = all E > 4 GeV [A] and all Pt > 5 GeV [A] and - all Dist > 1 [c:C:A, c:C:A] and photon_isolation [A, c:C] + all Dist > 1 [s:S:A, s:S:A] and photon_isolation [A, s:S] -integrate (photon_isolation_1_p1) { iterations = 1:640:"gw" } \ No newline at end of file +integrate (photon_isolation_1_p1) { iterations = 1:940:"gw" } \ No newline at end of file Index: trunk/share/tests/functional_tests/ref-output/cascades2_phs_2.ref =================================================================== --- trunk/share/tests/functional_tests/ref-output/cascades2_phs_2.ref (revision 8412) +++ trunk/share/tests/functional_tests/ref-output/cascades2_phs_2.ref (revision 8413) @@ -1,50 +1,50 @@ ?openmp_logging = false ?vis_history = false ?integration_timer = false seed = 0 ?omega_write_phs_output = true SM.ms => 0.000000000000E+00 SM.mc => 0.000000000000E+00 | Process library 'cascades2_phs_2_lib': recorded process 'cascades2_phs_2_1' sqrts = 5.000000000000E+02 ?phs_only = true $phs_method = "fast_wood" | Integrate: current process library needs compilation | Process library 'cascades2_phs_2_lib': compiling ... | Process library 'cascades2_phs_2_lib': writing makefile | Process library 'cascades2_phs_2_lib': removing old files | Process library 'cascades2_phs_2_lib': writing driver | Process library 'cascades2_phs_2_lib': creating source code | Process library 'cascades2_phs_2_lib': compiling sources | Process library 'cascades2_phs_2_lib': linking | Process library 'cascades2_phs_2_lib': loading | Process library 'cascades2_phs_2_lib': ... success. | Integrate: compilation done | RNG: Initializing TAO random-number generator | RNG: Setting seed for random-number generator to 0 | Initializing integration for process cascades2_phs_2_1: | Beam structure: e-, e+ | Beam data (collision): | e- (mass = 5.1099700E-04 GeV) | e+ (mass = 5.1099700E-04 GeV) | sqrts = 5.000000000000E+02 GeV | Phase space: generating configuration ... Warning: Intermediate decay of zero-width particle e+ may be possible. | Phase space: ... success. | Phase space: writing configuration file 'cascades2_phs_2_1.i1.phs' | ------------------------------------------------------------------------ | Process [scattering]: 'cascades2_phs_2_1' | Library name = 'cascades2_phs_2_lib' | Process index = 1 | Process components: | 1: 'cascades2_phs_2_1_i1': e-, e+ => e-, nuebar, cbar, sbar, c, c [omega] | ------------------------------------------------------------------------ -| Phase space: 1684 channels, 14 dimensions -| Phase space: found 1684 channels, collected in 182 groves. -| Phase space: Using 4048 equivalences between channels. +| Phase space: 1836 channels, 14 dimensions +| Phase space: found 1836 channels, collected in 219 groves. +| Phase space: Using 4352 equivalences between channels. | Phase space: wood Warning: No cuts have been defined. | Integrate: phase space only, skipping integration | There were no errors and 2 warning(s). | WHIZARD run finished. |=============================================================================| Index: trunk/share/tests/functional_tests/ref-output/bjet_cluster.ref =================================================================== --- trunk/share/tests/functional_tests/ref-output/bjet_cluster.ref (revision 8412) +++ trunk/share/tests/functional_tests/ref-output/bjet_cluster.ref (revision 8413) @@ -1,108 +1,111 @@ ?openmp_logging = false ?vis_history = false ?integration_timer = false ?pacify = true +?omega_write_phs_output = true | Switching to model 'SM', scheme 'default' SM.alphas => 1.18000E-01 ?alphas_is_fixed = false ?alphas_from_mz = true ?alphas_from_lambda_qcd = false alphas_nf = 5 SM.ms => 0.00000E+00 SM.mc => 0.00000E+00 [user variable] lightjet = PDG(2, -2, 1, -1, 3, -3, 4, -4, 21) [user variable] jet = PDG(2, -2, 1, -1, 3, -3, 4, -4, 21, 5, -5) +$phs_method = "fast_wood" +$restrictions = "!H" | Process library 'bjet_cluster_lib': recorded process 'bjet_cluster_p1' seed = 1234 sqrts = 1.00000E+03 jet_algorithm = 2 jet_r = 5.00000E-01 | Integrate: current process library needs compilation | Process library 'bjet_cluster_lib': compiling ... | Process library 'bjet_cluster_lib': writing makefile | Process library 'bjet_cluster_lib': removing old files | Process library 'bjet_cluster_lib': writing driver | Process library 'bjet_cluster_lib': creating source code | Process library 'bjet_cluster_lib': compiling sources | Process library 'bjet_cluster_lib': linking | Process library 'bjet_cluster_lib': loading | Process library 'bjet_cluster_lib': ... success. | Integrate: compilation done | QCD alpha: using a running strong coupling | RNG: Initializing TAO random-number generator | RNG: Setting seed for random-number generator to 1234 | Initializing integration for process bjet_cluster_p1: | Beam structure: [any particles] | Beam data (collision): | e- (mass = 5.1099700E-04 GeV) | e+ (mass = 5.1099700E-04 GeV) | sqrts = 1.000000000000E+03 GeV | Phase space: generating configuration ... | Phase space: ... success. | Phase space: writing configuration file 'bjet_cluster_p1.i1.phs' | ------------------------------------------------------------------------ | Process [scattering]: 'bjet_cluster_p1' | Library name = 'bjet_cluster_lib' | Process index = 1 | Process components: | 1: 'bjet_cluster_p1_i1': e-, e+ => b, bbar, u:ubar:d:dbar:s:sbar:c:cbar:gl, u:ubar:d:dbar:s:sbar:c:cbar:gl [omega] | ------------------------------------------------------------------------ -| Phase space: 70 channels, 8 dimensions -| Phase space: found 70 channels, collected in 14 groves. -| Phase space: Using 106 equivalences between channels. +| Phase space: 68 channels, 8 dimensions +| Phase space: found 68 channels, collected in 12 groves. +| Phase space: Using 104 equivalences between channels. | Phase space: wood | Applying user-defined cuts. | Using user-defined general scale. | Starting integration for process 'bjet_cluster_p1' -| Integrate: iterations = 1:700:"gw" -| Integrator: 14 chains, 70 channels, 8 dimensions +| Integrate: iterations = 1:760:"gw" +| Integrator: 12 chains, 68 channels, 8 dimensions | Integrator: Using VAMP channel equivalences -| Integrator: 700 initial calls, 20 bins, stratified = T +| Integrator: 760 initial calls, 20 bins, stratified = T | Integrator: VAMP |=============================================================================| | It Calls Integral[fb] Error[fb] Err[%] Acc Eff[%] Chi2 N[It] | |=============================================================================| - 1 700 1.280E+01 5.63E+00 44.02 11.65 10.8 + 1 748 3.021E+01 2.23E+01 73.79 20.18 9.5 |-----------------------------------------------------------------------------| - 1 700 1.280E+01 5.63E+00 44.02 11.65 10.8 + 1 748 3.021E+01 2.23E+01 73.79 20.18 9.5 |=============================================================================| | QCD alpha: using a running strong coupling | RNG: Initializing TAO random-number generator | RNG: Setting seed for random-number generator to 1235 | Initializing integration for process bjet_cluster_p1: | Beam structure: [any particles] | Beam data (collision): | e- (mass = 5.1099700E-04 GeV) | e+ (mass = 5.1099700E-04 GeV) | sqrts = 1.000000000000E+03 GeV | Phase space: generating configuration ... | Phase space: ... success. | Phase space: writing configuration file 'bjet_cluster_p1.i1.phs' | ------------------------------------------------------------------------ | Process [scattering]: 'bjet_cluster_p1' | Library name = 'bjet_cluster_lib' | Process index = 1 | Process components: | 1: 'bjet_cluster_p1_i1': e-, e+ => b, bbar, u:ubar:d:dbar:s:sbar:c:cbar:gl, u:ubar:d:dbar:s:sbar:c:cbar:gl [omega] | ------------------------------------------------------------------------ -| Phase space: 70 channels, 8 dimensions -| Phase space: found 70 channels, collected in 14 groves. -| Phase space: Using 106 equivalences between channels. +| Phase space: 68 channels, 8 dimensions +| Phase space: found 68 channels, collected in 12 groves. +| Phase space: Using 104 equivalences between channels. | Phase space: wood | Applying user-defined cuts. | Using user-defined general scale. | Starting integration for process 'bjet_cluster_p1' -| Integrate: iterations = 1:700:"gw" -| Integrator: 14 chains, 70 channels, 8 dimensions +| Integrate: iterations = 1:760:"gw" +| Integrator: 12 chains, 68 channels, 8 dimensions | Integrator: Using VAMP channel equivalences -| Integrator: 700 initial calls, 20 bins, stratified = T +| Integrator: 760 initial calls, 20 bins, stratified = T | Integrator: VAMP |=============================================================================| | It Calls Integral[fb] Error[fb] Err[%] Acc Eff[%] Chi2 N[It] | |=============================================================================| - 1 700 3.067E+01 5.07E+00 16.53 4.37 14.3 + 1 748 2.365E+01 4.13E+00 17.46 4.78 13.6 |-----------------------------------------------------------------------------| - 1 700 3.067E+01 5.07E+00 16.53 4.37 14.3 + 1 748 2.365E+01 4.13E+00 17.46 4.78 13.6 |=============================================================================| | WHIZARD run finished. |=============================================================================| Index: trunk/share/tests/functional_tests/ref-output/photon_isolation_1.ref =================================================================== --- trunk/share/tests/functional_tests/ref-output/photon_isolation_1.ref (revision 8412) +++ trunk/share/tests/functional_tests/ref-output/photon_isolation_1.ref (revision 8413) @@ -1,60 +1,60 @@ ?openmp_logging = false ?vis_history = false ?integration_timer = false ?pacify = true seed = 0 phs_off_shell = 1 phs_t_channel = 2 SM.mc => 5.00000E+00 openmp_num_threads = 1 | Process library 'photon_isolation_1_lib': recorded process 'photon_isolation_1_p1' sqrts = 4.00000E+02 | Integrate: current process library needs compilation | Process library 'photon_isolation_1_lib': compiling ... | Process library 'photon_isolation_1_lib': writing makefile | Process library 'photon_isolation_1_lib': removing old files | Process library 'photon_isolation_1_lib': writing driver | Process library 'photon_isolation_1_lib': creating source code | Process library 'photon_isolation_1_lib': compiling sources | Process library 'photon_isolation_1_lib': linking | Process library 'photon_isolation_1_lib': loading | Process library 'photon_isolation_1_lib': ... success. | Integrate: compilation done | RNG: Initializing TAO random-number generator | RNG: Setting seed for random-number generator to 0 | Initializing integration for process photon_isolation_1_p1: | Beam structure: [any particles] | Beam data (collision): | t (mass = 1.7310000E+02 GeV) | tbar (mass = 1.7310000E+02 GeV) | sqrts = 4.000000000000E+02 GeV | Phase space: generating configuration ... | Phase space: ... success. | Phase space: writing configuration file 'photon_isolation_1_p1.i1.phs' | ------------------------------------------------------------------------ | Process [scattering]: 'photon_isolation_1_p1' | Library name = 'photon_isolation_1_lib' | Process index = 1 | Process components: -| 1: 'photon_isolation_1_p1_i1': t, tbar => A, A, c, cbar [omega] +| 1: 'photon_isolation_1_p1_i1': t, tbar => A, A, s, sbar [omega] | ------------------------------------------------------------------------ | Phase space: 64 channels, 8 dimensions | Phase space: found 64 channels, collected in 10 groves. | Phase space: Using 192 equivalences between channels. | Phase space: wood | Applying user-defined cuts. | Starting integration for process 'photon_isolation_1_p1' -| Integrate: iterations = 1:640:"gw" +| Integrate: iterations = 1:940:"gw" | Integrator: 10 chains, 64 channels, 8 dimensions | Integrator: Using VAMP channel equivalences -| Integrator: 640 initial calls, 20 bins, stratified = T +| Integrator: 940 initial calls, 20 bins, stratified = T | Integrator: VAMP |=============================================================================| | It Calls Integral[fb] Error[fb] Err[%] Acc Eff[%] Chi2 N[It] | |=============================================================================| - 1 640 9.485E+00 2.39E+00 25.19 6.37 11.5 + 1 896 4.358E+00 8.74E-01 20.05 6.00 10.1 |-----------------------------------------------------------------------------| - 1 640 9.485E+00 2.39E+00 25.19 6.37 11.5 + 1 896 4.358E+00 8.74E-01 20.05 6.00 10.1 |=============================================================================| | WHIZARD run finished. |=============================================================================| Index: trunk/share/tests/unit_tests/ref-output/restricted_subprocesses_2.ref =================================================================== --- trunk/share/tests/unit_tests/ref-output/restricted_subprocesses_2.ref (revision 8412) +++ trunk/share/tests/unit_tests/ref-output/restricted_subprocesses_2.ref (revision 8413) @@ -1,124 +1,124 @@ * Test output: restricted_subprocesses_2 * Purpose: create subprocess library from resonances * Create resonance histories Resonance history with 1 resonances: Resonance contributors: 1 2 f(-24) Resonance history with 1 resonances: Resonance contributors: 1 2 3 f(23) * Empty restricted subprocess set active = F Resonant subprocess set: [not allocated] * Fill restricted subprocess set active = T Resonant subprocess set: Component #1 Resonance history set: 1 Resonance history with 1 resonances: 1 2 f(-24) contained in () 2 Resonance history with 1 resonances: 1 2 3 f(23) contained in () Process library = 'restricted_subprocesses_2_p_R' Event transform: not associated * Queries n_process = 2 libname = 'restricted_subprocesses_2_p_R' proc_id(1) = 'restricted_subprocesses_2_p_R1' proc_id(2) = 'restricted_subprocesses_2_p_R2' * Process library Process library: restricted_subprocesses_2_p_R external = T makefile exists = T driver exists = T code status = a Process library entries: 2 Entry #1: [a] restricted_subprocesses_2_p_R1.1 = ext:1 (omega) Entry #2: [a] restricted_subprocesses_2_p_R2.1 = ext:2 (omega) External matrix-element code library: restricted_subprocesses_2_p_R static = F loaded = T - MD5 sum = 'A253D47861C696A42F7CC986539F9377' + MD5 sum = '5D90F989443FB5E1F415E6259A8676BF' DL access info: is open = T error = [none] Matrix-element code entries: restricted_subprocesses_2_p_R1_i1 [SM] omega: init update_alpha_s reset_helicity_selection is_allowed new_event get_amplitude restricted_subprocesses_2_p_R2_i1 [SM] omega: init update_alpha_s reset_helicity_selection is_allowed new_event get_amplitude Process #1: ID = 'restricted_subprocesses_2_p_R1' Scattering Model = SM Initially defined component(s) = 1 Extra generated component(s) = 0 - MD5 sum = '8001C897AD895774DBE8F58A2871E612' + MD5 sum = 'B8BCACCA24AD0E78887CB5215A846FE1' Component #1 Component ID = restricted_subprocesses_2_p_R1_i1 Initial component = T N (in, out, tot) = 2 3 5 Particle content = e-, e+ => d, u, W+ Method = omega Process variant = omega Model name = "SM" Mode string = " -scatter" Process string = " 'e- e+ -> d u W+'" Restrictions = "3+4~W-" OpenMP support = F Report progress = T Extra options = " " Write diagrams = F Write color diag. = F Complex Mass S. = F - MD5 sum (def) = '97FC731CD727E5BD5D9240261F86F99E' + MD5 sum (def) = '661A8DB7B5EEB9AA53C1D9C0CCA7CFD9' Process #2: ID = 'restricted_subprocesses_2_p_R2' Scattering Model = SM Initially defined component(s) = 1 Extra generated component(s) = 0 - MD5 sum = 'AB853A6CD84C5DC8ACC4FADA063CAEB2' + MD5 sum = '895A539A13AAED925283BD39990B24DF' Component #1 Component ID = restricted_subprocesses_2_p_R2_i1 Initial component = T N (in, out, tot) = 2 3 5 Particle content = e-, e+ => d, u, W+ Method = omega Process variant = omega Model name = "SM" Mode string = " -scatter" Process string = " 'e- e+ -> d u W+'" Restrictions = "3+4+5~Z" OpenMP support = F Report progress = T Extra options = " " Write diagrams = F Write color diag. = F Complex Mass S. = F - MD5 sum (def) = 'BA5013F7E7D118570F5AFFD45F6A3A87' + MD5 sum (def) = '324A2E15F964C9BE1F956CE9B4E06823' * Cleanup * Test output end: restricted_subprocesses_2 Index: trunk/share/tests/unit_tests/ref-output/auto_components_1.ref =================================================================== --- trunk/share/tests/unit_tests/ref-output/auto_components_1.ref (revision 8412) +++ trunk/share/tests/unit_tests/ref-output/auto_components_1.ref (revision 8413) @@ -1,71 +1,76 @@ * Test output: auto_components_1 * Purpose: determine Higgs decay table * Read Standard Model * Higgs decays n = 2 Decays for particle: H + c cbar b bbar tau- tau+ * Higgs decays n = 3 (w/o radiative) Decays for particle: H + c cbar b bbar tau- tau+ d dbar Z d ubar W+ dbar u W- u ubar Z s sbar Z s cbar W+ sbar c W- c cbar Z b bbar Z e- e+ Z e- nuebar W+ e+ nue W- nue nuebar Z mu- mu+ Z mu- numubar W+ mu+ numu W- numu numubar Z tau- tau+ Z tau- nutaubar W+ tau+ nutau W- nutau nutaubar Z * Higgs decays n = 3 (w/ radiative) Decays for particle: H + c cbar b bbar tau- tau+ d dbar Z d ubar W+ dbar u W- u ubar Z s sbar Z s cbar W+ sbar c W- + c cbar gl + c cbar A c cbar Z b bbar gl b bbar A b bbar Z e- e+ Z e- nuebar W+ e+ nue W- nue nuebar Z mu- mu+ Z mu- numubar W+ mu+ numu W- numu numubar Z tau- tau+ A tau- tau+ Z tau- nutaubar W+ tau+ nutau W- nutau nutaubar Z * Cleanup * Test output end: auto_components_1 Index: trunk/share/tests/unit_tests/ref-output/simulations_14.ref =================================================================== --- trunk/share/tests/unit_tests/ref-output/simulations_14.ref (revision 8412) +++ trunk/share/tests/unit_tests/ref-output/simulations_14.ref (revision 8413) @@ -1,243 +1,243 @@ * Test output: simulations_14 * Purpose: construct resonant subprocesses in the simulation object * Build and load a test library with one process * Initialize process library and process ID = 'simulations_14_p' Scattering Model = SM Initially defined component(s) = 1 Extra generated component(s) = 0 Resonant subprocesses required MD5 sum = ' ' Component #1 Component ID = simulations_14_p_i1 Initial component = T N (in, out, tot) = 2 3 5 Particle content = e+, e- => d, ubar, W+ Method = omega Process variant = omega Model name = "SM" Mode string = " -scatter" Process string = " 'e+ e- -> d ubar W+'" Restrictions = "" OpenMP support = F Report progress = F Extra options = "" Write diagrams = F Write color diag. = F Complex Mass S. = F MD5 sum (def) = ' ' * Initialize simulation object with resonant subprocesses Resonant subprocess set: Component #1 Resonance history set: 1 Resonance history with 1 resonances: 1 2 f(-24) contained in () 2 Resonance history with 1 resonances: 1 2 3 f(23) contained in () Process library = 'simulations_14_p_R' Process sqme = 0.000000000000E+00 Event transform: associated Selector: [inactive] Resonant subprocesses refer to process component #1 * Resonant subprocesses: generated library Process library: simulations_14_p_R external = T makefile exists = T driver exists = T code status = a Process library entries: 2 Entry #1: [a] simulations_14_p_R1.1 = ext:1 (omega) Entry #2: [a] simulations_14_p_R2.1 = ext:2 (omega) External matrix-element code library: simulations_14_p_R static = F loaded = T - MD5 sum = '0836DDE939C39770DE468113A68238C9' + MD5 sum = '0D7BC5E557BFFF9AC5115737C90124E2' DL access info: is open = T error = [none] Matrix-element code entries: simulations_14_p_R1_i1 [SM] omega: init update_alpha_s reset_helicity_selection is_allowed new_event get_amplitude simulations_14_p_R2_i1 [SM] omega: init update_alpha_s reset_helicity_selection is_allowed new_event get_amplitude Process #1: ID = 'simulations_14_p_R1' Scattering Model = SM Initially defined component(s) = 1 Extra generated component(s) = 0 - MD5 sum = '1B73D3D47E78891330A6AEDF0E8240EE' + MD5 sum = '27C694ABC5FFA917C419ACE42094F437' Component #1 Component ID = simulations_14_p_R1_i1 Initial component = T N (in, out, tot) = 2 3 5 Particle content = e+, e- => d, ubar, W+ Method = omega Process variant = omega Model name = "SM" Mode string = " -scatter" Process string = " 'e+ e- -> d ubar W+'" Restrictions = "3+4~W-" OpenMP support = F Report progress = T Extra options = " " Write diagrams = F Write color diag. = F Complex Mass S. = F - MD5 sum (def) = 'D1EE76B11BF49A5396D87097783EE47F' + MD5 sum (def) = 'B0862D9FA47EB2D9F59B6C0440EF80FA' Process #2: ID = 'simulations_14_p_R2' Scattering Model = SM Initially defined component(s) = 1 Extra generated component(s) = 0 - MD5 sum = '858AA2D2534448AC47D88616CDDC8892' + MD5 sum = '68CD9904A2B52E802C1E3EEC27468ABB' Component #1 Component ID = simulations_14_p_R2_i1 Initial component = T N (in, out, tot) = 2 3 5 Particle content = e+, e- => d, ubar, W+ Method = omega Process variant = omega Model name = "SM" Mode string = " -scatter" Process string = " 'e+ e- -> d ubar W+'" Restrictions = "3+4+5~Z" OpenMP support = F Report progress = T Extra options = " " Write diagrams = F Write color diag. = F Complex Mass S. = F - MD5 sum (def) = '5C20236B8DCD9D92A91E50AF3DB8B993' + MD5 sum (def) = 'C60F854F405C823B5508CDD553689F74' * Generated process stack simulations_14_p_R2: [integral undefined] simulations_14_p_R1: [integral undefined] simulations_14_p: [integral undefined] * Particle set Particle set: ------------------------------------------------------------------------ [empty] * Initialize object for direct access Event direct access: i_evt = [undefined] i_prc = 1 i_mci = 1 i_term = 1 channel = 1 passed = [N/A] Particle set: ------------------------------------------------------------------------ Particle 1 [i] f(-11) E = 5.000000000000E+02 P = 0.000000000000E+00 0.000000000000E+00 5.000000000000E+02 T = 0.000000000000E+00 Children: 3 4 5 Particle 2 [i] f(11) E = 5.000000000000E+02 P = 0.000000000000E+00 0.000000000000E+00 -5.000000000000E+02 T = 0.000000000000E+00 Children: 3 4 5 Particle 3 [o] f(1) E = 2.500000000000E+02 P = 2.467792535851E+02 4.000000000000E+01 0.000000000000E+00 T = 0.000000000000E+00 Parents: 1 2 Particle 4 [o] f(-2) E = 2.500000000000E+02 P = 2.467792535851E+02 -4.000000000000E+01 0.000000000000E+00 T = 0.000000000000E+00 Parents: 1 2 Particle 5 [o] f(24) E = 5.000000000000E+02 P = -4.935585071701E+02 0.000000000000E+00 0.000000000000E+00 T = 6.400000000000E+03 Parents: 1 2 * Transfer and show particle set Particle set: ------------------------------------------------------------------------ Particle 1 [i] f(-11) E = 5.000000000000E+02 P = 0.000000000000E+00 0.000000000000E+00 5.000000000000E+02 T = 0.000000000000E+00 Children: 3 4 5 Particle 2 [i] f(11) E = 5.000000000000E+02 P = 0.000000000000E+00 0.000000000000E+00 -5.000000000000E+02 T = 0.000000000000E+00 Children: 3 4 5 Particle 3 [o] f(1) E = 2.500000000000E+02 P = 2.467792535851E+02 4.000000000000E+01 0.000000000000E+00 T = 0.000000000000E+00 Parents: 1 2 Particle 4 [o] f(-2) E = 2.500000000000E+02 P = 2.467792535851E+02 -4.000000000000E+01 0.000000000000E+00 T = 0.000000000000E+00 Parents: 1 2 Particle 5 [o] f(24) E = 5.000000000000E+02 P = -4.935585071701E+02 0.000000000000E+00 0.000000000000E+00 T = 6.400000000000E+03 Parents: 1 2 * (Re)calculate matrix element * Show event with sqme ======================================================================== Event ======================================================================== count = 1 passed = [N/A] prc id = 1 ------------------------------------------------------------------------ sqme (ref) = [undefined] sqme (prc) = 2.356220544080E-03 weight (ref) = [undefined] weight (prc) = 0.000000000000E+00 excess (prc) = 0.000000000000E+00 ------------------------------------------------------------------------ Particle set: ------------------------------------------------------------------------ Nr Status Flavor Col ACol Parents Children P(0) P(1) P(2) P(3) P^2 1 [i] e+ 0 0 [none] 3,6 500.000 0.000 0.000 500.000 0.000 2 [i] e- 0 0 [none] 3,6 500.000 0.000 0.000 -500.000 0.000 3 [r] W- 0 0 1-2 4-5 500.000 493.559 0.000 0.000 6400.000 4 [o] d 1 0 3 [none] 250.000 246.779 40.000 0.000 0.000 5 [o] ubar 0 1 3 [none] 250.000 246.779 -40.000 0.000 0.000 6 [o] W+ 0 0 1-2 [none] 500.000 -493.559 0.000 0.000 6467.216 * Write event to separate file 'simulations_14_event_verbose.log' * Cleanup * Test output end: simulations_14 Index: trunk/share/models/SM_Higgs_CKM.mdl =================================================================== --- trunk/share/models/SM_Higgs_CKM.mdl (revision 8412) +++ trunk/share/models/SM_Higgs_CKM.mdl (revision 8413) @@ -1,274 +1,273 @@ ######################################################################## # Standard Model with full CKM matrix, including the effective # Hgg / HAA / HZA / Hmm / Hee couplings model "SM_Higgs_CKM" # Independent parameters ### DO NOT CHANGE THE ORDER OF THESE PARAMETERS parameter GF = 1.16639E-5 # Fermi constant parameter mZ = 91.1882 # Z-boson mass parameter mW = 80.419 # W-boson mass parameter mH = 125 # Higgs mass parameter alphas = 0.1178 # Strong coupling constant (Z point) parameter me = 0.000510997 # electron mass parameter mmu = 0.105658389 # muon mass parameter mtau = 1.77705 # tau-lepton mass parameter ms = 0.095 # s-quark mass parameter mc = 1.2 # c-quark mass parameter mb = 4.2 # b-quark mass parameter mtop = 173.1 # t-quark mass parameter wtop = 1.523 # t-quark width parameter wZ = 2.443 # Z-boson width parameter wW = 2.049 # W-boson width parameter wH = 0.004143 # Higgs width # Here are the values from PDG 2006 parameter vckm11 = 0.97383 # Vud parameter vckm12 = 0.2272 # Vus parameter vckm13 = 0.00396 # Vub parameter vckm21 = -0.2271 # Vcd parameter vckm22 = 0.97296 # Vcs parameter vckm23 = 0.04221 # Vcb parameter vckm31 = 0.00814 # Vtd parameter vckm32 = -0.04161 # Vts parameter vckm33 = 0.99910 # Vtb parameter khgaz = 1.000 # anomaly Higgs couplings K factors parameter khgaga = 1.000 # anomaly Higgs couplings K factors parameter khgg = 1.000 # anomaly Higgs couplings K factors parameter xi0 = 0.000 # R_xi parameter for Z-boson parameter xipm = 0.000 # R_xi parameter for W-boson # Dependent parameters derived v = 1 / sqrt (sqrt (2.) * GF) # v (Higgs vev) derived cw = mW / mZ # cos(theta-W) derived sw = sqrt (1-cw**2) # sin(theta-W) derived ee = 2 * sw * mW / v # em-coupling (GF scheme) derived alpha_em_i = 4 * pi / ee**2 # inverse fine structure const ######################################################################## # Particle content # The quarks particle D_QUARK 1 parton spin 1/2 charge -1/3 isospin -1/2 color 3 name d down anti dbar D "d~" tex_anti "\bar{d}" particle U_QUARK 2 parton spin 1/2 charge 2/3 isospin 1/2 color 3 name u up anti ubar U "u~" tex_anti "\bar{u}" particle S_QUARK 3 like D_QUARK name s strange anti sbar S "s~" tex_anti "\bar{s}" mass ms particle C_QUARK 4 like U_QUARK name c charm anti cbar C "c~" tex_anti "\bar{c}" mass mc particle B_QUARK 5 like D_QUARK name b bottom anti bbar B "b~" tex_anti "\bar{b}" mass mb particle T_QUARK 6 like U_QUARK name t top anti tbar T "t~" tex_anti "\bar{t}" mass mtop width wtop # The leptons particle E_LEPTON 11 spin 1/2 charge -1 isospin -1/2 name "e-" e1 electron e anti "e+" E1 positron tex_name "e^-" tex_anti "e^+" mass me particle E_NEUTRINO 12 left spin 1/2 isospin 1/2 name nue n1 "nu_e" ve "e-neutrino" anti nuebar N1 "ve~" tex_name "\nu_e" tex_anti "\bar\nu_e" particle MU_LEPTON 13 like E_LEPTON name "mu-" e2 mu muon anti "mu+" E2 tex_name "\mu^-" tex_anti "\mu^+" mass mmu particle MU_NEUTRINO 14 like E_NEUTRINO name numu "nu_mu" n2 vm "mu-neutrino" anti numubar N2 "vm~" tex_name "\nu_\mu" tex_anti "\bar\nu_\mu" particle TAU_LEPTON 15 like E_LEPTON name "tau-" e3 tau "ta-" tauon anti "tau+" E3 "ta+" tex_name "\tau^-" tex_anti "\tau^+" mass mtau particle TAU_NEUTRINO 16 like E_NEUTRINO name nutau "nu_tau" n3 vt "tau_neutrino" anti nutaubar N3 "vt~" tex_name "\nu_\tau" tex_anti "\bar\nu_\tau" # The vector bosons particle GLUON 21 parton gauge spin 1 color 8 name gl g G gluon particle PHOTON 22 gauge spin 1 name A gamma photon tex_name "\gamma" particle Z_BOSON 23 gauge spin 1 name Z mass mZ width wZ particle W_BOSON 24 gauge spin 1 charge 1 name "W+" Wp anti "W-" Wm tex_name "W^+" tex_anti "W^-" mass mW width wW # The Higgs particle HIGGS 25 spin 0 name H h Higgs mass mH width wH # Hadrons particle PROTON 2212 spin 1/2 charge 1 name p "p+" anti pbar "p-" # Beam remnants for proton colliders particle HADRON_REMNANT 90 name hr tex_name "had_r" particle HADRON_REMNANT_SINGLET 91 name hr1 tex_name "had_r^{(1)}" particle HADRON_REMNANT_TRIPLET 92 color 3 name hr3 tex_name "had_r^{(3)}" anti hr3bar tex_anti "had_r^{(\bar 3)}" particle HADRON_REMNANT_OCTET 93 color 8 name hr8 tex_name "had_r^{(8)}" ######################################################################## # Vertices of the Standard model # In graphs with identical structure the first vertex is kept for phase space # therefore, lighter particles come before heavier ones. # QED vertex D d A vertex U u A vertex S s A vertex C c A vertex B b A vertex T t A vertex E1 e1 A vertex E2 e2 A vertex E3 e3 A # QCD vertex G G G vertex G G G G vertex D d G vertex U u G vertex S s G vertex C c G vertex B b G vertex T t G # Neutral currents vertex D d Z vertex U u Z vertex S s Z vertex C c Z vertex B b Z vertex T t Z vertex E1 e1 Z vertex E2 e2 Z vertex E3 e3 Z vertex N1 n1 Z vertex N2 n2 Z vertex N3 n3 Z # Charged currents vertex U d Wp vertex U s Wp vertex U b Wp vertex C d Wp vertex C s Wp vertex C b Wp vertex T d Wp vertex T s Wp vertex T b Wp vertex D u Wm vertex D c Wm vertex D t Wm vertex S u Wm vertex S c Wm vertex S t Wm vertex B u Wm vertex B c Wm vertex B t Wm vertex N1 e1 Wp vertex N2 e2 Wp vertex N3 e3 Wp vertex E1 n1 Wm vertex E2 n2 Wm vertex E3 n3 Wm # Yukawa -### keeping only 3rd generation for the moment -# vertex S s H +vertex S s H vertex C c H vertex B b H vertex T t H vertex E1 e1 H vertex E2 e2 H vertex E3 e3 H # Vector-boson self-interactions vertex Wp Wm A vertex Wp Wm Z vertex Wp Wm Z Z vertex Wp Wp Wm Wm vertex Wp Wm Z A vertex Wp Wm A A # Higgs - vector boson vertex H Z A vertex H A A vertex H g g vertex H Wp Wm vertex H Z Z vertex H H Wp Wm vertex H H Z Z # Higgs self-interactions vertex H H H vertex H H H H Index: trunk/share/models/SM_Higgs.mdl =================================================================== --- trunk/share/models/SM_Higgs.mdl (revision 8412) +++ trunk/share/models/SM_Higgs.mdl (revision 8413) @@ -1,252 +1,251 @@ ######################################################################## # Standard Model with trivial CKM matrix, including the effective # Hgg / HAA / HZA / Hmm / Hee couplings model "SM_Higgs" # Independent parameters ### DO NOT CHANGE THE ORDER OF THESE PARAMETERS parameter GF = 1.16639E-5 # Fermi constant parameter mZ = 91.1882 # Z-boson mass parameter mW = 80.419 # W-boson mass parameter mH = 125 # Higgs mass parameter alphas = 0.1178 # Strong coupling constant (Z point) parameter me = 0.000510997 # electron mass parameter mmu = 0.105658389 # muon mass parameter mtau = 1.77705 # tau-lepton mass parameter ms = 0.095 # s-quark mass parameter mc = 1.2 # c-quark mass parameter mb = 4.2 # b-quark mass parameter mtop = 173.1 # t-quark mass parameter wtop = 1.523 # t-quark width parameter wZ = 2.443 # Z-boson width parameter wW = 2.049 # W-boson width parameter wH = 0.004143 # Higgs width parameter khgaz = 1.000 # anomaly Higgs couplings K factors parameter khgaga = 1.000 # anomaly Higgs couplings K factors parameter khgg = 1.000 # anomaly Higgs couplings K factors parameter xi0 = 0.000 # R_xi parameter for Z-boson parameter xipm = 0.000 # R_xi parameter for W-boson # Dependent parameters derived v = 1 / sqrt (sqrt (2.) * GF) # v (Higgs vev) derived cw = mW / mZ # cos(theta-W) derived sw = sqrt (1-cw**2) # sin(theta-W) derived ee = 2 * sw * mW / v # em-coupling (GF scheme) derived alpha_em_i = 4 * pi / ee**2 # inverse fine structure const ######################################################################## # Particle content # The quarks particle D_QUARK 1 parton spin 1/2 charge -1/3 isospin -1/2 color 3 name d down anti dbar D "d~" tex_anti "\bar{d}" particle U_QUARK 2 parton spin 1/2 charge 2/3 isospin 1/2 color 3 name u up anti ubar U "u~" tex_anti "\bar{u}" particle S_QUARK 3 like D_QUARK name s strange anti sbar S "s~" tex_anti "\bar{s}" mass ms particle C_QUARK 4 like U_QUARK name c charm anti cbar C "c~" tex_anti "\bar{c}" mass mc particle B_QUARK 5 like D_QUARK name b bottom anti bbar B "b~" tex_anti "\bar{b}" mass mb particle T_QUARK 6 like U_QUARK name t top anti tbar T "t~" tex_anti "\bar{t}" mass mtop width wtop # The leptons particle E_LEPTON 11 spin 1/2 charge -1 isospin -1/2 name "e-" e1 electron e anti "e+" E1 positron tex_name "e^-" tex_anti "e^+" mass me particle E_NEUTRINO 12 left spin 1/2 isospin 1/2 name nue n1 "nu_e" ve "e-neutrino" anti nuebar N1 "ve~" tex_name "\nu_e" tex_anti "\bar\nu_e" particle MU_LEPTON 13 like E_LEPTON name "mu-" e2 mu muon anti "mu+" E2 tex_name "\mu^-" tex_anti "\mu^+" mass mmu particle MU_NEUTRINO 14 like E_NEUTRINO name numu "nu_mu" n2 vm "mu-neutrino" anti numubar N2 "vm~" tex_name "\nu_\mu" tex_anti "\bar\nu_\mu" particle TAU_LEPTON 15 like E_LEPTON name "tau-" e3 tau "ta-" tauon anti "tau+" E3 "ta+" tex_name "\tau^-" tex_anti "\tau^+" mass mtau particle TAU_NEUTRINO 16 like E_NEUTRINO name nutau "nu_tau" n3 vt "tau_neutrino" anti nutaubar N3 "vt~" tex_name "\nu_\tau" tex_anti "\bar\nu_\tau" # The vector bosons particle GLUON 21 parton gauge spin 1 color 8 name gl g G gluon particle PHOTON 22 gauge spin 1 name A gamma photon tex_name "\gamma" particle Z_BOSON 23 gauge spin 1 name Z mass mZ width wZ particle W_BOSON 24 gauge spin 1 charge 1 name "W+" Wp anti "W-" Wm tex_name "W^+" tex_anti "W^-" mass mW width wW # The Higgs particle HIGGS 25 spin 0 name H h Higgs mass mH width wH # Hadrons particle PROTON 2212 spin 1/2 charge 1 name p "p+" anti pbar "p-" # Beam remnants for proton colliders particle HADRON_REMNANT 90 name hr tex_name "had_r" particle HADRON_REMNANT_SINGLET 91 name hr1 tex_name "had_r^{(1)}" particle HADRON_REMNANT_TRIPLET 92 color 3 name hr3 tex_name "had_r^{(3)}" anti hr3bar tex_anti "had_r^{(\bar 3)}" particle HADRON_REMNANT_OCTET 93 color 8 name hr8 tex_name "had_r^{(8)}" ######################################################################## # Vertices of the Standard model # In graphs with identical structure the first vertex is kept for phase space # therefore, lighter particles come before heavier ones. # QED vertex D d A vertex U u A vertex S s A vertex C c A vertex B b A vertex T t A vertex E1 e1 A vertex E2 e2 A vertex E3 e3 A # QCD vertex G G G vertex G G G G vertex D d G vertex U u G vertex S s G vertex C c G vertex B b G vertex T t G # Neutral currents vertex D d Z vertex U u Z vertex S s Z vertex C c Z vertex B b Z vertex T t Z vertex E1 e1 Z vertex E2 e2 Z vertex E3 e3 Z vertex N1 n1 Z vertex N2 n2 Z vertex N3 n3 Z # Charged currents vertex U d Wp vertex C s Wp vertex T b Wp vertex D u Wm vertex S c Wm vertex B t Wm vertex N1 e1 Wp vertex N2 e2 Wp vertex N3 e3 Wp vertex E1 n1 Wm vertex E2 n2 Wm vertex E3 n3 Wm # Yukawa -### keeping only 3rd generation for the moment -# vertex S s H +vertex S s H vertex C c H vertex B b H vertex T t H vertex E1 e1 H vertex E2 e2 H vertex E3 e3 H # Vector-boson self-interactions vertex Wp Wm A vertex Wp Wm Z vertex Wp Wm Z Z vertex Wp Wp Wm Wm vertex Wp Wm Z A vertex Wp Wm A A # Higgs - vector boson vertex H Z A vertex H A A vertex H g g vertex H Wp Wm vertex H Z Z vertex H H Wp Wm vertex H H Z Z # Higgs self-interactions vertex H H H vertex H H H H Index: trunk/share/models/SM_CKM.mdl =================================================================== --- trunk/share/models/SM_CKM.mdl (revision 8412) +++ trunk/share/models/SM_CKM.mdl (revision 8413) @@ -1,267 +1,267 @@ ######################################################################## # Standard Model with nontrivial CKM matrix model "SM_CKM" # Independent parameters ### DO NOT CHANGE THE ORDER OF THESE PARAMETERS parameter GF = 1.16639E-5 # Fermi constant parameter mZ = 91.1882 # Z-boson mass parameter mW = 80.419 # W-boson mass parameter mH = 125 # Higgs mass parameter alphas = 0.1178 # Strong coupling constant (Z point) parameter me = 0.000510997 # electron mass parameter mmu = 0.105658389 # muon mass parameter mtau = 1.77705 # tau-lepton mass parameter ms = 0.095 # s-quark mass parameter mc = 1.2 # c-quark mass parameter mb = 4.2 # b-quark mass parameter mtop = 170.9 # t-quark mass parameter wtop = 1.523 # t-quark width parameter wZ = 2.443 # Z-boson width parameter wW = 2.049 # W-boson width parameter wH = 0.004143 # Higgs width # Here are the values from PDG 2006 parameter vckm11 = 0.97383 # Vud parameter vckm12 = 0.2272 # Vus parameter vckm13 = 0.00396 # Vub parameter vckm21 = -0.2271 # Vcd parameter vckm22 = 0.97296 # Vcs parameter vckm23 = 0.04221 # Vcb parameter vckm31 = 0.00814 # Vtd parameter vckm32 = -0.04161 # Vts parameter vckm33 = 0.99910 # Vtb parameter khgaz = 0.000 # anomaly Higgs couplings K factors parameter khgaga = 0.000 # anomaly Higgs couplings K factors parameter khgg = 0.000 # anomaly Higgs couplings K factors parameter xi0 = 0.000 # R_xi parameter for Z-boson parameter xipm = 0.000 # R_xi parameter for W-boson # Dependent parameters derived v = 1 / sqrt (sqrt (2.) * GF) # v (Higgs vev) derived cw = mW / mZ # cos(theta-W) derived sw = sqrt (1-cw**2) # sin(theta-W) derived ee = 2 * sw * mW / v # em-coupling (GF scheme) derived alpha_em_i = 4 * pi / ee**2 # inverse fine structure const ######################################################################## # Particle content # The quarks particle D_QUARK 1 parton spin 1/2 charge -1/3 isospin -1/2 color 3 name d down anti dbar D "d~" tex_anti "\bar{d}" particle U_QUARK 2 parton spin 1/2 charge 2/3 isospin 1/2 color 3 name u up anti ubar U "u~" tex_anti "\bar{u}" particle S_QUARK 3 like D_QUARK name s strange anti sbar S "s~" tex_anti "\bar{s}" mass ms particle C_QUARK 4 like U_QUARK name c charm anti cbar C "c~" tex_anti "\bar{c}" mass mc particle B_QUARK 5 like D_QUARK name b bottom anti bbar B "b~" tex_anti "\bar{b}" mass mb particle T_QUARK 6 like U_QUARK name t top anti tbar T "t~" tex_anti "\bar{t}" mass mtop width wtop # The leptons particle E_LEPTON 11 spin 1/2 charge -1 isospin -1/2 name "e-" e1 electron e anti "e+" E1 positron tex_name "e^-" tex_anti "e^+" mass me particle E_NEUTRINO 12 left spin 1/2 isospin 1/2 name nue n1 "nu_e" ve "e-neutrino" anti nuebar N1 "ve~" tex_name "\nu_e" tex_anti "\bar\nu_e" particle MU_LEPTON 13 like E_LEPTON name "mu-" e2 mu muon anti "mu+" E2 tex_name "\mu^-" tex_anti "\mu^+" mass mmu particle MU_NEUTRINO 14 like E_NEUTRINO name numu "nu_mu" n2 vm "mu-neutrino" anti numubar N2 "vm~" tex_name "\nu_\mu" tex_anti "\bar\nu_\mu" particle TAU_LEPTON 15 like E_LEPTON name "tau-" e3 tau "ta-" tauon anti "tau+" E3 "ta+" tex_name "\tau^-" tex_anti "\tau^+" mass mtau particle TAU_NEUTRINO 16 like E_NEUTRINO name nutau "nu_tau" n3 vt "tau_neutrino" anti nutaubar N3 "vt~" tex_name "\nu_\tau" tex_anti "\bar\nu_\tau" # The vector bosons particle GLUON 21 parton gauge spin 1 color 8 name gl g G gluon particle PHOTON 22 gauge spin 1 name A gamma photon tex_name "\gamma" particle Z_BOSON 23 gauge spin 1 name Z mass mZ width wZ particle W_BOSON 24 gauge spin 1 charge 1 name "W+" Wp anti "W-" Wm tex_name "W^+" tex_anti "W^-" mass mW width wW # The Higgs particle HIGGS 25 spin 0 name H h Higgs mass mH width wH # Hadrons particle PROTON 2212 spin 1/2 charge 1 name p "p+" anti pbar "p-" # Beam remnants for proton colliders particle HADRON_REMNANT 90 name hr tex_name "had_r" particle HADRON_REMNANT_SINGLET 91 name hr1 tex_name "had_r^{(1)}" particle HADRON_REMNANT_TRIPLET 92 color 3 name hr3 tex_name "had_r^{(3)}" anti hr3bar tex_anti "had_r^{(\bar 3)}" particle HADRON_REMNANT_OCTET 93 color 8 name hr8 tex_name "had_r^{(8)}" ######################################################################## # Vertices of the Standard model with nontrivial CKM matrix # In graphs with identical structure, the first vertex is kept for phase space, # therefore, lighter particles come before heavier ones. # QED vertex D d A vertex U u A vertex S s A vertex C c A vertex B b A vertex T t A vertex E1 e1 A vertex E2 e2 A vertex E3 e3 A # QCD vertex G G G vertex G G G G vertex D d G vertex U u G vertex S s G vertex C c G vertex B b G vertex T t G # Neutral currents vertex D d Z vertex U u Z vertex S s Z vertex C c Z vertex B b Z vertex T t Z vertex E1 e1 Z vertex E2 e2 Z vertex E3 e3 Z vertex N1 n1 Z vertex N2 n2 Z vertex N3 n3 Z # Charged currents vertex N1 e1 Wp vertex N2 e2 Wp vertex N3 e3 Wp vertex E1 n1 Wm vertex E2 n2 Wm vertex E3 n3 Wm vertex U d Wp vertex U s Wp vertex U b Wp vertex C d Wp vertex C s Wp vertex C b Wp vertex T d Wp vertex T s Wp vertex T b Wp vertex D u Wm vertex S u Wm vertex B u Wm vertex D c Wm vertex S c Wm vertex B c Wm vertex D t Wm vertex S t Wm vertex B t Wm # Yukawa (neutral) ### keeping only 3rd generation for the moment # vertex S s H -# vertex C c H +vertex C c H vertex B b H vertex T t H # vertex E2 e2 H vertex E3 e3 H # Vector-boson self-interactions vertex Wp Wm A vertex Wp Wm Z vertex Wp Wm Z Z vertex Wp Wp Wm Wm vertex Wp Wm Z A vertex Wp Wm A A # Higgs - vector boson #vertex H Z A #vertex H A A #vertex H g g vertex H Wp Wm vertex H Z Z vertex H H Wp Wm vertex H H Z Z # Higgs self-interactions vertex H H H vertex H H H H Index: trunk/share/models/SM.mdl =================================================================== --- trunk/share/models/SM.mdl (revision 8412) +++ trunk/share/models/SM.mdl (revision 8413) @@ -1,251 +1,251 @@ ######################################################################## # Standard Model with trivial CKM matrix model "SM" schemes = "default", "GF_MW_MZ", "CMS", "Complex_Mass_Scheme" # Independent parameters ### DO NOT CHANGE THE ORDER OF THESE PARAMETERS parameter GF = 1.16639E-5 # Fermi constant parameter mZ = 91.1882 # Z-boson mass parameter mW = 80.419 # W-boson mass parameter mH = 125 # Higgs mass parameter alphas = 0.1178 # Strong coupling constant (Z point) parameter me = 0.000510997 # electron mass parameter mmu = 0.105658389 # muon mass parameter mtau = 1.77705 # tau-lepton mass parameter ms = 0.095 # s-quark mass parameter mc = 1.2 # c-quark mass parameter mb = 4.2 # b-quark mass parameter mtop = 173.1 # t-quark mass parameter wtop = 1.523 # t-quark width parameter wZ = 2.443 # Z-boson width parameter wW = 2.049 # W-boson width parameter wH = 0.004143 # Higgs width parameter khgaz = 0.000 # anomaly Higgs couplings K factors parameter khgaga = 0.000 # anomaly Higgs couplings K factors parameter khgg = 0.000 # anomaly Higgs couplings K factors parameter xi0 = 0.000 # R_xi parameter for Z-boson parameter xipm = 0.000 # R_xi parameter for W-boson # Dependent parameters derived v = 1 / sqrt (sqrt (2.) * GF) # v (Higgs vev) derived cw = mW / mZ # cos(theta-W) derived sw = sqrt (1-cw**2) # sin(theta-W) derived ee = 2 * sw * mW / v # em-coupling (GF scheme) derived alpha_em_i = 4 * pi / ee**2 # inverse fine structure const ######################################################################## # Particle content # The quarks particle D_QUARK 1 parton spin 1/2 charge -1/3 isospin -1/2 color 3 name d down anti dbar D "d~" tex_anti "\bar{d}" particle U_QUARK 2 parton spin 1/2 charge 2/3 isospin 1/2 color 3 name u up anti ubar U "u~" tex_anti "\bar{u}" particle S_QUARK 3 like D_QUARK name s strange anti sbar S "s~" tex_anti "\bar{s}" mass ms particle C_QUARK 4 like U_QUARK name c charm anti cbar C "c~" tex_anti "\bar{c}" mass mc particle B_QUARK 5 like D_QUARK name b bottom anti bbar B "b~" tex_anti "\bar{b}" mass mb particle T_QUARK 6 like U_QUARK name t top anti tbar T "t~" tex_anti "\bar{t}" mass mtop width wtop # The leptons particle E_LEPTON 11 spin 1/2 charge -1 isospin -1/2 name "e-" e1 electron e anti "e+" E1 positron tex_name "e^-" tex_anti "e^+" mass me particle E_NEUTRINO 12 left spin 1/2 isospin 1/2 name nue n1 "nu_e" ve "e-neutrino" anti nuebar N1 "ve~" tex_name "\nu_e" tex_anti "\bar\nu_e" particle MU_LEPTON 13 like E_LEPTON name "mu-" e2 mu muon anti "mu+" E2 tex_name "\mu^-" tex_anti "\mu^+" mass mmu particle MU_NEUTRINO 14 like E_NEUTRINO name numu "nu_mu" n2 vm "mu-neutrino" anti numubar N2 "vm~" tex_name "\nu_\mu" tex_anti "\bar\nu_\mu" particle TAU_LEPTON 15 like E_LEPTON name "tau-" e3 tau "ta-" tauon anti "tau+" E3 "ta+" tex_name "\tau^-" tex_anti "\tau^+" mass mtau particle TAU_NEUTRINO 16 like E_NEUTRINO name nutau "nu_tau" n3 vt "tau_neutrino" anti nutaubar N3 "vt~" tex_name "\nu_\tau" tex_anti "\bar\nu_\tau" # The vector bosons particle GLUON 21 parton gauge spin 1 color 8 name gl g G gluon particle PHOTON 22 gauge spin 1 name A gamma photon tex_name "\gamma" particle Z_BOSON 23 gauge spin 1 name Z mass mZ width wZ particle W_BOSON 24 gauge spin 1 charge 1 name "W+" Wp anti "W-" Wm tex_name "W^+" tex_anti "W^-" mass mW width wW # The Higgs particle HIGGS 25 spin 0 name H h Higgs mass mH width wH # Hadrons particle PROTON 2212 spin 1/2 charge 1 name p "p+" anti pbar "p-" # Beam remnants for proton colliders particle HADRON_REMNANT 90 name hr tex_name "had_r" particle HADRON_REMNANT_SINGLET 91 name hr1 tex_name "had_r^{(1)}" particle HADRON_REMNANT_TRIPLET 92 color 3 name hr3 tex_name "had_r^{(3)}" anti hr3bar tex_anti "had_r^{(\bar 3)}" particle HADRON_REMNANT_OCTET 93 color 8 name hr8 tex_name "had_r^{(8)}" ######################################################################## # Vertices of the Standard model # In graphs with identical structure the first vertex is kept for phase space # therefore, lighter particles come before heavier ones. # QED vertex D d A vertex U u A vertex S s A vertex C c A vertex B b A vertex T t A vertex E1 e1 A vertex E2 e2 A vertex E3 e3 A # QCD vertex G G G vertex G G G G vertex D d G vertex U u G vertex S s G vertex C c G vertex B b G vertex T t G # Neutral currents vertex D d Z vertex U u Z vertex S s Z vertex C c Z vertex B b Z vertex T t Z vertex E1 e1 Z vertex E2 e2 Z vertex E3 e3 Z vertex N1 n1 Z vertex N2 n2 Z vertex N3 n3 Z # Charged currents vertex U d Wp vertex C s Wp vertex T b Wp vertex D u Wm vertex S c Wm vertex B t Wm vertex N1 e1 Wp vertex N2 e2 Wp vertex N3 e3 Wp vertex E1 n1 Wm vertex E2 n2 Wm vertex E3 n3 Wm # Yukawa ### keeping only 3rd generation for the moment # vertex S s H -# vertex C c H +vertex C c H vertex B b H vertex T t H # vertex E2 e2 H vertex E3 e3 H # Vector-boson self-interactions vertex Wp Wm A vertex Wp Wm Z vertex Wp Wm Z Z vertex Wp Wp Wm Wm vertex Wp Wm Z A vertex Wp Wm A A # Higgs - vector boson #vertex H Z A #vertex H A A #vertex H g g vertex H Wp Wm vertex H Z Z vertex H H Wp Wm vertex H H Z Z # Higgs self-interactions vertex H H H vertex H H H H Index: trunk/ChangeLog =================================================================== --- trunk/ChangeLog (revision 8412) +++ trunk/ChangeLog (revision 8413) @@ -1,2034 +1,2037 @@ ChangeLog -- Summary of changes to the WHIZARD package Use svn log to see detailed changes. Version 2.8.3 2020-03-03 RELEASE: version 2.8.3 +2020-06-20 + Adding H-s-s coupling to SM_Higgs(_CKM) models + 2020-06-17 Completion of ILC 2->6 fermion extended test suite 2020-06-15 Bug fix: PYTHIA6/Tauola, correctly assign tau spins for stau decays 2020-06-09 Bug fix: correctly update calls for additional VAMP/2 iterations Bug fix: correct assignment for tau spins from PYTHIA6 interface 2020-06-04 Bug fix: cascades2 tree merge with empty subtree(s) 2020-05-31 Switch $epa_mode for different EPA implementations 2020-05-26 Bug fix: spin information transferred for resonance histories 2020-04-13 HepMC: correct weighted events for non-xsec event normalizations 2020-04-04 Improved HepMC3 interface: HepMC3 Root/RootTree interface 2020-03-24 ISR: Fix on-shell kinematics for events with ?isr_handler=true (set ?isr_handler_keep_mass=false for old behavior) 2020-03-11 Beam masses are correctly passed to hard matrix element for CIRCE2 EPA with polarized beams: double-counting corrected 2020-02-25 Bug fix: Scale and alphas can be retrieved from internal event format to external formats 2020-02-17 Bug fix: ?keep_failed_events now forces output of actual event data Bug fix: particle-set reconstruction (rescanning events w/o radiation) 2020-01-28 Bug fix for left-over EPA parameter epa_e_max (replaced by epa_q_max) 2020-01-23 Bug fix for real components of NLO QCD 2->1 processes 2020-01-22 Bug fix: correct random number sequencing during parallel MPI event generation with rng_stream 2020-01-21 Consistent distribution of events during parallel MPI event generation 2020-01-20 Bug fix for configure setup for automake v1.16+ 2020-01-18 General SLHA parameter files for UFO models supported 2020-01-08 Bug fix: correctly register RECOLA processes with flavor sums 2019-12-19 Support for UFO customized propagators O'Mega unit tests for fermion-number violating interactions 2019-12-10 For distribution building: check for graphviz/dot version 2.40 or newer 2019-11-21 Bug fix: alternate setups now work correctly Infrastructure for accessing alpha_QED event-by-event Guard against tiny numbers that break ASCII event output Enable inverse hyperbolic functions as SINDARIN observables Remove old compiler bug workarounds 2019-11-20 Allow quoted -e argument, implemented -f option 2019-11-19 Bug fix: resonance histories now work also with UFO models Fix in numerical precision of ASCII VAMP2 grids 2019-11-06 Add squared matrix elements to the LCIO event header 2019-11-05 Do not include RNG state in MD5 sum for CIRCE1/2 2019-11-04 Full CIRCE2 ILC 250 and 500 GeV beam spectra added Minor update on LCIO event header information 2019-10-30 NLO QCD for final states completed When using Openloops, v2.1.1+ mandatory 2019-10-25 Binary grid files for VAMP2 integrator ################################################################## 2019-10-24 RELEASE: version 2.8.2 2019-10-20 Bug fix for HepMC linker flags 2019-10-19 Support for spin-2 particles from UFO files 2019-09-27 LCIO event format allows rescan and alternate weights 2019-09-24 Compatibility fix for OCaml v4.08.0+ ################################################################## 2019-09-21 RELEASE: version 2.8.1 2019-09-19 Carriage return characters in UFO models can be parsed Mathematica symbols in UFO models possible Unused/undefined parameters in UFO models handled 2019-09-13 New extended NLO test suite for ee and pp processes 2019-09-09 Photon isolation (separation of perturbative and fragmentation part a la Frixione) 2019-09-05 Major progress on NLO QCD for hadron collisions: - correctly assign flavor structures for alpha regions - fix crossing of particles for initial state splittings - correct assignment for PDF factors for real subtractions - fix kinematics for collinear splittings - bug fix for integrated virtual subtraction terms 2019-09-03 b and c jet selection in cuts and analysis 2019-08-27 Support for Intel MPI 2019-08-20 Complete (preliminary) HepMC3 support (incl. backwards HepMC2 write/read mode) 2019-08-08 Bug fix: handle carriage returns in UFO files (non-Unix OS) ################################################################## 2019-08-07 RELEASE: version 2.8.0 2019-07-31 Complete WHIZARD UFO interface: - general Lorentz structures - matrix element support for general color factors - missing features: Majorana fermions and SLHA 2019-07-20 Make WHIZARD compatible with OCaml 4.08.0+ 2019-07-19 Fix version testing for LHAPDF 6.2.3 and newer Minimal required OCaml version is now 4.02.3. 2019-04-18 Correctly generate ordered FKS tuples for alpha regions from all possible underlying Born processes 2019-04-08 Extended O'Mega/Recola matrix element test suite 2019-03-29 Correct identical particle symmetry factors for FKS subtraction 2019-03-28 Correct assertion of spin-correlated matrix elements for hadron collisions 2019-03-27 Bug fix for cut-off parameter delta_i for collinear plus/minus regions ################################################################## 2019-03-27 RELEASE: version 2.7.1 2019-02-19 Further infrastructure for HepMC3 interface (v3.01.00) 2019-02-07 Explicit configure option for using debugging options Bug fix for performance by removing unnecessary debug operations 2019-01-29 Bug fix for DGLAP remnants with cut-off parameter delta_i 2019-01-24 Radiative decay neu2 -> neu1 A added to MSSM_Hgg model ################################################################## 2019-01-21 RELEASE: version 2.7.0 2018-12-18 Support RECOLA for integrated und unintegrated subtractions 2018-12-11 FCNC top-up sector in model SM_top_anom 2018-12-05 Use libtirpc instead of SunRPC on Arch Linux etc. 2018-11-30 Display rescaling factor for weighted event samples with cuts 2018-11-29 Reintroduce check against different masses in flavor sums Bug fix for wrong couplings in the Littlest Higgs model(s) 2018-11-22 Bug fix for rescanning events with beam structure 2018-11-09 Major refactoring of internal process data 2018-11-02 PYTHIA8 interface 2018-10-29 Flat phase space parametrization with RAMBO (on diet) implemented 2018-10-17 Revise extended test suite 2018-09-27 Process container for RECOLA processes 2018-09-15 Fixes by M. Berggren for PYTHIA6 interface 2018-09-14 First fixes after HepForge modernization ################################################################## 2018-08-23 RELEASE: version 2.6.4 2018-08-09 Infrastructure to check colored subevents 2018-07-10 Infrastructure for running WHIZARD in batch mode 2018-07-04 MPI available from distribution tarball 2018-06-03 Support Intel Fortran Compiler under MAC OS X 2018-05-07 FKS slicing parameter delta_i (initial state) implementend 2018-05-03 Refactor structure function assignment for NLO 2018-05-02 FKS slicing parameter xi_cut, delta_0 implemented 2018-04-20 Workspace subdirectory for process integration (grid/phs files) Packing/unpacking of files at job end/start Exporting integration results from scan loops 2018-04-13 Extended QCD NLO test suite 2018-04-09 Bug fix for Higgs Singlet Extension model 2018-04-06 Workspace subdirectory for process generation and compilation --job-id option for creating job-specific names 2018-03-20 Bug fix for color flow matching in hadron collisions with identical initial state quarks 2018-03-08 Structure functions quantum numbers correctly assigned for NLO 2018-02-24 Configure setup includes 'pgfortran' and 'flang' 2018-02-21 Include spin-correlated matrix elements in interactions 2018-02-15 Separate module for QED ISR structure functions ################################################################## 2018-02-10 RELEASE: version 2.6.3 2018-02-08 Improvements in memory management for PS generation 2018-01-31 Partial refactoring: quantum number assigment NLO Initial-state QCD splittings for hadron collisions 2018-01-25 Bug fix for weighted events with VAMP2 2018-01-17 Generalized interface for Recola versions 1.3+ and 2.1+ 2018-01-15 Channel equivalences also for VAMP2 integrator 2018-01-12 Fix for OCaml compiler 4.06 (and newer) 2017-12-19 RECOLA matrix elements with flavor sums can be integrated 2017-12-18 Bug fix for segmentation fault in empty resonance histories 2017-12-16 Fixing a bug in PYTHIA6 PYHEPC routine by omitting CMShowers from transferral between PYTHIA and WHIZARD event records 2017-12-15 Event index for multiple processes in event file correct ################################################################## 2017-12-13 RELEASE: version 2.6.2 2017-12-07 User can set offset in event numbers 2017-11-29 Possibility to have more than one RECOLA process in one file 2017-11-23 Transversal/mixed (and unitarized) dim-8 operators 2017-11-16 epa_q_max replaces epa_e_max (trivial factor 2) 2017-11-15 O'Mega matrix element compilation silent now 2017-11-14 Complete expanded P-wave form factor for top threshold 2017-11-10 Incoming particles can be accessed in SINDARIN 2017-11-08 Improved handling of resonance insertion, additional parameters 2017-11-04 Added Higgs-electron coupling (SM_Higgs) ################################################################## 2017-11-03 RELEASE: version 2.6.1 2017-10-20 More than 5 NLO components possible at same time 2017-10-19 Gaussian cutoff for shower resonance matching 2017-10-12 Alternative (more efficient) method to generate phase space file 2017-10-11 Bug fix for shower resonance histories for processes with multiple components 2017-09-25 Bug fix for process libraries in shower resonance histories 2017-09-21 Correctly generate pT distribution for EPA remnants 2017-09-20 Set branching ratios for unstable particles also by hand 2017-09-14 Correctly generate pT distribution for ISR photons ################################################################## 2017-09-08 RELEASE: version 2.6.0 2017-09-05 Bug fix for initial state NLO QCD flavor structures Real and virtual NLO QCD hadron collider processes work with internal interactions 2017-09-04 Fully validated MPI integration and event generation 2017-09-01 Resonance histories for shower: full support Bug fix in O'Mega model constraints O'Mega allows to output a parsable form of the DAG 2017-08-24 Resonance histories in events for transferral to parton shower (e.g. in ee -> jjjj) 2017-08-01 Alpha version of HepMC v3 interface (not yet really functional) 2017-07-31 Beta version for RECOLA OLP support 2017-07-06 Radiation generator fix for LHC processes 2017-06-30 Fix bug for NLO with structure functions and/or polarization 2017-06-23 Collinear limit for QED corrections works 2017-06-17 POWHEG grids generated already during integration 2017-06-12 Soft limit for QED corrections works 2017-05-16 Beta version of full MPI parallelization (VAMP2) Check consistency of POWHEG grid files Logfile config-summary.log for configure summary 2017-05-12 Allow polarization in top threshold 2017-05-09 Minimal demand automake 1.12.2 Silent rules for make procedures 2017-05-07 Major fix for POWHEG damping Correctly initialize FKS ISR phasespace ################################################################## 2017-05-06 RELEASE: version 2.5.0 2017-05-05 Full UFO support (SM-like models) Fixed-beam ISR FKS phase space 2017-04-26 QED splittings in radiation generator 2017-04-10 Retire deprecated O'Mega vertex cache files ################################################################## 2017-03-24 RELEASE: version 2.4.1 2017-03-16 Distinguish resonance charge in phase space channels Keep track of resonance histories in phase space Complex mass scheme default for OpenLoops amplitudes 2017-03-13 Fix helicities for polarized OpenLoops calculations 2017-03-09 Possibility to advance RNG state in rng_stream 2017-03-04 General setup for partitioning real emission phase space 2017-03-06 Bug fix on rescan command for converting event files 2017-02-27 Alternative multi-channel VEGAS implementation VAMP2: serial backbone for MPI setup Smoothstep top threshold matching 2017-02-25 Single-beam structure function with s-channel mapping supported Safeguard against invalid process libraries 2017-02-16 Radiation generator for photon emission 2017-02-10 Fixes for NLO QCD processes (color correlations) 2017-01-16 LCIO variable takes precedence over LCIO_DIR 2017-01-13 Alternative random number generator rng_stream (cf. L'Ecuyer et al.) 2017-01-01 Fix for multi-flavor BLHA tree matrix elements 2016-12-31 Grid path option for VAMP grids 2016-12-28 Alpha version of Recola OLP support 2016-12-27 Dalitz plots for FKS phase space 2016-12-14 NLO multi-flavor events possible 2016-12-09 LCIO event header information added 2016-12-02 Alpha version of RECOLA interface Bug fix for generator status in LCIO ################################################################## 2016-11-28 RELEASE: version 2.4.0 2016-11-24 Bug fix for OpenLoops interface: EW scheme is set by WHIZARD Bug fixes for top threshold implementation 2016-11-11 Refactoring of dispatching 2016-10-18 Bug fix for LCIO output 2016-10-10 First implementation for collinear soft terms 2016-10-06 First full WHIZARD models from UFO files 2016-10-05 WHIZARD does not support legacy gcc 4.7.4 any longer 2016-09-30 Major refactoring of process core and NLO components 2016-09-23 WHIZARD homogeneous entity: discarding subconfigures for CIRCE1/2, O'Mega, VAMP subpackages; these are reconstructable by script projectors 2016-09-06 Introduce main configure summary 2016-08-26 Fix memory leak in event generation ################################################################## 2016-08-25 RELEASE: version 2.3.1 2016-08-19 Bug fix for EW-scheme dependence of gluino propagators 2016-08-01 Beta version of complex mass scheme support 2016-07-26 Fix bug in POWHEG damping for the matching ################################################################## 2016-07-21 RELEASE: version 2.3.0 2016-07-20 UFO file support (alpha version) in O'Mega 2016-07-13 New (more) stable of WHIZARD GUI Support for EW schemes for OpenLoops Factorized NLO top decays for threshold model 2016-06-15 Passing factorization scale to PYTHIA6 Adding charge and neutral observables 2016-06-14 Correcting angular distribution/tweaked kinematics in non-collinear structure functions splittings 2016-05-10 Include (Fortran) TAUOLA/PHOTOS for tau decays via PYTHIA6 (backwards validation of LC CDR/TDR samples) 2016-04-27 Within OpenLoops virtuals: support for Collier library 2016-04-25 O'Mega vertex tables only loaded at first usage 2016-04-21 New CJ15 PDF parameterizations added 2016-04-21 Support for hadron collisions at NLO QCD 2016-04-05 Support for different (parameter) schemes in model files 2016-03-31 Correct transferral of lifetime/vertex from PYTHIA/TAUOLA into the event record 2016-03-21 New internal implementation of polarization via Bloch vectors, remove pointer constructions 2016-03-13 Extension of cascade syntax for processes: exclude propagators/vertices etc. possible 2016-02-24 Full support for OpenLoops QCD NLO matrix elements, inclusion in test suite 2016-02-12 Substantial progress on QCD NLO support 2016-02-02 Automated resonance mapping for FKS subtraction 2015-12-17 New BSM model WZW for diphoton resonances ################################################################## 2015-11-22 RELEASE: version 2.2.8 2015-11-21 Bug fix for fixed-order NLO events 2015-11-20 Anomalous FCNC top-charm vertices 2015-11-19 StdHEP output via HEPEVT/HEPEV4 supported 2015-11-18 Full set of electroweak dim-6 operators included 2015-10-22 Polarized one-loop amplitudes supported 2015-10-21 Fixes for event formats for showered events 2015-10-14 Callback mechanism for event output 2015-09-22 Bypass matrix elements in pure event sample rescans StdHep frozen final version v5.06.01 included internally 2015-09-21 configure option --with-precision to demand 64bit, 80bit, or 128bit Fortran and bind C precision types 2015-09-07 More extensive tests of NLO infrastructure and POWHEG matching 2015-09-01 NLO decay infrastructure User-defined squared matrix elements Inclusive FastJet algorithm plugin Numerical improvement for small boosts ################################################################## 2015-08-11 RELEASE: version 2.2.7 2015-08-10 Infrastructure for damped POWHEG Massive emitters in POWHEG Born matrix elements via BLHA GoSam filters via SINDARIN Minor running coupling bug fixes Fixed-order NLO events 2015-08-06 CT14 PDFs included (LO, NLO, NNLL) 2015-07-07 Revalidation of ILC WHIZARD-PYTHIA event chain Extended test suite for showered events Alpha version of massive FSR for POWHEG 2015-06-09 Fix memory leak in interaction for long cascades Catch mismatch between beam definition and CIRCE2 spectrum 2015-06-08 Automated POWHEG matching: beta version Infrastructure for GKS matching Alpha version of fixed-order NLO events CIRCE2 polarization averaged spectra with explicitly polarized beams 2015-05-12 Abstract matching type: OO structure for matching/merging 2015-05-07 Bug fix in event record WHIZARD-PYTHIA6 transferral Gaussian beam spectra for lepton colliders ################################################################## 2015-05-02 RELEASE: version 2.2.6 2015-05-01 Models for (unitarized) tensor resonances in VBS 2015-04-28 Bug fix in channel weights for event generation. 2015-04-18 Improved event record transfer WHIZARD/PYTHIA6 2015-03-19 POWHEG matching: alpha version ################################################################## 2015-02-27 RELEASE: version 2.2.5 2015-02-26 Abstract types for quantum numbers 2015-02-25 Read-in of StdHEP events, self-tests 2015-02-22 Bug fix for mother-daughter relations in showered/hadronized events 2015-02-20 Projection on polarization in intermediate states 2015-02-13 Correct treatment of beam remnants in event formats (also LC remnants) ################################################################## 2015-02-06 RELEASE: version 2.2.4 2015-02-06 Bug fix in event output 2015-02-05 LCIO event format supported 2015-01-30 Including state matrices in WHIZARD's internal IO Versioning for WHIZARD's internal IO Libtool update from 2.4.3 to 2.4.5 LCIO event output (beta version) 2015-01-27 Progress on NLO integration Fixing a bug for multiple processes in a single event file when using beam event files 2015-01-19 Bug fix for spin correlations evaluated in the rest frame of the mother particle 2015-01-17 Regression fix for statically linked processes from SARAH and FeynRules 2015-01-10 NLO: massive FKS emitters supported (experimental) 2015-01-06 MMHT2014 PDF sets included 2015-01-05 Handling mass degeneracies in auto_decays 2014-12-19 Fixing bug in rescan of event files ################################################################## 2014-11-30 RELEASE: version 2.2.3 2014-11-29 Beta version of LO continuum/NLL-threshold matched top threshold model for e+e- physics 2014-11-28 More internal refactoring: disentanglement of module dependencies 2014-11-21 OVM: O'Mega Virtual Machine, bytecode instructions instead of compiled Fortran code 2014-11-01 Higgs Singlet extension model included 2014-10-18 Internal restructuring of code; half-way WHIZARD main code file disassembled 2014-07-09 Alpha version of NLO infrastructure ################################################################## 2014-07-06 RELEASE: version 2.2.2 2014-07-05 CIRCE2: correlated LC beam spectra and GuineaPig Interface to LC machine parameters 2014-07-01 Reading LHEF for decayed/factorized/showered/ hadronized events 2014-06-25 Configure support for GoSAM/Ninja/Form/QGraf 2014-06-22 LHAPDF6 interface 2014-06-18 Module for automatic generation of radiation and loop infrastructure code 2014-06-11 Improved internal directory structure ################################################################## 2014-06-03 RELEASE: version 2.2.1 2014-05-30 Extensions of internal PDG arrays 2014-05-26 FastJet interface 2014-05-24 CJ12 PDFs included 2014-05-20 Regression fix for external models (via SARAH or FeynRules) ################################################################## 2014-05-18 RELEASE: version 2.2.0 2014-04-11 Multiple components: inclusive process definitions, syntax: process A + B + ... 2014-03-13 Improved PS mappings for e+e- ISR ILC TDR and CLIC spectra included in CIRCE1 2014-02-23 New models: AltH w\ Higgs for exclusion purposes, SM_rx for Dim 6-/Dim-8 operators, SSC for general strong interactions (w/ Higgs), and NoH_rx (w\ Higgs) 2014-02-14 Improved s-channel mapping, new on-shell production mapping (e.g. Drell-Yan) 2014-02-03 PRE-RELEASE: version 2.2.0_beta 2014-01-26 O'Mega: Feynman diagram generation possible (again) 2013-12-16 HOPPET interface for b parton matching 2013-11-15 PRE-RELEASE: version 2.2.0_alpha-4 2013-10-27 LHEF standards 1.0/2.0/3.0 implemented 2013-10-15 PRE-RELEASE: version 2.2.0_alpha-3 2013-10-02 PRE-RELEASE: version 2.2.0_alpha-2 2013-09-25 PRE-RELEASE: version 2.2.0_alpha-1 2013-09-12 PRE-RELEASE: version 2.2.0_alpha 2013-09-03 General 2HDM implemented 2013-08-18 Rescanning/recalculating events 2013-06-07 Reconstruction of complete event from 4-momenta possible 2013-05-06 Process library stacks 2013-05-02 Process stacks 2013-04-29 Single-particle phase space module 2013-04-26 Abstract interface for random number generator 2013-04-24 More object-orientation on modules Midpoint-rule integrator 2013-04-05 Object-oriented integration and event generation 2013-03-12 Processes recasted object-oriented: MEs, scales, structure functions First infrastructure for general Lorentz structures 2013-01-17 Object-orientated reworking of library and process core, more variable internal structure, unit tests 2012-12-14 Update Pythia version to 6.4.27 2012-12-04 Fix the phase in HAZ vertices 2012-11-21 First O'Mega unit tests, some infrastructure 2012-11-13 Bug fix in anom. HVV Lorentz structures ################################################################## 2012-09-18 RELEASE: version 2.1.1 2012-09-11 Model MSSM_Hgg with Hgg and HAA vertices 2012-09-10 First version of implementation of multiple interactions in WHIZARD 2012-09-05 Infrastructure for internal CKKW matching 2012-09-02 C, C++, Python API 2012-07-19 Fixing particle numbering in HepMC format ################################################################## 2012-06-15 RELEASE: version 2.1.0 2012-06-14 Analytical and kT-ordered shower officially released PYTHIA interface officially released 2012-05-09 Intrisince PDFs can be used for showering 2012-05-04 Anomalous Higgs couplings a la hep-ph/9902321 ################################################################## 2012-03-19 RELEASE: version 2.0.7 2012-03-15 Run IDs are available now More event variables in analysis Modified raw event format (compatibility mode exists) 2012-03-12 Bug fix in decay-integration order MLM matching steered completely internally now 2012-03-09 Special phase space mapping for narrow resonances decaying to 4-particle final states with far off-shell intermediate states Running alphas from PDF collaborations with builtin PDFs 2012-02-16 Bug fix in cascades decay infrastructure 2012-02-04 WHIZARD documentation compatible with TeXLive 2011 2012-02-01 Bug fix in FeynRules interface with --prefix flag 2012-01-29 Bug fix with name clash of O'Mega variable names 2012-01-27 Update internal PYTHIA to version 6.4.26 Bug fix in LHEF output 2012-01-21 Catching stricter automake 1.11.2 rules 2011-12-23 Bug fix in decay cascade setup 2011-12-20 Bug fix in helicity selection rules 2011-12-16 Accuracy goal reimplemented 2011-12-14 WHIZARD compatible with TeXLive 2011 2011-12-09 Option --user-target added ################################################################## 2011-12-07 RELEASE: version 2.0.6 2011-12-07 Bug fixes in SM_top_anom Added missing entries to HepMC format 2011-12-06 Allow to pass options to O'Mega Bug fix for HEPEVT block for showered/hadronized events 2011-12-01 Reenabled user plug-in for external code for cuts, structure functions, routines etc. 2011-11-29 Changed model SM_Higgs for Higgs phenomenology 2011-11-25 Supporting a Y, (B-L) Z' model 2011-11-23 Make WHIZARD compatible for MAC OS X Lion/XCode 4 2011-09-25 WHIZARD paper published: Eur.Phys.J. C71 (2011) 1742 2011-08-16 Model SM_QCD: QCD with one EW insertion 2011-07-19 Explicit output channel for dvips avoids printing 2011-07-10 Test suite for WHIZARD unit tests 2011-07-01 Commands for matrix element tests More OpenMP parallelization of kinematics Added unit tests 2011-06-23 Conversion of CIRCE2 from F77 to F90, major clean-up 2011-06-14 Conversion of CIRCE1 from F77 to F90 2011-06-10 OpenMP parallelization of channel kinematics (by Matthias Trudewind) 2011-05-31 RELEASE: version 1.97 2011-05-24 Minor bug fixes: update grids and elsif statement. ################################################################## 2011-05-10 RELEASE: version 2.0.5 2011-05-09 Fixed bug in final state flavor sums Minor improvements on phase-space setup 2011-05-05 Minor bug fixes 2011-04-15 WHIZARD as a precompiled 64-bit binary available 2011-04-06 Wall clock instead of cpu time for time estimates 2011-04-05 Major improvement on the phase space setup 2011-04-02 OpenMP parallelization for helicity loop in O'Mega matrix elements 2011-03-31 Tools for relocating WHIZARD and use in batch environments 2011-03-29 Completely static builds possible, profiling options 2011-03-28 Visualization of integration history 2011-03-27 Fixed broken K-matrix implementation 2011-03-23 Including the GAMELAN manual in the distribution 2011-01-26 WHIZARD analysis can handle hadronized event files 2011-01-17 MSTW2008 and CT10 PDF sets included 2010-12-23 Inclusion of NMSSM with Hgg couplings 2010-12-21 Advanced options for integration passes 2010-11-16 WHIZARD supports CTEQ6 and possibly other PDFs directly; data files included in the distribution ################################################################## 2010-10-26 RELEASE: version 2.0.4 2010-10-06 Bug fix in MSSM implementation 2010-10-01 Update to libtool 2.4 2010-09-29 Support for anomalous top couplings (form factors etc.) Bug fix for running gauge Yukawa SUSY couplings 2010-09-28 RELEASE: version 1.96 2010-09-21 Beam remnants and pT spectra for lepton collider re-enabled Restructuring subevt class 2010-09-16 Shower and matching are disabled by default PYTHIA as a conditional on these two options 2010-09-14 Possibility to read in beam spectra re-enabled (e.g. Guinea Pig) 2010-09-13 Energy scan as (pseudo-) structure functions re-implemented 2010-09-10 CIRCE2 included again in WHIZARD 2 and validated 2010-09-02 Re-implementation of asymmetric beam energies and collision angles, e-p collisions work, inclusion of a HERA DIS test case ################################################################## 2010-10-18 RELEASE: version 2.0.3 2010-08-08 Bug in CP-violating anomalous triple TGCs fixed 2010-08-06 Solving backwards compatibility problem with O'Caml 3.12.0 2010-07-12 Conserved quantum numbers speed up O'Mega code generation 2010-07-07 Attaching full ISR/FSR parton shower and MPI/ISR module Added SM model containing Hgg, HAA, HAZ vertices 2010-07-02 Matching output available as LHEF and STDHEP 2010-06-30 Various bug fixes, missing files, typos 2010-06-26 CIRCE1 completely re-enabled Chaining structure functions supported 2010-06-25 Partial support for conserved quantum numbers in O'Mega 2010-06-21 Major upgrade of the graphics package: error bars, smarter SINDARIN steering, documentation, and all that... 2010-06-17 MLM matching with PYTHIA shower included 2010-06-16 Added full CIRCE1 and CIRCE2 versions including full documentation and miscellanea to the trunk 2010-06-12 User file management supported, improved variable and command structure 2010-05-24 Improved handling of variables in local command lists 2010-05-20 PYTHIA interface re-enabled 2010-05-19 ASCII file formats for interfacing ROOT and gnuplot in data analysis ################################################################## 2010-05-18 RELEASE: version 2.0.2 2010-05-14 Reimplementation of visualization of phase space channels Minor bug fixes 2010-05-12 Improved phase space - elimination of redundancies 2010-05-08 Interface for polarization completed: polarized beams etc. 2010-05-06 Full quantum numbers appear in process log Integration results are usable as user variables Communication with external programs 2010-05-05 Split module commands into commands, integration, simulation modules 2010-05-04 FSR+ISR for the first time connected to the WHIZARD 2 core ################################################################## 2010-04-25 RELEASE: version 2.0.1 2010-04-23 Automatic compile and integrate if simulate is called Minor bug fixes in O'Mega 2010-04-21 Checkpointing for event generation Flush statements to use WHIZARD inside a pipe 2010-04-20 Reimplementation of signal handling in WGIZARD 2.0 2010-04-19 VAMP is now a separately configurable and installable unit of WHIZARD, included VAMP self-checks Support again compilation in quadruple precision 2010-04-06 Allow for logarithmic plots in GAMELAN, reimplement the possibility to set the number of bins 2010-04-15 Improvement on time estimates for event generation ################################################################## 2010-04-12 RELEASE: version 2.0.0 2010-04-09 Per default, the code for the amplitudes is subdivided to allow faster compiler optimization More advanced and unified and straightforward command language syntax Final bug fixes 2010-04-07 Improvement on SINDARIN syntax; printf, sprintf function thorugh a C interface 2010-04-05 Colorizing DAGs instead of model vertices: speed boost in colored code generation 2010-03-31 Generalized options for normalization of weighted and unweighted events Grid and weight histories added again to log files Weights can be used in analyses 2010-03-28 Cascade decays completely implemented including color and spin correlations 2010-03-07 Added new WHIZARD header with logo 2010-03-05 Removed conflict in O'Mega amplitudes between flavour sums and cascades StdHEP interface re-implemented 2010-03-03 RELEASE: version 2.0.0rc3 Several bug fixes for preventing abuse in input files OpenMP support for amplitudes Reimplementation of WHIZARD 1 HEPEVT ASCII event formats FeynRules interface successfully passed MSSM test 2010-02-26 Eliminating ghost gluons from multi-gluon amplitudes 2010-02-25 RELEASE: version 1.95 HEPEVT format from WHIZARD 1 re-implemented in WHIZARD 2 2010-02-23 Running alpha_s implemented in the FeynRules interface 2010-02-19 MSSM (semi-) automatized self-tests finalized 2010-02-17 RELEASE: version 1.94 2010-02-16 Closed memory corruption in WHIZARD 1 Fixed problems of old MadGraph and CompHep drivers with modern compilers Uncolored vertex selection rules for colored amplitudes in O'Mega 2010-02-15 Infrastructure for color correlation computation in O'Mega finished Forbidden processes are warned about, but treated as non-fatal 2010-02-14 Color correlation computation in O'Mega finalized 2010-02-10 Improving phase space mappings for identical particles in initial and final states Introduction of more extended multi-line error message 2010-02-08 First O'Caml code for computation of color correlations in O'Mega 2010-02-07 First MLM matching with e+ e- -> jets ################################################################## 2010-02-06 RELEASE: version 2.0.0rc2 2010-02-05 Reconsidered the Makefile structure and more extended tests Catch a crash between WHIZARD and O'Mega for forbidden processes Tensor products of arbitrary color structures in jet definitions 2010-02-04 Color correlation computation in O'Mega finalized ################################################################## 2010-02-03 RELEASE: version 2.0.0rc1 ################################################################## 2010-01-31 Reimplemented numerical helicity selection rules Phase space functionality of version 1 restored and improved 2009-12-05 NMSSM validated with FeynRules in WHIZARD 1 (Felix Braam) 2009-12-04 RELEASE: version 2.0.0alpha ################################################################## 2009-04-16 RELEASE: version 1.93 2009-04-15 Clean-up of Makefiles and configure scripts Reconfiguration of BSM model implementation extended supersymmetric models 2008-12-23 New model NMSSM (Felix Braam) SLHA2 added Bug in LHAPDF interface fixed 2008-08-16 Bug fixed in K matrix implementation Gravitino option in the MSSM added 2008-03-20 Improved color and flavor sums ################################################################## 2008-03-12 RELEASE: version 1.92 LHEF (Les Houches Event File) format added Fortran 2003 command-line interface (if supported by the compiler) Automated interface to colored models More bug fixes and workarounds for compiler compatibility ################################################################## 2008-03-06 RELEASE: version 1.91 New model K-matrix (resonances and anom. couplings in WW scattering) EWA spectrum Energy-scan pseudo spectrum Preliminary parton shower module (only from final-state quarks) Cleanup and improvements of configure process Improvements for O'Mega parameter files Quadruple precision works again More plotting options: lines, symbols, errors Documentation with PDF bookmarks enabled Various bug fixes 2007-11-29 New model UED ################################################################## 2007-11-23 RELEASE: version 1.90 O'Mega now part of the WHIZARD tree Madgraph/CompHEP disabled by default (but still usable) Support for LHAPDF (preliminary) Added new models: SMZprime, SM_km, Template Improved compiler recognition and compatibility Minor bug fixes ################################################################## 2006-06-15 RELEASE: version 1.51 Support for anomaly-type Higgs couplings (to gluon and photon/Z) Support for spin 3/2 and spin 2 New models: Little Higgs (4 versions), toy models for extra dimensions and gravitinos Fixes to the whizard.nw source documentation to run through LaTeX Intel 9.0 bug workaround (deallocation of some arrays) 2006-05-15 O'Mega RELEASE: version 0.11 merged JRR's O'Mega extensions ################################################################## 2006-02-07 RELEASE: version 1.50 To avoid confusion: Mention outdated manual example in BUGS file O'Mega becomes part of the WHIZARD generator 2006-02-02 [bug fix update] Bug fix: spurious error when writing event files for weighted events Bug fix: 'r' option for omega produced garbage for some particle names Workaround for ifort90 bug (crash when compiling whizard_event) Workaround for ifort90 bug (crash when compiling hepevt_common) 2006-01-27 Added process definition files for MSSM 2->2 processes Included beam recoil for EPA (T.Barklow) Updated STDHEP byte counts (for STDHEP 5.04.02) Fixed STDHEP compatibility (avoid linking of incomplete .so libs) Fixed issue with comphep requiring Xlibs on Opteron Fixed issue with ifort 8.x on Opteron (compiling 'signal' interface) Fixed color-flow code: was broken for omega with option 'c' and 'w' Workaround hacks for g95 compatibility 2005-11-07 O'Mega RELEASE: version 0.10 O'Mega, merged JRR's and WK's color hack for WHiZard O'Mega, EXPERIMENTAL: cache fusion tables (required for colors a la JRR/WK) O'Mega, make JRR's MSSM official ################################################################## 2005-10-25 RELEASE: version 1.43 Minor fixes in MSSM couplings (Higgs/3rd gen squarks). This should be final, since the MSSM results agree now completely with Madgraph and Sherpa User-defined lower and upper limits for split event file count Allow for counters (events, bytes) exceeding $2^{31}$ Revised checksum treatment and implementation (now MD5) Bug fix: missing process energy scale in raw event file ################################################################## 2005-09-30 RELEASE: version 1.42 Graphical display of integration history ('make history') Allow for switching off signals even if supported (configure option) 2005-09-29 Revised phase space generation code, in particular for flavor sums Negative cut and histogram codes use initial beams instead of initial parton momenta. This allows for computing, e.g., E_miss Support constant-width and zero-width options for O'Mega Width options now denoted by w:X (X=f,c,z). f option obsolescent Bug fix: colorized code: flipped indices could screw up result Bug fix: O'Mega with 'c' and 'w:f' option together (still some problem) Bug fix: dvips on systems where dvips defaults to lpr Bug fix: integer overflow if too many events are requested 2005-07-29 Allow for 2 -> 1 processes (if structure functions are on) 2005-07-26 Fixed and expanded the 'test' matrix element: Unit matrix element with option 'u' / default: normalized phase space ################################################################## 2005-07-15 RELEASE: version 1.41 Bug fix: no result for particle decay processes with width=0 Bug fix: line breaks in O'Mega files with color decomposition 2005-06-02 New self-tests (make test-QED / test-QCD / test-SM) check lists of 2->2 processes Bug fix: HELAS calling convention for wwwwxx and jwwwxx (4W-Vertex) 2005-05-25 Revised Makefile structure Eliminated obsolete references to ISAJET/SUSY (superseded by SLHA) 2005-05-19 Support for color in O'Mega (using color flow decomposition) New model QCD Parameter file changes that correspond to replaced SM module in O'Mega Bug fixes in MSSM (O'Mega) parameter file 2005-05-18 New event file formats, useful for LHC applications: ATHENA and Les Houches Accord (external fragmentation) Naive (i.e., leading 1/N) color factor now implemented both for incoming and outgoing partons 2005-01-26 include missing HELAS files for bundle pgf90 compatibility issues [note: still internal error in pgf90] ################################################################## 2004-12-13 RELEASE: version 1.40 compatibility fix: preprocessor marks in helas code now commented out minor bug fix: format string in madgraph source 2004-12-03 support for arbitray beam energies and directions allow for pT kick in structure functions bug fix: rounding error could result in zero cross section (compiler-dependent) 2004-10-07 simulate decay processes list fraction (of total width/cross section) instead of efficiency in process summary new cut/analysis parameters AA, AAD, CTA: absolute polar angle 2004-10-04 Replaced Madgraph I by Madgraph II. Main improvement: model no longer hardcoded introduced parameter reset_seed_each_process (useful for debugging) bug fix: color initialization for some processes was undefined 2004-09-21 don't compile unix_args module if it is not required ################################################################## 2004-09-20 RELEASE: version 1.30 g95 compatibility issues resolved some (irrelevant) memory leaks closed removed obsolete warning in circe1 manual update (essentially) finished 2004-08-03 O'Mega RELEASE: version 0.9 O'Mega, src/trie.mli, src/trie.ml: make interface compatible with the O'Caml 3.08 library (remains compatible with older versions). Implementation of unused functions still incomplete. 2004-07-26 minor fixes and improvements in make process 2004-06-29 workarounds for new Intel compiler bugs ... no rebuild of madgraph/comphep executables after 'make clean' bug fix in phase space routine: wrong energy for massive initial particles bug fix in (new) model interface: name checks for antiparticles pre-run checks for comphep improved ww-strong model file extended Model files particle name fixes, chep SM vertices included 2004-06-22 O'Mega RELEASE: version 0.8 O'Mega MSSM: sign of W+/W-/A and W+/W-/Z couplings 2004-05-05 Fixed bug in PDFLIB interface: p+pbar was initialized as p+p (ThO) NAG compiler: set number of continuation lines to 200 as default Extended format for cross section summary; appears now in whizard.out Fixed 'bundle' feature 2004-04-28 Fixed compatibility with revised O'Mega SM_ac model Fixed problem with x=0 or x=1 when calling PDFLIB (ThO) Fixed bug in comphep module: Vtb was overlooked ################################################################## 2004-04-15 RELEASE: version 1.28 Fixed bug: Color factor was missing for O'Mega processes with four quarks and more Manual partially updated 2004-04-08 Support for grid files in binary format New default value show_histories=F (reduce output file size) Revised phase space switches: removed annihilation_lines, removed s_channel_resonance, changed meaning of extra_off_shell_lines, added show_deleted_channels Bug fixed which lead to omission of some phase space channels Color flow guessed only if requested by guess_color_flow 2004-03-10 New model interface: Only one model name specified in whizard.prc All model-dependent files reside in conf/models (modellib removed) 2004-03-03 Support for input/output in SUSY Les Houches Accord format Split event files if requested Support for overall time limit Support for CIRCE and CIRCE2 generator mode Support for reading beam events from file 2004-02-05 Fixed compiler problems with Intel Fortran 7.1 and 8.0 Support for catching signals ################################################################## 2003-08-06 RELEASE: version 1.27 User-defined PDF libraries as an alternative to the standard PDFLIB 2003-07-23 Revised phase space module: improved mappings for massless particles, equivalences of phase space channels are exploited Improved mapping for PDF (hadron colliders) Madgraph module: increased max number of color flows from 250 to 1000 ################################################################## 2003-06-23 RELEASE: version 1.26 CIRCE2 support Fixed problem with 'TC' integer kind [Intel compiler complained] 2003-05-28 Support for drawing histograms of grids Bug fixes for MSSM definitions ################################################################## 2003-05-22 RELEASE: version 1.25 Experimental MSSM support with ISAJET interface Improved capabilities of generating/analyzing weighted events Optional drawing phase space diagrams using FeynMF ################################################################## 2003-01-31 RELEASE: version 1.24 A few more fixes and workarounds (Intel and Lahey compiler) 2003-01-15 Fixes and workarounds needed for WHIZARD to run with Intel compiler Command-line option interface for the Lahey compiler Bug fix: problem with reading whizard.phs ################################################################## 2002-12-10 RELEASE: version 1.23 Command-line options (on some systems) Allow for initial particles in the event record, ordered: [beams, initials] - [remnants] - outgoing partons Support for PYTHIA 6.2: Les Houches external process interface String pythia_parameters can be up to 1000 characters long Select color flow states in (internal) analysis Bug fix in color flow content of raw event files Support for transversal polarization of fermion beams Cut codes: PHI now for absolute azimuthal angle, DPHI for distance 'Test' matrix elements optionally respect polarization User-defined code can be inserted for spectra, structure functions and fragmentation Time limits can be specified for adaptation and simulation User-defined file names and file directory Initial weights in input file no longer supported Bug fix in MadGraph (wave function counter could overflow) Bug fix: Gamelan (graphical analysis) was not built if noweb absent ################################################################## 2002-03-16 RELEASE: version 1.22 Allow for beam remnants in the event record 2002-03-01 Handling of aliases in whizard.prc fixed (aliases are whole tokens) 2002-02-28 Optimized phase space handling routines (total execution time reduced by 20-60%, depending on process) ################################################################## 2002-02-26 RELEASE: version 1.21 Fixed ISR formula (ISR was underestimated in previous versions). New version includes ISR in leading-log approximation up to third order. Parameter ISR_sqrts renamed to ISR_scale. ################################################################## 2002-02-19 RELEASE: version 1.20 New process-generating method 'test' (dummy matrix element) Compatibility with autoconf 2.50 and current O'Mega version 2002-02-05 Prevent integration channels from being dropped (optionally) New internal mapping for structure functions improves performance Old whizard.phx file deleted after recompiling (could cause trouble) 2002-01-24 Support for user-defined cuts and matrix element reweighting STDHEP output now written by write_events_format=20 (was 3) 2002-01-16 Improved structure function handling; small changes in user interface: new parameter structured_beams in &process_input parameter fixed_energy in &beam_input removed Support for multiple initial states Eta-phi (cone) cut possible (hadron collider applications) Fixed bug: Whizard library was not always recompiled when necessary Fixed bug: Default cuts were insufficient in some cases Fixed bug: Unusable phase space mappings generated in some cases 2001-12-06 Reorganized document source 2001-12-05 Preliminary CIRCE2 support (no functionality yet) 2001-11-27 Intel compiler support (does not yet work because of compiler bugs) New cut and analysis mode cos-theta* and related Fixed circular jetset_interface dependency warning Some broadcast routines removed (parallel support disabled anyway) Minor shifts in cleanup targets (Makefiles) Modified library search, check for pdflib8* 2001-08-06 Fixed bug: I/O unit number could be undefined when reading phase space Fixed bug: Unitialized variable could cause segfault when event generation was disabled Fixed bug: Undefined subroutine in CIRCE replacement module Enabled feature: TGCs in O'Mega (not yet CompHEP!) matrix elements (CompHEP model sm-GF #5, O'Mega model SM_ac) Fixed portability issue: Makefile did rely on PWD environment variable Fixed portability issue: PYTHIA library search ambiguity resolved 2001-08-01 Default whizard.prc and whizard.in depend on activated modules Fixed bug: TEX=latex was not properly enabled when making plots 2001-07-20 Fixed output settings in PERL script calls Cache enabled in various configure checks 2001-07-13 Support for multiple processes in a single WHIZARD run. The integrations are kept separate, but the generated events are mixed The whizard.evx format has changed (incompatible), including now the color flow information for PYTHIA fragmentation Output files are now process-specific, except for the event file Phase space file whizard.phs (if present) is used only as input, program-generated phase space is now in whizard.phx 2001-07-10 Bug fix: Undefined parameters in parameters_SM_ac.f90 removed 2001-07-04 Bug fix: Compiler options for the case OMEGA is disabled Small inconsistencies in whizard.out format fixed 2001-07-01 Workaround for missing PDFLIB dummy routines in PYTHIA library ################################################################## 2001-06-30 RELEASE: version 1.13 Default path /cern/pro/lib in configure script 2001-06-20 New fragmentation option: Interface for PYTHIA with full color flow information, beam remnants etc. 2001-06-18 Severe bug fixed in madgraph interface: 3-gluon coupling was missing Enabled color flow information in madgraph 2001-06-11 VAMP interface module rewritten Revised output format: Multiple VAMP iterations count as one WHIZARD iteration in integration passes 1 and 3 Improved message and error handling Bug fix in VAMP: handle exceptional cases in rebinning_weights 2001-05-31 new parameters for grid adaptation: accuracy_goal and efficiency_goal ################################################################## 2001-05-29 RELEASE: version 1.12 bug fixes (compilation problems): deleted/modified unused functions 2001-05-16 diagram selection improved and documented 2001-05-06 allow for disabling packages during configuration 2001-05-03 slight changes in whizard.out format; manual extended ################################################################## 2001-04-20 RELEASE: version 1.11 fixed some configuration and compilation problems (PDFLIB etc.) 2001-04-18 linked PDFLIB: support for quark/gluon structure functions 2001-04-05 parameter interface written by PERL script SM_ac model file: fixed error in continuation line 2001-03-13 O'Mega, O'Caml 3.01: incompatible changes O'Mega, src/trie.mli: add covariance annotation to T.t This breaks O'Caml 3.00, but is required for O'Caml 3.01. O'Mega, many instances: replace `sig include Module.T end' by `Module.T', since the bug is fixed in O'Caml 3.01 2001-02-28 O'Mega, src/model.mli: new field Model.vertices required for model functors, will retire Model.fuse2, Model.fuse3, Model.fusen soon. ################################################################## 2001-03-27 RELEASE: version 1.10 reorganized the modules as libraries linked PYTHIA: support for parton fragmentation 2000-12-14 fixed some configuration problems (if noweb etc. are absent) ################################################################## 2000-12-01 RELEASE of first public version: version 1.00beta Index: trunk/src/models/parameters.SM_Higgs_CKM.f90 =================================================================== --- trunk/src/models/parameters.SM_Higgs_CKM.f90 (revision 8412) +++ trunk/src/models/parameters.SM_Higgs_CKM.f90 (revision 8413) @@ -1,276 +1,277 @@ ! parameters.SM_higgs_CKM.f90 ! ! Copyright (C) 1999-2020 by ! Wolfgang Kilian ! Thorsten Ohl ! Juergen Reuter ! with contributions from ! cf. main AUTHORS file ! ! WHIZARD is free software; you can redistribute it and/or modify it ! under the terms of the GNU General Public License as published by ! the Free Software Foundation; either version 2, or (at your option) ! any later version. ! ! WHIZARD is distributed in the hope that it will be useful, but ! WITHOUT ANY WARRANTY; without even the implied warranty of ! MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ! GNU General Public License for more details. ! ! You should have received a copy of the GNU General Public License ! along with this program; if not, write to the Free Software ! Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! module parameters_sm_higgs_ckm use kinds use constants use physics_defs use sm_physics implicit none private real(default), dimension(27), public :: mass, width real(default), public :: as complex(default), public :: gs, igs real(default), public :: e, g, e_em real(default), public :: sinthw, costhw, sin2thw, tanthw real(default), public :: qelep, qeup, qedwn real(default), public :: ttop, tbot, tch, ttau, tw real(default), public :: ltop, lbot, lc, ltau, lw complex(default), public :: qlep, qup, qdwn, gcc, qw, & gzww, gwww, ghww, ghhww, ghzz, ghhzz, & - ghbb, ghtt, ghcc, ghtautau, gh3, gh4, & + ghbb, ghtt, ghcc, ghss, ghtautau, gh3, gh4, & ghgaga, ghgaz, ghgg, ghmm, ghee, & iqw, igzww, igwww, gw4, gzzww, gazww, gaaww complex(default), public :: & gccq11 = 0, gccq12 = 0, gccq13 = 0, gccq21 = 0, & gccq22 = 0, gccq23 = 0, gccq31 = 0, gccq32 = 0, gccq33 = 0 real(default), public :: vev complex(default), dimension(2), public :: & gncneu, gnclep, gncup, gncdwn public :: import_from_whizard, model_update_alpha_s contains subroutine import_from_whizard (par_array, scheme) real(default), dimension(34), intent(in) :: par_array integer, intent(in) :: scheme type :: parameter_set real(default) :: gf real(default) :: mZ real(default) :: mW real(default) :: mH real(default) :: alphas real(default) :: me real(default) :: mmu real(default) :: mtau real(default) :: ms real(default) :: mc real(default) :: mb real(default) :: mtop real(default) :: wtop real(default) :: wZ real(default) :: wW real(default) :: wH real(default) :: vckm11 real(default) :: vckm12 real(default) :: vckm13 real(default) :: vckm21 real(default) :: vckm22 real(default) :: vckm23 real(default) :: vckm31 real(default) :: vckm32 real(default) :: vckm33 real(default) :: khgaz real(default) :: khgaga real(default) :: khgg real(default) :: xi0 real(default) :: xipm real(default) :: v real(default) :: cw real(default) :: sw real(default) :: ee end type parameter_set type(parameter_set) :: par !!! This corresponds to 1/alpha = 137.03598949333 real(default), parameter :: & alpha = 1.0_default/137.03598949333_default e_em = sqrt(4.0_default * PI * alpha) par%gf = par_array(1) par%mZ = par_array(2) par%mW = par_array(3) par%mH = par_array(4) par%alphas = par_array(5) par%me = par_array(6) par%mmu = par_array(7) par%mtau = par_array(8) par%ms = par_array(9) par%mc = par_array(10) par%mb = par_array(11) par%mtop = par_array(12) par%wtop = par_array(13) par%wZ = par_array(14) par%wW = par_array(15) par%wH = par_array(16) par%vckm11 = par_array(17) par%vckm12 = par_array(18) par%vckm13 = par_array(19) par%vckm21 = par_array(20) par%vckm22 = par_array(21) par%vckm23 = par_array(22) par%vckm31 = par_array(23) par%vckm32 = par_array(24) par%vckm33 = par_array(25) par%khgaz = par_array(26) par%khgaga = par_array(27) par%khgg = par_array(28) par%xi0 = par_array(29) par%xipm = par_array(30) par%v = par_array(31) par%cw = par_array(32) par%sw = par_array(33) par%ee = par_array(34) mass(1:27) = 0 width(1:27) = 0 mass(3) = par%ms mass(4) = par%mc mass(5) = par%mb mass(6) = par%mtop width(6) = par%wtop mass(11) = par%me mass(13) = par%mmu mass(15) = par%mtau mass(23) = par%mZ width(23) = par%wZ mass(24) = par%mW width(24) = par%wW mass(25) = par%mH width(25) = par%wH mass(26) = par%xi0 * mass(23) width(26) = 0 mass(27) = par%xipm * mass(24) width(27) = 0 ttop = 4.0_default * mass(6)**2 / mass(25)**2 tbot = 4.0_default * mass(5)**2 / mass(25)**2 tch = 4.0_default * mass(4)**2 / mass(25)**2 ttau = 4.0_default * mass(15)**2 / mass(25)**2 tw = 4.0_default * mass(24)**2 / mass(25)**2 ltop = 4.0_default * mass(6)**2 / mass(23)**2 lbot = 4.0_default * mass(5)**2 / mass(23)**2 lc = 4.0_default * mass(4)**2 / mass(23)**2 ltau = 4.0_default * mass(15)**2 / mass(23)**2 lw = 4.0_default * mass(24)**2 / mass(23)**2 vev = par%v e = par%ee sinthw = par%sw sin2thw = par%sw**2 costhw = par%cw tanthw = sinthw/costhw qelep = - 1 qeup = 2.0_default / 3.0_default qedwn = - 1.0_default / 3.0_default g = e / sinthw gcc = - g / 2 / sqrt (2.0_default) gccq11 = gcc * par%vckm11 gccq12 = gcc * par%vckm12 gccq13 = gcc * par%vckm13 gccq21 = gcc * par%vckm21 gccq22 = gcc * par%vckm22 gccq23 = gcc * par%vckm23 gccq31 = gcc * par%vckm31 gccq32 = gcc * par%vckm32 gccq33 = gcc * par%vckm33 gncneu(1) = - g / 2 / costhw * ( + 0.5_default) gnclep(1) = - g / 2 / costhw * ( - 0.5_default - 2 * qelep * sin2thw) gncup(1) = - g / 2 / costhw * ( + 0.5_default - 2 * qeup * sin2thw) gncdwn(1) = - g / 2 / costhw * ( - 0.5_default - 2 * qedwn * sin2thw) gncneu(2) = - g / 2 / costhw * ( + 0.5_default) gnclep(2) = - g / 2 / costhw * ( - 0.5_default) gncup(2) = - g / 2 / costhw * ( + 0.5_default) gncdwn(2) = - g / 2 / costhw * ( - 0.5_default) qlep = - e * qelep qup = - e * qeup qdwn = - e * qedwn qw = e iqw = (0,1)*qw gzww = g * costhw igzww = (0,1)*gzww gwww = g igwww = (0,1)*gwww gw4 = gwww**2 gzzww = gzww**2 gazww = gzww * qw gaaww = qw**2 ghww = mass(24) * g ghhww = g**2 / 2.0_default ghzz = mass(23) * g / costhw ghhzz = g**2 / 2.0_default / costhw**2 ghtt = - mass(6) / vev ghbb = - mass(5) / vev ghcc = - mass(4) / vev + ghss = - mass(3) / vev ghtautau = - mass(15) / vev ghmm = - mass(13) / vev ghee = - mass(11) / vev gh3 = - 3 * mass(25)**2 / vev gh4 = - 3 * mass(25)**2 / vev**2 !!! Color flow basis, divide by sqrt(2) gs = sqrt(2.0_default*PI*par%alphas) igs = cmplx (0.0_default, 1.0_default, kind=default) * gs !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! Higgs anomaly couplings !!! SM LO loop factor (top, bottom, charm, tau and W) ghgaga = (-1._default) * alpha / vev / 2.0_default / PI * & (( 4.0_default * (fonehalf(ttop) + fonehalf(tch)) & + fonehalf(tbot)) / 3.0_default + fonehalf(ttau) + fone(tw)) & * sqrt(par%khgaga) !!! asymptotic limit: !!! ghgaga = (par%ee)**2 / vev / & !!! 9.0_default / pi**2 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! SM LO loop factor (top, bottom, charm, tau and W) ghgaz = e * e_em / 8.0_default / PI**2 / vev * ( & af (NC , qeup , TR, ttop, ltop) & + af (NC , qedwn, -TR, tbot, lbot) & + af (NC , qeup , TR, tch , lc ) & + af (one, qelep, -TR, ttau, ltau) & !!! and W: - costhw / sinthw * ( & 4.0_default * (3.0_default - tanthw**2) * tri_i2(tw,lw) & + ((1.0_default + 2.0_default/tw) * tanthw**2 & - (5.0_default + 2.0_default/tw)) * tri_i1(tw,lw) ) & ) * sqrt(par%khgaz) !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! SM LO loop factor (top, bottom, charm) ghgg = (-1._double) * par%alphas / vev / 4.0_default / PI * & (fonehalf(ttop) + fonehalf(tbot) + fonehalf(tch)) * & sqrt(par%khgg) !!! SM LO order loop factor with !!! N(N)LO K factor = 2.1 (only top) !!! Limit of infinite top quark mass: !!! ghgg = par%alphas / 3.0_default & !!! / vev / pi * 2.1_default !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! end subroutine import_from_whizard subroutine model_update_alpha_s (alpha_s) real(default), intent(in) :: alpha_s gs = sqrt(2.0_default*PI*alpha_s) igs = cmplx (0.0_default, 1.0_default, kind=default) * gs !!! The Hgg coupling should not get a running alpha_s end subroutine model_update_alpha_s pure function af (ncf, qef, t3f, tau, lam) result (a) real(default), intent(in) :: ncf real(default), intent(in) :: qef real(default), intent(in) :: t3f real(default), intent(in) :: tau real(default), intent(in) :: lam complex(default) :: a a = - 2.0_default * ncf * qef & * ( t3f - 2.0_default * qef * sin2thw ) / sinthw / costhw & * ( tri_i1(tau,lam) - tri_i2(tau,lam) ) end function af end module parameters_sm_higgs_ckm Index: trunk/src/models/parameters.SM_Higgs.f90 =================================================================== --- trunk/src/models/parameters.SM_Higgs.f90 (revision 8412) +++ trunk/src/models/parameters.SM_Higgs.f90 (revision 8413) @@ -1,246 +1,247 @@ ! parameters.SM_higgs.f90 ! ! Copyright (C) 1999-2020 by ! Wolfgang Kilian ! Thorsten Ohl ! Juergen Reuter ! with contributions from ! cf. main AUTHORS file ! ! WHIZARD is free software; you can redistribute it and/or modify it ! under the terms of the GNU General Public License as published by ! the Free Software Foundation; either version 2, or (at your option) ! any later version. ! ! WHIZARD is distributed in the hope that it will be useful, but ! WITHOUT ANY WARRANTY; without even the implied warranty of ! MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ! GNU General Public License for more details. ! ! You should have received a copy of the GNU General Public License ! along with this program; if not, write to the Free Software ! Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! module parameters_sm_higgs use kinds use constants use physics_defs use sm_physics implicit none private real(default), dimension(27), public :: mass, width real(default), public :: as complex(default), public :: gs, igs real(default), public :: e, g, e_em real(default), public :: sinthw, costhw, sin2thw, tanthw real(default), public :: qelep, qeup, qedwn real(default), public :: ttop, tbot, tch, ttau, tw real(default), public :: ltop, lbot, lc, ltau, lw complex(default), public :: qlep, qup, qdwn, gcc, qw, & gzww, gwww, ghww, ghhww, ghzz, ghhzz, & - ghbb, ghtt, ghcc, ghtautau, gh3, gh4, & + ghbb, ghtt, ghcc, ghss, ghtautau, gh3, gh4, & ghgaga, ghgaz, ghgg, ghmm, ghee, & iqw, igzww, igwww, gw4, gzzww, gazww, gaaww real(default), public :: vev complex(default), dimension(2), public :: & gncneu, gnclep, gncup, gncdwn public :: import_from_whizard, model_update_alpha_s contains subroutine import_from_whizard (par_array, scheme) real(default), dimension(25), intent(in) :: par_array integer, intent(in) :: scheme type :: parameter_set real(default) :: gf real(default) :: mZ real(default) :: mW real(default) :: mH real(default) :: alphas real(default) :: me real(default) :: mmu real(default) :: mtau real(default) :: ms real(default) :: mc real(default) :: mb real(default) :: mtop real(default) :: wtop real(default) :: wZ real(default) :: wW real(default) :: wH real(default) :: khgaz real(default) :: khgaga real(default) :: khgg real(default) :: xi0 real(default) :: xipm real(default) :: v real(default) :: cw real(default) :: sw real(default) :: ee end type parameter_set type(parameter_set) :: par !!! This corresponds to 1/alpha = 137.03598949333 real(default), parameter :: & alpha = 1.0_default/137.03598949333_default e_em = sqrt(4.0_default * PI * alpha) par%gf = par_array(1) par%mZ = par_array(2) par%mW = par_array(3) par%mH = par_array(4) par%alphas = par_array(5) par%me = par_array(6) par%mmu = par_array(7) par%mtau = par_array(8) par%ms = par_array(9) par%mc = par_array(10) par%mb = par_array(11) par%mtop = par_array(12) par%wtop = par_array(13) par%wZ = par_array(14) par%wW = par_array(15) par%wH = par_array(16) par%khgaz = par_array(17) par%khgaga = par_array(18) par%khgg = par_array(19) par%xi0 = par_array(20) par%xipm = par_array(21) par%v = par_array(22) par%cw = par_array(23) par%sw = par_array(24) par%ee = par_array(25) mass(1:27) = 0 width(1:27) = 0 mass(3) = par%ms mass(4) = par%mc mass(5) = par%mb mass(6) = par%mtop width(6) = par%wtop mass(11) = par%me mass(13) = par%mmu mass(15) = par%mtau mass(23) = par%mZ width(23) = par%wZ mass(24) = par%mW width(24) = par%wW mass(25) = par%mH width(25) = par%wH mass(26) = par%xi0 * mass(23) width(26) = 0 mass(27) = par%xipm * mass(24) width(27) = 0 ttop = 4.0_default * mass(6)**2 / mass(25)**2 tbot = 4.0_default * mass(5)**2 / mass(25)**2 tch = 4.0_default * mass(4)**2 / mass(25)**2 ttau = 4.0_default * mass(15)**2 / mass(25)**2 tw = 4.0_default * mass(24)**2 / mass(25)**2 ltop = 4.0_default * mass(6)**2 / mass(23)**2 lbot = 4.0_default * mass(5)**2 / mass(23)**2 lc = 4.0_default * mass(4)**2 / mass(23)**2 ltau = 4.0_default * mass(15)**2 / mass(23)**2 lw = 4.0_default * mass(24)**2 / mass(23)**2 vev = par%v e = par%ee sinthw = par%sw sin2thw = par%sw**2 costhw = par%cw tanthw = sinthw/costhw qelep = - 1 qeup = 2.0_default / 3.0_default qedwn = - 1.0_default / 3.0_default g = e / sinthw gcc = - g / 2 / sqrt (2.0_default) gncneu(1) = - g / 2 / costhw * ( + 0.5_default) gnclep(1) = - g / 2 / costhw * ( - 0.5_default - 2 * qelep * sin2thw) gncup(1) = - g / 2 / costhw * ( + 0.5_default - 2 * qeup * sin2thw) gncdwn(1) = - g / 2 / costhw * ( - 0.5_default - 2 * qedwn * sin2thw) gncneu(2) = - g / 2 / costhw * ( + 0.5_default) gnclep(2) = - g / 2 / costhw * ( - 0.5_default) gncup(2) = - g / 2 / costhw * ( + 0.5_default) gncdwn(2) = - g / 2 / costhw * ( - 0.5_default) qlep = - e * qelep qup = - e * qeup qdwn = - e * qedwn qw = e iqw = (0,1)*qw gzww = g * costhw igzww = (0,1)*gzww gwww = g igwww = (0,1)*gwww gw4 = gwww**2 gzzww = gzww**2 gazww = gzww * qw gaaww = qw**2 ghww = mass(24) * g ghhww = g**2 / 2.0_default ghzz = mass(23) * g / costhw ghhzz = g**2 / 2.0_default / costhw**2 ghtt = - mass(6) / vev ghbb = - mass(5) / vev ghcc = - mass(4) / vev + ghss = - mass(3) / vev ghtautau = - mass(15) / vev ghmm = - mass(13) / vev ghee = - mass(11) / vev gh3 = - 3 * mass(25)**2 / vev gh4 = - 3 * mass(25)**2 / vev**2 !!! Color flow basis, divide by sqrt(2) gs = sqrt(2.0_default*PI*par%alphas) igs = cmplx (0.0_default, 1.0_default, kind=default) * gs !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! Higgs anomaly couplings !!! SM LO loop factor (top, bottom, charm, tau and W) ghgaga = (-1._default) * alpha / vev / 2.0_default / PI * & (( 4.0_default * (fonehalf(ttop) + fonehalf(tch)) & + fonehalf(tbot)) / 3.0_default + fonehalf(ttau) + fone(tw)) & * sqrt(par%khgaga) !!! asymptotic limit: !!! ghgaga = (par%ee)**2 / vev / & !!! 9.0_default / pi**2 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! SM LO loop factor (top, bottom, charm, tau and W) ghgaz = e * e_em / 8.0_default / PI**2 / vev * ( & af (NC , qeup , TR, ttop, ltop) & + af (NC , qedwn, -TR, tbot, lbot) & + af (NC , qeup , TR, tch , lc ) & + af (one, qelep, -TR, ttau, ltau) & !!! and W: - costhw / sinthw * ( & 4.0_default * (3.0_default - tanthw**2) * tri_i2(tw,lw) & + ((1.0_default + 2.0_default/tw) * tanthw**2 & - (5.0_default + 2.0_default/tw)) * tri_i1(tw,lw) ) & ) * sqrt(par%khgaz) !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! SM LO loop factor (top, bottom, charm) ghgg = (-1._double) * par%alphas / vev / 4.0_default / PI * & (fonehalf(ttop) + fonehalf(tbot) + fonehalf(tch)) * & sqrt(par%khgg) !!! SM LO order loop factor with !!! N(N)LO K factor = 2.1 (only top) !!! Limit of infinite top quark mass: !!! ghgg = par%alphas / 3.0_default & !!! / vev / pi * 2.1_default !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! end subroutine import_from_whizard subroutine model_update_alpha_s (alpha_s) real(default), intent(in) :: alpha_s gs = sqrt(2.0_default*PI*alpha_s) igs = cmplx (0.0_default, 1.0_default, kind=default) * gs !!! The Hgg coupling should not get a running alpha_s end subroutine model_update_alpha_s pure function af (ncf, qef, t3f, tau, lam) result (a) real(default), intent(in) :: ncf real(default), intent(in) :: qef real(default), intent(in) :: t3f real(default), intent(in) :: tau real(default), intent(in) :: lam complex(default) :: a a = - 2.0_default * ncf * qef & * ( t3f - 2.0_default * qef * sin2thw ) / sinthw / costhw & * ( tri_i1(tau,lam) - tri_i2(tau,lam) ) end function af end module parameters_sm_higgs Index: trunk/omega/src/modellib_SM.ml =================================================================== --- trunk/omega/src/modellib_SM.ml (revision 8412) +++ trunk/omega/src/modellib_SM.ml (revision 8413) @@ -1,2910 +1,2912 @@ (* modellib_SM.ml -- Copyright (C) 1999-2020 by Wolfgang Kilian Thorsten Ohl Juergen Reuter with contributions from Christian Speckner Fabian Bach (only parts of this file) So Young Shim (only parts of this file) WHIZARD is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. WHIZARD is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. *) (* \thocwmodulesection{$\phi^3$} *) module Phi3 = struct open Coupling let options = Options.empty type flavor = Phi let external_flavors () = [ "", [Phi]] let flavors () = ThoList.flatmap snd (external_flavors ()) type gauge = unit type constant = G type orders = unit let orders = function | _ -> () let lorentz _ = Scalar let color _ = Color.Singlet let nc () = 0 let propagator _ = Prop_Scalar let width _ = Timelike let goldstone _ = None let conjugate f = f let fermion _ = 0 module Ch = Charges.Null let charges _ = () module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) let vertices () = ([(Phi, Phi, Phi), Scalar_Scalar_Scalar 1, G], [], []) let table = F.of_vertices (vertices ()) let fuse2 = F.fuse2 table let fuse3 = F.fuse3 table let fuse = F.fuse table let max_degree () = 3 let parameters () = { input = [G, 1.0]; derived = []; derived_arrays = [] } let flavor_of_string = function | "p" -> Phi | _ -> invalid_arg "Modellib.Phi3.flavor_of_string" let flavor_to_string Phi = "phi" let flavor_to_TeX Phi = "\\phi" let flavor_symbol Phi = "phi" let gauge_symbol () = failwith "Modellib.Phi3.gauge_symbol: internal error" let pdg _ = 1 let mass_symbol _ = "m" let width_symbol _ = "w" let constant_symbol G = "g" end (* \thocwmodulesection{$\lambda_3\phi^3+\lambda_4\phi^4$} *) module Phi4 = struct open Coupling let options = Options.empty type flavor = Phi let external_flavors () = [ "", [Phi]] let flavors () = ThoList.flatmap snd (external_flavors ()) type gauge = unit type constant = G3 | G4 type orders = unit let orders = function | _ -> () let lorentz _ = Scalar let color _ = Color.Singlet let nc () = 0 let propagator _ = Prop_Scalar let width _ = Timelike let goldstone _ = None let conjugate f = f let fermion _ = 0 module Ch = Charges.Null let charges _ = () module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) let vertices () = ([(Phi, Phi, Phi), Scalar_Scalar_Scalar 1, G3], [(Phi, Phi, Phi, Phi), Scalar4 1, G4], []) let fuse2 _ = failwith "Modellib.Phi4.fuse2" let fuse3 _ = failwith "Modellib.Phi4.fuse3" let fuse = function | [] | [_] -> invalid_arg "Modellib.Phi4.fuse" | [_; _] -> [Phi, V3 (Scalar_Scalar_Scalar 1, F23, G3)] | [_; _; _] -> [Phi, V4 (Scalar4 1, F234, G4)] | _ -> [] let max_degree () = 4 let parameters () = { input = [G3, 1.0; G4, 1.0]; derived = []; derived_arrays = [] } let flavor_of_string = function | "p" -> Phi | _ -> invalid_arg "Modellib.Phi4.flavor_of_string" let flavor_to_string Phi = "phi" let flavor_to_TeX Phi = "\\phi" let flavor_symbol Phi = "phi" let gauge_symbol () = failwith "Modellib.Phi4.gauge_symbol: internal error" let pdg _ = 1 let mass_symbol _ = "m" let width_symbol _ = "w" let constant_symbol = function | G3 -> "g3" | G4 -> "g4" end (* \thocwmodulesection{Quantum Electro Dynamics} *) module QED = struct open Coupling let options = Options.empty type flavor = | Electron | Positron | Muon | AntiMuon | Tau | AntiTau | Photon let external_flavors () = [ "Leptons", [Electron; Positron; Muon; AntiMuon; Tau; AntiTau]; "Gauge Bosons", [Photon] ] let flavors () = ThoList.flatmap snd (external_flavors ()) type gauge = unit type constant = Q type orders = unit let orders = function | _ -> () let lorentz = function | Electron | Muon | Tau -> Spinor | Positron | AntiMuon | AntiTau -> ConjSpinor | Photon -> Vector let color _ = Color.Singlet let nc () = 0 let propagator = function | Electron | Muon | Tau -> Prop_Spinor | Positron | AntiMuon | AntiTau -> Prop_ConjSpinor | Photon -> Prop_Feynman let width _ = Timelike let goldstone _ = None let conjugate = function | Electron -> Positron | Positron -> Electron | Muon -> AntiMuon | AntiMuon -> Muon | Tau -> AntiTau | AntiTau -> Tau | Photon -> Photon let fermion = function | Electron | Muon | Tau -> 1 | Positron | AntiMuon | AntiTau -> -1 | Photon -> 0 (* Taking generation numbers makes electric charge redundant. *) module Ch = Charges.ZZ let charges = function | Electron -> [1; 0; 0] | Muon -> [0; 1; 0] | Tau -> [0; 0; 1] | Positron -> [-1;0; 0] | AntiMuon -> [0;-1; 0] | AntiTau -> [0; 0;-1] | Photon -> [0; 0; 0] module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) let vertices () = ([(Positron, Photon, Electron), FBF (1, Psibar, V, Psi), Q; (AntiMuon, Photon, Muon), FBF (1, Psibar, V, Psi), Q; (AntiTau, Photon, Tau), FBF (1, Psibar, V, Psi), Q], [], []) let table = F.of_vertices (vertices ()) let fuse2 = F.fuse2 table let fuse3 = F.fuse3 table let fuse = F.fuse table let max_degree () = 3 let parameters () = { input = [Q, 1.0]; derived = []; derived_arrays = [] } let flavor_of_string = function | "e-" -> Electron | "e+" -> Positron | "m-" -> Muon | "m+" -> AntiMuon | "t-" -> Tau | "t+" -> AntiTau | "A" -> Photon | _ -> invalid_arg "Modellib.QED.flavor_of_string" let flavor_to_string = function | Electron -> "e-" | Positron -> "e+" | Muon -> "m-" | AntiMuon -> "m+" | Tau -> "t-" | AntiTau -> "t+" | Photon -> "A" let flavor_to_TeX = function | Electron -> "e^-" | Positron -> "e^+" | Muon -> "\\mu^-" | AntiMuon -> "\\mu^+" | Tau -> "^\\tau^-" | AntiTau -> "\\tau+^" | Photon -> "\\gamma" let flavor_symbol = function | Electron -> "ele" | Positron -> "pos" | Muon -> "muo" | AntiMuon -> "amu" | Tau -> "tau" | AntiTau -> "ata" | Photon -> "gam" let gauge_symbol () = failwith "Modellib.QED.gauge_symbol: internal error" let pdg = function | Electron -> 11 | Positron -> -11 | Muon -> 13 | AntiMuon -> -13 | Tau -> 15 | AntiTau -> -15 | Photon -> 22 let mass_symbol f = "mass(" ^ string_of_int (abs (pdg f)) ^ ")" let width_symbol f = "width(" ^ string_of_int (abs (pdg f)) ^ ")" let constant_symbol = function | Q -> "qlep" end (* \thocwmodulesection{Quantum Chromo Dynamics} *) module QCD = struct open Coupling let options = Options.empty type flavor = | U | Ubar | D | Dbar | C | Cbar | S | Sbar | T | Tbar | B | Bbar | Gl let external_flavors () = [ "Quarks", [U; D; C; S; T; B; Ubar; Dbar; Cbar; Sbar; Tbar; Bbar]; "Gauge Bosons", [Gl]] let flavors () = ThoList.flatmap snd (external_flavors ()) type gauge = unit type constant = Gs | G2 | I_Gs type orders = unit let orders = function | _ -> () let lorentz = function | U | D | C | S | T | B -> Spinor | Ubar | Dbar | Cbar | Sbar | Tbar | Bbar -> ConjSpinor | Gl -> Vector let color = function | U | D | C | S | T | B -> Color.SUN 3 | Ubar | Dbar | Cbar | Sbar | Tbar | Bbar -> Color.SUN (-3) | Gl -> Color.AdjSUN 3 let nc () = 3 let propagator = function | U | D | C | S | T | B -> Prop_Spinor | Ubar | Dbar | Cbar | Sbar | Tbar | Bbar -> Prop_ConjSpinor | Gl -> Prop_Feynman let width _ = Timelike let goldstone _ = None let conjugate = function | U -> Ubar | D -> Dbar | C -> Cbar | S -> Sbar | T -> Tbar | B -> Bbar | Ubar -> U | Dbar -> D | Cbar -> C | Sbar -> S | Tbar -> T | Bbar -> B | Gl -> Gl let fermion = function | U | D | C | S | T | B -> 1 | Ubar | Dbar | Cbar | Sbar | Tbar | Bbar -> -1 | Gl -> 0 module Ch = Charges.ZZ let charges = function | D -> [1; 0; 0; 0; 0; 0] | U -> [0; 1; 0; 0; 0; 0] | S -> [0; 0; 1; 0; 0; 0] | C -> [0; 0; 0; 1; 0; 0] | B -> [0; 0; 0; 0; 1; 0] | T -> [0; 0; 0; 0; 0; 1] | Dbar -> [-1; 0; 0; 0; 0; 0] | Ubar -> [0; -1; 0; 0; 0; 0] | Sbar -> [0; 0; -1; 0; 0; 0] | Cbar -> [0; 0; 0; -1; 0; 0] | Bbar -> [0; 0; 0; 0; -1; 0] | Tbar -> [0; 0; 0; 0; 0; -1] | Gl -> [0; 0; 0; 0; 0; 0] module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) (* This is compatible with CD+. *) let color_current = [ ((Dbar, Gl, D), FBF ((-1), Psibar, V, Psi), Gs); ((Ubar, Gl, U), FBF ((-1), Psibar, V, Psi), Gs); ((Cbar, Gl, C), FBF ((-1), Psibar, V, Psi), Gs); ((Sbar, Gl, S), FBF ((-1), Psibar, V, Psi), Gs); ((Tbar, Gl, T), FBF ((-1), Psibar, V, Psi), Gs); ((Bbar, Gl, B), FBF ((-1), Psibar, V, Psi), Gs)] let three_gluon = [ ((Gl, Gl, Gl), Gauge_Gauge_Gauge 1, I_Gs)] let gauge4 = Vector4 [(2, C_13_42); (-1, C_12_34); (-1, C_14_23)] let four_gluon = [ ((Gl, Gl, Gl, Gl), gauge4, G2)] let vertices3 = (color_current @ three_gluon) let vertices4 = four_gluon let vertices () = (vertices3, vertices4, []) let table = F.of_vertices (vertices ()) let fuse2 = F.fuse2 table let fuse3 = F.fuse3 table let fuse = F.fuse table let max_degree () = 4 let parameters () = { input = [Gs, 1.0]; derived = []; derived_arrays = [] } let flavor_of_string = function | "u" -> U | "d" -> D | "c" -> C | "s" -> S | "t" -> T | "b" -> B | "ubar" -> Ubar | "dbar" -> Dbar | "cbar" -> Cbar | "sbar" -> Sbar | "tbar" -> Tbar | "bbar" -> Bbar | "gl" -> Gl | _ -> invalid_arg "Modellib.QCD.flavor_of_string" let flavor_to_string = function | U -> "u" | Ubar -> "ubar" | D -> "d" | Dbar -> "dbar" | C -> "c" | Cbar -> "cbar" | S -> "s" | Sbar -> "sbar" | T -> "t" | Tbar -> "tbar" | B -> "b" | Bbar -> "bbar" | Gl -> "gl" let flavor_to_TeX = function | U -> "u" | Ubar -> "\\bar{u}" | D -> "d" | Dbar -> "\\bar{d}" | C -> "c" | Cbar -> "\\bar{c}" | S -> "s" | Sbar -> "\\bar{s}" | T -> "t" | Tbar -> "\\bar{t}" | B -> "b" | Bbar -> "\\bar{b}" | Gl -> "g" let flavor_symbol = function | U -> "u" | Ubar -> "ubar" | D -> "d" | Dbar -> "dbar" | C -> "c" | Cbar -> "cbar" | S -> "s" | Sbar -> "sbar" | T -> "t" | Tbar -> "tbar" | B -> "b" | Bbar -> "bbar" | Gl -> "gl" let gauge_symbol () = failwith "Modellib.QCD.gauge_symbol: internal error" let pdg = function | D -> 1 | Dbar -> -1 | U -> 2 | Ubar -> -2 | S -> 3 | Sbar -> -3 | C -> 4 | Cbar -> -4 | B -> 5 | Bbar -> -5 | T -> 6 | Tbar -> -6 | Gl -> 21 let mass_symbol f = "mass(" ^ string_of_int (abs (pdg f)) ^ ")" let width_symbol f = "width(" ^ string_of_int (abs (pdg f)) ^ ")" let constant_symbol = function | I_Gs -> "(0,1)*gs" | Gs -> "gs" | G2 -> "gs**2" end (* \thocwmodulesection{Complete Minimal Standard Model (Unitarity Gauge)} *) module type SM_flags = sig val higgs_triangle : bool (* $H\gamma\gamma$, $Hg\gamma$ and $Hgg$ couplings *) val higgs_hmm : bool (* $H\mu^+\mu^-$ and $He^+e^-$ couplings *) val triple_anom : bool val quartic_anom : bool val higgs_anom : bool val dim6 : bool val k_matrix : bool val ckm_present : bool val top_anom : bool val top_anom_4f : bool val tt_threshold : bool end module SM_no_anomalous : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = false let k_matrix = false let ckm_present = false let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_no_anomalous_ckm : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = false let k_matrix = false let ckm_present = true let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_anomalous : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = true let quartic_anom = true let higgs_anom = true let dim6 = false let k_matrix = false let ckm_present = false let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_anomalous_ckm : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = true let quartic_anom = true let higgs_anom = true let dim6 = false let k_matrix = false let ckm_present = true let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_k_matrix : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = false let quartic_anom = true let higgs_anom = false let dim6 = false let k_matrix = true let ckm_present = false let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_Higgs : SM_flags = struct let higgs_triangle = true let higgs_hmm = true let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = false let k_matrix = false let ckm_present = false let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_Higgs_CKM : SM_flags = struct let higgs_triangle = true let higgs_hmm = true let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = false let k_matrix = false let ckm_present = true let top_anom = false let top_anom_4f = false let tt_threshold = false end module SM_anomalous_top : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = false let k_matrix = false let ckm_present = false let top_anom = true let top_anom_4f = true let tt_threshold = false end module SM_tt_threshold : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = false let k_matrix = false let ckm_present = true let top_anom = false let top_anom_4f = false let tt_threshold = true end module SM_dim6 : SM_flags = struct let higgs_triangle = false let higgs_hmm = false let triple_anom = false let quartic_anom = false let higgs_anom = false let dim6 = true let k_matrix = false let ckm_present = false let top_anom = false let top_anom_4f = false let tt_threshold = false end (* \thocwmodulesection{Complete Minimal Standard Model (including some extensions)} *) module SM (Flags : SM_flags) = struct open Coupling let default_width = ref Timelike let use_fudged_width = ref false let options = Options.create [ "constant_width", Arg.Unit (fun () -> default_width := Constant), "use constant width (also in t-channel)"; "fudged_width", Arg.Set use_fudged_width, "use fudge factor for charge particle width"; "custom_width", Arg.String (fun f -> default_width := Custom f), "use custom width"; "cancel_widths", Arg.Unit (fun () -> default_width := Vanishing), "use vanishing width"; "cms_width", Arg.Unit (fun () -> default_width := Complex_Mass), "use complex mass scheme" ] type f_aux_top = TTGG | TBWA | TBWZ | TTWW | BBWW | TCGG | TUGG (*i top auxiliary field "flavors" i*) | QGUG | QBUB | QW | DL | DR | QUQD1L | QUQD1R | QUQD8L | QUQD8R type matter_field = L of int | N of int | U of int | D of int type gauge_boson = Ga | Wp | Wm | Z | Gl type other = Phip | Phim | Phi0 | H | Aux_top of int*int*int*bool*f_aux_top (*i lorentz*color*charge*top-side*flavor i*) type flavor = M of matter_field | G of gauge_boson | O of other let matter_field f = M f let gauge_boson f = G f let other f = O f type field = | Matter of matter_field | Gauge of gauge_boson | Other of other let field = function | M f -> Matter f | G f -> Gauge f | O f -> Other f type gauge = unit let gauge_symbol () = failwith "Modellib.SM.gauge_symbol: internal error" let family n = List.map matter_field [ L n; N n; U n; D n ] let rec aux_top_flavors (f,l,co,ch) = List.append ( List.map other [ Aux_top (l,co,ch/2,true,f); Aux_top (l,co,ch/2,false,f) ] ) ( if ch > 1 then List.append ( List.map other [ Aux_top (l,co,-ch/2,true,f); Aux_top (l,co,-ch/2,false,f) ] ) ( aux_top_flavors (f,l,co,(ch-2)) ) else [] ) let external_flavors () = [ "1st Generation", ThoList.flatmap family [1; -1]; "2nd Generation", ThoList.flatmap family [2; -2]; "3rd Generation", ThoList.flatmap family [3; -3]; "Gauge Bosons", List.map gauge_boson [Ga; Z; Wp; Wm; Gl]; "Higgs", List.map other [H]; "Goldstone Bosons", List.map other [Phip; Phim; Phi0] ] let flavors () = List.append ( ThoList.flatmap snd (external_flavors ()) ) ( ThoList.flatmap aux_top_flavors [ (TTGG,2,1,1); (TCGG,2,1,1); (TUGG,2,1,1); (TBWA,2,0,2); (TBWZ,2,0,2); (TTWW,2,0,1); (BBWW,2,0,1); (QGUG,1,1,1); (QBUB,1,0,1); (QW,1,0,3); (DL,0,0,3); (DR,0,0,3); (QUQD1L,0,0,3); (QUQD1R,0,0,3); (QUQD8L,0,1,3); (QUQD8R,0,1,3) ] ) let spinor n = if n >= 0 then Spinor else ConjSpinor let lorentz_aux = function | 2 -> Tensor_1 | 1 -> Vector | 0 -> Scalar | _ -> invalid_arg ("SM.lorentz_aux: wrong value") let lorentz = function | M f -> begin match f with | L n -> spinor n | N n -> spinor n | U n -> spinor n | D n -> spinor n end | G f -> begin match f with | Ga | Gl -> Vector | Wp | Wm | Z -> Massive_Vector end | O f -> begin match f with | Aux_top (l,_,_,_,_) -> lorentz_aux l | _ -> Scalar end let color = function | M (U n) -> Color.SUN (if n > 0 then 3 else -3) | M (D n) -> Color.SUN (if n > 0 then 3 else -3) | G Gl -> Color.AdjSUN 3 | O (Aux_top (_,co,_,_,_)) -> if co == 0 then Color.Singlet else Color.AdjSUN 3 | _ -> Color.Singlet let nc () = 3 let prop_spinor n = if n >= 0 then Prop_Spinor else Prop_ConjSpinor let prop_aux = function | 2 -> Aux_Tensor_1 | 1 -> Aux_Vector | 0 -> Aux_Scalar | _ -> invalid_arg ("SM.prop_aux: wrong value") let propagator = function | M f -> begin match f with | L n -> prop_spinor n | N n -> prop_spinor n | U n -> prop_spinor n | D n -> prop_spinor n end | G f -> begin match f with | Ga | Gl -> Prop_Feynman | Wp | Wm | Z -> Prop_Unitarity end | O f -> begin match f with | Phip | Phim | Phi0 -> Only_Insertion | H -> Prop_Scalar | Aux_top (l,_,_,_,_) -> prop_aux l end (* Optionally, ask for the fudge factor treatment for the widths of charged particles. Currently, this only applies to $W^\pm$ and top. *) let width f = if !use_fudged_width then match f with | G Wp | G Wm | M (U 3) | M (U (-3)) -> Fudged | _ -> !default_width else !default_width let goldstone = function | G f -> begin match f with | Wp -> Some (O Phip, Coupling.Integer 1) | Wm -> Some (O Phim, Coupling.Integer 1) | Z -> Some (O Phi0, Coupling.Integer 1) | _ -> None end | _ -> None let conjugate = function | M f -> M (begin match f with | L n -> L (-n) | N n -> N (-n) | U n -> U (-n) | D n -> D (-n) end) | G f -> G (begin match f with | Gl -> Gl | Ga -> Ga | Z -> Z | Wp -> Wm | Wm -> Wp end) | O f -> O (begin match f with | Phip -> Phim | Phim -> Phip | Phi0 -> Phi0 | H -> H | Aux_top (l,co,ch,n,f) -> Aux_top (l,co,(-ch),(not n),f) end) let fermion = function | M f -> begin match f with | L n -> if n > 0 then 1 else -1 | N n -> if n > 0 then 1 else -1 | U n -> if n > 0 then 1 else -1 | D n -> if n > 0 then 1 else -1 end | G f -> begin match f with | Gl | Ga | Z | Wp | Wm -> 0 end | O _ -> 0 (* Electrical charge, lepton number, baryon number. We could avoid the rationals altogether by multiplying the first and last by 3 \ldots *) module Ch = Charges.QQ let ( // ) = Algebra.Small_Rational.make let generation' = function | 1 -> [ 1//1; 0//1; 0//1] | 2 -> [ 0//1; 1//1; 0//1] | 3 -> [ 0//1; 0//1; 1//1] | -1 -> [-1//1; 0//1; 0//1] | -2 -> [ 0//1; -1//1; 0//1] | -3 -> [ 0//1; 0//1; -1//1] | n -> invalid_arg ("SM.generation': " ^ string_of_int n) (* Generation is not a good quantum number for models with flavor mixing, i.e. if CKM mixing is present. Also, for the FCNC vertices implemented in the SM variant with anomalous top couplings it is not a valid symmetry. *) let generation f = if (Flags.ckm_present || Flags.top_anom) then [] else match f with | M (L n | N n | U n | D n) -> generation' n | G _ | O _ -> [0//1; 0//1; 0//1] let charge = function | M f -> begin match f with | L n -> if n > 0 then -1//1 else 1//1 | N n -> 0//1 | U n -> if n > 0 then 2//3 else -2//3 | D n -> if n > 0 then -1//3 else 1//3 end | G f -> begin match f with | Gl | Ga | Z -> 0//1 | Wp -> 1//1 | Wm -> -1//1 end | O f -> begin match f with | H | Phi0 -> 0//1 | Phip -> 1//1 | Phim -> -1//1 | Aux_top (_,_,ch,_,_) -> ch//1 end let lepton = function | M f -> begin match f with | L n | N n -> if n > 0 then 1//1 else -1//1 | U _ | D _ -> 0//1 end | G _ | O _ -> 0//1 let baryon = function | M f -> begin match f with | L _ | N _ -> 0//1 | U n | D n -> if n > 0 then 1//1 else -1//1 end | G _ | O _ -> 0//1 let charges f = [ charge f; lepton f; baryon f] @ generation f type constant = | Unit | Half | Pi | Alpha_QED | Sin2thw | Sinthw | Costhw | E | G_weak | I_G_weak | Vev | Q_lepton | Q_up | Q_down | G_CC | G_CCQ of int*int | G_NC_neutrino | G_NC_lepton | G_NC_up | G_NC_down | G_TVA_ttA | G_TVA_bbA | G_TVA_tuA | G_TVA_tcA | G_TVA_tcZ | G_TVA_tuZ | G_TVA_bbZ | G_VLR_ttZ | G_TVA_ttZ | G_VLR_tcZ | G_VLR_tuZ | VA_ILC_ttA | VA_ILC_ttZ | G_VLR_btW | G_VLR_tbW | G_TLR_btW | G_TRL_tbW | G_TLR_btWZ | G_TRL_tbWZ | G_TLR_btWA | G_TRL_tbWA | G_TVA_ttWW | G_TVA_bbWW | G_TVA_ttG | G_TVA_ttGG | G_TVA_tcG | G_TVA_tcGG | G_TVA_tuG | G_TVA_tuGG | G_SP_ttH | G_VLR_qGuG | G_VLR_qBuB | G_VLR_qBuB_u | G_VLR_qBuB_d | G_VLR_qBuB_e | G_VL_qBuB_n | G_VL_qW | G_VL_qW_u | G_VL_qW_d | G_SL_DttR | G_SR_DttR | G_SL_DttL | G_SLR_DbtR | G_SL_DbtL | C_quqd1R_bt | C_quqd1R_tb | C_quqd1L_bt | C_quqd1L_tb | C_quqd8R_bt | C_quqd8R_tb | C_quqd8L_bt | C_quqd8L_tb | I_Q_W | I_G_ZWW | G_WWWW | G_ZZWW | G_AZWW | G_AAWW | I_G1_AWW | I_G1_ZWW | I_G1_plus_kappa_plus_G4_AWW | I_G1_plus_kappa_plus_G4_ZWW | I_G1_plus_kappa_minus_G4_AWW | I_G1_plus_kappa_minus_G4_ZWW | I_G1_minus_kappa_plus_G4_AWW | I_G1_minus_kappa_plus_G4_ZWW | I_G1_minus_kappa_minus_G4_AWW | I_G1_minus_kappa_minus_G4_ZWW | I_lambda_AWW | I_lambda_ZWW | G5_AWW | G5_ZWW | I_kappa5_AWW | I_kappa5_ZWW | I_lambda5_AWW | I_lambda5_ZWW | Alpha_WWWW0 | Alpha_ZZWW1 | Alpha_WWWW2 | Alpha_ZZWW0 | Alpha_ZZZZ | D_Alpha_ZZWW0_S | D_Alpha_ZZWW0_T | D_Alpha_ZZWW1_S | D_Alpha_ZZWW1_T | D_Alpha_ZZWW1_U | D_Alpha_WWWW0_S | D_Alpha_WWWW0_T | D_Alpha_WWWW0_U | D_Alpha_WWWW2_S | D_Alpha_WWWW2_T | D_Alpha_ZZZZ_S | D_Alpha_ZZZZ_T | G_HWW | G_HHWW | G_HZZ | G_HHZZ - | G_Htt | G_Hbb | G_Hcc | G_Hmm | G_Hee + | G_Htt | G_Hbb | G_Hcc | G_Hss | G_Hmm | G_Hee | G_Htautau | G_H3 | G_H4 | G_HGaZ | G_HGaGa | G_Hgg | G_HGaZ_anom | G_HGaGa_anom | G_HZZ_anom | G_HWW_anom | G_HGaZ_u | G_HZZ_u | G_HWW_u | Gs | I_Gs | G2 | Mass of flavor | Width of flavor | K_Matrix_Coeff of int | K_Matrix_Pole of int | I_Dim6_AWW_Gauge | I_Dim6_AWW_GGG | I_Dim6_AWW_DP | I_Dim6_AWW_DW | I_Dim6_WWZ_W | I_Dim6_WWZ_DPWDW | I_Dim6_WWZ_DW | I_Dim6_WWZ_D (*i | I_Dim6_GGG_G | I_Dim6_GGG_CG i*) | G_HZZ6_V3 | G_HZZ6_D | G_HZZ6_DP | G_HZZ6_PB | G_HWW_6_D | G_HWW_6_DP | G_HGaZ6_D | G_HGaZ6_DP | G_HGaZ6_PB | G_HGaGa6 | Dim6_vev3 | Dim6_Cphi | Anom_Dim6_AAWW_DW | Anom_Dim6_AAWW_W | Anom_Dim6_H4_v2 | Anom_Dim6_H4_P2 | Anom_Dim6_AHWW_DPB | Anom_Dim6_AHWW_DPW | Anom_Dim6_AHWW_DW | Anom_Dim6_HHWW_DW | Anom_Dim6_HHWW_DPW | Anom_Dim6_HWWZ_DW | Anom_Dim6_HWWZ_DDPW | Anom_Dim6_HWWZ_DPW | Anom_Dim6_HWWZ_DPB | Anom_Dim6_AHHZ_D | Anom_Dim6_AHHZ_DP | Anom_Dim6_AHHZ_PB | Anom_Dim6_AZWW_W | Anom_Dim6_AZWW_DWDPW | Anom_Dim6_WWWW_W | Anom_Dim6_WWWW_DWDPW | Anom_Dim6_WWZZ_W | Anom_Dim6_WWZZ_DWDPW | Anom_Dim6_HHAA | Anom_Dim6_HHZZ_D | Anom_Dim6_HHZZ_DP | Anom_Dim6_HHZZ_PB | Anom_Dim6_HHZZ_T (* Two integer counters for the QCD and EW order of the couplings. *) type orders = int * int let orders = function | Q_lepton | Q_up | Q_down | G_NC_lepton | G_NC_neutrino | G_NC_up | G_NC_down | G_CC | G_CCQ _ | G_Htt | G_H3 - | G_Hbb | G_Hcc | G_Htautau | G_Hmm | G_Hee | I_Q_W + | G_Hbb | G_Hcc | G_Hss | G_Htautau | G_Hmm | G_Hee | I_Q_W | I_G_ZWW | I_G1_AWW | I_G1_ZWW | I_G_weak | G_HWW | G_HZZ | G_HWW_u | G_HZZ_u | G_HGaZ_u | G_HWW_anom | G_HZZ_anom | G_HGaZ | G_HGaGa | G_HGaZ_anom | G_HGaGa_anom | Half | Unit | I_G1_plus_kappa_plus_G4_AWW | I_G1_plus_kappa_plus_G4_ZWW | I_G1_minus_kappa_plus_G4_AWW | I_G1_minus_kappa_plus_G4_ZWW | I_G1_plus_kappa_minus_G4_AWW | I_G1_plus_kappa_minus_G4_ZWW | I_G1_minus_kappa_minus_G4_AWW | I_G1_minus_kappa_minus_G4_ZWW | I_kappa5_AWW | I_kappa5_ZWW | G5_AWW | G5_ZWW | I_lambda_AWW | I_lambda_ZWW | I_lambda5_AWW | I_lambda5_ZWW | G_TVA_ttA | G_TVA_bbA | G_TVA_tcA | G_TVA_tuA | G_VLR_ttZ | G_TVA_ttZ | G_VLR_tcZ | G_TVA_tcZ | G_TVA_bbZ | VA_ILC_ttA | VA_ILC_ttZ | G_VLR_tuZ | G_TVA_tuZ | G_VLR_btW | G_VLR_tbW | G_TLR_btW | G_TRL_tbW | G_TLR_btWA | G_TRL_tbWA | G_TLR_btWZ | G_TRL_tbWZ | G_VLR_qBuB | G_VLR_qBuB_u | G_VLR_qBuB_d | G_VLR_qBuB_e | G_VL_qBuB_n | G_VL_qW | G_VL_qW_u | G_VL_qW_d | G_SL_DttR | G_SR_DttR | G_SL_DttL | G_SLR_DbtR | G_SL_DbtL | G_HZZ6_V3 | G_HZZ6_D | G_HZZ6_DP | G_HZZ6_PB | G_HGaZ6_D | G_HGaZ6_DP | G_HGaZ6_PB | G_HWW_6_D | G_HWW_6_DP | G_HGaGa6 | I_Dim6_AWW_Gauge | I_Dim6_AWW_GGG | I_Dim6_AWW_DP | I_Dim6_AWW_DW | I_Dim6_WWZ_W | I_Dim6_WWZ_DPWDW | I_Dim6_WWZ_DW | I_Dim6_WWZ_D (*i | I_Dim6_GGG_G | I_Dim6_GGG_CG i*) | Dim6_vev3 | Dim6_Cphi | Anom_Dim6_H4_v2 | Anom_Dim6_H4_P2 | Anom_Dim6_AAWW_DW | Anom_Dim6_AAWW_W | Anom_Dim6_AHWW_DPB | Anom_Dim6_AHWW_DPW | Anom_Dim6_AHWW_DW | Anom_Dim6_HHWW_DW | Anom_Dim6_HHWW_DPW | Anom_Dim6_HWWZ_DW | Anom_Dim6_HWWZ_DDPW | Anom_Dim6_HWWZ_DPW | Anom_Dim6_HWWZ_DPB | Anom_Dim6_AHHZ_D | Anom_Dim6_AHHZ_DP | Anom_Dim6_AHHZ_PB | Anom_Dim6_AZWW_W | Anom_Dim6_AZWW_DWDPW | Anom_Dim6_WWWW_W | Anom_Dim6_WWWW_DWDPW | Anom_Dim6_WWZZ_W | Anom_Dim6_WWZZ_DWDPW | Anom_Dim6_HHAA | Anom_Dim6_HHZZ_D | Anom_Dim6_HHZZ_DP | Anom_Dim6_HHZZ_PB | Anom_Dim6_HHZZ_T | G_TVA_ttWW | G_TVA_bbWW | G_SP_ttH -> (0,1) | G_HHWW | G_HHZZ | G_H4 | G_WWWW | G_ZZWW | G_AZWW | G_AAWW | Alpha_WWWW0 | Alpha_WWWW2 | Alpha_ZZWW0 | Alpha_ZZWW1 | Alpha_ZZZZ | D_Alpha_WWWW0_S | D_Alpha_WWWW0_T | D_Alpha_WWWW0_U | D_Alpha_WWWW2_S | D_Alpha_WWWW2_T | D_Alpha_ZZWW0_S | D_Alpha_ZZWW0_T | D_Alpha_ZZWW1_S | D_Alpha_ZZWW1_T | D_Alpha_ZZWW1_U | D_Alpha_ZZZZ_S | D_Alpha_ZZZZ_T -> (0,2) | Gs | I_Gs | G_TVA_ttG | G_TVA_ttGG | G_TVA_tcG | G_TVA_tcGG | G_TVA_tuG | G_TVA_tuGG | G_VLR_qGuG | C_quqd1R_bt | C_quqd1R_tb | C_quqd1L_bt | C_quqd1L_tb | C_quqd8R_bt | C_quqd8R_tb | C_quqd8L_bt | C_quqd8L_tb -> (1,0) | G2 | G_Hgg -> (2,0) (* These constants are not used, hence initialized to zero. *) | Sinthw | Sin2thw | Costhw | Pi | Alpha_QED | G_weak | K_Matrix_Coeff _ | K_Matrix_Pole _ | Mass _ | Width _ | Vev | E -> (0,0) (* \begin{dubious} The current abstract syntax for parameter dependencies is admittedly tedious. Later, there will be a parser for a convenient concrete syntax as a part of a concrete syntax for models. But as these examples show, it should include simple functions. \end{dubious} *) (* \begin{subequations} \begin{align} \alpha_{\text{QED}} &= \frac{1}{137.0359895} \\ \sin^2\theta_w &= 0.23124 \end{align} \end{subequations} *) let input_parameters = [ Alpha_QED, 1. /. 137.0359895; Sin2thw, 0.23124; Mass (G Z), 91.187; Mass (M (N 1)), 0.0; Mass (M (L 1)), 0.51099907e-3; Mass (M (N 2)), 0.0; Mass (M (L 2)), 0.105658389; Mass (M (N 3)), 0.0; Mass (M (L 3)), 1.77705; Mass (M (U 1)), 5.0e-3; Mass (M (D 1)), 3.0e-3; Mass (M (U 2)), 1.2; Mass (M (D 2)), 0.1; Mass (M (U 3)), 174.0; Mass (M (D 3)), 4.2 ] (* \begin{subequations} \begin{align} e &= \sqrt{4\pi\alpha} \\ \sin\theta_w &= \sqrt{\sin^2\theta_w} \\ \cos\theta_w &= \sqrt{1-\sin^2\theta_w} \\ g &= \frac{e}{\sin\theta_w} \\ m_W &= \cos\theta_w m_Z \\ v &= \frac{2m_W}{g} \\ g_{CC} = -\frac{g}{2\sqrt2} &= -\frac{e}{2\sqrt2\sin\theta_w} \\ Q_{\text{lepton}} = -q_{\text{lepton}}e &= e \\ Q_{\text{up}} = -q_{\text{up}}e &= -\frac{2}{3}e \\ Q_{\text{down}} = -q_{\text{down}}e &= \frac{1}{3}e \\ \ii q_We = \ii g_{\gamma WW} &= \ii e \\ \ii g_{ZWW} &= \ii g \cos\theta_w \\ \ii g_{WWW} &= \ii g \end{align} \end{subequations} *) (* \begin{dubious} \ldots{} to be continued \ldots{} The quartic couplings can't be correct, because the dimensions are wrong! \begin{subequations} \begin{align} g_{HWW} &= g m_W = 2 \frac{m_W^2}{v}\\ g_{HHWW} &= 2 \frac{m_W^2}{v^2} = \frac{g^2}{2} \\ g_{HZZ} &= \frac{g}{\cos\theta_w}m_Z \\ g_{HHZZ} &= 2 \frac{m_Z^2}{v^2} = \frac{g^2}{2\cos\theta_w} \\ g_{Htt} &= \lambda_t \\ g_{Hbb} &= \lambda_b=\frac{m_b}{m_t}\lambda_t \\ g_{H^3} &= - \frac{3g}{2}\frac{m_H^2}{m_W} = - 3 \frac{m_H^2}{v} g_{H^4} &= - \frac{3g^2}{4} \frac{m_W^2}{v^2} = -3 \frac{m_H^2}{v^2} \end{align} \end{subequations} \end{dubious} *) let derived_parameters = [ Real E, Sqrt (Prod [Integer 4; Atom Pi; Atom Alpha_QED]); Real Sinthw, Sqrt (Atom Sin2thw); Real Costhw, Sqrt (Diff (Integer 1, Atom Sin2thw)); Real G_weak, Quot (Atom E, Atom Sinthw); Real (Mass (G Wp)), Prod [Atom Costhw; Atom (Mass (G Z))]; Real Vev, Quot (Prod [Integer 2; Atom (Mass (G Wp))], Atom G_weak); Real Q_lepton, Atom E; Real Q_up, Prod [Quot (Integer (-2), Integer 3); Atom E]; Real Q_down, Prod [Quot (Integer 1, Integer 3); Atom E]; Real G_CC, Neg (Quot (Atom G_weak, Prod [Integer 2; Sqrt (Integer 2)])); Complex I_Q_W, Prod [I; Atom E]; Complex I_G_weak, Prod [I; Atom G_weak]; Complex I_G_ZWW, Prod [I; Atom G_weak; Atom Costhw] ] (* \begin{equation} - \frac{g}{2\cos\theta_w} \end{equation} *) let g_over_2_costh = Quot (Neg (Atom G_weak), Prod [Integer 2; Atom Costhw]) (* \begin{subequations} \begin{align} - \frac{g}{2\cos\theta_w} g_V &= - \frac{g}{2\cos\theta_w} (T_3 - 2 q \sin^2\theta_w) \\ - \frac{g}{2\cos\theta_w} g_A &= - \frac{g}{2\cos\theta_w} T_3 \end{align} \end{subequations} *) let nc_coupling c t3 q = (Real_Array c, [Prod [g_over_2_costh; Diff (t3, Prod [Integer 2; q; Atom Sin2thw])]; Prod [g_over_2_costh; t3]]) let half = Quot (Integer 1, Integer 2) let derived_parameter_arrays = [ nc_coupling G_NC_neutrino half (Integer 0); nc_coupling G_NC_lepton (Neg half) (Integer (-1)); nc_coupling G_NC_up half (Quot (Integer 2, Integer 3)); nc_coupling G_NC_down (Neg half) (Quot (Integer (-1), Integer 3)) ] let parameters () = { input = input_parameters; derived = derived_parameters; derived_arrays = derived_parameter_arrays } module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) (* \begin{equation} \mathcal{L}_{\textrm{EM}} = - e \sum_i q_i \bar\psi_i\fmslash{A}\psi_i \end{equation} *) let mgm ((m1, g, m2), fbf, c) = ((M m1, G g, M m2), fbf, c) let mom ((m1, o, m2), fbf, c) = ((M m1, O o, M m2), fbf, c) let electromagnetic_currents n = List.map mgm [ ((L (-n), Ga, L n), FBF (1, Psibar, V, Psi), Q_lepton); ((U (-n), Ga, U n), FBF (1, Psibar, V, Psi), Q_up); ((D (-n), Ga, D n), FBF (1, Psibar, V, Psi), Q_down) ] let color_currents n = List.map mgm [ ((U (-n), Gl, U n), FBF ((-1), Psibar, V, Psi), Gs); ((D (-n), Gl, D n), FBF ((-1), Psibar, V, Psi), Gs) ] (* \begin{equation} \mathcal{L}_{\textrm{NC}} = - \frac{g}{2\cos\theta_W} \sum_i \bar\psi_i\fmslash{Z}(g_V^i-g_A^i\gamma_5)\psi_i \end{equation} *) let neutral_currents n = List.map mgm [ ((L (-n), Z, L n), FBF (1, Psibar, VA, Psi), G_NC_lepton); ((N (-n), Z, N n), FBF (1, Psibar, VA, Psi), G_NC_neutrino); ((U (-n), Z, U n), FBF (1, Psibar, VA, Psi), G_NC_up); ((D (-n), Z, D n), FBF (1, Psibar, VA, Psi), G_NC_down) ] (* \begin{equation} \mathcal{L}_{\textrm{CC}} = - \frac{g}{2\sqrt2} \sum_i \bar\psi_i (T^+\fmslash{W}^+ + T^-\fmslash{W}^-)(1-\gamma_5)\psi_i \end{equation} *) let charged_currents' n = List.map mgm [ ((L (-n), Wm, N n), FBF (1, Psibar, VL, Psi), G_CC); ((N (-n), Wp, L n), FBF (1, Psibar, VL, Psi), G_CC) ] let charged_currents'' n = List.map mgm [ ((D (-n), Wm, U n), FBF (1, Psibar, VL, Psi), G_CC); ((U (-n), Wp, D n), FBF (1, Psibar, VL, Psi), G_CC) ] let charged_currents_triv = ThoList.flatmap charged_currents' [1;2;3] @ ThoList.flatmap charged_currents'' [1;2;3] let charged_currents_ckm = let charged_currents_2 n1 n2 = List.map mgm [ ((D (-n1), Wm, U n2), FBF (1, Psibar, VL, Psi), G_CCQ (n2,n1)); ((U (-n1), Wp, D n2), FBF (1, Psibar, VL, Psi), G_CCQ (n1,n2)) ] in ThoList.flatmap charged_currents' [1;2;3] @ List.flatten (Product.list2 charged_currents_2 [1;2;3] [1;2;3]) let yukawa = [ ((M (U (-3)), O H, M (U 3)), FBF (1, Psibar, S, Psi), G_Htt); ((M (D (-3)), O H, M (D 3)), FBF (1, Psibar, S, Psi), G_Hbb); ((M (U (-2)), O H, M (U 2)), FBF (1, Psibar, S, Psi), G_Hcc); ((M (L (-3)), O H, M (L 3)), FBF (1, Psibar, S, Psi), G_Htautau) ] @ if Flags.higgs_hmm then - [ ((M (L (-2)), O H, M (L 2)), FBF (1, Psibar, S, Psi), G_Hmm); - ((M (L (-1)), O H, M (L 1)), FBF (1, Psibar, S, Psi), G_Hee) ] - else - [] + [ ((M (D (-2)), O H, M (D 2)), FBF (1, Psibar, S, Psi), G_Hss); + ((M (L (-2)), O H, M (L 2)), FBF (1, Psibar, S, Psi), G_Hmm); + ((M (L (-1)), O H, M (L 1)), FBF (1, Psibar, S, Psi), G_Hee) ] + else + [] (* \begin{equation} \mathcal{L}_{\textrm{TGC}} = - e \partial_\mu A_\nu W_+^\mu W_-^\nu + \ldots - e \cot\theta_w \partial_\mu Z_\nu W_+^\mu W_-^\nu + \ldots \end{equation} *) let tgc ((g1, g2, g3), t, c) = ((G g1, G g2, G g3), t, c) let standard_triple_gauge = List.map tgc [ ((Ga, Wm, Wp), Gauge_Gauge_Gauge 1, I_Q_W); ((Z, Wm, Wp), Gauge_Gauge_Gauge 1, I_G_ZWW); ((Gl, Gl, Gl), Gauge_Gauge_Gauge 1, I_Gs)] (* \begin{multline} \mathcal{L}_{\textrm{TGC}}(g_1,\kappa) = g_1 \mathcal{L}_T(V,W^+,W^-) \\ + \frac{\kappa+g_1}{2} \Bigl(\mathcal{L}_T(W^-,V,W^+) - \mathcal{L}_T(W^+,V,W^-)\Bigr)\\ + \frac{\kappa-g_1}{2} \Bigl(\mathcal{L}_L(W^-,V,W^+) - \mathcal{L}_T(W^+,V,W^-)\Bigr) \end{multline} *) (* \begin{dubious} The whole thing in the LEP2 workshop notation: \begin{multline} \ii\mathcal{L}_{\textrm{TGC},V} / g_{WWV} = \\ g_1^V V^\mu (W^-_{\mu\nu}W^{+,\nu}-W^+_{\mu\nu}W^{-,\nu}) + \kappa_V W^+_\mu W^-_\nu V^{\mu\nu} + \frac{\lambda_V}{m_W^2} V_{\mu\nu} W^-_{\rho\mu} W^{+,\hphantom{\nu}\rho}_{\hphantom{+,}\nu} \\ + \ii g_5^V \epsilon_{\mu\nu\rho\sigma} \left( (\partial^\rho W^{-,\mu}) W^{+,\nu} - W^{-,\mu}(\partial^\rho W^{+,\nu}) \right) V^\sigma \\ + \ii g_4^V W^-_\mu W^+_\nu (\partial^\mu V^\nu + \partial^\nu V^\mu) - \frac{\tilde\kappa_V}{2} W^-_\mu W^+_\nu \epsilon^{\mu\nu\rho\sigma} V_{\rho\sigma} - \frac{\tilde\lambda_V}{2m_W^2} W^-_{\rho\mu} W^{+,\mu}_{\hphantom{+,\mu}\nu} \epsilon^{\nu\rho\alpha\beta} V_{\alpha\beta} \end{multline} using the conventions of Itzykson and Zuber with $\epsilon^{0123} = +1$. \end{dubious} *) (* \begin{dubious} This is equivalent to the notation of Hagiwara et al.~\cite{HPZH87}, if we remember that they have opposite signs for~$g_{WWV}$: \begin{multline} \mathcal{L}_{WWV} / (-g_{WWV}) = \\ \ii g_1^V \left( W^\dagger_{\mu\nu} W^\mu - W^\dagger_\mu W^\mu_{\hphantom{\mu}\nu} \right) V^\nu + \ii \kappa_V W^\dagger_\mu W_\nu V^{\mu\nu} + \ii \frac{\lambda_V}{m_W^2} W^\dagger_{\lambda\mu} W^\mu_{\hphantom{\mu}\nu} V^{\nu\lambda} \\ - g_4^V W^\dagger_\mu W_\nu \left(\partial^\mu V^\nu + \partial^\nu V^\mu \right) + g_5^V \epsilon^{\mu\nu\lambda\sigma} \left( W^\dagger_\mu \stackrel{\leftrightarrow}{\partial_\lambda} W_\nu \right) V_\sigma\\ + \ii \tilde\kappa_V W^\dagger_\mu W_\nu \tilde{V}^{\mu\nu} + \ii\frac{\tilde\lambda_V}{m_W^2} W^\dagger_{\lambda\mu} W^\mu_{\hphantom{\mu}\nu} \tilde{V}^{\nu\lambda} \end{multline} Here $V^\mu$ stands for either the photon or the~$Z$ field, $W^\mu$ is the $W^-$ field, $W_{\mu\nu} = \partial_\mu W_\nu - \partial_\nu W_\mu$, $V_{\mu\nu} = \partial_\mu V_\nu - \partial_\nu V_\mu$, and $\tilde{V}_{\mu\nu} = \frac{1}{2} \epsilon_{\mu\nu\lambda\sigma} V^{\lambda\sigma}$. \end{dubious} *) let anomalous_triple_gauge = List.map tgc [ ((Ga, Wm, Wp), Dim4_Vector_Vector_Vector_T (-1), I_G1_AWW); ((Z, Wm, Wp), Dim4_Vector_Vector_Vector_T (-1), I_G1_ZWW); ((Wm, Ga, Wp), Dim4_Vector_Vector_Vector_T 1, I_G1_plus_kappa_minus_G4_AWW); ((Wm, Z, Wp), Dim4_Vector_Vector_Vector_T 1, I_G1_plus_kappa_minus_G4_ZWW); ((Wp, Ga, Wm), Dim4_Vector_Vector_Vector_T (-1), I_G1_plus_kappa_plus_G4_AWW); ((Wp, Z, Wm), Dim4_Vector_Vector_Vector_T (-1), I_G1_plus_kappa_plus_G4_ZWW); ((Wm, Ga, Wp), Dim4_Vector_Vector_Vector_L (-1), I_G1_minus_kappa_plus_G4_AWW); ((Wm, Z, Wp), Dim4_Vector_Vector_Vector_L (-1), I_G1_minus_kappa_plus_G4_ZWW); ((Wp, Ga, Wm), Dim4_Vector_Vector_Vector_L 1, I_G1_minus_kappa_minus_G4_AWW); ((Wp, Z, Wm), Dim4_Vector_Vector_Vector_L 1, I_G1_minus_kappa_minus_G4_ZWW); ((Ga, Wm, Wp), Dim4_Vector_Vector_Vector_L5 (-1), I_kappa5_AWW); ((Z, Wm, Wp), Dim4_Vector_Vector_Vector_L5 (-1), I_kappa5_ZWW); ((Ga, Wm, Wp), Dim4_Vector_Vector_Vector_T5 (-1), G5_AWW); ((Z, Wm, Wp), Dim4_Vector_Vector_Vector_T5 (-1), G5_ZWW); ((Ga, Wp, Wm), Dim6_Gauge_Gauge_Gauge (-1), I_lambda_AWW); ((Z, Wp, Wm), Dim6_Gauge_Gauge_Gauge (-1), I_lambda_ZWW); ((Ga, Wp, Wm), Dim6_Gauge_Gauge_Gauge_5 (-1), I_lambda5_AWW); ((Z, Wp, Wm), Dim6_Gauge_Gauge_Gauge_5 (-1), I_lambda5_ZWW) ] let anomalous_dim6_triple_gauge = List.map tgc [ ((Ga, Wm, Wp), Dim6_Gauge_Gauge_Gauge_i 1, I_Dim6_AWW_GGG); ((Ga, Wm, Wp), Dim6_AWW_DP 1, I_Dim6_AWW_DP); ((Ga, Wm, Wp), Dim6_AWW_DW 1, I_Dim6_AWW_DW); ((Wm, Wp, Z), Dim6_Gauge_Gauge_Gauge_i 1, I_Dim6_WWZ_W); ((Wm, Wp, Z), Dim6_WWZ_DPWDW 1, I_Dim6_WWZ_DPWDW); ((Wm, Wp, Z), Dim6_WWZ_DW 1, I_Dim6_WWZ_DW); ((Wm, Wp, Z), Dim6_WWZ_D 1, I_Dim6_WWZ_D)(*i ; ((G, G, G), Dim6_Glu_Glu_Glu 1, I_Dim6_GGG_G); ((G, G, G), Gauge_Gauge_Gauge_I 1, I_Dim6_GGG_CG) i*) ] let triple_gauge = if Flags.triple_anom then anomalous_triple_gauge else if Flags.dim6 then standard_triple_gauge @ anomalous_dim6_triple_gauge else standard_triple_gauge (* \begin{equation} \mathcal{L}_{\textrm{QGC}} = - g^2 W_{+,\mu} W_{-,\nu} W_+^\mu W_-^\nu + \ldots \end{equation} *) (* Actually, quartic gauge couplings are a little bit more straightforward using auxiliary fields. Here we have to impose the antisymmetry manually: \begin{subequations} \begin{multline} (W^{+,\mu}_1 W^{-,\nu}_2 - W^{+,\nu}_1 W^{-,\mu}_2) (W^+_{3,\mu} W^-_{4,\nu} - W^+_{3,\nu} W^-_{4,\mu}) \\ = 2(W^+_1W^+_3)(W^-_2W^-_4) - 2(W^+_1W^-_4)(W^-_2W^+_3) \end{multline} also ($V$ can be $A$ or $Z$) \begin{multline} (W^{+,\mu}_1 V^\nu_2 - W^{+,\nu}_1 V^\mu_2) (W^-_{3,\mu} V_{4,\nu} - W^-_{3,\nu} V_{4,\mu}) \\ = 2(W^+_1W^-_3)(V_2V_4) - 2(W^+_1V_4)(V_2W^-_3) \end{multline} \end{subequations} *) (* \begin{subequations} \begin{multline} W^{+,\mu} W^{-,\nu} W^+_\mu W^-_\nu \end{multline} \end{subequations} *) let qgc ((g1, g2, g3, g4), t, c) = ((G g1, G g2, G g3, G g4), t, c) let gauge4 = Vector4 [(2, C_13_42); (-1, C_12_34); (-1, C_14_23)] let minus_gauge4 = Vector4 [(-2, C_13_42); (1, C_12_34); (1, C_14_23)] let standard_quartic_gauge = List.map qgc [ (Wm, Wp, Wm, Wp), gauge4, G_WWWW; (Wm, Z, Wp, Z), minus_gauge4, G_ZZWW; (Wm, Z, Wp, Ga), minus_gauge4, G_AZWW; (Wm, Ga, Wp, Ga), minus_gauge4, G_AAWW; (Gl, Gl, Gl, Gl), gauge4, G2 ] (* \begin{subequations} \begin{align} \mathcal{L}_4 &= \alpha_4 \left( \frac{g^4}{2}\left( (W^+_\mu W^{-,\mu})^2 + W^+_\mu W^{+,\mu} W^-_\mu W^{-,\mu} \right)\right.\notag \\ &\qquad\qquad\qquad \left. + \frac{g^4}{\cos^2\theta_w} W^+_\mu Z^\mu W^-_\nu Z^\nu + \frac{g^4}{4\cos^4\theta_w} (Z_\mu Z^\mu)^2 \right) \\ \mathcal{L}_5 &= \alpha_5 \left( g^4 (W^+_\mu W^{-,\mu})^2 + \frac{g^4}{\cos^2\theta_w} W^+_\mu W^{-,\mu} Z_\nu Z^\nu + \frac{g^4}{4\cos^4\theta_w} (Z_\mu Z^\mu)^2 \right) \end{align} \end{subequations} or \begin{multline} \mathcal{L}_4 + \mathcal{L}_5 = (\alpha_4+2\alpha_5) g^4 \frac{1}{2} (W^+_\mu W^{-,\mu})^2 \\ + 2\alpha_4 g^4 \frac{1}{4} W^+_\mu W^{+,\mu} W^-_\mu W^{-,\mu} + \alpha_4 \frac{g^4}{\cos^2\theta_w} W^+_\mu Z^\mu W^-_\nu Z^\nu \\ + 2\alpha_5 \frac{g^4}{\cos^2\theta_w} \frac{1}{2} W^+_\mu W^{-,\mu} Z_\nu Z^\nu + (2\alpha_4 + 2\alpha_5) \frac{g^4}{\cos^4\theta_w} \frac{1}{8} (Z_\mu Z^\mu)^2 \end{multline} and therefore \begin{subequations} \begin{align} \alpha_{(WW)_0} &= (\alpha_4+2\alpha_5) g^4 \\ \alpha_{(WW)_2} &= 2\alpha_4 g^4 \\ \alpha_{(WZ)_0} &= 2\alpha_5 \frac{g^4}{\cos^2\theta_w} \\ \alpha_{(WZ)_1} &= \alpha_4 \frac{g^4}{\cos^2\theta_w} \\ \alpha_{ZZ} &= (2\alpha_4 + 2\alpha_5) \frac{g^4}{\cos^4\theta_w} \end{align} \end{subequations} *) let anomalous_quartic_gauge = if Flags.quartic_anom then List.map qgc [ ((Wm, Wm, Wp, Wp), Vector4 [(1, C_13_42); (1, C_14_23)], Alpha_WWWW0); ((Wm, Wm, Wp, Wp), Vector4 [1, C_12_34], Alpha_WWWW2); ((Wm, Wp, Z, Z), Vector4 [1, C_12_34], Alpha_ZZWW0); ((Wm, Wp, Z, Z), Vector4 [(1, C_13_42); (1, C_14_23)], Alpha_ZZWW1); ((Z, Z, Z, Z), Vector4 [(1, C_12_34); (1, C_13_42); (1, C_14_23)], Alpha_ZZZZ) ] else [] let anomalous_dim6_quartic_gauge = if Flags.dim6 then List.map qgc [ ((Ga, Ga, Wm, Wp), Dim6_Vector4_DW 1, Anom_Dim6_AAWW_DW); ((Ga, Ga, Wm, Wp), Dim6_Vector4_W 1, Anom_Dim6_AAWW_W); ((Ga, Z, Wm, Wp), Dim6_Vector4_W 1, Anom_Dim6_AZWW_W); ((Ga, Z, Wm, Wp), Dim6_Vector4_DW 1, Anom_Dim6_AZWW_DWDPW); ((Wm, Wp, Wm, Wp), Dim6_Vector4_W 1, Anom_Dim6_WWWW_W); ((Wm, Wp, Wm, Wp), Dim6_Vector4_DW 1, Anom_Dim6_WWWW_DWDPW); ((Z, Z, Wm, Wp), Dim6_Vector4_W 1, Anom_Dim6_WWZZ_W); ((Z, Z, Wm, Wp), Dim6_Vector4_DW 1, Anom_Dim6_WWZZ_DWDPW) ] else [] (* In any diagonal channel~$\chi$, the scattering amplitude~$a_\chi(s)$ is unitary iff\footnote{% Trivial proof: \begin{equation} -1 = \textrm{Im}\left(\frac{1}{a_\chi(s)}\right) = \frac{\textrm{Im}(a_\chi^*(s))}{ |a_\chi(s)|^2 } = - \frac{\textrm{Im}(a_\chi(s))}{ |a_\chi(s)|^2 } \end{equation} i.\,e.~$\textrm{Im}(a_\chi(s)) = |a_\chi(s)|^2$.} \begin{equation} \textrm{Im}\left(\frac{1}{a_\chi(s)}\right) = -1 \end{equation} For a real perturbative scattering amplitude~$r_\chi(s)$ this can be enforced easily--and arbitrarily--by \begin{equation} \frac{1}{a_\chi(s)} = \frac{1}{r_\chi(s)} - \mathrm{i} \end{equation} *) let k_matrix_quartic_gauge = if Flags.k_matrix then List.map qgc [ ((Wm, Wp, Wm, Wp), Vector4_K_Matrix_jr (0, [(1, C_12_34)]), D_Alpha_WWWW0_S); ((Wm, Wp, Wm, Wp), Vector4_K_Matrix_jr (0, [(1, C_14_23)]), D_Alpha_WWWW0_T); ((Wm, Wp, Wm, Wp), Vector4_K_Matrix_jr (0, [(1, C_13_42)]), D_Alpha_WWWW0_U); ((Wp, Wm, Wp, Wm), Vector4_K_Matrix_jr (0, [(1, C_12_34)]), D_Alpha_WWWW0_S); ((Wp, Wm, Wp, Wm), Vector4_K_Matrix_jr (0, [(1, C_14_23)]), D_Alpha_WWWW0_T); ((Wp, Wm, Wp, Wm), Vector4_K_Matrix_jr (0, [(1, C_13_42)]), D_Alpha_WWWW0_U); ((Wm, Wm, Wp, Wp), Vector4_K_Matrix_jr (0, [(1, C_12_34)]), D_Alpha_WWWW2_S); ((Wm, Wm, Wp, Wp), Vector4_K_Matrix_jr (0, [(1, C_13_42); (1, C_14_23)]), D_Alpha_WWWW2_T); ((Wm, Wp, Z, Z), Vector4_K_Matrix_jr (0, [(1, C_12_34)]), D_Alpha_ZZWW0_S); ((Wm, Wp, Z, Z), Vector4_K_Matrix_jr (0, [(1, C_13_42); (1, C_14_23)]), D_Alpha_ZZWW0_T); ((Wm, Z, Wp, Z), Vector4_K_Matrix_jr (0, [(1, C_12_34)]), D_Alpha_ZZWW1_S); ((Wm, Z, Wp, Z), Vector4_K_Matrix_jr (0, [(1, C_13_42)]), D_Alpha_ZZWW1_T); ((Wm, Z, Wp, Z), Vector4_K_Matrix_jr (0, [(1, C_14_23)]), D_Alpha_ZZWW1_U); ((Wp, Z, Z, Wm), Vector4_K_Matrix_jr (1, [(1, C_12_34)]), D_Alpha_ZZWW1_S); ((Wp, Z, Z, Wm), Vector4_K_Matrix_jr (1, [(1, C_13_42)]), D_Alpha_ZZWW1_U); ((Wp, Z, Z, Wm), Vector4_K_Matrix_jr (1, [(1, C_14_23)]), D_Alpha_ZZWW1_T); ((Z, Wp, Wm, Z), Vector4_K_Matrix_jr (2, [(1, C_12_34)]), D_Alpha_ZZWW1_S); ((Z, Wp, Wm, Z), Vector4_K_Matrix_jr (2, [(1, C_13_42)]), D_Alpha_ZZWW1_U); ((Z, Wp, Wm, Z), Vector4_K_Matrix_jr (2, [(1, C_14_23)]), D_Alpha_ZZWW1_T); ((Z, Z, Z, Z), Vector4_K_Matrix_jr (0, [(1, C_12_34)]), D_Alpha_ZZZZ_S); ((Z, Z, Z, Z), Vector4_K_Matrix_jr (0, [(1, C_13_42); (1, C_14_23)]), D_Alpha_ZZZZ_T); ((Z, Z, Z, Z), Vector4_K_Matrix_jr (3, [(1, C_14_23)]), D_Alpha_ZZZZ_S); ((Z, Z, Z, Z), Vector4_K_Matrix_jr (3, [(1, C_13_42); (1, C_12_34)]), D_Alpha_ZZZZ_T)] else [] (*i Thorsten's original implementation of the K matrix, which we keep since it still might be usefull for the future. let k_matrix_quartic_gauge = if Flags.k_matrix then List.map qgc [ ((Wm, Wp, Wm, Wp), Vector4_K_Matrix_tho (0, [K_Matrix_Coeff 0, K_Matrix_Pole 0]), Alpha_WWWW0); ((Wm, Wm, Wp, Wp), Vector4_K_Matrix_tho (0, [K_Matrix_Coeff 2, K_Matrix_Pole 2]), Alpha_WWWW2); ((Wm, Wp, Z, Z), Vector4_K_Matrix_tho (0, [(K_Matrix_Coeff 0, K_Matrix_Pole 0); (K_Matrix_Coeff 2, K_Matrix_Pole 2)]), Alpha_ZZWW0); ((Wm, Z, Wp, Z), Vector4_K_Matrix_tho (0, [K_Matrix_Coeff 1, K_Matrix_Pole 1]), Alpha_ZZWW1); ((Z, Z, Z, Z), Vector4_K_Matrix_tho (0, [K_Matrix_Coeff 0, K_Matrix_Pole 0]), Alpha_ZZZZ) ] else [] i*) let quartic_gauge = standard_quartic_gauge @ anomalous_quartic_gauge @ anomalous_dim6_quartic_gauge @ k_matrix_quartic_gauge let standard_gauge_higgs = [ ((O H, G Wp, G Wm), Scalar_Vector_Vector 1, G_HWW); ((O H, G Z, G Z), Scalar_Vector_Vector 1, G_HZZ) ] let standard_gauge_higgs4 = [ (O H, O H, G Wp, G Wm), Scalar2_Vector2 1, G_HHWW; (O H, O H, G Z, G Z), Scalar2_Vector2 1, G_HHZZ ] let standard_higgs = [ (O H, O H, O H), Scalar_Scalar_Scalar 1, G_H3 ] let standard_higgs4 = [ (O H, O H, O H, O H), Scalar4 1, G_H4 ] (* WK's couplings (apparently, he still intends to divide by $\Lambda^2_{\text{EWSB}}=16\pi^2v_{\mathrm{F}}^2$): \begin{subequations} \begin{align} \mathcal{L}^{\tau}_4 &= \left\lbrack (\partial_{\mu}H)(\partial^{\mu}H) + \frac{g^2v_{\mathrm{F}}^2}{4} V_{\mu} V^{\mu} \right\rbrack^2 \\ \mathcal{L}^{\tau}_5 &= \left\lbrack (\partial_{\mu}H)(\partial_{\nu}H) + \frac{g^2v_{\mathrm{F}}^2}{4} V_{\mu} V_{\nu} \right\rbrack^2 \end{align} \end{subequations} with \begin{equation} V_{\mu} V_{\nu} = \frac{1}{2} \left( W^+_{\mu} W^-_{\nu} + W^+_{\nu} W^-_{\mu} \right) + \frac{1}{2\cos^2\theta_{w}} Z_{\mu} Z_{\nu} \end{equation} (note the symmetrization!), i.\,e. \begin{subequations} \begin{align} \mathcal{L}_4 &= \alpha_4 \frac{g^4v_{\mathrm{F}}^4}{16} (V_{\mu} V_{\nu})^2 \\ \mathcal{L}_5 &= \alpha_5 \frac{g^4v_{\mathrm{F}}^4}{16} (V_{\mu} V^{\mu})^2 \end{align} \end{subequations} *) (* Breaking thinks up \begin{subequations} \begin{align} \mathcal{L}^{\tau,H^4}_4 &= \left\lbrack (\partial_{\mu}H)(\partial^{\mu}H) \right\rbrack^2 \\ \mathcal{L}^{\tau,H^4}_5 &= \left\lbrack (\partial_{\mu}H)(\partial^{\mu}H) \right\rbrack^2 \end{align} \end{subequations} and \begin{subequations} \begin{align} \mathcal{L}^{\tau,H^2V^2}_4 &= \frac{g^2v_{\mathrm{F}}^2}{2} (\partial_{\mu}H)(\partial^{\mu}H) V_{\mu}V^{\mu} \\ \mathcal{L}^{\tau,H^2V^2}_5 &= \frac{g^2v_{\mathrm{F}}^2}{2} (\partial_{\mu}H)(\partial_{\nu}H) V_{\mu}V_{\nu} \end{align} \end{subequations} i.\,e. \begin{subequations} \begin{align} \mathcal{L}^{\tau,H^2V^2}_4 &= \frac{g^2v_{\mathrm{F}}^2}{2} \left\lbrack (\partial_{\mu}H)(\partial^{\mu}H) W^+_{\nu}W^{-,\nu} + \frac{1}{2\cos^2\theta_{w}} (\partial_{\mu}H)(\partial^{\mu}H) Z_{\nu} Z^{\nu} \right\rbrack \\ \mathcal{L}^{\tau,H^2V^2}_5 &= \frac{g^2v_{\mathrm{F}}^2}{2} \left\lbrack (W^{+,\mu}\partial_{\mu}H) (W^{-,\nu}\partial_{\nu}H) + \frac{1}{2\cos^2\theta_{w}} (Z^{\mu}\partial_{\mu}H)(Z^{\nu}\partial_{\nu}H) \right\rbrack \end{align} \end{subequations} *) (* \begin{multline} \tau^4_8 \mathcal{L}^{\tau,H^2V^2}_4 + \tau^5_8 \mathcal{L}^{\tau,H^2V^2}_5 = \\ - \frac{g^2v_{\mathrm{F}}^2}{2} \Biggl\lbrack 2\tau^4_8 \frac{1}{2}(\ii\partial_{\mu}H)(\ii\partial^{\mu}H) W^+_{\nu}W^{-,\nu} + \tau^5_8 (W^{+,\mu}\ii\partial_{\mu}H) (W^{-,\nu}\ii\partial_{\nu}H) \\ + \frac{2\tau^4_8}{\cos^2\theta_{w}} \frac{1}{4} (\ii\partial_{\mu}H)(\ii\partial^{\mu}H) Z_{\nu} Z^{\nu} + \frac{\tau^5_8}{\cos^2\theta_{w}} \frac{1}{2} (Z^{\mu}\ii\partial_{\mu}H)(Z^{\nu}\ii\partial_{\nu}H) \Biggr\rbrack \end{multline} where the two powers of $\ii$ make the sign conveniently negative, i.\,e. \begin{subequations} \begin{align} \alpha_{(\partial H)^2W^2}^2 &= \tau^4_8 g^2v_{\mathrm{F}}^2\\ \alpha_{(\partial HW)^2}^2 &= \frac{\tau^5_8 g^2v_{\mathrm{F}}^2}{2} \\ \alpha_{(\partial H)^2Z^2}^2 &= \frac{\tau^4_8 g^2v_{\mathrm{F}}^2}{\cos^2\theta_{w}} \\ \alpha_{(\partial HZ)^2}^2 &=\frac{\tau^5_8 g^2v_{\mathrm{F}}^2}{2\cos^2\theta_{w}} \end{align} \end{subequations} *) let anomalous_gauge_higgs = [ (O H, G Ga, G Ga), Dim5_Scalar_Gauge2 1, G_HGaGa_anom; (O H, G Ga, G Z), Dim5_Scalar_Gauge2 1, G_HGaZ_anom; (O H, G Z, G Z), Dim5_Scalar_Gauge2 1, G_HZZ_anom; (O H, G Wp, G Wm), Dim5_Scalar_Gauge2 1, G_HWW_anom; (O H, G Ga, G Z), Dim5_Scalar_Vector_Vector_TU 1, G_HGaZ_u; (O H, G Z, G Z), Dim5_Scalar_Vector_Vector_U 1, G_HZZ_u; (O H, G Wp, G Wm), Dim5_Scalar_Vector_Vector_U 1, G_HWW_u ] let anomalous_dim6_gauge_higgs = [ (O H, G Z, G Z), Scalar_Vector_Vector 1, G_HZZ6_V3; (O H, G Z, G Z), Dim6_Scalar_Vector_Vector_D 1, G_HZZ6_D; (O H, G Z, G Z), Dim6_Scalar_Vector_Vector_DP 1, G_HZZ6_DP; (O H, G Z, G Z), Scalar_Vector_Vector_t 1, G_HZZ6_PB; (O H, G Ga, G Z), Dim6_HAZ_D 1, G_HGaZ6_D; (O H, G Ga, G Z), Dim6_HAZ_DP 1, G_HGaZ6_DP; (O H, G Ga, G Z), Scalar_Vector_Vector_t 1, G_HGaZ6_PB; (O H, G Ga, G Ga), Scalar_Vector_Vector_t 1, G_HGaGa6; (O H, G Wm, G Wp), Dim6_Scalar_Vector_Vector_D 1, G_HWW_6_D; (O H, G Wm, G Wp), Dim6_Scalar_Vector_Vector_DP 1, G_HWW_6_DP ] let anomalous_gauge_higgs4 = [] let anomalous_dim6_gauge_higgs4 = [(G Ga, O H, G Wm, G Wp), Dim6_AHWW_DPB 1, Anom_Dim6_AHWW_DPB; (G Ga, O H, G Wm, G Wp), Dim6_AHWW_DPW 1, Anom_Dim6_AHWW_DPW; (G Ga, O H, G Wm, G Wp), Dim6_AHWW_DW 1, Anom_Dim6_AHWW_DW; (O H, G Wm, G Wp, G Z), Dim6_HWWZ_DW 1, Anom_Dim6_HWWZ_DW; (O H, G Wm, G Wp, G Z), Dim6_HWWZ_DDPW 1, Anom_Dim6_HWWZ_DDPW; (O H, G Wm, G Wp, G Z), Dim6_HWWZ_DPW 1, Anom_Dim6_HWWZ_DPW; (O H, G Wm, G Wp, G Z), Dim6_HWWZ_DPB 1, Anom_Dim6_HWWZ_DPB; (G Ga, O H, O H, G Z), Dim6_AHHZ_D 1, Anom_Dim6_AHHZ_D; (G Ga, O H, O H, G Z), Dim6_AHHZ_DP 1, Anom_Dim6_AHHZ_DP; (G Ga, O H, O H, G Z), Dim6_AHHZ_PB 1, Anom_Dim6_AHHZ_PB; (O H, O H, G Ga, G Ga), Dim6_Scalar2_Vector2_PB 1, Anom_Dim6_HHAA; (O H, O H, G Wm, G Wp), Dim6_Scalar2_Vector2_D 1, Anom_Dim6_HHWW_DW; (O H, O H, G Wm, G Wp), Dim6_Scalar2_Vector2_DP 1, Anom_Dim6_HHWW_DPW; (O H, O H, G Z, G Z), Dim6_HHZZ_T 1, Anom_Dim6_HHZZ_T; (O H, O H, G Z, G Z), Dim6_Scalar2_Vector2_D 1, Anom_Dim6_HHZZ_D; (O H, O H, G Z, G Z), Dim6_Scalar2_Vector2_DP 1, Anom_Dim6_HHZZ_DP; (O H, O H, G Z, G Z), Dim6_Scalar2_Vector2_PB 1, Anom_Dim6_HHZZ_PB ] let anomalous_higgs = [] let anomalous_dim6_higgs = [(O H, O H, O H), Scalar_Scalar_Scalar 1, Dim6_vev3; (O H, O H, O H), Dim6_HHH 1, Dim6_Cphi ] let higgs_triangle_vertices = if Flags.higgs_triangle then [ (O H, G Ga, G Ga), Dim5_Scalar_Gauge2 1, G_HGaGa; (O H, G Ga, G Z), Dim5_Scalar_Gauge2 1, G_HGaZ; (O H, G Gl, G Gl), Dim5_Scalar_Gauge2 1, G_Hgg ] else [] let anomalous_higgs4 = [] let anomalous_dim6_higgs4 = [(O H, O H, O H, O H), Scalar4 1, Anom_Dim6_H4_v2; (O H, O H, O H, O H), Dim6_H4_P2 1, Anom_Dim6_H4_P2] let gauge_higgs = if Flags.higgs_anom then standard_gauge_higgs @ anomalous_gauge_higgs else if Flags.dim6 then standard_gauge_higgs @ anomalous_dim6_gauge_higgs else standard_gauge_higgs let gauge_higgs4 = if Flags.higgs_anom then standard_gauge_higgs4 @ anomalous_gauge_higgs4 else if Flags.dim6 then standard_gauge_higgs4 @ anomalous_dim6_gauge_higgs4 else standard_gauge_higgs4 let higgs = if Flags.higgs_anom then standard_higgs @ anomalous_higgs else if Flags.dim6 then standard_higgs @ anomalous_dim6_higgs else standard_higgs let higgs4 = if Flags.higgs_anom then standard_higgs4 @ anomalous_higgs4 else if Flags.dim6 then standard_higgs4 @ anomalous_dim6_higgs4 else standard_higgs4 let goldstone_vertices = [ ((O Phi0, G Wm, G Wp), Scalar_Vector_Vector 1, I_G_ZWW); ((O Phip, G Ga, G Wm), Scalar_Vector_Vector 1, I_Q_W); ((O Phip, G Z, G Wm), Scalar_Vector_Vector 1, I_G_ZWW); ((O Phim, G Wp, G Ga), Scalar_Vector_Vector 1, I_Q_W); ((O Phim, G Wp, G Z), Scalar_Vector_Vector 1, I_G_ZWW) ] (* Anomalous trilinear interactions $f_i f_j V$ and $ttH$: \begin{equation} \Delta\mathcal{L}_{tt\gamma} = - e \frac{\upsilon}{\Lambda^2} \bar{t} i\sigma^{\mu\nu} k_\nu (d_V(k^2) + i d_A(k^2) \gamma_5) t A_\mu \end{equation} \begin{equation} \Delta\mathcal{L}_{tc\gamma} = - e \frac{\upsilon}{\Lambda^2} \bar{t} i\sigma^{\mu\nu} k_\nu (d_V(k^2) + i d_A(k^2) \gamma_5) c A_\mu \,\text{+\,h.c.} \end{equation} *) let anomalous_ttA = if Flags.top_anom then [ ((M (U (-3)), G Ga, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_ttA); ((M (U (-3)), G Ga, M (U 2)), FBF (1, Psibar, TVAM, Psi), G_TVA_tcA); ((M (U (-2)), G Ga, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_tcA); ((M (U (-3)), G Ga, M (U 1)), FBF (1, Psibar, TVAM, Psi), G_TVA_tuA); ((M (U (-1)), G Ga, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_tuA)] else [] let tt_threshold_ttA = if Flags.tt_threshold then [ ((M (U (-3)), G Ga, M (U 3)), FBF (1, Psibar, VAM, Psi), VA_ILC_ttA) ] else [] (* \begin{equation} \Delta\mathcal{L}_{bb\gamma} = - e \frac{\upsilon}{\Lambda^2} \bar{b} i\sigma^{\mu\nu} k_\nu (d_V(k^2) + i d_A(k^2) \gamma_5) b A_\mu \end{equation} *) let anomalous_bbA = if Flags.top_anom then [ ((M (D (-3)), G Ga, M (D 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_bbA) ] else [] (* \begin{equation} \Delta\mathcal{L}_{ttg} = - g_s \frac{\upsilon}{\Lambda^2} \bar{t}\lambda^a i\sigma^{\mu\nu}k_\nu (d_V(k^2)+id_A(k^2)\gamma_5)tG^a_\mu \end{equation} \begin{equation} \Delta\mathcal{L}_{tcg} = - g_s \frac{\upsilon}{\Lambda^2} \bar{t}\lambda^a i\sigma^{\mu\nu}k_\nu (d_V(k^2)+id_A(k^2)\gamma_5)cG^a_\mu\,\text{+\,h.c.} \end{equation} *) let anomalous_ttG = if Flags.top_anom then [ ((M (U (-3)), G Gl, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_ttG); ((M (U (-3)), G Gl, M (U 2)), FBF (1, Psibar, TVAM, Psi), G_TVA_tcG); ((M (U (-2)), G Gl, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_tcG); ((M (U (-3)), G Gl, M (U 1)), FBF (1, Psibar, TVAM, Psi), G_TVA_tuG); ((M (U (-1)), G Gl, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_tuG)] else [] (* \begin{equation} \Delta\mathcal{L}_{ttZ} = - \frac{g}{2 c_W} \frac{\upsilon^2}{\Lambda^2}\left\lbrack \bar{t} \fmslash{Z} (X_L(k^2) P_L + X_R(k^2) P_R) t + \bar{t}\frac{i\sigma^{\mu\nu}k_\nu}{m_Z} (d_V(k^2)+id_A(k^2)\gamma_5)tZ_\mu\right\rbrack \end{equation} \begin{equation} \Delta\mathcal{L}_{tcZ} = - \frac{g}{2 c_W} \frac{\upsilon^2}{\Lambda^2}\left\lbrack \bar{t} \fmslash{Z} (X_L(k^2) P_L + X_R(k^2) P_R) c + \bar{t}\frac{i\sigma^{\mu\nu}k_\nu}{m_Z} (d_V(k^2)+id_A(k^2)\gamma_5)cZ_\mu\right\rbrack \,\text{+\,h.c.} \end{equation} *) let anomalous_ttZ = if Flags.top_anom then [ ((M (U (-3)), G Z, M (U 3)), FBF (1, Psibar, VLRM, Psi), G_VLR_ttZ); ((M (U (-3)), G Z, M (U 2)), FBF (1, Psibar, VLRM, Psi), G_VLR_tcZ); ((M (U (-2)), G Z, M (U 3)), FBF (1, Psibar, VLRM, Psi), G_VLR_tcZ); ((M (U (-3)), G Z, M (U 1)), FBF (1, Psibar, VLRM, Psi), G_VLR_tuZ); ((M (U (-1)), G Z, M (U 3)), FBF (1, Psibar, VLRM, Psi), G_VLR_tuZ); ((M (U (-3)), G Z, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_ttZ); ((M (U (-2)), G Z, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_tcZ); ((M (U (-3)), G Z, M (U 2)), FBF (1, Psibar, TVAM, Psi), G_TVA_tcZ); ((M (U (-1)), G Z, M (U 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_tuZ); ((M (U (-3)), G Z, M (U 1)), FBF (1, Psibar, TVAM, Psi), G_TVA_tuZ)] else [] let tt_threshold_ttZ = if Flags.tt_threshold then [ ((M (U (-3)), G Z, M (U 3)), FBF (1, Psibar, VAM, Psi), VA_ILC_ttZ) ] else [] (* \begin{equation} \Delta\mathcal{L}_{bbZ} = - \frac{g}{2 c_W} \frac{\upsilon^2}{\Lambda^2} \bar{b}\frac{i\sigma^{\mu\nu}k_\nu}{m_Z} (d_V(k^2)+id_A(k^2)\gamma_5)bZ_\mu \end{equation} *) let anomalous_bbZ = if Flags.top_anom then [ ((M (D (-3)), G Z, M (D 3)), FBF (1, Psibar, TVAM, Psi), G_TVA_bbZ) ] else [] (* \begin{equation} \Delta\mathcal{L}_{tbW} = - \frac{g}{\sqrt{2}} \frac{\upsilon^2}{\Lambda^2}\left\lbrack \bar{b}\fmslash{W}^-(V_L(k^2) P_L+V_R(k^2) P_R) t + \bar{b}\frac{i\sigma^{\mu\nu}k_\nu}{m_W} (g_L(k^2)P_L+g_R(k^2)P_R)tW^-_\mu\right\rbrack \,\text{+\,h.c.} \end{equation} *) let anomalous_tbW = if Flags.top_anom then [ ((M (D (-3)), G Wm, M (U 3)), FBF (1, Psibar, VLRM, Psi), G_VLR_btW); ((M (U (-3)), G Wp, M (D 3)), FBF (1, Psibar, VLRM, Psi), G_VLR_tbW); ((M (D (-3)), G Wm, M (U 3)), FBF (1, Psibar, TLRM, Psi), G_TLR_btW); ((M (U (-3)), G Wp, M (D 3)), FBF (1, Psibar, TRLM, Psi), G_TRL_tbW) ] else [] (* \begin{equation} \Delta\mathcal{L}_{ttH} = - \frac{1}{\sqrt{2}} \bar{t} (Y_V(k^2)+iY_A(k^2)\gamma_5)t H \end{equation} *) let anomalous_ttH = if Flags.top_anom then [ ((M (U (-3)), O H, M (U 3)), FBF (1, Psibar, SPM, Psi), G_SP_ttH) ] else [] (* quartic fermion-gauge interactions $f_i f_j V_1 V_2$ emerging from gauge-invariant effective operators: \begin{equation} \Delta\mathcal{L}_{ttgg} = - \frac{g_s^2}{2} f_{abc} \frac{\upsilon}{\Lambda^2} \bar{t} \lambda^a \sigma^{\mu\nu} (d_V(k^2)+id_A(k^2)\gamma_5)t G^b_\mu G^c_\nu \end{equation} \begin{equation} \Delta\mathcal{L}_{tcgg} = - \frac{g_s^2}{2} f_{abc} \frac{\upsilon}{\Lambda^2} \bar{t} \lambda^a \sigma^{\mu\nu} (d_V(k^2)+id_A(k^2)\gamma_5)c G^b_\mu G^c_\nu \,\text{+\,h.c.} \end{equation} *) let anomalous_ttGG = if Flags.top_anom then [ ((M (U (-3)), O (Aux_top (2,1,0,true,TTGG)), M (U 3)), FBF (1, Psibar, TVA, Psi), G_TVA_ttGG); ((M (U (-3)), O (Aux_top (2,1,0,true,TCGG)), M (U 2)), FBF (1, Psibar, TVA, Psi), G_TVA_tcGG); ((M (U (-2)), O (Aux_top (2,1,0,true,TCGG)), M (U 3)), FBF (1, Psibar, TVA, Psi), G_TVA_tcGG); ((M (U (-3)), O (Aux_top (2,1,0,true,TUGG)), M (U 1)), FBF (1, Psibar, TVA, Psi), G_TVA_tuGG); ((M (U (-1)), O (Aux_top (2,1,0,true,TUGG)), M (U 3)), FBF (1, Psibar, TVA, Psi), G_TVA_tuGG); ((O (Aux_top (2,1,0,false,TTGG)), G Gl, G Gl), Aux_Gauge_Gauge 1, I_Gs); ((O (Aux_top (2,1,0,false,TCGG)), G Gl, G Gl), Aux_Gauge_Gauge 1, I_Gs); ((O (Aux_top (2,1,0,false,TUGG)), G Gl, G Gl), Aux_Gauge_Gauge 1, I_Gs)] else [] (* \begin{equation} \Delta\mathcal{L}_{tbWA} = - i\sin\theta_w \frac{g^2}{2\sqrt{2}} \frac{\upsilon^2}{\Lambda^2}\left\lbrack \bar{b}\frac{\sigma^{\mu\nu}}{m_W} (g_L(k^2)P_L+g_R(k^2)P_R)t A_\mu W^-_\nu \right\rbrack \,\text{+\,h.c.} \end{equation} *) let anomalous_tbWA = if Flags.top_anom then [ ((M (D (-3)), O (Aux_top (2,0,-1,true,TBWA)), M (U 3)), FBF (1, Psibar, TLR, Psi), G_TLR_btWA); ((O (Aux_top (2,0,1,false,TBWA)), G Ga, G Wm), Aux_Gauge_Gauge 1, I_G_weak); ((M (U (-3)), O (Aux_top (2,0,1,true,TBWA)), M (D 3)), FBF (1, Psibar, TRL, Psi), G_TRL_tbWA); ((O (Aux_top (2,0,-1,false,TBWA)), G Wp, G Ga), Aux_Gauge_Gauge 1, I_G_weak) ] else [] (* \begin{equation} \Delta\mathcal{L}_{tbWZ} = - i\cos\theta_w \frac{g^2}{2\sqrt{2}} \frac{\upsilon^2}{\Lambda^2}\left\lbrack \bar{b}\frac{\sigma^{\mu\nu}}{m_W} (g_L(k^2)P_L+g_R(k^2)P_R)t Z_\mu W^-_\nu \right\rbrack \,\text{+\,h.c.} \end{equation} *) let anomalous_tbWZ = if Flags.top_anom then [ ((M (D (-3)), O (Aux_top (2,0,-1,true,TBWZ)), M (U 3)), FBF (1, Psibar, TLR, Psi), G_TLR_btWZ); ((O (Aux_top (2,0,1,false,TBWZ)), G Z, G Wm), Aux_Gauge_Gauge 1, I_G_weak); ((M (U (-3)), O (Aux_top (2,0,1,true,TBWZ)), M (D 3)), FBF (1, Psibar, TRL, Psi), G_TRL_tbWZ); ((O (Aux_top (2,0,-1,false,TBWZ)), G Wp, G Z), Aux_Gauge_Gauge 1, I_G_weak) ] else [] (* \begin{equation} \Delta\mathcal{L}_{ttWW} = - i \frac{g^2}{2} \frac{\upsilon^2}{\Lambda^2} \bar{t} \frac{\sigma^{\mu\nu}}{m_W} (d_V(k^2)+id_A(k^2)\gamma_5)t W^-_\mu W^+_\nu \end{equation} *) let anomalous_ttWW = if Flags.top_anom then [ ((M (U (-3)), O (Aux_top (2,0,0,true,TTWW)), M (U 3)), FBF (1, Psibar, TVA, Psi), G_TVA_ttWW); ((O (Aux_top (2,0,0,false,TTWW)), G Wm, G Wp), Aux_Gauge_Gauge 1, I_G_weak) ] else [] (* \begin{equation} \Delta\mathcal{L}_{bbWW} = - i \frac{g^2}{2} \frac{\upsilon^2}{\Lambda^2} \bar{b} \frac{\sigma^{\mu\nu}}{m_W} (d_V(k^2)+id_A(k^2)\gamma_5)b W^-_\mu W^+_\nu \end{equation} *) let anomalous_bbWW = if Flags.top_anom then [ ((M (D (-3)), O (Aux_top (2,0,0,true,BBWW)), M (D 3)), FBF (1, Psibar, TVA, Psi), G_TVA_bbWW); ((O (Aux_top (2,0,0,false,BBWW)), G Wm, G Wp), Aux_Gauge_Gauge 1, I_G_weak) ] else [] (* 4-fermion contact terms emerging from operator rewriting: *) let anomalous_top_qGuG_tt = [ ((M (U (-3)), O (Aux_top (1,1,0,true,QGUG)), M (U 3)), FBF (1, Psibar, VLR, Psi), G_VLR_qGuG) ] let anomalous_top_qGuG_ff n = List.map mom [ ((U (-n), Aux_top (1,1,0,false,QGUG), U n), FBF (1, Psibar, V, Psi), Unit); ((D (-n), Aux_top (1,1,0,false,QGUG), D n), FBF (1, Psibar, V, Psi), Unit) ] let anomalous_top_qGuG = if Flags.top_anom_4f then anomalous_top_qGuG_tt @ ThoList.flatmap anomalous_top_qGuG_ff [1;2;3] else [] let anomalous_top_qBuB_tt = [ ((M (U (-3)), O (Aux_top (1,0,0,true,QBUB)), M (U 3)), FBF (1, Psibar, VLR, Psi), G_VLR_qBuB) ] let anomalous_top_qBuB_ff n = List.map mom [ ((U (-n), Aux_top (1,0,0,false,QBUB), U n), FBF (1, Psibar, VLR, Psi), G_VLR_qBuB_u); ((D (-n), Aux_top (1,0,0,false,QBUB), D n), FBF (1, Psibar, VLR, Psi), G_VLR_qBuB_d); ((L (-n), Aux_top (1,0,0,false,QBUB), L n), FBF (1, Psibar, VLR, Psi), G_VLR_qBuB_e); ((N (-n), Aux_top (1,0,0,false,QBUB), N n), FBF (1, Psibar, VL, Psi), G_VL_qBuB_n) ] let anomalous_top_qBuB = if Flags.top_anom_4f then anomalous_top_qBuB_tt @ ThoList.flatmap anomalous_top_qBuB_ff [1;2;3] else [] let anomalous_top_qW_tq = [ ((M (U (-3)), O (Aux_top (1,0,0,true,QW)), M (U 3)), FBF (1, Psibar, VL, Psi), G_VL_qW); ((M (D (-3)), O (Aux_top (1,0,-1,true,QW)), M (U 3)), FBF (1, Psibar, VL, Psi), G_VL_qW); ((M (U (-3)), O (Aux_top (1,0,1,true,QW)), M (D 3)), FBF (1, Psibar, VL, Psi), G_VL_qW) ] let anomalous_top_qW_ff n = List.map mom [ ((U (-n), Aux_top (1,0,0,false,QW), U n), FBF (1, Psibar, VL, Psi), G_VL_qW_u); ((D (-n), Aux_top (1,0,0,false,QW), D n), FBF (1, Psibar, VL, Psi), G_VL_qW_d); ((N (-n), Aux_top (1,0,0,false,QW), N n), FBF (1, Psibar, VL, Psi), G_VL_qW_u); ((L (-n), Aux_top (1,0,0,false,QW), L n), FBF (1, Psibar, VL, Psi), G_VL_qW_d); ((D (-n), Aux_top (1,0,-1,false,QW), U n), FBF (1, Psibar, VL, Psi), Half); ((U (-n), Aux_top (1,0,1,false,QW), D n), FBF (1, Psibar, VL, Psi), Half); ((L (-n), Aux_top (1,0,-1,false,QW), N n), FBF (1, Psibar, VL, Psi), Half); ((N (-n), Aux_top (1,0,1,false,QW), L n), FBF (1, Psibar, VL, Psi), Half) ] let anomalous_top_qW = if Flags.top_anom_4f then anomalous_top_qW_tq @ ThoList.flatmap anomalous_top_qW_ff [1;2;3] else [] let anomalous_top_DuDd = if Flags.top_anom_4f then [ ((M (U (-3)), O (Aux_top (0,0,0,true,DR)), M (U 3)), FBF (1, Psibar, SR, Psi), Half); ((M (U (-3)), O (Aux_top (0,0,0,false,DR)), M (U 3)), FBF (1, Psibar, SL, Psi), G_SL_DttR); ((M (D (-3)), O (Aux_top (0,0,0,false,DR)), M (D 3)), FBF (1, Psibar, SR, Psi), G_SR_DttR); ((M (U (-3)), O (Aux_top (0,0,0,true,DL)), M (U 3)), FBF (1, Psibar, SL, Psi), Half); ((M (D (-3)), O (Aux_top (0,0,0,false,DL)), M (D 3)), FBF (1, Psibar, SL, Psi), G_SL_DttL); ((M (D (-3)), O (Aux_top (0,0,-1,true,DR)), M (U 3)), FBF (1, Psibar, SR, Psi), Half); ((M (U (-3)), O (Aux_top (0,0,1,false,DR)), M (D 3)), FBF (1, Psibar, SLR, Psi), G_SLR_DbtR); ((M (D (-3)), O (Aux_top (0,0,-1,true,DL)), M (U 3)), FBF (1, Psibar, SL, Psi), Half); ((M (U (-3)), O (Aux_top (0,0,1,false,DL)), M (D 3)), FBF (1, Psibar, SL, Psi), G_SL_DbtL) ] else [] let anomalous_top_quqd1_tq = [ ((M (D (-3)), O (Aux_top (0,0,-1,true,QUQD1R)), M (U 3)), FBF (1, Psibar, SR, Psi), C_quqd1R_bt); ((M (U (-3)), O (Aux_top (0,0, 1,true,QUQD1R)), M (D 3)), FBF (1, Psibar, SL, Psi), C_quqd1R_tb); ((M (D (-3)), O (Aux_top (0,0,-1,true,QUQD1L)), M (U 3)), FBF (1, Psibar, SL, Psi), C_quqd1L_bt); ((M (U (-3)), O (Aux_top (0,0, 1,true,QUQD1L)), M (D 3)), FBF (1, Psibar, SR, Psi), C_quqd1L_tb) ] let anomalous_top_quqd1_ff n = List.map mom [ ((U (-n), Aux_top (0,0, 1,false,QUQD1R), D n), FBF (1, Psibar, SR, Psi), Half); ((D (-n), Aux_top (0,0,-1,false,QUQD1R), U n), FBF (1, Psibar, SL, Psi), Half); ((U (-n), Aux_top (0,0, 1,false,QUQD1L), D n), FBF (1, Psibar, SL, Psi), Half); ((D (-n), Aux_top (0,0,-1,false,QUQD1L), U n), FBF (1, Psibar, SR, Psi), Half) ] let anomalous_top_quqd1 = if Flags.top_anom_4f then anomalous_top_quqd1_tq @ ThoList.flatmap anomalous_top_quqd1_ff [1;2;3] else [] let anomalous_top_quqd8_tq = [ ((M (D (-3)), O (Aux_top (0,1,-1,true,QUQD8R)), M (U 3)), FBF (1, Psibar, SR, Psi), C_quqd8R_bt); ((M (U (-3)), O (Aux_top (0,1, 1,true,QUQD8R)), M (D 3)), FBF (1, Psibar, SL, Psi), C_quqd8R_tb); ((M (D (-3)), O (Aux_top (0,1,-1,true,QUQD8L)), M (U 3)), FBF (1, Psibar, SL, Psi), C_quqd8L_bt); ((M (U (-3)), O (Aux_top (0,1, 1,true,QUQD8L)), M (D 3)), FBF (1, Psibar, SR, Psi), C_quqd8L_tb) ] let anomalous_top_quqd8_ff n = List.map mom [ ((U (-n), Aux_top (0,1, 1,false,QUQD8R), D n), FBF (1, Psibar, SR, Psi), Half); ((D (-n), Aux_top (0,1,-1,false,QUQD8R), U n), FBF (1, Psibar, SL, Psi), Half); ((U (-n), Aux_top (0,1, 1,false,QUQD8L), D n), FBF (1, Psibar, SL, Psi), Half); ((D (-n), Aux_top (0,1,-1,false,QUQD8L), U n), FBF (1, Psibar, SR, Psi), Half) ] let anomalous_top_quqd8 = if Flags.top_anom_4f then anomalous_top_quqd8_tq @ ThoList.flatmap anomalous_top_quqd8_ff [1;2;3] else [] let vertices3 = (ThoList.flatmap electromagnetic_currents [1;2;3] @ ThoList.flatmap color_currents [1;2;3] @ ThoList.flatmap neutral_currents [1;2;3] @ (if Flags.ckm_present then charged_currents_ckm else charged_currents_triv) @ yukawa @ triple_gauge @ gauge_higgs @ higgs @ higgs_triangle_vertices @ goldstone_vertices @ tt_threshold_ttA @ tt_threshold_ttZ @ anomalous_ttA @ anomalous_bbA @ anomalous_ttZ @ anomalous_bbZ @ anomalous_tbW @ anomalous_tbWA @ anomalous_tbWZ @ anomalous_ttWW @ anomalous_bbWW @ anomalous_ttG @ anomalous_ttGG @ anomalous_ttH @ anomalous_top_qGuG @ anomalous_top_qBuB @ anomalous_top_qW @ anomalous_top_DuDd @ anomalous_top_quqd1 @ anomalous_top_quqd8) let vertices4 = quartic_gauge @ gauge_higgs4 @ higgs4 let vertices () = (vertices3, vertices4, []) (* For efficiency, make sure that [F.of_vertices vertices] is evaluated only once. *) let table = F.of_vertices (vertices ()) let fuse2 = F.fuse2 table let fuse3 = F.fuse3 table let fuse = F.fuse table let max_degree () = 4 let flavor_of_string = function | "e-" -> M (L 1) | "e+" -> M (L (-1)) | "mu-" -> M (L 2) | "mu+" -> M (L (-2)) | "tau-" -> M (L 3) | "tau+" -> M (L (-3)) | "nue" -> M (N 1) | "nuebar" -> M (N (-1)) | "numu" -> M (N 2) | "numubar" -> M (N (-2)) | "nutau" -> M (N 3) | "nutaubar" -> M (N (-3)) | "u" -> M (U 1) | "ubar" -> M (U (-1)) | "c" -> M (U 2) | "cbar" -> M (U (-2)) | "t" -> M (U 3) | "tbar" -> M (U (-3)) | "d" -> M (D 1) | "dbar" -> M (D (-1)) | "s" -> M (D 2) | "sbar" -> M (D (-2)) | "b" -> M (D 3) | "bbar" -> M (D (-3)) | "g" | "gl" -> G Gl | "A" -> G Ga | "Z" | "Z0" -> G Z | "W+" -> G Wp | "W-" -> G Wm | "H" -> O H | "Aux_t_ttGG0" -> O (Aux_top (2,1, 0,true,TTGG)) | "Aux_ttGG0" -> O (Aux_top (2,1, 0,false,TTGG)) | "Aux_t_tcGG0" -> O (Aux_top (2,1, 0,true,TCGG)) | "Aux_tcGG0" -> O (Aux_top (2,1, 0,false,TCGG)) | "Aux_t_tbWA+" -> O (Aux_top (2,0, 1,true,TBWA)) | "Aux_tbWA+" -> O (Aux_top (2,0, 1,false,TBWA)) | "Aux_t_tbWA-" -> O (Aux_top (2,0,-1,true,TBWA)) | "Aux_tbWA-" -> O (Aux_top (2,0,-1,false,TBWA)) | "Aux_t_tbWZ+" -> O (Aux_top (2,0, 1,true,TBWZ)) | "Aux_tbWZ+" -> O (Aux_top (2,0, 1,false,TBWZ)) | "Aux_t_tbWZ-" -> O (Aux_top (2,0,-1,true,TBWZ)) | "Aux_tbWZ-" -> O (Aux_top (2,0,-1,false,TBWZ)) | "Aux_t_ttWW0" -> O (Aux_top (2,0, 0,true,TTWW)) | "Aux_ttWW0" -> O (Aux_top (2,0, 0,false,TTWW)) | "Aux_t_bbWW0" -> O (Aux_top (2,0, 0,true,BBWW)) | "Aux_bbWW0" -> O (Aux_top (2,0, 0,false,BBWW)) | "Aux_t_qGuG0" -> O (Aux_top (1,1, 0,true,QGUG)) | "Aux_qGuG0" -> O (Aux_top (1,1, 0,false,QGUG)) | "Aux_t_qBuB0" -> O (Aux_top (1,0, 0,true,QBUB)) | "Aux_qBuB0" -> O (Aux_top (1,0, 0,false,QBUB)) | "Aux_t_qW0" -> O (Aux_top (1,0, 0,true,QW)) | "Aux_qW0" -> O (Aux_top (1,0, 0,false,QW)) | "Aux_t_qW+" -> O (Aux_top (1,0, 1,true,QW)) | "Aux_qW+" -> O (Aux_top (1,0, 1,false,QW)) | "Aux_t_qW-" -> O (Aux_top (1,0,-1,true,QW)) | "Aux_qW-" -> O (Aux_top (1,0,-1,false,QW)) | "Aux_t_dL0" -> O (Aux_top (0,0, 0,true,DL)) | "Aux_dL0" -> O (Aux_top (0,0, 0,false,DL)) | "Aux_t_dL+" -> O (Aux_top (0,0, 1,true,DL)) | "Aux_dL+" -> O (Aux_top (0,0, 1,false,DL)) | "Aux_t_dL-" -> O (Aux_top (0,0,-1,true,DL)) | "Aux_dL-" -> O (Aux_top (0,0,-1,false,DL)) | "Aux_t_dR0" -> O (Aux_top (0,0, 0,true,DR)) | "Aux_dR0" -> O (Aux_top (0,0, 0,false,DR)) | "Aux_t_dR+" -> O (Aux_top (0,0, 1,true,DR)) | "Aux_dR+" -> O (Aux_top (0,0, 1,false,DR)) | "Aux_t_dR-" -> O (Aux_top (0,0,-1,true,DR)) | "Aux_dR-" -> O (Aux_top (0,0,-1,false,DR)) | "Aux_t_quqd1L+" -> O (Aux_top (0,0, 1,true,QUQD1L)) | "Aux_quqd1L+" -> O (Aux_top (0,0, 1,false,QUQD1L)) | "Aux_t_quqd1L-" -> O (Aux_top (0,0,-1,true,QUQD1L)) | "Aux_quqd1L-" -> O (Aux_top (0,0,-1,false,QUQD1L)) | "Aux_t_quqd1R+" -> O (Aux_top (0,0, 1,true,QUQD1R)) | "Aux_quqd1R+" -> O (Aux_top (0,0, 1,false,QUQD1R)) | "Aux_t_quqd1R-" -> O (Aux_top (0,0,-1,true,QUQD1R)) | "Aux_quqd1R-" -> O (Aux_top (0,0,-1,false,QUQD1R)) | "Aux_t_quqd8L+" -> O (Aux_top (0,1, 1,true,QUQD8L)) | "Aux_quqd8L+" -> O (Aux_top (0,1, 1,false,QUQD8L)) | "Aux_t_quqd8L-" -> O (Aux_top (0,1,-1,true,QUQD8L)) | "Aux_quqd8L-" -> O (Aux_top (0,1,-1,false,QUQD8L)) | "Aux_t_quqd8R+" -> O (Aux_top (0,1, 1,true,QUQD8R)) | "Aux_quqd8R+" -> O (Aux_top (0,1, 1,false,QUQD8R)) | "Aux_t_quqd8R-" -> O (Aux_top (0,1,-1,true,QUQD8R)) | "Aux_quqd8R-" -> O (Aux_top (0,1,-1,false,QUQD8R)) | _ -> invalid_arg "Modellib.SM.flavor_of_string" let flavor_to_string = function | M f -> begin match f with | L 1 -> "e-" | L (-1) -> "e+" | L 2 -> "mu-" | L (-2) -> "mu+" | L 3 -> "tau-" | L (-3) -> "tau+" | L _ -> invalid_arg "Modellib.SM.flavor_to_string: invalid lepton" | N 1 -> "nue" | N (-1) -> "nuebar" | N 2 -> "numu" | N (-2) -> "numubar" | N 3 -> "nutau" | N (-3) -> "nutaubar" | N _ -> invalid_arg "Modellib.SM.flavor_to_string: invalid neutrino" | U 1 -> "u" | U (-1) -> "ubar" | U 2 -> "c" | U (-2) -> "cbar" | U 3 -> "t" | U (-3) -> "tbar" | U _ -> invalid_arg "Modellib.SM.flavor_to_string: invalid up type quark" | D 1 -> "d" | D (-1) -> "dbar" | D 2 -> "s" | D (-2) -> "sbar" | D 3 -> "b" | D (-3) -> "bbar" | D _ -> invalid_arg "Modellib.SM.flavor_to_string: invalid down type quark" end | G f -> begin match f with | Gl -> "gl" | Ga -> "A" | Z -> "Z" | Wp -> "W+" | Wm -> "W-" end | O f -> begin match f with | Phip -> "phi+" | Phim -> "phi-" | Phi0 -> "phi0" | H -> "H" | Aux_top (_,_,ch,n,v) -> "Aux_" ^ (if n then "t_" else "") ^ ( begin match v with | TTGG -> "ttGG" | TBWA -> "tbWA" | TBWZ -> "tbWZ" | TTWW -> "ttWW" | BBWW -> "bbWW" | TCGG -> "tcgg" | TUGG -> "tugg" | QGUG -> "qGuG" | QBUB -> "qBuB" | QW -> "qW" | DL -> "dL" | DR -> "dR" | QUQD1L -> "quqd1L" | QUQD1R -> "quqd1R" | QUQD8L -> "quqd8L" | QUQD8R -> "quqd8R" end ) ^ ( if ch > 0 then "+" else if ch < 0 then "-" else "0" ) end let flavor_to_TeX = function | M f -> begin match f with | L 1 -> "e^-" | L (-1) -> "e^+" | L 2 -> "\\mu^-" | L (-2) -> "\\mu^+" | L 3 -> "\\tau^-" | L (-3) -> "\\tau^+" | L _ -> invalid_arg "Modellib.SM.flavor_to_TeX: invalid lepton" | N 1 -> "\\nu_e" | N (-1) -> "\\bar{\\nu}_e" | N 2 -> "\\nu_\\mu" | N (-2) -> "\\bar{\\nu}_\\mu" | N 3 -> "\\nu_\\tau" | N (-3) -> "\\bar{\\nu}_\\tau" | N _ -> invalid_arg "Modellib.SM.flavor_to_TeX: invalid neutrino" | U 1 -> "u" | U (-1) -> "\\bar{u}" | U 2 -> "c" | U (-2) -> "\\bar{c}" | U 3 -> "t" | U (-3) -> "\\bar{t}" | U _ -> invalid_arg "Modellib.SM.flavor_to_TeX: invalid up type quark" | D 1 -> "d" | D (-1) -> "\\bar{d}" | D 2 -> "s" | D (-2) -> "\\bar{s}" | D 3 -> "b" | D (-3) -> "\\bar{b}" | D _ -> invalid_arg "Modellib.SM.flavor_to_TeX: invalid down type quark" end | G f -> begin match f with | Gl -> "g" | Ga -> "\\gamma" | Z -> "Z" | Wp -> "W^+" | Wm -> "W^-" end | O f -> begin match f with | Phip -> "\\phi^+" | Phim -> "\\phi^-" | Phi0 -> "\\phi^0" | H -> "H" | Aux_top (_,_,ch,n,v) -> "\\textnormal{Aux_" ^ (if n then "t_" else "") ^ ( begin match v with | TTGG -> "ttGG" | TBWA -> "tbWA" | TBWZ -> "tbWZ" | TTWW -> "ttWW" | BBWW -> "bbWW" | TCGG -> "tcgg" | TUGG -> "tugg" | QGUG -> "qGuG" | QBUB -> "qBuB" | QW -> "qW" | DL -> "dL" | DR -> "dR" | QUQD1L -> "quqd1L" | QUQD1R -> "quqd1R" | QUQD8L -> "quqd8L" | QUQD8R -> "quqd8R" end ) ^ ( if ch > 0 then "^+" else if ch < 0 then "^-" else "^0" ) ^ "}" end let flavor_symbol = function | M f -> begin match f with | L n when n > 0 -> "l" ^ string_of_int n | L n -> "l" ^ string_of_int (abs n) ^ "b" | N n when n > 0 -> "n" ^ string_of_int n | N n -> "n" ^ string_of_int (abs n) ^ "b" | U n when n > 0 -> "u" ^ string_of_int n | U n -> "u" ^ string_of_int (abs n) ^ "b" | D n when n > 0 -> "d" ^ string_of_int n | D n -> "d" ^ string_of_int (abs n) ^ "b" end | G f -> begin match f with | Gl -> "gl" | Ga -> "a" | Z -> "z" | Wp -> "wp" | Wm -> "wm" end | O f -> begin match f with | Phip -> "pp" | Phim -> "pm" | Phi0 -> "p0" | H -> "h" | Aux_top (_,_,ch,n,v) -> "aux_" ^ (if n then "t_" else "") ^ ( begin match v with | TTGG -> "ttgg" | TBWA -> "tbwa" | TBWZ -> "tbwz" | TTWW -> "ttww" | BBWW -> "bbww" | TCGG -> "tcgg" | TUGG -> "tugg" | QGUG -> "qgug" | QBUB -> "qbub" | QW -> "qw" | DL -> "dl" | DR -> "dr" | QUQD1L -> "quqd1l" | QUQD1R -> "quqd1r" | QUQD8L -> "quqd8l" | QUQD8R -> "quqd8r" end ) ^ "_" ^ ( if ch > 0 then "p" else if ch < 0 then "m" else "0" ) end let pdg = function | M f -> begin match f with | L n when n > 0 -> 9 + 2*n | L n -> - 9 + 2*n | N n when n > 0 -> 10 + 2*n | N n -> - 10 + 2*n | U n when n > 0 -> 2*n | U n -> 2*n | D n when n > 0 -> - 1 + 2*n | D n -> 1 + 2*n end | G f -> begin match f with | Gl -> 21 | Ga -> 22 | Z -> 23 | Wp -> 24 | Wm -> (-24) end | O f -> begin match f with | Phip | Phim -> 27 | Phi0 -> 26 | H -> 25 | Aux_top (_,_,ch,t,f) -> let n = begin match f with | QW -> 0 | QUQD1R -> 1 | QUQD1L -> 2 | QUQD8R -> 3 | QUQD8L -> 4 | _ -> 5 end in (602 + 3*n - ch) * ( if t then (1) else (-1) ) end let mass_symbol f = if ( Flags.tt_threshold && (abs (pdg f)) == 6 ) then "ttv_mtpole(p12*p12)" else "mass(" ^ string_of_int (abs (pdg f)) ^ ")" let width_symbol f = "width(" ^ string_of_int (abs (pdg f)) ^ ")" let constant_symbol = function | Unit -> "unit" | Half -> "half" | Pi -> "PI" | Alpha_QED -> "alpha" | E -> "e" | G_weak -> "g" | Vev -> "vev" | I_G_weak -> "ig" | Sin2thw -> "sin2thw" | Sinthw -> "sinthw" | Costhw -> "costhw" | Q_lepton -> "qlep" | Q_up -> "qup" | Q_down -> "qdwn" | G_NC_lepton -> "gnclep" | G_NC_neutrino -> "gncneu" | G_NC_up -> "gncup" | G_NC_down -> "gncdwn" | G_TVA_ttA -> "gtva_tta" | G_TVA_bbA -> "gtva_bba" | G_VLR_ttZ -> "gvlr_ttz" | G_TVA_ttZ -> "gtva_ttz" | G_VLR_tcZ -> "gvlr_tcz" | G_TVA_tcZ -> "gtva_tcz" | G_VLR_tuZ -> "gvlr_tuz" | G_TVA_tuZ -> "gtva_tuz" | G_TVA_bbZ -> "gtva_bbz" | G_TVA_tcA -> "gtva_tca" | G_TVA_tuA -> "gtva_tua" | VA_ILC_ttA -> "va_ilc_tta" | VA_ILC_ttZ -> "va_ilc_ttz" | G_VLR_btW -> "gvlr_btw" | G_VLR_tbW -> "gvlr_tbw" | G_TLR_btW -> "gtlr_btw" | G_TRL_tbW -> "gtrl_tbw" | G_TLR_btWA -> "gtlr_btwa" | G_TRL_tbWA -> "gtrl_tbwa" | G_TLR_btWZ -> "gtlr_btwz" | G_TRL_tbWZ -> "gtrl_tbwz" | G_TVA_ttWW -> "gtva_ttww" | G_TVA_bbWW -> "gtva_bbww" | G_TVA_ttG -> "gtva_ttg" | G_TVA_ttGG -> "gtva_ttgg" | G_TVA_tcG -> "gtva_tcg" | G_TVA_tcGG -> "gtva_tcgg" | G_TVA_tuG -> "gtva_tug" | G_TVA_tuGG -> "gtva_tugg" | G_SP_ttH -> "gsp_tth" | G_VLR_qGuG -> "gvlr_qgug" | G_VLR_qBuB -> "gvlr_qbub" | G_VLR_qBuB_u -> "gvlr_qbub_u" | G_VLR_qBuB_d -> "gvlr_qbub_d" | G_VLR_qBuB_e -> "gvlr_qbub_e" | G_VL_qBuB_n -> "gvl_qbub_n" | G_VL_qW -> "gvl_qw" | G_VL_qW_u -> "gvl_qw_u" | G_VL_qW_d -> "gvl_qw_d" | G_SL_DttR -> "gsl_dttr" | G_SR_DttR -> "gsr_dttr" | G_SL_DttL -> "gsl_dttl" | G_SLR_DbtR -> "gslr_dbtr" | G_SL_DbtL -> "gsl_dbtl" | C_quqd1R_bt -> "c_quqd1_1" | C_quqd1R_tb -> "conjg(c_quqd1_1)" | C_quqd1L_bt -> "conjg(c_quqd1_2)" | C_quqd1L_tb -> "c_quqd1_2" | C_quqd8R_bt -> "c_quqd8_1" | C_quqd8R_tb -> "conjg(c_quqd8_1)" | C_quqd8L_bt -> "conjg(c_quqd8_2)" | C_quqd8L_tb -> "c_quqd8_2" | G_CC -> "gcc" | G_CCQ (n1,n2) -> "gccq" ^ string_of_int n1 ^ string_of_int n2 | I_Q_W -> "iqw" | I_G_ZWW -> "igzww" | G_WWWW -> "gw4" | G_ZZWW -> "gzzww" | G_AZWW -> "gazww" | G_AAWW -> "gaaww" | I_G1_AWW -> "ig1a" | I_G1_ZWW -> "ig1z" | I_G1_plus_kappa_plus_G4_AWW -> "ig1pkpg4a" | I_G1_plus_kappa_plus_G4_ZWW -> "ig1pkpg4z" | I_G1_plus_kappa_minus_G4_AWW -> "ig1pkmg4a" | I_G1_plus_kappa_minus_G4_ZWW -> "ig1pkmg4z" | I_G1_minus_kappa_plus_G4_AWW -> "ig1mkpg4a" | I_G1_minus_kappa_plus_G4_ZWW -> "ig1mkpg4z" | I_G1_minus_kappa_minus_G4_AWW -> "ig1mkmg4a" | I_G1_minus_kappa_minus_G4_ZWW -> "ig1mkmg4z" | I_lambda_AWW -> "ila" | I_lambda_ZWW -> "ilz" | G5_AWW -> "rg5a" | G5_ZWW -> "rg5z" | I_kappa5_AWW -> "ik5a" | I_kappa5_ZWW -> "ik5z" | I_lambda5_AWW -> "il5a" | I_lambda5_ZWW -> "il5z" | Alpha_WWWW0 -> "alww0" | Alpha_WWWW2 -> "alww2" | Alpha_ZZWW0 -> "alzw0" | Alpha_ZZWW1 -> "alzw1" | Alpha_ZZZZ -> "alzz" | D_Alpha_ZZWW0_S -> "dalzz0_s(gkm,mkm," | D_Alpha_ZZWW0_T -> "dalzz0_t(gkm,mkm," | D_Alpha_ZZWW1_S -> "dalzz1_s(gkm,mkm," | D_Alpha_ZZWW1_T -> "dalzz1_t(gkm,mkm," | D_Alpha_ZZWW1_U -> "dalzz1_u(gkm,mkm," | D_Alpha_WWWW0_S -> "dalww0_s(gkm,mkm," | D_Alpha_WWWW0_T -> "dalww0_t(gkm,mkm," | D_Alpha_WWWW0_U -> "dalww0_u(gkm,mkm," | D_Alpha_WWWW2_S -> "dalww2_s(gkm,mkm," | D_Alpha_WWWW2_T -> "dalww2_t(gkm,mkm," | D_Alpha_ZZZZ_S -> "dalz4_s(gkm,mkm," | D_Alpha_ZZZZ_T -> "dalz4_t(gkm,mkm," | G_HWW -> "ghww" | G_HZZ -> "ghzz" | G_HHWW -> "ghhww" | G_HHZZ -> "ghhzz" - | G_Htt -> "ghtt" | G_Hbb -> "ghbb" | G_Hee -> "ghee" + | G_Htt -> "ghtt" | G_Hbb -> "ghbb" + | G_Hss -> "ghss" | G_Hee -> "ghee" | G_Htautau -> "ghtautau" | G_Hcc -> "ghcc" | G_Hmm -> "ghmm" | G_HGaZ -> "ghgaz" | G_HGaGa -> "ghgaga" | G_Hgg -> "ghgg" | G_HGaGa_anom -> "ghgaga_ac" | G_HGaZ_anom -> "ghgaz_ac" | G_HZZ_anom -> "ghzz_ac" | G_HWW_anom -> "ghww_ac" | G_HGaZ_u -> "ghgaz_u" | G_HZZ_u -> "ghzz_u" | G_HWW_u -> "ghww_u" | G_H3 -> "gh3" | G_H4 -> "gh4" | Gs -> "gs" | I_Gs -> "igs" | G2 -> "gs**2" | Mass f -> "mass" ^ flavor_symbol f | Width f -> "width" ^ flavor_symbol f | K_Matrix_Coeff i -> "kc" ^ string_of_int i | K_Matrix_Pole i -> "kp" ^ string_of_int i | G_HZZ6_V3 -> "ghzz6v3" | G_HZZ6_D ->"ghzz6d" | G_HZZ6_DP ->"ghzz6dp" | G_HZZ6_PB ->"ghzz6pb" | G_HGaZ6_D -> "ghaz6d" | G_HGaZ6_DP -> "ghaz6dp" | G_HGaZ6_PB -> "ghaz6pb" | G_HGaGa6 -> "ghgaga6" | G_HWW_6_D -> "ghww6d" | G_HWW_6_DP ->"ghww6dp" | I_Dim6_AWW_Gauge -> "dim6awwgauge" | I_Dim6_AWW_GGG -> "dim6awwggg" | I_Dim6_AWW_DP -> "dim6awwdp" | I_Dim6_AWW_DW -> "dim6awwdw" | I_Dim6_WWZ_W -> "dim6wwzw" | I_Dim6_WWZ_DPWDW -> "dim6wwzdpwdw" | I_Dim6_WWZ_DW -> "dim6wwzdw" | I_Dim6_WWZ_D -> "dim6wwzd" | Dim6_vev3 -> "dim6vev3" | Dim6_Cphi -> "dim6cphi" (*i | I_Dim6_GGG_G -> "dim6gggg" | I_Dim6_GGG_CG -> "dim6gggcg" i*) | Anom_Dim6_H4_v2 -> "adim6h4v2" | Anom_Dim6_H4_P2 -> "adim6h4p2" | Anom_Dim6_AHWW_DPB -> "adim6ahwwdpb" | Anom_Dim6_AHWW_DPW -> "adim6ahwwdpw" | Anom_Dim6_AHWW_DW -> "adim6ahwwdw" | Anom_Dim6_AAWW_DW -> "adim6aawwdw" | Anom_Dim6_AAWW_W -> "adim6aawww" | Anom_Dim6_HHWW_DW -> "adim6hhwwdw" | Anom_Dim6_HHWW_DPW -> "adim6hhwwdpw" | Anom_Dim6_HWWZ_DW -> "adim6hwwzdw" | Anom_Dim6_HWWZ_DDPW -> "adim6hwwzddpw" | Anom_Dim6_HWWZ_DPW -> "adim6hwwzdpw" | Anom_Dim6_HWWZ_DPB -> "adim6hwwzdpb" | Anom_Dim6_AHHZ_D -> "adim6ahhzd" | Anom_Dim6_AHHZ_DP -> "adim6ahhzdp" | Anom_Dim6_AHHZ_PB -> "adim6ahhzpb" | Anom_Dim6_AZWW_W -> "adim6azwww" | Anom_Dim6_AZWW_DWDPW -> "adim6azwwdwdpw" | Anom_Dim6_WWWW_W -> "adim6wwwww" | Anom_Dim6_WWWW_DWDPW -> "adim6wwwwdwdpw" | Anom_Dim6_WWZZ_W -> "adim6wwzzw" | Anom_Dim6_WWZZ_DWDPW -> "adim6wwzzdwdpw" | Anom_Dim6_HHAA -> "adim6hhaa" | Anom_Dim6_HHZZ_D -> "adim6hhzzd" | Anom_Dim6_HHZZ_DP -> "adim6hhzzdp" | Anom_Dim6_HHZZ_PB -> "adim6hhzzpb" | Anom_Dim6_HHZZ_T -> "adim6hhzzt" end (* \thocwmodulesection{Incomplete Standard Model in $R_\xi$ Gauge} *) (* \begin{dubious} At the end of the day, we want a functor mapping from gauge models in unitarity gauge to $R_\xi$ gauge and vice versa. For this, we will need a more abstract implementation of (spontaneously broken) gauge theories. \end{dubious} *) module SM_Rxi = struct open Coupling module SM = SM(SM_no_anomalous) let options = SM.options type flavor = SM.flavor let flavors = SM.flavors let external_flavors = SM.external_flavors (* Later: [type orders = SM.orders] *) type constant = SM.constant (* Later: [let orders = SM.orders] *) let lorentz = SM.lorentz let color = SM.color let nc = SM.nc let goldstone = SM.goldstone let conjugate = SM.conjugate let fermion = SM.fermion (* \begin{dubious} Check if it makes sense to have separate gauge fixing parameters for each vector boson. There's probably only one independent parameter for each group factor. \end{dubious} *) type gauge = | XiA | XiZ | XiW let gauge_symbol = function | XiA -> "xia" | XiZ -> "xi0" | XiW -> "xipm" (* Change the gauge boson propagators and make the Goldstone bosons propagating. *) let propagator = function | SM.G SM.Ga -> Prop_Gauge XiA | SM.G SM.Z -> Prop_Rxi XiZ | SM.G SM.Wp | SM.G SM.Wm -> Prop_Rxi XiW | SM.O SM.Phip | SM.O SM.Phim | SM.O SM.Phi0 -> Prop_Scalar | f -> SM.propagator f let width = SM.width module Ch = Charges.QQ let charges = SM.charges module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) let vertices = SM.vertices let table = F.of_vertices (vertices ()) let fuse2 = F.fuse2 table let fuse3 = F.fuse3 table let fuse = F.fuse table let max_degree () = 3 let parameters = SM.parameters let flavor_of_string = SM.flavor_of_string let flavor_to_string = SM.flavor_to_string let flavor_to_TeX = SM.flavor_to_TeX let flavor_symbol = SM.flavor_symbol let pdg = SM.pdg let mass_symbol = SM.mass_symbol let width_symbol = SM.width_symbol let constant_symbol = SM.constant_symbol end (* \thocwmodulesection{Groves} *) module Groves (M : Model.Gauge) : Model.Gauge with module Ch = M.Ch = struct let max_generations = 5 let options = M.options type matter_field = M.matter_field * int type gauge_boson = M.gauge_boson type other = M.other type field = | Matter of matter_field | Gauge of gauge_boson | Other of other type flavor = M of matter_field | G of gauge_boson | O of other let matter_field (f, g) = M (f, g) let gauge_boson f = G f let other f = O f let field = function | M f -> Matter f | G f -> Gauge f | O f -> Other f let project = function | M (f, _) -> M.matter_field f | G f -> M.gauge_boson f | O f -> M.other f let inject g f = match M.field f with | M.Matter f -> M (f, g) | M.Gauge f -> G f | M.Other f -> O f type gauge = M.gauge let gauge_symbol = M.gauge_symbol let color f = M.color (project f) let nc () = 3 let pdg f = M.pdg (project f) let lorentz f = M.lorentz (project f) let propagator f = M.propagator (project f) let fermion f = M.fermion (project f) let width f = M.width (project f) let mass_symbol f = M.mass_symbol (project f) let width_symbol f = M.width_symbol (project f) let flavor_symbol f = M.flavor_symbol (project f) type constant = M.constant (* Later: [type orders = M.orders] *) let constant_symbol = M.constant_symbol let max_degree = M.max_degree let parameters = M.parameters (* Later: [let orders = M.orders] *) let conjugate = function | M (_, g) as f -> inject g (M.conjugate (project f)) | f -> inject 0 (M.conjugate (project f)) let read_generation s = try let offset = String.index s '/' in (int_of_string (String.sub s (succ offset) (String.length s - offset - 1)), String.sub s 0 offset) with | Not_found -> (1, s) let format_generation c s = s ^ "/" ^ string_of_int c let flavor_of_string s = let g, s = read_generation s in inject g (M.flavor_of_string s) let flavor_to_string = function | M (_, g) as f -> format_generation g (M.flavor_to_string (project f)) | f -> M.flavor_to_string (project f) let flavor_to_TeX = function | M (_, g) as f -> format_generation g (M.flavor_to_TeX (project f)) | f -> M.flavor_to_TeX (project f) let goldstone = function | G _ as f -> begin match M.goldstone (project f) with | None -> None | Some (f, c) -> Some (inject 0 f, c) end | M _ | O _ -> None let clone generations flavor = match M.field flavor with | M.Matter f -> List.map (fun g -> M (f, g)) generations | M.Gauge f -> [G f] | M.Other f -> [O f] let generations = ThoList.range 1 max_generations let flavors () = ThoList.flatmap (clone generations) (M.flavors ()) let external_flavors () = List.map (fun (s, fl) -> (s, ThoList.flatmap (clone generations) fl)) (M.external_flavors ()) module Ch = M.Ch let charges f = M.charges (project f) module F = Modeltools.Fusions (struct type f = flavor type c = constant let compare = compare let conjugate = conjugate end) (* In the following functions, we might replace [_] by [(M.Gauge _ | M.Other _)], in order to allow the compiler to check completeness. However, this makes the code much less readable. *) let clone3 ((f1, f2, f3), v, c) = match M.field f1, M.field f2, M.field f3 with | M.Matter _, M.Matter _, M.Matter _ -> invalid_arg "Modellib.Groves().vertices: three matter fields!" | M.Matter f1', M.Matter f2', _ -> List.map (fun g -> ((M (f1', g), M (f2', g), inject 0 f3), v, c)) generations | M.Matter f1', _, M.Matter f3' -> List.map (fun g -> ((M (f1', g), inject 0 f2, M (f3', g)), v, c)) generations | _, M.Matter f2', M.Matter f3' -> List.map (fun g -> ((inject 0 f1, M (f2', g), M (f3', g)), v, c)) generations | M.Matter _, _, _ | _, M.Matter _, _ | _, _, M.Matter _ -> invalid_arg "Modellib.Groves().vertices: lone matter field!" | _, _, _ -> [(inject 0 f1, inject 0 f2, inject 0 f3), v, c] let clone4 ((f1, f2, f3, f4), v, c) = match M.field f1, M.field f2, M.field f3, M.field f4 with | M.Matter _, M.Matter _, M.Matter _, M.Matter _ -> invalid_arg "Modellib.Groves().vertices: four matter fields!" | M.Matter _, M.Matter _, M.Matter _, _ | M.Matter _, M.Matter _, _, M.Matter _ | M.Matter _, _, M.Matter _, M.Matter _ | _, M.Matter _, M.Matter _, M.Matter _ -> invalid_arg "Modellib.Groves().vertices: three matter fields!" | M.Matter f1', M.Matter f2', _, _ -> List.map (fun g -> ((M (f1', g), M (f2', g), inject 0 f3, inject 0 f4), v, c)) generations | M.Matter f1', _, M.Matter f3', _ -> List.map (fun g -> ((M (f1', g), inject 0 f2, M (f3', g), inject 0 f4), v, c)) generations | M.Matter f1', _, _, M.Matter f4' -> List.map (fun g -> ((M (f1', g), inject 0 f2, inject 0 f3, M (f4', g)), v, c)) generations | _, M.Matter f2', M.Matter f3', _ -> List.map (fun g -> ((inject 0 f1, M (f2', g), M (f3', g), inject 0 f4), v, c)) generations | _, M.Matter f2', _, M.Matter f4' -> List.map (fun g -> ((inject 0 f1, M (f2', g), inject 0 f3, M (f4', g)), v, c)) generations | _, _, M.Matter f3', M.Matter f4' -> List.map (fun g -> ((inject 0 f1, inject 0 f2, M (f3', g), M (f4', g)), v, c)) generations | M.Matter _, _, _, _ | _, M.Matter _, _, _ | _, _, M.Matter _, _ | _, _, _, M.Matter _ -> invalid_arg "Modellib.Groves().vertices: lone matter field!" | _, _, _, _ -> [(inject 0 f1, inject 0 f2, inject 0 f3, inject 0 f4), v, c] let clonen (fl, v, c) = match List.map M.field fl with | _ -> failwith "Modellib.Groves().vertices: incomplete" let vertices () = let vertices3, vertices4, verticesn = M.vertices () in (ThoList.flatmap clone3 vertices3, ThoList.flatmap clone4 vertices4, ThoList.flatmap clonen verticesn) let table = F.of_vertices (vertices ()) let fuse2 = F.fuse2 table let fuse3 = F.fuse3 table let fuse = F.fuse table (* \begin{dubious} The following (incomplete) alternative implementations are included for illustrative purposes only: \end{dubious} *) let injectl g fcl = List.map (fun (f, c) -> (inject g f, c)) fcl let alt_fuse2 f1 f2 = match f1, f2 with | M (f1', g1'), M (f2', g2') -> if g1' = g2' then injectl 0 (M.fuse2 (M.matter_field f1') (M.matter_field f2')) else [] | M (f1', g'), _ -> injectl g' (M.fuse2 (M.matter_field f1') (project f2)) | _, M (f2', g') -> injectl g' (M.fuse2 (project f1) (M.matter_field f2')) | _, _ -> injectl 0 (M.fuse2 (project f1) (project f2)) let alt_fuse3 f1 f2 f3 = match f1, f2, f3 with | M (f1', g1'), M (f2', g2'), M (f3', g3') -> invalid_arg "Modellib.Groves().fuse3: three matter fields!" | M (f1', g1'), M (f2', g2'), _ -> if g1' = g2' then injectl 0 (M.fuse3 (M.matter_field f1') (M.matter_field f2') (project f3)) else [] | M (f1', g1'), _, M (f3', g3') -> if g1' = g3' then injectl 0 (M.fuse3 (M.matter_field f1') (project f2) (M.matter_field f3')) else [] | _, M (f2', g2'), M (f3', g3') -> if g2' = g3' then injectl 0 (M.fuse3 (project f1) (M.matter_field f2') (M.matter_field f3')) else [] | M (f1', g'), _, _ -> injectl g' (M.fuse3 (M.matter_field f1') (project f2) (project f3)) | _, M (f2', g'), _ -> injectl g' (M.fuse3 (project f1) (M.matter_field f2') (project f3)) | _, _, M (f3', g') -> injectl g' (M.fuse3 (project f1) (project f2) (M.matter_field f3')) | _, _, _ -> injectl 0 (M.fuse3 (project f1) (project f2) (project f3)) end (* \thocwmodulesection{MSM With Cloned Families} *) module SM_clones = Groves(SM(SM_no_anomalous)) Index: trunk/omega/tests/parameters_SM_Higgs.f90 =================================================================== --- trunk/omega/tests/parameters_SM_Higgs.f90 (revision 8412) +++ trunk/omega/tests/parameters_SM_Higgs.f90 (revision 8413) @@ -1,345 +1,346 @@ !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ! ! Copyright (C) 1999-2020 by ! Wolfgang Kilian ! Thorsten Ohl ! Juergen Reuter ! with contributions from ! cf. main AUTHORS file ! ! WHIZARD is free software; you can redistribute it and/or modify it ! under the terms of the GNU General Public License as published by ! the Free Software Foundation; either version 2, or (at your option) ! any later version. ! ! WHIZARD is distributed in the hope that it will be useful, but ! WITHOUT ANY WARRANTY; without even the implied warranty of ! MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ! GNU General Public License for more details. ! ! You should have received a copy of the GNU General Public License ! along with this program; if not, write to the Free Software ! Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! module parameters_sm_higgs use kinds use constants implicit none private real(default), dimension(27), public :: mass, width real(default), public :: as complex(default), public :: gs, igs real(default), public :: e, g, e_em real(default), public :: sinthw, costhw, sin2thw, tanthw real(default), public :: qelep, qeup, qedwn real(default), public :: ttop, tbot, tch, ttau, tw real(default), public :: ltop, lbot, lc, ltau, lw complex(default), public :: qlep, qup, qdwn, gcc, qw, & gzww, gwww, ghww, ghhww, ghzz, ghhzz, & - ghbb, ghtt, ghcc, ghtautau, gh3, gh4, & + ghbb, ghtt, ghcc, ghss, ghtautau, gh3, gh4, & ghgaga, ghgaz, ghgg, ghmm, ghee, & iqw, igzww, igwww, gw4, gzzww, gazww, gaaww real(default), public :: vev complex(default), dimension(2), public :: & gncneu, gnclep, gncup, gncdwn real(default), parameter, public :: & NC = three, & CF = (NC**2 - one)/two/NC, & CA = NC, & TR = one/two public :: import_from_whizard, model_update_alpha_s, init_parameters contains subroutine init_parameters real(default), dimension(25) :: vars vars(1) = 1.16639E-5 ! Fermi constant vars(2) = 91.1882 ! Z-boson mass vars(3) = 80.419 ! W-boson mass vars(4) = 125 ! Higgs mass vars(5) = 0.1178 ! Strong coupling constant (Z point) vars(6) = 0.000510997 ! electron mass vars(7) = 0.105658389 ! muon mass vars(8) = 1.77705 ! tau-lepton mass vars(9) = 0.095 ! s-quark mass vars(10) = 1.2 ! c-quark mass vars(11) = 4.2 ! b-quark mass vars(12) = 173.1 ! t-quark mass vars(13) = 1.523 ! t-quark width vars(14) = 2.443 ! Z-boson width vars(15) = 2.049 ! W-boson width vars(16) = 0.004143 ! Higgs width vars(17) = 1.000 ! anomaly Higgs couplings K factors vars(18) = 1.000 ! anomaly Higgs couplings K factors vars(19) = 1.000 ! anomaly Higgs couplings K factors vars(20) = 0.400 ! R_xi parameter for Z-boson vars(21) = 0.500 ! R_xi parameter for W-boson vars(22) = 1 / sqrt (sqrt (2.) * vars(1)) ! v (Higgs vev) vars(23) = vars(3) / vars(2) ! cos(theta-W) vars(24) = sqrt (1-vars(23)**2) ! sin(theta-W) vars(25) = 2 * vars(24) * vars(3) / vars(22) ! em-coupling (GF scheme) call import_from_whizard (vars) end subroutine init_parameters subroutine import_from_whizard (par_array) real(default), dimension(25), intent(in) :: par_array type :: parameter_set real(default) :: gf real(default) :: mZ real(default) :: mW real(default) :: mH real(default) :: alphas real(default) :: me real(default) :: mmu real(default) :: mtau real(default) :: ms real(default) :: mc real(default) :: mb real(default) :: mtop real(default) :: wtop real(default) :: wZ real(default) :: wW real(default) :: wH real(default) :: khgaz real(default) :: khgaga real(default) :: khgg real(default) :: xi0 real(default) :: xipm real(default) :: v real(default) :: cw real(default) :: sw real(default) :: ee end type parameter_set type(parameter_set) :: par !!! This corresponds to 1/alpha = 137.03598949333 real(default), parameter :: & alpha = 1.0_default/137.03598949333_default e_em = sqrt(4.0_default * PI * alpha) par%gf = par_array(1) par%mZ = par_array(2) par%mW = par_array(3) par%mH = par_array(4) par%alphas = par_array(5) par%me = par_array(6) par%mmu = par_array(7) par%mtau = par_array(8) par%ms = par_array(9) par%mc = par_array(10) par%mb = par_array(11) par%mtop = par_array(12) par%wtop = par_array(13) par%wZ = par_array(14) par%wW = par_array(15) par%wH = par_array(16) par%khgaz = par_array(17) par%khgaga = par_array(18) par%khgg = par_array(19) par%xi0 = par_array(20) par%xipm = par_array(21) par%v = par_array(22) par%cw = par_array(23) par%sw = par_array(24) par%ee = par_array(25) mass(1:27) = 0 width(1:27) = 0 mass(3) = par%ms mass(4) = par%mc mass(5) = par%mb mass(6) = par%mtop width(6) = par%wtop mass(11) = par%me mass(13) = par%mmu mass(15) = par%mtau mass(23) = par%mZ width(23) = par%wZ mass(24) = par%mW width(24) = par%wW mass(25) = par%mH width(25) = par%wH mass(26) = par%xi0 * mass(23) width(26) = 0 mass(27) = par%xipm * mass(24) width(27) = 0 ttop = 4.0_default * mass(6)**2 / mass(25)**2 tbot = 4.0_default * mass(5)**2 / mass(25)**2 tch = 4.0_default * mass(4)**2 / mass(25)**2 ttau = 4.0_default * mass(15)**2 / mass(25)**2 tw = 4.0_default * mass(24)**2 / mass(25)**2 ltop = 4.0_default * mass(6)**2 / mass(23)**2 lbot = 4.0_default * mass(5)**2 / mass(23)**2 lc = 4.0_default * mass(4)**2 / mass(23)**2 ltau = 4.0_default * mass(15)**2 / mass(23)**2 lw = 4.0_default * mass(24)**2 / mass(23)**2 vev = par%v e = par%ee sinthw = par%sw sin2thw = par%sw**2 costhw = par%cw tanthw = sinthw/costhw qelep = - 1 qeup = 2.0_default / 3.0_default qedwn = - 1.0_default / 3.0_default g = e / sinthw gcc = - g / 2 / sqrt (2.0_default) gncneu(1) = - g / 2 / costhw * ( + 0.5_default) gnclep(1) = - g / 2 / costhw * ( - 0.5_default - 2 * qelep * sin2thw) gncup(1) = - g / 2 / costhw * ( + 0.5_default - 2 * qeup * sin2thw) gncdwn(1) = - g / 2 / costhw * ( - 0.5_default - 2 * qedwn * sin2thw) gncneu(2) = - g / 2 / costhw * ( + 0.5_default) gnclep(2) = - g / 2 / costhw * ( - 0.5_default) gncup(2) = - g / 2 / costhw * ( + 0.5_default) gncdwn(2) = - g / 2 / costhw * ( - 0.5_default) qlep = - e * qelep qup = - e * qeup qdwn = - e * qedwn qw = e iqw = (0,1)*qw gzww = g * costhw igzww = (0,1)*gzww gwww = g igwww = (0,1)*gwww gw4 = gwww**2 gzzww = gzww**2 gazww = gzww * qw gaaww = qw**2 ghww = mass(24) * g ghhww = g**2 / 2.0_default ghzz = mass(23) * g / costhw ghhzz = g**2 / 2.0_default / costhw**2 ghtt = - mass(6) / vev ghbb = - mass(5) / vev ghcc = - mass(4) / vev + ghss = - mass(3) / vev ghtautau = - mass(15) / vev ghmm = - mass(13) / vev gh3 = - 3 * mass(25)**2 / vev gh4 = - 3 * mass(25)**2 / vev**2 !!! Color flow basis, divide by sqrt(2) gs = sqrt(2.0_default*PI*par%alphas) igs = cmplx (0.0_default, 1.0_default, kind=default) * gs !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! Higgs anomaly couplings !!! SM LO loop factor (top, bottom, charm, tau and W) ghgaga = (-1._default) * alpha / vev / 2.0_default / PI * & (( 4.0_default * (fonehalf(ttop) + fonehalf(tch)) & + fonehalf(tbot)) / 3.0_default + fonehalf(ttau) + fone(tw)) & * sqrt(par%khgaga) !!! asymptotic limit: !!! ghgaga = (par%ee)**2 / vev / & !!! 9.0_default / pi**2 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! SM LO loop factor (top, bottom, charm, tau and W) ghgaz = e * e_em / 8.0_default / PI**2 / vev * ( & af (NC , qeup , TR, ttop, ltop) & + af (NC , qedwn, -TR, tbot, lbot) & + af (NC , qeup , TR, tch , lc ) & + af (one, qelep, -TR, ttau, ltau) & !!! and W: - costhw / sinthw * ( & 4.0_default * (3.0_default - tanthw**2) * tri_i2(tw,lw) & + ((1.0_default + 2.0_default/tw) * tanthw**2 & - (5.0_default + 2.0_default/tw)) * tri_i1(tw,lw) ) & ) * sqrt(par%khgaz) !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!! SM LO loop factor (top, bottom, charm) ghgg = (-1._double) * par%alphas / vev / 4.0_default / PI * & (fonehalf(ttop) + fonehalf(tbot) + fonehalf(tch)) * & sqrt(par%khgg) !!! SM LO order loop factor with !!! N(N)LO K factor = 2.1 (only top) !!! Limit of infinite top quark mass: !!! ghgg = par%alphas / 3.0_default & !!! / vev / pi * 2.1_default !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! end subroutine import_from_whizard subroutine model_update_alpha_s (alpha_s) real(default), intent(in) :: alpha_s gs = sqrt(2.0_default*PI*alpha_s) igs = cmplx (0.0_default, 1.0_default, kind=default) * gs !!! The Hgg coupling should not get a running alpha_s end subroutine model_update_alpha_s pure function af (ncf, qef, t3f, tau, lam) result (a) real(default), intent(in) :: ncf real(default), intent(in) :: qef real(default), intent(in) :: t3f real(default), intent(in) :: tau real(default), intent(in) :: lam complex(default) :: a a = - 2.0_default * ncf * qef & * ( t3f - 2.0_default * qef * sin2thw ) / sinthw / costhw & * ( tri_i1(tau,lam) - tri_i2(tau,lam) ) end function af elemental function faux (x) result (y) real(default), intent(in) :: x complex(default) :: y if (1 <= x) then y = asin(sqrt(1/x))**2 else y = - 1/4.0_default * (log((1 + sqrt(1 - x))/ & (1 - sqrt(1 - x))) - cmplx (0.0_default, pi, kind=default))**2 end if end function faux elemental function fone (x) result (y) real(default), intent(in) :: x complex(default) :: y if (x==0) then y = 2.0_default else y = 2.0_default + 3.0_default * x + & 3.0_default * x * (2.0_default - x) * & faux(x) end if end function fone elemental function fonehalf (x) result (y) real(default), intent(in) :: x complex(default) :: y if (x==0) then y = 0 else y = - 2.0_default * x * (1 + (1 - x) * faux(x)) end if end function fonehalf elemental function tri_i1 (a,b) result (y) real(default), intent(in) :: a,b complex(default) :: y if (a < epsilon(a) .or. b < epsilon (b)) then y = 0 else y = a*b/2.0_default/(a-b) + a**2 * b**2/2.0_default/(a-b)**2 * & (faux(a) - faux(b)) + & a**2 * b/(a-b)**2 * (gaux(a) - gaux(b)) end if end function tri_i1 elemental function tri_i2 (a,b) result (y) real(default), intent(in) :: a,b complex(default) :: y if (a < epsilon (a) .or. b < epsilon(b)) then y = 0 else y = - a * b / 2.0_default / (a-b) * (faux(a) - faux(b)) end if end function tri_i2 elemental function gaux (x) result (y) real(default), intent(in) :: x complex(default) :: y if (1 <= x) then y = sqrt(x - 1) * asin(sqrt(1/x)) else y = sqrt(1 - x) * (log((1 + sqrt(1 - x)) / & (1 - sqrt(1 - x))) - & cmplx (0.0_default, pi, kind=default)) / 2.0_default end if end function gaux end module parameters_sm_higgs