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 9, 2024
1 parent 82547b7 commit 859ef64
Show file tree
Hide file tree
Showing 4 changed files with 338 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"
]
]
]
}
}
6 changes: 6 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
Loading

0 comments on commit 859ef64

Please sign in to comment.