-
Cluster Categorification of Rank 2 Webs
Authors:
Ian Le,
Emine Yıldırım
Abstract:
The homogeneous coordinate ring of the Grassmannian $\rm{Gr}(k,n)$ has a well-known cluster structure. There is a categorification of this cluster structure via a category of modules for a ring $\mathcal{A}_{k,n}$ due to Jensen-King-Su, building on work of Geiss-Leclerc-Schröer, in which cluster variables correspond to indecomposable rigid modules. We give a combinatorial description of modules th…
▽ More
The homogeneous coordinate ring of the Grassmannian $\rm{Gr}(k,n)$ has a well-known cluster structure. There is a categorification of this cluster structure via a category of modules for a ring $\mathcal{A}_{k,n}$ due to Jensen-King-Su, building on work of Geiss-Leclerc-Schröer, in which cluster variables correspond to indecomposable rigid modules. We give a combinatorial description of modules that correspond to rank $2$ cluster variables by using webs. This conjecturally gives the categorification of all rank $2$ cluster variables.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Symmetry-invariant quantum machine learning force fields
Authors:
Isabel Nha Minh Le,
Oriel Kiss,
Julian Schuhmacher,
Ivano Tavernelli,
Francesco Tacchino
Abstract:
Machine learning techniques are essential tools to compute efficient, yet accurate, force fields for atomistic simulations. This approach has recently been extended to incorporate quantum computational methods, making use of variational quantum learning models to predict potential energy surfaces and atomic forces from ab initio training data. However, the trainability and scalability of such mode…
▽ More
Machine learning techniques are essential tools to compute efficient, yet accurate, force fields for atomistic simulations. This approach has recently been extended to incorporate quantum computational methods, making use of variational quantum learning models to predict potential energy surfaces and atomic forces from ab initio training data. However, the trainability and scalability of such models are still limited, due to both theoretical and practical barriers. Inspired by recent developments in geometric classical and quantum machine learning, here we design quantum neural networks that explicitly incorporate, as a data-inspired prior, an extensive set of physically relevant symmetries. We find that our invariant quantum learning models outperform their more generic counterparts on individual molecules of growing complexity. Furthermore, we study a water dimer as a minimal example of a system with multiple components, showcasing the versatility of our proposed approach and opening the way towards larger simulations. Our results suggest that molecular force fields generation can significantly profit from leveraging the framework of geometric quantum machine learning, and that chemical systems represent, in fact, an interesting and rich playground for the development and application of advanced quantum machine learning tools.
△ Less
Submitted 19 November, 2023;
originally announced November 2023.
-
Demazure weaves for reduced plabic graphs (with a proof that Muller-Speyer twist is Donaldson-Thomas)
Authors:
Roger Casals,
Ian Le,
Melissa Sherman-Bennett,
Da** Weng
Abstract:
First, this article develops the theory of weaves and their cluster structures for the affine cones of positroid varieties. In particular, we explain how to construct a weave from a reduced plabic graph, show it is Demazure, compare their associated cluster structures, and prove that the conjugate surface of the graph is Hamiltonian isotopic to the Lagrangian filling associated to the weave. The T…
▽ More
First, this article develops the theory of weaves and their cluster structures for the affine cones of positroid varieties. In particular, we explain how to construct a weave from a reduced plabic graph, show it is Demazure, compare their associated cluster structures, and prove that the conjugate surface of the graph is Hamiltonian isotopic to the Lagrangian filling associated to the weave. The T-duality map for plabic graphs has a surprising key role in the construction of these weaves. Second, we use the above established bridge between weaves and reduced plabic graphs to show that the Muller-Speyer twist map on positroid varieties is the Donaldson-Thomas transformation. This latter statement implies that the Muller-Speyer twist is a quasi-cluster automorphism. An additional corollary of our results is that target labeled seeds and the source labeled seeds are related by a quasi-cluster transformation.
△ Less
Submitted 28 December, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Cluster structures on braid varieties
Authors:
Roger Casals,
Eugene Gorsky,
Mikhail Gorsky,
Ian Le,
Linhui Shen,
José Simental
Abstract:
We show the existence of cluster $\mathcal{A}$-structures and cluster Poisson structures on any braid variety, for any simple Lie group. The construction is achieved via weave calculus and a tropicalization of Lusztig's coordinates. Several explicit seeds are provided and the quiver and cluster variables are readily computable. We prove that these upper cluster algebras equal their cluster algebra…
▽ More
We show the existence of cluster $\mathcal{A}$-structures and cluster Poisson structures on any braid variety, for any simple Lie group. The construction is achieved via weave calculus and a tropicalization of Lusztig's coordinates. Several explicit seeds are provided and the quiver and cluster variables are readily computable. We prove that these upper cluster algebras equal their cluster algebras, show local acyclicity, and explicitly determine their DT-transformations as the twist automorphisms of braid varieties. The main result also resolves the conjecture of B. Leclerc on the existence of cluster algebra structures on the coordinate rings of open Richardson varieties.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Mirror Symmetry for Truncated Cluster Varieties
Authors:
Benjamin Gammage,
Ian Le
Abstract:
In the algebraic setting, cluster varieties were reformulated by Gross-Hacking-Keel as log Calabi-Yau varieties admitting a toric model. Building on work of Shende-Treumann-Williams-Zaslow in dimension 2, we describe the mirror to the GHK construction in arbitrary dimension: given a truncated cluster variety, we construct a symplectic manifold and prove homological mirror symmetry for the resultin…
▽ More
In the algebraic setting, cluster varieties were reformulated by Gross-Hacking-Keel as log Calabi-Yau varieties admitting a toric model. Building on work of Shende-Treumann-Williams-Zaslow in dimension 2, we describe the mirror to the GHK construction in arbitrary dimension: given a truncated cluster variety, we construct a symplectic manifold and prove homological mirror symmetry for the resulting pair. We also describe how our construction can be obtained from toric geometry, and we relate our construction to various aspects of cluster theory which are known to symplectic geometers.
△ Less
Submitted 4 August, 2022; v1 submitted 22 March, 2021;
originally announced March 2021.
-
Analytic Filter Function Derivatives for Quantum Optimal Control
Authors:
Isabel Nha Minh Le,
Julian D. Teske,
Tobias Hangleiter,
Pascal Cerfontaine,
Hendrik Bluhm
Abstract:
Auto-correlated noise appears in many solid state qubit systems and hence needs to be taken into account when develo** gate operations for quantum information processing. However, explicitly simulating this kind of noise is often less efficient than approximate methods. Here, we focus on the filter function formalism, which allows the computation of gate fidelities in the presence of auto-correl…
▽ More
Auto-correlated noise appears in many solid state qubit systems and hence needs to be taken into account when develo** gate operations for quantum information processing. However, explicitly simulating this kind of noise is often less efficient than approximate methods. Here, we focus on the filter function formalism, which allows the computation of gate fidelities in the presence of auto-correlated classical noise. Hence, this formalism can be combined with optimal control algorithms to design control pulses, which optimally implement quantum gates. To enable the use of gradient-based algorithms with fast convergence, we present analytically derived filter function gradients with respect to control pulse amplitudes, and analyze the computational complexity of our results. When comparing pulse optimization using our derivatives to a gradient-free approach, we find that the gradient-based method is roughly two orders of magnitude faster for our test cases. We also provide a modular computational implementation compatible with quantum optimal control packages.
△ Less
Submitted 19 April, 2021; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Quantum decorated character stacks
Authors:
David Jordan,
Ian Le,
Gus Schrader,
Alexander Shapiro
Abstract:
We initiate the study of decorated character stacks and their quantizations using the framework of stratified factorization homology. We thereby extend the construction by Fock and Goncharov of (quantum) decorated character varieties to encompass also the stacky points, in a way that is both compatible with cutting and gluing and equivariant with respect to canonical actions of the modular group o…
▽ More
We initiate the study of decorated character stacks and their quantizations using the framework of stratified factorization homology. We thereby extend the construction by Fock and Goncharov of (quantum) decorated character varieties to encompass also the stacky points, in a way that is both compatible with cutting and gluing and equivariant with respect to canonical actions of the modular group of the surface. In the cases $G=SL_2,PGL_2$ we construct a system of categorical charts and flips on the quantum decorated character stacks which generalize the well--known cluster structures on the Fock--Goncharov moduli spaces.
△ Less
Submitted 24 February, 2021;
originally announced February 2021.
-
Stacked LSTM Based Deep Recurrent Neural Network with Kalman Smoothing for Blood Glucose Prediction
Authors:
Md Fazle Rabby,
Yazhou Tu,
Md Imran Hossen,
Insup Le,
Anthony S Maida,
Xiali Hei
Abstract:
Blood glucose (BG) management is crucial for type-1 diabetes patients resulting in the necessity of reliable artificial pancreas or insulin infusion systems. In recent years, deep learning techniques have been utilized for a more accurate BG level prediction system. However, continuous glucose monitoring (CGM) readings are susceptible to sensor errors. As a result, inaccurate CGM readings would af…
▽ More
Blood glucose (BG) management is crucial for type-1 diabetes patients resulting in the necessity of reliable artificial pancreas or insulin infusion systems. In recent years, deep learning techniques have been utilized for a more accurate BG level prediction system. However, continuous glucose monitoring (CGM) readings are susceptible to sensor errors. As a result, inaccurate CGM readings would affect BG prediction and make it unreliable, even if the most optimal machine learning model is used. In this work, we propose a novel approach to predicting blood glucose level with a stacked Long short-term memory (LSTM) based deep recurrent neural network (RNN) model considering sensor fault. We use the Kalman smoothing technique for the correction of the inaccurate CGM readings due to sensor error. For the OhioT1DM dataset, containing eight weeks' data from six different patients, we achieve an average RMSE of 6.45 and 17.24 mg/dl for 30 minutes and 60 minutes of prediction horizon (PH), respectively. To the best of our knowledge, this is the leading average prediction accuracy for the ohioT1DM dataset. Different physiological information, e.g., Kalman smoothed CGM data, carbohydrates from the meal, bolus insulin, and cumulative step counts in a fixed time interval, are crafted to represent meaningful features used as input to the model. The goal of our approach is to lower the difference between the predicted CGM values and the fingerstick blood glucose readings - the ground truth. Our results indicate that the proposed approach is feasible for more reliable BG forecasting that might improve the performance of the artificial pancreas and insulin infusion system for T1D diabetes management.
△ Less
Submitted 17 January, 2021;
originally announced January 2021.
-
Generalized Minors and Tensor Invariants
Authors:
Ian Le,
Sammy Luo
Abstract:
Berenstein, Fomin and Zelevinsky defined functions on double Bruhat cells which they called generalized minors. By relating certain double Bruhat cells to configuration spaces of flags, we give formulas for these generalized minors as tensor invariants. This allows us to verify certain weight identities. The weights of the tensor invariants can then be used to construct the quiver for the cluster…
▽ More
Berenstein, Fomin and Zelevinsky defined functions on double Bruhat cells which they called generalized minors. By relating certain double Bruhat cells to configuration spaces of flags, we give formulas for these generalized minors as tensor invariants. This allows us to verify certain weight identities. The weights of the tensor invariants can then be used to construct the quiver for the cluster structure on the configuration space of three flags. We also show a converse statement--that the weights of tensor invariants can by computed from the structure of the quiver. The weight identities are important because they are necessary for the existence of cluster structures on the moduli space of framed local systems.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Tropicalization of Positive Grassmannians
Authors:
Chris Fraser,
Ian Le
Abstract:
We introduce combinatorial objects which are parameterized by the positive part of the tropical Grassmannian $Gr(k,n)$. Our method is to relate the Grassmannian to configuration spaces of flags. By work of the first author, and of Goncharov and Shen, configuration spaces of flags naturally tropicalize to give configurations of points in the affine building, which we call higher laminations. We use…
▽ More
We introduce combinatorial objects which are parameterized by the positive part of the tropical Grassmannian $Gr(k,n)$. Our method is to relate the Grassmannian to configuration spaces of flags. By work of the first author, and of Goncharov and Shen, configuration spaces of flags naturally tropicalize to give configurations of points in the affine building, which we call higher laminations. We use higher laminations to give two dual objects that are parameterized by the positive tropicalization of $Gr(k,n)$: equivalence classes of higher laminations; or certain restricted subset of higher laminations. This extends results of Speyer and Sturmfels on the tropicalization of $Gr(2,n)$, and of Speyer and Williams on the tropicalization of $Gr(3,6)$ and $Gr(3,7)$. We also analyze the $X$-variety associated to the Grassmannian, and give an interpretation of its positive tropicalization.
△ Less
Submitted 13 October, 2017;
originally announced October 2017.
-
Intersection Pairings for Higher Laminations
Authors:
Ian Le
Abstract:
One can realize higher laminations as positive configurations of points in the affine building. The duality pairings of Fock and Goncharov give pairings between higher laminations for two Langlands dual groups $G$ and $G^{\vee}$. These pairings are a generalization of the intersection pairing between measured laminations on a topological surface.
We give a geometric interpretation of these inter…
▽ More
One can realize higher laminations as positive configurations of points in the affine building. The duality pairings of Fock and Goncharov give pairings between higher laminations for two Langlands dual groups $G$ and $G^{\vee}$. These pairings are a generalization of the intersection pairing between measured laminations on a topological surface.
We give a geometric interpretation of these intersection pairings in the case that $G=SL_n$. In particular, we show that they can be computed as the length of minimal weighted networks in the building. Thus we relate the intersection pairings to the metric structure of the affine building. This proves several of the conjectures from [LO]
The key tools are linearized versions of well-known classical results from combinatorics, like Hall's marriage lemma, Konig's theorem, and the Kuhn-Munkres algorithm.
△ Less
Submitted 14 September, 2017; v1 submitted 31 July, 2017;
originally announced August 2017.
-
From dimers to webs
Authors:
Chris Fraser,
Thomas Lam,
Ian Le
Abstract:
We formulate a higher-rank version of the boundary measurement map for weighted planar bipartite networks in the disk. It sends a network to a linear combination of SL$_r$-webs, and is built upon the r-fold dimer model on the network. When r equals 1, our map is a reformulation of Postnikov's boundary measurement used to coordinatize positroid strata. When r equals 2 or 3, it is a reformulation of…
▽ More
We formulate a higher-rank version of the boundary measurement map for weighted planar bipartite networks in the disk. It sends a network to a linear combination of SL$_r$-webs, and is built upon the r-fold dimer model on the network. When r equals 1, our map is a reformulation of Postnikov's boundary measurement used to coordinatize positroid strata. When r equals 2 or 3, it is a reformulation of the SL$_2$- and SL$_3$-web immanants defined by the second author. The basic result is that the higher rank map factors through Postnikov's map. As an application, we deduce generators and relations for the space of SL$_r$-webs, reproving a result of Cautis-Kamnitzer-Morrison. We establish compatibility between our map and restriction to positroid strata, and thus between webs and total positivity.
△ Less
Submitted 4 June, 2017; v1 submitted 25 May, 2017;
originally announced May 2017.
-
An Approach to Cluster Structures on Moduli of Local Systems for General Groups
Authors:
Ian Le
Abstract:
Let $S$ be a surface, $G$ a simply-connected classical group, and $G'$ the associated adjoint form of the group. In \cite{FG1}, it was shown that the moduli spaces of framed local systems $\X_{G',S}$ and $\A_{G,S}$ have the structure of cluster varieties, and thus together form a cluster ensemble, when $G$ had type $A$. This was extended to classical groups in \cite{Le}. In this paper we give an a…
▽ More
Let $S$ be a surface, $G$ a simply-connected classical group, and $G'$ the associated adjoint form of the group. In \cite{FG1}, it was shown that the moduli spaces of framed local systems $\X_{G',S}$ and $\A_{G,S}$ have the structure of cluster varieties, and thus together form a cluster ensemble, when $G$ had type $A$. This was extended to classical groups in \cite{Le}. In this paper we give an algorithm for constructing the cluster structure for general reductive groups $G$. The algorithm can be carried out under some mild hypotheses, which we explain, and which we believe hold in general. We show that these hypotheses hold when $G$ has type $G_2$, and therefore we are able to construct the cluster structure in this case. We also illustrate our approach by rederiving the cluster structure for $G$ of type $A$. Our goals are to give some heuristics for the approach taken in \cite{Le}, point out the difficulties that arise for more general groups, and to record some useful calculations. Forthcoming work by Goncharov and Shen gives a different approach to constructing the cluster structure on $\X_{G',S}$ and $\A_{G,S}$. We hope that some of the ideas here complement their more comprehensive work.
△ Less
Submitted 18 September, 2017; v1 submitted 2 June, 2016;
originally announced June 2016.
-
Cluster Structures on Higher Teichmuller Spaces for Classical Groups
Authors:
Ian Le
Abstract:
Let $S$ be a surface, $G$ a simply-connected classical group, and $G'$ the associated adjoint form of the group. We show that the spaces of moduli spaces of framed local systems $\X_{G',S}$ and $\A_{G,S}$, which were constructed by Fock and Goncharov (\cite{FG1}), have the structure of cluster varieties, and thus together form a cluster ensemble. This simplifies some of the proofs in \cite{FG1}, a…
▽ More
Let $S$ be a surface, $G$ a simply-connected classical group, and $G'$ the associated adjoint form of the group. We show that the spaces of moduli spaces of framed local systems $\X_{G',S}$ and $\A_{G,S}$, which were constructed by Fock and Goncharov (\cite{FG1}), have the structure of cluster varieties, and thus together form a cluster ensemble. This simplifies some of the proofs in \cite{FG1}, and also allows one to quantize higher Teichmuller space following the formalism of \cite{FG2}, \cite{FG3}, and \cite{FG5}, which was previously only possible when $G$ was of type $A$.
△ Less
Submitted 11 March, 2016;
originally announced March 2016.
-
Geometry of Positive Configurations in Affine Buildings
Authors:
Ian Le,
Evan O'Dorney
Abstract:
Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points in the affine building and their basic properties. Then we study the geometry of these configurations. The canonical functions on triples of flags that were defi…
▽ More
Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points in the affine building and their basic properties. Then we study the geometry of these configurations. The canonical functions on triples of flags that were defined by Fock and Goncharov in \cite{FG1} have a tropicalization that gives functions on triples of points in the affine Grassmannian. One expects that these functions, though of algebro-geometric origin, have a simple description in terms of the metric structure on the corresponding affine building.
We give a several conjectures describing the tropicalized canonical functions in terms of the geometry of affine buildings, and give proofs of some of them. The statements involve minimal networks and have some resemblance to the max-flow/min-cut theorem, which also plays a role in the proofs in unexpected ways. The conjectures can be reduced to purely algebraic statements about valuations of lattices that we argue are interesting in their own right.
One can view these conjectures as the first examples of intersection pairings between higher laminations. They fit within the framework of the Duality Conjectures of \cite{FG1}.
△ Less
Submitted 31 October, 2015;
originally announced November 2015.
-
Higher Laminations and Affine Buildings
Authors:
Ian Le
Abstract:
We give a Thurston-like definition for laminations on higher Teichmuller spaces associated to a surface $S$ and a semi-simple group $G$ for $G-SL_m$ and $PGL_m$. The case $G=SL_2$ or $PGL_2$ corresponds to the classical theory of laminations. Our construction involves positive configurations of points in the affine building. We show that these laminations are parameterized by the tropical points o…
▽ More
We give a Thurston-like definition for laminations on higher Teichmuller spaces associated to a surface $S$ and a semi-simple group $G$ for $G-SL_m$ and $PGL_m$. The case $G=SL_2$ or $PGL_2$ corresponds to the classical theory of laminations. Our construction involves positive configurations of points in the affine building. We show that these laminations are parameterized by the tropical points of the spaces $\X_{G,S}$ and $\A_{G,S}$ of Fock and Goncharov. Finally, we explain how these laminations give a compactification of higher Teichmuller spaces.
△ Less
Submitted 25 March, 2016; v1 submitted 4 September, 2012;
originally announced September 2012.