Showing 1–50 of 75 results for author: Ruehle, F

Improving Generative Inverse Design of Rectangular Patch Antennas with Test Time Optimization

Authors: Beck LaBash, Shahriar Khushrushahi, Fabian Ruehle

Abstract: We propose a two-stage deep learning framework for the inverse design of rectangular patch antennas. Our approach leverages generative modeling to learn a latent representation of antenna frequency response curves and conditions a subsequent generative model on these responses to produce feasible antenna geometries. We further demonstrate that leveraging search and optimization techniques at test-… ▽ More We propose a two-stage deep learning framework for the inverse design of rectangular patch antennas. Our approach leverages generative modeling to learn a latent representation of antenna frequency response curves and conditions a subsequent generative model on these responses to produce feasible antenna geometries. We further demonstrate that leveraging search and optimization techniques at test-time improves the accuracy of the generated designs and enables consideration of auxiliary objectives such as manufacturability. Our approach generalizes naturally to different design criteria, and can be easily adapted to more complex geometric design spaces. △ Less

Submitted 26 May, 2025; v1 submitted 18 May, 2025; originally announced May 2025.

Comments: Code and dataset available at https://github.com/becklabs/patch-antenna-tto

Symbolic Regression with Multimodal Large Language Models and Kolmogorov Arnold Networks

Authors: Thomas R. Harvey, Fabian Ruehle, Kit Fraser-Taliente, James Halverson

Abstract: We present a novel approach to symbolic regression using vision-capable large language models (LLMs) and the ideas behind Google DeepMind's Funsearch. The LLM is given a plot of a univariate function and tasked with proposing an ansatz for that function. The free parameters of the ansatz are fitted using standard numerical optimisers, and a collection of such ansätze make up the population of a… ▽ More We present a novel approach to symbolic regression using vision-capable large language models (LLMs) and the ideas behind Google DeepMind's Funsearch. The LLM is given a plot of a univariate function and tasked with proposing an ansatz for that function. The free parameters of the ansatz are fitted using standard numerical optimisers, and a collection of such ansätze make up the population of a genetic algorithm. Unlike other symbolic regression techniques, our method does not require the specification of a set of functions to be used in regression, but with appropriate prompt engineering, we can arbitrarily condition the generative step. By using Kolmogorov Arnold Networks (KANs), we demonstrate that ``univariate is all you need'' for symbolic regression, and extend this method to multivariate functions by learning the univariate function on each edge of a trained KAN. The combined expression is then simplified by further processing with a language model. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Learning Topological Invariance

Authors: James Halverson, Fabian Ruehle

Abstract: Two geometric spaces are in the same topological class if they are related by certain geometric deformations. We propose machine learning methods that automate learning of topological invariance and apply it in the context of knot theory, where two knots are equivalent if they are related by ambient space isotopy. Specifically, given only the knot and no information about its topological invariant… ▽ More Two geometric spaces are in the same topological class if they are related by certain geometric deformations. We propose machine learning methods that automate learning of topological invariance and apply it in the context of knot theory, where two knots are equivalent if they are related by ambient space isotopy. Specifically, given only the knot and no information about its topological invariants, we employ contrastive and generative machine learning techniques to map different representatives of the same knot class to the same point in an embedding vector space. An auto-regressive decoder Transformer network can then generate new representatives from the same knot class. We also describe a student-teacher setup that we use to interpret which known knot invariants are learned by the neural networks to compute the embeddings, and observe a strong correlation with the Goeritz matrix in all setups that we tested. We also develop an approach to resolving the Jones Unknot Conjecture by exploring the vicinity of the embedding space of the Jones polynomial near the locus where the unknots cluster, which we use to generate braid words with simple Jones polynomials. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: 39 pages, 12 figures, 2 tables

On the Learnability of Knot Invariants: Representation, Predictability, and Neural Similarity

Authors: Audrey Lindsay, Fabian Ruehle

Abstract: We analyze different aspects of neural network predictions of knot invariants. First, we investigate the impact of different knot representations on the prediction of invariants and find that braid representations work in general the best. Second, we study which knot invariants are easy to learn, with invariants derived from hyperbolic geometry and knot diagrams being very easy to learn, while inv… ▽ More We analyze different aspects of neural network predictions of knot invariants. First, we investigate the impact of different knot representations on the prediction of invariants and find that braid representations work in general the best. Second, we study which knot invariants are easy to learn, with invariants derived from hyperbolic geometry and knot diagrams being very easy to learn, while invariants derived from topological or homological data are harder. Predicting the Arf invariant could not be learned for any representation. Third, we propose a cosine similarity score based on gradient saliency vectors, and a joint misclassification score to uncover similarities in neural networks trained to predict related topological invariants. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Comments: 14 pages, 3 figures, 1 table

Interpretable Machine Learning for Kronecker Coefficients

Authors: Giorgi Butbaia, Kyu-Hwan Lee, Fabian Ruehle

Abstract: We analyze the saliency of neural networks and employ interpretable machine learning models to predict whether the Kronecker coefficients of the symmetric group are zero or not. Our models use triples of partitions as input features, as well as b-loadings derived from the principal component of an embedding that captures the differences between partitions. Across all approaches, we achieve an accu… ▽ More We analyze the saliency of neural networks and employ interpretable machine learning models to predict whether the Kronecker coefficients of the symmetric group are zero or not. Our models use triples of partitions as input features, as well as b-loadings derived from the principal component of an embedding that captures the differences between partitions. Across all approaches, we achieve an accuracy of approximately 83% and derive explicit formulas for a decision function in terms of b-loadings. Additionally, we develop transformer-based models for prediction, achieving the highest reported accuracy of over 99%. △ Less

Submitted 17 February, 2025; originally announced February 2025.

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning

Authors: Simon Frieder, Jonas Bayer, Katherine M. Collins, Julius Berner, Jacob Loader, András Juhász, Fabian Ruehle, Sean Welleck, Gabriel Poesia, Ryan-Rhys Griffiths, Adrian Weller, Anirudh Goyal, Thomas Lukasiewicz, Timothy Gowers

Abstract: The suite of datasets commonly used to train and evaluate the mathematical capabilities of AI-based mathematical copilots (primarily large language models) exhibit several shortcomings. These limitations include a restricted scope of mathematical complexity, typically not exceeding lower undergraduate-level mathematics, binary rating protocols and other issues, which makes comprehensive proof-base… ▽ More The suite of datasets commonly used to train and evaluate the mathematical capabilities of AI-based mathematical copilots (primarily large language models) exhibit several shortcomings. These limitations include a restricted scope of mathematical complexity, typically not exceeding lower undergraduate-level mathematics, binary rating protocols and other issues, which makes comprehensive proof-based evaluation suites difficult. We systematically explore these limitations and contend that enhancing the capabilities of large language models, or any forthcoming advancements in AI-based mathematical assistants (copilots or "thought partners"), necessitates a paradigm shift in the design of mathematical datasets and the evaluation criteria of mathematical ability: It is necessary to move away from result-based datasets (theorem statement to theorem proof) and convert the rich facets of mathematical research practice to data LLMs can train on. Examples of these are mathematical workflows (sequences of atomic, potentially subfield-dependent tasks that are often performed when creating new mathematics), which are an important part of the proof-discovery process. Additionally, we advocate for mathematical dataset developers to consider the concept of "motivated proof", introduced by G. Pólya in 1949, which can serve as a blueprint for datasets that offer a better proof learning signal, alleviating some of the mentioned limitations. Lastly, we introduce math datasheets for datasets, extending the general, dataset-agnostic variants of datasheets: We provide a questionnaire designed specifically for math datasets that we urge dataset creators to include with their datasets. This will make creators aware of potential limitations of their datasets while at the same time making it easy for readers to assess it from the point of view of training and evaluating mathematical copilots. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Comments: 40 pages

A Twist on Heterotic Little String Duality

Authors: Hamza Ahmed, Paul-Konstantin Oehlmann, Fabian Ruehle

Abstract: In this work, we significantly expand the web of T-dualities among heterotic NS5-brane theories with eight supercharges. This is achieved by introducing twists involving outer automorphisms of discrete gauge/flavor factors and tensor multiplet permutations along the compactification circle. We assemble field theory data that we propose as invariants across T-dual theories, comprised of twisted Cou… ▽ More In this work, we significantly expand the web of T-dualities among heterotic NS5-brane theories with eight supercharges. This is achieved by introducing twists involving outer automorphisms of discrete gauge/flavor factors and tensor multiplet permutations along the compactification circle. We assemble field theory data that we propose as invariants across T-dual theories, comprised of twisted Coulomb branch dimensions, higher group structures and flavor symmetry ranks. Using this data, we establish a detailed field theory correspondence between singularities of the compactification space, the number five-branes in the theory, and the flavor symmetry factors. The twisted theories are realized via M-theory compactifications on non-compact genus-one fibered Calabi-Yau threefolds without section. This approach allows us to prove duality of twisted and (un-)twisted theories by leveraging M/F-theory duality and identifying inequivalent torus fibrations in the same geometry. We construct several new 5D theories, including a novel type of CHL-like twisted theory where the two M9 branes are identified. Using their field theory invariants, we also construct their dual theories. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Comments: 62 pages, 2 figures, 12 tables

Attractors, Geodesics, and the Geometry of Moduli Spaces

Authors: Fabian Ruehle, Benjamin Sung

Abstract: We connect recent conjectures and observations pertaining to geodesics, attractor flows, Laplacian eigenvalues and the geometry of moduli spaces by using that attractor flows are geodesics. For toroidal compactifications, attractor points are related to (degenerate) masses of the Laplacian on the target space, and also to the Laplacian on the moduli space. We also explore compactifications of M-Th… ▽ More We connect recent conjectures and observations pertaining to geodesics, attractor flows, Laplacian eigenvalues and the geometry of moduli spaces by using that attractor flows are geodesics. For toroidal compactifications, attractor points are related to (degenerate) masses of the Laplacian on the target space, and also to the Laplacian on the moduli space. We also explore compactifications of M-Theory to $5$D on a Calabi-Yau threefold and argue that geodesics are unique in a special set of classes, providing further evidence for a recent conjecture by Raman and Vafa. Finally, we describe the role of the marked moduli space in $4$d $\mathcal{N} = 2$ compactifications. We study split attractor flows in an explicit example of the one-parameter family of quintics and discuss setups where flops to isomorphic Calabi-Yau manifolds exist. △ Less

Submitted 1 August, 2024; originally announced August 2024.

A Heterotic Kähler Gravity and the Distance Conjecture

Authors: Javier José Murgas Ibarra, Paul-Konstantin Oehlmann, Fabian Ruehle, Eirik Eik Svanes

Abstract: Deformations of the heterotic superpotential give rise to a topological holomorphic theory with similarities to both Kodaira-Spencer gravity and holomorphic Chern-Simons theory. Although the action is cubic, it is only quadratic in the complex structure deformations (the Beltrami differential). Treated separately, for large fluxes, or alternatively at large distances in the background complex stru… ▽ More Deformations of the heterotic superpotential give rise to a topological holomorphic theory with similarities to both Kodaira-Spencer gravity and holomorphic Chern-Simons theory. Although the action is cubic, it is only quadratic in the complex structure deformations (the Beltrami differential). Treated separately, for large fluxes, or alternatively at large distances in the background complex structure moduli space, these fields can be integrated out to obtain a new field theory in the remaining fields, which describe the complexified hermitian and gauge degrees of freedom. We investigate properties of this new holomorphic theory, and in particular connections to the swampland distance conjecture in the context of heterotic string theory. In the process, we define a new type of symplectic cohomology theory, where the background complex structure Beltrami differential plays the role of the symplectic form. △ Less

Submitted 8 January, 2025; v1 submitted 6 June, 2024; originally announced June 2024.

Comments: 36 pages and appendices. V2: minor corrections and explanations added. V3: improved exposition and clarifications added, matches published version

Bounds and Dualities of Type II Little String Theories

Authors: Florent Baume, Paul-Konstantin Oehlmann, Fabian Ruehle

Abstract: We explore the symmetry structure of Type II Little String Theories and their T-dualities. We construct these theories both from the bottom-up perspective starting with seed Superconformal Field Theories, and from the top-down using F-/M-theory. By exploiting anomaly inflow and unitarity of the LST worldsheet theory, we derive strong conditions on the possible 6D bulk theories and their flavor alg… ▽ More We explore the symmetry structure of Type II Little String Theories and their T-dualities. We construct these theories both from the bottom-up perspective starting with seed Superconformal Field Theories, and from the top-down using F-/M-theory. By exploiting anomaly inflow and unitarity of the LST worldsheet theory, we derive strong conditions on the possible 6D bulk theories and their flavor algebras. These constraints continue to apply if gravity is coupled to the theory. We also study the higher form symmetry structure of these theories and show how they get exchanged under T-duality. Finally, we comment on seemingly consistent bottom-up Little String Theories that cannot be constructed from the top-down approach. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 58 pages, 3 appendices, 10 tables

Report number: ZMP-HH/24-10

KAN: Kolmogorov-Arnold Networks

Authors: Ziming Liu, Yixuan Wang, Sachin Vaidya, Fabian Ruehle, James Halverson, Marin Soljačić, Thomas Y. Hou, Max Tegmark

Abstract: Inspired by the Kolmogorov-Arnold representation theorem, we propose Kolmogorov-Arnold Networks (KANs) as promising alternatives to Multi-Layer Perceptrons (MLPs). While MLPs have fixed activation functions on nodes ("neurons"), KANs have learnable activation functions on edges ("weights"). KANs have no linear weights at all -- every weight parameter is replaced by a univariate function parametriz… ▽ More Inspired by the Kolmogorov-Arnold representation theorem, we propose Kolmogorov-Arnold Networks (KANs) as promising alternatives to Multi-Layer Perceptrons (MLPs). While MLPs have fixed activation functions on nodes ("neurons"), KANs have learnable activation functions on edges ("weights"). KANs have no linear weights at all -- every weight parameter is replaced by a univariate function parametrized as a spline. We show that this seemingly simple change makes KANs outperform MLPs in terms of accuracy and interpretability. For accuracy, much smaller KANs can achieve comparable or better accuracy than much larger MLPs in data fitting and PDE solving. Theoretically and empirically, KANs possess faster neural scaling laws than MLPs. For interpretability, KANs can be intuitively visualized and can easily interact with human users. Through two examples in mathematics and physics, KANs are shown to be useful collaborators helping scientists (re)discover mathematical and physical laws. In summary, KANs are promising alternatives for MLPs, opening opportunities for further improving today's deep learning models which rely heavily on MLPs. △ Less

Submitted 9 February, 2025; v1 submitted 30 April, 2024; originally announced April 2024.

Comments: Accepted by International Conference on Learning Representations (ICLR) 2025 (conference version: https://openreview.net/forum?id=Ozo7qJ5vZi). Codes are available at https://github.com/KindXiaoming/pykan

The Frozen Phase of Heterotic F-theory Duality

Authors: Paul-Konstantin Oehlmann, Fabian Ruehle, Benjamin Sung

Abstract: We study the duality between the Spin$(32)/\mathbb{Z}_2$ heterotic string without vector structure and F-theory with frozen singularities. We give a complete description in theories with $6$d $\mathcal{N}=(1,0)$ supersymmetry and identify the duals of Spin$(32)/\mathbb{Z}_2$-instantons on ADE singularities without vector structure in the frozen phase of F-theory using an ansatz introduced by Bhard… ▽ More We study the duality between the Spin$(32)/\mathbb{Z}_2$ heterotic string without vector structure and F-theory with frozen singularities. We give a complete description in theories with $6$d $\mathcal{N}=(1,0)$ supersymmetry and identify the duals of Spin$(32)/\mathbb{Z}_2$-instantons on ADE singularities without vector structure in the frozen phase of F-theory using an ansatz introduced by Bhardwaj, Morrison, Tachikawa, and Tomasiello. As a consequence, we obtain a strongly coupled description of orbifold phases of type I string theory without vector structure, substantially expanding the list of known examples of $6$d F-theory compactifications with frozen singularities. Supergravity theories can be fused from these instanton theories, in a way that commutes with switching off vector structure, which we use to propose new consistency checks via neutral hypermultiplet counting. Finally, we describe various Higgsings of this duality, and comment on constraints on higher form symmetries. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 42 pages, 1 figure, 1 appendix

On classical de Sitter solutions and parametric control

Authors: David Andriot, Fabian Ruehle

Abstract: Finding string backgrounds with de Sitter spacetime, where all approximations and corrections are controlled, is an open problem. We revisit the search for de Sitter solutions in the classical regime for specific type IIB supergravity compactifications on group manifolds, an under-explored corner of the landscape that offers an interesting testing ground for swampland conjectures. While the superg… ▽ More Finding string backgrounds with de Sitter spacetime, where all approximations and corrections are controlled, is an open problem. We revisit the search for de Sitter solutions in the classical regime for specific type IIB supergravity compactifications on group manifolds, an under-explored corner of the landscape that offers an interesting testing ground for swampland conjectures. While the supergravity de Sitter solutions we obtain numerically are ambiguous in terms of their classicality, we find an analytic scaling that makes four out of six compactification radii, as well as the overall volume, arbitrarily large. This potentially provides parametric control over corrections. If we could show that these solutions, or others to be found, are fully classical, they would constitute a counterexample to conjectures stating that asymptotic de Sitter solutions do not exist. We discuss this point in great detail. △ Less

Submitted 13 June, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: Six notebooks are provided as ancillary files; v2: minor corrections

Rigor with Machine Learning from Field Theory to the Poincaré Conjecture

Authors: Sergei Gukov, James Halverson, Fabian Ruehle

Abstract: Machine learning techniques are increasingly powerful, leading to many breakthroughs in the natural sciences, but they are often stochastic, error-prone, and blackbox. How, then, should they be utilized in fields such as theoretical physics and pure mathematics that place a premium on rigor and understanding? In this Perspective we discuss techniques for obtaining rigor in the natural sciences wit… ▽ More Machine learning techniques are increasingly powerful, leading to many breakthroughs in the natural sciences, but they are often stochastic, error-prone, and blackbox. How, then, should they be utilized in fields such as theoretical physics and pure mathematics that place a premium on rigor and understanding? In this Perspective we discuss techniques for obtaining rigor in the natural sciences with machine learning. Non-rigorous methods may lead to rigorous results via conjecture generation or verification by reinforcement learning. We survey applications of these techniques-for-rigor ranging from string theory to the smooth $4$d Poincaré conjecture in low-dimensional topology. One can also imagine building direct bridges between machine learning theory and either mathematics or theoretical physics. As examples, we describe a new approach to field theory motivated by neural network theory, and a theory of Riemannian metric flows induced by neural network gradient descent, which encompasses Perelman's formulation of the Ricci flow that was utilized to resolve the $3$d Poincaré conjecture. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Comments: 13 pages. Preprint of edited version in Nature Reviews Physics. Please cite journal version

T-Duality and Flavor Symmetries in Little String Theories

Authors: Hamza Ahmed, Paul-Konstantin Oehlmann, Fabian Ruehle

Abstract: We explore the T-duality web of 6D Heterotic Little String Theories, focusing on flavor algebra reducing deformations. A careful analysis of the full flavor algebra, including Abelian factors, shows that the flavor rank is preserved under T-duality. This suggests a new T-duality invariant in addition to the Coulomb branch dimension and the two-group structure constants. We also engineer Little Str… ▽ More We explore the T-duality web of 6D Heterotic Little String Theories, focusing on flavor algebra reducing deformations. A careful analysis of the full flavor algebra, including Abelian factors, shows that the flavor rank is preserved under T-duality. This suggests a new T-duality invariant in addition to the Coulomb branch dimension and the two-group structure constants. We also engineer Little String Theories with non-simply laced flavor algebras, whose appearance we attribute to certain discrete 3-form fluxes in M-theory. Geometrically, these theories are engineered in F-theory with non-Kähler favorable K3 fibers. This geometric origin leads us to propose that freezing fluxes are preserved across T-duality. Along the way, we discuss various exotic models, including two inequivalent $\text{Spin(32)}/\mathbb{Z}_2$ models that are dual to the same $\text{E}_8 \times \text{E}_8$ theory, and a family of self-T-dual models. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 33+7 pages , 4 figures, 4 tables

Metric Flows with Neural Networks

Authors: James Halverson, Fabian Ruehle

Abstract: We develop a general theory of flows in the space of Riemannian metrics induced by neural network gradient descent. This is motivated in part by recent advances in approximating Calabi-Yau metrics with neural networks and is enabled by recent advances in understanding flows in the space of neural networks. We derive the corresponding metric flow equations, which are governed by a metric neural tan… ▽ More We develop a general theory of flows in the space of Riemannian metrics induced by neural network gradient descent. This is motivated in part by recent advances in approximating Calabi-Yau metrics with neural networks and is enabled by recent advances in understanding flows in the space of neural networks. We derive the corresponding metric flow equations, which are governed by a metric neural tangent kernel, a complicated, non-local object that evolves in time. However, many architectures admit an infinite-width limit in which the kernel becomes fixed and the dynamics simplify. Additional assumptions can induce locality in the flow, which allows for the realization of Perelman's formulation of Ricci flow that was used to resolve the 3d Poincaré conjecture. We demonstrate that such fixed kernel regimes lead to poor learning of numerical Calabi-Yau metrics, as is expected since the associated neural networks do not learn features. Conversely, we demonstrate that well-learned numerical metrics at finite-width exhibit an evolving metric-NTK, associated with feature learning. Our theory of neural network metric flows therefore explains why neural networks are better at learning Calabi-Yau metrics than fixed kernel methods, such as the Ricci flow. △ Less

Submitted 18 October, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: 32 pages + references. Published in Machine Learning: Science and Technology

Searching for ribbons with machine learning

Authors: Sergei Gukov, James Halverson, Ciprian Manolescu, Fabian Ruehle

Abstract: We apply Bayesian optimization and reinforcement learning to a problem in topology: the question of when a knot bounds a ribbon disk. This question is relevant in an approach to disproving the four-dimensional smooth Poincaré conjecture; using our programs, we rule out many potential counterexamples to the conjecture. We also show that the programs are successful in detecting many ribbon knots in… ▽ More We apply Bayesian optimization and reinforcement learning to a problem in topology: the question of when a knot bounds a ribbon disk. This question is relevant in an approach to disproving the four-dimensional smooth Poincaré conjecture; using our programs, we rule out many potential counterexamples to the conjecture. We also show that the programs are successful in detecting many ribbon knots in the range of up to 70 crossings. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 23 pages, 10 figures

MSC Class: 57K10 (Primary); 57K40; 68T99 (Secondary)

Level Crossings, Attractor Points and Complex Multiplication

Authors: Hamza Ahmed, Fabian Ruehle

Abstract: We study the complex structure moduli dependence of the scalar Laplacian eigenmodes for one-parameter families of Calabi-Yau $n$-folds in P^{n+1}. It was previously observed that some eigenmodes get lighter while others get heavier as a function of these moduli, which leads to eigenvalue crossing. We identify the cause for this behavior for the torus. We then show that at points in a sublocus of c… ▽ More We study the complex structure moduli dependence of the scalar Laplacian eigenmodes for one-parameter families of Calabi-Yau $n$-folds in P^{n+1}. It was previously observed that some eigenmodes get lighter while others get heavier as a function of these moduli, which leads to eigenvalue crossing. We identify the cause for this behavior for the torus. We then show that at points in a sublocus of complex structure moduli space where Laplacian eigenmodes cross, the torus has complex multiplication. We speculate that the generalization to arbitrary Calabi-Yau manifolds could be that level crossing is related to rank one attractor points. To test this, we compute the eigenmodes numerically for the quartic K3 and the quintic threefold, and match crossings to CM and attractor points in these varieties. To quantify the error of our numerical methods, we also study the dependence of the numerical spectrum on the quality of the Calabi-Yau metric approximation, the number of points sampled from the Calabi-Yau variety, the truncation of the eigenbasis, and the the distance from degeneration points in complex structure moduli space. △ Less

Submitted 31 March, 2023; originally announced April 2023.

Comments: 30 pages, 8 figures

Symmetries of Calabi-Yau Prepotentials with Isomorphic Flops

Authors: Andre Lukas, Fabian Ruehle

Abstract: Calabi-Yau threefolds with infinitely many flops to isomorphic manifolds have an extended Kahler cone made up from an infinite number of individual Kahler cones. These cones are related by reflection symmetries across flop walls. We study the implications of this cone structure for mirror symmetry, by considering the instanton part of the prepotential in Calabi-Yau threefolds. We show that such is… ▽ More Calabi-Yau threefolds with infinitely many flops to isomorphic manifolds have an extended Kahler cone made up from an infinite number of individual Kahler cones. These cones are related by reflection symmetries across flop walls. We study the implications of this cone structure for mirror symmetry, by considering the instanton part of the prepotential in Calabi-Yau threefolds. We show that such isomorphic flops across facets of the Kahler cone boundary give rise to symmetry groups isomorphic to Coxeter groups. In the dual Mori cone, non-flopping curve classes that are identified under these groups have the same Gopakumar-Vafa invariants. This leads to instanton prepotentials invariant under Coxeter groups, which we make manifest by introducing appropriate invariant functions. For some cases, these functions can be expressed in terms of theta functions whose appearance can be linked to an elliptic fibration structure of the Calabi-Yau manifold. △ Less

Submitted 9 February, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 20+4 pages, 4 figures, added some remarks and references

The Dynamical Mass of the Coma Cluster from Deep Learning

Authors: Matthew Ho, Michelle Ntampaka, Markus Michael Rau, Minghan Chen, Alexa Lansberry, Faith Ruehle, Hy Trac

Abstract: In 1933, Fritz Zwicky's famous investigations of the mass of the Coma cluster led him to infer the existence of dark matter \cite{1933AcHPh...6..110Z}. His fundamental discoveries have proven to be foundational to modern cosmology; as we now know such dark matter makes up 85\% of the matter and 25\% of the mass-energy content in the universe. Galaxy clusters like Coma are massive, complex systems… ▽ More In 1933, Fritz Zwicky's famous investigations of the mass of the Coma cluster led him to infer the existence of dark matter \cite{1933AcHPh...6..110Z}. His fundamental discoveries have proven to be foundational to modern cosmology; as we now know such dark matter makes up 85\% of the matter and 25\% of the mass-energy content in the universe. Galaxy clusters like Coma are massive, complex systems of dark matter in addition to hot ionized gas and thousands of galaxies, and serve as excellent probes of the dark matter distribution. However, empirical studies show that the total mass of such systems remains elusive and difficult to precisely constrain. Here, we present new estimates for the dynamical mass of the Coma cluster based on Bayesian deep learning methodologies developed in recent years. Using our novel data-driven approach, we predict Coma's $\mthc$ mass to be $10^{15.10 \pm 0.15}\ \hmsun$ within a radius of $1.78 \pm 0.03\ h^{-1}\mathrm{Mpc}$ of its center. We show that our predictions are rigorous across multiple training datasets and statistically consistent with historical estimates of Coma's mass. This measurement reinforces our understanding of the dynamical state of the Coma cluster and advances rigorous analyses and verification methods for empirical applications of machine learning in astronomy. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 15 pages, 3 figures, 1 table, accepted for publication at Nature Astronomy, see https://www.nature.com/articles/s41550-022-01711-1

Numerical Metrics for Complete Intersection and Kreuzer-Skarke Calabi-Yau Manifolds

Authors: Magdalena Larfors, Andre Lukas, Fabian Ruehle, Robin Schneider

Abstract: We introduce neural networks to compute numerical Ricci-flat CY metrics for complete intersection and Kreuzer-Skarke Calabi-Yau manifolds at any point in Kähler and complex structure moduli space, and introduce the package cymetric which provides computation realizations of these techniques. In particular, we develop and computationally realize methods for point-sampling on these manifolds. The tr… ▽ More We introduce neural networks to compute numerical Ricci-flat CY metrics for complete intersection and Kreuzer-Skarke Calabi-Yau manifolds at any point in Kähler and complex structure moduli space, and introduce the package cymetric which provides computation realizations of these techniques. In particular, we develop and computationally realize methods for point-sampling on these manifolds. The training for the neural networks is carried out subject to a custom loss function. The Kähler class is fixed by adding to the loss a component which enforces the slopes of certain line bundles to match with topological computations. Our methods are applied to various manifolds, including the quintic manifold, the bi-cubic manifold and a Kreuzer-Skarke manifold with Picard number two. We show that volumes and line bundle slopes can be reliably computed from the resulting Ricci-flat metrics. We also apply our results to compute an approximate Hermitian-Yang-Mills connection on a specific line bundle on the bi-cubic. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 36 pages, 3 figures, uses cymetric: https://github.com/pythoncymetric/cymetric

Report number: UUITP-25/22

Gyrotactic cluster formation of bottom-heavy squirmers

Authors: Felix Rühle, Arne W. Zantop, Holger Stark

Abstract: Squirmers that are bottom-heavy experience a torque that aligns them along the vertical so that they swim upwards. In a suspension of many squirmers, they also interact hydrodynamically via flow fields that are initiated by their swimming motion and by gravity. Swimming under the combined action of flow field vorticity and gravitational torque is called gyrotaxis. Using the method of multi-particl… ▽ More Squirmers that are bottom-heavy experience a torque that aligns them along the vertical so that they swim upwards. In a suspension of many squirmers, they also interact hydrodynamically via flow fields that are initiated by their swimming motion and by gravity. Swimming under the combined action of flow field vorticity and gravitational torque is called gyrotaxis. Using the method of multi-particle collision dynamics, we perform hydrodynamic simulations of a many-squirmer system floating above the bottom surface. Due to gyrotaxis they exhibit pronounced cluster formation with increasing gravitational torque. The clusters are more volatile at low values but compactify to smaller clusters at larger torques. The mean distance between clusters is mainly controlled by the gravitational torque and not the global density. Furthermore, we observe that neutral squirmers form clusters more easily, whereas pullers require larger gravitational torques due to their additional force-dipole flow fields. We do not observe clustering for pusher squirmers. Adding a rotlet dipole to the squirmer flow field induces swirling clusters. At high gravitational strengths, the hydrodynamic interactions with the no-slip boundary create an additional vertical alignment for neutral squirmers, which also supports cluster formation. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: contains 9 coloured figures

Recent Developments in Line Bundle Cohomology and Applications to String Phenomenology

Authors: Callum Brodie, Andrei Constantin, James Gray, Andre Lukas, Fabian Ruehle

Abstract: Vector bundle cohomology represents a key ingredient for string phenomenology, being associated with the massless spectrum arising in string compactifications on smooth compact manifolds. Although standard algorithmic techniques exist for performing cohomology calculations, they are laborious and ill-suited for scanning over large sets of string compactifications to find those most relevant to par… ▽ More Vector bundle cohomology represents a key ingredient for string phenomenology, being associated with the massless spectrum arising in string compactifications on smooth compact manifolds. Although standard algorithmic techniques exist for performing cohomology calculations, they are laborious and ill-suited for scanning over large sets of string compactifications to find those most relevant to particle physics. In this article we review some recent progress in deriving closed-form expressions for line bundle cohomology and discuss some applications to string phenomenology. △ Less

Submitted 17 April, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 9 pages, 3 figures, based on a talk given by AC at the Nankai Symposium on Mathematical Dialogues, August 2021

Flops for Complete Intersection Calabi-Yau Threefolds

Authors: Callum Brodie, Andrei Constantin, Andre Lukas, Fabian Ruehle

Abstract: We study flops of Calabi-Yau threefolds realised as Kaehler-favourable complete intersections in products of projective spaces (CICYs) and identify two different types. The existence and the type of the flops can be recognised from the configuration matrix of the CICY, which also allows for constructing such examples. The first type corresponds to rows containing only 1s and 0s, while the second t… ▽ More We study flops of Calabi-Yau threefolds realised as Kaehler-favourable complete intersections in products of projective spaces (CICYs) and identify two different types. The existence and the type of the flops can be recognised from the configuration matrix of the CICY, which also allows for constructing such examples. The first type corresponds to rows containing only 1s and 0s, while the second type corresponds to rows containing a single entry of 2, followed by 1s and 0s. We give explicit descriptions for the manifolds obtained after the flop and show that the second type of flop always leads to isomorphic manifolds, while the first type in general leads to non-isomorphic flops. The singular manifolds involved in the flops are determinantal varieties in the first case and more complicated in the second case. We also discuss manifolds admitting an infinite chain of flops and show how to identify these from the configuration matrix. Finally, we point out how to construct the divisor images and Picard group isomorphisms under both types of flops. △ Less

Submitted 6 June, 2023; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 20 pages

Journal ref: J.Geom.Phys. 186 (2023) 104767

Learning Size and Shape of Calabi-Yau Spaces

Authors: Magdalena Larfors, Andre Lukas, Fabian Ruehle, Robin Schneider

Abstract: We present a new machine learning library for computing metrics of string compactification spaces. We benchmark the performance on Monte-Carlo sampled integrals against previous numerical approximations and find that our neural networks are more sample- and computation-efficient. We are the first to provide the possibility to compute these metrics for arbitrary, user-specified shape and size param… ▽ More We present a new machine learning library for computing metrics of string compactification spaces. We benchmark the performance on Monte-Carlo sampled integrals against previous numerical approximations and find that our neural networks are more sample- and computation-efficient. We are the first to provide the possibility to compute these metrics for arbitrary, user-specified shape and size parameters of the compact space and observe a linear relation between optimization of the partial differential equation we are training against and vanishing Ricci curvature. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: 5 pages, 2 figures, to appear in: NeurIPS 2021 - ML4PS

Report number: UUITP-53/21

How inertial lift affects the dynamics of a microswimmer in Poiseuille flow

Authors: Akash Choudhary, Subhechchha Paul, Felix Rühle, Holger Stark

Abstract: We analyze the dynamics of a microswimmer in pressure-driven Poiseuille flow, where fluid inertia is small but non-negligible. Using perturbation theory and the reciprocal theorem, we show that in addition to the classical inertial lift of passive particles, the active nature generates a `swimming lift', which we evaluate for neutral and pusher/puller-type swimmers. Accounting for fluid inertia en… ▽ More We analyze the dynamics of a microswimmer in pressure-driven Poiseuille flow, where fluid inertia is small but non-negligible. Using perturbation theory and the reciprocal theorem, we show that in addition to the classical inertial lift of passive particles, the active nature generates a `swimming lift', which we evaluate for neutral and pusher/puller-type swimmers. Accounting for fluid inertia engenders a rich spectrum of novel complex dynamics including bistable states, where tumbling coexists with stable centerline swimming or swinging. The dynamics is sensitive to the swimmer's hydrodynamic signature and goes well beyond the findings at vanishing fluid inertia. Our work will have non-trivial implications on the transport and dispersion of active suspensions in microchannels. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Geodesics in the extended Kähler cone of Calabi-Yau threefolds

Authors: Callum R. Brodie, Andrei Constantin, Andre Lukas, Fabian Ruehle

Abstract: We present a detailed study of the effective cones of Calabi-Yau threefolds with $h^{1,1}=2$, including the possible types of walls bounding the Kähler cone and a classification of the intersection forms arising in the geometrical phases. For all three normal forms in the classification we explicitly solve the geodesic equation and use this to study the evolution near Kähler cone walls and across… ▽ More We present a detailed study of the effective cones of Calabi-Yau threefolds with $h^{1,1}=2$, including the possible types of walls bounding the Kähler cone and a classification of the intersection forms arising in the geometrical phases. For all three normal forms in the classification we explicitly solve the geodesic equation and use this to study the evolution near Kähler cone walls and across flop transitions in the context of M-theory compactifications. In the case where the geometric regime ends at a wall beyond which the effective cone continues, the geodesics "crash" into the wall, signaling a breakdown of the M-theory supergravity approximation. For illustration, we characterise the structure of the extended Kähler and effective cones of all $h^{1,1}=2$ threefolds from the CICY and Kreuzer-Skarke lists, providing a rich set of examples for studying topology change in string theory. These examples show that all three cases of intersection form are realised and suggest that isomorphic flops and infinite flop sequences are common phenomena. △ Less

Submitted 6 March, 2022; v1 submitted 23 August, 2021; originally announced August 2021.

Comments: 42 pages, 7 figures

Report number: CERN-TH-2021-123

Swampland Conjectures and Infinite Flop Chains

Authors: Callum R. Brodie, Andrei Constantin, Andre Lukas, Fabian Ruehle

Abstract: We investigate swampland conjectures for quantum gravity in the context of M-theory compactified on Calabi-Yau threefolds which admit infinite sequences of flops. Naively, the moduli space of such compactifications contains paths of arbitrary geodesic length traversing an arbitrarily large number of Kähler cones, along which the low-energy spectrum remains virtually unchanged. In cases where the i… ▽ More We investigate swampland conjectures for quantum gravity in the context of M-theory compactified on Calabi-Yau threefolds which admit infinite sequences of flops. Naively, the moduli space of such compactifications contains paths of arbitrary geodesic length traversing an arbitrarily large number of Kähler cones, along which the low-energy spectrum remains virtually unchanged. In cases where the infinite chain of Calabi-Yau manifolds involves only a finite number of isomorphism classes, the moduli space has an infinite discrete symmetry which relates the isomorphic manifolds connected by flops. This is a remnant of the 11D Poincare symmetry and consequently gauged, as it has to be by the no-global symmetry conjecture. The apparent contradiction with the swampland distance conjecture is hence resolved after dividing by this discrete symmetry. If the flop sequence involves infinitely many non-isomorphic manifolds, this resolution is no longer available. However, such a situation cannot occur if the Kawamata-Morrison conjecture for Calabi-Yau threefolds is true. Conversely, the swampland distance conjecture, when applied to infinite flop chains, implies the Kawamata-Morrison conjecture under a plausible assumption on the diameter of the Kähler cones. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: 9 pages, 4 figures

Report number: CERN-TH-2021-051

Journal ref: Phys. Rev. D 104, 046008 (2021)

Moduli-dependent KK towers and the swampland distance conjecture on the quintic Calabi-Yau manifold

Authors: Anthony Ashmore, Fabian Ruehle

Abstract: We use numerical methods to obtain moduli-dependent Calabi-Yau metrics and from them the moduli-dependent massive tower of Kaluza-Klein states for the one-parameter family of quintic Calabi-Yau manifolds. We then compute geodesic distances in their Kähler and complex structure moduli space using exact expressions from mirror symmetry, approximate expressions, and numerical methods and compare the… ▽ More We use numerical methods to obtain moduli-dependent Calabi-Yau metrics and from them the moduli-dependent massive tower of Kaluza-Klein states for the one-parameter family of quintic Calabi-Yau manifolds. We then compute geodesic distances in their Kähler and complex structure moduli space using exact expressions from mirror symmetry, approximate expressions, and numerical methods and compare the results. Finally, we fit the moduli-dependence of the massive spectrum to the geodesic distance to obtain the rate at which states become exponentially light. The result is indeed of order one, as suggested by the swampland distance conjecture. We also observe level-crossing in the eigenvalue spectrum and find that states in small irreducible representations of the symmetry group tend to become lighter than states in larger irreducible representations. △ Less

Submitted 14 May, 2021; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: references added and minor changes, 10 pages, 5 figures

Report number: CERN-TH-2021-032

Journal ref: Phys. Rev. D 103, 106028 (2021)

Moduli-dependent Calabi-Yau and SU(3)-structure metrics from Machine Learning

Authors: Lara B. Anderson, Mathis Gerdes, James Gray, Sven Krippendorf, Nikhil Raghuram, Fabian Ruehle

Abstract: We use machine learning to approximate Calabi-Yau and SU(3)-structure metrics, including for the first time complex structure moduli dependence. Our new methods furthermore improve existing numerical approximations in terms of accuracy and speed. Knowing these metrics has numerous applications, ranging from computations of crucial aspects of the effective field theory of string compactifications s… ▽ More We use machine learning to approximate Calabi-Yau and SU(3)-structure metrics, including for the first time complex structure moduli dependence. Our new methods furthermore improve existing numerical approximations in terms of accuracy and speed. Knowing these metrics has numerous applications, ranging from computations of crucial aspects of the effective field theory of string compactifications such as the canonical normalizations for Yukawa couplings, and the massive string spectrum which plays a crucial role in swampland conjectures, to mirror symmetry and the SYZ conjecture. In the case of SU(3) structure, our machine learning approach allows us to engineer metrics with certain torsion properties. Our methods are demonstrated for Calabi-Yau and SU(3)-structure manifolds based on a one-parameter family of quintic hypersurfaces in $\mathbb{P}^4.$ △ Less

Submitted 19 May, 2021; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: minor changes, 27+15 pages, 12 figures, 3 tables

Report number: CERN-TH-2020-205

Learning to Unknot

Authors: Sergei Gukov, James Halverson, Fabian Ruehle, Piotr Sułkowski

Abstract: We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an algorithm to randomly generate $N$-crossing braids and their knot closures and discussing the induced prior on the distribution of knots, we apply binary classific… ▽ More We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an algorithm to randomly generate $N$-crossing braids and their knot closures and discussing the induced prior on the distribution of knots, we apply binary classification to the UNKNOT decision problem. We find that the Reformer and shared-QK Transformer network architectures outperform fully-connected networks, though all perform well. Perhaps surprisingly, we find that accuracy increases with the length of the braid word, and that the networks learn a direct correlation between the confidence of their predictions and the degree of the Jones polynomial. Finally, we utilize reinforcement learning (RL) to find sequences of Markov moves and braid relations that simplify knots and can identify unknots by explicitly giving the sequence of unknotting actions. Trust region policy optimization (TRPO) performs consistently well for a wide range of crossing numbers and thoroughly outperformed other RL algorithms and random walkers. Studying these actions, we find that braid relations are more useful in simplifying to the unknot than one of the Markov moves. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Comments: 51 pages, 16 figures, 6 algorithms, 2 tables

Report number: CALT-2020-046. CERN-TH-2020-179

Machine Learning and Algebraic Approaches towards Complete Matter Spectra in 4d F-theory

Authors: Martin Bies, Mirjam Cvetic, Ron Donagi, Ling Lin, Muyang Liu, Fabian Ruehle

Abstract: Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A w… ▽ More Motivated by engineering vector-like (Higgs) pairs in the spectrum of 4d F-theory compactifications, we combine machine learning and algebraic geometry techniques to analyze line bundle cohomologies on families of holomorphic curves. To quantify jumps of these cohomologies, we first generate 1.8 million pairs of line bundles and curves embedded in $dP_3$, for which we compute the cohomologies. A white-box machine learning approach trained on this data provides intuition for jumps due to curve splittings, which we use to construct additional vector-like Higgs-pairs in an F-Theory toy model. We also find that, in order to explain quantitatively the full dataset, further tools from algebraic geometry, in particular Brill--Noether theory, are required. Using these ingredients, we introduce a diagrammatic way to express cohomology jumps across the parameter space of each family of matter curves, which reflects a stratification of the F-theory complex structure moduli space in terms of the vector-like spectrum. Furthermore, these insights provide an algorithmically efficient way to estimate the possible cohomology dimensions across the entire parameter space. △ Less

Submitted 30 June, 2020; originally announced July 2020.

Comments: 42 pages + appendix

Report number: UPR-1305-T, CERN-TH-2020-111

Optimal control of colloidal trajectories in inertial microfluidics using the Saffman effect

Authors: Felix Rühle, Christian Schaaf, Holger Stark

Abstract: In inertial microfluidics colloidal particles in a Poiseuille flow experience the Segré-Silberberg lift force, which drives them to specific positions in the channel cross section. Due to the Saffman effect an external force applied along the microchannel induces a cross-streamline migration to a new equilibrium position. We apply optimal control theory to design the time protocol of the axial con… ▽ More In inertial microfluidics colloidal particles in a Poiseuille flow experience the Segré-Silberberg lift force, which drives them to specific positions in the channel cross section. Due to the Saffman effect an external force applied along the microchannel induces a cross-streamline migration to a new equilibrium position. We apply optimal control theory to design the time protocol of the axial control force in order to steer a single particle as precisely as possible from a channel inlet to an outlet at a chosen target position. We discuss the influence of particle radius and channel length and show that optimal steering is cheaper than using a constant control force. Using a single optimized control-force protocol, we demonstrate that even a pulse of particles spread along the channel axis can be steered to a target and that particles of different radii can be separarted most efficiently. △ Less

Submitted 12 June, 2020; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 17 pages, 12 coloured figures

Non-Simply-Connected Symmetries in 6D SCFTs

Authors: Markus Dierigl, Paul-Konstantin Oehlmann, Fabian Ruehle

Abstract: Six-dimensional N=(1,0) superconformal field theories can be engineered geometrically via F-theory on elliptically-fibered Calabi-Yau 3-folds. We include torsional sections in the geometry, which lead to a finite Mordell-Weil group. This allows us to identify the full non-Abelian group structure rather than just the algebra. The presence of torsion also modifies the center of the symmetry groups a… ▽ More Six-dimensional N=(1,0) superconformal field theories can be engineered geometrically via F-theory on elliptically-fibered Calabi-Yau 3-folds. We include torsional sections in the geometry, which lead to a finite Mordell-Weil group. This allows us to identify the full non-Abelian group structure rather than just the algebra. The presence of torsion also modifies the center of the symmetry groups and the matter representations that can appear. This in turn affects the tensor branch of these theories. We analyze this change for a large class of superconformal theories with torsion and explicitly construct their tensor branches. Finally, we elaborate on the connection to the dual heterotic and M-theory description, in which our configurations are interpreted as generalizations of discrete holonomy instantons. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: 62 pages, 6 figures, 5 tables, 3 appendices

Report number: CERN-TH-2020-081, UUITP-14/20

Emergent collective dynamics of bottom-heavy squirmers under gravity

Authors: Felix Rühle, Holger Stark

Abstract: We present the results of hydrodynamic simulations using the method of multi-particle collision dynamics for a system of squirmer microswimmers moving under the influence of gravity at low Reynolds numbers. In addition, the squirmers are bottom-heavy so that they experience a torque which aligns them along the vertical. The squirmers interact hydrodynamically by the flow fields of a stokeslet and… ▽ More We present the results of hydrodynamic simulations using the method of multi-particle collision dynamics for a system of squirmer microswimmers moving under the influence of gravity at low Reynolds numbers. In addition, the squirmers are bottom-heavy so that they experience a torque which aligns them along the vertical. The squirmers interact hydrodynamically by the flow fields of a stokeslet and rotlet, which are initiated by the acting gravitational force and torque, respectively, and by their own flow fields. By varying the ratio of swimming to bulk sedimentation velocity and the torque, we determine state diagrams for the emergent collective dynamics of neutral squirmers as well as strong pushers and pullers. For low swimming velocity and torque we observe conventional sedimentation, while the sedimentation profile becomes inverted when their values are increased. For neutral squirmers we discover convective rolls of circulating squirmers between both sedimentation states, which sit at the bottom of the system and are fed by plumes made of collectively sinking squirmers. At larger torques porous clusters occur that spawn single squirmers. The two latter states can also occur transiently starting from a uniform squirmer distribution and then disappear in the long-time limit. For strong pushers and pullers only weak plume formation is observed. △ Less

Submitted 12 May, 2020; v1 submitted 11 February, 2020; originally announced February 2020.

Instantons and Hilbert Functions

Authors: Evgeny I. Buchbinder, Andre Lukas, Burt A. Ovrut, Fabian Ruehle

Abstract: We study superpotentials from worldsheet instantons in heterotic Calabi-Yau compactifications for vector bundles constructed from line bundle sums, monads and extensions. Within a certain class of manifolds and for certain second homology classes, we derive simple necessary conditions for a non-vanishing instanton superpotential. These show that non-vanishing instanton superpotentials are rare and… ▽ More We study superpotentials from worldsheet instantons in heterotic Calabi-Yau compactifications for vector bundles constructed from line bundle sums, monads and extensions. Within a certain class of manifolds and for certain second homology classes, we derive simple necessary conditions for a non-vanishing instanton superpotential. These show that non-vanishing instanton superpotentials are rare and require a specific pattern for the bundle construction. For the class of monad and extension bundles with this pattern, we derive a sufficient criterion for non-vanishing instanton superpotentials based on an affine Hilbert function. This criterion shows that a non-zero instanton superpotential is common within this class. The criterion can be checked using commutative algebra methods only and depends on the topological data defining the Calabi-Yau X and the vector bundle V. △ Less

Submitted 17 December, 2019; originally announced December 2019.

Comments: 21 pages, 7 figures

Journal ref: Phys. Rev. D 102, 026019 (2020)

Heterotic Instantons for Monad and Extension Bundles

Authors: Evgeny I. Buchbinder, Andre Lukas, Burt A. Ovrut, Fabian Ruehle

Abstract: We consider non-perturbative superpotentials from world-sheet instantons wrapped on holomorphic genus zero curves in heterotic string theory. These superpotential contributions feature prominently in moduli stabilization and large field axion inflation, which makes their presence or absence, as well as their functional dependence on moduli, an important issue. We develop geometric methods to compu… ▽ More We consider non-perturbative superpotentials from world-sheet instantons wrapped on holomorphic genus zero curves in heterotic string theory. These superpotential contributions feature prominently in moduli stabilization and large field axion inflation, which makes their presence or absence, as well as their functional dependence on moduli, an important issue. We develop geometric methods to compute the instanton superpotentials for heterotic string theory with monad and extension bundles. Using our methods, we find a variety of examples with a non-vanishing superpotential. In view of standard vanishing theorems, we speculate that these results are likely to be attributed to the non-compactness of the instanton moduli space. We test this proposal, for the case of monad bundles, by considering gauged linear sigma models where compactness of the instanton moduli space can be explicitly checked. In all such cases, we find that the geometric results are consistent with the vanishing theorems. Surprisingly, linearly dependent Pfaffians even arise for cases with a non-compact instanton moduli space. This suggests some gauged linear sigma models with a non-compact instanton moduli space may still have a vanishing instanton superpotential. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: 39 pages

Kahler Moduli Stabilization and the Propagation of Decidability

Authors: James Halverson, Michael Plesser, Fabian Ruehle, Jiahua Tian

Abstract: Diophantine equations are in general undecidable, yet appear readily in string theory. We demonstrate that numerous classes of Diophantine equations arising in string theory are decidable and propose that decidability may propagate through networks of string vacua due to additional structure in the theory. Diophantine equations arising in index computations relevant for D3-instanton corrections to… ▽ More Diophantine equations are in general undecidable, yet appear readily in string theory. We demonstrate that numerous classes of Diophantine equations arising in string theory are decidable and propose that decidability may propagate through networks of string vacua due to additional structure in the theory. Diophantine equations arising in index computations relevant for D3-instanton corrections to the superpotential exhibit propagation of decidability, with new and existing solutions propagating through networks of geometries related by topological transitions. In the geometries we consider, most divisor classes appear in at least one solution, significantly improving prospects for Kahler moduli stabilization across large ensembles of string compactifications. △ Less

Submitted 18 November, 2019; originally announced November 2019.

Comments: 12 pages, one figure

Journal ref: Phys. Rev. D 101, 046010 (2020)

Classifying Calabi-Yau threefolds using infinite distance limits

Authors: Thomas W. Grimm, Fabian Ruehle, Damian van de Heisteeg

Abstract: We present a novel way to classify Calabi-Yau threefolds by systematically studying their infinite volume limits. Each such limit is at infinite distance in Kahler moduli space and can be classified by an associated limiting mixed Hodge structure. We then argue that the such structures are labeled by a finite number of degeneration types that combine into a characteristic degeneration pattern asso… ▽ More We present a novel way to classify Calabi-Yau threefolds by systematically studying their infinite volume limits. Each such limit is at infinite distance in Kahler moduli space and can be classified by an associated limiting mixed Hodge structure. We then argue that the such structures are labeled by a finite number of degeneration types that combine into a characteristic degeneration pattern associated to the underlying Calabi-Yau threefold. These patterns provide a new invariant way to present crucial information encoded in the intersection numbers of Calabi-Yau threefolds. For each pattern, we also introduce a Hasse diagram with vertices representing each, possibly multi-parameter, decompactification limit and explain how to read off properties of the Calabi-Yau manifold from this graphical representation. In particular, we show how it can be used to count elliptic, K3, and nested fibrations and determine relations of elliptic fibrations under birational equivalence. We exemplify this for hypersurfaces in toric ambient spaces as well as for complete intersections in products of projective spaces. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 41 pages, 17 figures

Journal ref: Commun.Math.Phys. 382 (2021) 1, 239-275

Collective Dynamics in a Monolayer of Squirmers Confined to a Boundary by Gravity

Authors: Jan-Timm Kuhr, Felix Rühle, Holger Stark

Abstract: We present a hydrodynamic study of a monolayer of squirmer model microswimmers confined to a boundary by strong gravity using the simulation method of multi-particle collision dynamics. The squirmers interact with each other via their self-generated hydrodynamic flow fields and thereby form a variety of fascinating dynamic states when density and squirmer type are varied. Weak pushers, neutral squ… ▽ More We present a hydrodynamic study of a monolayer of squirmer model microswimmers confined to a boundary by strong gravity using the simulation method of multi-particle collision dynamics. The squirmers interact with each other via their self-generated hydrodynamic flow fields and thereby form a variety of fascinating dynamic states when density and squirmer type are varied. Weak pushers, neutral squirmers, and pullers have an upright orientation. With their flow fields they push neighbors away and thereby form a hydrodynamic Wigner fluid at lower densities. Furthermore, states of fluctuating chains and trimers, of kissing, and at large densities a global cluster exist. Finally, pushers at all densities can tilt against the wall normal and their in-plane velocities align to show swarming. It turns into chaotic swarming for strong pushers at high densities. We characterize all these states quantitatively. △ Less

Submitted 19 June, 2019; v1 submitted 1 May, 2019; originally announced May 2019.

Comments: 11 pages, 14 figures, supplemental material not included

Journal ref: Soft Matter 15, 5685 (2019)

Branes with Brains: Exploring String Vacua with Deep Reinforcement Learning

Authors: James Halverson, Brent Nelson, Fabian Ruehle

Abstract: We propose deep reinforcement learning as a model-free method for exploring the landscape of string vacua. As a concrete application, we utilize an artificial intelligence agent known as an asynchronous advantage actor-critic to explore type IIA compactifications with intersecting D6-branes. As different string background configurations are explored by changing D6-brane configurations, the agent r… ▽ More We propose deep reinforcement learning as a model-free method for exploring the landscape of string vacua. As a concrete application, we utilize an artificial intelligence agent known as an asynchronous advantage actor-critic to explore type IIA compactifications with intersecting D6-branes. As different string background configurations are explored by changing D6-brane configurations, the agent receives rewards and punishments related to string consistency conditions and proximity to Standard Model vacua. These are in turn utilized to update the agent's policy and value neural networks to improve its behavior. By reinforcement learning, the agent's performance in both tasks is significantly improved, and for some tasks it finds a factor of O(200) more solutions than a random walker. In one case, we demonstrate that the agent learns a human-derived strategy for finding consistent string models. In another case, where no human-derived strategy exists, the agent learns a genuinely new strategy that achieves the same goal twice as efficiently per unit time. Our results demonstrate that the agent learns to solve various string theory consistency conditions simultaneously, which are phrased in terms of non-linear, coupled Diophantine equations. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Comments: 57 pages, 10 figures

Computational Complexity of Vacua and Near-Vacua in Field and String Theory

Authors: James Halverson, Fabian Ruehle

Abstract: We demonstrate that the problems of finding stable or metastable vacua in a low energy effective field theory requires solving nested NP-hard and co-NP-hard problems, while the problem of finding near-vacua is in P. Multiple problems relevant for computing effective potential contributions from string theory are shown to be instances of NP-hard problems. If P $\neq$ NP, the hardness of finding str… ▽ More We demonstrate that the problems of finding stable or metastable vacua in a low energy effective field theory requires solving nested NP-hard and co-NP-hard problems, while the problem of finding near-vacua is in P. Multiple problems relevant for computing effective potential contributions from string theory are shown to be instances of NP-hard problems. If P $\neq$ NP, the hardness of finding string vacua is exponential in the number of scalar fields. Cosmological implications, including for rolling solutions, are discussed in light of a recently proposed measure. △ Less

Submitted 23 October, 2019; v1 submitted 21 September, 2018; originally announced September 2018.

Comments: 9 pages. PRD Version

Journal ref: Phys. Rev. D 99, 046015 (2019)

Calabi-Yau Manifolds and SU(3) Structure

Authors: Magdalena Larfors, Andre Lukas, Fabian Ruehle

Abstract: We show that non-trivial SU(3) structures can be constructed on large classes of Calabi-Yau three-folds. Specifically, we focus on Calabi-Yau three-folds constructed as complete intersections in products of projective spaces, although we expect similar methods to apply to other constructions and also to Calabi-Yau four-folds. Among the wide range of possible SU(3) structures we find Strominger-Hul… ▽ More We show that non-trivial SU(3) structures can be constructed on large classes of Calabi-Yau three-folds. Specifically, we focus on Calabi-Yau three-folds constructed as complete intersections in products of projective spaces, although we expect similar methods to apply to other constructions and also to Calabi-Yau four-folds. Among the wide range of possible SU(3) structures we find Strominger-Hull systems, suitable for heterotic or type II string compactifications, on all complete intersection Calabi-Yau manifolds. These SU(3) structures of Strominger-Hull type have a non-vanishing and non-closed three-form flux which needs to be supported by source terms in the associated Bianchi identity. We discuss the possibility of finding such source terms and present first steps towards their explicit construction. Provided suitable sources exist, our methods lead to Calabi-Yau compactifications of string theory with a non Ricci-flat, physical metric which can be written down explicitly and in analytic form. △ Less

Submitted 29 January, 2019; v1 submitted 22 May, 2018; originally announced May 2018.

Comments: minor corrections, references added, 27 pages, 3 tables

Dark Glueballs and their Ultralight Axions

Authors: James Halverson, Brent D. Nelson, Fabian Ruehle, Gustavo Salinas

Abstract: Dark gauge sectors and axions are well-motivated in string theory. We demonstrate that if a confining gauge sector gives rise to dark glueballs that are a fraction of the dark matter, and the associated axion has a decay constant near the string scale, then this axion is ultralight and naturally realizes the fuzzy dark matter scenario with a modest tuning of a temperature ratio. Astrophysical obse… ▽ More Dark gauge sectors and axions are well-motivated in string theory. We demonstrate that if a confining gauge sector gives rise to dark glueballs that are a fraction of the dark matter, and the associated axion has a decay constant near the string scale, then this axion is ultralight and naturally realizes the fuzzy dark matter scenario with a modest tuning of a temperature ratio. Astrophysical observations constrain the size of the glueball component relative to the axionic component, while electric dipole moments constrain mixing with the QCD axion. △ Less

Submitted 4 August, 2018; v1 submitted 15 May, 2018; originally announced May 2018.

Comments: 8 pages, 2 figures

Journal ref: Phys. Rev. D 98, 043502 (2018)

Global tensor-matter transitions in F-theory

Authors: Markus Dierigl, Paul-Konstantin Oehlmann, Fabian Ruehle

Abstract: We use F-theory to study gauge algebra preserving transitions of 6d supergravity theories that are connected by superconformal points. While the vector multiplets remain unchanged, the hyper- and tensor multiplet sectors are modified. In 6d F-theory models, these transitions are realized by tuning the intersection points of two curves, one of them carrying a non-Abelian gauge algebra, to a (4,6,12… ▽ More We use F-theory to study gauge algebra preserving transitions of 6d supergravity theories that are connected by superconformal points. While the vector multiplets remain unchanged, the hyper- and tensor multiplet sectors are modified. In 6d F-theory models, these transitions are realized by tuning the intersection points of two curves, one of them carrying a non-Abelian gauge algebra, to a (4,6,12) singularity, followed by a resolution in the base. The six-dimensional supergravity anomaly constraints are strong enough to completely fix the possible non-Abelian representations and to restrict the Abelian charges in the hypermultiplet sector affected by the transition, as we demonstrate for all Lie algebras and their representations. Furthermore, we present several examples of such transitions in torically resolved fibrations. In these smooth models, superconformal points lead to non-flat fibers which correspond to non-toric Kähler deformations of the torus-fibered Calabi-Yau 3-fold geometry. △ Less

Submitted 20 July, 2018; v1 submitted 19 April, 2018; originally announced April 2018.

Comments: 68 pages, 10 figures, 5 tables, typos corrected, additional references, published version

NS5-Branes and Line Bundles in Heterotic/F-Theory Duality

Authors: Andreas P. Braun, Callum R. Brodie, Andre Lukas, Fabian Ruehle

Abstract: We study F-theory duals of heterotic line bundle models on elliptically fibered Calabi-Yau threefolds. These models necessarily contain NS5-branes which are geometrised in the dual F-theory compactifications. We initiate a systematic study of the correspondence between various configurations of NS5-branes and the dual geometries in F-theory and perform several checks of the duality. Furthermore, w… ▽ More We study F-theory duals of heterotic line bundle models on elliptically fibered Calabi-Yau threefolds. These models necessarily contain NS5-branes which are geometrised in the dual F-theory compactifications. We initiate a systematic study of the correspondence between various configurations of NS5-branes and the dual geometries in F-theory and perform several checks of the duality. Furthermore, we discuss the singular transitions between different configurations of NS5-branes. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 51 pages, 16 figures

Journal ref: Phys. Rev. D 98, 126004 (2018)

A flowing pair of particles in inertial microfluidics

Authors: Christian Schaaf, Felix Rühle, Holger Stark

Abstract: A flowing pair of particles in inertial microfluidics gives important insights into understanding and controlling the collective dynamics of particles like cells or droplets in microfluidic devices. They are applied in medical cell analysis and engineering. We study the dynamics of a pair of solid particles flowing through a rectangular microchannel using lattice Boltzmann simulations. We determin… ▽ More A flowing pair of particles in inertial microfluidics gives important insights into understanding and controlling the collective dynamics of particles like cells or droplets in microfluidic devices. They are applied in medical cell analysis and engineering. We study the dynamics of a pair of solid particles flowing through a rectangular microchannel using lattice Boltzmann simulations. We determine the inertial lift force profiles as a function of the two particle positions, their axial distance, and the Reynolds number. Generally, the profiles strongly differ between particles leading and lagging in flow and the lift forces are enhanced due to the presence of a second particle. At small axial distances, they are determined by viscous forces, while inertial forces dominate at large separations. Depending on the initial conditions, the two-particle lift forces in combination with the Poiseuille flow give rise to three types of unbound particle trajectories, called moving-apart, passing, and swapping, and one type of bound trajectories, where the particles perform damped oscillations. The damping rate scales with Reynolds number squared, since inertial forces are responsible for driving the particles to their steady-state positions. △ Less

Submitted 24 May, 2018; v1 submitted 3 November, 2017; originally announced November 2017.

The Toric SO(10) F-Theory Landscape

Authors: Wilfried Buchmuller, Markus Dierigl, Paul-Konstantin Oehlmann, Fabian Ruehle

Abstract: Supergravity theories in more than four dimensions with grand unified gauge symmetries are an important intermediate step towards the ultraviolet completion of the Standard Model in string theory. Using toric geometry, we classify and analyze six-dimensional F-theory vacua with gauge group SO(10) taking into account Mordell-Weil U(1) and discrete gauge factors. We determine the full matter spectru… ▽ More Supergravity theories in more than four dimensions with grand unified gauge symmetries are an important intermediate step towards the ultraviolet completion of the Standard Model in string theory. Using toric geometry, we classify and analyze six-dimensional F-theory vacua with gauge group SO(10) taking into account Mordell-Weil U(1) and discrete gauge factors. We determine the full matter spectrum of these models, including charged and neutral SO(10) singlets. Based solely on the geometry, we compute all matter multiplicities and confirm the cancellation of gauge and gravitational anomalies independent of the base space. Particular emphasis is put on symmetry enhancements at the loci of matter fields and to the frequent appearance of superconformal points. They are linked to non-toric Kähler deformations which contribute to the counting of degrees of freedom. We compute the anomaly coefficients for these theories as well by using a base-independent blow-up procedure and superconformal matter transitions. Finally, we identify six-dimensional supergravity models which can yield the Standard Model with high-scale supersymmetry by further compactification to four dimensions in an Abelian flux background. △ Less

Submitted 14 July, 2018; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 64 pages, 40 pages appendices, 18 figures, 6 Tables, references added, published version

Gravity-induced dynamics of a squirmer microswimmer in wall proximity

Authors: Felix Rühle, Johannes Blaschke, Jan-Timm Kuhr, Holger Stark

Abstract: We perform hydrodynamic simulations using the method of multi-particle collision dynamics and a theoretical analysis to study a single squirmer microswimmer at high Péclet number, which moves in a low Reynolds number fluid and under gravity. The relevant parameters are the ratio $α$ of swimming to bulk sedimentation velocity and the squirmer type $β$. The combination of self-propulsion, gravitatio… ▽ More We perform hydrodynamic simulations using the method of multi-particle collision dynamics and a theoretical analysis to study a single squirmer microswimmer at high Péclet number, which moves in a low Reynolds number fluid and under gravity. The relevant parameters are the ratio $α$ of swimming to bulk sedimentation velocity and the squirmer type $β$. The combination of self-propulsion, gravitational force, hydrodynamic interactions with the wall, and thermal noise leads to a surprisingly diverse behavior. At $α> 1$ we observe cruising states, while for $α<1$ the squirmer resides close to the bottom wall with the motional state determined by stable fixed points in height and orientation. They strongly depend on the squirmer type $β$. While neutral squirmers permanently float above the wall with upright orientation, pullers float for $α$ larger than a threshold value $α_{\mathrm{th}}$ and are pinned to the wall below $α_{\mathrm{th}}$. In contrast, pushers slide along the wall at lower heights, from which thermal orientational fluctuations drive them into a recurrent floating state with upright orientation, where they remain on the timescale of orientational persistence. △ Less

Submitted 23 November, 2017; v1 submitted 22 August, 2017; originally announced August 2017.

Heterotic Instanton Superpotentials from Complete Intersection Calabi-Yau Manifolds

Authors: Evgeny Buchbinder, Andre Lukas, Burt Ovrut, Fabian Ruehle

Abstract: We study Pfaffians that appear in non-perturbative superpotential terms arising from worldsheet instantons in heterotic theories. A result by Beasley and Witten shows that these instanton contributions cancel among curves within a given homology class for Calabi-Yau manifolds that can be described as hypersurfaces or complete intersections in projective or toric ambient spaces. We provide a prescr… ▽ More We study Pfaffians that appear in non-perturbative superpotential terms arising from worldsheet instantons in heterotic theories. A result by Beasley and Witten shows that these instanton contributions cancel among curves within a given homology class for Calabi-Yau manifolds that can be described as hypersurfaces or complete intersections in projective or toric ambient spaces. We provide a prescription that identifies all $\mathbb{P}^1$ curves in certain homology classes of complete intersection Calabi-Yau manifolds in products of projective spaces (CICYs) and cross-check our results by a comparison with the genus zero Gromov-Witten invariants. We then use this construction to study instanton superpotentials on those manifolds and their quotients. We identify a non-toric quotient of a non-favorable CICY with a single genus zero curve in a certain homology class, so that a cancellation à la Beasley-Witten is not possible. In another example, we study a non-toric quotient of a favorable CICY and check that the superpotential still vanishes. From this and related examples, we conjecture that the Beasley-Witten cancellation result can be extended to toric and non-toric quotients of CICYs, but can be avoided if the CICY is non-favorable. △ Less

Submitted 22 July, 2017; originally announced July 2017.

Comments: 25 pages, 3 figures