-
Learning to be Simple
Authors:
Yang-Hui He,
Vishnu Jejjala,
Challenger Mishra,
Em Sharnoff
Abstract:
In this work we employ machine learning to understand structured mathematical data involving finite groups and derive a theorem about necessary properties of generators of finite simple groups. We create a database of all 2-generated subgroups of the symmetric group on n-objects and conduct a classification of finite simple groups among them using shallow feed-forward neural networks. We show that…
▽ More
In this work we employ machine learning to understand structured mathematical data involving finite groups and derive a theorem about necessary properties of generators of finite simple groups. We create a database of all 2-generated subgroups of the symmetric group on n-objects and conduct a classification of finite simple groups among them using shallow feed-forward neural networks. We show that this neural network classifier can decipher the property of simplicity with varying accuracies depending on the features. Our neural network model leads to a natural conjecture concerning the generators of a finite simple group. We subsequently prove this conjecture. This new toy theorem comments on the necessary properties of generators of finite simple groups. We show this explicitly for a class of sporadic groups for which the result holds. Our work further makes the case for a machine motivated study of algebraic structures in pure mathematics and highlights the possibility of generating new conjectures and theorems in mathematics with the aid of machine learning.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Products of conjugacy classes in $\text{SL}_2(k)$ and $\text{PSL}_2(k)$
Authors:
Harish Kishnani,
Rijubrata Kundu,
Sumit Chandra Mishra
Abstract:
Let $k$ be a field with $u$-invariant $\leq2$. Assume further that $k$ is not quadratically closed, $\mathsf{char}(k)\neq 2$ and $|k|\geq 5$. It is known that the covering number of both $\text{SL}_2(k)$ and $\text{PSL}_2(k)$ is three, while their extended covering number is four. In this article, we completely describe the product of two conjugacy classes in $\text{SL}_2(k)$ and…
▽ More
Let $k$ be a field with $u$-invariant $\leq2$. Assume further that $k$ is not quadratically closed, $\mathsf{char}(k)\neq 2$ and $|k|\geq 5$. It is known that the covering number of both $\text{SL}_2(k)$ and $\text{PSL}_2(k)$ is three, while their extended covering number is four. In this article, we completely describe the product of two conjugacy classes in $\text{SL}_2(k)$ and $\text{PSL}_2(k)$. Further, we also describe the product of three conjugacy classes (at least two of which are distinct) in $\text{SL}_2(k)$ and $\text{PSL}_2(k)$.
△ Less
Submitted 4 July, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
A ruled residue theorem for function fields of elliptic curves
Authors:
Karim Johannes Becher,
Parul Gupta,
Sumit Chandra Mishra
Abstract:
It is shown that a valuation of residue characteristic different from $2$ and $3$ on a field $E$ has at most one extension to the function field of an elliptic curve over $E$, for which the residue field extension is transcendental but not ruled. The cases where such an extension is present are characterised.
It is shown that a valuation of residue characteristic different from $2$ and $3$ on a field $E$ has at most one extension to the function field of an elliptic curve over $E$, for which the residue field extension is transcendental but not ruled. The cases where such an extension is present are characterised.
△ Less
Submitted 29 June, 2023; v1 submitted 3 March, 2023;
originally announced March 2023.
-
Machine Learned Calabi-Yau Metrics and Curvature
Authors:
Per Berglund,
Giorgi Butbaia,
Tristan Hübsch,
Vishnu Jejjala,
Damián Mayorga Peña,
Challenger Mishra,
Justin Tan
Abstract:
Finding Ricci-flat (Calabi-Yau) metrics is a long standing problem in geometry with deep implications for string theory and phenomenology. A new attack on this problem uses neural networks to engineer approximations to the Calabi-Yau metric within a given Kähler class. In this paper we investigate numerical Ricci-flat metrics over smooth and singular K3 surfaces and Calabi-Yau threefolds. Using th…
▽ More
Finding Ricci-flat (Calabi-Yau) metrics is a long standing problem in geometry with deep implications for string theory and phenomenology. A new attack on this problem uses neural networks to engineer approximations to the Calabi-Yau metric within a given Kähler class. In this paper we investigate numerical Ricci-flat metrics over smooth and singular K3 surfaces and Calabi-Yau threefolds. Using these Ricci-flat metric approximations for the Cefalú family of quartic twofolds and the Dwork family of quintic threefolds, we study characteristic forms on these geometries. We observe that the numerical stability of the numerically computed topological characteristic is heavily influenced by the choice of the neural network model, in particular, we briefly discuss a different neural network model, namely Spectral networks, which correctly approximate the topological characteristic of a Calabi-Yau. Using persistent homology, we show that high curvature regions of the manifolds form clusters near the singular points. For our neural network approximations, we observe a Bogomolov--Yau type inequality $3c_2 \geq c_1^2$ and observe an identity when our geometries have isolated $A_1$ type singularities. We sketch a proof that $χ(X~\smallsetminus~\mathrm{Sing}\,{X}) + 2~|\mathrm{Sing}\,{X}| = 24$ also holds for our numerical approximations.
△ Less
Submitted 6 June, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
Alternating groups as products of cycle classes - II
Authors:
Harish Kishnani,
Rijubrata Kundu,
Sumit Chandra Mishra
Abstract:
Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev conjectured that $\lfloor \frac{2kl}{3} \rfloor \leq n(k,l)\leq \lfloor \frac{2kl}{3}\rfloor+1$. It is known that the conjecture holds when $k=2,3,4$. Moreover, it is also true w…
▽ More
Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev conjectured that $\lfloor \frac{2kl}{3} \rfloor \leq n(k,l)\leq \lfloor \frac{2kl}{3}\rfloor+1$. It is known that the conjecture holds when $k=2,3,4$. Moreover, it is also true when $3\mid l$. In this article, we determine the exact value of $n(k,l)$ when $3\nmid l$ and $k\geq 5$. As an immediate consequence, we get that $n(k,l)<\lfloor \frac{2kl}{3}\rfloor$ when $k\geq 5$, which shows that the above conjecture is not true in general. In fact, the difference between the exact value of $n(k,l)$ and the conjectured value grows linearly in terms of $k$. Our results also generalize the case of $k=2,3,4$.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Alternating groups as products of cycle classes
Authors:
Harish Kishnani,
Rijubrata Kundu,
Sumit Chandra Mishra
Abstract:
Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev proved that if $k,l$ both are odd, $3\mid l$ and $l>3$, then $n(k,l)=\frac{2}{3}kl$. They further conjectured that if $k$ is even and $3\mid l$, then $n(k,l)=\frac{2}{3}kl+1$. In…
▽ More
Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev proved that if $k,l$ both are odd, $3\mid l$ and $l>3$, then $n(k,l)=\frac{2}{3}kl$. They further conjectured that if $k$ is even and $3\mid l$, then $n(k,l)=\frac{2}{3}kl+1$. In this article, we prove this conjecture. We also prove that $n(k,3)=2k+1$ if $k$ is odd.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Local-global principles for multinorm tori over semi-global fields
Authors:
Sumit Chandra Mishra
Abstract:
Let $K$ be a complete discretely valued field with the residue field $κ$. Assume that cohomological dimension of $κ$ is less than or equal to $1$ (for example, $κ$ is an algebraically closed field or a finite field). Let $F$ be the function field of a curve over $K$. Let $n$ be a squarefree positive integer not divisible by char$(κ)$. Then for any two degree $n$ abelian extensions, we prove that t…
▽ More
Let $K$ be a complete discretely valued field with the residue field $κ$. Assume that cohomological dimension of $κ$ is less than or equal to $1$ (for example, $κ$ is an algebraically closed field or a finite field). Let $F$ be the function field of a curve over $K$. Let $n$ be a squarefree positive integer not divisible by char$(κ)$. Then for any two degree $n$ abelian extensions, we prove that the local-global principle holds for the associated multinorm torus with respect to discrete valuations. Let $\mathscr{X}$ be a regular proper model of $F$ such that the reduced special fibre $X$ is a union of regular curves with normal crossings. Suppose that $κ$ is algebraically closed with $char(κ)\neq 2$. If the graph associated to $\mathscr{X}$ is a tree (e.g. $F = K(t)$) then we show that the same local-global principle holds for the multinorm torus associated to finitely many abelian extensions where one of the extensions is quadratic and others are of degree not divisible by $4$.
△ Less
Submitted 4 July, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Counterexamples to a conjecture of M. Pellegrini and P. Shumyatsky
Authors:
Rijubrata Kundu,
Sumit Chandra Mishra
Abstract:
In this article, we provide counterexamples to a conjecture of M. Pellegrini and P. Shumyatsky which states that each coset of the centralizer of an involution in a finite non-abelian simple group $G$ contains an odd order element, unless $G=\text{PSL}(n,2)$ for $n\geq 4$. More precisely, we show that the conjecture does not hold for the alternating group $A_{8n}$ for all $n\geq 2$.
In this article, we provide counterexamples to a conjecture of M. Pellegrini and P. Shumyatsky which states that each coset of the centralizer of an involution in a finite non-abelian simple group $G$ contains an odd order element, unless $G=\text{PSL}(n,2)$ for $n\geq 4$. More precisely, we show that the conjecture does not hold for the alternating group $A_{8n}$ for all $n\geq 2$.
△ Less
Submitted 6 June, 2022; v1 submitted 5 March, 2022;
originally announced March 2022.
-
Neural Network Approximations for Calabi-Yau Metrics
Authors:
Vishnu Jejjala,
Damian Kaloni Mayorga Pena,
Challenger Mishra
Abstract:
Ricci flat metrics for Calabi-Yau threefolds are not known analytically. In this work, we employ techniques from machine learning to deduce numerical flat metrics for the Fermat quintic, for the Dwork quintic, and for the Tian-Yau manifold. This investigation employs a single neural network architecture that is capable of approximating Ricci flat Kaehler metrics for several Calabi-Yau manifolds of…
▽ More
Ricci flat metrics for Calabi-Yau threefolds are not known analytically. In this work, we employ techniques from machine learning to deduce numerical flat metrics for the Fermat quintic, for the Dwork quintic, and for the Tian-Yau manifold. This investigation employs a single neural network architecture that is capable of approximating Ricci flat Kaehler metrics for several Calabi-Yau manifolds of dimensions two and three. We show that measures that assess the Ricci flatness of the geometry decrease after training by three orders of magnitude. This is corroborated on the validation set, where the improvement is more modest. Finally, we demonstrate that discrete symmetries of manifolds can be learned in the process of learning the metric.
△ Less
Submitted 27 January, 2021; v1 submitted 31 December, 2020;
originally announced December 2020.
-
Critical Clearing Time Sensitivity for Differential-Algebraic Power System Model
Authors:
Chetan Mishra
Abstract:
Standard power systems are modeled using differential-algebraic equations (DAE). Following a transient event, voltage collapse can occur as a bifurcation of the transient load flow solutions which is marked by the system trajectory reaching a singular surface in state space where the voltage causality is lost. If the system is under such a risk, preventive control decisions such as changes in AVR…
▽ More
Standard power systems are modeled using differential-algebraic equations (DAE). Following a transient event, voltage collapse can occur as a bifurcation of the transient load flow solutions which is marked by the system trajectory reaching a singular surface in state space where the voltage causality is lost. If the system is under such a risk, preventive control decisions such as changes in AVR setpoints need to be taken to enhance the stability. In this regard, the knowledge of sensitivity of critical clearing time (CCT) to controllable system parameters can be of great help. The stability boundary of DAE systems is more complicated than ODE systems where in addition to stable manifolds of unstable equilibrium points (UEP) and periodic orbits, singular surfaces play an important role. In the present work, we derive the expressions for CCT sensitivity for a generic DAE model using trajectory sensitivities with applications to power system transient stability analysis (TSA) and preventive control. The results are illustrated for multiple test systems which are then validated against computationally intensive time-domain simulations (TDS).
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Optimal BESS Allocation in Large Transmission Networks Using Linearized BESS Models
Authors:
Malhar Padhee,
Anamitra Pal,
Chetan Mishra,
Sachin Soni
Abstract:
The most commonly used model for battery energy storage systems (BESSs) in optimal BESS allocation problems is a constant-efficiency model. However, the charging and discharging efficiencies of BESSs vary non-linearly as functions of their state-of-charge, temperature, charging/discharging powers, as well as the BESS technology being considered. Therefore, constant-efficiency models may inaccurate…
▽ More
The most commonly used model for battery energy storage systems (BESSs) in optimal BESS allocation problems is a constant-efficiency model. However, the charging and discharging efficiencies of BESSs vary non-linearly as functions of their state-of-charge, temperature, charging/discharging powers, as well as the BESS technology being considered. Therefore, constant-efficiency models may inaccurately represent the non-linear operating characteristics of the BESS. In this paper, we first create technology-specific linearized BESS models derived from the actual non-linear BESS models. We then incorporate the linearized BESS models into a mixed-integer linear programming framework for optimal multi-technology BESS allocation. Studies carried out on a 2,604-bus U.S. transmission network demonstrate the benefits of utilizing the linearized BESS models from the model accuracy, convexity, and computational performance viewpoints.
△ Less
Submitted 26 May, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Critical Clearing Time Sensitivity for Inequality Constrained Systems
Authors:
Chetan Mishra,
Reetam Sen Biswas,
Anamitra Pal,
Virgilio A. Centeno
Abstract:
With the growth of renewable generation (RG) and the development of associated ride through curves serving as operating limits, during disturbances, on violation of these limits, the power system is at risk of losing large amounts of generation. In order to identify preventive control measures that avoid such scenarios from manifesting, the power system must be modeled as a constrained dynamical s…
▽ More
With the growth of renewable generation (RG) and the development of associated ride through curves serving as operating limits, during disturbances, on violation of these limits, the power system is at risk of losing large amounts of generation. In order to identify preventive control measures that avoid such scenarios from manifesting, the power system must be modeled as a constrained dynamical system. For such systems, the interplay of feasibility region (man-made limits) and stability region (natural dynamical system response) results in a positively invariant region in state space known as the constrained stability region (CSR). After the occurrence of a disturbance, as it is desirable for the system trajectory to lie within the CSR, critical clearing time (CCT) must be defined with respect to the CSR instead of the stability region as is done traditionally. The sensitivity of CCT to system parameters of constrained systems then becomes beneficial for planning/revising protection settings (which impact feasible region) and/or operation (which impact dynamics). In this paper, we derive the first order CCT sensitivity of generic constrained power systems using the efficient power system trajectory sensitivity computation, pioneered by Hiskens in [1]. The results are illustrated for a single-machine infinite-bus (SMIB) system as well as a multi-machine system in order to gain meaningful insight into the dependence between ability to meet constraints, system stability, and changes occurring in power system parameters, such as, mechanical power input and inertia.
△ Less
Submitted 17 September, 2019; v1 submitted 14 September, 2019;
originally announced September 2019.
-
A Fixed-Flexible BESS Allocation Scheme for Transmission Networks Considering Uncertainties
Authors:
Malhar Padhee,
Anamitra Pal,
Chetan Mishra,
Katelynn A. Vance
Abstract:
Battery energy storage systems (BESSs) can play a key role in mitigating the intermittency and uncertainty associated with adding large amounts of renewable energy to the bulk power system (BPS). Two BESS technologies that have gained prominence in this regard are Lithium-ion (LI) BESS and Vanadium redox flow (VRF) BESS. This paper proposes a fixed-flexible BESS allocation scheme that exploits the…
▽ More
Battery energy storage systems (BESSs) can play a key role in mitigating the intermittency and uncertainty associated with adding large amounts of renewable energy to the bulk power system (BPS). Two BESS technologies that have gained prominence in this regard are Lithium-ion (LI) BESS and Vanadium redox flow (VRF) BESS. This paper proposes a fixed-flexible BESS allocation scheme that exploits the complementary characteristics of LI and VRF BESSs to attain optimal techno-economic benefits in a wind-integrated BPS. Studies carried out on relatively large transmission networks demonstrate that benefits such as reduction in system operation cost, wind spillage, voltage fluctuations, and discounted payback period, can be realized by using the proposed scheme.
△ Less
Submitted 24 July, 2020; v1 submitted 18 May, 2019;
originally announced May 2019.
-
Local-global principles for norm one tori over semi-global fields
Authors:
Sumit Chandra Mishra
Abstract:
Let K be a complete discretely valued field with residue field k and F be a function field of a curve over K. Let L/F be a Galois extension of degree n. If n is coprime to char(k), then under some assumptions on k(e.g. k is algebraically closed or a finite field) and on the geometry of the curve, we show that there is a local-global principle with respect to discrete valuations for the norms from…
▽ More
Let K be a complete discretely valued field with residue field k and F be a function field of a curve over K. Let L/F be a Galois extension of degree n. If n is coprime to char(k), then under some assumptions on k(e.g. k is algebraically closed or a finite field) and on the geometry of the curve, we show that there is a local-global principle with respect to discrete valuations for the norms from the extension L/F.
△ Less
Submitted 26 June, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Critical Clearing Time Sensitivity for Inequality Constrained Systems
Authors:
Chetan Mishra,
Anamitra Pal,
Virgilio A. Centeno
Abstract:
From a stability perspective, a renewable generation (RG)-rich power system is a constrained system. As the quasistability boundary of a constrained system is structurally very different from that of an unconstrained system, finding the sensitivity of critical clearing time (CCT) to change in system parameters is very beneficial for a constrained power system, especially for planning/revising cons…
▽ More
From a stability perspective, a renewable generation (RG)-rich power system is a constrained system. As the quasistability boundary of a constrained system is structurally very different from that of an unconstrained system, finding the sensitivity of critical clearing time (CCT) to change in system parameters is very beneficial for a constrained power system, especially for planning/revising constraints arising from system protection settings. In this paper, we derive the first order sensitivity of a constrained power system using trajectory sensitivities of fault-on and post-fault trajectories. The results for the test system demonstrate the dependence between ability to meet angle and frequency constraints, and change in power system parameters such as operating conditions and inertia.
△ Less
Submitted 23 February, 2019;
originally announced February 2019.
-
Machine Learning CICY Threefolds
Authors:
Kieran Bull,
Yang-Hui He,
Vishnu Jejjala,
Challenger Mishra
Abstract:
The latest techniques from Neural Networks and Support Vector Machines (SVM) are used to investigate geometric properties of Complete Intersection Calabi-Yau (CICY) threefolds, a class of manifolds that facilitate string model building. An advanced neural network classifier and SVM are employed to (1) learn Hodge numbers and report a remarkable improvement over previous efforts, (2) query for favo…
▽ More
The latest techniques from Neural Networks and Support Vector Machines (SVM) are used to investigate geometric properties of Complete Intersection Calabi-Yau (CICY) threefolds, a class of manifolds that facilitate string model building. An advanced neural network classifier and SVM are employed to (1) learn Hodge numbers and report a remarkable improvement over previous efforts, (2) query for favourability, and (3) predict discrete symmetries, a highly imbalanced problem to which both Synthetic Minority Oversampling Technique (SMOTE) and permutations of the CICY matrix are used to decrease the class imbalance and improve performance. In each case study, we employ a genetic algorithm to optimise the hyperparameters of the neural network. We demonstrate that our approach provides quick diagnostic tools capable of shortlisting quasi-realistic string models based on compactification over smooth CICYs and further supports the paradigm that classes of problems in algebraic geometry can be machine learned.
△ Less
Submitted 31 July, 2018; v1 submitted 8 June, 2018;
originally announced June 2018.
-
Transient Stability Assessment of Cascade Trip** of Renewable Sources Using SOS
Authors:
Chetan Mishra,
James S. Thorp,
Anamitra Pal,
Virgilio A. Centeno
Abstract:
There has been significant increase in penetration of renewable generation (RG) sources all over the world. Localized concentration of many such generators could initiate a cascade trip** sequence that might threaten the stability of the entire system. Understanding the impact of cascade trip** process would help the system planner identify trip sequences that must be blocked in order to incre…
▽ More
There has been significant increase in penetration of renewable generation (RG) sources all over the world. Localized concentration of many such generators could initiate a cascade trip** sequence that might threaten the stability of the entire system. Understanding the impact of cascade trip** process would help the system planner identify trip sequences that must be blocked in order to increase stability. In this work, we attempt to understand the consequences of cascade trip** mechanism through a Lyapunov approach. A conservative definition for the stability region (SR) along with its estimation for a given cascading sequence using sum of squares (SOS) programming is proposed. Finally, a simple probabilistic definition of the SR is used to visualize the risk of instability and understand the impact of blocking trip sequences. A 3-machine system with significant RG penetration is used to demonstrate the idea.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Estimating Relevant Portion of Stability Region using Lyapunov Approach and Sum of Squares
Authors:
Chetan Mishra,
James S. Thorp,
Virgilio A. Centeno,
Anamitra Pal
Abstract:
Traditional Lyapunov based transient stability assessment approaches focus on identifying the stability region (SR) of the equilibrium point under study. When trying to estimate this region using Lyapunov functions, the shape of the final estimate is often limited by the degree of the function chosen, a limitation that results in conservativeness in the estimate of the SR. More conservative the es…
▽ More
Traditional Lyapunov based transient stability assessment approaches focus on identifying the stability region (SR) of the equilibrium point under study. When trying to estimate this region using Lyapunov functions, the shape of the final estimate is often limited by the degree of the function chosen, a limitation that results in conservativeness in the estimate of the SR. More conservative the estimate is in a particular region of state space, smaller is the estimate of the critical clearing time for disturbances that drive the system towards that region. In order to reduce this conservativeness, we propose a methodology that uses the disturbance trajectory data to skew the shape of the final Lyapunov based SR estimate. We exploit the advances made in the theory of sum of squares decomposition to algorithmically estimate this region. The effectiveness of this technique is demonstrated on a power systems classical model.
△ Less
Submitted 20 October, 2017;
originally announced October 2017.
-
Stability Region Estimation Under Low Voltage Ride Through Constraints using Sum of Squares
Authors:
Chetan Mishra,
James S. Thorp,
Virgilio A. Centeno,
Anamitra Pal
Abstract:
The increasing penetration of inverter based renewable generation (RG) in the form of solar photo-voltaic (PV) or wind has introduced numerous operational challenges and uncertainties. According to the standards, these generators are made to trip offline if their operating requirements are not met. In an RG-rich system, this might alter the system dynamics and/or cause shifting of the equilibrium…
▽ More
The increasing penetration of inverter based renewable generation (RG) in the form of solar photo-voltaic (PV) or wind has introduced numerous operational challenges and uncertainties. According to the standards, these generators are made to trip offline if their operating requirements are not met. In an RG-rich system, this might alter the system dynamics and/or cause shifting of the equilibrium points to the extent that a cascaded trip** scenario is manifested. The present work attempts at avoiding such scenarios by estimating the constrained stability region (CSR) inside which the system must operate using maximal level set of a Lyapunov function estimated through sum of squares (SOS) technique. A time-independent conservative approximation of the LVRT constraint is initially derived for a classical model of the power system. The proposed approach is eventually validated by evaluating the stability of a 3 machine test system with trip-able RG.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Calabi-Yau Threefolds With Small Hodge Numbers
Authors:
Philip Candelas,
Andrei Constantin,
Challenger Mishra
Abstract:
We present a list of Calabi-Yau threefolds known to us, and with holonomy groups that are precisely SU(3), rather than a subgroup, with small Hodge numbers, which we understand to be those manifolds with height $(h^{1,1}+h^{2,1})\le 24$. With the completion of a project to compute the Hodge numbers of free quotients of complete intersection Calabi-Yau threefolds, most of which were computed in Ref…
▽ More
We present a list of Calabi-Yau threefolds known to us, and with holonomy groups that are precisely SU(3), rather than a subgroup, with small Hodge numbers, which we understand to be those manifolds with height $(h^{1,1}+h^{2,1})\le 24$. With the completion of a project to compute the Hodge numbers of free quotients of complete intersection Calabi-Yau threefolds, most of which were computed in Refs. [1-3] and the remainder in Ref. [4], many new points have been added to the tip of the Hodge plot, updating the reviews by Davies and Candelas in Refs. [1, 5]. In view of this and other recent constructions of Calabi-Yau threefolds with small height, we have produced an updated list.
△ Less
Submitted 5 July, 2018; v1 submitted 19 February, 2016;
originally announced February 2016.
-
Hodge Numbers for CICYs with Symmetries of Order Divisible by 4
Authors:
Philip Candelas,
Andrei Constantin,
Challenger Mishra
Abstract:
We compute the Hodge numbers for the quotients of complete intersection Calabi-Yau three-folds by groups of orders divisible by 4. We make use of the polynomial deformation method and the counting of invariant Kähler classes. The quotients studied here have been obtained in the automated classification of V. Braun. Although the computer search found the freely acting groups, the Hodge numbers of t…
▽ More
We compute the Hodge numbers for the quotients of complete intersection Calabi-Yau three-folds by groups of orders divisible by 4. We make use of the polynomial deformation method and the counting of invariant Kähler classes. The quotients studied here have been obtained in the automated classification of V. Braun. Although the computer search found the freely acting groups, the Hodge numbers of the quotients were not calculated. The freely acting groups, $G$, that arise in the classification are either $Z_2$ or contain $Z_4$, $Z_2 \times Z_2$, $Z_3$ or $Z_5$ as a subgroup. The Hodge numbers for the quotients for which the group $G$ contains $Z_3$ or $Z_5$ have been computed previously. This paper deals with the remaining cases, for which $G \supseteq Z_4$ or $G\supseteq Z_2 \times Z_2$. We also compute the Hodge numbers for 99 of the 166 CICY's which have $Z_2$ quotients.
△ Less
Submitted 3 November, 2015;
originally announced November 2015.
-
Stability of ADI schemes for multidimensional diffusion equations with mixed derivative terms
Authors:
Karel in 't Hout,
Chittaranjan Mishra
Abstract:
In this paper the unconditional stability of four well-known ADI schemes is analyzed in the application to time-dependent multidimensional diffusion equations with mixed derivative terms. Necessary and sufficient conditions on the parameter theta of each scheme are obtained that take into account the actual size of the mixed derivative coefficients. Our results generalize results obtained previous…
▽ More
In this paper the unconditional stability of four well-known ADI schemes is analyzed in the application to time-dependent multidimensional diffusion equations with mixed derivative terms. Necessary and sufficient conditions on the parameter theta of each scheme are obtained that take into account the actual size of the mixed derivative coefficients. Our results generalize results obtained previously by Craig & Sneyd (1988) and In 't Hout & Welfert (2009). Numerical experiments are presented illustrating our main theorems.
△ Less
Submitted 5 May, 2012;
originally announced May 2012.
-
Stability of the Modified Craig-Sneyd scheme for two-dimensional convection-diffusion equations with mixed derivative term
Authors:
K. J. in 't Hout,
C. Mishra
Abstract:
The Modified Craig-Sneyd (MCS) scheme is a promising splitting scheme of the ADI type introduced by In 't Hout & Welfert (2009) for multi-dimensional pure diffusion equations having mixed spatial-derivative terms.In this paper we investigate the extension of the MCS scheme to two-dimensional convection-diffusion equations with a mixed derivative. Both necessary and sufficient conditions on the par…
▽ More
The Modified Craig-Sneyd (MCS) scheme is a promising splitting scheme of the ADI type introduced by In 't Hout & Welfert (2009) for multi-dimensional pure diffusion equations having mixed spatial-derivative terms.In this paper we investigate the extension of the MCS scheme to two-dimensional convection-diffusion equations with a mixed derivative. Both necessary and sufficient conditions on the parameter of the scheme are derived concerning unconditional stability in the von Neumann sense.
△ Less
Submitted 30 November, 2010;
originally announced November 2010.