Quasi-Commuting Families of Quantum Minors

Joshua S. Scott

DOI: https://doi.org/10.48550/arXiv.math/0008100

2000-08-15

Abstract:We produce neccessary and sufficient conditions for pairs of quantum minors in the quantized coordinate algebra $\Bbb{C}_q[Mat_{k \times m}]$ to quasi-commute. In addition we study the combinatorics of maximal (by inclusion) families of pairwise quasi-commuting quantum minors.

Quantum Algebra

What problem does this paper attempt to address?

Quasideterminants and q-commuting minors

Aaron Lauve

DOI: https://doi.org/10.48550/arXiv.math/0602448

2006-02-21

Quantum Algebra

Abstract:We present two new proofs of the the important q-commuting property holding among certain pairs of quantum minors of an n x n q-generic matrix. The first uses elementary quasideterminantal arithmetic; the second involves paths in an edge-weighted directed graph.
Included-row exchange principle for quantum minors

Zoran Škoda

DOI: https://doi.org/10.48550/arXiv.math/0510512

2005-10-25

Abstract:The main theorem of the paper allows to generalize a class of identities among the quantum minors for quantum linear groups to similar identities but with the row labels of the quantum minors involved permuted.

Quantum Algebra,Rings and Algebras
A multiplicative property of quantum flag minors II

Philippe Caldero,Bethany Marsh

DOI: https://doi.org/10.48550/arXiv.math/0301280

2003-01-24

Abstract:Let U^+ be the plus part of the quantized enveloping algebra of a simple Lie algebra and let B^* be the dual canonical basis of U^+. Let b,b' be in B* and suppose that one of the two elements is a q-commuting product of quantum flag minors. We show that b and b' are multiplicative if and only if they q-commute.

Representation Theory,Quantum Algebra
On Quasi-Bicrossed Products of Weak Hopf Algebras

Fang Li

DOI: https://doi.org/10.1007/s10114-004-0325-3

2004-01-01

Acta Mathematica Sinica English Series

Abstract:The aim of this paper is to study quasi-bicrossed productsand a especially quantum quasi-doubles. Firstly, we constructone new kind of quasi-bicrossed products by weak Hopf algebrasand then devote a brief discussion to this matter. And, wediscuss the conditions for quasi-bicrossed products to possessthe structure of almost weak Hopf algebras, containing the caseof a special smash product. At the end, we give some propertieson the quantum quasi-double, respectively on the quasi-R-isomorphism, the representation-theoretic interpretation andthe regularity of the quasi-R-matrix.
Quasi-free Isomorphisms of Second Quantization Algebras and Modular Theory

DOI: https://doi.org/10.1007/s11040-024-09479-8

IF: 1.027

2024-04-24

Mathematical Physics Analysis and Geometry

Abstract:Using Araki–Yamagami's characterization of quasi-equivalence for quasi-free representations of the CCRs, we provide an abstract criterion for the existence of isomorphisms of second quantization local von Neumann algebras induced by Bogolubov transformations in terms of the respective one particle modular operators. We discuss possible applications to the problem of local normality of vacua of Klein-Gordon fields with different masses.

mathematics, applied,physics, mathematical
Commuting Local Hamiltonians Beyond 2D

John Bostanci,Yeongwoo Hwang

2024-10-17

Abstract:Commuting local Hamiltonians provide a testing ground for studying many of the most interesting open questions in quantum information theory, including the quantum PCP conjecture and the existence of area laws. Although they are a simplified model of quantum computation, the status of the commuting local Hamiltonian problem remains largely unknown. A number of works have shown that increasingly expressive families of commuting local Hamiltonians admit completely classical verifiers. Despite intense work, the largest class of commuting local Hamiltonians we can place in NP are those on a square lattice, where each lattice site is a qutrit. Even worse, many of the techniques used to analyze these problems rely heavily on the geometry of the square lattice and the properties of the numbers 2 and 3 as local dimensions. In this work, we present a new technique to analyze the complexity of various families of commuting local Hamiltonians: guided reductions. Intuitively, these are a generalization of typical reduction where the prover provides a guide so that the verifier can construct a simpler Hamiltonian. The core of our reduction is a new rounding technique based on a combination of Jordan's Lemma and the Structure Lemma. Our rounding technique is much more flexible than previous work, and allows us to show that a larger family of commuting local Hamiltonians is in NP, albiet with the restriction that all terms are rank-1. Specifically, we prove the following two results: 1. Commuting local Hamiltonians in 2D that are rank-1 are contained in NP, independent of the qudit dimension. Note that this family of commuting local Hamiltonians has no restriction on the local dimension or the locality. 2. We prove that rank-1, 3D commuting Hamiltonians with qudits on edges are in NP. To our knowledge this is the first time a family of 3D commuting local Hamiltonians has been contained in NP.

Quantum Physics,Computational Complexity
Equational Quantum Quasigroups

Jonathan D. H. Smith

DOI: https://doi.org/10.1007/s10468-024-10300-x

2024-11-13

Algebras and Representation Theory

Abstract:As a self-dual framework to unify the study of quasigroups and Hopf algebras, quantum quasigroups are defined using a quantum analogue of the combinatorial approach to classical quasigroups, merely requiring invertibility of the left and right composites. In this paper, quantum quasigroups are redefined with a quantum analogue of the equational approach to classical quasigroups. Here, the left and right composites of auxiliary quantum quasigroups participate in diagrams whose commutativity witnesses the required invertibilities. Whenever the original and two auxiliary quantum quasigroups appear on an equal footing, the triality symmetry of the language of equational quasigroups is replicated. In particular, the problem arises as to when this triality emerges in the Hopf algebra context.

mathematics
Noncommutative Hamiltonian structures and quantizations on preprojective algebras

Hu Zhao

2024-08-12

Abstract:Given a noncommutative Hamiltonian space $A$, we show that the conjecture ``{\it quantization commutes with reduction}'' holds on $A$. We also construct a semi-product algebra $A \rtimes \mG^A$, equivariant sheaves on the representation space are related to left $A \rtimes \mG^A$-modules. In the quiver setting, via the quantum and classical trace maps, we establish the explicit correspondence between quantizations on a preprojective algebra and those on a quiver variety.

Quantum Algebra,Mathematical Physics,Rings and Algebras,Representation Theory
Quasi-free isomorphisms of second quantisation algebras and modular theory

Roberto Conti,Gerardo Morsella

2023-05-13

Abstract:Using Araki-Yamagami's characterization of quasi-equivalence for quasi-free representations of the CCRs, we provide an abstract criterion for the existence of isomorphisms of second quantization local von Neumann algebras induced by Bogolubov transformations in terms of the respective one particle modular operators. We discuss possible applications to the problem of local normality of vacua of Klein-Gordon fields with different masses.

Operator Algebras,Mathematical Physics
Quantum Earth Mover’s Distance, a No-Go Quantum Kantorovich–Rubinstein Theorem, and Quantum Marginal Problem

Li Zhou,Nengkun Yu,Shenggang Ying,Mingsheng Ying

DOI: https://doi.org/10.1063/5.0068344

IF: 1.469

2022-01-01

Journal of Mathematical Physics

Abstract:The quantum coupling of two given quantum states denotes the set of bipartite states whose marginal states are these given two states. In this paper, we provide tight inequalities to describe the structure of quantum coupling. These inequalities directly imply that the trace distance between two quantum states cannot be determined by the quantum analog of the earth mover’s distance, thus ruling out the equality version of the quantum Kantorovich–Rubinstein theorem for trace distance even in the finite-dimensional case. In addition, we provide an inequality that can be regarded as a quantum generalization of the Kantorovich–Rubinstein theorem. Then, we generalize our inequalities and apply them to the three tripartite quantum marginal problems. Numerical tests with a three-qubit system show that our criteria are much stronger than the known criteria: the strong subadditivity of entropy and the monogamy of entanglement.
Quasi-invariant states

Luigi Accardi,Ameur Dhahri

DOI: https://doi.org/10.1142/s0219025724500140

IF: 0.828

2024-09-20

Infinite Dimensional Analysis Quantum Probability and Related Topics

Abstract:Infinite Dimensional Analysis, Quantum Probability and Related Topics, Ahead of Print. In this paper, we develop the theory of quasi-invariant (respectively, strongly quasi-invariant) states under the action of a group [math] of normal ∗-automorphisms of a ∗-algebra (or von Neumann algebra) [math]. We prove that these states are naturally associated to left-[math]-[math]-cocycles. If [math] is compact, the structure of strongly [math]-quasi-invariant states is determined. For any [math]-strongly quasi-invariant state [math], we construct a unitary representation associated to the triple [math]. We prove, under some conditions, that any quantum Markov chain with commuting, invertible and Hermitian conditional density amplitudes on a countable tensor product of type I factors is strongly quasi-invariant with respect to the natural action of the group [math] of local permutations and we give the explicit form of the associated cocycle. This provides a family of nontrivial examples of strongly quasi-invariant states for locally compact groups obtained as inductive limit of an increasing sequence of compact groups.

mathematics, applied,statistics & probability,quantum science & technology,physics, mathematical
A dual basis for the equivariant quantum $K$-theory of cominuscule varieties

Kevin Summers

2024-08-08

Abstract:The equivariant quantum $K$-theory ring of a flag variety is a Frobenius algebra equipped with a perfect pairing called the quantum $K$-metric. It is known that in the classical $K$-theory ring for a given flag variety the ideal sheaf basis is dual to the Schubert basis with regard to the sheaf Euler characteristic. We define a quantization of the ideal sheaf basis for the equivariant quantum $K$-theory of cominuscule flag varieties. These quantized ideal sheaves are then dual to the Schubert basis with regard to the quantum $K$-metric. We prove explicit type-uniform combinatorial formulae for the quantized ideal sheaves in terms of the Schubert basis for any cominuscule flag variety. We also provide an application ultilizing the quantized ideal sheaves to calculate the Schubert structure constants associated to multiplication by the top exterior power of the tautological quotient bundle in $QK_T(Gr(k,n))$.

Algebraic Geometry
Quantum Statistical Mechanics and the Boundary of Modular Curves

Matilde Marcolli,Jane Panangaden

2023-10-05

Abstract:The theory of limiting modular symbols provides a noncommutative geometric model of the boundary of modular curves that includes irrational points in addition to cusps. A noncommutative space associated to this boundary is constructed, as part of a family of noncommutative spaces associated to different continued fractions algorithms, endowed with the structure of a quantum statistical mechanical system. Two special cases of this family of quantum systems can be interpreted as a boundary of the system associated to the Shimura variety of $GL_2$ and an analog for $SL_2$. The structure of KMS states for this family of systems is discussed. In the geometric cases, the ground states evaluated on boundary arithmetic elements are given by pairings of cusp forms and limiting modular symbols.

Mathematical Physics
Minimum quantum degrees with Maya diagrams

Ryan M. Shifler

DOI: https://doi.org/10.48550/arXiv.2201.03124

2022-01-10

Algebraic Geometry

Abstract:We use Maya diagrams to refine the criterion by Fulton and Woodward for the smallest powers of the quantum parameter $q$ that occur in a product of Schubert classes in the (small) quantum cohomology of partial flags. Our approach using Maya diagrams yields a combinatorial proof that the minimal quantum degrees are unique for partial flags. Furthermore, visual combinatorial rules are given to perform precise calculations.
Monoidal categorification and quantum affine algebras II

Masaki Kashiwara,Myungho Kim,Se-jin Oh,Euiyong Park

DOI: https://doi.org/10.1007/s00222-024-01249-1

IF: 3.128

2024-03-14

Inventiones mathematicae

Abstract:We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of -boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories and provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.

mathematics
Quantum metric Choquet simplices

Bhishan Jacelon

2024-08-14

Abstract:Precipitating a notion emerging from recent research, we formalise the study of a special class of compact quantum metric spaces. Abstractly, the additional requirement we impose on the underlying order unit spaces is the Riesz interpolation property. In practice, this means that a `quantum metric Choquet simplex' arises as a unital $\mathrm{C}^*$-algebra $A$ whose trace space is equipped with a metric inducing the $w^*$-topology, such that tracially Lipschitz elements are dense in $A$. This added structure is designed for measuring distances in and around the category of stably finite classifiable $\mathrm{C}^*$-algebras, and in particular for witnessing metric and statistical properties of the space of (approximate unitary equivalence classes of) unital embeddings of $A$ into a stably finite classifiable $\mathrm{C}^*$-algebra $B$. Our reference frame for this measurement is a certain compact `nucleus' of $A$ provided by its quantum metric structure. As for the richness of the metric space of isometric isomorphism classes of classifiable $\mathrm{C}^*$-algebraic quantum metric Choquet simplices (equipped with Rieffel's quantum Gromov--Hausdorff distance), we show how to construct examples starting from Bauer simplices associated to compact metric spaces. We also explain how to build non-Bauer examples by forming `quantum crossed products' associated to dynamical systems on the tracial boundary. Further, we observe that continuous fields of quantum spaces are obtained by continuously varying either the dynamics or the metric. In the case of deformed isometric actions, we show that equivariant Gromov--Hausdorff continuity implies fibrewise continuity of the quantum structures. As an example, we present a field of deformed quantum rotation algebras whose fibres are continuous with respect to a quasimetric called the quantum intertwining gap.

Operator Algebras
Quantum graphs: different perspectives, homomorphisms and quantum automorphisms

Matthew Daws

2024-01-04

Abstract:We undertake a study of the notion of a quantum graph over arbitrary finite-dimensional $C^*$-algebras $B$ equipped with arbitrary faithful states. Quantum graphs are realised principally as either certain operators on $L^2(B)$, the quantum adjacency matrices, or as certain operator bimodules over $B'$. We present a simple, purely algebraic approach to proving equivalence between these settings, thus recovering existing results in the tracial state setting. For non-tracial states, our approach naturally suggests a generalisation of the operator bimodule definition, which takes account of (some aspect of) the modular automorphism group of the state. Furthermore, we show that each such ``non-tracial'' quantum graphs corresponds to a ``tracial'' quantum graph which satisfies an extra symmetry condition. We study homomorphisms (or CP-morphisms) of quantum graphs arising from UCP maps, and the closely related examples of quantum graphs constructed from UCP maps. We show that these constructions satisfy automatic bimodule properties. We study quantum automorphisms of quantum graphs, give a definition of what it means for a compact quantum group to act on an operator bimodule, and prove an equivalence between this definition, and the usual notion defined using a quantum adjacency matrix. We strive to give a relatively self-contained, elementary, account, in the hope this will be of use to other researchers in the field.

Operator Algebras,Quantum Algebra
The Commuting Algebra

Edward L. Green,Sibylle Schroll

2023-10-04

Abstract:Let $KQ$ be a path algebra, where $Q$ is a finite quiver and $K$ is a field. We study $KQ/C$ where $C$ is the two-sided ideal in $KQ$ generated by all differences of parallel paths in $Q$. We show that $KQ/C$ is always finite dimensional and its global dimension is finite. Furthermore, we prove that $KQ/C$ is Morita equivalent to an incidence algebra. The paper starts with the more general setting, where $KQ$ is replaced by $KQ/I$ with $I$ a two-sided ideal in $KQ$.

Representation Theory,Rings and Algebras
Almost Commuting Scheme of Symplectic Matrices and Quantum Hamiltonian Reduction

Pallav Goyal

DOI: https://doi.org/10.1007/s10468-024-10275-9

2024-07-18

Algebras and Representation Theory

Abstract:Losev introduced the scheme X of almost commuting elements (i.e., elements commuting upto a rank one element) of for a symplectic vector space V and discussed its algebro-geometric properties. We construct a Lagrangian subscheme of X and show that it is a complete intersection of dimension and compute its irreducible onents. We also study the quantum Hamiltonian reduction of the algebra of differential operators on the Lie algebra tensored with the Weyl algebra with respect to the action of the symplectic group, and show that it is isomorphic to the spherical subalgebra of a certain rational Cherednik algebra of Type C . We contruct a category of -modules whose characteristic variety is contained in and construct an exact functor from this category to the category of the above rational Cherednik algebra. Simple objects of the category are mirabolic analogs of Lusztig's character sheaves.

mathematics
Commuting Pairs in Quasigroups

Jack Allsop,Ian M. Wanless

2024-12-11

Abstract:A quasigroup is a pair $(Q, *)$ where $Q$ is a non-empty set and $*$ is a binary operation on $Q$ such that for every $(a, b) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $a*x=b=y*a$. Let $(Q, *)$ be a quasigroup. A pair $(x, y) \in Q^2$ is a commuting pair of $(Q, *)$ if $x * y = y * x$. Recently, it has been shown that every rational number in the interval $(0, 1]$ can be attained as the proportion of ordered pairs that are commuting in some quasigroup. For every positive integer $n$ we establish the set of all integers $k$ such that there is a quasigroup of order $n$ with exactly $k$ commuting pairs. This allows us to determine, for a given rational $q \in (0, 1]$, the spectrum of positive integers $n$ for which there is a quasigroup of order $n$ whose proportion of commuting pairs is equal to $q$.

Combinatorics

Quasi-Commuting Families of Quantum Minors

Quasideterminants and q-commuting minors

Included-row exchange principle for quantum minors

A multiplicative property of quantum flag minors II

On Quasi-Bicrossed Products of Weak Hopf Algebras

Quasi-free Isomorphisms of Second Quantization Algebras and Modular Theory

Commuting Local Hamiltonians Beyond 2D

Equational Quantum Quasigroups

Noncommutative Hamiltonian structures and quantizations on preprojective algebras

Quasi-free isomorphisms of second quantisation algebras and modular theory

Quantum Earth Mover’s Distance, a No-Go Quantum Kantorovich–Rubinstein Theorem, and Quantum Marginal Problem

Quasi-invariant states

A dual basis for the equivariant quantum $K$-theory of cominuscule varieties

Quantum Statistical Mechanics and the Boundary of Modular Curves

Minimum quantum degrees with Maya diagrams

Monoidal categorification and quantum affine algebras II

Quantum metric Choquet simplices

Quantum graphs: different perspectives, homomorphisms and quantum automorphisms

The Commuting Algebra

Almost Commuting Scheme of Symplectic Matrices and Quantum Hamiltonian Reduction

Commuting Pairs in Quasigroups