Showing 101–150 of 162 results for author: Mehta, D

Recent Advances in Computational Methods for the Power Flow Equations

Authors: Dhagash Mehta, Daniel K Molzahn, Konstantin Turitsyn

Abstract: The power flow equations are at the core of most of the computations for designing and operating electric power systems. The power flow equations are a system of multivariate nonlinear equations which relate the power injections and voltages in a power system. A plethora of methods have been devised to solve these equations, starting from Newton-based methods to homotopy continuation and other opt… ▽ More The power flow equations are at the core of most of the computations for designing and operating electric power systems. The power flow equations are a system of multivariate nonlinear equations which relate the power injections and voltages in a power system. A plethora of methods have been devised to solve these equations, starting from Newton-based methods to homotopy continuation and other optimization-based methods. While many of these methods often efficiently find a high-voltage, stable solution due to its large basin of attraction, most of the methods struggle to find low-voltage solutions which play significant role in certain stability-related computations. While we do not claim to have exhausted the existing literature on all related methods, this tutorial paper introduces some of the recent advances in methods for solving power flow equations to the wider power systems community as well as bringing attention from the computational mathematics and optimization communities to the power systems problems. After briefly reviewing some of the traditional computational methods used to solve the power flow equations, we focus on three emerging methods: the numerical polynomial homotopy continuation method, Groebner basis techniques, and moment/sum-of-squares relaxations using semidefinite programming. In passing, we also emphasize the importance of an upper bound on the number of solutions of the power flow equations and review the current status of research in this direction. △ Less

Submitted 30 September, 2015; originally announced October 2015.

Comments: 13 pages, 2 figures. Submitted to the Tutorial Session at IEEE 2016 American Control Conference

Report number: ADP-15-35/T937

Toward Topologically Based Upper Bounds on the Number of Power Flow Solutions

Authors: Daniel K Molzahn, Dhagash Mehta, Matthew Niemerg

Abstract: The power flow equations, which relate power injections and voltage phasors, are at the heart of many electric power system computations. While Newton-based methods typically find the "high-voltage" solution to the power flow equations, which is of primary interest, there are potentially many "low-voltage" solutions that are useful for certain analyses. This paper addresses the number of solutions… ▽ More The power flow equations, which relate power injections and voltage phasors, are at the heart of many electric power system computations. While Newton-based methods typically find the "high-voltage" solution to the power flow equations, which is of primary interest, there are potentially many "low-voltage" solutions that are useful for certain analyses. This paper addresses the number of solutions to the power flow equations. There exist upper bounds on the number of power flow solutions; however, there is only limited work regarding bounds that are functions of network topology. This paper empirically explores the relationship between the network topology, as characterized by the maximal cliques, and the number of power flow solutions. To facilitate this analysis, we use a numerical polynomial homotopy continuation approach that is guaranteed to find all complex solutions to the power flow equations. The number of solutions obtained from this approach upper bounds the number of real solutions. Testing with many small networks informs the development of upper bounds that are functions of the network topology. Initial results include empirically derived expressions for the maximum number of solutions for certain classes of network topologies. △ Less

Submitted 30 September, 2015; originally announced September 2015.

Comments: 6 pages, 5 figures. Submitted to special session at the IEEE American Control Conference

Report number: ADP-15-34/T936

Bin Packing with Linear Usage Costs

Authors: Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis

Abstract: Bin packing is a well studied problem involved in many applications. The classical bin packing problem is about minimising the number of bins and ignores how the bins are utilised. We focus in this paper, on a variant of bin packing that is at the heart of efficient management of data centres. In this context, servers can be viewed as bins and virtual machines as items. The efficient management of… ▽ More Bin packing is a well studied problem involved in many applications. The classical bin packing problem is about minimising the number of bins and ignores how the bins are utilised. We focus in this paper, on a variant of bin packing that is at the heart of efficient management of data centres. In this context, servers can be viewed as bins and virtual machines as items. The efficient management of a data-centre involves minimising energy costs while ensuring service quality. The assignment of virtual machines on servers and how these servers are utilised has a huge impact on the energy consumption. We focus on a bin packing problem where linear costs are associated to the use of bins to model the energy consumption. We study lower bounds based on Linear Programming and extend the bin packing global constraint with cost information. △ Less

Submitted 22 September, 2015; originally announced September 2015.

Comments: 14 pages, 4 figures

An index-resolved fixed-point homotopy and potential energy landscapes

Authors: Tianran Chen, Dhagash Mehta

Abstract: Stationary points (SPs) of the potential energy landscapes can be classified by their Morse index, i.e., the number of negative eigenvalues of the Hessian evaluated at the SPs. In understanding chemical clusters through their potential energy landscapes, only SPs of a particular Morse index are needed. We propose a modification of the "fixed-point homotopy" method which can be used to directly tar… ▽ More Stationary points (SPs) of the potential energy landscapes can be classified by their Morse index, i.e., the number of negative eigenvalues of the Hessian evaluated at the SPs. In understanding chemical clusters through their potential energy landscapes, only SPs of a particular Morse index are needed. We propose a modification of the "fixed-point homotopy" method which can be used to directly target stationary points of a specified Morse index. We demonstrate the effectiveness of our approach by applying it to the Lennard-Jones clusters. △ Less

Submitted 24 April, 2015; originally announced April 2015.

Comments: 7 pages, 2 figures

Report number: ADP-15-15/T917

Statistics of Stationary Points of Random Finite Polynomial Potentials

Authors: Dhagash Mehta, Matthew Niemerg, Chuang Sun

Abstract: The stationary points (SPs) of the potential energy landscapes (PELs) of multivariate random potentials (RPs) have found many applications in many areas of Physics, Chemistry and Mathematical Biology. However, there are few reliable methods available which can find all the SPs accurately. Hence, one has to rely on indirect methods such as Random Matrix theory. With a combination of the numerical p… ▽ More The stationary points (SPs) of the potential energy landscapes (PELs) of multivariate random potentials (RPs) have found many applications in many areas of Physics, Chemistry and Mathematical Biology. However, there are few reliable methods available which can find all the SPs accurately. Hence, one has to rely on indirect methods such as Random Matrix theory. With a combination of the numerical polynomial homotopy continuation method and a certification method, we obtain all the certified SPs of the most general polynomial RP for each sample chosen from the Gaussian distribution with mean 0 and variance 1. While obtaining many novel results for the finite size case of the RP, we also discuss the implications of our results on mathematics of random systems and string theory landscapes. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: 10 pages, 63 figures

Report number: ADP-15-13/T915

A Collection of Challenging Optimization Problems in Science, Engineering and Economics

Authors: Dhagash Mehta, Crina Grosan

Abstract: Function optimization and finding simultaneous solutions of a system of nonlinear equations (SNE) are two closely related and important optimization problems. However, unlike in the case of function optimization in which one is required to find the global minimum and sometimes local minima, a database of challenging SNEs where one is required to find stationary points (extrama and saddle points) i… ▽ More Function optimization and finding simultaneous solutions of a system of nonlinear equations (SNE) are two closely related and important optimization problems. However, unlike in the case of function optimization in which one is required to find the global minimum and sometimes local minima, a database of challenging SNEs where one is required to find stationary points (extrama and saddle points) is not readily available. In this article, we initiate building such a database of important SNE (which also includes related function optimization problems), arising from Science, Engineering and Economics. After providing a short review of the most commonly used mathematical and computational approaches to find solutions of such systems, we provide a preliminary list of challenging problems by writing the Mathematical formulation down, briefly explaning the origin and importance of the problem and giving a short account on the currently known results, for each of the problems. We anticipate that this database will not only help benchmarking novel numerical methods for solving SNEs and function optimization problems but also will help advancing the corresponding research areas. △ Less

Submitted 9 April, 2015; originally announced April 2015.

Comments: Accepted as an invited contribution to the special session on Evolutionary Computation for Nonlinear Equation Systems at the 2015 IEEE Congress on Evolutionary Computation (at Sendai International Center, Sendai, Japan, from 25th to 28th May, 2015.)

Report number: ADP-15-9/T911

Stability and symmetry breaking in a three Higgs-boson doublet model with lepton family symmetry O(2)xZ2

Authors: M. Maniatis, D. Mehta, Carlos M. Reyes

Abstract: Motivated by the neutrino data, an extension of the Standard Model with three Higgs-boson doublets has been proposed. Imposing an O(2) x Z2 family symmetry, a neutrino mixing matrix with theta23 = pi/4 and theta13 = 0 appears in a natural way. Even though these values for the mixing matrix do not follow the recent experimental constraints, they are nevertheless a good approximation. We study the H… ▽ More Motivated by the neutrino data, an extension of the Standard Model with three Higgs-boson doublets has been proposed. Imposing an O(2) x Z2 family symmetry, a neutrino mixing matrix with theta23 = pi/4 and theta13 = 0 appears in a natural way. Even though these values for the mixing matrix do not follow the recent experimental constraints, they are nevertheless a good approximation. We study the Higgs potential of this model in detail. We apply recent methods which allow for the study of any three-Higgs-boson doublet model. It turns out that for a variety of parameters the potential is stable, has the correct electroweak symmetry breaking, and gives the correct vacuum expectation value. △ Less

Submitted 1 September, 2015; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: 7 pages, 1 figure, adapted to published version

Journal ref: Phys. Rev. D 92, 035017 (2015)

Parallel degree computation for solution space of binomial systems with an application to the master space of $\mathcal{N}=1$ gauge theories

Authors: Tianran Chen, Dhagash Mehta

Abstract: The problem of solving a system of polynomial equations is one of the most fundamental problems in applied mathematics. Among them, the problem of solving a system of binomial equations form a important subclass for which specialized techniques exist. For both theoretic and applied purposes, the degree of the solution set of a system of binomial equations often plays an important role in understan… ▽ More The problem of solving a system of polynomial equations is one of the most fundamental problems in applied mathematics. Among them, the problem of solving a system of binomial equations form a important subclass for which specialized techniques exist. For both theoretic and applied purposes, the degree of the solution set of a system of binomial equations often plays an important role in understanding the geometric structure of the solution set. Its computation, however, is computationally intensive. This paper proposes a specialized parallel algorithm for computing the degree on GPUs that takes advantage of the massively parallel nature of GPU devices. The preliminary implementation shows remarkable efficiency and scalability when compared to the closest CPU-based counterpart. Applied to the "master space problem of $\mathcal{N}=1$ gauge theories" the GPU-based implementation achieves nearly 30 fold speedup over its CPU-only counterpart enabling the discovery of previously unknown results. Equally important to note is the far superior scalability: with merely 3 GPU devices on a single workstation, the GPU-based implementation shows better performance, on certain problems, than a small cluster totaling 100 CPU cores. △ Less

Submitted 1 March, 2015; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 27 pages, 5 figures. Improved data with further computation

Report number: ADP-15-2/T904

Communication: Newton homotopies for sampling stationary points of potential energy landscapes

Authors: Dhagash Mehta, Tianran Chen, Jonathan D Hauenstein, David J Wales

Abstract: One of the most challenging and frequently arising problems in many areas of science is to find solutions of a system of multivariate nonlinear equations. There are several numerical methods that can find many (or all if the system is small enough) solutions but they each exhibit characteristic problems. Moreover, traditional methods can break down if the system contains singular solutions. Here,… ▽ More One of the most challenging and frequently arising problems in many areas of science is to find solutions of a system of multivariate nonlinear equations. There are several numerical methods that can find many (or all if the system is small enough) solutions but they each exhibit characteristic problems. Moreover, traditional methods can break down if the system contains singular solutions. Here, we propose an efficient implementation of Newton homotopies, which can sample a large number of the stationary points of complicated many-body potentials. We demonstrate how the procedure works by applying it to the nearest-neighbor $φ^4$ model and atomic clusters. △ Less

Submitted 11 December, 2014; originally announced December 2014.

Comments: 5 pages, 3 figures. Published in Communications of Journal of Chemical Physics

Journal ref: J. Chem. Phys. 141, 121104 (2014)

Potential Energy Landscape of the Two-Dimensional XY Model: Higher-Index Stationary Points

Authors: Dhagash Mehta, Ciaran Hughes, Michael Kastner, David J Wales

Abstract: The application of numerical techniques to the study of energy landscapes of large systems relies on sufficient sampling of the stationary points. Since the number of stationary points is believed to grow exponentially with system size, we can only sample a small fraction. We investigate the interplay between this restricted sample size and the physical features of the potential energy landscape f… ▽ More The application of numerical techniques to the study of energy landscapes of large systems relies on sufficient sampling of the stationary points. Since the number of stationary points is believed to grow exponentially with system size, we can only sample a small fraction. We investigate the interplay between this restricted sample size and the physical features of the potential energy landscape for the two-dimensional $XY$ model in the absence of disorder with up to $N=100$ spins. Using an eigenvector-following technique, we numerically compute stationary points with a given Hessian index $I$ for all possible values of $I$. We investigate the number of stationary points, their energy and index distributions, and other related quantities, with particular focus on the scaling with $N$. The results are used to test a number of conjectures and approximate analytic results for the general properties of energy landscapes. △ Less

Submitted 9 December, 2014; originally announced December 2014.

Comments: 8 pages, 10 figures. Published in Journal of Chemical Physics

Journal ref: J. Chem. Phys. 140, 224503 (2014)

Certified counting of roots of random univariate polynomials

Authors: Joseph Cleveland, Jeffrey Dzugan, Jonathan D. Hauenstein, Ian Haywood, Dhagash Mehta, Anthony Morse, Leonardo Robol, Taylor Schlenk

Abstract: A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification methods, namely Smale's $α$-theory and one based on Gerschgorin's theorem, for showing that a given numerical approximation is in the quadratic convergence region… ▽ More A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification methods, namely Smale's $α$-theory and one based on Gerschgorin's theorem, for showing that a given numerical approximation is in the quadratic convergence region of Newton's method of some exact solution. With this combination, we can certifiably count the number of real roots of random polynomials. We quantify the difference between the two certification procedures and list the salient features of both of them. After benchmarking on random polynomials where the coefficients are drawn from the Gaussian distribution, we obtain novel experimental results for the Cauchy distribution case. △ Less

Submitted 4 December, 2014; originally announced December 2014.

Comments: 28 pages, 16 figures

Algebraic Geometrization of the Kuramoto Model: Equilibria and Stability Analysis

Authors: Dhagash Mehta, Noah Daleo, Florian Dörfler, Jonathan D. Hauenstein

Abstract: Finding equilibria of the finite size Kuramoto model amounts to solving a nonlinear system of equations, which is an important yet challenging problem. We translate this into an algebraic geometry problem and use numerical methods to find all of the equilibria for various choices of coupling constants K, natural frequencies, and on different graphs. We note that for even modest sizes (N ~ 10-20),… ▽ More Finding equilibria of the finite size Kuramoto model amounts to solving a nonlinear system of equations, which is an important yet challenging problem. We translate this into an algebraic geometry problem and use numerical methods to find all of the equilibria for various choices of coupling constants K, natural frequencies, and on different graphs. We note that for even modest sizes (N ~ 10-20), the number of equilibria is already more than 100,000. We analyze the stability of each computed equilibrium as well as the configuration of angles. Our exploration of the equilibrium landscape leads to unexpected and possibly surprising results including non-monotonicity in the number of equilibria, a predictable pattern in the indices of equilibria, counter-examples to popular conjectures, multi-stable equilibrium landscapes, scenarios with only unstable equilibria, and multiple distinct extrema in the stable equilibrium distribution as a function of the number of cycles in the graph. △ Less

Submitted 3 January, 2015; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: 6 pages, 12 figures. Added a reference and corrected typos

Energy Landscape of the Finite-Size Mean-field 2-Spin Spherical Model and Topology Trivialization

Authors: Dhagash Mehta, Jonathan D. Hauenstein, Matthew Niemerg, Nicholas J. Simm, Daniel A. Stariolo

Abstract: Motivated by the recently observed phenomenon of topology trivialization of potential energy landscapes (PELs) for several statistical mechanics models, we perform a numerical study of the finite size $2$-spin spherical model using both numerical polynomial homotopy continuation and a reformulation via non-hermitian matrices. The continuation approach computes all of the complex stationary points… ▽ More Motivated by the recently observed phenomenon of topology trivialization of potential energy landscapes (PELs) for several statistical mechanics models, we perform a numerical study of the finite size $2$-spin spherical model using both numerical polynomial homotopy continuation and a reformulation via non-hermitian matrices. The continuation approach computes all of the complex stationary points of this model while the matrix approach computes the real stationary points. Using these methods, we compute the average number of stationary points while changing the topology of the PEL as well as the variance. Histograms of these stationary points are presented along with an analysis regarding the complex stationary points. This work connects topology trivialization to two different branches of mathematics: algebraic geometry and catastrophe theory, which is fertile ground for further interdisciplinary research. △ Less

Submitted 29 September, 2014; originally announced September 2014.

Comments: 9 pages, 17 figures

Journal ref: Phys. Rev. E 91, 022133 (2015)

Exploring the Impact of Wind Penetration on Power System Equilibrium Using a Numerical Continuation Approach

Authors: Souvik Chandra, Dhagash Mehta, Aranya Chakrabortty

Abstract: In this paper we investigate how the equilibrium characteristics of conventional power systems may change with an increase in wind penetration. We first derive a differential-algebraic model of a power system network consisting of synchronous generators, loads and a wind power plant modeled by a wind turbine and a doubly-fed induction generator (DFIG). The models of these three components are coup… ▽ More In this paper we investigate how the equilibrium characteristics of conventional power systems may change with an increase in wind penetration. We first derive a differential-algebraic model of a power system network consisting of synchronous generators, loads and a wind power plant modeled by a wind turbine and a doubly-fed induction generator (DFIG). The models of these three components are coupled via nonlinear power flow equations. In contrast to the traditional approach for solving the power flows via iterative methods that often lead to only local solutions, we apply a recently developed parameter-homotopy based numerical continuation algorithm to compute all possible solutions. The method solves the power flow equations over multiple values of the wind penetration level with far less computational effort instead of solving them at each value individually. We observe that depending on the penetration limit and the setpoint value for the magnitude of the wind bus voltage, the system may exhibit several undesired or even unstable equilibria. We illustrate these results through a detailed simulation of a 5-machine power system model with wind injection, and highlight how the solutions may be helpful for small-signal stability assessment. △ Less

Submitted 27 September, 2014; originally announced September 2014.

Comments: 7 pages, 14 figures. Submitted to a Special Session of American Control Conference to be held in Palmer House Hilton, Chicago, IL, USA, in July 2015

Global Structure of Curves from Generalized Unitarity Cut of Three-loop Diagrams

Authors: Jonathan D. Hauenstein, Rijun Huang, Dhagash Mehta, Yang Zhang

Abstract: This paper studies the global structure of algebraic curves defined by generalized unitarity cut of four-dimensional three-loop diagrams with eleven propagators. The global structure is a topological invariant that is characterized by the geometric genus of the algebraic curve. We use the Riemann-Hurwitz formula to compute the geometric genus of algebraic curves with the help of techniques involvi… ▽ More This paper studies the global structure of algebraic curves defined by generalized unitarity cut of four-dimensional three-loop diagrams with eleven propagators. The global structure is a topological invariant that is characterized by the geometric genus of the algebraic curve. We use the Riemann-Hurwitz formula to compute the geometric genus of algebraic curves with the help of techniques involving convex hull polytopes and numerical algebraic geometry. Some interesting properties of genus for arbitrary loop orders are also explored where computing the genus serves as an initial step for integral or integrand reduction of three-loop amplitudes via an algebraic geometric approach. △ Less

Submitted 30 March, 2015; v1 submitted 14 August, 2014; originally announced August 2014.

Comments: 35pages, 10 figures, version appeared in JHEP

Journal ref: JHEP 1502 (2015) 136

Numerical Polynomial Homotopy Continuation Method to Locate All The Power Flow Solutions

Authors: Dhagash Mehta, Hung Nguyen, Konstantin Turitsyn

Abstract: The manuscript addresses the problem of finding all solutions of power flow equations or other similar nonlinear system of algebraic equations. This problem arises naturally in a number of power systems contexts, most importantly in the context of direct methods for transient stability analysis and voltage stability assessment. We introduce a novel form of homotopy continuation method called the n… ▽ More The manuscript addresses the problem of finding all solutions of power flow equations or other similar nonlinear system of algebraic equations. This problem arises naturally in a number of power systems contexts, most importantly in the context of direct methods for transient stability analysis and voltage stability assessment. We introduce a novel form of homotopy continuation method called the numerical polynomial homotopy continuation (NPHC) method that is mathematically guaranteed to find all the solutions without ever encountering a bifurcation. The method is based on embedding the real form of power flow equation in complex space, and tracking the generally unphysical solutions with complex values of real and imaginary parts of the voltage. The solutions converge to physical real form in the end of the homotopy. The so-called $γ$-trick mathematically rigorously ensures that all the paths are well-behaved along the paths, so unlike other continuation approaches, no special handling of bifurcations is necessary. The method is \textit{embarrassingly parallelizable} and can be applied to reasonably large sized systems. We demonstrate the technique by analysis of several standard test cases up to the 14-bus system size. Finally, we discuss possible strategies for scaling the method to large size systems, and propose several applications for transient stability analysis and voltage stability assessment. △ Less

Submitted 12 August, 2014; originally announced August 2014.

Comments: 9 pages, 3 figures, submitted to Transactions on Power Systems, 2014

An Inversion-Relaxation Approach for Sampling Stationary Points of Spin Model Hamiltonians

Authors: Ciaran Hughes, Dhagash Mehta, David J Wales

Abstract: Sampling the stationary points of a complicated potential energy landscape is a challenging problem. Here we introduce a sampling method based on relaxation from stationary points of the highest index of the Hessian matrix. We illustrate how this approach can find all the stationary points for potentials or Hamiltonians bounded from above, which includes a large class of important spin models, and… ▽ More Sampling the stationary points of a complicated potential energy landscape is a challenging problem. Here we introduce a sampling method based on relaxation from stationary points of the highest index of the Hessian matrix. We illustrate how this approach can find all the stationary points for potentials or Hamiltonians bounded from above, which includes a large class of important spin models, and we show that it is far more efficient than previous methods. For potentials unbounded from above, the relaxation part of the method is still efficient in finding minima and transition states, which are usually the primary focus of attention for atomistic systems. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 6 pages, 2 tables. Published in Journal of Chemical Physics

Report number: DAMTP-2014-40

Journal ref: J. Chem. Phys. 140 (19), 194104 (2014)

Certification and the Potential Energy Landscape

Authors: Dhagash Mehta, Jonathan D. Hauenstein, David J. Wales

Abstract: Typically, there is no guarantee that a numerical approximation obtained using standard nonlinear equation solvers is indeed an actual solution, meaning that it lies in the quadratic convergence basin. Instead, it may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the corresponding stationary point when further optimization is attempted. In some ca… ▽ More Typically, there is no guarantee that a numerical approximation obtained using standard nonlinear equation solvers is indeed an actual solution, meaning that it lies in the quadratic convergence basin. Instead, it may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the corresponding stationary point when further optimization is attempted. In some cases, these non-solutions could be misleading. Proving that a numerical approximation will quadratically converge to a stationary point is termed \textit{certification}. In this report, we provide details of how Smale's $α$-theory can be used to certify numerically obtained stationary points of a potential energy landscape, providing a \textit{mathematical proof} that the numerical approximation does indeed correspond to an actual stationary point, independent of the precision employed. △ Less

Submitted 17 July, 2014; originally announced July 2014.

Comments: 7 pages, 4 figures. arXiv admin note: text overlap with arXiv:1302.6265

Journal ref: The Journal of Chemical Physics 140 (22), 224114 (2014)

Gauge-fixing on the Lattice via Orbifolding

Authors: Dhagash Mehta, Noah S Daleo, Jonathan D Hauenstein, Christopher Seaton

Abstract: When fixing a covariant gauge, most popularly the Landau gauge, on the lattice one encounters the Neuberger 0/0 problem which prevents one from formulating a Becchi--Rouet--Stora--Tyutin symmetry on the lattice. Following the interpretation of this problem in terms of Witten-type topological field theory and using the recently developed Morse theory for orbifolds, we propose a modification of the… ▽ More When fixing a covariant gauge, most popularly the Landau gauge, on the lattice one encounters the Neuberger 0/0 problem which prevents one from formulating a Becchi--Rouet--Stora--Tyutin symmetry on the lattice. Following the interpretation of this problem in terms of Witten-type topological field theory and using the recently developed Morse theory for orbifolds, we propose a modification of the lattice Landau gauge via orbifolding of the gauge-fixing group manifold and show that this modification circumvents the orbit-dependence issue and hence can be a viable candidate for evading the Neuberger problem. Using algebraic geometry, we also show that though the previously proposed modification of the lattice Landau gauge via stereographic projection relies on delicate departure from the standard Morse theory due to the non-compactness of the underlying manifold, the corresponding gauge-fixing partition function turns out to be orbit independent for all the orbits except in a region of measure zero. △ Less

Submitted 25 June, 2014; originally announced June 2014.

Comments: 10 pages, 2 figures

Journal ref: Phys. Rev. D 90, 054504 (2014)

Experiments on the zeros of harmonic polynomials using certified counting

Authors: Jonathan D. Hauenstein, Antonio Lerario, Erik Lundberg, Dhagash Mehta

Abstract: Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy continuation to compute a numerical approximation of each zero and Smale's alpha-theory to certify the results. Using this approach, we provide new examples of harmonic… ▽ More Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy continuation to compute a numerical approximation of each zero and Smale's alpha-theory to certify the results. Using this approach, we provide new examples of harmonic polynomials having the most extreme number of zeros known so far; we also study the mean and variance of the number of zeros of random harmonic polynomials. △ Less

Submitted 20 June, 2014; originally announced June 2014.

Enumerating Copies in the First Gribov Region on the Lattice in up to four Dimensions

Authors: Dhagash Mehta, Mario Schröck

Abstract: The covariant gauges are known to suffer from the Gribov problem: even after fixing a gauge non-perturbatively, there may still exist residual copies which are physically equivalent to each other, called Gribov copies. While the influence of Gribov copies in the relevant quantities such as gluon propagators has been heavily debated in recent studies, the significance of the role they play in the F… ▽ More The covariant gauges are known to suffer from the Gribov problem: even after fixing a gauge non-perturbatively, there may still exist residual copies which are physically equivalent to each other, called Gribov copies. While the influence of Gribov copies in the relevant quantities such as gluon propagators has been heavily debated in recent studies, the significance of the role they play in the Faddeev--Popov procedure is hardly doubted. We concentrate on Gribov copies in the first Gribov region, i.e., the space of Gribov copies at which the Faddeev--Popov operator is strictly positive (semi)definite. We investigate compact U($1$) as the prototypical model of the more complicated standard model group SU($N_{c}$). With our Graphical Processing Unit (GPU) implementation of the relaxation method we collect up to a few million Gribov copies per orbit. We show that the numbers of Gribov copies even in the first Gribov region increase exponentially in two, three and four dimensions. Furthermore, we provide strong indication that the number of Gribov copies is gauge orbit dependent. △ Less

Submitted 20 May, 2014; v1 submitted 3 March, 2014; originally announced March 2014.

Comments: 8 pages, 7 figures. V2: version accepted at PRD

Journal ref: Phys. Rev. D 89, 094512 (2014)

Develo** Approaches for Solving a Telecommunications Feature Subscription Problem

Authors: David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson

Abstract: Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a feature subscription involves choosing and sequencing features from a catalogue and is subject to constraints that prevent undesirable feature interactions at run-time. When the subscription requested by a user is inconsistent, one… ▽ More Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a feature subscription involves choosing and sequencing features from a catalogue and is subject to constraints that prevent undesirable feature interactions at run-time. When the subscription requested by a user is inconsistent, one problem is to find an optimal relaxation, which is a generalisation of the feedback vertex set problem on directed graphs, and thus it is an NP-hard task. We present several constraint programming formulations of the problem. We also present formulations using partial weighted maximum Boolean satisfiability and mixed integer linear programming. We study all these formulations by experimentally comparing them on a variety of randomly generated instances of the feature subscription problem. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Journal ref: Journal Of Artificial Intelligence Research, Volume 38, pages 271-305, 2010

Spectral functions of charmonium from 2 flavour anisotropic lattice data

Authors: Aoife Kelly, Jon-Ivar Skullerud, Chris Allton, Dhagash Mehta, Mehmet B. Oktay

Abstract: The spectral functions of QCD can give us insight into properties of hadrons, and they are useful in probing the QCD vacuum. I will discuss the correlators and spectral functions of charmonium in high temperature two flavour QCD. The spectral functions have been obtained using the Maximum Entropy Method from anisotropic lattice data using the conserved vector current. This work has been done as pa… ▽ More The spectral functions of QCD can give us insight into properties of hadrons, and they are useful in probing the QCD vacuum. I will discuss the correlators and spectral functions of charmonium in high temperature two flavour QCD. The spectral functions have been obtained using the Maximum Entropy Method from anisotropic lattice data using the conserved vector current. This work has been done as part of the FASTSUM collaboration. We find that the spectral functions for zero momentum are stable. At non-zero momentum the spectral functions are less stable but still produce resonance and transport peaks. This work is part of our programme to calculate the heavy quark diffusion constant. △ Less

Submitted 3 December, 2013; originally announced December 2013.

Comments: 7 pages, 5 figures, 31st International Symposium on Lattice Field Theory LATTICE 2013

Fast Ion Surface Energy Loss and Straggling in the Surface Wake Fields

Authors: T. Nandi, K. Haris, Hala, Gurjeet Singh, Pankaj Kumar, Rajesh Kumar, S. K. Saini, S. A. Khan, Akhil Jhingan, P. Verma, A. Tauheed, D. Mehta, H. G. Berry

Abstract: We have measured the stop** powers and straggling of fast, highly ionized atoms passing through thin bilayer targets made up of metals and insulators. We were surprised to find that the energy losses as well as the straggling depend on the ordering of the target and have small but significantly different values on bilayer reversal. We ascribe this newly found difference in energy loss to the sur… ▽ More We have measured the stop** powers and straggling of fast, highly ionized atoms passing through thin bilayer targets made up of metals and insulators. We were surprised to find that the energy losses as well as the straggling depend on the ordering of the target and have small but significantly different values on bilayer reversal. We ascribe this newly found difference in energy loss to the surface energy loss field effect due to the differing surface wake fields as the beam exits the target in the two cases. This finding is validated with experiments using several different projectiles, velocities, and bilayer targets. Both partners of the diatomic molecular ions also display similar results. A comparison of the energy loss results with those of previous theoretical predictions for the surface wake potential for fast ions in solids supports the existence of a self-wake. △ Less

Submitted 2 December, 2013; originally announced December 2013.

Comments: 5 pages

Journal ref: PRL 110, 163203 (2013)

Potential Energy Landscapes for the 2D XY Model: Minima, Transition States and Pathways

Authors: Dhagash Mehta, Ciaran Hughes, Mario Schröck, David J. Wales

Abstract: We describe a numerical study of the potential energy landscape for the two-dimensional XY model (with no disorder), considering up to 100 spins and CPU and GPU implementations of local optimization, focusing on minima and saddles of index one (transition states). We examine both periodic and anti-periodic boundary conditions, and show that the number of stationary points located increases exponen… ▽ More We describe a numerical study of the potential energy landscape for the two-dimensional XY model (with no disorder), considering up to 100 spins and CPU and GPU implementations of local optimization, focusing on minima and saddles of index one (transition states). We examine both periodic and anti-periodic boundary conditions, and show that the number of stationary points located increases exponentially with increasing lattice size. The corresponding disconnectivity graphs exhibit funneled landscapes; the global minima are readily located because they exhibit relatively large basins of attraction compared to the higher energy minima as the lattice size increases. △ Less

Submitted 22 November, 2013; originally announced November 2013.

Comments: 16 pages, 6 figures

Report number: DAMTP-2013-67

Journal ref: J. Chem. Phys. 139 , 194503 (2013)

Eigenvalue spectrum of lattice $\mathcal{N}=4$ super Yang-Mills

Authors: David J. Weir, Simon Catterall, Dhagash Mehta

Abstract: We present preliminary results for the eigenvalue spectrum of four-dimensional ${\cal N}=4$ super Yang-Mills theory on the lattice. In particular, by studying the the spectral density a measurement of the anomalous dimension is made and found to be consistent with zero. We present preliminary results for the eigenvalue spectrum of four-dimensional ${\cal N}=4$ super Yang-Mills theory on the lattice. In particular, by studying the the spectral density a measurement of the anomalous dimension is made and found to be consistent with zero. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Comments: 7 pages, 4 figures, presented at the 31st International Symposium on Lattice Field Theory (Lattice 2013), 29 July - 3 August 2013, Mainz, Germany

Report number: HIP-2013-23/TH

On exact minimization of Higgs potentials

Authors: Markos Maniatis, Dhagash Mehta

Abstract: Minimizing the Higgs potential is an essential task in any model involving Higgs bosons. Exact minimization methods proposed in the literature are based on the polynomial form of the potential. These methods will in general no longer work if loop contributions to the potential are taken into account. We present a method to keep the tree level global minimum unchanged in passing to the effective po… ▽ More Minimizing the Higgs potential is an essential task in any model involving Higgs bosons. Exact minimization methods proposed in the literature are based on the polynomial form of the potential. These methods will in general no longer work if loop contributions to the potential are taken into account. We present a method to keep the tree level global minimum unchanged in passing to the effective potential. We illustrate the method for the case of the Minimal Supersymmetric Model (MSSM). △ Less

Submitted 29 May, 2014; v1 submitted 5 July, 2013; originally announced July 2013.

Comments: 7 pages, 3 tables

Journal ref: Eur. Phys. J. Plus (2014) 129

Tumbling through a landscape: Evidence of instabilities in high-dimensional moduli spaces

Authors: Brian Greene, David Kagan, Ali Masoumi, Dhagash Mehta, Erick J. Weinberg, Xiao Xiao

Abstract: We argue that a generic instability afflicts vacua that arise in theories whose moduli space has large dimension. Specifically, by studying theories with multiple scalar fields we provide numerical evidence that for a generic local minimum of the potential the usual semiclassical bubble nucleation rate, Gamma = A e^{-B}, increases rapidly as function of the number of fields in the theory. As a con… ▽ More We argue that a generic instability afflicts vacua that arise in theories whose moduli space has large dimension. Specifically, by studying theories with multiple scalar fields we provide numerical evidence that for a generic local minimum of the potential the usual semiclassical bubble nucleation rate, Gamma = A e^{-B}, increases rapidly as function of the number of fields in the theory. As a consequence, the fraction of vacua with tunneling rates low enough to maintain metastability appears to fall exponentially as a function of the moduli space dimension. We discuss possible implications for the landscape of string theory. Notably, if our results prove applicable to string theory, the landscape of metastable vacua may not contain sufficient diversity to offer a natural explanation of dark energy. △ Less

Submitted 2 June, 2013; v1 submitted 18 March, 2013; originally announced March 2013.

Comments: 21 pages, 10 figures; Updated version, modified to include more refined numerical analyses and more detailed assessment of anthropic solutions to the cosmological constant problem

Phase transitions and gluodynamics in 2-colour matter at high density

Authors: Tamer Boz, Seamus Cotter, Leonard Fister, Dhagash Mehta, Jon-Ivar Skullerud

Abstract: We investigate 2-colour QCD with 2 flavours of Wilson fermion at nonzero temperature T and quark chemical potential mu, with a pion mass of 700 MeV (m_pi/m_rho=0.8). From temperature scans at fixed mu we find that the critical temperature for the superfluid to normal transition depends only very weakly on mu above the onset chemical potential, while the deconfinement crossover temperature is clear… ▽ More We investigate 2-colour QCD with 2 flavours of Wilson fermion at nonzero temperature T and quark chemical potential mu, with a pion mass of 700 MeV (m_pi/m_rho=0.8). From temperature scans at fixed mu we find that the critical temperature for the superfluid to normal transition depends only very weakly on mu above the onset chemical potential, while the deconfinement crossover temperature is clearly decreasing with mu. We find indications of a region of superfluid but deconfined matter at high mu and intermediate T. The static quark potential determined from the Wilson loop is found to exhibit a 'string tension' that increases at large mu in the 'deconfined' region. The electric (longitudinal) gluon propagator in Landau gauge becomes strongly screened with increasing temperature and chemical potential. The magnetic (transverse) gluon shows little sensitivity to temperature, and exhibits a mild enhancement at intermediate mu before becoming suppressed at large mu. △ Less

Submitted 27 June, 2013; v1 submitted 13 March, 2013; originally announced March 2013.

Comments: 11 pages, 22 eps figures, to be published in special issue of EPJA. v2: expanded introduction with additional references; improved analysis of Polyakov loop and static quark potential leading to some changes in results and conclusions; some changes to discussion and presentation. Accepted for publication

Energy Landscape of the Finite-Size Mean-field 3-Spin Spherical Model

Authors: Dhagash Mehta, Daniel A. Stariolo, Michael Kastner

Abstract: We study the 3-spin spherical model with mean-field interactions and Gaussian random couplings. For moderate system sizes of up to 20 spins, we obtain all stationary points of the energy landscape by means of the numerical polynomial homotopy continuation method. On the basis of these stationary points, we analyze the complexity and other quantities related to the glass transition of the model and… ▽ More We study the 3-spin spherical model with mean-field interactions and Gaussian random couplings. For moderate system sizes of up to 20 spins, we obtain all stationary points of the energy landscape by means of the numerical polynomial homotopy continuation method. On the basis of these stationary points, we analyze the complexity and other quantities related to the glass transition of the model and compare these finite-system quantities to their exact counterparts in the thermodynamic limit. △ Less

Submitted 6 March, 2013; originally announced March 2013.

Comments: 10 pages, 12 figures

Journal ref: Phys. Rev. E 87, 052143 (2013)

Certifying the Potential Energy Landscape

Authors: Dhagash Mehta, Jonathan D. Hauenstein, David J. Wales

Abstract: It is highly desirable for a numerical approximation of a stationary point for a potential energy landscape to lie in the quadratic convergence basin of that stationary point. However, it is possible that an approximation may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the actual stationary point when further optimization is attempted. Proving t… ▽ More It is highly desirable for a numerical approximation of a stationary point for a potential energy landscape to lie in the quadratic convergence basin of that stationary point. However, it is possible that an approximation may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the actual stationary point when further optimization is attempted. Proving that a numerical approximation will quadratically converge to the associated stationary point is termed certifying the numerical approximation. We employ Smale's α-theory to stationary points, providing a certification that serves as a mathematical proof that the numerical approximation does indeed correspond to an actual stationary point, independent of the precision employed. As a practical example, employing recently developed certification algorithms, we show how the α-theory can be used to certify all the known minima and transition states of Lennard-Jones LJ$_{N}$ atomic clusters for N = 7, ...,14. △ Less

Submitted 25 February, 2013; originally announced February 2013.

Comments: 4 pages

Exploring the Potential Energy Landscape Over a Large Parameter-Space

Authors: Yang-Hui He, Dhagash Mehta, Matthew Niemerg, Markus Rummel, Alexandru Valeanu

Abstract: Solving large polynomial systems with coefficient parameters are ubiquitous and constitute an important class of problems. We demonstrate the computational power of two methods--a symbolic one called the Comprehensive Gröbner basis and a numerical one called the cheater's homotopy-applied to studying both potential energy landscapes and a variety of questions arising from geometry and phenomenolog… ▽ More Solving large polynomial systems with coefficient parameters are ubiquitous and constitute an important class of problems. We demonstrate the computational power of two methods--a symbolic one called the Comprehensive Gröbner basis and a numerical one called the cheater's homotopy-applied to studying both potential energy landscapes and a variety of questions arising from geometry and phenomenology. Particular attention is paid to an example in flux compactification where important physical quantities such as the gravitino and moduli masses and the string coupling can be efficiently extracted. △ Less

Submitted 30 January, 2013; v1 submitted 5 January, 2013; originally announced January 2013.

Comments: 31 pages, 13 figures. References updated and minor typos corrected

Finding all flux vacua in an explicit example

Authors: Danny Martinez-Pedrera, Dhagash Mehta, Markus Rummel, Alexander Westphal

Abstract: We explicitly construct all supersymmetric flux vacua of a particular Calabi-Yau compactification of type IIB string theory for a small number of flux carrying cycles and a given D3-brane tadpole. The analysis is performed in the large complex structure region by using the polynomial homotopy continuation method, which allows to find all stationary points of the polynomial equations that character… ▽ More We explicitly construct all supersymmetric flux vacua of a particular Calabi-Yau compactification of type IIB string theory for a small number of flux carrying cycles and a given D3-brane tadpole. The analysis is performed in the large complex structure region by using the polynomial homotopy continuation method, which allows to find all stationary points of the polynomial equations that characterize the supersymmetric vacuum solutions. The number of vacua as a function of the D3 tadpole is in agreement with statistical studies in the literature. We calculate the available tuning of the cosmological constant from fluxes and extrapolate to scenarios with a larger number of flux carrying cycles. We also verify the range of scales for the moduli and gravitino masses recently found for a single explicit flux choice giving a Kähler uplifted de Sitter vacuum in the same construction. △ Less

Submitted 18 December, 2012; originally announced December 2012.

Comments: LaTeX, 1-32 pages, 8 figures

Report number: DESY-12-246

Exploring the energy landscape of XY models

Authors: Rachele Nerattini, Michael Kastner, Dhagash Mehta, Lapo Casetti

Abstract: We investigate the energy landscape of two- and three-dimensional XY models with nearest-neighbor interactions by analytically constructing several classes of stationary points of the Hamiltonian. These classes are analyzed, in particular with respect to possible signatures of the thermodynamic phase transitions of the models. We find that, even after explicitly breaking the global O(2) symmetry o… ▽ More We investigate the energy landscape of two- and three-dimensional XY models with nearest-neighbor interactions by analytically constructing several classes of stationary points of the Hamiltonian. These classes are analyzed, in particular with respect to possible signatures of the thermodynamic phase transitions of the models. We find that, even after explicitly breaking the global O(2) symmetry of the XY spins, an exponentially large class of stationary points are singular and occur in continuous one-parameter families. This property may complicate the use of theoretical tools developed for the investigation of phase transitions based on stationary points of the energy landscape, and we discuss strategies to avoid these difficulties. △ Less

Submitted 20 November, 2012; originally announced November 2012.

Comments: 13 pages, 6 figures

Journal ref: Physical Review E 87, 032140 (2013)

Phase structure of QC2D at high temperature and density

Authors: Seamus Cotter, Jon-Ivar Skullerud, Pietro Giudice, Simon Hands, Seyong Kim, Dhagash Mehta

Abstract: We study two-color QCD with two flavors of Wilson fermion as a function of quark chemical potential mu and temperature T. We find evidence of a superfluid phase at intermediate mu and low T where the quark number density and diquark condensate are both very well described by a Fermi sphere of nearly-free quarks disrupted by a BCS condensate. This gives way to a region of deconfined quark matter at… ▽ More We study two-color QCD with two flavors of Wilson fermion as a function of quark chemical potential mu and temperature T. We find evidence of a superfluid phase at intermediate mu and low T where the quark number density and diquark condensate are both very well described by a Fermi sphere of nearly-free quarks disrupted by a BCS condensate. This gives way to a region of deconfined quark matter at higher T and mu, with the deconfinement temperature decreasing only very slowly with increasing chemical potential. We find that heavy quarkonium bound states persist in the S-wave channels at all T and mu, with an energy reflecting the phase structure. P-wave states appear not to survive in the quarkyonic region. △ Less

Submitted 25 October, 2012; originally announced October 2012.

Comments: 7 pages, 9 eps figures, presented at Lattice 2012, Cairns, Australia

Journal ref: PoS(Lattice 2012)091

Numerical Analyses on Moduli Space of Vacua

Authors: Jonathan Hauenstein, Yang-Hui He, Dhagash Mehta

Abstract: We propose a new computational method to understand the vacuum moduli space of (supersymmetric) field theories. By combining numerical algebraic geometry (NAG) and elimination theory, we develop a powerful, efficient, and parallelizable algorithm to extract important information such as the dimension, branch structure, Hilbert series and subsequent operator counting, as well as variation according… ▽ More We propose a new computational method to understand the vacuum moduli space of (supersymmetric) field theories. By combining numerical algebraic geometry (NAG) and elimination theory, we develop a powerful, efficient, and parallelizable algorithm to extract important information such as the dimension, branch structure, Hilbert series and subsequent operator counting, as well as variation according to coupling constants and mass parameters. We illustrate this method on a host of examples from gauge theory, string theory, and algebraic geometry. △ Less

Submitted 8 January, 2013; v1 submitted 22 October, 2012; originally announced October 2012.

Comments: 31 pages, 3 figures. Results for bigger systems included and references updated

Phase Structure of Lattice N=4 Super Yang-Mills

Authors: Simon Catterall, Poul H. Damgaard, Thomas Degrand, Richard Galvez, Dhagash Mehta

Abstract: We make a first study of the phase diagram of four-dimensional N=4 super Yang-Mills theory regulated on a space-time lattice. The lattice formulation we employ is both gauge invariant and retains at all lattice spacings one exactly preserved supersymmetry charge. Our numerical results are consistent with the existence of a single deconfined phase at all observed values of the bare coupling. We make a first study of the phase diagram of four-dimensional N=4 super Yang-Mills theory regulated on a space-time lattice. The lattice formulation we employ is both gauge invariant and retains at all lattice spacings one exactly preserved supersymmetry charge. Our numerical results are consistent with the existence of a single deconfined phase at all observed values of the bare coupling. △ Less

Submitted 15 November, 2012; v1 submitted 24 September, 2012; originally announced September 2012.

Comments: 29 pages, 11 figures. References added, minor edits to text

Enumerating Gribov copies on the lattice

Authors: Ciaran Hughes, Dhagash Mehta, Jon-Ivar Skullerud

Abstract: In the modern formulation of lattice gauge-fixing, the gauge fixing condition is written in terms of the minima or stationary points (collectively called solutions) of a gauge-fixing functional. Due to the non-linearity of this functional, it usually has many solutions called Gribov copies. The dependence of the number of Gribov copies, n[U] on the different gauge orbits plays an important role in… ▽ More In the modern formulation of lattice gauge-fixing, the gauge fixing condition is written in terms of the minima or stationary points (collectively called solutions) of a gauge-fixing functional. Due to the non-linearity of this functional, it usually has many solutions called Gribov copies. The dependence of the number of Gribov copies, n[U] on the different gauge orbits plays an important role in constructing the Faddeev-Popov procedure and hence in realising the BRST symmetry on the lattice. Here, we initiate a study of counting n[U] for different orbits using three complimentary methods: 1. analytical results in lower dimensions, and some lower bounds on n[U] in higher dimensions, 2. the numerical polynomial homotopy continuation method, which numerically finds all Gribov copies for a given orbit for small lattices, and 3. numerical minimisation ("brute force"), which finds many distinct Gribov copies, but not necessarily all. Because n for the coset SU(N_c)/U(1) of an SU(N_c) theory is orbit-independent, we concentrate on the residual compact U(1) case in this article and establish that n is orbit-dependent for the minimal lattice Landau gauge and orbit-independent for the absolute lattice Landau gauge. We also observe that contrary to a previous claim, n is not exponentially suppressed for the recently proposed stereographic lattice Landau gauge compared to the naive gauge in more than one dimension. △ Less

Submitted 5 February, 2013; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: 39 pages, 15 eps figures. Published version: minor changes only

Report number: INT-PUB-12-015

Journal ref: Annals of Physics 331 (2013) 188-215

Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories

Authors: Dhagash Mehta, Yang-Hui He, Jonathan D. Hauenstein

Abstract: The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gröbner) methods are severely limited by algorithmic issues such as exponential space complexity and being highly sequential. In this paper, we introduce a novel paradigm of numerical algebraic geometry which in a plethora of s… ▽ More The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gröbner) methods are severely limited by algorithmic issues such as exponential space complexity and being highly sequential. In this paper, we introduce a novel paradigm of numerical algebraic geometry which in a plethora of situations overcomes these short-comings. Its so-called 'embarrassing parallelizability' allows us to solve many problems and extract physical information which elude the symbolic methods. We describe the method and then use it to solve various problems arising from physics which could not be otherwise solved. △ Less

Submitted 19 March, 2012; originally announced March 2012.

Comments: 36 pages

Minimizing Higgs Potentials via Numerical Polynomial Homotopy Continuation

Authors: Markos Maniatis, Dhagash Mehta

Abstract: The study of models with extended Higgs sectors requires to minimize the corresponding Higgs potentials, which is in general very difficult. Here, we apply a recently developed method, called numerical polynomial homotopy continuation (NPHC), which guarantees to find all the stationary points of the Higgs potentials with polynomial-like nonlinearity. The detection of all stationary points reveals… ▽ More The study of models with extended Higgs sectors requires to minimize the corresponding Higgs potentials, which is in general very difficult. Here, we apply a recently developed method, called numerical polynomial homotopy continuation (NPHC), which guarantees to find all the stationary points of the Higgs potentials with polynomial-like nonlinearity. The detection of all stationary points reveals the structure of the potential with maxima, metastable minima, saddle points besides the global minimum. We apply the NPHC method to the most general Higgs potential having two complex Higgs-boson doublets and up to five real Higgs-boson singlets. Moreover the method is applicable to even more involved potentials. Hence the NPHC method allows to go far beyond the limits of the Gröbner basis approach. △ Less

Submitted 2 March, 2012; originally announced March 2012.

Comments: 9 pages, 4 figures

Report number: BI-TP 2012/08

Energy landscape analysis of the two-dimensional nearest-neighbor φ^4 model

Authors: Dhagash Mehta, Jonathan D. Hauenstein, Michael Kastner

Abstract: The stationary points of the potential energy function of the φ^4 model on a two-dimensional square lattice with nearest-neighbor interactions are studied by means of two numerical methods: a numerical homotopy continuation method and a globally-convergent Newton-Raphson method. We analyze the properties of the stationary points, in particular with respect to a number of quantities that have been… ▽ More The stationary points of the potential energy function of the φ^4 model on a two-dimensional square lattice with nearest-neighbor interactions are studied by means of two numerical methods: a numerical homotopy continuation method and a globally-convergent Newton-Raphson method. We analyze the properties of the stationary points, in particular with respect to a number of quantities that have been conjectured to display signatures of the thermodynamic phase transition of the model. Although no such signatures are found for the nearest-neighbor φ^4 model, our study illustrates the strengths and weaknesses of the numerical methods employed. △ Less

Submitted 11 June, 2012; v1 submitted 15 February, 2012; originally announced February 2012.

Comments: 11 pages, 6 figures

Journal ref: Phys. Rev. E 85, 061103 (2012)

Small Quadrupole Deformation for the Dipole Bands in 112In

Authors: T. Trivedi, R. Palit, J. Sethi, S. Saha, S. Kumar, Z. Naik, V. V. Parkar, B. S. Naidu, A. Y. Deo, A. Raghav, P. K. Joshi, H. C. Jain, S. Sihotra, D. Mehta, A. K. Jain, D. Choudhury, D. Negi, S. Roy, S. Chattopadhyay, A. K. Singh, P. Singh, D. C. Biswas, R. K. Bhowmik, S. Muralithar, R. P. Singh , et al. (2 additional authors not shown)

Abstract: High spin states in $^{112}$In were investigated using $^{100}$Mo($^{16}$O, p3n) reaction at 80 MeV. The excited level have been observed up to 5.6 MeV excitation energy and spin $\sim$ 20$\hbar$ with the level scheme showing three dipole bands. The polarization and lifetime measurements were carried out for the dipole bands. Tilted axis cranking model calculations were performed for different qua… ▽ More High spin states in $^{112}$In were investigated using $^{100}$Mo($^{16}$O, p3n) reaction at 80 MeV. The excited level have been observed up to 5.6 MeV excitation energy and spin $\sim$ 20$\hbar$ with the level scheme showing three dipole bands. The polarization and lifetime measurements were carried out for the dipole bands. Tilted axis cranking model calculations were performed for different quasi-particle configurations of this doubly odd nucleus. Comparison of the calculations of the model with the B(M1) transition strengths of the positive and negative parity bands firmly established their configurations. △ Less

Submitted 23 January, 2012; originally announced January 2012.

Comments: 10 pages, 11 figures, 2 tables

Investigating the sign problem for two-dimensional $\mathcal{N}=(2,2)$ and $\mathcal{N}=(8,8)$ lattice super Yang--Mills theories

Authors: Richard Galvez, Simon Catterall, Anosh Joseph, Dhagash Mehta

Abstract: Recently there has been some controversy in the literature concerning the existence of a fermion sign problem in the $\mathcal{N}=(2,2)$ supersymmetric Yang--Mills (SYM) theories on the lattice. In this work, we address this issue by conducting Monte Carlo simulations not only for $\mathcal{N}=(2,2)$ but also for $\mathcal{N}=(8,8)$ SYM in two dimensions for the U(N) theories with N=2, using the n… ▽ More Recently there has been some controversy in the literature concerning the existence of a fermion sign problem in the $\mathcal{N}=(2,2)$ supersymmetric Yang--Mills (SYM) theories on the lattice. In this work, we address this issue by conducting Monte Carlo simulations not only for $\mathcal{N}=(2,2)$ but also for $\mathcal{N}=(8,8)$ SYM in two dimensions for the U(N) theories with N=2, using the new ideas derived from topological twisting followed by geometric discretization. Our results from simulations provide the evidence that these theories do {\it not} suffer from a sign problem as the continuum limit is approached. These results thus boost confidence that these new lattice formulations can be used successfully to explore the nonperturbative aspects of the four-dimensional $\mathcal{N}=4$ SYM theory. △ Less

Submitted 9 January, 2012; originally announced January 2012.

Comments: 7 pages, 4 figures, Proceedings of the XXIX International Symposium on Lattice Field Theory - Lattice 2011, July 10-16, 2011, Squaw Valley, Lake Tahoe, California, USA

Report number: LA-UR-11-12253

Supersymmetric gauge theories on the lattice: Pfaffian phases and the Neuberger 0/0 problem

Authors: Dhagash Mehta, Simon Catterall, Richard Galvez, Anosh Joseph

Abstract: Recently a class of supersymmetric gauge theories have been successfully implemented on the lattice. However, there has been an ongoing debate on whether lattice versions of some of these theories suffer from a sign problem, with independent simulations for the ${\cal N} = (2, 2)$ supersymmetric Yang-Mills theories in two dimensions yielding seemingly contradictory results. Here, we address this i… ▽ More Recently a class of supersymmetric gauge theories have been successfully implemented on the lattice. However, there has been an ongoing debate on whether lattice versions of some of these theories suffer from a sign problem, with independent simulations for the ${\cal N} = (2, 2)$ supersymmetric Yang-Mills theories in two dimensions yielding seemingly contradictory results. Here, we address this issue from an interesting theoretical point of view. We conjecture that the sign problem observed in some of the simulations is related to the so called Neuberger 0/0 problem, which arises in ordinary non-supersymmetric lattice gauge theories, and prevents the realization of Becchi-Rouet-Stora-Tyutin symmetry on the lattice. After discussing why we expect a sign problem in certain classes of supersymmetric lattice gauge theories far from the continuum limit, we argue that these problems can be evaded by use of a non-compact parametrization of the gauge link fields. △ Less

Submitted 22 December, 2011; originally announced December 2011.

Comments: 7 pages, 4 figures. Proceedings of the XXIX International Symposium on Lattice Field Theory - Lattice 2011, July 10-16, 2011, Squaw Valley, Lake Tahoe, California

Report number: LA-UR-11-12297

On the sign problem in 2D lattice super Yang--Mills

Authors: Simon Catterall, Richard Galvez, Anosh Joseph, Dhagash Mehta

Abstract: In recent years a new class of supersymmetric lattice theories have been proposed which retain one or more exact supersymmetries for non-zero lattice spacing. Recently there has been some controversy in the literature concerning whether these theories suffer from a sign problem. In this paper we address this issue by conducting simulations of the N=(2, 2) and N=(8, 8) supersymmetric Yang--Mills th… ▽ More In recent years a new class of supersymmetric lattice theories have been proposed which retain one or more exact supersymmetries for non-zero lattice spacing. Recently there has been some controversy in the literature concerning whether these theories suffer from a sign problem. In this paper we address this issue by conducting simulations of the N=(2, 2) and N=(8, 8) supersymmetric Yang--Mills theories in two dimensions for the U(N) theories with N=2,3,4, using the new twisted lattice formulations. Our results provide evidence that these theories do not suffer from a sign problem in the continuum limit. These results thus boost confidence that the new lattice formulations can be used successfully to explore non-perturbative aspects of four-dimensional N=4 supersymmetric Yang--Mills theory. △ Less

Submitted 15 December, 2011; originally announced December 2011.

Comments: 22 pages, 12 figures

Supersymmetric lattice fermions on the triangular lattice: superfrustration and criticality

Authors: L. Huijse, D. Mehta, N. Moran, K. Schoutens, J. Vala

Abstract: We study a model for itinerant, strongly interacting fermions where a judicious tuning of the interactions leads to a supersymmetric Hamiltonian. On the triangular lattice this model is known to exhibit a property called superfrustration, which is characterized by an extensive ground state entropy. Using a combination of numerical and analytical methods we study various ladder geometries obtained… ▽ More We study a model for itinerant, strongly interacting fermions where a judicious tuning of the interactions leads to a supersymmetric Hamiltonian. On the triangular lattice this model is known to exhibit a property called superfrustration, which is characterized by an extensive ground state entropy. Using a combination of numerical and analytical methods we study various ladder geometries obtained by imposing doubly periodic boundary conditions on the triangular lattice. We compare our results to various bounds on the ground state degeneracy obtained in the literature. For all systems we find that the number of ground states grows exponentially with system size. For two of the models that we study we obtain the exact number of ground states by solving the cohomology problem. For one of these, we find that via a sequence of map**s the entire spectrum can be understood. It exhibits a gapped phase at 1/4 filling and a gapless phase at 1/6 filling and phase separation at intermediate fillings. The gapless phase separates into an exponential number of sectors, where the continuum limit of each sector is described by a superconformal field theory. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Comments: 50 pages, 12 figures, 2 appendices

Journal ref: New J. Phys. 14, 073002 (2012)

Non-abelian gauged NJL models on the lattice

Authors: Simon Catterall, Richard Galvez, Jay Hubisz, Dhagash Mehta, Aarti Veernala

Abstract: We use Monte Carlo simulation to probe the phase structure of a SU(2) gauge theory containing $N_f$ Dirac fermion flavors transforming in the fundamental representation of the group and interacting through an additional four fermion term. Pairs of physical flavors are implemented using the two tastes present in a reduced staggered fermion formulation of the theory. The resultant lattice theory is… ▽ More We use Monte Carlo simulation to probe the phase structure of a SU(2) gauge theory containing $N_f$ Dirac fermion flavors transforming in the fundamental representation of the group and interacting through an additional four fermion term. Pairs of physical flavors are implemented using the two tastes present in a reduced staggered fermion formulation of the theory. The resultant lattice theory is invariant under a set of shift symmetries which correspond to a discrete subgroup of the continuum chiral-flavor symmetry. The pseudoreal character of the representation guarantees that the theory has no sign problem. For the case of $N_f=4$ we observe a crossover in the behavior of the chiral condensate for strong four fermi coupling associated with the generation of a dynamical mass for the fermions. At weak gauge coupling this crossover is consistent with the usual continuous phase transition seen in the pure (ungauged) NJL model. However, if the gauge coupling is strong enough to cause confinement we observe a much more rapid crossover in the chiral condensate consistent with a first order phase transition △ Less

Submitted 26 April, 2012; v1 submitted 8 December, 2011; originally announced December 2011.

Comments: 8 pages, 7 figures. Substantial revision with new numerical results and significant changes to text

A Combinatorial Optimisation Approach to Designing Dual-Parented Long-Reach Passive Optical Networks

Authors: Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle

Abstract: We present an application focused on the design of resilient long-reach passive optical networks. We specifically consider dual-parented networks whereby each customer must be connected to two metro sites via local exchange sites. An important property of such a placement is resilience to single metro node failure. The objective of the application is to determine the optimal position of a set of m… ▽ More We present an application focused on the design of resilient long-reach passive optical networks. We specifically consider dual-parented networks whereby each customer must be connected to two metro sites via local exchange sites. An important property of such a placement is resilience to single metro node failure. The objective of the application is to determine the optimal position of a set of metro nodes such that the total optical fibre length is minimized. We prove that this problem is NP-Complete. We present two alternative combinatorial optimisation approaches to finding an optimal metro node placement using: a mixed integer linear programming (MIP) formulation of the problem; and, a hybrid approach that uses clustering as a preprocessing step. We consider a detailed case-study based on a network for Ireland. The hybrid approach scales well and finds solutions that are close to optimal, with a runtime that is two orders-of-magnitude better than the MIP model. △ Less

Submitted 6 September, 2011; originally announced September 2011.

Comments: University of Ulster, Intelligent System Research Centre, technical report series. ISSN 2041-6407

Journal ref: Proceedings of the 22nd Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2011), pp. 26-35, Derry, UK

Phase transitions detached from stationary points of the energy landscape

Authors: Michael Kastner, Dhagash Mehta

Abstract: The stationary points of the potential energy function V are studied for the φ^4 model on a two-dimensional square lattice with nearest-neighbor interactions. On the basis of analytical and numerical results, we explore the relation of stationary points to the occurrence of thermodynamic phase transitions. We find that the phase transition potential energy of the φ^4 model does in general not coin… ▽ More The stationary points of the potential energy function V are studied for the φ^4 model on a two-dimensional square lattice with nearest-neighbor interactions. On the basis of analytical and numerical results, we explore the relation of stationary points to the occurrence of thermodynamic phase transitions. We find that the phase transition potential energy of the φ^4 model does in general not coincide with the potential energy of any of the stationary points of V. This disproves earlier, allegedly rigorous, claims in the literature on necessary conditions for the existence of phase transitions. Moreover, we find evidence that the indices of stationary points scale extensively with the system size, and therefore the index density can be used to characterize features of the energy landscape in the infinite-system limit. We conclude that the finite-system stationary points provide one possible mechanism of how a phase transition can arise, but not the only one. △ Less

Submitted 13 October, 2011; v1 submitted 11 August, 2011; originally announced August 2011.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 107, 160602 (2011)

Numerical Polynomial Homotopy Continuation Method and String Vacua

Authors: Dhagash Mehta

Abstract: Finding vacua for the four dimensional effective theories for supergravity which descend from flux compactifications and analyzing them according to their stability is one of the central problems in string phenomenology. Except for some simple toy models, it is, however, difficult to find all the vacua analytically. Recently developed algorithmic methods based on symbolic computer algebra can be o… ▽ More Finding vacua for the four dimensional effective theories for supergravity which descend from flux compactifications and analyzing them according to their stability is one of the central problems in string phenomenology. Except for some simple toy models, it is, however, difficult to find all the vacua analytically. Recently developed algorithmic methods based on symbolic computer algebra can be of great help in the more realistic models. However, they suffer from serious algorithmic complexities and are limited to small system sizes. In this article, we review a numerical method called the numerical polynomial homotopy continuation (NPHC) method, first used in the areas of lattice field theories, which by construction finds \textit{all} of the vacua of a given potential that is known to have only isolated solutions. The NPHC method is known to suffer from no major algorithmic complexities and is \textit{embarrassingly parallelizable}, and hence its applicability goes way beyond the existing symbolic methods. We first solve a simple toy model as a warm up example to demonstrate the NPHC method at work and compare the results with the available results from the symbolic methods. We then show that all the vacua of a more complicated model of M theory compactified on the coset $\frac{SU(3)\times U(1)}{U(1)\times U(1)}$, which has an SU(3) structure, can be obtained by the NPHC method using a desktop machine in just about one hour, a feat which was reported to be prohibitively difficult by the existing symbolic methods. Finally, we compare the various technicalities between the two methods. △ Less

Submitted 14 December, 2011; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: 19 pages. Published in the Special Issue on Computational Algebraic Geometry in String and Gauge Theory: Advances in High Energy Physics Volume 2011 (2011)