The Solution of the Quantum A 1 T-System for Arbitrary Boundary

On 2nd-stage quantization of quantum cluster algebras

We prove the Berenstein–Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite-dimensional connected, simply connected simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [5]. We furthermore prove that the corresponding upper quantum cluster algebras coincide with the constructed quantum cluster algebras and exhibit a large number of explicit quantum seeds. Along the way a detailed study of the properties of quantum double Bruhat cells from the viewpoint of noncommutative UFDs is carried out and a quantum analog of the Fomin–Zelevinsky twist map is constructed and investigated for all double Bruhat cells. The results are valid over base fields of arbitrary characteristic and the deformation parameter is only assumed to be a non-root-of-unity.

$Q$-systems are recursion relations satisfied by the characters of the restrictions of special finite-dimensional modules of quantum affine algebras. They can also be viewed as mutations in certain cluster algebras, which have a natural quantum deformation. In this paper, we explain the relation in the simply-laced case between the resulting quantum $Q$-systems and the graded tensor product of Feigin and Loktev. We prove the graded version of the $M=N$ identities, and write expressions for these as non-commuting evaluated multi-residues of suitable products of solutions of the quantum $Q$-system. This leads to a simple reformulation of Feigin and Loktev's fusion coefficients as matrix elements in a representation of the quantum $Q$-system algebra.

In this paper we study consequences of the results of Kang et al. [ Monoidal categorification of cluster algebras , J. Amer. Math. Soc. 31 (2018), 349–426] on a monoidal categorification of the unipotent quantum coordinate ring $A_{q}(\mathfrak{n}(w))$ together with the Laurent phenomenon of cluster algebras. We show that if a simple module $S$ in the category ${\mathcal{C}}_{w}$ strongly commutes with all the cluster variables in a cluster $[\mathscr{C}]$ , then $[S]$ is a cluster monomial in $[\mathscr{C}]$ . If $S$ strongly commutes with cluster variables except for exactly one cluster variable $[M_{k}]$ , then $[S]$ is either a cluster monomial in $[\mathscr{C}]$ or a cluster monomial in $\unicode[STIX]{x1D707}_{k}([\mathscr{C}])$ . We give a new proof of the fact that the upper global basis is a common triangular basis (in the sense of Qin [ Triangular bases in quantum cluster algebras and monoidal categorification conjectures , Duke Math. 166 (2017), 2337–2442]) of the localization $\widetilde{A}_{q}(\mathfrak{n}(w))$ of $A_{q}(\mathfrak{n}(w))$ at the frozen variables. A characterization on the commutativity of a simple module $S$ with cluster variables in a cluster $[\mathscr{C}]$ is given in terms of the denominator vector of $[S]$ with respect to the cluster $[\mathscr{C}]$ .

Recently it has become apparent that N = 2 supersymmetric quantum field theory has something to do with cluster algebras. I review one aspect of the connection: supersymmetric quantum field theories have associated hyperkähler moduli spaces, and these moduli spaces carry a structure that looks like an extension of the notion of cluster variety. In particular, one encounters the usual variables and mutations of the cluster story, along with more exotic extra variables and generalized mutations. I focus on a class of examples where the underlying cluster varieties are moduli spaces of flat connections on surfaces, as considered by Fock and Goncharov [Fock V, Goncharov A (2006) Publ Math Inst Hautes Études Sci 103:1-211]. The work reviewed here is largely joint with Davide Gaiotto and Greg Moore.

We discuss a discretization of the quantum Toda field theory associated with a semisimple finite-dimensional Lie algebra or a tamely-laced infinite-dimensional Kac–Moody algebra G, generalizing the previous construction of discrete quantum Liouville theory for the case G = A1. The model is defined on a discrete two-dimensional lattice, whose spatial direction is of length L. In addition we also find a ‘discretized extra dimension’ whose width is given by the rank r of G, which decompactifies in the large r limit. For the case of G = AN or , we find a symmetry exchanging L and N under appropriate spatial boundary conditions. The dynamical time evolution rule of the model is quantizations of the so-called Y-system, and the theory can be well described by the quantum cluster algebra. We discuss possible implications for recent discussions of quantum chaos, and comment on the relation with the quantum higher Teichmüller theory of type AN.

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \(\mathcal {A}\) to an appropriate q-polynomial algebra. In the case that \(\mathcal {A}\) is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \(\mathcal {A}\) is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.

Let \(S(n)\) be the category of invariant subspaces of nilpotent operators with nilpotency index at most \(n\). Such submodule categories have been studied already in 1934 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra \(\Pi _n\) of type \(\mathbb {A}_n\); the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schroer). We are going to discuss the connection between the submodule category \(\mathcal {S}(n)\) and the module category \(\hbox {mod}\;\Pi _{n-1}\) of the preprojective algebra \(\Pi _{n-1}\). Dense functors \(\mathcal {S}(n) \rightarrow \hbox {mod}\;\Pi _{n-1}\) are known to exist: one has been constructed quite a long time ago by Auslander and Reiten, recently another one by Li and Zhang. We will show that these two functors are full, dense, objective functors with index \(2n\), thus \(\hbox {mod}\;\Pi _{n-1}\) is obtained from \(\mathcal {S}(n)\) by factoring out an ideal which is generated by \(2n\) indecomposable objects. As a byproduct we also obtain new examples of ideals in triangulated categories, namely ideals \(\mathcal {I}\) in a triangulated category \(\mathcal {T}\) which are generated by an idempotent such that the factor category \(\mathcal {T}/\mathcal {I}\) is an abelian category.

Consider the problem of deciding, for a particular multipartite quantum state, whether or not it is realizable in a quantum network with a particular causal structure. This is a fully quantum version of what causal inference researchers refer to as the problem of causal discovery. In this work, we introduce a fully quantum version of the inflation technique for causal inference, which leverages the quantum marginal problem. The primary example by which we illustrate the utility of this method is testing compatibility of tripartite quantum states with the quantum network known as the triangle scenario. We show, in particular, how the method yields a complete classification of pure three-qubit states into those that are and those that are not compatible with the triangle scenario. We also provide some illustrative examples involving mixed-states and some where one or more of the systems is higher dimensional. Furthermore, we examine the question of when the incompatibility of a multipartite quantum state with a causal structure can be inferred from the incompatibility of a joint probability distribution induced by implementing measurements on each subsystem. Finally, we present a family of networks, which includes the triangle scenario as a special case, for which causal compatibility constraints can be derived.

This is an introductory survey on cluster algebras and their (additive) categorification using derived categories of Ginzburg algebras. After a gentle introduction to cluster combinatorics, we review important examples of coordinate rings admitting a cluster algebra structure. We then present the general definition of a cluster algebra and describe the interplay between cluster variables, coefficients, c-vectors and g-vectors. We show how c-vectors appear in the study of quantum cluster algebras and their links to the quantum dilogarithm. We then present the framework of additive categorification of cluster algebras based on the notion of quiver with potential and on the derived category of the associated Ginzburg algebra. We show how the combinatorics introduced previously lift to the categorical level and how this leads to proofs, for cluster algebras associated with quivers, of some of Fomin-Zelevinsky's fundamental conjectures.

We give an algebraic proof of the independence of Coxeter moves involved in the construction of positive representations of split-real quantum groups, thus completing a gap in the original construction. To do this, we propose a new quantized version of Lusztig’s Injectivity Lemma in the language of quantum cluster algebra, the proof of which by Tits’ Lemma reduces to calculations involving sequences of Coxeter moves forming rank 3 cycles. We give a new, constructive proof of Tits’ Lemma, and provide the required explicit computation of the quantum cluster mutations under these rank 3 cycles using certain cluster algebraic tricks via universally Laurent polynomials.

Currently, optical technology impacts most of our lives, from light used in scientific measurement to the fiber optic cables that makeup the backbone of the internet. However, as our current optical infrastructure grows, we discover that these technologies are not limitless. Astronomers find themselves unable resolve stars that are too close to one another. Meanwhile, the internet is always under threat as our computer technology improves and more complex ways to break encryption emerge, threatening our personal information and infrastructure. However, our current optical technology functions on classical principles, and can be easily improved by incorporating our knowledge of quantum optics. In order to implement quantum technologies, our understanding of quantum coherence must improve. Through this knowledge we can maintain quantum states, and therefore their information, longer. In this dissertation, I will demonstrate that with sufficient knowledge of coherent properties, a simple algebra can be derived which can provide rules for graph reductions on a quantum network graph. Using this knowledge, I then provide a rudimentary algorithm which can find the optimal subgraph for communication on a quantum network. Next, I demonstrate that by measuring the photon statistics and second-order quantum coherence of a field, one can create a neural network capable of distinguishing the light sources on a pixel. Which is then applied to develop an imaging scheme capable of surpassing the Abbe-Rayleigh Criterion. Lastly, I present a multiphoton quantum version of the van Cittert-Zernike theorem. This provides formalism capable of determining the propagation of quantum coherence throughout a system. I then demonstrate the usefulness of the theorem by demonstrating sub-Poissonian statistics created by a linear system with an incident thermal beam, obtainable only by post-selection. Altogether, this provides incite into new applications of coherence to quantum technologies and the formalism to extending our knowledge even further.

We describe a connection between the subjects of cluster algebras, polynomial identity algebras, and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac, and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we obtain an explicit formula for the discriminant of the integral form over of each quantum unipotent cell of De Concini, Kac, and Procesi for arbitrary symmetrizable Kac–Moody algebras, where is a root of unity.

We construct “quantum theta bases,” extending the set of quantum cluster monomials, for various versions of skew-symmetric quantum cluster algebras. These bases consist precisely of the indecomposable universally positive elements of the algebras they generate, and the structure constants for their multiplication are Laurent polynomials in the quantum parameter with non-negative integer coefficients, proving the quantum strong cluster positivity conjecture for these algebras. The classical limits recover the theta bases considered by Gross–Hacking–Keel–Kontsevich (J Am Math Soc 31(2):497–608, 2018). Our approach combines the scattering diagram techniques used in loc. cit. with the Donaldson–Thomas theory of quivers.

The stated skein algebra of a punctured bordered surface (or equivalently, a marked surface) is a generalization of the well-known Kauffman bracket skein algebra of unmarked surfaces and can be considered as an extension of the quantum special linear group \({\mathcal {O}}_{q^2}(SL_2)\) from a bigon to general surfaces. We show that the stated skein algebra of a punctured bordered surface with non-empty boundary can be embedded into quantum tori in two different ways. The first embedding can be considered as a quantization of the map expressing the trace of a closed curve in terms of the shear coordinates of the enhanced Teichmüller space, and is a lift of Bonahon-Wong’s quantum trace map. The second embedding can be considered as a quantization of the map expressing the trace of a closed curve in terms of the lambda length coordinates of the decorated Teichmüller space, and is an extension of Muller’s quantum trace map. We explain the relation between the two quantum trace maps. We also show that the quantum cluster algebra of Muller is equal to a reduced version of the stated skein algebra. As applications we show that the stated skein algebra is an orderly finitely generated Noetherian domain and calculate its Gelfand-Kirillov dimension.