-
4th Body-Induced Secondary Resonance Overlap** Inside Unstable Resonant Orbit Families: a Jupiter-Ganymede 4:3 + Europa Case Study
Authors:
Bhanu Kumar,
Rodney L. Anderson,
Rafael de la Llave
Abstract:
The overlap** of mean-motion resonances is useful for low or zero-propellant space mission design, but while most related prior work uses a planar CRTBP model, tours of multi-moon systems require using resonances affected by two moons. In this case study, we investigate Jupiter-Ganymede unstable 4:3 resonant orbits in a concentric circular restricted 4-body Jupiter-Europa-Ganymede model. We show…
▽ More
The overlap** of mean-motion resonances is useful for low or zero-propellant space mission design, but while most related prior work uses a planar CRTBP model, tours of multi-moon systems require using resonances affected by two moons. In this case study, we investigate Jupiter-Ganymede unstable 4:3 resonant orbits in a concentric circular restricted 4-body Jupiter-Europa-Ganymede model. We show that despite their high order, secondary resonances between the 4:3 orbits and Europa have a large effect, including 11/34, 12/37, 23/71, and 25/77. Computing newly generated objects inside the secondary resonances definitively confirms their overlap, which causes a complete structural change of the higher-energy unstable 4:3 orbits whose manifolds are most useful for low-TOF orbit transfers. We believe this phenomenon is general, with major implications for resonant orbit use in tour design.
△ Less
Submitted 16 September, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Isolating Neighborhood Trajectory Computations in Non-Autonomous Systems Including the Elliptic Restricted Three-Body Problem
Authors:
Rodney L. Anderson,
Robert W. Easton,
Martin W. Lo
Abstract:
Isolating block and isolating neighborhood methods have previously been implemented to find transit trajectories and orbits around libration points in the autonomous circular restricted three-body problem. For some applications, the direct computation of these types of trajectories in non-autonomous models more closely approximating real-world ephemerides is beneficial. Here, we apply isolating ne…
▽ More
Isolating block and isolating neighborhood methods have previously been implemented to find transit trajectories and orbits around libration points in the autonomous circular restricted three-body problem. For some applications, the direct computation of these types of trajectories in non-autonomous models more closely approximating real-world ephemerides is beneficial. Here, we apply isolating neighborhood methods to non-autonomous systems, including the elliptic restricted three-body problem (ERTBP). Specifically, simplified isolating neighborhood boundaries are computed around libration points in the ERTBP. These boundaries are used in combination with a bisection method to compute the forward asymptotic trajectories of the isolated invariant set and track orbits around a libration point.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
On Gelfand and MacPherson's combinatorial formula for Pontrjagin classes
Authors:
Olakunle Abawonse,
Laura Anderson
Abstract:
In 1992 Gelfand and MacPherson gave a local and combinatorial formula for the Pontrjagin classes of a differential manifold. We give an expanded version of their discussion and highlight the origins of combinatorial differential manifolds in their work.
In 1992 Gelfand and MacPherson gave a local and combinatorial formula for the Pontrjagin classes of a differential manifold. We give an expanded version of their discussion and highlight the origins of combinatorial differential manifolds in their work.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Controlling transient gas flow in real-world pipeline intersection areas
Authors:
Felix Hennings,
Lovis Anderson,
Kai Hoppmann-Baum,
Mark Turner,
Thorsten Koch
Abstract:
Compressor stations are the heart of every high-pressure gas transport network. Located at intersection areas of the network they are contained in huge complex plants, where they are in combination with valves and regulators responsible for routing and pushing the gas through the network. Due to their complexity and lack of data compressor stations are usually dealt with in the scientific literatu…
▽ More
Compressor stations are the heart of every high-pressure gas transport network. Located at intersection areas of the network they are contained in huge complex plants, where they are in combination with valves and regulators responsible for routing and pushing the gas through the network. Due to their complexity and lack of data compressor stations are usually dealt with in the scientific literature in a highly simplified and idealized manner. As part of an ongoing project with one of Germany's largest Transmission System Operators to develop a decision support system for their dispatching center, we investigated how to automatize control of compressor stations. Each station has to be in a particular configuration, leading in combination with the other nearby elements to a discrete set of up to 2000 possible feasible operation modes in the intersection area. Since the desired performance of the station changes over time, the configuration of the station has to adapt. Our goal is to minimize the necessary changes in the overall operation modes and related elements over time, while fulfilling a preset performance envelope or demand scenario. This article describes the chosen model and the implemented mixed integer programming based algorithms to tackle this challenge. By presenting extensive computational results on real world data we demonstrate the performance of our approach.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Matroids of Gain Signed Graphs
Authors:
Laura Anderson,
Ting Su,
Thomas Zaslavsky
Abstract:
A signed graph has edge signs. A gain graph has oriented edge gains drawn from a group. We define the combination of the two for the abelian case, in which each oriented edge of a signed graph has a gain from an abelian group, concentrating on the case of the additive group of a field. We develop the elementary graph properties, the associated matroid, and the vector and hyperplanar representation…
▽ More
A signed graph has edge signs. A gain graph has oriented edge gains drawn from a group. We define the combination of the two for the abelian case, in which each oriented edge of a signed graph has a gain from an abelian group, concentrating on the case of the additive group of a field. We develop the elementary graph properties, the associated matroid, and the vector and hyperplanar representations.
△ Less
Submitted 19 June, 2022; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Designing for Robustness in Electric Grids via a General Effective Resistance Measure
Authors:
Shriya V. Nagpal,
Gokul G. Nair,
Francesca Parise,
C. Lindsay Anderson
Abstract:
We propose a mathematical framework for designing robust networks of coupled phase-oscillators by leveraging a vulnerability measure proposed by Tyloo et. al that quantifies how much a small perturbation to a phase-oscillator's natural frequency impacts the system's global synchronized frequencies. Given a fixed complex network topology with specific governing dynamics, the proposed framework find…
▽ More
We propose a mathematical framework for designing robust networks of coupled phase-oscillators by leveraging a vulnerability measure proposed by Tyloo et. al that quantifies how much a small perturbation to a phase-oscillator's natural frequency impacts the system's global synchronized frequencies. Given a fixed complex network topology with specific governing dynamics, the proposed framework finds an optimal allocation of edge weights that minimizes such vulnerability measure(s) at the node(s) for which we expect perturbations to occur by solving a tractable semidefinite programming problem. We specify the mathematical model to high voltage electric grids where each node corresponds to a voltage phase angle associated with a bus and edges correspond to transmission lines. Edge weights are determined by the susceptance values along the transmission lines. In this application, frequency synchronization is increasingly challenged by the integration of renewable energy, yet is imperative to the grid's health and functionality. Our framework helps to alleviate this challenge by optimizing the placement of renewable generation and the susceptance values along the transmission lines.
△ Less
Submitted 10 August, 2023; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Minimizing the Epidemic Final Size while Containing the Infected Peak Prevalence in SIR Systems
Authors:
J. Sereno,
A. L. Anderson,
A. Ferramosca,
E. A. Hernandez-Vargas,
A. H. Gonzalez
Abstract:
Mathematical models are instrumental to forecast the spread of pathogens and to evaluate the effectiveness of non-pharmaceutical measures. A plethora of optimal strategies has been recently developed to minimize either the infected peak prevalence (IPP) or the epidemic final size (EFS). While most of the control strategies optimize a simple cost function along a fixed finite-time horizon, no conse…
▽ More
Mathematical models are instrumental to forecast the spread of pathogens and to evaluate the effectiveness of non-pharmaceutical measures. A plethora of optimal strategies has been recently developed to minimize either the infected peak prevalence (IPP) or the epidemic final size (EFS). While most of the control strategies optimize a simple cost function along a fixed finite-time horizon, no consensus has been reached about how to simultaneously handle the IPP, the EFS, and the avoiding of new cycles of infections rebounding. In this work, based on the characterization of the dynamical behaviour of SIR-type models under control actions (including the stability of equilibrium sets, in terms of the herd immunity), it is studied how to minimize the EFS while kee** - at any time - the IPP controlled. A procedure is proposed to tailor non-pharmaceutical interventions by separating transient from stationary control objectives and the potential benefits of the strategy are illustrated by a detailed analysis and simulation results related to the COVID-19 pandemic.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
The last chapter of the Disquisitiones of Gauss
Authors:
Laura Anderson,
Jasbir S. Chahal,
Jaap Top
Abstract:
This exposition reviews what exactly Gauss asserted and what did he prove in the last chapter of {\sl Disquisitiones Arithmeticae} about dividing the circle into a given number of equal parts. In other words, what did Gauss claim and actually prove concerning the roots of unity and the construction of a regular polygon with a given number of sides. Some history of Gauss's solution is briefly recal…
▽ More
This exposition reviews what exactly Gauss asserted and what did he prove in the last chapter of {\sl Disquisitiones Arithmeticae} about dividing the circle into a given number of equal parts. In other words, what did Gauss claim and actually prove concerning the roots of unity and the construction of a regular polygon with a given number of sides. Some history of Gauss's solution is briefly recalled, and in particular many relevant classical references are provided which we believe deserve to be better known.
△ Less
Submitted 22 November, 2021; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Computation and Analysis of Jupiter-Europa and Jupiter-Ganymede Resonant Orbits in the Planar Concentric Circular Restricted 4-Body Problem
Authors:
Bhanu Kumar,
Rodney L. Anderson,
Rafael de la Llave,
Brian Gunter
Abstract:
Many unstable periodic orbits of the planar circular restricted 3-body problem (PCRTBP) persist as invariant tori when a periodic forcing is added to the equations of motion. In this study, we compute tori corresponding to exterior Jupiter-Europa and interior Jupiter-Ganymede PCRTBP resonant periodic orbits in a concentric circular restricted 4-body problem (CCR4BP). Motivated by the 2:1 Laplace r…
▽ More
Many unstable periodic orbits of the planar circular restricted 3-body problem (PCRTBP) persist as invariant tori when a periodic forcing is added to the equations of motion. In this study, we compute tori corresponding to exterior Jupiter-Europa and interior Jupiter-Ganymede PCRTBP resonant periodic orbits in a concentric circular restricted 4-body problem (CCR4BP). Motivated by the 2:1 Laplace resonance between Europa and Ganymede's orbits, we then attempt the continuation of a Jupiter-Europa 3:4 resonant orbit from the CCR4BP into the Jupiter-Ganymede PCRTBP. We strongly believe that the resulting dynamical object is a KAM torus lying near but not on the 3:2 Jupiter-Ganymede resonance.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Rapid GPU-Assisted Search and Parameterization-Based Refinement and Continuation of Connections between Tori in Periodically Perturbed Planar Circular Restricted 3-Body Problems
Authors:
Bhanu Kumar,
Rodney L. Anderson,
Rafael de la Llave
Abstract:
When the planar circular restricted 3-body problem (PCRTBP) is periodically perturbed, as occurs in many useful astrodynamics models, most unstable periodic orbits persist as whiskered tori. Intersections between stable and unstable manifolds of such tori provide natural heteroclinic pathways enabling spacecraft to greatly modify their orbits without using propellant. However, the 2D Poincaré sect…
▽ More
When the planar circular restricted 3-body problem (PCRTBP) is periodically perturbed, as occurs in many useful astrodynamics models, most unstable periodic orbits persist as whiskered tori. Intersections between stable and unstable manifolds of such tori provide natural heteroclinic pathways enabling spacecraft to greatly modify their orbits without using propellant. However, the 2D Poincaré sections used in PCRTBP studies no longer work to find these intersections. Thus, in this study, we develop new fast methods to search for and compute such heteroclinics. First, the dynamics are used to restrict the intersection search to only certain manifold subsets, greatly reducing the required computational effort. Next, we present a massively parallel procedure for carrying out this search by representing the manifolds as discrete meshes and adapting methods from computer graphics collision detection algorithms. Implementing the method in Julia and OpenCL, we obtain a 5-7x speedup by leveraging GPUs versus CPU-only execution. Finally, we show how to use manifold parameterizations to refine the approximate intersections found in the mesh search to very high accuracy, as well as to numerically continue the connections through families of tori; the families' Whitney differentiability enables interpolation of needed parameterizations. The ability to very rapidly find a heteroclinic intersection between tori of fixed frequencies thus allows the systematic exploration of intersections for tori of nearby frequencies as well, yielding a variety of potential zero-fuel spacecraft trajectories. We demonstrate the tools on the Jupiter-Europa planar elliptic RTBP.
△ Less
Submitted 17 October, 2023; v1 submitted 29 September, 2021;
originally announced September 2021.
-
High-Order Resonant Orbit Manifold Expansions For Mission Design In the Planar Circular Restricted 3-Body Problem
Authors:
Bhanu Kumar,
Rodney L. Anderson,
Rafael de la Llave
Abstract:
In recent years, stable and unstable manifolds of invariant objects (such as libration points and periodic orbits) have been increasingly recognized as an efficient tool for designing transfer trajectories in space missions. However, most methods currently used in mission design rely on using eigenvectors of the linearized dynamics as local approximations of the manifolds. Since such approximation…
▽ More
In recent years, stable and unstable manifolds of invariant objects (such as libration points and periodic orbits) have been increasingly recognized as an efficient tool for designing transfer trajectories in space missions. However, most methods currently used in mission design rely on using eigenvectors of the linearized dynamics as local approximations of the manifolds. Since such approximations are not accurate except very close to the base invariant object, this requires large amounts of numerical integration to globalize the manifolds and locate intersections. In this paper, we study hyperbolic resonant periodic orbits in the planar circular restricted 3-body problem, and transfer trajectories between them, by: 1) determining where to search for resonant periodic orbits; 2) develo** and implementing a parameterization method for accurate computation of their invariant manifolds as Taylor series; and 3) develo** a procedure to compute intersections of the computed stable and unstable manifolds. We develop and implement algorithms that accomplish these three goals, and demonstrate their application to the problem of transferring between resonances in the Jupiter-Europa system.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Rapid and Accurate Methods for Computing Whiskered Tori and their Manifolds in Periodically Perturbed Planar Circular Restricted 3-Body Problems
Authors:
Bhanu Kumar,
Rodney L. Anderson,
Rafael de la Llave
Abstract:
When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a quasi-Newton method which simultaneously solves for the tori and their center, stable, and unstable directions; 2) implement continuation by both perturbation as we…
▽ More
When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a quasi-Newton method which simultaneously solves for the tori and their center, stable, and unstable directions; 2) implement continuation by both perturbation as well as rotation numbers; 3) compute Fourier-Taylor parameterizations of the stable and unstable manifolds; 4) regularize the equations of motion; and 5) globalize these manifolds. Our methodology improves on efficiency and accuracy compared to prior studies, and applies to a variety of periodic perturbations. We demonstrate the tools near resonances in the planar elliptic RTBP.
△ Less
Submitted 4 October, 2021; v1 submitted 24 May, 2021;
originally announced May 2021.
-
Dynamic characterization of control SIR-type systems and optimal single-interval control
Authors:
A. H. González,
A. L. Anderson,
A. Ferramosca,
E. A. Hernandez-Vargas
Abstract:
Although modeling studies are focused on the control of SIR-based systems describing epidemic data sets (particularly the COVID-19), few of them present a formal dynamic characterization in terms of equilibrium sets and stability. Such concepts can be crucial to understand not only how the virus spreads in a population, but also how to tailor government interventions such as social distancing, iso…
▽ More
Although modeling studies are focused on the control of SIR-based systems describing epidemic data sets (particularly the COVID-19), few of them present a formal dynamic characterization in terms of equilibrium sets and stability. Such concepts can be crucial to understand not only how the virus spreads in a population, but also how to tailor government interventions such as social distancing, isolation measures, etc. The objective of this work is to provide a full dynamic characterization of SIR-type systems under single-interval control actions and, based on it, to find the control action that produces the smallest number of infected individuals at the end of the epidemic that avoids second wave outbreaks. %Because of its simplicity, the latter result is intended to be just a reference/baseline for more complex control strategies related to general nonpharmaceutical measure (\textit{i.e}., those accounting for the health system capacity, the number of deaths, etc.). Simulations illustrate the benefits of the aforementioned results in terms of the herd immunity threshold.
△ Less
Submitted 2 June, 2021; v1 submitted 20 March, 2021;
originally announced March 2021.
-
Generative deep learning for decision making in gas networks
Authors:
Lovis Anderson,
Mark Turner,
Thorsten Koch
Abstract:
A decision support system relies on frequent re-solving of similar problem instances. While the general structure remains the same in corresponding applications, the input parameters are updated on a regular basis. We propose a generative neural network design for learning integer decision variables of mixed-integer linear programming (MILP) formulations of these problems. We utilise a deep neural…
▽ More
A decision support system relies on frequent re-solving of similar problem instances. While the general structure remains the same in corresponding applications, the input parameters are updated on a regular basis. We propose a generative neural network design for learning integer decision variables of mixed-integer linear programming (MILP) formulations of these problems. We utilise a deep neural network discriminator and a MILP solver as our oracle to train our generative neural network. In this article, we present the results of our design applied to the transient gas optimisation problem. With the trained network we produce a feasible solution in 2.5s, use it as a warm-start solution, and thereby decrease global optimal solution solve time by 60.5%.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
On stability of nonzero set-point for non linear impulsive control systems
Authors:
A. D'Jorge,
A. L. Anderson,
A. Ferramosca,
A. H. González,
M. Actis
Abstract:
The interest in non-linear impulsive systems (NIS) has been growing due to its impact in application problems such as disease treatments (diabetes, HIV, influenza, among many others), where the control action (drug administration) is given by short-duration pulses followed by time periods of null values. Within this framework the concept of equilibrium needs to be extended (redefined) to allows th…
▽ More
The interest in non-linear impulsive systems (NIS) has been growing due to its impact in application problems such as disease treatments (diabetes, HIV, influenza, among many others), where the control action (drug administration) is given by short-duration pulses followed by time periods of null values. Within this framework the concept of equilibrium needs to be extended (redefined) to allows the system to keep orbiting (between two consecutive pulses) in some state space regions out of the origin, according to usual objectives of most real applications. Although such regions can be characterized by means of a discrete-time system obtained by sampling the NIS at the impulsive times, no agreements have reached about their asymptotic stability (AS). This paper studies the asymptotic stability of control equilibrium orbits for NSI, based on the underlying discrete time system, in order to establish the conditions under which the AS for the latter leads to the AS for the former. Furthermore, based on the latter AS characterization, an impulsive Model Predictive Control (i-MPC) that feasibly stabilizes the non-linear impulsive system is presented. Finally, the proposed stable MPC is applied to two control problems of interest: the intravenous bolus administration of Lithium and the administration of antiretrovirals for HIV treatments.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
Linear-time Interval Algorithm For Time-varying Power Flow
Authors:
Zongjie Wang,
C. Lindsay Anderson
Abstract:
Balanced steady operation state in power networks changes over time. Traditional power flow algorithm is focused on the steady operation state under a certain time point and calculates the corresponding voltage and power distributions for given nodal power injections and network topology. A linear-time interval algorithm for time-varying power flow is first proposed in this paper, which is focused…
▽ More
Balanced steady operation state in power networks changes over time. Traditional power flow algorithm is focused on the steady operation state under a certain time point and calculates the corresponding voltage and power distributions for given nodal power injections and network topology. A linear-time interval algorithm for time-varying power flow is first proposed in this paper, which is focused on the balanced operation state under a time interval and computes the voltage and power distributions at any time point via a time-varying function, through which the power flow time-varying process is well represented in steady-date power networks. In this paper, a linear-time interval regarding nodal power injections is defined, in which the norms of nodal voltage derivatives and Jacobian matrix are analyzed, a combined time-varying nodal voltage function is proposed, and a linear-time interval algorithm for time-varying power flow with high accuracy is finally achieved, which is leveraged for simplifying the complexity of solving non-linear dynamic time-varying problems. Simulation case studies on IEEE 5-bus and modified 118-bus systems have demonstrated the effectiveness and efficiency of the proposed algorithm.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Extending the Geometry of Heterotic Spectral Cover Constructions
Authors:
Lara B. Anderson,
Xin Gao,
Mohsen Karkheiran
Abstract:
In this work we extend the well-known spectral cover construction first developed by Friedman, Morgan, and Witten to describe more general vector bundles on elliptically fibered Calabi-Yau geometries. In particular, we consider the case in which the Calabi-Yau fibration is not in Weierstrass form, but can rather contain fibral divisors or multiple sections (i.e. a higher rank Mordell-Weil group).…
▽ More
In this work we extend the well-known spectral cover construction first developed by Friedman, Morgan, and Witten to describe more general vector bundles on elliptically fibered Calabi-Yau geometries. In particular, we consider the case in which the Calabi-Yau fibration is not in Weierstrass form, but can rather contain fibral divisors or multiple sections (i.e. a higher rank Mordell-Weil group). In these cases, general vector bundles defined over such Calabi-Yau manifolds cannot be described by ordinary spectral data. To accomplish this we employ well established tools from the mathematics literature of Fourier-Mukai functors. We also generalize existing tools for explicitly computing Fourier-Mukai transforms of stable bundles on elliptic Calabi-Yau manifolds. As an example of these new tools we produce novel examples of chirality changing small instanton transitions. The goal of this work is to provide a geometric formalism that can substantially increase the understood regimes of heterotic/F-theory duality.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
Simulation case studies on period optimal power flow
Authors:
Zongjie Wang,
Ge Guo,
C. Lindsay Anderson
Abstract:
Traditional optimal power flow (OPF) describes the system performance only in a single snapshot while the resulting decisions are applied to an entire time period. Therefore, how well the selected snapshot can represent the entire time period is crucial for the effectiveness of OPF. In this paper, period OPF is proposed with a given time period that partitioned into consecutive linear time interva…
▽ More
Traditional optimal power flow (OPF) describes the system performance only in a single snapshot while the resulting decisions are applied to an entire time period. Therefore, how well the selected snapshot can represent the entire time period is crucial for the effectiveness of OPF. In this paper, period OPF is proposed with a given time period that partitioned into consecutive linear time intervals, in which bus voltages and branch powers are linear map**s of time. The optimality and operational limits in each time interval are precisely represented by its median and two end snapshots, through which the system performance of OPF model is significantly improved. Simulation case studies on a modified IEEE 118-bus system have demonstrated the simplicity and effectiveness of the proposed model.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Singular Geometry and Higgs Bundles in String Theory
Authors:
Lara B. Anderson,
Laura Fredrickson,
Mboyo Esole,
Laura P. Schaposnik
Abstract:
This brief survey aims to set the stage and summarize some of the ideas under discussion at the Workshop on Singular Geometry and Higgs Bundles in String Theory, to be held at the American Institute of Mathematics from October 30th to November 3rd, 2017. One of the most interesting aspects of the duality revolution in string theory is the understanding that gauge fields and matter representations…
▽ More
This brief survey aims to set the stage and summarize some of the ideas under discussion at the Workshop on Singular Geometry and Higgs Bundles in String Theory, to be held at the American Institute of Mathematics from October 30th to November 3rd, 2017. One of the most interesting aspects of the duality revolution in string theory is the understanding that gauge fields and matter representations can be described by intersection of branes. Since gauge theory is at the heart of our description of physical interactions, it has opened the door to the geometric engineering of many physical systems, and in particular those involving Higgs bundles. This note presents a curated overview of some current advances and open problems in the area, with no intention of being a complete review of the whole subject.
△ Less
Submitted 17 April, 2018; v1 submitted 23 October, 2017;
originally announced October 2017.
-
Hyperfield Grassmannians
Authors:
James F. Davis,
Laura Anderson
Abstract:
In a recent paper Baker and Bowler introduced matroids over hyperfields, offering a common generalization of matroids, oriented matroids, and linear subspaces of based vector spaces. This paper introduces the notion of a topological hyperfield and explores the generalization of Grassmannians and realization spaces to this context, particularly in relating the (hyper)fields R and C to hyperfields a…
▽ More
In a recent paper Baker and Bowler introduced matroids over hyperfields, offering a common generalization of matroids, oriented matroids, and linear subspaces of based vector spaces. This paper introduces the notion of a topological hyperfield and explores the generalization of Grassmannians and realization spaces to this context, particularly in relating the (hyper)fields R and C to hyperfields arising in matroid theory and in tropical geometry.
△ Less
Submitted 3 November, 2018; v1 submitted 29 September, 2017;
originally announced October 2017.
-
T-Branes at the Limits of Geometry
Authors:
Lara B. Anderson,
Jonathan J. Heckman,
Sheldon Katz,
Laura P. Schaposnik
Abstract:
Singular limits of 6D F-theory compactifications are often captured by T-branes, namely a non-abelian configuration of intersecting 7-branes with a nilpotent matrix of normal deformations. The long distance approximation of such 7-branes is a Hitchin-like system in which simple and irregular poles emerge at marked points of the geometry. When multiple matter fields localize at the same point in th…
▽ More
Singular limits of 6D F-theory compactifications are often captured by T-branes, namely a non-abelian configuration of intersecting 7-branes with a nilpotent matrix of normal deformations. The long distance approximation of such 7-branes is a Hitchin-like system in which simple and irregular poles emerge at marked points of the geometry. When multiple matter fields localize at the same point in the geometry, the associated Higgs field can exhibit irregular behavior, namely poles of order greater than one. This provides a geometric mechanism to engineer wild Higgs bundles. Physical constraints such as anomaly cancellation and consistent coupling to gravity also limit the order of such poles. Using this geometric formulation, we unify seemingly different wild Hitchin systems in a single framework in which orders of poles become adjustable parameters dictated by tuning gauge singlet moduli of the F-theory model.
△ Less
Submitted 25 September, 2017; v1 submitted 20 February, 2017;
originally announced February 2017.
-
Vectors of matroids over tracts
Authors:
Laura Anderson
Abstract:
We enrich Baker and Bowler's theory of matroids over tracts with notions of vectors and covectors. In the case of oriented matroids, these $F$-vectors and $F$-covectors coincide with the usual signed vectors and signed covectors. In the case of matroids over a field $F$, the $F$-covector set resp. $F$-vector set of an $F$-matroid is a linear subspace of $F^E$ resp. its orthogonal complement.
We enrich Baker and Bowler's theory of matroids over tracts with notions of vectors and covectors. In the case of oriented matroids, these $F$-vectors and $F$-covectors coincide with the usual signed vectors and signed covectors. In the case of matroids over a field $F$, the $F$-covector set resp. $F$-vector set of an $F$-matroid is a linear subspace of $F^E$ resp. its orthogonal complement.
△ Less
Submitted 23 July, 2018; v1 submitted 17 July, 2016;
originally announced July 2016.
-
Integrating Storage to Power System Management
Authors:
Luckny Zéphyr,
C. Lindsay Anderson
Abstract:
Wind integration in power grids is very difficult, essentially because of the uncertain nature of wind speed. Forecasting errors on output from wind turbines may have costly consequences. For instance, power might be bought at highest price to meet the load. On the other hand, in case of surplus, power may be wasted. Energy storage facility may provide some recourse against the uncertainty on wind…
▽ More
Wind integration in power grids is very difficult, essentially because of the uncertain nature of wind speed. Forecasting errors on output from wind turbines may have costly consequences. For instance, power might be bought at highest price to meet the load. On the other hand, in case of surplus, power may be wasted. Energy storage facility may provide some recourse against the uncertainty on wind generation. Because of the sequential nature of power scheduling problems, stochastic dynamic programming is often used as solution method. However, this scheme is limited to very small networks by the so-called curse of dimensionality. To face such limitations, several approximate approaches have been proposed. We analyze the management of a network composed of conventional power units as well as wind turbines through approximate dynamic programming. We consider a general power network model with ram** constraints on the conventional generators. We use generalized linear programming techniques to linearize the problems. We test the algorithm on several networks of different sizes and report results about the computation time. We also carry out comparisons with classical dynamic programming on a small network. The results show the algorithm seems to offer a fair trade-off between solution time and accuracy.
△ Less
Submitted 27 April, 2016;
originally announced April 2016.
-
A New Construction of Calabi-Yau Manifolds: Generalized CICYs
Authors:
Lara B. Anderson,
Fabio Apruzzi,
Xin Gao,
James Gray,
Seung-Joo Lee
Abstract:
We present a generalization of the complete intersection in products of projective space (CICY) construction of Calabi-Yau manifolds. CICY three-folds and four-folds have been studied extensively in the physics literature. Their utility stems from the fact that they can be simply described in terms of a `configuration matrix', a matrix of integers from which many of the details of the geometries c…
▽ More
We present a generalization of the complete intersection in products of projective space (CICY) construction of Calabi-Yau manifolds. CICY three-folds and four-folds have been studied extensively in the physics literature. Their utility stems from the fact that they can be simply described in terms of a `configuration matrix', a matrix of integers from which many of the details of the geometries can be easily extracted. The generalization we present is to allow negative integers in the configuration matrices which were previously taken to have positive semi-definite entries. This broadening of the complete intersection construction leads to a larger class of Calabi-Yau manifolds than that considered in previous work, which nevertheless enjoys much of the same degree of calculational control. These new Calabi-Yau manifolds are complete intersections in (not necessarily Fano) ambient spaces with an effective anticanonical class. We find examples with topology distinct from any that has appeared in the literature to date. The new manifolds thus obtained have many interesting features. For example, they can have smaller Hodge numbers than ordinary CICYs and lead to many examples with elliptic and K3-fibration structures relevant to F-theory and string dualities.
△ Less
Submitted 12 July, 2015;
originally announced July 2015.
-
Geometric constraints in dual F-theory and heterotic string compactifications
Authors:
Lara B. Anderson,
Washington Taylor
Abstract:
We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. Specifically, we give a complete classification of models where the heterotic theory is compactified on a smooth Calabi-Yau threefold that is elliptically fibered with a single section and carries smoo…
▽ More
We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. Specifically, we give a complete classification of models where the heterotic theory is compactified on a smooth Calabi-Yau threefold that is elliptically fibered with a single section and carries smooth irreducible vector bundles, and the dual F-theory model has a corresponding threefold base that has the form of a P^1 bundle. We formulate simple conditions for the geometry on the F-theory side to support an elliptically fibered Calabi-Yau fourfold. We match these conditions with conditions for the existence of stable vector bundles on the heterotic side, and show that F-theory gives new insight into the conditions under which such bundles can be constructed. In particular, we find that many allowed F-theory models correspond to vector bundles on the heterotic side with exceptional structure groups, and determine a topological condition that is only satisfied for bundles of this type. We show that in many cases the F-theory geometry imposes a constraint on the extent to which the gauge group can be enhanced, corresponding to limits on the way in which the heterotic bundle can decompose. We explicitly construct all (4962) F-theory threefold bases for dual F-theory/heterotic constructions in the subset of models where the common twofold base surface is toric, and give both toric and non-toric examples of the general results.
△ Less
Submitted 13 December, 2014; v1 submitted 8 May, 2014;
originally announced May 2014.
-
Foundations for a theory of complex matroids
Authors:
Laura Anderson,
Emanuele Delucchi
Abstract:
We explore a combinatorial theory of linear dependency in complex space, "complex matroids", with foundations analogous to those for oriented matroids. We give multiple equivalent axiomatizations of complex matroids, showing that this theory captures properties of linear dependency, orthogonality, and determinants over C in much the same way that oriented matroids capture the same properties over…
▽ More
We explore a combinatorial theory of linear dependency in complex space, "complex matroids", with foundations analogous to those for oriented matroids. We give multiple equivalent axiomatizations of complex matroids, showing that this theory captures properties of linear dependency, orthogonality, and determinants over C in much the same way that oriented matroids capture the same properties over R. In addition, our complex matroids come with a canonical circle action analogous to the action of C* on a complex vector space. Our phirotopes (analogues of determinants) are the same as those studied previously by Below, Krummeck, and Richter-Gebert and by Delucchi. We further show that complex matroids cannot have vector axioms analogous to those for oriented matroids.
△ Less
Submitted 28 June, 2012; v1 submitted 19 May, 2010;
originally announced May 2010.
-
Homotopy sphere representations for matroids
Authors:
Laura Anderson
Abstract:
For any rank $r$ oriented matroid $M$, a construction is given of a "topological representation" of $M$ by an arrangement of homotopy spheres in a simplicial complex which is homotopy equivalent to $S^{r-1}$. The construction is completely explicit and depends only on a choice of maximal flag in $M$. If $M$ is orientable, then all Folkman-Lawrence representations of all orientations of $M$ embed…
▽ More
For any rank $r$ oriented matroid $M$, a construction is given of a "topological representation" of $M$ by an arrangement of homotopy spheres in a simplicial complex which is homotopy equivalent to $S^{r-1}$. The construction is completely explicit and depends only on a choice of maximal flag in $M$. If $M$ is orientable, then all Folkman-Lawrence representations of all orientations of $M$ embed in this representation in a homotopically nice way.
△ Less
Submitted 16 March, 2009;
originally announced March 2009.
-
There is no tame triangulation of the infinite real Grassmannian
Authors:
Laura Anderson,
James F. Davis
Abstract:
We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in projective geometry, considering a specific sequence of configurations of points i…
▽ More
We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in projective geometry, considering a specific sequence of configurations of points in the plane.
△ Less
Submitted 27 April, 2000;
originally announced April 2000.
-
Mod 2 cohomology of combinatorial Grassmannians
Authors:
Laura Anderson,
James F. Davis
Abstract:
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed…
▽ More
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids (this poset classifies matroid bundles) contains the free polynomial ring on the first k Stiefel-Whitney classes. The homotopy groups of this poset are related to the image of the J-homomorphism from stable homotopy theory.
△ Less
Submitted 20 November, 1999;
originally announced November 1999.