Skip to content

Commit

Permalink
[FTheoryTools] Add model 1511.03209
Browse files Browse the repository at this point in the history
  • Loading branch information
@HereAround
HereAround committed Aug 13, 2024
1 parent 6cbd61b commit 3e75bfd
Show file tree
Hide file tree
Showing 4 changed files with 341 additions and 1 deletion.
330 changes: 330 additions & 0 deletions experimental/FTheoryTools/src/LiteratureModels/Models/model1511_03209.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,330 @@
{
"model_index": "46",
"arxiv_data": {
"id": "1511.03209",
"doi": "10.48550/arXiv.1511.03209",
"version": "3",
"discipline": "hep-th",
"link": "https://arxiv.org/abs/1511.03209",
"model_location": {
"section": "2",
"equation": "2.11",
"page": "3"
}
},
"journal_data": {
"doi": "https://doi.org/10.1007/JHEP12(2015)164",
"journal": "JHEP",
"volume": "12",
"pages": "164",
"year": "2015",
"link": "https://link.springer.com/article/10.1007/JHEP12(2015)164",
"model_location": {
"section": "2",
"equation": "2.11",
"page": "3"
}
},
"paper_metadata": {
"authors": ["Washington Taylor", "Yi-Nan Wang"],
"title": "The F-theory geometry with the most flux vacua",
"description": "The F-theory geometry with most flux vacua",
"buzzwords": ["GUT model", "Tate", "U(1)", "SU(5)"]
},
"model_descriptors": {
"type": "tate",
"description": "The F-theory geometry with most flux vacua",
"gauge_algebra": ["e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","e(8)","f(4)","f(4)","f(4)","f(4)","f(4)","f(4)","f(4)","f(4)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","g(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)","su(2)"]
},
"model_data": {
"base_dim": 3,
"model_sections": ["a1", "a2", "a3", "a4", "a6"],
"a1": "a1",
"a2": "a2",
"a3": "a3",
"a4": "a4",
"a6": "a6",
"classes_of_model_sections_in_basis_of_Kbar_and_defining_classes": [
[1, 2, 3, 4, 6]
],
"resolutions": [
[
[
["x", "y", "w9"],
["y", "e9_1"],
["x", "e9_2"],
["e9_2", "e9_3"],

["x", "y", "w21"],
["y", "e21_1"],
["x", "e21_2"],
["e21_2", "e21_3"],

["x", "y", "w33"],
["y", "e33_1"],
["x", "e33_2"],
["e33_2", "e33_3"],

["x", "y", "w45"],
["y", "e45_1"],
["x", "e45_2"],
["e45_2", "e45_3"],

["x", "y", "w57"],
["y", "e57_1"],
["x", "e57_2"],
["e57_2", "e57_3"],

["x", "y", "w69"],
["y", "e69_1"],
["x", "e69_2"],
["e69_2", "e69_3"],

["x", "y", "w81"],
["y", "e81_1"],
["x", "e81_2"],
["e81_2", "e81_3"],

["x", "y", "w93"],
["y", "e93_1"],
["x", "e93_2"],
["e93_2", "e93_3"],

["x", "y", "w6"],
["x", "y", "w7"],
["y", "e7_1"],

["x", "y", "w12"],
["x", "y", "w11"],
["y", "e11_1"],

["x", "y", "w18"],
["x", "y", "w19"],
["y", "e19_1"],

["x", "y", "w24"],
["x", "y", "w23"],
["y", "e23_1"],

["x", "y", "w30"],
["x", "y", "w31"],
["y", "e31_1"],

["x", "y", "w36"],
["x", "y", "w35"],
["y", "e35_1"],

["x", "y", "w42"],
["x", "y", "w43"],
["y", "e43_1"],

["x", "y", "w48"],
["x", "y", "w47"],
["y", "e47_1"],

["x", "y", "w54"],
["x", "y", "w55"],
["y", "e55_1"],

["x", "y", "w60"],
["x", "y", "w59"],
["y", "e59_1"],

["x", "y", "w66"],
["x", "y", "w67"],
["y", "e67_1"],

["x", "y", "w72"],
["x", "y", "w71"],
["y", "e71_1"],

["x", "y", "w78"],
["x", "y", "w79"],
["y", "e79_1"],

["x", "y", "w84"],
["x", "y", "w83"],
["y", "e83_1"],

["x", "y", "w90"],
["x", "y", "w91"],
["y", "e91_1"],

["x", "y", "w96"],
["x", "y", "w95"],
["y", "e95_1"],

["x", "y", "w3"],
["x", "y", "e3_1"],
["y", "e3_1"],
["y", "e3_2"],
["e3_2", "e3_3"],
["e3_1", "e3_3"],
["e3_2", "e3_4"],
["e3_3", "e3_4"],
["e3_4", "e3_5"],
["e3_5", "e3_8"],
["e3_4", "e3_8"],
["e3_4", "e3_9"],
["e3_8", "e3_9"],
["e3_9", "e3_11"],

["x", "y", "w15"],
["x", "y", "e15_1"],
["y", "e15_1"],
["y", "e15_2"],
["e15_2", "e15_3"],
["e15_1", "e15_3"],
["e15_2", "e15_4"],
["e15_3", "e15_4"],
["e15_4", "e15_5"],
["e15_5", "e15_8"],
["e15_4", "e15_8"],
["e15_4", "e15_9"],
["e15_8", "e15_9"],
["e15_9", "e15_11"],

["x", "y", "w27"],
["x", "y", "e27_1"],
["y", "e27_1"],
["y", "e27_2"],
["e27_2", "e27_3"],
["e27_1", "e27_3"],
["e27_2", "e27_4"],
["e27_3", "e27_4"],
["e27_4", "e27_5"],
["e27_5", "e27_8"],
["e27_4", "e27_8"],
["e27_4", "e27_9"],
["e27_8", "e27_9"],
["e27_9", "e27_11"],

["x", "y", "w39"],
["x", "y", "e39_1"],
["y", "e39_1"],
["y", "e39_2"],
["e39_2", "e39_3"],
["e39_1", "e39_3"],
["e39_2", "e39_4"],
["e39_3", "e39_4"],
["e39_4", "e39_5"],
["e39_5", "e39_8"],
["e39_4", "e39_8"],
["e39_4", "e39_9"],
["e39_8", "e39_9"],
["e39_9", "e39_11"],

["x", "y", "w51"],
["x", "y", "e51_1"],
["y", "e51_1"],
["y", "e51_2"],
["e51_2", "e51_3"],
["e51_1", "e51_3"],
["e51_2", "e51_4"],
["e51_3", "e51_4"],
["e51_4", "e51_5"],
["e51_5", "e51_8"],
["e51_4", "e51_8"],
["e51_4", "e51_9"],
["e51_8", "e51_9"],
["e51_9", "e51_11"],

["x", "y", "w63"],
["x", "y", "e63_1"],
["y", "e63_1"],
["y", "e63_2"],
["e63_2", "e63_3"],
["e63_1", "e63_3"],
["e63_2", "e63_4"],
["e63_3", "e63_4"],
["e63_4", "e63_5"],
["e63_5", "e63_8"],
["e63_4", "e63_8"],
["e63_4", "e63_9"],
["e63_8", "e63_9"],
["e63_9", "e63_11"],

["x", "y", "w75"],
["x", "y", "e75_1"],
["y", "e75_1"],
["y", "e75_2"],
["e75_2", "e75_3"],
["e75_1", "e75_3"],
["e75_2", "e75_4"],
["e75_3", "e75_4"],
["e75_4", "e75_5"],
["e75_5", "e75_8"],
["e75_4", "e75_8"],
["e75_4", "e75_9"],
["e75_8", "e75_9"],
["e75_9", "e75_11"],

["x", "y", "w87"],
["x", "y", "e87_1"],
["y", "e87_1"],
["y", "e87_2"],
["e87_2", "e87_3"],
["e87_1", "e87_3"],
["e87_2", "e87_4"],
["e87_3", "e87_4"],
["e87_4", "e87_5"],
["e87_5", "e87_8"],
["e87_4", "e87_8"],
["e87_4", "e87_9"],
["e87_8", "e87_9"],
["e87_9", "e87_11"],

["x", "y", "w99"],
["x", "y", "e99_1"],
["y", "e99_1"],
["y", "e99_2"],
["e99_2", "e99_3"],
["e99_1", "e99_3"],
["e99_2", "e99_4"],
["e99_3", "e99_4"],
["e99_4", "e99_5"],
["e99_5", "e99_8"],
["e99_4", "e99_8"],
["e99_4", "e99_9"],
["e99_8", "e99_9"],
["e99_9", "e99_11"]
],
[
"e9_1", "e9_2", "e9_3", "e9_4",
"e21_1", "e21_2", "e21_3", "e21_4",
"e33_1", "e33_2", "e33_3", "e33_4",
"e45_1", "e45_2", "e45_3", "e45_4",
"e57_1", "e57_2", "e57_3", "e57_4",
"e69_1", "e69_2", "e69_3", "e69_4",
"e81_1", "e81_2", "e81_3", "e81_4",
"e93_1", "e93_2", "e93_3", "e93_4",
"e6_1", "e7_1", "e7_2",
"e12_1", "e11_1", "e11_2",
"e18_1", "e19_1", "e19_2",
"e24_1", "e23_1", "e23_2",
"e30_1", "e31_1", "e31_2",
"e36_1", "e35_1", "e35_2",
"e42_1", "e43_1", "e43_2",
"e48_1", "e47_1", "e47_2",
"e54_1", "e55_1", "e55_2",
"e60_1", "e59_1", "e59_2",
"e66_1", "e67_1", "e67_2",
"e72_1", "e71_1", "e71_2",
"e78_1", "e79_1", "e79_2",
"e84_1", "e83_1", "e83_2",
"e90_1", "e91_1", "e91_2",
"e96_1", "e95_1", "e95_2",
"e3_1", "e3_2", "e3_3", "e3_4", "e3_5", "e3_6", "e3_7", "e3_8", "e3_9", "e3_10", "e3_11", "e3_12", "e3_13", "e3_14",
"e15_1", "e15_2", "e15_3", "e15_4", "e15_5", "e15_6", "e15_7", "e15_8", "e15_9", "e15_10", "e15_11", "e15_12", "e15_13", "e15_14",
"e27_1", "e27_2", "e27_3", "e27_4", "e27_5", "e27_6", "e27_7", "e27_8", "e27_9", "e27_10", "e27_11", "e27_12", "e27_13", "e27_14",
"e39_1", "e39_2", "e39_3", "e39_4", "e39_5", "e39_6", "e39_7", "e39_8", "e39_9", "e39_10", "e39_11", "e39_12", "e39_13", "e39_14",
"e51_1", "e51_2", "e51_3", "e51_4", "e51_5", "e51_6", "e51_7", "e51_8", "e51_9", "e51_10", "e51_11", "e51_12", "e51_13", "e51_14",
"e63_1", "e63_2", "e63_3", "e63_4", "e63_5", "e63_6", "e63_7", "e63_8", "e63_9", "e63_10", "e63_11", "e63_12", "e63_13", "e63_14",
"e75_1", "e75_2", "e75_3", "e75_4", "e75_5", "e75_6", "e75_7", "e75_8", "e75_9", "e75_10", "e75_11", "e75_12", "e75_13", "e75_14",
"e87_1", "e87_2", "e87_3", "e87_4", "e87_5", "e87_6", "e87_7", "e87_8", "e87_9", "e87_10", "e87_11", "e87_12", "e87_13", "e87_14",
"e99_1", "e99_2", "e99_3", "e99_4", "e99_5", "e99_6", "e99_7", "e99_8", "e99_9", "e99_10", "e99_11", "e99_12", "e99_13", "e99_14"
]
]
]
}
}
9 changes: 9 additions & 0 deletions experimental/FTheoryTools/src/LiteratureModels/constructors.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -161,6 +161,12 @@ Hypersurface model over a concrete base
julia> hypersurface_equation_parametrization(h2)
b*w*v^2 - c0*u^4 - c1*u^3*v - c2*u^2*v^2 - c3*u*v^3 + w^2
```
In principle, we can even create the model with the largest number of F-theory vacua.
This happens by executing the line `h = literature_model(arxiv_id = "1511.03209")`.
However, this line will currently run for a long time on a normal personal computer
(likely about half and hour or even more), due to the massive complexity of computing
the Tate sections of this global Tate model. We are investigating ways of achieve
a speed-up for this construction.
"""
function literature_model(; doi::String="", arxiv_id::String="", version::String="", equation::String="", type::String="", model_parameters::Dict{String,<:Any} = Dict{String,Any}(), base_space::FTheorySpace = affine_space(NormalToricVariety, 0), model_sections::Dict{String, <:Any} = Dict{String,Any}(), defining_classes::Dict{String, <:Any} = Dict{String,Any}(), completeness_check::Bool = true)
model_dict = _find_model(doi, arxiv_id, version, equation, type)
Expand Down Expand Up @@ -684,6 +690,9 @@ Dict{String, Any}("journal_section" => "", "arxiv_page" => "49", "arxiv_id" => "
Model 10:
Dict{String, Any}("journal_section" => "", "arxiv_page" => "49", "arxiv_id" => "1212.2949", "gauge_algebra" => Any["e(8)"], "arxiv_version" => "2", "journal_equation" => "", "journal_page" => "", "arxiv_equation" => "5.13", "journal_doi" => "10.1007/JHEP04(2013)061", "arxiv_section" => "5.1", "journal" => "JHEP", "file" => "model1212_2949-7.json", "arxiv_doi" => "10.48550/arXiv.1212.2949", "model_index" => "10", "type" => "tate")
Model 46:
Dict{String, Any}("journal_section" => "2", "arxiv_page" => "3", "arxiv_id" => "1511.03209", "gauge_algebra" => Any["e(8)", "e(8)", "e(8)", "e(8)", "e(8)", "e(8)", "e(8)", "e(8)", "e(8)", "f(4)", "f(4)", "f(4)", "f(4)", "f(4)", "f(4)", "f(4)", "f(4)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "g(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)", "su(2)"], "arxiv_version" => "3", "journal_equation" => "2.11", "journal_page" => "3", "arxiv_equation" => "2.11", "journal_doi" => "https://doi.org/10.1007/JHEP12(2015)164", "arxiv_section" => "2", "journal" => "JHEP", "file" => "model1511_03209.json", "arxiv_doi" => "10.48550/arXiv.1511.03209", "model_index" => "46", "type" => "tate")
```
"""
function display_all_literature_models(model_fields::Dict{String,<:Any} = Dict{String,Any}())
Expand Down
Loading

0 comments on commit 3e75bfd

Please sign in to comment.