-
Birational Transformations on Dimer Integrable Systems
Authors:
Minsung Kho,
Norton Lee,
Rak-Kyeong Seong
Abstract:
We show that when two toric Calabi-Yau 3-folds and their corresponding toric varieties are related by a birational transformation, they are associated with a pair of dimer models on the 2-torus that define dimer integrable systems, which themselves become birationally equivalent. These integrable systems defined by dimer models were first introduced by Goncharov and Kenyon. We illustrate this equi…
▽ More
We show that when two toric Calabi-Yau 3-folds and their corresponding toric varieties are related by a birational transformation, they are associated with a pair of dimer models on the 2-torus that define dimer integrable systems, which themselves become birationally equivalent. These integrable systems defined by dimer models were first introduced by Goncharov and Kenyon. We illustrate this equivalence explicitly using a pair of dimer integrable systems corresponding to the abelian orbifolds of the form C^3/Z_4 x Z_2 with orbifold action (1,0,3)(0,1,1) and C/Z_2 x Z_2 with action (1,0,0,1)(0,1,1,0), whose spectral curves and Hamiltonians are shown to be related by a birational transformation.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Birational Transformations and 2d (0,2) Quiver Gauge Theories beyond Toric Fano 3-folds
Authors:
Dongwook Ghim,
Minsung Kho,
Rak-Kyeong Seong
Abstract:
We show that a family of birational transformations that relate toric Fano 3-folds defined by reflexive lattice polytopes can be identified with mass deformations of corresponding 2d (0,2) supersymmetric quiver gauge theories. These theories are realized by a Type IIA brane configuration known as brane brick models. We further show that the same family of birational transformations extends to more…
▽ More
We show that a family of birational transformations that relate toric Fano 3-folds defined by reflexive lattice polytopes can be identified with mass deformations of corresponding 2d (0,2) supersymmetric quiver gauge theories. These theories are realized by a Type IIA brane configuration known as brane brick models. We further show that the same family of birational transformations extends to more general toric Calabi-Yau 4-folds, including those defined by non-reflexive toric diagrams. Under these birational transformations, the mesonic moduli spaces of the associated abelian 2d (0,2) supersymmetric gauge theories and brane brick models share the same number of generators and the same Hilbert series when refined only under the U(1)R symmetry. Since these transformations categorize toric Calabi-Yau 4-folds and their corresponding 2d (0,2) supersymmetric gauge theories into non-trivial equivalence classes, we anticipate that our findings will pave the way for a `Minimal Model Program' for quiver gauge theories corresponding to toric Calabi-Yau manifolds.
△ Less
Submitted 9 June, 2025; v1 submitted 12 February, 2025;
originally announced February 2025.
-
Combinatorial and Algebraic Mutations of Toric Fano 3-folds and Mass Deformations of 2d (0,2) Quiver Gauge Theories
Authors:
Dongwook Ghim,
Minsung Kho,
Rak-Kyeong Seong
Abstract:
We argue that algebraic and combinatorial polytope mutations of Fano 3-folds can be identified with mass deformations of associated 2d (0,2) supersymmetric gauge theories realized by brane brick models. These are Type IIA brane configurations that realize a large family of 2d worldvolume theories on probe D1-branes at toric Calabi-Yau 4-folds. We show that brane brick models that are related by ma…
▽ More
We argue that algebraic and combinatorial polytope mutations of Fano 3-folds can be identified with mass deformations of associated 2d (0,2) supersymmetric gauge theories realized by brane brick models. These are Type IIA brane configurations that realize a large family of 2d worldvolume theories on probe D1-branes at toric Calabi-Yau 4-folds. We show that brane brick models that are related by mass deformations associated to algebraic and combinatorial polytope mutations of Fano 3-folds have mesonic moduli spaces with the same number of generators. We show that mesonic flavor charges of these generators form convex reflexive lattice polytopes that are dual to the toric diagrams of the Fano 3-folds. The generating function of mesonic gauge invariant operators, also known as the Hilbert series of the mesonic moduli space, appears to be identical for such brane brick models under a particular refinement originating from the U(1)_R charges in the brane brick model following the mass deformation.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Hilbert Series of Bipartite Field Theories
Authors:
Minsung Kho,
Rak-Kyeong Seong
Abstract:
We study the algebraic structure of the mesonic moduli spaces of bipartite field theories by computing the Hilbert series. Bipartite field theories form a large family of 4d N=1 supersymmetric gauge theories that are defined by bipartite graphs on Riemann surfaces with boundaries. By calculating the Hilbert series, we are able to identify the generators and defining generator relations of the meso…
▽ More
We study the algebraic structure of the mesonic moduli spaces of bipartite field theories by computing the Hilbert series. Bipartite field theories form a large family of 4d N=1 supersymmetric gauge theories that are defined by bipartite graphs on Riemann surfaces with boundaries. By calculating the Hilbert series, we are able to identify the generators and defining generator relations of the mesonic moduli spaces of these theories. Moreover, we show that certain bipartite field theories exhibit enhanced global symmetries which can be identified through the computation of the corresponding refined Hilbert series. As part of our study, we introduce two one-parameter families of bipartite field theories defined on cylinders whose mesonic moduli spaces are all complete intersection toric Calabi-Yau 3-folds.
△ Less
Submitted 8 June, 2024; v1 submitted 29 May, 2024;
originally announced May 2024.
-
On the Master Space for Brane Brick Models
Authors:
Minsung Kho,
Rak-Kyeong Seong
Abstract:
We systematically study the master space of brane brick models that represent a large class of 2d (0,2) quiver gauge theories. These 2d (0,2) theories are worldvolume theories of D1-branes that probe singular toric Calabi-Yau 4-folds. The master space is the freely generated space of chiral fields subject to the J- and E-terms and the non-abelian part of the gauge symmetry. We investigate several…
▽ More
We systematically study the master space of brane brick models that represent a large class of 2d (0,2) quiver gauge theories. These 2d (0,2) theories are worldvolume theories of D1-branes that probe singular toric Calabi-Yau 4-folds. The master space is the freely generated space of chiral fields subject to the J- and E-terms and the non-abelian part of the gauge symmetry. We investigate several properties of the master space for abelian brane brick models with U(1) gauge groups. For example, we calculate the Hilbert series, which allows us by using the plethystic programme to identify the generators and defining relations of the master space. By studying several explicit examples, we also show that the Hilbert series of the master space can be expressed in terms of characters of irreducible representations of the full global symmetry of the master space.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Temporal Logic Planning for Minimum-Time Positioning of Multiple Threat-Seduction Decoys
Authors:
Tony A. Wood,
Mitchell Khoo,
Elad Michael,
Chris Manzie,
Iman Shames
Abstract:
Reusable decoys offer a cost-effective alternative to the single-use hardware commonly applied to protect surface assets from threats. Such decoys portray fake assets to lure threats away from the true asset. To deceive a threat, a decoy first has to position itself such that it can break the radar lock. Considering multiple simultaneous threats, this paper introduces an approach for controlling m…
▽ More
Reusable decoys offer a cost-effective alternative to the single-use hardware commonly applied to protect surface assets from threats. Such decoys portray fake assets to lure threats away from the true asset. To deceive a threat, a decoy first has to position itself such that it can break the radar lock. Considering multiple simultaneous threats, this paper introduces an approach for controlling multiple decoys to minimise the time required to break the locks of all the threats. The method includes the optimal allocation of one decoy to every threat with an assignment procedure that provides local position constraints to guarantee collision avoidance and thereby decouples the control of the decoys. A crude model of a decoy with uncertainty is considered for motion planning. The task of a decoy reaching a state in which the lock of the assigned threat can be broken is formulated as a temporal logic specification. To this end, the requirements to complete the task are modelled as time-varying set-membership constraints. The temporal and logical combination of the constraints is encoded in a mixed-integer optimisation problem. To demonstrate the results a simulated case study is provided.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
A Distributed Augmenting Path Approach for the Bottleneck Assignment Problem
Authors:
Mitchell Khoo,
Tony A. Wood,
Chris Manzie,
Iman Shames
Abstract:
We develop an algorithm to solve the Bottleneck Assignment Problem (BAP) that is amenable to having computation distributed over a network of agents. This consists of exploring how each component of the algorithm can be distributed, with a focus on one component in particular, i.e., the function to search for an augmenting path. An augmenting path is a common tool used in most BAP algorithms and p…
▽ More
We develop an algorithm to solve the Bottleneck Assignment Problem (BAP) that is amenable to having computation distributed over a network of agents. This consists of exploring how each component of the algorithm can be distributed, with a focus on one component in particular, i.e., the function to search for an augmenting path. An augmenting path is a common tool used in most BAP algorithms and poses a particular challenge for this distributed approach. Given this significance, we compare two different methods to search for an augmenting path in a bipartite graph. We also exploit properties of the augmenting paths to formalise conditions for which the solution from subsets of the sets of agents and tasks can be used to solve the BAP with the full sets of agents and tasks. In the end, we evaluate and compare the derived approaches with a numerical analysis.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
A Greedy and Distributable Approach to the Lexicographic Bottleneck Assignment Problem with Conditions on Exactness
Authors:
Mitchell Khoo,
Tony A. Wood,
Chris Manzie,
Iman Shames
Abstract:
Solving the Lexicographic Bottleneck Assignment Problem (LexBAP) typically relies on centralised computation with order quartic complexity. We consider the Sequential Bottleneck Assignment Problem (SeqBAP), which yields a greedy solution to the LexBAP and discuss the relationship between the SeqBAP, the LexBAP, and the Bottleneck Assignment Problem (BAP). In particular, we reexamine tools used to…
▽ More
Solving the Lexicographic Bottleneck Assignment Problem (LexBAP) typically relies on centralised computation with order quartic complexity. We consider the Sequential Bottleneck Assignment Problem (SeqBAP), which yields a greedy solution to the LexBAP and discuss the relationship between the SeqBAP, the LexBAP, and the Bottleneck Assignment Problem (BAP). In particular, we reexamine tools used to analyse the structure of the BAP, and apply them to derive an algorithm that solves the SeqBAP with cubic complexity. We show that the set of solutions of the LexBAP is a subset of the solutions of the SeqBAP and analyse the conditions for which the solutions sets are identical. Furthermore, we provide a method to verify the satisfaction of these conditions. In cases where the conditions are satisfied, the proposed algorithm for solving the SeqBAP solves the LexBAP with computation that has lower complexity and can be distributed over a network of computing agents. The applicability of the approach is demonstrated with a case study where mobile robots are assigned to goal locations.
△ Less
Submitted 7 January, 2022; v1 submitted 28 August, 2020;
originally announced August 2020.
-
Exploiting Structure in the Bottleneck Assignment Problem
Authors:
Mitchell Khoo,
Tony A. Wood,
Chris Manzie,
Iman Shames
Abstract:
An assignment problem arises when there exists a set of tasks that must be allocated to a set of agents. The bottleneck assignment problem (BAP) has the objective of minimising the most costly allocation of a task to an agent. Under certain conditions the structure of the BAP can be exploited such that subgroups of tasks are assigned separately with lower complexity and then merged to form a combi…
▽ More
An assignment problem arises when there exists a set of tasks that must be allocated to a set of agents. The bottleneck assignment problem (BAP) has the objective of minimising the most costly allocation of a task to an agent. Under certain conditions the structure of the BAP can be exploited such that subgroups of tasks are assigned separately with lower complexity and then merged to form a combined assignment. In particular, we discuss merging the assignments from two separate BAPs and use the solution of the subproblems to bound the solution of the combined problem. We also provide conditions for cases where the solution of the subproblems produces an exact solution to the BAP over the combined problem. We then introduce a particular algorithm for solving the BAP that takes advantage of this insight. The methods are demonstrated in a numerical case study.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Collision Avoidance Based on Robust Lexicographic Task Assignment
Authors:
Tony A. Wood,
Mitchell Khoo,
Elad Michael,
Chris Manzie,
Iman Shames
Abstract:
Traditional task assignment approaches for multi-agent motion control do not take the possibility of collisions into account. This can lead to challenging requirements for path planning. We derive an assignment method that not only minimises the largest distance between an agent and its assigned destination but also provides local constraints for guaranteed collision avoidance. To this end, we int…
▽ More
Traditional task assignment approaches for multi-agent motion control do not take the possibility of collisions into account. This can lead to challenging requirements for path planning. We derive an assignment method that not only minimises the largest distance between an agent and its assigned destination but also provides local constraints for guaranteed collision avoidance. To this end, we introduce a sequential bottleneck optimisation problem and define a notion of robustness of an optimising assignment to changes of individual assignment costs. Conditioned on a sufficient level of robustness in relation to the size of the agents, we construct time-varying position bounds for every individual agent. These local constraints are a direct byproduct of the assignment procedure and only depend on the initial agent positions, the destinations that are to be visited, and a timing parameter. We prove that no agent that is assigned to move to one of the target locations collides with any other agent if all agents satisfy their local position constraints. We demonstrate the method in a illustrative case study.
△ Less
Submitted 17 July, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
